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,56.211586,14975225,18201909907,18216885132,18694406,262144,116955,32,222668
-big_blake2b-2048,2048,66.283676,17150267,30880351748,30897502015,18012756,524288,230675,32,222668
-big_blake2b-4096,4096,72.35457,30394394,56579715093,56610109487,18447913,1048576,458115,32,222668
-big_blake2b-8192,8192,143.85258,47817185,56899372635,56947189820,18012462,1048576,912995,32,222668
-big_blake3-1024,1024,56.607487,8795875,18080684428,18089480303,19268836,262144,79226,32,222668
-big_blake3-2048,2048,112.67117,12331377,18164457056,18176788433,17999203,262144,157963,32,222668
-big_blake3-4096,4096,132.40582,21873078,30913322575,30935195653,18312292,524288,315970,32,222668
-big_blake3-8192,8192,144.94495,34963240,56483051022,56518014262,18167781,1048576,631984,32,222668
-big_keccak-1024,1024,33.17401,14446782,30853088901,30867535683,18005335,524288,248948,32,222668
-big_keccak-2048,2048,36.355267,23940498,56309023874,56332964372,18333402,1048576,495049,32,222668
-big_keccak-4096,4096,72.03086,40017284,56824500198,56864517482,17995774,1048576,961538,32,222668
-big_keccak-8192,8192,68.4231,74764731,119650874575,119725639306,18003456,2097152,1894503,32,222668
-big_sha2-1024,1024,85.669334,8816506,11944118500,11952935006,17998509,131072,43886,32,222668
-big_sha2-2048,2048,112.89497,11959242,18128795167,18140754409,17998796,262144,84910,32,222668
-big_sha2-4096,4096,224.7818,19144323,18202972408,18222116731,18005909,262144,166958,32,222668
-big_sha2-8192,8192,264.28183,32469632,30964741501,30997211133,17983030,524288,331054,32,222668
-ecdsa_verify,1,0.03207395,43900078,31134049284,31177949362,18026416,524288,223375,408,222668
-ed25519_verify,1,0.017619116,43641796,56712891425,56756533221,17995958,1048576,542536,400,222668
-fibonacci-10,10,1.1157794,5278951,8957066046,8962344997,18010469,65536,2526,8,222668
-fibonacci-50,50,5.596062,6041673,8928813221,8934854894,19518719,65536,2657,8,222668
-fibonacci-90,90,10.055857,5805684,8944202292,8950007976,17991329,65536,2739,8,222668
-iter_blake2b-1,1,0.083784536,5673877,11929703090,11935376967,18127142,131072,12261,32,222668
-iter_blake2b-10,10,0.5520936,9431852,18103437422,18112869274,17994415,262144,101918,32,222668
-iter_blake2b-100,100,1.3287559,45036197,75213330230,75258366427,18009289,1179648,997958,32,222668
-iter_blake3-1,1,0.11155279,6202080,8958163471,8964365551,17991606,65536,5430,32,222668
-iter_blake3-10,10,0.8370703,6566019,11939862785,11946428804,18670058,131072,28805,32,222668
-iter_blake3-100,100,3.2168915,13716224,31072195456,31085911680,18013291,524288,262355,32,222668
-iter_keccak-1,1,0.08352906,7829040,11964051539,11971880579,18968170,131072,28755,32,222668
-iter_keccak-10,10,0.3247891,14522431,30774686600,30789209031,18026021,524288,263938,32,222668
-iter_keccak-100,100,0.54781735,82552593,182460035580,182542588173,18025210,3145728,2615728,32,222668
-iter_sha2-1,1,0.11164239,5440679,8951730613,8957171292,18015069,65536,3087,32,222668
-iter_sha2-10,10,1.116697,5587894,8949393025,8954980919,17993300,65536,6301,32,222668
-iter_sha2-100,100,8.349872,7337703,11968893545,11976231248,18504758,131072,38431,32,222668
-membership-10,10,0.8397488,6001947,11902321495,11908323442,18006670,131072,14059,64,222668
-membership-20,20,1.6778077,6382756,11913934810,11920317566,18899889,131072,23744,64,222668
-sudoku,1,0.11149699,5659489,8963192708,8968852197,18232951,65536,9953,32,222668
+big_blake2b-1024,1024,56.28783,14621089,18177588964,18192210053,18327993,262144,116955,32,222668
+big_blake2b-2048,2048,66.76667,15917323,30658069621,30673986944,17989025,524288,230675,32,222668
+big_blake2b-4096,4096,72.497475,27651224,56470867838,56498519062,18405069,1048576,458115,32,222668
+big_blake2b-8192,8192,143.17758,50019781,57165638861,57215658642,18169385,1048576,912995,32,222668
+big_blake3-1024,1024,56.60124,8902315,18082574216,18091476531,18004615,262144,79226,32,222668
+big_blake3-2048,2048,112.83625,12260871,18137935005,18150195876,17997409,262144,157963,32,222668
+big_blake3-4096,4096,133.09938,19775398,30754222499,30773997897,17998999,524288,315970,32,222668
+big_blake3-8192,8192,145.2765,34230882,56354788963,56389019845,18510611,1048576,631984,32,222668
+big_keccak-1024,1024,33.27271,13884573,30762087314,30775971887,17998075,524288,248948,32,222668
+big_keccak-2048,2048,36.349,22699488,56319978208,56342677696,18236897,1048576,495049,32,222668
+big_keccak-4096,4096,71.86803,39975235,56953379251,56993354486,18006998,1048576,961538,32,222668
+big_keccak-8192,8192,68.49752,75955582,119519614342,119595569924,18014898,2097152,1894503,32,222668
+big_sha2-1024,1024,85.462135,8608645,11973306200,11981914845,18012990,131072,43886,32,222668
+big_sha2-2048,2048,113.075424,12018297,18099787472,18111805769,18425531,262144,84910,32,222668
+big_sha2-4096,4096,224.901,19769915,18192688273,18212458188,17993868,262144,166958,32,222668
+big_sha2-8192,8192,264.30545,31713169,30962729445,30994442614,17995391,524288,331054,32,222668
+ecdsa_verify,1,0.03227988,44238481,30934811946,30979050427,17988856,524288,220870,408,222668
+ed25519_verify,1,0.017565891,41503776,56887003526,56928507302,18010858,1048576,543613,400,222668
+fibonacci-10,10,1.1187776,5369776,8932957486,8938327262,18001122,65536,2526,8,222668
+fibonacci-50,50,5.5950027,5499889,8931046142,8936546031,17999402,65536,2657,8,222668
+fibonacci-90,90,10.084287,6118805,8918657075,8924775880,19609398,65536,2739,8,222668
+iter_blake2b-1,1,0.0838911,5897873,11914317256,11920215129,17989477,131072,12261,32,222668
+iter_blake2b-10,10,0.5515418,9305908,18121684812,18130990720,18003099,262144,101918,32,222668
+iter_blake2b-100,100,1.3296019,44589442,75165893157,75210482599,17997143,1179648,997958,32,222668
+iter_blake3-1,1,0.111660495,5564380,8950155078,8955719458,18020653,65536,5430,32,222668
+iter_blake3-10,10,0.8382093,6302251,11923892803,11930195054,18321392,131072,28805,32,222668
+iter_blake3-100,100,3.2491164,12688946,30764908337,30777597283,18001482,524288,262355,32,222668
+iter_keccak-1,1,0.08369661,6085816,11941829385,11947915201,18874718,131072,28755,32,222668
+iter_keccak-10,10,0.32452217,13240363,30801296857,30814537220,18551430,524288,263938,32,222668
+iter_keccak-100,100,0.54833525,82405714,182287770124,182370175838,18008133,3145728,2615728,32,222668
+iter_sha2-1,1,0.112027384,6219279,8920169449,8926388728,18013121,65536,3087,32,222668
+iter_sha2-10,10,1.1201148,5609720,8922046643,8927656363,18004344,65536,6301,32,222668
+iter_sha2-100,100,8.376961,6966681,11930536876,11937503557,18008886,131072,38431,32,222668
+membership-10,10,0.83889997,6086576,11914285835,11920372411,18269653,131072,14059,64,222668
+membership-20,20,1.677792,6470880,11913958011,11920428891,18631179,131072,23744,64,222668
+sudoku,1,0.11177114,5731574,8941122171,8946853745,17993139,65536,9953,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,321.22534,17705648,3170087616,3187793264,16366334,262144,116955,32,222668
-big_blake2b-2048,2048,1259.6895,15162096,1610635389,1625797485,16380893,524288,230675,32,222668
-big_blake2b-4096,4096,1789.5708,25386545,2263430360,2288816905,16376991,1048576,458115,32,222668
-big_blake2b-8192,8192,3549.4211,45043486,2262938397,2307981883,16359539,1048576,912995,32,222668
-big_blake3-1024,1024,876.2268,8985850,1159661266,1168647116,16369937,262144,79226,32,222668
-big_blake3-2048,2048,1745.1665,11928150,1161598849,1173526999,16386917,262144,157963,32,222668
-big_blake3-4096,4096,2721.0503,18799573,1486501552,1505301125,16383356,524288,315970,32,222668
-big_blake3-8192,8192,3755.4885,31701600,2149639135,2181340735,16367305,1048576,631984,32,222668
-big_keccak-1024,1024,677.9882,13416724,1496934008,1510350732,16371863,524288,248948,32,222668
-big_keccak-2048,2048,937.3539,21546894,2163326861,2184873755,16382533,1048576,495049,32,222668
-big_keccak-4096,4096,1857.7281,37938964,2166904496,2204843460,16396792,1048576,961538,32,222668
-big_keccak-8192,8192,1513.7766,70127176,5341503405,5411630581,16369869,2097152,1894503,32,222668
-big_sha2-1024,1024,1016.73035,8741926,998408151,1007150077,16390948,131072,43886,32,222668
-big_sha2-2048,2048,1582.0972,11588562,1282895776,1294484338,16425698,262144,84910,32,222668
-big_sha2-4096,4096,2650.6292,17554773,1527738806,1545293579,16465890,262144,166958,32,222668
-big_sha2-8192,8192,3413.002,29127693,2371105271,2400232964,16391615,524288,331054,32,222668
-ecdsa_verify,1,0.5239366,41415472,1867212365,1908627837,16434536,524288,223385,408,222668
-ed25519_verify,1,0.39654312,38642136,2483151719,2521793855,16395424,1048576,529372,400,222668
-fibonacci-10,10,10.759177,6015191,923423869,929439060,16392283,65536,2526,8,222668
-fibonacci-50,50,53.96002,5485995,921126008,926612003,16370844,65536,2657,8,222668
-fibonacci-90,90,95.179054,5483627,940102537,945586164,16383287,65536,2739,8,222668
-iter_blake2b-1,1,0.90099096,6142905,1103746186,1109889091,16401799,131072,12261,32,222668
-iter_blake2b-10,10,7.8036537,9595868,1271855135,1281451003,16381409,262144,101918,32,222668
-iter_blake2b-100,100,22.721973,42455566,4358570617,4401026183,16417269,1179648,997958,32,222668
-iter_blake3-1,1,1.0670912,5707787,931419185,937126972,16442163,65536,5430,32,222668
-iter_blake3-10,10,9.936327,6603785,999804337,1006408122,16412021,131072,28805,32,222668
-iter_blake3-100,100,65.70208,13510106,1508511595,1522021701,16422886,524288,262355,32,222668
-iter_keccak-1,1,0.98938036,6688394,1004045263,1010733657,16413037,131072,28755,32,222668
-iter_keccak-10,10,6.646695,13322267,1491184812,1504507079,16381795,524288,263938,32,222668
-iter_keccak-100,100,11.780203,80145911,8408672158,8488818069,16371135,3145728,2615728,32,222668
-iter_sha2-1,1,1.0729699,5732087,926260508,931992595,16409511,65536,3087,32,222668
-iter_sha2-10,10,10.754894,5946355,923862945,929809300,16404352,65536,6301,32,222668
-iter_sha2-100,100,98.961136,6962959,1003534768,1010497727,16386764,131072,38431,32,222668
-membership-10,10,9.9757805,6059971,996367836,1002427807,16371625,131072,14059,64,222668
-membership-20,20,19.72973,6644703,1007053863,1013698566,16415102,131072,23744,64,222668
-sudoku,1,1.0727504,6396568,925786680,932183248,16386172,65536,9953,32,222668
+big_blake2b-1024,1024,393.5114,17525856,2584685870,2602211726,16396889,262144,116955,32,222668
+big_blake2b-2048,2048,1256.3125,15540855,1614626865,1630167720,16358037,524288,230675,32,222668
+big_blake2b-4096,4096,1786.4325,25411401,2267426563,2292837964,16390326,1048576,458115,32,222668
+big_blake2b-8192,8192,3544.6055,45377470,2265740258,2311117728,16365565,1048576,912995,32,222668
+big_blake3-1024,1024,872.0005,8700240,1165610984,1174311224,16369094,262144,79226,32,222668
+big_blake3-2048,2048,1741.916,11684943,1164031942,1175716885,16359543,262144,157963,32,222668
+big_blake3-4096,4096,2711.7214,19143165,1491336451,1510479616,16406852,524288,315970,32,222668
+big_blake3-8192,8192,3750.4775,31618169,2152636997,2184255166,16652682,1048576,631984,32,222668
+big_keccak-1024,1024,674.81885,13309678,1504134582,1517444260,16359580,524288,248948,32,222668
+big_keccak-2048,2048,937.26624,22022603,2163055480,2185078083,16375388,1048576,495049,32,222668
+big_keccak-4096,4096,1854.4478,37741357,2171002483,2208743840,16384487,1048576,961538,32,222668
+big_keccak-8192,8192,1509.8894,69997806,5355564885,5425562691,16433304,2097152,1894503,32,222668
+big_sha2-1024,1024,1018.52466,8111252,997264463,1005375715,16395072,131072,43886,32,222668
+big_sha2-2048,2048,1578.6743,10855852,1286435189,1297291041,16402493,262144,84910,32,222668
+big_sha2-4096,4096,2600.5461,16972305,1558081502,1575053807,16367992,262144,166958,32,222668
+big_sha2-8192,8192,3396.2996,28832668,2383204227,2412036895,16398311,524288,331054,32,222668
+ecdsa_verify,1,0.5223333,41234052,1873252355,1914486407,16391229,524288,227967,408,222668
+ed25519_verify,1,0.39538163,39337772,2489864267,2529202039,16387927,1048576,542668,400,222668
+fibonacci-10,10,10.68682,5070918,930661094,935732012,16437418,65536,2526,8,222668
+fibonacci-50,50,53.866745,5468239,922748180,928216419,16399186,65536,2657,8,222668
+fibonacci-90,90,96.505104,5762480,926830695,932593175,16370716,65536,2739,8,222668
+iter_blake2b-1,1,0.8898267,5709239,1118105146,1123814385,16395436,131072,12261,32,222668
+iter_blake2b-10,10,7.8012414,9366031,1272481163,1281847194,16369095,262144,101918,32,222668
+iter_blake2b-100,100,22.635132,45321702,4372589179,4417910881,16409493,1179648,997958,32,222668
+iter_blake3-1,1,1.0706916,5205808,928769996,933975804,16397802,65536,5430,32,222668
+iter_blake3-10,10,9.976401,6358650,996006792,1002365442,16361331,131072,28805,32,222668
+iter_blake3-100,100,65.815,12944461,1506465943,1519410404,16444621,524288,262355,32,222668
+iter_keccak-1,1,0.97680265,6368740,1017379522,1023748262,16380281,131072,28755,32,222668
+iter_keccak-10,10,6.618986,13004060,1497801237,1510805297,16382610,524288,263938,32,222668
+iter_keccak-100,100,11.7591095,80174133,8423871263,8504045396,16363356,3145728,2615728,32,222668
+iter_sha2-1,1,1.0570238,5113454,940939066,946052520,16363095,65536,3087,32,222668
+iter_sha2-10,10,10.676634,5229905,931394847,936624752,16361084,65536,6301,32,222668
+iter_sha2-100,100,98.84267,6304477,1005404414,1011708891,16373425,131072,38431,32,222668
+membership-10,10,9.87755,5627605,1006769262,1012396867,16385644,131072,14059,64,222668
+membership-20,20,19.563097,5993836,1016339169,1022333005,16371254,131072,23744,64,222668
+sudoku,1,1.0697848,5980696,928786770,934767466,16441183,65536,9953,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,637.9828,20578061,1584480859,1605058920,16018447,262144,116955,32,222668
-big_blake2b-2048,2048,1505.887,21700379,1338295439,1359995818,16181865,524288,230675,32,222668
-big_blake2b-4096,4096,2196.236,29023328,1835985713,1865009041,16183328,1048576,458115,32,222668
-big_blake2b-8192,8192,4240.7056,50794510,1880959649,1931754159,16106744,1048576,912995,32,222668
-big_blake3-1024,1024,1001.3166,9961548,1012692025,1022653573,16271715,262144,79226,32,222668
-big_blake3-2048,2048,1956.7582,14499541,1032129584,1046629125,16216621,262144,157963,32,222668
-big_blake3-4096,4096,3141.3232,22794974,1281114043,1303909017,16102796,524288,315970,32,222668
-big_blake3-8192,8192,4519.232,38914914,1773782539,1812697453,16217824,1048576,631984,32,222668
-big_keccak-1024,1024,783.5207,15078063,1291843418,1306921481,16246317,524288,248948,32,222668
-big_keccak-2048,2048,1128.6888,24516073,1789978620,1814494693,16023547,1048576,495049,32,222668
-big_keccak-4096,4096,2228.5527,41665624,1796298484,1837964108,16158020,1048576,961538,32,222668
-big_keccak-8192,8192,1812.4756,75780580,4444004277,4519784857,16163631,2097152,1894503,32,222668
-big_sha2-1024,1024,1135.1414,14314050,887776241,902090291,16241909,131072,43886,32,222668
-big_sha2-2048,2048,1802.5582,14013404,1122149568,1136162972,16236428,262144,84910,32,222668
-big_sha2-4096,4096,2947.1804,20763541,1369039444,1389802985,16156177,262144,166958,32,222668
-big_sha2-8192,8192,3772.7822,34229241,2137112691,2171341932,16185903,524288,331054,32,222668
-ecdsa_verify,1,0.6191032,44362202,1570877423,1615239625,16027474,524288,224120,408,222668
-ed25519_verify,1,0.48364663,45172751,2022452452,2067625203,16043986,1048576,551080,400,222668
-fibonacci-10,10,12.000209,5963734,827355112,833318846,16224136,65536,2526,8,222668
-fibonacci-50,50,59.741604,6669125,830268570,836937695,16275642,65536,2657,8,222668
-fibonacci-90,90,107.12377,6516426,833633219,840149645,16299427,65536,2739,8,222668
-iter_blake2b-1,1,1.0733552,7170992,924487081,931658073,16158792,131072,12261,32,222668
-iter_blake2b-10,10,9.568384,10598830,1034509706,1045108536,16286222,262144,101918,32,222668
-iter_blake2b-100,100,27.132,44682447,3641002273,3685684720,16201252,1179648,997958,32,222668
-iter_blake3-1,1,1.1762868,10725659,839407123,850132782,16348340,65536,5430,32,222668
-iter_blake3-10,10,11.194249,7523888,885791982,893315870,16344091,131072,28805,32,222668
-iter_blake3-100,100,76.15649,14915336,1298170444,1313085780,16270883,524288,262355,32,222668
-iter_keccak-1,1,1.1245974,6732955,882474119,889207074,16342749,131072,28755,32,222668
-iter_keccak-10,10,7.620267,14455247,1297834770,1312290017,16083710,524288,263938,32,222668
-iter_keccak-100,100,13.840883,82869516,7142102584,7224972100,16004190,3145728,2615728,32,222668
-iter_sha2-1,1,1.171205,10979718,842841700,853821418,16224566,65536,3087,32,222668
-iter_sha2-10,10,11.900597,6800483,833493521,840294004,16398645,65536,6301,32,222668
-iter_sha2-100,100,111.38579,7942397,889838201,897780598,16353880,131072,38431,32,222668
-membership-10,10,11.208018,7123141,885095203,892218344,16248381,131072,14059,64,222668
-membership-20,20,22.531935,7538655,880090377,887629032,16322751,131072,23744,64,222668
-sudoku,1,1.1935064,6964391,830903020,837867411,16308724,65536,9953,32,222668
+big_blake2b-1024,1024,651.2274,19883015,1552532277,1572415292,16091302,262144,116955,32,222668
+big_blake2b-2048,2048,1506.8977,21382736,1337700839,1359083575,15897827,524288,230675,32,222668
+big_blake2b-4096,4096,2246.2007,27352699,1796170818,1823523517,15989639,1048576,458115,32,222668
+big_blake2b-8192,8192,4265.749,48571616,1871841465,1920413081,15961477,1048576,912995,32,222668
+big_blake3-1024,1024,997.4476,9537936,1017082480,1026620416,16066976,262144,79226,32,222668
+big_blake3-2048,2048,1979.4211,14090095,1020555783,1034645878,16083466,262144,157963,32,222668
+big_blake3-4096,4096,3214.3352,21941420,1252350177,1274291597,16029475,524288,315970,32,222668
+big_blake3-8192,8192,4471.986,36763005,1795085350,1831848355,15916792,1048576,631984,32,222668
+big_keccak-1024,1024,800.5989,14906075,1264136365,1279042440,16049092,524288,248948,32,222668
+big_keccak-2048,2048,1146.8517,24134307,1761624064,1785758371,16022342,1048576,495049,32,222668
+big_keccak-4096,4096,2264.531,40433911,1768329065,1808762976,15980863,1048576,961538,32,222668
+big_keccak-8192,8192,1830.1023,73244299,4403008244,4476252543,16135635,2097152,1894503,32,222668
+big_sha2-1024,1024,1141.3735,14257210,882907465,897164675,16167385,131072,43886,32,222668
+big_sha2-2048,2048,1780.8354,13615560,1136406522,1150022082,16168908,262144,84910,32,222668
+big_sha2-4096,4096,2986.3394,19788247,1351790713,1371578960,16169790,262144,166958,32,222668
+big_sha2-8192,8192,3798.0906,32715178,2124158048,2156873226,16105177,524288,331054,32,222668
+ecdsa_verify,1,0.60960996,44100680,1596292442,1640393122,15932281,524288,220485,408,222668
+ed25519_verify,1,0.48478386,42948135,2019826815,2062774950,15779513,1048576,538830,400,222668
+fibonacci-10,10,12.0737,6117693,822128867,828246560,16165361,65536,2526,8,222668
+fibonacci-50,50,59.77457,6948841,829527256,836476097,16164880,65536,2657,8,222668
+fibonacci-90,90,107.58749,6857018,829671479,836528497,16158278,65536,2739,8,222668
+iter_blake2b-1,1,1.1302603,7496305,877255631,884751936,16113864,131072,12261,32,222668
+iter_blake2b-10,10,9.331679,10834513,1060783885,1071618398,16291389,262144,101918,32,222668
+iter_blake2b-100,100,27.54676,44061987,3586128939,3630190926,15790754,1179648,997958,32,222668
+iter_blake3-1,1,1.1972326,10815948,824443634,835259582,16144552,65536,5430,32,222668
+iter_blake3-10,10,11.326879,7803614,875052123,882855737,16203292,131072,28805,32,222668
+iter_blake3-100,100,77.03709,14983310,1283092851,1298076161,16155182,524288,262355,32,222668
+iter_keccak-1,1,1.1370285,6945274,872540154,879485428,16162606,131072,28755,32,222668
+iter_keccak-10,10,7.7014194,14440376,1284021513,1298461889,16143600,524288,263938,32,222668
+iter_keccak-100,100,14.022153,80507283,7051065417,7131572700,15851789,3145728,2615728,32,222668
+iter_sha2-1,1,1.1896663,10786783,829785143,840571926,16168107,65536,3087,32,222668
+iter_sha2-10,10,12.020781,7114544,824778165,831892709,16159500,65536,6301,32,222668
+iter_sha2-100,100,112.216354,8208528,882927141,891135669,16196300,131072,38431,32,222668
+membership-10,10,11.353021,7437433,873385418,880822851,16112562,131072,14059,64,222668
+membership-20,20,22.633402,7815517,875834278,883649795,16074950,131072,23744,64,222668
+sudoku,1,1.1968995,7294423,828197617,835492040,16174317,65536,9953,32,222668