QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'18 - Prenex CNF Track
Best Solver: Heretiq-simple Time: 0.9 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | Rareqs_2018 | 0.93 | Caqe-bloqqer-qdo | 4.51 | depqbf_pre_QxQBH | 9.45 |
| - | - | ijtihad | 0.94 | depqbf_prefix_opt_qdo | 6.97 | predyndep | 15.14 |
| - | - | Caqe-bloqqer | 0.97 | - | - | PortfolioDepQBFGhostQRaReQSQute___pf | 36.89 |
| - | - | Heretiq-cube | 1 | - | - | - | - |
| - | - | Qute_opt500 | 1.86 | - | - | - | - |
| - | - | Qute_random | 1.89 | - | - | - | - |
| - | - | Qute_default | 1.93 | - | - | - | - |
| - | - | Caqe-hqspre | 2.1 | - | - | - | - |
| - | - | Iprover-HQSpre-Bloqqer | 2.28 | - | - | - | - |
| - | - | Cued_3_2018 | 4.37 | - | - | - | - |
| - | - | Cued_2_2018 | 4.46 | - | - | - | - |
| Heretiq-simple(0.9) |  |
| Rareqs_2018(0.93) |  |
| ijtihad(0.94) |  |
| Caqe-bloqqer(0.97) |  |
| Heretiq-cube(1) |  |
| Qute_opt500(1.86) |  |
| Qute_random(1.89) |  |
| Qute_default(1.93) |  |
| Caqe-hqspre(2.1) |  |
| Iprover-HQSpre-Bloqqer(2.28) |  |
| Cued_3_2018(4.37) |  |
| Cued_2_2018(4.46) |  |
| Caqe-bloqqer-qdo(4.51) |  |
| depqbf_prefix_opt_qdo(6.97) |  |
| depqbf_pre_QxQBH(9.45) |  |
| predyndep(15.14) | |
| PortfolioDepQBFGhostQRaReQSQute___pf(36.89) | |
| GhostQ-PG_plain(260.23) | |
| GhostQ-PG_cegar(261.9) | |