Information on Result #355158
There is no OOA(3174, 76, S3, 5, 145), because 2 times depth reduction would yield OOA(3174, 76, S3, 3, 145), but
- 28 step m-reduction [i] would yield OOA(3146, 76, S3, 2, 117), but
- the LP bound with quadratic polynomials shows that M ≥ 616647 475058 544954 874501 304086 161073 644121 833982 871623 025307 342169 580415 / 118 > 3146 [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.