Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 9000.49 | 900.05 | 0.03 | 900.06 | 0.04 | 0 |
Caqe-hqspre | 4768.68 | 476.87 | 428.33 | 570.02 | 898.72 | 0.5 |
caqe-pre | 4770.39 | 477.04 | 428.24 | 570.89 | 898.74 | 0.5 |
depqbf_prefix_opt_qdo | 8100.31 | 810.03 | 270.01 | 900.02 | 0.03 | 0.1 |
depqbf_pre_QxQBH | 5582.5 | 558.25 | 391.85 | 770.66 | 898.29 | 0.5 |
GhostQ___cegar_pcnf_2019 | 4521.75 | 452.18 | 447.85 | 454.56 | 897.84 | 0.5 |
GhostQ___plain_pcnf_2019 | 3799.99 | 380 | 427.47 | 96.12 | 898.21 | 0.6 |
Hiqqer2019_1 | 9000.32 | 900.03 | 0.04 | 900.03 | 0.06 | 0 |
Hiqqer2019_2 | 9000.33 | 900.03 | 0.03 | 900.03 | 0.04 | 0 |
Hiqqer2019_3 | 9000.4 | 900.04 | 0.02 | 900.04 | 0.02 | 0 |
Qute_default | 5403.67 | 540.37 | 440.49 | 900.01 | 900.02 | 0.4 |
Qute_opt500 | 93.5 | 9.35 | 11.57 | 2.75 | 8.23 | 0.3 |
Qute_rrs | 5403.54 | 540.35 | 440.52 | 900.02 | 900.02 | 0.4 |