QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'05
Best Solver: QbflHR Time: 1.07 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | sSolve | 3.62 | openQbf | 5.9 | qbfbdd | 15.77 |
| - | - | QUANTOR | 3.84 | yQuaffle | 6.37 | - | - |
| - | - | skizzo_v0.4 | 4 | semprop | 7.68 | - | - |
| - | - | skizzo_v0.5 | 4.13 | - | - | - | - |
| - | - | GRL | 4.5 | - | - | - | - |
| QbflHR(1.07) |  |
| sSolve(3.62) |  |
| QUANTOR(3.84) |  |
| skizzo_v0.4(4) |  |
| skizzo_v0.5(4.13) |  |
| GRL(4.5) |  |
| openQbf(5.9) |  |
| yQuaffle(6.37) |  |
| semprop(7.68) |  |
| qbfbdd(15.77) |  |