QBF Solver Evaluation Portal
qbflib.orgSuite Basler results for solvers
QBFEVAL'18 - Prenex 2QBF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aspq2v3 | 60510.46 | 593.24 | 409.85 | 900.02 | 850.28 | 0.363 |
| aspq3alt | 54440.43 | 533.73 | 421.58 | 900.01 | 885.38 | 0.451 |
| ASPQ_2018 | 54192.88 | 531.3 | 419.94 | 900.01 | 885.38 | 0.471 |
| CADET_2017 | 2697.02 | 26.44 | 111.55 | 2.47 | 4.16 | 1 |
| Caqe-bloqqer | 57976.79 | 568.4 | 410.55 | 900.02 | 853.62 | 0.412 |
| Caqe-bloqqer-qdo | 57211.24 | 560.89 | 411.59 | 900.01 | 838.75 | 0.412 |
| Caqe-hqspre | 46389.7 | 454.8 | 446.73 | 636.44 | 900.04 | 0.5 |
| Cued_2_2018 | 46516.58 | 456.04 | 434.96 | 397.71 | 896.05 | 0.52 |
| Cued_3_2018 | 46535.7 | 456.23 | 434.92 | 402.87 | 896.05 | 0.52 |
| depqbf_prefix_opt_qdo | 71866.51 | 704.57 | 339.91 | 900.01 | 494.82 | 0.265 |
| depqbf_pre_QxQBH | 11176.22 | 109.57 | 198.61 | 15.92 | 186.53 | 0.951 |
| GhostQ-PG_cegar | 11055.78 | 108.39 | 207.22 | 61.26 | 112.18 | 0.941 |
| GhostQ-PG_plain | 51436.62 | 504.28 | 438.67 | 900.01 | 898.47 | 0.451 |
| Heretiq-cube | 29977.05 | 293.89 | 266.07 | 462.89 | 526.29 | 0.451 |
| Heretiq-simple | 49403.09 | 484.34 | 442.45 | 900.01 | 899.38 | 0.471 |
| ijtihad | 49069.05 | 481.07 | 444.83 | 900.01 | 899.33 | 0.471 |
| Iprover-HQSpre-Bloqqer | 55841.95 | 547.47 | 438.95 | 900.01 | 900.04 | 0.392 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 23672.97 | 232.09 | 344.54 | 88.35 | 132.31 | 0.794 |
| predyndep | 11051.13 | 108.34 | 251.12 | 12.36 | 16.26 | 0.922 |
| Qute_default | 46882.38 | 459.63 | 449.13 | 900 | 900.03 | 0.49 |
| Qute_opt500 | 47006.35 | 460.85 | 447.96 | 900 | 899.6 | 0.49 |
| Qute_random | 47005.6 | 460.84 | 447.96 | 900 | 899.53 | 0.49 |
| Rareqs_2018 | 65203.43 | 639.25 | 387.83 | 900.02 | 795.48 | 0.324 |