QBF Solver Evaluation Portal
qbflib.orgFamily disjunctive_decomposition 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 | 2701.19 | 300.13 | 424.2 | 0 | 450.55 | 0.667 |
| Caqe-hqspre | 4584.04 | 509.34 | 437.48 | 900.01 | 900.03 | 0.444 |
| caqe-pre | 2783.61 | 309.29 | 291.74 | 449.92 | 449.97 | 0.889 |
| depqbf_prefix_opt_qdo | 5400.21 | 600.02 | 424.28 | 900 | 900.05 | 0.333 |
| depqbf_pre_QxQBH | 1811.42 | 201.27 | 373.51 | 1.87 | 4.36 | 0.778 |
| GhostQ___cegar_pcnf_2019 | 8100.43 | 900.05 | 0.02 | 900.05 | 0.02 | 0 |
| GhostQ___plain_pcnf_2019 | 8100.39 | 900.04 | 0.03 | 900.04 | 0.03 | 0 |
| Hiqqer2019_1 | 2699.76 | 299.97 | 424.23 | 0 | 449.83 | 0.667 |
| Hiqqer2019_2 | 1800.07 | 200.01 | 374.18 | 0 | 0 | 0.778 |
| Hiqqer2019_3 | 2700.06 | 300.01 | 424.27 | 0 | 450.01 | 0.667 |
| Qute_default | 4509.16 | 501.02 | 446.13 | 900.01 | 898.78 | 0.444 |
| Qute_opt500 | 29.67 | 3.3 | 5.94 | 0.83 | 1.99 | 0.222 |
| Qute_rrs | 4510.86 | 501.21 | 445.92 | 900.01 | 898.62 | 0.444 |