| Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
|---|---|---|---|---|
| APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf | ? | 0 | 0.00637309 | 3283020 |
| application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf | ? | 0 | 0.00644889 | 3285044 |
| application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf | ? | 0 | 0.00669503 | 3285872 |
| industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf | ? | 0 | 0.00587197 | 3281364 |
| industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf | ? | 0.000999 | 0.00624298 | 3281410 |
| application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf | ? | 0.000999 | 0.0064859 | 3285734 |
| application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf | ? | 0.000999 | 0.00641392 | 3285182 |
| velev-npe-1.0-9dlx-b71.cnf | ? | 0.000999 | 0.00656203 | 3284078 |
| application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf | ? | 0.000999 | 0.00648988 | 3286102 |
| Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
|---|---|---|---|---|
| application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf | ? (problem) | 0.178972 | 0.179096 | 3287804 |
| industrial/babic/dspam/ dspam_dump_vc949.cnf | ? (problem) | 0.829873 | 0.830064 | 3280766 |
| application/leberre/ 2dimensionalstrippacking/E07N15.cnf | ? (problem) | 3.55346 | 3.55397 | 3291070 |
| application/leberre/ 2dimensionalstrippacking/E15N15.cnf | ? (problem) | 4.15437 | 4.16059 | 3291116 |
| industrial/babic/hsatv17/ hsat_vc12062.cnf | ? (problem) | 5.10722 | 5.10677 | 3280812 |
| SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf | ? (problem) | 696.289 | 696.266 | 3293784 |
| SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf | ? (problem) | 1009.74 | 1009.74 | 3293830 |