Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 6469.92 | 646.99 | 371.53 | 889.61 | 811.86 | 0.5 |
Caqe-hqspre | 4249.88 | 424.99 | 376.76 | 368.42 | 703.4 | 0.8 |
caqe-pre | 2868.73 | 286.87 | 238.82 | 304.53 | 433.68 | 1 |
depqbf_prefix_opt_qdo | 3644.62 | 364.46 | 391.61 | 114.48 | 625.54 | 0.7 |
depqbf_pre_QxQBH | 3439.52 | 343.95 | 363.98 | 87.03 | 595.47 | 0.8 |
GhostQ___cegar_pcnf_2019 | 7119.2 | 711.92 | 280.1 | 900.01 | 634.88 | 0.3 |
GhostQ___plain_pcnf_2019 | 7936.74 | 793.67 | 245.17 | 900.05 | 259.48 | 0.1 |
Hiqqer2019_1 | 2161.6 | 216.16 | 349.36 | 14.58 | 62.13 | 0.8 |
Hiqqer2019_2 | 3561.01 | 356.1 | 329.16 | 146.27 | 166.48 | 0.8 |
Hiqqer2019_3 | 2258.8 | 225.88 | 346 | 16.27 | 149.37 | 0.8 |
Qute_default | 4283.31 | 428.33 | 355.6 | 368.97 | 538.63 | 0.7 |
Qute_opt500 | 2826.77 | 282.68 | 196.01 | 326.19 | 401.98 | 0.5 |
Qute_rrs | 3844.29 | 384.43 | 322.87 | 324.79 | 452.49 | 0.8 |