QBF Solver Evaluation Portal
qbflib.orgFamily blackbox-01X-QBF 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 | 1791.79 | 89.59 | 99.35 | 57.41 | 69.26 | 1 |
| Caqe-hqspre | 732.29 | 36.61 | 40.23 | 16.87 | 57.08 | 1 |
| caqe-pre | 731.06 | 36.55 | 40.06 | 16.85 | 57.07 | 1 |
| depqbf_prefix_opt_qdo | 8056.85 | 402.84 | 420.59 | 161.56 | 897 | 0.6 |
| depqbf_pre_QxQBH | 3757.28 | 187.86 | 268.15 | 68.52 | 275.19 | 0.9 |
| GhostQ___cegar_pcnf_2019 | 17103.67 | 855.18 | 195.52 | 900.03 | 0.03 | 0.05 |
| GhostQ___plain_pcnf_2019 | 17102.82 | 855.14 | 195.77 | 900.06 | 0.03 | 0.05 |
| Hiqqer2019_1 | 15093.17 | 754.66 | 300.51 | 900.02 | 0.3 | 0.2 |
| Hiqqer2019_2 | 17097.93 | 854.9 | 195.96 | 900.05 | 0.04 | 0.05 |
| Hiqqer2019_3 | 15106.67 | 755.33 | 299.38 | 900.02 | 1 | 0.2 |
| Qute_default | 5761.69 | 288.08 | 401.17 | 46.11 | 897.21 | 0.7 |
| Qute_opt500 | 258.2 | 12.91 | 9.49 | 11.99 | 16.05 | 0.3 |
| Qute_rrs | 548.21 | 27.41 | 34.81 | 19.2 | 29.82 | 1 |