QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'06
Best Solver: sKizzo-0.9-abs Time: 0.05 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | sKizzo-0.9-std | 0.05 | QUANTOR | 0.42 | preQuantor | 1.2 |
| - | - | sKizzo-0.9-grn | 0.09 | QUANTOR_hc | 0.42 | 2clsQ | 1.24 |
| - | - | - | - | - | - | SQBF | 1.24 |
| sKizzo-0.9-abs(0.05) |  |
| sKizzo-0.9-std(0.05) |  |
| sKizzo-0.9-grn(0.09) |  |
| QUANTOR(0.42) |  |
| QUANTOR_hc(0.42) |  |
| preQuantor(1.2) |  |
| 2clsQ(1.24) |  |
| SQBF(1.24) |  |
| ssolve-ut(8.03) |  |
| ssolve+ut(8.06) |  |
| sSolve(8.09) |  |
| yQuaffle(26.61) |  |
| semprop(56.09) |  |
| GRL(102.76) |  |
| qube4.0(711.74) |  |
| qube5.0(831.79) | |
| qube3.0(1231.08) | |
| openQbf(2118.89) | |
| Quaffle(4133.22) | |