k | N | Source |
6 | 537824 | composition |
7 | 705894 | composition |
8 | 941192 | composition |
17 | 1048574 | fuse symbols |
18 | 1419854 | fuse symbols |
19 | 2164598 | extend by one factor |
bytes used=98003156, alloc=52026056, time=32.12
34 | 2300610 | Martirosyan-Tran van Trung |
36 | 2908870 | Martirosyan-Tran van Trung |
38 | 4247480 | Martirosyan-Tran van Trung |
40 | 4439444 | Martirosyan-Tran van Trung |
42 | 4719308 | Martirosyan-Tran van Trung |
46 | 4752782 | Martirosyan-Tran van Trung |
48 | 4768722 | Martirosyan-Tran van Trung |
50 | 4794226 | Martirosyan-Tran van Trung |
52 | 4814948 | Martirosyan-Tran van Trung |
54 | 4835670 | Martirosyan-Tran van Trung |
56 | 4856392 | Martirosyan-Tran van Trung |
58 | 4951136 | Martirosyan-Tran van Trung |
60 | 4971858 | Martirosyan-Tran van Trung |
62 | 4992580 | Martirosyan-Tran van Trung |
64 | 5013302 | Martirosyan-Tran van Trung |
68 | 5034024 | Martirosyan-Tran van Trung |
72 | 5876076 | Martirosyan-Tran van Trung |
73 | 7775064 | extend by one factor |
76 | 8046242 | Martirosyan-Tran van Trung |
80 | 8238206 | Martirosyan-Tran van Trung |
84 | 8518070 | Martirosyan-Tran van Trung |
92 | 8636954 | Martirosyan-Tran van Trung |
96 | 8652894 | Martirosyan-Tran van Trung |
100 | 8714070 | Martirosyan-Tran van Trung |
102 | 8734792 | Martirosyan-Tran van Trung |
104 | 9039928 | Martirosyan-Tran van Trung |
108 | 9060650 | Martirosyan-Tran van Trung |
112 | 9154172 | Martirosyan-Tran van Trung |
116 | 9334326 | Martirosyan-Tran van Trung |
120 | 9355048 | Martirosyan-Tran van Trung |
124 | 9375770 | Martirosyan-Tran van Trung |
128 | 9396492 | Martirosyan-Tran van Trung |
136 | 9452873 | Martirosyan-Tran van Trung |
144 | 10599957 | Martirosyan-Tran van Trung |
289 | 11534304 | Power 17^2 |
290 | 13758708 | extend by one factor |
291 | 16186588 | extend by one factor |
512 | 16412233 | Martirosyan-Tran van Trung |
544 | 16462153 | Martirosyan-Tran van Trung |
576 | 16795785 | Martirosyan-Tran van Trung |
578 | 17552570 | Martirosyan-Tran van Trung |
580 | 19897198 | Martirosyan-Tran van Trung |
582 | 22325078 | Martirosyan-Tran van Trung |
612 | 22550723 | Martirosyan-Tran van Trung |
964 | 23006091 | linear hash family |
966 | 24059652 | Martirosyan-Tran van Trung |
968 | 24069216 | Martirosyan-Tran van Trung |
988 | 24070810 | Martirosyan-Tran van Trung |
1004 | 24075592 | Martirosyan-Tran van Trung |
1008 | 24098940 | Martirosyan-Tran van Trung |
1024 | 24105316 | Martirosyan-Tran van Trung |
1036 | 24205156 | Martirosyan-Tran van Trung |
1052 | 24216986 | Martirosyan-Tran van Trung |
1056 | 24240958 | Martirosyan-Tran van Trung |
1058 | 24256898 | Martirosyan-Tran van Trung |
1084 | 24261680 | Martirosyan-Tran van Trung |
1088 | 24298418 | Martirosyan-Tran van Trung |
1102 | 25041732 | Martirosyan-Tran van Trung |
1106 | 25057672 | Martirosyan-Tran van Trung |
1132 | 25062454 | Martirosyan-Tran van Trung |
1148 | 25074908 | Martirosyan-Tran van Trung |
1150 | 25087466 | Martirosyan-Tran van Trung |
1152 | 25098624 | Martirosyan-Tran van Trung |
1154 | 26802730 | Martirosyan-Tran van Trung |
1156 | 26807512 | Martirosyan-Tran van Trung |
1160 | 29246533 | Martirosyan-Tran van Trung |
1164 | 31674413 | Martirosyan-Tran van Trung |
1176 | 31900058 | Martirosyan-Tran van Trung |
1194 | 31936328 | Martirosyan-Tran van Trung |
1198 | 31956868 | Martirosyan-Tran van Trung |
1202 | 31972808 | Martirosyan-Tran van Trung |
1218 | 31977590 | Martirosyan-Tran van Trung |
1224 | 31997883 | Martirosyan-Tran van Trung |
1248 | 32560566 | Martirosyan-Tran van Trung |
1250 | 32576506 | Martirosyan-Tran van Trung |
1298 | 32581288 | Martirosyan-Tran van Trung |
1344 | 32602010 | Martirosyan-Tran van Trung |
1350 | 32651150 | Martirosyan-Tran van Trung |
1362 | 32659120 | Martirosyan-Tran van Trung |
1368 | 32794216 | Martirosyan-Tran van Trung |
1428 | 32795810 | Martirosyan-Tran van Trung |
1506 | 32832080 | Martirosyan-Tran van Trung |
1536 | 32878776 | Martirosyan-Tran van Trung |
1568 | 32925979 | Martirosyan-Tran van Trung |
1592 | 32962249 | Martirosyan-Tran van Trung |
1624 | 32982789 | Martirosyan-Tran van Trung |
1626 | 33071644 | Martirosyan-Tran van Trung |
1792 | 33110397 | Martirosyan-Tran van Trung |
1816 | 33159537 | Martirosyan-Tran van Trung |
1904 | 33294633 | Martirosyan-Tran van Trung |
1928 | 33330903 | Martirosyan-Tran van Trung |
1932 | 34384464 | Martirosyan-Tran van Trung |
1936 | 34394028 | Martirosyan-Tran van Trung |
1976 | 34395622 | Martirosyan-Tran van Trung |
2008 | 34400404 | Martirosyan-Tran van Trung |
2016 | 34470448 | Martirosyan-Tran van Trung |
2048 | 34476824 | Martirosyan-Tran van Trung |
2072 | 34697902 | Martirosyan-Tran van Trung |
2104 | 34733392 | Martirosyan-Tran van Trung |
2112 | 34805308 | Martirosyan-Tran van Trung |
2116 | 34821248 | Martirosyan-Tran van Trung |
2168 | 34826030 | Martirosyan-Tran van Trung |
2176 | 34936244 | Martirosyan-Tran van Trung |
2204 | 35698629 | Martirosyan-Tran van Trung |
2212 | 35714569 | Martirosyan-Tran van Trung |
2264 | 35719351 | Martirosyan-Tran van Trung |
2296 | 35731805 | Martirosyan-Tran van Trung |
2300 | 35744363 | Martirosyan-Tran van Trung |
2304 | 35755521 | Martirosyan-Tran van Trung |
2308 | 37459627 | Martirosyan-Tran van Trung |
2312 | 37464409 | Martirosyan-Tran van Trung |
2320 | 39903430 | Martirosyan-Tran van Trung |
2328 | 42331310 | Martirosyan-Tran van Trung |
2352 | 42556955 | Martirosyan-Tran van Trung |
2388 | 42598880 | Martirosyan-Tran van Trung |
2396 | 42619420 | Martirosyan-Tran van Trung |
2404 | 42635360 | Martirosyan-Tran van Trung |
2436 | 42640142 | Martirosyan-Tran van Trung |
2448 | 42660435 | Martirosyan-Tran van Trung |
2496 | 43223118 | Martirosyan-Tran van Trung |
2500 | 43239058 | Martirosyan-Tran van Trung |
2596 | 43243840 | Martirosyan-Tran van Trung |
2688 | 43264562 | Martirosyan-Tran van Trung |
2700 | 43313702 | Martirosyan-Tran van Trung |
2724 | 43321672 | Martirosyan-Tran van Trung |
2736 | 43456768 | Martirosyan-Tran van Trung |
2856 | 43458362 | Martirosyan-Tran van Trung |
2880 | 43494632 | Martirosyan-Tran van Trung |
3012 | 43497820 | Martirosyan-Tran van Trung |
3060 | 43544516 | Martirosyan-Tran van Trung |
3072 | 43546110 | Martirosyan-Tran van Trung |
3136 | 43593313 | Martirosyan-Tran van Trung |
3184 | 43629583 | Martirosyan-Tran van Trung |
3230 | 43650123 | Martirosyan-Tran van Trung |
3248 | 43651717 | Martirosyan-Tran van Trung |
3252 | 43740572 | Martirosyan-Tran van Trung |
3420 | 43779325 | Martirosyan-Tran van Trung |
3584 | 43780919 | Martirosyan-Tran van Trung |
3610 | 43830059 | Martirosyan-Tran van Trung |
3632 | 43866721 | Martirosyan-Tran van Trung |
3672 | 44001817 | Martirosyan-Tran van Trung |
3808 | 44003411 | Martirosyan-Tran van Trung |
3856 | 44039681 | Martirosyan-Tran van Trung |
3864 | 45093242 | Martirosyan-Tran van Trung |
3872 | 45102806 | Martirosyan-Tran van Trung |
3876 | 45104400 | Martirosyan-Tran van Trung |
3952 | 45105994 | Martirosyan-Tran van Trung |
4016 | 45110776 | Martirosyan-Tran van Trung |
4032 | 45180820 | Martirosyan-Tran van Trung |
4096 | 45187196 | Martirosyan-Tran van Trung |
4490 | 45306208 | linear hash family |
4528 | 46469573 | Martirosyan-Tran van Trung |
4592 | 46482027 | Martirosyan-Tran van Trung |
4600 | 46494585 | Martirosyan-Tran van Trung |
4608 | 46505743 | Martirosyan-Tran van Trung |
4616 | 48209849 | Martirosyan-Tran van Trung |
4624 | 48214631 | Martirosyan-Tran van Trung |
10000 | 48312790 | Power 23^3 |