QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'05
Best Solver: sSolve Time: 1.11 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | QUANTOR | 1.59 | - | - | qbfbdd | 34.3 |
| - | - | QbflHR | 1.77 | - | - | - | - |
| - | - | yQuaffle | 1.87 | - | - | - | - |
| - | - | GRL | 2.16 | - | - | - | - |
| - | - | skizzo_v0.5 | 2.35 | - | - | - | - |
| - | - | skizzo_v0.4 | 2.38 | - | - | - | - |
| - | - | semprop | 3.33 | - | - | - | - |
| - | - | openQbf | 5.2 | - | - | - | - |
| sSolve(1.11) |  |
| QUANTOR(1.59) |  |
| QbflHR(1.77) |  |
| yQuaffle(1.87) |  |
| GRL(2.16) |  |
| skizzo_v0.5(2.35) |  |
| skizzo_v0.4(2.38) |  |
| semprop(3.33) |  |
| openQbf(5.2) |  |
| qbfbdd(34.3) |  |