QBF Solver Evaluation Portal
qbflib.orgSuite Wintersteiger 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 | 37806.02 | 397.96 | 439.99 | 19.37 | 897.5 | 0.568 |
| Caqe-hqspre | 27491.05 | 289.38 | 403 | 12.93 | 899.19 | 0.695 |
| caqe-pre | 26659.89 | 280.63 | 394.23 | 12.88 | 899.21 | 0.684 |
| depqbf_prefix_opt_qdo | 82829.93 | 871.89 | 155.92 | 900.04 | 0.05 | 0.032 |
| depqbf_pre_QxQBH | 36639.99 | 385.68 | 422.24 | 53.33 | 898.79 | 0.611 |
| GhostQ___cegar_pcnf_2019 | 23137.28 | 243.55 | 376.59 | 13.9 | 411.89 | 0.705 |
| GhostQ___plain_pcnf_2019 | 26950.58 | 283.69 | 385.96 | 28.85 | 895.1 | 0.674 |
| Hiqqer2019_1 | 53534.13 | 563.52 | 431.96 | 900.01 | 900.03 | 0.379 |
| Hiqqer2019_2 | 51777.33 | 545.02 | 437.07 | 900.01 | 900.04 | 0.4 |
| Hiqqer2019_3 | 53420.81 | 562.32 | 433.27 | 900.01 | 900.04 | 0.379 |
| Qute_default | 31757.4 | 334.29 | 417.54 | 27.15 | 898.52 | 0.653 |
| Qute_opt500 | 7415.23 | 78.06 | 154.48 | 8.67 | 47.66 | 0.4 |
| Qute_rrs | 33578.63 | 353.46 | 422.07 | 23.52 | 898.58 | 0.642 |