QBF Solver Evaluation Portal
qbflib.orgFamily LinearBitvectorRankingFunction results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 10802.53 | 720.17 | 359.79 | 900.06 | 899.13 | 0.2 |
| Caqe-bloqqer-qdo | 9654.46 | 643.63 | 379.07 | 900.02 | 867.34 | 0.333 |
| Caqe-hqspre | 5380.92 | 358.73 | 396.94 | 163.69 | 892.64 | 0.667 |
| Cued_2_2018 | 13500.5 | 900.03 | 0.03 | 900.03 | 0.04 | 0 |
| Cued_3_2018 | 13500.41 | 900.03 | 0.02 | 900.02 | 0.02 | 0 |
| depqbf_prefix_opt_qdo | 12625.67 | 841.71 | 218.26 | 900.04 | 0.05 | 0.067 |
| depqbf_pre_QxQBH | 11745.38 | 783.03 | 298.33 | 900.01 | 0.05 | 0.133 |
| GhostQ-PG_cegar | 8830.23 | 588.68 | 386.97 | 900 | 842.39 | 0.4 |
| GhostQ-PG_plain | 11022.74 | 734.85 | 330.89 | 900.03 | 770.51 | 0.2 |
| Heretiq-cube | 10054.35 | 670.29 | 382.49 | 900 | 899.34 | 0.267 |
| Heretiq-simple | 10054.64 | 670.31 | 382.5 | 900.04 | 899.36 | 0.267 |
| ijtihad | 10801.69 | 720.11 | 359.84 | 900.01 | 899.35 | 0.2 |
| Iprover-HQSpre-Bloqqer | 10890.5 | 726.03 | 292.97 | 900.03 | 630.37 | 0.267 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 10667.22 | 711.15 | 342.73 | 900.03 | 850.96 | 0.2 |
| predyndep | 12673.21 | 844.88 | 206.41 | 900.04 | 0.04 | 0.067 |
| Qute_default | 13500.63 | 900.04 | 0.03 | 900.04 | 0.05 | 0 |
| Qute_opt500 | 8137.36 | 542.49 | 403.97 | 900.01 | 855.08 | 0.467 |
| Qute_random | 8123.91 | 541.59 | 403.67 | 900 | 854.28 | 0.467 |
| Rareqs_2018 | 10094.35 | 672.96 | 379.02 | 900.04 | 899.34 | 0.267 |