Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 128.82 | 25.76 | 22.04 | 12.85 | 14.35 | 1 |
Caqe-hqspre | 826.25 | 165.25 | 111.61 | 177.75 | 155.2 | 1 |
caqe-pre | 789.78 | 157.96 | 113.3 | 150.94 | 136.6 | 1 |
depqbf_prefix_opt_qdo | 2.52 | 0.5 | 0.37 | 0.63 | 0.61 | 1 |
depqbf_pre_QxQBH | 763.26 | 152.65 | 53.95 | 174.07 | 79.35 | 1 |
GhostQ___cegar_pcnf_2019 | 4500 | 900 | 0 | 900 | 0 | 0 |
GhostQ___plain_pcnf_2019 | 4500 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_schedule | 1830.07 | 366.01 | 436 | 12.88 | 447.85 | 0.6 |
iprover_bloqqer_single | 1829.53 | 365.91 | 436.09 | 12.51 | 447.75 | 0.6 |
nanoqbf_bloqqer | 1897.66 | 379.53 | 425.91 | 84.36 | 485.53 | 0.6 |
nanoqbf_hqspre | 4500 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 1106.17 | 221.23 | 143.09 | 228.16 | 229.16 | 1 |
Qute_opt500 | 1189.29 | 237.86 | 153.35 | 248.85 | 259.13 | 0.8 |
Qute_rrs | 1125.72 | 225.14 | 139.05 | 254.04 | 232.73 | 1 |
Rareqs_2018 | 2719.6 | 543.92 | 436.15 | 900 | 890.2 | 0.4 |