Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 516.89 | 51.69 | 59.48 | 28.77 | 35.43 | 1 |
Caqe-hqspre | 1360.88 | 136.09 | 256.05 | 46.58 | 35.91 | 0.9 |
caqe-pre | 1030.74 | 103.07 | 156.67 | 46.69 | 36.07 | 1 |
depqbf_prefix_opt_qdo | 8108.09 | 810.81 | 267.72 | 900.05 | 0.05 | 0.1 |
depqbf_pre_QxQBH | 5222.3 | 522.23 | 316.53 | 508.64 | 649.33 | 0.7 |
GhostQ___cegar_pcnf_2019 | 7169.07 | 716.91 | 343.43 | 900.02 | 861.5 | 0.3 |
GhostQ___plain_pcnf_2019 | 8148.35 | 814.84 | 255.62 | 900.04 | 0.04 | 0.1 |
Hiqqer2019_1 | 5138.74 | 513.87 | 400.99 | 645.32 | 887.69 | 0.5 |
Hiqqer2019_2 | 5384.56 | 538.46 | 398.93 | 765.82 | 882.63 | 0.5 |
Hiqqer2019_3 | 3994.89 | 399.49 | 415.04 | 160.3 | 883.42 | 0.6 |
Qute_default | 8557.81 | 855.78 | 132.77 | 900.03 | 0.04 | 0.1 |
Qute_opt500 | 617.81 | 61.78 | 124.23 | 18.85 | 20.13 | 0 |
Qute_rrs | 8501.87 | 850.19 | 149.65 | 900.07 | 0.07 | 0.1 |