QBF Solver Evaluation Portal
qbflib.orgFamily QBF-Hardness results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 377.7 | 37.77 | 46.59 | 12.02 | 31.85 | 1 |
| Caqe-bloqqer-qdo | 420.16 | 42.02 | 48.68 | 19.2 | 50.83 | 1 |
| Caqe-hqspre | 5324.34 | 532.43 | 415.85 | 806.64 | 891.41 | 0.5 |
| Cued_2_2018 | 6373.74 | 637.37 | 401.45 | 900.01 | 886.63 | 0.3 |
| Cued_3_2018 | 6338.74 | 633.87 | 406.63 | 900.04 | 886.65 | 0.3 |
| depqbf_prefix_opt_qdo | 6583.82 | 658.38 | 362.77 | 900.02 | 894.53 | 0.4 |
| depqbf_pre_QxQBH | 7329.08 | 732.91 | 334.27 | 900.04 | 832.22 | 0.2 |
| GhostQ-PG_cegar | 7868.97 | 786.9 | 268.63 | 900.03 | 241.93 | 0.2 |
| GhostQ-PG_plain | 7232.35 | 723.24 | 353.65 | 900.03 | 868.97 | 0.2 |
| Heretiq-cube | 5608.93 | 560.89 | 416.24 | 900.02 | 868.76 | 0.4 |
| Heretiq-simple | 5605.12 | 560.51 | 416.64 | 900.01 | 868.24 | 0.4 |
| ijtihad | 7275.83 | 727.58 | 345.32 | 900.03 | 825.71 | 0.2 |
| Iprover-HQSpre-Bloqqer | 9000.48 | 900.05 | 0.03 | 900.05 | 0.04 | 0 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 8108.19 | 810.82 | 267.74 | 900.06 | 0.06 | 0.1 |
| predyndep | 7108.06 | 710.81 | 291.83 | 900.02 | 602.41 | 0.3 |
| Qute_default | 2327.33 | 232.73 | 336.47 | 86.71 | 109.22 | 0.8 |
| Qute_opt500 | 3944.74 | 394.47 | 414.62 | 125.88 | 881.35 | 0.6 |
| Qute_random | 3946.32 | 394.63 | 414.53 | 127.03 | 881.25 | 0.6 |
| Rareqs_2018 | 5967.08 | 596.71 | 380.31 | 900.03 | 872.96 | 0.4 |