MinT - Information on Result #520137

Information on Result #520137

There is no (15, 85, 23)-net in base 2, because extracting embedded OOA would yield OOA(2⁸⁵, 23, S₂, 4, 70), but

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