Information on Result #209347
There is no OOA(3163, 126, S3, 3, 124), because 1 times depth reduction would yield OOA(3163, 126, S3, 2, 124), but
- 49 step m-reduction [i] would yield OA(3114, 126, S3, 75), but
- the linear programming bound shows that M ≥ 30 712703 035837 543817 171656 466148 659734 050649 950249 413259 499491 / 12 402877 > 3114 [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.