Information on Result #216346
There is no OOA(4217, 145, S4, 3, 182), because 1 times depth reduction would yield OOA(4217, 145, S4, 2, 182), but
- 86 step m-reduction [i] would yield OA(4131, 145, S4, 96), but
- the linear programming bound shows that M ≥ 4 521509 394595 294317 880132 762660 256020 199722 572909 200327 946519 584732 236773 399422 238875 189248 / 570286 240909 > 4131 [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.