QBF Solver Evaluation Portal
qbflib.orgSuite Basler 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 | 13034.53 | 434.48 | 436.48 | 113.46 | 899.24 | 0.533 |
| Caqe-hqspre | 12631.1 | 421.04 | 448.08 | 8.38 | 900.03 | 0.533 |
| caqe-pre | 10832.74 | 361.09 | 408.29 | 8.37 | 900.02 | 0.667 |
| depqbf_prefix_opt_qdo | 22535.26 | 751.18 | 305.33 | 900.03 | 0.05 | 0.2 |
| depqbf_pre_QxQBH | 1714.57 | 57.15 | 82.48 | 20.66 | 43.82 | 1 |
| GhostQ___cegar_pcnf_2019 | 2326.38 | 77.55 | 163.27 | 5.18 | 109.39 | 0.967 |
| GhostQ___plain_pcnf_2019 | 15608.18 | 520.27 | 434.99 | 900.02 | 895.5 | 0.433 |
| Hiqqer2019_1 | 18000.34 | 600.01 | 424.27 | 900.01 | 900.04 | 0.333 |
| Hiqqer2019_2 | 17150.38 | 571.68 | 430.93 | 900 | 900.04 | 0.4 |
| Hiqqer2019_3 | 18000.76 | 600.03 | 424.28 | 900.02 | 900.04 | 0.333 |
| Qute_default | 12628.45 | 420.95 | 448.16 | 7.59 | 899.51 | 0.533 |
| Qute_opt500 | 133.92 | 4.46 | 4.8 | 2.43 | 8.14 | 0.033 |
| Qute_rrs | 12623.04 | 420.77 | 448.33 | 5.87 | 899.94 | 0.533 |