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.57888,15354722,16613723106,16629077828,18011435,262144,116637,32,222668
-big_blake2b-2048,2048,74.27273,17190154,27556861285,27574051439,18018567,524288,230357,32,222668
-big_blake2b-4096,4096,82.9824,28659084,49331209561,49359868645,18000852,1048576,457797,32,222668
-big_blake2b-8192,8192,165.42374,51720322,49469587249,49521307571,18020100,1048576,912677,32,222668
-big_blake3-1024,1024,91.00115,10040606,11242563641,11252604247,18017165,131072,78908,32,222668
-big_blake3-2048,2048,123.720406,14503300,16538949503,16553452803,18023405,262144,157645,32,222668
-big_blake3-4096,4096,149.56235,24419682,27362151661,27386571343,18009941,524288,315653,32,222668
-big_blake3-8192,8192,165.59944,42932526,49425833485,49468766011,18018260,1048576,631669,32,222668
-big_keccak-1024,1024,37.25641,14400102,27470805365,27485205467,18028995,524288,248820,32,222668
-big_keccak-2048,2048,41.497086,23362106,49329502986,49352865092,18035050,1048576,494921,32,222668
-big_keccak-4096,4096,82.984215,40532060,49318251133,49358783193,18011277,1048576,961410,32,222668
-big_keccak-8192,8192,77.711235,73662946,105342241367,105415904313,18014136,2097152,1894375,32,222668
-big_sha2-1024,1024,91.03937,9871179,11238010001,11247881180,18034724,131072,43570,32,222668
-big_sha2-2048,2048,123.7732,11637481,16534754113,16546391594,18025305,262144,84594,32,222668
-big_sha2-4096,4096,247.70854,17986242,16517576526,16535562768,18016356,262144,166642,32,222668
-big_sha2-8192,8192,297.29733,31151226,27523753550,27554904776,18011994,524288,330738,32,222668
-ecdsa_verify,1,0.020157373,46917977,49562720787,49609638764,18032220,1048576,697351,408,222668
-ed25519_verify,1,0.020216063,36962874,49428651581,49465614455,18050941,1048576,533334,400,222668
-fibonacci-10,10,1.1542262,4990642,8658823224,8663813866,18010830,65536,2135,8,222668
-fibonacci-50,50,5.7652593,5079971,8667556902,8672636873,18032712,65536,2266,8,222668
-fibonacci-90,90,10.390865,5214342,8656240272,8661454614,18016506,65536,2348,8,222668
-iter_blake2b-1,1,0.08877508,5568822,11258853719,11264422541,18040300,131072,11946,32,222668
-iter_blake2b-10,10,0.6043493,8680167,16538042824,16546722991,18016213,262144,101603,32,222668
-iter_blake2b-100,100,1.4906545,41287683,67043339380,67084627063,18039278,1179648,997643,32,222668
-iter_blake3-1,1,0.11518207,5505815,8676401184,8681906999,18016833,65536,5087,32,222668
-iter_blake3-10,10,0.88932586,5884493,11238588444,11244472937,18026247,131072,28462,32,222668
-iter_blake3-100,100,3.6464274,12590886,27411511035,27424101921,18173484,524288,262012,32,222668
-iter_keccak-1,1,0.0887242,6034990,11264846564,11270881554,18020217,131072,28322,32,222668
-iter_keccak-10,10,0.36238837,12719905,27581983580,27594703485,18034850,524288,260365,32,222668
-iter_keccak-100,100,0.6203096,75583221,161134235534,161209818755,18021830,3145728,2580745,32,222668
-iter_sha2-1,1,0.11496383,6773421,8691615109,8698388530,18015868,65536,2746,32,222668
-iter_sha2-10,10,1.1528372,5217218,8669034151,8674251369,18025984,65536,5978,32,222668
-iter_sha2-100,100,8.860849,6542401,11279057682,11285600083,18016637,131072,38288,32,222668
-membership-10,10,1.149842,5952858,8690893877,8696846735,18010243,65536,13229,64,222668
-membership-20,20,1.7772454,6313963,11247056574,11253370537,18007241,131072,22459,64,222668
-sudoku,1,0.115256146,5608440,8670718550,8676326990,18021604,65536,9632,32,222668
+big_blake2b-1024,1024,61.902477,14712593,16527435502,16542148095,18015536,262144,116637,32,222668
+big_blake2b-2048,2048,74.32476,17698083,27537050968,27554749051,18043874,524288,230357,32,222668
+big_blake2b-4096,4096,82.669754,29506413,49517030351,49546536764,17995628,1048576,457797,32,222668
+big_blake2b-8192,8192,165.60889,51588934,49414355740,49465944674,17988479,1048576,912677,32,222668
+big_blake3-1024,1024,91.54767,9475941,11175953991,11185429932,17995642,131072,78908,32,222668
+big_blake3-2048,2048,123.40304,14118299,16581906312,16596024611,18015273,262144,157645,32,222668
+big_blake3-4096,4096,149.35164,24940664,27400268846,27425209510,18042914,524288,315653,32,222668
+big_blake3-8192,8192,165.70506,43499198,49393732729,49437231927,18046265,1048576,631669,32,222668
+big_keccak-1024,1024,37.31947,15022963,27423738663,27438761626,18007331,524288,248820,32,222668
+big_keccak-2048,2048,41.50409,23296187,49321238164,49344534351,18019737,1048576,494921,32,222668
+big_keccak-4096,4096,83.03555,40573960,49287697521,49328271481,18003402,1048576,961410,32,222668
+big_keccak-8192,8192,78.01466,73617430,104932288105,105005905535,18017458,2097152,1894375,32,222668
+big_sha2-1024,1024,91.06591,10164613,11234438220,11244602833,18001938,131072,43570,32,222668
+big_sha2-2048,2048,123.20903,12436382,16609722129,16622158511,18023582,262144,84594,32,222668
+big_sha2-4096,4096,246.5781,18841730,16592529131,16611370861,18030622,262144,166642,32,222668
+big_sha2-8192,8192,298.13974,31668223,27445379992,27477048215,18028340,524288,330738,32,222668
+ecdsa_verify,1,0.020156376,47246520,49564847154,49612093674,18017176,1048576,697351,408,222668
+ed25519_verify,1,0.020171817,37916345,49536200134,49574116479,18011516,1048576,536101,400,222668
+fibonacci-10,10,1.1485416,5750780,8700942777,8706693557,17999051,65536,2135,8,222668
+fibonacci-50,50,5.770847,5219038,8659021151,8664240189,18032440,65536,2266,8,222668
+fibonacci-90,90,10.334539,5696038,8702964927,8708660965,18015610,65536,2348,8,222668
+iter_blake2b-1,1,0.08870957,6370543,11266371109,11272741652,18013450,131072,11946,32,222668
+iter_blake2b-10,10,0.60422033,9731446,16540523187,16550254633,18022167,262144,101603,32,222668
+iter_blake2b-100,100,1.492113,41649083,66977402002,67019051085,18029767,1179648,997643,32,222668
+iter_blake3-1,1,0.11534535,6216197,8663400240,8669616437,18035336,65536,5087,32,222668
+iter_blake3-10,10,0.8898023,5821801,11232629937,11238451738,18009790,131072,28462,32,222668
+iter_blake3-100,100,3.6517053,13295678,27371170129,27384465807,18021367,524288,262012,32,222668
+iter_keccak-1,1,0.08906708,6717047,11220775789,11227492836,18034927,131072,28322,32,222668
+iter_keccak-10,10,0.36481735,13173828,27397803028,27410976856,18024713,524288,260365,32,222668
+iter_keccak-100,100,0.62233573,75669831,160609298158,160684967989,18022630,3145728,2580745,32,222668
+iter_sha2-1,1,0.11477347,7537325,8705277590,8712814915,18033073,65536,2746,32,222668
+iter_sha2-10,10,1.1546848,6045917,8654325503,8660371420,17997294,65536,5978,32,222668
+iter_sha2-100,100,8.9036455,7059201,11224295864,11231355065,18028286,131072,38288,32,222668
+membership-10,10,1.1519297,5877129,8675207557,8681084686,18027773,65536,13229,64,222668
+membership-20,20,1.7814336,6460652,11220452675,11226913327,18007119,131072,22459,64,222668
+sudoku,1,0.11525032,5807935,8670957419,8676765354,18019500,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,596.26483,17620426,1699737133,1717357559,17388962,262144,116637,32,222668
-big_blake2b-2048,2048,1016.16223,16106904,1999319175,2015426079,17402436,524288,230357,32,222668
-big_blake2b-4096,4096,1344.8463,27306886,3018394289,3045701175,17429858,1048576,457797,32,222668
-big_blake2b-8192,8192,2568.0886,48699278,3141221848,3189921126,17446378,1048576,912677,32,222668
-big_blake3-1024,1024,840.167,9275424,1209529849,1218805273,17450123,131072,78908,32,222668
-big_blake3-2048,2048,1360.4701,13816839,1491545274,1505362113,17406087,262144,157645,32,222668
-big_blake3-4096,4096,2021.9808,23480240,2002256066,2025736306,17400252,524288,315653,32,222668
-big_blake3-8192,8192,2679.0696,41527006,3016250892,3057777898,17543637,1048576,631669,32,222668
-big_keccak-1024,1024,504.53003,13847445,2015764140,2029611585,17398456,524288,248820,32,222668
-big_keccak-2048,2048,685.9937,22403610,2963046361,2985449971,17416838,1048576,494921,32,222668
-big_keccak-4096,4096,1349.1925,39337397,2996552493,3035889890,17395256,1048576,961410,32,222668
-big_keccak-8192,8192,1144.0208,72233866,7088475531,7160709397,17407426,2097152,1894375,32,222668
-big_sha2-1024,1024,834.6171,7743336,1219166482,1226909818,17436655,131072,43570,32,222668
-big_sha2-2048,2048,1266.4053,10608321,1606567423,1617175744,17398120,262144,84594,32,222668
-big_sha2-4096,4096,2216.8403,16382326,1831292430,1847674756,17408635,262144,166642,32,222668
-big_sha2-8192,8192,2863.6204,27180501,2833533890,2860714391,17395649,524288,330738,32,222668
-ecdsa_verify,1,0.2987249,48604277,3298957229,3347561506,17411569,1048576,697351,408,222668
-ed25519_verify,1,0.30415884,38659680,3249096275,3287755955,17396092,1048576,542739,400,222668
-fibonacci-10,10,9.2242565,4846871,1079251397,1084098268,17419770,65536,2135,8,222668
-fibonacci-50,50,44.896008,4799319,1108885428,1113684747,17416068,65536,2266,8,222668
-fibonacci-90,90,81.37281,5177179,1100843445,1106020624,17388432,65536,2348,8,222668
-iter_blake2b-1,1,0.7797725,5622981,1276802278,1282425259,17400540,131072,11946,32,222668
-iter_blake2b-10,10,6.45585,8778658,1540204030,1548982688,17421639,262144,101603,32,222668
-iter_blake2b-100,100,18.15462,40790463,5467449090,5508239553,17423746,1179648,997643,32,222668
-iter_blake3-1,1,0.90533435,4954837,1099609486,1104564323,17417153,65536,5087,32,222668
-iter_blake3-10,10,8.212171,6418079,1211286808,1217704887,17401491,131072,28462,32,222668
-iter_blake3-100,100,49.86795,13119855,1992176116,2005295971,17420917,524288,262012,32,222668
-iter_keccak-1,1,0.83278143,5604053,1195191275,1200795328,17401792,131072,28322,32,222668
-iter_keccak-10,10,5.000356,12443739,1987413771,1999857510,17403227,524288,260365,32,222668
-iter_keccak-100,100,9.003196,78396903,11028770347,11107167250,17381936,3145728,2580745,32,222668
-iter_sha2-1,1,0.8966685,4926725,1110312614,1115239339,17405335,65536,2746,32,222668
-iter_sha2-10,10,8.943131,5008507,1113168118,1118176625,17446463,65536,5978,32,222668
-iter_sha2-100,100,80.867836,6169118,1230416569,1236585687,17434992,131072,38288,32,222668
-membership-10,10,8.840079,6065244,1125146262,1131211506,17424899,65536,13229,64,222668
-membership-20,20,16.274027,5897159,1223055047,1228952206,17429497,131072,22459,64,222668
-sudoku,1,0.9012843,5532298,1103995481,1109527779,17433994,65536,9632,32,222668
+big_blake2b-1024,1024,601.8003,17898925,1683662181,1701561106,17409953,262144,116637,32,222668
+big_blake2b-2048,2048,1000.01843,15556884,2032405248,2047962132,17389333,524288,230357,32,222668
+big_blake2b-4096,4096,1338.4979,26701078,3033445701,3060146779,17397178,1048576,457797,32,222668
+big_blake2b-8192,8192,2556.5974,48438754,3155820278,3204259032,17380622,1048576,912677,32,222668
+big_blake3-1024,1024,850.1025,9026451,1195534134,1204560585,17385974,131072,78908,32,222668
+big_blake3-2048,2048,1373.1039,13399929,1478111477,1491511406,17431852,262144,157645,32,222668
+big_blake3-4096,4096,2003.8812,22390693,2021642679,2044033372,17416865,524288,315653,32,222668
+big_blake3-8192,8192,2686.8303,40289940,3008655648,3048945588,17404930,1048576,631669,32,222668
+big_keccak-1024,1024,517.2093,13739036,1966117311,1979856347,17385883,524288,248820,32,222668
+big_keccak-2048,2048,667.11346,22849702,3047092864,3069942566,17384240,1048576,494921,32,222668
+big_keccak-4096,4096,1347.1538,39338156,3001146170,3040484326,17394600,1048576,961410,32,222668
+big_keccak-8192,8192,1131.33,72514537,7168520414,7241034951,17401890,2097152,1894375,32,222668
+big_sha2-1024,1024,832.2672,7855606,1222518530,1230374136,17373865,131072,43570,32,222668
+big_sha2-2048,2048,1270.4647,10959422,1601049160,1612008582,17386438,262144,84594,32,222668
+big_sha2-4096,4096,2207.7422,15901169,1839387924,1855289093,17397097,262144,166642,32,222668
+big_sha2-8192,8192,2881.2627,27405910,2815791937,2843197847,17421579,524288,330738,32,222668
+ecdsa_verify,1,0.2970447,48339096,3318157666,3366496762,17463213,1048576,697351,408,222668
+ed25519_verify,1,0.2984965,38803469,3311319575,3350123044,17418315,1048576,540918,400,222668
+fibonacci-10,10,9.197439,5104682,1082154470,1087259152,17400318,65536,2135,8,222668
+fibonacci-50,50,45.645317,4783765,1090618855,1095402620,17389940,65536,2266,8,222668
+fibonacci-90,90,81.627525,4782304,1097786906,1102569210,17390644,65536,2348,8,222668
+iter_blake2b-1,1,0.77748454,5857103,1280342127,1286199230,17437636,131072,11946,32,222668
+iter_blake2b-10,10,6.459471,8493496,1539620748,1548114244,17382546,262144,101603,32,222668
+iter_blake2b-100,100,17.955753,41086934,5528158746,5569245680,17421726,1179648,997643,32,222668
+iter_blake3-1,1,0.8941062,5069068,1113366326,1118435394,17446281,65536,5087,32,222668
+iter_blake3-10,10,8.235629,5550042,1208686175,1214236217,17411573,131072,28462,32,222668
+iter_blake3-100,100,49.93353,12888548,1989773777,2002662325,17383551,524288,262012,32,222668
+iter_keccak-1,1,0.83050203,5578968,1198511953,1204090921,17393596,131072,28322,32,222668
+iter_keccak-10,10,4.928551,12443754,2016550187,2028993941,17415207,524288,260365,32,222668
+iter_keccak-100,100,8.86596,78789504,11200305044,11279094548,17401316,3145728,2580745,32,222668
+iter_sha2-1,1,0.9008439,5075220,1104995033,1110070253,17399620,65536,2746,32,222668
+iter_sha2-10,10,9.051612,5364268,1099411319,1104775587,17391066,65536,5978,32,222668
+iter_sha2-100,100,81.34761,6250795,1223041604,1229292399,17416813,131072,38288,32,222668
+membership-10,10,9.0159235,5307461,1103841341,1109148802,17417927,65536,13229,64,222668
+membership-20,20,16.273819,5820723,1223147071,1228967794,17413678,131072,22459,64,222668
+sudoku,1,0.9020644,5386572,1103181749,1108568321,17406333,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,717.5124,19972933,1407180163,1427153096,16547862,262144,116637,32,222668
-big_blake2b-2048,2048,1343.5078,17727928,1506639855,1524367783,16584301,524288,230357,32,222668
-big_blake2b-4096,4096,1885.8416,29003477,2142971217,2171974694,16549535,1048576,457797,32,222668
-big_blake2b-8192,8192,3692.5286,51623743,2166910271,2218534014,16607405,1048576,912677,32,222668
-big_blake3-1024,1024,1056.6,10023036,959123335,969146371,16590684,131072,78908,32,222668
-big_blake3-2048,2048,1763.1222,15032294,1146543528,1161575822,16588559,262144,157645,32,222668
-big_blake3-4096,4096,2735.0828,24652380,1472925692,1497578072,16584261,524288,315653,32,222668
-big_blake3-8192,8192,3753.1736,43812559,2138873608,2182686167,16574212,1048576,631669,32,222668
-big_keccak-1024,1024,692.79803,14628552,1463435702,1478064254,16574833,524288,248820,32,222668
-big_keccak-2048,2048,954.7345,23143644,2121955337,2145098981,16604700,1048576,494921,32,222668
-big_keccak-4096,4096,1883.9222,41107187,2133080281,2174187468,16547562,1048576,961410,32,222668
-big_keccak-8192,8192,1579.1597,74229412,5113339917,5187569329,16598498,2097152,1894375,32,222668
-big_sha2-1024,1024,1038.2264,8550638,977746623,986297261,16645096,131072,43570,32,222668
-big_sha2-2048,2048,1648.657,11776944,1230446327,1242223271,16615921,262144,84594,32,222668
-big_sha2-4096,4096,2748.2417,18002787,1472404640,1490407427,16658632,262144,166642,32,222668
-big_sha2-8192,8192,3534.7395,30755531,2286812832,2317568363,16543625,524288,330738,32,222668
-ecdsa_verify,1,0.40700307,52246077,2404737765,2456983842,16634737,1048576,697351,408,222668
-ed25519_verify,1,0.41367254,40996638,2376374444,2417371082,16561358,1048576,534168,400,222668
-fibonacci-10,10,11.121993,5528989,893590457,899119446,16607596,65536,2135,8,222668
-fibonacci-50,50,54.530693,5573754,911341088,916914842,16613236,65536,2266,8,222668
-fibonacci-90,90,97.18035,5663162,920449959,926113121,16586856,65536,2348,8,222668
-iter_blake2b-1,1,1.0109962,5966344,983157008,989123352,16650507,131072,11946,32,222668
-iter_blake2b-10,10,8.585412,9165248,1155601163,1164766411,16698287,262144,101603,32,222668
-iter_blake2b-100,100,24.44163,41145839,4050234270,4091380109,16679120,1179648,997643,32,222668
-iter_blake3-1,1,1.0792756,5484605,921062744,926547349,16678018,65536,5087,32,222668
-iter_blake3-10,10,10.216996,6495172,972266105,978761277,16650065,131072,28462,32,222668
-iter_blake3-100,100,66.563385,13603358,1488724102,1502327460,16673159,524288,262012,32,222668
-iter_keccak-1,1,1.0392226,6409921,955847887,962257808,16631952,131072,28322,32,222668
-iter_keccak-10,10,6.708105,13193536,1477540467,1490734003,16600633,524288,260365,32,222668
-iter_keccak-100,100,12.245397,76862689,8089471017,8166333706,16686254,3145728,2580745,32,222668
-iter_sha2-1,1,1.0864161,5341245,915116399,920457644,16356061,65536,2746,32,222668
-iter_sha2-10,10,10.812627,5706003,919138696,924844699,16667148,65536,5978,32,222668
-iter_sha2-100,100,100.856384,6890166,984618765,991508931,16688358,131072,38288,32,222668
-membership-10,10,10.83028,6182411,917154674,923337085,16711301,65536,13229,64,222668
-membership-20,20,20.36585,6636047,975399986,982036033,16785270,131072,22459,64,222668
-sudoku,1,1.0818286,6033501,918327326,924360827,16764792,65536,9632,32,222668
+big_blake2b-1024,1024,751.4685,21836908,1340828343,1362665251,16626020,262144,116637,32,222668
+big_blake2b-2048,2048,1393.9786,17184593,1451991417,1469176010,16607615,524288,230357,32,222668
+big_blake2b-4096,4096,1933.6361,28554689,2089734425,2118289114,16638413,1048576,457797,32,222668
+big_blake2b-8192,8192,3764.7886,51068685,2124883484,2175952169,16604289,1048576,912677,32,222668
+big_blake3-1024,1024,1111.1863,9851121,911686566,921537687,16573581,131072,78908,32,222668
+big_blake3-2048,2048,1854.703,14601882,1089618067,1104219949,16628594,262144,157645,32,222668
+big_blake3-4096,4096,2834.8574,24102802,1420767123,1444869925,16623164,524288,315653,32,222668
+big_blake3-8192,8192,3857.9036,43448882,2079984306,2123433188,16603307,1048576,631669,32,222668
+big_keccak-1024,1024,718.41345,14363572,1410999440,1425363012,16621531,524288,248820,32,222668
+big_keccak-2048,2048,980.5809,23165334,2065392624,2088557958,16625919,1048576,494921,32,222668
+big_keccak-4096,4096,1924.5962,40970277,2087268436,2128238713,16697825,1048576,961410,32,222668
+big_keccak-8192,8192,1641.3123,74604307,4916524065,4991128372,16708917,2097152,1894375,32,222668
+big_sha2-1024,1024,1075.7072,8382481,943549466,951931947,16631911,131072,43570,32,222668
+big_sha2-2048,2048,1695.8557,11512464,1196137472,1207649936,16752048,262144,84594,32,222668
+big_sha2-4096,4096,2784.1016,17817637,1453393013,1471210650,16775903,262144,166642,32,222668
+big_sha2-8192,8192,3641.19,30806346,2219007661,2249814007,16718524,524288,330738,32,222668
+ecdsa_verify,1,0.41308337,51053827,2369764877,2420818704,16671546,1048576,697351,408,222668
+ed25519_verify,1,0.42481226,40991928,2312988967,2353980895,16720007,1048576,540829,400,222668
+fibonacci-10,10,11.814765,5099258,841299284,846398542,16593498,65536,2135,8,222668
+fibonacci-50,50,57.42482,5359719,865343886,870703605,16685322,65536,2266,8,222668
+fibonacci-90,90,103.2294,5208194,866636454,871844648,16668380,65536,2348,8,222668
+iter_blake2b-1,1,1.0708172,5920928,927945233,933866161,16716090,131072,11946,32,222668
+iter_blake2b-10,10,9.03393,8962205,1097975782,1106937987,16832499,262144,101603,32,222668
+iter_blake2b-100,100,25.760904,40348103,3841503185,3881851288,16700571,1179648,997643,32,222668
+iter_blake3-1,1,1.1319748,5119767,878292110,883411877,16697905,65536,5087,32,222668
+iter_blake3-10,10,10.714457,6239769,927078720,933318489,16452542,131072,28462,32,222668
+iter_blake3-100,100,69.75687,13114646,1420435911,1433550557,16738061,524288,262012,32,222668
+iter_keccak-1,1,1.0962586,6073305,906120248,912193553,16700641,131072,28322,32,222668
+iter_keccak-10,10,6.9682703,12997736,1422078580,1435076316,16705830,524288,260365,32,222668
+iter_keccak-100,100,12.831737,76887614,7716289705,7793177319,16723774,3145728,2580745,32,222668
+iter_sha2-1,1,1.1370823,5023485,874420387,879443872,16660655,65536,2746,32,222668
+iter_sha2-10,10,11.490024,5479174,864841009,870320183,16681845,65536,5978,32,222668
+iter_sha2-100,100,106.0568,6606531,936284404,942890935,16724836,131072,38288,32,222668
+membership-10,10,11.496851,5896402,863907067,869803469,16622754,65536,13229,64,222668
+membership-20,20,21.358305,6567317,929836562,936403879,16740345,131072,22459,64,222668
+sudoku,1,1.1590459,5761387,857017212,862778599,16544887,65536,9632,32,222668