QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'17 - Prenex CNF Track
Best Solver: QELL_unit Time: 0.53 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | QELL_default | 1.12 | GhostQ-PG_plain | 4.9 | GhostQ-PG_cegar | 6.25 |
| - | - | - | - | - | - | ghostq-cegar | 18.51 |
| - | - | - | - | - | - | rev_qfun0.1 | 23.16 |
| QELL_unit(0.53) |  |
| QELL_default(1.12) |  |
| GhostQ-PG_plain(4.9) |  |
| GhostQ-PG_cegar(6.25) |  |
| ghostq-cegar(18.51) |  |
| rev_qfun0.1(23.16) |  |
| rareqs(63.53) |  |
| Qute_default(75.71) |  |
| caqe_2017_v1(83.67) |  |
| xb-qsts_bqsts2.0(85.25) |  |
| caqe_2017_v3(114.37) |  |
| caqe_2017_v2(114.67) |  |
| qesto(153.49) |  |
| xb-qsts_xbqsts2.0(170.49) |  |
| xb-qsts_xbqsts1.0(173.18) |  |