QBF Solver Evaluation Portal
qbflib.orgFamily ISCAS89 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 | 13.08 | 1.31 | 1.7 | 0.3 | 1.98 | 1 |
| Caqe-hqspre | 11.01 | 1.1 | 1.27 | 0.69 | 1.52 | 1 |
| caqe-pre | 10.96 | 1.1 | 1.26 | 0.68 | 1.54 | 1 |
| depqbf_prefix_opt_qdo | 3.65 | 0.37 | 0.47 | 0.01 | 0.61 | 1 |
| depqbf_pre_QxQBH | 16.1 | 1.61 | 2.19 | 0.79 | 1.73 | 1 |
| GhostQ___cegar_pcnf_2019 | 948.61 | 94.86 | 268.47 | 3.37 | 6.53 | 0.9 |
| GhostQ___plain_pcnf_2019 | 928.91 | 92.89 | 269.06 | 1.94 | 4.54 | 0.9 |
| Hiqqer2019_1 | 10.87 | 1.09 | 1.61 | 0.44 | 0.9 | 1 |
| Hiqqer2019_2 | 17.02 | 1.7 | 2.7 | 0.59 | 1.41 | 1 |
| Hiqqer2019_3 | 16.29 | 1.63 | 2.74 | 0.45 | 1.2 | 1 |
| Qute_default | 10.6 | 1.06 | 1.25 | 0.64 | 1.38 | 1 |
| Qute_opt500 | 10.74 | 1.07 | 1.25 | 0.68 | 1.42 | 1 |
| Qute_rrs | 10.66 | 1.07 | 1.26 | 0.62 | 1.46 | 1 |