Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 4500 | 900 | 0 | 900 | 0 | 0 |
Caqe-hqspre | 4500 | 900 | 0 | 900 | 0 | 0 |
caqe-pre | 4500 | 900 | 0 | 900 | 0 | 0 |
depqbf_prefix_opt_qdo | 4500 | 900 | 0 | 900 | 0 | 0 |
depqbf_pre_QxQBH | 4373.07 | 874.61 | 10.89 | 879.21 | 18.29 | 0 |
GhostQ___cegar_pcnf_2019 | 4500 | 900 | 0 | 900 | 0 | 0 |
GhostQ___plain_pcnf_2019 | 4500 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_schedule | 4134.36 | 826.87 | 67.92 | 837.23 | 120.05 | 0 |
iprover_bloqqer_single | 4128.73 | 825.75 | 68.29 | 833.35 | 118.99 | 0 |
nanoqbf_bloqqer | 4500 | 900 | 0 | 900 | 0 | 0 |
nanoqbf_hqspre | 4500 | 900 | 0 | 900 | 0 | 0 |
Qute_default | 4500 | 900 | 0 | 900 | 0 | 0 |
Qute_opt500 | 296.62 | 59.32 | 2.85 | 60.28 | 4.55 | 0 |
Qute_rrs | 4500 | 900 | 0 | 900 | 0 | 0 |
Rareqs_2018 | 4500 | 900 | 0 | 900 | 0 | 0 |