QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'16 - Prenex CNF Track.
Best Solver: depqbf-v3 Time: 0.17 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | depqbf-v2 | 0.21 | hiqqer1 | 1.09 | depqbf-v1 | 6.71 |
| - | - | - | - | hiqqer1ldsq | 1.09 | aqua-f3v | 8.75 |
| - | - | - | - | hiqqer3 | 1.1 | aqua-s2v | 8.8 |
| - | - | - | - | qesto | 1.25 | aqua-s3o | 8.81 |
| - | - | - | - | rareqs | 1.25 | qsts | 9.86 |
| - | - | - | - | qestos | 1.26 | - | - |
| depqbf-v3(0.17) |  |
| depqbf-v2(0.21) |  |
| hiqqer1(1.09) |  |
| hiqqer1ldsq(1.09) |  |
| hiqqer3(1.1) |  |
| qesto(1.25) |  |
| rareqs(1.25) |  |
| qestos(1.26) |  |
| depqbf-v1(6.71) |  |
| aqua-f3v(8.75) |  |
| aqua-s2v(8.8) |  |
| aqua-s3o(8.81) |  |
| qsts(9.86) |  |
| iprover-QBF(74.13) |  |
| squeezebf+struqs(83.58) |  |
| struqs-10(88.53) | |
| AIGSolve(89.31) | |