Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf | ? (MO) | 1088.74 | 1089.33 | 1785523 |
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf | ? (MO) | 2771.13 | 2772.42 | 1785409 |
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf | ? (MO) | 3937.37 | 3938.72 | 1785037 |
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf | ? (MO) | 4326.68 | 4328.7 | 1785001 |