QBF Solver Evaluation Portal
qbflib.orgFamily mqm 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 | 2268.5 | 226.85 | 148.38 | 200.69 | 143.15 | 1 |
| Caqe-hqspre | 376.41 | 37.64 | 27.98 | 25.65 | 25.96 | 1 |
| caqe-pre | 377 | 37.7 | 28.03 | 25.71 | 26.17 | 1 |
| depqbf_prefix_opt_qdo | 578.63 | 57.86 | 54.22 | 47.25 | 70.47 | 1 |
| depqbf_pre_QxQBH | 3871.98 | 387.2 | 373.72 | 115.41 | 579.9 | 0.7 |
| GhostQ___cegar_pcnf_2019 | 6338.68 | 633.87 | 406.6 | 900.02 | 883.48 | 0.3 |
| GhostQ___plain_pcnf_2019 | 9000.31 | 900.03 | 0.02 | 900.03 | 0.03 | 0 |
| Hiqqer2019_1 | 1144.04 | 114.4 | 93.03 | 91.43 | 114.08 | 1 |
| Hiqqer2019_2 | 965.27 | 96.53 | 74.82 | 67.93 | 109.92 | 1 |
| Hiqqer2019_3 | 1238.7 | 123.87 | 92.2 | 98.64 | 115.96 | 1 |
| Qute_default | 6457.28 | 645.73 | 389.25 | 900.02 | 868.74 | 0.3 |
| Qute_opt500 | 114.98 | 11.5 | 10.21 | 7.41 | 8.76 | 0 |
| Qute_rrs | 5916.05 | 591.61 | 364.08 | 843.28 | 831.37 | 0.5 |