| Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
|---|---|---|---|---|
| application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf | ? | 0 | 0.00708096 | 3286103 |
| application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf | ? | 0 | 0.00628001 | 3285873 |
| application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf | ? | 0 | 0.00612198 | 3285735 |
| application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf | ? | 0 | 0.00663788 | 3285045 |
| velev-npe-1.0-9dlx-b71.cnf | ? | 0 | 0.0065171 | 3284079 |
| industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf | ? | 0 | 0.00635211 | 3281365 |
| application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf | ? | 0.000999 | 0.0063751 | 3285183 |
| APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf | ? | 0.000999 | 0.00643002 | 3283021 |
| industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf | ? | 0.000999 | 0.00625895 | 3281411 |
| Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
|---|---|---|---|---|
| application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf | ? (problem) | 0.177972 | 0.178359 | 3287805 |
| industrial/babic/dspam/ dspam_dump_vc949.cnf | ? (problem) | 0.829873 | 0.83043 | 3280767 |
| application/leberre/ 2dimensionalstrippacking/E07N15.cnf | ? (problem) | 3.58145 | 3.58221 | 3291071 |
| application/leberre/ 2dimensionalstrippacking/E15N15.cnf | ? (problem) | 4.19636 | 4.19808 | 3291117 |
| industrial/babic/hsatv17/ hsat_vc12062.cnf | ? (problem) | 5.05023 | 5.04997 | 3280813 |
| SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf | ? (problem) | 738.352 | 738.336 | 3293785 |
| SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf | ? (problem) | 957.26 | 957.24 | 3293831 |