Information on Result #218806
There is no OOA(5119, 79, S5, 3, 105), because 1 times depth reduction would yield OOA(5119, 79, S5, 2, 105), but
- 49 step m-reduction [i] would yield OA(570, 79, S5, 56), but
- the linear programming bound shows that M ≥ 5 918642 718939 423619 239903 473498 998209 834098 815917 968750 / 578151 > 570 [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.