QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'17 - Prenex CNF Track
Best Solver: QELL_unit Time: 1.82 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | QELL_default | 2.14 | GhostQ-PG_plain | 9.68 | ghostq-cegar | 35.1 |
| - | - | - | - | GhostQ-PG_cegar | 10.01 | rev_qfun0.1 | 69.16 |
| - | - | - | - | - | - | Qute_default | 118.87 |
| QELL_unit(1.82) |  |
| QELL_default(2.14) |  |
| GhostQ-PG_plain(9.68) |  |
| GhostQ-PG_cegar(10.01) |  |
| ghostq-cegar(35.1) |  |
| rev_qfun0.1(69.16) |  |
| Qute_default(118.87) |  |
| caqe_2017_v3(218.1) |  |
| caqe_2017_v2(222.55) |  |
| caqe_2017_v1(348.47) |  |
| rareqs(550.64) |  |