Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 9000.49 | 900.05 | 0.03 | 900.04 | 0.04 | 0 |
Caqe-hqspre | 5523.67 | 552.37 | 321.61 | 624.89 | 709.9 | 0.7 |
caqe-pre | 6139.26 | 613.93 | 355.88 | 900.02 | 777.21 | 0.4 |
depqbf_prefix_opt_qdo | 9000.53 | 900.05 | 0.03 | 900.07 | 0.07 | 0 |
depqbf_pre_QxQBH | 8934.02 | 893.4 | 11.96 | 900.05 | 28.53 | 0 |
GhostQ___cegar_pcnf_2019 | 9000.44 | 900.04 | 0.02 | 900.05 | 0.03 | 0 |
GhostQ___plain_pcnf_2019 | 9000.45 | 900.05 | 0.03 | 900.05 | 0.06 | 0 |
Hiqqer2019_1 | 9000.3 | 900.03 | 0.02 | 900.03 | 0.03 | 0 |
Hiqqer2019_2 | 9000.5 | 900.05 | 0.02 | 900.05 | 0.03 | 0 |
Hiqqer2019_3 | 9000.03 | 900 | 0.07 | 900.02 | 0.01 | 0 |
Qute_default | 5896.47 | 589.65 | 337.28 | 751.1 | 769.29 | 0.5 |
Qute_opt500 | 4412.58 | 441.26 | 221.95 | 482.05 | 473.96 | 0.4 |
Qute_rrs | 5808 | 580.8 | 337.77 | 706.16 | 768.27 | 0.5 |