QBF Solver Evaluation Portal
qbflib.orgResults for instance ev-pr-6x6-9-5-0-1-2-lg
QBFEVAL'05
| Solver | Time | Result |
|---|---|---|
| WalkQSAT | 9.33 | FAIL |
| QChaffLearn | 52.6 | UNSAT |
| GRL | 94.66 | UNSAT |
| skizzo_v0.4 | 109.76 | FAIL |
| skizzo_v0.5 | 172.2 | FAIL |
| QUANTOR | 230.59 | FAIL |
| semprop | 278.18 | UNSAT |
| QbflHR | 456.34 | UNSAT |
| yQuaffle | 646.32 | UNSAT |
| openQbf | 733.11 | UNSAT |
| qbfbdd | 900.13 | FAIL |
| QMRes | 900.7 | FAIL |
| sSolve | 901 | FAIL |