Information on Result #305989
There is no OOA(318, 5, S3, 4, 18), because 15 step m-reduction would yield OA(33, 5, S3, 3), but
- the (dual) Plotkin bound shows that M ≥ 81 / 2 > 33 [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(319, 6, S3, 4, 19) | [i] | Truncation for OOAs | |
| 2 | No OOA(320, 6, S3, 4, 20) | [i] | ||
| 3 | No OOA(322, 6, S3, 4, 22) | [i] | ||
| 4 | No OOA(323, 7, S3, 4, 23) | [i] | ||
| 5 | No OOA(324, 7, S3, 4, 24) | [i] | ||
| 6 | No OOA(325, 7, S3, 4, 25) | [i] | ||
| 7 | No OOA(326, 7, S3, 4, 26) | [i] | ||
| 8 | No OOA(327, 8, S3, 4, 27) | [i] | ||
| 9 | No OOA(328, 8, S3, 4, 28) | [i] | ||
| 10 | No OOA(329, 8, S3, 4, 29) | [i] | ||
| 11 | No OOA(330, 8, S3, 4, 30) | [i] | ||
| 12 | No OOA(331, 9, S3, 4, 31) | [i] | ||
| 13 | No OOA(332, 9, S3, 4, 32) | [i] | ||
| 14 | No OOA(333, 9, S3, 4, 33) | [i] | ||
| 15 | No OOA(334, 9, S3, 4, 34) | [i] | ||
| 16 | No OOA(335, 10, S3, 4, 35) | [i] | ||
| 17 | No OOA(336, 10, S3, 4, 36) | [i] | ||
| 18 | No OOA(337, 10, S3, 4, 37) | [i] | ||
| 19 | No OOA(338, 10, S3, 4, 38) | [i] | ||
| 20 | No OOA(339, 11, S3, 4, 39) | [i] | ||
| 21 | No OOA(340, 11, S3, 4, 40) | [i] | ||
| 22 | No OOA(341, 11, S3, 4, 41) | [i] | ||
| 23 | No OOA(342, 11, S3, 4, 42) | [i] | ||
| 24 | No OOA(343, 12, S3, 4, 43) | [i] | ||
| 25 | No OOA(344, 12, S3, 4, 44) | [i] | ||
| 26 | No OOA(345, 12, S3, 4, 45) | [i] | ||
| 27 | No OOA(346, 12, S3, 4, 46) | [i] | ||
| 28 | No OOA(347, 13, S3, 4, 47) | [i] | ||
| 29 | No OOA(348, 13, S3, 4, 48) | [i] | ||
| 30 | No OOA(349, 13, S3, 4, 49) | [i] | ||
| 31 | No OOA(350, 13, S3, 4, 50) | [i] | ||
| 32 | No OOA(351, 14, S3, 4, 51) | [i] | ||
| 33 | No OOA(352, 14, S3, 4, 52) | [i] | ||
| 34 | No OOA(353, 14, S3, 4, 53) | [i] | ||
| 35 | No OOA(354, 14, S3, 4, 54) | [i] | ||
| 36 | No OOA(355, 15, S3, 4, 55) | [i] | ||
| 37 | No OOA(356, 15, S3, 4, 56) | [i] | ||
| 38 | No OOA(357, 15, S3, 4, 57) | [i] | ||
| 39 | No OOA(358, 15, S3, 4, 58) | [i] | ||
| 40 | No OOA(359, 16, S3, 4, 59) | [i] | ||
| 41 | No OOA(360, 16, S3, 4, 60) | [i] | ||
| 42 | No OOA(361, 16, S3, 4, 61) | [i] | ||
| 43 | No OOA(362, 16, S3, 4, 62) | [i] | ||
| 44 | No OOA(363, 17, S3, 4, 63) | [i] | ||
| 45 | No OOA(364, 17, S3, 4, 64) | [i] | ||
| 46 | No OOA(365, 17, S3, 4, 65) | [i] | ||
| 47 | No OOA(366, 17, S3, 4, 66) | [i] | ||
| 48 | No OOA(367, 18, S3, 4, 67) | [i] | ||
| 49 | No OOA(368, 18, S3, 4, 68) | [i] | ||
| 50 | No OOA(369, 18, S3, 4, 69) | [i] | ||
| 51 | No OOA(370, 18, S3, 4, 70) | [i] | ||
| 52 | No OOA(371, 19, S3, 4, 71) | [i] | ||
| 53 | No OOA(372, 19, S3, 4, 72) | [i] | ||
| 54 | No OOA(373, 19, S3, 4, 73) | [i] | ||
| 55 | No OOA(375, 20, S3, 4, 75) | [i] | ||
| 56 | No OOA(376, 20, S3, 4, 76) | [i] | ||
| 57 | No OOA(377, 20, S3, 4, 77) | [i] | ||
| 58 | No OOA(378, 20, S3, 4, 78) | [i] | ||
| 59 | No OOA(379, 21, S3, 4, 79) | [i] | ||
| 60 | No OOA(380, 21, S3, 4, 80) | [i] | ||
| 61 | No OOA(381, 21, S3, 4, 81) | [i] | ||
| 62 | No OOA(382, 21, S3, 4, 82) | [i] | ||
| 63 | No OOA(383, 22, S3, 4, 83) | [i] | ||
| 64 | No OOA(384, 22, S3, 4, 84) | [i] | ||
| 65 | No OOA(385, 22, S3, 4, 85) | [i] | ||
| 66 | No OOA(386, 22, S3, 4, 86) | [i] | ||
| 67 | No OOA(387, 23, S3, 4, 87) | [i] | ||
| 68 | No OOA(388, 23, S3, 4, 88) | [i] | ||
| 69 | No OOA(389, 23, S3, 4, 89) | [i] | ||
| 70 | No OOA(390, 23, S3, 4, 90) | [i] | ||
| 71 | No OOA(391, 24, S3, 4, 91) | [i] | ||
| 72 | No OOA(392, 24, S3, 4, 92) | [i] | ||
| 73 | No OOA(393, 24, S3, 4, 93) | [i] | ||
| 74 | No OOA(394, 24, S3, 4, 94) | [i] | ||
| 75 | No OOA(395, 25, S3, 4, 95) | [i] | ||
| 76 | No OOA(396, 25, S3, 4, 96) | [i] | ||
| 77 | No OOA(397, 25, S3, 4, 97) | [i] | ||
| 78 | No OOA(398, 25, S3, 4, 98) | [i] | ||
| 79 | No OOA(399, 26, S3, 4, 99) | [i] | ||
| 80 | No OOA(3100, 26, S3, 4, 100) | [i] | ||
| 81 | No OOA(3101, 26, S3, 4, 101) | [i] | ||
| 82 | No OOA(3102, 26, S3, 4, 102) | [i] | ||
| 83 | No OOA(3103, 27, S3, 4, 103) | [i] | ||
| 84 | No OOA(3104, 27, S3, 4, 104) | [i] | ||
| 85 | No OOA(3105, 27, S3, 4, 105) | [i] | ||
| 86 | No OOA(3106, 27, S3, 4, 106) | [i] | ||
| 87 | No OOA(3107, 28, S3, 4, 107) | [i] | ||
| 88 | No OOA(3108, 28, S3, 4, 108) | [i] | ||
| 89 | No OOA(3109, 28, S3, 4, 109) | [i] | ||
| 90 | No OOA(3110, 28, S3, 4, 110) | [i] | ||
| 91 | No OOA(3111, 29, S3, 4, 111) | [i] | ||
| 92 | No OOA(3112, 29, S3, 4, 112) | [i] | ||
| 93 | No OOA(3113, 29, S3, 4, 113) | [i] | ||
| 94 | No OOA(3114, 29, S3, 4, 114) | [i] | ||
| 95 | No OOA(3115, 30, S3, 4, 115) | [i] | ||
| 96 | No OOA(3116, 30, S3, 4, 116) | [i] | ||
| 97 | No OOA(3117, 30, S3, 4, 117) | [i] | ||
| 98 | No OOA(3118, 30, S3, 4, 118) | [i] | ||
| 99 | No OOA(3119, 31, S3, 4, 119) | [i] | ||
| 100 | No OOA(3120, 31, S3, 4, 120) | [i] | ||
| 101 | No OOA(3121, 31, S3, 4, 121) | [i] | ||
| 102 | No OOA(3122, 31, S3, 4, 122) | [i] | ||
| 103 | No OOA(3123, 32, S3, 4, 123) | [i] | ||
| 104 | No OOA(3124, 32, S3, 4, 124) | [i] | ||
| 105 | No OOA(3125, 32, S3, 4, 125) | [i] | ||
| 106 | No OOA(3126, 32, S3, 4, 126) | [i] | ||
| 107 | No OOA(3127, 33, S3, 4, 127) | [i] | ||
| 108 | No OOA(3128, 33, S3, 4, 128) | [i] | ||
| 109 | No OOA(3129, 33, S3, 4, 129) | [i] | ||
| 110 | No OOA(3130, 33, S3, 4, 130) | [i] | ||
| 111 | No OOA(3131, 34, S3, 4, 131) | [i] | ||
| 112 | No OOA(3132, 34, S3, 4, 132) | [i] | ||
| 113 | No OOA(3133, 34, S3, 4, 133) | [i] | ||
| 114 | No OOA(3134, 34, S3, 4, 134) | [i] | ||
| 115 | No OOA(3135, 35, S3, 4, 135) | [i] | ||
| 116 | No OOA(3136, 35, S3, 4, 136) | [i] | ||
| 117 | No OOA(3137, 35, S3, 4, 137) | [i] | ||
| 118 | No OOA(3138, 35, S3, 4, 138) | [i] | ||
| 119 | No OOA(3139, 36, S3, 4, 139) | [i] | ||
| 120 | No OOA(3140, 36, S3, 4, 140) | [i] | ||
| 121 | No OOA(3141, 36, S3, 4, 141) | [i] | ||
| 122 | No OOA(3142, 36, S3, 4, 142) | [i] | ||
| 123 | No OOA(3143, 37, S3, 4, 143) | [i] | ||
| 124 | No OOA(3144, 37, S3, 4, 144) | [i] | ||
| 125 | No OOA(3145, 37, S3, 4, 145) | [i] | ||
| 126 | No OOA(3146, 37, S3, 4, 146) | [i] | ||
| 127 | No OOA(3147, 38, S3, 4, 147) | [i] | ||
| 128 | No OOA(3148, 38, S3, 4, 148) | [i] | ||
| 129 | No OOA(3149, 38, S3, 4, 149) | [i] | ||
| 130 | No OOA(3150, 38, S3, 4, 150) | [i] | ||
| 131 | No OOA(3151, 39, S3, 4, 151) | [i] | ||
| 132 | No OOA(3152, 39, S3, 4, 152) | [i] | ||
| 133 | No OOA(3153, 39, S3, 4, 153) | [i] | ||
| 134 | No OOA(3154, 39, S3, 4, 154) | [i] | ||
| 135 | No OOA(3155, 40, S3, 4, 155) | [i] | ||
| 136 | No OOA(3156, 40, S3, 4, 156) | [i] | ||
| 137 | No OOA(3157, 40, S3, 4, 157) | [i] | ||
| 138 | No OOA(3158, 40, S3, 4, 158) | [i] | ||
| 139 | No OOA(3159, 41, S3, 4, 159) | [i] | ||
| 140 | No OOA(3160, 41, S3, 4, 160) | [i] | ||
| 141 | No OOA(3161, 41, S3, 4, 161) | [i] | ||
| 142 | No OOA(3162, 41, S3, 4, 162) | [i] | ||
| 143 | No OOA(3163, 42, S3, 4, 163) | [i] | ||
| 144 | No OOA(3164, 42, S3, 4, 164) | [i] | ||
| 145 | No OOA(3165, 42, S3, 4, 165) | [i] | ||
| 146 | No OOA(3166, 42, S3, 4, 166) | [i] | ||
| 147 | No OOA(3167, 43, S3, 4, 167) | [i] | ||
| 148 | No OOA(3168, 43, S3, 4, 168) | [i] | ||
| 149 | No OOA(3169, 43, S3, 4, 169) | [i] | ||
| 150 | No OOA(3170, 43, S3, 4, 170) | [i] | ||
| 151 | No OOA(3171, 44, S3, 4, 171) | [i] | ||
| 152 | No OOA(3172, 44, S3, 4, 172) | [i] | ||
| 153 | No OOA(3173, 44, S3, 4, 173) | [i] | ||
| 154 | No OOA(3174, 44, S3, 4, 174) | [i] | ||
| 155 | No OOA(3175, 45, S3, 4, 175) | [i] | ||
| 156 | No OOA(3176, 45, S3, 4, 176) | [i] | ||
| 157 | No OOA(3177, 45, S3, 4, 177) | [i] | ||
| 158 | No OOA(3178, 45, S3, 4, 178) | [i] | ||
| 159 | No OOA(3179, 46, S3, 4, 179) | [i] | ||
| 160 | No OOA(3180, 46, S3, 4, 180) | [i] | ||
| 161 | No OOA(3181, 46, S3, 4, 181) | [i] | ||
| 162 | No OOA(3182, 46, S3, 4, 182) | [i] | ||
| 163 | No OOA(3183, 47, S3, 4, 183) | [i] | ||
| 164 | No OOA(3184, 47, S3, 4, 184) | [i] | ||
| 165 | No OOA(3185, 47, S3, 4, 185) | [i] | ||
| 166 | No OOA(3186, 47, S3, 4, 186) | [i] | ||
| 167 | No OOA(3187, 48, S3, 4, 187) | [i] | ||
| 168 | No OOA(3188, 48, S3, 4, 188) | [i] | ||
| 169 | No OOA(3189, 48, S3, 4, 189) | [i] | ||
| 170 | No OOA(3190, 48, S3, 4, 190) | [i] | ||
| 171 | No OOA(3191, 49, S3, 4, 191) | [i] | ||
| 172 | No OOA(3192, 49, S3, 4, 192) | [i] | ||
| 173 | No OOA(3193, 49, S3, 4, 193) | [i] | ||
| 174 | No OOA(3194, 49, S3, 4, 194) | [i] | ||
| 175 | No OOA(3195, 50, S3, 4, 195) | [i] | ||
| 176 | No OOA(3196, 50, S3, 4, 196) | [i] | ||
| 177 | No OOA(3197, 50, S3, 4, 197) | [i] | ||
| 178 | No OOA(3198, 50, S3, 4, 198) | [i] | ||
| 179 | No OOA(3199, 51, S3, 4, 199) | [i] | ||
| 180 | No OOA(3200, 51, S3, 4, 200) | [i] | ||
| 181 | No OOA(3201, 51, S3, 4, 201) | [i] | ||
| 182 | No OOA(3202, 51, S3, 4, 202) | [i] | ||
| 183 | No OOA(3203, 52, S3, 4, 203) | [i] | ||
| 184 | No OOA(3204, 52, S3, 4, 204) | [i] | ||
| 185 | No OOA(3205, 52, S3, 4, 205) | [i] | ||
| 186 | No OOA(3206, 52, S3, 4, 206) | [i] | ||
| 187 | No OOA(3207, 53, S3, 4, 207) | [i] | ||
| 188 | No OOA(3208, 53, S3, 4, 208) | [i] | ||
| 189 | No OOA(3209, 53, S3, 4, 209) | [i] | ||
| 190 | No OOA(3210, 53, S3, 4, 210) | [i] | ||
| 191 | No OOA(3211, 54, S3, 4, 211) | [i] | ||
| 192 | No OOA(3212, 54, S3, 4, 212) | [i] | ||
| 193 | No OOA(3213, 54, S3, 4, 213) | [i] | ||
| 194 | No OOA(3214, 54, S3, 4, 214) | [i] | ||
| 195 | No OOA(3215, 55, S3, 4, 215) | [i] | ||
| 196 | No OOA(3216, 55, S3, 4, 216) | [i] | ||
| 197 | No OOA(3217, 55, S3, 4, 217) | [i] | ||
| 198 | No OOA(3218, 55, S3, 4, 218) | [i] | ||
| 199 | No OOA(3219, 56, S3, 4, 219) | [i] | ||
| 200 | No OOA(3220, 56, S3, 4, 220) | [i] | ||
| 201 | No OOA(3221, 56, S3, 4, 221) | [i] | ||
| 202 | No OOA(3222, 56, S3, 4, 222) | [i] | ||
| 203 | No OOA(3223, 57, S3, 4, 223) | [i] | ||
| 204 | No OOA(3224, 57, S3, 4, 224) | [i] | ||
| 205 | No OOA(3225, 57, S3, 4, 225) | [i] | ||
| 206 | No OOA(3226, 57, S3, 4, 226) | [i] | ||
| 207 | No OOA(3227, 58, S3, 4, 227) | [i] | ||
| 208 | No OOA(3228, 58, S3, 4, 228) | [i] | ||
| 209 | No OOA(3229, 58, S3, 4, 229) | [i] | ||
| 210 | No OOA(3230, 58, S3, 4, 230) | [i] | ||
| 211 | No OOA(3231, 59, S3, 4, 231) | [i] | ||
| 212 | No OOA(3232, 59, S3, 4, 232) | [i] | ||
| 213 | No OOA(3233, 59, S3, 4, 233) | [i] | ||
| 214 | No OOA(3234, 59, S3, 4, 234) | [i] | ||
| 215 | No OOA(3235, 60, S3, 4, 235) | [i] | ||
| 216 | No OOA(3236, 60, S3, 4, 236) | [i] | ||
| 217 | No OOA(3237, 60, S3, 4, 237) | [i] | ||
| 218 | No OOA(3238, 60, S3, 4, 238) | [i] | ||
| 219 | No OOA(3239, 61, S3, 4, 239) | [i] | ||
| 220 | No OOA(3240, 61, S3, 4, 240) | [i] | ||
| 221 | No OOA(3241, 61, S3, 4, 241) | [i] | ||
| 222 | No OOA(3242, 61, S3, 4, 242) | [i] | ||
| 223 | No OOA(3243, 62, S3, 4, 243) | [i] | ||
| 224 | No OOA(3244, 62, S3, 4, 244) | [i] | ||
| 225 | No OOA(3245, 62, S3, 4, 245) | [i] | ||
| 226 | No OOA(3246, 62, S3, 4, 246) | [i] | ||
| 227 | No OOA(3247, 63, S3, 4, 247) | [i] | ||
| 228 | No OOA(3248, 63, S3, 4, 248) | [i] | ||
| 229 | No OOA(3249, 63, S3, 4, 249) | [i] | ||
| 230 | No OOA(3250, 63, S3, 4, 250) | [i] | ||
| 231 | No OOA(318, 5, S3, 5, 18) | [i] | Depth Reduction | |