QBF Solver Evaluation Portal
qbflib.orgFamily Selection-hard results for solvers
QBFEVAL'18 - Prenex 2QBF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aspq2v3 | 1403.75 | 175.47 | 301.31 | 10.17 | 236.96 | 0.875 |
| aspq3alt | 1459.88 | 182.49 | 303.22 | 12.57 | 252.26 | 0.875 |
| ASPQ_2018 | 1434.99 | 179.37 | 300.92 | 12.56 | 239.86 | 0.875 |
| CADET_2017 | 7200.33 | 900.04 | 0.02 | 900.04 | 0.03 | 0 |
| Caqe-bloqqer | 3933.44 | 491.68 | 411.31 | 528.46 | 816.9 | 0.5 |
| Caqe-bloqqer-qdo | 3720.12 | 465.02 | 435.1 | 470.27 | 866.72 | 0.5 |
| Caqe-hqspre | 2878.29 | 359.79 | 419.63 | 72.34 | 883.96 | 0.625 |
| Cued_2_2018 | 6310.07 | 788.76 | 294.4 | 900.02 | 0.05 | 0.125 |
| Cued_3_2018 | 6310.17 | 788.77 | 294.37 | 900.03 | 0.04 | 0.125 |
| depqbf_prefix_opt_qdo | 7200.45 | 900.06 | 0.03 | 900.05 | 0.06 | 0 |
| depqbf_pre_QxQBH | 6302 | 787.75 | 297.1 | 900.03 | 0.04 | 0.125 |
| GhostQ-PG_cegar | 7200.36 | 900.05 | 0.03 | 900.04 | 0.05 | 0 |
| GhostQ-PG_plain | 7200.37 | 900.05 | 0.02 | 900.05 | 0.04 | 0 |
| Heretiq-cube | 7200.36 | 900.05 | 0.03 | 900.05 | 0.04 | 0 |
| Heretiq-simple | 7200.41 | 900.05 | 0.02 | 900.06 | 0.03 | 0 |
| ijtihad | 7200.37 | 900.05 | 0.03 | 900.04 | 0.04 | 0 |
| Iprover-HQSpre-Bloqqer | 6301.63 | 787.7 | 297.2 | 900.02 | 0.04 | 0.125 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 3663.38 | 457.92 | 442.16 | 460.91 | 883.13 | 0.5 |
| predyndep | 6307.61 | 788.45 | 295.25 | 900.04 | 0.05 | 0.125 |
| Qute_default | 3903.26 | 487.91 | 414.42 | 519.33 | 818.46 | 0.5 |
| Qute_opt500 | 4167.93 | 520.99 | 415.48 | 729.38 | 896.19 | 0.5 |
| Qute_random | 4162.13 | 520.27 | 415.43 | 726.52 | 896.21 | 0.5 |
| Rareqs_2018 | 5575.17 | 696.9 | 353.96 | 900.03 | 367.98 | 0.25 |