QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'16 - 2QBF Track.
Best Solver: xb-qsts Time: 12.21 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | xb-bid-qsts | 13.44 | qsts | 63.61 | depqbf-v2 | 218.82 |
| - | - | rareqs | 13.96 | - | - | areqs | 522.04 |
| - | - | hiqqer1ldsq | 28.02 | - | - | - | - |
| - | - | hiqqer1 | 28.03 | - | - | - | - |
| - | - | hiqqer3 | 38 | - | - | - | - |
| xb-qsts(12.21) |  |
| xb-bid-qsts(13.44) |  |
| rareqs(13.96) |  |
| hiqqer1ldsq(28.02) |  |
| hiqqer1(28.03) |  |
| hiqqer3(38) |  |
| qsts(63.61) |  |
| depqbf-v2(218.82) |  |
| areqs(522.04) |  |