Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 10800.46 | 900.04 | 0.02 | 900.05 | 0.04 | 0 |
Caqe-hqspre | 3728.9 | 310.74 | 416.82 | 17.78 | 890.02 | 0.667 |
caqe-pre | 3728.52 | 310.71 | 416.81 | 17.78 | 889.92 | 0.667 |
depqbf_prefix_opt_qdo | 9021.42 | 751.79 | 331.58 | 900.06 | 0.08 | 0.167 |
depqbf_pre_QxQBH | 6682.76 | 556.9 | 408.94 | 900.03 | 835.23 | 0.417 |
GhostQ___cegar_pcnf_2019 | 3627.46 | 302.29 | 422.67 | 4.45 | 897.22 | 0.667 |
GhostQ___plain_pcnf_2019 | 2037.85 | 169.82 | 331.33 | 3.86 | 104.78 | 0.833 |
Hiqqer2019_1 | 10799.55 | 899.96 | 0.11 | 900.02 | 0.15 | 0 |
Hiqqer2019_2 | 9901.67 | 825.14 | 248.27 | 900.03 | 0.13 | 0.083 |
Hiqqer2019_3 | 10800.37 | 900.03 | 0.03 | 900.03 | 0.04 | 0 |
Qute_default | 9913.36 | 826.11 | 245.17 | 900.03 | 0.03 | 0.083 |
Qute_opt500 | 128.77 | 10.73 | 9.5 | 8.2 | 12.62 | 0 |
Qute_rrs | 9195.06 | 766.26 | 301.25 | 900.02 | 0.05 | 0.167 |