QBF Solver Evaluation Portal
qbflib.orgSuite MayerEichberger-Saffidine results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 21119.56 | 703.99 | 328.12 | 900.03 | 457.84 | 0.333 |
| Caqe-bloqqer-qdo | 20541.66 | 684.72 | 324.55 | 900.01 | 612.62 | 0.367 |
| Caqe-hqspre | 19716.57 | 657.22 | 373.19 | 900.05 | 865.89 | 0.333 |
| Cued_2_2018 | 21662.85 | 722.1 | 319.72 | 900.04 | 497.96 | 0.267 |
| Cued_3_2018 | 21627.07 | 720.9 | 321.22 | 900.04 | 510.62 | 0.267 |
| depqbf_prefix_opt_qdo | 11300.94 | 376.7 | 412.87 | 129.56 | 900.01 | 0.633 |
| depqbf_pre_QxQBH | 12535.31 | 417.84 | 422.92 | 141.81 | 891.59 | 0.6 |
| GhostQ-PG_cegar | 22567.8 | 752.26 | 330.5 | 900.03 | 0.06 | 0.167 |
| GhostQ-PG_plain | 22323.56 | 744.12 | 332.75 | 900.03 | 0.04 | 0.2 |
| Heretiq-cube | 15355.32 | 511.84 | 420.27 | 900.01 | 867.72 | 0.467 |
| Heretiq-simple | 15423.84 | 514.13 | 419.94 | 900.01 | 867.54 | 0.467 |
| ijtihad | 21613.47 | 720.45 | 359.18 | 900.02 | 0.05 | 0.2 |
| Iprover-HQSpre-Bloqqer | 22501.19 | 750.04 | 335.43 | 900.04 | 0.07 | 0.167 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 20751.32 | 691.71 | 377.64 | 900.03 | 888.6 | 0.233 |
| predyndep | 11723.84 | 390.79 | 393.12 | 163.35 | 866.85 | 0.667 |
| Qute_default | 20573.17 | 685.77 | 367.37 | 900.01 | 736.79 | 0.267 |
| Qute_opt500 | 20772.06 | 692.4 | 376.46 | 900.03 | 861.64 | 0.233 |
| Qute_random | 20771.63 | 692.39 | 376.48 | 900.01 | 861.9 | 0.233 |
| Rareqs_2018 | 23508.9 | 783.63 | 279.94 | 900.03 | 0.05 | 0.167 |