Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 4508.41 | 751.4 | 332.41 | 900.05 | 891.95 | 0.167 |
Caqe-hqspre | 4505.04 | 750.84 | 333.61 | 900.02 | 895.16 | 0.167 |
caqe-pre | 4505.03 | 750.84 | 333.62 | 900.03 | 895.2 | 0.167 |
depqbf_prefix_opt_qdo | 5400.24 | 900.04 | 0.03 | 900.03 | 0.03 | 0 |
depqbf_pre_QxQBH | 4189.14 | 698.19 | 207.3 | 740.09 | 483.35 | 0.5 |
GhostQ___cegar_pcnf_2019 | 5400.41 | 900.07 | 0.02 | 900.07 | 0.03 | 0 |
GhostQ___plain_pcnf_2019 | 5400.26 | 900.04 | 0.02 | 900.04 | 0.02 | 0 |
Hiqqer2019_1 | 4679.54 | 779.92 | 268.61 | 900.04 | 720.76 | 0.167 |
Hiqqer2019_2 | 3807.71 | 634.62 | 378.14 | 899.83 | 877.11 | 0.333 |
Hiqqer2019_3 | 4675.73 | 779.29 | 270.02 | 900.04 | 724.55 | 0.167 |
Qute_default | 1280.29 | 213.38 | 327.92 | 23.8 | 38.2 | 0.833 |
Qute_opt500 | 4.15 | 0.69 | 0.98 | 0 | 0 | 0 |
Qute_rrs | 1295.17 | 215.86 | 328.48 | 25 | 40.59 | 0.833 |