QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'04
Best Solver: QUANTOR Time: 0.03 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | - | - | - | - | sSolve | 0.33 |
| - | - | - | - | - | - | QMRes | 0.71 |
| - | - | - | - | - | - | QSAT | 1.36 |
| - | - | - | - | - | - | CLearn | 2.13 |
| - | - | - | - | - | - | GRL | 2.3 |
| QUANTOR(0.03) |  |
| sSolve(0.33) |  |
| QMRes(0.71) |  |
| QSAT(1.36) |  |
| CLearn(2.13) |  |
| GRL(2.3) |  |
| semprop(3.41) |  |
| CSBJ(4.65) |  |
| yQuaffle(6.01) |  |
| QUBE-LRN(14.88) |  |
| QBFL-JW(20.93) |  |
| QBFL-BS(22.6) |  |
| openQbf(88.85) |  |
| QUBE-BJ(104.55) |  |