Information on Result #387943
There is no OOA(2169, 37, S2, 6, 142), because 1 times depth reduction would yield OOA(2169, 37, S2, 5, 142), but
- 30 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.