QBF Solver Evaluation Portal
qbflib.orgSuite Basler results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 14217.27 | 473.91 | 435.32 | 704.37 | 900.05 | 0.5 |
| Caqe-bloqqer-qdo | 13789.33 | 459.64 | 427.32 | 405.71 | 899.49 | 0.533 |
| Caqe-hqspre | 12623.85 | 420.8 | 448.31 | 6.4 | 900.05 | 0.533 |
| Cued_2_2018 | 11221.63 | 374.05 | 418.35 | 26.94 | 899.5 | 0.633 |
| Cued_3_2018 | 11210.11 | 373.67 | 418.27 | 27.17 | 900.02 | 0.633 |
| depqbf_prefix_opt_qdo | 22581.31 | 752.71 | 303.03 | 900.02 | 0.04 | 0.2 |
| depqbf_pre_QxQBH | 1535.15 | 51.17 | 76.13 | 14.82 | 38.6 | 1 |
| GhostQ-PG_cegar | 2457.17 | 81.91 | 165.85 | 5.12 | 112.82 | 0.967 |
| GhostQ-PG_plain | 15609.75 | 520.33 | 434.95 | 900.01 | 895.54 | 0.433 |
| Heretiq-cube | 5686.22 | 189.54 | 250.24 | 1.82 | 468.31 | 0.633 |
| Heretiq-simple | 9922.53 | 330.75 | 433.17 | 1.82 | 900.03 | 0.633 |
| ijtihad | 9921.95 | 330.73 | 433.19 | 1.82 | 900.03 | 0.633 |
| Iprover-HQSpre-Bloqqer | 14405.62 | 480.19 | 448.86 | 900.01 | 900.06 | 0.467 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 6575.61 | 219.19 | 343.81 | 43.28 | 133 | 0.8 |
| predyndep | 3711.53 | 123.72 | 276.1 | 10.82 | 16.32 | 0.9 |
| Qute_default | 12630.54 | 421.02 | 448.09 | 10.03 | 900.03 | 0.533 |
| Qute_opt500 | 12672.8 | 422.43 | 446.86 | 31.24 | 900.04 | 0.533 |
| Qute_random | 12673.67 | 422.46 | 446.83 | 31.42 | 900.02 | 0.533 |
| Rareqs_2018 | 16365.65 | 545.52 | 434.66 | 900 | 900.05 | 0.4 |