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