Information on Result #416426
There is no OOA(2122, 22, S2, 7, 108), because 1 times depth reduction would yield OOA(2122, 22, S2, 6, 108), but
- 42 step m-reduction [i] would yield OOA(280, 22, S2, 4, 66), but
- the LP bound with quadratic polynomials shows that M ≥ 83 718113 008313 070348 402688 / 67 > 280 [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.