QBF Solver Evaluation Portal
qbflib.orgFamily incrementer-encoder 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 | 293.8 | 29.38 | 18.18 | 24.28 | 17.85 | 1 |
| Caqe-hqspre | 75.9 | 7.59 | 8.51 | 5.09 | 7.31 | 1 |
| caqe-pre | 76.18 | 7.62 | 8.58 | 5.1 | 7.27 | 1 |
| depqbf_prefix_opt_qdo | 3610.29 | 361.03 | 440.12 | 4.02 | 899.99 | 0.6 |
| depqbf_pre_QxQBH | 702.48 | 70.25 | 97.39 | 11.03 | 64.26 | 1 |
| GhostQ___cegar_pcnf_2019 | 107.73 | 10.77 | 8.73 | 8.8 | 6.63 | 1 |
| GhostQ___plain_pcnf_2019 | 4524.28 | 452.43 | 447.61 | 454.25 | 897.01 | 0.5 |
| Hiqqer2019_1 | 4506.41 | 450.64 | 449.4 | 451.25 | 899.24 | 0.5 |
| Hiqqer2019_2 | 5055.14 | 505.51 | 397.9 | 539.95 | 852.84 | 0.5 |
| Hiqqer2019_3 | 4508.91 | 450.89 | 449.17 | 451.66 | 899 | 0.5 |
| Qute_default | 2719.75 | 271.98 | 411.17 | 3.54 | 8.53 | 0.7 |
| Qute_opt500 | 65.03 | 6.5 | 6.58 | 3.54 | 8.62 | 0.7 |
| Qute_rrs | 2719.26 | 271.93 | 411.21 | 3.5 | 9.23 | 0.7 |