Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 354.91 | 35.49 | 18.19 | 28.72 | 11.99 | 1 |
Caqe-hqspre | 330.53 | 33.05 | 72.17 | 7.18 | 5.31 | 1 |
caqe-pre | 355.48 | 35.55 | 79.71 | 7.15 | 5.34 | 1 |
depqbf_prefix_opt_qdo | 4516.55 | 451.66 | 448.35 | 453.2 | 898.41 | 0.5 |
depqbf_pre_QxQBH | 928.19 | 92.82 | 93.2 | 73.28 | 122.88 | 1 |
GhostQ___cegar_pcnf_2019 | 120.98 | 12.1 | 7.88 | 9.5 | 3.99 | 1 |
GhostQ___plain_pcnf_2019 | 4555.14 | 455.51 | 444.52 | 462.56 | 893.41 | 0.5 |
iprover_bloqqer_schedule | 2364.75 | 236.48 | 237.25 | 141.06 | 48.92 | 0.9 |
iprover_bloqqer_single | 1917.39 | 191.74 | 141.88 | 129.12 | 39.83 | 1 |
nanoqbf_bloqqer | 276.21 | 27.62 | 13.58 | 20.87 | 7.93 | 1 |
nanoqbf_hqspre | 951.67 | 95.17 | 268.3 | 4.19 | 5.84 | 0.9 |
Qute_default | 4816.12 | 481.61 | 403.78 | 591.08 | 896.48 | 0.6 |
Qute_opt500 | 159.4 | 15.94 | 12.94 | 11.92 | 11.01 | 0.3 |
Qute_rrs | 5508.5 | 550.85 | 428.29 | 900 | 896.42 | 0.4 |
Rareqs_2018 | 302.86 | 30.29 | 85.5 | 1.76 | 0.96 | 1 |