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