Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 5400.15 | 900.03 | 0.01 | 900.03 | 0.02 | 0 |
Caqe-hqspre | 4223.01 | 703.84 | 308.18 | 900.01 | 820.91 | 0.167 |
caqe-pre | 4578.59 | 763.1 | 306.21 | 900.03 | 821.64 | 0.167 |
depqbf_prefix_opt_qdo | 4214.53 | 702.42 | 325.82 | 900.02 | 882.93 | 0.333 |
depqbf_pre_QxQBH | 4552.09 | 758.68 | 316.06 | 900.02 | 848.07 | 0.167 |
GhostQ___cegar_pcnf_2019 | 5400.36 | 900.06 | 0.04 | 900.07 | 0.09 | 0 |
GhostQ___plain_pcnf_2019 | 5400.26 | 900.04 | 0.03 | 900.04 | 0.04 | 0 |
Hiqqer2019_1 | 4506.34 | 751.06 | 333.15 | 900.05 | 893.94 | 0.167 |
Hiqqer2019_2 | 4504.38 | 750.73 | 333.51 | 900.01 | 895.03 | 0.167 |
Hiqqer2019_3 | 4507.76 | 751.29 | 332.61 | 900.04 | 892.48 | 0.167 |
Qute_default | 3684.7 | 614.12 | 405.1 | 900.02 | 900.02 | 0.333 |
Qute_opt500 | 0 | 0 | 0 | 0 | 0 | 0 |
Qute_rrs | 4500.25 | 750.04 | 335.42 | 900.04 | 900.01 | 0.167 |