Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/spence/ medium/s65-100.cnf | ? (exit code) | 0.009998 | 0.0217871 | 316420 |
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf | ? (exit code) | 0.025995 | 0.0311171 | 332392 |
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf | ? (exit code) | 0.025995 | 0.028156 | 333274 |
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf | ? (exit code) | 0.027995 | 0.0326231 | 338818 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf | ? (exit code) | 0.036994 | 0.0399081 | 319026 |