QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-2qbf-5cnf-80var-320cl results for solvers
QBFEVAL'06
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| 2clsQ | 59607.13 | 5960.71 | 12.7 | 5960.66 | 21.6 | 0 |
| GRL | 6009.67 | 600.97 | 0.03 | 600.97 | 0.04 | 0 |
| openQbf | 60008.08 | 6000.81 | 0.12 | 6000.82 | 0.1 | 0 |
| preQuantor | 162.42 | 16.24 | 0.35 | 16.18 | 0.38 | 0 |
| Qbfl | 5984.78 | 598.48 | 0.5 | 598.54 | 0.93 | 0 |
| Quaffle | 5335.25 | 533.53 | 2.23 | 533.55 | 3.65 | 0 |
| QUANTOR | 152.53 | 15.25 | 2.41 | 14.3 | 2.84 | 0 |
| QUANTOR_hc | 151.18 | 15.12 | 2.2 | 14.46 | 1.52 | 0 |
| qube3.0 | 60006.6 | 6000.66 | 0.05 | 6000.68 | 0.1 | 0 |
| qube4.0 | 60006.57 | 6000.66 | 0.07 | 6000.67 | 0.12 | 0 |
| qube5.0 | 60006.51 | 6000.65 | 0.07 | 6000.69 | 0.18 | 0 |
| semprop | 5408.85 | 540.89 | 180.29 | 601 | 0.14 | 0.1 |
| sKizzo-0.9-abs | 23278.27 | 2327.83 | 1216.14 | 2692.34 | 2435.75 | 0 |
| sKizzo-0.9-grn | 26475.38 | 2647.54 | 2778.33 | 1017.07 | 5921.63 | 0.6 |
| sKizzo-0.9-std | 24854.62 | 2485.46 | 2861.46 | 260.18 | 5873.46 | 0.6 |
| SQBF | 59508 | 5950.8 | 18.62 | 5948.28 | 34.72 | 0 |
| sSolve | 5211.7 | 521.17 | 1024.69 | 6.96 | 165.96 | 1 |
| ssolve+ut | 5270.23 | 527.02 | 1024.21 | 4.19 | 185.55 | 1 |
| ssolve-ut | 5145.92 | 514.59 | 1010.73 | 6.9 | 164.06 | 1 |
| WalkQSAT | 6009.88 | 600.99 | 0.04 | 601 | 0.01 | 0 |
| yQuaffle | 5985.58 | 598.56 | 0.8 | 598.64 | 1.42 | 0 |