Information on Result #214566
There is no OOA(4153, 100, S4, 3, 130), because 1 times depth reduction would yield OOA(4153, 100, S4, 2, 130), but
- 63 step m-reduction [i] would yield OA(490, 100, S4, 67), but
- the linear programming bound shows that M ≥ 295023 781563 173995 900282 102890 760321 556810 705889 809622 106112 / 187663 > 490 [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.