Information on Result #224266
There is no OOA(9143, 90, S9, 3, 134), because 1 times depth reduction would yield OOA(9143, 90, S9, 2, 134), but
- 63 step m-reduction [i] would yield OA(980, 90, S9, 71), but
- the linear programming bound shows that M ≥ 825617 125614 748653 438025 314237 742758 149006 797066 212440 636337 770986 951542 029890 113291 / 30 000971 > 980 [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.