Information on Result #214668
There is no OOA(4157, 108, S4, 3, 132), because 1 times depth reduction would yield OOA(4157, 108, S4, 2, 132), but
- 60 step m-reduction [i] would yield OA(497, 108, S4, 72), but
- the linear programming bound shows that M ≥ 9230 252126 223640 142713 030258 407637 988887 533996 288362 045971 103744 / 357335 > 497 [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.