Information on Result #219108
There is no OOA(5132, 93, S5, 3, 115), because 1 times depth reduction would yield OOA(5132, 93, S5, 2, 115), but
- 51 step m-reduction [i] would yield OA(581, 93, S5, 64), but
- the linear programming bound shows that M ≥ 615521 895906 900376 246461 033258 317030 458783 847279 846668 243408 203125 / 1347 475701 > 581 [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.