Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf | ? (MO) | 1203.42 | 1204.5 | 1785524 |
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf | ? (MO) | 4083.08 | 4084.29 | 1785038 |
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf | ? (MO) | 4709.29 | 4710.49 | 1785410 |