Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 997.99 | 199.6 | 350.42 | 28.23 | 23.33 | 0.8 |
Caqe-hqspre | 294.64 | 58.93 | 79.84 | 8.31 | 33 | 1 |
caqe-pre | 299.19 | 59.84 | 81.87 | 8.22 | 32.57 | 1 |
depqbf_prefix_opt_qdo | 4500 | 900 | 0 | 900 | 0 | 0 |
depqbf_pre_QxQBH | 3601.94 | 720.39 | 359.22 | 900 | 449.03 | 0.2 |
GhostQ___cegar_pcnf_2019 | 4410.6 | 882.12 | 35.76 | 900 | 44.7 | 0.2 |
GhostQ___plain_pcnf_2019 | 4500 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_schedule | 4370.14 | 874.03 | 51.94 | 900 | 64.93 | 0.2 |
iprover_bloqqer_single | 3614.22 | 722.84 | 354.31 | 900 | 442.89 | 0.2 |
nanoqbf_bloqqer | 4500 | 900 | 0 | 900 | 0 | 0 |
nanoqbf_hqspre | 3601.53 | 720.31 | 359.39 | 900 | 449.24 | 0.2 |
Qute_default | 1210.58 | 242.12 | 335.52 | 151.43 | 147.84 | 0.8 |
Qute_opt500 | 4.96 | 0.99 | 0.82 | 1.49 | 1.53 | 0.2 |
Qute_rrs | 1215.83 | 243.17 | 335.26 | 153.35 | 150.63 | 0.8 |
Rareqs_2018 | 2866.9 | 573.38 | 402.65 | 900 | 816.55 | 0.4 |