Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 15525.42 | 776.27 | 293.37 | 900 | 0 | 0.2 |
Caqe-hqspre | 9806.85 | 490.34 | 357.15 | 585.25 | 757.37 | 0.75 |
caqe-pre | 9002.22 | 450.11 | 344.44 | 454.94 | 782.76 | 0.7 |
depqbf_prefix_opt_qdo | 12642.99 | 632.15 | 385.17 | 900 | 785.37 | 0.35 |
depqbf_pre_QxQBH | 12377.74 | 618.89 | 376.32 | 877.5 | 812.97 | 0.4 |
GhostQ___cegar_pcnf_2019 | 16120.04 | 806 | 219.03 | 900 | 0 | 0.15 |
GhostQ___plain_pcnf_2019 | 16944.02 | 847.2 | 180.56 | 900 | 0 | 0.05 |
iprover_bloqqer_schedule | 17987.85 | 899.39 | 2.65 | 900 | 0 | 0.05 |
iprover_bloqqer_single | 18000 | 900 | 0 | 900 | 0 | 0 |
nanoqbf_bloqqer | 8132.64 | 406.63 | 343.43 | 336.13 | 754.93 | 0.55 |
nanoqbf_hqspre | 9464.68 | 473.23 | 372.69 | 481.35 | 805.46 | 0.65 |
Qute_default | 10190.24 | 509.51 | 355.38 | 544.36 | 767.84 | 0.6 |
Qute_opt500 | 7449.48 | 372.47 | 241.83 | 434.18 | 411.77 | 0.45 |
Qute_rrs | 9630.53 | 481.53 | 342.28 | 455.58 | 768.17 | 0.7 |
Rareqs_2018 | 7285.11 | 364.26 | 393.25 | 131.2 | 893.43 | 0.7 |