Information on Result #219403
There is no OOA(5144, 112, S5, 3, 123), because 1 times depth reduction would yield OOA(5144, 112, S5, 2, 123), but
- 47 step m-reduction [i] would yield OA(597, 112, S5, 76), but
- the linear programming bound shows that M ≥ 29 282971 382900 591824 936232 851882 769051 034272 056455 165511 579252 779483 795166 015625 / 409917 357801 > 597 [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.