Information on Result #291602
There is no OOA(3125, 129, S3, 4, 85), because 2 times depth reduction would yield OOA(3125, 129, S3, 2, 85), but
- 9 step m-reduction [i] would yield OA(3116, 129, S3, 76), but
- the linear programming bound shows that M ≥ 10 043490 566221 756034 999262 067129 182567 059217 282309 049833 675189 / 424270 > 3116 [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.