QBF Solver Evaluation Portal
qbflib.orgResults for instance 1qbf-5cnf-160var-2560cl.6
QBFEVAL'05
| Solver | Time | Result |
|---|---|---|
| skizzo_v0.5 | 0.08 | SAT |
| sSolve | 0.08 | SAT |
| skizzo_v0.4 | 0.09 | SAT |
| QbflHR | 0.24 | SAT |
| qbfbdd | 0.77 | SAT |
| yQuaffle | 44.63 | SAT |
| GRL | 47.85 | FAIL |
| WalkQSAT | 48.27 | FAIL |
| QChaffLearn | 49.51 | FAIL |
| QUANTOR | 163.37 | SAT |
| openQbf | 202.27 | SAT |
| QMRes | 900.64 | FAIL |
| semprop | 900.92 | FAIL |