QBF Solver Evaluation Portal
qbflib.orgFamily amba results for solvers
QBFEVAL'18 - Prenex 2QBF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aspq2v3 | 1087.81 | 362.6 | 380.05 | 101.4 | 15 | 0.667 |
| aspq3alt | 1027.01 | 342.34 | 395.62 | 102.58 | 78.16 | 0.667 |
| ASPQ_2018 | 1027.11 | 342.37 | 395.62 | 102.65 | 78.23 | 0.667 |
| CADET_2017 | 2700.15 | 900.05 | 0.01 | 900.05 | 0.01 | 0 |
| Caqe-bloqqer | 401.36 | 133.79 | 141.6 | 61.65 | 53.58 | 1 |
| Caqe-bloqqer-qdo | 931.02 | 310.34 | 383.02 | 62.06 | 44.5 | 1 |
| Caqe-hqspre | 992.36 | 330.79 | 402.91 | 68.51 | 44.67 | 0.667 |
| Cued_2_2018 | 103.45 | 34.48 | 34.57 | 10.12 | 0.16 | 1 |
| Cued_3_2018 | 104.14 | 34.71 | 34.95 | 10.03 | 0.06 | 1 |
| depqbf_prefix_opt_qdo | 2700.09 | 900.03 | 0.01 | 900.04 | 0.03 | 0 |
| depqbf_pre_QxQBH | 810.85 | 270.28 | 99.89 | 249.36 | 89.61 | 1 |
| GhostQ-PG_cegar | 2700.14 | 900.05 | 0.03 | 900.06 | 0.05 | 0 |
| GhostQ-PG_plain | 2700.17 | 900.06 | 0.04 | 900.03 | 0 | 0 |
| Heretiq-cube | 947.75 | 315.92 | 336.2 | 108.77 | 59.91 | 1 |
| Heretiq-simple | 857.57 | 285.86 | 293.96 | 108.62 | 59.81 | 1 |
| ijtihad | 2226.97 | 742.32 | 223.07 | 900.04 | 473.18 | 0.333 |
| Iprover-HQSpre-Bloqqer | 2700.04 | 900.01 | 0.01 | 900.01 | 0 | 0 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 1835.2 | 611.73 | 407.77 | 900.06 | 865 | 0.333 |
| predyndep | 566.28 | 188.76 | 152.47 | 100.1 | 37.23 | 1 |
| Qute_default | 4.73 | 1.58 | 0.78 | 1.37 | 0.63 | 1 |
| Qute_opt500 | 4.79 | 1.6 | 0.79 | 1.37 | 0.61 | 1 |
| Qute_random | 4.48 | 1.49 | 0.88 | 1.36 | 0.87 | 1 |
| Rareqs_2018 | 264.75 | 88.25 | 69.61 | 47.27 | 16.04 | 1 |