QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'17 - Prenex 2QBF Track
Best Solver: GhostQ-PG_cegar Time: 103.62 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | rareqs | 197.4 | caqe_2017_v1 | 789.33 | - | - |
| - | - | xb-qsts_bqsts2.0 | 493.94 | - | - | - | - |
| - | - | xb-qsts_xbqsts1.0 | 497.19 | - | - | - | - |
| - | - | xb-qsts_xbqsts2.0 | 500.51 | - | - | - | - |
| GhostQ-PG_cegar(103.62) |  |
| rareqs(197.4) |  |
| xb-qsts_bqsts2.0(493.94) |  |
| xb-qsts_xbqsts1.0(497.19) |  |
| xb-qsts_xbqsts2.0(500.51) |  |
| caqe_2017_v1(789.33) |  |