Information on Result #396723
There is no OOA(2259, 128, S2, 6, 171), because 3 times depth reduction would yield OOA(2259, 128, S2, 3, 171), but
- 12 step m-reduction [i] would yield OOA(2247, 128, S2, 2, 159), but
- the LP bound with quadratic polynomials shows that M ≥ 1243 860333 603982 568026 641440 523014 635142 548663 400435 746517 610765 710004 322304 / 5 > 2247 [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.