k | N | Source |
7 | 1000000 | composition |
12 | 1771560 | fuse symbols |
13 | 3089160 | extend by one factor |
14 | 4406760 | extend by one factor |
15 | 6680160 | extend by one factor |
20 | 8162011 | Martirosyan-Tran van Trung |
24 | 8442291 | Martirosyan-Tran van Trung |
25 | 11076591 | extend by one factor |
26 | 14388681 | extend by one factor |
27 | 19247871 | extend by one factor |
28 | 19745467 | Martirosyan-Tran van Trung |
30 | 23303963 | Martirosyan-Tran van Trung |
32 | 25312674 | Martirosyan-Tran van Trung |
34 | 25722454 | Martirosyan-Tran van Trung |
36 | 25898074 | Martirosyan-Tran van Trung |
38 | 26132234 | Martirosyan-Tran van Trung |
40 | 26307854 | Martirosyan-Tran van Trung |
42 | 27628914 | Martirosyan-Tran van Trung |
44 | 28389934 | Martirosyan-Tran van Trung |
46 | 28799714 | Martirosyan-Tran van Trung |
48 | 31676556 | Martirosyan-Tran van Trung |
49 | 37843356 | extend by one factor |
50 | 44010156 | extend by one factor |
52 | 48004698 | Martirosyan-Tran van Trung |
65 | 49426545 | perfect hash family |
66 | 55655445 | extend by one factor |
67 | 61884345 | extend by one factor |
68 | 62671111 | Martirosyan-Tran van Trung |
70 | 62867683 | Martirosyan-Tran van Trung |
72 | 63947665 | Martirosyan-Tran van Trung |
76 | 65049747 | Martirosyan-Tran van Trung |
80 | 65246319 | Martirosyan-Tran van Trung |
84 | 67042075 | Martirosyan-Tran van Trung |
88 | 67893887 | Martirosyan-Tran van Trung |
92 | 68352555 | Martirosyan-Tran van Trung |
93 | 74581455 | extend by one factor |
96 | 74972304 | Martirosyan-Tran van Trung |
97 | 81201204 | extend by one factor |
98 | 83710254 | Martirosyan-Tran van Trung |
99 | 89939154 | extend by one factor |
100 | 91067448 | Martirosyan-Tran van Trung |
101 | 97296348 | extend by one factor |
104 | 100195885 | Martirosyan-Tran van Trung |
110 | 102908575 | Martirosyan-Tran van Trung |
112 | 103258075 | Martirosyan-Tran van Trung |
120 | 103503379 | Martirosyan-Tran van Trung |
128 | 103655335 | Martirosyan-Tran van Trung |
130 | 103704223 | Martirosyan-Tran van Trung |
131 | 110150923 | extend by one factor |
132 | 116307893 | Martirosyan-Tran van Trung |
136 | 117935899 | Martirosyan-Tran van Trung |
140 | 118153423 | Martirosyan-Tran van Trung |
142 | 119296261 | Martirosyan-Tran van Trung |
144 | 119573101 | Martirosyan-Tran van Trung |
152 | 120752007 | Martirosyan-Tran van Trung |
156 | 120969531 | Martirosyan-Tran van Trung |
160 | 123045831 | Martirosyan-Tran van Trung |
168 | 124984633 | Martirosyan-Tran van Trung |
176 | 125927237 | Martirosyan-Tran van Trung |
184 | 126434793 | Martirosyan-Tran van Trung |
362 | 130592161 | Power 20^2 |
530 | 135076641 | Power 24^2 |
531 | 148493841 | extend by one factor |
532 | 161911041 | extend by one factor |
533 | 175328241 | extend by one factor |
625 | 177225441 | Power 25^2 |
626 | 191632641 | extend by one factor |
627 | 206039841 | extend by one factor |
628 | 220447041 | extend by one factor |
629 | 234854241 | extend by one factor |
630 | 249261441 | extend by one factor |
631 | 263668641 | extend by one factor |
632 | 278075841 | extend by one factor |
640 | 287062097 | Martirosyan-Tran van Trung |
642 | 287205143 | Martirosyan-Tran van Trung |
660 | 288208343 | Martirosyan-Tran van Trung |
672 | 288565943 | Martirosyan-Tran van Trung |
676 | 288656735 | Martirosyan-Tran van Trung |
704 | 288698639 | Martirosyan-Tran van Trung |
724 | 289237577 | Martirosyan-Tran van Trung |
728 | 293722057 | Martirosyan-Tran van Trung |
736 | 293791897 | Martirosyan-Tran van Trung |
768 | 295011919 | Martirosyan-Tran van Trung |
780 | 296178760 | Martirosyan-Tran van Trung |
784 | 296213680 | Martirosyan-Tran van Trung |
788 | 296220664 | Martirosyan-Tran van Trung |
830 | 296241616 | Martirosyan-Tran van Trung |
832 | 296837936 | Martirosyan-Tran van Trung |
844 | 296879840 | Martirosyan-Tran van Trung |
896 | 296886824 | Martirosyan-Tran van Trung |
936 | 296907776 | Martirosyan-Tran van Trung |
968 | 301109952 | Martirosyan-Tran van Trung |
976 | 301305972 | Martirosyan-Tran van Trung |
1060 | 301945701 | Martirosyan-Tran van Trung |
1061 | 316352901 | extend by one factor |
1062 | 320359791 | Martirosyan-Tran van Trung |
1063 | 334766991 | extend by one factor |
1064 | 336670923 | Martirosyan-Tran van Trung |
1066 | 350216913 | Martirosyan-Tran van Trung |
1088 | 352114113 | Martirosyan-Tran van Trung |
1092 | 352135065 | Martirosyan-Tran van Trung |
1100 | 352176969 | Martirosyan-Tran van Trung |
1104 | 362006812 | Martirosyan-Tran van Trung |
1120 | 362326843 | Martirosyan-Tran van Trung |
1124 | 362396683 | Martirosyan-Tran van Trung |
1136 | 362438587 | Martirosyan-Tran van Trung |
1144 | 362452555 | Martirosyan-Tran van Trung |
1152 | 363232867 | Martirosyan-Tran van Trung |
1176 | 363309691 | Martirosyan-Tran van Trung |
1200 | 363316675 | Martirosyan-Tran van Trung |
1204 | 371242371 | Martirosyan-Tran van Trung |
1210 | 371263323 | Martirosyan-Tran van Trung |
1216 | 371964823 | Martirosyan-Tran van Trung |
1232 | 371985775 | Martirosyan-Tran van Trung |
1236 | 372406408 | Martirosyan-Tran van Trung |
1248 | 372472180 | Martirosyan-Tran van Trung |
1250 | 372590908 | Martirosyan-Tran van Trung |
1682 | 386804783 | linear hash family |
1850 | 397459063 | linear hash family |
1852 | 403195983 | linear hash family |
1853 | 423115863 | extend by one factor |
1854 | 443035743 | extend by one factor |
2210 | 443471771 | linear hash family |
2211 | 465251411 | extend by one factor |
2212 | 487031051 | extend by one factor |
2213 | 508810691 | extend by one factor |
2214 | 530590331 | extend by one factor |
2215 | 552369971 | extend by one factor |
2216 | 574149611 | extend by one factor |
2240 | 578681426 | Martirosyan-Tran van Trung |
2248 | 578821106 | Martirosyan-Tran van Trung |
2272 | 578904914 | Martirosyan-Tran van Trung |
2288 | 578932850 | Martirosyan-Tran van Trung |
2304 | 580180298 | Martirosyan-Tran van Trung |
2352 | 580333946 | Martirosyan-Tran van Trung |
2400 | 580347914 | Martirosyan-Tran van Trung |
2408 | 588273610 | Martirosyan-Tran van Trung |
2420 | 588315514 | Martirosyan-Tran van Trung |
2432 | 590604094 | Martirosyan-Tran van Trung |
2464 | 590645998 | Martirosyan-Tran van Trung |
2472 | 591487264 | Martirosyan-Tran van Trung |
2496 | 591618808 | Martirosyan-Tran van Trung |
2500 | 591856264 | Martirosyan-Tran van Trung |
2560 | 606070139 | Martirosyan-Tran van Trung |
2568 | 606213185 | Martirosyan-Tran van Trung |
2640 | 606348617 | Martirosyan-Tran van Trung |
2662 | 606396893 | Martirosyan-Tran van Trung |
2684 | 611246573 | Martirosyan-Tran van Trung |
2688 | 611901213 | Martirosyan-Tran van Trung |
2704 | 611992005 | Martirosyan-Tran van Trung |
2816 | 612033909 | Martirosyan-Tran van Trung |
2860 | 612572847 | Martirosyan-Tran van Trung |
2904 | 612908183 | Martirosyan-Tran van Trung |
2912 | 632273783 | Martirosyan-Tran van Trung |
2944 | 632343623 | Martirosyan-Tran van Trung |
2948 | 633563645 | Martirosyan-Tran van Trung |
2992 | 633733317 | Martirosyan-Tran van Trung |
3072 | 634250349 | Martirosyan-Tran van Trung |
3120 | 635417190 | Martirosyan-Tran van Trung |
3124 | 635452110 | Martirosyan-Tran van Trung |
3136 | 636522246 | Martirosyan-Tran van Trung |
3146 | 636529230 | Martirosyan-Tran van Trung |
3152 | 640868014 | Martirosyan-Tran van Trung |
3168 | 640888966 | Martirosyan-Tran van Trung |
3212 | 645532366 | Martirosyan-Tran van Trung |
bytes used=102081760, alloc=59757888, time=35.30
3320 | 669965789 | Martirosyan-Tran van Trung |
3328 | 669979757 | Martirosyan-Tran van Trung |
3364 | 670021661 | Martirosyan-Tran van Trung |
3376 | 680689909 | Martirosyan-Tran van Trung |
3388 | 680696893 | Martirosyan-Tran van Trung |
3476 | 687063037 | Martirosyan-Tran van Trung |
3504 | 688991677 | Martirosyan-Tran van Trung |
3584 | 690660934 | Martirosyan-Tran van Trung |
3700 | 690681886 | Martirosyan-Tran van Trung |
3725 | 691971617 | linear hash family |
3726 | 718140917 | extend by one factor |
3744 | 741573314 | Martirosyan-Tran van Trung |
3872 | 742627362 | Martirosyan-Tran van Trung |
3904 | 749403382 | Martirosyan-Tran van Trung |
3916 | 750043111 | Martirosyan-Tran van Trung |
4004 | 750447359 | Martirosyan-Tran van Trung |
4056 | 751692551 | Martirosyan-Tran van Trung |
4114 | 752686783 | Martirosyan-Tran van Trung |
4202 | 754948663 | Martirosyan-Tran van Trung |
4224 | 756057583 | Martirosyan-Tran van Trung |
4240 | 756800863 | Martirosyan-Tran van Trung |
4248 | 761797753 | Martirosyan-Tran van Trung |
4268 | 762642223 | Martirosyan-Tran van Trung |
4356 | 763943743 | Martirosyan-Tran van Trung |
4394 | 766752263 | Martirosyan-Tran van Trung |
4420 | 769656215 | Martirosyan-Tran van Trung |
10000 | 784692864 | Power 31^3 |