QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'16 - Prenex CNF Track.
Best Solver: caqe-minisat Time: 0 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| aqua-f3v | 0 | xb-bid-qsts | 0.01 | depqbf-v3 | 0.05 | depqbf-v2 | 0.1 |
| aqua-s2v | 0 | hiqqer1ldsq | 0.03 | qsts | 0.05 | depqbf-v1 | 0.12 |
| aqua-s3o | 0 | hiqqer1 | 0.04 | - | - | AIGSolve | 0.15 |
| caqe-picosat | 0 | hiqqer3 | 0.04 | - | - | iprover-QBF | 0.9 |
| qesto | 0 | - | - | - | - | - | - |
| qestos | 0 | - | - | - | - | - | - |
| rareqs | 0 | - | - | - | - | - | - |
| xb-qsts | 0 | - | - | - | - | - | - |
| aqua-f3v(0) |  |
| aqua-s2v(0) |  |
| aqua-s3o(0) |  |
| caqe-minisat(0) |  |
| caqe-picosat(0) |  |
| qesto(0) |  |
| qestos(0) |  |
| rareqs(0) |  |
| xb-qsts(0) |  |
| xb-bid-qsts(0.01) |  |
| hiqqer1ldsq(0.03) |  |
| hiqqer1(0.04) |  |
| hiqqer3(0.04) |  |
| depqbf-v3(0.05) |  |
| qsts(0.05) |  |
| depqbf-v2(0.1) | |
| depqbf-v1(0.12) | |
| AIGSolve(0.15) | |
| iprover-QBF(0.9) | |
| ghostq-plain(1.2) | |
| ghostq-cegar(1.39) | |
| struqs-10(3.17) | |
| squeezebf+struqs(3.34) | |