{"n": 10, "D": 9, "result": "UNSAT", "iterations": 204, "time": 69.6, "clauses": 97524, "vars": 2545, "options": {}, "solve_time": 70.9, "check": ["c formula: 2545 vars, 97524 clauses read (header 97524)", "c lemmas checked: 1609977 (RAT: 0), deletions: 1515354 (not found: 326)", "s VERIFIED"], "check_time": 115.1, "proof_lines": 3125658, "verified": true, "sha256_cnf": "eb31f84fda4abbc907a672d74e97cdc815c8d1efdbbd9f05bb35ea5ac70a46f9", "sha256_drat": "981f0ccea17976710a4f242624938dcd393b57e8cd0854d7fbf3bfce90a2daa6", "proof_location": "WORK/rerun/reproducibility/search/bigcerts"}
{"n": 10, "D": 9, "result": "UNSAT", "iterations": 176, "time": 66.6, "clauses": 99960, "vars": 2665, "options": {"orientable": true}, "solve_time": 67.8, "check": ["c formula: 2665 vars, 99960 clauses read (header 99960)", "c lemmas checked: 1448064 (RAT: 0), deletions: 1415097 (not found: 325)", "s VERIFIED"], "check_time": 111.4, "proof_lines": 2863487, "verified": true, "sha256_cnf": "a9c517ef3717ab275e2862fd9c5e9f68cd0dc953136f06c0c7337f108dc56646", "sha256_drat": "bfb60eca8e1a40ee109ad694d3a048d607c651c612be72447173422c1ce879be", "proof_location": "WORK/rerun/reproducibility/search/bigcerts"}
computed:
eb31f84fda4abbc907a672d74e97cdc815c8d1efdbbd9f05bb35ea5ac70a46f9  bigcerts/n10_D9.cnf
981f0ccea17976710a4f242624938dcd393b57e8cd0854d7fbf3bfce90a2daa6  bigcerts/n10_D9.drat
a9c517ef3717ab275e2862fd9c5e9f68cd0dc953136f06c0c7337f108dc56646  bigcerts/n10_D9_orientable.cnf
bfb60eca8e1a40ee109ad694d3a048d607c651c612be72447173422c1ce879be  bigcerts/n10_D9_orientable.drat
recorded:
n10_D9.cnf                  1637577      eb31f84fda4abbc907a672d74e97cdc815c8d1efdbbd9f05bb35ea5ac70a46f9
n10_D9.drat                 420508265    981f0ccea17976710a4f242624938dcd393b57e8cd0854d7fbf3bfce90a2daa6
n10_D9_orientable.cnf       1684455      a9c517ef3717ab275e2862fd9c5e9f68cd0dc953136f06c0c7337f108dc56646
n10_D9_orientable.drat      390126062    bfb60eca8e1a40ee109ad694d3a048d607c651c612be72447173422c1ce879be
sh regenerate_n10.sh  353.39s user 13.81s system 99% cpu 6:08.07 total
