Information on Result #430102
There is no OOA(2131, 19, S2, 7, 126), because 114 step m-reduction would yield OA(217, 19, S2, 12), but
- the (dual) Plotkin bound shows that M ≥ 1 835008 / 13 > 217 [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
The following results depend on this result:
| Result | This result only | Method | ||
|---|---|---|---|---|
| 1 | No OOA(2132, 20, S2, 7, 127) | [i] | Truncation for OOAs | |
| 2 | No OOA(2133, 20, S2, 7, 128) | [i] | ||
| 3 | No OOA(2134, 20, S2, 7, 129) | [i] | ||
| 4 | No OOA(2135, 20, S2, 7, 130) | [i] | ||
| 5 | No OOA(2136, 20, S2, 7, 131) | [i] | ||
| 6 | No OOA(2137, 20, S2, 7, 132) | [i] | ||
| 7 | No OOA(2138, 20, S2, 7, 133) | [i] | ||
| 8 | No OOA(2139, 21, S2, 7, 134) | [i] | ||
| 9 | No OOA(2140, 21, S2, 7, 135) | [i] | ||
| 10 | No OOA(2141, 21, S2, 7, 136) | [i] | ||
| 11 | No OOA(2142, 21, S2, 7, 137) | [i] | ||
| 12 | No OOA(2143, 21, S2, 7, 138) | [i] | ||
| 13 | No OOA(2144, 21, S2, 7, 139) | [i] | ||
| 14 | No OOA(2145, 21, S2, 7, 140) | [i] | ||
| 15 | No OOA(2146, 22, S2, 7, 141) | [i] | ||
| 16 | No OOA(2147, 22, S2, 7, 142) | [i] | ||
| 17 | No OOA(2148, 22, S2, 7, 143) | [i] | ||
| 18 | No OOA(2149, 22, S2, 7, 144) | [i] | ||
| 19 | No OOA(2150, 22, S2, 7, 145) | [i] | ||
| 20 | No OOA(2151, 22, S2, 7, 146) | [i] | ||
| 21 | No OOA(2152, 22, S2, 7, 147) | [i] | ||
| 22 | No OOA(2153, 23, S2, 7, 148) | [i] | ||
| 23 | No OOA(2154, 23, S2, 7, 149) | [i] | ||
| 24 | No OOA(2155, 23, S2, 7, 150) | [i] | ||
| 25 | No OOA(2156, 23, S2, 7, 151) | [i] | ||
| 26 | No OOA(2157, 23, S2, 7, 152) | [i] | ||
| 27 | No OOA(2158, 23, S2, 7, 153) | [i] | ||
| 28 | No OOA(2159, 23, S2, 7, 154) | [i] | ||
| 29 | No OOA(2160, 24, S2, 7, 155) | [i] | ||
| 30 | No OOA(2161, 24, S2, 7, 156) | [i] | ||
| 31 | No OOA(2162, 24, S2, 7, 157) | [i] | ||
| 32 | No OOA(2163, 24, S2, 7, 158) | [i] | ||
| 33 | No OOA(2164, 24, S2, 7, 159) | [i] | ||
| 34 | No OOA(2165, 24, S2, 7, 160) | [i] | ||
| 35 | No OOA(2166, 24, S2, 7, 161) | [i] | ||
| 36 | No OOA(2167, 25, S2, 7, 162) | [i] | ||
| 37 | No OOA(2168, 25, S2, 7, 163) | [i] | ||
| 38 | No OOA(2169, 25, S2, 7, 164) | [i] | ||
| 39 | No OOA(2170, 25, S2, 7, 165) | [i] | ||
| 40 | No OOA(2171, 25, S2, 7, 166) | [i] | ||
| 41 | No OOA(2172, 25, S2, 7, 167) | [i] | ||
| 42 | No OOA(2173, 25, S2, 7, 168) | [i] | ||
| 43 | No OOA(2174, 26, S2, 7, 169) | [i] | ||
| 44 | No OOA(2175, 26, S2, 7, 170) | [i] | ||
| 45 | No OOA(2176, 26, S2, 7, 171) | [i] | ||
| 46 | No OOA(2177, 26, S2, 7, 172) | [i] | ||
| 47 | No OOA(2178, 26, S2, 7, 173) | [i] | ||
| 48 | No OOA(2179, 26, S2, 7, 174) | [i] | ||
| 49 | No OOA(2180, 26, S2, 7, 175) | [i] | ||
| 50 | No OOA(2181, 27, S2, 7, 176) | [i] | ||
| 51 | No OOA(2182, 27, S2, 7, 177) | [i] | ||
| 52 | No OOA(2183, 27, S2, 7, 178) | [i] | ||
| 53 | No OOA(2184, 27, S2, 7, 179) | [i] | ||
| 54 | No OOA(2185, 27, S2, 7, 180) | [i] | ||
| 55 | No OOA(2186, 27, S2, 7, 181) | [i] | ||
| 56 | No OOA(2187, 27, S2, 7, 182) | [i] | ||
| 57 | No OOA(2188, 28, S2, 7, 183) | [i] | ||
| 58 | No OOA(2189, 28, S2, 7, 184) | [i] | ||
| 59 | No OOA(2190, 28, S2, 7, 185) | [i] | ||
| 60 | No OOA(2191, 28, S2, 7, 186) | [i] | ||
| 61 | No OOA(2192, 28, S2, 7, 187) | [i] | ||
| 62 | No OOA(2193, 28, S2, 7, 188) | [i] | ||
| 63 | No OOA(2194, 28, S2, 7, 189) | [i] | ||
| 64 | No OOA(2195, 29, S2, 7, 190) | [i] | ||
| 65 | No OOA(2196, 29, S2, 7, 191) | [i] | ||
| 66 | No OOA(2197, 29, S2, 7, 192) | [i] | ||
| 67 | No OOA(2198, 29, S2, 7, 193) | [i] | ||
| 68 | No OOA(2199, 29, S2, 7, 194) | [i] | ||
| 69 | No OOA(2200, 29, S2, 7, 195) | [i] | ||
| 70 | No OOA(2201, 29, S2, 7, 196) | [i] | ||
| 71 | No OOA(2202, 30, S2, 7, 197) | [i] | ||
| 72 | No OOA(2203, 30, S2, 7, 198) | [i] | ||
| 73 | No OOA(2204, 30, S2, 7, 199) | [i] | ||
| 74 | No OOA(2205, 30, S2, 7, 200) | [i] | ||
| 75 | No OOA(2206, 30, S2, 7, 201) | [i] | ||
| 76 | No OOA(2207, 30, S2, 7, 202) | [i] | ||
| 77 | No OOA(2208, 30, S2, 7, 203) | [i] | ||
| 78 | No OOA(2209, 31, S2, 7, 204) | [i] | ||
| 79 | No OOA(2210, 31, S2, 7, 205) | [i] | ||
| 80 | No OOA(2211, 31, S2, 7, 206) | [i] | ||
| 81 | No OOA(2212, 31, S2, 7, 207) | [i] | ||
| 82 | No OOA(2213, 31, S2, 7, 208) | [i] | ||
| 83 | No OOA(2214, 31, S2, 7, 209) | [i] | ||
| 84 | No OOA(2215, 31, S2, 7, 210) | [i] | ||
| 85 | No OOA(2216, 32, S2, 7, 211) | [i] | ||
| 86 | No OOA(2217, 32, S2, 7, 212) | [i] | ||
| 87 | No OOA(2218, 32, S2, 7, 213) | [i] | ||
| 88 | No OOA(2219, 32, S2, 7, 214) | [i] | ||
| 89 | No OOA(2220, 32, S2, 7, 215) | [i] | ||
| 90 | No OOA(2221, 32, S2, 7, 216) | [i] | ||
| 91 | No OOA(2222, 32, S2, 7, 217) | [i] | ||
| 92 | No OOA(2223, 33, S2, 7, 218) | [i] | ||
| 93 | No OOA(2224, 33, S2, 7, 219) | [i] | ||
| 94 | No OOA(2225, 33, S2, 7, 220) | [i] | ||
| 95 | No OOA(2226, 33, S2, 7, 221) | [i] | ||
| 96 | No OOA(2227, 33, S2, 7, 222) | [i] | ||
| 97 | No OOA(2228, 33, S2, 7, 223) | [i] | ||
| 98 | No OOA(2229, 33, S2, 7, 224) | [i] | ||
| 99 | No OOA(2230, 34, S2, 7, 225) | [i] | ||
| 100 | No OOA(2231, 34, S2, 7, 226) | [i] | ||
| 101 | No OOA(2232, 34, S2, 7, 227) | [i] | ||
| 102 | No OOA(2233, 34, S2, 7, 228) | [i] | ||
| 103 | No OOA(2234, 34, S2, 7, 229) | [i] | ||
| 104 | No OOA(2235, 34, S2, 7, 230) | [i] | ||
| 105 | No OOA(2236, 34, S2, 7, 231) | [i] | ||
| 106 | No OOA(2237, 35, S2, 7, 232) | [i] | ||
| 107 | No OOA(2238, 35, S2, 7, 233) | [i] | ||
| 108 | No OOA(2239, 35, S2, 7, 234) | [i] | ||
| 109 | No OOA(2240, 35, S2, 7, 235) | [i] | ||
| 110 | No OOA(2241, 35, S2, 7, 236) | [i] | ||
| 111 | No OOA(2242, 35, S2, 7, 237) | [i] | ||
| 112 | No OOA(2243, 35, S2, 7, 238) | [i] | ||
| 113 | No OOA(2244, 36, S2, 7, 239) | [i] | ||
| 114 | No OOA(2245, 36, S2, 7, 240) | [i] | ||
| 115 | No OOA(2246, 36, S2, 7, 241) | [i] | ||
| 116 | No OOA(2247, 36, S2, 7, 242) | [i] | ||
| 117 | No OOA(2248, 36, S2, 7, 243) | [i] | ||
| 118 | No OOA(2249, 36, S2, 7, 244) | [i] | ||
| 119 | No OOA(2250, 36, S2, 7, 245) | [i] | ||
| 120 | No OOA(2251, 37, S2, 7, 246) | [i] | ||
| 121 | No OOA(2252, 37, S2, 7, 247) | [i] | ||
| 122 | No OOA(2253, 37, S2, 7, 248) | [i] | ||
| 123 | No OOA(2254, 37, S2, 7, 249) | [i] | ||
| 124 | No OOA(2255, 37, S2, 7, 250) | [i] | ||
| 125 | No OOA(2256, 37, S2, 7, 251) | [i] | ||
| 126 | No OOA(2257, 37, S2, 7, 252) | [i] | ||
| 127 | No OOA(2258, 38, S2, 7, 253) | [i] | ||
| 128 | No OOA(2259, 38, S2, 7, 254) | [i] | ||
| 129 | No OOA(2260, 38, S2, 7, 255) | [i] | ||