QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'18 - Prenex CNF Track
Best Solver: depqbf_prefix_opt_qdo Time: 0.89 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | Caqe-bloqqer | 2.62 | ijtihad | 5.2 | depqbf_pre_QxQBH | 61.44 |
| - | - | - | - | Heretiq-simple | 5.21 | - | - |
| - | - | - | - | Heretiq-cube | 5.24 | - | - |
| - | - | - | - | Cued_2_2018 | 6.36 | - | - |
| - | - | - | - | Cued_3_2018 | 6.37 | - | - |
| - | - | - | - | Rareqs_2018 | 6.67 | - | - |
| - | - | - | - | Caqe-bloqqer-qdo | 7.82 | - | - |
| depqbf_prefix_opt_qdo(0.89) |  |
| Caqe-bloqqer(2.62) |  |
| ijtihad(5.2) |  |
| Heretiq-simple(5.21) |  |
| Heretiq-cube(5.24) |  |
| Cued_2_2018(6.36) |  |
| Cued_3_2018(6.37) |  |
| Rareqs_2018(6.67) |  |
| Caqe-bloqqer-qdo(7.82) |  |
| depqbf_pre_QxQBH(61.44) |  |
| Qute_opt500(408.46) |  |
| Qute_default(408.56) |  |
| Qute_random(458.45) |  |
| PortfolioDepQBFGhostQRaReQSQute___pf(588.5) |  |