Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 9035.12 | 451.76 | 448.29 | 455.54 | 897.6 | 0.5 |
Caqe-hqspre | 9028.66 | 451.43 | 448.61 | 455.53 | 899.16 | 0.5 |
caqe-pre | 9029.02 | 451.45 | 448.61 | 455.55 | 899.13 | 0.5 |
depqbf_prefix_opt_qdo | 4254.96 | 212.75 | 363.26 | 0.5 | 299.09 | 0.8 |
depqbf_pre_QxQBH | 5279.05 | 263.95 | 390.16 | 1.6 | 751.34 | 0.75 |
GhostQ___cegar_pcnf_2019 | 17878 | 893.9 | 26.78 | 900.04 | 0.02 | 0.05 |
GhostQ___plain_pcnf_2019 | 18000.98 | 900.05 | 0.03 | 900.04 | 0.05 | 0 |
Hiqqer2019_1 | 17242.67 | 862.13 | 165.1 | 900.02 | 0.06 | 0.05 |
Hiqqer2019_2 | 17243.33 | 862.17 | 165.09 | 900.05 | 0.03 | 0.05 |
Hiqqer2019_3 | 17242.99 | 862.15 | 165.16 | 900.03 | 0.04 | 0.05 |
Qute_default | 7529.4 | 376.47 | 430.71 | 17.76 | 894.79 | 0.6 |
Qute_opt500 | 0.29 | 0.01 | 0.06 | 0 | 0 | 0.05 |
Qute_rrs | 5730.05 | 286.5 | 403.27 | 10.3 | 894.66 | 0.7 |