QBF Solver Evaluation Portal
qbflib.orgSuite Tentrup 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 | 19154.13 | 425.65 | 410.57 | 190.23 | 892.39 | 0.622 |
| Caqe-hqspre | 19206.76 | 426.82 | 428.53 | 277.58 | 898.22 | 0.6 |
| caqe-pre | 14603.84 | 324.53 | 348.17 | 277.49 | 464.57 | 0.8 |
| depqbf_prefix_opt_qdo | 39775.61 | 883.9 | 107.07 | 900.04 | 0.04 | 0.022 |
| depqbf_pre_QxQBH | 13124.24 | 291.65 | 382.91 | 13.59 | 675.14 | 0.733 |
| GhostQ___cegar_pcnf_2019 | 38629.13 | 858.43 | 161.43 | 900.03 | 0.03 | 0.067 |
| GhostQ___plain_pcnf_2019 | 39712.63 | 882.5 | 116.39 | 900.04 | 0.03 | 0.022 |
| Hiqqer2019_1 | 15252.21 | 338.94 | 420.45 | 19.17 | 899.73 | 0.644 |
| Hiqqer2019_2 | 15122.25 | 336.05 | 420.62 | 19.44 | 899.21 | 0.644 |
| Hiqqer2019_3 | 14193.31 | 315.41 | 415.24 | 21.5 | 899.83 | 0.667 |
| Qute_default | 28413.68 | 631.42 | 402.28 | 900.02 | 885.46 | 0.311 |
| Qute_opt500 | 3893.96 | 86.53 | 145.3 | 4.07 | 92.38 | 0.178 |
| Qute_rrs | 26045.15 | 578.78 | 415.91 | 900.01 | 892.11 | 0.378 |