QBF Solver Evaluation Portal
qbflib.orgResults for instance robots_1_5_5_8.4
QBFEVAL'05
| Solver | Time | Result |
|---|---|---|
| qbfbdd | 2.67 | SAT |
| yQuaffle | 4 | SAT |
| skizzo_v0.5 | 9.96 | SAT |
| sSolve | 54.47 | SAT |
| QUANTOR | 62.63 | FAIL |
| WalkQSAT | 76.9 | FAIL |
| GRL | 110.43 | SAT |
| QChaffLearn | 113.35 | SAT |
| QbflHR | 123.71 | SAT |
| openQbf | 319.61 | SAT |
| semprop | 408.08 | SAT |
| skizzo_v0.4 | 687.14 | FAIL |
| QMRes | 900.19 | FAIL |