Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 3687.03 | 368.7 | 433.81 | 17.54 | 887 | 0.6 |
Caqe-hqspre | 2010.82 | 201.08 | 242.56 | 4.66 | 446.6 | 1 |
caqe-pre | 1864.08 | 186.41 | 225.02 | 4.63 | 412.89 | 1 |
depqbf_prefix_opt_qdo | 434.89 | 43.49 | 73.23 | 16.86 | 14.59 | 1 |
depqbf_pre_QxQBH | 1190.05 | 119.01 | 234.2 | 24.77 | 64.91 | 1 |
GhostQ___cegar_pcnf_2019 | 5020.18 | 502.02 | 159.06 | 511.92 | 316.31 | 0.6 |
GhostQ___plain_pcnf_2019 | 4994.98 | 499.5 | 159.45 | 511.59 | 309 | 0.6 |
iprover_bloqqer_schedule | 3686.75 | 368.68 | 433.83 | 17.33 | 886.91 | 0.6 |
iprover_bloqqer_single | 3686.75 | 368.68 | 433.83 | 17.27 | 886.59 | 0.6 |
nanoqbf_bloqqer | 1568.61 | 156.86 | 175.03 | 16.88 | 336.11 | 1 |
nanoqbf_hqspre | 1966.76 | 196.68 | 235.13 | 6.64 | 424.18 | 1 |
Qute_default | 2837.18 | 283.72 | 363.82 | 5.87 | 499.78 | 0.8 |
Qute_opt500 | 1784.11 | 178.41 | 212.67 | 5.86 | 434.15 | 0.6 |
Qute_rrs | 2648.87 | 264.89 | 354.25 | 5.85 | 405.87 | 0.8 |
Rareqs_2018 | 177.04 | 17.7 | 19.82 | 2.2 | 33.97 | 1 |