Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 9032.43 | 451.62 | 448.43 | 454.05 | 897.8 | 0.5 |
Caqe-hqspre | 7738.66 | 386.93 | 424.48 | 85.54 | 895.17 | 0.6 |
caqe-pre | 7738.74 | 386.94 | 424.48 | 85.55 | 895.15 | 0.6 |
depqbf_prefix_opt_qdo | 11808.72 | 590.44 | 298.29 | 534.91 | 546.66 | 0.55 |
depqbf_pre_QxQBH | 14922.46 | 746.12 | 312.03 | 900.03 | 0.04 | 0.2 |
GhostQ___cegar_pcnf_2019 | 1124.89 | 56.24 | 118.16 | 19.59 | 44.39 | 1 |
GhostQ___plain_pcnf_2019 | 18001.13 | 900.06 | 0.03 | 900.06 | 0.04 | 0 |
Hiqqer2019_1 | 11781.56 | 589.08 | 307.01 | 681.42 | 599.87 | 0.6 |
Hiqqer2019_2 | 13083.51 | 654.18 | 267.09 | 762.08 | 495.58 | 0.6 |
Hiqqer2019_3 | 11786.45 | 589.32 | 306.86 | 682.19 | 599.89 | 0.6 |
Qute_default | 17101.63 | 855.08 | 195.97 | 900.03 | 0.05 | 0.05 |
Qute_opt500 | 33.4 | 1.67 | 0.86 | 1.51 | 1.7 | 0 |
Qute_rrs | 18000.98 | 900.05 | 0.03 | 900.06 | 0.05 | 0 |