| Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
|---|---|---|---|---|
| APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf | ? | 0 | 0.00653406 | 3283019 |
| application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf | ? | 0 | 0.00635502 | 3285871 |
| application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf | ? | 0 | 0.00618606 | 3285733 |
| application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf | ? | 0 | 0.00653988 | 3285181 |
| application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf | ? | 0 | 0.00651606 | 3285043 |
| velev-npe-1.0-9dlx-b71.cnf | ? | 0 | 0.00639694 | 3284077 |
| industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf | ? | 0 | 0.0063249 | 3281363 |
| industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf | ? | 0.000999 | 0.00627894 | 3281409 |
| application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf | ? | 0.000999 | 0.00640612 | 3286101 |
| 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.178282 | 3287803 |
| industrial/babic/dspam/ dspam_dump_vc949.cnf | ? (problem) | 0.829873 | 0.830732 | 3280765 |
| application/leberre/ 2dimensionalstrippacking/E07N15.cnf | ? (problem) | 3.58145 | 3.58267 | 3291069 |
| application/leberre/ 2dimensionalstrippacking/E15N15.cnf | ? (problem) | 4.19536 | 4.19603 | 3291115 |
| industrial/babic/hsatv17/ hsat_vc12062.cnf | ? (problem) | 5.07123 | 5.07202 | 3280811 |
| SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf | ? (problem) | 758.703 | 758.743 | 3293783 |
| SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf | ? (problem) | 908.739 | 908.711 | 3293829 |