QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'16 - 2QBF Track.
Best Solver: qsts Time: 1.19 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | ghostq-cegar | 1.52 | hiqqer1 | 8.4 | hiqqer3 | 12.52 |
| - | - | depqbf-v1 | 3.32 | hiqqer1ldsq | 8.42 | qestos | 20.63 |
| - | - | rareqs | 3.69 | - | - | xb-qsts | 42.97 |
| - | - | depqbf-v3 | 4.87 | - | - | xb-bid-qsts | 43.32 |
| - | - | areqs | 4.98 | - | - | depqbf-v2 | 74.72 |
| - | - | aspQ | 5.94 | - | - | - | - |
| qsts(1.19) |  |
| ghostq-cegar(1.52) |  |
| depqbf-v1(3.32) |  |
| rareqs(3.69) |  |
| depqbf-v3(4.87) |  |
| areqs(4.98) |  |
| aspQ(5.94) |  |
| hiqqer1(8.4) |  |
| hiqqer1ldsq(8.42) |  |
| hiqqer3(12.52) |  |
| qestos(20.63) |  |
| xb-qsts(42.97) |  |
| xb-bid-qsts(43.32) |  |
| depqbf-v2(74.72) |  |