QBF Solver Evaluation Portal
qbflib.orgFamily genbuf 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 | 1119.92 | 373.31 | 374.84 | 161.55 | 103.23 | 0.667 |
| Caqe-hqspre | 1326.28 | 442.09 | 339.3 | 337.18 | 248.13 | 0.667 |
| caqe-pre | 1267.33 | 422.44 | 346.45 | 278.46 | 189.6 | 0.667 |
| depqbf_prefix_opt_qdo | 2700.09 | 900.03 | 0.01 | 900.02 | 0 | 0 |
| depqbf_pre_QxQBH | 2700.19 | 900.06 | 0.02 | 900.05 | 0 | 0 |
| GhostQ___cegar_pcnf_2019 | 1679.92 | 559.97 | 243.03 | 433.15 | 86.41 | 0.667 |
| GhostQ___plain_pcnf_2019 | 2700.15 | 900.05 | 0.02 | 900.05 | 0.03 | 0 |
| Hiqqer2019_1 | 2699.52 | 899.84 | 0.28 | 900.03 | 0.58 | 0 |
| Hiqqer2019_2 | 2698.96 | 899.65 | 0.55 | 900.01 | 1.13 | 0 |
| Hiqqer2019_3 | 2699.73 | 899.91 | 0.13 | 899.85 | 0.06 | 0 |
| Qute_default | 2700.09 | 900.03 | 0.03 | 900.02 | 0.02 | 0 |
| Qute_opt500 | 328.82 | 109.61 | 78.13 | 122.98 | 115.05 | 0 |
| Qute_rrs | 2700.12 | 900.04 | 0.04 | 900.02 | 0.01 | 0 |