Information on Result #394024
There is no OOA(2235, 115, S2, 6, 156), because 3 times depth reduction would yield OOA(2235, 115, S2, 3, 156), but
- 12 step m-reduction [i] would yield OOA(2223, 115, S2, 2, 144), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 431 359146 674410 236714 672241 392314 090778 194310 760649 159697 657763 987456 / 29 > 2223 [i]
Mode: Bound.
Optimality
Show details for fixed k and m, n and k, k and s, k and t, n and m, m and s, m and t, n and s, n and t.
Other Results with Identical Parameters
None.
Depending Results
None.