MinT - Information on Result #520074

Information on Result #520074

There is no (8, 40, 15)-net in base 2, because extracting embedded OOA would yield OOA(2⁴⁰, 15, S₂, 3, 32), but

the (dual) Plotkin bound for OOAs shows that MÂ â‰¥ 13 194139 533312 / 11 > 2⁴⁰ [i]

Mode: Bound.

Optimality

Show details for fixed k and m, k and s, k and t, m and s, m and t, t and s.

Other Results with Identical Parameters

None.

Depending Results

The following results depend on this result:

	Result		Method
1	No (8, 41, 15)-net in base 2	[i]	m-Reduction
2	No (8, 42, 15)-net in base 2	[i]
3	No (8, 43, 15)-net in base 2	[i]
4	No (8, 44, 15)-net in base 2	[i]
5	No (8, 45, 15)-net in base 2	[i]
6	No (8, 46, 15)-net in base 2	[i]
7	No (8, 47, 15)-net in base 2	[i]
8	No (8, 48, 15)-net in base 2	[i]
9	No (8, 49, 15)-net in base 2	[i]
10	No (8, 50, 15)-net in base 2	[i]
11	No (8, 51, 15)-net in base 2	[i]
12	No (8, 52, 15)-net in base 2	[i]
13	No (8, 53, 15)-net in base 2	[i]
14	No (8, 54, 15)-net in base 2	[i]
15	No (8, 55, 15)-net in base 2	[i]
16	No (8, 56, 15)-net in base 2	[i]
17	No (8, 57, 15)-net in base 2	[i]
18	No (8, 58, 15)-net in base 2	[i]
19	No (8, 59, 15)-net in base 2	[i]
20	No (8, 60, 15)-net in base 2	[i]
21	No (8, 61, 15)-net in base 2	[i]
22	No (8, 62, 15)-net in base 2	[i]
23	No (8, 63, 15)-net in base 2	[i]
24	No (8, 64, 15)-net in base 2	[i]
25	No (8, 65, 15)-net in base 2	[i]
26	No (8, 66, 15)-net in base 2	[i]
27	No (8, 67, 15)-net in base 2	[i]
28	No (8, 68, 15)-net in base 2	[i]
29	No (8, 69, 15)-net in base 2	[i]
30	No (8, 70, 15)-net in base 2	[i]
31	No (8, 71, 15)-net in base 2	[i]
32	No (8, 72, 15)-net in base 2	[i]
33	No (8, 73, 15)-net in base 2	[i]
34	No (8, 74, 15)-net in base 2	[i]
35	No (8, 75, 15)-net in base 2	[i]
36	No (8, 76, 15)-net in base 2	[i]
37	No (8, 77, 15)-net in base 2	[i]
38	No (8, 78, 15)-net in base 2	[i]
39	No (8, 79, 15)-net in base 2	[i]
40	No (8, 80, 15)-net in base 2	[i]
41	No (8, 81, 15)-net in base 2	[i]
42	No (8, 82, 15)-net in base 2	[i]
43	No (8, 83, 15)-net in base 2	[i]
44	No (8, 84, 15)-net in base 2	[i]
45	No (8, 85, 15)-net in base 2	[i]
46	No (8, 86, 15)-net in base 2	[i]
47	No (8, 87, 15)-net in base 2	[i]
48	No (8, 88, 15)-net in base 2	[i]
49	No (8, 89, 15)-net in base 2	[i]
50	No (8, 90, 15)-net in base 2	[i]
51	No (8, 91, 15)-net in base 2	[i]
52	No (8, 92, 15)-net in base 2	[i]
53	No (8, 93, 15)-net in base 2	[i]
54	No (8, 94, 15)-net in base 2	[i]
55	No (8, 95, 15)-net in base 2	[i]
56	No (8, 96, 15)-net in base 2	[i]
57	No (8, 97, 15)-net in base 2	[i]
58	No (8, 98, 15)-net in base 2	[i]
59	No (8, 99, 15)-net in base 2	[i]
60	No (8, 100, 15)-net in base 2	[i]
61	No (8, 101, 15)-net in base 2	[i]
62	No (8, 102, 15)-net in base 2	[i]
63	No (8, 103, 15)-net in base 2	[i]
64	No (8, 104, 15)-net in base 2	[i]
65	No (8, 105, 15)-net in base 2	[i]
66	No (8, 106, 15)-net in base 2	[i]
67	No (8, 107, 15)-net in base 2	[i]
68	No (8, 108, 15)-net in base 2	[i]
69	No (8, 109, 15)-net in base 2	[i]
70	No (8, 110, 15)-net in base 2	[i]
71	No (8, 111, 15)-net in base 2	[i]
72	No (8, 112, 15)-net in base 2	[i]
73	No (8, 113, 15)-net in base 2	[i]
74	No (8, 114, 15)-net in base 2	[i]
75	No (8, 115, 15)-net in base 2	[i]
76	No (8, 116, 15)-net in base 2	[i]
77	No (8, 117, 15)-net in base 2	[i]
78	No (8, 118, 15)-net in base 2	[i]
79	No (8, 119, 15)-net in base 2	[i]
80	No (8, 120, 15)-net in base 2	[i]
81	No (8, 121, 15)-net in base 2	[i]
82	No (8, 122, 15)-net in base 2	[i]
83	No (8, 123, 15)-net in base 2	[i]
84	No (8, 124, 15)-net in base 2	[i]
85	No (8, 125, 15)-net in base 2	[i]
86	No (8, 126, 15)-net in base 2	[i]
87	No (8, 127, 15)-net in base 2	[i]
88	No (8, 128, 15)-net in base 2	[i]
89	No (8, 129, 15)-net in base 2	[i]
90	No (8, 130, 15)-net in base 2	[i]
91	No (8, 131, 15)-net in base 2	[i]
92	No (8, 132, 15)-net in base 2	[i]
93	No (8, 133, 15)-net in base 2	[i]
94	No (8, 134, 15)-net in base 2	[i]
95	No (8, 135, 15)-net in base 2	[i]
96	No (8, 136, 15)-net in base 2	[i]
97	No (8, 137, 15)-net in base 2	[i]
98	No (8, 138, 15)-net in base 2	[i]
99	No (8, 139, 15)-net in base 2	[i]
100	No (8, 140, 15)-net in base 2	[i]
101	No (8, 141, 15)-net in base 2	[i]
102	No (8, 142, 15)-net in base 2	[i]
103	No (8, 143, 15)-net in base 2	[i]
104	No (8, 144, 15)-net in base 2	[i]
105	No (8, 145, 15)-net in base 2	[i]
106	No (8, 146, 15)-net in base 2	[i]
107	No (8, 147, 15)-net in base 2	[i]
108	No (8, 148, 15)-net in base 2	[i]
109	No (8, 149, 15)-net in base 2	[i]
110	No (8, 150, 15)-net in base 2	[i]
111	No (8, 151, 15)-net in base 2	[i]
112	No (8, 152, 15)-net in base 2	[i]
113	No (8, 153, 15)-net in base 2	[i]
114	No (8, 154, 15)-net in base 2	[i]
115	No (8, 155, 15)-net in base 2	[i]
116	No (8, 156, 15)-net in base 2	[i]
117	No (8, 157, 15)-net in base 2	[i]
118	No (8, 158, 15)-net in base 2	[i]
119	No (8, 159, 15)-net in base 2	[i]
120	No (8, 160, 15)-net in base 2	[i]
121	No (8, 161, 15)-net in base 2	[i]
122	No (8, 162, 15)-net in base 2	[i]
123	No (8, 163, 15)-net in base 2	[i]
124	No (8, 164, 15)-net in base 2	[i]
125	No (8, 165, 15)-net in base 2	[i]
126	No (8, 166, 15)-net in base 2	[i]
127	No (8, 167, 15)-net in base 2	[i]
128	No (8, 168, 15)-net in base 2	[i]
129	No (8, 169, 15)-net in base 2	[i]
130	No (8, 170, 15)-net in base 2	[i]
131	No (8, 171, 15)-net in base 2	[i]
132	No (8, 172, 15)-net in base 2	[i]
133	No (8, 173, 15)-net in base 2	[i]
134	No (8, 174, 15)-net in base 2	[i]
135	No (8, 175, 15)-net in base 2	[i]
136	No (8, 176, 15)-net in base 2	[i]
137	No (8, 177, 15)-net in base 2	[i]
138	No (8, 178, 15)-net in base 2	[i]
139	No (8, 179, 15)-net in base 2	[i]
140	No (8, 180, 15)-net in base 2	[i]
141	No (8, 181, 15)-net in base 2	[i]
142	No (8, 182, 15)-net in base 2	[i]
143	No (8, 183, 15)-net in base 2	[i]
144	No (8, 184, 15)-net in base 2	[i]
145	No (8, 185, 15)-net in base 2	[i]
146	No (8, 186, 15)-net in base 2	[i]
147	No (8, 187, 15)-net in base 2	[i]
148	No (8, 188, 15)-net in base 2	[i]
149	No (8, 189, 15)-net in base 2	[i]
150	No (8, 190, 15)-net in base 2	[i]
151	No (8, 191, 15)-net in base 2	[i]
152	No (8, 192, 15)-net in base 2	[i]
153	No (8, 193, 15)-net in base 2	[i]
154	No (8, 194, 15)-net in base 2	[i]
155	No (8, 195, 15)-net in base 2	[i]
156	No (8, 196, 15)-net in base 2	[i]
157	No (8, 197, 15)-net in base 2	[i]
158	No (8, 198, 15)-net in base 2	[i]
159	No (8, 199, 15)-net in base 2	[i]
160	No (8, 200, 15)-net in base 2	[i]
161	No (8, 201, 15)-net in base 2	[i]
162	No (8, 202, 15)-net in base 2	[i]
163	No (8, 203, 15)-net in base 2	[i]
164	No (8, 204, 15)-net in base 2	[i]
165	No (8, 205, 15)-net in base 2	[i]
166	No (8, 206, 15)-net in base 2	[i]
167	No (8, 207, 15)-net in base 2	[i]
168	No (8, 208, 15)-net in base 2	[i]
169	No (8, 209, 15)-net in base 2	[i]
170	No (8, 210, 15)-net in base 2	[i]
171	No (8, 211, 15)-net in base 2	[i]
172	No (8, 212, 15)-net in base 2	[i]
173	No (8, 213, 15)-net in base 2	[i]
174	No (8, 214, 15)-net in base 2	[i]
175	No (8, 215, 15)-net in base 2	[i]
176	No (8, 216, 15)-net in base 2	[i]
177	No (8, 217, 15)-net in base 2	[i]
178	No (8, 218, 15)-net in base 2	[i]
179	No (8, 219, 15)-net in base 2	[i]
180	No (8, 220, 15)-net in base 2	[i]
181	No (8, 221, 15)-net in base 2	[i]
182	No (8, 222, 15)-net in base 2	[i]
183	No (8, 223, 15)-net in base 2	[i]
184	No (8, 224, 15)-net in base 2	[i]
185	No (8, 225, 15)-net in base 2	[i]
186	No (8, 226, 15)-net in base 2	[i]
187	No (8, 227, 15)-net in base 2	[i]
188	No (8, 228, 15)-net in base 2	[i]
189	No (8, 229, 15)-net in base 2	[i]
190	No (8, 230, 15)-net in base 2	[i]
191	No (8, 231, 15)-net in base 2	[i]
192	No (8, 232, 15)-net in base 2	[i]
193	No (8, 233, 15)-net in base 2	[i]
194	No (8, 234, 15)-net in base 2	[i]
195	No (8, 235, 15)-net in base 2	[i]
196	No (8, 236, 15)-net in base 2	[i]
197	No (8, 237, 15)-net in base 2	[i]
198	No (8, 238, 15)-net in base 2	[i]
199	No (8, 239, 15)-net in base 2	[i]
200	No (8, 240, 15)-net in base 2	[i]
201	No (8, 241, 15)-net in base 2	[i]
202	No (8, 242, 15)-net in base 2	[i]
203	No (8, 243, 15)-net in base 2	[i]
204	No (8, 244, 15)-net in base 2	[i]
205	No (8, 245, 15)-net in base 2	[i]
206	No (8, 246, 15)-net in base 2	[i]
207	No (8, 247, 15)-net in base 2	[i]
208	No (8, 248, 15)-net in base 2	[i]
209	No (8, 249, 15)-net in base 2	[i]
210	No (8, 250, 15)-net in base 2	[i]
211	No (8, 251, 15)-net in base 2	[i]
212	No (8, 252, 15)-net in base 2	[i]
213	No (8, 253, 15)-net in base 2	[i]
214	No (8, 254, 15)-net in base 2	[i]
215	No (8, 255, 15)-net in base 2	[i]
216	No (8, 256, 15)-net in base 2	[i]
217	No (8, 257, 15)-net in base 2	[i]
218	No (8, 258, 15)-net in base 2	[i]
219	No (8, 259, 15)-net in base 2	[i]
220	No (8, 260, 15)-net in base 2	[i]
221	No (8, m, 15)-net in base 2 for arbitrarily large m	[i]	m-Reduction from Arbitrarily Large Net