QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'18 - Prenex CNF Track
Best Solver: depqbf_prefix_opt_qdo Time: 4.15 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | PortfolioDepQBFGhostQRaReQSQute___pf | 10.85 | Heretiq-cube | 32.32 | depqbf_pre_QxQBH | 63.93 |
| - | - | Cued_3_2018 | 10.87 | Heretiq-simple | 32.5 | predyndep | 155.91 |
| - | - | Cued_2_2018 | 10.9 | Caqe-hqspre | 34.18 | Qute_default | 163.25 |
| - | - | Caqe-bloqqer | 12.7 | Qute_random | 38.14 | - | - |
| - | - | Caqe-bloqqer-qdo | 17.76 | Qute_opt500 | 38.42 | - | - |
| depqbf_prefix_opt_qdo(4.15) |  |
| PortfolioDepQBFGhostQRaReQSQute___pf(10.85) |  |
| Cued_3_2018(10.87) |  |
| Cued_2_2018(10.9) |  |
| Caqe-bloqqer(12.7) |  |
| Caqe-bloqqer-qdo(17.76) |  |
| Heretiq-cube(32.32) |  |
| Heretiq-simple(32.5) |  |
| Caqe-hqspre(34.18) |  |
| Qute_random(38.14) |  |
| Qute_opt500(38.42) |  |
| depqbf_pre_QxQBH(63.93) |  |
| predyndep(155.91) |  |
| Qute_default(163.25) |  |
| Rareqs_2018(585.75) |  |
| GhostQ-PG_plain(700.71) | |