Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
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