| Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
|---|---|---|---|---|
| application/leberre/ 2dimensionalstrippacking/E07N15.cnf | ? (exit code) | 0.009997 | 0.017245 | 3422530 |
| application/leberre/ 2dimensionalstrippacking/E15N15.cnf | ? (exit code) | 0.010997 | 0.0170591 | 3422532 |
| industrial/babic/dspam/ dspam_dump_vc949.cnf | ? (exit code) | 0.496923 | 0.497028 | 3422082 |
| industrial/babic/hsatv17/ hsat_vc12062.cnf | ? (exit code) | 0.525919 | 0.527659 | 3422084 |
| SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf | ? (exit code) | 3.00354 | 3.0026 | 3422650 |