Information on Result #353044
There is no OOA(3145, 118, S3, 5, 109), because 3 times depth reduction would yield OOA(3145, 118, S3, 2, 109), but
- 40 step m-reduction [i] would yield OA(3105, 118, S3, 69), but
- the linear programming bound shows that M ≥ 263 758713 430513 222927 586065 511011 987998 995736 826543 303683 / 1 764070 > 3105 [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.