Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 4502.11 | 264.83 | 410.03 | 0 | 450.55 | 0.706 |
Caqe-hqspre | 8184.26 | 481.43 | 444.42 | 900.01 | 900.05 | 0.471 |
caqe-pre | 5483.62 | 322.57 | 332.83 | 449.92 | 449.98 | 0.824 |
depqbf_prefix_opt_qdo | 9000.35 | 529.43 | 442.95 | 900 | 900.04 | 0.412 |
depqbf_pre_QxQBH | 3614.21 | 212.6 | 381.33 | 0.78 | 4.36 | 0.765 |
GhostQ___cegar_pcnf_2019 | 15300.86 | 900.05 | 0.02 | 900.05 | 0.02 | 0 |
GhostQ___plain_pcnf_2019 | 15300.7 | 900.04 | 0.02 | 900.04 | 0.03 | 0 |
Hiqqer2019_1 | 4499.82 | 264.7 | 410.06 | 0 | 449.83 | 0.706 |
Hiqqer2019_2 | 3611.78 | 212.46 | 381.41 | 0 | 5.82 | 0.765 |
Hiqqer2019_3 | 4500.18 | 264.72 | 410.1 | 0 | 450.01 | 0.706 |
Qute_default | 8109.21 | 477.01 | 448.68 | 900 | 900.02 | 0.471 |
Qute_opt500 | 41.21 | 2.42 | 4.84 | 0 | 1.48 | 0.353 |
Qute_rrs | 8111.07 | 477.12 | 448.58 | 900.01 | 900.04 | 0.471 |