QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-5qbf-5cnf-160var-2560cl results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 1145.17 | 114.52 | 29.98 | 110.54 | 45.89 | 0 |
| openQbf | 9009.24 | 900.92 | 0.02 | 900.93 | 0.03 | 0 |
| qbfbdd | 9009.96 | 901 | 0.01 | 901 | 0.01 | 0 |
| QbflHR | 9010.04 | 901 | 0.01 | 901 | 0.01 | 0 |
| QChaffLearn | 2613.48 | 261.35 | 317.59 | 126.63 | 76.57 | 0 |
| QMRes | 8700.39 | 870.04 | 70.19 | 900.17 | 70.91 | 0 |
| QUANTOR | 104.02 | 10.4 | 0.14 | 10.41 | 0.17 | 0 |
| semprop | 1649.43 | 164.94 | 280.54 | 25.13 | 88.99 | 0.9 |
| skizzo_v0.4 | 209.57 | 20.96 | 13.57 | 12.78 | 13.27 | 1 |
| skizzo_v0.5 | 228.14 | 22.81 | 13.19 | 17.4 | 23.87 | 1 |
| sSolve | 0.46 | 0.05 | 0.04 | 0.03 | 0.02 | 1 |
| WalkQSAT | 795.36 | 79.54 | 41.8 | 85.67 | 80.63 | 0.2 |
| yQuaffle | 8959.34 | 895.93 | 0.39 | 896.01 | 0.63 | 0 |