QBF Solver Evaluation Portal
qbflib.orgResults for instance ev-pr-4x4-7-3-0-0-1-lg
QBFEVAL'05
| Solver | Time | Result |
|---|---|---|
| WalkQSAT | 0.2 | SAT |
| QChaffLearn | 0.21 | SAT |
| GRL | 0.35 | SAT |
| QbflHR | 1.31 | SAT |
| semprop | 3.72 | SAT |
| openQbf | 7.1 | SAT |
| yQuaffle | 8.36 | SAT |
| sSolve | 21.97 | SAT |
| skizzo_v0.4 | 37.35 | SAT |
| QUANTOR | 99.91 | FAIL |
| skizzo_v0.5 | 104.68 | SAT |
| qbfbdd | 213.6 | SAT |
| QMRes | 900.71 | FAIL |