Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 3126.08 | 312.61 | 386.07 | 69.97 | 122.88 | 0.7 |
Caqe-hqspre | 24.87 | 2.49 | 3.27 | 1.5 | 2.72 | 1 |
caqe-pre | 24.86 | 2.49 | 3.25 | 1.54 | 2.69 | 1 |
depqbf_prefix_opt_qdo | 4534.41 | 453.44 | 383.02 | 325.3 | 900.01 | 0.6 |
depqbf_pre_QxQBH | 655.16 | 65.52 | 80.51 | 23.29 | 46.26 | 1 |
GhostQ___cegar_pcnf_2019 | 1167.69 | 116.77 | 265.47 | 3.76 | 19.66 | 0.9 |
GhostQ___plain_pcnf_2019 | 159.92 | 15.99 | 36.38 | 1.87 | 3.33 | 1 |
Hiqqer2019_1 | 8999.96 | 900 | 0.1 | 900.04 | 0.21 | 0 |
Hiqqer2019_2 | 9000.2 | 900.02 | 0.03 | 900.01 | 0.01 | 0 |
Hiqqer2019_3 | 9000.42 | 900.04 | 0.03 | 900.04 | 0.03 | 0 |
Qute_default | 27.85 | 2.79 | 3.27 | 2.49 | 2.02 | 1 |
Qute_opt500 | 16 | 1.6 | 1.07 | 1.79 | 1.91 | 0 |
Qute_rrs | 21.97 | 2.2 | 2.48 | 2.4 | 2.47 | 1 |