Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 8433.7 | 562.25 | 386.13 | 900.01 | 881.53 | 0.467 |
Caqe-hqspre | 9332.65 | 622.18 | 363.68 | 900.02 | 888.29 | 0.4 |
caqe-pre | 9506.38 | 633.76 | 361.61 | 900.01 | 888.29 | 0.4 |
depqbf_prefix_opt_qdo | 7681.49 | 512.1 | 383.2 | 491.76 | 888.74 | 0.533 |
depqbf_pre_QxQBH | 10064.4 | 670.96 | 371.12 | 900.01 | 829.83 | 0.333 |
GhostQ___cegar_pcnf_2019 | 12600.8 | 840.05 | 224.49 | 900.04 | 0.03 | 0.067 |
GhostQ___plain_pcnf_2019 | 12368.76 | 824.58 | 227.79 | 900.05 | 0.04 | 0.133 |
Hiqqer2019_1 | 4428.55 | 295.24 | 329.18 | 108.13 | 356.64 | 0.867 |
Hiqqer2019_2 | 4781.97 | 318.8 | 330.86 | 164.05 | 524.48 | 0.867 |
Hiqqer2019_3 | 4433.19 | 295.55 | 329.26 | 106.65 | 363.56 | 0.867 |
Qute_default | 10510.53 | 700.7 | 338.71 | 900.04 | 628.8 | 0.267 |
Qute_opt500 | 20.84 | 1.39 | 0.81 | 1.4 | 0.94 | 0.067 |
Qute_rrs | 10386.06 | 692.4 | 348.67 | 900.05 | 727.63 | 0.267 |