QBF Solver Evaluation Portal
qbflib.orgFamily mult-matrix 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 | 3449.55 | 492.79 | 386.21 | 525.27 | 892.3 | 0.571 |
| Caqe-hqspre | 2704.14 | 386.31 | 444.91 | 2.2 | 900.01 | 0.571 |
| caqe-pre | 2253.97 | 322 | 395.85 | 2.18 | 449.93 | 0.714 |
| depqbf_prefix_opt_qdo | 6300.38 | 900.05 | 0.03 | 900.06 | 0.07 | 0 |
| depqbf_pre_QxQBH | 1814.25 | 259.18 | 405.31 | 4.7 | 4.84 | 0.714 |
| GhostQ___cegar_pcnf_2019 | 6300.24 | 900.03 | 0.02 | 900.02 | 0.02 | 0 |
| GhostQ___plain_pcnf_2019 | 6300.31 | 900.04 | 0.03 | 900.03 | 0.04 | 0 |
| Hiqqer2019_1 | 1804.4 | 257.77 | 406.27 | 1.65 | 1.88 | 0.714 |
| Hiqqer2019_2 | 1819.87 | 259.98 | 404.81 | 7.4 | 10.46 | 0.714 |
| Hiqqer2019_3 | 1804.31 | 257.76 | 406.23 | 1.65 | 1.95 | 0.714 |
| Qute_default | 6300.26 | 900.04 | 0.03 | 900.03 | 0.04 | 0 |
| Qute_opt500 | 462.57 | 66.08 | 82.78 | 13.07 | 86.52 | 0 |
| Qute_rrs | 5409.56 | 772.79 | 311.74 | 900.05 | 890.88 | 0.143 |