QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'18 - Prenex CNF Track
Best Solver: GhostQ-PG_cegar Time: 3.88 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | GhostQ-PG_plain | 5.06 | - | - | Qute_opt500 | 67.95 |
| - | - | Caqe-bloqqer-qdo | 9.7 | - | - | Qute_random | 68.06 |
| - | - | Cued_3_2018 | 9.71 | - | - | Qute_default | 68.18 |
| - | - | Cued_2_2018 | 9.94 | - | - | Caqe-hqspre | 70.44 |
| - | - | predyndep | 11.63 | - | - | Iprover-HQSpre-Bloqqer | 70.61 |
| - | - | PortfolioDepQBFGhostQRaReQSQute___pf | 16.34 | - | - | depqbf_pre_QxQBH | 195.27 |
| GhostQ-PG_cegar(3.88) |  |
| GhostQ-PG_plain(5.06) |  |
| Caqe-bloqqer-qdo(9.7) |  |
| Cued_3_2018(9.71) |  |
| Cued_2_2018(9.94) |  |
| predyndep(11.63) |  |
| PortfolioDepQBFGhostQRaReQSQute___pf(16.34) |  |
| Qute_opt500(67.95) |  |
| Qute_random(68.06) |  |
| Qute_default(68.18) |  |
| Caqe-hqspre(70.44) |  |
| Iprover-HQSpre-Bloqqer(70.61) |  |
| depqbf_pre_QxQBH(195.27) |  |