Information on Result #210437
There is no OOA(3196, 146, S3, 3, 150), because 1 times depth reduction would yield OOA(3196, 146, S3, 2, 150), but
- 63 step m-reduction [i] would yield OA(3133, 146, S3, 87), but
- the linear programming bound shows that M ≥ 1497 523208 240534 920642 237582 447721 349397 399972 787749 000691 443934 141439 / 508571 > 3133 [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.