QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'18 - Prenex CNF Track
Best Solver: Heretiq-cube Time: 2.95 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | ijtihad | 2.97 | Iprover-HQSpre-Bloqqer | 15.78 | PortfolioDepQBFGhostQRaReQSQute___pf | 38.19 |
| - | - | Heretiq-simple | 2.98 | Caqe-hqspre | 15.89 | Caqe-bloqqer-qdo | 241.39 |
| - | - | Rareqs_2018 | 6.54 | depqbf_pre_QxQBH | 17.8 | - | - |
| - | - | - | - | predyndep | 18.65 | - | - |
| - | - | - | - | Qute_default | 23.46 | - | - |
| - | - | - | - | Qute_opt500 | 23.62 | - | - |
| - | - | - | - | Qute_random | 23.79 | - | - |
| Heretiq-cube(2.95) |  |
| ijtihad(2.97) |  |
| Heretiq-simple(2.98) |  |
| Rareqs_2018(6.54) |  |
| Iprover-HQSpre-Bloqqer(15.78) |  |
| Caqe-hqspre(15.89) |  |
| depqbf_pre_QxQBH(17.8) |  |
| predyndep(18.65) |  |
| Qute_default(23.46) |  |
| Qute_opt500(23.62) |  |
| Qute_random(23.79) |  |
| PortfolioDepQBFGhostQRaReQSQute___pf(38.19) |  |
| Caqe-bloqqer-qdo(241.39) |  |
| Caqe-bloqqer(376.29) |  |