Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 2709 | 387 | 417.09 | 104.86 | 795.87 | 0.714 |
Caqe-hqspre | 3935.02 | 562.15 | 397.75 | 900 | 898.34 | 0.429 |
caqe-pre | 2174.83 | 310.69 | 189.25 | 451.25 | 455.33 | 1 |
depqbf_prefix_opt_qdo | 6300 | 900 | 0 | 900 | 0 | 0 |
depqbf_pre_QxQBH | 1454.5 | 207.79 | 137.55 | 250.57 | 271.03 | 1 |
GhostQ___cegar_pcnf_2019 | 6300 | 900 | 0 | 900 | 0 | 0 |
GhostQ___plain_pcnf_2019 | 6300 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_schedule | 5395.89 | 770.84 | 314.15 | 900 | 898.65 | 0.143 |
iprover_bloqqer_single | 5401.29 | 771.61 | 314.48 | 900 | 898.71 | 0.143 |
nanoqbf_bloqqer | 4254.12 | 607.73 | 353.04 | 900 | 898.93 | 0.429 |
nanoqbf_hqspre | 6300 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 5401.98 | 771.71 | 314.24 | 900 | 898.02 | 0.143 |
Qute_opt500 | 507 | 72.43 | 144.57 | 3.63 | 3.56 | 0 |
Qute_rrs | 5401.67 | 771.67 | 314.35 | 900 | 898.33 | 0.143 |
Rareqs_2018 | 415.26 | 59.32 | 121.24 | 9.28 | 20.09 | 1 |