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,61.303757,14929361,16688777798,16703707159,18008833,262144,116637,32,222668
-big_blake2b-2048,2048,74.2079,16527375,27581613121,27598140496,18009299,524288,230357,32,222668
-big_blake2b-4096,4096,82.463905,28290291,49641926547,49670216838,18025450,1048576,457797,32,222668
-big_blake2b-8192,8192,165.14581,51099054,49553549677,49604648731,18030007,1048576,912677,32,222668
-big_blake3-1024,1024,90.57674,9538060,11295792897,11305330957,18097143,131072,78908,32,222668
-big_blake3-2048,2048,122.7631,14520077,16668017911,16682537988,18506779,262144,157645,32,222668
-big_blake3-4096,4096,148.66182,24358380,27528108170,27552466550,17999875,524288,315653,32,222668
-big_blake3-8192,8192,164.88039,42635495,49641865697,49684501192,18017107,1048576,631669,32,222668
-big_keccak-1024,1024,37.01511,14068869,27650309575,27664378444,18008741,524288,248820,32,222668
-big_keccak-2048,2048,41.397804,22606150,49448614554,49471220704,18023233,1048576,494921,32,222668
-big_keccak-4096,4096,83.09262,39727665,49254659319,49294386984,18023534,1048576,961410,32,222668
-big_keccak-8192,8192,77.66476,72918975,105406071051,105478990026,18012509,2097152,1894375,32,222668
-big_sha2-1024,1024,90.68816,9837071,11281603063,11291440134,18035573,131072,43570,32,222668
-big_sha2-2048,2048,122.836006,11441781,16661193652,16672635433,18024474,262144,84594,32,222668
-big_sha2-4096,4096,245.74086,17827153,16650137191,16667964344,18007983,262144,166642,32,222668
-big_sha2-8192,8192,297.4856,30648517,27506819577,27537468094,18013392,524288,330738,32,222668
-ecdsa_verify,1,0.020207426,46119424,49440638055,49486757479,18006542,1048576,697351,408,222668
-ed25519_verify,1,0.020119475,36575010,49666513004,49703088014,18027293,1048576,533262,400,222668
-fibonacci-10,10,1.1464226,5241751,8717545546,8722787297,18016779,65536,2135,8,222668
-fibonacci-50,50,5.738825,5285757,8707299505,8712585262,18016954,65536,2266,8,222668
-fibonacci-90,90,10.316404,5104882,8718864980,8723969862,18028470,65536,2348,8,222668
-iter_blake2b-1,1,0.08836453,5405944,11311351947,11316757891,18041498,131072,11946,32,222668
-iter_blake2b-10,10,0.600279,8898232,16650022933,16658921165,18008791,262144,101603,32,222668
-iter_blake2b-100,100,1.487398,40667117,67190829937,67231497054,18011130,1179648,997643,32,222668
-iter_blake3-1,1,0.11464937,5126573,8717119399,8722245972,18027983,65536,5087,32,222668
-iter_blake3-10,10,0.88488793,5753600,11295112424,11300866024,18017574,131072,28462,32,222668
-iter_blake3-100,100,3.623922,12226153,27582184940,27594411093,18385254,524288,262012,32,222668
-iter_keccak-1,1,0.0886401,5799482,11275776105,11281575587,18023713,131072,28322,32,222668
-iter_keccak-10,10,0.3621495,12596768,27600308871,27612905639,18303890,524288,260365,32,222668
-iter_keccak-100,100,0.618248,74420747,161672963866,161747384613,18390453,3145728,2580745,32,222668
-iter_sha2-1,1,0.114649765,6630822,8715584485,8722215307,18008370,65536,2746,32,222668
-iter_sha2-10,10,1.1461322,5368053,8719628027,8724996080,18014759,65536,5978,32,222668
-iter_sha2-100,100,8.856283,6422530,11284996030,11291418560,18031130,131072,38288,32,222668
-membership-10,10,1.1481133,5744000,8704198258,8709942258,18035714,65536,13229,64,222668
-membership-20,20,1.7713886,6325071,11284252165,11290577236,18010598,131072,22459,64,222668
-sudoku,1,0.11460372,5409288,8720311286,8725720574,18009437,65536,9632,32,222668
+big_blake2b-1024,1024,61.718395,14620965,16576866071,16591487036,18014866,262144,116637,32,222668
+big_blake2b-2048,2048,74.48474,16340583,27479221970,27495562553,17991480,524288,230357,32,222668
+big_blake2b-4096,4096,82.83182,27922560,49421674453,49449597013,18003458,1048576,457797,32,222668
+big_blake2b-8192,8192,165.33563,50997539,49496701197,49547698736,18455141,1048576,912677,32,222668
+big_blake3-1024,1024,91.27244,9605096,11209554060,11219159156,18010883,131072,78908,32,222668
+big_blake3-2048,2048,123.643135,14293553,16549504797,16563798350,17993134,262144,157645,32,222668
+big_blake3-4096,4096,150.02457,23519513,27278674222,27302193735,18325578,524288,315653,32,222668
+big_blake3-8192,8192,166.04372,42398197,49294009136,49336407333,17994863,1048576,631669,32,222668
+big_keccak-1024,1024,37.344597,13709389,27406588882,27420298271,18002130,524288,248820,32,222668
+big_keccak-2048,2048,41.50473,22145372,49321628983,49343774355,18010600,1048576,494921,32,222668
+big_keccak-4096,4096,82.919815,39415058,49357706150,49397121208,18012971,1048576,961410,32,222668
+big_keccak-8192,8192,77.89844,74276344,105088287008,105162563352,18013248,2097152,1894375,32,222668
+big_sha2-1024,1024,90.91448,9615314,11253717523,11263332837,18000350,131072,43570,32,222668
+big_sha2-2048,2048,123.789856,11137999,16533027904,16544165903,18000441,262144,84594,32,222668
+big_sha2-4096,4096,247.3836,17544892,16539736326,16557281218,18008673,262144,166642,32,222668
+big_sha2-8192,8192,297.7527,30099473,27482666488,27512765961,18010643,524288,330738,32,222668
+ecdsa_verify,1,0.020222496,45454090,49404424011,49449878101,18014120,1048576,697351,408,222668
+ed25519_verify,1,0.020177672,36371160,49523358950,49559730110,18006695,1048576,536092,400,222668
+fibonacci-10,10,1.155957,4800263,8646040447,8650840710,18017184,65536,2135,8,222668
+fibonacci-50,50,5.7692704,5172817,8661434111,8666606928,18014925,65536,2266,8,222668
+fibonacci-90,90,10.386364,4893998,8660314150,8665208148,18004213,65536,2348,8,222668
+iter_blake2b-1,1,0.088908836,5307368,11242168675,11247476043,18001821,131072,11946,32,222668
+iter_blake2b-10,10,0.60182077,8430450,16607812339,16616242789,17993131,262144,101603,32,222668
+iter_blake2b-100,100,1.490071,39821742,67071069432,67110891174,18006412,1179648,997643,32,222668
+iter_blake3-1,1,0.11590094,5092391,8622965160,8628057551,18005224,65536,5087,32,222668
+iter_blake3-10,10,0.89120924,5608976,11215100533,11220709509,18003071,131072,28462,32,222668
+iter_blake3-100,100,3.6416354,11855934,27448334398,27460190332,17993131,524288,262012,32,222668
+iter_keccak-1,1,0.08905529,5785473,11223194047,11228979520,18004003,131072,28322,32,222668
+iter_keccak-10,10,0.36490092,12554873,27392145396,27404700269,17994922,524288,260365,32,222668
+iter_keccak-100,100,0.6204999,74208517,161086184031,161160392548,18002334,3145728,2580745,32,222668
+iter_sha2-1,1,0.11568363,6512169,8637752953,8644265122,18032114,65536,2746,32,222668
+iter_sha2-10,10,1.1569461,5173428,8638271693,8643445121,18019605,65536,5978,32,222668
+iter_sha2-100,100,8.913892,6202281,11212241921,11218444202,18012275,131072,38288,32,222668
+membership-10,10,1.1562636,5423261,8643124305,8648547566,17991832,65536,13229,64,222668
+membership-20,20,1.7801049,5991816,11229301896,11235293712,18017183,131072,22459,64,222668
+sudoku,1,0.11595445,5275517,8618800707,8624076224,18039425,65536,9632,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,598.8486,17847704,1692100426,1709948130,17417045,262144,116637,32,222668
-big_blake2b-2048,2048,1024.9053,15953795,1982279712,1998233507,17423295,524288,230357,32,222668
-big_blake2b-4096,4096,1329.1953,27331857,3054231847,3081563704,17409104,1048576,457797,32,222668
-big_blake2b-8192,8192,2563.3774,49255784,3146527959,3195783743,17517537,1048576,912677,32,222668
-big_blake3-1024,1024,843.07733,9294540,1205303450,1214597990,17498156,131072,78908,32,222668
-big_blake3-2048,2048,1369.5872,13599108,1481741934,1495341042,17396305,262144,157645,32,222668
-big_blake3-4096,4096,2041.0393,23018989,1983801689,2006820678,17417585,524288,315653,32,222668
-big_blake3-8192,8192,2754.1094,40653647,2933810592,2974464239,17463326,1048576,631669,32,222668
-big_keccak-1024,1024,514.1588,13831592,1977770990,1991602582,17524637,524288,248820,32,222668
-big_keccak-2048,2048,674.6943,22331435,3013117458,3035448893,17528137,1048576,494921,32,222668
-big_keccak-4096,4096,1358.0385,39969522,2976145545,3016115067,17398623,1048576,961410,32,222668
-big_keccak-8192,8192,1122.1367,72838601,7227519699,7300358300,17427503,2097152,1894375,32,222668
-big_sha2-1024,1024,845.3278,7620074,1203744273,1211364347,17451114,131072,43570,32,222668
-big_sha2-2048,2048,1272.3755,10632596,1598955157,1609587753,17552497,262144,84594,32,222668
-big_sha2-4096,4096,2247.86,16118568,1806058927,1822177495,17394723,262144,166642,32,222668
-big_sha2-8192,8192,2846.2715,27660752,2850490545,2878151297,17463317,524288,330738,32,222668
-ecdsa_verify,1,0.2948045,48832359,3343246131,3392078490,17448573,1048576,697351,408,222668
-ed25519_verify,1,0.2984512,38505259,3312126380,3350631639,17431372,1048576,542659,400,222668
-fibonacci-10,10,9.135366,4884514,1089762300,1094646814,17408981,65536,2135,8,222668
-fibonacci-50,50,45.386585,4762590,1096884509,1101647099,17504182,65536,2266,8,222668
-fibonacci-90,90,82.226616,4725199,1089810836,1094536035,17392288,65536,2348,8,222668
-iter_blake2b-1,1,0.76422435,5183021,1303333231,1308516252,17388837,131072,11946,32,222668
-iter_blake2b-10,10,6.47866,8440992,1535087983,1543528975,17462108,262144,101603,32,222668
-iter_blake2b-100,100,18.145834,41046599,5469860000,5510906599,17396783,1179648,997643,32,222668
-iter_blake3-1,1,0.9035353,4939013,1101824556,1106763569,17425713,65536,5087,32,222668
-iter_blake3-10,10,8.24287,5532227,1207637304,1213169531,17534316,131072,28462,32,222668
-iter_blake3-100,100,49.375324,12969352,2012333706,2025303058,17509054,524288,262012,32,222668
-iter_keccak-1,1,0.8441063,5576698,1179108139,1184684837,17436352,131072,28322,32,222668
-iter_keccak-10,10,5.05787,12564810,1964552064,1977116874,17506272,524288,260365,32,222668
-iter_keccak-100,100,8.8321,79365607,11242970829,11322336436,17462585,3145728,2580745,32,222668
-iter_sha2-1,1,0.9064238,4756016,1098480718,1103236734,17414833,65536,2746,32,222668
-iter_sha2-10,10,9.015991,4882399,1104258014,1109140413,17408023,65536,5978,32,222668
-iter_sha2-100,100,82.21877,6136189,1210131037,1216267226,17405861,131072,38288,32,222668
-membership-10,10,9.028013,5339870,1102323544,1107663414,17397772,65536,13229,64,222668
-membership-20,20,16.302404,5827861,1220984999,1226812860,17450742,131072,22459,64,222668
-sudoku,1,0.8938996,5234667,1113459174,1118693841,17430821,65536,9632,32,222668
+big_blake2b-1024,1024,604.4753,18567993,1675463227,1694031220,17385796,262144,116637,32,222668
+big_blake2b-2048,2048,1027.2565,16737683,1976922379,1993660062,17389354,524288,230357,32,222668
+big_blake2b-4096,4096,1341.9598,28892853,3023359341,3052252194,17441124,1048576,457797,32,222668
+big_blake2b-8192,8192,2565.141,53529584,3140056895,3193586479,17379148,1048576,912677,32,222668
+big_blake3-1024,1024,841.86914,9606218,1206734788,1216341006,17414968,131072,78908,32,222668
+big_blake3-2048,2048,1368.9115,14592776,1481486464,1496079240,17429437,262144,157645,32,222668
+big_blake3-4096,4096,2040.4469,24059726,1983343609,2007403335,17377394,524288,315653,32,222668
+big_blake3-8192,8192,2686.4783,43596395,3005748877,3049345272,17412753,1048576,631669,32,222668
+big_keccak-1024,1024,507.46378,14805960,2003072096,2017878056,17449452,524288,248820,32,222668
+big_keccak-2048,2048,687.05035,24392009,2956466627,2980858636,17413659,1048576,494921,32,222668
+big_keccak-4096,4096,1370.714,42942407,2945281169,2988223576,17385686,1048576,961410,32,222668
+big_keccak-8192,8192,1149.9388,79502047,7044354877,7123856924,17379790,2097152,1894375,32,222668
+big_sha2-1024,1024,847.598,7926278,1200193656,1208119934,17419722,131072,43570,32,222668
+big_sha2-2048,2048,1277.5576,10842561,1592216166,1603058727,17402800,262144,84594,32,222668
+big_sha2-4096,4096,2222.9417,16752878,1825850722,1842603600,17404859,262144,166642,32,222668
+big_sha2-8192,8192,2781.676,28986804,2916000174,2944986978,17399787,524288,330738,32,222668
+ecdsa_verify,1,0.29995692,51845659,3281966534,3333812193,17483507,1048576,697351,408,222668
+ed25519_verify,1,0.2984649,40565398,3309912185,3350477583,17386848,1048576,540857,400,222668
+fibonacci-10,10,9.164314,4775101,1086413989,1091189090,17480910,65536,2135,8,222668
+fibonacci-50,50,45.418594,4783230,1096087514,1100870744,17390658,65536,2266,8,222668
+fibonacci-90,90,81.63474,5120548,1097351230,1102471778,17442183,65536,2348,8,222668
+iter_blake2b-1,1,0.77072895,5620655,1291852227,1297472882,17399587,131072,11946,32,222668
+iter_blake2b-10,10,6.4317427,8992268,1545796317,1554788585,17464405,262144,101603,32,222668
+iter_blake2b-100,100,18.14711,46154386,5464364629,5510519015,17434231,1179648,997643,32,222668
+iter_blake3-1,1,0.909528,5277916,1094193399,1099471315,17403758,65536,5087,32,222668
+iter_blake3-10,10,8.126544,5990674,1224544699,1230535373,17402018,131072,28462,32,222668
+iter_blake3-100,100,49.093193,14124385,2022817849,2036942234,17403639,524288,262012,32,222668
+iter_keccak-1,1,0.83985007,5924227,1184764538,1190688765,17385748,131072,28322,32,222668
+iter_keccak-10,10,4.9677906,13557879,1999409460,2012967339,17528522,524288,260365,32,222668
+iter_keccak-100,100,8.874318,88831109,11179640610,11268471719,17403575,3145728,2580745,32,222668
+iter_sha2-1,1,0.90304303,4858709,1102508162,1107366871,17398216,65536,2746,32,222668
+iter_sha2-10,10,8.916841,5192002,1116281423,1121473425,17427581,65536,5978,32,222668
+iter_sha2-100,100,81.340706,6469802,1222926868,1229396670,17419273,131072,38288,32,222668
+membership-10,10,9.057607,5464565,1098579824,1104044389,17419316,65536,13229,64,222668
+membership-20,20,16.505383,6015877,1205710142,1211726019,17393024,131072,22459,64,222668
+sudoku,1,0.8911596,5618373,1116515141,1122133514,17427810,65536,9632,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,723.7192,20651987,1394261458,1414913445,16436404,262144,116637,32,222668
-big_blake2b-2048,2048,1363.7485,17895316,1483847796,1501743112,16467162,524288,230357,32,222668
-big_blake2b-4096,4096,1891.6544,29214617,2136085763,2165300380,16365961,1048576,457797,32,222668
-big_blake2b-8192,8192,3712.0264,51498703,2155382121,2206880824,16542925,1048576,912677,32,222668
-big_blake3-1024,1024,1061.132,10432058,954575200,965007258,16547413,131072,78908,32,222668
-big_blake3-2048,2048,1767.6812,15534373,1143045524,1158579897,16600423,262144,157645,32,222668
-big_blake3-4096,4096,2732.238,25808763,1473328522,1499137285,16523339,524288,315653,32,222668
-big_blake3-8192,8192,3772.1414,45357248,2126353393,2171710641,16580305,1048576,631669,32,222668
-big_keccak-1024,1024,679.17456,14738061,1492974551,1507712612,16609160,524288,248820,32,222668
-big_keccak-2048,2048,950.4997,23855289,2130800951,2154656240,16547684,1048576,494921,32,222668
-big_keccak-4096,4096,1883.3652,41546970,2133283464,2174830434,16555349,1048576,961410,32,222668
-big_keccak-8192,8192,1581.5614,74950770,5104740385,5179691155,16572992,2097152,1894375,32,222668
-big_sha2-1024,1024,1038.6545,8470579,977420291,985890870,16624128,131072,43570,32,222668
-big_sha2-2048,2048,1645.9185,11896030,1232394022,1244290052,16655607,262144,84594,32,222668
-big_sha2-4096,4096,2734.6572,18278930,1479532142,1497811072,16643435,262144,166642,32,222668
-big_sha2-8192,8192,3612.9636,31157714,2236233037,2267390751,16663783,524288,330738,32,222668
-ecdsa_verify,1,0.3995486,52030335,2450794146,2502824481,16706584,1048576,697351,408,222668
-ed25519_verify,1,0.41036442,41005479,2395853029,2436858508,16671237,1048576,541745,400,222668
-fibonacci-10,10,11.211414,5480368,886467726,891948094,16697026,65536,2135,8,222668
-fibonacci-50,50,54.731155,5654826,907901637,913556463,16665647,65536,2266,8,222668
-fibonacci-90,90,98.50797,5592348,908039256,913631604,16692367,65536,2348,8,222668
-iter_blake2b-1,1,1.0155787,6085669,978574527,984660196,16567912,131072,11946,32,222668
-iter_blake2b-10,10,8.614071,9210273,1151680990,1160891263,16610602,262144,101603,32,222668
-iter_blake2b-100,100,24.593218,40975633,4025186068,4066161701,16500124,1179648,997643,32,222668
-iter_blake3-1,1,1.0817589,5351525,919068897,924420422,16644549,65536,5087,32,222668
-iter_blake3-10,10,10.167673,6429867,977079303,983509170,16663439,131072,28462,32,222668
-iter_blake3-100,100,67.42568,13821455,1469292944,1483114399,16687444,524288,262012,32,222668
-iter_keccak-1,1,1.0473158,6415748,948406075,954821823,16664490,131072,28322,32,222668
-iter_keccak-10,10,6.7091637,13294905,1477203937,1490498842,16665032,524288,260365,32,222668
-iter_keccak-100,100,12.240498,78621018,8090981025,8169602043,16684806,3145728,2580745,32,222668
-iter_sha2-1,1,1.0929698,5378728,909559623,914938351,16648136,65536,2746,32,222668
-iter_sha2-10,10,10.923499,5796000,909661590,915457590,16653686,65536,5978,32,222668
-iter_sha2-100,100,101.824905,6768796,975309250,982078046,16771579,131072,38288,32,222668
-membership-10,10,10.888401,6189878,912218626,918408504,16668214,65536,13229,64,222668
-membership-20,20,20.266819,6824822,980009863,986834685,16434299,131072,22459,64,222668
-sudoku,1,1.0896147,6037798,911717730,917755528,16520803,65536,9632,32,222668
+big_blake2b-1024,1024,721.9356,19986759,1398422315,1418409074,16538549,262144,116637,32,222668
+big_blake2b-2048,2048,1353.4241,17802010,1495397163,1513199173,16534731,524288,230357,32,222668
+big_blake2b-4096,4096,1888.9722,29216773,2139158148,2168374921,16604513,1048576,457797,32,222668
+big_blake2b-8192,8192,3729.3066,52258739,2144396382,2196655121,16570370,1048576,912677,32,222668
+big_blake3-1024,1024,1045.3821,10528751,969017378,979546129,16568697,131072,78908,32,222668
+big_blake3-2048,2048,1761.7374,15695609,1146793208,1162488817,16560913,262144,157645,32,222668
+big_blake3-4096,4096,2693.2449,25793742,1495048412,1520842154,16590639,524288,315653,32,222668
+big_blake3-8192,8192,3715.4065,45708901,2159164144,2204873045,16576753,1048576,631669,32,222668
+big_keccak-1024,1024,671.3944,14717223,1510466682,1525183905,16597423,524288,248820,32,222668
+big_keccak-2048,2048,944.5544,24011118,2144207042,2168218160,16595790,1048576,494921,32,222668
+big_keccak-4096,4096,1878.9979,42169262,2137716149,2179885411,16587676,1048576,961410,32,222668
+big_keccak-8192,8192,1568.7493,75204092,5146790242,5221994334,16374708,2097152,1894375,32,222668
+big_sha2-1024,1024,1037.6707,8555400,978270193,986825593,16573791,131072,43570,32,222668
+big_sha2-2048,2048,1661.4631,11985959,1220662582,1232648541,16647851,262144,84594,32,222668
+big_sha2-4096,4096,2677.3374,18227747,1511650429,1529878176,16637993,262144,166642,32,222668
+big_sha2-8192,8192,3626.7124,31111372,2227683591,2258794963,16623747,524288,330738,32,222668
+ecdsa_verify,1,0.3988247,51967796,2455399661,2507367457,16593431,1048576,697351,408,222668
+ed25519_verify,1,0.41070154,41314048,2393544065,2434858113,16667741,1048576,534244,400,222668
+fibonacci-10,10,11.123366,5451945,893556470,899008415,16636241,65536,2135,8,222668
+fibonacci-50,50,54.25057,5570738,916078625,921649363,16660708,65536,2266,8,222668
+fibonacci-90,90,98.31854,5650678,909741262,915391940,16696485,65536,2348,8,222668
+iter_blake2b-1,1,1.026059,6119339,968483448,974602787,16612027,131072,11946,32,222668
+iter_blake2b-10,10,8.634131,9216563,1148977445,1158194008,16587572,262144,101603,32,222668
+iter_blake2b-100,100,24.479137,40876562,4044234752,4085111314,16587422,1179648,997643,32,222668
+iter_blake3-1,1,1.0863979,5481812,914991287,920473099,16627718,65536,5087,32,222668
+iter_blake3-10,10,10.231649,6454418,970905110,977359528,16690617,131072,28462,32,222668
+iter_blake3-100,100,67.2222,13703949,1473899919,1487603868,16672433,524288,262012,32,222668
+iter_keccak-1,1,1.0471236,6333231,948663971,954997202,16666141,131072,28322,32,222668
+iter_keccak-10,10,6.708727,13321492,1477274268,1490595760,16687482,524288,260365,32,222668
+iter_keccak-100,100,12.214285,79015857,8108118659,8187134516,16681974,3145728,2580745,32,222668
+iter_sha2-1,1,1.0749593,5344916,924922935,930267851,16693535,65536,2746,32,222668
+iter_sha2-10,10,10.848023,5745618,916081237,921826855,16743099,65536,5978,32,222668
+iter_sha2-100,100,101.486664,6823603,978527569,985351172,16715267,131072,38288,32,222668
+membership-10,10,10.90543,6280333,910694009,916974342,16667478,65536,13229,64,222668
+membership-20,20,20.335909,6572913,976909100,983482013,16675553,131072,22459,64,222668
+sudoku,1,1.0904593,6111747,910932917,917044664,16694960,65536,9632,32,222668