Information on Result #215124
There is no OOA(4173, 104, S4, 3, 149), because 1 times depth reduction would yield OOA(4173, 104, S4, 2, 149), but
- 79 step m-reduction [i] would yield OA(494, 104, S4, 70), but
- the linear programming bound shows that M ≥ 2905 343984 020254 418179 867462 952821 985360 143012 759289 446224 887808 / 6 994423 > 494 [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.