k | N | Source |
6 | 7776 | composition |
7 | 14712 | IPOG-F (NIST) |
8 | 16314 | paintball (Kuhn) |
9 | 19350 | paintball (Kuhn) |
10 | 22458 | paintball (Kuhn) |
11 | 27151 | IPOG-F (NIST) |
12 | 27983 | Martirosyan-Tran van Trung |
13 | 29793 | Greedy (density) (Colbourn) |
14 | 34309 | IPOG-F (NIST) |
15 | 36429 | IPOG-F (NIST) |
16 | 37658 | Martirosyan-Tran van Trung |
17 | 40334 | IPOG-F (NIST) |
18 | 42102 | IPOG-F (NIST) |
19 | 43833 | IPOG-F (NIST) |
20 | 45425 | IPOG-F (NIST) |
21 | 46970 | IPOG-F (NIST) |
22 | 48479 | IPOG-F (NIST) |
23 | 49924 | IPOG-F (NIST) |
24 | 51287 | IPOG-F (NIST) |
25 | 52604 | IPOG-F (NIST) |
26 | 53850 | IPOG-F (NIST) |
27 | 55069 | IPOG-F (NIST) |
28 | 56225 | IPOG-F (NIST) |
29 | 57363 | IPOG-F (NIST) |
30 | 58468 | IPOG-F (NIST) |
31 | 59529 | IPOG-F (NIST) |
32 | 60570 | IPOG-F (NIST) |
33 | 61562 | IPOG-F (NIST) |
34 | 62527 | IPOG-F (NIST) |
35 | 63471 | IPOG-F (NIST) |
36 | 64399 | IPOG-F (NIST) |
37 | 65292 | IPOG-F (NIST) |
38 | 66157 | IPOG-F (NIST) |
39 | 66997 | IPOG-F (NIST) |
40 | 67808 | IPOG-F (NIST) |
41 | 68609 | IPOG-F (NIST) |
42 | 69386 | IPOG-F (NIST) |
43 | 70148 | IPOG-F (NIST) |
44 | 70908 | IPOG-F (NIST) |
45 | 71645 | IPOG-F (NIST) |
46 | 72361 | IPOG-F (NIST) |
47 | 98041 | extend by one factor |
48 | 103461 | Martirosyan-Tran van Trung |
50 | 105775 | Martirosyan-Tran van Trung |
52 | 107741 | Martirosyan-Tran van Trung |
54 | 109892 | Martirosyan-Tran van Trung |
56 | 111553 | Martirosyan-Tran van Trung |
58 | 112691 | Martirosyan-Tran van Trung |
60 | 113796 | Martirosyan-Tran van Trung |
62 | 116907 | Martirosyan-Tran van Trung |
64 | 118513 | Martirosyan-Tran van Trung |
66 | 120337 | Martirosyan-Tran van Trung |
68 | 121832 | Martirosyan-Tran van Trung |
70 | 123603 | Martirosyan-Tran van Trung |
72 | 125081 | Martirosyan-Tran van Trung |
74 | 126479 | Martirosyan-Tran van Trung |
76 | 127854 | Martirosyan-Tran van Trung |
78 | 129184 | Martirosyan-Tran van Trung |
bytes used=90002840, alloc=52026056, time=28.32
80 | 130470 | Martirosyan-Tran van Trung |
82 | 132013 | Martirosyan-Tran van Trung |
84 | 133260 | Martirosyan-Tran van Trung |
86 | 134699 | Martirosyan-Tran van Trung |
88 | 135879 | Martirosyan-Tran van Trung |
90 | 137051 | Martirosyan-Tran van Trung |
92 | 138192 | Martirosyan-Tran van Trung |
94 | 164282 | Martirosyan-Tran van Trung |
96 | 170097 | Martirosyan-Tran van Trung |
98 | 173088 | Martirosyan-Tran van Trung |
100 | 173438 | Martirosyan-Tran van Trung |
102 | 176031 | Martirosyan-Tran van Trung |
104 | 176451 | Martirosyan-Tran van Trung |
108 | 178762 | Martirosyan-Tran van Trung |
110 | 181323 | Martirosyan-Tran van Trung |
112 | 181653 | Martirosyan-Tran van Trung |
114 | 183675 | Martirosyan-Tran van Trung |
116 | 183995 | Martirosyan-Tran van Trung |
118 | 185440 | Martirosyan-Tran van Trung |
120 | 185765 | Martirosyan-Tran van Trung |
122 | 189206 | Martirosyan-Tran van Trung |
124 | 189486 | Martirosyan-Tran van Trung |
126 | 191407 | Martirosyan-Tran van Trung |
128 | 191732 | Martirosyan-Tran van Trung |
130 | 193811 | Martirosyan-Tran van Trung |
132 | 194136 | Martirosyan-Tran van Trung |
134 | 196440 | Martirosyan-Tran van Trung |
136 | 196730 | Martirosyan-Tran van Trung |
138 | 198776 | Martirosyan-Tran van Trung |
140 | 199076 | Martirosyan-Tran van Trung |
142 | 200814 | Martirosyan-Tran van Trung |
144 | 201079 | Martirosyan-Tran van Trung |
146 | 203261 | Martirosyan-Tran van Trung |
148 | 203556 | Martirosyan-Tran van Trung |
150 | 205176 | Martirosyan-Tran van Trung |
152 | 205446 | Martirosyan-Tran van Trung |
154 | 207001 | Martirosyan-Tran van Trung |
156 | 207266 | Martirosyan-Tran van Trung |
158 | 208792 | Martirosyan-Tran van Trung |
160 | 209017 | Martirosyan-Tran van Trung |
162 | 211334 | Martirosyan-Tran van Trung |
164 | 212370 | Martirosyan-Tran van Trung |
166 | 213867 | Martirosyan-Tran van Trung |
168 | 214087 | Martirosyan-Tran van Trung |
170 | 215746 | Martirosyan-Tran van Trung |
172 | 215961 | Martirosyan-Tran van Trung |
174 | 217386 | Martirosyan-Tran van Trung |
176 | 217606 | Martirosyan-Tran van Trung |
178 | 219018 | Martirosyan-Tran van Trung |
180 | 219485 | Martirosyan-Tran van Trung |
182 | 221108 | Martirosyan-Tran van Trung |
184 | 221323 | Martirosyan-Tran van Trung |
186 | 247598 | Martirosyan-Tran van Trung |
188 | 247813 | Martirosyan-Tran van Trung |
190 | 253833 | Martirosyan-Tran van Trung |
192 | 254028 | Martirosyan-Tran van Trung |
194 | 257496 | Martirosyan-Tran van Trung |
196 | 257701 | Martirosyan-Tran van Trung |
198 | 258518 | Martirosyan-Tran van Trung |
200 | 259015 | Martirosyan-Tran van Trung |
202 | 261783 | Martirosyan-Tran van Trung |
204 | 261923 | Martirosyan-Tran van Trung |
206 | 262573 | Martirosyan-Tran van Trung |
208 | 262758 | Martirosyan-Tran van Trung |
210 | 265249 | Martirosyan-Tran van Trung |
212 | 265444 | Martirosyan-Tran van Trung |
214 | 265629 | Martirosyan-Tran van Trung |
216 | 266056 | Martirosyan-Tran van Trung |
218 | 268777 | Martirosyan-Tran van Trung |
220 | 268962 | Martirosyan-Tran van Trung |
222 | 269482 | Martirosyan-Tran van Trung |
224 | 269652 | Martirosyan-Tran van Trung |
226 | 271854 | Martirosyan-Tran van Trung |
228 | 272014 | Martirosyan-Tran van Trung |
230 | 272776 | Martirosyan-Tran van Trung |
232 | 272926 | Martirosyan-Tran van Trung |
234 | 274541 | Martirosyan-Tran van Trung |
236 | 274696 | Martirosyan-Tran van Trung |
238 | 275186 | Martirosyan-Tran van Trung |
240 | 275366 | Martirosyan-Tran van Trung |
242 | 279486 | Martirosyan-Tran van Trung |
244 | 279656 | Martirosyan-Tran van Trung |
246 | 280101 | Martirosyan-Tran van Trung |
248 | 280251 | Martirosyan-Tran van Trung |
250 | 282332 | Martirosyan-Tran van Trung |
252 | 282457 | Martirosyan-Tran van Trung |
254 | 282962 | Martirosyan-Tran van Trung |
256 | 283112 | Martirosyan-Tran van Trung |
258 | 285321 | Martirosyan-Tran van Trung |
260 | 285491 | Martirosyan-Tran van Trung |
262 | 286233 | Martirosyan-Tran van Trung |
264 | 286383 | Martirosyan-Tran van Trung |
266 | 288862 | Martirosyan-Tran van Trung |
268 | 288977 | Martirosyan-Tran van Trung |
270 | 289684 | Martirosyan-Tran van Trung |
272 | 290096 | Martirosyan-Tran van Trung |
274 | 292282 | Martirosyan-Tran van Trung |
276 | 292427 | Martirosyan-Tran van Trung |
278 | 292867 | Martirosyan-Tran van Trung |
280 | 293012 | Martirosyan-Tran van Trung |
282 | 294870 | Martirosyan-Tran van Trung |
284 | 294995 | Martirosyan-Tran van Trung |
286 | 295677 | Martirosyan-Tran van Trung |
288 | 295807 | Martirosyan-Tran van Trung |
290 | 298119 | Martirosyan-Tran van Trung |
292 | 298284 | Martirosyan-Tran van Trung |
294 | 298714 | Martirosyan-Tran van Trung |
296 | 298839 | Martirosyan-Tran van Trung |
298 | 300594 | Martirosyan-Tran van Trung |
300 | 300689 | Martirosyan-Tran van Trung |
302 | 301119 | Martirosyan-Tran van Trung |
304 | 301244 | Martirosyan-Tran van Trung |
306 | 303201 | Martirosyan-Tran van Trung |
308 | 303855 | Martirosyan-Tran van Trung |
310 | 304230 | Martirosyan-Tran van Trung |
312 | 304360 | Martirosyan-Tran van Trung |
314 | 306016 | Martirosyan-Tran van Trung |
316 | 306136 | Martirosyan-Tran van Trung |
318 | 306481 | Martirosyan-Tran van Trung |
320 | 306591 | Martirosyan-Tran van Trung |
322 | 309028 | Martirosyan-Tran van Trung |
324 | 309148 | Martirosyan-Tran van Trung |
326 | 310319 | Martirosyan-Tran van Trung |
328 | 326369 | Martirosyan-Tran van Trung |
332 | 339611 | Martirosyan-Tran van Trung |
336 | 339831 | Martirosyan-Tran van Trung |
340 | 341490 | Martirosyan-Tran van Trung |
342 | 341705 | Martirosyan-Tran van Trung |
344 | 342229 | Martirosyan-Tran van Trung |
348 | 343654 | Martirosyan-Tran van Trung |
352 | 343874 | Martirosyan-Tran van Trung |
356 | 345286 | Martirosyan-Tran van Trung |
360 | 345753 | Martirosyan-Tran van Trung |
364 | 347376 | Martirosyan-Tran van Trung |
368 | 347591 | Martirosyan-Tran van Trung |
372 | 373866 | Martirosyan-Tran van Trung |
376 | 374081 | Martirosyan-Tran van Trung |
380 | 380101 | Martirosyan-Tran van Trung |
384 | 380296 | Martirosyan-Tran van Trung |
388 | 383764 | Martirosyan-Tran van Trung |
392 | 383969 | Martirosyan-Tran van Trung |
396 | 385048 | Martirosyan-Tran van Trung |
400 | 385545 | Martirosyan-Tran van Trung |
404 | 388313 | Martirosyan-Tran van Trung |
408 | 388715 | Martirosyan-Tran van Trung |
412 | 389365 | Martirosyan-Tran van Trung |
416 | 389550 | Martirosyan-Tran van Trung |
420 | 392041 | Martirosyan-Tran van Trung |
424 | 400301 | Martirosyan-Tran van Trung |
428 | 400486 | Martirosyan-Tran van Trung |
432 | 400913 | Martirosyan-Tran van Trung |
434 | 403634 | Martirosyan-Tran van Trung |
436 | 404199 | Martirosyan-Tran van Trung |
440 | 404384 | Martirosyan-Tran van Trung |
444 | 404904 | Martirosyan-Tran van Trung |
448 | 405074 | Martirosyan-Tran van Trung |
452 | 409576 | Martirosyan-Tran van Trung |
456 | 409736 | Martirosyan-Tran van Trung |
460 | 410498 | Martirosyan-Tran van Trung |
464 | 410648 | Martirosyan-Tran van Trung |
468 | 412263 | Martirosyan-Tran van Trung |
472 | 412418 | Martirosyan-Tran van Trung |
476 | 412908 | Martirosyan-Tran van Trung |
480 | 413088 | Martirosyan-Tran van Trung |
484 | 419258 | Martirosyan-Tran van Trung |
488 | 419428 | Martirosyan-Tran van Trung |
492 | 419873 | Martirosyan-Tran van Trung |
496 | 420023 | Martirosyan-Tran van Trung |
500 | 422669 | Martirosyan-Tran van Trung |
504 | 422794 | Martirosyan-Tran van Trung |
508 | 423299 | Martirosyan-Tran van Trung |
512 | 423449 | Martirosyan-Tran van Trung |
516 | 426938 | Martirosyan-Tran van Trung |
520 | 427278 | Martirosyan-Tran van Trung |
524 | 428961 | Martirosyan-Tran van Trung |
528 | 429261 | Martirosyan-Tran van Trung |
532 | 431915 | Martirosyan-Tran van Trung |
536 | 432145 | Martirosyan-Tran van Trung |
540 | 433007 | Martirosyan-Tran van Trung |
544 | 433569 | Martirosyan-Tran van Trung |
548 | 435895 | Martirosyan-Tran van Trung |
552 | 436185 | Martirosyan-Tran van Trung |
556 | 436765 | Martirosyan-Tran van Trung |
560 | 437055 | Martirosyan-Tran van Trung |
564 | 439033 | Martirosyan-Tran van Trung |
568 | 439283 | Martirosyan-Tran van Trung |
572 | 440120 | Martirosyan-Tran van Trung |
576 | 440380 | Martirosyan-Tran van Trung |
580 | 443084 | Martirosyan-Tran van Trung |
584 | 443414 | Martirosyan-Tran van Trung |
588 | 443979 | Martirosyan-Tran van Trung |
592 | 444229 | Martirosyan-Tran van Trung |
596 | 446119 | Martirosyan-Tran van Trung |
600 | 446309 | Martirosyan-Tran van Trung |
604 | 448489 | Martirosyan-Tran van Trung |
608 | 448614 | Martirosyan-Tran van Trung |
612 | 450833 | Martirosyan-Tran van Trung |
616 | 451487 | Martirosyan-Tran van Trung |
620 | 451862 | Martirosyan-Tran van Trung |
624 | 451992 | Martirosyan-Tran van Trung |
628 | 453648 | Martirosyan-Tran van Trung |
632 | 453768 | Martirosyan-Tran van Trung |
636 | 454113 | Martirosyan-Tran van Trung |
640 | 454223 | Martirosyan-Tran van Trung |
644 | 456660 | Martirosyan-Tran van Trung |
648 | 456780 | Martirosyan-Tran van Trung |
652 | 457951 | Martirosyan-Tran van Trung |
656 | 474001 | Martirosyan-Tran van Trung |
664 | 487243 | Martirosyan-Tran van Trung |
672 | 487463 | Martirosyan-Tran van Trung |
680 | 489384 | Martirosyan-Tran van Trung |
684 | 489599 | Martirosyan-Tran van Trung |
686 | 490123 | Martirosyan-Tran van Trung |
688 | 493063 | Martirosyan-Tran van Trung |
696 | 494488 | Martirosyan-Tran van Trung |
700 | 494708 | Martirosyan-Tran van Trung |
704 | 496728 | Martirosyan-Tran van Trung |
712 | 498140 | Martirosyan-Tran van Trung |
720 | 498607 | Martirosyan-Tran van Trung |
728 | 500492 | Martirosyan-Tran van Trung |
736 | 500707 | Martirosyan-Tran van Trung |
744 | 526982 | Martirosyan-Tran van Trung |
752 | 527197 | Martirosyan-Tran van Trung |
756 | 533217 | Martirosyan-Tran van Trung |
760 | 541647 | Martirosyan-Tran van Trung |
768 | 541842 | Martirosyan-Tran van Trung |
776 | 545310 | Martirosyan-Tran van Trung |
784 | 545515 | Martirosyan-Tran van Trung |
792 | 553259 | Martirosyan-Tran van Trung |
800 | 554018 | Martirosyan-Tran van Trung |
808 | 557151 | Martirosyan-Tran van Trung |
816 | 557553 | Martirosyan-Tran van Trung |
824 | 563938 | Martirosyan-Tran van Trung |
826 | 564123 | Martirosyan-Tran van Trung |
832 | 564148 | Martirosyan-Tran van Trung |
840 | 566799 | Martirosyan-Tran van Trung |
841 | 573621 | linear hash family |
848 | 575059 | Martirosyan-Tran van Trung |
856 | 575244 | Martirosyan-Tran van Trung |
864 | 575671 | Martirosyan-Tran van Trung |
868 | 579554 | Martirosyan-Tran van Trung |
872 | 580119 | Martirosyan-Tran van Trung |
880 | 580304 | Martirosyan-Tran van Trung |
888 | 581154 | Martirosyan-Tran van Trung |
896 | 581324 | Martirosyan-Tran van Trung |
904 | 590456 | Martirosyan-Tran van Trung |
912 | 590616 | Martirosyan-Tran van Trung |
920 | 591698 | Martirosyan-Tran van Trung |
928 | 591848 | Martirosyan-Tran van Trung |
936 | 593803 | Martirosyan-Tran van Trung |
944 | 593958 | Martirosyan-Tran van Trung |
961 | 595281 | linear hash family |
968 | 604303 | Martirosyan-Tran van Trung |
976 | 604473 | Martirosyan-Tran van Trung |
984 | 605198 | Martirosyan-Tran van Trung |
992 | 605348 | Martirosyan-Tran van Trung |
1000 | 608309 | Martirosyan-Tran van Trung |
1008 | 608434 | Martirosyan-Tran van Trung |
1016 | 612674 | Martirosyan-Tran van Trung |
1022 | 612824 | Martirosyan-Tran van Trung |
1024 | 613119 | Martirosyan-Tran van Trung |
1032 | 616608 | Martirosyan-Tran van Trung |
1036 | 616948 | Martirosyan-Tran van Trung |
1040 | 617193 | Martirosyan-Tran van Trung |
1681 | 617473 | linear hash family |
1682 | 624466 | linear hash family |
1849 | 631324 | linear hash family |
1850 | 638164 | linear hash family |
1851 | 644797 | linear hash family |
1852 | 651241 | linear hash family |
1853 | 733771 | extend by one factor |
1856 | 810125 | Martirosyan-Tran van Trung |
1862 | 812080 | Martirosyan-Tran van Trung |
1872 | 812195 | Martirosyan-Tran van Trung |
1876 | 812350 | Martirosyan-Tran van Trung |
1888 | 812505 | Martirosyan-Tran van Trung |
1890 | 814090 | Martirosyan-Tran van Trung |
1904 | 814240 | Martirosyan-Tran van Trung |
1918 | 814380 | Martirosyan-Tran van Trung |
1920 | 814525 | Martirosyan-Tran van Trung |
1922 | 814787 | Martirosyan-Tran van Trung |
1932 | 823809 | Martirosyan-Tran van Trung |
1936 | 823949 | Martirosyan-Tran van Trung |
1946 | 824119 | Martirosyan-Tran van Trung |
1952 | 824264 | Martirosyan-Tran van Trung |
1960 | 824989 | Martirosyan-Tran van Trung |
1968 | 825109 | Martirosyan-Tran van Trung |
1974 | 825259 | Martirosyan-Tran van Trung |
1984 | 825384 | Martirosyan-Tran van Trung |
1988 | 828345 | Martirosyan-Tran van Trung |
2000 | 828500 | Martirosyan-Tran van Trung |
2002 | 828625 | Martirosyan-Tran van Trung |
2016 | 828755 | Martirosyan-Tran van Trung |
2030 | 833125 | Martirosyan-Tran van Trung |
2032 | 833290 | Martirosyan-Tran van Trung |
2044 | 833440 | Martirosyan-Tran van Trung |
2048 | 833870 | Martirosyan-Tran van Trung |
2058 | 837621 | Martirosyan-Tran van Trung |
2064 | 837746 | Martirosyan-Tran van Trung |
2072 | 838086 | Martirosyan-Tran van Trung |
2080 | 838466 | Martirosyan-Tran van Trung |
2086 | 838746 | Martirosyan-Tran van Trung |
2100 | 838841 | Martirosyan-Tran van Trung |
2114 | 841821 | Martirosyan-Tran van Trung |
2128 | 841946 | Martirosyan-Tran van Trung |
2142 | 842086 | Martirosyan-Tran van Trung |
2156 | 842216 | Martirosyan-Tran van Trung |
2160 | 842326 | Martirosyan-Tran van Trung |
2170 | 842588 | Martirosyan-Tran van Trung |
2184 | 842718 | Martirosyan-Tran van Trung |
2198 | 842848 | Martirosyan-Tran van Trung |
2212 | 842968 | Martirosyan-Tran van Trung |
2226 | 843088 | Martirosyan-Tran van Trung |
2240 | 843198 | Martirosyan-Tran van Trung |
2254 | 843618 | Martirosyan-Tran van Trung |
2268 | 843738 | Martirosyan-Tran van Trung |
2282 | 844683 | Martirosyan-Tran van Trung |
2288 | 846793 | Martirosyan-Tran van Trung |
2304 | 846923 | Martirosyan-Tran van Trung |
2320 | 847315 | Martirosyan-Tran van Trung |
2336 | 847480 | Martirosyan-Tran van Trung |
2352 | 847615 | Martirosyan-Tran van Trung |
2368 | 847740 | Martirosyan-Tran van Trung |
2384 | 847875 | Martirosyan-Tran van Trung |
2400 | 847970 | Martirosyan-Tran van Trung |
2416 | 851420 | Martirosyan-Tran van Trung |
2432 | 851545 | Martirosyan-Tran van Trung |
2448 | 851685 | Martirosyan-Tran van Trung |
2464 | 852339 | Martirosyan-Tran van Trung |
2480 | 852449 | Martirosyan-Tran van Trung |
2496 | 852579 | Martirosyan-Tran van Trung |
2512 | 852709 | Martirosyan-Tran van Trung |
2528 | 852829 | Martirosyan-Tran van Trung |
2544 | 852949 | Martirosyan-Tran van Trung |
2560 | 853059 | Martirosyan-Tran van Trung |
2576 | 853529 | Martirosyan-Tran van Trung |
2592 | 853649 | Martirosyan-Tran van Trung |
2608 | 854729 | Martirosyan-Tran van Trung |
2736 | 860199 | Martirosyan-Tran van Trung |
2754 | 860723 | Martirosyan-Tran van Trung |
2940 | 861247 | Martirosyan-Tran van Trung |
2944 | 872837 | Martirosyan-Tran van Trung |
2976 | 873077 | Martirosyan-Tran van Trung |
3120 | 873217 | Martirosyan-Tran van Trung |
3136 | 873479 | Martirosyan-Tran van Trung |
3240 | 881859 | Martirosyan-Tran van Trung |
3248 | 882759 | Martirosyan-Tran van Trung |
3300 | 883021 | Martirosyan-Tran van Trung |
3360 | 883351 | Martirosyan-Tran van Trung |
3362 | 883966 | Martirosyan-Tran van Trung |
3364 | 890959 | Martirosyan-Tran van Trung |
3384 | 897817 | Martirosyan-Tran van Trung |
3584 | 897882 | Martirosyan-Tran van Trung |
3588 | 900592 | Martirosyan-Tran van Trung |
3640 | 900907 | Martirosyan-Tran van Trung |
3648 | 901431 | Martirosyan-Tran van Trung |
3666 | 901526 | Martirosyan-Tran van Trung |
3698 | 901921 | Martirosyan-Tran van Trung |
3700 | 908761 | Martirosyan-Tran van Trung |
3702 | 915394 | Martirosyan-Tran van Trung |
3704 | 921838 | Martirosyan-Tran van Trung |
3706 | 1004368 | Martirosyan-Tran van Trung |
10000 | 1048384 | Power 23^3 |