QBF Solver Evaluation Portal
qbflib.orgFamily mA-t2-4qbf-5cnf-40var-160cl results for solvers
QBFEVAL'05
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GRL | 0.66 | 0.07 | 0.06 | 0.05 | 0.05 | 1 |
| openQbf | 140.83 | 14.08 | 16.51 | 6.43 | 9.15 | 1 |
| qbfbdd | 9009.89 | 900.99 | 0.02 | 900.99 | 0.02 | 0 |
| QbflHR | 95.02 | 9.5 | 16.18 | 0.94 | 1.58 | 1 |
| QChaffLearn | 9.54 | 0.95 | 1.54 | 0.3 | 0.47 | 1 |
| QMRes | 1841.04 | 184.1 | 290.06 | 10.81 | 154.25 | 0.9 |
| QUANTOR | 1295.68 | 129.57 | 162.47 | 65.22 | 118.18 | 0.5 |
| semprop | 1.26 | 0.13 | 0.25 | 0.03 | 0.03 | 1 |
| skizzo_v0.4 | 4773.57 | 477.36 | 409.03 | 545.6 | 882.76 | 0.4 |
| skizzo_v0.5 | 2466.07 | 246.61 | 372.54 | 13.18 | 14.57 | 0.8 |
| sSolve | 0.02 | 0 | 0 | 0 | 0 | 1 |
| WalkQSAT | 1.84 | 0.18 | 0.21 | 0.11 | 0.15 | 1 |
| yQuaffle | 2421.32 | 242.13 | 355.32 | 31.33 | 62.9 | 0.8 |