QBF Solver Evaluation Portal
qbflib.orgSuite Miller-Marin 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 | 686.49 | 22.88 | 15.04 | 19.64 | 17.85 | 1 |
| Caqe-hqspre | 134.74 | 4.49 | 5.56 | 2.89 | 3.42 | 1 |
| caqe-pre | 135.36 | 4.51 | 5.6 | 2.84 | 3.32 | 1 |
| depqbf_prefix_opt_qdo | 12718.14 | 423.94 | 445.38 | 17.72 | 896.1 | 0.533 |
| depqbf_pre_QxQBH | 895.1 | 29.84 | 63.36 | 7.25 | 12.42 | 1 |
| GhostQ___cegar_pcnf_2019 | 3530.72 | 117.69 | 184.04 | 28.44 | 54 | 0.933 |
| GhostQ___plain_pcnf_2019 | 16679.32 | 555.98 | 378.41 | 790.08 | 835.83 | 0.433 |
| Hiqqer2019_1 | 13535.97 | 451.2 | 448.85 | 452.45 | 898.07 | 0.5 |
| Hiqqer2019_2 | 12694.55 | 423.15 | 424.71 | 173.99 | 898.04 | 0.567 |
| Hiqqer2019_3 | 13537.85 | 451.26 | 448.78 | 452.43 | 897.97 | 0.5 |
| Qute_default | 2788.24 | 92.94 | 269.05 | 2.87 | 3.28 | 0.9 |
| Qute_opt500 | 133.34 | 4.44 | 4.68 | 2.83 | 3.37 | 0.867 |
| Qute_rrs | 2779.39 | 92.65 | 269.14 | 2.86 | 3.33 | 0.9 |