QBF Solver Evaluation Portal
qbflib.orgFamily RankingFunctions results for solvers
QBFEVAL'18 - Prenex 2QBF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aspq2v3 | 900.69 | 29.05 | 159.03 | 0 | 0 | 0.968 |
| aspq3alt | 927.86 | 29.93 | 158.86 | 0.87 | 0.63 | 0.968 |
| ASPQ_2018 | 927.13 | 29.91 | 158.86 | 0.89 | 1.14 | 0.968 |
| CADET_2017 | 0 | 0 | 0 | 0 | 0 | 1 |
| Caqe-bloqqer | 900.68 | 29.05 | 159.03 | 0 | 0 | 0.968 |
| Caqe-bloqqer-qdo | 927.19 | 29.91 | 158.86 | 0.91 | 1.16 | 0.968 |
| Caqe-hqspre | 5.42 | 0.17 | 0.46 | 0 | 0 | 1 |
| Cued_2_2018 | 31.59 | 1.02 | 0.82 | 0.92 | 0.63 | 1 |
| Cued_3_2018 | 31.47 | 1.02 | 0.81 | 0.9 | 0.61 | 1 |
| depqbf_prefix_opt_qdo | 26101.26 | 841.98 | 221.11 | 900.04 | 0.03 | 0.065 |
| depqbf_pre_QxQBH | 6.57 | 0.21 | 0.54 | 0 | 0 | 1 |
| GhostQ-PG_cegar | 97.57 | 3.15 | 1.58 | 3.2 | 1.73 | 1 |
| GhostQ-PG_plain | 163.02 | 5.26 | 4.76 | 3.3 | 3.98 | 1 |
| Heretiq-cube | 490.53 | 15.82 | 86.51 | 0 | 0 | 0.968 |
| Heretiq-simple | 900.68 | 29.05 | 159.01 | 0 | 0 | 0.968 |
| ijtihad | 900.78 | 29.06 | 159.02 | 0 | 0 | 0.968 |
| Iprover-HQSpre-Bloqqer | 5.66 | 0.18 | 0.47 | 0 | 0 | 1 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 183.87 | 5.93 | 0.69 | 5.73 | 0.35 | 1 |
| predyndep | 38.97 | 1.26 | 0.75 | 1.1 | 0.69 | 1 |
| Qute_default | 7.84 | 0.25 | 0.66 | 0 | 0 | 1 |
| Qute_opt500 | 7.9 | 0.25 | 0.66 | 0 | 0 | 1 |
| Qute_random | 7.87 | 0.25 | 0.66 | 0 | 0 | 1 |
| Rareqs_2018 | 900.62 | 29.05 | 159.01 | 0 | 0 | 0.968 |