QBF Solver Evaluation Portal
qbflib.orgSuite Wintersteiger results for solvers
QBFEVAL'18 - Prenex 2QBF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aspq2v3 | 42331.6 | 415.02 | 448.37 | 1.72 | 900.03 | 0.539 |
| aspq3alt | 33623.61 | 329.64 | 430.66 | 3.24 | 899.16 | 0.637 |
| ASPQ_2018 | 33622.06 | 329.63 | 430.67 | 3.25 | 899.16 | 0.637 |
| CADET_2017 | 9768.37 | 95.77 | 263.98 | 0 | 0.58 | 0.922 |
| Caqe-bloqqer | 41475.25 | 406.62 | 447.24 | 1.7 | 900.04 | 0.549 |
| Caqe-bloqqer-qdo | 31746.31 | 311.24 | 425.64 | 3.12 | 899.12 | 0.657 |
| Caqe-hqspre | 22857.48 | 224.09 | 376.09 | 2.59 | 126.81 | 0.775 |
| Cued_2_2018 | 31804.01 | 311.8 | 420.13 | 3.32 | 899.1 | 0.667 |
| Cued_3_2018 | 31745.33 | 311.23 | 419.99 | 3.29 | 899.11 | 0.667 |
| depqbf_prefix_opt_qdo | 88203.82 | 864.74 | 174.7 | 900.03 | 0.03 | 0.039 |
| depqbf_pre_QxQBH | 25717.09 | 252.13 | 379.09 | 3.2 | 358.03 | 0.755 |
| GhostQ-PG_cegar | 14267.96 | 139.88 | 306.87 | 4.67 | 13.32 | 0.814 |
| GhostQ-PG_plain | 14960.95 | 146.68 | 309.37 | 5.91 | 15.5 | 0.814 |
| Heretiq-cube | 26968.55 | 264.4 | 305.71 | 3.02 | 482.9 | 0.549 |
| Heretiq-simple | 41727.54 | 409.09 | 445.67 | 3.04 | 900.05 | 0.549 |
| ijtihad | 42461.71 | 416.29 | 447.39 | 3.05 | 900.05 | 0.539 |
| Iprover-HQSpre-Bloqqer | 27303.05 | 267.68 | 394.65 | 3.12 | 900 | 0.725 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 24629.3 | 241.46 | 379.46 | 10.38 | 255.27 | 0.755 |
| predyndep | 20288.67 | 198.91 | 345.05 | 4.34 | 150.73 | 0.814 |
| Qute_default | 21894.95 | 214.66 | 365.05 | 4.42 | 164.48 | 0.784 |
| Qute_opt500 | 20806.42 | 203.98 | 352.73 | 4.45 | 153.04 | 0.804 |
| Qute_random | 20615.68 | 202.11 | 349.41 | 4.44 | 164.46 | 0.814 |
| Rareqs_2018 | 39038.68 | 382.73 | 442.18 | 1.71 | 900.03 | 0.578 |