QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'18 - Prenex CNF Track
Best Solver: depqbf_prefix_opt_qdo Time: 1.67 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | GhostQ-PG_cegar | 3.5 | Caqe-bloqqer-qdo | 9.41 | Caqe-bloqqer | 31.35 |
| - | - | Caqe-hqspre | 3.67 | PortfolioDepQBFGhostQRaReQSQute___pf | 15.68 | Heretiq-simple | 45.28 |
| - | - | Qute_random | 5.28 | - | - | Heretiq-cube | 45.6 |
| - | - | Qute_default | 5.41 | - | - | depqbf_pre_QxQBH | 64.72 |
| - | - | Qute_opt500 | 5.43 | - | - | - | - |
| depqbf_prefix_opt_qdo(1.67) |  |
| GhostQ-PG_cegar(3.5) |  |
| Caqe-hqspre(3.67) |  |
| Qute_random(5.28) |  |
| Qute_default(5.41) |  |
| Qute_opt500(5.43) |  |
| Caqe-bloqqer-qdo(9.41) |  |
| PortfolioDepQBFGhostQRaReQSQute___pf(15.68) |  |
| Caqe-bloqqer(31.35) |  |
| Heretiq-simple(45.28) |  |
| Heretiq-cube(45.6) |  |
| depqbf_pre_QxQBH(64.72) |  |
| predyndep(251.04) |  |
| Cued_3_2018(614.43) |  |
| Cued_2_2018(631.28) |  |