QBF Solver Evaluation Portal
qbflib.orgFamily dungeon 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 | 17362 | 826.76 | 225.86 | 900.02 | 0.04 | 0.095 |
| Caqe-hqspre | 492.62 | 23.46 | 8.54 | 20.57 | 11.09 | 1 |
| caqe-pre | 486.47 | 23.17 | 8.72 | 20.45 | 11.62 | 1 |
| depqbf_prefix_opt_qdo | 16458.58 | 783.74 | 238.64 | 900.02 | 28.74 | 0.238 |
| depqbf_pre_QxQBH | 650.4 | 30.97 | 11.63 | 27.26 | 14.02 | 1 |
| GhostQ___cegar_pcnf_2019 | 18900.81 | 900.04 | 0.02 | 900.04 | 0.03 | 0 |
| GhostQ___plain_pcnf_2019 | 18900.98 | 900.05 | 0.04 | 900.03 | 0.06 | 0 |
| Hiqqer2019_1 | 18029.31 | 858.54 | 145.61 | 900.03 | 0.05 | 0.095 |
| Hiqqer2019_2 | 17185.16 | 818.34 | 252.02 | 900.04 | 0.04 | 0.095 |
| Hiqqer2019_3 | 17603.78 | 838.28 | 204.78 | 900.02 | 0.07 | 0.095 |
| Qute_default | 605.7 | 28.84 | 10.47 | 25.2 | 13.62 | 1 |
| Qute_opt500 | 605.56 | 28.84 | 10.47 | 25.05 | 13.36 | 1 |
| Qute_rrs | 605.58 | 28.84 | 10.53 | 25.24 | 13.46 | 1 |