Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 544.96 | 272.48 | 124.44 | 272.48 | 0 | 1 |
Caqe-hqspre | 1049.49 | 524.75 | 160.75 | 524.75 | 0 | 1 |
caqe-pre | 1266.86 | 633.43 | 266.57 | 633.43 | 0 | 0.5 |
depqbf_prefix_opt_qdo | 1800 | 900 | 0 | 900 | 0 | 0 |
depqbf_pre_QxQBH | 1741.21 | 870.61 | 3.75 | 870.61 | 0 | 0 |
GhostQ___cegar_pcnf_2019 | 15.51 | 7.76 | 0.81 | 7.76 | 0 | 1 |
GhostQ___plain_pcnf_2019 | 14.52 | 7.26 | 0.86 | 7.26 | 0 | 1 |
iprover_bloqqer_schedule | 1030.71 | 515.36 | 72.04 | 515.36 | 0 | 0 |
iprover_bloqqer_single | 1041.22 | 520.61 | 69.8 | 520.61 | 0 | 0 |
nanoqbf_bloqqer | 1800 | 900 | 0 | 900 | 0 | 0 |
nanoqbf_hqspre | 1800 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 1000.07 | 500.04 | 399.97 | 500.04 | 0 | 0.5 |
Qute_opt500 | 112.45 | 56.23 | 0.63 | 56.23 | 0 | 0 |
Qute_rrs | 1800 | 900 | 0 | 900 | 0 | 0 |
Rareqs_2018 | 240.01 | 120.01 | 18.29 | 120.01 | 0 | 1 |