QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'16 - 2QBF Track.
Best Solver: rareqs Time: 2.96 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | qsts | 3.84 | aspQ | 20.87 | depqbf-v2 | 30.52 |
| - | - | hiqqer1 | 4.6 | - | - | qestos | 192.97 |
| - | - | hiqqer1ldsq | 4.65 | - | - | - | - |
| - | - | xb-qsts | 5.9 | - | - | - | - |
| - | - | xb-bid-qsts | 6.07 | - | - | - | - |
| - | - | hiqqer3 | 9.1 | - | - | - | - |
| rareqs(2.96) |  |
| qsts(3.84) |  |
| hiqqer1(4.6) |  |
| hiqqer1ldsq(4.65) |  |
| xb-qsts(5.9) |  |
| xb-bid-qsts(6.07) |  |
| hiqqer3(9.1) |  |
| aspQ(20.87) |  |
| depqbf-v2(30.52) |  |
| qestos(192.97) |  |
| areqs(457.23) |  |