| Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
|---|---|---|---|---|
| application/leberre/ 2dimensionalstrippacking/E15N15.cnf | ? (exit code) | 0.010997 | 0.0142249 | 3350291 |
| application/leberre/ 2dimensionalstrippacking/E07N15.cnf | ? (exit code) | 0.010997 | 0.011039 | 3350290 |
| industrial/babic/dspam/ dspam_dump_vc949.cnf | ? (exit code) | 0.497924 | 0.49902 | 3350273 |
| industrial/babic/hsatv17/ hsat_vc12062.cnf | ? (exit code) | 0.529918 | 0.530709 | 3350274 |
| SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf | ? (exit code) | 3.37349 | 3.37437 | 3350278 |