QBF Solver Evaluation Portal
qbflib.orgResults for instance ev-pr-4x4-15-3-0-0-1-lg
QBFEVAL'05
| Solver | Time | Result |
|---|---|---|
| WalkQSAT | 0.51 | SAT |
| QChaffLearn | 0.54 | SAT |
| GRL | 0.88 | SAT |
| skizzo_v0.5 | 297.45 | FAIL |
| skizzo_v0.4 | 322.27 | FAIL |
| QUANTOR | 347 | FAIL |
| qbfbdd | 385.07 | SAT |
| yQuaffle | 891.12 | FAIL |
| QMRes | 900.37 | FAIL |
| openQbf | 900.96 | FAIL |
| QbflHR | 900.99 | FAIL |
| semprop | 901 | FAIL |
| sSolve | 901 | FAIL |