results_amba08.csv

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_2;0.9282342111;0.9100523929;329.141887188;283.515157938;25;9.1045837879;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_2;0.9225358621;0.9043540439;430.127354145;315.742684126;41;28.5690191984;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_2;0.9237738168;0.9055919987;392.208821058;334.993806839;41;14.276412189;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_2;0.9180754678;0.8998936496;514.020107031;372.175511122;65;47.2429733276;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_2;0.9237738168;0.9055919987;399.305181026;344.13292098;41;13.7655024529;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_2;0.9180754678;0.8998936496;519.955322027;379.512603045;65;46.7757330736;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_2;0.9193134226;0.9011316044;475.230107069;405.511318922;65;23.2001766364;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_2;0.9136150735;0.8954332554;637.085610867;456.119658947;97;90.4180486202;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_2;0.9282342111;0.9100523929;327.156993151;280.863424063;25;9.238354063;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_2;0.9225358621;0.9043540439;420.865714073;306.61904192;41;28.5346900821;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_2;0.9237738168;0.9055919987;389.593147993;334.160166979;41;13.8313251138;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_2;0.9180754678;0.8998936496;512.113933802;371.516985178;65;46.8273213704;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_2;0.9237738168;0.9055919987;397.700977087;342.867135048;41;13.6810307503;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_2;0.9180754678;0.8998936496;529.38477993;386.733436108;65;47.5110186736;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_2;0.9193134226;0.9011316044;482.934687853;411.647377968;65;23.7232010365;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_2;0.9136150735;0.8954332554;644.221053123;461.484971046;97;91.3018155098;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_2;0.9237738168;0.9055919987;389.425605059;334.436586142;41;13.7204347253;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_2;0.9180754678;0.8998936496;511.526209116;373.465401173;65;45.981915315;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_2;0.9193134226;0.9011316044;471.31607604;401.744523048;65;23.1510413488;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_2;0.9136150735;0.8954332554;639.183451891;456.890213966;97;91.0837540627;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_2;0.9205942985;0.9024124803;472.078670979;406.602054119;65;21.7862679958;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_2;0.9148959495;0.8967141313;620.013121128;454.394089937;97;82.7463494539;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_2;0.9161339042;0.8979520861;578.081482887;493.336464882;97;42.3093999624;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_2;0.9104355552;0.892253737;5198.73071909;2671.75149202;129;2526.33186507;65;1