QBF Solver Evaluation Portal
qbflib.orgFamily CombinationalEquivalence results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 9061.39 | 453.07 | 447.01 | 461.16 | 897.09 | 0.5 |
| Caqe-bloqqer-qdo | 9036.88 | 451.84 | 448.2 | 453.6 | 896.59 | 0.5 |
| Caqe-hqspre | 7281.42 | 364.07 | 411.84 | 67.25 | 897.78 | 0.65 |
| Cued_2_2018 | 17944.15 | 897.21 | 12.34 | 900.04 | 0.04 | 0.05 |
| Cued_3_2018 | 17927.05 | 896.35 | 16.05 | 900.03 | 0.04 | 0.05 |
| depqbf_prefix_opt_qdo | 11857.23 | 592.86 | 297.51 | 549.19 | 544.36 | 0.55 |
| depqbf_pre_QxQBH | 14911.23 | 745.56 | 313.03 | 900.03 | 0.03 | 0.2 |
| GhostQ-PG_cegar | 1214.31 | 60.72 | 134.57 | 19.41 | 44.62 | 1 |
| GhostQ-PG_plain | 18001 | 900.05 | 0.03 | 900.05 | 0.03 | 0 |
| Heretiq-cube | 9040.5 | 452.03 | 448.01 | 454.98 | 896.68 | 0.5 |
| Heretiq-simple | 9040.35 | 452.02 | 448.03 | 455 | 896.66 | 0.5 |
| ijtihad | 9040.82 | 452.04 | 447.99 | 455.07 | 896.57 | 0.5 |
| Iprover-HQSpre-Bloqqer | 18000.93 | 900.05 | 0.03 | 900.05 | 0.05 | 0 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 1848.57 | 92.43 | 188 | 41.42 | 37.57 | 0.95 |
| predyndep | 14744.35 | 737.22 | 326.07 | 900.02 | 0.01 | 0.2 |
| Qute_default | 18000.9 | 900.05 | 0.03 | 900.04 | 0.07 | 0 |
| Qute_opt500 | 17102 | 855.1 | 195.89 | 900.04 | 0.05 | 0.05 |
| Qute_random | 17101.85 | 855.09 | 195.89 | 900.03 | 0.05 | 0.05 |
| Rareqs_2018 | 9103.15 | 455.16 | 445.36 | 498.62 | 899.71 | 0.5 |