Information on Result #219531
There is no OOA(5149, 125, S5, 3, 125), because 1 times depth reduction would yield OOA(5149, 125, S5, 2, 125), but
- 37 step m-reduction [i] would yield OA(5112, 125, S5, 88), but
- the linear programming bound shows that M ≥ 34583 984196 672356 314446 603914 308245 637967 395612 680232 552804 682200 076058 506965 637207 031250 / 13859 944813 > 5112 [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.