QBF Solver Evaluation Portal
qbflib.orgFamily k_branch_p results for solvers
QBFEVAL'19 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 144.38 | 18.05 | 19.83 | 8.34 | 16.52 | 1 |
| Caqe-hqspre | 843.1 | 105.39 | 117.89 | 43.53 | 147.79 | 1 |
| caqe-pre | 849.32 | 106.17 | 113.36 | 45.71 | 159.24 | 1 |
| depqbf_prefix_opt_qdo | 2.55 | 0.32 | 0.36 | 0.08 | 0.66 | 1 |
| depqbf_pre_QxQBH | 811.09 | 101.39 | 79.02 | 96.02 | 158.26 | 1 |
| GhostQ___cegar_pcnf_2019 | 7200.29 | 900.04 | 0.03 | 900.04 | 0.05 | 0 |
| GhostQ___plain_pcnf_2019 | 7200.29 | 900.04 | 0.03 | 900.03 | 0.06 | 0 |
| Hiqqer2019_1 | 916.74 | 114.59 | 296.89 | 2.71 | 2.41 | 0.875 |
| Hiqqer2019_2 | 1107.38 | 138.42 | 294.41 | 3.34 | 96.37 | 0.875 |
| Hiqqer2019_3 | 2709.99 | 338.75 | 434.77 | 3.1 | 898.59 | 0.625 |
| Qute_default | 1185.01 | 148.13 | 153.29 | 63.79 | 274.91 | 1 |
| Qute_opt500 | 1152.2 | 144.03 | 150.95 | 58.23 | 273.11 | 1 |
| Qute_rrs | 1131.89 | 141.49 | 147.69 | 57.64 | 263.97 | 1 |