QBF Solver Evaluation Portal
qbflib.orgResults for instance robots_1_5_5_26.4
QBFEVAL'05
| Solver | Time | Result |
|---|---|---|
| qbfbdd | 0.21 | SAT |
| yQuaffle | 0.71 | SAT |
| sSolve | 3.3 | SAT |
| semprop | 5.63 | SAT |
| GRL | 5.85 | SAT |
| QChaffLearn | 5.88 | SAT |
| QUANTOR | 32.93 | FAIL |
| WalkQSAT | 33.59 | FAIL |
| QbflHR | 45.7 | SAT |
| openQbf | 123.68 | SAT |
| skizzo_v0.5 | 575.33 | FAIL |
| skizzo_v0.4 | 726.49 | FAIL |
| QMRes | 900.13 | FAIL |