rubydragon/metagraphoptimization.jl
1
0
Fork 0
Code Issues 6 Pull Requests Actions Packages Projects Releases Wiki Activity

Add evaluation script, run script, csv data and first plots

Browse Source
This commit is contained in:
Anton Reinhard
2024-02-06 09:35:04 +01:00
parent 7098d1801a
commit 3ac9954d32
42 changed files with 6725 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files

545
data/fwk8999results.csv Normal file
View File

@ -0,0 +1,545 @@
process_name,graph_gen_time,optimization_time,function_generation_time,graph_nodes,graph_edges,graph_mem,cpu_threads,n_inputs,nflops_likwid,cpu_time,cpu_rate,cpu_gflops,gpu_name,gpu_time,gpu_rate,gpu_gflops
QED Process: 'ke->ke' not optimized,0.000416832,0.0,0.142191958,26,29,6532.0,1,1000000,5683,1.099657532,909374.0286407642,5.167972604765463,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000416832,0.000226336,0.007362257,26,29,6948.0,1,1000000,5683,1.093019605,914896.6728734934,5.199357791940063,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001429112,0.0,0.162321306,77,101,19175.0,1,1000000,23078,3.929152613,254507.80320708302,5.873531082413062,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001429112,0.053476821,0.014625596,61,79,16863.0,1,1000000,16308,2.71745083,367991.9389746603,6.00121254079876,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011559475,0.0,0.082647032,356,493,85898.0,1,1000000,120271,19.718061619,50714.924180803675,6.099534646149439,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011559475,0.005813488,0.032362166,148,221,43962.0,1,1000000,43511,7.009285762,142667.88856310863,6.207622499269419,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059642889,0.0,0.484053531,2183,3015,504653.0,1,1000000,749880,127.166558192,7863.7026449215455,5.896833339373769,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059642889,0.038744443,0.134278476,621,983,185533.0,1,1000000,189455,36.864168806,27126.611894128488,5.139272256402113,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.062327969,0.0,6.39553959,15866,21617,3.982352e6,1,1000000,5405897,944.871738203,1058.3447039085383,5.721302459825056,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.062327969,0.471654237,0.526469997,2234,3977,1.145088e6,1,1000000,648737,128.755149847,7766.679633306333,5.03853244527225,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,41.640690229,17.832311501,6.235837339,15033,27047,6.074251e6,1,1000000,4340484,888.270837833,1125.7827651300265,4.886442079522638,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000474433,0.0,0.016971529,34,37,8624.0,1,1000000,41,0.167961691,5.953738581972243e6,0.244103281860862,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000474433,0.000250697,0.0079372,34,37,9296.0,1,1000000,41,0.170930543,5.850329510741682e6,0.23986350994040895,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000391901,0.0,0.05897346,280,385,69428.0,1,1000000,555,0.500031125,1.9998755077496425e6,1.1099309068010517,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000391901,0.003088955,0.040907741,200,285,57156.0,1,1000000,899,0.544853754,1.8353548868087637e6,1.6499840432410786,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.008247368,0.0,2.347340066,7854,11241,1.982968e6,1,1000000,15833,38.190558541,26184.482191493382,0.4145789065379147,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.008247368,0.277489117,1.301354394,4998,7671,1.507432e6,1,1000000,27893,40.152697698,24904.926874933484,0.6946731253225197,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000403852,0.0,0.142253199,26,29,6532.0,2,1000000,5683,0.715233959,1.3981439044059708e6,7.945651808739132,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000403852,0.000333769,0.007473796,26,29,6948.0,2,1000000,5683,0.710643502,1.4071753237532594e6,7.996977364889774,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001427479,0.0,0.164651479,77,101,19175.0,2,1000000,23078,1.994241302,501443.8317956369,11.572320750179708,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001427479,0.001256415,0.014462799,61,79,16863.0,2,1000000,16308,1.395239134,716723.0158841,11.688318943037903,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011687372,0.0,0.083362074,356,493,85898.0,2,1000000,120271,10.079910039,99207.23460139206,11.931753312744025,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011687372,0.020481006,0.032324393,148,221,43962.0,2,1000000,43511,3.542087589,282319.3878958593,12.283998886736734,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.058450195,0.0,0.487866147,2183,3015,504653.0,2,1000000,749880,64.173043909,15582.866871922748,11.685280209917432,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.058450195,0.040989213,0.136890851,621,983,185533.0,2,1000000,189455,19.426389187,51476.370125910624,9.752455702204397,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,0.907366535,0.0,6.673265193,15866,21617,3.982352e6,2,1000000,5405897,476.620817192,2098.1039097106077,11.342133631192844,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,0.907366535,0.515813351,0.543554445,2234,3977,1.138176e6,2,1000000,648737,69.196827669,14451.529552531747,9.375241927320788,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,42.970869315,17.421805278,6.286650041,15033,27047,6.074251e6,2,1000000,4340484,469.142044286,2131.5505872468266,9.251961219135454,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000156505,0.0,0.016950324,34,37,8624.0,2,1000000,41,0.122152986,8.18645563031918e6,0.33564468084308635,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000156505,0.000394292,0.008227015,34,37,9296.0,2,1000000,41,0.123829122,8.075644758266153e6,0.33110143508891227,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000383511,0.0,0.06001645,280,385,69428.0,2,1000000,555,0.206061622,4.852917250161217e6,2.693369073839475,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000383511,0.003188985,0.042017264,200,285,57156.0,2,1000000,899,0.23257461,4.299695482666831e6,3.8654262389174816,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007379088,0.0,2.384403811,7854,11241,1.982968e6,2,1000000,15833,21.434312986,46654.16617986116,0.7386754131257417,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007379088,0.310597709,1.355576602,4998,7671,1.507432e6,2,1000000,27893,22.115403905,45217.35186459395,1.261247595559119,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000405703,0.0,0.142290644,26,29,6532.0,3,1000000,5683,0.618635998,1.616459441792781e6,9.186339007708375,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000405703,0.000293069,0.00749667,26,29,6948.0,3,1000000,5683,0.608292104,1.6439470337099757e6,9.342550992573791,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001477943,0.0,0.165342625,77,101,19175.0,3,1000000,23078,1.410915157,708759.8393416366,16.35675957232629,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001477943,0.001259767,0.014541245,61,79,16863.0,3,1000000,16308,0.956493062,1.0454858897868305e6,17.04978389064363,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011676933,0.0,0.083632557,356,493,85898.0,3,1000000,120271,6.599057066,151536.80139428575,18.225482640492142,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011676933,0.007060747,0.032375987,148,221,43962.0,3,1000000,43511,2.339197699,427497.0005431764,18.60082199063415,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059402986,0.0,0.604593404,2183,3015,504653.0,3,1000000,749880,42.229919926,23679.893349367274,17.757078424823533,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059402986,0.040831071,0.138829109,621,983,185533.0,3,1000000,189455,13.358083803,74861.03656389825,14.182797682213343,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.010801956,0.0,6.513001516,15866,21617,3.982352e6,3,1000000,5405897,314.28804148,3181.794621554622,17.200453999278267,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.010801956,0.520249361,0.55030339,2234,3977,1.145088e6,3,1000000,648737,48.109826326,20785.77447409262,13.484500974999424,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,43.577325507,17.370965212,6.417132285,15033,27047,6.074251e6,3,1000000,4340484,324.487561375,3081.7822284544577,13.376426454090918,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000165215,0.0,0.017266445,34,37,8624.0,3,1000000,41,0.10678774,9.36437085380775e6,0.3839392050061177,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000165215,0.000363811,0.008209255,34,37,9296.0,3,1000000,41,0.111947808,8.932734082653945e6,0.36624209738881175,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000432082,0.0,0.061304796,280,385,69428.0,3,1000000,555,0.16296477,6.136295593213183e6,3.4056440542333166,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000432082,0.003687795,0.043141496,200,285,57156.0,3,1000000,899,0.175522881,5.697262911266822e6,5.121839357228874,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007962198,0.0,2.402439353,7854,11241,1.982968e6,3,1000000,15833,15.293166704,65388.681059655566,1.0352989872175264,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007962198,0.278245766,1.363143846,4998,7671,1.507432e6,3,1000000,27893,16.426870091,60875.86950285087,1.6980106280430194,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000422062,0.0,0.197552826,26,29,6532.0,4,1000000,5683,0.319258827,3.1322548209450133e6,17.800604147430512,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000422062,0.00034778,0.007437403,26,29,6948.0,4,1000000,5683,0.31865171,3.1382226067451513e6,17.834519074132693,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001454252,0.0,0.162749368,77,101,19175.0,4,1000000,23078,1.070005011,934575.0624713664,21.56812329171419,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001454252,0.043562969,0.014515897,61,79,16863.0,4,1000000,16308,0.735867718,1.3589398957707777e6,22.161591820229845,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011621733,0.0,0.082766494,356,493,85898.0,4,1000000,120271,4.84551426,206376.44351912403,24.821101238488566,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011621733,0.006195958,0.032464041,148,221,43962.0,4,1000000,43511,1.772960393,564028.3922574914,24.541439375515704,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059685482,0.0,0.489193295,2183,3015,504653.0,4,1000000,749880,32.687658868,30592.585539338295,22.940768044239004,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059685482,0.055994537,0.135945621,621,983,185533.0,4,1000000,189455,10.196835842,98069.6380225202,18.579783271556565,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.039591441,0.0,6.510710069,15866,21617,3.982352e6,4,1000000,5405897,237.966946723,4202.264279854072,22.71700786367029,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.039591441,0.640614183,0.546447189,2234,3977,1.145088e6,4,1000000,648737,36.456954636,27429.608698378062,17.79460205815969,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,43.65494964,18.511698708,6.337512756,15033,27047,6.074251e6,4,1000000,4340484,250.654946467,3989.548237906628,17.31657029386191,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000154694,0.0,0.016521915,34,37,8624.0,4,1000000,41,0.094403111,1.0592871245524948e7,0.4343077210665229,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000154694,0.000365451,0.007846395,34,37,9296.0,4,1000000,41,0.095364289,1.0486105548377758e7,0.4299303274834881,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000454003,0.0,0.059000415,280,385,69428.0,4,1000000,555,0.137236503,7.286691063528484e6,4.044113540258309,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000454003,0.003244713,0.040646297,200,285,57156.0,4,1000000,899,0.149994089,6.666929388130755e6,5.993569519929549,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.008454683,0.0,2.331775454,7854,11241,1.982968e6,4,1000000,15833,12.236253762,81724.35938730901,1.2939417821792636,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.008454683,0.270852591,1.30331116,4998,7671,1.507432e6,4,1000000,27893,12.659176209,78994.08172303134,2.203381921500513,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000413252,0.0,0.143073739,26,29,6532.0,5,1000000,5683,0.269337367,3.712815682199789e6,21.099931521941404,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000413252,0.000382241,0.007462694,26,29,6948.0,5,1000000,5683,0.268163175,3.729072793085777e6,21.192320683106473,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001425911,0.0,0.162960172,77,101,19175.0,5,1000000,23078,0.834405712,1.1984577593591544e6,27.658008170490564,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001425911,0.044672164,0.014594958,61,79,16863.0,5,1000000,16308,0.933567282,1.0711600752092337e6,17.468478506512184,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011554321,0.0,0.083364585,356,493,85898.0,5,1000000,120271,3.969103991,251946.03171585183,30.301801180497215,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011554321,0.006345572,0.032632617,148,221,43962.0,5,1000000,43511,1.436361166,696203.7290278565,30.292520453731065,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.060042395,0.0,0.490456751,2183,3015,504653.0,5,1000000,749880,26.294862678,38030.24234223004,28.518118127591464,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.060042395,0.040309208,0.136546763,621,983,185533.0,5,1000000,189455,8.806703481,113549.86598077787,21.51258985938827,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.042384898,0.0,6.543593732,15866,21617,3.982352e6,5,1000000,5405897,191.983645358,5208.777019184409,28.15811206167794,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.042384898,0.528700782,0.546099641,2234,3977,1.145088e6,5,1000000,648737,31.472241708,31774.031518886302,20.612989885467744,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.147109337,18.339093794,6.3069457,15033,27047,6.074251e6,5,1000000,4340484,213.464950286,4684.60980905859,20.333473922461863,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000164015,0.0,0.016842494,34,37,8624.0,5,1000000,41,0.090457259,1.1054944744677706e7,0.4532527345317859,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000164015,0.000381851,0.007886717,34,37,9296.0,5,1000000,41,0.09120457,1.0964362860325968e7,0.44953887727336467,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000423002,0.0,0.057193913,280,385,69428.0,5,1000000,555,0.126378072,7.91276511956916e6,4.3915846413608834,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000423002,0.003400608,0.040203966,200,285,57156.0,5,1000000,899,0.134988849,7.408019309802397e6,6.659809359512355,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.008469303,0.0,2.299039913,7854,11241,1.982968e6,5,1000000,15833,11.802467581,84728.04463448244,1.3414991306977606,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.008469303,0.3065725,1.301002324,4998,7671,1.507432e6,5,1000000,27893,12.07699346,82802.06520870302,2.309598004866353,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000417043,0.0,0.143020139,26,29,6532.0,6,1000000,5683,0.230687349,4.334871436751393e6,24.635074375058164,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000417043,0.00034728,0.007539307,26,29,6948.0,6,1000000,5683,0.23281343,4.29528485534533e6,24.410103832927515,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001459612,0.0,0.164676412,77,101,19175.0,6,1000000,23078,0.704806482,1.418829175864475e6,32.74373972060036,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001459612,0.043699365,0.014504647,61,79,16863.0,6,1000000,16308,0.917638498,1.0897537561681506e6,17.771704255590198,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011739657,0.0,0.083612243,356,493,85898.0,6,1000000,120271,3.324746697,300774.7931300524,36.17448514454453,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011739657,0.005715194,0.032312268,148,221,43962.0,6,1000000,43511,1.20584806,829291.8761257533,36.08331882210765,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059683435,0.0,0.493719767,2183,3015,504653.0,6,1000000,749880,22.811595267,43837.355007198144,32.872755772797746,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059683435,0.040256967,0.137925133,621,983,185533.0,6,1000000,189455,7.853848082,127326.1195733936,24.122569983777286,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.054503402,0.0,6.554282919,15866,21617,3.982352e6,6,1000000,5405897,160.707695505,6222.477379553287,33.63807179869497,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.054503402,0.501320626,0.554327439,2234,3977,1.145088e6,6,1000000,648737,27.60822707,36221.08719493374,23.497959443579727,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,43.669608476,17.802861267,6.213337504,15033,27047,6.074251e6,6,1000000,4340484,182.721755884,5472.802049006386,23.754609728879437,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000166535,0.0,0.01668645,34,37,8624.0,6,1000000,41,0.085374503,1.1713098933062017e7,0.4802370562555427,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000166535,0.000375531,0.007825246,34,37,9296.0,6,1000000,41,0.086987749,1.1495871677286418e7,0.47133073876874315,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000452273,0.0,0.057925504,280,385,69428.0,6,1000000,555,0.113074279,8.843744208176645e6,4.9082780355380375,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000452273,0.00314191,0.039873736,200,285,57156.0,6,1000000,899,0.120100791,8.326339832349647e6,7.485379509282333,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.009214085,0.0,2.321825459,7854,11241,1.982968e6,6,1000000,15833,10.267792035,97391.92190407468,1.5420062995072146,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.009214085,0.297605192,1.291820411,4998,7671,1.507432e6,6,1000000,27893,10.720895566,93275.78968042342,2.6017416015560504,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000407492,0.0,0.142142425,26,29,6532.0,7,1000000,5683,0.205797674,4.85914141089855e6,27.614500638136462,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000407492,0.000369221,0.007512386,26,29,6948.0,7,1000000,5683,0.20531643,4.870530819184807e6,27.679226645427256,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001469573,0.0,0.165391603,77,101,19175.0,7,1000000,23078,0.610286318,1.6385751580948927e6,37.81503749851393,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001469573,0.047330541,0.014504177,61,79,16863.0,7,1000000,16308,0.43291809,2.3099057837938815e6,37.66994352211062,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011569733,0.0,0.082708966,356,493,85898.0,7,1000000,120271,2.860309674,349612.4944406981,42.0482443188772,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011569733,0.006750314,0.032273987,148,221,43962.0,7,1000000,43511,1.044942608,956990.3575029644,41.63960744531148,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059614693,0.0,0.492936576,2183,3015,504653.0,7,1000000,749880,19.095801878,52367.531166737004,39.269364271312746,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059614693,0.056236605,0.138333034,621,983,185533.0,7,1000000,189455,6.34676174,157560.66494470296,29.8506557770987,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.050310742,0.0,6.551371601,15866,21617,3.982352e6,7,1000000,5405897,138.132281353,7239.437372676693,39.13565277464082,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.050310742,0.495498539,0.733534099,2234,3977,1.145088e6,7,1000000,648737,23.74606662,42112.23761824012,27.31976669574424,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,43.349001903,18.422956294,6.20023174,15033,27047,6.074251e6,7,1000000,4340484,161.251631842,6201.487628849766,26.91745782922035,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000164355,0.0,0.01704772,34,37,8624.0,7,1000000,41,0.086480955,1.156323955950764e7,0.4740928219398133,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000164355,0.000412952,0.00836477,34,37,9296.0,7,1000000,41,0.089418719,1.1183340705205139e7,0.45851696891341065,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000420162,0.0,0.057607305,280,385,69428.0,7,1000000,555,0.110367501,9.060638239874616e6,5.028654223130412,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000420162,0.003228623,0.039971169,200,285,57156.0,7,1000000,899,0.115717315,8.641749076186221e6,7.7689324194914136,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.006768464,0.0,2.307065796,7854,11241,1.982968e6,7,1000000,15833,9.046608035,110538.6677670953,1.7501587267564198,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.006768464,0.289403906,1.307146192,4998,7671,1.507432e6,7,1000000,27893,9.386326727,106537.94919832434,2.9716630169888605,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000407091,0.0,0.273066077,26,29,6532.0,8,1000000,5683,0.187113846,5.3443399373021275e6,30.37188386368799,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000407091,0.000411822,0.007487655,26,29,6948.0,8,1000000,5683,0.187552789,5.33183220218602e6,30.300802405023152,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001461052,0.0,0.16462108,77,101,19175.0,8,1000000,23078,0.564297766,1.7721140508644152e6,40.89684806584898,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001461052,0.056890616,0.01465998,61,79,16863.0,8,1000000,16308,0.385435328,2.5944689740531514e6,42.310600028858794,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.01160686,0.0,0.083179479,356,493,85898.0,8,1000000,120271,2.508861262,398587.20573605,47.938481821080465,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.01160686,0.007306783,0.032529438,148,221,43962.0,8,1000000,43511,0.918300754,1.0889678524645967e6,47.382080228587064,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.060035062,0.0,0.490512261,2183,3015,504653.0,8,1000000,749880,16.796615652,59535.80296879201,44.64470793023776,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.060035062,0.040415015,0.138334341,621,983,185533.0,8,1000000,189455,5.866855301,170449.0649069785,32.292427591951615,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.085570766,0.0,6.62849813,15866,21617,3.982352e6,8,1000000,5405897,123.327489076,8108.492336074032,43.83367439410561,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.085570766,0.488386218,0.552508179,2234,3977,1.145088e6,8,1000000,648737,21.553492489,46396.19312324247,30.098927138192952,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.412101158,18.197264492,6.353428834,15033,27047,6.074251e6,8,1000000,4340484,148.047148125,6754.604952982102,29.318254724739568,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000146674,0.0,0.017128359,34,37,8624.0,8,1000000,41,0.088785018,1.1263161539258799e7,0.46178962310961075,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000146674,0.000415051,0.008459913,34,37,9296.0,8,1000000,41,0.088094555,1.1351439371025825e7,0.4654090142120588,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000453451,0.0,0.062898243,280,385,69428.0,8,1000000,555,0.105873779,9.445209280760631e6,5.242091150822151,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000453451,0.003255032,0.043431236,200,285,57156.0,8,1000000,899,0.10929342,9.149681655126173e6,8.22556380795843,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007021448,0.0,2.438662754,7854,11241,1.982968e6,8,1000000,15833,8.719411378,114686.64072016445,1.8158335825223637,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007021448,0.279258146,1.385337411,4998,7671,1.507432e6,8,1000000,27893,8.849104422,113005.78593172353,3.152070386993564,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000415981,0.0,0.142074969,26,29,6532.0,9,1000000,5683,0.90093379,1.1099594788203028e6,6.30789971813578,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000415981,0.000436702,0.007530575,26,29,6948.0,9,1000000,5683,0.874710346,1.1432355917280987e6,6.497007867790785,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001457917,0.0,0.165713831,77,101,19175.0,9,1000000,23078,0.512481676,1.9512892788775533e6,45.03185397793617,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001457917,0.043212987,0.014603927,61,79,16863.0,9,1000000,16308,0.358141002,2.7921963539935593e6,45.53513814092696,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011681223,0.0,0.08335605,356,493,85898.0,9,1000000,120271,2.287616782,437136.15316536,52.57480227735101,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011681223,0.006810646,0.032095143,148,221,43962.0,9,1000000,43511,0.84204133,1.1875901625873875e6,51.67323556433981,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.060532594,0.0,0.49242029,2183,3015,504653.0,9,1000000,749880,15.65187103,63890.12521782835,47.90992709834512,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.060532594,0.04373095,0.136935272,621,983,185533.0,9,1000000,189455,5.660829724,176652.54896474606,33.46770866411597,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.06867787,0.0,6.528005973,15866,21617,3.982352e6,9,1000000,5405897,112.246015855,8909.002180458729,48.161148160335294,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.06867787,0.599657175,0.545603133,2234,3977,1.138176e6,9,1000000,648737,19.835588588,50414.43542567591,32.705709594746715,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,45.069601648,18.052478781,6.444323717,15033,27047,6.074251e6,9,1000000,4340484,135.847359555,7361.203068471374,31.951184139450902,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000162754,0.0,0.016933906,34,37,8624.0,9,1000000,41,0.086219465,1.1598309036132386e7,0.47553067048142783,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000162754,0.000432842,0.00814777,34,37,9296.0,9,1000000,41,0.085579369,1.1685059281051721e7,0.4790874305231206,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000410271,0.0,0.061241763,280,385,69428.0,9,1000000,555,0.108576561,9.210090932977699e6,5.111600467802623,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000410271,0.003269348,0.043063382,200,285,57156.0,9,1000000,899,0.106781435,9.364923780992456e6,8.419066479112217,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007349228,0.0,2.422015697,7854,11241,1.982968e6,9,1000000,15833,8.26459201,120998.10841116161,1.9157630504739218,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007349228,0.331438575,1.379430053,4998,7671,1.507432e6,9,1000000,27893,8.701080396,114928.25654842966,3.205693859905349,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000404781,0.0,0.141596923,26,29,6532.0,10,1000000,5683,0.16322332,6.126575540798949e6,34.81732879836043,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000404781,0.000389751,0.007607107,26,29,6948.0,10,1000000,5683,0.166281055,6.013914212896953e6,34.177074471893384,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.094137777,0.0,0.162168485,77,101,19175.0,10,1000000,23078,0.448930803,2.2275147824953324e6,51.40658615042729,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.094137777,0.044206691,0.0143803,61,79,16863.0,10,1000000,16308,0.321777464,3.1077378371034707e6,50.680988647483396,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011551814,0.0,0.082958195,356,493,85898.0,10,1000000,120271,2.048706218,488112.93254931684,58.70583051063888,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011551814,0.006589459,0.03239809,148,221,43962.0,10,1000000,43511,0.751390472,1.3308659575337283e6,57.907308678250054,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.060020652,0.0,0.492926956,2183,3015,504653.0,10,1000000,749880,14.500608235,68962.62444952538,51.71369282221009,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.060020652,0.039742322,0.136650449,621,983,185533.0,10,1000000,189455,3.777879044,264698.7868995416,50.14850867205266,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.088321527,0.0,6.430067533,15866,21617,3.982352e6,10,1000000,5405897,99.408929763,10059.458464989932,54.38039633751368,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.088321527,0.68403137,0.551130398,2234,3977,1.145088e6,10,1000000,648737,19.80851602,50483.33751959679,32.75040893245066,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.122659554,16.118877974,6.126612105,15033,27047,6.074251e6,10,1000000,4340484,129.639490484,7713.698937465503,33.481186818886016,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000161575,0.0,0.01714635,34,37,8624.0,10,1000000,41,0.085320822,1.1720468422116233e7,0.4805392053067656,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000161575,0.000402971,0.008176434,34,37,9296.0,10,1000000,41,0.091957683,1.0874567163681148e7,0.44585725371092705,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.00035024,0.0,0.060008547,280,385,69428.0,10,1000000,555,0.102871544,9.720861193645544e6,5.395077962473277,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.00035024,0.003186318,0.042141327,200,285,57156.0,10,1000000,899,0.102263958,9.77861623544827e6,8.790975995667994,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007332621,0.0,2.39644201,7854,11241,1.982968e6,10,1000000,15833,7.093082377,140982.43145217033,2.232174837182213,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007332621,0.273692037,1.348103426,4998,7671,1.507432e6,10,1000000,27893,8.406378912,118957.28356623476,3.318075510512986,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000406502,0.0,0.141790228,26,29,6532.0,11,1000000,5683,0.152140033,6.572891961972954e6,37.353745019892294,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000406502,0.000421482,0.007437875,26,29,6948.0,11,1000000,5683,0.153610833,6.509957536653681e6,36.99608868080286,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001448078,0.0,0.16399523,77,101,19175.0,11,1000000,23078,0.413552565,2.4180722951144073e6,55.80427242665029,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001448078,0.001287738,0.014476007,61,79,16863.0,11,1000000,16308,0.302012973,3.311116042687345e6,53.997680424145216,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011549805,0.0,0.082902214,356,493,85898.0,11,1000000,120271,1.842802374,542651.7862734206,65.26527298689057,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011549805,0.006389496,0.032343334,148,221,43962.0,11,1000000,43511,0.692055287,1.4449712599334568e6,62.87214449096464,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059032921,0.0,0.489917204,2183,3015,504653.0,11,1000000,749880,13.442805766,74389.23223373754,55.7829974674351,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059032921,0.056634255,0.138971179,621,983,185533.0,11,1000000,189455,5.206396863,192071.4125937349,36.38888947294605,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.075847276,0.0,6.517554046,15866,21617,3.982352e6,11,1000000,5405897,92.762839214,10780.178878451981,58.27653665848693,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.075847276,0.477987998,0.547846858,2234,3977,1.145088e6,11,1000000,648737,18.732986297,53381.77181927183,34.63073050471895,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,43.3795548,18.064181564,6.438537503,15033,27047,6.074251e6,11,1000000,4340484,118.034265281,8472.116106448711,36.77308440618293,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000158504,0.0,0.016891054,34,37,8624.0,11,1000000,41,0.084551612,1.1827095620601533e7,0.4849109204446629,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000158504,0.00040669,0.008044817,34,37,9296.0,11,1000000,41,0.086822992,1.1517686467197537e7,0.47222514515509906,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.00037811,0.0,0.059958124,280,385,69428.0,11,1000000,555,0.116438315,8.588238330312492e6,4.766472273323433,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.00037811,0.003211239,0.041741948,200,285,57156.0,11,1000000,899,0.100392355,9.960917840805706e6,8.95486513888433,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007829143,0.0,2.377448136,7854,11241,1.982968e6,11,1000000,15833,6.894505859,145043.027078527,2.2964662477343176,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007829143,0.262388836,1.33119686,4998,7671,1.507432e6,11,1000000,27893,7.386928053,135374.27098587717,3.7759945406090716,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.00040974,0.0,0.141702878,26,29,6532.0,12,1000000,5683,0.143172598,6.984576755392816e6,39.69334970089737,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.00040974,0.000403,0.007448387,26,29,6948.0,12,1000000,5683,0.143856539,6.951369794875991e6,39.50463454428026,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001466116,0.0,0.165770224,77,101,19175.0,12,1000000,23078,0.379379799,2.6358809895410375e6,60.83086147662806,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001466116,0.056434153,0.014473034,61,79,16863.0,12,1000000,16308,0.279254485,3.580963077459615e6,58.398345867211404,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011630684,0.0,0.082986855,356,493,85898.0,12,1000000,120271,1.707706374,585580.7621410213,70.42838384346277,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011630684,0.006989227,0.032451591,148,221,43962.0,12,1000000,43511,2.082187754,480264.08669388416,20.896770676137592,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.058567663,0.0,0.489796923,2183,3015,504653.0,12,1000000,749880,12.15359975,82280.14913852993,61.70023823600082,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.058567663,0.038658372,0.137284537,621,983,185533.0,12,1000000,189455,4.557444916,219421.19289017865,41.570442099008794,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.039638784,0.0,6.623001613,15866,21617,3.982352e6,12,1000000,5405897,85.315424704,11721.20989222615,63.363653392755666,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.039638784,0.574728966,0.549160788,2234,3977,1.138176e6,12,1000000,648737,16.951035133,58993.447429839616,38.271232105291865,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.556395718,18.009618638,6.208598348,15033,27047,6.074251e6,12,1000000,4340484,112.038671956,8925.489588030117,38.74094474901131,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000165094,0.0,0.017016445,34,37,8624.0,12,1000000,41,0.083614769,1.195960967134885e7,0.4903439965253028,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000165094,0.000432322,0.007975779,34,37,9296.0,12,1000000,41,0.083883417,1.1921307402153157e7,0.4887736034882794,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.00041339,0.0,0.059370275,280,385,69428.0,12,1000000,555,0.100982046,9.902750435458595e6,5.496026491679521,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.00041339,0.00342609,0.04155883,200,285,57156.0,12,1000000,899,0.10106195,9.894920887633773e6,8.89553387798276,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007424875,0.0,2.379512773,7854,11241,1.982968e6,12,1000000,15833,7.089738308,141048.92967228545,2.2332277035012957,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007424875,0.271811669,1.346133294,4998,7671,1.507432e6,12,1000000,27893,7.350202463,136050.67411868926,3.7948614531926,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000420601,0.0,0.199208162,26,29,6532.0,13,1000000,5683,0.13693181,7.302905000671503e6,41.50240911881615,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000420601,0.000441932,0.007450497,26,29,6948.0,13,1000000,5683,0.138500682,7.220181052971276e6,41.03228892403577,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001455728,0.0,0.164987673,77,101,19175.0,13,1000000,23078,0.37253838,2.6842871867322773e6,61.9479796954075,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001455728,0.054855247,0.014512752,61,79,16863.0,13,1000000,16308,0.268950039,3.7181626882009865e6,60.63579711918169,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011599836,0.0,0.08336237,356,493,85898.0,13,1000000,120271,1.615288411,619084.488683303,74.45791053842953,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011599836,0.006554602,0.032276442,148,221,43962.0,13,1000000,43511,0.590283163,1.6941021914257105e6,73.71208045112408,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059994894,0.0,0.494121795,2183,3015,504653.0,13,1000000,749880,11.856984434,84338.47624295532,63.24373656506734,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059994894,0.041637961,0.138584724,621,983,185533.0,13,1000000,189455,5.992954,166862.6190022483,31.612957483070954,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.182937115,0.0,6.506259066,15866,21617,3.982352e6,13,1000000,5405897,79.059668403,12648.674351915874,68.37743073299896,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.182937115,0.525640731,0.550328317,2234,3977,1.145088e6,13,1000000,648737,15.602344521,64092.93158820128,41.57945615973493,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.179409787,17.440270822,6.406795075,15033,27047,6.074251e6,13,1000000,4340484,104.625069586,9557.938684838984,41.48607993452465,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000165235,0.0,0.016713706,34,37,8624.0,13,1000000,41,0.084085553,1.1892649382944535e7,0.48759862470072596,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000165235,0.000453142,0.007955822,34,37,9296.0,13,1000000,41,0.086006094,1.1627083076229459e7,0.4767104061254078,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000393691,0.0,0.05921868,280,385,69428.0,13,1000000,555,0.101050817,9.896011033735631e6,5.492286123723275,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000393691,0.003135373,0.04122057,200,285,57156.0,13,1000000,899,0.100139352,9.986084191956824e6,8.977489688569186,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007931792,0.0,2.381974379,7854,11241,1.982968e6,13,1000000,15833,7.287740552,137216.73992984925,2.172552643309303,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007931792,0.276362209,1.337076687,4998,7671,1.507432e6,13,1000000,27893,7.488008263,133546.86117818992,3.7250225988432515,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000433602,0.0,0.19790805,26,29,6532.0,14,1000000,5683,0.163627644,6.111436769205087e6,34.73129515939251,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000433602,0.000460842,0.007439379,26,29,6948.0,14,1000000,5683,0.166542072,6.004488763656069e6,34.12350964385744,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001474269,0.0,0.164875928,77,101,19175.0,14,1000000,23078,0.476240234,2.099780590986355e6,48.4587364787831,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001474269,0.054595011,0.014531929,61,79,16863.0,14,1000000,16308,0.349355032,2.862417622197009e6,46.68030658278882,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011707363,0.0,0.083493312,356,493,85898.0,14,1000000,120271,2.199906287,454564.81756034,54.670965172799654,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011707363,0.020122448,0.032385537,148,221,43962.0,14,1000000,43511,0.815282938,1.2265680457549328e6,53.36920223884288,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.058648849,0.0,0.489621657,2183,3015,504653.0,14,1000000,749880,16.294662534,61369.78890562644,46.019977304551155,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.058648849,0.041027757,0.138319561,621,983,185533.0,14,1000000,189455,6.108266651,163712.5648135036,31.016163966742322,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.058122779,0.0,6.745873339,15866,21617,3.982352e6,14,1000000,5405897,110.224918617,9072.358705699873,49.044236710066826,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.058122779,0.554504009,0.554020905,2234,3977,1.138176e6,14,1000000,648737,21.039018147,47530.73518036735,30.834946548705975,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.019966769,17.074345772,6.281667473,15033,27047,6.074251e6,14,1000000,4340484,125.032802475,7997.901192368679,34.71476215905717,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000149754,0.0,0.016892621,34,37,8624.0,14,1000000,41,0.084228586,1.1872453848388243e7,0.48677060778391795,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000149754,0.00047204,0.0083509,34,37,9296.0,14,1000000,41,0.085440358,1.1704070809253866e7,0.4798669031794085,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000387639,0.0,0.061399285,280,385,69428.0,14,1000000,555,0.103503535,9.661505764030186e6,5.362135699036753,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000387639,0.003215103,0.04300004,200,285,57156.0,14,1000000,899,0.104006715,9.61476381597092e6,8.643672670557857,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007503002,0.0,2.430352466,7854,11241,1.982968e6,14,1000000,15833,9.085069077,110070.70959225025,1.7427495449740982,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007503002,0.287303313,1.373863604,4998,7671,1.507432e6,14,1000000,27893,10.2203346,97844.15473051147,2.7291670078981562,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.00041835,0.0,0.01530602,26,29,6532.0,15,1000000,5683,0.125605168,7.961455853472526e6,45.244953615284366,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.00041835,0.00043469,0.007037656,26,29,6948.0,15,1000000,5683,0.126756881,7.889118066892164e6,44.833857974148174,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001466615,0.0,0.016836368,77,101,19175.0,15,1000000,23078,0.316180837,3.162747019990968e6,72.98987572735156,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001466615,0.004920647,0.014455553,61,79,16863.0,15,1000000,16308,0.23628643,4.232151630544336e6,69.01792879091703,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011839341,0.0,0.082894507,356,493,85898.0,15,1000000,120271,1.391799054,718494.5248568907,86.4140549990631,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011839341,0.006005022,0.032279897,148,221,43962.0,15,1000000,43511,0.523911268,1.908720161369005e6,83.05032294132678,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059756873,0.0,0.495767672,2183,3015,504653.0,15,1000000,749880,11.089154664,90178.19935782978,67.6228281344494,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059756873,0.056267986,0.13583358,621,983,185533.0,15,1000000,189455,2.576653341,388100.32536697376,73.52754714240001,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.062927729,0.0,6.441152895,15866,21617,3.982352e6,15,1000000,5405897,71.577072238,13970.954227841465,75.5255395474255,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.062927729,0.537386579,0.53776467,2234,3977,1.145088e6,15,1000000,648737,15.725552892,63590.76891399641,41.253684652959286,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.930203723,17.990357214,6.306877837,15033,27047,6.074251e6,15,1000000,4340484,96.169861291,10398.268091227708,45.13351627768441,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000155975,0.0,0.016687037,34,37,8624.0,15,1000000,41,0.08481308,1.1790634180482538e7,0.4834160013997841,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000155975,0.000465442,0.007947819,34,37,9296.0,15,1000000,41,0.084251407,1.1869237981984086e7,0.48663875726134753,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000437462,0.0,0.057456228,280,385,69428.0,15,1000000,555,0.099751788,1.0024882962498879e7,5.563810044186878,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000437462,0.003150218,0.039776466,200,285,57156.0,15,1000000,899,0.100170341,9.98299486671409e6,8.974712385175966,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007333603,0.0,2.291339497,7854,11241,1.982968e6,15,1000000,15833,7.122189548,140406.2603586298,2.2230523202581858,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007333603,1.221216593,1.284172659,4998,7671,1.507432e6,15,1000000,27893,5.732480059,174444.56669849184,4.865782298921033,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.00041067,0.0,0.142104349,26,29,6532.0,17,1000000,5683,0.114945742,8.699756794818899e6,49.4407178649558,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.00041067,0.000481492,0.00747717,26,29,6948.0,17,1000000,5683,0.115779695,8.637093058502184e6,49.084599851467914,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001462887,0.0,0.164664435,77,101,19175.0,17,1000000,23078,0.299937297,3.3340301789810425e6,76.9427484705245,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001462887,0.043099733,0.014542889,61,79,16863.0,17,1000000,16308,0.218010362,4.586937936463772e6,74.8037838678512,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011627975,0.0,0.083358846,356,493,85898.0,17,1000000,120271,1.234705223,809909.9132101104,97.40867517169319,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011627975,0.020343508,0.032486925,148,221,43962.0,17,1000000,43511,0.469799577,2.1285672634822316e6,92.61609020137539,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059366449,0.0,0.492151119,2183,3015,504653.0,17,1000000,749880,9.698243677,103111.45330072117,77.3212166011448,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059366449,0.044129573,0.137817937,621,983,185533.0,17,1000000,189455,4.376145145,228511.61624347814,43.29266825540815,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.133548318,0.0,6.591354593,15866,21617,3.982352e6,17,1000000,5405897,64.298133716,15552.550940544006,84.07548847183402,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.133548318,0.631323,0.543495513,2234,3977,1.145088e6,17,1000000,648737,14.424643621,69325.8028603326,44.974213370203586,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,43.600370462,16.889184011,6.413356503,15033,27047,6.074251e6,17,1000000,4340484,92.101226674,10857.618688832274,47.127320196977465,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000156424,0.0,0.01669466,34,37,8624.0,17,1000000,41,0.09352269,1.0692592353791364e7,0.4383962865054459,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000156424,0.000482022,0.007777769,34,37,9296.0,17,1000000,41,0.083675977,1.1950861356539644e7,0.4899853156181254,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.00037662,0.0,0.057922253,280,385,69428.0,17,1000000,555,0.097341419,1.0273119195026323e7,5.7015811532396095,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.00037662,0.003276365,0.040298299,200,285,57156.0,17,1000000,899,0.100945103,9.906374556871768e6,8.90583072662772,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.008089669,0.0,2.330026015,7854,11241,1.982968e6,17,1000000,15833,6.688160696,149517.93855642132,2.3673175211638187,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.008089669,0.279663459,1.307680333,4998,7671,1.507432e6,17,1000000,27893,7.127043604,140310.6330707388,3.913684488242118,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000417741,0.0,0.141964132,26,29,6532.0,18,1000000,5683,1.665133875,600552.3129484109,3.412938794485819,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000417741,0.000595565,0.006998161,26,29,6948.0,18,1000000,5683,0.116941405,8.551291135932565e6,48.596987525504765,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001459098,0.0,0.165762719,77,101,19175.0,18,1000000,23078,0.278548247,3.590042338338607e6,82.85099708417837,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001459098,0.105453888,0.014604248,61,79,16863.0,18,1000000,16308,0.208209969,4.802843998310187e6,78.32477992444254,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011777765,0.0,0.082411482,356,493,85898.0,18,1000000,120271,1.174831368,851185.9891027356,102.37299009537512,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011777765,0.006045106,0.032114551,148,221,43962.0,18,1000000,43511,0.453976722,2.20275611400181e6,95.84412127633276,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.058751581,0.0,0.487105201,2183,3015,504653.0,18,1000000,749880,7.472277073,133828.01390132552,100.35495106432599,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.058751581,0.040675993,0.136792303,621,983,185533.0,18,1000000,189455,5.296651946,188798.51086971915,35.76882187682264,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.073234334,0.0,6.681835042,15866,21617,3.982352e6,18,1000000,5405897,63.247644301,15810.865543717793,85.4719106101874,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.073234334,1.331188827,0.543555643,2234,3977,1.145088e6,18,1000000,648737,12.187577675,82050.75911444396,53.22936331562704,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,43.586633098,16.755729566,6.179858194,15033,27047,6.074251e6,18,1000000,4340484,89.333988184,11193.947794430867,48.58715129856247,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000154654,0.0,0.016545081,34,37,8624.0,18,1000000,41,0.083440861,1.1984535969733102e7,0.4913659747590572,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000154654,0.000483663,0.007793422,34,37,9296.0,18,1000000,41,0.085689999,1.166997329525001e7,0.4784689051052504,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.00037723,0.0,0.05688874,280,385,97076.0,18,1000000,555,0.100137825,9.986236469585793e6,5.5423612406201155,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.00037723,0.003351257,0.040167046,200,285,84804.0,18,1000000,899,0.100677819,9.932674445400927e6,8.929474326415434,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007476644,0.0,3.347976748,7854,11241,1.982968e6,18,1000000,15833,7.723920471,129467.93066481847,2.0498657462160708,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007476644,0.808089997,1.289335465,4998,7671,1.507432e6,18,1000000,27893,7.245894911,138009.17792526897,3.8494899998695273,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000410484,0.0,0.015828233,26,29,6532.0,19,1000000,5683,0.13693236,7.302875667957523e6,41.5022424210026,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000410484,0.000594739,0.007065233,26,29,6948.0,19,1000000,5683,0.13650559,7.325707320850376e6,41.63199470439268,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001441257,0.0,0.016986027,77,101,19175.0,19,1000000,23078,0.370139455,2.701684423239884e6,62.349473119530046,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001441257,0.097376896,0.014550616,61,79,16863.0,19,1000000,16308,0.272982118,3.6632436121694976e6,59.74017682726017,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011583987,0.0,0.081275111,356,493,85898.0,19,1000000,120271,1.68103571,594871.3605851955,71.54577340894205,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011583987,0.020756044,0.03172744,148,221,43962.0,19,1000000,43511,0.628366552,1.5914278008865118e6,69.24461504437302,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059385562,0.0,0.485523517,2183,3015,504653.0,19,1000000,749880,10.887383733,91849.43091231081,68.87605125252364,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059385562,0.040927375,0.133672425,621,983,185533.0,19,1000000,189455,3.023195652,330775.8131163123,62.66713167395095,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.081441245,0.0,6.497476939,15866,21617,3.982352e6,19,1000000,5405897,87.003003319,11493.856095213861,62.134602183548324,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.081441245,0.534920906,0.532804256,2234,3977,1.138176e6,19,1000000,648737,17.755552873,56320.409009659794,36.537133179699666,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,45.898825009,17.323749893,6.408782669,15033,27047,6.074251e6,19,1000000,4340484,103.48667799,9663.079532774555,41.94244210273543,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000151255,0.0,0.01660337,34,37,8624.0,19,1000000,41,0.086201613,1.1600710998296518e7,0.47562915093015723,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000151255,0.000534036,0.008090178,34,37,9296.0,19,1000000,41,0.086314013,1.15856042981109e7,0.4750097762225469,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000434153,0.0,0.058026217,280,385,69428.0,19,1000000,555,0.101539966,9.848338928929718e6,5.465828105555994,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000434153,0.003201204,0.040336135,200,285,57156.0,19,1000000,899,0.104367604,9.581517268519454e6,8.613784024398988,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.006960925,0.0,2.320436756,7854,11241,1.982968e6,19,1000000,15833,7.309057177,136816.55181830848,2.166216464939278,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.006960925,1.266961147,1.308558954,4998,7671,1.507432e6,19,1000000,27893,6.550468692,152660.83192204044,4.258168584801474,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000404812,0.0,0.200703456,26,29,6532.0,20,1000000,5683,0.111115467,8.999647186831335e6,51.144994962762475,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000404812,0.00070275,0.006980661,26,29,6948.0,20,1000000,5683,0.110483365,9.051136340751389e6,51.437607824490144,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001442371,0.0,0.163397018,77,101,19175.0,20,1000000,23078,0.260815052,3.834134542204259e6,88.48415696498988,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001442371,0.048953799,0.014519028,61,79,16863.0,20,1000000,16308,0.19673382,5.083010130134209e6,82.89372920222868,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011641204,0.0,0.083430389,356,493,85898.0,20,1000000,120271,1.100749528,908471.8862582152,109.26282223216181,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011641204,0.006226049,0.032522974,148,221,43962.0,20,1000000,43511,0.423896024,2.359069072089244e6,102.64545439567509,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059874538,0.0,0.494569063,2183,3015,504653.0,20,1000000,749880,9.498751261,105276.99615693725,78.94511387816411,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059874538,0.038633965,0.137945957,621,983,185533.0,20,1000000,189455,4.891235922,204447.30451503256,38.73356407689549,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.057037696,0.0,6.542092434,15866,21617,3.982352e6,20,1000000,5405897,58.972751977,16956.983801434442,91.66770786122305,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.057037696,0.516124806,0.551520206,2234,3977,1.145088e6,20,1000000,648737,14.571131735,68628.8490274225,44.52207363150299,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,43.663565538,17.362861333,6.456050818,15033,27047,6.074251e6,20,1000000,4340484,87.116633356,11478.864155752259,49.82382620621619,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000160695,0.0,0.016807439,34,37,8624.0,20,1000000,41,0.083890988,1.1920231527133761e7,0.4887294926124842,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000160695,0.000552586,0.00790665,34,37,9296.0,20,1000000,41,0.086044687,1.162186806490446e7,0.47649659066108285,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000388931,0.0,0.057527763,280,385,69428.0,20,1000000,555,0.09798986,1.0205137551987521e7,5.663851341353074,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000388931,0.003330873,0.040734664,200,285,57156.0,20,1000000,899,0.097699489,1.0235468068824802e7,9.201685793873496,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007872829,0.0,2.315555075,7854,11241,1.982968e6,20,1000000,15833,5.938879054,168381.9439505966,2.6659913185697954,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007872829,0.304652076,1.30535135,4998,7671,1.507432e6,20,1000000,27893,6.802860618,146996.98496747887,4.100186901697889,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000427081,0.0,0.200705864,26,29,6532.0,21,1000000,5683,0.132355911,7.555386022767053e6,42.93725876738516,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000427081,0.000640117,0.007067806,26,29,6948.0,21,1000000,5683,0.132775012,7.5315376360124145e6,42.80172838545855,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.00145627,0.0,0.164241291,77,101,19175.0,21,1000000,23078,0.351809805,2.8424449398162737e6,65.59794432107996,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.00145627,0.044098518,0.014517161,61,79,16863.0,21,1000000,16308,0.261509195,3.8239573182120803e6,62.3610959454026,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011700384,0.0,0.082728055,356,493,85898.0,21,1000000,120271,1.567690265,637881.1059338944,76.71859849177542,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011700384,0.005964225,0.032067425,148,221,43962.0,21,1000000,43511,0.590455359,1.693608136089421e6,73.69058360938679,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.058883945,0.0,0.48991812,2183,3015,504653.0,21,1000000,749880,10.178572031,98245.6082203266,73.67241669225851,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.058883945,0.039810298,0.13777968,621,983,185533.0,21,1000000,189455,2.803938235,356641.23678530316,67.56746551515961,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.049784158,0.0,6.503108277,15866,21617,3.982352e6,21,1000000,5405897,81.999182639,12195.243511175995,65.92623031133577,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.049784158,0.772138765,0.544950769,2234,3977,1.145088e6,21,1000000,648737,15.666363232,63831.023524171025,41.409546708000136,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.049110282,18.174132251,6.377158396,15033,27047,6.074251e6,21,1000000,4340484,104.343923343,9583.691775828609,41.597860813915666,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000150664,0.0,0.01648405,34,37,8624.0,21,1000000,41,0.085276418,1.1726571348247765e7,0.4807894252781584,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000150664,0.000555676,0.007938267,34,37,9296.0,21,1000000,41,0.086782259,1.1523092525166923e7,0.4724467935318438,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000383201,0.0,0.058518877,280,385,69428.0,21,1000000,555,0.10080708,9.919938163073467e6,5.505565680505774,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000383201,0.003249359,0.041138322,200,285,57156.0,21,1000000,899,0.102582918,9.748211685692154e6,8.763642305437246,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.00735883,0.0,2.33206607,7854,11241,1.982968e6,21,1000000,15833,6.868782102,145586.21676306016,2.3050665700095316,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.00735883,0.272714525,1.311328212,4998,7671,1.507432e6,21,1000000,27893,5.933915473,168522.79149410123,4.700606223144965,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000415891,0.0,0.143533258,26,29,6532.0,22,1000000,5683,0.127025589,7.872429546459336e6,44.7390171125284,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000415891,0.000768171,0.007040532,26,29,6948.0,22,1000000,5683,0.126339788,7.915162878063401e6,44.98187063603431,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001423479,0.0,0.162726149,77,101,19175.0,22,1000000,23078,0.335932705,2.976786675176506e6,68.6982828897234,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001423479,0.054166224,0.014242587,61,79,16863.0,22,1000000,16308,0.24833839,4.026763642947029e6,65.66846148918015,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011607646,0.0,0.081636612,356,493,85898.0,22,1000000,120271,1.495740563,668565.1407315615,80.40899804092562,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011607646,0.020442707,0.031650571,148,221,43962.0,22,1000000,43511,0.562850204,1.7766716488566825e6,77.3047601134031,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.058712968,0.0,0.482523458,2183,3015,504653.0,22,1000000,749880,9.63506425,103787.57982854138,77.82823036182661,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.058712968,0.039481743,0.135408874,621,983,185533.0,22,1000000,189455,2.688105149,372009.2572911477,70.4790138400944,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.05063437,0.0,6.743597196,15866,21617,3.982352e6,22,1000000,5405897,77.792137687,12854.76951441472,69.49155995366598,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.05063437,0.482857975,0.537015756,2234,3977,1.145088e6,22,1000000,648737,13.786531413,72534.56072765704,47.05585332277805,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,43.940430668,17.427320589,6.301196467,15033,27047,6.074251e6,22,1000000,4340484,97.461221746,10260.49111723804,44.535497526513836,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000145284,0.0,0.016729384,34,37,8624.0,22,1000000,41,0.083770387,1.1937392625391595e7,0.4894330976410554,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000145284,0.000638957,0.007924591,34,37,9296.0,22,1000000,41,0.091911785,1.0879997597696532e7,0.44607990150555776,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.00036924,0.0,0.056999387,280,385,69428.0,22,1000000,555,0.099511458,1.0049094045029469e7,5.577247194991355,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.00036924,1.640451357,0.040055926,200,285,57156.0,22,1000000,899,0.100271188,9.972954544031134e6,8.96568613508399,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.008588179,0.0,3.936726533,7854,11241,1.982968e6,22,1000000,15833,7.049285322,141858.35220474284,2.2460432904576937,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.008588179,0.277769226,1.297184584,4998,7671,1.507432e6,22,1000000,27893,5.486379394,182269.5676302695,5.084045049911107,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000423241,0.0,0.015855803,26,29,6532.0,23,1000000,5683,0.106534032,9.386671857120737e6,53.34445616401715,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000423241,0.000660028,0.007064059,26,29,6948.0,23,1000000,5683,0.106979864,9.347553479783822e6,53.122146425611454,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001428108,0.0,0.016960283,77,101,19175.0,23,1000000,23078,0.244038792,4.097709187152508e6,94.5669326211056,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001428108,0.001368106,0.014461536,61,79,16863.0,23,1000000,16308,0.18357695,5.447306973996463e6,88.83468213193433,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011528528,0.0,0.082864302,356,493,85898.0,23,1000000,120271,1.001508846,998493.4271863636,120.08980298113113,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011528528,0.0059906,0.032287092,148,221,43962.0,23,1000000,43511,0.391252657,2.5558931859215465e6,111.20946841263242,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.058927324,0.0,0.494615797,2183,3015,504653.0,23,1000000,749880,6.069646219,164754.24825744692,123.5459156832943,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.058927324,0.055735339,0.137030441,621,983,185533.0,23,1000000,189455,1.864789664,536253.5085351053,101.59590845951837,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.060817011,0.0,6.497156437,15866,21617,3.982352e6,23,1000000,5405897,51.81410486,19299.764083582395,104.33253676014581,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.060817011,0.69420666,0.542125672,2234,3977,1.145088e6,23,1000000,648737,11.569424596,86434.7221162355,56.07340232152027,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.554818844,17.671846662,6.391343969,15033,27047,6.074251e6,23,1000000,4340484,83.525674418,11972.36666411756,51.96586594773565,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000160744,0.0,0.016323608,34,37,8624.0,23,1000000,41,0.082486012,1.2123267639609005e7,0.4970539732239692,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000160744,0.000497013,0.007752658,34,37,9296.0,23,1000000,41,0.092014128,1.0867896286535475e7,0.4455837477479545,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000424901,0.0,0.057579774,280,385,69428.0,23,1000000,555,0.098676215,1.0134154416036326e7,5.624455700900161,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000424901,0.003399111,0.040439684,200,285,57156.0,23,1000000,899,0.110401911,9.057814225697596e6,8.14297498890214,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.008506678,0.0,2.310066104,7854,11241,1.982968e6,23,1000000,15833,6.638997558,150625.14954460238,2.3848479927396893,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.008506678,0.270773674,1.294349501,4998,7671,1.507432e6,23,1000000,27893,5.383888908,185739.3451254325,5.180827553583689,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000408091,0.0,0.14232551,26,29,6532.0,24,1000000,5683,0.105721407,9.458822279956982e6,53.754487016995526,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000408091,0.000611327,0.007482191,26,29,6948.0,24,1000000,5683,0.104711341,9.550063922875365e6,54.2730132737007,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001457919,0.0,0.258417857,77,101,19175.0,24,1000000,23078,0.242744157,4.119563627642745e6,95.07128939873927,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001457919,0.047001061,0.014479228,61,79,16863.0,24,1000000,16308,0.182641123,5.475218196068582e6,89.28985834148644,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011604201,0.0,0.082862174,356,493,85898.0,24,1000000,120271,0.981573423,1.0187724897274445e6,122.52878611200947,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011604201,0.006026652,0.032303288,148,221,43962.0,24,1000000,43511,0.380717463,2.626619730337928e6,114.28685108673358,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059288681,0.0,0.489246707,2183,3015,504653.0,24,1000000,749880,6.071818112,164695.31556349757,123.50172323475556,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059288681,0.039297125,0.137484132,621,983,185533.0,24,1000000,189455,1.840260229,543401.4082581144,102.95011380154106,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.061162219,0.0,6.617809772,15866,21617,3.982352e6,24,1000000,5405897,51.02899748,19596.70088349147,105.93774651596388,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.061162219,0.66031384,0.546571635,2234,3977,1.138176e6,24,1000000,648737,11.413522581,87615.36965499958,56.83933206387547,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,43.413276858,17.050615309,6.306375212,15033,27047,6.074251e6,24,1000000,4340484,84.297324495,11862.772703531224,51.49017511531402,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000165665,0.0,0.016812522,34,37,8624.0,24,1000000,41,0.084695197,1.1807044973282252e7,0.4840888439045723,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000165665,0.000786182,0.007959505,34,37,9296.0,24,1000000,41,0.086371813,1.1577851214029742e7,0.4746918997752194,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000427902,0.0,0.057325801,280,385,69428.0,24,1000000,555,0.099209088,1.0079721728719046e7,5.594245559439071,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000427902,0.003379831,0.040259662,200,285,57156.0,24,1000000,899,0.098414007,1.0161155210355371e7,9.134878534109477,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.006958857,0.0,2.286882489,7854,11241,1.982968e6,24,1000000,15833,2.392241475,418018.00129729795,6.618479014540118,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.006958857,0.274585684,1.29250863,4998,7671,1.507432e6,24,1000000,27893,2.416107871,413888.80521551846,11.544600443876456,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000409941,0.0,0.142497803,26,29,6532.0,25,1000000,5683,0.120858791,8.274118843369863e6,47.021817386870936,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000409941,0.000735279,0.006927667,26,29,6948.0,25,1000000,5683,0.122440564,8.1672279784663515e6,46.41435660162428,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.00147537,0.0,0.163736294,77,101,19175.0,25,1000000,23078,0.312122407,3.2038712299178187e6,73.93894024404342,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.00147537,0.005064427,0.014409798,61,79,16863.0,25,1000000,16308,0.232201876,4.306597419566068e6,70.23199071828343,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011659123,0.0,0.082959462,356,493,85898.0,25,1000000,120271,1.357502049,736647.138570912,88.59728800306215,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011659123,0.020293186,0.032191946,148,221,43962.0,25,1000000,43511,0.51519719,1.9410043754314731e6,84.45504137939884,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059742587,0.0,0.489405917,2183,3015,504653.0,25,1000000,749880,8.578687849,116567.94344330502,87.41196942926557,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059742587,0.038469905,0.136097041,621,983,185533.0,25,1000000,189455,2.427661266,411919.08195976465,78.04012967268721,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.040528935,0.0,6.377305922,15866,21617,3.982352e6,25,1000000,5405897,70.679364159,14148.40119034467,76.48479954968067,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.040528935,0.495834203,0.525194863,2234,3977,1.145088e6,25,1000000,648737,15.161621245,65956.00720007301,42.78810224295377,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.191322169,17.736855882,6.243765961,15033,27047,6.074251e6,25,1000000,4340484,95.480681833,10473.322779041784,45.4592899492664,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000192655,0.0,0.016413412,34,37,8624.0,25,1000000,41,0.088184074,1.1339916094146432e7,0.4649365598600037,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000192655,0.000613926,0.007854442,34,37,9296.0,25,1000000,41,0.086237971,1.1595820128931373e7,0.47542862528618635,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000400061,0.0,0.057935399,280,385,69428.0,25,1000000,555,0.099864538,1.0013564574844375e7,5.557528339038629,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000400061,0.003247007,0.040525221,200,285,57156.0,25,1000000,899,0.101078821,9.893269332850648e6,8.894049130232732,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007606845,0.0,2.309299453,7854,11241,1.982968e6,25,1000000,15833,2.90948746,343703.1483201512,5.441851947352954,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007606845,0.275659801,1.297847276,4998,7671,1.507432e6,25,1000000,27893,2.816935511,354995.70227825496,9.901895123647366,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000419261,0.0,0.141908,26,29,6532.0,26,1000000,5683,0.116330012,8.596233962393127e6,48.85239760828014,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000419261,0.000888713,0.0070368,26,29,6948.0,26,1000000,5683,0.120551425,8.295215091816625e6,47.141707366793874,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001452069,0.0,0.163530013,77,101,19175.0,26,1000000,23078,0.305885095,3.269201462725734e6,75.44663135678448,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001452069,0.054664352,0.014713346,61,79,16863.0,26,1000000,16308,0.23101698,4.328686142464506e6,70.59221361131117,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011465369,0.0,0.083496698,356,493,85898.0,26,1000000,120271,1.306085592,765646.605494443,92.08508288942215,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011465369,0.00594023,0.032555846,148,221,43962.0,26,1000000,43511,0.499128308,2.0034928573916908e6,87.17397771796986,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.058807894,0.0,0.490884266,2183,3015,504653.0,26,1000000,749880,8.316959592,120236.24606303126,90.16275619774588,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.058807894,0.041670632,0.138550201,621,983,185533.0,26,1000000,189455,2.339688221,427407.37463412655,80.97446416130845,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.065216369,0.0,6.55502101,15866,21617,3.982352e6,26,1000000,5405897,68.431043183,14613.250850579248,78.99772893339382,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.065216369,0.723082829,0.551094247,2234,3977,1.145088e6,26,1000000,648737,14.348122957,69695.52763082026,45.214067508635445,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.459085831,17.273919436,6.408854381,15033,27047,6.074251e6,26,1000000,4340484,96.406020509,10372.796166880935,45.02295579760803,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000147214,0.0,0.016454423,34,37,8624.0,26,1000000,41,0.08207173,1.2184463517462105e7,0.4995630042159463,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000147214,0.000504183,0.007825341,34,37,9296.0,26,1000000,41,0.098996356,1.0101381913491847e7,0.4141566584531657,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000400021,0.0,0.058831034,280,385,69428.0,26,1000000,555,0.098630806,1.0138820116708769e7,5.627045164773367,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000400021,0.003438432,0.041036915,200,285,57156.0,26,1000000,899,0.099072997,1.0093567675155723e7,9.074117339964996,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.008298083,0.0,2.324292667,7854,11241,1.982968e6,26,1000000,15833,7.089997675,141043.7698063138,2.233146007343366,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.008298083,0.29820357,1.305469483,4998,7671,1.507432e6,26,1000000,27893,5.975700262,167344.4041962893,4.667737466247098,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000408641,0.0,0.142183729,26,29,6532.0,27,1000000,5683,0.115308445,8.672391688223703e6,49.2852019641753,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000408641,0.000893654,0.007026039,26,29,6948.0,27,1000000,5683,0.11626875,8.600763317744449e6,48.8781379347417,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001452919,0.0,0.164519121,77,101,19175.0,27,1000000,23078,0.292747623,3.4159115956340316e6,78.83240780404218,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001452919,0.043963633,0.014514861,61,79,16863.0,27,1000000,16308,0.218225677,4.5824121787465e6,74.72997781099792,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011602242,0.0,0.083522509,356,493,85898.0,27,1000000,120271,1.269833194,787505.0083152889,94.71401485508812,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011602242,0.020493892,0.032217528,148,221,43962.0,27,1000000,43511,0.485644327,2.0591201099318103e6,89.594375103243,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.058532646,0.0,0.489563453,2183,3015,504653.0,27,1000000,749880,8.057249379,124111.83431982985,93.06898231975401,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.058532646,0.041256231,0.137830172,621,983,185533.0,27,1000000,189455,2.274933951,439573.2014814878,83.27934088667526,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.059505591,0.0,6.517906429,15866,21617,3.982352e6,27,1000000,5405897,63.564091665,15732.152758042563,85.04639739824403,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.059505591,0.65469958,0.545434278,2234,3977,1.145088e6,27,1000000,648737,12.446658979,80342.84555294715,52.121376595482275,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.079556123,17.393668293,6.13490961,15033,27047,6.074251e6,27,1000000,4340484,94.992763414,10527.117688341936,45.69278589236516,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000163794,0.0,0.016924446,34,37,8624.0,27,1000000,41,0.08506503,1.175571207110607e7,0.4819841949153489,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000163794,0.000934005,0.007869352,34,37,9296.0,27,1000000,41,0.08467079,1.181044844390846e7,0.4842283862002469,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000485343,0.0,0.058476875,280,385,97076.0,27,1000000,555,0.098062981,1.0197528055974558e7,5.65962807106588,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000485343,0.003547926,0.040617604,200,285,84804.0,27,1000000,899,0.100165667,9.983460700161863e6,8.975131169445515,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.006948797,0.0,2.325682101,7854,11241,1.982968e6,27,1000000,15833,2.616692478,382161.83537330444,6.050768339465529,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.006948797,0.305781465,1.312325041,4998,7671,1.507432e6,27,1000000,27893,2.661758172,375691.52995165484,10.479163844941509,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000405331,0.0,0.015740284,26,29,6532.0,28,1000000,5683,0.116657192,8.572124725923456e6,48.715384817423,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000405331,0.000812422,0.006984048,26,29,6948.0,28,1000000,5683,0.118101911,8.467263497539848e6,48.119458456518956,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001473579,0.0,0.016987577,77,101,19175.0,28,1000000,23078,0.291200503,3.434060002293334e6,79.25123673292555,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001473579,0.054734394,0.01446226,61,79,16863.0,28,1000000,16308,0.218457373,4.57755207007822e6,74.65071915883561,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011734456,0.0,0.083898629,356,493,85898.0,28,1000000,120271,1.237756094,807913.6146834433,97.1685783515924,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011734456,0.006211148,0.032353861,148,221,43962.0,28,1000000,43511,0.471445277,2.121136956474378e6,92.29279011315664,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.058816225,0.0,0.49721511,2183,3015,504653.0,28,1000000,749880,7.794910191,128288.84175658619,96.20123665642885,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.058816225,0.055109294,0.138443968,621,983,185533.0,28,1000000,189455,2.222597536,449924.0117937394,85.2403536543829,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.079222924,0.0,6.606410694,15866,21617,3.982352e6,28,1000000,5405897,63.879552949,15654.461464349595,84.62640626674309,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.079222924,1.28329987,0.545708727,2234,3977,1.138176e6,28,1000000,648737,14.110413924,70869.6431859542,45.97575971152637,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.965066645,17.36147327,6.35183787,15033,27047,6.074251e6,28,1000000,4340484,94.600814659,10570.73349320109,45.88209959550344,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000155415,0.0,0.016396131,34,37,8624.0,28,1000000,41,0.110215698,9.073117696900127e6,0.3719978255729052,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000155415,0.00070995,0.007901293,34,37,9296.0,28,1000000,41,0.087826165,1.1386128495989777e7,0.46683126833558086,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.00037914,0.0,0.057832477,280,385,69428.0,28,1000000,555,0.100612589,9.939114080445739e6,5.516208314647384,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.00037914,0.003666268,0.040869592,200,285,57156.0,28,1000000,899,0.099545271,1.0045680623040345e7,9.03106688011327,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007724138,0.0,2.323637288,7854,11241,1.982968e6,28,1000000,15833,5.269062601,189787.07897875668,3.0048988214706545,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007724138,2.408674928,1.304009658,4998,7671,1.507432e6,28,1000000,27893,5.102390263,195986.57657598308,5.4666535804338965,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000413841,0.0,0.142478877,26,29,6532.0,29,1000000,5683,0.117250108,8.52877679225677e6,48.46903851039522,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000413841,0.000717229,0.007494732,26,29,6948.0,29,1000000,5683,0.115910813,8.627322802058166e6,49.02907548409656,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001466809,0.0,0.165851436,77,101,19175.0,29,1000000,23078,0.283288009,3.529976448809028e6,81.46479648561474,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001466809,0.047285403,0.014684436,61,79,16863.0,29,1000000,16308,0.214885727,4.653636209165256e6,75.891499299067,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011692435,0.0,0.083338635,356,493,85898.0,29,1000000,120271,1.205114085,829796.9565263193,99.80050975837693,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011692435,0.006197437,0.032254829,148,221,43962.0,29,1000000,43511,0.464593422,2.152419626810816e6,93.65393038216543,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059114922,0.0,0.488709441,2183,3015,504653.0,29,1000000,749880,7.608926198,131424.5892229641,98.55267096651633,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059114922,0.041005754,0.136972879,621,983,185533.0,29,1000000,189455,2.172059656,460392.51142925327,87.22366325282918,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.069863893,0.0,6.535049187,15866,21617,3.982352e6,29,1000000,5405897,61.699851543,16207.494426515397,87.6160454978163,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.069863893,0.76155773,0.548914073,2234,3977,1.145088e6,29,1000000,648737,12.76469636,78341.07226660267,50.82275219901902,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.25040979,18.276184581,6.408821608,15033,27047,6.074251e6,29,1000000,4340484,92.655675141,10792.647061048734,46.84531188612905,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000146754,0.0,0.016515495,34,37,8624.0,29,1000000,41,0.084834815,1.1787613375475625e7,0.48329214839450063,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000146754,0.000651647,0.00779705,34,37,9296.0,29,1000000,41,0.084444815,1.1842053298358222e7,0.4855241852326871,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000405191,0.0,0.058123168,280,385,97076.0,29,1000000,555,0.099254407,1.0075119384875273e7,5.591691258605777,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000405191,0.00341406,0.040336018,200,285,84804.0,29,1000000,899,0.100144421,9.98557872734618e6,8.977035275884216,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.00755218,0.0,2.310492932,7854,11241,1.982968e6,29,1000000,15833,7.922187587,126227.76083224297,1.998564137256903,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.00755218,0.508861284,1.282758132,4998,7671,1.507432e6,29,1000000,27893,6.192440206,161487.22744727947,4.504363235186966,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000411711,0.0,0.274984062,26,29,6532.0,30,1000000,5683,0.109756585,9.111070647834023e6,51.77821449164075,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000411711,0.000972775,0.007121299,26,29,6948.0,30,1000000,5683,0.110194877,9.074832035975683e6,51.57227046044981,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001479169,0.0,0.16636271,77,101,19175.0,30,1000000,23078,0.280284877,3.567798629392338e6,82.33765676911638,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001479169,0.044134713,0.014609189,61,79,16863.0,30,1000000,16308,0.205694166,4.861586594536668e6,79.28275418370399,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.01169115,0.0,0.083739496,356,493,85898.0,30,1000000,120271,1.182140452,845923.1712341403,101.74002572750128,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.01169115,0.020658839,0.032307059,148,221,43962.0,30,1000000,43511,0.450374954,2.2203721390776983e6,96.61061214340972,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059127042,0.0,0.488309493,2183,3015,504653.0,30,1000000,749880,7.322706133,136561.53638249516,102.40476490250548,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059127042,0.040020385,0.137561709,621,983,185533.0,30,1000000,189455,2.105343829,474981.7992793043,89.98767678246058,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.078320652,0.0,6.689802283,15866,21617,3.982352e6,30,1000000,5405897,62.173269261,16084.082627246999,86.94889402238667,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.078320652,0.50995426,0.54556123,2234,3977,1.145088e6,30,1000000,648737,13.637599451,73326.68799908721,47.569735592463836,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,45.073327993,17.839024815,6.429905842,15033,27047,6.074251e6,30,1000000,4340484,87.271565278,11458.485897606408,49.73537470278625,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000151094,0.0,0.016554493,34,37,8624.0,30,1000000,41,0.081790186,1.2226405745060904e7,0.5012826355474971,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000151094,0.000802442,0.007813049,34,37,9296.0,30,1000000,41,0.081665023,1.2245144411457522e7,0.5020509208697583,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.00037645,0.0,0.058408251,280,385,69428.0,30,1000000,555,0.097089136,1.029981356513462e7,5.716396528649715,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.00037645,0.003598586,0.040477552,200,285,57156.0,30,1000000,899,0.098708439,1.0130846056637568e7,9.107630604917173,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007178483,0.0,2.336679771,7854,11241,1.982968e6,30,1000000,15833,6.452549555,154977.5002076679,2.453758760788006,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007178483,0.275604039,1.309060995,4998,7671,1.507432e6,30,1000000,27893,5.996552347,166762.48986641256,4.651506129843845,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000404691,0.0,0.143217533,26,29,6532.0,31,1000000,5683,0.111881284,8.938045437519291e6,50.79491222142214,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000404691,0.000791241,0.006978167,26,29,6948.0,31,1000000,5683,0.111635977,8.957685746773193e6,50.906528098912055,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.00148659,0.0,0.163976389,77,101,19175.0,31,1000000,23078,0.27386377,3.651450500371042e6,84.26817464756292,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.00148659,0.056830101,0.014485947,61,79,16863.0,31,1000000,16308,0.209463007,4.77411269093449e6,77.85622976375967,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011509178,0.0,0.083144205,356,493,85898.0,31,1000000,120271,1.154230517,866378.0633691216,104.20015605946762,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011509178,0.006169325,0.032209112,148,221,43962.0,31,1000000,43511,0.4471104,2.2365840740899784e6,97.31600964772905,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.058965489,0.0,0.492342271,2183,3015,504653.0,31,1000000,749880,7.254778168,137840.18985044726,103.36360156505339,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.058965489,0.038548093,0.138808216,621,983,185533.0,31,1000000,189455,2.064680135,484336.52411733015,91.75997617664879,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.053294635,0.0,6.701804628,15866,21617,3.982352e6,31,1000000,5405897,60.586121209,16505.43028741459,89.22665607444368,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.053294635,0.501315142,0.551778024,2234,3977,1.145088e6,31,1000000,648737,13.491158885,74122.61678363592,48.08608404436561,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,43.580015892,17.239105461,6.159284061,15033,27047,6.074251e6,31,1000000,4340484,89.925538592,11120.311489454481,48.267534094993344,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000172175,0.0,0.017105608,34,37,8624.0,31,1000000,41,0.084727992,1.1802474912895374e7,0.4839014714287103,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000172175,0.000569505,0.007803169,34,37,9296.0,31,1000000,41,0.084725272,1.1802853816745492e7,0.48391700648656516,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000437242,0.0,0.058075297,280,385,69428.0,31,1000000,555,0.099416636,1.0058678710472561e7,5.582566684312271,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000437242,0.003540115,0.040624909,200,285,57156.0,31,1000000,899,1.659228333,602689.8047189988,0.5418181344423799,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.008013255,0.0,2.522018696,7854,11241,1.982968e6,31,1000000,15833,5.636040249,177429.5348897534,2.809241825909466,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.008013255,0.286873825,1.300153125,4998,7671,1.507432e6,31,1000000,27893,5.670523125,176350.57259377636,4.918946521358204,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000412731,0.0,0.142470243,26,29,6532.0,32,1000000,5683,0.110025002,9.088843279457519e6,51.651896357157085,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000412731,0.000668098,0.007424499,26,29,6948.0,32,1000000,5683,0.113386203,8.819415180522447e6,50.120736470909065,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.001461169,0.0,0.166073446,77,101,19175.0,32,1000000,23078,0.272306687,3.6723299417175166e6,84.75003039495685,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.001461169,0.043691222,0.014658764,61,79,16863.0,32,1000000,16308,0.203634964,4.9107480383378565e6,80.08447900921377,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.01194448,0.0,0.082184375,356,493,85898.0,32,1000000,120271,1.120815496,892207.5074522345,107.3066891287877,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.01194448,0.020337885,0.031659009,148,221,43962.0,32,1000000,43511,0.434748566,2.300180099961503e6,100.08313632942496,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.058911311,0.0,0.480375851,2183,3015,504653.0,32,1000000,749880,7.000379449,142849.39941974852,107.11990763688101,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.058911311,0.040457235,0.133862493,621,983,185533.0,32,1000000,189455,2.021705335,494631.92419186054,93.71049119776893,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.105426537,0.0,6.499117119,15866,21617,3.982352e6,32,1000000,5405897,59.782552585,16727.288427140687,90.42599832641457,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.105426537,0.723664774,0.535145095,2234,3977,1.145088e6,32,1000000,648737,12.797201332,78142.08544953131,50.69366208827259,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,45.254736182,17.576269218,6.287089464,15033,27047,6.074251e6,32,1000000,4340484,91.843900017,10888.039377845489,47.259360710908304,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000155274,0.0,0.016660837,34,37,8624.0,32,1000000,41,0.084980562,1.1767396878359077e7,0.4824632720127222,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000155274,0.000809242,0.00781239,34,37,9296.0,32,1000000,41,0.081593791,1.2255834515643476e7,0.5024892151413826,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000409221,0.0,0.057314679,280,385,69428.0,32,1000000,555,0.10277155,9.730319334485078e6,5.400327230639219,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000409221,0.0037051,0.040008235,200,285,57156.0,32,1000000,899,0.10315745,9.693919343682885e6,8.714833489970912,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.008137958,0.0,2.31488204,7854,11241,1.982968e6,32,1000000,15833,6.657499011,150206.55629805246,2.3782204058670646,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.008137958,0.302658517,1.29706989,4998,7671,1.507432e6,32,1000000,27893,6.412540428,155944.43594204192,4.3497581517313755,none,0.0,0.0,0.0
QED Process: 'ke->ke' not optimized,0.000411471,0.0,0.142903939,26,29,6532.0,16,1000000,5683,0.121450921,8.233778647096467e6,46.792564051449226,none,0.0,0.0,0.0
QED Process: 'ke->ke' reduced,0.000411471,0.000490633,0.007063541,26,29,6948.0,16,1000000,5683,0.124183905,8.052573318579408e6,45.762774169486775,none,0.0,0.0,0.0
QED Process: 'ke->kke' not optimized,0.0014748,0.0,0.165657992,77,101,19175.0,16,1000000,23078,0.314326726,3.181403034751808e6,73.42041923600223,none,0.0,0.0,0.0
QED Process: 'ke->kke' reduced,0.0014748,0.054176899,0.014648245,61,79,16863.0,16,1000000,16308,0.22867412,4.373035304563542e6,71.31545974682224,none,0.0,0.0,0.0
QED Process: 'ke->kkke' not optimized,0.011792768,0.0,0.083745345,356,493,85898.0,16,1000000,120271,1.308872574,764016.3143948648,91.8890061485848,none,0.0,0.0,0.0
QED Process: 'ke->kkke' reduced,0.011792768,0.005878518,0.032334261,148,221,43962.0,16,1000000,43511,0.499459283,2.0021652095312043e6,87.11621043191224,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' not optimized,0.059422891,0.0,0.491688913,2183,3015,504653.0,16,1000000,749880,10.786761156,92706.23364491227,69.5185504856468,none,0.0,0.0,0.0
QED Process: 'ke->kkkke' reduced,0.059422891,0.322175708,0.137101523,621,983,185533.0,16,1000000,189455,2.460037469,406497.8735492585,77.01305463327476,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' not optimized,1.084890041,0.0,6.535008218,15866,21617,3.982352e6,16,1000000,5405897,68.669290878,14562.550263940124,78.72364678418312,none,0.0,0.0,0.0
QED Process: 'ke->kkkkke' reduced,1.084890041,0.499852753,0.546009167,2234,3977,1.138176e6,16,1000000,648737,15.400034363,64934.92004164562,42.125685223057054,none,0.0,0.0,0.0
QED Process: 'ke->kkkkkke' reduced,44.395917114,17.849095588,6.21393922,15033,27047,6.074251e6,16,1000000,4340484,95.530794222,10467.828810008028,45.43544346457889,none,0.0,0.0,0.0
ABC Process: 'AB->AB' not optimized,0.000155704,0.0,0.016556525,34,37,8624.0,16,1000000,41,0.086056758,1.1620237889974894e7,0.47642975348897065,none,0.0,0.0,0.0
ABC Process: 'AB->AB' reduced,0.000155704,0.000444912,0.007915573,34,37,9296.0,16,1000000,41,0.086358596,1.1579623179607969e7,0.47476455036392673,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' not optimized,0.000404401,0.0,0.058490865,280,385,69428.0,16,1000000,555,0.100309332,9.969162191210683e6,5.532885016121929,none,0.0,0.0,0.0
ABC Process: 'AB->ABBB' reduced,0.000404401,0.003280859,0.040743287,200,285,57156.0,16,1000000,899,0.09951871,1.0048361760316227e7,9.033477222524288,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' not optimized,0.007139763,0.0,2.333970735,7854,11241,1.982968e6,16,1000000,15833,7.878134284,126933.60686056568,2.0097397974233364,none,0.0,0.0,0.0
ABC Process: 'AB->ABBBBB' reduced,0.007139763,0.469152506,1.297009285,4998,7671,1.507432e6,16,1000000,27893,6.215374959,160891.3390739167,4.4877421207887584,none,0.0,0.0,0.0
1 process_name graph_gen_time optimization_time function_generation_time graph_nodes graph_edges graph_mem cpu_threads n_inputs nflops_likwid cpu_time cpu_rate cpu_gflops gpu_name gpu_time gpu_rate gpu_gflops
2 QED Process: 'ke->ke' not optimized 0.000416832 0.0 0.142191958 26 29 6532.0 1 1000000 5683 1.099657532 909374.0286407642 5.167972604765463 none 0.0 0.0 0.0
3 QED Process: 'ke->ke' reduced 0.000416832 0.000226336 0.007362257 26 29 6948.0 1 1000000 5683 1.093019605 914896.6728734934 5.199357791940063 none 0.0 0.0 0.0
4 QED Process: 'ke->kke' not optimized 0.001429112 0.0 0.162321306 77 101 19175.0 1 1000000 23078 3.929152613 254507.80320708302 5.873531082413062 none 0.0 0.0 0.0
5 QED Process: 'ke->kke' reduced 0.001429112 0.053476821 0.014625596 61 79 16863.0 1 1000000 16308 2.71745083 367991.9389746603 6.00121254079876 none 0.0 0.0 0.0
6 QED Process: 'ke->kkke' not optimized 0.011559475 0.0 0.082647032 356 493 85898.0 1 1000000 120271 19.718061619 50714.924180803675 6.099534646149439 none 0.0 0.0 0.0
7 QED Process: 'ke->kkke' reduced 0.011559475 0.005813488 0.032362166 148 221 43962.0 1 1000000 43511 7.009285762 142667.88856310863 6.207622499269419 none 0.0 0.0 0.0
8 QED Process: 'ke->kkkke' not optimized 0.059642889 0.0 0.484053531 2183 3015 504653.0 1 1000000 749880 127.166558192 7863.7026449215455 5.896833339373769 none 0.0 0.0 0.0
9 QED Process: 'ke->kkkke' reduced 0.059642889 0.038744443 0.134278476 621 983 185533.0 1 1000000 189455 36.864168806 27126.611894128488 5.139272256402113 none 0.0 0.0 0.0
10 QED Process: 'ke->kkkkke' not optimized 1.062327969 0.0 6.39553959 15866 21617 3.982352e6 1 1000000 5405897 944.871738203 1058.3447039085383 5.721302459825056 none 0.0 0.0 0.0
11 QED Process: 'ke->kkkkke' reduced 1.062327969 0.471654237 0.526469997 2234 3977 1.145088e6 1 1000000 648737 128.755149847 7766.679633306333 5.03853244527225 none 0.0 0.0 0.0
12 QED Process: 'ke->kkkkkke' reduced 41.640690229 17.832311501 6.235837339 15033 27047 6.074251e6 1 1000000 4340484 888.270837833 1125.7827651300265 4.886442079522638 none 0.0 0.0 0.0
13 ABC Process: 'AB->AB' not optimized 0.000474433 0.0 0.016971529 34 37 8624.0 1 1000000 41 0.167961691 5.953738581972243e6 0.244103281860862 none 0.0 0.0 0.0
14 ABC Process: 'AB->AB' reduced 0.000474433 0.000250697 0.0079372 34 37 9296.0 1 1000000 41 0.170930543 5.850329510741682e6 0.23986350994040895 none 0.0 0.0 0.0
15 ABC Process: 'AB->ABBB' not optimized 0.000391901 0.0 0.05897346 280 385 69428.0 1 1000000 555 0.500031125 1.9998755077496425e6 1.1099309068010517 none 0.0 0.0 0.0
16 ABC Process: 'AB->ABBB' reduced 0.000391901 0.003088955 0.040907741 200 285 57156.0 1 1000000 899 0.544853754 1.8353548868087637e6 1.6499840432410786 none 0.0 0.0 0.0
17 ABC Process: 'AB->ABBBBB' not optimized 0.008247368 0.0 2.347340066 7854 11241 1.982968e6 1 1000000 15833 38.190558541 26184.482191493382 0.4145789065379147 none 0.0 0.0 0.0
18 ABC Process: 'AB->ABBBBB' reduced 0.008247368 0.277489117 1.301354394 4998 7671 1.507432e6 1 1000000 27893 40.152697698 24904.926874933484 0.6946731253225197 none 0.0 0.0 0.0
19 QED Process: 'ke->ke' not optimized 0.000403852 0.0 0.142253199 26 29 6532.0 2 1000000 5683 0.715233959 1.3981439044059708e6 7.945651808739132 none 0.0 0.0 0.0
20 QED Process: 'ke->ke' reduced 0.000403852 0.000333769 0.007473796 26 29 6948.0 2 1000000 5683 0.710643502 1.4071753237532594e6 7.996977364889774 none 0.0 0.0 0.0
21 QED Process: 'ke->kke' not optimized 0.001427479 0.0 0.164651479 77 101 19175.0 2 1000000 23078 1.994241302 501443.8317956369 11.572320750179708 none 0.0 0.0 0.0
22 QED Process: 'ke->kke' reduced 0.001427479 0.001256415 0.014462799 61 79 16863.0 2 1000000 16308 1.395239134 716723.0158841 11.688318943037903 none 0.0 0.0 0.0
23 QED Process: 'ke->kkke' not optimized 0.011687372 0.0 0.083362074 356 493 85898.0 2 1000000 120271 10.079910039 99207.23460139206 11.931753312744025 none 0.0 0.0 0.0
24 QED Process: 'ke->kkke' reduced 0.011687372 0.020481006 0.032324393 148 221 43962.0 2 1000000 43511 3.542087589 282319.3878958593 12.283998886736734 none 0.0 0.0 0.0
25 QED Process: 'ke->kkkke' not optimized 0.058450195 0.0 0.487866147 2183 3015 504653.0 2 1000000 749880 64.173043909 15582.866871922748 11.685280209917432 none 0.0 0.0 0.0
26 QED Process: 'ke->kkkke' reduced 0.058450195 0.040989213 0.136890851 621 983 185533.0 2 1000000 189455 19.426389187 51476.370125910624 9.752455702204397 none 0.0 0.0 0.0
27 QED Process: 'ke->kkkkke' not optimized 0.907366535 0.0 6.673265193 15866 21617 3.982352e6 2 1000000 5405897 476.620817192 2098.1039097106077 11.342133631192844 none 0.0 0.0 0.0
28 QED Process: 'ke->kkkkke' reduced 0.907366535 0.515813351 0.543554445 2234 3977 1.138176e6 2 1000000 648737 69.196827669 14451.529552531747 9.375241927320788 none 0.0 0.0 0.0
29 QED Process: 'ke->kkkkkke' reduced 42.970869315 17.421805278 6.286650041 15033 27047 6.074251e6 2 1000000 4340484 469.142044286 2131.5505872468266 9.251961219135454 none 0.0 0.0 0.0
30 ABC Process: 'AB->AB' not optimized 0.000156505 0.0 0.016950324 34 37 8624.0 2 1000000 41 0.122152986 8.18645563031918e6 0.33564468084308635 none 0.0 0.0 0.0
31 ABC Process: 'AB->AB' reduced 0.000156505 0.000394292 0.008227015 34 37 9296.0 2 1000000 41 0.123829122 8.075644758266153e6 0.33110143508891227 none 0.0 0.0 0.0
32 ABC Process: 'AB->ABBB' not optimized 0.000383511 0.0 0.06001645 280 385 69428.0 2 1000000 555 0.206061622 4.852917250161217e6 2.693369073839475 none 0.0 0.0 0.0
33 ABC Process: 'AB->ABBB' reduced 0.000383511 0.003188985 0.042017264 200 285 57156.0 2 1000000 899 0.23257461 4.299695482666831e6 3.8654262389174816 none 0.0 0.0 0.0
34 ABC Process: 'AB->ABBBBB' not optimized 0.007379088 0.0 2.384403811 7854 11241 1.982968e6 2 1000000 15833 21.434312986 46654.16617986116 0.7386754131257417 none 0.0 0.0 0.0
35 ABC Process: 'AB->ABBBBB' reduced 0.007379088 0.310597709 1.355576602 4998 7671 1.507432e6 2 1000000 27893 22.115403905 45217.35186459395 1.261247595559119 none 0.0 0.0 0.0
36 QED Process: 'ke->ke' not optimized 0.000405703 0.0 0.142290644 26 29 6532.0 3 1000000 5683 0.618635998 1.616459441792781e6 9.186339007708375 none 0.0 0.0 0.0
37 QED Process: 'ke->ke' reduced 0.000405703 0.000293069 0.00749667 26 29 6948.0 3 1000000 5683 0.608292104 1.6439470337099757e6 9.342550992573791 none 0.0 0.0 0.0
38 QED Process: 'ke->kke' not optimized 0.001477943 0.0 0.165342625 77 101 19175.0 3 1000000 23078 1.410915157 708759.8393416366 16.35675957232629 none 0.0 0.0 0.0
39 QED Process: 'ke->kke' reduced 0.001477943 0.001259767 0.014541245 61 79 16863.0 3 1000000 16308 0.956493062 1.0454858897868305e6 17.04978389064363 none 0.0 0.0 0.0
40 QED Process: 'ke->kkke' not optimized 0.011676933 0.0 0.083632557 356 493 85898.0 3 1000000 120271 6.599057066 151536.80139428575 18.225482640492142 none 0.0 0.0 0.0
41 QED Process: 'ke->kkke' reduced 0.011676933 0.007060747 0.032375987 148 221 43962.0 3 1000000 43511 2.339197699 427497.0005431764 18.60082199063415 none 0.0 0.0 0.0
42 QED Process: 'ke->kkkke' not optimized 0.059402986 0.0 0.604593404 2183 3015 504653.0 3 1000000 749880 42.229919926 23679.893349367274 17.757078424823533 none 0.0 0.0 0.0
43 QED Process: 'ke->kkkke' reduced 0.059402986 0.040831071 0.138829109 621 983 185533.0 3 1000000 189455 13.358083803 74861.03656389825 14.182797682213343 none 0.0 0.0 0.0
44 QED Process: 'ke->kkkkke' not optimized 1.010801956 0.0 6.513001516 15866 21617 3.982352e6 3 1000000 5405897 314.28804148 3181.794621554622 17.200453999278267 none 0.0 0.0 0.0
45 QED Process: 'ke->kkkkke' reduced 1.010801956 0.520249361 0.55030339 2234 3977 1.145088e6 3 1000000 648737 48.109826326 20785.77447409262 13.484500974999424 none 0.0 0.0 0.0
46 QED Process: 'ke->kkkkkke' reduced 43.577325507 17.370965212 6.417132285 15033 27047 6.074251e6 3 1000000 4340484 324.487561375 3081.7822284544577 13.376426454090918 none 0.0 0.0 0.0
47 ABC Process: 'AB->AB' not optimized 0.000165215 0.0 0.017266445 34 37 8624.0 3 1000000 41 0.10678774 9.36437085380775e6 0.3839392050061177 none 0.0 0.0 0.0
48 ABC Process: 'AB->AB' reduced 0.000165215 0.000363811 0.008209255 34 37 9296.0 3 1000000 41 0.111947808 8.932734082653945e6 0.36624209738881175 none 0.0 0.0 0.0
49 ABC Process: 'AB->ABBB' not optimized 0.000432082 0.0 0.061304796 280 385 69428.0 3 1000000 555 0.16296477 6.136295593213183e6 3.4056440542333166 none 0.0 0.0 0.0
50 ABC Process: 'AB->ABBB' reduced 0.000432082 0.003687795 0.043141496 200 285 57156.0 3 1000000 899 0.175522881 5.697262911266822e6 5.121839357228874 none 0.0 0.0 0.0
51 ABC Process: 'AB->ABBBBB' not optimized 0.007962198 0.0 2.402439353 7854 11241 1.982968e6 3 1000000 15833 15.293166704 65388.681059655566 1.0352989872175264 none 0.0 0.0 0.0
52 ABC Process: 'AB->ABBBBB' reduced 0.007962198 0.278245766 1.363143846 4998 7671 1.507432e6 3 1000000 27893 16.426870091 60875.86950285087 1.6980106280430194 none 0.0 0.0 0.0
53 QED Process: 'ke->ke' not optimized 0.000422062 0.0 0.197552826 26 29 6532.0 4 1000000 5683 0.319258827 3.1322548209450133e6 17.800604147430512 none 0.0 0.0 0.0
54 QED Process: 'ke->ke' reduced 0.000422062 0.00034778 0.007437403 26 29 6948.0 4 1000000 5683 0.31865171 3.1382226067451513e6 17.834519074132693 none 0.0 0.0 0.0
55 QED Process: 'ke->kke' not optimized 0.001454252 0.0 0.162749368 77 101 19175.0 4 1000000 23078 1.070005011 934575.0624713664 21.56812329171419 none 0.0 0.0 0.0
56 QED Process: 'ke->kke' reduced 0.001454252 0.043562969 0.014515897 61 79 16863.0 4 1000000 16308 0.735867718 1.3589398957707777e6 22.161591820229845 none 0.0 0.0 0.0
57 QED Process: 'ke->kkke' not optimized 0.011621733 0.0 0.082766494 356 493 85898.0 4 1000000 120271 4.84551426 206376.44351912403 24.821101238488566 none 0.0 0.0 0.0
58 QED Process: 'ke->kkke' reduced 0.011621733 0.006195958 0.032464041 148 221 43962.0 4 1000000 43511 1.772960393 564028.3922574914 24.541439375515704 none 0.0 0.0 0.0
59 QED Process: 'ke->kkkke' not optimized 0.059685482 0.0 0.489193295 2183 3015 504653.0 4 1000000 749880 32.687658868 30592.585539338295 22.940768044239004 none 0.0 0.0 0.0
60 QED Process: 'ke->kkkke' reduced 0.059685482 0.055994537 0.135945621 621 983 185533.0 4 1000000 189455 10.196835842 98069.6380225202 18.579783271556565 none 0.0 0.0 0.0
61 QED Process: 'ke->kkkkke' not optimized 1.039591441 0.0 6.510710069 15866 21617 3.982352e6 4 1000000 5405897 237.966946723 4202.264279854072 22.71700786367029 none 0.0 0.0 0.0
62 QED Process: 'ke->kkkkke' reduced 1.039591441 0.640614183 0.546447189 2234 3977 1.145088e6 4 1000000 648737 36.456954636 27429.608698378062 17.79460205815969 none 0.0 0.0 0.0
63 QED Process: 'ke->kkkkkke' reduced 43.65494964 18.511698708 6.337512756 15033 27047 6.074251e6 4 1000000 4340484 250.654946467 3989.548237906628 17.31657029386191 none 0.0 0.0 0.0
64 ABC Process: 'AB->AB' not optimized 0.000154694 0.0 0.016521915 34 37 8624.0 4 1000000 41 0.094403111 1.0592871245524948e7 0.4343077210665229 none 0.0 0.0 0.0
65 ABC Process: 'AB->AB' reduced 0.000154694 0.000365451 0.007846395 34 37 9296.0 4 1000000 41 0.095364289 1.0486105548377758e7 0.4299303274834881 none 0.0 0.0 0.0
66 ABC Process: 'AB->ABBB' not optimized 0.000454003 0.0 0.059000415 280 385 69428.0 4 1000000 555 0.137236503 7.286691063528484e6 4.044113540258309 none 0.0 0.0 0.0
67 ABC Process: 'AB->ABBB' reduced 0.000454003 0.003244713 0.040646297 200 285 57156.0 4 1000000 899 0.149994089 6.666929388130755e6 5.993569519929549 none 0.0 0.0 0.0
68 ABC Process: 'AB->ABBBBB' not optimized 0.008454683 0.0 2.331775454 7854 11241 1.982968e6 4 1000000 15833 12.236253762 81724.35938730901 1.2939417821792636 none 0.0 0.0 0.0
69 ABC Process: 'AB->ABBBBB' reduced 0.008454683 0.270852591 1.30331116 4998 7671 1.507432e6 4 1000000 27893 12.659176209 78994.08172303134 2.203381921500513 none 0.0 0.0 0.0
70 QED Process: 'ke->ke' not optimized 0.000413252 0.0 0.143073739 26 29 6532.0 5 1000000 5683 0.269337367 3.712815682199789e6 21.099931521941404 none 0.0 0.0 0.0
71 QED Process: 'ke->ke' reduced 0.000413252 0.000382241 0.007462694 26 29 6948.0 5 1000000 5683 0.268163175 3.729072793085777e6 21.192320683106473 none 0.0 0.0 0.0
72 QED Process: 'ke->kke' not optimized 0.001425911 0.0 0.162960172 77 101 19175.0 5 1000000 23078 0.834405712 1.1984577593591544e6 27.658008170490564 none 0.0 0.0 0.0
73 QED Process: 'ke->kke' reduced 0.001425911 0.044672164 0.014594958 61 79 16863.0 5 1000000 16308 0.933567282 1.0711600752092337e6 17.468478506512184 none 0.0 0.0 0.0
74 QED Process: 'ke->kkke' not optimized 0.011554321 0.0 0.083364585 356 493 85898.0 5 1000000 120271 3.969103991 251946.03171585183 30.301801180497215 none 0.0 0.0 0.0
75 QED Process: 'ke->kkke' reduced 0.011554321 0.006345572 0.032632617 148 221 43962.0 5 1000000 43511 1.436361166 696203.7290278565 30.292520453731065 none 0.0 0.0 0.0
76 QED Process: 'ke->kkkke' not optimized 0.060042395 0.0 0.490456751 2183 3015 504653.0 5 1000000 749880 26.294862678 38030.24234223004 28.518118127591464 none 0.0 0.0 0.0
77 QED Process: 'ke->kkkke' reduced 0.060042395 0.040309208 0.136546763 621 983 185533.0 5 1000000 189455 8.806703481 113549.86598077787 21.51258985938827 none 0.0 0.0 0.0
78 QED Process: 'ke->kkkkke' not optimized 1.042384898 0.0 6.543593732 15866 21617 3.982352e6 5 1000000 5405897 191.983645358 5208.777019184409 28.15811206167794 none 0.0 0.0 0.0
79 QED Process: 'ke->kkkkke' reduced 1.042384898 0.528700782 0.546099641 2234 3977 1.145088e6 5 1000000 648737 31.472241708 31774.031518886302 20.612989885467744 none 0.0 0.0 0.0
80 QED Process: 'ke->kkkkkke' reduced 44.147109337 18.339093794 6.3069457 15033 27047 6.074251e6 5 1000000 4340484 213.464950286 4684.60980905859 20.333473922461863 none 0.0 0.0 0.0
81 ABC Process: 'AB->AB' not optimized 0.000164015 0.0 0.016842494 34 37 8624.0 5 1000000 41 0.090457259 1.1054944744677706e7 0.4532527345317859 none 0.0 0.0 0.0
82 ABC Process: 'AB->AB' reduced 0.000164015 0.000381851 0.007886717 34 37 9296.0 5 1000000 41 0.09120457 1.0964362860325968e7 0.44953887727336467 none 0.0 0.0 0.0
83 ABC Process: 'AB->ABBB' not optimized 0.000423002 0.0 0.057193913 280 385 69428.0 5 1000000 555 0.126378072 7.91276511956916e6 4.3915846413608834 none 0.0 0.0 0.0
84 ABC Process: 'AB->ABBB' reduced 0.000423002 0.003400608 0.040203966 200 285 57156.0 5 1000000 899 0.134988849 7.408019309802397e6 6.659809359512355 none 0.0 0.0 0.0
85 ABC Process: 'AB->ABBBBB' not optimized 0.008469303 0.0 2.299039913 7854 11241 1.982968e6 5 1000000 15833 11.802467581 84728.04463448244 1.3414991306977606 none 0.0 0.0 0.0
86 ABC Process: 'AB->ABBBBB' reduced 0.008469303 0.3065725 1.301002324 4998 7671 1.507432e6 5 1000000 27893 12.07699346 82802.06520870302 2.309598004866353 none 0.0 0.0 0.0
87 QED Process: 'ke->ke' not optimized 0.000417043 0.0 0.143020139 26 29 6532.0 6 1000000 5683 0.230687349 4.334871436751393e6 24.635074375058164 none 0.0 0.0 0.0
88 QED Process: 'ke->ke' reduced 0.000417043 0.00034728 0.007539307 26 29 6948.0 6 1000000 5683 0.23281343 4.29528485534533e6 24.410103832927515 none 0.0 0.0 0.0
89 QED Process: 'ke->kke' not optimized 0.001459612 0.0 0.164676412 77 101 19175.0 6 1000000 23078 0.704806482 1.418829175864475e6 32.74373972060036 none 0.0 0.0 0.0
90 QED Process: 'ke->kke' reduced 0.001459612 0.043699365 0.014504647 61 79 16863.0 6 1000000 16308 0.917638498 1.0897537561681506e6 17.771704255590198 none 0.0 0.0 0.0
91 QED Process: 'ke->kkke' not optimized 0.011739657 0.0 0.083612243 356 493 85898.0 6 1000000 120271 3.324746697 300774.7931300524 36.17448514454453 none 0.0 0.0 0.0
92 QED Process: 'ke->kkke' reduced 0.011739657 0.005715194 0.032312268 148 221 43962.0 6 1000000 43511 1.20584806 829291.8761257533 36.08331882210765 none 0.0 0.0 0.0
93 QED Process: 'ke->kkkke' not optimized 0.059683435 0.0 0.493719767 2183 3015 504653.0 6 1000000 749880 22.811595267 43837.355007198144 32.872755772797746 none 0.0 0.0 0.0
94 QED Process: 'ke->kkkke' reduced 0.059683435 0.040256967 0.137925133 621 983 185533.0 6 1000000 189455 7.853848082 127326.1195733936 24.122569983777286 none 0.0 0.0 0.0
95 QED Process: 'ke->kkkkke' not optimized 1.054503402 0.0 6.554282919 15866 21617 3.982352e6 6 1000000 5405897 160.707695505 6222.477379553287 33.63807179869497 none 0.0 0.0 0.0
96 QED Process: 'ke->kkkkke' reduced 1.054503402 0.501320626 0.554327439 2234 3977 1.145088e6 6 1000000 648737 27.60822707 36221.08719493374 23.497959443579727 none 0.0 0.0 0.0
97 QED Process: 'ke->kkkkkke' reduced 43.669608476 17.802861267 6.213337504 15033 27047 6.074251e6 6 1000000 4340484 182.721755884 5472.802049006386 23.754609728879437 none 0.0 0.0 0.0
98 ABC Process: 'AB->AB' not optimized 0.000166535 0.0 0.01668645 34 37 8624.0 6 1000000 41 0.085374503 1.1713098933062017e7 0.4802370562555427 none 0.0 0.0 0.0
99 ABC Process: 'AB->AB' reduced 0.000166535 0.000375531 0.007825246 34 37 9296.0 6 1000000 41 0.086987749 1.1495871677286418e7 0.47133073876874315 none 0.0 0.0 0.0
100 ABC Process: 'AB->ABBB' not optimized 0.000452273 0.0 0.057925504 280 385 69428.0 6 1000000 555 0.113074279 8.843744208176645e6 4.9082780355380375 none 0.0 0.0 0.0
101 ABC Process: 'AB->ABBB' reduced 0.000452273 0.00314191 0.039873736 200 285 57156.0 6 1000000 899 0.120100791 8.326339832349647e6 7.485379509282333 none 0.0 0.0 0.0
102 ABC Process: 'AB->ABBBBB' not optimized 0.009214085 0.0 2.321825459 7854 11241 1.982968e6 6 1000000 15833 10.267792035 97391.92190407468 1.5420062995072146 none 0.0 0.0 0.0
103 ABC Process: 'AB->ABBBBB' reduced 0.009214085 0.297605192 1.291820411 4998 7671 1.507432e6 6 1000000 27893 10.720895566 93275.78968042342 2.6017416015560504 none 0.0 0.0 0.0
104 QED Process: 'ke->ke' not optimized 0.000407492 0.0 0.142142425 26 29 6532.0 7 1000000 5683 0.205797674 4.85914141089855e6 27.614500638136462 none 0.0 0.0 0.0
105 QED Process: 'ke->ke' reduced 0.000407492 0.000369221 0.007512386 26 29 6948.0 7 1000000 5683 0.20531643 4.870530819184807e6 27.679226645427256 none 0.0 0.0 0.0
106 QED Process: 'ke->kke' not optimized 0.001469573 0.0 0.165391603 77 101 19175.0 7 1000000 23078 0.610286318 1.6385751580948927e6 37.81503749851393 none 0.0 0.0 0.0
107 QED Process: 'ke->kke' reduced 0.001469573 0.047330541 0.014504177 61 79 16863.0 7 1000000 16308 0.43291809 2.3099057837938815e6 37.66994352211062 none 0.0 0.0 0.0
108 QED Process: 'ke->kkke' not optimized 0.011569733 0.0 0.082708966 356 493 85898.0 7 1000000 120271 2.860309674 349612.4944406981 42.0482443188772 none 0.0 0.0 0.0
109 QED Process: 'ke->kkke' reduced 0.011569733 0.006750314 0.032273987 148 221 43962.0 7 1000000 43511 1.044942608 956990.3575029644 41.63960744531148 none 0.0 0.0 0.0
110 QED Process: 'ke->kkkke' not optimized 0.059614693 0.0 0.492936576 2183 3015 504653.0 7 1000000 749880 19.095801878 52367.531166737004 39.269364271312746 none 0.0 0.0 0.0
111 QED Process: 'ke->kkkke' reduced 0.059614693 0.056236605 0.138333034 621 983 185533.0 7 1000000 189455 6.34676174 157560.66494470296 29.8506557770987 none 0.0 0.0 0.0
112 QED Process: 'ke->kkkkke' not optimized 1.050310742 0.0 6.551371601 15866 21617 3.982352e6 7 1000000 5405897 138.132281353 7239.437372676693 39.13565277464082 none 0.0 0.0 0.0
113 QED Process: 'ke->kkkkke' reduced 1.050310742 0.495498539 0.733534099 2234 3977 1.145088e6 7 1000000 648737 23.74606662 42112.23761824012 27.31976669574424 none 0.0 0.0 0.0
114 QED Process: 'ke->kkkkkke' reduced 43.349001903 18.422956294 6.20023174 15033 27047 6.074251e6 7 1000000 4340484 161.251631842 6201.487628849766 26.91745782922035 none 0.0 0.0 0.0
115 ABC Process: 'AB->AB' not optimized 0.000164355 0.0 0.01704772 34 37 8624.0 7 1000000 41 0.086480955 1.156323955950764e7 0.4740928219398133 none 0.0 0.0 0.0
116 ABC Process: 'AB->AB' reduced 0.000164355 0.000412952 0.00836477 34 37 9296.0 7 1000000 41 0.089418719 1.1183340705205139e7 0.45851696891341065 none 0.0 0.0 0.0
117 ABC Process: 'AB->ABBB' not optimized 0.000420162 0.0 0.057607305 280 385 69428.0 7 1000000 555 0.110367501 9.060638239874616e6 5.028654223130412 none 0.0 0.0 0.0
118 ABC Process: 'AB->ABBB' reduced 0.000420162 0.003228623 0.039971169 200 285 57156.0 7 1000000 899 0.115717315 8.641749076186221e6 7.7689324194914136 none 0.0 0.0 0.0
119 ABC Process: 'AB->ABBBBB' not optimized 0.006768464 0.0 2.307065796 7854 11241 1.982968e6 7 1000000 15833 9.046608035 110538.6677670953 1.7501587267564198 none 0.0 0.0 0.0
120 ABC Process: 'AB->ABBBBB' reduced 0.006768464 0.289403906 1.307146192 4998 7671 1.507432e6 7 1000000 27893 9.386326727 106537.94919832434 2.9716630169888605 none 0.0 0.0 0.0
121 QED Process: 'ke->ke' not optimized 0.000407091 0.0 0.273066077 26 29 6532.0 8 1000000 5683 0.187113846 5.3443399373021275e6 30.37188386368799 none 0.0 0.0 0.0
122 QED Process: 'ke->ke' reduced 0.000407091 0.000411822 0.007487655 26 29 6948.0 8 1000000 5683 0.187552789 5.33183220218602e6 30.300802405023152 none 0.0 0.0 0.0
123 QED Process: 'ke->kke' not optimized 0.001461052 0.0 0.16462108 77 101 19175.0 8 1000000 23078 0.564297766 1.7721140508644152e6 40.89684806584898 none 0.0 0.0 0.0
124 QED Process: 'ke->kke' reduced 0.001461052 0.056890616 0.01465998 61 79 16863.0 8 1000000 16308 0.385435328 2.5944689740531514e6 42.310600028858794 none 0.0 0.0 0.0
125 QED Process: 'ke->kkke' not optimized 0.01160686 0.0 0.083179479 356 493 85898.0 8 1000000 120271 2.508861262 398587.20573605 47.938481821080465 none 0.0 0.0 0.0
126 QED Process: 'ke->kkke' reduced 0.01160686 0.007306783 0.032529438 148 221 43962.0 8 1000000 43511 0.918300754 1.0889678524645967e6 47.382080228587064 none 0.0 0.0 0.0
127 QED Process: 'ke->kkkke' not optimized 0.060035062 0.0 0.490512261 2183 3015 504653.0 8 1000000 749880 16.796615652 59535.80296879201 44.64470793023776 none 0.0 0.0 0.0
128 QED Process: 'ke->kkkke' reduced 0.060035062 0.040415015 0.138334341 621 983 185533.0 8 1000000 189455 5.866855301 170449.0649069785 32.292427591951615 none 0.0 0.0 0.0
129 QED Process: 'ke->kkkkke' not optimized 1.085570766 0.0 6.62849813 15866 21617 3.982352e6 8 1000000 5405897 123.327489076 8108.492336074032 43.83367439410561 none 0.0 0.0 0.0
130 QED Process: 'ke->kkkkke' reduced 1.085570766 0.488386218 0.552508179 2234 3977 1.145088e6 8 1000000 648737 21.553492489 46396.19312324247 30.098927138192952 none 0.0 0.0 0.0
131 QED Process: 'ke->kkkkkke' reduced 44.412101158 18.197264492 6.353428834 15033 27047 6.074251e6 8 1000000 4340484 148.047148125 6754.604952982102 29.318254724739568 none 0.0 0.0 0.0
132 ABC Process: 'AB->AB' not optimized 0.000146674 0.0 0.017128359 34 37 8624.0 8 1000000 41 0.088785018 1.1263161539258799e7 0.46178962310961075 none 0.0 0.0 0.0
133 ABC Process: 'AB->AB' reduced 0.000146674 0.000415051 0.008459913 34 37 9296.0 8 1000000 41 0.088094555 1.1351439371025825e7 0.4654090142120588 none 0.0 0.0 0.0
134 ABC Process: 'AB->ABBB' not optimized 0.000453451 0.0 0.062898243 280 385 69428.0 8 1000000 555 0.105873779 9.445209280760631e6 5.242091150822151 none 0.0 0.0 0.0
135 ABC Process: 'AB->ABBB' reduced 0.000453451 0.003255032 0.043431236 200 285 57156.0 8 1000000 899 0.10929342 9.149681655126173e6 8.22556380795843 none 0.0 0.0 0.0
136 ABC Process: 'AB->ABBBBB' not optimized 0.007021448 0.0 2.438662754 7854 11241 1.982968e6 8 1000000 15833 8.719411378 114686.64072016445 1.8158335825223637 none 0.0 0.0 0.0
137 ABC Process: 'AB->ABBBBB' reduced 0.007021448 0.279258146 1.385337411 4998 7671 1.507432e6 8 1000000 27893 8.849104422 113005.78593172353 3.152070386993564 none 0.0 0.0 0.0
138 QED Process: 'ke->ke' not optimized 0.000415981 0.0 0.142074969 26 29 6532.0 9 1000000 5683 0.90093379 1.1099594788203028e6 6.30789971813578 none 0.0 0.0 0.0
139 QED Process: 'ke->ke' reduced 0.000415981 0.000436702 0.007530575 26 29 6948.0 9 1000000 5683 0.874710346 1.1432355917280987e6 6.497007867790785 none 0.0 0.0 0.0
140 QED Process: 'ke->kke' not optimized 0.001457917 0.0 0.165713831 77 101 19175.0 9 1000000 23078 0.512481676 1.9512892788775533e6 45.03185397793617 none 0.0 0.0 0.0
141 QED Process: 'ke->kke' reduced 0.001457917 0.043212987 0.014603927 61 79 16863.0 9 1000000 16308 0.358141002 2.7921963539935593e6 45.53513814092696 none 0.0 0.0 0.0
142 QED Process: 'ke->kkke' not optimized 0.011681223 0.0 0.08335605 356 493 85898.0 9 1000000 120271 2.287616782 437136.15316536 52.57480227735101 none 0.0 0.0 0.0
143 QED Process: 'ke->kkke' reduced 0.011681223 0.006810646 0.032095143 148 221 43962.0 9 1000000 43511 0.84204133 1.1875901625873875e6 51.67323556433981 none 0.0 0.0 0.0
144 QED Process: 'ke->kkkke' not optimized 0.060532594 0.0 0.49242029 2183 3015 504653.0 9 1000000 749880 15.65187103 63890.12521782835 47.90992709834512 none 0.0 0.0 0.0
145 QED Process: 'ke->kkkke' reduced 0.060532594 0.04373095 0.136935272 621 983 185533.0 9 1000000 189455 5.660829724 176652.54896474606 33.46770866411597 none 0.0 0.0 0.0
146 QED Process: 'ke->kkkkke' not optimized 1.06867787 0.0 6.528005973 15866 21617 3.982352e6 9 1000000 5405897 112.246015855 8909.002180458729 48.161148160335294 none 0.0 0.0 0.0
147 QED Process: 'ke->kkkkke' reduced 1.06867787 0.599657175 0.545603133 2234 3977 1.138176e6 9 1000000 648737 19.835588588 50414.43542567591 32.705709594746715 none 0.0 0.0 0.0
148 QED Process: 'ke->kkkkkke' reduced 45.069601648 18.052478781 6.444323717 15033 27047 6.074251e6 9 1000000 4340484 135.847359555 7361.203068471374 31.951184139450902 none 0.0 0.0 0.0
149 ABC Process: 'AB->AB' not optimized 0.000162754 0.0 0.016933906 34 37 8624.0 9 1000000 41 0.086219465 1.1598309036132386e7 0.47553067048142783 none 0.0 0.0 0.0
150 ABC Process: 'AB->AB' reduced 0.000162754 0.000432842 0.00814777 34 37 9296.0 9 1000000 41 0.085579369 1.1685059281051721e7 0.4790874305231206 none 0.0 0.0 0.0
151 ABC Process: 'AB->ABBB' not optimized 0.000410271 0.0 0.061241763 280 385 69428.0 9 1000000 555 0.108576561 9.210090932977699e6 5.111600467802623 none 0.0 0.0 0.0
152 ABC Process: 'AB->ABBB' reduced 0.000410271 0.003269348 0.043063382 200 285 57156.0 9 1000000 899 0.106781435 9.364923780992456e6 8.419066479112217 none 0.0 0.0 0.0
153 ABC Process: 'AB->ABBBBB' not optimized 0.007349228 0.0 2.422015697 7854 11241 1.982968e6 9 1000000 15833 8.26459201 120998.10841116161 1.9157630504739218 none 0.0 0.0 0.0
154 ABC Process: 'AB->ABBBBB' reduced 0.007349228 0.331438575 1.379430053 4998 7671 1.507432e6 9 1000000 27893 8.701080396 114928.25654842966 3.205693859905349 none 0.0 0.0 0.0
155 QED Process: 'ke->ke' not optimized 0.000404781 0.0 0.141596923 26 29 6532.0 10 1000000 5683 0.16322332 6.126575540798949e6 34.81732879836043 none 0.0 0.0 0.0
156 QED Process: 'ke->ke' reduced 0.000404781 0.000389751 0.007607107 26 29 6948.0 10 1000000 5683 0.166281055 6.013914212896953e6 34.177074471893384 none 0.0 0.0 0.0
157 QED Process: 'ke->kke' not optimized 0.094137777 0.0 0.162168485 77 101 19175.0 10 1000000 23078 0.448930803 2.2275147824953324e6 51.40658615042729 none 0.0 0.0 0.0
158 QED Process: 'ke->kke' reduced 0.094137777 0.044206691 0.0143803 61 79 16863.0 10 1000000 16308 0.321777464 3.1077378371034707e6 50.680988647483396 none 0.0 0.0 0.0
159 QED Process: 'ke->kkke' not optimized 0.011551814 0.0 0.082958195 356 493 85898.0 10 1000000 120271 2.048706218 488112.93254931684 58.70583051063888 none 0.0 0.0 0.0
160 QED Process: 'ke->kkke' reduced 0.011551814 0.006589459 0.03239809 148 221 43962.0 10 1000000 43511 0.751390472 1.3308659575337283e6 57.907308678250054 none 0.0 0.0 0.0
161 QED Process: 'ke->kkkke' not optimized 0.060020652 0.0 0.492926956 2183 3015 504653.0 10 1000000 749880 14.500608235 68962.62444952538 51.71369282221009 none 0.0 0.0 0.0
162 QED Process: 'ke->kkkke' reduced 0.060020652 0.039742322 0.136650449 621 983 185533.0 10 1000000 189455 3.777879044 264698.7868995416 50.14850867205266 none 0.0 0.0 0.0
163 QED Process: 'ke->kkkkke' not optimized 1.088321527 0.0 6.430067533 15866 21617 3.982352e6 10 1000000 5405897 99.408929763 10059.458464989932 54.38039633751368 none 0.0 0.0 0.0
164 QED Process: 'ke->kkkkke' reduced 1.088321527 0.68403137 0.551130398 2234 3977 1.145088e6 10 1000000 648737 19.80851602 50483.33751959679 32.75040893245066 none 0.0 0.0 0.0
165 QED Process: 'ke->kkkkkke' reduced 44.122659554 16.118877974 6.126612105 15033 27047 6.074251e6 10 1000000 4340484 129.639490484 7713.698937465503 33.481186818886016 none 0.0 0.0 0.0
166 ABC Process: 'AB->AB' not optimized 0.000161575 0.0 0.01714635 34 37 8624.0 10 1000000 41 0.085320822 1.1720468422116233e7 0.4805392053067656 none 0.0 0.0 0.0
167 ABC Process: 'AB->AB' reduced 0.000161575 0.000402971 0.008176434 34 37 9296.0 10 1000000 41 0.091957683 1.0874567163681148e7 0.44585725371092705 none 0.0 0.0 0.0
168 ABC Process: 'AB->ABBB' not optimized 0.00035024 0.0 0.060008547 280 385 69428.0 10 1000000 555 0.102871544 9.720861193645544e6 5.395077962473277 none 0.0 0.0 0.0
169 ABC Process: 'AB->ABBB' reduced 0.00035024 0.003186318 0.042141327 200 285 57156.0 10 1000000 899 0.102263958 9.77861623544827e6 8.790975995667994 none 0.0 0.0 0.0
170 ABC Process: 'AB->ABBBBB' not optimized 0.007332621 0.0 2.39644201 7854 11241 1.982968e6 10 1000000 15833 7.093082377 140982.43145217033 2.232174837182213 none 0.0 0.0 0.0
171 ABC Process: 'AB->ABBBBB' reduced 0.007332621 0.273692037 1.348103426 4998 7671 1.507432e6 10 1000000 27893 8.406378912 118957.28356623476 3.318075510512986 none 0.0 0.0 0.0
172 QED Process: 'ke->ke' not optimized 0.000406502 0.0 0.141790228 26 29 6532.0 11 1000000 5683 0.152140033 6.572891961972954e6 37.353745019892294 none 0.0 0.0 0.0
173 QED Process: 'ke->ke' reduced 0.000406502 0.000421482 0.007437875 26 29 6948.0 11 1000000 5683 0.153610833 6.509957536653681e6 36.99608868080286 none 0.0 0.0 0.0
174 QED Process: 'ke->kke' not optimized 0.001448078 0.0 0.16399523 77 101 19175.0 11 1000000 23078 0.413552565 2.4180722951144073e6 55.80427242665029 none 0.0 0.0 0.0
175 QED Process: 'ke->kke' reduced 0.001448078 0.001287738 0.014476007 61 79 16863.0 11 1000000 16308 0.302012973 3.311116042687345e6 53.997680424145216 none 0.0 0.0 0.0
176 QED Process: 'ke->kkke' not optimized 0.011549805 0.0 0.082902214 356 493 85898.0 11 1000000 120271 1.842802374 542651.7862734206 65.26527298689057 none 0.0 0.0 0.0
177 QED Process: 'ke->kkke' reduced 0.011549805 0.006389496 0.032343334 148 221 43962.0 11 1000000 43511 0.692055287 1.4449712599334568e6 62.87214449096464 none 0.0 0.0 0.0
178 QED Process: 'ke->kkkke' not optimized 0.059032921 0.0 0.489917204 2183 3015 504653.0 11 1000000 749880 13.442805766 74389.23223373754 55.7829974674351 none 0.0 0.0 0.0
179 QED Process: 'ke->kkkke' reduced 0.059032921 0.056634255 0.138971179 621 983 185533.0 11 1000000 189455 5.206396863 192071.4125937349 36.38888947294605 none 0.0 0.0 0.0
180 QED Process: 'ke->kkkkke' not optimized 1.075847276 0.0 6.517554046 15866 21617 3.982352e6 11 1000000 5405897 92.762839214 10780.178878451981 58.27653665848693 none 0.0 0.0 0.0
181 QED Process: 'ke->kkkkke' reduced 1.075847276 0.477987998 0.547846858 2234 3977 1.145088e6 11 1000000 648737 18.732986297 53381.77181927183 34.63073050471895 none 0.0 0.0 0.0
182 QED Process: 'ke->kkkkkke' reduced 43.3795548 18.064181564 6.438537503 15033 27047 6.074251e6 11 1000000 4340484 118.034265281 8472.116106448711 36.77308440618293 none 0.0 0.0 0.0
183 ABC Process: 'AB->AB' not optimized 0.000158504 0.0 0.016891054 34 37 8624.0 11 1000000 41 0.084551612 1.1827095620601533e7 0.4849109204446629 none 0.0 0.0 0.0
184 ABC Process: 'AB->AB' reduced 0.000158504 0.00040669 0.008044817 34 37 9296.0 11 1000000 41 0.086822992 1.1517686467197537e7 0.47222514515509906 none 0.0 0.0 0.0
185 ABC Process: 'AB->ABBB' not optimized 0.00037811 0.0 0.059958124 280 385 69428.0 11 1000000 555 0.116438315 8.588238330312492e6 4.766472273323433 none 0.0 0.0 0.0
186 ABC Process: 'AB->ABBB' reduced 0.00037811 0.003211239 0.041741948 200 285 57156.0 11 1000000 899 0.100392355 9.960917840805706e6 8.95486513888433 none 0.0 0.0 0.0
187 ABC Process: 'AB->ABBBBB' not optimized 0.007829143 0.0 2.377448136 7854 11241 1.982968e6 11 1000000 15833 6.894505859 145043.027078527 2.2964662477343176 none 0.0 0.0 0.0
188 ABC Process: 'AB->ABBBBB' reduced 0.007829143 0.262388836 1.33119686 4998 7671 1.507432e6 11 1000000 27893 7.386928053 135374.27098587717 3.7759945406090716 none 0.0 0.0 0.0
189 QED Process: 'ke->ke' not optimized 0.00040974 0.0 0.141702878 26 29 6532.0 12 1000000 5683 0.143172598 6.984576755392816e6 39.69334970089737 none 0.0 0.0 0.0
190 QED Process: 'ke->ke' reduced 0.00040974 0.000403 0.007448387 26 29 6948.0 12 1000000 5683 0.143856539 6.951369794875991e6 39.50463454428026 none 0.0 0.0 0.0
191 QED Process: 'ke->kke' not optimized 0.001466116 0.0 0.165770224 77 101 19175.0 12 1000000 23078 0.379379799 2.6358809895410375e6 60.83086147662806 none 0.0 0.0 0.0
192 QED Process: 'ke->kke' reduced 0.001466116 0.056434153 0.014473034 61 79 16863.0 12 1000000 16308 0.279254485 3.580963077459615e6 58.398345867211404 none 0.0 0.0 0.0
193 QED Process: 'ke->kkke' not optimized 0.011630684 0.0 0.082986855 356 493 85898.0 12 1000000 120271 1.707706374 585580.7621410213 70.42838384346277 none 0.0 0.0 0.0
194 QED Process: 'ke->kkke' reduced 0.011630684 0.006989227 0.032451591 148 221 43962.0 12 1000000 43511 2.082187754 480264.08669388416 20.896770676137592 none 0.0 0.0 0.0
195 QED Process: 'ke->kkkke' not optimized 0.058567663 0.0 0.489796923 2183 3015 504653.0 12 1000000 749880 12.15359975 82280.14913852993 61.70023823600082 none 0.0 0.0 0.0
196 QED Process: 'ke->kkkke' reduced 0.058567663 0.038658372 0.137284537 621 983 185533.0 12 1000000 189455 4.557444916 219421.19289017865 41.570442099008794 none 0.0 0.0 0.0
197 QED Process: 'ke->kkkkke' not optimized 1.039638784 0.0 6.623001613 15866 21617 3.982352e6 12 1000000 5405897 85.315424704 11721.20989222615 63.363653392755666 none 0.0 0.0 0.0
198 QED Process: 'ke->kkkkke' reduced 1.039638784 0.574728966 0.549160788 2234 3977 1.138176e6 12 1000000 648737 16.951035133 58993.447429839616 38.271232105291865 none 0.0 0.0 0.0
199 QED Process: 'ke->kkkkkke' reduced 44.556395718 18.009618638 6.208598348 15033 27047 6.074251e6 12 1000000 4340484 112.038671956 8925.489588030117 38.74094474901131 none 0.0 0.0 0.0
200 ABC Process: 'AB->AB' not optimized 0.000165094 0.0 0.017016445 34 37 8624.0 12 1000000 41 0.083614769 1.195960967134885e7 0.4903439965253028 none 0.0 0.0 0.0
201 ABC Process: 'AB->AB' reduced 0.000165094 0.000432322 0.007975779 34 37 9296.0 12 1000000 41 0.083883417 1.1921307402153157e7 0.4887736034882794 none 0.0 0.0 0.0
202 ABC Process: 'AB->ABBB' not optimized 0.00041339 0.0 0.059370275 280 385 69428.0 12 1000000 555 0.100982046 9.902750435458595e6 5.496026491679521 none 0.0 0.0 0.0
203 ABC Process: 'AB->ABBB' reduced 0.00041339 0.00342609 0.04155883 200 285 57156.0 12 1000000 899 0.10106195 9.894920887633773e6 8.89553387798276 none 0.0 0.0 0.0
204 ABC Process: 'AB->ABBBBB' not optimized 0.007424875 0.0 2.379512773 7854 11241 1.982968e6 12 1000000 15833 7.089738308 141048.92967228545 2.2332277035012957 none 0.0 0.0 0.0
205 ABC Process: 'AB->ABBBBB' reduced 0.007424875 0.271811669 1.346133294 4998 7671 1.507432e6 12 1000000 27893 7.350202463 136050.67411868926 3.7948614531926 none 0.0 0.0 0.0
206 QED Process: 'ke->ke' not optimized 0.000420601 0.0 0.199208162 26 29 6532.0 13 1000000 5683 0.13693181 7.302905000671503e6 41.50240911881615 none 0.0 0.0 0.0
207 QED Process: 'ke->ke' reduced 0.000420601 0.000441932 0.007450497 26 29 6948.0 13 1000000 5683 0.138500682 7.220181052971276e6 41.03228892403577 none 0.0 0.0 0.0
208 QED Process: 'ke->kke' not optimized 0.001455728 0.0 0.164987673 77 101 19175.0 13 1000000 23078 0.37253838 2.6842871867322773e6 61.9479796954075 none 0.0 0.0 0.0
209 QED Process: 'ke->kke' reduced 0.001455728 0.054855247 0.014512752 61 79 16863.0 13 1000000 16308 0.268950039 3.7181626882009865e6 60.63579711918169 none 0.0 0.0 0.0
210 QED Process: 'ke->kkke' not optimized 0.011599836 0.0 0.08336237 356 493 85898.0 13 1000000 120271 1.615288411 619084.488683303 74.45791053842953 none 0.0 0.0 0.0
211 QED Process: 'ke->kkke' reduced 0.011599836 0.006554602 0.032276442 148 221 43962.0 13 1000000 43511 0.590283163 1.6941021914257105e6 73.71208045112408 none 0.0 0.0 0.0
212 QED Process: 'ke->kkkke' not optimized 0.059994894 0.0 0.494121795 2183 3015 504653.0 13 1000000 749880 11.856984434 84338.47624295532 63.24373656506734 none 0.0 0.0 0.0
213 QED Process: 'ke->kkkke' reduced 0.059994894 0.041637961 0.138584724 621 983 185533.0 13 1000000 189455 5.992954 166862.6190022483 31.612957483070954 none 0.0 0.0 0.0
214 QED Process: 'ke->kkkkke' not optimized 1.182937115 0.0 6.506259066 15866 21617 3.982352e6 13 1000000 5405897 79.059668403 12648.674351915874 68.37743073299896 none 0.0 0.0 0.0
215 QED Process: 'ke->kkkkke' reduced 1.182937115 0.525640731 0.550328317 2234 3977 1.145088e6 13 1000000 648737 15.602344521 64092.93158820128 41.57945615973493 none 0.0 0.0 0.0
216 QED Process: 'ke->kkkkkke' reduced 44.179409787 17.440270822 6.406795075 15033 27047 6.074251e6 13 1000000 4340484 104.625069586 9557.938684838984 41.48607993452465 none 0.0 0.0 0.0
217 ABC Process: 'AB->AB' not optimized 0.000165235 0.0 0.016713706 34 37 8624.0 13 1000000 41 0.084085553 1.1892649382944535e7 0.48759862470072596 none 0.0 0.0 0.0
218 ABC Process: 'AB->AB' reduced 0.000165235 0.000453142 0.007955822 34 37 9296.0 13 1000000 41 0.086006094 1.1627083076229459e7 0.4767104061254078 none 0.0 0.0 0.0
219 ABC Process: 'AB->ABBB' not optimized 0.000393691 0.0 0.05921868 280 385 69428.0 13 1000000 555 0.101050817 9.896011033735631e6 5.492286123723275 none 0.0 0.0 0.0
220 ABC Process: 'AB->ABBB' reduced 0.000393691 0.003135373 0.04122057 200 285 57156.0 13 1000000 899 0.100139352 9.986084191956824e6 8.977489688569186 none 0.0 0.0 0.0
221 ABC Process: 'AB->ABBBBB' not optimized 0.007931792 0.0 2.381974379 7854 11241 1.982968e6 13 1000000 15833 7.287740552 137216.73992984925 2.172552643309303 none 0.0 0.0 0.0
222 ABC Process: 'AB->ABBBBB' reduced 0.007931792 0.276362209 1.337076687 4998 7671 1.507432e6 13 1000000 27893 7.488008263 133546.86117818992 3.7250225988432515 none 0.0 0.0 0.0
223 QED Process: 'ke->ke' not optimized 0.000433602 0.0 0.19790805 26 29 6532.0 14 1000000 5683 0.163627644 6.111436769205087e6 34.73129515939251 none 0.0 0.0 0.0
224 QED Process: 'ke->ke' reduced 0.000433602 0.000460842 0.007439379 26 29 6948.0 14 1000000 5683 0.166542072 6.004488763656069e6 34.12350964385744 none 0.0 0.0 0.0
225 QED Process: 'ke->kke' not optimized 0.001474269 0.0 0.164875928 77 101 19175.0 14 1000000 23078 0.476240234 2.099780590986355e6 48.4587364787831 none 0.0 0.0 0.0
226 QED Process: 'ke->kke' reduced 0.001474269 0.054595011 0.014531929 61 79 16863.0 14 1000000 16308 0.349355032 2.862417622197009e6 46.68030658278882 none 0.0 0.0 0.0
227 QED Process: 'ke->kkke' not optimized 0.011707363 0.0 0.083493312 356 493 85898.0 14 1000000 120271 2.199906287 454564.81756034 54.670965172799654 none 0.0 0.0 0.0
228 QED Process: 'ke->kkke' reduced 0.011707363 0.020122448 0.032385537 148 221 43962.0 14 1000000 43511 0.815282938 1.2265680457549328e6 53.36920223884288 none 0.0 0.0 0.0
229 QED Process: 'ke->kkkke' not optimized 0.058648849 0.0 0.489621657 2183 3015 504653.0 14 1000000 749880 16.294662534 61369.78890562644 46.019977304551155 none 0.0 0.0 0.0
230 QED Process: 'ke->kkkke' reduced 0.058648849 0.041027757 0.138319561 621 983 185533.0 14 1000000 189455 6.108266651 163712.5648135036 31.016163966742322 none 0.0 0.0 0.0
231 QED Process: 'ke->kkkkke' not optimized 1.058122779 0.0 6.745873339 15866 21617 3.982352e6 14 1000000 5405897 110.224918617 9072.358705699873 49.044236710066826 none 0.0 0.0 0.0
232 QED Process: 'ke->kkkkke' reduced 1.058122779 0.554504009 0.554020905 2234 3977 1.138176e6 14 1000000 648737 21.039018147 47530.73518036735 30.834946548705975 none 0.0 0.0 0.0
233 QED Process: 'ke->kkkkkke' reduced 44.019966769 17.074345772 6.281667473 15033 27047 6.074251e6 14 1000000 4340484 125.032802475 7997.901192368679 34.71476215905717 none 0.0 0.0 0.0
234 ABC Process: 'AB->AB' not optimized 0.000149754 0.0 0.016892621 34 37 8624.0 14 1000000 41 0.084228586 1.1872453848388243e7 0.48677060778391795 none 0.0 0.0 0.0
235 ABC Process: 'AB->AB' reduced 0.000149754 0.00047204 0.0083509 34 37 9296.0 14 1000000 41 0.085440358 1.1704070809253866e7 0.4798669031794085 none 0.0 0.0 0.0
236 ABC Process: 'AB->ABBB' not optimized 0.000387639 0.0 0.061399285 280 385 69428.0 14 1000000 555 0.103503535 9.661505764030186e6 5.362135699036753 none 0.0 0.0 0.0
237 ABC Process: 'AB->ABBB' reduced 0.000387639 0.003215103 0.04300004 200 285 57156.0 14 1000000 899 0.104006715 9.61476381597092e6 8.643672670557857 none 0.0 0.0 0.0
238 ABC Process: 'AB->ABBBBB' not optimized 0.007503002 0.0 2.430352466 7854 11241 1.982968e6 14 1000000 15833 9.085069077 110070.70959225025 1.7427495449740982 none 0.0 0.0 0.0
239 ABC Process: 'AB->ABBBBB' reduced 0.007503002 0.287303313 1.373863604 4998 7671 1.507432e6 14 1000000 27893 10.2203346 97844.15473051147 2.7291670078981562 none 0.0 0.0 0.0
240 QED Process: 'ke->ke' not optimized 0.00041835 0.0 0.01530602 26 29 6532.0 15 1000000 5683 0.125605168 7.961455853472526e6 45.244953615284366 none 0.0 0.0 0.0
241 QED Process: 'ke->ke' reduced 0.00041835 0.00043469 0.007037656 26 29 6948.0 15 1000000 5683 0.126756881 7.889118066892164e6 44.833857974148174 none 0.0 0.0 0.0
242 QED Process: 'ke->kke' not optimized 0.001466615 0.0 0.016836368 77 101 19175.0 15 1000000 23078 0.316180837 3.162747019990968e6 72.98987572735156 none 0.0 0.0 0.0
243 QED Process: 'ke->kke' reduced 0.001466615 0.004920647 0.014455553 61 79 16863.0 15 1000000 16308 0.23628643 4.232151630544336e6 69.01792879091703 none 0.0 0.0 0.0
244 QED Process: 'ke->kkke' not optimized 0.011839341 0.0 0.082894507 356 493 85898.0 15 1000000 120271 1.391799054 718494.5248568907 86.4140549990631 none 0.0 0.0 0.0
245 QED Process: 'ke->kkke' reduced 0.011839341 0.006005022 0.032279897 148 221 43962.0 15 1000000 43511 0.523911268 1.908720161369005e6 83.05032294132678 none 0.0 0.0 0.0
246 QED Process: 'ke->kkkke' not optimized 0.059756873 0.0 0.495767672 2183 3015 504653.0 15 1000000 749880 11.089154664 90178.19935782978 67.6228281344494 none 0.0 0.0 0.0
247 QED Process: 'ke->kkkke' reduced 0.059756873 0.056267986 0.13583358 621 983 185533.0 15 1000000 189455 2.576653341 388100.32536697376 73.52754714240001 none 0.0 0.0 0.0
248 QED Process: 'ke->kkkkke' not optimized 1.062927729 0.0 6.441152895 15866 21617 3.982352e6 15 1000000 5405897 71.577072238 13970.954227841465 75.5255395474255 none 0.0 0.0 0.0
249 QED Process: 'ke->kkkkke' reduced 1.062927729 0.537386579 0.53776467 2234 3977 1.145088e6 15 1000000 648737 15.725552892 63590.76891399641 41.253684652959286 none 0.0 0.0 0.0
250 QED Process: 'ke->kkkkkke' reduced 44.930203723 17.990357214 6.306877837 15033 27047 6.074251e6 15 1000000 4340484 96.169861291 10398.268091227708 45.13351627768441 none 0.0 0.0 0.0
251 ABC Process: 'AB->AB' not optimized 0.000155975 0.0 0.016687037 34 37 8624.0 15 1000000 41 0.08481308 1.1790634180482538e7 0.4834160013997841 none 0.0 0.0 0.0
252 ABC Process: 'AB->AB' reduced 0.000155975 0.000465442 0.007947819 34 37 9296.0 15 1000000 41 0.084251407 1.1869237981984086e7 0.48663875726134753 none 0.0 0.0 0.0
253 ABC Process: 'AB->ABBB' not optimized 0.000437462 0.0 0.057456228 280 385 69428.0 15 1000000 555 0.099751788 1.0024882962498879e7 5.563810044186878 none 0.0 0.0 0.0
254 ABC Process: 'AB->ABBB' reduced 0.000437462 0.003150218 0.039776466 200 285 57156.0 15 1000000 899 0.100170341 9.98299486671409e6 8.974712385175966 none 0.0 0.0 0.0
255 ABC Process: 'AB->ABBBBB' not optimized 0.007333603 0.0 2.291339497 7854 11241 1.982968e6 15 1000000 15833 7.122189548 140406.2603586298 2.2230523202581858 none 0.0 0.0 0.0
256 ABC Process: 'AB->ABBBBB' reduced 0.007333603 1.221216593 1.284172659 4998 7671 1.507432e6 15 1000000 27893 5.732480059 174444.56669849184 4.865782298921033 none 0.0 0.0 0.0
257 QED Process: 'ke->ke' not optimized 0.00041067 0.0 0.142104349 26 29 6532.0 17 1000000 5683 0.114945742 8.699756794818899e6 49.4407178649558 none 0.0 0.0 0.0
258 QED Process: 'ke->ke' reduced 0.00041067 0.000481492 0.00747717 26 29 6948.0 17 1000000 5683 0.115779695 8.637093058502184e6 49.084599851467914 none 0.0 0.0 0.0
259 QED Process: 'ke->kke' not optimized 0.001462887 0.0 0.164664435 77 101 19175.0 17 1000000 23078 0.299937297 3.3340301789810425e6 76.9427484705245 none 0.0 0.0 0.0
260 QED Process: 'ke->kke' reduced 0.001462887 0.043099733 0.014542889 61 79 16863.0 17 1000000 16308 0.218010362 4.586937936463772e6 74.8037838678512 none 0.0 0.0 0.0
261 QED Process: 'ke->kkke' not optimized 0.011627975 0.0 0.083358846 356 493 85898.0 17 1000000 120271 1.234705223 809909.9132101104 97.40867517169319 none 0.0 0.0 0.0
262 QED Process: 'ke->kkke' reduced 0.011627975 0.020343508 0.032486925 148 221 43962.0 17 1000000 43511 0.469799577 2.1285672634822316e6 92.61609020137539 none 0.0 0.0 0.0
263 QED Process: 'ke->kkkke' not optimized 0.059366449 0.0 0.492151119 2183 3015 504653.0 17 1000000 749880 9.698243677 103111.45330072117 77.3212166011448 none 0.0 0.0 0.0
264 QED Process: 'ke->kkkke' reduced 0.059366449 0.044129573 0.137817937 621 983 185533.0 17 1000000 189455 4.376145145 228511.61624347814 43.29266825540815 none 0.0 0.0 0.0
265 QED Process: 'ke->kkkkke' not optimized 1.133548318 0.0 6.591354593 15866 21617 3.982352e6 17 1000000 5405897 64.298133716 15552.550940544006 84.07548847183402 none 0.0 0.0 0.0
266 QED Process: 'ke->kkkkke' reduced 1.133548318 0.631323 0.543495513 2234 3977 1.145088e6 17 1000000 648737 14.424643621 69325.8028603326 44.974213370203586 none 0.0 0.0 0.0
267 QED Process: 'ke->kkkkkke' reduced 43.600370462 16.889184011 6.413356503 15033 27047 6.074251e6 17 1000000 4340484 92.101226674 10857.618688832274 47.127320196977465 none 0.0 0.0 0.0
268 ABC Process: 'AB->AB' not optimized 0.000156424 0.0 0.01669466 34 37 8624.0 17 1000000 41 0.09352269 1.0692592353791364e7 0.4383962865054459 none 0.0 0.0 0.0
269 ABC Process: 'AB->AB' reduced 0.000156424 0.000482022 0.007777769 34 37 9296.0 17 1000000 41 0.083675977 1.1950861356539644e7 0.4899853156181254 none 0.0 0.0 0.0
270 ABC Process: 'AB->ABBB' not optimized 0.00037662 0.0 0.057922253 280 385 69428.0 17 1000000 555 0.097341419 1.0273119195026323e7 5.7015811532396095 none 0.0 0.0 0.0
271 ABC Process: 'AB->ABBB' reduced 0.00037662 0.003276365 0.040298299 200 285 57156.0 17 1000000 899 0.100945103 9.906374556871768e6 8.90583072662772 none 0.0 0.0 0.0
272 ABC Process: 'AB->ABBBBB' not optimized 0.008089669 0.0 2.330026015 7854 11241 1.982968e6 17 1000000 15833 6.688160696 149517.93855642132 2.3673175211638187 none 0.0 0.0 0.0
273 ABC Process: 'AB->ABBBBB' reduced 0.008089669 0.279663459 1.307680333 4998 7671 1.507432e6 17 1000000 27893 7.127043604 140310.6330707388 3.913684488242118 none 0.0 0.0 0.0
274 QED Process: 'ke->ke' not optimized 0.000417741 0.0 0.141964132 26 29 6532.0 18 1000000 5683 1.665133875 600552.3129484109 3.412938794485819 none 0.0 0.0 0.0
275 QED Process: 'ke->ke' reduced 0.000417741 0.000595565 0.006998161 26 29 6948.0 18 1000000 5683 0.116941405 8.551291135932565e6 48.596987525504765 none 0.0 0.0 0.0
276 QED Process: 'ke->kke' not optimized 0.001459098 0.0 0.165762719 77 101 19175.0 18 1000000 23078 0.278548247 3.590042338338607e6 82.85099708417837 none 0.0 0.0 0.0
277 QED Process: 'ke->kke' reduced 0.001459098 0.105453888 0.014604248 61 79 16863.0 18 1000000 16308 0.208209969 4.802843998310187e6 78.32477992444254 none 0.0 0.0 0.0
278 QED Process: 'ke->kkke' not optimized 0.011777765 0.0 0.082411482 356 493 85898.0 18 1000000 120271 1.174831368 851185.9891027356 102.37299009537512 none 0.0 0.0 0.0
279 QED Process: 'ke->kkke' reduced 0.011777765 0.006045106 0.032114551 148 221 43962.0 18 1000000 43511 0.453976722 2.20275611400181e6 95.84412127633276 none 0.0 0.0 0.0
280 QED Process: 'ke->kkkke' not optimized 0.058751581 0.0 0.487105201 2183 3015 504653.0 18 1000000 749880 7.472277073 133828.01390132552 100.35495106432599 none 0.0 0.0 0.0
281 QED Process: 'ke->kkkke' reduced 0.058751581 0.040675993 0.136792303 621 983 185533.0 18 1000000 189455 5.296651946 188798.51086971915 35.76882187682264 none 0.0 0.0 0.0
282 QED Process: 'ke->kkkkke' not optimized 1.073234334 0.0 6.681835042 15866 21617 3.982352e6 18 1000000 5405897 63.247644301 15810.865543717793 85.4719106101874 none 0.0 0.0 0.0
283 QED Process: 'ke->kkkkke' reduced 1.073234334 1.331188827 0.543555643 2234 3977 1.145088e6 18 1000000 648737 12.187577675 82050.75911444396 53.22936331562704 none 0.0 0.0 0.0
284 QED Process: 'ke->kkkkkke' reduced 43.586633098 16.755729566 6.179858194 15033 27047 6.074251e6 18 1000000 4340484 89.333988184 11193.947794430867 48.58715129856247 none 0.0 0.0 0.0
285 ABC Process: 'AB->AB' not optimized 0.000154654 0.0 0.016545081 34 37 8624.0 18 1000000 41 0.083440861 1.1984535969733102e7 0.4913659747590572 none 0.0 0.0 0.0
286 ABC Process: 'AB->AB' reduced 0.000154654 0.000483663 0.007793422 34 37 9296.0 18 1000000 41 0.085689999 1.166997329525001e7 0.4784689051052504 none 0.0 0.0 0.0
287 ABC Process: 'AB->ABBB' not optimized 0.00037723 0.0 0.05688874 280 385 97076.0 18 1000000 555 0.100137825 9.986236469585793e6 5.5423612406201155 none 0.0 0.0 0.0
288 ABC Process: 'AB->ABBB' reduced 0.00037723 0.003351257 0.040167046 200 285 84804.0 18 1000000 899 0.100677819 9.932674445400927e6 8.929474326415434 none 0.0 0.0 0.0
289 ABC Process: 'AB->ABBBBB' not optimized 0.007476644 0.0 3.347976748 7854 11241 1.982968e6 18 1000000 15833 7.723920471 129467.93066481847 2.0498657462160708 none 0.0 0.0 0.0
290 ABC Process: 'AB->ABBBBB' reduced 0.007476644 0.808089997 1.289335465 4998 7671 1.507432e6 18 1000000 27893 7.245894911 138009.17792526897 3.8494899998695273 none 0.0 0.0 0.0
291 QED Process: 'ke->ke' not optimized 0.000410484 0.0 0.015828233 26 29 6532.0 19 1000000 5683 0.13693236 7.302875667957523e6 41.5022424210026 none 0.0 0.0 0.0
292 QED Process: 'ke->ke' reduced 0.000410484 0.000594739 0.007065233 26 29 6948.0 19 1000000 5683 0.13650559 7.325707320850376e6 41.63199470439268 none 0.0 0.0 0.0
293 QED Process: 'ke->kke' not optimized 0.001441257 0.0 0.016986027 77 101 19175.0 19 1000000 23078 0.370139455 2.701684423239884e6 62.349473119530046 none 0.0 0.0 0.0
294 QED Process: 'ke->kke' reduced 0.001441257 0.097376896 0.014550616 61 79 16863.0 19 1000000 16308 0.272982118 3.6632436121694976e6 59.74017682726017 none 0.0 0.0 0.0
295 QED Process: 'ke->kkke' not optimized 0.011583987 0.0 0.081275111 356 493 85898.0 19 1000000 120271 1.68103571 594871.3605851955 71.54577340894205 none 0.0 0.0 0.0
296 QED Process: 'ke->kkke' reduced 0.011583987 0.020756044 0.03172744 148 221 43962.0 19 1000000 43511 0.628366552 1.5914278008865118e6 69.24461504437302 none 0.0 0.0 0.0
297 QED Process: 'ke->kkkke' not optimized 0.059385562 0.0 0.485523517 2183 3015 504653.0 19 1000000 749880 10.887383733 91849.43091231081 68.87605125252364 none 0.0 0.0 0.0
298 QED Process: 'ke->kkkke' reduced 0.059385562 0.040927375 0.133672425 621 983 185533.0 19 1000000 189455 3.023195652 330775.8131163123 62.66713167395095 none 0.0 0.0 0.0
299 QED Process: 'ke->kkkkke' not optimized 1.081441245 0.0 6.497476939 15866 21617 3.982352e6 19 1000000 5405897 87.003003319 11493.856095213861 62.134602183548324 none 0.0 0.0 0.0
300 QED Process: 'ke->kkkkke' reduced 1.081441245 0.534920906 0.532804256 2234 3977 1.138176e6 19 1000000 648737 17.755552873 56320.409009659794 36.537133179699666 none 0.0 0.0 0.0
301 QED Process: 'ke->kkkkkke' reduced 45.898825009 17.323749893 6.408782669 15033 27047 6.074251e6 19 1000000 4340484 103.48667799 9663.079532774555 41.94244210273543 none 0.0 0.0 0.0
302 ABC Process: 'AB->AB' not optimized 0.000151255 0.0 0.01660337 34 37 8624.0 19 1000000 41 0.086201613 1.1600710998296518e7 0.47562915093015723 none 0.0 0.0 0.0
303 ABC Process: 'AB->AB' reduced 0.000151255 0.000534036 0.008090178 34 37 9296.0 19 1000000 41 0.086314013 1.15856042981109e7 0.4750097762225469 none 0.0 0.0 0.0
304 ABC Process: 'AB->ABBB' not optimized 0.000434153 0.0 0.058026217 280 385 69428.0 19 1000000 555 0.101539966 9.848338928929718e6 5.465828105555994 none 0.0 0.0 0.0
305 ABC Process: 'AB->ABBB' reduced 0.000434153 0.003201204 0.040336135 200 285 57156.0 19 1000000 899 0.104367604 9.581517268519454e6 8.613784024398988 none 0.0 0.0 0.0
306 ABC Process: 'AB->ABBBBB' not optimized 0.006960925 0.0 2.320436756 7854 11241 1.982968e6 19 1000000 15833 7.309057177 136816.55181830848 2.166216464939278 none 0.0 0.0 0.0
307 ABC Process: 'AB->ABBBBB' reduced 0.006960925 1.266961147 1.308558954 4998 7671 1.507432e6 19 1000000 27893 6.550468692 152660.83192204044 4.258168584801474 none 0.0 0.0 0.0
308 QED Process: 'ke->ke' not optimized 0.000404812 0.0 0.200703456 26 29 6532.0 20 1000000 5683 0.111115467 8.999647186831335e6 51.144994962762475 none 0.0 0.0 0.0
309 QED Process: 'ke->ke' reduced 0.000404812 0.00070275 0.006980661 26 29 6948.0 20 1000000 5683 0.110483365 9.051136340751389e6 51.437607824490144 none 0.0 0.0 0.0
310 QED Process: 'ke->kke' not optimized 0.001442371 0.0 0.163397018 77 101 19175.0 20 1000000 23078 0.260815052 3.834134542204259e6 88.48415696498988 none 0.0 0.0 0.0
311 QED Process: 'ke->kke' reduced 0.001442371 0.048953799 0.014519028 61 79 16863.0 20 1000000 16308 0.19673382 5.083010130134209e6 82.89372920222868 none 0.0 0.0 0.0
312 QED Process: 'ke->kkke' not optimized 0.011641204 0.0 0.083430389 356 493 85898.0 20 1000000 120271 1.100749528 908471.8862582152 109.26282223216181 none 0.0 0.0 0.0
313 QED Process: 'ke->kkke' reduced 0.011641204 0.006226049 0.032522974 148 221 43962.0 20 1000000 43511 0.423896024 2.359069072089244e6 102.64545439567509 none 0.0 0.0 0.0
314 QED Process: 'ke->kkkke' not optimized 0.059874538 0.0 0.494569063 2183 3015 504653.0 20 1000000 749880 9.498751261 105276.99615693725 78.94511387816411 none 0.0 0.0 0.0
315 QED Process: 'ke->kkkke' reduced 0.059874538 0.038633965 0.137945957 621 983 185533.0 20 1000000 189455 4.891235922 204447.30451503256 38.73356407689549 none 0.0 0.0 0.0
316 QED Process: 'ke->kkkkke' not optimized 1.057037696 0.0 6.542092434 15866 21617 3.982352e6 20 1000000 5405897 58.972751977 16956.983801434442 91.66770786122305 none 0.0 0.0 0.0
317 QED Process: 'ke->kkkkke' reduced 1.057037696 0.516124806 0.551520206 2234 3977 1.145088e6 20 1000000 648737 14.571131735 68628.8490274225 44.52207363150299 none 0.0 0.0 0.0
318 QED Process: 'ke->kkkkkke' reduced 43.663565538 17.362861333 6.456050818 15033 27047 6.074251e6 20 1000000 4340484 87.116633356 11478.864155752259 49.82382620621619 none 0.0 0.0 0.0
319 ABC Process: 'AB->AB' not optimized 0.000160695 0.0 0.016807439 34 37 8624.0 20 1000000 41 0.083890988 1.1920231527133761e7 0.4887294926124842 none 0.0 0.0 0.0
320 ABC Process: 'AB->AB' reduced 0.000160695 0.000552586 0.00790665 34 37 9296.0 20 1000000 41 0.086044687 1.162186806490446e7 0.47649659066108285 none 0.0 0.0 0.0
321 ABC Process: 'AB->ABBB' not optimized 0.000388931 0.0 0.057527763 280 385 69428.0 20 1000000 555 0.09798986 1.0205137551987521e7 5.663851341353074 none 0.0 0.0 0.0
322 ABC Process: 'AB->ABBB' reduced 0.000388931 0.003330873 0.040734664 200 285 57156.0 20 1000000 899 0.097699489 1.0235468068824802e7 9.201685793873496 none 0.0 0.0 0.0
323 ABC Process: 'AB->ABBBBB' not optimized 0.007872829 0.0 2.315555075 7854 11241 1.982968e6 20 1000000 15833 5.938879054 168381.9439505966 2.6659913185697954 none 0.0 0.0 0.0
324 ABC Process: 'AB->ABBBBB' reduced 0.007872829 0.304652076 1.30535135 4998 7671 1.507432e6 20 1000000 27893 6.802860618 146996.98496747887 4.100186901697889 none 0.0 0.0 0.0
325 QED Process: 'ke->ke' not optimized 0.000427081 0.0 0.200705864 26 29 6532.0 21 1000000 5683 0.132355911 7.555386022767053e6 42.93725876738516 none 0.0 0.0 0.0
326 QED Process: 'ke->ke' reduced 0.000427081 0.000640117 0.007067806 26 29 6948.0 21 1000000 5683 0.132775012 7.5315376360124145e6 42.80172838545855 none 0.0 0.0 0.0
327 QED Process: 'ke->kke' not optimized 0.00145627 0.0 0.164241291 77 101 19175.0 21 1000000 23078 0.351809805 2.8424449398162737e6 65.59794432107996 none 0.0 0.0 0.0
328 QED Process: 'ke->kke' reduced 0.00145627 0.044098518 0.014517161 61 79 16863.0 21 1000000 16308 0.261509195 3.8239573182120803e6 62.3610959454026 none 0.0 0.0 0.0
329 QED Process: 'ke->kkke' not optimized 0.011700384 0.0 0.082728055 356 493 85898.0 21 1000000 120271 1.567690265 637881.1059338944 76.71859849177542 none 0.0 0.0 0.0
330 QED Process: 'ke->kkke' reduced 0.011700384 0.005964225 0.032067425 148 221 43962.0 21 1000000 43511 0.590455359 1.693608136089421e6 73.69058360938679 none 0.0 0.0 0.0
331 QED Process: 'ke->kkkke' not optimized 0.058883945 0.0 0.48991812 2183 3015 504653.0 21 1000000 749880 10.178572031 98245.6082203266 73.67241669225851 none 0.0 0.0 0.0
332 QED Process: 'ke->kkkke' reduced 0.058883945 0.039810298 0.13777968 621 983 185533.0 21 1000000 189455 2.803938235 356641.23678530316 67.56746551515961 none 0.0 0.0 0.0
333 QED Process: 'ke->kkkkke' not optimized 1.049784158 0.0 6.503108277 15866 21617 3.982352e6 21 1000000 5405897 81.999182639 12195.243511175995 65.92623031133577 none 0.0 0.0 0.0
334 QED Process: 'ke->kkkkke' reduced 1.049784158 0.772138765 0.544950769 2234 3977 1.145088e6 21 1000000 648737 15.666363232 63831.023524171025 41.409546708000136 none 0.0 0.0 0.0
335 QED Process: 'ke->kkkkkke' reduced 44.049110282 18.174132251 6.377158396 15033 27047 6.074251e6 21 1000000 4340484 104.343923343 9583.691775828609 41.597860813915666 none 0.0 0.0 0.0
336 ABC Process: 'AB->AB' not optimized 0.000150664 0.0 0.01648405 34 37 8624.0 21 1000000 41 0.085276418 1.1726571348247765e7 0.4807894252781584 none 0.0 0.0 0.0
337 ABC Process: 'AB->AB' reduced 0.000150664 0.000555676 0.007938267 34 37 9296.0 21 1000000 41 0.086782259 1.1523092525166923e7 0.4724467935318438 none 0.0 0.0 0.0
338 ABC Process: 'AB->ABBB' not optimized 0.000383201 0.0 0.058518877 280 385 69428.0 21 1000000 555 0.10080708 9.919938163073467e6 5.505565680505774 none 0.0 0.0 0.0
339 ABC Process: 'AB->ABBB' reduced 0.000383201 0.003249359 0.041138322 200 285 57156.0 21 1000000 899 0.102582918 9.748211685692154e6 8.763642305437246 none 0.0 0.0 0.0
340 ABC Process: 'AB->ABBBBB' not optimized 0.00735883 0.0 2.33206607 7854 11241 1.982968e6 21 1000000 15833 6.868782102 145586.21676306016 2.3050665700095316 none 0.0 0.0 0.0
341 ABC Process: 'AB->ABBBBB' reduced 0.00735883 0.272714525 1.311328212 4998 7671 1.507432e6 21 1000000 27893 5.933915473 168522.79149410123 4.700606223144965 none 0.0 0.0 0.0
342 QED Process: 'ke->ke' not optimized 0.000415891 0.0 0.143533258 26 29 6532.0 22 1000000 5683 0.127025589 7.872429546459336e6 44.7390171125284 none 0.0 0.0 0.0
343 QED Process: 'ke->ke' reduced 0.000415891 0.000768171 0.007040532 26 29 6948.0 22 1000000 5683 0.126339788 7.915162878063401e6 44.98187063603431 none 0.0 0.0 0.0
344 QED Process: 'ke->kke' not optimized 0.001423479 0.0 0.162726149 77 101 19175.0 22 1000000 23078 0.335932705 2.976786675176506e6 68.6982828897234 none 0.0 0.0 0.0
345 QED Process: 'ke->kke' reduced 0.001423479 0.054166224 0.014242587 61 79 16863.0 22 1000000 16308 0.24833839 4.026763642947029e6 65.66846148918015 none 0.0 0.0 0.0
346 QED Process: 'ke->kkke' not optimized 0.011607646 0.0 0.081636612 356 493 85898.0 22 1000000 120271 1.495740563 668565.1407315615 80.40899804092562 none 0.0 0.0 0.0
347 QED Process: 'ke->kkke' reduced 0.011607646 0.020442707 0.031650571 148 221 43962.0 22 1000000 43511 0.562850204 1.7766716488566825e6 77.3047601134031 none 0.0 0.0 0.0
348 QED Process: 'ke->kkkke' not optimized 0.058712968 0.0 0.482523458 2183 3015 504653.0 22 1000000 749880 9.63506425 103787.57982854138 77.82823036182661 none 0.0 0.0 0.0
349 QED Process: 'ke->kkkke' reduced 0.058712968 0.039481743 0.135408874 621 983 185533.0 22 1000000 189455 2.688105149 372009.2572911477 70.4790138400944 none 0.0 0.0 0.0
350 QED Process: 'ke->kkkkke' not optimized 1.05063437 0.0 6.743597196 15866 21617 3.982352e6 22 1000000 5405897 77.792137687 12854.76951441472 69.49155995366598 none 0.0 0.0 0.0
351 QED Process: 'ke->kkkkke' reduced 1.05063437 0.482857975 0.537015756 2234 3977 1.145088e6 22 1000000 648737 13.786531413 72534.56072765704 47.05585332277805 none 0.0 0.0 0.0
352 QED Process: 'ke->kkkkkke' reduced 43.940430668 17.427320589 6.301196467 15033 27047 6.074251e6 22 1000000 4340484 97.461221746 10260.49111723804 44.535497526513836 none 0.0 0.0 0.0
353 ABC Process: 'AB->AB' not optimized 0.000145284 0.0 0.016729384 34 37 8624.0 22 1000000 41 0.083770387 1.1937392625391595e7 0.4894330976410554 none 0.0 0.0 0.0
354 ABC Process: 'AB->AB' reduced 0.000145284 0.000638957 0.007924591 34 37 9296.0 22 1000000 41 0.091911785 1.0879997597696532e7 0.44607990150555776 none 0.0 0.0 0.0
355 ABC Process: 'AB->ABBB' not optimized 0.00036924 0.0 0.056999387 280 385 69428.0 22 1000000 555 0.099511458 1.0049094045029469e7 5.577247194991355 none 0.0 0.0 0.0
356 ABC Process: 'AB->ABBB' reduced 0.00036924 1.640451357 0.040055926 200 285 57156.0 22 1000000 899 0.100271188 9.972954544031134e6 8.96568613508399 none 0.0 0.0 0.0
357 ABC Process: 'AB->ABBBBB' not optimized 0.008588179 0.0 3.936726533 7854 11241 1.982968e6 22 1000000 15833 7.049285322 141858.35220474284 2.2460432904576937 none 0.0 0.0 0.0
358 ABC Process: 'AB->ABBBBB' reduced 0.008588179 0.277769226 1.297184584 4998 7671 1.507432e6 22 1000000 27893 5.486379394 182269.5676302695 5.084045049911107 none 0.0 0.0 0.0
359 QED Process: 'ke->ke' not optimized 0.000423241 0.0 0.015855803 26 29 6532.0 23 1000000 5683 0.106534032 9.386671857120737e6 53.34445616401715 none 0.0 0.0 0.0
360 QED Process: 'ke->ke' reduced 0.000423241 0.000660028 0.007064059 26 29 6948.0 23 1000000 5683 0.106979864 9.347553479783822e6 53.122146425611454 none 0.0 0.0 0.0
361 QED Process: 'ke->kke' not optimized 0.001428108 0.0 0.016960283 77 101 19175.0 23 1000000 23078 0.244038792 4.097709187152508e6 94.5669326211056 none 0.0 0.0 0.0
362 QED Process: 'ke->kke' reduced 0.001428108 0.001368106 0.014461536 61 79 16863.0 23 1000000 16308 0.18357695 5.447306973996463e6 88.83468213193433 none 0.0 0.0 0.0
363 QED Process: 'ke->kkke' not optimized 0.011528528 0.0 0.082864302 356 493 85898.0 23 1000000 120271 1.001508846 998493.4271863636 120.08980298113113 none 0.0 0.0 0.0
364 QED Process: 'ke->kkke' reduced 0.011528528 0.0059906 0.032287092 148 221 43962.0 23 1000000 43511 0.391252657 2.5558931859215465e6 111.20946841263242 none 0.0 0.0 0.0
365 QED Process: 'ke->kkkke' not optimized 0.058927324 0.0 0.494615797 2183 3015 504653.0 23 1000000 749880 6.069646219 164754.24825744692 123.5459156832943 none 0.0 0.0 0.0
366 QED Process: 'ke->kkkke' reduced 0.058927324 0.055735339 0.137030441 621 983 185533.0 23 1000000 189455 1.864789664 536253.5085351053 101.59590845951837 none 0.0 0.0 0.0
367 QED Process: 'ke->kkkkke' not optimized 1.060817011 0.0 6.497156437 15866 21617 3.982352e6 23 1000000 5405897 51.81410486 19299.764083582395 104.33253676014581 none 0.0 0.0 0.0
368 QED Process: 'ke->kkkkke' reduced 1.060817011 0.69420666 0.542125672 2234 3977 1.145088e6 23 1000000 648737 11.569424596 86434.7221162355 56.07340232152027 none 0.0 0.0 0.0
369 QED Process: 'ke->kkkkkke' reduced 44.554818844 17.671846662 6.391343969 15033 27047 6.074251e6 23 1000000 4340484 83.525674418 11972.36666411756 51.96586594773565 none 0.0 0.0 0.0
370 ABC Process: 'AB->AB' not optimized 0.000160744 0.0 0.016323608 34 37 8624.0 23 1000000 41 0.082486012 1.2123267639609005e7 0.4970539732239692 none 0.0 0.0 0.0
371 ABC Process: 'AB->AB' reduced 0.000160744 0.000497013 0.007752658 34 37 9296.0 23 1000000 41 0.092014128 1.0867896286535475e7 0.4455837477479545 none 0.0 0.0 0.0
372 ABC Process: 'AB->ABBB' not optimized 0.000424901 0.0 0.057579774 280 385 69428.0 23 1000000 555 0.098676215 1.0134154416036326e7 5.624455700900161 none 0.0 0.0 0.0
373 ABC Process: 'AB->ABBB' reduced 0.000424901 0.003399111 0.040439684 200 285 57156.0 23 1000000 899 0.110401911 9.057814225697596e6 8.14297498890214 none 0.0 0.0 0.0
374 ABC Process: 'AB->ABBBBB' not optimized 0.008506678 0.0 2.310066104 7854 11241 1.982968e6 23 1000000 15833 6.638997558 150625.14954460238 2.3848479927396893 none 0.0 0.0 0.0
375 ABC Process: 'AB->ABBBBB' reduced 0.008506678 0.270773674 1.294349501 4998 7671 1.507432e6 23 1000000 27893 5.383888908 185739.3451254325 5.180827553583689 none 0.0 0.0 0.0
376 QED Process: 'ke->ke' not optimized 0.000408091 0.0 0.14232551 26 29 6532.0 24 1000000 5683 0.105721407 9.458822279956982e6 53.754487016995526 none 0.0 0.0 0.0
377 QED Process: 'ke->ke' reduced 0.000408091 0.000611327 0.007482191 26 29 6948.0 24 1000000 5683 0.104711341 9.550063922875365e6 54.2730132737007 none 0.0 0.0 0.0
378 QED Process: 'ke->kke' not optimized 0.001457919 0.0 0.258417857 77 101 19175.0 24 1000000 23078 0.242744157 4.119563627642745e6 95.07128939873927 none 0.0 0.0 0.0
379 QED Process: 'ke->kke' reduced 0.001457919 0.047001061 0.014479228 61 79 16863.0 24 1000000 16308 0.182641123 5.475218196068582e6 89.28985834148644 none 0.0 0.0 0.0
380 QED Process: 'ke->kkke' not optimized 0.011604201 0.0 0.082862174 356 493 85898.0 24 1000000 120271 0.981573423 1.0187724897274445e6 122.52878611200947 none 0.0 0.0 0.0
381 QED Process: 'ke->kkke' reduced 0.011604201 0.006026652 0.032303288 148 221 43962.0 24 1000000 43511 0.380717463 2.626619730337928e6 114.28685108673358 none 0.0 0.0 0.0
382 QED Process: 'ke->kkkke' not optimized 0.059288681 0.0 0.489246707 2183 3015 504653.0 24 1000000 749880 6.071818112 164695.31556349757 123.50172323475556 none 0.0 0.0 0.0
383 QED Process: 'ke->kkkke' reduced 0.059288681 0.039297125 0.137484132 621 983 185533.0 24 1000000 189455 1.840260229 543401.4082581144 102.95011380154106 none 0.0 0.0 0.0
384 QED Process: 'ke->kkkkke' not optimized 1.061162219 0.0 6.617809772 15866 21617 3.982352e6 24 1000000 5405897 51.02899748 19596.70088349147 105.93774651596388 none 0.0 0.0 0.0
385 QED Process: 'ke->kkkkke' reduced 1.061162219 0.66031384 0.546571635 2234 3977 1.138176e6 24 1000000 648737 11.413522581 87615.36965499958 56.83933206387547 none 0.0 0.0 0.0
386 QED Process: 'ke->kkkkkke' reduced 43.413276858 17.050615309 6.306375212 15033 27047 6.074251e6 24 1000000 4340484 84.297324495 11862.772703531224 51.49017511531402 none 0.0 0.0 0.0
387 ABC Process: 'AB->AB' not optimized 0.000165665 0.0 0.016812522 34 37 8624.0 24 1000000 41 0.084695197 1.1807044973282252e7 0.4840888439045723 none 0.0 0.0 0.0
388 ABC Process: 'AB->AB' reduced 0.000165665 0.000786182 0.007959505 34 37 9296.0 24 1000000 41 0.086371813 1.1577851214029742e7 0.4746918997752194 none 0.0 0.0 0.0
389 ABC Process: 'AB->ABBB' not optimized 0.000427902 0.0 0.057325801 280 385 69428.0 24 1000000 555 0.099209088 1.0079721728719046e7 5.594245559439071 none 0.0 0.0 0.0
390 ABC Process: 'AB->ABBB' reduced 0.000427902 0.003379831 0.040259662 200 285 57156.0 24 1000000 899 0.098414007 1.0161155210355371e7 9.134878534109477 none 0.0 0.0 0.0
391 ABC Process: 'AB->ABBBBB' not optimized 0.006958857 0.0 2.286882489 7854 11241 1.982968e6 24 1000000 15833 2.392241475 418018.00129729795 6.618479014540118 none 0.0 0.0 0.0
392 ABC Process: 'AB->ABBBBB' reduced 0.006958857 0.274585684 1.29250863 4998 7671 1.507432e6 24 1000000 27893 2.416107871 413888.80521551846 11.544600443876456 none 0.0 0.0 0.0
393 QED Process: 'ke->ke' not optimized 0.000409941 0.0 0.142497803 26 29 6532.0 25 1000000 5683 0.120858791 8.274118843369863e6 47.021817386870936 none 0.0 0.0 0.0
394 QED Process: 'ke->ke' reduced 0.000409941 0.000735279 0.006927667 26 29 6948.0 25 1000000 5683 0.122440564 8.1672279784663515e6 46.41435660162428 none 0.0 0.0 0.0
395 QED Process: 'ke->kke' not optimized 0.00147537 0.0 0.163736294 77 101 19175.0 25 1000000 23078 0.312122407 3.2038712299178187e6 73.93894024404342 none 0.0 0.0 0.0
396 QED Process: 'ke->kke' reduced 0.00147537 0.005064427 0.014409798 61 79 16863.0 25 1000000 16308 0.232201876 4.306597419566068e6 70.23199071828343 none 0.0 0.0 0.0
397 QED Process: 'ke->kkke' not optimized 0.011659123 0.0 0.082959462 356 493 85898.0 25 1000000 120271 1.357502049 736647.138570912 88.59728800306215 none 0.0 0.0 0.0
398 QED Process: 'ke->kkke' reduced 0.011659123 0.020293186 0.032191946 148 221 43962.0 25 1000000 43511 0.51519719 1.9410043754314731e6 84.45504137939884 none 0.0 0.0 0.0
399 QED Process: 'ke->kkkke' not optimized 0.059742587 0.0 0.489405917 2183 3015 504653.0 25 1000000 749880 8.578687849 116567.94344330502 87.41196942926557 none 0.0 0.0 0.0
400 QED Process: 'ke->kkkke' reduced 0.059742587 0.038469905 0.136097041 621 983 185533.0 25 1000000 189455 2.427661266 411919.08195976465 78.04012967268721 none 0.0 0.0 0.0
401 QED Process: 'ke->kkkkke' not optimized 1.040528935 0.0 6.377305922 15866 21617 3.982352e6 25 1000000 5405897 70.679364159 14148.40119034467 76.48479954968067 none 0.0 0.0 0.0
402 QED Process: 'ke->kkkkke' reduced 1.040528935 0.495834203 0.525194863 2234 3977 1.145088e6 25 1000000 648737 15.161621245 65956.00720007301 42.78810224295377 none 0.0 0.0 0.0
403 QED Process: 'ke->kkkkkke' reduced 44.191322169 17.736855882 6.243765961 15033 27047 6.074251e6 25 1000000 4340484 95.480681833 10473.322779041784 45.4592899492664 none 0.0 0.0 0.0
404 ABC Process: 'AB->AB' not optimized 0.000192655 0.0 0.016413412 34 37 8624.0 25 1000000 41 0.088184074 1.1339916094146432e7 0.4649365598600037 none 0.0 0.0 0.0
405 ABC Process: 'AB->AB' reduced 0.000192655 0.000613926 0.007854442 34 37 9296.0 25 1000000 41 0.086237971 1.1595820128931373e7 0.47542862528618635 none 0.0 0.0 0.0
406 ABC Process: 'AB->ABBB' not optimized 0.000400061 0.0 0.057935399 280 385 69428.0 25 1000000 555 0.099864538 1.0013564574844375e7 5.557528339038629 none 0.0 0.0 0.0
407 ABC Process: 'AB->ABBB' reduced 0.000400061 0.003247007 0.040525221 200 285 57156.0 25 1000000 899 0.101078821 9.893269332850648e6 8.894049130232732 none 0.0 0.0 0.0
408 ABC Process: 'AB->ABBBBB' not optimized 0.007606845 0.0 2.309299453 7854 11241 1.982968e6 25 1000000 15833 2.90948746 343703.1483201512 5.441851947352954 none 0.0 0.0 0.0
409 ABC Process: 'AB->ABBBBB' reduced 0.007606845 0.275659801 1.297847276 4998 7671 1.507432e6 25 1000000 27893 2.816935511 354995.70227825496 9.901895123647366 none 0.0 0.0 0.0
410 QED Process: 'ke->ke' not optimized 0.000419261 0.0 0.141908 26 29 6532.0 26 1000000 5683 0.116330012 8.596233962393127e6 48.85239760828014 none 0.0 0.0 0.0
411 QED Process: 'ke->ke' reduced 0.000419261 0.000888713 0.0070368 26 29 6948.0 26 1000000 5683 0.120551425 8.295215091816625e6 47.141707366793874 none 0.0 0.0 0.0
412 QED Process: 'ke->kke' not optimized 0.001452069 0.0 0.163530013 77 101 19175.0 26 1000000 23078 0.305885095 3.269201462725734e6 75.44663135678448 none 0.0 0.0 0.0
413 QED Process: 'ke->kke' reduced 0.001452069 0.054664352 0.014713346 61 79 16863.0 26 1000000 16308 0.23101698 4.328686142464506e6 70.59221361131117 none 0.0 0.0 0.0
414 QED Process: 'ke->kkke' not optimized 0.011465369 0.0 0.083496698 356 493 85898.0 26 1000000 120271 1.306085592 765646.605494443 92.08508288942215 none 0.0 0.0 0.0
415 QED Process: 'ke->kkke' reduced 0.011465369 0.00594023 0.032555846 148 221 43962.0 26 1000000 43511 0.499128308 2.0034928573916908e6 87.17397771796986 none 0.0 0.0 0.0
416 QED Process: 'ke->kkkke' not optimized 0.058807894 0.0 0.490884266 2183 3015 504653.0 26 1000000 749880 8.316959592 120236.24606303126 90.16275619774588 none 0.0 0.0 0.0
417 QED Process: 'ke->kkkke' reduced 0.058807894 0.041670632 0.138550201 621 983 185533.0 26 1000000 189455 2.339688221 427407.37463412655 80.97446416130845 none 0.0 0.0 0.0
418 QED Process: 'ke->kkkkke' not optimized 1.065216369 0.0 6.55502101 15866 21617 3.982352e6 26 1000000 5405897 68.431043183 14613.250850579248 78.99772893339382 none 0.0 0.0 0.0
419 QED Process: 'ke->kkkkke' reduced 1.065216369 0.723082829 0.551094247 2234 3977 1.145088e6 26 1000000 648737 14.348122957 69695.52763082026 45.214067508635445 none 0.0 0.0 0.0
420 QED Process: 'ke->kkkkkke' reduced 44.459085831 17.273919436 6.408854381 15033 27047 6.074251e6 26 1000000 4340484 96.406020509 10372.796166880935 45.02295579760803 none 0.0 0.0 0.0
421 ABC Process: 'AB->AB' not optimized 0.000147214 0.0 0.016454423 34 37 8624.0 26 1000000 41 0.08207173 1.2184463517462105e7 0.4995630042159463 none 0.0 0.0 0.0
422 ABC Process: 'AB->AB' reduced 0.000147214 0.000504183 0.007825341 34 37 9296.0 26 1000000 41 0.098996356 1.0101381913491847e7 0.4141566584531657 none 0.0 0.0 0.0
423 ABC Process: 'AB->ABBB' not optimized 0.000400021 0.0 0.058831034 280 385 69428.0 26 1000000 555 0.098630806 1.0138820116708769e7 5.627045164773367 none 0.0 0.0 0.0
424 ABC Process: 'AB->ABBB' reduced 0.000400021 0.003438432 0.041036915 200 285 57156.0 26 1000000 899 0.099072997 1.0093567675155723e7 9.074117339964996 none 0.0 0.0 0.0
425 ABC Process: 'AB->ABBBBB' not optimized 0.008298083 0.0 2.324292667 7854 11241 1.982968e6 26 1000000 15833 7.089997675 141043.7698063138 2.233146007343366 none 0.0 0.0 0.0
426 ABC Process: 'AB->ABBBBB' reduced 0.008298083 0.29820357 1.305469483 4998 7671 1.507432e6 26 1000000 27893 5.975700262 167344.4041962893 4.667737466247098 none 0.0 0.0 0.0
427 QED Process: 'ke->ke' not optimized 0.000408641 0.0 0.142183729 26 29 6532.0 27 1000000 5683 0.115308445 8.672391688223703e6 49.2852019641753 none 0.0 0.0 0.0
428 QED Process: 'ke->ke' reduced 0.000408641 0.000893654 0.007026039 26 29 6948.0 27 1000000 5683 0.11626875 8.600763317744449e6 48.8781379347417 none 0.0 0.0 0.0
429 QED Process: 'ke->kke' not optimized 0.001452919 0.0 0.164519121 77 101 19175.0 27 1000000 23078 0.292747623 3.4159115956340316e6 78.83240780404218 none 0.0 0.0 0.0
430 QED Process: 'ke->kke' reduced 0.001452919 0.043963633 0.014514861 61 79 16863.0 27 1000000 16308 0.218225677 4.5824121787465e6 74.72997781099792 none 0.0 0.0 0.0
431 QED Process: 'ke->kkke' not optimized 0.011602242 0.0 0.083522509 356 493 85898.0 27 1000000 120271 1.269833194 787505.0083152889 94.71401485508812 none 0.0 0.0 0.0
432 QED Process: 'ke->kkke' reduced 0.011602242 0.020493892 0.032217528 148 221 43962.0 27 1000000 43511 0.485644327 2.0591201099318103e6 89.594375103243 none 0.0 0.0 0.0
433 QED Process: 'ke->kkkke' not optimized 0.058532646 0.0 0.489563453 2183 3015 504653.0 27 1000000 749880 8.057249379 124111.83431982985 93.06898231975401 none 0.0 0.0 0.0
434 QED Process: 'ke->kkkke' reduced 0.058532646 0.041256231 0.137830172 621 983 185533.0 27 1000000 189455 2.274933951 439573.2014814878 83.27934088667526 none 0.0 0.0 0.0
435 QED Process: 'ke->kkkkke' not optimized 1.059505591 0.0 6.517906429 15866 21617 3.982352e6 27 1000000 5405897 63.564091665 15732.152758042563 85.04639739824403 none 0.0 0.0 0.0
436 QED Process: 'ke->kkkkke' reduced 1.059505591 0.65469958 0.545434278 2234 3977 1.145088e6 27 1000000 648737 12.446658979 80342.84555294715 52.121376595482275 none 0.0 0.0 0.0
437 QED Process: 'ke->kkkkkke' reduced 44.079556123 17.393668293 6.13490961 15033 27047 6.074251e6 27 1000000 4340484 94.992763414 10527.117688341936 45.69278589236516 none 0.0 0.0 0.0
438 ABC Process: 'AB->AB' not optimized 0.000163794 0.0 0.016924446 34 37 8624.0 27 1000000 41 0.08506503 1.175571207110607e7 0.4819841949153489 none 0.0 0.0 0.0
439 ABC Process: 'AB->AB' reduced 0.000163794 0.000934005 0.007869352 34 37 9296.0 27 1000000 41 0.08467079 1.181044844390846e7 0.4842283862002469 none 0.0 0.0 0.0
440 ABC Process: 'AB->ABBB' not optimized 0.000485343 0.0 0.058476875 280 385 97076.0 27 1000000 555 0.098062981 1.0197528055974558e7 5.65962807106588 none 0.0 0.0 0.0
441 ABC Process: 'AB->ABBB' reduced 0.000485343 0.003547926 0.040617604 200 285 84804.0 27 1000000 899 0.100165667 9.983460700161863e6 8.975131169445515 none 0.0 0.0 0.0
442 ABC Process: 'AB->ABBBBB' not optimized 0.006948797 0.0 2.325682101 7854 11241 1.982968e6 27 1000000 15833 2.616692478 382161.83537330444 6.050768339465529 none 0.0 0.0 0.0
443 ABC Process: 'AB->ABBBBB' reduced 0.006948797 0.305781465 1.312325041 4998 7671 1.507432e6 27 1000000 27893 2.661758172 375691.52995165484 10.479163844941509 none 0.0 0.0 0.0
444 QED Process: 'ke->ke' not optimized 0.000405331 0.0 0.015740284 26 29 6532.0 28 1000000 5683 0.116657192 8.572124725923456e6 48.715384817423 none 0.0 0.0 0.0
445 QED Process: 'ke->ke' reduced 0.000405331 0.000812422 0.006984048 26 29 6948.0 28 1000000 5683 0.118101911 8.467263497539848e6 48.119458456518956 none 0.0 0.0 0.0
446 QED Process: 'ke->kke' not optimized 0.001473579 0.0 0.016987577 77 101 19175.0 28 1000000 23078 0.291200503 3.434060002293334e6 79.25123673292555 none 0.0 0.0 0.0
447 QED Process: 'ke->kke' reduced 0.001473579 0.054734394 0.01446226 61 79 16863.0 28 1000000 16308 0.218457373 4.57755207007822e6 74.65071915883561 none 0.0 0.0 0.0
448 QED Process: 'ke->kkke' not optimized 0.011734456 0.0 0.083898629 356 493 85898.0 28 1000000 120271 1.237756094 807913.6146834433 97.1685783515924 none 0.0 0.0 0.0
449 QED Process: 'ke->kkke' reduced 0.011734456 0.006211148 0.032353861 148 221 43962.0 28 1000000 43511 0.471445277 2.121136956474378e6 92.29279011315664 none 0.0 0.0 0.0
450 QED Process: 'ke->kkkke' not optimized 0.058816225 0.0 0.49721511 2183 3015 504653.0 28 1000000 749880 7.794910191 128288.84175658619 96.20123665642885 none 0.0 0.0 0.0
451 QED Process: 'ke->kkkke' reduced 0.058816225 0.055109294 0.138443968 621 983 185533.0 28 1000000 189455 2.222597536 449924.0117937394 85.2403536543829 none 0.0 0.0 0.0
452 QED Process: 'ke->kkkkke' not optimized 1.079222924 0.0 6.606410694 15866 21617 3.982352e6 28 1000000 5405897 63.879552949 15654.461464349595 84.62640626674309 none 0.0 0.0 0.0
453 QED Process: 'ke->kkkkke' reduced 1.079222924 1.28329987 0.545708727 2234 3977 1.138176e6 28 1000000 648737 14.110413924 70869.6431859542 45.97575971152637 none 0.0 0.0 0.0
454 QED Process: 'ke->kkkkkke' reduced 44.965066645 17.36147327 6.35183787 15033 27047 6.074251e6 28 1000000 4340484 94.600814659 10570.73349320109 45.88209959550344 none 0.0 0.0 0.0
455 ABC Process: 'AB->AB' not optimized 0.000155415 0.0 0.016396131 34 37 8624.0 28 1000000 41 0.110215698 9.073117696900127e6 0.3719978255729052 none 0.0 0.0 0.0
456 ABC Process: 'AB->AB' reduced 0.000155415 0.00070995 0.007901293 34 37 9296.0 28 1000000 41 0.087826165 1.1386128495989777e7 0.46683126833558086 none 0.0 0.0 0.0
457 ABC Process: 'AB->ABBB' not optimized 0.00037914 0.0 0.057832477 280 385 69428.0 28 1000000 555 0.100612589 9.939114080445739e6 5.516208314647384 none 0.0 0.0 0.0
458 ABC Process: 'AB->ABBB' reduced 0.00037914 0.003666268 0.040869592 200 285 57156.0 28 1000000 899 0.099545271 1.0045680623040345e7 9.03106688011327 none 0.0 0.0 0.0
459 ABC Process: 'AB->ABBBBB' not optimized 0.007724138 0.0 2.323637288 7854 11241 1.982968e6 28 1000000 15833 5.269062601 189787.07897875668 3.0048988214706545 none 0.0 0.0 0.0
460 ABC Process: 'AB->ABBBBB' reduced 0.007724138 2.408674928 1.304009658 4998 7671 1.507432e6 28 1000000 27893 5.102390263 195986.57657598308 5.4666535804338965 none 0.0 0.0 0.0
461 QED Process: 'ke->ke' not optimized 0.000413841 0.0 0.142478877 26 29 6532.0 29 1000000 5683 0.117250108 8.52877679225677e6 48.46903851039522 none 0.0 0.0 0.0
462 QED Process: 'ke->ke' reduced 0.000413841 0.000717229 0.007494732 26 29 6948.0 29 1000000 5683 0.115910813 8.627322802058166e6 49.02907548409656 none 0.0 0.0 0.0
463 QED Process: 'ke->kke' not optimized 0.001466809 0.0 0.165851436 77 101 19175.0 29 1000000 23078 0.283288009 3.529976448809028e6 81.46479648561474 none 0.0 0.0 0.0
464 QED Process: 'ke->kke' reduced 0.001466809 0.047285403 0.014684436 61 79 16863.0 29 1000000 16308 0.214885727 4.653636209165256e6 75.891499299067 none 0.0 0.0 0.0
465 QED Process: 'ke->kkke' not optimized 0.011692435 0.0 0.083338635 356 493 85898.0 29 1000000 120271 1.205114085 829796.9565263193 99.80050975837693 none 0.0 0.0 0.0
466 QED Process: 'ke->kkke' reduced 0.011692435 0.006197437 0.032254829 148 221 43962.0 29 1000000 43511 0.464593422 2.152419626810816e6 93.65393038216543 none 0.0 0.0 0.0
467 QED Process: 'ke->kkkke' not optimized 0.059114922 0.0 0.488709441 2183 3015 504653.0 29 1000000 749880 7.608926198 131424.5892229641 98.55267096651633 none 0.0 0.0 0.0
468 QED Process: 'ke->kkkke' reduced 0.059114922 0.041005754 0.136972879 621 983 185533.0 29 1000000 189455 2.172059656 460392.51142925327 87.22366325282918 none 0.0 0.0 0.0
469 QED Process: 'ke->kkkkke' not optimized 1.069863893 0.0 6.535049187 15866 21617 3.982352e6 29 1000000 5405897 61.699851543 16207.494426515397 87.6160454978163 none 0.0 0.0 0.0
470 QED Process: 'ke->kkkkke' reduced 1.069863893 0.76155773 0.548914073 2234 3977 1.145088e6 29 1000000 648737 12.76469636 78341.07226660267 50.82275219901902 none 0.0 0.0 0.0
471 QED Process: 'ke->kkkkkke' reduced 44.25040979 18.276184581 6.408821608 15033 27047 6.074251e6 29 1000000 4340484 92.655675141 10792.647061048734 46.84531188612905 none 0.0 0.0 0.0
472 ABC Process: 'AB->AB' not optimized 0.000146754 0.0 0.016515495 34 37 8624.0 29 1000000 41 0.084834815 1.1787613375475625e7 0.48329214839450063 none 0.0 0.0 0.0
473 ABC Process: 'AB->AB' reduced 0.000146754 0.000651647 0.00779705 34 37 9296.0 29 1000000 41 0.084444815 1.1842053298358222e7 0.4855241852326871 none 0.0 0.0 0.0
474 ABC Process: 'AB->ABBB' not optimized 0.000405191 0.0 0.058123168 280 385 97076.0 29 1000000 555 0.099254407 1.0075119384875273e7 5.591691258605777 none 0.0 0.0 0.0
475 ABC Process: 'AB->ABBB' reduced 0.000405191 0.00341406 0.040336018 200 285 84804.0 29 1000000 899 0.100144421 9.98557872734618e6 8.977035275884216 none 0.0 0.0 0.0
476 ABC Process: 'AB->ABBBBB' not optimized 0.00755218 0.0 2.310492932 7854 11241 1.982968e6 29 1000000 15833 7.922187587 126227.76083224297 1.998564137256903 none 0.0 0.0 0.0
477 ABC Process: 'AB->ABBBBB' reduced 0.00755218 0.508861284 1.282758132 4998 7671 1.507432e6 29 1000000 27893 6.192440206 161487.22744727947 4.504363235186966 none 0.0 0.0 0.0
478 QED Process: 'ke->ke' not optimized 0.000411711 0.0 0.274984062 26 29 6532.0 30 1000000 5683 0.109756585 9.111070647834023e6 51.77821449164075 none 0.0 0.0 0.0
479 QED Process: 'ke->ke' reduced 0.000411711 0.000972775 0.007121299 26 29 6948.0 30 1000000 5683 0.110194877 9.074832035975683e6 51.57227046044981 none 0.0 0.0 0.0
480 QED Process: 'ke->kke' not optimized 0.001479169 0.0 0.16636271 77 101 19175.0 30 1000000 23078 0.280284877 3.567798629392338e6 82.33765676911638 none 0.0 0.0 0.0
481 QED Process: 'ke->kke' reduced 0.001479169 0.044134713 0.014609189 61 79 16863.0 30 1000000 16308 0.205694166 4.861586594536668e6 79.28275418370399 none 0.0 0.0 0.0
482 QED Process: 'ke->kkke' not optimized 0.01169115 0.0 0.083739496 356 493 85898.0 30 1000000 120271 1.182140452 845923.1712341403 101.74002572750128 none 0.0 0.0 0.0
483 QED Process: 'ke->kkke' reduced 0.01169115 0.020658839 0.032307059 148 221 43962.0 30 1000000 43511 0.450374954 2.2203721390776983e6 96.61061214340972 none 0.0 0.0 0.0
484 QED Process: 'ke->kkkke' not optimized 0.059127042 0.0 0.488309493 2183 3015 504653.0 30 1000000 749880 7.322706133 136561.53638249516 102.40476490250548 none 0.0 0.0 0.0
485 QED Process: 'ke->kkkke' reduced 0.059127042 0.040020385 0.137561709 621 983 185533.0 30 1000000 189455 2.105343829 474981.7992793043 89.98767678246058 none 0.0 0.0 0.0
486 QED Process: 'ke->kkkkke' not optimized 1.078320652 0.0 6.689802283 15866 21617 3.982352e6 30 1000000 5405897 62.173269261 16084.082627246999 86.94889402238667 none 0.0 0.0 0.0
487 QED Process: 'ke->kkkkke' reduced 1.078320652 0.50995426 0.54556123 2234 3977 1.145088e6 30 1000000 648737 13.637599451 73326.68799908721 47.569735592463836 none 0.0 0.0 0.0
488 QED Process: 'ke->kkkkkke' reduced 45.073327993 17.839024815 6.429905842 15033 27047 6.074251e6 30 1000000 4340484 87.271565278 11458.485897606408 49.73537470278625 none 0.0 0.0 0.0
489 ABC Process: 'AB->AB' not optimized 0.000151094 0.0 0.016554493 34 37 8624.0 30 1000000 41 0.081790186 1.2226405745060904e7 0.5012826355474971 none 0.0 0.0 0.0
490 ABC Process: 'AB->AB' reduced 0.000151094 0.000802442 0.007813049 34 37 9296.0 30 1000000 41 0.081665023 1.2245144411457522e7 0.5020509208697583 none 0.0 0.0 0.0
491 ABC Process: 'AB->ABBB' not optimized 0.00037645 0.0 0.058408251 280 385 69428.0 30 1000000 555 0.097089136 1.029981356513462e7 5.716396528649715 none 0.0 0.0 0.0
492 ABC Process: 'AB->ABBB' reduced 0.00037645 0.003598586 0.040477552 200 285 57156.0 30 1000000 899 0.098708439 1.0130846056637568e7 9.107630604917173 none 0.0 0.0 0.0
493 ABC Process: 'AB->ABBBBB' not optimized 0.007178483 0.0 2.336679771 7854 11241 1.982968e6 30 1000000 15833 6.452549555 154977.5002076679 2.453758760788006 none 0.0 0.0 0.0
494 ABC Process: 'AB->ABBBBB' reduced 0.007178483 0.275604039 1.309060995 4998 7671 1.507432e6 30 1000000 27893 5.996552347 166762.48986641256 4.651506129843845 none 0.0 0.0 0.0
495 QED Process: 'ke->ke' not optimized 0.000404691 0.0 0.143217533 26 29 6532.0 31 1000000 5683 0.111881284 8.938045437519291e6 50.79491222142214 none 0.0 0.0 0.0
496 QED Process: 'ke->ke' reduced 0.000404691 0.000791241 0.006978167 26 29 6948.0 31 1000000 5683 0.111635977 8.957685746773193e6 50.906528098912055 none 0.0 0.0 0.0
497 QED Process: 'ke->kke' not optimized 0.00148659 0.0 0.163976389 77 101 19175.0 31 1000000 23078 0.27386377 3.651450500371042e6 84.26817464756292 none 0.0 0.0 0.0
498 QED Process: 'ke->kke' reduced 0.00148659 0.056830101 0.014485947 61 79 16863.0 31 1000000 16308 0.209463007 4.77411269093449e6 77.85622976375967 none 0.0 0.0 0.0
499 QED Process: 'ke->kkke' not optimized 0.011509178 0.0 0.083144205 356 493 85898.0 31 1000000 120271 1.154230517 866378.0633691216 104.20015605946762 none 0.0 0.0 0.0
500 QED Process: 'ke->kkke' reduced 0.011509178 0.006169325 0.032209112 148 221 43962.0 31 1000000 43511 0.4471104 2.2365840740899784e6 97.31600964772905 none 0.0 0.0 0.0
501 QED Process: 'ke->kkkke' not optimized 0.058965489 0.0 0.492342271 2183 3015 504653.0 31 1000000 749880 7.254778168 137840.18985044726 103.36360156505339 none 0.0 0.0 0.0
502 QED Process: 'ke->kkkke' reduced 0.058965489 0.038548093 0.138808216 621 983 185533.0 31 1000000 189455 2.064680135 484336.52411733015 91.75997617664879 none 0.0 0.0 0.0
503 QED Process: 'ke->kkkkke' not optimized 1.053294635 0.0 6.701804628 15866 21617 3.982352e6 31 1000000 5405897 60.586121209 16505.43028741459 89.22665607444368 none 0.0 0.0 0.0
504 QED Process: 'ke->kkkkke' reduced 1.053294635 0.501315142 0.551778024 2234 3977 1.145088e6 31 1000000 648737 13.491158885 74122.61678363592 48.08608404436561 none 0.0 0.0 0.0
505 QED Process: 'ke->kkkkkke' reduced 43.580015892 17.239105461 6.159284061 15033 27047 6.074251e6 31 1000000 4340484 89.925538592 11120.311489454481 48.267534094993344 none 0.0 0.0 0.0
506 ABC Process: 'AB->AB' not optimized 0.000172175 0.0 0.017105608 34 37 8624.0 31 1000000 41 0.084727992 1.1802474912895374e7 0.4839014714287103 none 0.0 0.0 0.0
507 ABC Process: 'AB->AB' reduced 0.000172175 0.000569505 0.007803169 34 37 9296.0 31 1000000 41 0.084725272 1.1802853816745492e7 0.48391700648656516 none 0.0 0.0 0.0
508 ABC Process: 'AB->ABBB' not optimized 0.000437242 0.0 0.058075297 280 385 69428.0 31 1000000 555 0.099416636 1.0058678710472561e7 5.582566684312271 none 0.0 0.0 0.0
509 ABC Process: 'AB->ABBB' reduced 0.000437242 0.003540115 0.040624909 200 285 57156.0 31 1000000 899 1.659228333 602689.8047189988 0.5418181344423799 none 0.0 0.0 0.0
510 ABC Process: 'AB->ABBBBB' not optimized 0.008013255 0.0 2.522018696 7854 11241 1.982968e6 31 1000000 15833 5.636040249 177429.5348897534 2.809241825909466 none 0.0 0.0 0.0
511 ABC Process: 'AB->ABBBBB' reduced 0.008013255 0.286873825 1.300153125 4998 7671 1.507432e6 31 1000000 27893 5.670523125 176350.57259377636 4.918946521358204 none 0.0 0.0 0.0
512 QED Process: 'ke->ke' not optimized 0.000412731 0.0 0.142470243 26 29 6532.0 32 1000000 5683 0.110025002 9.088843279457519e6 51.651896357157085 none 0.0 0.0 0.0
513 QED Process: 'ke->ke' reduced 0.000412731 0.000668098 0.007424499 26 29 6948.0 32 1000000 5683 0.113386203 8.819415180522447e6 50.120736470909065 none 0.0 0.0 0.0
514 QED Process: 'ke->kke' not optimized 0.001461169 0.0 0.166073446 77 101 19175.0 32 1000000 23078 0.272306687 3.6723299417175166e6 84.75003039495685 none 0.0 0.0 0.0
515 QED Process: 'ke->kke' reduced 0.001461169 0.043691222 0.014658764 61 79 16863.0 32 1000000 16308 0.203634964 4.9107480383378565e6 80.08447900921377 none 0.0 0.0 0.0
516 QED Process: 'ke->kkke' not optimized 0.01194448 0.0 0.082184375 356 493 85898.0 32 1000000 120271 1.120815496 892207.5074522345 107.3066891287877 none 0.0 0.0 0.0
517 QED Process: 'ke->kkke' reduced 0.01194448 0.020337885 0.031659009 148 221 43962.0 32 1000000 43511 0.434748566 2.300180099961503e6 100.08313632942496 none 0.0 0.0 0.0
518 QED Process: 'ke->kkkke' not optimized 0.058911311 0.0 0.480375851 2183 3015 504653.0 32 1000000 749880 7.000379449 142849.39941974852 107.11990763688101 none 0.0 0.0 0.0
519 QED Process: 'ke->kkkke' reduced 0.058911311 0.040457235 0.133862493 621 983 185533.0 32 1000000 189455 2.021705335 494631.92419186054 93.71049119776893 none 0.0 0.0 0.0
520 QED Process: 'ke->kkkkke' not optimized 1.105426537 0.0 6.499117119 15866 21617 3.982352e6 32 1000000 5405897 59.782552585 16727.288427140687 90.42599832641457 none 0.0 0.0 0.0
521 QED Process: 'ke->kkkkke' reduced 1.105426537 0.723664774 0.535145095 2234 3977 1.145088e6 32 1000000 648737 12.797201332 78142.08544953131 50.69366208827259 none 0.0 0.0 0.0
522 QED Process: 'ke->kkkkkke' reduced 45.254736182 17.576269218 6.287089464 15033 27047 6.074251e6 32 1000000 4340484 91.843900017 10888.039377845489 47.259360710908304 none 0.0 0.0 0.0
523 ABC Process: 'AB->AB' not optimized 0.000155274 0.0 0.016660837 34 37 8624.0 32 1000000 41 0.084980562 1.1767396878359077e7 0.4824632720127222 none 0.0 0.0 0.0
524 ABC Process: 'AB->AB' reduced 0.000155274 0.000809242 0.00781239 34 37 9296.0 32 1000000 41 0.081593791 1.2255834515643476e7 0.5024892151413826 none 0.0 0.0 0.0
525 ABC Process: 'AB->ABBB' not optimized 0.000409221 0.0 0.057314679 280 385 69428.0 32 1000000 555 0.10277155 9.730319334485078e6 5.400327230639219 none 0.0 0.0 0.0
526 ABC Process: 'AB->ABBB' reduced 0.000409221 0.0037051 0.040008235 200 285 57156.0 32 1000000 899 0.10315745 9.693919343682885e6 8.714833489970912 none 0.0 0.0 0.0
527 ABC Process: 'AB->ABBBBB' not optimized 0.008137958 0.0 2.31488204 7854 11241 1.982968e6 32 1000000 15833 6.657499011 150206.55629805246 2.3782204058670646 none 0.0 0.0 0.0
528 ABC Process: 'AB->ABBBBB' reduced 0.008137958 0.302658517 1.29706989 4998 7671 1.507432e6 32 1000000 27893 6.412540428 155944.43594204192 4.3497581517313755 none 0.0 0.0 0.0
529 QED Process: 'ke->ke' not optimized 0.000411471 0.0 0.142903939 26 29 6532.0 16 1000000 5683 0.121450921 8.233778647096467e6 46.792564051449226 none 0.0 0.0 0.0
530 QED Process: 'ke->ke' reduced 0.000411471 0.000490633 0.007063541 26 29 6948.0 16 1000000 5683 0.124183905 8.052573318579408e6 45.762774169486775 none 0.0 0.0 0.0
531 QED Process: 'ke->kke' not optimized 0.0014748 0.0 0.165657992 77 101 19175.0 16 1000000 23078 0.314326726 3.181403034751808e6 73.42041923600223 none 0.0 0.0 0.0
532 QED Process: 'ke->kke' reduced 0.0014748 0.054176899 0.014648245 61 79 16863.0 16 1000000 16308 0.22867412 4.373035304563542e6 71.31545974682224 none 0.0 0.0 0.0
533 QED Process: 'ke->kkke' not optimized 0.011792768 0.0 0.083745345 356 493 85898.0 16 1000000 120271 1.308872574 764016.3143948648 91.8890061485848 none 0.0 0.0 0.0
534 QED Process: 'ke->kkke' reduced 0.011792768 0.005878518 0.032334261 148 221 43962.0 16 1000000 43511 0.499459283 2.0021652095312043e6 87.11621043191224 none 0.0 0.0 0.0
535 QED Process: 'ke->kkkke' not optimized 0.059422891 0.0 0.491688913 2183 3015 504653.0 16 1000000 749880 10.786761156 92706.23364491227 69.5185504856468 none 0.0 0.0 0.0
536 QED Process: 'ke->kkkke' reduced 0.059422891 0.322175708 0.137101523 621 983 185533.0 16 1000000 189455 2.460037469 406497.8735492585 77.01305463327476 none 0.0 0.0 0.0
537 QED Process: 'ke->kkkkke' not optimized 1.084890041 0.0 6.535008218 15866 21617 3.982352e6 16 1000000 5405897 68.669290878 14562.550263940124 78.72364678418312 none 0.0 0.0 0.0
538 QED Process: 'ke->kkkkke' reduced 1.084890041 0.499852753 0.546009167 2234 3977 1.138176e6 16 1000000 648737 15.400034363 64934.92004164562 42.125685223057054 none 0.0 0.0 0.0
539 QED Process: 'ke->kkkkkke' reduced 44.395917114 17.849095588 6.21393922 15033 27047 6.074251e6 16 1000000 4340484 95.530794222 10467.828810008028 45.43544346457889 none 0.0 0.0 0.0
540 ABC Process: 'AB->AB' not optimized 0.000155704 0.0 0.016556525 34 37 8624.0 16 1000000 41 0.086056758 1.1620237889974894e7 0.47642975348897065 none 0.0 0.0 0.0
541 ABC Process: 'AB->AB' reduced 0.000155704 0.000444912 0.007915573 34 37 9296.0 16 1000000 41 0.086358596 1.1579623179607969e7 0.47476455036392673 none 0.0 0.0 0.0
542 ABC Process: 'AB->ABBB' not optimized 0.000404401 0.0 0.058490865 280 385 69428.0 16 1000000 555 0.100309332 9.969162191210683e6 5.532885016121929 none 0.0 0.0 0.0
543 ABC Process: 'AB->ABBB' reduced 0.000404401 0.003280859 0.040743287 200 285 57156.0 16 1000000 899 0.09951871 1.0048361760316227e7 9.033477222524288 none 0.0 0.0 0.0
544 ABC Process: 'AB->ABBBBB' not optimized 0.007139763 0.0 2.333970735 7854 11241 1.982968e6 16 1000000 15833 7.878134284 126933.60686056568 2.0097397974233364 none 0.0 0.0 0.0
545 ABC Process: 'AB->ABBBBB' reduced 0.007139763 0.469152506 1.297009285 4998 7671 1.507432e6 16 1000000 27893 6.215374959 160891.3390739167 4.4877421207887584 none 0.0 0.0 0.0