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.21851,15400855,18199241505,18214642360,18076229,262144,116700,32,222668
-big_blake2b-2048,2048,66.3173,19990133,30861847051,30881837184,18060051,524288,230420,32,222668
-big_blake2b-4096,4096,72.557434,28358203,56423472685,56451830888,18053364,1048576,457860,32,222668
-big_blake2b-8192,8192,143.69875,51338371,56956813595,57008151966,18029271,1048576,912740,32,222668
-big_blake3-1024,1024,56.42983,8825628,18137604771,18146430399,18063303,262144,78971,32,222668
-big_blake3-2048,2048,112.27298,13332441,18227922773,18241255214,18080012,262144,157708,32,222668
-big_blake3-4096,4096,131.85263,21728883,31043253629,31064982512,18047327,524288,315716,32,222668
-big_blake3-8192,8192,144.18306,36856251,56779800917,56816657168,18048247,1048576,631732,32,222668
-big_keccak-1024,1024,33.134293,15061545,30889474709,30904536254,18055844,524288,248693,32,222668
-big_keccak-2048,2048,36.280518,23823670,56425204864,56449028534,18025126,1048576,494794,32,222668
-big_keccak-4096,4096,72.12244,42599463,56749712877,56792312340,18067722,1048576,961283,32,222668
-big_keccak-8192,8192,68.13087,80155460,120159032026,120239187486,18074937,2097152,1894248,32,222668
-big_sha2-1024,1024,85.52333,10377314,11962963211,11973340525,18059761,131072,43633,32,222668
-big_sha2-2048,2048,112.933495,11061046,18123506898,18134567944,18037188,262144,84657,32,222668
-big_sha2-4096,4096,223.30331,17007566,18325756928,18342764494,18072026,262144,166705,32,222668
-big_sha2-8192,8192,264.59735,29894276,30930357113,30960251389,18052918,524288,330801,32,222668
-ecdsa_verify,1,0.0319826,51632864,31215368876,31267001740,18075363,524288,227533,408,222668
-ed25519_verify,1,0.017576758,40895995,56852419513,56893315508,18051545,1048576,537375,400,222668
-fibonacci-10,10,1.1205093,4969939,8919544030,8924513969,18065479,65536,2264,8,222668
-fibonacci-50,50,5.591076,5114328,8937708217,8942822545,18049225,65536,2395,8,222668
-fibonacci-90,90,10.059013,5111234,8942088692,8947199926,18063178,65536,2477,8,222668
-iter_blake2b-1,1,0.08330079,6122496,11998565217,12004687713,18043365,131072,12006,32,222668
-iter_blake2b-10,10,0.5486049,8985401,18219068344,18228053745,18032160,262144,101663,32,222668
-iter_blake2b-100,100,1.3271586,42243957,75306701637,75348945594,18063535,1179648,997703,32,222668
-iter_blake3-1,1,0.11152021,5216204,8961768119,8966984323,18086181,65536,5150,32,222668
-iter_blake3-10,10,0.8346957,5896778,11974517667,11980414445,18061853,131072,28525,32,222668
-iter_blake3-100,100,3.233871,12282048,30910410697,30922692745,18041907,524288,262075,32,222668
-iter_keccak-1,1,0.08364213,5898654,11949798374,11955697028,18052580,131072,28500,32,222668
-iter_keccak-10,10,0.32346985,12500736,30902280631,30914781367,18045816,524288,263683,32,222668
-iter_keccak-100,100,0.5477747,77134669,182479690675,182556825344,18046717,3145728,2615473,32,222668
-iter_sha2-1,1,0.11155124,7241690,8957248130,8964489820,18036537,65536,2809,32,222668
-iter_sha2-10,10,1.1195008,5187531,8927365577,8932553108,18024109,65536,6041,32,222668
-iter_sha2-100,100,8.3600855,6143887,11955456651,11961600538,18037006,131072,38351,32,222668
-membership-10,10,0.833478,5981521,11991935551,11997917072,18036205,131072,13845,64,222668
-membership-20,20,1.6672641,6289196,11989410609,11995699805,18063010,131072,23560,64,222668
-sudoku,1,0.11096901,6266620,9005258420,9011525040,18076629,65536,9698,32,222668
+big_blake2b-1024,1024,56.129383,15221339,18228343488,18243564827,18042961,262144,116700,32,222668
+big_blake2b-2048,2048,66.16019,19088128,30936084311,30955172439,18022291,524288,230420,32,222668
+big_blake2b-4096,4096,72.15656,28269358,56737183032,56765452390,18028985,1048576,457860,32,222668
+big_blake2b-8192,8192,143.36897,50490693,57088790903,57139281596,18054327,1048576,912740,32,222668
+big_blake3-1024,1024,56.31769,9098638,18173466026,18182564664,18021293,262144,78971,32,222668
+big_blake3-2048,2048,111.51913,12981651,18351581028,18364562679,18023477,262144,157708,32,222668
+big_blake3-4096,4096,132.04503,20957997,30998764124,31019722121,18049012,524288,315716,32,222668
+big_blake3-8192,8192,144.26591,37268244,56746762357,56784030601,18029138,1048576,631732,32,222668
+big_keccak-1024,1024,33.063446,14462906,30956295018,30970757924,18036015,524288,248693,32,222668
+big_keccak-2048,2048,36.22081,23886264,56518192892,56542079156,18029490,1048576,494794,32,222668
+big_keccak-4096,4096,71.91629,42581285,56912524826,56955106111,18242251,1048576,961283,32,222668
+big_keccak-8192,8192,67.92144,79914740,120530014306,120609929046,18045812,2097152,1894248,32,222668
+big_sha2-1024,1024,85.25293,9324725,12001992868,12011317593,18036394,131072,43633,32,222668
+big_sha2-2048,2048,112.692986,10941059,18162329145,18173270204,18023060,262144,84657,32,222668
+big_sha2-4096,4096,223.15263,16941225,18338208889,18355150114,18044388,262144,166705,32,222668
+big_sha2-8192,8192,263.0919,29078251,31108333655,31137411906,18046165,524288,330801,32,222668
+ecdsa_verify,1,0.031832412,51169537,31363349924,31414519461,18034661,524288,230828,408,222668
+ed25519_verify,1,0.017533824,39900512,56992722256,57032622768,18025837,1048576,537401,400,222668
+fibonacci-10,10,1.1134342,4919592,8976302092,8981221684,18046085,65536,2264,8,222668
+fibonacci-50,50,5.560056,5013521,8987701439,8992714960,18037453,65536,2395,8,222668
+fibonacci-90,90,10.034325,4958092,8964255673,8969213765,18019697,65536,2477,8,222668
+iter_blake2b-1,1,0.083352424,5406633,11991844739,11997251372,18036019,131072,12006,32,222668
+iter_blake2b-10,10,0.5466768,8836468,18283506380,18292342848,18032108,262144,101663,32,222668
+iter_blake2b-100,100,1.3270011,42088223,75315800061,75357888284,18023875,1179648,997703,32,222668
+iter_blake3-1,1,0.110918194,5061312,9010591864,9015653176,18044092,65536,5150,32,222668
+iter_blake3-10,10,0.8329465,5771312,11999801755,12005573067,18039202,131072,28525,32,222668
+iter_blake3-100,100,3.2216654,11995264,31027851157,31039846421,18046122,524288,262075,32,222668
+iter_keccak-1,1,0.083244614,5744257,12007044264,12012788521,18042991,131072,28500,32,222668
+iter_keccak-10,10,0.32287118,12772952,30959331915,30972104867,18043475,524288,263683,32,222668
+iter_keccak-100,100,0.54434043,77769967,183630802046,183708572013,18029031,3145728,2615473,32,222668
+iter_sha2-1,1,0.11154468,6411983,8958604953,8965016936,18055867,65536,2809,32,222668
+iter_sha2-10,10,1.1151716,5128256,8962101989,8967230245,18030579,65536,6041,32,222668
+iter_sha2-100,100,8.34227,6180783,11980963910,11987144693,18044915,131072,38351,32,222668
+membership-10,10,0.8348465,5550380,11972699120,11978249500,18045033,131072,13845,64,222668
+membership-20,20,1.6673627,5986345,11989003766,11994990111,18039780,131072,23560,64,222668
+sudoku,1,0.11170273,5353766,8946978669,8952332435,18049376,65536,9698,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,471.57907,17868886,2153559002,2171427888,16459328,262144,116700,32,222668
-big_blake2b-2048,2048,1237.1024,15284379,1640197002,1655481381,16397123,524288,230420,32,222668
-big_blake2b-4096,4096,1775.2596,26255274,2281012978,2307268252,16421542,1048576,457860,32,222668
-big_blake2b-8192,8192,3524.465,46810909,2277513487,2324324396,16406040,1048576,912740,32,222668
-big_blake3-1024,1024,874.511,9009080,1161931146,1170940226,16380428,262144,78971,32,222668
-big_blake3-2048,2048,1726.971,12448601,1173442765,1185891366,16385388,262144,157708,32,222668
-big_blake3-4096,4096,2686.9377,20611494,1503800384,1524411878,16377486,524288,315716,32,222668
-big_blake3-8192,8192,3715.6384,34424545,2170311065,2204735610,16397594,1048576,631732,32,222668
-big_keccak-1024,1024,676.4821,13983448,1499730002,1513713450,16626052,524288,248693,32,222668
-big_keccak-2048,2048,943.52997,23429028,2147143328,2170572356,16396683,1048576,494794,32,222668
-big_keccak-4096,4096,1866.0624,40892521,2154103850,2194996371,16408321,1048576,961283,32,222668
-big_keccak-8192,8192,1498.3535,74609107,5392725451,5467334558,16593013,2097152,1894248,32,222668
-big_sha2-1024,1024,1005.27893,7707853,1010914885,1018622738,16721467,131072,43633,32,222668
-big_sha2-2048,2048,1563.9392,10371777,1299142001,1309513778,16527049,262144,84657,32,222668
-big_sha2-4096,4096,2572.4592,15737304,1576513402,1592250706,16710094,262144,166705,32,222668
-big_sha2-8192,8192,3374.4036,26970646,2400717770,2427688416,16545497,524288,330801,32,222668
-ecdsa_verify,1,0.50607955,49195518,1926778265,1975973783,16623428,524288,232903,408,222668
-ed25519_verify,1,0.39395857,39700518,2498637417,2538337935,16639197,1048576,546790,400,222668
-fibonacci-10,10,10.608758,4962275,937655114,942617389,16552805,65536,2264,8,222668
-fibonacci-50,50,53.286053,5181651,933150213,938331864,16671837,65536,2395,8,222668
-fibonacci-90,90,95.40958,4983795,938317705,943301500,16716288,65536,2477,8,222668
-iter_blake2b-1,1,0.8905455,5500461,1117406835,1122907296,16647195,131072,12006,32,222668
-iter_blake2b-10,10,7.7791476,8700509,1276787384,1285487893,16508160,262144,101663,32,222668
-iter_blake2b-100,100,22.480139,39942195,4408428792,4448370987,16501539,1179648,997703,32,222668
-iter_blake3-1,1,1.0411625,5138568,955326294,960464862,16636902,65536,5150,32,222668
-iter_blake3-10,10,9.854141,5884941,1008916785,1014801726,16538179,131072,28525,32,222668
-iter_blake3-100,100,65.3122,12554166,1518553256,1531107422,16502979,524288,262075,32,222668
-iter_keccak-1,1,0.98841876,5834628,1005882367,1011716995,16511261,131072,28500,32,222668
-iter_keccak-10,10,6.6011615,12712638,1502172340,1514884978,16454468,524288,263683,32,222668
-iter_keccak-100,100,11.691677,77390002,8475702949,8553092951,16496117,3145728,2615473,32,222668
-iter_sha2-1,1,1.0603439,5087732,938002494,943090226,16546375,65536,2809,32,222668
-iter_sha2-10,10,10.612907,5149945,937098949,942248894,16579690,65536,6041,32,222668
-iter_sha2-100,100,97.69893,6355651,1017196983,1023552634,16573781,131072,38351,32,222668
-membership-10,10,9.7852955,5534529,1016406982,1021941511,16662862,131072,13845,64,222668
-membership-20,20,19.640684,6045575,1012248861,1018294436,16473227,131072,23560,64,222668
-sudoku,1,1.0575842,5455755,940095494,945551249,16554896,65536,9698,32,222668
+big_blake2b-1024,1024,427.39114,17558954,2378372793,2395931747,16393586,262144,116700,32,222668
+big_blake2b-2048,2048,1236.3921,15250549,1641181881,1656432430,16394937,524288,230420,32,222668
+big_blake2b-4096,4096,1775.5011,26204569,2280749736,2306954305,16436525,1048576,457860,32,222668
+big_blake2b-8192,8192,3495.296,46188767,2297532647,2343721414,16411021,1048576,912740,32,222668
+big_blake3-1024,1024,867.8099,8683083,1171298866,1179981949,16417438,262144,78971,32,222668
+big_blake3-2048,2048,1739.9258,12312841,1164748883,1177061724,16408494,262144,157708,32,222668
+big_blake3-4096,4096,2687.7908,20408346,1503519830,1523928176,16418527,524288,315716,32,222668
+big_blake3-8192,8192,3676.0273,35736826,2192755963,2228492789,16388820,1048576,631732,32,222668
+big_keccak-1024,1024,676.56757,14106790,1499415408,1513522198,16407133,524288,248693,32,222668
+big_keccak-2048,2048,939.5181,23450195,2156390519,2179840714,16392007,1048576,494794,32,222668
+big_keccak-4096,4096,1854.7933,40920680,2167411608,2208332288,16390051,1048576,961283,32,222668
+big_keccak-8192,8192,1504.283,76907392,5368876840,5445784232,16483625,2097152,1894248,32,222668
+big_sha2-1024,1024,1000.837,7584966,1015558695,1023143661,16389159,131072,43633,32,222668
+big_sha2-2048,2048,1599.7706,10418346,1269765169,1280183515,16406937,262144,84657,32,222668
+big_sha2-4096,4096,2679.6555,15134186,1513420528,1528554714,16386461,262144,166705,32,222668
+big_sha2-8192,8192,3400.697,26433199,2382484653,2408917852,16411706,524288,330801,32,222668
+ecdsa_verify,1,0.5169192,47014766,1887523683,1934538449,16441351,524288,231055,408,222668
+ed25519_verify,1,0.3921494,38948589,2511100074,2550048663,16424362,1048576,540046,400,222668
+fibonacci-10,10,10.684013,4879879,931097946,935977825,16420089,65536,2264,8,222668
+fibonacci-50,50,53.719807,4845057,925910320,930755377,16401166,65536,2395,8,222668
+fibonacci-90,90,96.37458,4864196,928992014,933856210,16390403,65536,2477,8,222668
+iter_blake2b-1,1,0.90081507,5353510,1104752278,1110105788,16384270,131072,12006,32,222668
+iter_blake2b-10,10,7.8266287,8494004,1269195330,1277689334,16434708,262144,101663,32,222668
+iter_blake2b-100,100,22.458998,41585105,4410973552,4452558657,16433698,1179648,997703,32,222668
+iter_blake3-1,1,1.0644715,5069166,934364175,939433341,16474777,65536,5150,32,222668
+iter_blake3-10,10,9.823353,5755007,1012227362,1017982369,16470201,131072,28525,32,222668
+iter_blake3-100,100,65.41663,12358544,1516304734,1528663278,16388346,524288,262075,32,222668
+iter_keccak-1,1,0.99674255,5704192,997563934,1003268126,16414655,131072,28500,32,222668
+iter_keccak-10,10,6.5997853,12650188,1502550586,1515200774,16545183,524288,263683,32,222668
+iter_keccak-100,100,11.701769,77033398,8468682749,8545716147,16462463,3145728,2615473,32,222668
+iter_sha2-1,1,1.0639751,4962203,934909410,939871613,16380538,65536,2809,32,222668
+iter_sha2-10,10,10.487248,4940392,948598579,953538971,16394756,65536,6041,32,222668
+iter_sha2-100,100,97.067635,6128923,1024080637,1030209560,16569439,131072,38351,32,222668
+membership-10,10,9.865049,5459984,1008219632,1013679616,16490924,131072,13845,64,222668
+membership-20,20,19.497635,6043199,1019722162,1025765361,16419500,131072,23560,64,222668
+sudoku,1,1.06129,5312289,936937161,942249450,16410027,65536,9698,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,641.68585,20390414,1575406046,1595796460,16279885,262144,116700,32,222668
-big_blake2b-2048,2048,1580.3452,18228859,1277690528,1295919387,16292508,524288,230420,32,222668
-big_blake2b-4096,4096,2227.758,27703573,1810916229,1838619802,16248946,1048576,457860,32,222668
-big_blake2b-8192,8192,4315.5874,49596330,1848639057,1898235387,16309019,1048576,912740,32,222668
-big_blake3-1024,1024,999.4781,9088516,1015446223,1024534739,16279594,262144,78971,32,222668
-big_blake3-2048,2048,1960.5756,13573642,1031017493,1044591135,16276689,262144,157708,32,222668
-big_blake3-4096,4096,3104.784,21941589,1297312837,1319254426,16256550,524288,315716,32,222668
-big_blake3-8192,8192,4431.988,38134480,1810246123,1848380603,16280055,1048576,631732,32,222668
-big_keccak-1024,1024,784.8864,14627519,1290019782,1304647301,16270067,524288,248693,32,222668
-big_keccak-2048,2048,1140.705,23870737,1771510346,1795381083,16110736,1048576,494794,32,222668
-big_keccak-4096,4096,2221.0647,41626033,1802534584,1844160617,16266540,1048576,961283,32,222668
-big_keccak-8192,8192,1808.0416,78783782,4452085237,4530869019,16312407,2097152,1894248,32,222668
-big_sha2-1024,1024,1168.3385,7336553,869121745,876458298,16352713,131072,43633,32,222668
-big_sha2-2048,2048,1796.4084,11037641,1129014922,1140052563,16280396,262144,84657,32,222668
-big_sha2-4096,4096,2962.4358,17034027,1365611936,1382645963,16400662,262144,166705,32,222668
-big_sha2-8192,8192,3829.116,28496178,2110900838,2139397016,16334398,524288,330801,32,222668
-ecdsa_verify,1,0.59737086,55900287,1618101682,1674001969,16336913,524288,230849,408,222668
-ed25519_verify,1,0.48079792,41838915,2038037046,2079875961,16378941,1048576,545886,400,222668
-fibonacci-10,10,11.999814,5007762,828338500,833346262,16433315,65536,2264,8,222668
-fibonacci-50,50,59.66174,5173475,832884562,838058037,16449686,65536,2395,8,222668
-fibonacci-90,90,108.08409,5116487,827568510,832684997,16380205,65536,2477,8,222668
-iter_blake2b-1,1,1.1224738,5568770,885320581,890889351,16394712,131072,12006,32,222668
-iter_blake2b-10,10,9.583043,8882788,1034627104,1043509892,16348534,262144,101663,32,222668
-iter_blake2b-100,100,27.44094,40690220,3603499504,3644189724,16100857,1179648,997703,32,222668
-iter_blake3-1,1,1.1931552,7659592,830454368,838113960,16379032,65536,5150,32,222668
-iter_blake3-10,10,11.295102,5958094,879381399,885339493,16399651,131072,28525,32,222668
-iter_blake3-100,100,76.641525,12922275,1291853485,1304775760,16388440,524288,262075,32,222668
-iter_keccak-1,1,1.1320868,5981107,877343379,883324486,16364155,131072,28500,32,222668
-iter_keccak-10,10,7.6820836,12665149,1289065012,1301730161,16381076,524288,263683,32,222668
-iter_keccak-100,100,13.915651,77162067,7108990709,7186152776,16368903,3145728,2615473,32,222668
-iter_sha2-1,1,1.1887493,7912970,833307319,841220289,16387498,65536,2809,32,222668
-iter_sha2-10,10,11.904775,5388119,834611008,839999127,16389321,65536,6041,32,222668
-iter_sha2-100,100,112.27768,6361364,884287624,890648988,16386166,131072,38351,32,222668
-membership-10,10,11.278406,5775599,880874519,886650118,16236314,131072,13845,64,222668
-membership-20,20,22.47864,6292435,883441140,889733575,16349837,131072,23560,64,222668
-sudoku,1,1.2002149,5594949,827589253,833184202,16440308,65536,9698,32,222668
+big_blake2b-1024,1024,654.6506,20491978,1543701221,1564193199,16200252,262144,116700,32,222668
+big_blake2b-2048,2048,1649.5028,17528969,1224057295,1241586264,16224998,524288,230420,32,222668
+big_blake2b-4096,4096,2347.4763,28221770,1716630711,1744852481,16214007,1048576,457860,32,222668
+big_blake2b-8192,8192,4523.008,50211924,1760972150,1811184074,16248353,1048576,912740,32,222668
+big_blake3-1024,1024,1058.796,9670714,957465521,967136235,16271055,262144,78971,32,222668
+big_blake3-2048,2048,2087.24,13859175,967340880,981200055,16292776,262144,157708,32,222668
+big_blake3-4096,4096,3320.2537,22560029,1211080654,1233640683,16276235,524288,315716,32,222668
+big_blake3-8192,8192,4639.881,39065397,1726497203,1765562600,16224918,1048576,631732,32,222668
+big_keccak-1024,1024,837.1453,14999847,1208204829,1223204676,16294269,524288,248693,32,222668
+big_keccak-2048,2048,1177.3645,24366498,1715111685,1739478183,16239706,1048576,494794,32,222668
+big_keccak-4096,4096,2325.4727,42833114,1718529232,1761362346,16290091,1048576,961283,32,222668
+big_keccak-8192,8192,1888.5187,80372162,4257419248,4337791410,15996898,2097152,1894248,32,222668
+big_sha2-1024,1024,1182.7606,8143202,857627918,865771120,16294740,131072,43633,32,222668
+big_sha2-2048,2048,1902.0201,11453016,1065296944,1076749960,16298848,262144,84657,32,222668
+big_sha2-4096,4096,3149.7954,17311078,1283090921,1300401999,16323394,262144,166705,32,222668
+big_sha2-8192,8192,4078.2104,29523005,1979201288,2008724293,16267649,524288,330801,32,222668
+ecdsa_verify,1,0.60596216,55494119,1594773999,1650268118,16284180,524288,232513,408,222668
+ed25519_verify,1,0.491764,41802931,1991692743,2033495674,16277587,1048576,536450,400,222668
+fibonacci-10,10,12.519674,5254633,793488200,798742833,16342460,65536,2264,8,222668
+fibonacci-50,50,61.948895,5526586,801590354,807116940,16306602,65536,2395,8,222668
+fibonacci-90,90,111.83588,5574497,799176129,804750626,16434363,65536,2477,8,222668
+iter_blake2b-1,1,1.1697515,6048791,848833648,854882439,16366796,131072,12006,32,222668
+iter_blake2b-10,10,10.279866,9260540,963514793,972775333,16421599,262144,101663,32,222668
+iter_blake2b-100,100,28.854244,41840011,3423854574,3465694585,16103328,1179648,997703,32,222668
+iter_blake3-1,1,1.2341058,5449801,804853469,810303270,16394348,65536,5150,32,222668
+iter_blake3-10,10,11.680053,6372732,849787778,856160510,16367938,131072,28525,32,222668
+iter_blake3-100,100,81.74526,13369211,1209943318,1223312529,16325918,524288,262075,32,222668
+iter_keccak-1,1,1.1763331,6259679,843839737,850099416,16388547,131072,28500,32,222668
+iter_keccak-10,10,8.077897,13127164,1224818781,1237945945,16378799,524288,263683,32,222668
+iter_keccak-100,100,14.62332,78031436,6760361419,6838392855,16026935,3145728,2615473,32,222668
+iter_sha2-1,1,1.2284578,5230146,808798682,814028828,16335828,65536,2809,32,222668
+iter_sha2-10,10,12.368602,5783350,802715467,808498817,16339134,65536,6041,32,222668
+iter_sha2-100,100,116.17805,6844181,853903652,860747833,16408555,131072,38351,32,222668
+membership-10,10,11.716743,6185058,847294334,853479392,16422671,131072,13845,64,222668
+membership-20,20,23.436909,6804577,846550320,853354897,16363990,131072,23560,64,222668
+sudoku,1,1.2449563,6002544,797238544,803241088,16377587,65536,9698,32,222668