QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'06
Best Solver: preQuantor Time: 2.7 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | SQBF | 2.71 | - | - | QUANTOR_hc | 42.93 |
| - | - | 2clsQ | 2.73 | - | - | QUANTOR | 43.07 |
| - | - | sKizzo-0.9-std | 3.72 | - | - | - | - |
| - | - | sKizzo-0.9-abs | 3.79 | - | - | - | - |
| - | - | sKizzo-0.9-grn | 4.26 | - | - | - | - |
| preQuantor(2.7) |  |
| SQBF(2.71) |  |
| 2clsQ(2.73) |  |
| sKizzo-0.9-std(3.72) |  |
| sKizzo-0.9-abs(3.79) |  |
| sKizzo-0.9-grn(4.26) |  |
| QUANTOR_hc(42.93) |  |
| QUANTOR(43.07) |  |