QBF Solver Evaluation Portal
qbflib.orgFamily mqm results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 2481.83 | 248.18 | 192.38 | 254.19 | 327.53 | 1 |
| Caqe-bloqqer-qdo | 1668.56 | 166.86 | 214.24 | 31.33 | 165.96 | 1 |
| Caqe-hqspre | 322.7 | 32.27 | 28.03 | 19.05 | 29.66 | 1 |
| Cued_2_2018 | 6835.05 | 683.51 | 296.19 | 900.02 | 711.2 | 0.4 |
| Cued_3_2018 | 6843.27 | 684.33 | 293.77 | 900.03 | 704.27 | 0.4 |
| depqbf_prefix_opt_qdo | 598.52 | 59.85 | 57.65 | 47.25 | 75.46 | 1 |
| depqbf_pre_QxQBH | 3931.03 | 393.1 | 378.48 | 115.15 | 641.09 | 0.7 |
| GhostQ-PG_cegar | 6339.72 | 633.97 | 406.43 | 900.01 | 883.08 | 0.3 |
| GhostQ-PG_plain | 9000.38 | 900.04 | 0.03 | 900.04 | 0.05 | 0 |
| Heretiq-cube | 5035.09 | 503.51 | 336.84 | 528.29 | 610.76 | 0.7 |
| Heretiq-simple | 5292.52 | 529.25 | 358.26 | 584.59 | 847.62 | 0.7 |
| ijtihad | 9000.58 | 900.06 | 0.02 | 900.06 | 0.02 | 0 |
| Iprover-HQSpre-Bloqqer | 9000.57 | 900.06 | 0.03 | 900.06 | 0.06 | 0 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 6341.85 | 634.19 | 406.11 | 900.03 | 886.03 | 0.3 |
| predyndep | 5123.53 | 512.35 | 262.54 | 430.32 | 321.5 | 0.8 |
| Qute_default | 112.8 | 11.28 | 9.98 | 7.39 | 8.54 | 1 |
| Qute_opt500 | 112.84 | 11.28 | 10 | 7.25 | 8.78 | 1 |
| Qute_random | 113.27 | 11.33 | 10.06 | 7.34 | 8.59 | 1 |
| Rareqs_2018 | 9000.41 | 900.04 | 0.03 | 900.04 | 0.02 | 0 |