QBF Solver Evaluation Portal
qbflib.orgSuite Miller-Marin results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 45.61 | 1.52 | 0.79 | 1.55 | 0.84 | 1 |
| Caqe-bloqqer-qdo | 501.12 | 16.7 | 12.57 | 13.71 | 13.66 | 1 |
| Caqe-hqspre | 132.51 | 4.42 | 5.41 | 2.91 | 3.23 | 1 |
| Cued_2_2018 | 15675.65 | 522.52 | 433.99 | 900.01 | 893.44 | 0.433 |
| Cued_3_2018 | 15674.02 | 522.47 | 434.04 | 900.02 | 893.67 | 0.433 |
| depqbf_prefix_opt_qdo | 12718.97 | 423.97 | 445.36 | 17.56 | 895.97 | 0.533 |
| depqbf_pre_QxQBH | 797.64 | 26.59 | 55.34 | 6.84 | 11.42 | 1 |
| GhostQ-PG_cegar | 3696.58 | 123.22 | 195.38 | 30.49 | 54.29 | 0.933 |
| GhostQ-PG_plain | 16709.89 | 557 | 376.96 | 780.52 | 836.02 | 0.433 |
| Heretiq-cube | 43.07 | 1.44 | 0.78 | 1.4 | 0.83 | 1 |
| Heretiq-simple | 42.32 | 1.41 | 0.81 | 1.38 | 0.91 | 1 |
| ijtihad | 45.11 | 1.5 | 0.93 | 1.37 | 0.87 | 1 |
| Iprover-HQSpre-Bloqqer | 1688.07 | 56.27 | 172.26 | 3.18 | 3.71 | 0.967 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 826.47 | 27.55 | 24.1 | 14.41 | 28.15 | 1 |
| predyndep | 827.02 | 27.57 | 19.48 | 23.51 | 17.66 | 1 |
| Qute_default | 2774.43 | 92.48 | 269.2 | 2.59 | 2.43 | 0.9 |
| Qute_opt500 | 2775.06 | 92.5 | 269.2 | 2.55 | 2.34 | 0.9 |
| Qute_random | 2774.58 | 92.49 | 269.19 | 2.59 | 2.38 | 0.9 |
| Rareqs_2018 | 42.99 | 1.43 | 0.74 | 1.43 | 0.9 | 1 |