Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf | ? (MO) | 1265.82 | 1266.3 | 1785526 |
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf | ? (MO) | 2193.29 | 2194.47 | 1785412 |
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf | ? (MO) | 3980.92 | 3981.98 | 1785040 |