Information on Result #219460
There is no OOA(5146, 88, S5, 3, 130), because 1 times depth reduction would yield OOA(5146, 88, S5, 2, 130), but
- 67 step m-reduction [i] would yield OA(579, 88, S5, 63), but
- the linear programming bound shows that M ≥ 2 305765 957491 564643 704051 729145 021454 314701 259136 199951 171875 / 132202 > 579 [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.