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,62.158916,14798060,16459105177,16473903237,18041623,262144,116637,32,222668
-big_blake2b-2048,2048,74.61425,16218665,27431621511,27447840176,18016502,524288,230357,32,222668
-big_blake2b-4096,4096,83.067375,28101856,49281270778,49309372634,18298080,1048576,457797,32,222668
-big_blake2b-8192,8192,165.63536,51352462,49406687591,49458040053,18038854,1048576,912677,32,222668
-big_blake3-1024,1024,91.30594,9916532,11205126220,11215042752,18019678,131072,78908,32,222668
-big_blake3-2048,2048,124.07395,14003922,16492279924,16506283846,18012674,262144,157645,32,222668
-big_blake3-4096,4096,150.4604,23083017,27200026769,27223109786,18009974,524288,315653,32,222668
-big_blake3-8192,8192,165.03046,41202247,49598116385,49639318632,18019923,1048576,631669,32,222668
-big_keccak-1024,1024,37.319263,13790150,27425122204,27438912354,18011735,524288,248820,32,222668
-big_keccak-2048,2048,41.711357,23527547,49075811259,49099338806,18009635,1048576,494921,32,222668
-big_keccak-4096,4096,83.33241,38552580,49113988834,49152541414,18012499,1048576,961410,32,222668
-big_keccak-8192,8192,78.10047,71381824,104819155367,104890537191,18209315,2097152,1894375,32,222668
-big_sha2-1024,1024,91.43732,9678285,11189250503,11198928788,18004823,131072,43570,32,222668
-big_sha2-2048,2048,124.04044,11141200,16499602440,16510743640,18022319,262144,84594,32,222668
-big_sha2-4096,4096,248.25293,17776372,16481524663,16499301035,18001003,262144,166642,32,222668
-big_sha2-8192,8192,299.79248,30165366,27295403676,27325569042,18009886,524288,330738,32,222668
-ecdsa_verify,1,0.020253923,46309829,49326840330,49373150159,18020743,1048576,696802,408,222668
-ed25519_verify,1,0.020196255,36608522,49477520793,49514129315,18019907,1048576,536056,400,222668
-fibonacci-10,10,1.154793,4917855,8654642029,8659559884,18046596,65536,2135,8,222668
-fibonacci-50,50,5.786521,5488793,8635282526,8640771319,18023844,65536,2266,8,222668
-fibonacci-90,90,10.420738,5202416,8631421640,8636624056,18010950,65536,2348,8,222668
-iter_blake2b-1,1,0.0892246,5489055,11202181910,11207670965,18030261,131072,11946,32,222668
-iter_blake2b-10,10,0.60720795,8754419,16460068836,16468823255,18009085,262144,101603,32,222668
-iter_blake2b-100,100,1.4932433,39333938,66928989581,66968323519,18018972,1179648,997643,32,222668
-iter_blake3-1,1,0.115379885,5220604,8661800931,8667021535,18031153,65536,5087,32,222668
-iter_blake3-10,10,0.8947237,5989159,11170645660,11176634819,18023554,131072,28462,32,222668
-iter_blake3-100,100,3.6642492,12053840,27278667056,27290720896,18009057,524288,262012,32,222668
-iter_keccak-1,1,0.08937304,5700067,11183357746,11189057813,18006575,131072,28322,32,222668
-iter_keccak-10,10,0.36322293,12008849,27519292693,27531301542,18020789,524288,260365,32,222668
-iter_keccak-100,100,0.6232082,73224587,160386785307,160460009894,18025555,3145728,2580745,32,222668
-iter_sha2-1,1,0.11524699,6846519,8670169404,8677015923,18001038,65536,2746,32,222668
-iter_sha2-10,10,1.1556282,4962217,8648339977,8653302194,18026968,65536,5978,32,222668
-iter_sha2-100,100,8.9267845,6146068,11196095364,11202241432,18020452,131072,38288,32,222668
-membership-10,10,1.1564379,5755624,8641488258,8647243882,18012009,65536,13229,64,222668
-membership-20,20,1.7857101,5997921,11194028517,11200026438,18033744,131072,22459,64,222668
-sudoku,1,0.11563211,5492844,8642624250,8648117094,18031054,65536,9632,32,222668
+big_blake2b-1024,1024,61.618546,14511600,16603863122,16618374722,18015828,262144,116637,32,222668
+big_blake2b-2048,2048,74.648056,15853506,27419556443,27435409949,18049603,524288,230357,32,222668
+big_blake2b-4096,4096,82.6444,27606622,49534129264,49561735886,18014033,1048576,457797,32,222668
+big_blake2b-8192,8192,165.64337,50260053,49405385416,49455645469,18040994,1048576,912677,32,222668
+big_blake3-1024,1024,91.14817,9404115,11225051112,11234455227,18003569,131072,78908,32,222668
+big_blake3-2048,2048,123.72347,13714219,16539328990,16553043209,18045149,262144,157645,32,222668
+big_blake3-4096,4096,149.59738,23149223,27357008045,27380157268,18004177,524288,315653,32,222668
+big_blake3-8192,8192,165.33751,41330627,49505804254,49547134881,18016003,1048576,631669,32,222668
+big_keccak-1024,1024,37.313847,13580954,27429314583,27442895537,18028638,524288,248820,32,222668
+big_keccak-2048,2048,41.24641,22006724,49630798054,49652804778,18019879,1048576,494921,32,222668
+big_keccak-4096,4096,82.603546,38531653,49547719947,49586251600,18016815,1048576,961410,32,222668
+big_keccak-8192,8192,77.68268,70939852,105383718544,105454658396,18012818,2097152,1894375,32,222668
+big_sha2-1024,1024,90.95296,9353001,11249215029,11258568030,18016077,131072,43570,32,222668
+big_sha2-2048,2048,123.61634,11280821,16556108219,16567389040,18003256,262144,84594,32,222668
+big_sha2-4096,4096,246.80128,17232560,16579115190,16596347750,18041027,262144,166642,32,222668
+big_sha2-8192,8192,297.99857,29980075,27460086901,27490066976,18025074,524288,330738,32,222668
+ecdsa_verify,1,0.020195547,45697578,49470166337,49515863915,18014386,1048576,696802,408,222668
+ed25519_verify,1,0.020159377,36328581,49568376754,49604705335,18046904,1048576,541704,400,222668
+fibonacci-10,10,1.1522111,4841533,8674123845,8678965378,18019090,65536,2135,8,222668
+fibonacci-50,50,5.764908,4911327,8668253680,8673165007,18013776,65536,2266,8,222668
+fibonacci-90,90,10.407478,4909525,8642718354,8647627879,18029425,65536,2348,8,222668
+iter_blake2b-1,1,0.08903286,5293847,11226514972,11231808819,18017525,131072,11946,32,222668
+iter_blake2b-10,10,0.60428953,8409097,16539950507,16548359604,18032423,262144,101603,32,222668
+iter_blake2b-100,100,1.4889961,38987488,67120356165,67159343653,18005151,1179648,997643,32,222668
+iter_blake3-1,1,0.11552493,5010964,8651129697,8656140661,18010450,65536,5087,32,222668
+iter_blake3-10,10,0.8919787,5672392,11205357730,11211030122,18026340,131072,28462,32,222668
+iter_blake3-100,100,3.63403,11624793,27506033750,27517658543,18015424,524288,262012,32,222668
+iter_keccak-1,1,0.08875768,5578837,11261052687,11266631524,18033419,131072,28322,32,222668
+iter_keccak-10,10,0.36417353,11909850,27447526647,27459436497,18020251,524288,260365,32,222668
+iter_keccak-100,100,0.61779666,72008868,161793552545,161865561413,18017600,3145728,2580745,32,222668
+iter_sha2-1,1,0.11566009,6417371,8639607070,8646024441,18017698,65536,2746,32,222668
+iter_sha2-10,10,1.1569984,5155214,8637898603,8643053817,18072756,65536,5978,32,222668
+iter_sha2-100,100,8.896258,6130807,11234549708,11240680515,18007123,131072,38288,32,222668
+membership-10,10,1.1504871,5364156,8686606868,8691971024,18382690,65536,13229,64,222668
+membership-20,20,1.769317,5934736,11297862217,11303796953,18098791,131072,22459,64,222668
+sudoku,1,0.11474741,5531558,8709261663,8714793221,18002116,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,607.47864,17936153,1667719758,1685655911,16469986,262144,116637,32,222668
-big_blake2b-2048,2048,1011.3607,15900127,2009094579,2024994706,16500085,524288,230357,32,222668
-big_blake2b-4096,4096,1334.8116,26706317,3041891429,3068597746,16481742,1048576,457797,32,222668
-big_blake2b-8192,8192,2632.5242,48508173,3063334311,3111842484,16460079,1048576,912677,32,222668
-big_blake3-1024,1024,849.48785,9368696,1196063493,1205432189,16508449,131072,78908,32,222668
-big_blake3-2048,2048,1357.6455,13720244,1494773744,1508493988,16469768,262144,157645,32,222668
-big_blake3-4096,4096,2020.1942,22622578,2004905342,2027527920,16475405,524288,315653,32,222668
-big_blake3-8192,8192,2765.5186,40348132,2921845041,2962193173,16496943,1048576,631669,32,222668
-big_keccak-1024,1024,519.6122,13482258,1957218174,1970700432,16546962,524288,248820,32,222668
-big_keccak-2048,2048,679.81244,22049380,2990546280,3012595660,16497129,1048576,494921,32,222668
-big_keccak-4096,4096,1363.0546,38835927,2966179541,3005015468,16464588,1048576,961410,32,222668
-big_keccak-8192,8192,1148.216,71723888,7062822834,7134546722,16495593,2097152,1894375,32,222668
-big_sha2-1024,1024,847.267,7754617,1200837236,1208591853,16496943,131072,43570,32,222668
-big_sha2-2048,2048,1273.865,10440359,1597265381,1607705740,16503372,262144,84594,32,222668
-big_sha2-4096,4096,2227.3562,15994432,1822957121,1838951553,16482752,262144,166642,32,222668
-big_sha2-8192,8192,2816.742,27452039,2880872813,2908324852,16475951,524288,330738,32,222668
-ecdsa_verify,1,0.29422385,50828391,3347944213,3398772604,16507118,1048576,696802,408,222668
-ed25519_verify,1,0.29466152,38174829,3355549656,3393724485,16506367,1048576,536108,400,222668
-fibonacci-10,10,9.323247,4729191,1067858538,1072587729,16483026,65536,2135,8,222668
-fibonacci-50,50,45.494694,4749212,1094280115,1099029327,16494836,65536,2266,8,222668
-fibonacci-90,90,81.51831,4790441,1099256053,1104046494,16526765,65536,2348,8,222668
-iter_blake2b-1,1,0.77936065,5235292,1277867703,1283102995,16508865,131072,11946,32,222668
-iter_blake2b-10,10,6.3254437,8366042,1572550697,1580916739,16470474,262144,101603,32,222668
-iter_blake2b-100,100,18.047064,39662429,5501404940,5541067369,16475942,1179648,997643,32,222668
-iter_blake3-1,1,0.9086022,4927981,1095663742,1100591723,16495572,65536,5087,32,222668
-iter_blake3-10,10,8.308198,5562440,1198068043,1203630483,16505901,131072,28462,32,222668
-iter_blake3-100,100,49.626865,13276550,2001760872,2015037422,16469960,524288,262012,32,222668
-iter_keccak-1,1,0.84151614,5634040,1182697359,1188331399,16469289,131072,28322,32,222668
-iter_keccak-10,10,5.005613,12356070,1985401329,1997757399,16494280,524288,260365,32,222668
-iter_keccak-100,100,8.911439,78087926,11143445309,11221533235,16481066,3145728,2580745,32,222668
-iter_sha2-1,1,0.91006166,4902699,1093923929,1098826628,16482546,65536,2746,32,222668
-iter_sha2-10,10,9.050734,5066508,1099816377,1104882885,16514166,65536,5978,32,222668
-iter_sha2-100,100,82.42969,5956969,1207198213,1213155182,16469275,131072,38288,32,222668
-membership-10,10,9.0417185,5479988,1100504469,1105984457,16478588,65536,13229,64,222668
-membership-20,20,16.409403,5799688,1213013703,1218813391,16539871,131072,22459,64,222668
-sudoku,1,0.894023,5307247,1113232225,1118539472,16475582,65536,9632,32,222668
+big_blake2b-1024,1024,596.29205,18502911,1698776399,1717279310,16508635,262144,116637,32,222668
+big_blake2b-2048,2048,1007.38074,16669407,2016325590,2032994997,16474247,524288,230357,32,222668
+big_blake2b-4096,4096,1352.9363,28655816,2998833481,3027489297,16471651,1048576,457797,32,222668
+big_blake2b-8192,8192,2631.247,52428697,3060923819,3113352516,16517068,1048576,912677,32,222668
+big_blake3-1024,1024,847.7954,9508020,1198330485,1207838505,16487962,131072,78908,32,222668
+big_blake3-2048,2048,1390.6276,14489028,1458227276,1472716304,16525739,262144,157645,32,222668
+big_blake3-4096,4096,2062.1895,23962198,1962276211,1986238409,16467920,524288,315653,32,222668
+big_blake3-8192,8192,2724.4343,43651305,2963211352,3006862657,16499997,1048576,631669,32,222668
+big_keccak-1024,1024,511.1802,14550822,1988656662,2003207484,16492517,524288,248820,32,222668
+big_keccak-2048,2048,667.9703,23919766,3042084948,3066004714,16465171,1048576,494921,32,222668
+big_keccak-4096,4096,1372.7487,42778760,2941015759,2983794519,16477588,1048576,961410,32,222668
+big_keccak-8192,8192,1150.1976,79199880,7043054306,7122254186,16493738,2097152,1894375,32,222668
+big_sha2-1024,1024,833.0606,7931817,1221270457,1229202274,16478223,131072,43570,32,222668
+big_sha2-2048,2048,1263.7472,10951357,1609625922,1620577279,16502196,262144,84594,32,222668
+big_sha2-4096,4096,2207.5112,16772025,1838711146,1855483171,16523499,262144,166642,32,222668
+big_sha2-8192,8192,2899.6755,28686838,2796456656,2825143494,16493474,524288,330738,32,222668
+ecdsa_verify,1,0.2915342,51933412,3378196056,3430129468,16465491,1048576,696802,408,222668
+ed25519_verify,1,0.3045817,39888641,3243302797,3283191438,16505422,1048576,534278,400,222668
+fibonacci-10,10,9.09492,4816872,1094698023,1099514895,16538310,65536,2135,8,222668
+fibonacci-50,50,45.119915,4810701,1103347423,1108158124,16471088,65536,2266,8,222668
+fibonacci-90,90,82.145035,4879843,1090743343,1095623186,16470824,65536,2348,8,222668
+iter_blake2b-1,1,0.7848905,5376324,1268686712,1274063036,16470080,131072,11946,32,222668
+iter_blake2b-10,10,6.4510446,8985870,1541150799,1550136669,16476104,262144,101603,32,222668
+iter_blake2b-100,100,18.103529,44736675,5479047972,5523784647,16503938,1179648,997643,32,222668
+iter_blake3-1,1,0.91333586,4937086,1089950368,1094887454,16473832,65536,5087,32,222668
+iter_blake3-10,10,8.334932,5831242,1193938474,1199769716,16469005,131072,28462,32,222668
+iter_blake3-100,100,50.30737,14195040,1973585228,1987780268,16483229,524288,262012,32,222668
+iter_keccak-1,1,0.8454787,5717230,1177044713,1182761943,16477005,131072,28322,32,222668
+iter_keccak-10,10,5.0285964,13349939,1975276595,1988626534,17419267,524288,260365,32,222668
+iter_keccak-100,100,8.90634,87031163,11140925243,11227956406,16486814,3145728,2580745,32,222668
+iter_sha2-1,1,0.9183385,4934578,1083988477,1088923055,16489322,65536,2746,32,222668
+iter_sha2-10,10,9.079127,4998061,1096429324,1101427385,16485828,65536,5978,32,222668
+iter_sha2-100,100,82.38515,6258195,1207552875,1213811070,16476162,131072,38288,32,222668
+membership-10,10,9.137573,5466466,1088916107,1094382573,16496141,65536,13229,64,222668
+membership-20,20,16.725767,5996336,1189763458,1195759794,16483497,131072,22459,64,222668
+sudoku,1,0.9119072,5393500,1091209297,1096602797,16504755,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.70325,20290276,1394654418,1414944694,16746932,262144,116637,32,222668
-big_blake2b-2048,2048,1356.7797,17801351,1491655362,1509456713,16738205,524288,230357,32,222668
-big_blake2b-4096,4096,1875.6774,28979007,2154765468,2183744475,16706225,1048576,457797,32,222668
-big_blake2b-8192,8192,3648.451,51644153,2193692280,2245336433,16776267,1048576,912677,32,222668
-big_blake3-1024,1024,1039.698,10495479,974405971,984901450,16739026,131072,78908,32,222668
-big_blake3-2048,2048,1762.463,15398489,1146611734,1162010223,16761118,262144,157645,32,222668
-big_blake3-4096,4096,2706.1118,25382653,1488228206,1513610859,16757161,524288,315653,32,222668
-big_blake3-8192,8192,3725.9624,45312519,2153314108,2198626627,16745068,1048576,631669,32,222668
-big_keccak-1024,1024,670.5362,14582659,1512553423,1527136082,16737614,524288,248820,32,222668
-big_keccak-2048,2048,942.0297,23325171,2150703924,2174029095,16749707,1048576,494921,32,222668
-big_keccak-4096,4096,1873.5576,41014240,2145200852,2186215092,16839647,1048576,961410,32,222668
-big_keccak-8192,8192,1568.4019,73510522,5149640858,5223151380,16831061,2097152,1894375,32,222668
-big_sha2-1024,1024,1032.8745,8470308,982937653,991407961,16794682,131072,43570,32,222668
-big_sha2-2048,2048,1658.983,11777447,1222713792,1234491239,16781507,262144,84594,32,222668
-big_sha2-4096,4096,2739.4536,18116235,1477072468,1495188703,16785154,262144,166642,32,222668
-big_sha2-8192,8192,3640.3987,30919488,2219383508,2250302996,16823826,524288,330738,32,222668
-ecdsa_verify,1,0.403914,51909022,2423865427,2475774449,16835579,1048576,696802,408,222668
-ed25519_verify,1,0.40863505,40740744,2406430766,2447171510,16828336,1048576,527599,400,222668
-fibonacci-10,10,11.043861,5560599,899919755,905480354,16800833,65536,2135,8,222668
-fibonacci-50,50,54.21688,5537776,916684210,922221986,16859945,65536,2266,8,222668
-fibonacci-90,90,97.94969,5476692,913362374,918839066,16813858,65536,2348,8,222668
-iter_blake2b-1,1,1.0117409,6093064,982302253,988395317,16820421,131072,11946,32,222668
-iter_blake2b-10,10,8.581415,9120705,1156188204,1165308909,16822244,262144,101603,32,222668
-iter_blake2b-100,100,24.399496,40627821,4057817530,4098445351,16716895,1179648,997643,32,222668
-iter_blake3-1,1,1.089739,5334032,912316991,917651023,16800002,65536,5087,32,222668
-iter_blake3-10,10,10.1817465,6483461,975666294,982149755,16804631,131072,28462,32,222668
-iter_blake3-100,100,66.565056,13799582,1488490255,1502289837,16798098,524288,262012,32,222668
-iter_keccak-1,1,1.0389149,6415994,956126694,962542688,16841661,131072,28322,32,222668
-iter_keccak-10,10,6.6981926,13068864,1479871225,1492940089,16798299,524288,260365,32,222668
-iter_keccak-100,100,12.203948,76585463,8117483948,8194069411,16785644,3145728,2580745,32,222668
-iter_sha2-1,1,1.081824,5300289,919064589,924364878,16914738,65536,2746,32,222668
-iter_sha2-10,10,10.842248,5772208,916545727,922317935,16622617,65536,5978,32,222668
-iter_sha2-100,100,101.22957,6832579,981021064,987853643,16861778,131072,38288,32,222668
-membership-10,10,10.826329,6254579,917419555,923674134,16696166,65536,13229,64,222668
-membership-20,20,20.27198,6719035,979864452,986583487,16879752,131072,22459,64,222668
-sudoku,1,1.0810232,6102532,918946966,925049498,16800203,65536,9632,32,222668
+big_blake2b-1024,1024,733.41235,19995165,1376218000,1396213165,16710532,262144,116637,32,222668
+big_blake2b-2048,2048,1345.8093,17857679,1503903272,1521760951,16689784,524288,230357,32,222668
+big_blake2b-4096,4096,1881.2462,29153578,2148126676,2177280254,16701225,1048576,457797,32,222668
+big_blake2b-8192,8192,3695.0393,51341873,2165684544,2217026417,16724289,1048576,912677,32,222668
+big_blake3-1024,1024,1061.5814,10498934,954099639,964598573,16723978,131072,78908,32,222668
+big_blake3-2048,2048,1774.0526,15410077,1139008892,1154418969,16697027,262144,157645,32,222668
+big_blake3-4096,4096,2724.3455,25256309,1478224051,1503480360,16728286,524288,315653,32,222668
+big_blake3-8192,8192,3751.2134,44863561,2138963044,2183826605,16699832,1048576,631669,32,222668
+big_keccak-1024,1024,693.10706,14642999,1462762381,1477405380,16683190,524288,248820,32,222668
+big_keccak-2048,2048,956.545,23280468,2117758518,2141038986,16753383,1048576,494921,32,222668
+big_keccak-4096,4096,1871.6313,40633082,2147832048,2188465130,16705603,1048576,961410,32,222668
+big_keccak-8192,8192,1578.2937,74566004,5115849231,5190415235,16713057,2097152,1894375,32,222668
+big_sha2-1024,1024,1037.9222,8659039,977927373,986586412,16723086,131072,43570,32,222668
+big_sha2-2048,2048,1652.3162,11904158,1227568097,1239472255,16772068,262144,84594,32,222668
+big_sha2-4096,4096,2765.284,18111488,1463110578,1481222066,16806243,262144,166642,32,222668
+big_sha2-8192,8192,3603.7288,31144486,2242056394,2273200880,16797116,524288,330738,32,222668
+ecdsa_verify,1,0.4023633,51782795,2433533317,2485316112,16794802,1048576,696802,408,222668
+ed25519_verify,1,0.4123478,40938478,2384198881,2425137359,16768952,1048576,537154,400,222668
+fibonacci-10,10,11.199751,5449429,887427584,892877013,16748644,65536,2135,8,222668
+fibonacci-50,50,54.761147,5542395,907513729,913056124,16762800,65536,2266,8,222668
+fibonacci-90,90,98.30399,5513571,910013879,915527450,16802125,65536,2348,8,222668
+iter_blake2b-1,1,1.0155873,6089217,978562599,984651816,16870374,131072,11946,32,222668
+iter_blake2b-10,10,8.669004,9280693,1144254329,1153535022,16810390,262144,101603,32,222668
+iter_blake2b-100,100,24.42828,41011556,4052604624,4093616180,16694872,1179648,997643,32,222668
+iter_blake3-1,1,1.090634,5475609,911422322,916897931,16804218,65536,5087,32,222668
+iter_blake3-10,10,10.21189,6477020,972773651,979250671,16858211,131072,28462,32,222668
+iter_blake3-100,100,67.06011,13775330,1477424075,1491199405,16810120,524288,262012,32,222668
+iter_keccak-1,1,1.0442026,6432886,951235732,957668618,16884350,131072,28322,32,222668
+iter_keccak-10,10,6.735038,13145400,1471627246,1484772646,16836480,524288,260365,32,222668
+iter_keccak-100,100,12.191013,77160851,8125602779,8202763630,16843773,3145728,2580745,32,222668
+iter_sha2-1,1,1.0823387,5297212,918628045,923925257,16915649,65536,2746,32,222668
+iter_sha2-10,10,10.940168,5720130,908342583,914062713,16800010,65536,5978,32,222668
+iter_sha2-100,100,101.24958,6852188,980806183,987658371,16818335,131072,38288,32,222668
+membership-10,10,10.900078,6246013,911178627,917424640,16793258,65536,13229,64,222668
+membership-20,20,20.443174,6670906,971650675,978321581,16849864,131072,22459,64,222668
+sudoku,1,1.0944133,6099427,907632169,913731596,16738254,65536,9632,32,222668