Skip to content
Snippets Groups Projects
results_amba08_with_redundant_nodes.csv~ 23.3 KiB
Newer Older
Davide Cavezza's avatar
Davide Cavezza committed
ref,d1,d2,total_time,d1_automaton_time,d1_automaton_numstates,d2_avg_automaton_time,d2_avg_automaton_numstates,d2_len_cfairness
ref1,0.9396309092,0.921449091,36.5177910328,29.6530590057,4,3.4017025232,1.5,2
ref1_1,0.9396309092,0.921449091,39.158949852,31.8901920319,5,2.4003260136,1.3333333333,3
ref1_1_1,0.9396309092,0.921449091,42.8397209644,35.3518459797,6,1.8533626795,1.25,4
ref1_1_1_1,0.9396309092,0.921449091,45.2960748672,37.5096189976,7,1.5410831928,1.2,5
ref1_1_1_1_1,0.9396309092,0.921449091,90.9356877804,82.8386530876,8,1.3349436124,1.1666666667,6
ref1_1_1_1_1_1,0.9396309092,0.921449091,197.980546951,189.687985182,9,1.1713241168,1.1428571429,7
ref1_1_1_1_1_1_1,0.9396309092,0.921449091,212.586569071,203.951771021,10,1.066355437,1.125,8
ref1_1_1_1_1_1_2,0.9339325601,0.915750742,262.234946012,241.971503973,17,2.8798262732,1.2857142857,7
ref1_1_1_1_1_2,0.9339325601,0.915750742,221.28242588,201.892656088,15,3.2153301239,1.3333333333,6
ref1_1_1_1_1_2_1,0.9339325601,0.915750742,240.122890949,219.942399979,17,2.8679333074,1.2857142857,7
ref1_1_1_1_1_2_2,0.9282342111,0.9100523929,311.672513962,262.831056833,29,8.1219933828,1.6666666667,6
ref1_1_1_1_2,0.9339325601,0.915750742,110.1560359,91.1204619408,13,3.788740778,1.4,5
ref1_1_1_1_2_1,0.9339325601,0.915750742,225.304332018,205.617872953,15,3.2647490501,1.3333333333,6
ref1_1_1_1_2_1_1,0.9339325601,0.915750742,262.72133708,242.446363926,17,2.8812237808,1.2857142857,7
ref1_1_1_1_2_1_2,0.9294721659,0.9112903477,306.605967045,282.590745926,29,3.9843256076,1.6666666667,6
ref1_1_1_1_2_2,0.9282342111,0.9100523929,272.059138775,224.493196964,25,9.4927740097,1.8,5
ref1_1_1_1_2_2_1,0.9282342111,0.9100523929,306.326690197,258.775671005,29,7.9062733253,1.6666666667,6
ref1_1_1_1_2_2_2,0.9237738168,0.9055919987,375.428491831,316.755118132,49,11.7116631031,2.6,5
ref1_1_1_2,0.9339325601,0.915750742,62.4985759258,45.0829880238,11,4.3324150443,1.5,4
ref1_1_1_2_1,0.9339325601,0.915750742,119.070737839,101.109606981,13,3.5739916325,1.4,5
ref1_1_1_2_1_1,0.9339325601,0.915750742,247.771795988,229.046293974,15,3.1043563287,1.3333333333,6
ref1_1_1_2_1_1_1,0.9339325601,0.915750742,257.483281136,238.160619974,17,2.7453218528,1.2857142857,7
ref1_1_1_2_1_1_2,0.9282342111,0.9100523929,340.951841116,294.148313999,29,7.782066385,1.6666666667,6
ref1_1_1_2_1_2,0.9282342111,0.9100523929,297.351688862,252.47964716,25,8.9531924248,1.8,5
ref1_1_1_2_1_2_1,0.9282342111,0.9100523929,311.362900972,264.871349812,29,7.7299986283,1.6666666667,6
ref1_1_1_2_1_2_2,0.9225358621,0.9043540439,450.916510105,333.622711897,49,23.4351736069,2.6,5
ref1_1_1_2_2,0.9282342111,0.9100523929,154.987376928,111.71921587,21,10.7932092547,2,4
ref1_1_1_2_2_1,0.9282342111,0.9100523929,291.302156925,246.771238089,25,8.885148716,1.8,5
ref1_1_1_2_2_1_1,0.9282342111,0.9100523929,336.452116966,291.254059792,29,7.5146844387,1.6666666667,6
ref1_1_1_2_2_1_2,0.9237738168,0.9055919987,401.098335981,344.608746052,49,11.2746389866,2.6,5
ref1_1_1_2_2_2,0.9225358621,0.9043540439,386.762019157,276.201986074,41,27.6121564507,3,4
ref1_1_1_2_2_2_1,0.9225358621,0.9043540439,438.952451944,326.118522167,49,22.5428150177,2.6,5
ref1_1_1_2_2_2_2,0.9180754678,0.8998936496,544.2301929,400.966875076,81,35.7765272856,5,4
ref1_1_2,0.9339325601,0.915750742,58.0051767826,41.5348110199,9,5.4639143149,1.6666666667,3
ref1_1_2_1,0.9339325601,0.915750742,61.9458329678,45.3426070213,11,4.1296502352,1.5,4
ref1_1_2_1_1,0.9339325601,0.915750742,117.131447792,99.8320269585,13,3.4412965775,1.4,5
ref1_1_2_1_1_1,0.9339325601,0.915750742,239.598818779,221.731299877,15,2.9613526662,1.3333333333,6
ref1_1_2_1_1_1_1,0.9339325601,0.915750742,257.674273014,239.101794958,17,2.6380091395,1.2857142857,7
ref1_1_2_1_1_1_2,0.9282342111,0.9100523929,340.00464797,293.987965107,29,7.6509573062,1.6666666667,6
ref1_1_2_1_1_2,0.9282342111,0.9100523929,287.472648144,243.650915861,25,8.7434276581,1.8,5
ref1_1_2_1_1_2_1,0.9282342111,0.9100523929,304.117123842,258.610907078,29,7.5657287041,1.6666666667,6
ref1_1_2_1_1_2_2,0.9225358621,0.9043540439,438.620876789,322.99157691,49,23.1025353909,2.6,5
ref1_1_2_1_2,0.9282342111,0.9100523929,154.568036079,111.15307498,21,10.828841269,2,4
ref1_1_2_1_2_1,0.9282342111,0.9100523929,293.962308884,249.097763062,25,8.9517074108,1.8,5
ref1_1_2_1_2_1_1,0.9282342111,0.9100523929,343.90938592,286.85538888,29,9.4905682802,2.3333333333,6
ref1_1_2_1_2_1_2,0.9237738168,0.9055919987,407.348111868,351.311164856,49,11.1836846352,2.6,5
ref1_1_2_1_2_2,0.9225358621,0.9043540439,386.171365023,274.475208998,41,27.8963282108,3,4
ref1_1_2_1_2_2_1,0.9225358621,0.9043540439,434.357536077,321.436284065,49,22.5605051994,2.6,5
ref1_1_2_1_2_2_2,0.9180754678,0.8998936496,543.155531168,398.512363911,81,36.1287544966,5,4
ref1_1_2_2,0.9191286995,0.9009468813,65.2190310955,45.4993991852,11,6.5434497198,2,3
ref1_1_2_2_1,0.9191286995,0.9009468813,122.63688302,102.468129158,14,5.0182017088,1.75,4
ref1_1_2_2_1_1,0.9191286995,0.9009468813,254.168838978,233.055972815,17,4.201854229,1.6,5
ref1_1_2_2_1_1_1,0.9191286995,0.9009468813,270.177699089,248.577700138,20,3.5814475616,1.5,6
ref1_1_2_2_1_1_2,0.9134303505,0.8952485323,353.720020056,302.451684952,33,10.2305274487,2.2,5
ref1_1_2_2_1_2,0.9134303505,0.8952485323,309.610874176,260.440836906,27,12.2648715973,2.5,4
ref1_1_2_2_1_2_1,0.9134303505,0.8952485323,328.145470142,276.969552994,33,10.2116772175,2.2,5
ref1_1_2_2_1_2_2,0.9077320014,0.8895501832,474.189370155,345.221764088,53,32.2108250856,4,4
ref1_1_2_2_2,0.9134303505,0.8952485323,162.885387897,114.663192034,21,16.0405242443,3,3
ref1_1_2_2_2_1,0.9134303505,0.8952485323,305.668671846,255.24711585,27,12.5786742568,2.5,4
ref1_1_2_2_2_1_1,0.9134303505,0.8952485323,359.360249996,308.525534868,33,10.1439272881,2.2,5
ref1_1_2_2_2_1_2,0.9089699562,0.890788138,432.657961845,367.910979033,53,16.156606853,4,4
ref1_1_2_2_2_2,0.9077320014,0.8895501832,409.705463171,285.354456902,41,41.4127310117,5,3
ref1_1_2_2_2_2_1,0.9077320014,0.8895501832,463.593080997,337.385857105,53,31.5216795206,4,4
ref1_1_2_2_2_2_2,0.9032716072,0.885089789,569.988276005,408.380624056,81,53.8256926537,9,3
ref1_2,0.9339325601,0.915750742,54.8559880257,38.0930430889,7,8.3459784985,2,2
ref1_2_1,0.9339325601,0.915750742,60.1988511086,42.8335387707,9,5.7620697022,1.6666666667,3
ref1_2_1_1,0.9339325601,0.915750742,115.406152964,97.5571739674,11,4.440779686,1.5,4
ref1_2_1_1_1,0.9339325601,0.915750742,238.723502159,220.108052015,13,3.7046561241,1.4,5
ref1_2_1_1_1_1,0.9339325601,0.915750742,251.369745016,232.335106134,15,3.1554166873,1.3333333333,6
ref1_2_1_1_1_1_1,0.9339325601,0.915750742,252.469709873,233.208687067,15,3.1936488549,1.3333333333,6
ref1_2_1_1_1_1_2,0.9339325601,0.915750742,251.676812887,232.43316102,15,3.1907755137,1.3333333333,6
ref1_2_1_1_1_2,0.9282342111,0.9100523929,329.141887188,283.515157938,25,9.1045837879,1.8,5
ref1_2_1_1_1_2_1,0.9282342111,0.9100523929,329.143312931,283.820323944,25,9.0435707092,1.8,5
ref1_2_1_1_1_2_2,0.9282342111,0.9100523929,332.161609888,287.061418056,25,8.9981935501,1.8,5
ref1_2_1_1_2,0.9282342111,0.9100523929,286.75779295,242.81832099,21,10.9605485201,2,4
ref1_2_1_1_2_1,0.9282342111,0.9100523929,302.588146925,256.649482965,25,9.1669685841,1.8,5
ref1_2_1_1_2_1_1,0.9282342111,0.9100523929,298.952694893,253.530976057,25,9.0634079933,1.8,5
ref1_2_1_1_2_1_2,0.9282342111,0.9100523929,298.731225014,252.507826805,25,9.2240584374,1.8,5
ref1_2_1_1_2_2,0.9225358621,0.9043540439,430.127354145,315.742684126,41,28.5690191984,3,4
ref1_2_1_1_2_2_1,0.9225358621,0.9043540439,430.845835924,316.877775908,41,28.4647287726,3,4
ref1_2_1_1_2_2_2,0.9225358621,0.9043540439,430.683245897,315.963131189,41,28.6526753306,3,4
ref1_2_1_2,0.9282342111,0.9100523929,148.795295954,106.670619965,17,14.0114539464,2.3333333333,3
ref1_2_1_2_1,0.9282342111,0.9100523929,285.927847147,241.493273973,21,11.0844465494,2,4
ref1_2_1_2_1_1,0.9282342111,0.9100523929,322.73105979,277.930214882,25,8.9394004345,1.8,5
ref1_2_1_2_1_1_1,0.9282342111,0.9100523929,324.433985949,279.421653032,25,8.9817082405,1.8,5
ref1_2_1_2_1_1_2,0.9282342111,0.9100523929,323.50484705,278.823150873,25,8.915563345,1.8,5
ref1_2_1_2_1_2,0.9237738168,0.9055919987,392.208821058,334.993806839,41,14.276412189,3,4
ref1_2_1_2_1_2_1,0.9237738168,0.9055919987,393.83892107,336.596443176,41,14.2834852934,3,4
ref1_2_1_2_1_2_2,0.9237738168,0.9055919987,393.680712938,336.473022223,41,14.2747626305,3,4
ref1_2_1_2_2,0.9225358621,0.9043540439,372.461425066,263.647322178,33,36.237631321,3.6666666667,3
ref1_2_1_2_2_1,0.9225358621,0.9043540439,415.370764971,304.578037024,41,27.6709374785,3,4
ref1_2_1_2_2_1_1,0.9225358621,0.9043540439,415.011855125,304.464679956,41,27.6095529795,3,4
ref1_2_1_2_2_1_2,0.9225358621,0.9043540439,418.1028409,307.033164024,41,27.7401441932,3,4
ref1_2_1_2_2_2,0.9180754678,0.8998936496,514.020107031,372.175511122,65,47.2429733276,6.3333333333,3
ref1_2_1_2_2_2_1,0.9180754678,0.8998936496,513.978437185,371.536242008,65,47.442022721,6.3333333333,3
ref1_2_1_2_2_2_2,0.9180754678,0.8998936496,511.630342007,369.031552076,65,47.4943319162,6.3333333333,3
ref1_2_2,0.9294721659,0.9112903477,70.5967638493,49.9967310429,13,10.2568490505,3,2
ref1_2_2_1,0.9294721659,0.9112903477,136.920094967,115.884010077,17,6.9820866585,2.3333333333,3
ref1_2_2_1_1,0.9294721659,0.9112903477,280.933352947,259.43246603,21,5.3510424495,2,4
ref1_2_2_1_1_1,0.9294721659,0.9112903477,300.660593033,278.300390005,25,4.4513367653,1.8,5
ref1_2_2_1_1_1_1,0.9294721659,0.9112903477,300.367533922,278.091515064,25,4.433698988,1.8,5
ref1_2_2_1_1_1_2,0.9294721659,0.9112903477,301.000577927,278.751034021,25,4.4291497707,1.8,5
ref1_2_2_1_1_2,0.9237738168,0.9055919987,399.305181026,344.13292098,41,13.7655024529,3,4
ref1_2_2_1_1_2_1,0.9237738168,0.9055919987,397.367841005,342.197345018,41,13.7651515007,3,4
ref1_2_2_1_1_2_2,0.9237738168,0.9055919987,405.628730059,349.757537127,41,13.9405997396,3,4
ref1_2_2_1_2,0.9237738168,0.9055919987,331.346191168,280.435026884,33,16.9361786842,3.6666666667,3
ref1_2_2_1_2_1,0.9237738168,0.9055919987,354.539261103,302.038053036,41,13.0979967713,3,4
ref1_2_2_1_2_1_1,0.9237738168,0.9055919987,354.460299015,301.725828886,41,13.1562780142,3,4
ref1_2_2_1_2_1_2,0.9237738168,0.9055919987,354.761552095,302.323529959,41,13.0813363194,3,4
ref1_2_2_1_2_2,0.9180754678,0.8998936496,519.955322027,379.512603045,65,46.7757330736,6.3333333333,3
ref1_2_2_1_2_2_1,0.9180754678,0.8998936496,526.265099049,386.548753023,65,46.533395052,6.3333333333,3
ref1_2_2_1_2_2_2,0.9180754678,0.8998936496,521.333899021,381.500386,65,46.571921587,6.3333333333,3
ref1_2_2_2,0.9237738168,0.9055919987,178.235291958,127.078040838,25,25.5297780037,5,2
ref1_2_2_2_1,0.9237738168,0.9055919987,339.697293997,286.967303991,33,17.5418953896,3.6666666667,3
ref1_2_2_2_1_1,0.9237738168,0.9055919987,386.939507008,333.009891033,41,13.4546383619,3,4
ref1_2_2_2_1_1_1,0.9237738168,0.9055919987,387.093804836,333.331460953,41,13.4127472639,3,4
ref1_2_2_2_1_1_2,0.9237738168,0.9055919987,386.034758091,332.15050292,41,13.4434202909,3,4
ref1_2_2_2_1_2,0.9193134226,0.9011316044,475.230107069,405.511318922,65,23.2001766364,6.3333333333,3
ref1_2_2_2_1_2_1,0.9193134226,0.9011316044,477.188157082,405.661527157,65,23.8028626442,6.3333333333,3
ref1_2_2_2_1_2_2,0.9193134226,0.9011316044,479.030104876,409.385429144,65,23.1754840215,6.3333333333,3
ref1_2_2_2_2,0.9180754678,0.8998936496,453.053761959,317.53647995,49,67.7037655115,9,2
ref1_2_2_2_2_1,0.9180754678,0.8998936496,511.099407196,372.740184784,65,46.0802389781,6.3333333333,3
ref1_2_2_2_2_1_1,0.9180754678,0.8998936496,510.794749975,373.917005062,65,45.5865662893,6.3333333333,3
ref1_2_2_2_2_1_2,0.9180754678,0.8998936496,512.549177885,373.914454937,65,46.1721072992,6.3333333333,3
ref1_2_2_2_2_2,0.9136150735,0.8954332554,637.085610867,456.119658947,97,90.4180486202,17,2
ref1_2_2_2_2_2_1,0.9136150735,0.8954332554,641.690800905,459.160154819,97,91.2000236511,17,2
ref1_2_2_2_2_2_2,0.9136150735,0.8954332554,641.599756002,459.155390024,97,91.1571874619,17,2
ref2,0.9339325601,0.915750742,47.9862208366,31.5940070152,5,16.3267979622,3,1
ref2_1,0.9339325601,0.915750742,55.0075929165,38.2178189754,7,8.3592950106,2,2
ref2_1_1,0.9339325601,0.915750742,59.3336439133,41.9380340576,9,5.7714579105,1.6666666667,3
ref2_1_1_1,0.9339325601,0.915750742,115.186983109,97.2500741482,11,4.4630900025,1.5,4
ref2_1_1_1_1,0.9339325601,0.915750742,237.663285971,219.262699842,13,3.661838913,1.4,5
ref2_1_1_1_1_1,0.9339325601,0.915750742,251.451708078,232.414242029,15,3.1566171646,1.3333333333,6
ref2_1_1_1_1_1_1,0.9339325601,0.915750742,249.896966934,230.72341013,15,3.1793221633,1.3333333333,6
ref2_1_1_1_1_1_2,0.9339325601,0.915750742,247.938672066,228.85178709,15,3.1649156014,1.3333333333,6
ref2_1_1_1_1_2,0.9282342111,0.9100523929,327.156993151,280.863424063,25,9.238354063,1.8,5
ref2_1_1_1_1_2_1,0.9282342111,0.9100523929,323.765353918,277.634266138,25,9.2059195519,1.8,5
ref2_1_1_1_1_2_2,0.9282342111,0.9100523929,326.303133011,280.229871988,25,9.1941682339,1.8,5
ref2_1_1_1_2,0.9282342111,0.9100523929,282.015190125,238.661393166,21,10.814710021,2,4
ref2_1_1_1_2_1,0.9282342111,0.9100523929,291.985324144,247.601775169,25,8.8563572407,1.8,5
ref2_1_1_1_2_1_1,0.9282342111,0.9100523929,291.713608027,246.645151138,25,8.9933060169,1.8,5
ref2_1_1_1_2_1_2,0.9282342111,0.9100523929,292.312327147,247.432426929,25,8.9555809498,1.8,5
ref2_1_1_1_2_2,0.9225358621,0.9043540439,420.865714073,306.61904192,41,28.5346900821,3,4
ref2_1_1_1_2_2_1,0.9225358621,0.9043540439,420.599770069,305.871629953,41,28.6550469995,3,4
ref2_1_1_1_2_2_2,0.9225358621,0.9043540439,419.730943918,305.323110104,41,28.5746793151,3,4
ref2_1_1_2,0.9282342111,0.9100523929,149.92505908,107.440849066,17,14.1317210197,2.3333333333,3
ref2_1_1_2_1,0.9282342111,0.9100523929,284.584102154,240.828763962,21,10.9149582386,2,4
ref2_1_1_2_1_1,0.9282342111,0.9100523929,324.222208977,279.373641014,25,8.9492229939,1.8,5
ref2_1_1_2_1_1_1,0.9282342111,0.9100523929,325.215082884,280.672809839,25,8.8879942417,1.8,5
ref2_1_1_2_1_1_2,0.9282342111,0.9100523929,324.957727909,280.204555035,25,8.9300735951,1.8,5
ref2_1_1_2_1_2,0.9237738168,0.9055919987,389.593147993,334.160166979,41,13.8313251138,3,4
ref2_1_1_2_1_2_1,0.9237738168,0.9055919987,394.898473978,339.359055996,41,13.8577640057,3,4
ref2_1_1_2_1_2_2,0.9237738168,0.9055919987,391.477670908,336.008376122,41,13.8405135274,3,4
ref2_1_1_2_2,0.9225358621,0.9043540439,369.455813169,258.737042904,33,36.8726362387,3.6666666667,3
ref2_1_1_2_2_1,0.9225358621,0.9043540439,424.6439991,311.677237034,41,28.2143137455,3,4
ref2_1_1_2_2_1_1,0.9225358621,0.9043540439,418.658643007,305.951947927,41,28.1495268941,3,4
ref2_1_1_2_2_1_2,0.9225358621,0.9043540439,422.526953936,309.483159065,41,28.2336782217,3,4
ref2_1_1_2_2_2,0.9180754678,0.8998936496,512.113933802,371.516985178,65,46.8273213704,6.3333333333,3
ref2_1_1_2_2_2_1,0.9180754678,0.8998936496,516.521356106,374.158386946,65,47.4162509441,6.3333333333,3
ref2_1_1_2_2_2_2,0.9180754678,0.8998936496,514.95420599,374.060564995,65,46.92629234,6.3333333333,3
ref2_1_2,0.9294721659,0.9112903477,69.8397572041,49.5027859211,13,10.1268290281,3,2
ref2_1_2_1,0.9294721659,0.9112903477,136.604995966,114.981362104,17,7.1779097716,2.3333333333,3
ref2_1_2_1_1,0.9294721659,0.9112903477,278.127064943,256.448462963,21,5.395365715,2,4
ref2_1_2_1_1_1,0.9294721659,0.9112903477,298.490055084,276.199517965,25,4.4373841763,1.8,5
ref2_1_2_1_1_1_1,0.9294721659,0.9112903477,300.877880096,278.391271114,25,4.4763161659,1.8,5
ref2_1_2_1_1_1_2,0.9294721659,0.9112903477,298.365963936,275.894323826,25,4.4736076355,1.8,5
ref2_1_2_1_1_2,0.9237738168,0.9055919987,397.700977087,342.867135048,41,13.6810307503,3,4
ref2_1_2_1_1_2_1,0.9237738168,0.9055919987,400.495099068,345.39557004,41,13.7472249866,3,4
ref2_1_2_1_1_2_2,0.9237738168,0.9055919987,397.967147827,343.250298023,41,13.6517332196,3,4
ref2_1_2_1_2,0.9237738168,0.9055919987,335.053057909,281.873523951,33,17.692478021,3.6666666667,3
ref2_1_2_1_2_1,0.9237738168,0.9055919987,357.449479818,302.608654976,41,13.683044672,3,4
ref2_1_2_1_2_1_1,0.9237738168,0.9055919987,358.795181036,303.992650986,41,13.6729682088,3,4
ref2_1_2_1_2_1_2,0.9237738168,0.9055919987,362.879358053,307.740718842,41,13.7574564219,3,4
ref2_1_2_1_2_2,0.9180754678,0.8998936496,529.38477993,386.733436108,65,47.5110186736,6.3333333333,3
ref2_1_2_1_2_2_1,0.9180754678,0.8998936496,524.554090977,383.976838112,65,46.8199023406,6.3333333333,3
ref2_1_2_1_2_2_2,0.9180754678,0.8998936496,526.975558996,385.93860817,65,46.9731633663,6.3333333333,3
ref2_1_2_2,0.9237738168,0.9055919987,179.728458166,127.961320877,25,25.8353859186,5,2
ref2_1_2_2_1,0.9237738168,0.9055919987,338.899842024,285.022436142,33,17.9247386456,3.6666666667,3
ref2_1_2_2_1_1,0.9237738168,0.9055919987,393.835229158,339.569778919,41,13.5381297469,3,4
ref2_1_2_2_1_1_1,0.9237738168,0.9055919987,393.006667137,338.833528996,41,13.5155057311,3,4
ref2_1_2_2_1_1_2,0.9237738168,0.9055919987,392.250577927,337.885937929,41,13.563447237,3,4
ref2_1_2_2_1_2,0.9193134226,0.9011316044,482.934687853,411.647377968,65,23.7232010365,6.3333333333,3
ref2_1_2_2_1_2_1,0.9193134226,0.9011316044,479.917967081,409.675972223,65,23.3743196328,6.3333333333,3
ref2_1_2_2_1_2_2,0.9193134226,0.9011316044,478.256647825,407.903019905,65,23.411863327,6.3333333333,3
ref2_1_2_2_2,0.9180754678,0.8998936496,451.972626925,316.184696913,49,67.8378399611,9,2
ref2_1_2_2_2_1,0.9180754678,0.8998936496,508.595593929,369.064564228,65,46.4711290201,6.3333333333,3
ref2_1_2_2_2_1_1,0.9180754678,0.8998936496,511.569679022,372.740026951,65,46.2373749415,6.3333333333,3
ref2_1_2_2_2_1_2,0.9180754678,0.8998936496,514.219820023,377.362169981,65,45.5797599157,6.3333333333,3
ref2_1_2_2_2_2,0.9136150735,0.8954332554,644.221053123,461.484971046,97,91.3018155098,17,2
ref2_1_2_2_2_2_1,0.9136150735,0.8954332554,639.588870049,456.652379036,97,91.403725028,17,2
ref2_1_2_2_2_2_2,0.9136150735,0.8954332554,640.669492006,458.701166868,97,90.9193714857,17,2
ref2_2,0.9294721659,0.9112903477,62.816808939,43.0108618736,9,19.7307598591,5,1
ref2_2_1,0.9294721659,0.9112903477,69.2630121708,49.0794181824,13,10.0507400036,3,2
ref2_2_1_1,0.9294721659,0.9112903477,136.704131126,115.917858839,17,6.8990879059,2.3333333333,3
ref2_2_1_1_1,0.9294721659,0.9112903477,275.197463036,253.60208106,21,5.3750578165,2,4
ref2_2_1_1_1_1,0.9294721659,0.9112903477,289.465031862,267.253983974,25,4.4215261936,1.8,5
ref2_2_1_1_1_1_1,0.9294721659,0.9112903477,288.925377846,266.59082818,25,4.4464137554,1.8,5
ref2_2_1_1_1_1_2,0.9294721659,0.9112903477,287.92098999,265.649914026,25,4.4337419987,1.8,5
ref2_2_1_1_1_2,0.9237738168,0.9055919987,389.425605059,334.436586142,41,13.7204347253,3,4
ref2_2_1_1_1_2_1,0.9237738168,0.9055919987,388.377626896,333.58770895,41,13.6707425117,3,4
ref2_2_1_1_1_2_2,0.9237738168,0.9055919987,389.444385052,334.12480402,41,13.8030762076,3,4
ref2_2_1_1_2,0.9237738168,0.9055919987,330.166553974,277.202597857,33,17.6210866769,3.6666666667,3
ref2_2_1_1_2_1,0.9237738168,0.9055919987,356.020141125,301.551101923,41,13.5903910398,3,4
ref2_2_1_1_2_1_1,0.9237738168,0.9055919987,356.56112504,302.044703007,41,13.6021475196,3,4
ref2_2_1_1_2_1_2,0.9237738168,0.9055919987,358.016802073,303.710823059,41,13.5496262908,3,4
ref2_2_1_1_2_2,0.9180754678,0.8998936496,511.526209116,373.465401173,65,45.981915315,6.3333333333,3
ref2_2_1_1_2_2_1,0.9180754678,0.8998936496,510.63833499,371.539285898,65,46.3280669053,6.3333333333,3
ref2_2_1_1_2_2_2,0.9180754678,0.8998936496,511.815618038,372.195281029,65,46.5017553965,6.3333333333,3
ref2_2_1_2,0.9237738168,0.9055919987,178.517221928,127.410136938,25,25.5071320534,5,2
ref2_2_1_2_1,0.9237738168,0.9055919987,332.031797886,279.477771997,33,17.4846376578,3.6666666667,3
ref2_2_1_2_1_1,0.9237738168,0.9055919987,399.440239906,340.800441027,41,14.6317465305,3,4
ref2_2_1_2_1_1_1,0.9237738168,0.9055919987,394.280627012,340.411870956,41,13.4400430322,3,4
ref2_2_1_2_1_1_2,0.9237738168,0.9055919987,396.588595152,342.406562805,41,13.5181514025,3,4
ref2_2_1_2_1_2,0.9193134226,0.9011316044,471.31607604,401.744523048,65,23.1510413488,6.3333333333,3
ref2_2_1_2_1_2_1,0.9193134226,0.9011316044,472.766993999,403.265148163,65,23.1277413368,6.3333333333,3
ref2_2_1_2_1_2_2,0.9193134226,0.9011316044,474.942651033,405.129230022,65,23.2309953372,6.3333333333,3
ref2_2_1_2_2,0.9180754678,0.8998936496,445.763406038,312.656516075,49,66.5004029274,9,2
ref2_2_1_2_2_1,0.9180754678,0.8998936496,505.967247009,370.653933048,65,45.0662819544,6.3333333333,3
ref2_2_1_2_2_1_1,0.9180754678,0.8998936496,505.467275858,369.849689007,65,45.1674046516,6.3333333333,3
ref2_2_1_2_2_1_2,0.9180754678,0.8998936496,504.63305521,368.859009027,65,45.2197265625,6.3333333333,3
ref2_2_1_2_2_2,0.9136150735,0.8954332554,639.183451891,456.890213966,97,91.0837540627,17,2
ref2_2_1_2_2_2_1,0.9136150735,0.8954332554,639.409752846,456.605793953,97,91.3387225866,17,2
ref2_2_1_2_2_2_2,0.9136150735,0.8954332554,638.02788806,456.060265064,97,90.9210330248,17,2
ref2_2_2,0.9262926476,0.9081108294,80.2327489853,57.4167089462,17,22.7298140526,9,1
ref2_2_2_1,0.9262926476,0.9081108294,165.427000046,141.494390011,25,11.9198960066,5,2
ref2_2_2_1_1,0.9262926476,0.9081108294,325.895375013,301.483333111,33,8.1026896636,3.6666666667,3
ref2_2_2_1_1_1,0.9262926476,0.9081108294,346.58977294,321.43832612,41,6.2609530091,3,4
ref2_2_2_1_1_1_1,0.9262926476,0.9081108294,347.161350965,322.040815115,41,6.2533697486,3,4
ref2_2_2_1_1_1_2,0.9262926476,0.9081108294,347.512375116,322.181447983,41,6.3057014346,3,4
ref2_2_2_1_1_2,0.9205942985,0.9024124803,472.078670979,406.602054119,65,21.7862679958,6.3333333333,3
ref2_2_2_1_1_2_1,0.9205942985,0.9024124803,468.430346966,401.940294027,65,22.1252535979,6.3333333333,3
ref2_2_2_1_1_2_2,0.9205942985,0.9024124803,475.921725035,410.234957933,65,21.8575743834,6.3333333333,3
ref2_2_2_1_2,0.9205942985,0.9024124803,400.563436985,336.548830032,49,31.9541205168,9,2
ref2_2_2_1_2_1,0.9205942985,0.9024124803,421.550242901,355.833814144,65,21.8673876127,6.3333333333,3
ref2_2_2_1_2_1_1,0.9205942985,0.9024124803,420.880496979,355.114073992,65,21.8840661049,6.3333333333,3
ref2_2_2_1_2_1_2,0.9205942985,0.9024124803,421.298450947,355.418211222,65,21.9218683243,6.3333333333,3
ref2_2_2_1_2_2,0.9148959495,0.8967141313,620.013121128,454.394089937,97,82.7463494539,17,2
ref2_2_2_1_2_2_1,0.9148959495,0.8967141313,620.472539902,455.265526056,97,82.5399795771,17,2
ref2_2_2_1_2_2_2,0.9148959495,0.8967141313,638.774564028,473.548290968,97,82.5503028631,17,2
ref2_2_2_2,0.9205942985,0.9024124803,216.683959007,154.443203926,33,62.1429548264,17,1
ref2_2_2_2_1,0.9205942985,0.9024124803,402.365122795,338.15334487,49,32.0531510115,9,2
ref2_2_2_2_1_1,0.9205942985,0.9024124803,466.025696039,400.870558023,65,21.6804072857,6.3333333333,3
ref2_2_2_2_1_1_1,0.9205942985,0.9024124803,465.921565056,399.741221905,65,22.021961689,6.3333333333,3
ref2_2_2_2_1_1_2,0.9205942985,0.9024124803,465.228740931,400.719619036,65,21.4649840991,6.3333333333,3
ref2_2_2_2_1_2,0.9161339042,0.8979520861,578.081482887,493.336464882,97,42.3093999624,17,2
ref2_2_2_2_1_2_1,0.9161339042,0.8979520861,579.904658079,494.788819075,97,42.4953315258,17,2
ref2_2_2_2_1_2_2,0.9161339042,0.8979520861,577.723353863,493.350987196,97,42.1232485771,17,2
ref2_2_2_2_2,0.9148959495,0.8967141313,538.862726927,375.078686953,65,163.670479059,33,1
ref2_2_2_2_2_1,0.9148959495,0.8967141313,623.217482805,459.537132025,97,81.7760589123,17,2
ref2_2_2_2_2_1_1,0.9148959495,0.8967141313,618.255594015,453.896490097,97,82.1160736084,17,2
ref2_2_2_2_2_1_2,0.9148959495,0.8967141313,624.684197903,460.438112974,97,82.0593700409,17,2
ref2_2_2_2_2_2,0.9104355552,0.892253737,5198.73071909,2671.75149202,129,2526.33186507,65,1
ref2_2_2_2_2_2_1,0.9104355552,0.892253737,5494.95025396,2885.65275097,129,2608.23586798,65,1
ref2_2_2_2_2_2_2,0.9104355552,0.892253737,5647.883497,2990.12498403,129,2656.77391005,65,1