files / problems / long-gap-dilate / compute / q1 / certs / sat_alt_73.jsonl

388 B · on GitHub

{"solver": "glucose42", "T": 24, "sat": null, "timeout": true, "sec": 90.12}
{"solver": "glucose42", "T": 23, "sat": null, "timeout": true, "sec": 90.075}
{"solver": "cadical", "T": 24, "sat": null, "timeout": true, "sec": 90.098}
{"solver": "cadical", "T": 23, "sat": false, "timeout": false, "sec": 53.818}
{"solver": "cadical", "T": 24, "sat": false, "timeout": false, "sec": 164.668}