QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'18 - Prenex 2QBF Track
Best Solver: Qute_random Time: 0.49 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | Qute_default | 0.74 | - | - | Caqe-bloqqer | 8.07 |
| - | - | Qute_opt500 | 0.76 | - | - | Cued_2_2018 | 9.96 |
| - | - | - | - | - | - | Cued_3_2018 | 10.03 |
| - | - | - | - | - | - | Caqe-bloqqer-qdo | 17.56 |
| - | - | - | - | - | - | Caqe-hqspre | 23.84 |
| - | - | - | - | - | - | aspq3alt | 24.42 |
| - | - | - | - | - | - | ASPQ_2018 | 24.42 |
| - | - | - | - | - | - | Rareqs_2018 | 31.23 |
| - | - | - | - | - | - | PortfolioDepQBFGhostQRaReQSQute___pf | 35.06 |
| - | - | - | - | - | - | Heretiq-simple | 48.81 |
| - | - | - | - | - | - | Heretiq-cube | 48.86 |
| Qute_random(0.49) |  |
| Qute_default(0.74) |  |
| Qute_opt500(0.76) |  |
| Caqe-bloqqer(8.07) |  |
| Cued_2_2018(9.96) |  |
| Cued_3_2018(10.03) |  |
| Caqe-bloqqer-qdo(17.56) |  |
| Caqe-hqspre(23.84) |  |
| aspq3alt(24.42) |  |
| ASPQ_2018(24.42) |  |
| Rareqs_2018(31.23) |  |
| PortfolioDepQBFGhostQRaReQSQute___pf(35.06) |  |
| Heretiq-simple(48.81) |  |
| Heretiq-cube(48.86) |  |
| predyndep(62.87) |  |
| aspq2v3(86.4) | |
| depqbf_pre_QxQBH(159.75) | |
| ijtihad(426.86) | |