QBF Solver Evaluation Portal
qbflib.orgSuite Amendola-Ricca-Truszczynski 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 | 7281.88 | 364.09 | 400.17 | 130.13 | 876.62 | 0.65 |
| Caqe-hqspre | 9405.32 | 470.27 | 431.99 | 554.81 | 892.29 | 0.5 |
| caqe-pre | 8245.53 | 412.28 | 389.56 | 367.57 | 892.26 | 0.7 |
| depqbf_prefix_opt_qdo | 17100.89 | 855.04 | 196.16 | 900.04 | 0.06 | 0.05 |
| depqbf_pre_QxQBH | 14991.49 | 749.57 | 288.63 | 900.02 | 159.96 | 0.25 |
| GhostQ___cegar_pcnf_2019 | 17922.49 | 896.12 | 17.11 | 900.05 | 0.05 | 0.05 |
| GhostQ___plain_pcnf_2019 | 18000.82 | 900.04 | 0.03 | 900.04 | 0.06 | 0 |
| Hiqqer2019_1 | 13635.78 | 681.79 | 341.88 | 899.96 | 491.61 | 0.35 |
| Hiqqer2019_2 | 11217.48 | 560.87 | 400.53 | 899.72 | 793.01 | 0.45 |
| Hiqqer2019_3 | 13562.62 | 678.13 | 348.88 | 900.03 | 491.63 | 0.35 |
| Qute_default | 4899.79 | 244.99 | 315.94 | 107.68 | 344.04 | 0.85 |
| Qute_opt500 | 19.73 | 0.99 | 0.82 | 0.7 | 1.86 | 0.1 |
| Qute_rrs | 4992.75 | 249.64 | 317.82 | 108.99 | 359.77 | 0.85 |