Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 9032.2 | 451.61 | 448.39 | 454.07 | 897.72 | 0.5 |
Caqe-hqspre | 7735.58 | 386.78 | 424.55 | 84.71 | 895.13 | 0.6 |
caqe-pre | 7739.25 | 386.96 | 424.43 | 85.95 | 895.13 | 0.6 |
depqbf_prefix_opt_qdo | 11775.52 | 588.78 | 298.81 | 524.91 | 555.14 | 0.55 |
depqbf_pre_QxQBH | 14923.7 | 746.19 | 311.85 | 900 | 0 | 0.2 |
GhostQ___cegar_pcnf_2019 | 1201.78 | 60.09 | 132.72 | 19.52 | 44.21 | 1 |
GhostQ___plain_pcnf_2019 | 18000 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_schedule | 18000 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_single | 18000 | 900 | 0 | 900 | 0 | 0 |
nanoqbf_bloqqer | 9062.33 | 453.12 | 446.9 | 460.25 | 895.93 | 0.5 |
nanoqbf_hqspre | 9286.41 | 464.32 | 437.07 | 534.76 | 892.46 | 0.5 |
Qute_default | 17100.87 | 855.04 | 195.96 | 900 | 0 | 0.05 |
Qute_opt500 | 33.85 | 1.69 | 0.88 | 1.54 | 1.7 | 0 |
Qute_rrs | 18000 | 900 | 0 | 900 | 0 | 0 |
Rareqs_2018 | 9102.64 | 455.13 | 445.34 | 498.64 | 899.67 | 0.5 |