Information on Result #216545
There is no OOA(4225, 134, S4, 3, 193), because 1 times depth reduction would yield OOA(4225, 134, S4, 2, 193), but
- 105 step m-reduction [i] would yield OA(4120, 134, S4, 88), but
- the linear programming bound shows that M ≥ 44879 226248 006156 277409 262412 286361 464349 961201 014006 795486 400435 014006 889500 377088 / 21749 419055 > 4120 [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.