Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 105.46 | 10.55 | 4.74 | 11.15 | 10.16 | 1 |
Caqe-hqspre | 28.03 | 2.8 | 1.34 | 2.89 | 2.8 | 1 |
caqe-pre | 28.29 | 2.83 | 1.37 | 2.93 | 2.8 | 1 |
depqbf_prefix_opt_qdo | 107.45 | 10.75 | 5.06 | 10.94 | 9.99 | 1 |
depqbf_pre_QxQBH | 149.72 | 14.97 | 7.03 | 15.01 | 14.63 | 1 |
GhostQ___cegar_pcnf_2019 | 3158.08 | 315.81 | 205.95 | 290.61 | 274.3 | 0.8 |
GhostQ___plain_pcnf_2019 | 3154.62 | 315.46 | 205.62 | 288.78 | 276.93 | 0.8 |
Hiqqer2019_1 | 29.04 | 2.9 | 1.39 | 2.93 | 2.77 | 1 |
Hiqqer2019_2 | 19.3 | 1.93 | 0.96 | 1.98 | 2 | 1 |
Hiqqer2019_3 | 28.61 | 2.86 | 1.44 | 2.92 | 3.07 | 1 |
Qute_default | 35.34 | 3.53 | 1.61 | 3.62 | 3.42 | 1 |
Qute_opt500 | 35.22 | 3.52 | 1.67 | 3.58 | 3.53 | 1 |
Qute_rrs | 35.18 | 3.52 | 1.66 | 3.56 | 3.47 | 1 |