Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 950.4 | 158.4 | 331.74 | 9.07 | 6.64 | 0.833 |
Caqe-hqspre | 690.83 | 115.14 | 107.95 | 90.9 | 153.32 | 1 |
caqe-pre | 749.61 | 124.94 | 118.74 | 88.73 | 146.5 | 1 |
depqbf_prefix_opt_qdo | 5400.21 | 900.04 | 0.02 | 900.04 | 0.04 | 0 |
depqbf_pre_QxQBH | 602.1 | 100.35 | 82.75 | 90.77 | 141.49 | 1 |
GhostQ___cegar_pcnf_2019 | 5400.33 | 900.06 | 0.02 | 900.06 | 0.05 | 0 |
GhostQ___plain_pcnf_2019 | 5400.33 | 900.06 | 0.03 | 900.06 | 0.06 | 0 |
Hiqqer2019_1 | 2721.56 | 453.59 | 446.47 | 459.17 | 898.71 | 0.5 |
Hiqqer2019_2 | 2705.71 | 450.95 | 449.11 | 451.18 | 898.7 | 0.5 |
Hiqqer2019_3 | 2705.24 | 450.87 | 449.14 | 451.11 | 898.7 | 0.5 |
Qute_default | 1575.14 | 262.52 | 318.3 | 123.92 | 211.07 | 0.833 |
Qute_opt500 | 1073.12 | 178.85 | 175.76 | 114.73 | 193.35 | 0.667 |
Qute_rrs | 1242.42 | 207.07 | 217.46 | 118.61 | 201.3 | 1 |