Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 3011.82 | 602.36 | 376.88 | 900.06 | 744.25 | 0.4 |
Caqe-hqspre | 4441.08 | 888.22 | 23.66 | 900.04 | 29.59 | 0.2 |
caqe-pre | 3831.32 | 766.26 | 179.43 | 900.03 | 334.48 | 0.4 |
depqbf_prefix_opt_qdo | 3632.14 | 726.43 | 347.23 | 900.03 | 434.04 | 0.2 |
depqbf_pre_QxQBH | 2901.39 | 580.28 | 395.93 | 900.06 | 799.52 | 0.4 |
GhostQ___cegar_pcnf_2019 | 592.26 | 118.45 | 195.9 | 37.26 | 37.87 | 1 |
GhostQ___plain_pcnf_2019 | 1220.51 | 244.1 | 337.51 | 46.06 | 117.35 | 0.8 |
Hiqqer2019_1 | 3600.19 | 720.04 | 360.02 | 900.01 | 450.04 | 0.2 |
Hiqqer2019_2 | 3601.12 | 720.22 | 359.66 | 900.03 | 449.6 | 0.2 |
Hiqqer2019_3 | 3600.16 | 720.03 | 360.02 | 900.01 | 450.04 | 0.2 |
Qute_default | 4500.1 | 900.02 | 0.01 | 900.02 | 0.01 | 0 |
Qute_opt500 | 1040.76 | 208.15 | 347.84 | 32.1 | 64.32 | 0 |
Qute_rrs | 4500.25 | 900.05 | 0.03 | 900.07 | 0.06 | 0 |