QBF Solver Evaluation Portal
qbflib.orgSuite Biere 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 | 19800.95 | 900.04 | 0.03 | 900.05 | 0.05 | 0 |
| Caqe-hqspre | 8497.58 | 386.25 | 430.12 | 34.62 | 891.46 | 0.591 |
| caqe-pre | 8498.91 | 386.31 | 430.1 | 34.5 | 891.45 | 0.591 |
| depqbf_prefix_opt_qdo | 17121.73 | 778.26 | 306.51 | 900.04 | 0.06 | 0.136 |
| depqbf_pre_QxQBH | 12265.26 | 557.51 | 401.26 | 900.02 | 882.75 | 0.455 |
| GhostQ___cegar_pcnf_2019 | 8149.21 | 370.42 | 440.66 | 6.97 | 897.39 | 0.591 |
| GhostQ___plain_pcnf_2019 | 5837.84 | 265.36 | 392.29 | 4.79 | 205.96 | 0.727 |
| Hiqqer2019_1 | 19799.87 | 899.99 | 0.09 | 900.02 | 0.08 | 0 |
| Hiqqer2019_2 | 18902 | 859.18 | 187.11 | 900.03 | 0.04 | 0.045 |
| Hiqqer2019_3 | 19800.77 | 900.04 | 0.03 | 900.04 | 0.03 | 0 |
| Qute_default | 15317.03 | 696.23 | 375.8 | 900.02 | 887.05 | 0.227 |
| Qute_opt500 | 222.27 | 10.1 | 10.51 | 5.89 | 11.67 | 0.136 |
| Qute_rrs | 14598.6 | 663.57 | 387.77 | 900.02 | 889.73 | 0.273 |