Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf | ? (MO) | 2612.61 | 2613.52 | 1825680 |
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf | ? (MO) | 4130.27 | 4131.72 | 1825693 |