Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 871.39 | 217.85 | 258.93 | 103.41 | 389.05 | 1 |
Caqe-hqspre | 1840.46 | 460.12 | 437.44 | 464.02 | 874.75 | 0.75 |
caqe-pre | 1251.59 | 312.9 | 290.68 | 307.56 | 580.44 | 1 |
depqbf_prefix_opt_qdo | 3600.23 | 900.06 | 0.03 | 900.06 | 0.06 | 0 |
depqbf_pre_QxQBH | 1778.35 | 444.59 | 282.93 | 356 | 465.94 | 0.75 |
GhostQ___cegar_pcnf_2019 | 3600.15 | 900.04 | 0.03 | 900.03 | 0.04 | 0 |
GhostQ___plain_pcnf_2019 | 3600.26 | 900.07 | 0.02 | 900.07 | 0.03 | 0 |
Hiqqer2019_1 | 1106.03 | 276.51 | 364.62 | 93.51 | 511.18 | 0.75 |
Hiqqer2019_2 | 1077.06 | 269.27 | 368.55 | 85.28 | 512.62 | 0.75 |
Hiqqer2019_3 | 1109.82 | 277.46 | 364.02 | 94.19 | 509.45 | 0.75 |
Qute_default | 3600.16 | 900.04 | 0.02 | 900.04 | 0.03 | 0 |
Qute_opt500 | 416.46 | 104.12 | 177.64 | 2.07 | 206.32 | 0 |
Qute_rrs | 2189.92 | 547.48 | 359.14 | 595.9 | 705.1 | 0.5 |