QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'05
Best Solver: QbflHR Time: 0.84 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | sSolve | 2.54 | openQbf | 4.7 | qbfbdd | 15.91 |
| - | - | QUANTOR | 3.07 | yQuaffle | 4.81 | - | - |
| - | - | GRL | 3.3 | semprop | 5.42 | - | - |
| - | - | skizzo_v0.4 | 3.39 | - | - | - | - |
| - | - | skizzo_v0.5 | 3.46 | - | - | - | - |
| QbflHR(0.84) |  |
| sSolve(2.54) |  |
| QUANTOR(3.07) |  |
| GRL(3.3) |  |
| skizzo_v0.4(3.39) |  |
| skizzo_v0.5(3.46) |  |
| openQbf(4.7) |  |
| yQuaffle(4.81) |  |
| semprop(5.42) |  |
| qbfbdd(15.91) |  |