Add build artifacts

dev/benchmarks/Linux-cpu.csv

@@ -1,37 +1,37 @@
 name,size,speed,exec_duration,proof_duration,total_duration,verify_duration,total_cycles,user_cycles,output_bytes,proof_bytes
-big_blake2b-1024,1024,52.278957,18320691,19568909602,19587230293,18068280,262144,116831,32,222668
-big_blake2b-2048,2048,62.17617,19510749,32919151429,32938662178,18057844,524288,230551,32,222668
-big_blake2b-4096,4096,70.89683,29822378,57744269834,57774092212,18264678,1048576,457991,32,222668
-big_blake2b-8192,8192,138.07346,53012560,59277723715,59330736275,18074977,1048576,912871,32,222668
-big_blake3-1024,1024,53.33618,11850843,19187123243,19198974086,18063458,262144,79102,32,222668
-big_blake3-2048,2048,105.63384,15464370,19372260934,19387725304,18052710,262144,157839,32,222668
-big_blake3-4096,4096,126.14977,23337466,32446005638,32469343104,18036587,524288,315847,32,222668
-big_blake3-8192,8192,138.41309,39072973,59146086667,59185159640,18385368,1048576,631863,32,222668
-big_keccak-1024,1024,29.989079,18374712,34127387043,34145761755,18067042,524288,248824,32,222668
-big_keccak-2048,2048,31.852894,27746255,64267827313,64295573568,18088475,1048576,494925,32,222668
-big_keccak-4096,4096,63.882626,46391038,64071203412,64117594450,18106498,1048576,961414,32,222668
-big_keccak-8192,8192,60.74122,84389179,134782837263,134867226442,18389289,2097152,1894379,32,222668
-big_sha2-1024,1024,75.2101,12829102,13602364341,13615193443,18095810,131072,43760,32,222668
-big_sha2-2048,2048,100.60876,14073816,20342006475,20356080291,18408895,262144,84784,32,222668
-big_sha2-4096,4096,204.12282,22376131,20043975470,20066351601,18359103,262144,166832,32,222668
-big_sha2-8192,8192,258.26373,31517797,31687996706,31719514503,18048792,524288,330928,32,222668
-ecdsa_verify,1,0.03169655,51603963,31497571770,31549175733,18053405,524288,226530,408,222668
-ed25519_verify,1,0.017349709,45729613,57592125313,57637854926,18500132,1048576,538582,400,222668
-fibonacci-10,10,1.1031429,5945249,9059064043,9065009292,18042684,65536,2404,8,222668
-fibonacci-50,50,5.5423164,5594723,9015903615,9021498338,18055592,65536,2535,8,222668
-fibonacci-90,90,9.979976,5975695,9012082598,9018058293,18121649,65536,2617,8,222668
-iter_blake2b-1,1,0.08279472,7239122,12070825764,12078064886,18301032,131072,12139,32,222668
-iter_blake2b-10,10,0.5400891,10001245,18505463903,18515465148,18023340,262144,101796,32,222668
-iter_blake2b-100,100,1.3063247,45428740,76505213169,76550641909,18064318,1179648,997836,32,222668
-iter_blake3-1,1,0.07878947,7620735,12684430366,12692051101,18097484,131072,5308,32,222668
-iter_blake3-10,10,0.78283495,8114422,12765970494,12774084916,18070618,131072,28683,32,222668
-iter_blake3-100,100,3.0198417,14569238,33099748897,33114318135,18063156,524288,262233,32,222668
-iter_keccak-1,1,0.07373304,7932387,13554508932,13562441319,18398909,131072,28633,32,222668
-iter_keccak-10,10,0.2850785,15982591,35062074400,35078056991,18055265,524288,263816,32,222668
-iter_keccak-100,100,0.51183987,79129098,195294467044,195373596142,18049751,3145728,2615606,32,222668
-iter_sha2-1,1,0.110865794,6003901,9013910920,9019914821,18366154,65536,2963,32,222668
-iter_sha2-10,10,1.1088048,5806401,9012913006,9018719407,18052516,65536,6159,32,222668
-iter_sha2-100,100,8.302114,7975140,12037150817,12045125957,18028757,131072,38109,32,222668
-membership-10,10,0.83456016,5946693,11976412900,11982359593,18008249,131072,13935,64,222668
-membership-20,20,1.6685358,6516744,11980040189,11986556933,18027908,131072,23620,64,222668
-sudoku,1,0.11124508,5880157,8983281498,8989161655,18028989,65536,9829,32,222668
+big_blake2b-1024,1024,55.668213,16349909,18378350054,18394699963,18020490,262144,116831,32,222668
+big_blake2b-2048,2048,66.150635,17434959,30942208230,30959643189,18010472,524288,230551,32,222668
+big_blake2b-4096,4096,72.264656,28608794,56651933858,56680542652,18013718,1048576,457991,32,222668
+big_blake2b-8192,8192,143.4476,52579124,57055383174,57107962298,18011038,1048576,912871,32,222668
+big_blake3-1024,1024,56.360615,9523038,18159194201,18168717239,17997422,262144,79102,32,222668
+big_blake3-2048,2048,112.45875,13802983,18197320150,18211123133,18037431,262144,157839,32,222668
+big_blake3-4096,4096,130.98724,22040285,31248181720,31270222005,18012478,524288,315847,32,222668
+big_blake3-8192,8192,143.81206,39345018,56923894109,56963239127,18034210,1048576,631863,32,222668
+big_keccak-1024,1024,32.953938,16255542,31057421777,31073677319,18031708,524288,248824,32,222668
+big_keccak-2048,2048,36.189957,26689385,56563598760,56590288145,18021293,1048576,494925,32,222668
+big_keccak-4096,4096,71.86307,43089835,56954198197,56997288032,18038988,1048576,961414,32,222668
+big_keccak-8192,8192,67.88289,81293932,120597127286,120678421218,18003303,2097152,1894379,32,222668
+big_sha2-1024,1024,85.09456,8436075,12025236558,12033672633,18009305,131072,43760,32,222668
+big_sha2-2048,2048,112.65477,11653924,18167779953,18179433877,17998744,262144,84784,32,222668
+big_sha2-4096,4096,223.64603,17292331,18297363351,18314655682,18003923,262144,166832,32,222668
+big_sha2-8192,8192,263.51828,29630921,31057396879,31087027800,18023167,524288,330928,32,222668
+ecdsa_verify,1,0.031884514,52040505,31311150019,31363190524,17998537,524288,229035,408,222668
+ed25519_verify,1,0.017573582,40288203,56863306238,56903594441,18033955,1048576,533974,400,222668
+fibonacci-10,10,1.1174382,5810760,8943229942,8949040702,18015247,65536,2404,8,222668
+fibonacci-50,50,5.5476813,5677243,9007097629,9012774872,18000827,65536,2535,8,222668
+fibonacci-90,90,10.048372,5463189,8951211633,8956674822,18014505,65536,2617,8,222668
+iter_blake2b-1,1,0.0833367,6073985,11993440167,11999514152,18010555,131072,12139,32,222668
+iter_blake2b-10,10,0.5524212,9012471,18093116453,18102128924,18003897,262144,101796,32,222668
+iter_blake2b-100,100,1.3246986,44049543,75444821654,75488871197,18015535,1179648,997836,32,222668
+iter_blake3-1,1,0.08374144,5628157,11935890550,11941518707,18044674,131072,5308,32,222668
+iter_blake3-10,10,0.8313666,6296706,12022091022,12028387728,18010534,131072,28683,32,222668
+iter_blake3-100,100,3.2321966,13442003,30925270230,30938712233,18009849,524288,262233,32,222668
+iter_keccak-1,1,0.08315913,6624810,12018512809,12025137619,18035245,131072,28633,32,222668
+iter_keccak-10,10,0.32193148,14072253,31048439058,31062511311,18016062,524288,263816,32,222668
+iter_keccak-100,100,0.54427844,76762875,183652730683,183729493558,18011529,3145728,2615606,32,222668
+iter_sha2-1,1,0.11135962,5499374,8974415927,8979915301,18037767,65536,2963,32,222668
+iter_sha2-10,10,1.1132454,5902039,8976844344,8982746383,18006123,65536,6159,32,222668
+iter_sha2-100,100,8.345367,6746927,11975948722,11982695649,18019585,131072,38109,32,222668
+membership-10,10,0.8340627,6247231,11983259125,11989506356,18034749,131072,13935,64,222668
+membership-20,20,1.6664957,7896403,11993334820,12001231223,18009110,131072,23620,64,222668
+sudoku,1,0.111525826,5560183,8960972642,8966532825,18013359,65536,9829,32,222668

dev/benchmarks/Linux-g6.xlarge.csv

@@ -1,37 +1,37 @@
 name,size,speed,exec_duration,proof_duration,total_duration,verify_duration,total_cycles,user_cycles,output_bytes,proof_bytes
-big_blake2b-1024,1024,384.0773,17903043,2648226856,2666129899,17350735,262144,116831,32,222668
-big_blake2b-2048,2048,1234.6923,17048972,1641663840,1658712812,17336815,524288,230551,32,222668
-big_blake2b-4096,4096,1756.1731,25953984,2306390177,2332344161,17367022,1048576,457991,32,222668
-big_blake2b-8192,8192,3476.3125,48526694,2307993195,2356519889,17326180,1048576,912871,32,222668
-big_blake3-1024,1024,861.6366,9114829,1179321171,1188436000,17336983,262144,79102,32,222668
-big_blake3-2048,2048,1707.2631,13018716,1186562056,1199580772,17331615,262144,157839,32,222668
-big_blake3-4096,4096,2675.7012,20559609,1510254057,1530813666,17318535,524288,315847,32,222668
-big_blake3-8192,8192,3647.7588,34964834,2210797825,2245762659,17326467,1048576,631863,32,222668
-big_keccak-1024,1024,667.54376,14211620,1519770105,1533981725,17331240,524288,248824,32,222668
-big_keccak-2048,2048,917.34454,23560944,2208969900,2232530844,17342973,1048576,494925,32,222668
-big_keccak-4096,4096,1826.5082,39755702,2202774655,2242530357,17321934,1048576,961414,32,222668
-big_keccak-8192,8192,1471.7919,75210500,5490793925,5566004425,17319818,2097152,1894379,32,222668
-big_sha2-1024,1024,995.1297,7795858,1021215744,1029011602,17310429,131072,43760,32,222668
-big_sha2-2048,2048,1556.7872,10611055,1304918691,1315529746,17311250,262144,84784,32,222668
-big_sha2-4096,4096,2617.0786,15692216,1549411646,1565103862,17333294,262144,166832,32,222668
-big_sha2-8192,8192,3327.9695,27096684,2434464172,2461560856,17386550,524288,330928,32,222668
-ecdsa_verify,1,0.50819886,48757567,1918976091,1967733658,17323897,524288,233743,408,222668
-ed25519_verify,1,0.3875332,39817968,2540606006,2580423974,17333267,1048576,545210,400,222668
-fibonacci-10,10,10.558461,5046890,942060786,947107676,17359722,65536,2404,8,222668
-fibonacci-50,50,51.80836,5031546,960063669,965095215,17384186,65536,2535,8,222668
-fibonacci-90,90,94.76341,5064469,944669152,949733621,17349464,65536,2617,8,222668
-iter_blake2b-1,1,0.8712736,5784688,1141960428,1147745116,17311941,131072,12139,32,222668
-iter_blake2b-10,10,7.6700706,8710403,1295058616,1303769019,17331851,262144,101796,32,222668
-iter_blake2b-100,100,22.27874,40135239,4448448824,4488584063,17325740,1179648,997836,32,222668
-iter_blake3-1,1,0.97809887,5431648,1016959855,1022391503,17331455,131072,5308,32,222668
-iter_blake3-10,10,9.775525,5873085,1017089799,1022962884,17317281,131072,28683,32,222668
-iter_blake3-100,100,65.25865,13343204,1519020645,1532363849,17356588,524288,262233,32,222668
-iter_keccak-1,1,0.9750035,6084840,1019552574,1025637414,19814046,131072,28633,32,222668
-iter_keccak-10,10,6.568052,12700411,1509821124,1522521535,17359329,524288,263816,32,222668
-iter_keccak-100,100,11.546764,76096182,8584338175,8660434357,17334948,3145728,2615606,32,222668
-iter_sha2-1,1,1.0454062,5198181,951367727,956565908,17324921,65536,2963,32,222668
-iter_sha2-10,10,10.371558,5249803,958925467,964175270,17338514,65536,6159,32,222668
-iter_sha2-100,100,96.97388,6370174,1024835349,1031205523,17358056,131072,38109,32,222668
-membership-10,10,9.660079,5729067,1029459100,1035188167,17344619,131072,13935,64,222668
-membership-20,20,19.546293,6369813,1016842181,1023211994,17440239,131072,23620,64,222668
-sudoku,1,1.038333,5519575,957562548,963082123,17453110,65536,9829,32,222668
+big_blake2b-1024,1024,472.8782,18427735,2147034802,2165462537,17389219,262144,116831,32,222668
+big_blake2b-2048,2048,1240.8882,16608611,1633821974,1650430585,17347446,524288,230551,32,222668
+big_blake2b-4096,4096,1756.1013,26756690,2305682797,2332439487,17362204,1048576,457991,32,222668
+big_blake2b-8192,8192,3514.596,48903191,2281947921,2330851112,17334232,1048576,912871,32,222668
+big_blake3-1024,1024,858.672,9259740,1183279540,1192539280,17356241,262144,79102,32,222668
+big_blake3-2048,2048,1710.4862,13067144,1184253234,1197320378,17329480,262144,157839,32,222668
+big_blake3-4096,4096,2677.2354,20949371,1508987082,1529936453,17354409,524288,315847,32,222668
+big_blake3-8192,8192,3681.7627,35595678,2189425524,2225021202,17364337,1048576,631863,32,222668
+big_keccak-1024,1024,667.6558,14593645,1519130769,1533724414,17335965,524288,248824,32,222668
+big_keccak-2048,2048,925.6012,24323121,2188292824,2212615945,17346834,1048576,494925,32,222668
+big_keccak-4096,4096,1842.4717,40523418,2182577324,2223100742,17335331,1048576,961414,32,222668
+big_keccak-8192,8192,1482.5718,76659498,5448873917,5525533415,17331348,2097152,1894379,32,222668
+big_sha2-1024,1024,1002.2116,8075516,1013664779,1021740295,17377499,131072,43760,32,222668
+big_sha2-2048,2048,1573.1467,10743154,1291106251,1301849405,17395468,262144,84784,32,222668
+big_sha2-4096,4096,2631.627,16573930,1539877583,1556451513,17345055,262144,166832,32,222668
+big_sha2-8192,8192,3433.9326,27095147,2358507930,2385603077,17384824,524288,330928,32,222668
+ecdsa_verify,1,0.51380384,47922964,1898345218,1946268182,17382224,524288,227963,408,222668
+ed25519_verify,1,0.39009872,39800628,2523652981,2563453609,17352584,1048576,538718,400,222668
+fibonacci-10,10,10.5523405,5431103,942225915,947657018,17331698,65536,2404,8,222668
+fibonacci-50,50,52.175823,5384593,952913622,958298215,17368920,65536,2535,8,222668
+fibonacci-90,90,94.75028,5541929,944323376,949865305,17340634,65536,2617,8,222668
+iter_blake2b-1,1,0.8750281,5883968,1136936506,1142820474,17342141,131072,12139,32,222668
+iter_blake2b-10,10,7.7107143,9205548,1287691130,1296896678,17354918,262144,101796,32,222668
+iter_blake2b-100,100,22.369728,42295120,4428031798,4470326918,17345368,1179648,997836,32,222668
+iter_blake3-1,1,0.98444647,5759583,1010039705,1015799288,17416174,131072,5308,32,222668
+iter_blake3-10,10,9.665936,6229335,1028331639,1034560974,17357645,131072,28683,32,222668
+iter_blake3-100,100,65.31734,13193960,1517793193,1530987153,17393055,524288,262233,32,222668
+iter_keccak-1,1,0.9862467,6606987,1007338107,1013945094,17336947,131072,28633,32,222668
+iter_keccak-10,10,6.6095543,12697805,1500263485,1512961290,17393162,524288,263816,32,222668
+iter_keccak-100,100,11.617495,78040580,8529666976,8607707556,17342086,3145728,2615606,32,222668
+iter_sha2-1,1,1.0561836,5818843,940986267,946805110,17334894,65536,2963,32,222668
+iter_sha2-10,10,10.589279,5977897,938373395,944351292,17344285,65536,6159,32,222668
+iter_sha2-100,100,97.65781,7056991,1016926771,1023983762,17329653,131072,38109,32,222668
+membership-10,10,9.836924,6422338,1010155630,1016577968,17344394,131072,13935,64,222668
+membership-20,20,19.50566,6942110,1018401319,1025343429,17339713,131072,23620,64,222668
+sudoku,1,1.052041,6176023,944357185,950533208,17337303,65536,9829,32,222668

dev/benchmarks/Linux-nvidia_rtx_3090_ti.csv

@@ -1,37 +1,37 @@
 name,size,speed,exec_duration,proof_duration,total_duration,verify_duration,total_cycles,user_cycles,output_bytes,proof_bytes
-big_blake2b-1024,1024,654.4243,20198593,1544535407,1564734000,16049926,262144,116831,32,222668
-big_blake2b-2048,2048,1564.2499,18577264,1290676461,1309253725,16093979,524288,230551,32,222668
-big_blake2b-4096,4096,2292.3706,30483410,1756313190,1786796600,16108096,1048576,457991,32,222668
-big_blake2b-8192,8192,4436.4507,52768932,1793752135,1846521067,16018516,1048576,912871,32,222668
-big_blake3-1024,1024,1050.4178,10692817,964157309,974850126,16117894,262144,79102,32,222668
-big_blake3-2048,2048,2096.652,14882603,961912744,976795347,16186653,262144,157839,32,222668
-big_blake3-4096,4096,3246.5076,23795200,1237868236,1261663436,16000141,524288,315847,32,222668
-big_blake3-8192,8192,4654.461,40145022,1719886827,1760031849,16121601,1048576,631863,32,222668
-big_keccak-1024,1024,834.0402,16338640,1211419839,1227758479,16133112,524288,248824,32,222668
-big_keccak-2048,2048,1179.402,26418921,1710054293,1736473214,16074131,1048576,494925,32,222668
-big_keccak-4096,4096,2311.6853,44353763,1727513688,1771867451,16149653,1048576,961414,32,222668
-big_keccak-8192,8192,1899.3313,81805462,4231291794,4313097256,15902868,2097152,1894379,32,222668
-big_sha2-1024,1024,1186.6223,9142231,853811363,862953594,16227280,131072,43760,32,222668
-big_sha2-2048,2048,1879.6342,12613240,1076960462,1089573702,16182436,262144,84784,32,222668
-big_sha2-4096,4096,3148.3765,18841453,1282146587,1300988040,16175022,262144,166832,32,222668
-big_sha2-8192,8192,4115.817,31248965,1959121410,1990370375,16072858,524288,330928,32,222668
-ecdsa_verify,1,0.5969034,54891828,1620421223,1675313051,16156206,524288,227338,408,222668
-ed25519_verify,1,0.48382175,44179304,2022697625,2066876929,16529300,1048576,538727,400,222668
-fibonacci-10,10,12.413955,6650068,798895029,805545097,16180852,65536,2404,8,222668
-fibonacci-50,50,62.170815,6775184,797460733,804235917,16184720,65536,2535,8,222668
-fibonacci-90,90,112.13519,6762510,795840145,802602655,16215558,65536,2617,8,222668
-iter_blake2b-1,1,1.1625551,7335912,852838348,860174260,16211741,131072,12139,32,222668
-iter_blake2b-10,10,10.24943,10634366,965029687,975664053,16166846,262144,101796,32,222668
-iter_blake2b-100,100,28.55233,43388070,3458952888,3502340958,15939056,1179648,997836,32,222668
-iter_blake3-1,1,1.1641576,6320536,852669650,858990186,16191192,131072,5308,32,222668
-iter_blake3-10,10,11.657801,7807142,849987588,857794730,16178678,131072,28683,32,222668
-iter_blake3-100,100,81.943535,15136502,1205215975,1220352477,16197424,524288,262233,32,222668
-iter_keccak-1,1,1.1571674,7619848,856559259,864179107,16229744,131072,28633,32,222668
-iter_keccak-10,10,8.2018,14746165,1204498331,1219244496,16181874,524288,263816,32,222668
-iter_keccak-100,100,14.785799,82480176,6680766051,6763246227,16009590,3145728,2615606,32,222668
-iter_sha2-1,1,1.2338527,6372194,804097307,810469501,16209316,65536,2963,32,222668
-iter_sha2-10,10,12.365795,6951998,801730311,808682309,16230326,65536,6159,32,222668
-iter_sha2-100,100,115.72841,8113399,855978654,864092053,16248681,131072,38109,32,222668
-membership-10,10,11.642302,7619507,851317128,858936635,16138874,131072,13935,64,222668
-membership-20,20,23.288822,7957405,850823737,858781142,16248920,131072,23620,64,222668
-sudoku,1,1.2399681,7176392,799296047,806472439,16184129,65536,9829,32,222668
+big_blake2b-1024,1024,646.4288,21956071,1562131850,1584087921,16228281,262144,116831,32,222668
+big_blake2b-2048,2048,1504.2728,21969546,1339485635,1361455181,16310956,524288,230551,32,222668
+big_blake2b-4096,4096,2186.15,29886399,1843727154,1873613553,15965123,1048576,457991,32,222668
+big_blake2b-8192,8192,4239.583,52685622,1879579890,1932265512,16107111,1048576,912871,32,222668
+big_blake3-1024,1024,990.7161,16418720,1017177049,1033595769,16175771,262144,79102,32,222668
+big_blake3-2048,2048,1968.1013,14491452,1026105448,1040596900,16231906,262144,157839,32,222668
+big_blake3-4096,4096,3197.399,23509963,1257531281,1281041244,16173297,524288,315847,32,222668
+big_blake3-8192,8192,4478.365,39754324,1789484601,1829238925,16175700,1048576,631863,32,222668
+big_keccak-1024,1024,809.0928,15864774,1249750331,1265615105,16192001,524288,248824,32,222668
+big_keccak-2048,2048,1126.604,25675171,1792177279,1817852450,16327167,1048576,494925,32,222668
+big_keccak-4096,4096,2225.5051,44348174,1796132782,1840480956,16201660,1048576,961414,32,222668
+big_keccak-8192,8192,1805.8113,81727326,4454738024,4536465350,16018484,2097152,1894379,32,222668
+big_sha2-1024,1024,1139.5845,14107436,884465750,898573186,16250462,131072,43760,32,222668
+big_sha2-2048,2048,1780.587,12838031,1137344482,1150182513,16236355,262144,84784,32,222668
+big_sha2-4096,4096,2943.7178,18404146,1373033578,1391437724,16331284,262144,166832,32,222668
+big_sha2-8192,8192,3958.559,31256555,2038183269,2069439824,16259969,524288,330928,32,222668
+ecdsa_verify,1,0.59620255,55885039,1621397352,1677282391,16290637,524288,229836,408,222668
+ed25519_verify,1,0.46810353,44232145,2092047427,2136279572,16290277,1048576,540589,400,222668
+fibonacci-10,10,11.939279,6175335,831396248,837571583,16301337,65536,2404,8,222668
+fibonacci-50,50,59.456852,6839870,834106113,840945983,16256363,65536,2535,8,222668
+fibonacci-90,90,107.04198,6865038,833926573,840791611,16284466,65536,2617,8,222668
+iter_blake2b-1,1,1.1207602,7403143,884848394,892251537,16275218,131072,12139,32,222668
+iter_blake2b-10,10,9.660456,10581452,1024566420,1035147872,16308180,262144,101796,32,222668
+iter_blake2b-100,100,27.321093,43300928,3616874934,3660175862,16074148,1179648,997836,32,222668
+iter_blake3-1,1,1.1120969,11573404,887628747,899202151,16375578,131072,5308,32,222668
+iter_blake3-10,10,11.184276,7617508,886494966,894112474,16358284,131072,28683,32,222668
+iter_blake3-100,100,78.518715,15028385,1258553405,1273581790,15966616,524288,262233,32,222668
+iter_keccak-1,1,1.1287568,6915934,879014586,885930520,16287130,131072,28633,32,222668
+iter_keccak-10,10,7.9047647,14426248,1250633594,1265059842,15970843,524288,263816,32,222668
+iter_keccak-100,100,13.943784,81775535,7089879238,7171654773,16075421,3145728,2615606,32,222668
+iter_sha2-1,1,1.1846399,11129856,833008517,844138373,16399953,65536,2963,32,222668
+iter_sha2-10,10,11.923343,7035008,831656023,838691031,16364366,65536,6159,32,222668
+iter_sha2-100,100,111.54398,8161755,888345599,896507354,16383051,131072,38109,32,222668
+membership-10,10,11.147648,7462615,889587603,897050218,16318249,131072,13935,64,222668
+membership-20,20,22.428905,7928714,883777766,891706480,16313981,131072,23620,64,222668
+sudoku,1,1.1927277,7227451,831186876,838414327,16387339,65536,9829,32,222668