Information on Result #451475
There is no OOA(2161, 37, S2, 8, 134), because 3 times depth reduction would yield OOA(2161, 37, S2, 5, 134), but
- 22 step m-reduction [i] would yield OOA(2139, 37, S2, 4, 112), but
- the LP bound with quadratic polynomials shows that M ≥ 101 747149 968295 968083 256714 618958 149371 035648 / 113 > 2139 [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.