ntime_Complexity_Innermost_Rewriting/AG01/#3.1.xml
|
n^1/n^2
6.5 /
2.5
(3)
|
n^1/n^1
1.1 /
0.4
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.10.xml
|
n^1/?
82.2 /
26.4
(2)
|
n^1/?
84.1 /
22.1
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.12.xml
|
n^3/n^3
10.4 /
4.1
(4)
|
n^1/n^3
73.9 /
22.0
(3)
|
time_Complexity_Innermost_Rewriting/AG01/#3.13.xml
|
n^1/?
51.8 /
27.2
(2)
|
n^1/?
84.0 /
22.1
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.15.xml
|
n^1/n^2
9.1 /
3.8
(3)
|
n^1/n^1
18.2 /
7.1
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.16.xml
|
n^2/n^3
10.5 /
4.3
(4)
|
n^1/n^3
20.1 /
6.3
(3)
|
time_Complexity_Innermost_Rewriting/AG01/#3.17.xml
|
n^1/n^2
9.4 /
3.8
(4)
|
n^1/n^2
42.3 /
22.7
(4)
|
ime_Complexity_Innermost_Rewriting/AG01/#3.17a.xml
|
n^1/n^2
49.5 /
8.7
(4)
|
n^1/n^2
54.5 /
22.1
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.18.xml
|
n^1/?
48.2 /
26.7
(2)
|
n^1/?
53.2 /
22.0
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.19.xml
|
n^1/?
54.1 /
26.4
(2)
|
n^1/?
56.4 /
18.2
(2)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.2.xml
|
n^1/n^2
10.7 /
3.8
(4)
|
n^1/n^2
16.6 /
9.1
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.22.xml
|
n^2/n^2
8.1 /
3.7
(4)
|
n^1/n^2
4.5 /
1.5
(3)
|
time_Complexity_Innermost_Rewriting/AG01/#3.23.xml
|
n^1/n^1
4.9 /
2.4
(4)
|
n^1/n^1
0.3 /
0.1
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.24.xml
|
n^1/n^1
4.3 /
2.2
(4)
|
n^1/n^1
2.0 /
0.6
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.26.xml
|
n^1/?
35.7 /
28.4
(2)
|
n^1/?
46.0 /
22.0
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.29.xml
|
?/n^0
3.8 /
2.0
(2)
|
?/n^0
0.1 /
0.0
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.31.xml
|
exp/?
11.9 /
8.2
(2)
|
exp/?
10.3 /
3.3
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.33.xml
|
?/n^0
3.9 /
1.8
(2)
|
?/n^0
0.6 /
0.3
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.35.xml
|
n^1/n^1
4.3 /
2.3
(4)
|
?/n^1
0.7 /
0.3
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.36.xml
|
n^1/?
76.2 /
26.5
(2)
|
n^1/?
53.8 /
22.0
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.37.xml
|
n^1/n^1
9.0 /
4.1
(4)
|
?/n^1
2.4 /
1.9
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.38.xml
|
exp/?
5.8 /
2.4
(2)
|
n^1/?
76.2 /
22.0
(1)
|
time_Complexity_Innermost_Rewriting/AG01/#3.39.xml
|
n^1/n^2
14.3 /
6.1
(3)
|
n^1/n^1
17.1 /
5.9
(4)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.4.xml
|
n^1/?
47.9 /
26.4
(2)
|
n^1/?
38.7 /
11.5
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.40.xml
|
n^1/n^2
15.8 /
6.5
(4)
|
n^1/n^2
53.2 /
22.0
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.41.xml
|
n^1/n^1
15.7 /
8.7
(4)
|
?/n^2
5.8 /
2.2
(1)
|
time_Complexity_Innermost_Rewriting/AG01/#3.42.xml
|
n^1/n^2
8.8 /
4.6
(4)
|
n^1/n^2
26.6 /
8.9
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.47.xml
|
n^1/n^1
13.5 /
4.1
(4)
|
n^1/n^2
6.1 /
1.6
(3)
|
time_Complexity_Innermost_Rewriting/AG01/#3.48.xml
|
n^1/n^2
5.7 /
2.7
(4)
|
n^1/n^2
40.5 /
22.1
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.49.xml
|
n^1/?
68.5 /
26.4
(2)
|
n^1/?
74.0 /
22.1
(2)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.5.xml
|
n^1/n^2
10.1 /
3.6
(4)
|
n^1/n^2
15.5 /
5.1
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.51.xml
|
n^1/n^1
6.3 /
3.8
(4)
|
n^1/n^1
2.2 /
0.9
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.52.xml
|
n^1/n^1
7.8 /
3.8
(4)
|
n^1/n^1
1.2 /
0.3
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.53.xml
|
n^3/n^3
23.0 /
7.3
(4)
|
n^1/n^3
73.6 /
22.1
(3)
|
ime_Complexity_Innermost_Rewriting/AG01/#3.53a.xml
|
?/n^0
4.3 /
2.7
(2)
|
?/n^0
0.2 /
0.1
(2)
|
ime_Complexity_Innermost_Rewriting/AG01/#3.53b.xml
|
n^1/n^1
8.3 /
3.4
(4)
|
n^1/n^1
1.2 /
0.4
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.54.xml
|
n^1/?
60.1 /
26.4
(2)
|
n^1/?
54.5 /
22.1
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.55.xml
|
n^2/?
43.7 /
30.1
(2)
|
n^1/?
74.3 /
22.3
(1)
|
time_Complexity_Innermost_Rewriting/AG01/#3.56.xml
|
n^1/n^1
8.0 /
3.1
(4)
|
n^1/n^1
2.8 /
0.8
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.57.xml
|
n^1/?
51.8 /
26.4
(2)
|
n^1/?
72.3 /
22.0
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.5a.xml
|
n^1/n^2
20.9 /
8.0
(4)
|
n^1/n^2
43.8 /
16.8
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.5b.xml
|
n^1/n^3
20.2 /
6.4
(4)
|
n^1/n^3
67.9 /
22.1
(4)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.6.xml
|
n^1/n^2
26.6 /
8.5
(4)
|
n^1/n^2
46.1 /
17.0
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.6a.xml
|
n^1/n^2
16.1 /
5.2
(4)
|
n^1/n^2
22.9 /
7.0
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.6b.xml
|
n^1/n^3
33.1 /
14.6
(4)
|
n^1/n^3
65.2 /
22.1
(4)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.7.xml
|
n^1/n^2
19.8 /
9.9
(3)
|
n^1/n^1
15.7 /
7.1
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.8a.xml
|
n^1/n^2
18.5 /
5.7
(4)
|
n^1/n^2
24.3 /
10.3
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.8b.xml
|
n^1/?
62.8 /
26.4
(2)
|
n^1/?
85.2 /
22.1
(2)
|
ime_Complexity_Innermost_Rewriting/AG01/#4.30c.xml
|
n^1/?
74.8 /
26.5
(2)
|
n^1/?
82.7 /
22.0
(2)
|
exity_Innermost_Rewriting/AProVE_04/AAECC-ring.xml
|
n^1/?
84.5 /
28.9
(2)
|
n^1/?
72.9 /
23.0
(2)
|
Complexity_Innermost_Rewriting/AProVE_04/AAECC.xml
|
n^1/?
76.5 /
27.9
(2)
|
n^1/?
71.1 /
22.3
(2)
|
mplexity_Innermost_Rewriting/AProVE_04/IJCAR_1.xml
|
n^1/n^1
15.9 /
6.3
(4)
|
n^1/n^1
32.7 /
22.0
(4)
|
plexity_Innermost_Rewriting/AProVE_04/IJCAR_12.xml
|
n^2/n^2
13.4 /
5.9
(4)
|
n^1/n^2
15.6 /
6.4
(3)
|
plexity_Innermost_Rewriting/AProVE_04/IJCAR_18.xml
|
n^2/?
69.5 /
26.5
(2)
|
n^1/?
70.3 /
22.0
(1)
|
plexity_Innermost_Rewriting/AProVE_04/IJCAR_26.xml
|
n^3/?
72.0 /
28.2
(2)
|
n^1/?
76.2 /
22.0
(1)
|
lexity_Innermost_Rewriting/AProVE_04/IJCAR_26a.xml
|
n^3/?
67.8 /
26.9
(2)
|
n^1/?
70.9 /
22.1
(1)
|
plexity_Innermost_Rewriting/AProVE_04/JFP_Ex31.xml
|
n^1/?
68.4 /
26.8
(2)
|
n^1/?
85.5 /
22.0
(2)
|
plexity_Innermost_Rewriting/AProVE_04/JFP_Ex51.xml
|
n^1/?
66.9 /
26.4
(2)
|
n^1/n^1
72.9 /
22.7
(4)
|
ity_Innermost_Rewriting/AProVE_04/LPAR_intlist.xml
|
n^1/?
56.9 /
26.4
(2)
|
n^1/?
87.0 /
22.0
(2)
|
xity_Innermost_Rewriting/AProVE_04/Liveness6.1.xml
|
n^1/?
49.2 /
26.4
(2)
|
n^1/?
86.9 /
22.1
(2)
|
xity_Innermost_Rewriting/AProVE_04/Liveness6.2.xml
|
n^1/?
51.3 /
26.6
(2)
|
n^1/n^2
83.5 /
22.4
(4)
|
xity_Innermost_Rewriting/AProVE_04/Liveness6.3.xml
|
n^1/n^1
25.9 /
14.3
(4)
|
n^1/n^1
12.5 /
3.3
(4)
|
xity_Innermost_Rewriting/AProVE_04/Liveness6.4.xml
|
n^1/?
51.6 /
26.5
(2)
|
n^1/?
88.0 /
22.5
(2)
|
lexity_Innermost_Rewriting/AProVE_04/Liveness8.xml
|
n^1/n^1
4.7 /
2.1
(4)
|
n^1/n^1
86.0 /
22.0
(4)
|
ity_Innermost_Rewriting/AProVE_04/Liveness_WRS.xml
|
n^1/n^1
4.6 /
2.2
(4)
|
n^1/n^1
93.6 /
23.9
(4)
|
e_Complexity_Innermost_Rewriting/AProVE_04/fac.xml
|
n^2/?
62.5 /
26.4
(2)
|
n^1/?
73.4 /
22.2
(1)
|
_Complexity_Innermost_Rewriting/AProVE_04/rta1.xml
|
n^1/?
71.5 /
26.5
(2)
|
n^1/?
67.2 /
22.1
(2)
|
_Complexity_Innermost_Rewriting/AProVE_04/rta2.xml
|
n^1/?
13.1 /
4.7
(2)
|
n^1/?
5.6 /
2.3
(2)
|
_Complexity_Innermost_Rewriting/AProVE_04/rta3.xml
|
n^1/?
54.7 /
26.7
(2)
|
n^1/?
20.3 /
6.1
(2)
|
_Innermost_Rewriting/AProVE_06/div_notCeTermin.xml
|
n^1/?
68.7 /
26.4
(2)
|
n^1/?
79.2 /
22.0
(2)
|
ty_Innermost_Rewriting/AProVE_06/div_notTermin.xml
|
n^1/?
82.2 /
26.6
(2)
|
n^1/?
80.2 /
22.0
(2)
|
exity_Innermost_Rewriting/AProVE_06/factorial1.xml
|
n^4/?
69.2 /
26.4
(2)
|
n^1/?
75.9 /
22.0
(1)
|
exity_Innermost_Rewriting/AProVE_06/factorial2.xml
|
n^2/?
81.0 /
26.8
(2)
|
n^1/?
65.0 /
19.5
(1)
|
plexity_Innermost_Rewriting/AProVE_06/identity.xml
|
n^1/?
67.5 /
26.3
(2)
|
n^1/?
75.2 /
22.1
(2)
|
lexity_Innermost_Rewriting/AProVE_06/logarithm.xml
|
n^1/?
83.7 /
26.7
(2)
|
n^1/?
76.1 /
22.0
(2)
|
omplexity_Innermost_Rewriting/AProVE_06/modulo.xml
|
n^1/?
70.5 /
26.4
(2)
|
n^1/?
58.3 /
20.1
(2)
|
mplexity_Innermost_Rewriting/AProVE_06/nonterm.xml
|
exp/?
8.1 /
3.2
(2)
|
n^1/?
53.9 /
22.0
(1)
|
lexity_Innermost_Rewriting/AProVE_06/quicksort.xml
|
n^2/?
80.1 /
26.4
(2)
|
n^1/?
85.8 /
22.1
(1)
|
_Complexity_Innermost_Rewriting/AProVE_06/quot.xml
|
n^1/?
68.9 /
26.4
(2)
|
n^1/?
85.0 /
22.0
(2)
|
exity_Innermost_Rewriting/AProVE_06/sizeChange.xml
|
n^1/n^2
14.1 /
4.5
(4)
|
n^1/?
37.1 /
22.1
(2)
|
Complexity_Innermost_Rewriting/AProVE_06/tower.xml
|
n^3/?
70.9 /
26.5
(2)
|
n^1/?
80.3 /
22.1
(1)
|
Innermost_Rewriting/AProVE_06/tower_sizeChange.xml
|
n^1/?
71.2 /
26.5
(2)
|
n^1/?
83.2 /
22.0
(2)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci01.xml
|
n^1/n^1
62.7 /
20.1
(4)
|
n^1/?
73.0 /
22.3
(2)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci02.xml
|
n^3/?
58.7 /
27.4
(2)
|
n^1/?
71.1 /
22.1
(1)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci03.xml
|
?/n^0
3.3 /
1.7
(2)
|
?/n^0
0.1 /
0.0
(2)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci04.xml
|
n^1/?
67.1 /
26.6
(2)
|
n^1/?
49.7 /
22.9
(2)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci05.xml
|
n^1/?
75.9 /
26.5
(2)
|
n^1/?
71.5 /
22.1
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto01.xml
|
n^1/?
67.1 /
26.8
(2)
|
n^1/?
59.8 /
22.3
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto02.xml
|
n^1/?
57.9 /
26.5
(2)
|
n^1/?
81.0 /
22.0
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto03.xml
|
n^1/?
52.0 /
26.6
(2)
|
n^1/?
54.3 /
19.6
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto04.xml
|
exp/?
18.6 /
6.2
(2)
|
exp/?
69.7 /
22.2
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto05.xml
|
n^1/n^2
29.2 /
11.4
(4)
|
n^1/?
67.8 /
22.1
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto06.xml
|
n^1/?
67.7 /
26.7
(2)
|
n^1/?
74.6 /
22.0
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto07.xml
|
n^1/?
54.0 /
26.4
(2)
|
n^1/?
57.5 /
22.0
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto08.xml
|
n^1/?
63.1 /
26.5
(2)
|
n^1/?
74.9 /
22.5
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto09.xml
|
n^1/?
69.1 /
26.4
(2)
|
n^1/?
73.5 /
22.0
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto10.xml
|
n^1/?
77.3 /
26.4
(2)
|
n^1/?
63.0 /
22.1
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto11.xml
|
n^1/?
66.2 /
26.5
(2)
|
n^1/?
58.8 /
22.3
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto12.xml
|
n^2/?
70.9 /
26.5
(2)
|
n^1/?
76.7 /
22.0
(1)
|
omplexity_Innermost_Rewriting/AProVE_07/otto13.xml
|
n^1/?
60.1 /
26.4
(2)
|
n^1/?
62.6 /
22.3
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann01.xml
|
n^1/?
69.2 /
26.4
(2)
|
n^1/?
75.6 /
22.0
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann02.xml
|
n^1/?
60.9 /
27.1
(2)
|
n^1/?
70.1 /
22.2
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann03.xml
|
n^3/?
70.0 /
26.6
(2)
|
n^1/?
58.1 /
22.4
(1)
|
exity_Innermost_Rewriting/AProVE_07/thiemann04.xml
|
n^1/?
78.1 /
26.4
(2)
|
n^1/?
85.5 /
22.2
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann05.xml
|
n^1/?
72.0 /
26.4
(2)
|
n^1/?
73.1 /
22.0
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann06.xml
|
n^1/?
78.3 /
26.7
(2)
|
n^1/?
61.7 /
22.3
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann07.xml
|
n^2/?
72.7 /
26.5
(2)
|
n^1/?
71.9 /
22.6
(1)
|
exity_Innermost_Rewriting/AProVE_07/thiemann08.xml
|
exp/?
6.2 /
3.8
(2)
|
n^1/?
39.9 /
22.4
(1)
|
exity_Innermost_Rewriting/AProVE_07/thiemann09.xml
|
n^1/?
79.2 /
26.5
(2)
|
n^1/?
71.6 /
22.0
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann10.xml
|
n^1/?
70.1 /
26.4
(2)
|
n^1/?
86.0 /
22.1
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann11.xml
|
n^1/?
69.2 /
26.6
(2)
|
n^1/?
68.3 /
22.0
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann12.xml
|
n^1/?
68.0 /
26.5
(2)
|
n^1/?
69.5 /
22.1
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann13.xml
|
n^1/?
69.3 /
26.7
(2)
|
n^1/?
71.0 /
22.1
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann14.xml
|
n^2/?
75.5 /
26.6
(2)
|
n^1/?
82.6 /
22.2
(1)
|
exity_Innermost_Rewriting/AProVE_07/thiemann15.xml
|
n^1/?
61.0 /
26.4
(2)
|
n^1/?
66.6 /
22.1
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann16.xml
|
n^1/?
70.8 /
26.6
(2)
|
n^1/?
72.0 /
22.6
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann17.xml
|
n^2/?
74.0 /
26.5
(2)
|
n^1/?
59.3 /
22.3
(1)
|
exity_Innermost_Rewriting/AProVE_07/thiemann18.xml
|
n^1/?
79.0 /
26.5
(2)
|
n^1/?
85.3 /
22.2
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann19.xml
|
n^1/?
63.5 /
26.7
(2)
|
n^1/?
68.6 /
22.1
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann20.xml
|
n^1/?
54.9 /
27.2
(2)
|
n^1/?
86.8 /
22.2
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann21.xml
|
n^1/?
69.9 /
26.7
(2)
|
n^1/?
82.7 /
22.2
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann22.xml
|
n^1/?
59.7 /
26.5
(2)
|
n^1/?
71.5 /
22.1
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann23.xml
|
n^1/?
52.4 /
26.4
(2)
|
n^1/?
44.2 /
22.1
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann24.xml
|
n^2/?
62.3 /
26.6
(2)
|
n^1/?
71.2 /
22.1
(1)
|
exity_Innermost_Rewriting/AProVE_07/thiemann25.xml
|
n^1/?
58.2 /
26.5
(2)
|
n^1/?
50.9 /
16.9
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann26.xml
|
n^1/?
67.0 /
26.4
(2)
|
n^1/?
60.0 /
22.0
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann27.xml
|
n^1/?
55.1 /
26.4
(2)
|
n^1/?
49.3 /
17.2
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann28.xml
|
n^1/?
73.9 /
26.5
(2)
|
n^1/?
75.2 /
22.2
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann29.xml
|
n^2/?
44.7 /
29.3
(2)
|
n^1/?
84.3 /
22.1
(1)
|
exity_Innermost_Rewriting/AProVE_07/thiemann30.xml
|
n^1/?
54.7 /
28.1
(2)
|
n^1/?
62.3 /
22.4
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann31.xml
|
n^1/?
76.6 /
26.4
(2)
|
n^1/?
72.6 /
22.1
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann32.xml
|
n^2/?
76.5 /
26.5
(2)
|
n^1/?
67.5 /
22.0
(1)
|
exity_Innermost_Rewriting/AProVE_07/thiemann33.xml
|
n^1/?
74.4 /
26.5
(2)
|
n^1/?
70.8 /
22.4
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann34.xml
|
n^1/?
70.8 /
26.6
(2)
|
n^1/?
71.4 /
22.1
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann36.xml
|
n^1/?
73.8 /
26.4
(2)
|
n^1/?
84.8 /
22.1
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann37.xml
|
n^1/?
56.0 /
26.5
(2)
|
n^1/?
76.8 /
22.0
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann38.xml
|
n^1/?
64.2 /
26.6
(2)
|
n^1/?
61.9 /
22.4
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann40.xml
|
n^1/n^2
10.1 /
4.3
(4)
|
.
21.7 /
9.5
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann41.xml
|
n^1/?
68.2 /
26.4
(2)
|
n^1/?
68.8 /
22.2
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe01.xml
|
n^1/?
72.6 /
26.6
(2)
|
n^1/?
71.2 /
22.4
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe02.xml
|
n^1/?
69.6 /
26.6
(2)
|
n^1/?
70.5 /
22.3
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe03.xml
|
n^1/?
70.9 /
26.7
(2)
|
n^1/?
69.8 /
22.1
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe05.xml
|
n^1/?
71.1 /
26.4
(2)
|
n^1/?
64.2 /
22.0
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe06.xml
|
n^1/?
101.7 /
30.1
(2)
|
n^1/?
64.3 /
22.0
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe07.xml
|
n^1/?
71.3 /
26.6
(2)
|
n^1/?
67.1 /
22.1
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe08.xml
|
n^1/?
72.8 /
26.5
(2)
|
n^1/?
66.0 /
22.0
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe09.xml
|
n^1/?
76.0 /
26.4
(2)
|
n^1/?
80.4 /
22.0
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe11.xml
|
n^1/?
74.1 /
26.4
(2)
|
n^1/?
70.6 /
22.2
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe12.xml
|
n^1/?
80.2 /
26.6
(2)
|
n^1/?
84.7 /
22.0
(2)
|
omplexity_Innermost_Rewriting/AProVE_08/id_inc.xml
|
n^1/?
63.0 /
26.6
(2)
|
n^1/?
76.0 /
22.2
(2)
|
e_Complexity_Innermost_Rewriting/AProVE_08/log.xml
|
n^1/?
53.4 /
26.7
(2)
|
n^1/?
80.0 /
22.0
(2)
|
nnermost_Rewriting/AProVE_08/parting01_reverse.xml
|
n^2/?
62.6 /
26.4
(2)
|
n^1/?
62.6 /
22.0
(1)
|
rmost_Rewriting/AProVE_08/parting02_doublelist.xml
|
n^1/?
63.2 /
26.7
(2)
|
n^1/?
61.8 /
22.0
(2)
|
nnermost_Rewriting/AProVE_08/parting03_minsort.xml
|
n^2/?
70.0 /
26.7
(2)
|
n^1/?
63.5 /
22.0
(1)
|
ermost_Rewriting/AProVE_08/parting04_maxsort_h.xml
|
n^2/?
69.0 /
26.7
(2)
|
n^1/?
71.2 /
22.1
(1)
|
nnermost_Rewriting/AProVE_08/parting05_maxsort.xml
|
n^2/?
65.1 /
26.5
(2)
|
n^1/?
64.9 /
22.0
(1)
|
Complexity_Innermost_Rewriting/AProVE_08/round.xml
|
n^1/?
57.7 /
26.6
(2)
|
n^1/?
51.9 /
22.0
(2)
|
ty_Innermost_Rewriting/AProVE_08/round_nonterm.xml
|
exp/?
10.5 /
4.6
(2)
|
n^1/?
85.2 /
22.0
(1)
|
ermost_Rewriting/AProVE_08/thiemann40_modified.xml
|
n^2/?
64.9 /
26.5
(2)
|
n^1/?
84.9 /
22.1
(1)
|
ty_Innermost_Rewriting/AProVE_09_Inductive/div.xml
|
n^1/?
71.2 /
26.5
(2)
|
n^1/?
82.0 /
22.1
(2)
|
nnermost_Rewriting/AProVE_09_Inductive/divhard.xml
|
n^1/?
91.3 /
27.7
(2)
|
n^1/?
85.1 /
22.2
(2)
|
ty_Innermost_Rewriting/AProVE_09_Inductive/gcd.xml
|
n^1/?
71.8 /
26.5
(2)
|
n^1/?
75.3 /
22.2
(2)
|
y_Innermost_Rewriting/AProVE_09_Inductive/gcd2.xml
|
n^1/?
76.4 /
26.5
(2)
|
n^1/?
77.8 /
22.0
(2)
|
nnermost_Rewriting/AProVE_09_Inductive/gcdhard.xml
|
n^1/?
66.0 /
26.4
(2)
|
n^1/?
73.2 /
22.0
(2)
|
ty_Innermost_Rewriting/AProVE_09_Inductive/log.xml
|
n^1/?
66.9 /
26.5
(2)
|
n^1/?
94.4 /
22.0
(2)
|
nnermost_Rewriting/AProVE_09_Inductive/maxsort.xml
|
n^2/?
59.0 /
26.8
(2)
|
n^1/?
66.3 /
22.0
(1)
|
Rewriting/AProVE_09_Inductive/maxsortcondition.xml
|
n^2/?
56.0 /
26.9
(2)
|
n^1/?
69.2 /
22.0
(1)
|
nnermost_Rewriting/AProVE_09_Inductive/minsort.xml
|
n^1/?
73.5 /
26.6
(2)
|
n^1/?
73.7 /
22.0
(2)
|
ty_Innermost_Rewriting/AProVE_09_Inductive/mod.xml
|
n^1/?
69.4 /
26.4
(2)
|
n^1/?
72.2 /
22.0
(2)
|
_Innermost_Rewriting/AProVE_09_Inductive/qsort.xml
|
n^1/?
56.3 /
26.4
(2)
|
n^1/?
86.9 /
22.4
(2)
|
ermost_Rewriting/AProVE_09_Inductive/qsortlast.xml
|
n^1/?
65.9 /
26.9
(2)
|
n^1/?
70.4 /
22.3
(2)
|
most_Rewriting/AProVE_09_Inductive/qsortmiddle.xml
|
n^1/?
76.3 /
26.5
(2)
|
n^1/?
77.1 /
22.1
(2)
|
nermost_Rewriting/AProVE_09_Inductive/zerolist.xml
|
n^1/?
71.5 /
26.4
(2)
|
n^1/?
70.6 /
22.1
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/1.xml
|
n^1/?
62.1 /
26.4
(2)
|
n^1/?
60.1 /
21.8
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/10.xml
|
n^1/?
71.9 /
26.4
(2)
|
n^1/?
80.2 /
22.2
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/11.xml
|
n^1/?
47.5 /
28.7
(2)
|
n^1/?
46.4 /
22.1
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/12.xml
|
n^1/?
64.9 /
26.4
(2)
|
n^1/?
50.6 /
22.1
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/13.xml
|
n^1/?
69.8 /
26.4
(2)
|
n^1/?
47.6 /
22.0
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/14.xml
|
n^1/?
69.7 /
26.5
(2)
|
n^1/?
46.7 /
22.5
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/15.xml
|
n^1/?
75.5 /
26.6
(2)
|
n^1/?
81.0 /
22.0
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/16.xml
|
n^1/?
71.8 /
26.4
(2)
|
n^1/?
80.6 /
22.0
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/17.xml
|
n^1/?
81.3 /
26.4
(2)
|
n^1/?
72.9 /
22.0
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/18.xml
|
n^1/?
77.9 /
26.5
(2)
|
n^1/?
86.5 /
22.0
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/19.xml
|
n^1/?
69.2 /
26.6
(2)
|
n^1/?
85.5 /
22.1
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/2.xml
|
n^1/?
64.6 /
26.4
(2)
|
n^1/?
68.5 /
22.0
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/20.xml
|
n^1/?
54.2 /
28.8
(2)
|
n^1/?
86.3 /
22.0
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/21.xml
|
n^1/?
76.3 /
26.4
(2)
|
n^1/?
87.7 /
22.1
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/22.xml
|
n^1/?
66.0 /
26.4
(2)
|
n^1/?
69.2 /
22.0
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/23.xml
|
n^1/?
60.2 /
27.1
(2)
|
n^1/?
56.0 /
22.5
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/24.xml
|
n^1/?
75.1 /
26.5
(2)
|
n^1/?
87.7 /
22.3
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/3.xml
|
n^1/?
57.4 /
26.4
(2)
|
n^1/?
77.3 /
22.0
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/4.xml
|
n^1/?
35.3 /
27.9
(2)
|
n^1/?
38.4 /
22.3
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/5.xml
|
n^1/?
58.3 /
26.9
(2)
|
n^1/?
86.5 /
22.1
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/6.xml
|
n^1/n^2
62.9 /
23.8
(4)
|
n^1/?
60.0 /
22.1
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/7.xml
|
n^1/?
62.8 /
27.1
(2)
|
n^1/?
61.3 /
22.0
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/8.xml
|
n^1/?
77.3 /
26.4
(2)
|
n^1/?
73.6 /
22.1
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/9.xml
|
n^1/?
77.1 /
26.4
(2)
|
n^1/?
86.3 /
22.1
(2)
|
plexity_Innermost_Rewriting/CiME_04/ack_prolog.xml
|
n^1/?
47.5 /
28.0
(2)
|
n^1/?
58.9 /
22.0
(2)
|
lexity_Innermost_Rewriting/CiME_04/append-hard.xml
|
n^1/n^1
14.7 /
4.4
(4)
|
.
24.5 /
11.9
(0)
|
exity_Innermost_Rewriting/CiME_04/append-wrong.xml
|
exp/?
8.8 /
3.9
(2)
|
.
57.7 /
22.0
(0)
|
_Complexity_Innermost_Rewriting/CiME_04/append.xml
|
n^1/n^1
5.2 /
2.5
(4)
|
?/n^1
2.0 /
0.8
(2)
|
ime_Complexity_Innermost_Rewriting/CiME_04/big.xml
|
n^1/?
49.4 /
30.1
(2)
|
n^1/?
67.8 /
22.8
(2)
|
me_Complexity_Innermost_Rewriting/CiME_04/dpqs.xml
|
?/n^0
4.1 /
2.4
(2)
|
?/n^0
2.1 /
0.8
(2)
|
mplexity_Innermost_Rewriting/CiME_04/fact-hard.xml
|
n^2/?
75.1 /
26.4
(2)
|
n^1/?
80.7 /
22.1
(1)
|
mplexity_Innermost_Rewriting/CiME_04/filliatre.xml
|
n^1/?
64.6 /
26.7
(2)
|
n^1/?
67.4 /
22.7
(2)
|
plexity_Innermost_Rewriting/CiME_04/filliatre2.xml
|
n^1/?
74.1 /
26.5
(2)
|
n^1/?
84.0 /
22.1
(2)
|
plexity_Innermost_Rewriting/CiME_04/filliatre3.xml
|
n^1/?
46.0 /
28.3
(2)
|
n^1/?
86.5 /
22.3
(2)
|
mplexity_Innermost_Rewriting/CiME_04/intersect.xml
|
n^1/n^2
45.0 /
23.0
(4)
|
n^1/?
84.1 /
22.0
(2)
|
t_Rewriting/CiME_04/list-sum-prod-assoc-append.xml
|
n^2/?
73.6 /
26.4
(2)
|
n^1/?
63.5 /
22.1
(1)
|
nnermost_Rewriting/CiME_04/list-sum-prod-assoc.xml
|
.
42.8 /
30.1
(0)
|
n^1/?
72.5 /
22.0
(2)
|
ting/CiME_04/list-sum-prod-bin-assoc-distr-app.xml
|
n^1/?
74.0 /
27.0
(2)
|
n^1/?
106.5 /
23.2
(2)
|
most_Rewriting/CiME_04/list-sum-prod-bin-assoc.xml
|
n^1/?
57.3 /
26.7
(2)
|
n^1/?
63.5 /
24.1
(2)
|
_Innermost_Rewriting/CiME_04/list-sum-prod-bin.xml
|
n^1/?
63.0 /
26.5
(2)
|
n^1/?
57.7 /
22.6
(2)
|
xity_Innermost_Rewriting/CiME_04/list-sum-prod.xml
|
n^2/?
60.6 /
26.7
(2)
|
n^1/?
54.4 /
21.7
(1)
|
me_Complexity_Innermost_Rewriting/CiME_04/log2.xml
|
n^1/?
70.5 /
27.1
(2)
|
n^1/?
74.0 /
22.6
(2)
|
ime_Complexity_Innermost_Rewriting/CiME_04/lse.xml
|
n^2/n^2
29.2 /
11.0
(4)
|
n^1/n^2
88.9 /
22.8
(3)
|
_Complexity_Innermost_Rewriting/CiME_04/maude2.xml
|
n^1/?
86.6 /
26.5
(2)
|
n^1/?
81.2 /
22.3
(2)
|
_Complexity_Innermost_Rewriting/CiME_04/mucrl1.xml
|
n^1/n^1
49.1 /
19.9
(4)
|
n^1/?
85.7 /
22.2
(2)
|
exity_Innermost_Rewriting/CiME_04/ternary-hard.xml
|
n^1/?
64.4 /
26.4
(2)
|
n^1/?
87.3 /
22.3
(2)
|
Complexity_Innermost_Rewriting/CiME_04/ternary.xml
|
n^1/?
53.8 /
27.2
(2)
|
n^1/?
61.8 /
23.5
(2)
|
me_Complexity_Innermost_Rewriting/CiME_04/tree.xml
|
n^1/?
71.6 /
26.7
(2)
|
n^1/?
58.5 /
22.8
(2)
|
untime_Complexity_Innermost_Rewriting/Der95/06.xml
|
n^1/n^1
4.8 /
3.1
(4)
|
n^1/n^1
0.5 /
0.2
(4)
|
untime_Complexity_Innermost_Rewriting/Der95/07.xml
|
n^1/n^1
5.1 /
2.5
(4)
|
n^1/n^1
0.8 /
0.3
(4)
|
untime_Complexity_Innermost_Rewriting/Der95/08.xml
|
n^1/n^3
15.8 /
9.9
(3)
|
n^1/n^1
5.8 /
1.7
(4)
|
untime_Complexity_Innermost_Rewriting/Der95/11.xml
|
n^1/n^1
14.1 /
4.5
(4)
|
n^1/n^2
71.5 /
22.6
(3)
|
untime_Complexity_Innermost_Rewriting/Der95/12.xml
|
n^1/?
55.9 /
29.9
(2)
|
n^1/?
30.1 /
10.3
(2)
|
untime_Complexity_Innermost_Rewriting/Der95/18.xml
|
n^1/n^1
5.6 /
2.4
(4)
|
n^1/n^1
0.3 /
0.1
(4)
|
untime_Complexity_Innermost_Rewriting/Der95/20.xml
|
n^1/?
55.6 /
27.1
(2)
|
n^1/?
46.4 /
21.8
(2)
|
untime_Complexity_Innermost_Rewriting/Der95/21.xml
|
n^2/?
51.7 /
26.5
(2)
|
n^1/?
86.3 /
22.1
(1)
|
untime_Complexity_Innermost_Rewriting/Der95/27.xml
|
n^1/n^1
5.4 /
2.4
(4)
|
?/n^1
0.7 /
0.2
(2)
|
untime_Complexity_Innermost_Rewriting/Der95/31.xml
|
n^1/n^1
6.8 /
3.2
(4)
|
n^1/n^1
7.0 /
2.3
(4)
|
untime_Complexity_Innermost_Rewriting/Der95/32.xml
|
n^1/n^2
19.8 /
7.6
(4)
|
n^1/n^2
35.6 /
15.7
(4)
|
untime_Complexity_Innermost_Rewriting/Der95/33.xml
|
n^1/n^2
23.1 /
8.9
(4)
|
n^1/?
76.0 /
22.0
(2)
|
lexity_Innermost_Rewriting/Endrullis_06/direct.xml
|
n^1/n^1
8.8 /
3.9
(4)
|
n^1/n^1
18.3 /
7.1
(4)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/ack.xml
|
n^1/?
62.7 /
26.4
(2)
|
n^1/?
60.0 /
22.0
(2)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/add.xml
|
n^1/n^1
4.9 /
2.6
(4)
|
n^1/n^1
1.0 /
0.3
(4)
|
rmost_Rewriting/Frederiksen_Glenstrup/addlists.xml
|
n^1/n^1
9.3 /
3.6
(4)
|
n^1/n^1
1.4 /
0.6
(4)
|
rmost_Rewriting/Frederiksen_Glenstrup/anchored.xml
|
n^1/n^1
5.1 /
2.5
(4)
|
n^1/n^1
0.6 /
0.2
(4)
|
nermost_Rewriting/Frederiksen_Glenstrup/append.xml
|
n^1/n^1
4.6 /
2.4
(4)
|
n^1/n^1
0.4 /
0.2
(4)
|
ost_Rewriting/Frederiksen_Glenstrup/assrewrite.xml
|
n^1/?
63.7 /
26.4
(2)
|
n^1/?
64.6 /
22.0
(2)
|
Innermost_Rewriting/Frederiksen_Glenstrup/badd.xml
|
exp/?
12.7 /
5.1
(2)
|
n^1/?
18.9 /
8.1
(1)
|
nnermost_Rewriting/Frederiksen_Glenstrup/binom.xml
|
exp/?
9.4 /
3.7
(2)
|
n^1/?
62.1 /
22.0
(1)
|
rmost_Rewriting/Frederiksen_Glenstrup/decrease.xml
|
n^1/n^1
7.9 /
3.8
(4)
|
n^1/n^1
47.4 /
22.5
(4)
|
_Rewriting/Frederiksen_Glenstrup/deeprev_typed.xml
|
n^1/n^1
8.7 /
4.1
(4)
|
n^1/n^1
3.1 /
1.1
(4)
|
rmost_Rewriting/Frederiksen_Glenstrup/disjconj.xml
|
exp/?
19.6 /
5.9
(2)
|
n^1/?
26.3 /
11.6
(1)
|
most_Rewriting/Frederiksen_Glenstrup/duplicate.xml
|
n^1/n^1
4.9 /
3.0
(4)
|
n^1/n^1
0.6 /
0.3
(4)
|
nnermost_Rewriting/Frederiksen_Glenstrup/equal.xml
|
exp/?
7.6 /
3.3
(2)
|
.
66.5 /
22.0
(0)
|
ermost_Rewriting/Frederiksen_Glenstrup/evenodd.xml
|
n^1/n^1
3.8 /
1.9
(4)
|
?/n^1
0.9 /
0.3
(2)
|
Innermost_Rewriting/Frederiksen_Glenstrup/fold.xml
|
n^1/n^3
8.9 /
3.6
(3)
|
n^1/n^1
1.1 /
0.3
(4)
|
Innermost_Rewriting/Frederiksen_Glenstrup/game.xml
|
n^1/n^1
22.6 /
8.2
(4)
|
n^1/n^1
2.6 /
0.8
(4)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.xml
|
n^1/?
74.9 /
26.4
(2)
|
n^1/?
76.0 /
22.0
(2)
|
Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.xml
|
n^1/?
77.8 /
26.4
(2)
|
n^1/?
70.2 /
22.1
(2)
|
rmost_Rewriting/Frederiksen_Glenstrup/increase.xml
|
exp/?
9.0 /
3.2
(2)
|
.
71.9 /
22.0
(0)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/int.xml
|
.
85.0 /
26.5
(0)
|
n^1/?
83.5 /
22.1
(2)
|
most_Rewriting/Frederiksen_Glenstrup/intlookup.xml
|
exp/?
13.1 /
4.6
(2)
|
n^1/?
17.4 /
6.2
(1)
|
ewriting/Frederiksen_Glenstrup/lambdaint_typed.xml
|
n^1/?
73.3 /
26.5
(2)
|
n^1/?
82.8 /
22.0
(2)
|
nermost_Rewriting/Frederiksen_Glenstrup/letexp.xml
|
exp/?
9.4 /
3.2
(2)
|
.
22.7 /
7.0
(0)
|
Innermost_Rewriting/Frederiksen_Glenstrup/list.xml
|
n^1/n^1
3.6 /
1.8
(4)
|
n^1/n^1
0.4 /
0.1
(4)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/lte.xml
|
n^1/n^3
12.2 /
4.8
(3)
|
n^1/n^1
2.7 /
0.9
(4)
|
Innermost_Rewriting/Frederiksen_Glenstrup/map0.xml
|
n^1/n^1
22.6 /
7.5
(4)
|
n^1/n^1
1.3 /
0.4
(4)
|
nermost_Rewriting/Frederiksen_Glenstrup/member.xml
|
n^1/n^2
14.0 /
5.0
(3)
|
?/n^1
4.3 /
1.1
(2)
|
ost_Rewriting/Frederiksen_Glenstrup/mergelists.xml
|
n^1/n^2
15.8 /
6.1
(3)
|
?/n^1
3.8 /
1.0
(2)
|
most_Rewriting/Frederiksen_Glenstrup/mergesort.xml
|
n^1/?
69.0 /
26.6
(2)
|
n^1/?
76.0 /
22.0
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/minsort.xml
|
n^1/?
41.8 /
30.1
(2)
|
.
71.9 /
22.1
(0)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/mul.xml
|
n^3/n^3
10.3 /
4.3
(4)
|
n^1/n^3
16.9 /
4.6
(3)
|
ost_Rewriting/Frederiksen_Glenstrup/mul_better.xml
|
n^3/n^3
10.8 /
5.6
(4)
|
n^1/n^3
22.5 /
9.0
(3)
|
rmost_Rewriting/Frederiksen_Glenstrup/naiverev.xml
|
n^2/n^2
9.0 /
4.3
(4)
|
n^1/n^2
49.0 /
22.0
(3)
|
ermost_Rewriting/Frederiksen_Glenstrup/nestdec.xml
|
n^1/n^1
4.4 /
2.1
(4)
|
?/n^1
27.7 /
10.8
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/nesteql.xml
|
exp/?
10.7 /
4.1
(2)
|
.
30.0 /
8.1
(0)
|
most_Rewriting/Frederiksen_Glenstrup/nestimeql.xml
|
exp/?
10.2 /
3.8
(2)
|
n^1/?
69.8 /
22.1
(1)
|
ermost_Rewriting/Frederiksen_Glenstrup/nestinc.xml
|
n^1/?
57.4 /
29.8
(2)
|
n^1/?
49.5 /
13.0
(2)
|
ost_Rewriting/Frederiksen_Glenstrup/nolexicord.xml
|
?/n^2
20.6 /
7.8
(1)
|
?/n^1
16.4 /
4.5
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/ordered.xml
|
n^1/n^2
13.9 /
5.4
(3)
|
?/n^1
4.0 /
1.1
(2)
|
Rewriting/Frederiksen_Glenstrup/ordered_better.xml
|
?/n^2
17.1 /
7.1
(1)
|
?/n^1
5.8 /
1.5
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/overlap.xml
|
n^1/n^3
24.0 /
9.0
(3)
|
?/n^2
21.9 /
6.5
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/parsexp.xml
|
exp/?
42.1 /
19.0
(2)
|
.
73.5 /
22.0
(0)
|
ermost_Rewriting/Frederiksen_Glenstrup/permute.xml
|
exp/?
16.3 /
5.5
(2)
|
n^1/?
74.9 /
22.1
(1)
|
nnermost_Rewriting/Frederiksen_Glenstrup/power.xml
|
n^3/?
66.7 /
26.9
(2)
|
n^1/?
53.5 /
22.0
(1)
|
most_Rewriting/Frederiksen_Glenstrup/quicksort.xml
|
n^1/?
74.9 /
26.5
(2)
|
n^1/?
81.6 /
22.0
(2)
|
nermost_Rewriting/Frederiksen_Glenstrup/revapp.xml
|
n^1/n^1
4.8 /
2.5
(4)
|
n^1/n^1
20.1 /
7.0
(4)
|
nermost_Rewriting/Frederiksen_Glenstrup/select.xml
|
n^1/n^3
34.7 /
16.1
(3)
|
n^1/n^2
9.2 /
2.5
(4)
|
ermost_Rewriting/Frederiksen_Glenstrup/shuffle.xml
|
n^3/n^3
10.7 /
4.0
(4)
|
n^1/n^3
70.8 /
22.0
(3)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/sp1.xml
|
exp/?
8.0 /
3.7
(2)
|
.
25.1 /
7.0
(0)
|
ermost_Rewriting/Frederiksen_Glenstrup/subsets.xml
|
n^1/?
76.0 /
27.8
(2)
|
n^1/?
64.9 /
22.0
(2)
|
rmost_Rewriting/Frederiksen_Glenstrup/thetrick.xml
|
exp/?
24.6 /
7.9
(2)
|
n^1/?
86.8 /
22.2
(1)
|
t_Rewriting/Frederiksen_Glenstrup/turing_typed.xml
|
exp/?
19.4 /
6.3
(2)
|
n^1/?
68.1 /
22.0
(1)
|
ewriting/Frederiksen_Glenstrup/vangelder_typed.xml
|
n^1/?
45.0 /
26.9
(2)
|
.
46.1 /
23.1
(0)
|
ity_Innermost_Rewriting/Frederiksen_Others/add.xml
|
n^1/n^1
14.6 /
4.6
(4)
|
?/n^1
0.2 /
0.1
(2)
|
st_Rewriting/Frederiksen_Others/assrewriteSize.xml
|
n^1/?
54.2 /
26.4
(2)
|
.
59.9 /
22.0
(0)
|
nnermost_Rewriting/Frederiksen_Others/boolprog.xml
|
n^1/n^1
29.8 /
12.7
(4)
|
?/n^1
23.6 /
6.1
(2)
|
ermost_Rewriting/Frederiksen_Others/bubblesort.xml
|
n^1/n^3
35.9 /
15.0
(3)
|
n^1/n^2
56.3 /
22.1
(4)
|
most_Rewriting/Frederiksen_Others/deadcodeSize.xml
|
exp/?
9.0 /
3.0
(2)
|
.
20.4 /
7.1
(0)
|
rmost_Rewriting/Frederiksen_Others/disj2_typed.xml
|
n^1/n^1
5.0 /
2.2
(4)
|
n^1/n^1
1.1 /
0.3
(4)
|
ty_Innermost_Rewriting/Frederiksen_Others/div2.xml
|
n^1/n^1
5.3 /
2.3
(4)
|
n^1/n^1
0.3 /
0.1
(4)
|
ermost_Rewriting/Frederiksen_Others/dup1_typed.xml
|
n^1/n^1
13.8 /
7.8
(4)
|
n^1/n^1
1.7 /
0.5
(4)
|
ermost_Rewriting/Frederiksen_Others/dup2_typed.xml
|
n^1/n^1
12.5 /
5.0
(4)
|
n^1/n^1
1.1 /
0.3
(4)
|
xity_Innermost_Rewriting/Frederiksen_Others/eq.xml
|
n^1/n^1
4.4 /
2.1
(4)
|
n^1/n^1
0.4 /
0.1
(4)
|
ity_Innermost_Rewriting/Frederiksen_Others/ex6.xml
|
n^1/n^1
5.2 /
2.8
(4)
|
n^1/n^1
1.6 /
0.5
(4)
|
ity_Innermost_Rewriting/Frederiksen_Others/fgh.xml
|
exp/?
14.0 /
4.6
(2)
|
n^1/?
47.5 /
18.3
(1)
|
Innermost_Rewriting/Frederiksen_Others/fghSize.xml
|
exp/?
15.3 /
6.7
(2)
|
n^1/?
33.0 /
15.0
(1)
|
_Innermost_Rewriting/Frederiksen_Others/gexgcd.xml
|
n^1/n^2
69.6 /
26.5
(4)
|
.
71.1 /
22.2
(0)
|
Innermost_Rewriting/Frederiksen_Others/gexgcd2.xml
|
n^1/n^2
46.6 /
19.7
(4)
|
n^1/?
71.4 /
22.1
(2)
|
ewriting/Frederiksen_Others/graphcolour1_typed.xml
|
n^1/?
69.9 /
27.0
(2)
|
n^1/?
84.7 /
22.1
(2)
|
ting/Frederiksen_Others/graphcolour2Size_typed.xml
|
.
70.9 /
26.9
(0)
|
n^1/?
72.2 /
22.4
(2)
|
ewriting/Frederiksen_Others/graphcolour2_typed.xml
|
n^1/?
71.1 /
26.9
(2)
|
n^1/?
86.3 /
22.2
(2)
|
ewriting/Frederiksen_Others/graphcolour3_typed.xml
|
.
57.1 /
27.6
(0)
|
n^1/?
59.2 /
22.7
(2)
|
Innermost_Rewriting/Frederiksen_Others/inssort.xml
|
n^1/n^2
34.0 /
10.6
(4)
|
n^1/n^2
52.4 /
22.2
(4)
|
st_Rewriting/Frederiksen_Others/inssort_better.xml
|
n^1/n^2
30.3 /
12.5
(4)
|
n^1/n^2
54.5 /
22.1
(4)
|
y_Innermost_Rewriting/Frederiksen_Others/match.xml
|
n^1/n^3
18.5 /
6.2
(3)
|
?/n^2
17.1 /
5.4
(2)
|
rmost_Rewriting/Frederiksen_Others/minsortSize.xml
|
n^1/?
67.7 /
26.5
(2)
|
.
83.4 /
22.0
(0)
|
ermost_Rewriting/Frederiksen_Others/ocall-safe.xml
|
n^1/n^1
3.7 /
1.8
(4)
|
n^1/n^1
0.4 /
0.1
(4)
|
most_Rewriting/Frederiksen_Others/ocall-unsafe.xml
|
n^1/n^1
3.9 /
1.8
(4)
|
n^1/n^1
0.5 /
0.2
(4)
|
Innermost_Rewriting/Frederiksen_Others/oddeven.xml
|
n^1/n^1
3.9 /
1.9
(4)
|
?/n^1
0.5 /
0.2
(2)
|
_Innermost_Rewriting/Frederiksen_Others/permut.xml
|
n^1/n^1
10.3 /
4.3
(4)
|
?/n^1
0.5 /
0.2
(2)
|
y_Innermost_Rewriting/Frederiksen_Others/power.xml
|
n^2/?
48.2 /
27.1
(2)
|
n^1/?
55.8 /
22.0
(1)
|
st_Rewriting/Frederiksen_Others/quicksortPtime.xml
|
n^1/n^2
62.6 /
23.9
(4)
|
n^1/?
73.8 /
22.2
(2)
|
ost_Rewriting/Frederiksen_Others/quicksortSize.xml
|
n^1/?
72.3 /
26.5
(2)
|
n^1/?
75.1 /
22.4
(2)
|
y_Innermost_Rewriting/Frederiksen_Others/reach.xml
|
n^1/?
76.1 /
26.5
(2)
|
.
86.5 /
22.3
(0)
|
Innermost_Rewriting/Frederiksen_Others/rematch.xml
|
.
81.7 /
27.4
(0)
|
n^1/?
86.0 /
23.2
(2)
|
nnermost_Rewriting/Frederiksen_Others/strmatch.xml
|
n^1/n^2
37.4 /
13.9
(4)
|
n^1/n^2
39.8 /
10.4
(4)
|
most_Rewriting/Frederiksen_Others/thetrickSize.xml
|
n^1/n^1
20.3 /
7.9
(4)
|
n^1/n^1
9.7 /
2.8
(4)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade01.xml
|
n^1/?
54.5 /
26.4
(2)
|
n^1/?
58.4 /
21.6
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade03.xml
|
n^1/?
56.7 /
26.4
(2)
|
n^1/?
64.1 /
22.0
(2)
|
Complexity_Innermost_Rewriting/GTSSK07/cade04t.xml
|
n^1/?
65.7 /
26.4
(2)
|
n^1/?
29.4 /
10.2
(2)
|
Complexity_Innermost_Rewriting/GTSSK07/cade05t.xml
|
n^1/?
63.5 /
26.6
(2)
|
n^1/?
77.7 /
23.1
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade06.xml
|
n^1/?
56.1 /
26.5
(2)
|
n^1/?
68.2 /
22.0
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade07.xml
|
n^1/?
69.6 /
26.4
(2)
|
n^1/?
75.3 /
22.0
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade08.xml
|
n^1/?
74.7 /
26.5
(2)
|
n^1/?
77.8 /
22.1
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade09.xml
|
n^1/?
72.3 /
26.4
(2)
|
n^1/?
71.7 /
22.1
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade10.xml
|
n^1/?
69.3 /
26.7
(2)
|
n^1/?
71.4 /
22.1
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade11.xml
|
n^1/?
46.5 /
26.6
(2)
|
n^1/?
73.4 /
22.0
(2)
|
Complexity_Innermost_Rewriting/GTSSK07/cade12t.xml
|
n^1/?
78.3 /
26.5
(2)
|
n^1/?
73.9 /
22.2
(2)
|
Complexity_Innermost_Rewriting/GTSSK07/cade13t.xml
|
n^1/?
67.8 /
26.4
(2)
|
n^1/?
49.5 /
16.3
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade14.xml
|
n^1/?
66.2 /
26.5
(2)
|
n^1/?
77.8 /
22.0
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade15.xml
|
exp/?
7.7 /
3.0
(2)
|
exp/?
68.0 /
22.2
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade16.xml
|
n^1/?
67.5 /
26.7
(2)
|
n^1/?
82.9 /
22.0
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade17.xml
|
n^2/?
69.8 /
26.4
(2)
|
n^1/?
82.6 /
22.1
(1)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n002.xml
|
exp/?
7.5 /
3.3
(2)
|
.
20.1 /
7.0
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n003.xml
|
exp/?
8.9 /
3.0
(2)
|
.
22.8 /
7.0
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n004.xml
|
exp/?
9.2 /
3.1
(2)
|
.
19.9 /
7.0
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n005.xml
|
exp/?
8.5 /
2.9
(2)
|
.
24.7 /
7.0
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n006.xml
|
exp/?
6.5 /
3.8
(2)
|
.
15.8 /
7.1
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n007.xml
|
exp/?
6.2 /
3.0
(2)
|
.
4.0 /
1.7
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t001.xml
|
n^1/?
58.4 /
26.4
(2)
|
n^1/?
73.4 /
22.2
(2)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t002.xml
|
n^1/n^2
16.5 /
6.5
(4)
|
n^1/?
75.2 /
22.0
(2)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t003.xml
|
n^1/?
43.3 /
26.6
(2)
|
n^1/?
79.4 /
22.0
(2)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t004.xml
|
exp/?
5.1 /
2.5
(2)
|
.
55.8 /
22.2
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t009.xml
|
.
69.1 /
26.8
(0)
|
.
88.5 /
22.6
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t011.xml
|
n^1/n^1
6.0 /
2.8
(4)
|
?/n^1
18.3 /
7.0
(2)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t012.xml
|
n^1/?
72.4 /
26.5
(2)
|
n^1/?
59.3 /
22.0
(2)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t013.xml
|
n^1/?
79.6 /
28.2
(2)
|
n^1/?
51.5 /
22.1
(2)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t014.xml
|
n^1/n^2
8.4 /
3.7
(4)
|
n^1/n^2
11.9 /
3.4
(4)
|
ty_Innermost_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml
|
n^1/?
52.4 /
26.4
(2)
|
n^1/?
83.8 /
22.1
(2)
|
mplexity_Innermost_Rewriting/Mixed_TRS/fossacs.xml
|
n^1/?
51.0 /
26.5
(2)
|
n^1/?
65.3 /
22.0
(2)
|
e_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.xml
|
n^1/?
67.9 /
26.5
(2)
|
n^1/?
89.6 /
22.4
(2)
|
lexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.xml
|
n^1/?
71.0 /
26.4
(2)
|
n^1/?
77.7 /
22.0
(2)
|
exity_Innermost_Rewriting/Mixed_TRS/gcd_triple.xml
|
n^1/?
74.6 /
26.4
(2)
|
n^1/?
53.6 /
22.3
(2)
|
_Innermost_Rewriting/Mixed_TRS/hydra-Zantema06.xml
|
n^1/n^1
27.2 /
9.4
(4)
|
n^1/?
66.9 /
22.2
(2)
|
Complexity_Innermost_Rewriting/Mixed_TRS/hydra.xml
|
n^1/n^1
18.3 /
8.8
(4)
|
n^1/n^1
2.6 /
0.8
(4)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones1.xml
|
n^1/n^1
4.7 /
2.5
(4)
|
n^1/n^1
0.6 /
0.2
(4)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones2.xml
|
n^1/n^2
11.8 /
4.0
(3)
|
?/n^1
1.3 /
0.5
(2)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones4.xml
|
n^1/n^1
8.1 /
3.3
(4)
|
?/n^1
1.1 /
0.3
(2)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones5.xml
|
n^1/?
49.9 /
26.5
(2)
|
.
8.1 /
3.4
(0)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones6.xml
|
n^1/n^2
17.6 /
10.8
(3)
|
n^1/n^1
1.6 /
0.6
(4)
|
mplexity_Innermost_Rewriting/Mixed_TRS/minsort.xml
|
exp/?
9.4 /
7.1
(2)
|
n^1/?
62.0 /
22.1
(1)
|
mplexity_Innermost_Rewriting/Mixed_TRS/perfect.xml
|
n^1/n^1
36.2 /
11.6
(4)
|
?/n^1
4.4 /
1.6
(2)
|
plexity_Innermost_Rewriting/Mixed_TRS/perfect2.xml
|
exp/?
16.6 /
5.5
(2)
|
n^1/?
70.3 /
22.0
(1)
|
Complexity_Innermost_Rewriting/Mixed_TRS/test1.xml
|
n^1/?
26.0 /
10.0
(2)
|
n^1/?
5.9 /
1.7
(2)
|
Complexity_Innermost_Rewriting/Mixed_TRS/while.xml
|
n^1/?
67.2 /
26.4
(2)
|
n^1/?
58.3 /
22.0
(2)
|
mplexity_Innermost_Rewriting/Rubio_04/bintrees.xml
|
n^1/n^1
5.6 /
2.8
(4)
|
n^1/n^1
12.3 /
3.2
(4)
|
_Complexity_Innermost_Rewriting/Rubio_04/bn122.xml
|
n^1/n^2
11.8 /
3.7
(3)
|
?/n^1
1.2 /
0.4
(2)
|
mplexity_Innermost_Rewriting/Rubio_04/division.xml
|
n^1/n^3
17.1 /
8.2
(4)
|
n^1/n^3
68.3 /
22.0
(4)
|
mplexity_Innermost_Rewriting/Rubio_04/elimdupl.xml
|
n^1/n^2
12.0 /
4.8
(4)
|
n^1/n^2
74.3 /
22.1
(4)
|
e_Complexity_Innermost_Rewriting/Rubio_04/enno.xml
|
n^1/n^2
33.0 /
11.0
(4)
|
n^1/?
82.8 /
22.2
(2)
|
me_Complexity_Innermost_Rewriting/Rubio_04/gcd.xml
|
n^1/n^2
31.5 /
12.0
(4)
|
n^1/n^2
45.0 /
18.2
(4)
|
ime_Complexity_Innermost_Rewriting/Rubio_04/gm.xml
|
n^1/n^2
11.5 /
4.0
(3)
|
n^1/n^1
1.3 /
0.4
(4)
|
e_Complexity_Innermost_Rewriting/Rubio_04/gmnp.xml
|
n^1/n^1
4.5 /
2.0
(4)
|
n^1/n^1
2.8 /
1.1
(4)
|
e_Complexity_Innermost_Rewriting/Rubio_04/koen.xml
|
?/n^0
3.9 /
2.0
(2)
|
?/n^0
0.1 /
0.1
(2)
|
plexity_Innermost_Rewriting/Rubio_04/logarquot.xml
|
n^1/n^2
22.4 /
4.0
(4)
|
n^1/n^2
21.1 /
6.6
(4)
|
e_Complexity_Innermost_Rewriting/Rubio_04/ma96.xml
|
n^1/?
66.9 /
26.7
(2)
|
n^1/?
68.6 /
22.1
(2)
|
_Complexity_Innermost_Rewriting/Rubio_04/mfp95.xml
|
?/n^0
3.9 /
1.8
(2)
|
?/n^0
0.1 /
0.0
(2)
|
omplexity_Innermost_Rewriting/Rubio_04/nestrec.xml
|
exp/?
4.8 /
2.2
(2)
|
n^1/?
62.7 /
22.0
(1)
|
e_Complexity_Innermost_Rewriting/Rubio_04/p266.xml
|
?/n^0
3.3 /
1.6
(2)
|
?/n^0
0.4 /
0.3
(2)
|
_Complexity_Innermost_Rewriting/Rubio_04/polo2.xml
|
n^1/n^1
14.8 /
4.7
(4)
|
n^1/n^1
54.1 /
16.9
(4)
|
e_Complexity_Innermost_Rewriting/Rubio_04/prov.xml
|
n^1/n^1
6.6 /
2.6
(4)
|
n^1/n^1
1.3 /
0.4
(4)
|
_Complexity_Innermost_Rewriting/Rubio_04/quick.xml
|
n^2/?
78.6 /
26.5
(2)
|
n^1/?
73.8 /
22.5
(1)
|
plexity_Innermost_Rewriting/Rubio_04/quotminus.xml
|
n^1/?
48.1 /
26.7
(2)
|
n^1/?
34.9 /
12.6
(2)
|
omplexity_Innermost_Rewriting/Rubio_04/revlist.xml
|
n^1/?
68.2 /
26.5
(2)
|
n^1/?
88.9 /
22.7
(2)
|
omplexity_Innermost_Rewriting/Rubio_04/selsort.xml
|
n^2/?
81.6 /
26.5
(2)
|
n^1/?
83.9 /
22.8
(1)
|
_Complexity_Innermost_Rewriting/Rubio_04/test4.xml
|
n^1/n^1
13.5 /
5.6
(4)
|
n^1/n^1
7.4 /
2.8
(4)
|
omplexity_Innermost_Rewriting/Rubio_04/test829.xml
|
n^1/n^1
7.6 /
3.1
(4)
|
n^1/n^1
0.7 /
0.3
(4)
|
_Complexity_Innermost_Rewriting/Rubio_04/wst99.xml
|
n^1/n^2
18.3 /
6.9
(4)
|
n^1/n^2
49.9 /
13.1
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.02.xml
|
n^1/?
28.0 /
27.4
(2)
|
n^1/n^1
46.4 /
22.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.03.xml
|
n^1/n^1
5.0 /
2.1
(4)
|
n^1/n^1
0.8 /
0.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.07.xml
|
n^1/n^1
20.7 /
8.6
(4)
|
n^1/n^1
5.5 /
1.6
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.09.xml
|
n^1/n^1
5.2 /
3.0
(4)
|
n^1/n^1
0.5 /
0.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.11.xml
|
n^1/n^1
4.9 /
2.8
(4)
|
n^1/n^1
0.8 /
0.4
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.12.xml
|
n^3/n^3
21.9 /
6.9
(4)
|
n^1/n^3
38.0 /
12.6
(3)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.13.xml
|
n^1/n^1
8.2 /
3.5
(4)
|
n^1/n^1
1.4 /
0.4
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.14.xml
|
n^1/n^1
5.7 /
2.5
(4)
|
n^1/n^1
1.3 /
0.4
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.15.xml
|
exp/?
14.9 /
7.8
(2)
|
exp/?
7.7 /
3.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.16.xml
|
n^2/n^2
17.5 /
6.4
(4)
|
n^1/n^2
8.6 /
2.3
(3)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.17.xml
|
n^1/n^1
23.1 /
7.0
(4)
|
n^1/n^1
0.8 /
0.2
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.18.xml
|
n^1/n^2
12.8 /
5.5
(4)
|
n^1/n^2
3.6 /
1.4
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.19.xml
|
n^2/n^2
11.2 /
4.3
(4)
|
n^1/n^2
19.6 /
3.4
(3)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.20.xml
|
n^1/n^1
7.6 /
2.9
(4)
|
n^1/n^1
1.7 /
1.2
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.21.xml
|
exp/?
9.0 /
3.1
(2)
|
n^1/?
10.4 /
3.5
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.22.xml
|
n^1/n^2
22.6 /
8.3
(4)
|
n^1/n^2
6.1 /
1.7
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.23.xml
|
.
10.1 /
10.3
(0)
|
n^1/?
55.8 /
22.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.24.xml
|
exp/?
7.6 /
2.8
(2)
|
exp/?
7.8 /
3.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.25.xml
|
exp/?
10.6 /
4.9
(2)
|
exp/?
41.7 /
15.4
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.26.xml
|
exp/?
7.4 /
3.2
(2)
|
exp/?
71.4 /
22.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.27.xml
|
n^1/?
53.6 /
26.5
(2)
|
n^1/?
79.0 /
22.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.28.xml
|
n^1/?
50.9 /
26.7
(2)
|
n^1/?
12.0 /
3.5
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.29.xml
|
n^1/n^1
12.9 /
5.0
(4)
|
n^1/n^1
1.2 /
0.4
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.30.xml
|
?/n^0
3.3 /
1.7
(2)
|
?/n^0
1.0 /
0.9
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.31.xml
|
n^1/n^1
6.8 /
2.9
(4)
|
n^1/n^1
0.6 /
0.2
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.36.xml
|
n^1/n^1
4.8 /
2.2
(4)
|
n^1/n^1
19.4 /
7.0
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.37.xml
|
?/n^0
3.7 /
1.7
(2)
|
?/n^0
0.6 /
0.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.38.xml
|
n^1/n^1
4.8 /
2.5
(4)
|
n^1/n^1
1.5 /
0.4
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.39.xml
|
n^2/n^2
9.7 /
3.8
(4)
|
n^1/n^2
42.4 /
22.1
(3)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.40.xml
|
n^1/n^1
4.6 /
2.8
(4)
|
n^1/n^1
0.3 /
0.1
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.41.xml
|
n^1/n^1
5.5 /
2.4
(4)
|
n^1/n^1
2.2 /
1.0
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.42.xml
|
n^1/n^1
3.8 /
1.9
(4)
|
n^1/n^1
24.6 /
11.2
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.43.xml
|
exp/?
26.5 /
12.6
(2)
|
n^1/?
37.0 /
22.0
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.44.xml
|
n^1/n^1
7.1 /
2.8
(4)
|
?/n^1
4.3 /
1.3
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.45.xml
|
n^1/n^1
19.1 /
9.2
(4)
|
n^1/n^1
1.1 /
0.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.47.xml
|
n^1/n^1
4.4 /
2.0
(4)
|
n^1/n^1
0.3 /
0.1
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.48.xml
|
?/n^0
3.5 /
1.7
(2)
|
?/n^0
0.3 /
0.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.49.xml
|
?/n^0
3.4 /
1.6
(2)
|
?/n^0
0.4 /
0.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.50.xml
|
n^1/n^1
4.5 /
2.0
(4)
|
n^1/n^1
0.1 /
0.1
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.51.xml
|
n^1/?
57.9 /
26.6
(2)
|
n^1/?
43.5 /
22.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.52.xml
|
n^1/?
68.4 /
26.5
(2)
|
n^1/?
53.8 /
22.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.53.xml
|
n^1/n^1
5.7 /
2.4
(4)
|
n^1/n^1
1.0 /
0.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.54.xml
|
n^1/n^1
4.5 /
2.5
(4)
|
n^1/n^1
0.3 /
0.1
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.55.xml
|
n^1/n^2
5.2 /
2.2
(3)
|
n^1/n^1
0.3 /
0.1
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.59.xml
|
?/n^0
3.5 /
1.7
(2)
|
?/n^1
0.3 /
0.1
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.61.xml
|
?/n^2
17.3 /
5.6
(1)
|
?/n^1
2.7 /
1.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.05.xml
|
n^1/n^2
16.8 /
8.1
(4)
|
n^1/n^2
6.2 /
3.0
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.06.xml
|
exp/?
6.3 /
2.5
(2)
|
n^1/?
31.7 /
10.8
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.07.xml
|
?/n^0
3.7 /
1.6
(2)
|
?/n^0
0.1 /
0.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.09.xml
|
?/n^0
3.4 /
1.5
(2)
|
?/n^0
3.3 /
1.5
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.10.xml
|
n^1/n^3
10.7 /
4.1
(3)
|
n^1/n^2
9.0 /
3.0
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.12.xml
|
n^1/n^1
14.8 /
6.1
(4)
|
?/n^1
18.7 /
7.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.13.xml
|
n^1/n^1
12.3 /
6.6
(4)
|
?/n^2
10.4 /
4.9
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.16.xml
|
n^1/n^1
8.8 /
4.9
(4)
|
n^1/n^1
2.3 /
1.1
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.17.xml
|
n^2/?
57.3 /
26.4
(2)
|
n^1/n^2
24.6 /
9.2
(3)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.18.xml
|
?/n^0
3.8 /
1.8
(2)
|
?/n^0
0.3 /
0.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.22.xml
|
n^1/?
66.3 /
26.5
(2)
|
n^1/?
49.3 /
21.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.24.xml
|
n^1/?
70.7 /
26.4
(2)
|
n^1/?
84.6 /
22.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.25.xml
|
n^1/n^1
10.0 /
3.5
(4)
|
n^1/n^1
0.7 /
0.2
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.26.xml
|
n^1/n^1
5.0 /
2.6
(4)
|
n^1/n^1
22.9 /
13.8
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.27.xml
|
n^1/?
30.6 /
30.0
(2)
|
n^1/?
86.1 /
22.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.28.xml
|
n^1/n^1
20.5 /
8.8
(4)
|
n^1/n^1
4.1 /
1.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.29.xml
|
n^1/n^1
8.1 /
3.2
(4)
|
n^1/n^1
0.5 /
0.2
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.30.xml
|
n^1/?
59.2 /
27.1
(2)
|
n^1/n^1
18.9 /
5.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.31.xml
|
exp/?
10.6 /
3.5
(2)
|
exp/?
24.3 /
8.6
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.34.xml
|
n^1/?
39.7 /
26.4
(2)
|
n^1/?
79.9 /
22.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.35.xml
|
?/n^0
3.6 /
1.8
(2)
|
?/n^0
0.1 /
0.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.38.xml
|
n^1/n^1
4.4 /
2.1
(4)
|
n^1/n^1
1.4 /
0.4
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.42.xml
|
n^1/?
65.1 /
26.5
(2)
|
n^1/?
35.0 /
14.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.43.xml
|
n^1/?
57.5 /
26.7
(2)
|
n^1/n^3
43.7 /
15.4
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.45.xml
|
n^1/n^1
5.3 /
2.7
(4)
|
n^1/n^1
0.2 /
0.1
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.47.xml
|
?/n^0
3.8 /
1.7
(2)
|
?/n^0
0.3 /
0.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.48.xml
|
?/n^0
3.7 /
1.6
(2)
|
?/n^0
0.1 /
0.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.51.xml
|
?/n^0
3.5 /
1.7
(2)
|
?/n^1
2.9 /
1.4
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.53.xml
|
n^1/n^3
48.7 /
8.1
(3)
|
n^1/n^1
4.1 /
1.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.54.xml
|
exp/?
10.7 /
3.5
(2)
|
exp/?
11.9 /
3.3
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.57.xml
|
?/n^0
7.3 /
3.4
(2)
|
?/n^0
55.1 /
22.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.59.xml
|
exp/?
11.0 /
3.8
(2)
|
exp/?
66.6 /
21.6
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.60.xml
|
exp/?
30.6 /
9.1
(2)
|
n^1/?
61.3 /
22.1
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.61.xml
|
exp/?
8.0 /
3.5
(2)
|
n^1/?
87.9 /
22.5
(1)
|
xity_Innermost_Rewriting/Secret_05_TRS/aprove2.xml
|
n^1/?
68.6 /
26.4
(2)
|
n^1/?
74.9 /
22.0
(2)
|
xity_Innermost_Rewriting/Secret_05_TRS/aprove3.xml
|
n^1/?
54.8 /
26.4
(2)
|
n^1/?
48.6 /
22.3
(2)
|
xity_Innermost_Rewriting/Secret_05_TRS/aprove4.xml
|
n^1/n^2
12.1 /
4.9
(4)
|
n^1/?
47.9 /
22.2
(2)
|
xity_Innermost_Rewriting/Secret_05_TRS/aprove5.xml
|
n^1/?
56.4 /
26.5
(2)
|
n^1/?
59.4 /
22.0
(2)
|
lexity_Innermost_Rewriting/Secret_05_TRS/cime2.xml
|
n^1/n^1
8.4 /
3.5
(4)
|
n^1/n^1
9.2 /
3.2
(4)
|
lexity_Innermost_Rewriting/Secret_05_TRS/cime3.xml
|
n^1/?
47.5 /
28.1
(2)
|
n^1/?
55.0 /
22.4
(2)
|
lexity_Innermost_Rewriting/Secret_05_TRS/cime4.xml
|
?/n^0
4.2 /
5.8
(2)
|
?/n^0
6.1 /
4.1
(2)
|
lexity_Innermost_Rewriting/Secret_05_TRS/cime5.xml
|
n^1/?
65.5 /
27.0
(2)
|
n^1/?
67.9 /
22.2
(2)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa1.xml
|
n^1/?
64.2 /
26.7
(2)
|
n^1/?
65.9 /
22.4
(2)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa2.xml
|
n^1/n^2
52.3 /
18.3
(4)
|
n^1/?
51.4 /
24.2
(2)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa3.xml
|
n^2/?
58.1 /
29.9
(2)
|
n^1/?
62.9 /
22.0
(1)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa4.xml
|
n^2/?
56.8 /
27.2
(2)
|
n^1/?
62.8 /
22.1
(1)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa5.xml
|
n^1/?
65.9 /
26.7
(2)
|
n^1/?
65.8 /
22.2
(2)
|
plexity_Innermost_Rewriting/Secret_05_TRS/ttt1.xml
|
?/n^0
3.5 /
2.2
(2)
|
?/n^0
20.5 /
10.0
(2)
|
plexity_Innermost_Rewriting/Secret_05_TRS/ttt2.xml
|
exp/?
8.7 /
2.9
(2)
|
.
32.2 /
11.2
(0)
|
omplexity_Innermost_Rewriting/Secret_06_TRS/10.xml
|
?/n^0
3.5 /
1.6
(2)
|
?/n^0
0.9 /
0.5
(2)
|
Complexity_Innermost_Rewriting/Secret_06_TRS/4.xml
|
?/n^0
3.5 /
1.6
(2)
|
?/n^1
72.1 /
22.0
(1)
|
Complexity_Innermost_Rewriting/Secret_06_TRS/6.xml
|
?/n^0
3.4 /
1.8
(2)
|
?/n^0
0.2 /
0.1
(2)
|
xity_Innermost_Rewriting/Secret_06_TRS/addList.xml
|
n^1/?
76.3 /
26.5
(2)
|
n^1/?
71.0 /
22.2
(2)
|
exity_Innermost_Rewriting/Secret_06_TRS/divExp.xml
|
n^1/?
71.2 /
26.4
(2)
|
n^1/?
65.8 /
22.1
(2)
|
ity_Innermost_Rewriting/Secret_06_TRS/division.xml
|
n^1/?
65.0 /
26.7
(2)
|
n^1/?
79.8 /
22.5
(2)
|
exity_Innermost_Rewriting/Secret_06_TRS/double.xml
|
n^1/?
72.9 /
26.4
(2)
|
n^1/?
59.8 /
22.1
(2)
|
lexity_Innermost_Rewriting/Secret_06_TRS/gen-1.xml
|
?/n^0
7.5 /
1.8
(2)
|
?/n^0
0.1 /
0.1
(2)
|
exity_Innermost_Rewriting/Secret_06_TRS/gen-17.xml
|
?/n^0
3.5 /
1.6
(2)
|
?/n^0
22.8 /
14.4
(2)
|
exity_Innermost_Rewriting/Secret_06_TRS/gen-28.xml
|
?/n^0
3.4 /
1.7
(2)
|
?/n^2
59.9 /
18.2
(1)
|
ty_Innermost_Rewriting/Secret_06_TRS/logarithm.xml
|
n^1/?
72.2 /
26.9
(2)
|
n^1/?
71.4 /
22.1
(2)
|
ty_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.xml
|
n^2/?
76.5 /
26.4
(2)
|
n^1/?
70.6 /
22.0
(1)
|
xity_Innermost_Rewriting/Secret_06_TRS/reverse.xml
|
n^2/?
76.0 /
26.7
(2)
|
n^1/?
65.2 /
22.1
(1)
|
xity_Innermost_Rewriting/Secret_06_TRS/sumList.xml
|
n^2/?
75.5 /
26.5
(2)
|
n^1/?
72.8 /
22.1
(1)
|
lexity_Innermost_Rewriting/Secret_06_TRS/times.xml
|
n^1/?
73.2 /
26.4
(2)
|
n^1/?
58.4 /
22.1
(2)
|
exity_Innermost_Rewriting/Secret_06_TRS/toList.xml
|
n^1/?
68.5 /
26.6
(2)
|
n^1/?
67.6 /
22.1
(2)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa04.xml
|
n^1/?
67.2 /
26.6
(2)
|
n^1/?
72.6 /
22.3
(2)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa05.xml
|
n^2/?
67.2 /
26.7
(2)
|
n^1/?
74.0 /
22.0
(1)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa06.xml
|
n^1/?
74.3 /
26.5
(2)
|
n^1/?
70.8 /
22.3
(2)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa07.xml
|
n^2/?
74.7 /
26.4
(2)
|
n^1/?
63.8 /
22.0
(1)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa08.xml
|
n^2/?
65.0 /
26.7
(2)
|
n^1/?
54.8 /
22.3
(1)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa09.xml
|
n^2/?
69.4 /
26.8
(2)
|
n^1/?
79.6 /
22.1
(1)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa10.xml
|
n^2/?
70.0 /
26.6
(2)
|
n^1/?
68.5 /
22.1
(1)
|
Complexity_Innermost_Rewriting/Secret_07_TRS/3.xml
|
?/n^0
3.5 /
1.7
(2)
|
?/n^1
74.1 /
22.1
(1)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove01.xml
|
n^1/?
79.3 /
26.5
(2)
|
n^1/?
63.8 /
22.1
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove02.xml
|
n^1/?
72.5 /
26.7
(2)
|
n^1/?
66.2 /
22.0
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove03.xml
|
n^1/?
73.3 /
26.9
(2)
|
n^1/?
69.1 /
22.1
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove04.xml
|
n^1/?
71.7 /
26.8
(2)
|
n^1/?
84.3 /
22.1
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove05.xml
|
n^1/?
54.2 /
26.7
(2)
|
n^1/?
69.4 /
22.0
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove06.xml
|
n^1/?
59.1 /
26.6
(2)
|
n^1/?
75.9 /
22.0
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove07.xml
|
n^1/?
62.6 /
26.6
(2)
|
n^1/?
65.6 /
22.1
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove08.xml
|
n^1/?
66.4 /
27.2
(2)
|
n^1/?
73.0 /
22.2
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove09.xml
|
n^1/?
69.4 /
26.7
(2)
|
n^1/?
73.7 /
22.7
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove10.xml
|
n^1/?
75.1 /
26.5
(2)
|
n^1/?
67.9 /
22.1
(2)
|
xity_Innermost_Rewriting/Secret_07_TRS/secret1.xml
|
n^1/?
65.0 /
26.7
(2)
|
n^1/?
88.6 /
22.6
(2)
|
xity_Innermost_Rewriting/Secret_07_TRS/secret3.xml
|
n^1/?
56.4 /
26.4
(2)
|
n^1/?
69.0 /
22.1
(2)
|
xity_Innermost_Rewriting/Secret_07_TRS/secret4.xml
|
n^1/?
64.1 /
29.3
(2)
|
n^1/?
86.7 /
22.1
(2)
|
xity_Innermost_Rewriting/Secret_07_TRS/secret5.xml
|
n^1/n^1
8.9 /
3.5
(4)
|
n^1/n^1
1.8 /
0.5
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.14.xml
|
n^1/n^1
4.4 /
2.1
(4)
|
n^1/n^1
66.7 /
22.0
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.16.xml
|
n^1/n^1
4.5 /
2.0
(4)
|
n^1/n^1
8.4 /
2.8
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.17.xml
|
n^1/n^1
4.2 /
2.0
(4)
|
n^1/n^1
64.0 /
22.1
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.19.xml
|
n^1/n^1
58.1 /
25.9
(4)
|
n^1/?
31.7 /
10.8
(2)
|
Innermost_Rewriting/Strategy_removed_AG01/#4.2.xml
|
n^1/n^1
4.4 /
2.0
(4)
|
n^1/n^1
65.1 /
22.0
(4)
|
nermost_Rewriting/Strategy_removed_AG01/#4.20a.xml
|
n^1/n^1
9.1 /
2.3
(4)
|
n^1/n^1
2.6 /
0.9
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.22.xml
|
n^1/n^1
5.7 /
2.4
(4)
|
n^1/n^1
13.3 /
8.7
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.23.xml
|
n^1/?
53.8 /
26.6
(2)
|
n^1/?
58.6 /
22.0
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.25.xml
|
?/n^0
3.6 /
1.7
(2)
|
.
3.6 /
1.2
(0)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.26.xml
|
n^1/n^2
21.3 /
9.7
(4)
|
n^1/?
58.0 /
21.8
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.27.xml
|
n^1/n^2
17.0 /
6.6
(4)
|
n^1/n^3
29.3 /
7.9
(3)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.28.xml
|
n^1/n^2
11.0 /
4.0
(3)
|
n^1/n^1
24.3 /
7.0
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.29.xml
|
n^1/?
64.4 /
26.7
(2)
|
n^1/?
76.9 /
22.1
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.30.xml
|
n^1/n^2
18.5 /
7.4
(4)
|
n^1/?
69.5 /
22.1
(2)
|
nermost_Rewriting/Strategy_removed_AG01/#4.30a.xml
|
n^1/n^2
15.7 /
5.1
(4)
|
n^1/?
36.2 /
13.3
(2)
|
nermost_Rewriting/Strategy_removed_AG01/#4.30b.xml
|
n^1/n^2
37.1 /
15.2
(4)
|
n^1/?
87.3 /
22.4
(2)
|
nermost_Rewriting/Strategy_removed_AG01/#4.30c.xml
|
n^1/n^2
48.4 /
18.2
(4)
|
n^1/?
60.6 /
22.5
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.32.xml
|
n^1/n^1
14.9 /
6.1
(4)
|
n^1/n^2
8.4 /
2.3
(3)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.33.xml
|
n^2/?
48.3 /
26.4
(2)
|
n^1/n^3
70.4 /
22.5
(3)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.34.xml
|
n^1/?
59.1 /
26.7
(2)
|
n^1/n^1
7.9 /
2.8
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.35.xml
|
n^1/?
59.1 /
26.9
(2)
|
n^1/?
79.5 /
22.0
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.36.xml
|
n^2/?
61.8 /
27.1
(2)
|
n^1/?
86.2 /
22.2
(1)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.37.xml
|
n^1/n^1
8.5 /
3.8
(4)
|
n^1/n^1
1.9 /
0.6
(4)
|
nermost_Rewriting/Strategy_removed_AG01/#4.37a.xml
|
n^1/n^1
8.7 /
4.3
(4)
|
n^1/n^1
1.8 /
0.5
(4)
|
Innermost_Rewriting/Strategy_removed_AG01/#4.7.xml
|
?/n^0
3.1 /
1.5
(2)
|
?/n^0
0.1 /
0.1
(2)
|
_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml
|
exp/?
5.1 /
2.2
(2)
|
.
4.9 /
1.9
(0)
|
t_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml
|
exp/?
7.5 /
3.1
(2)
|
n^1/?
10.3 /
5.3
(1)
|
_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml
|
exp/?
23.2 /
7.5
(2)
|
n^1/?
26.7 /
10.8
(1)
|
Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml
|
exp/?
6.0 /
3.1
(2)
|
.
4.1 /
1.7
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml
|
exp/?
6.9 /
2.7
(2)
|
n^1/?
11.4 /
5.4
(1)
|
ost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml
|
exp/?
10.4 /
3.7
(2)
|
n^1/?
51.1 /
22.0
(1)
|
t_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml
|
exp/?
8.0 /
3.3
(2)
|
n^1/?
12.1 /
6.4
(1)
|
st_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml
|
exp/?
8.8 /
3.0
(2)
|
.
61.8 /
20.2
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml
|
exp/?
12.2 /
4.6
(2)
|
n^1/?
63.0 /
22.0
(1)
|
t_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml
|
exp/?
7.3 /
3.2
(2)
|
n^1/?
13.6 /
8.0
(1)
|
ewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml
|
exp/?
6.6 /
2.5
(2)
|
n^1/?
5.6 /
2.3
(1)
|
_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml
|
exp/?
10.3 /
3.7
(2)
|
n^1/?
13.5 /
4.9
(1)
|
writing/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml
|
exp/?
21.2 /
8.8
(2)
|
n^1/?
41.7 /
22.0
(1)
|
st_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml
|
n^1/n^1
7.5 /
3.0
(4)
|
n^1/n^1
4.7 /
1.3
(4)
|
Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml
|
exp/?
7.1 /
3.0
(2)
|
n^1/?
11.4 /
3.5
(1)
|
writing/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml
|
exp/?
8.8 /
3.5
(2)
|
.
28.1 /
7.5
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml
|
exp/?
24.0 /
8.4
(2)
|
n^1/?
15.8 /
5.8
(1)
|
writing/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml
|
exp/?
4.8 /
2.1
(2)
|
n^1/?
5.3 /
2.0
(1)
|
writing/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml
|
exp/?
8.6 /
3.0
(2)
|
.
21.2 /
7.0
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml
|
n^1/?
17.3 /
8.0
(2)
|
n^1/?
48.2 /
21.7
(2)
|
_Rewriting/Strategy_removed_CSR_05/Ex5_7_Luc97.xml
|
exp/?
28.0 /
8.4
(2)
|
n^1/?
22.6 /
8.6
(1)
|
st_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml
|
exp/?
8.7 /
2.9
(2)
|
.
18.1 /
7.0
(0)
|
Rewriting/Strategy_removed_CSR_05/Ex6_15_AEL02.xml
|
exp/?
13.1 /
4.4
(2)
|
n^1/?
29.6 /
11.2
(1)
|
Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml
|
exp/?
6.1 /
3.0
(2)
|
.
8.1 /
4.4
(0)
|
ost_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml
|
exp/?
8.3 /
3.0
(2)
|
.
11.4 /
7.2
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml
|
exp/?
5.5 /
2.3
(2)
|
n^1/?
6.2 /
2.7
(1)
|
st_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml
|
exp/?
8.9 /
3.1
(2)
|
n^1/?
11.7 /
6.3
(1)
|
st_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml
|
exp/?
18.2 /
7.9
(2)
|
n^1/?
26.6 /
9.8
(1)
|
st_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml
|
exp/?
21.5 /
6.6
(2)
|
n^1/?
75.2 /
22.0
(1)
|
ting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml
|
exp/?
36.2 /
10.8
(2)
|
n^1/?
32.7 /
13.3
(1)
|
Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml
|
exp/?
5.5 /
6.2
(2)
|
.
21.9 /
7.0
(0)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml
|
exp/?
10.3 /
3.7
(2)
|
n^1/?
44.9 /
12.1
(1)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml
|
exp/?
10.1 /
3.4
(2)
|
n^1/?
42.4 /
12.2
(1)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml
|
exp/?
10.5 /
3.7
(2)
|
n^1/?
57.0 /
22.0
(1)
|
writing/Strategy_removed_CSR_05/ExIntrod_Zan97.xml
|
n^2/?
86.2 /
28.9
(2)
|
n^1/?
59.9 /
22.0
(1)
|
ing/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml
|
exp/?
13.2 /
4.7
(2)
|
n^1/?
77.5 /
22.0
(1)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex1.xml
|
exp/?
8.3 /
2.9
(2)
|
.
21.8 /
7.0
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex2.xml
|
exp/?
9.2 /
3.1
(2)
|
.
4.8 /
2.0
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex3.xml
|
exp/?
8.4 /
3.0
(2)
|
.
21.8 /
7.0
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex4.xml
|
exp/?
8.3 /
2.9
(2)
|
.
51.9 /
22.0
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex5.xml
|
exp/?
8.3 /
2.9
(2)
|
.
21.8 /
7.0
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex6.xml
|
.
58.0 /
26.6
(0)
|
.
18.2 /
5.9
(0)
|
ost_Rewriting/Strategy_removed_mixed_05/muladd.xml
|
exp/?
7.0 /
2.9
(2)
|
.
34.6 /
21.4
(0)
|
ost_Rewriting/Strategy_removed_mixed_05/test10.xml
|
n^1/n^1
4.7 /
2.2
(4)
|
n^1/n^1
10.4 /
6.3
(4)
|
ost_Rewriting/Strategy_removed_mixed_05/test76.xml
|
n^1/n^1
6.7 /
3.1
(4)
|
n^1/?
22.6 /
9.6
(2)
|
ost_Rewriting/Strategy_removed_mixed_05/test77.xml
|
n^1/n^1
7.5 /
3.3
(4)
|
n^1/?
24.9 /
9.7
(2)
|
st_Rewriting/Strategy_removed_mixed_05/test830.xml
|
n^1/n^1
4.5 /
2.0
(4)
|
n^1/n^1
1.9 /
0.5
(4)
|
st_Rewriting/Strategy_removed_mixed_05/tricky1.xml
|
?/n^0
3.4 /
1.6
(2)
|
?/n^0
1.7 /
1.0
(2)
|
xity_Innermost_Rewriting/TCT_12/polycounter-10.xml
|
n^1/?
79.6 /
26.5
(2)
|
n^1/?
73.3 /
22.1
(2)
|
exity_Innermost_Rewriting/TCT_12/polycounter-5.xml
|
n^1/?
52.9 /
26.4
(2)
|
n^1/?
48.2 /
14.7
(2)
|
lexity_Innermost_Rewriting/TCT_12/recursion-10.xml
|
n^1/?
74.9 /
26.5
(2)
|
n^1/?
83.6 /
22.3
(2)
|
plexity_Innermost_Rewriting/TCT_12/recursion-5.xml
|
n^1/?
55.5 /
26.4
(2)
|
n^1/?
61.5 /
22.3
(2)
|
time_Complexity_Innermost_Rewriting/TCT_12/sat.xml
|
n^1/n^2
22.2 /
6.5
(4)
|
n^1/n^2
29.0 /
8.6
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C.xml
|
n^1/?
73.3 /
26.5
(2)
|
n^1/?
85.5 /
22.0
(2)
|
st_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml
|
n^1/?
118.8 /
26.7
(2)
|
n^1/?
55.5 /
22.0
(2)
|
st_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml
|
n^1/?
53.3 /
26.5
(2)
|
n^1/n^3
73.5 /
22.1
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml
|
exp/?
8.7 /
3.2
(2)
|
.
22.1 /
7.0
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml
|
exp/?
25.2 /
5.2
(2)
|
.
83.5 /
22.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml
|
n^1/?
74.5 /
26.9
(2)
|
n^1/?
75.6 /
22.0
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM.xml
|
n^1/?
53.3 /
26.6
(2)
|
n^1/?
70.4 /
22.0
(2)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml
|
n^1/n^1
4.6 /
2.0
(4)
|
n^1/n^1
68.7 /
22.1
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml
|
n^1/n^1
8.1 /
3.3
(4)
|
n^1/n^1
3.8 /
1.9
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml
|
n^1/n^1
7.4 /
3.6
(4)
|
n^1/n^1
0.8 /
0.3
(4)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml
|
exp/?
9.1 /
3.1
(2)
|
.
19.2 /
7.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml
|
?/n^0
3.6 /
1.7
(2)
|
?/n^0
1.1 /
0.4
(2)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml
|
n^1/?
71.2 /
27.0
(2)
|
n^1/?
71.5 /
22.5
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR.xml
|
exp/?
9.0 /
4.7
(2)
|
n^1/?
26.3 /
8.3
(1)
|
ost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml
|
n^1/n^1
12.2 /
4.6
(4)
|
n^1/n^1
26.4 /
8.1
(4)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z.xml
|
exp/?
8.0 /
3.8
(2)
|
.
21.7 /
9.1
(0)
|
most_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml
|
n^1/n^3
56.7 /
22.6
(4)
|
n^1/?
86.9 /
22.0
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml
|
n^1/n^1
12.5 /
13.0
(4)
|
n^1/n^1
23.2 /
7.0
(4)
|
most_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml
|
exp/?
9.0 /
3.1
(2)
|
.
22.5 /
7.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml
|
n^1/?
51.6 /
28.5
(2)
|
n^1/n^1
82.6 /
22.1
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml
|
n^1/n^1
4.3 /
2.3
(4)
|
n^1/n^1
0.6 /
0.2
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml
|
n^1/n^1
6.4 /
2.5
(4)
|
n^1/n^1
0.8 /
0.3
(4)
|
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml
|
?/n^0
3.6 /
1.9
(2)
|
?/n^0
0.1 /
0.0
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml
|
n^1/?
86.4 /
27.0
(2)
|
n^1/?
66.9 /
22.1
(2)
|
st_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR.xml
|
n^1/n^3
14.7 /
3.4
(3)
|
n^1/n^1
1.7 /
0.6
(4)
|
st_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml
|
n^1/?
70.5 /
26.6
(2)
|
n^1/?
88.0 /
22.3
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z.xml
|
n^2/n^2
11.0 /
5.7
(4)
|
n^1/n^2
7.4 /
2.1
(3)
|
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml
|
n^1/?
73.2 /
26.5
(2)
|
n^1/?
75.8 /
22.2
(2)
|
t_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml
|
n^1/n^1
6.8 /
10.2
(4)
|
n^1/n^1
1.3 /
0.5
(4)
|
t_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml
|
n^1/?
58.3 /
26.4
(2)
|
n^1/?
52.2 /
22.1
(2)
|
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml
|
?/n^0
3.3 /
2.8
(2)
|
?/n^0
0.2 /
0.1
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml
|
n^1/?
61.5 /
27.1
(2)
|
n^1/?
69.1 /
22.3
(2)
|
most_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR.xml
|
n^1/?
62.2 /
26.7
(2)
|
n^1/?
67.4 /
22.1
(2)
|
most_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml
|
n^1/n^1
7.0 /
2.7
(4)
|
n^1/n^1
8.4 /
1.3
(4)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml
|
exp/?
7.7 /
3.4
(2)
|
.
23.6 /
7.2
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml
|
n^1/?
65.7 /
26.4
(2)
|
.
86.9 /
22.2
(0)
|
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_C.xml
|
n^1/?
69.1 /
26.7
(2)
|
n^1/?
87.5 /
22.3
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GM03_FR.xml
|
n^1/n^1
5.5 /
2.3
(4)
|
n^1/n^1
12.2 /
5.5
(4)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml
|
n^2/?
69.9 /
27.0
(2)
|
n^1/?
85.5 /
22.7
(1)
|
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_Z.xml
|
n^1/?
39.7 /
26.7
(2)
|
.
32.5 /
22.0
(0)
|
ermost_Rewriting/Transformed_CSR_04/Ex1_GM99_C.xml
|
n^1/?
79.3 /
26.4
(2)
|
n^1/?
84.2 /
22.1
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml
|
n^1/?
64.1 /
26.4
(2)
|
n^1/?
78.5 /
22.0
(2)
|
ermost_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml
|
exp/?
8.1 /
3.4
(2)
|
.
23.9 /
7.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml
|
n^1/?
76.5 /
26.5
(2)
|
n^1/?
87.7 /
22.3
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR.xml
|
n^1/n^1
9.3 /
3.5
(4)
|
n^1/n^1
1.1 /
0.4
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml
|
n^1/?
62.5 /
26.5
(2)
|
n^1/?
78.9 /
22.0
(2)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml
|
n^1/n^2
10.9 /
3.9
(3)
|
?/n^1
46.1 /
22.0
(2)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml
|
not finished |
n^1/n^1
88.2 /
22.5
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml
|
exp/?
25.8 /
4.2
(2)
|
n^1/?
53.0 /
22.1
(1)
|
ost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml
|
n^1/?
56.9 /
26.4
(2)
|
n^1/?
86.0 /
22.5
(2)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml
|
exp/?
9.9 /
3.4
(2)
|
.
39.8 /
12.9
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml
|
n^1/n^1
8.4 /
3.7
(4)
|
n^1/n^1
62.5 /
22.2
(4)
|
most_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml
|
exp/?
9.2 /
3.8
(2)
|
.
87.1 /
22.1
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml
|
?/n^0
3.7 /
1.7
(2)
|
?/n^0
1.0 /
0.4
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml
|
exp/?
8.8 /
3.0
(2)
|
.
23.3 /
7.6
(0)
|
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml
|
n^1/n^1
5.4 /
2.3
(4)
|
n^1/n^1
73.3 /
22.2
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml
|
n^1/n^1
4.1 /
1.9
(4)
|
n^1/n^1
0.6 /
0.2
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml
|
n^1/n^1
6.3 /
2.4
(4)
|
n^1/n^1
1.9 /
0.6
(4)
|
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml
|
?/n^0
3.6 /
1.7
(2)
|
?/n^0
0.1 /
0.0
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml
|
n^1/?
70.3 /
30.0
(2)
|
n^1/?
87.4 /
22.2
(2)
|
most_Rewriting/Transformed_CSR_04/Ex24_GM04_FR.xml
|
n^1/?
50.5 /
26.7
(2)
|
n^1/?
21.3 /
8.2
(2)
|
most_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml
|
n^1/n^1
7.5 /
2.8
(4)
|
n^1/n^1
7.0 /
3.3
(4)
|
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml
|
exp/?
6.0 /
6.9
(2)
|
.
19.5 /
7.1
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_Z.xml
|
?/n^0
4.6 /
2.8
(2)
|
.
9.5 /
4.6
(0)
|
most_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml
|
n^1/n^1
76.1 /
26.2
(4)
|
n^1/?
71.9 /
22.1
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml
|
n^1/n^1
4.6 /
2.5
(4)
|
n^1/n^1
37.4 /
22.0
(4)
|
most_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml
|
exp/?
7.8 /
3.2
(2)
|
.
22.2 /
7.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml
|
n^1/n^1
5.4 /
2.3
(4)
|
n^1/n^1
86.4 /
22.1
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml
|
n^1/n^1
7.4 /
4.2
(4)
|
n^1/n^1
2.0 /
1.3
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml
|
n^1/n^1
5.0 /
2.2
(4)
|
n^1/n^1
2.6 /
1.0
(4)
|
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml
|
?/n^0
3.6 /
2.1
(2)
|
?/n^0
0.9 /
0.5
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml
|
n^1/?
79.7 /
26.5
(2)
|
n^1/?
87.8 /
22.4
(2)
|
st_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR.xml
|
n^1/n^1
9.4 /
4.0
(4)
|
n^1/n^1
4.3 /
1.9
(4)
|
st_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml
|
n^1/?
70.8 /
26.4
(2)
|
n^1/?
70.1 /
22.3
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml
|
?/n^0
3.9 /
1.7
(2)
|
?/n^0
0.4 /
0.2
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_Z.xml
|
?/n^0
3.6 /
1.7
(2)
|
?/n^0
0.8 /
0.3
(2)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml
|
n^1/?
78.5 /
26.9
(2)
|
n^1/?
89.2 /
22.7
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR.xml
|
n^1/n^3
9.2 /
3.6
(3)
|
n^1/n^1
1.2 /
0.5
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml
|
n^1/?
65.6 /
27.1
(2)
|
n^1/?
86.2 /
22.3
(2)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml
|
n^3/?
54.6 /
28.1
(2)
|
n^1/n^3
27.0 /
9.8
(3)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml
|
n^3/?
62.3 /
26.4
(2)
|
n^1/n^3
42.6 /
13.8
(3)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C.xml
|
n^1/?
70.6 /
26.8
(2)
|
n^1/?
75.1 /
22.8
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR.xml
|
n^1/?
61.2 /
26.7
(2)
|
n^1/n^2
40.5 /
17.7
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml
|
n^1/?
60.0 /
26.4
(2)
|
n^1/n^2
73.4 /
22.1
(4)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml
|
?/n^0
3.0 /
1.5
(2)
|
?/n^0
0.2 /
0.1
(2)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml
|
n^1/n^1
9.2 /
3.7
(4)
|
?/n^1
11.9 /
3.2
(2)
|
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml
|
n^1/?
72.7 /
26.4
(2)
|
n^1/?
81.6 /
22.3
(2)
|
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml
|
n^1/n^1
8.8 /
3.2
(4)
|
n^1/n^1
1.1 /
0.4
(4)
|
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml
|
n^1/?
66.6 /
26.5
(2)
|
n^1/?
37.7 /
12.7
(2)
|
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml
|
n^1/n^1
9.2 /
3.3
(4)
|
?/n^1
45.3 /
22.0
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml
|
n^1/?
76.1 /
26.5
(2)
|
n^1/?
89.0 /
22.5
(2)
|
st_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR.xml
|
exp/?
9.7 /
3.5
(2)
|
n^1/?
58.8 /
15.9
(1)
|
st_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml
|
n^1/?
70.0 /
26.4
(2)
|
n^1/?
46.4 /
16.7
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z.xml
|
exp/?
9.4 /
7.5
(2)
|
.
41.3 /
13.4
(0)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml
|
n^1/?
78.6 /
26.5
(2)
|
n^1/?
74.3 /
22.6
(2)
|
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml
|
n^1/?
65.7 /
26.4
(2)
|
n^1/?
42.1 /
14.1
(2)
|
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml
|
n^1/?
62.5 /
26.6
(2)
|
n^1/?
86.8 /
22.2
(2)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml
|
?/n^0
3.2 /
1.5
(2)
|
?/n^0
0.1 /
0.1
(2)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml
|
exp/?
9.1 /
3.6
(2)
|
.
19.2 /
7.6
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml
|
n^1/?
74.5 /
26.5
(2)
|
n^1/?
65.5 /
22.3
(2)
|
most_Rewriting/Transformed_CSR_04/Ex49_GM04_FR.xml
|
n^2/?
58.1 /
26.5
(2)
|
n^1/n^2
38.9 /
11.0
(3)
|
most_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml
|
.
40.6 /
30.1
(0)
|
n^1/n^3
75.8 /
22.1
(4)
|
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml
|
n^1/n^2
9.0 /
3.3
(3)
|
?/n^1
2.9 /
0.8
(2)
|
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml
|
n^1/?
71.5 /
28.2
(2)
|
n^1/?
87.8 /
22.4
(2)
|
t_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml
|
n^1/n^3
6.0 /
3.5
(3)
|
n^1/n^1
0.4 /
0.2
(4)
|
t_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml
|
n^1/?
49.1 /
26.4
(2)
|
n^1/n^2
34.9 /
17.5
(4)
|
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml
|
n^1/n^1
4.2 /
2.0
(4)
|
n^1/n^1
0.2 /
0.1
(4)
|
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml
|
exp/?
8.3 /
3.3
(2)
|
n^1/?
30.3 /
15.1
(1)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml
|
n^1/n^1
6.7 /
2.7
(4)
|
n^1/n^1
86.6 /
22.2
(4)
|
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml
|
n^1/n^1
4.5 /
2.4
(4)
|
n^1/n^1
1.5 /
1.0
(4)
|
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml
|
n^1/n^1
4.5 /
2.1
(4)
|
n^1/n^1
11.7 /
3.2
(4)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml
|
?/n^0
3.3 /
1.6
(2)
|
?/n^0
0.6 /
0.2
(2)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml
|
?/n^0
3.7 /
2.0
(2)
|
?/n^0
1.8 /
0.9
(2)
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml
|
n^1/?
76.7 /
26.6
(2)
|
n^1/?
87.9 /
22.4
(2)
|
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml
|
n^1/?
66.2 /
27.8
(2)
|
n^1/?
24.2 /
7.5
(2)
|
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml
|
n^1/?
77.2 /
26.4
(2)
|
n^1/?
88.1 /
22.4
(2)
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml
|
n^1/?
58.4 /
26.4
(2)
|
n^1/?
72.5 /
22.2
(2)
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml
|
n^1/?
71.4 /
26.4
(2)
|
n^1/?
80.0 /
22.2
(2)
|
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml
|
n^1/n^1
7.2 /
4.1
(4)
|
n^1/n^1
1.2 /
1.0
(4)
|
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml
|
n^1/?
61.7 /
26.8
(2)
|
n^1/?
44.9 /
18.9
(2)
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml
|
n^1/n^1
5.2 /
2.2
(4)
|
?/n^1
1.3 /
0.4
(2)
|
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml
|
n^1/?
54.4 /
27.4
(2)
|
n^1/n^1
62.8 /
23.1
(4)
|
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml
|
?/n^0
3.3 /
1.5
(2)
|
?/n^0
0.2 /
0.1
(2)
|
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml
|
n^1/n^1
4.6 /
2.1
(4)
|
n^1/n^1
20.4 /
7.0
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml
|
n^1/?
81.7 /
26.6
(2)
|
n^1/?
87.0 /
22.5
(2)
|
st_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR.xml
|
n^2/?
61.3 /
26.5
(2)
|
n^1/?
73.7 /
22.2
(1)
|
st_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml
|
n^1/?
71.8 /
26.7
(2)
|
n^1/?
87.5 /
22.2
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_Z.xml
|
n^1/?
69.9 /
26.6
(2)
|
.
61.4 /
22.3
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml
|
n^1/?
75.8 /
26.5
(2)
|
n^1/?
86.7 /
22.2
(2)
|
most_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml
|
n^1/?
57.5 /
27.1
(2)
|
n^1/?
54.0 /
22.1
(2)
|
most_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml
|
n^1/?
55.7 /
26.4
(2)
|
n^1/?
84.2 /
22.0
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml
|
n^1/?
65.7 /
26.4
(2)
|
n^1/?
79.4 /
22.1
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C.xml
|
n^1/?
81.0 /
26.7
(2)
|
n^1/?
88.3 /
22.7
(2)
|
st_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR.xml
|
exp/?
10.2 /
3.4
(2)
|
n^1/?
50.1 /
16.2
(1)
|
st_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml
|
n^1/?
67.9 /
26.4
(2)
|
n^1/?
86.4 /
22.3
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z.xml
|
exp/?
10.3 /
4.5
(2)
|
.
47.0 /
22.2
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml
|
n^1/?
68.0 /
26.7
(2)
|
n^1/?
87.8 /
22.5
(2)
|
st_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR.xml
|
n^1/n^1
8.1 /
3.0
(4)
|
n^1/n^1
5.8 /
2.0
(4)
|
st_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml
|
n^1/?
63.3 /
26.4
(2)
|
n^1/?
87.9 /
22.4
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_Z.xml
|
exp/?
7.8 /
3.3
(2)
|
.
27.8 /
8.7
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml
|
n^1/n^1
6.1 /
2.5
(4)
|
n^1/n^1
78.7 /
22.0
(4)
|
most_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml
|
n^1/n^3
14.5 /
5.8
(3)
|
n^1/n^1
9.1 /
4.2
(4)
|
most_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml
|
n^1/?
62.9 /
26.5
(2)
|
n^1/?
40.0 /
11.4
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml
|
?/n^0
4.0 /
1.7
(2)
|
?/n^1
1.3 /
0.5
(1)
|
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C.xml
|
n^1/?
92.5 /
26.6
(2)
|
n^1/?
85.7 /
22.6
(2)
|
t_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR.xml
|
n^1/?
65.0 /
26.5
(2)
|
n^1/?
57.2 /
22.0
(2)
|
t_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml
|
n^1/?
73.0 /
26.5
(2)
|
n^1/?
69.8 /
22.5
(2)
|
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z.xml
|
n^1/?
53.7 /
26.5
(2)
|
n^1/?
48.0 /
22.0
(2)
|
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C.xml
|
n^1/?
74.7 /
26.5
(2)
|
n^1/?
87.5 /
22.3
(2)
|
t_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml
|
n^1/n^1
7.3 /
4.2
(4)
|
n^1/n^1
9.6 /
5.5
(4)
|
t_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml
|
n^1/?
59.3 /
26.7
(2)
|
n^1/?
42.9 /
13.8
(2)
|
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml
|
?/n^0
3.6 /
1.7
(2)
|
?/n^0
3.4 /
1.1
(2)
|
ermost_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml
|
n^1/n^1
8.9 /
5.0
(4)
|
n^1/n^1
60.6 /
22.2
(4)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml
|
exp/?
9.5 /
3.4
(2)
|
.
81.3 /
22.0
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml
|
?/n^0
3.8 /
2.3
(2)
|
?/n^0
0.1 /
0.0
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_C.xml
|
n^1/?
72.8 /
26.4
(2)
|
n^1/?
74.2 /
22.7
(2)
|
most_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR.xml
|
n^1/n^1
12.2 /
3.9
(4)
|
n^1/n^1
1.3 /
0.5
(4)
|
most_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml
|
n^1/?
53.6 /
27.3
(2)
|
n^1/n^2
48.2 /
22.2
(4)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml
|
?/n^0
3.3 /
5.5
(2)
|
?/n^0
0.1 /
0.1
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml
|
n^1/n^1
7.7 /
3.6
(4)
|
?/n^1
1.1 /
0.3
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_C.xml
|
n^1/?
71.2 /
26.8
(2)
|
n^1/?
87.3 /
22.2
(2)
|
most_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR.xml
|
n^1/n^3
9.0 /
4.0
(3)
|
n^1/n^1
11.1 /
7.2
(4)
|
most_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml
|
n^1/?
55.2 /
26.5
(2)
|
n^1/?
89.6 /
22.7
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml
|
n^1/n^2
13.5 /
7.6
(3)
|
?/n^1
46.3 /
22.1
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml
|
n^1/?
79.6 /
26.5
(2)
|
n^1/?
87.9 /
22.3
(2)
|
most_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml
|
n^1/?
58.5 /
26.5
(2)
|
n^1/?
90.3 /
14.8
(2)
|
most_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml
|
n^2/?
76.0 /
26.4
(2)
|
n^1/?
88.8 /
22.6
(1)
|
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml
|
n^1/?
55.4 /
26.4
(2)
|
n^1/?
57.2 /
22.0
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml
|
n^1/?
83.2 /
26.7
(2)
|
n^1/?
87.9 /
22.3
(2)
|
most_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR.xml
|
n^1/?
77.2 /
26.4
(2)
|
n^1/?
34.5 /
12.4
(2)
|
most_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml
|
n^1/?
73.0 /
26.6
(2)
|
n^1/?
83.9 /
22.1
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml
|
?/n^0
3.2 /
1.5
(2)
|
?/n^0
0.6 /
0.2
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml
|
n^1/?
50.4 /
26.7
(2)
|
.
58.4 /
22.0
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml
|
n^1/n^2
61.5 /
20.5
(4)
|
n^1/?
57.3 /
22.1
(2)
|
most_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml
|
n^1/?
62.3 /
26.5
(2)
|
n^1/?
67.1 /
22.1
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml
|
exp/?
7.2 /
3.4
(2)
|
.
1.9 /
0.7
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml
|
n^1/?
79.0 /
26.4
(2)
|
n^1/?
74.7 /
22.1
(2)
|
most_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml
|
exp/?
8.7 /
3.7
(2)
|
.
51.3 /
22.2
(0)
|
most_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml
|
n^1/n^1
17.9 /
9.2
(4)
|
n^1/n^1
21.5 /
7.0
(4)
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_C.xml
|
n^1/?
64.7 /
27.3
(2)
|
n^1/?
53.7 /
22.4
(2)
|
riting/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml
|
n^1/n^1
9.9 /
4.1
(4)
|
n^1/n^1
3.3 /
2.7
(4)
|
riting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml
|
n^1/?
72.7 /
27.0
(2)
|
n^1/?
87.3 /
22.3
(2)
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml
|
n^2/n^2
18.2 /
7.8
(4)
|
n^1/n^2
34.7 /
14.2
(3)
|
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml
|
n^1/n^1
5.4 /
2.8
(4)
|
n^1/n^1
72.5 /
22.2
(4)
|
t_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml
|
n^1/n^1
4.7 /
2.4
(4)
|
n^1/n^1
0.7 /
0.3
(4)
|
t_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml
|
n^1/n^1
4.6 /
2.8
(4)
|
n^1/n^1
1.3 /
0.4
(4)
|
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml
|
exp/?
8.0 /
3.0
(2)
|
.
21.9 /
7.0
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml
|
n^1/?
74.8 /
26.4
(2)
|
n^1/n^1
87.5 /
22.3
(4)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml
|
exp/?
15.6 /
9.0
(2)
|
n^1/?
59.3 /
22.0
(1)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml
|
n^1/?
48.4 /
26.7
(2)
|
n^1/?
63.9 /
22.5
(2)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml
|
exp/?
12.4 /
12.8
(2)
|
.
56.6 /
22.0
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml
|
n^1/?
73.3 /
26.4
(2)
|
n^1/n^1
78.4 /
22.5
(4)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml
|
n^1/?
53.9 /
26.5
(2)
|
n^1/?
60.7 /
22.0
(2)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml
|
n^1/?
49.5 /
26.7
(2)
|
n^1/?
46.5 /
22.3
(2)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml
|
n^1/?
56.1 /
26.6
(2)
|
.
60.4 /
22.1
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C.xml
|
n^1/?
79.9 /
26.5
(2)
|
n^1/?
72.7 /
22.8
(2)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR.xml
|
n^1/n^3
9.1 /
3.9
(3)
|
n^1/n^1
3.0 /
1.1
(4)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml
|
n^1/?
58.6 /
26.4
(2)
|
n^1/?
87.9 /
22.3
(2)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_Z.xml
|
?/n^0
3.4 /
1.8
(2)
|
?/n^0
1.3 /
0.4
(2)
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml
|
n^1/?
62.6 /
27.3
(2)
|
n^1/?
70.5 /
22.5
(2)
|
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR.xml
|
n^1/n^1
6.6 /
3.0
(4)
|
n^1/n^1
13.4 /
4.7
(4)
|
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml
|
n^1/?
77.0 /
26.5
(2)
|
n^1/?
47.3 /
22.8
(2)
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_Z.xml
|
n^1/?
35.7 /
24.9
(2)
|
.
15.3 /
5.5
(0)
|
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml
|
n^1/?
48.1 /
30.1
(2)
|
n^1/n^1
50.5 /
22.4
(4)
|
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml
|
n^1/n^1
4.7 /
2.1
(4)
|
n^1/n^1
0.8 /
0.3
(4)
|
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml
|
n^1/?
55.4 /
26.8
(2)
|
n^1/?
82.6 /
22.1
(2)
|
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml
|
?/n^0
3.3 /
1.6
(2)
|
?/n^1
1.4 /
0.4
(1)
|
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml
|
?/n^0
3.5 /
1.6
(2)
|
?/n^1
2.3 /
0.7
(1)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml
|
n^1/?
63.4 /
27.2
(2)
|
n^1/?
87.4 /
22.4
(2)
|
writing/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml
|
n^1/n^1
8.8 /
3.5
(4)
|
n^1/n^1
1.4 /
0.6
(4)
|
writing/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml
|
n^1/?
62.6 /
26.8
(2)
|
n^1/?
87.3 /
22.2
(2)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml
|
n^3/?
59.5 /
27.8
(2)
|
n^1/n^3
48.5 /
20.4
(3)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml
|
n^3/?
109.4 /
26.7
(2)
|
n^1/n^3
67.0 /
22.1
(3)
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml
|
n^1/?
88.5 /
26.6
(2)
|
n^1/?
85.1 /
22.6
(2)
|
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml
|
n^1/n^1
10.7 /
3.5
(4)
|
n^1/n^1
13.4 /
7.2
(4)
|
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml
|
n^1/?
76.2 /
26.5
(2)
|
n^1/?
87.7 /
22.3
(2)
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml
|
n^1/n^1
9.3 /
4.0
(4)
|
?/n^1
43.2 /
22.3
(2)
|
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml
|
.
78.8 /
27.9
(0)
|
n^1/?
71.2 /
22.3
(2)
|
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml
|
.
96.1 /
28.2
(0)
|
.
85.1 /
22.1
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_C.xml
|
n^1/?
103.8 /
28.3
(2)
|
n^1/?
84.8 /
22.3
(2)
|
g/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml
|
exp/?
82.6 /
30.1
(2)
|
n^1/?
71.3 /
22.2
(1)
|
g/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml
|
.
75.6 /
28.4
(0)
|
n^1/?
83.9 /
22.1
(2)
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml
|
exp/?
101.3 /
30.1
(2)
|
.
84.5 /
22.1
(0)
|
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml
|
n^1/?
92.6 /
28.4
(2)
|
n^1/?
87.5 /
22.3
(2)
|
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml
|
.
47.0 /
30.0
(0)
|
n^1/?
48.0 /
24.4
(2)
|
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml
|
n^1/?
95.0 /
28.0
(2)
|
n^1/?
81.5 /
22.1
(2)
|
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml
|
exp/?
112.0 /
30.1
(2)
|
.
80.9 /
22.0
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml
|
n^1/?
97.3 /
27.0
(2)
|
n^1/?
85.1 /
22.3
(2)
|
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml
|
n^1/?
76.8 /
26.5
(2)
|
n^1/?
65.5 /
22.1
(2)
|
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml
|
.
72.8 /
26.9
(0)
|
n^1/?
69.4 /
22.1
(2)
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml
|
n^1/?
78.7 /
26.5
(2)
|
.
65.2 /
22.1
(0)
|
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml
|
n^1/?
86.2 /
29.8
(2)
|
n^1/?
86.8 /
22.1
(2)
|
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml
|
.
93.9 /
28.5
(0)
|
n^1/?
82.0 /
22.1
(2)
|
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml
|
n^1/?
61.3 /
27.0
(2)
|
n^1/?
72.2 /
22.2
(2)
|
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml
|
?/n^1
18.4 /
6.0
(2)
|
?/n^1
60.4 /
22.1
(2)
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml
|
n^1/?
78.0 /
26.9
(2)
|
n^1/?
57.1 /
22.5
(2)
|
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml
|
n^1/n^1
11.5 /
4.5
(4)
|
n^1/n^1
59.5 /
22.0
(4)
|
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml
|
n^1/?
93.3 /
29.7
(2)
|
n^1/?
87.5 /
22.4
(2)
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml
|
n^1/n^1
10.9 /
4.3
(4)
|
?/n^1
50.0 /
22.2
(2)
|
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml
|
n^1/?
96.5 /
26.9
(2)
|
n^1/?
83.6 /
22.1
(2)
|
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml
|
.
82.3 /
30.1
(0)
|
n^1/?
69.2 /
22.2
(2)
|
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml
|
n^1/?
88.9 /
26.6
(2)
|
n^1/?
45.1 /
22.7
(2)
|
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml
|
n^1/?
85.8 /
26.5
(2)
|
.
66.8 /
22.1
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml
|
n^1/?
94.8 /
26.5
(2)
|
n^1/?
82.9 /
22.1
(2)
|
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml
|
exp/?
34.7 /
10.6
(2)
|
n^1/?
68.3 /
22.9
(1)
|
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml
|
.
62.5 /
27.0
(0)
|
n^1/?
55.3 /
22.5
(2)
|
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml
|
n^1/?
87.8 /
26.6
(2)
|
.
53.6 /
22.2
(0)
|
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml
|
n^1/?
103.4 /
27.5
(2)
|
n^1/?
83.3 /
22.1
(2)
|
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml
|
.
85.8 /
26.6
(0)
|
n^1/?
53.8 /
22.5
(2)
|
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml
|
n^1/?
72.6 /
26.5
(2)
|
n^1/?
73.4 /
22.1
(2)
|
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml
|
n^1/?
114.9 /
26.4
(2)
|
.
73.6 /
22.2
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml
|
n^1/?
77.5 /
26.6
(2)
|
n^1/?
89.1 /
22.8
(2)
|
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml
|
n^1/?
58.1 /
26.7
(2)
|
n^1/?
87.1 /
22.4
(2)
|
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml
|
n^1/?
57.7 /
26.5
(2)
|
n^1/?
87.7 /
22.3
(2)
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml
|
n^1/?
46.5 /
30.9
(2)
|
.
73.9 /
22.2
(0)
|
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml
|
n^1/?
93.2 /
26.9
(2)
|
n^1/?
85.2 /
22.1
(2)
|
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml
|
n^1/?
54.9 /
26.7
(2)
|
n^1/?
87.6 /
22.4
(2)
|
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml
|
exp/?
10.2 /
3.5
(2)
|
.
73.9 /
22.0
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml
|
n^1/?
71.8 /
26.4
(2)
|
n^1/n^1
87.0 /
22.1
(4)
|
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml
|
exp/?
8.2 /
3.6
(2)
|
.
87.0 /
22.1
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml
|
exp/?
10.6 /
3.5
(2)
|
n^1/?
67.3 /
22.0
(1)
|
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml
|
n^1/?
58.6 /
27.3
(2)
|
n^1/n^1
54.6 /
22.7
(4)
|
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml
|
exp/?
11.1 /
4.1
(2)
|
n^1/?
69.7 /
22.0
(1)
|
ing/Transformed_CSR_04/MYNAT_complete-noand_FR.xml
|
n^2/?
97.1 /
26.7
(2)
|
n^1/?
82.1 /
22.0
(1)
|
ting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml
|
n^1/?
86.5 /
26.6
(2)
|
.
65.9 /
22.1
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_C.xml
|
n^1/?
89.6 /
30.1
(2)
|
n^1/?
84.6 /
22.0
(2)
|
Rewriting/Transformed_CSR_04/MYNAT_complete_FR.xml
|
exp/?
24.0 /
7.1
(2)
|
n^1/?
87.7 /
22.4
(1)
|
Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml
|
exp/?
52.8 /
23.7
(2)
|
n^1/?
57.5 /
22.6
(1)
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml
|
n^1/?
78.4 /
26.5
(2)
|
.
87.4 /
22.3
(0)
|
ting/Transformed_CSR_04/MYNAT_complete_noand_C.xml
|
n^1/?
90.1 /
28.4
(2)
|
n^1/?
59.5 /
22.7
(2)
|
ing/Transformed_CSR_04/MYNAT_complete_noand_GM.xml
|
n^1/?
64.6 /
28.4
(2)
|
n^1/?
83.7 /
22.0
(2)
|
ting/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml
|
n^2/n^2
22.7 /
8.3
(4)
|
n^1/?
87.8 /
22.5
(1)
|
iting/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml
|
n^1/n^1
9.7 /
3.7
(4)
|
?/n^1
28.1 /
9.0
(2)
|
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml
|
n^1/?
82.5 /
26.5
(2)
|
n^1/?
86.2 /
22.7
(2)
|
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR.xml
|
n^1/?
58.2 /
27.4
(2)
|
n^1/?
61.7 /
22.5
(2)
|
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml
|
exp/?
20.2 /
7.8
(2)
|
n^1/?
66.5 /
22.3
(1)
|
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z.xml
|
n^1/?
60.6 /
26.6
(2)
|
?/n^1
24.6 /
6.4
(2)
|
iting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml
|
n^1/?
92.9 /
26.6
(2)
|
n^1/?
68.6 /
22.1
(2)
|
ting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml
|
exp/?
29.8 /
13.1
(2)
|
n^1/?
69.5 /
22.8
(1)
|
ting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml
|
n^2/n^2
12.5 /
4.5
(4)
|
?/n^2
56.7 /
22.0
(2)
|
t_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml
|
n^1/?
73.7 /
27.0
(2)
|
n^1/?
87.9 /
22.4
(2)
|
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml
|
n^2/n^2
10.2 /
5.3
(4)
|
n^1/n^2
5.2 /
1.7
(3)
|
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml
|
n^2/?
41.5 /
30.1
(2)
|
n^1/?
74.7 /
22.4
(1)
|
iting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml
|
n^1/?
88.2 /
26.5
(2)
|
n^1/?
67.4 /
22.2
(2)
|
ting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml
|
exp/?
38.6 /
14.7
(2)
|
n^1/?
70.5 /
22.3
(1)
|
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml
|
n^1/?
85.0 /
27.9
(2)
|
n^1/?
83.4 /
22.1
(2)
|
g/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml
|
n^1/?
83.5 /
27.2
(2)
|
.
83.6 /
22.1
(0)
|
writing/Transformed_CSR_04/OvConsOS_complete_C.xml
|
n^1/?
99.7 /
26.7
(2)
|
n^1/?
83.0 /
22.1
(2)
|
riting/Transformed_CSR_04/OvConsOS_complete_FR.xml
|
exp/?
40.6 /
12.7
(2)
|
n^1/?
68.6 /
22.5
(1)
|
riting/Transformed_CSR_04/OvConsOS_complete_GM.xml
|
.
88.9 /
27.6
(0)
|
n^1/?
83.5 /
22.1
(2)
|
writing/Transformed_CSR_04/OvConsOS_complete_Z.xml
|
n^1/?
73.4 /
26.7
(2)
|
.
84.9 /
22.2
(0)
|
g/Transformed_CSR_04/OvConsOS_complete_noand_C.xml
|
n^1/?
103.3 /
28.3
(2)
|
n^1/?
77.6 /
24.0
(2)
|
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml
|
.
89.3 /
27.5
(0)
|
n^1/?
66.3 /
22.2
(2)
|
g/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml
|
n^1/?
79.2 /
26.4
(2)
|
n^1/?
84.0 /
22.4
(2)
|
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml
|
n^1/?
65.6 /
26.6
(2)
|
.
85.0 /
22.0
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_C.xml
|
n^1/?
80.9 /
26.5
(2)
|
n^1/?
67.7 /
22.1
(2)
|
writing/Transformed_CSR_04/OvConsOS_nokinds_FR.xml
|
n^1/?
63.4 /
26.4
(2)
|
n^1/?
87.8 /
22.3
(2)
|
writing/Transformed_CSR_04/OvConsOS_nokinds_GM.xml
|
n^1/?
62.6 /
26.7
(2)
|
n^1/?
86.5 /
22.3
(2)
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml
|
n^1/?
50.8 /
26.5
(2)
|
.
84.3 /
22.1
(0)
|
ng/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml
|
n^1/?
101.9 /
28.1
(2)
|
n^1/?
82.1 /
22.1
(2)
|
g/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml
|
n^1/?
75.9 /
26.6
(2)
|
n^1/?
83.4 /
22.2
(2)
|
g/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml
|
n^1/?
67.1 /
26.4
(2)
|
n^1/?
82.6 /
22.4
(2)
|
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml
|
exp/?
10.2 /
4.5
(2)
|
.
71.4 /
22.2
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml
|
n^1/?
76.6 /
26.4
(2)
|
n^1/n^1
87.8 /
22.4
(4)
|
writing/Transformed_CSR_04/OvConsOS_nosorts_FR.xml
|
exp/?
9.0 /
3.9
(2)
|
n^1/?
64.8 /
22.2
(1)
|
writing/Transformed_CSR_04/OvConsOS_nosorts_GM.xml
|
exp/?
12.4 /
4.0
(2)
|
n^1/?
69.8 /
22.0
(1)
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml
|
exp/?
9.9 /
3.5
(2)
|
.
70.4 /
22.0
(0)
|
ng/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml
|
n^1/?
81.5 /
26.6
(2)
|
n^1/?
95.4 /
22.1
(2)
|
g/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml
|
exp/?
15.3 /
5.9
(2)
|
n^1/?
87.7 /
22.3
(1)
|
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml
|
n^2/?
99.4 /
26.6
(2)
|
n^1/?
59.0 /
22.3
(1)
|
Transformed_CSR_04/PALINDROME_complete-noand_L.xml
|
exp/?
20.6 /
6.4
(2)
|
.
85.7 /
22.1
(0)
|
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml
|
n^1/?
90.3 /
26.7
(2)
|
.
81.0 /
22.0
(0)
|
iting/Transformed_CSR_04/PALINDROME_complete_C.xml
|
n^1/?
99.3 /
26.8
(2)
|
n^1/?
84.8 /
22.1
(2)
|
ting/Transformed_CSR_04/PALINDROME_complete_FR.xml
|
exp/?
42.0 /
15.5
(2)
|
n^1/?
66.3 /
22.1
(1)
|
ting/Transformed_CSR_04/PALINDROME_complete_GM.xml
|
n^1/?
84.1 /
30.1
(2)
|
n^1/?
82.9 /
22.1
(2)
|
iting/Transformed_CSR_04/PALINDROME_complete_Z.xml
|
.
11.4 /
15.6
(0)
|
.
84.0 /
22.5
(0)
|
Transformed_CSR_04/PALINDROME_complete_noand_C.xml
|
n^1/?
86.1 /
27.1
(2)
|
n^1/?
85.1 /
22.1
(2)
|
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml
|
n^1/?
92.7 /
26.6
(2)
|
n^1/?
85.3 /
22.2
(2)
|
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml
|
n^2/n^2
35.4 /
11.9
(4)
|
n^1/n^3
89.6 /
22.9
(2)
|
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml
|
exp/?
11.2 /
3.7
(2)
|
.
67.8 /
22.0
(0)
|
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml
|
n^1/n^1
17.8 /
5.7
(4)
|
?/n^1
36.9 /
11.9
(2)
|
riting/Transformed_CSR_04/PALINDROME_nokinds_C.xml
|
n^1/?
72.9 /
26.5
(2)
|
n^1/n^1
87.7 /
22.4
(4)
|
iting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml
|
n^1/?
55.9 /
27.2
(2)
|
n^1/n^3
60.7 /
23.5
(4)
|
iting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml
|
n^1/?
64.7 /
26.7
(2)
|
n^1/?
78.6 /
22.3
(2)
|
riting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml
|
n^1/?
63.7 /
26.5
(2)
|
?/n^1
60.4 /
22.1
(2)
|
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml
|
n^1/?
82.0 /
26.9
(2)
|
n^1/n^1
78.8 /
22.1
(4)
|
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml
|
n^1/?
82.7 /
28.6
(2)
|
n^1/?
86.0 /
22.5
(2)
|
riting/Transformed_CSR_04/PALINDROME_nosorts_C.xml
|
n^1/?
72.8 /
26.6
(2)
|
n^1/n^1
87.5 /
22.3
(4)
|
iting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml
|
n^1/?
119.7 /
27.1
(2)
|
n^1/?
64.6 /
22.3
(2)
|
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml
|
n^1/?
74.2 /
26.5
(2)
|
n^1/n^1
87.2 /
22.4
(4)
|
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml
|
n^1/?
68.0 /
26.4
(2)
|
n^1/?
86.2 /
22.1
(2)
|
ing/Transformed_CSR_04/PEANO_complete-noand_FR.xml
|
n^2/?
83.5 /
26.9
(2)
|
n^1/?
85.3 /
22.2
(1)
|
ting/Transformed_CSR_04/PEANO_complete-noand_Z.xml
|
n^1/n^2
37.5 /
11.4
(4)
|
.
88.2 /
22.6
(0)
|
_Rewriting/Transformed_CSR_04/PEANO_complete_C.xml
|
n^1/?
79.7 /
26.6
(2)
|
n^1/?
81.5 /
22.1
(2)
|
Rewriting/Transformed_CSR_04/PEANO_complete_FR.xml
|
exp/?
16.9 /
6.6
(2)
|
n^1/?
87.9 /
22.3
(1)
|
Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml
|
n^1/?
75.8 /
27.3
(2)
|
n^1/?
60.6 /
22.6
(2)
|
_Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml
|
n^1/?
92.1 /
27.9
(2)
|
.
83.9 /
22.2
(0)
|
ting/Transformed_CSR_04/PEANO_complete_noand_C.xml
|
n^1/?
108.2 /
30.1
(2)
|
n^1/?
82.5 /
22.1
(2)
|
ing/Transformed_CSR_04/PEANO_complete_noand_GM.xml
|
n^1/?
82.0 /
26.6
(2)
|
n^1/?
81.1 /
22.2
(2)
|
ting/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml
|
n^2/n^2
15.4 /
4.9
(4)
|
n^1/n^2
52.6 /
17.4
(3)
|
iting/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml
|
n^1/n^1
8.6 /
3.7
(4)
|
?/n^1
2.8 /
1.1
(2)
|
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml
|
n^1/?
74.2 /
27.2
(2)
|
n^1/?
86.4 /
22.1
(2)
|
_Rewriting/Transformed_CSR_04/PEANO_nokinds_FR.xml
|
n^2/?
74.6 /
26.4
(2)
|
n^1/n^2
56.6 /
18.3
(3)
|
_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml
|
n^1/?
63.5 /
26.7
(2)
|
n^1/?
87.9 /
22.4
(2)
|
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml
|
n^1/?
59.8 /
26.5
(2)
|
?/n^1
18.2 /
4.8
(2)
|
iting/Transformed_CSR_04/PEANO_nokinds_noand_C.xml
|
n^1/?
68.5 /
26.7
(2)
|
n^1/?
85.0 /
22.3
(2)
|
ting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml
|
n^1/?
66.0 /
26.9
(2)
|
n^1/?
87.6 /
22.4
(2)
|
ting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml
|
n^1/n^1
5.1 /
2.7
(4)
|
?/n^1
15.0 /
7.2
(2)
|
t_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml
|
n^1/?
50.9 /
28.0
(2)
|
n^1/n^1
73.3 /
22.2
(4)
|
_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml
|
n^1/n^1
4.6 /
2.4
(4)
|
n^1/n^1
0.5 /
0.1
(4)
|
_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml
|
n^2/?
53.3 /
26.7
(2)
|
n^1/?
64.1 /
22.0
(1)
|
iting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml
|
n^1/?
63.6 /
26.6
(2)
|
n^1/n^1
83.8 /
22.1
(4)
|
ting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml
|
n^2/?
57.7 /
26.8
(2)
|
n^1/?
71.6 /
22.0
(1)
|
e_Complexity_Innermost_Rewriting/Various_04/04.xml
|
?/n^0
3.5 /
1.6
(2)
|
?/n^0
2.1 /
1.1
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/08.xml
|
?/n^0
3.9 /
2.0
(2)
|
?/n^0
67.0 /
22.1
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/10.xml
|
n^1/?
51.1 /
27.0
(2)
|
n^1/?
84.0 /
22.4
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/11.xml
|
?/n^0
3.4 /
1.6
(2)
|
.
9.9 /
3.7
(0)
|
e_Complexity_Innermost_Rewriting/Various_04/12.xml
|
n^1/?
63.3 /
27.9
(2)
|
n^1/?
70.0 /
22.1
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/13.xml
|
n^1/?
63.1 /
26.4
(2)
|
n^1/?
77.5 /
22.0
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/14.xml
|
n^1/n^2
52.0 /
19.6
(4)
|
n^1/?
50.8 /
22.6
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/15.xml
|
n^1/n^1
3.9 /
1.9
(4)
|
?/n^1
45.0 /
22.0
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/18.xml
|
n^1/n^1
8.8 /
3.2
(4)
|
?/n^1
68.8 /
22.0
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/22.xml
|
n^1/n^1
7.1 /
2.9
(4)
|
n^1/n^1
13.5 /
5.3
(4)
|
e_Complexity_Innermost_Rewriting/Various_04/23.xml
|
n^1/n^1
16.0 /
2.9
(4)
|
n^1/n^1
2.0 /
0.7
(4)
|
e_Complexity_Innermost_Rewriting/Various_04/24.xml
|
n^1/n^1
4.8 /
2.9
(4)
|
n^1/n^2
33.4 /
12.0
(3)
|
xity_Innermost_Rewriting/Waldmann_06/jwmatchb1.xml
|
n^1/n^1
5.0 /
2.1
(4)
|
n^1/n^1
31.9 /
22.0
(4)
|
xity_Innermost_Rewriting/Waldmann_06/jwmatchb2.xml
|
n^1/n^1
4.8 /
2.4
(4)
|
n^1/n^1
32.1 /
22.0
(4)
|
mplexity_Innermost_Rewriting/Waldmann_06/jwno1.xml
|
n^1/?
41.3 /
26.5
(2)
|
n^1/?
21.6 /
7.0
(2)
|
mplexity_Innermost_Rewriting/Waldmann_06/jwno4.xml
|
n^1/?
29.0 /
6.2
(2)
|
n^1/?
25.7 /
11.8
(2)
|
mplexity_Innermost_Rewriting/Waldmann_06/jwno6.xml
|
n^1/?
14.5 /
4.9
(2)
|
n^1/?
24.5 /
8.9
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z10.xml
|
n^1/?
52.0 /
28.7
(2)
|
n^1/?
23.5 /
6.8
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z12.xml
|
n^1/?
52.6 /
26.5
(2)
|
n^1/?
69.2 /
22.0
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z13.xml
|
n^1/?
42.1 /
28.3
(2)
|
n^1/?
57.9 /
22.6
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z14.xml
|
n^1/?
61.0 /
26.6
(2)
|
n^1/?
68.0 /
22.1
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z15.xml
|
n^1/?
75.8 /
26.4
(2)
|
n^1/?
48.0 /
22.4
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z16.xml
|
n^1/?
64.7 /
26.4
(2)
|
n^1/?
73.6 /
22.2
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z17.xml
|
n^1/?
41.1 /
28.0
(2)
|
n^1/?
86.9 /
22.1
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z18.xml
|
n^1/?
59.6 /
26.7
(2)
|
n^1/?
84.4 /
22.1
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z23.xml
|
n^1/n^1
5.8 /
2.5
(4)
|
n^1/?
75.4 /
22.0
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z24.xml
|
n^1/?
68.2 /
26.4
(2)
|
n^1/?
79.4 /
22.0
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z26.xml
|
n^1/n^1
5.1 /
2.6
(4)
|
n^1/n^1
5.7 /
1.5
(4)
|
_Complexity_Innermost_Rewriting/Zantema_05/z27.xml
|
n^1/?
49.9 /
26.5
(2)
|
n^1/?
15.1 /
4.3
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z28.xml
|
n^1/?
44.8 /
27.3
(2)
|
n^1/?
45.5 /
22.0
(2)
|
omplexity_Innermost_Rewriting/hoca/dfs-flatten.xml
|
n^1/n^1
10.0 /
5.9
(4)
|
n^1/n^1
2.1 /
0.6
(4)
|
_Complexity_Innermost_Rewriting/hoca/fib_llist.xml
|
n^1/?
76.6 /
26.8
(2)
|
n^1/?
86.6 /
22.1
(2)
|
me_Complexity_Innermost_Rewriting/hoca/flatten.xml
|
n^1/n^1
13.2 /
6.8
(4)
|
n^1/n^1
3.7 /
1.2
(4)
|
me_Complexity_Innermost_Rewriting/hoca/foldsum.xml
|
n^1/n^1
26.2 /
11.6
(4)
|
n^1/n^1
10.8 /
3.0
(4)
|
Runtime_Complexity_Innermost_Rewriting/hoca/id.xml
|
n^1/n^1
5.7 /
2.7
(4)
|
n^1/n^1
1.4 /
0.4
(4)
|
Complexity_Innermost_Rewriting/hoca/isort-fold.xml
|
n^1/n^2
33.1 /
8.4
(4)
|
n^1/n^2
58.9 /
22.2
(4)
|
time_Complexity_Innermost_Rewriting/hoca/isort.xml
|
n^1/n^2
12.6 /
4.2
(4)
|
n^1/n^2
45.4 /
21.9
(4)
|
e_Complexity_Innermost_Rewriting/hoca/mappplus.xml
|
n^1/n^2
7.6 /
4.9
(4)
|
n^1/n^2
3.7 /
1.5
(4)
|
mplexity_Innermost_Rewriting/hoca/mergesort-dc.xml
|
n^1/?
87.8 /
26.5
(2)
|
n^1/?
80.2 /
22.0
(2)
|
untime_Complexity_Innermost_Rewriting/hoca/mss.xml
|
n^1/?
49.4 /
27.2
(2)
|
n^1/?
48.2 /
17.3
(2)
|
ime_Complexity_Innermost_Rewriting/hoca/rev-dl.xml
|
n^1/n^1
5.7 /
3.0
(4)
|
n^1/n^1
2.0 /
0.6
(4)
|
_Complexity_Innermost_Rewriting/hoca/rev-fletf.xml
|
n^1/n^1
5.1 /
2.5
(4)
|
n^1/n^1
3.2 /
0.9
(4)
|
_Complexity_Innermost_Rewriting/hoca/rev-foldl.xml
|
n^1/n^1
5.2 /
2.9
(4)
|
n^1/n^1
0.5 /
0.2
(4)
|
e_Complexity_Innermost_Rewriting/hoca/rpm-lazy.xml
|
n^1/?
75.8 /
26.5
(2)
|
n^1/?
85.0 /
22.1
(2)
|
untime_Complexity_Innermost_Rewriting/hoca/sum.xml
|
n^1/n^1
4.7 /
2.5
(4)
|
n^1/n^1
1.1 /
0.3
(4)
|
e_Complexity_Innermost_Rewriting/hoca/sum_sqs3.xml
|
n^2/?
58.0 /
26.8
(2)
|
n^1/?
66.9 /
22.1
(1)
|
lexity_Innermost_Rewriting/raML/appendAll.raml.xml
|
n^1/n^1
13.2 /
5.4
(4)
|
?/n^1
11.3 /
3.7
(2)
|
e_Complexity_Innermost_Rewriting/raML/bfs.raml.xml
|
n^1/?
63.1 /
29.4
(2)
|
.
48.6 /
22.5
(0)
|
lexity_Innermost_Rewriting/raML/bft_mmult.raml.xml
|
n^1/?
61.4 /
27.4
(2)
|
.
41.5 /
22.7
(0)
|
exity_Innermost_Rewriting/raML/bitvectors.raml.xml
|
.
86.9 /
27.4
(0)
|
.
84.7 /
22.1
(0)
|
xity_Innermost_Rewriting/raML/clevermmult.raml.xml
|
n^1/n^2
47.9 /
19.3
(4)
|
?/n^2
71.8 /
19.3
(2)
|
exity_Innermost_Rewriting/raML/duplicates.raml.xml
|
n^1/n^2
24.9 /
20.0
(4)
|
.
72.7 /
22.1
(0)
|
Complexity_Innermost_Rewriting/raML/dyade.raml.xml
|
n^1/n^2
36.0 /
14.8
(4)
|
?/n^2
9.8 /
3.2
(2)
|
ity_Innermost_Rewriting/raML/eratosthenes.raml.xml
|
.
69.0 /
26.7
(0)
|
?/n^2
75.1 /
22.1
(2)
|
mplexity_Innermost_Rewriting/raML/flatten.raml.xml
|
n^1/n^2
45.3 /
20.6
(4)
|
.
57.0 /
22.9
(0)
|
ty_Innermost_Rewriting/raML/insertionsort.raml.xml
|
n^1/?
63.7 /
26.8
(2)
|
.
56.4 /
22.3
(0)
|
plexity_Innermost_Rewriting/raML/listsort.raml.xml
|
n^1/?
65.1 /
26.9
(2)
|
?/n^2
66.1 /
23.1
(2)
|
t_Rewriting/raML/longestCommonSubsequence.raml.xml
|
n^1/?
79.6 /
26.5
(2)
|
.
66.1 /
22.3
(0)
|
omplexity_Innermost_Rewriting/raML/matrix.raml.xml
|
.
67.0 /
27.3
(0)
|
.
85.1 /
22.1
(0)
|
lexity_Innermost_Rewriting/raML/mergesort.raml.xml
|
n^1/?
65.0 /
26.7
(2)
|
.
86.8 /
22.3
(0)
|
mplexity_Innermost_Rewriting/raML/minsort.raml.xml
|
n^1/n^3
39.0 /
15.0
(3)
|
?/n^2
59.1 /
22.7
(2)
|
Complexity_Innermost_Rewriting/raML/queue.raml.xml
|
n^1/?
54.1 /
27.1
(2)
|
.
62.4 /
22.1
(0)
|
lexity_Innermost_Rewriting/raML/quicksort.raml.xml
|
.
11.3 /
25.1
(0)
|
.
86.4 /
22.2
(0)
|
nnermost_Rewriting/raML/rationalPotential.raml.xml
|
n^1/n^1
6.1 /
2.9
(4)
|
?/n^1
6.1 /
2.1
(2)
|
ity_Innermost_Rewriting/raML/splitandsort.raml.xml
|
n^1/?
63.3 /
30.1
(2)
|
.
57.7 /
22.3
(0)
|
plexity_Innermost_Rewriting/raML/subtrees.raml.xml
|
n^1/n^2
14.9 /
12.0
(4)
|
?/n^2
26.1 /
9.9
(2)
|