QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'06
Best Solver: QUANTOR_hc Time: 0.21 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | QUANTOR | 0.4 | SQBF | 1.5 | ssolve-ut | 5.88 |
| - | - | - | - | preQuantor | 1.52 | sSolve | 8.71 |
| - | - | - | - | 2clsQ | 1.53 | ssolve+ut | 13.63 |
| QUANTOR_hc(0.21) |  |
| QUANTOR(0.4) |  |
| SQBF(1.5) |  |
| preQuantor(1.52) |  |
| 2clsQ(1.53) |  |
| ssolve-ut(5.88) |  |
| sSolve(8.71) |  |
| ssolve+ut(13.63) |  |
| semprop(50.09) |  |
| Quaffle(172.86) |  |
| Qbfl(529.7) |  |
| openQbf(967.13) |  |
| sKizzo-0.9-abs(2826.14) |  |
| sKizzo-0.9-std(2856.31) |  |
| sKizzo-0.9-grn(3323.07) |  |