ntime_Complexity_Innermost_Rewriting/AG01/#3.1.xml
|
?/n^1
3.4 /
1.5
(-)
|
?/n^1
0.9 /
0.5
(2)
|
n^1/n^2
23.5 /
20.8
(3)
|
time_Complexity_Innermost_Rewriting/AG01/#3.10.xml
|
.
578.1 /
297.9
(-)
|
.
583.7 /
293.2
(0)
|
n^1/?
570.3 /
280.9
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.12.xml
|
?/n^3
290.7 /
153.5
(-)
|
?/n^3
42.5 /
27.2
(2)
|
n^3/n^3
29.1 /
19.4
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.13.xml
|
.
560.9 /
300.0
(-)
|
.
512.0 /
293.4
(0)
|
n^1/?
570.3 /
280.8
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.15.xml
|
?/n^1
46.5 /
24.5
(-)
|
?/n^1
11.4 /
7.2
(2)
|
?/n^1
13.2 /
21.6
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.16.xml
|
?/n^3
192.1 /
99.5
(-)
|
?/n^3
16.1 /
8.5
(2)
|
n^2/n^3
27.8 /
24.4
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.17.xml
|
?/n^2
326.9 /
148.3
(-)
|
?/n^2
427.7 /
292.3
(2)
|
n^1/n^2
38.2 /
24.7
(4)
|
ime_Complexity_Innermost_Rewriting/AG01/#3.17a.xml
|
?/n^2
320.9 /
148.4
(-)
|
?/n^2
520.9 /
293.6
(2)
|
n^1/n^2
44.4 /
35.5
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.18.xml
|
.
335.1 /
179.3
(-)
|
.
40.5 /
22.2
(0)
|
n^1/?
305.0 /
280.9
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.19.xml
|
.
543.8 /
297.1
(-)
|
.
54.2 /
25.1
(0)
|
n^1/?
446.7 /
283.8
(2)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.2.xml
|
?/n^2
62.7 /
22.3
(-)
|
?/n^2
12.8 /
4.2
(2)
|
n^1/n^2
27.5 /
19.7
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.22.xml
|
?/n^2
17.1 /
11.3
(-)
|
?/n^2
4.5 /
2.8
(2)
|
n^2/n^2
18.4 /
15.4
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.23.xml
|
?/n^1
4.8 /
2.9
(-)
|
?/n^1
0.3 /
0.2
(2)
|
n^1/n^1
3.4 /
5.4
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.24.xml
|
?/n^1
5.3 /
1.8
(-)
|
?/n^1
0.9 /
0.7
(2)
|
n^1/n^1
1.0 /
2.2
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.26.xml
|
.
449.4 /
297.3
(-)
|
.
38.6 /
19.3
(0)
|
n^1/?
310.2 /
280.8
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.29.xml
|
?/n^0
2.1 /
1.3
(-)
|
?/n^0
0.0 /
0.1
(2)
|
?/n^0
2.6 /
5.2
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.31.xml
|
.
358.3 /
297.3
(-)
|
.
39.3 /
24.1
(0)
|
?/?
3.5 /
9.3
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.33.xml
|
?/n^0
6.3 /
5.6
(-)
|
?/n^0
0.8 /
1.6
(2)
|
?/n^0
2.5 /
4.3
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.35.xml
|
?/n^1
1.4 /
1.1
(-)
|
?/n^1
0.5 /
0.4
(2)
|
n^1/n^1
1.9 /
3.2
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.36.xml
|
.
539.4 /
297.2
(-)
|
.
112.5 /
72.6
(0)
|
n^1/?
466.1 /
280.9
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.37.xml
|
?/n^1
5.2 /
1.8
(-)
|
?/n^1
1.3 /
0.7
(2)
|
?/n^1
6.8 /
9.5
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.38.xml
|
.
402.1 /
297.2
(-)
|
.
77.1 /
39.0
(0)
|
?/?
5.5 /
6.3
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.39.xml
|
?/n^2
185.2 /
74.9
(-)
|
?/n^1
17.8 /
10.1
(2)
|
n^1/n^2
46.8 /
27.9
(3)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.4.xml
|
.
389.8 /
213.3
(-)
|
.
30.8 /
10.3
(0)
|
n^1/?
271.2 /
240.1
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.40.xml
|
?/n^2
379.4 /
148.3
(-)
|
?/n^2
64.4 /
26.7
(2)
|
n^1/n^2
42.9 /
55.1
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.41.xml
|
?/n^1
56.6 /
34.8
(-)
|
?/n^2
8.3 /
4.0
(1)
|
n^1/n^1
7.2 /
7.4
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.42.xml
|
?/n^1
108.2 /
85.3
(-)
|
?/n^2
27.8 /
11.9
(2)
|
n^1/n^2
30.1 /
24.6
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.47.xml
|
?/n^1
47.2 /
23.0
(-)
|
?/n^2
5.8 /
2.6
(1)
|
?/n^1
50.0 /
36.4
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.48.xml
|
?/n^2
270.8 /
148.3
(-)
|
?/n^2
388.9 /
293.1
(2)
|
n^1/n^2
15.8 /
26.7
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.49.xml
|
.
520.9 /
297.3
(-)
|
.
325.5 /
291.4
(0)
|
.
553.9 /
280.7
(0)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.5.xml
|
?/n^2
23.0 /
12.1
(-)
|
?/n^2
25.9 /
16.3
(2)
|
n^1/n^2
32.0 /
20.9
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.51.xml
|
?/n^1
10.1 /
3.4
(-)
|
?/n^1
3.8 /
1.3
(2)
|
?/n^1
3.0 /
4.4
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.52.xml
|
?/n^1
6.8 /
3.5
(-)
|
?/n^1
1.4 /
0.9
(2)
|
?/n^1
6.9 /
13.6
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.53.xml
|
?/n^3
491.0 /
223.8
(-)
|
?/n^3
62.0 /
32.3
(2)
|
n^3/n^3
34.8 /
21.3
(4)
|
ime_Complexity_Innermost_Rewriting/AG01/#3.53a.xml
|
?/n^0
1.9 /
1.2
(-)
|
?/n^0
0.2 /
0.1
(2)
|
?/n^0
4.8 /
5.2
(2)
|
ime_Complexity_Innermost_Rewriting/AG01/#3.53b.xml
|
?/n^1
27.5 /
21.9
(-)
|
?/n^1
1.4 /
0.8
(2)
|
?/n^1
12.3 /
21.8
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.54.xml
|
.
419.2 /
297.5
(-)
|
.
184.5 /
100.0
(0)
|
n^1/?
405.1 /
280.9
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.55.xml
|
.
450.8 /
298.3
(-)
|
.
479.6 /
292.4
(0)
|
n^2/?
547.1 /
281.2
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.56.xml
|
?/n^1
3.7 /
1.0
(-)
|
?/n^1
2.8 /
1.2
(2)
|
?/n^1
3.9 /
4.2
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.57.xml
|
.
522.6 /
234.4
(-)
|
.
385.7 /
292.8
(0)
|
n^1/?
315.7 /
281.5
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.5a.xml
|
?/n^2
182.0 /
148.9
(-)
|
?/n^2
36.2 /
24.0
(2)
|
n^1/n^2
34.2 /
24.4
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.5b.xml
|
?/n^3
318.6 /
155.2
(-)
|
?/n^3
108.9 /
63.7
(2)
|
n^1/n^3
53.9 /
40.9
(4)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.6.xml
|
?/n^2
270.5 /
115.4
(-)
|
?/n^2
32.7 /
10.4
(2)
|
n^1/n^2
36.0 /
29.6
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.6a.xml
|
?/n^2
142.7 /
118.2
(-)
|
?/n^2
36.1 /
23.3
(2)
|
n^1/n^2
36.1 /
22.5
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.6b.xml
|
?/n^3
349.2 /
177.0
(-)
|
?/n^3
139.5 /
53.0
(2)
|
n^1/n^3
55.8 /
34.8
(4)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.7.xml
|
?/n^1
47.3 /
24.1
(-)
|
?/n^1
11.3 /
7.4
(2)
|
n^1/n^2
19.5 /
15.4
(3)
|
time_Complexity_Innermost_Rewriting/AG01/#3.8a.xml
|
?/n^3
329.4 /
168.4
(-)
|
?/n^2
36.6 /
32.8
(2)
|
n^1/n^2
39.4 /
25.3
(4)
|
time_Complexity_Innermost_Rewriting/AG01/#3.8b.xml
|
?/n^4
486.9 /
245.5
(-)
|
?/n^4
107.9 /
65.6
(2)
|
n^1/?
599.2 /
281.1
(2)
|
ime_Complexity_Innermost_Rewriting/AG01/#4.30c.xml
|
.
507.0 /
297.7
(-)
|
.
192.3 /
121.2
(0)
|
n^1/?
661.8 /
281.5
(2)
|
exity_Innermost_Rewriting/AProVE_04/AAECC-ring.xml
|
.
692.4 /
297.4
(-)
|
.
739.0 /
292.4
(0)
|
.
16.7 /
12.9
(0)
|
Complexity_Innermost_Rewriting/AProVE_04/AAECC.xml
|
.
388.5 /
297.2
(-)
|
.
605.5 /
292.5
(0)
|
.
10.6 /
14.3
(0)
|
mplexity_Innermost_Rewriting/AProVE_04/IJCAR_1.xml
|
?/n^1
35.5 /
20.7
(-)
|
?/n^1
25.0 /
17.5
(2)
|
n^1/n^1
13.9 /
16.4
(4)
|
plexity_Innermost_Rewriting/AProVE_04/IJCAR_12.xml
|
?/n^2
155.7 /
74.7
(-)
|
?/n^2
13.0 /
5.4
(2)
|
n^2/n^2
21.1 /
17.4
(4)
|
plexity_Innermost_Rewriting/AProVE_04/IJCAR_18.xml
|
.
362.9 /
297.4
(-)
|
.
645.3 /
292.2
(0)
|
n^2/?
486.3 /
280.6
(2)
|
plexity_Innermost_Rewriting/AProVE_04/IJCAR_26.xml
|
.
404.8 /
297.9
(-)
|
.
766.2 /
292.3
(0)
|
n^3/?
298.3 /
280.8
(2)
|
lexity_Innermost_Rewriting/AProVE_04/IJCAR_26a.xml
|
.
672.1 /
300.0
(-)
|
.
481.1 /
292.2
(0)
|
n^3/?
572.1 /
280.6
(2)
|
plexity_Innermost_Rewriting/AProVE_04/JFP_Ex31.xml
|
.
616.7 /
297.2
(-)
|
.
336.1 /
292.7
(0)
|
n^1/n^1
295.7 /
139.8
(4)
|
plexity_Innermost_Rewriting/AProVE_04/JFP_Ex51.xml
|
?/n^1
311.0 /
131.1
(-)
|
?/n^2
91.1 /
45.3
(2)
|
n^1/?
520.0 /
280.6
(2)
|
ity_Innermost_Rewriting/AProVE_04/LPAR_intlist.xml
|
.
754.9 /
297.2
(-)
|
.
617.1 /
291.7
(0)
|
n^1/?
523.1 /
281.5
(2)
|
xity_Innermost_Rewriting/AProVE_04/Liveness6.1.xml
|
.
360.8 /
297.2
(-)
|
.
568.5 /
292.4
(0)
|
n^1/?
429.7 /
281.3
(2)
|
xity_Innermost_Rewriting/AProVE_04/Liveness6.2.xml
|
.
499.2 /
297.2
(-)
|
?/n^2
346.9 /
206.1
(2)
|
n^1/?
448.1 /
280.8
(2)
|
xity_Innermost_Rewriting/AProVE_04/Liveness6.3.xml
|
?/n^1
43.3 /
24.0
(-)
|
?/n^1
18.6 /
11.5
(2)
|
n^1/n^1
1.9 /
2.4
(4)
|
xity_Innermost_Rewriting/AProVE_04/Liveness6.4.xml
|
.
373.6 /
297.7
(-)
|
.
584.6 /
293.1
(0)
|
n^1/?
605.3 /
281.4
(2)
|
lexity_Innermost_Rewriting/AProVE_04/Liveness8.xml
|
?/n^1
449.7 /
180.9
(-)
|
?/n^1
683.0 /
292.5
(2)
|
n^1/n^1
2.1 /
2.3
(4)
|
ity_Innermost_Rewriting/AProVE_04/Liveness_WRS.xml
|
?/n^1
611.2 /
298.0
(-)
|
?/n^1
743.8 /
295.0
(2)
|
n^1/n^1
1.7 /
2.2
(4)
|
e_Complexity_Innermost_Rewriting/AProVE_04/fac.xml
|
.
623.8 /
297.3
(-)
|
.
175.5 /
112.9
(0)
|
n^2/?
409.3 /
281.2
(2)
|
_Complexity_Innermost_Rewriting/AProVE_04/rta1.xml
|
.
380.0 /
297.3
(-)
|
.
540.3 /
292.4
(0)
|
n^1/?
618.6 /
281.6
(2)
|
_Complexity_Innermost_Rewriting/AProVE_04/rta2.xml
|
.
253.0 /
165.5
(-)
|
.
6.2 /
3.1
(0)
|
.
11.8 /
19.5
(0)
|
_Complexity_Innermost_Rewriting/AProVE_04/rta3.xml
|
.
369.9 /
297.2
(-)
|
.
23.0 /
18.3
(0)
|
n^1/?
505.7 /
280.7
(2)
|
_Innermost_Rewriting/AProVE_06/div_notCeTermin.xml
|
.
596.1 /
297.3
(-)
|
.
478.7 /
292.1
(0)
|
n^1/?
323.3 /
281.8
(2)
|
ty_Innermost_Rewriting/AProVE_06/div_notTermin.xml
|
.
650.4 /
297.1
(-)
|
.
722.6 /
292.2
(0)
|
n^1/?
756.6 /
281.5
(2)
|
exity_Innermost_Rewriting/AProVE_06/factorial1.xml
|
.
481.1 /
297.3
(-)
|
.
412.1 /
292.4
(0)
|
n^3/?
633.4 /
280.9
(2)
|
exity_Innermost_Rewriting/AProVE_06/factorial2.xml
|
.
551.7 /
297.4
(-)
|
.
50.2 /
24.1
(0)
|
n^2/?
542.8 /
281.2
(2)
|
plexity_Innermost_Rewriting/AProVE_06/identity.xml
|
.
475.0 /
297.3
(-)
|
.
367.2 /
277.5
(0)
|
n^1/?
489.8 /
281.6
(2)
|
lexity_Innermost_Rewriting/AProVE_06/logarithm.xml
|
.
402.7 /
300.0
(-)
|
.
322.0 /
207.5
(0)
|
n^1/?
553.3 /
281.5
(2)
|
omplexity_Innermost_Rewriting/AProVE_06/modulo.xml
|
.
544.1 /
297.2
(-)
|
.
43.6 /
37.8
(0)
|
n^1/?
560.1 /
281.3
(2)
|
mplexity_Innermost_Rewriting/AProVE_06/nonterm.xml
|
.
703.9 /
297.2
(-)
|
.
634.3 /
292.2
(0)
|
n^1/?
232.7 /
281.1
(2)
|
lexity_Innermost_Rewriting/AProVE_06/quicksort.xml
|
.
603.5 /
300.0
(-)
|
.
572.0 /
292.5
(0)
|
.
14.7 /
11.8
(0)
|
_Complexity_Innermost_Rewriting/AProVE_06/quot.xml
|
.
439.2 /
297.1
(-)
|
.
51.8 /
26.3
(0)
|
n^1/?
567.8 /
281.3
(2)
|
exity_Innermost_Rewriting/AProVE_06/sizeChange.xml
|
.
367.5 /
297.2
(-)
|
.
65.1 /
56.6
(0)
|
?/n^2
49.2 /
40.9
(2)
|
Complexity_Innermost_Rewriting/AProVE_06/tower.xml
|
.
438.5 /
297.3
(-)
|
.
484.6 /
292.9
(0)
|
.
20.8 /
16.4
(0)
|
Innermost_Rewriting/AProVE_06/tower_sizeChange.xml
|
.
390.4 /
297.8
(-)
|
.
185.6 /
99.3
(0)
|
n^1/?
479.8 /
280.9
(2)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci01.xml
|
.
522.3 /
297.3
(-)
|
.
772.7 /
292.4
(0)
|
n^1/n^1
144.6 /
64.6
(4)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci02.xml
|
.
670.6 /
298.0
(-)
|
.
686.1 /
292.8
(0)
|
n^3/?
264.6 /
281.3
(2)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci03.xml
|
?/n^0
0.8 /
0.4
(-)
|
?/n^0
0.1 /
0.1
(2)
|
?/n^0
8.7 /
15.6
(2)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci04.xml
|
.
448.2 /
297.3
(-)
|
.
679.2 /
292.5
(0)
|
.
9.8 /
16.1
(0)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci05.xml
|
.
817.4 /
298.5
(-)
|
.
580.5 /
292.3
(0)
|
n^1/?
579.0 /
280.7
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto01.xml
|
.
619.7 /
297.2
(-)
|
.
633.2 /
292.5
(0)
|
n^1/?
569.2 /
281.7
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto02.xml
|
.
653.0 /
297.3
(-)
|
.
533.3 /
292.3
(0)
|
n^1/?
410.5 /
282.0
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto03.xml
|
.
513.2 /
297.6
(-)
|
.
29.5 /
13.2
(0)
|
n^1/?
593.2 /
281.1
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto04.xml
|
.
340.2 /
297.2
(-)
|
.
118.8 /
75.4
(0)
|
n^1/?
477.8 /
280.7
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto05.xml
|
.
422.8 /
297.4
(-)
|
.
242.3 /
162.7
(0)
|
n^1/n^2
79.9 /
55.3
(4)
|
omplexity_Innermost_Rewriting/AProVE_07/otto06.xml
|
.
549.6 /
297.6
(-)
|
.
488.0 /
292.8
(0)
|
n^1/?
483.0 /
281.1
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto07.xml
|
.
501.4 /
297.3
(-)
|
.
32.0 /
19.7
(0)
|
n^1/?
575.1 /
281.0
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto08.xml
|
.
609.3 /
297.5
(-)
|
.
62.7 /
29.1
(0)
|
n^1/?
667.9 /
280.9
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto09.xml
|
.
536.3 /
297.8
(-)
|
.
69.0 /
25.7
(0)
|
n^1/?
551.2 /
281.6
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto10.xml
|
.
403.4 /
300.0
(-)
|
.
234.6 /
160.4
(0)
|
n^1/?
742.1 /
283.5
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto11.xml
|
.
365.3 /
297.1
(-)
|
.
88.2 /
73.0
(0)
|
n^1/?
690.9 /
281.2
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto12.xml
|
.
574.6 /
297.2
(-)
|
.
125.4 /
65.4
(0)
|
n^2/?
387.5 /
281.3
(2)
|
omplexity_Innermost_Rewriting/AProVE_07/otto13.xml
|
.
338.0 /
297.3
(-)
|
.
257.4 /
147.7
(0)
|
n^1/?
435.1 /
281.1
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann01.xml
|
.
566.7 /
297.7
(-)
|
.
72.2 /
32.6
(0)
|
n^1/?
666.8 /
281.4
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann02.xml
|
.
573.7 /
297.1
(-)
|
.
426.5 /
292.5
(0)
|
n^1/?
668.2 /
281.4
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann03.xml
|
.
486.5 /
299.3
(-)
|
.
338.0 /
292.4
(0)
|
n^2/?
546.7 /
281.3
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann04.xml
|
.
556.6 /
298.3
(-)
|
.
490.7 /
292.6
(0)
|
n^1/?
600.5 /
284.2
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann05.xml
|
.
565.2 /
297.3
(-)
|
.
316.0 /
292.3
(0)
|
n^1/?
553.3 /
280.4
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann06.xml
|
.
809.7 /
297.9
(-)
|
.
136.4 /
97.8
(0)
|
n^1/?
558.1 /
281.2
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann07.xml
|
.
654.6 /
300.0
(-)
|
.
196.0 /
98.6
(0)
|
n^2/?
569.3 /
281.0
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann08.xml
|
.
410.4 /
297.5
(-)
|
.
39.1 /
22.8
(0)
|
?/?
14.6 /
13.3
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann09.xml
|
.
590.1 /
297.2
(-)
|
.
541.7 /
292.2
(0)
|
n^1/?
521.8 /
280.6
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann10.xml
|
.
388.7 /
297.4
(-)
|
.
557.3 /
292.4
(0)
|
n^1/n^2
514.2 /
251.8
(4)
|
exity_Innermost_Rewriting/AProVE_07/thiemann11.xml
|
.
559.5 /
299.1
(-)
|
.
404.9 /
292.3
(0)
|
n^1/?
581.8 /
280.8
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann12.xml
|
.
374.1 /
297.2
(-)
|
.
485.2 /
292.3
(0)
|
n^1/?
724.9 /
281.5
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann13.xml
|
.
403.6 /
297.7
(-)
|
.
422.6 /
292.5
(0)
|
n^1/?
569.4 /
280.7
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann14.xml
|
.
634.9 /
297.2
(-)
|
.
563.4 /
292.6
(0)
|
n^2/?
548.3 /
280.8
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann15.xml
|
.
397.0 /
297.2
(-)
|
.
671.4 /
292.8
(0)
|
n^1/?
495.2 /
282.0
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann16.xml
|
.
424.7 /
297.5
(-)
|
.
643.0 /
292.4
(0)
|
n^1/?
516.5 /
281.1
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann17.xml
|
.
540.2 /
297.5
(-)
|
.
562.0 /
292.3
(0)
|
n^2/?
549.8 /
281.6
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann18.xml
|
.
599.1 /
297.2
(-)
|
.
306.9 /
176.2
(0)
|
n^1/?
707.2 /
280.6
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann19.xml
|
.
584.6 /
297.2
(-)
|
.
102.6 /
111.8
(0)
|
n^1/?
402.2 /
281.0
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann20.xml
|
.
319.4 /
297.8
(-)
|
.
172.3 /
85.8
(0)
|
n^1/?
509.8 /
281.6
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann21.xml
|
.
486.2 /
297.4
(-)
|
.
525.8 /
292.3
(0)
|
n^1/?
616.0 /
280.9
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann22.xml
|
.
753.6 /
297.2
(-)
|
.
553.4 /
292.4
(0)
|
n^1/?
399.6 /
280.8
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann23.xml
|
.
732.0 /
297.1
(-)
|
.
619.4 /
292.4
(0)
|
n^1/?
494.2 /
281.2
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann24.xml
|
.
528.0 /
297.2
(-)
|
.
48.6 /
35.1
(0)
|
n^2/?
511.5 /
281.7
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann25.xml
|
.
612.5 /
297.2
(-)
|
.
41.3 /
17.8
(0)
|
n^1/?
625.4 /
281.3
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann26.xml
|
.
542.9 /
297.3
(-)
|
.
90.9 /
49.5
(0)
|
n^1/n^2
460.0 /
228.4
(4)
|
exity_Innermost_Rewriting/AProVE_07/thiemann27.xml
|
.
443.8 /
298.8
(-)
|
.
33.5 /
23.9
(0)
|
n^1/?
554.9 /
281.0
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann28.xml
|
.
460.8 /
297.2
(-)
|
.
494.6 /
292.2
(0)
|
n^1/n^2
176.5 /
154.3
(4)
|
exity_Innermost_Rewriting/AProVE_07/thiemann29.xml
|
.
336.2 /
297.3
(-)
|
.
336.0 /
292.3
(0)
|
n^2/?
554.7 /
281.0
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann30.xml
|
.
405.2 /
300.0
(-)
|
.
621.3 /
292.4
(0)
|
n^1/?
673.3 /
281.4
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann31.xml
|
.
483.2 /
297.2
(-)
|
.
170.0 /
140.4
(0)
|
n^1/?
813.3 /
281.2
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann32.xml
|
.
688.0 /
297.2
(-)
|
.
743.6 /
292.3
(0)
|
n^2/?
578.1 /
281.5
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann33.xml
|
.
404.3 /
297.2
(-)
|
.
130.3 /
61.2
(0)
|
n^1/?
542.6 /
280.8
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann34.xml
|
.
613.0 /
297.3
(-)
|
.
158.6 /
110.4
(0)
|
n^1/?
406.8 /
281.2
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann36.xml
|
.
435.6 /
297.6
(-)
|
.
256.4 /
210.9
(0)
|
n^1/?
628.8 /
281.0
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann37.xml
|
.
612.1 /
297.7
(-)
|
.
497.3 /
292.2
(0)
|
n^1/?
498.2 /
280.4
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann38.xml
|
.
594.2 /
297.2
(-)
|
.
125.7 /
63.8
(0)
|
n^1/?
591.1 /
281.2
(2)
|
exity_Innermost_Rewriting/AProVE_07/thiemann40.xml
|
.
507.4 /
297.3
(-)
|
.
18.2 /
7.4
(0)
|
n^1/n^1
21.5 /
17.6
(4)
|
exity_Innermost_Rewriting/AProVE_07/thiemann41.xml
|
.
674.9 /
297.3
(-)
|
.
117.6 /
69.7
(0)
|
n^1/?
474.7 /
281.2
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe01.xml
|
.
617.3 /
297.3
(-)
|
.
699.0 /
292.3
(0)
|
n^1/?
550.6 /
281.0
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe02.xml
|
.
606.5 /
298.3
(-)
|
.
696.7 /
292.5
(0)
|
n^1/?
588.4 /
281.0
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe03.xml
|
.
487.8 /
298.5
(-)
|
.
645.0 /
292.2
(0)
|
n^1/?
498.8 /
280.8
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe05.xml
|
.
558.3 /
297.2
(-)
|
.
606.8 /
292.6
(0)
|
n^1/?
517.7 /
281.0
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe06.xml
|
.
694.0 /
297.7
(-)
|
.
597.7 /
292.1
(0)
|
n^1/?
536.0 /
281.3
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe07.xml
|
.
707.6 /
297.5
(-)
|
.
675.7 /
292.2
(0)
|
n^1/?
540.1 /
280.6
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe08.xml
|
.
716.8 /
297.4
(-)
|
.
561.2 /
292.4
(0)
|
n^1/?
592.4 /
280.9
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe09.xml
|
.
548.6 /
297.5
(-)
|
.
566.9 /
292.2
(0)
|
n^1/?
512.1 /
280.2
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe11.xml
|
.
566.6 /
297.1
(-)
|
.
567.6 /
293.1
(0)
|
n^1/?
548.0 /
280.8
(2)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe12.xml
|
.
525.2 /
298.6
(-)
|
.
594.9 /
292.4
(0)
|
n^1/?
784.9 /
281.4
(2)
|
omplexity_Innermost_Rewriting/AProVE_08/id_inc.xml
|
.
494.5 /
297.3
(-)
|
.
70.8 /
40.5
(0)
|
n^1/?
431.9 /
281.7
(2)
|
e_Complexity_Innermost_Rewriting/AProVE_08/log.xml
|
.
369.6 /
297.9
(-)
|
.
526.7 /
292.9
(0)
|
n^1/?
541.3 /
281.5
(2)
|
nnermost_Rewriting/AProVE_08/parting01_reverse.xml
|
.
635.2 /
297.3
(-)
|
.
545.3 /
292.8
(0)
|
n^2/?
345.5 /
281.6
(2)
|
rmost_Rewriting/AProVE_08/parting02_doublelist.xml
|
.
609.6 /
297.4
(-)
|
.
566.8 /
292.3
(0)
|
n^1/?
503.9 /
281.1
(2)
|
nnermost_Rewriting/AProVE_08/parting03_minsort.xml
|
.
567.3 /
297.1
(-)
|
.
642.3 /
292.2
(0)
|
n^2/?
564.8 /
281.1
(2)
|
ermost_Rewriting/AProVE_08/parting04_maxsort_h.xml
|
.
601.3 /
297.2
(-)
|
.
595.0 /
292.4
(0)
|
n^2/?
584.3 /
281.1
(2)
|
nnermost_Rewriting/AProVE_08/parting05_maxsort.xml
|
.
570.2 /
297.1
(-)
|
.
521.3 /
292.5
(0)
|
n^2/?
639.7 /
281.6
(2)
|
Complexity_Innermost_Rewriting/AProVE_08/round.xml
|
.
638.5 /
297.4
(-)
|
.
40.3 /
30.5
(0)
|
n^1/?
230.2 /
281.0
(2)
|
ty_Innermost_Rewriting/AProVE_08/round_nonterm.xml
|
.
437.8 /
297.7
(-)
|
.
414.6 /
291.9
(0)
|
?/?
0.4 /
2.2
(0)
|
ermost_Rewriting/AProVE_08/thiemann40_modified.xml
|
.
413.1 /
297.1
(-)
|
.
641.8 /
292.4
(0)
|
n^2/?
354.6 /
281.2
(2)
|
ty_Innermost_Rewriting/AProVE_09_Inductive/div.xml
|
.
593.3 /
297.3
(-)
|
.
100.8 /
62.2
(0)
|
n^1/?
344.9 /
281.3
(2)
|
nnermost_Rewriting/AProVE_09_Inductive/divhard.xml
|
.
562.0 /
297.6
(-)
|
.
73.9 /
30.0
(0)
|
n^1/?
583.9 /
281.6
(2)
|
ty_Innermost_Rewriting/AProVE_09_Inductive/gcd.xml
|
.
455.4 /
300.0
(-)
|
.
73.1 /
43.7
(0)
|
n^1/?
596.4 /
280.6
(2)
|
y_Innermost_Rewriting/AProVE_09_Inductive/gcd2.xml
|
.
552.6 /
298.6
(-)
|
.
161.7 /
113.0
(0)
|
n^1/?
681.4 /
281.4
(2)
|
nnermost_Rewriting/AProVE_09_Inductive/gcdhard.xml
|
.
366.8 /
297.7
(-)
|
.
127.5 /
49.4
(0)
|
n^1/?
484.3 /
282.3
(2)
|
ty_Innermost_Rewriting/AProVE_09_Inductive/log.xml
|
.
381.6 /
297.3
(-)
|
.
375.1 /
292.9
(0)
|
n^1/?
555.8 /
282.2
(2)
|
nnermost_Rewriting/AProVE_09_Inductive/maxsort.xml
|
.
548.6 /
297.2
(-)
|
.
378.0 /
293.7
(0)
|
n^2/?
749.6 /
280.3
(2)
|
Rewriting/AProVE_09_Inductive/maxsortcondition.xml
|
.
556.5 /
297.6
(-)
|
.
128.9 /
73.0
(0)
|
n^2/?
517.3 /
281.9
(2)
|
nnermost_Rewriting/AProVE_09_Inductive/minsort.xml
|
.
552.6 /
300.0
(-)
|
.
605.0 /
292.9
(0)
|
n^1/?
592.8 /
281.5
(2)
|
ty_Innermost_Rewriting/AProVE_09_Inductive/mod.xml
|
.
651.2 /
297.4
(-)
|
.
321.8 /
193.8
(0)
|
n^1/?
620.7 /
280.9
(2)
|
_Innermost_Rewriting/AProVE_09_Inductive/qsort.xml
|
.
510.8 /
297.3
(-)
|
.
588.6 /
292.3
(0)
|
n^1/?
511.1 /
280.7
(2)
|
ermost_Rewriting/AProVE_09_Inductive/qsortlast.xml
|
.
599.4 /
297.1
(-)
|
.
680.0 /
292.4
(0)
|
n^1/?
542.2 /
281.2
(2)
|
most_Rewriting/AProVE_09_Inductive/qsortmiddle.xml
|
.
574.5 /
297.3
(-)
|
.
624.8 /
296.6
(0)
|
n^1/?
731.0 /
280.4
(2)
|
nermost_Rewriting/AProVE_09_Inductive/zerolist.xml
|
.
483.0 /
297.3
(-)
|
.
56.4 /
39.4
(0)
|
n^1/?
531.9 /
281.5
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/1.xml
|
.
561.5 /
297.4
(-)
|
.
34.9 /
17.8
(0)
|
n^1/n^2
200.3 /
239.7
(4)
|
omplexity_Innermost_Rewriting/Beerendonk_07/10.xml
|
.
580.4 /
297.2
(-)
|
.
214.3 /
125.0
(0)
|
n^1/n^2
602.1 /
276.5
(4)
|
omplexity_Innermost_Rewriting/Beerendonk_07/11.xml
|
.
428.6 /
297.1
(-)
|
.
120.8 /
92.5
(0)
|
n^1/?
579.3 /
280.6
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/12.xml
|
.
567.6 /
297.1
(-)
|
.
117.0 /
82.8
(0)
|
n^1/?
387.6 /
281.5
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/13.xml
|
.
458.8 /
297.4
(-)
|
.
130.0 /
93.1
(0)
|
n^1/?
609.7 /
281.4
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/14.xml
|
.
590.1 /
297.2
(-)
|
.
35.9 /
19.7
(0)
|
n^1/?
341.8 /
281.3
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/15.xml
|
.
515.2 /
297.3
(-)
|
.
631.9 /
292.4
(0)
|
n^1/n^2
422.6 /
226.8
(4)
|
omplexity_Innermost_Rewriting/Beerendonk_07/16.xml
|
.
550.3 /
297.1
(-)
|
.
556.8 /
292.7
(0)
|
n^1/?
696.9 /
281.5
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/17.xml
|
.
470.9 /
297.3
(-)
|
.
685.2 /
292.3
(0)
|
n^1/?
484.1 /
281.1
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/18.xml
|
.
571.4 /
297.2
(-)
|
.
750.9 /
292.1
(0)
|
n^1/?
558.5 /
281.1
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/19.xml
|
.
564.1 /
297.3
(-)
|
.
613.0 /
292.4
(0)
|
n^1/?
822.1 /
281.4
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/2.xml
|
.
596.9 /
297.1
(-)
|
.
45.4 /
30.8
(0)
|
n^1/n^2
360.1 /
243.8
(4)
|
omplexity_Innermost_Rewriting/Beerendonk_07/20.xml
|
.
640.4 /
297.6
(-)
|
.
673.6 /
292.5
(0)
|
n^1/n^1
397.2 /
203.2
(4)
|
omplexity_Innermost_Rewriting/Beerendonk_07/21.xml
|
.
666.7 /
297.2
(-)
|
.
653.4 /
293.0
(0)
|
n^1/?
641.4 /
281.2
(2)
|
omplexity_Innermost_Rewriting/Beerendonk_07/22.xml
|
.
425.6 /
297.5
(-)
|
.
319.4 /
292.4
(0)
|
n^1/n^2
430.2 /
253.8
(4)
|
omplexity_Innermost_Rewriting/Beerendonk_07/23.xml
|
.
431.4 /
297.3
(-)
|
.
121.5 /
88.7
(0)
|
n^1/n^2
535.4 /
255.0
(4)
|
omplexity_Innermost_Rewriting/Beerendonk_07/24.xml
|
.
418.4 /
297.6
(-)
|
.
616.3 /
292.2
(0)
|
n^1/n^2
466.1 /
181.7
(4)
|
Complexity_Innermost_Rewriting/Beerendonk_07/3.xml
|
.
580.7 /
297.2
(-)
|
.
66.5 /
30.5
(0)
|
n^1/?
259.9 /
280.7
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/4.xml
|
.
525.8 /
297.1
(-)
|
.
38.4 /
38.7
(0)
|
n^1/?
526.3 /
281.0
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/5.xml
|
.
503.2 /
297.2
(-)
|
.
162.4 /
70.7
(0)
|
n^1/?
574.4 /
281.5
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/6.xml
|
.
430.4 /
297.2
(-)
|
.
29.2 /
14.9
(0)
|
n^1/n^2
313.3 /
244.1
(4)
|
Complexity_Innermost_Rewriting/Beerendonk_07/7.xml
|
.
626.6 /
297.2
(-)
|
.
510.9 /
292.4
(0)
|
n^1/n^2
506.0 /
253.7
(4)
|
Complexity_Innermost_Rewriting/Beerendonk_07/8.xml
|
.
620.0 /
297.2
(-)
|
.
609.5 /
291.8
(0)
|
n^1/?
440.8 /
281.3
(2)
|
Complexity_Innermost_Rewriting/Beerendonk_07/9.xml
|
.
437.4 /
297.3
(-)
|
.
583.6 /
292.5
(0)
|
n^1/?
553.2 /
281.0
(2)
|
plexity_Innermost_Rewriting/CiME_04/ack_prolog.xml
|
.
638.5 /
297.3
(-)
|
.
36.4 /
12.9
(0)
|
n^1/?
262.5 /
281.2
(2)
|
lexity_Innermost_Rewriting/CiME_04/append-hard.xml
|
.
543.5 /
297.4
(-)
|
.
14.9 /
7.7
(0)
|
n^1/n^1
18.4 /
15.0
(4)
|
exity_Innermost_Rewriting/CiME_04/append-wrong.xml
|
.
339.6 /
297.2
(-)
|
.
548.0 /
292.4
(0)
|
.
22.9 /
21.8
(0)
|
_Complexity_Innermost_Rewriting/CiME_04/append.xml
|
?/n^1
6.1 /
4.8
(-)
|
?/n^1
1.5 /
0.6
(2)
|
n^1/n^1
18.0 /
14.4
(4)
|
ime_Complexity_Innermost_Rewriting/CiME_04/big.xml
|
.
625.2 /
297.7
(-)
|
.
763.5 /
292.1
(0)
|
n^1/?
680.5 /
281.7
(2)
|
me_Complexity_Innermost_Rewriting/CiME_04/dpqs.xml
|
?/n^0
10.9 /
5.6
(-)
|
?/n^0
2.5 /
3.1
(2)
|
?/n^0
2.4 /
4.3
(2)
|
mplexity_Innermost_Rewriting/CiME_04/fact-hard.xml
|
.
688.9 /
297.2
(-)
|
.
264.9 /
155.3
(0)
|
n^2/?
404.4 /
281.1
(2)
|
mplexity_Innermost_Rewriting/CiME_04/filliatre.xml
|
.
588.5 /
297.3
(-)
|
.
129.8 /
54.1
(0)
|
n^1/?
630.7 /
281.6
(2)
|
plexity_Innermost_Rewriting/CiME_04/filliatre2.xml
|
.
616.7 /
297.7
(-)
|
.
173.4 /
74.1
(0)
|
n^1/?
455.8 /
281.5
(2)
|
plexity_Innermost_Rewriting/CiME_04/filliatre3.xml
|
.
586.9 /
297.4
(-)
|
.
135.6 /
78.7
(0)
|
n^1/?
534.5 /
282.3
(2)
|
mplexity_Innermost_Rewriting/CiME_04/intersect.xml
|
?/n^2
615.4 /
297.3
(-)
|
?/n^4
148.6 /
60.0
(1)
|
n^1/n^2
75.6 /
43.3
(4)
|
t_Rewriting/CiME_04/list-sum-prod-assoc-append.xml
|
.
407.8 /
297.7
(-)
|
.
93.0 /
55.1
(0)
|
n^2/?
597.8 /
281.0
(2)
|
nnermost_Rewriting/CiME_04/list-sum-prod-assoc.xml
|
.
659.9 /
298.2
(-)
|
.
64.1 /
33.9
(0)
|
n^2/?
595.9 /
281.6
(2)
|
ting/CiME_04/list-sum-prod-bin-assoc-distr-app.xml
|
.
636.5 /
297.3
(-)
|
.
856.3 /
292.1
(0)
|
n^1/?
518.2 /
280.7
(2)
|
most_Rewriting/CiME_04/list-sum-prod-bin-assoc.xml
|
.
490.3 /
297.6
(-)
|
.
538.1 /
292.5
(0)
|
n^1/?
679.7 /
281.4
(2)
|
_Innermost_Rewriting/CiME_04/list-sum-prod-bin.xml
|
.
518.3 /
297.3
(-)
|
.
451.6 /
292.4
(0)
|
n^1/?
584.9 /
281.6
(2)
|
xity_Innermost_Rewriting/CiME_04/list-sum-prod.xml
|
.
526.5 /
240.4
(-)
|
.
48.9 /
17.7
(0)
|
n^2/?
652.6 /
281.2
(2)
|
me_Complexity_Innermost_Rewriting/CiME_04/log2.xml
|
.
672.1 /
300.1
(-)
|
.
553.5 /
292.5
(0)
|
n^1/?
533.5 /
282.1
(2)
|
ime_Complexity_Innermost_Rewriting/CiME_04/lse.xml
|
?/n^2
614.4 /
297.5
(-)
|
?/n^2
518.5 /
293.8
(2)
|
n^2/n^2
46.4 /
25.7
(4)
|
_Complexity_Innermost_Rewriting/CiME_04/maude2.xml
|
.
472.2 /
297.2
(-)
|
.
677.9 /
292.6
(0)
|
n^1/?
586.9 /
281.2
(2)
|
_Complexity_Innermost_Rewriting/CiME_04/mucrl1.xml
|
.
511.3 /
297.7
(-)
|
.
819.7 /
292.2
(0)
|
?/n^1
318.7 /
281.2
(2)
|
exity_Innermost_Rewriting/CiME_04/ternary-hard.xml
|
.
465.9 /
298.3
(-)
|
.
717.1 /
292.8
(0)
|
n^1/?
603.3 /
286.3
(2)
|
Complexity_Innermost_Rewriting/CiME_04/ternary.xml
|
.
713.0 /
297.2
(-)
|
.
519.3 /
294.0
(0)
|
n^1/?
595.5 /
283.8
(2)
|
me_Complexity_Innermost_Rewriting/CiME_04/tree.xml
|
.
578.1 /
297.6
(-)
|
?/n^4
432.7 /
292.6
(2)
|
n^1/?
558.8 /
280.4
(2)
|
untime_Complexity_Innermost_Rewriting/Der95/06.xml
|
?/n^1
1.9 /
1.0
(-)
|
?/n^1
0.3 /
0.1
(2)
|
n^1/n^1
1.0 /
2.2
(4)
|
untime_Complexity_Innermost_Rewriting/Der95/07.xml
|
?/n^1
7.0 /
3.1
(-)
|
?/n^1
1.0 /
0.4
(2)
|
n^1/n^1
1.4 /
3.5
(4)
|
untime_Complexity_Innermost_Rewriting/Der95/08.xml
|
?/n^1
4.1 /
1.4
(-)
|
?/n^1
3.5 /
1.4
(2)
|
n^1/n^1
19.2 /
14.3
(4)
|
untime_Complexity_Innermost_Rewriting/Der95/11.xml
|
?/n^1
279.6 /
148.3
(-)
|
?/n^1
58.3 /
25.4
(2)
|
n^1/n^1
25.8 /
17.9
(4)
|
untime_Complexity_Innermost_Rewriting/Der95/12.xml
|
.
426.8 /
211.5
(-)
|
.
26.1 /
16.0
(0)
|
n^1/?
724.3 /
280.7
(2)
|
untime_Complexity_Innermost_Rewriting/Der95/18.xml
|
?/n^1
4.9 /
2.9
(-)
|
?/n^1
0.3 /
0.1
(2)
|
n^1/n^1
5.4 /
10.3
(4)
|
untime_Complexity_Innermost_Rewriting/Der95/20.xml
|
.
639.3 /
297.4
(-)
|
.
85.7 /
51.7
(0)
|
n^1/?
657.3 /
281.4
(2)
|
untime_Complexity_Innermost_Rewriting/Der95/21.xml
|
.
491.8 /
297.4
(-)
|
.
102.1 /
53.1
(0)
|
n^2/?
282.2 /
280.8
(2)
|
untime_Complexity_Innermost_Rewriting/Der95/27.xml
|
?/n^1
11.2 /
10.4
(-)
|
?/n^1
0.5 /
0.3
(2)
|
n^1/n^1
1.6 /
4.5
(4)
|
untime_Complexity_Innermost_Rewriting/Der95/31.xml
|
?/n^1
18.8 /
12.8
(-)
|
?/n^1
9.6 /
6.6
(2)
|
n^1/n^1
20.1 /
15.4
(4)
|
untime_Complexity_Innermost_Rewriting/Der95/32.xml
|
?/n^2
268.1 /
137.0
(-)
|
?/n^2
29.0 /
11.3
(2)
|
n^1/n^2
35.0 /
22.4
(4)
|
untime_Complexity_Innermost_Rewriting/Der95/33.xml
|
.
490.2 /
297.2
(-)
|
.
608.2 /
292.3
(0)
|
n^1/n^1
29.6 /
20.3
(4)
|
lexity_Innermost_Rewriting/Endrullis_06/direct.xml
|
?/n^1
172.8 /
96.1
(-)
|
?/n^0
12.5 /
5.2
(2)
|
?/n^1
646.4 /
281.2
(1)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/ack.xml
|
.
568.1 /
297.2
(-)
|
.
43.5 /
17.7
(0)
|
n^1/?
719.7 /
281.0
(2)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/add.xml
|
?/n^1
8.5 /
4.7
(-)
|
?/n^1
0.8 /
0.3
(2)
|
?/n^1
3.8 /
5.3
(2)
|
rmost_Rewriting/Frederiksen_Glenstrup/addlists.xml
|
?/n^1
12.7 /
10.6
(-)
|
?/n^1
1.1 /
0.4
(2)
|
?/n^1
4.5 /
5.9
(2)
|
rmost_Rewriting/Frederiksen_Glenstrup/anchored.xml
|
?/n^1
10.5 /
4.6
(-)
|
?/n^1
0.6 /
0.4
(2)
|
?/n^1
3.9 /
5.3
(2)
|
nermost_Rewriting/Frederiksen_Glenstrup/append.xml
|
?/n^1
4.4 /
3.9
(-)
|
?/n^1
0.3 /
0.3
(2)
|
n^1/n^1
1.3 /
2.3
(4)
|
ost_Rewriting/Frederiksen_Glenstrup/assrewrite.xml
|
.
597.2 /
298.0
(-)
|
.
92.8 /
97.1
(0)
|
.
41.7 /
42.6
(0)
|
Innermost_Rewriting/Frederiksen_Glenstrup/badd.xml
|
.
498.5 /
297.3
(-)
|
.
16.7 /
8.4
(0)
|
?/?
5.9 /
6.4
(0)
|
nnermost_Rewriting/Frederiksen_Glenstrup/binom.xml
|
.
526.3 /
298.0
(-)
|
.
96.8 /
56.5
(0)
|
n^1/?
597.6 /
281.1
(2)
|
rmost_Rewriting/Frederiksen_Glenstrup/decrease.xml
|
?/n^1
8.6 /
4.5
(-)
|
?/n^1
651.5 /
293.1
(2)
|
n^1/n^1
3.7 /
4.3
(4)
|
_Rewriting/Frederiksen_Glenstrup/deeprev_typed.xml
|
?/n^1
15.9 /
8.5
(-)
|
?/n^1
6.5 /
2.1
(2)
|
?/n^1
8.0 /
5.3
(2)
|
rmost_Rewriting/Frederiksen_Glenstrup/disjconj.xml
|
.
187.9 /
102.2
(-)
|
.
19.3 /
9.5
(0)
|
.
296.0 /
281.9
(0)
|
most_Rewriting/Frederiksen_Glenstrup/duplicate.xml
|
?/n^1
4.3 /
4.2
(-)
|
?/n^1
0.6 /
0.6
(2)
|
n^1/n^1
3.9 /
5.2
(4)
|
nnermost_Rewriting/Frederiksen_Glenstrup/equal.xml
|
.
373.7 /
157.0
(-)
|
.
702.7 /
292.3
(0)
|
?/?
5.7 /
6.4
(0)
|
ermost_Rewriting/Frederiksen_Glenstrup/evenodd.xml
|
?/n^1
3.0 /
1.9
(-)
|
?/n^1
1.3 /
1.5
(2)
|
n^1/n^1
1.1 /
2.2
(4)
|
Innermost_Rewriting/Frederiksen_Glenstrup/fold.xml
|
?/n^1
13.5 /
6.8
(-)
|
?/n^1
1.0 /
0.5
(2)
|
n^1/n^1
17.6 /
14.6
(4)
|
Innermost_Rewriting/Frederiksen_Glenstrup/game.xml
|
?/n^1
11.3 /
5.4
(-)
|
?/n^1
2.4 /
1.1
(2)
|
n^1/n^1
2.0 /
2.3
(4)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.xml
|
.
543.2 /
297.3
(-)
|
.
480.4 /
292.4
(0)
|
.
299.2 /
283.2
(0)
|
Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.xml
|
.
468.9 /
298.1
(-)
|
.
514.4 /
292.1
(0)
|
.
491.1 /
281.9
(0)
|
rmost_Rewriting/Frederiksen_Glenstrup/increase.xml
|
.
711.6 /
297.8
(-)
|
.
410.1 /
293.1
(0)
|
?/?
6.6 /
6.3
(0)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/int.xml
|
.
618.5 /
297.4
(-)
|
.
657.1 /
292.7
(0)
|
.
362.6 /
284.6
(0)
|
most_Rewriting/Frederiksen_Glenstrup/intlookup.xml
|
.
518.6 /
297.5
(-)
|
.
13.9 /
7.1
(0)
|
?/?
0.4 /
2.3
(0)
|
ewriting/Frederiksen_Glenstrup/lambdaint_typed.xml
|
.
395.1 /
300.0
(-)
|
.
406.1 /
259.3
(0)
|
.
598.2 /
281.9
(0)
|
nermost_Rewriting/Frederiksen_Glenstrup/letexp.xml
|
.
447.5 /
298.0
(-)
|
.
13.4 /
7.1
(0)
|
?/?
6.0 /
6.6
(0)
|
Innermost_Rewriting/Frederiksen_Glenstrup/list.xml
|
?/n^1
1.4 /
1.3
(-)
|
?/n^1
0.6 /
0.4
(2)
|
n^1/n^1
0.8 /
2.6
(4)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/lte.xml
|
?/n^1
11.3 /
9.8
(-)
|
?/n^1
3.7 /
3.1
(2)
|
?/n^1
3.0 /
2.3
(2)
|
Innermost_Rewriting/Frederiksen_Glenstrup/map0.xml
|
?/n^1
7.7 /
4.9
(-)
|
?/n^1
4.2 /
2.9
(2)
|
?/n^2
3.1 /
3.3
(1)
|
nermost_Rewriting/Frederiksen_Glenstrup/member.xml
|
?/n^1
5.9 /
2.3
(-)
|
?/n^1
4.8 /
3.5
(2)
|
?/n^1
8.1 /
3.5
(2)
|
ost_Rewriting/Frederiksen_Glenstrup/mergelists.xml
|
?/n^1
19.3 /
10.2
(-)
|
?/n^1
8.9 /
3.8
(2)
|
?/n^1
7.4 /
4.3
(2)
|
most_Rewriting/Frederiksen_Glenstrup/mergesort.xml
|
.
454.8 /
297.6
(-)
|
.
150.2 /
73.8
(0)
|
.
610.8 /
282.0
(0)
|
ermost_Rewriting/Frederiksen_Glenstrup/minsort.xml
|
.
565.4 /
297.2
(-)
|
.
61.7 /
25.1
(0)
|
.
579.9 /
282.2
(0)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/mul.xml
|
?/n^3
161.5 /
93.2
(-)
|
?/n^3
15.5 /
10.7
(2)
|
n^1/n^3
27.9 /
23.6
(4)
|
ost_Rewriting/Frederiksen_Glenstrup/mul_better.xml
|
?/n^3
231.3 /
123.1
(-)
|
?/n^3
18.3 /
7.7
(2)
|
n^1/n^3
27.4 /
24.6
(4)
|
rmost_Rewriting/Frederiksen_Glenstrup/naiverev.xml
|
?/n^2
171.6 /
80.8
(-)
|
?/n^2
32.7 /
17.4
(2)
|
n^2/n^2
23.2 /
19.4
(4)
|
ermost_Rewriting/Frederiksen_Glenstrup/nestdec.xml
|
?/n^1
188.0 /
149.6
(-)
|
?/n^1
729.4 /
293.2
(2)
|
n^1/n^1
2.3 /
2.2
(4)
|
ermost_Rewriting/Frederiksen_Glenstrup/nesteql.xml
|
.
719.3 /
297.4
(-)
|
.
576.8 /
292.7
(0)
|
?/?
7.0 /
6.2
(0)
|
most_Rewriting/Frederiksen_Glenstrup/nestimeql.xml
|
.
739.3 /
297.2
(-)
|
.
407.9 /
294.6
(0)
|
n^1/?
282.1 /
281.0
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/nestinc.xml
|
.
633.1 /
297.1
(-)
|
.
577.9 /
292.6
(0)
|
n^1/?
434.0 /
281.3
(2)
|
ost_Rewriting/Frederiksen_Glenstrup/nolexicord.xml
|
?/n^1
277.4 /
148.4
(-)
|
?/n^1
558.8 /
295.9
(2)
|
?/n^1
7.9 /
4.4
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/ordered.xml
|
?/n^1
13.9 /
7.8
(-)
|
?/n^1
5.7 /
3.6
(2)
|
?/n^1
6.5 /
3.3
(2)
|
Rewriting/Frederiksen_Glenstrup/ordered_better.xml
|
?/n^1
18.4 /
9.6
(-)
|
?/n^1
6.5 /
2.7
(2)
|
?/n^1
3.7 /
6.1
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/overlap.xml
|
?/n^2
92.7 /
41.2
(-)
|
?/n^2
24.9 /
10.8
(2)
|
?/n^2
11.4 /
6.3
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/parsexp.xml
|
.
824.5 /
297.7
(-)
|
.
119.9 /
64.5
(0)
|
.
574.9 /
282.5
(0)
|
ermost_Rewriting/Frederiksen_Glenstrup/permute.xml
|
.
630.9 /
297.3
(-)
|
.
415.0 /
292.5
(0)
|
n^1/?
611.3 /
280.6
(2)
|
nnermost_Rewriting/Frederiksen_Glenstrup/power.xml
|
.
540.3 /
297.1
(-)
|
.
52.6 /
23.9
(0)
|
n^3/?
319.8 /
280.7
(2)
|
most_Rewriting/Frederiksen_Glenstrup/quicksort.xml
|
.
374.0 /
297.5
(-)
|
.
164.7 /
193.0
(0)
|
.
712.1 /
281.6
(0)
|
nermost_Rewriting/Frederiksen_Glenstrup/revapp.xml
|
?/n^1
3.0 /
2.1
(-)
|
?/n^1
8.8 /
7.4
(2)
|
?/n^1
3.6 /
4.4
(2)
|
nermost_Rewriting/Frederiksen_Glenstrup/select.xml
|
?/n^2
149.8 /
83.2
(-)
|
?/n^2
9.7 /
5.4
(2)
|
?/n^2
25.8 /
32.0
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/shuffle.xml
|
?/n^3
300.7 /
154.4
(-)
|
?/n^3
37.0 /
36.1
(2)
|
n^3/n^3
26.3 /
20.6
(4)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/sp1.xml
|
.
504.6 /
298.1
(-)
|
.
17.4 /
13.3
(0)
|
?/?
6.6 /
6.2
(0)
|
ermost_Rewriting/Frederiksen_Glenstrup/subsets.xml
|
.
366.4 /
216.9
(-)
|
.
25.4 /
12.6
(0)
|
.
353.3 /
282.6
(0)
|
rmost_Rewriting/Frederiksen_Glenstrup/thetrick.xml
|
.
597.8 /
300.0
(-)
|
.
651.2 /
293.4
(0)
|
.
453.9 /
281.7
(0)
|
t_Rewriting/Frederiksen_Glenstrup/turing_typed.xml
|
.
631.1 /
298.0
(-)
|
.
282.3 /
122.5
(0)
|
.
532.5 /
282.0
(0)
|
ewriting/Frederiksen_Glenstrup/vangelder_typed.xml
|
.
629.6 /
297.2
(-)
|
.
375.7 /
291.5
(0)
|
.
504.4 /
282.5
(0)
|
ity_Innermost_Rewriting/Frederiksen_Others/add.xml
|
?/n^1
1.5 /
0.7
(-)
|
?/n^1
0.4 /
0.2
(2)
|
?/n^1
2.4 /
2.2
(2)
|
st_Rewriting/Frederiksen_Others/assrewriteSize.xml
|
.
464.6 /
297.2
(-)
|
.
53.6 /
29.9
(0)
|
.
37.5 /
42.6
(0)
|
nnermost_Rewriting/Frederiksen_Others/boolprog.xml
|
?/n^1
30.1 /
12.7
(-)
|
?/n^1
20.7 /
7.9
(2)
|
n^1/n^1
22.9 /
18.5
(4)
|
ermost_Rewriting/Frederiksen_Others/bubblesort.xml
|
?/n^2
291.4 /
148.5
(-)
|
?/n^2
104.9 /
69.9
(2)
|
?/n^2
11.6 /
6.5
(2)
|
most_Rewriting/Frederiksen_Others/deadcodeSize.xml
|
.
60.1 /
30.7
(-)
|
.
13.4 /
7.3
(0)
|
?/?
6.5 /
6.4
(0)
|
rmost_Rewriting/Frederiksen_Others/disj2_typed.xml
|
?/n^1
26.3 /
22.3
(-)
|
?/n^1
1.1 /
0.6
(2)
|
?/n^1
2.9 /
3.3
(2)
|
ty_Innermost_Rewriting/Frederiksen_Others/div2.xml
|
?/n^1
10.3 /
5.4
(-)
|
?/n^1
0.3 /
0.3
(2)
|
?/n^1
2.4 /
2.3
(2)
|
ermost_Rewriting/Frederiksen_Others/dup1_typed.xml
|
?/n^1
2.8 /
1.0
(-)
|
?/n^1
2.4 /
1.3
(2)
|
?/n^2
3.0 /
3.3
(1)
|
ermost_Rewriting/Frederiksen_Others/dup2_typed.xml
|
?/n^1
20.6 /
12.4
(-)
|
?/n^1
0.9 /
0.4
(2)
|
?/n^1
3.0 /
2.2
(2)
|
xity_Innermost_Rewriting/Frederiksen_Others/eq.xml
|
?/n^1
2.0 /
1.5
(-)
|
?/n^1
0.7 /
0.8
(2)
|
n^1/n^1
1.4 /
3.6
(4)
|
ity_Innermost_Rewriting/Frederiksen_Others/ex6.xml
|
?/n^1
2.6 /
1.0
(-)
|
?/n^1
2.2 /
1.0
(2)
|
?/n^1
5.9 /
6.4
(2)
|
ity_Innermost_Rewriting/Frederiksen_Others/fgh.xml
|
.
565.3 /
297.3
(-)
|
.
40.1 /
18.9
(0)
|
?/?
0.6 /
2.4
(0)
|
Innermost_Rewriting/Frederiksen_Others/fghSize.xml
|
.
554.2 /
297.1
(-)
|
.
34.5 /
18.4
(0)
|
n^1/?
505.0 /
281.0
(2)
|
_Innermost_Rewriting/Frederiksen_Others/gexgcd.xml
|
?/n^1
186.4 /
86.0
(-)
|
?/n^1
141.8 /
87.9
(2)
|
?/n^1
20.3 /
8.5
(2)
|
Innermost_Rewriting/Frederiksen_Others/gexgcd2.xml
|
.
521.3 /
297.1
(-)
|
.
52.1 /
28.6
(0)
|
?/n^2
17.3 /
10.3
(2)
|
ewriting/Frederiksen_Others/graphcolour1_typed.xml
|
.
557.9 /
299.5
(-)
|
.
656.2 /
292.8
(0)
|
.
628.6 /
287.6
(0)
|
ting/Frederiksen_Others/graphcolour2Size_typed.xml
|
.
662.4 /
298.9
(-)
|
.
514.6 /
292.6
(0)
|
.
759.2 /
282.8
(0)
|
ewriting/Frederiksen_Others/graphcolour2_typed.xml
|
.
736.8 /
297.7
(-)
|
.
742.1 /
292.8
(0)
|
.
596.8 /
290.5
(0)
|
ewriting/Frederiksen_Others/graphcolour3_typed.xml
|
.
586.8 /
300.0
(-)
|
.
724.4 /
292.0
(0)
|
.
650.9 /
281.4
(0)
|
Innermost_Rewriting/Frederiksen_Others/inssort.xml
|
?/n^2
436.0 /
148.7
(-)
|
?/n^2
109.0 /
78.1
(2)
|
?/n^2
8.2 /
8.7
(2)
|
st_Rewriting/Frederiksen_Others/inssort_better.xml
|
?/n^2
251.1 /
148.4
(-)
|
?/n^2
39.3 /
33.4
(2)
|
?/n^2
10.3 /
6.7
(2)
|
y_Innermost_Rewriting/Frederiksen_Others/match.xml
|
?/n^2
58.8 /
28.4
(-)
|
?/n^2
17.7 /
7.6
(2)
|
?/n^2
8.9 /
4.3
(2)
|
rmost_Rewriting/Frederiksen_Others/minsortSize.xml
|
.
673.6 /
299.2
(-)
|
.
49.8 /
24.3
(0)
|
.
527.3 /
282.0
(0)
|
ermost_Rewriting/Frederiksen_Others/ocall-safe.xml
|
?/n^1
3.5 /
2.3
(-)
|
?/n^1
0.6 /
0.8
(2)
|
n^1/n^1
1.0 /
2.3
(4)
|
most_Rewriting/Frederiksen_Others/ocall-unsafe.xml
|
?/n^1
7.2 /
7.0
(-)
|
?/n^1
0.2 /
0.2
(2)
|
n^1/n^1
1.1 /
2.2
(4)
|
Innermost_Rewriting/Frederiksen_Others/oddeven.xml
|
?/n^1
3.5 /
1.7
(-)
|
?/n^1
0.8 /
0.3
(2)
|
n^1/n^1
1.3 /
2.3
(4)
|
_Innermost_Rewriting/Frederiksen_Others/permut.xml
|
?/n^1
1.2 /
0.6
(-)
|
?/n^1
0.3 /
0.2
(2)
|
?/n^1
4.5 /
6.5
(2)
|
y_Innermost_Rewriting/Frederiksen_Others/power.xml
|
.
388.9 /
297.1
(-)
|
.
61.4 /
35.3
(0)
|
.
361.6 /
281.7
(0)
|
st_Rewriting/Frederiksen_Others/quicksortPtime.xml
|
?/n^2
294.0 /
222.0
(-)
|
?/n^2
95.9 /
40.1
(2)
|
.
568.7 /
282.3
(0)
|
ost_Rewriting/Frederiksen_Others/quicksortSize.xml
|
.
790.3 /
297.6
(-)
|
.
611.1 /
292.4
(0)
|
.
536.7 /
283.0
(0)
|
y_Innermost_Rewriting/Frederiksen_Others/reach.xml
|
.
528.1 /
298.2
(-)
|
.
591.2 /
294.0
(0)
|
.
589.2 /
282.2
(0)
|
Innermost_Rewriting/Frederiksen_Others/rematch.xml
|
.
487.2 /
300.0
(-)
|
.
783.9 /
292.3
(0)
|
.
614.9 /
282.1
(0)
|
nnermost_Rewriting/Frederiksen_Others/strmatch.xml
|
?/n^2
213.0 /
103.6
(-)
|
?/n^2
33.3 /
12.8
(2)
|
?/n^2
17.6 /
9.5
(2)
|
most_Rewriting/Frederiksen_Others/thetrickSize.xml
|
?/n^1
124.9 /
48.9
(-)
|
?/n^1
10.1 /
2.8
(2)
|
?/n^1
12.9 /
4.4
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade01.xml
|
.
506.3 /
298.2
(-)
|
.
37.5 /
13.0
(0)
|
n^1/?
336.8 /
281.9
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade03.xml
|
.
646.5 /
298.8
(-)
|
.
44.0 /
21.7
(0)
|
n^1/?
522.7 /
280.8
(2)
|
Complexity_Innermost_Rewriting/GTSSK07/cade04t.xml
|
.
487.7 /
297.1
(-)
|
.
22.4 /
7.9
(0)
|
n^1/?
667.1 /
280.9
(2)
|
Complexity_Innermost_Rewriting/GTSSK07/cade05t.xml
|
.
407.9 /
297.4
(-)
|
.
672.4 /
292.6
(0)
|
n^1/?
605.2 /
281.3
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade06.xml
|
.
552.6 /
297.1
(-)
|
.
569.6 /
292.3
(0)
|
n^1/?
445.1 /
280.5
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade07.xml
|
.
436.4 /
298.3
(-)
|
.
76.7 /
53.6
(0)
|
n^1/?
633.0 /
280.9
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade08.xml
|
.
569.7 /
297.1
(-)
|
.
568.5 /
292.4
(0)
|
n^1/?
593.6 /
280.4
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade09.xml
|
.
533.6 /
297.2
(-)
|
.
409.4 /
293.2
(0)
|
n^1/?
566.6 /
281.4
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade10.xml
|
.
296.7 /
297.6
(-)
|
.
319.8 /
207.7
(0)
|
n^1/?
575.9 /
281.1
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade11.xml
|
.
452.8 /
300.0
(-)
|
.
76.6 /
42.2
(0)
|
n^1/?
466.9 /
281.3
(2)
|
Complexity_Innermost_Rewriting/GTSSK07/cade12t.xml
|
.
408.1 /
297.6
(-)
|
.
696.8 /
292.5
(0)
|
.
9.0 /
14.4
(0)
|
Complexity_Innermost_Rewriting/GTSSK07/cade13t.xml
|
.
554.5 /
297.4
(-)
|
.
42.7 /
23.7
(0)
|
n^1/?
554.5 /
281.5
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade14.xml
|
.
571.3 /
297.5
(-)
|
.
64.6 /
34.8
(0)
|
n^1/?
722.5 /
281.8
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade15.xml
|
.
479.1 /
297.1
(-)
|
.
274.8 /
138.3
(0)
|
?/?
10.1 /
17.1
(0)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade16.xml
|
.
453.5 /
300.0
(-)
|
.
106.6 /
49.9
(0)
|
n^1/?
594.1 /
280.5
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade17.xml
|
.
549.1 /
297.8
(-)
|
.
739.5 /
292.1
(0)
|
n^2/?
782.8 /
281.2
(2)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n002.xml
|
.
47.4 /
31.4
(-)
|
.
12.3 /
7.1
(0)
|
?/?
5.4 /
7.1
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n003.xml
|
.
63.5 /
30.8
(-)
|
.
12.3 /
7.1
(0)
|
?/?
6.8 /
6.2
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n004.xml
|
.
60.9 /
25.3
(-)
|
.
11.7 /
7.2
(0)
|
?/?
6.4 /
6.3
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n005.xml
|
.
442.7 /
297.2
(-)
|
.
14.7 /
7.2
(0)
|
?/?
6.8 /
6.3
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n006.xml
|
.
88.3 /
45.3
(-)
|
.
20.5 /
7.0
(0)
|
?/?
6.1 /
6.7
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n007.xml
|
.
24.9 /
12.4
(-)
|
.
3.6 /
1.9
(0)
|
?/?
0.4 /
2.3
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t001.xml
|
.
542.6 /
297.1
(-)
|
.
449.9 /
292.2
(0)
|
n^1/?
428.0 /
280.4
(2)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t002.xml
|
.
606.9 /
297.3
(-)
|
.
421.1 /
292.3
(0)
|
n^1/n^2
31.8 /
30.8
(4)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t003.xml
|
.
470.4 /
297.7
(-)
|
.
544.3 /
292.5
(0)
|
n^1/?
328.6 /
281.3
(2)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t004.xml
|
.
425.2 /
297.2
(-)
|
.
69.4 /
34.9
(0)
|
n^1/?
306.8 /
171.4
(2)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t009.xml
|
.
404.9 /
298.1
(-)
|
.
742.3 /
292.3
(0)
|
.
558.5 /
281.3
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t011.xml
|
?/n^1
54.1 /
24.2
(-)
|
?/n^1
17.6 /
7.0
(2)
|
n^1/n^1
1.6 /
2.2
(4)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t012.xml
|
.
783.6 /
297.1
(-)
|
.
512.1 /
292.7
(0)
|
n^1/?
579.7 /
281.2
(2)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t013.xml
|
.
689.0 /
297.2
(-)
|
.
145.0 /
141.4
(0)
|
n^1/?
289.7 /
281.0
(2)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t014.xml
|
?/n^2
86.1 /
42.6
(-)
|
?/n^2
10.9 /
5.5
(2)
|
n^1/n^2
27.2 /
21.6
(4)
|
ty_Innermost_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml
|
.
616.7 /
297.8
(-)
|
.
114.9 /
46.7
(0)
|
n^1/?
456.6 /
280.8
(2)
|
mplexity_Innermost_Rewriting/Mixed_TRS/fossacs.xml
|
.
498.1 /
297.2
(-)
|
.
127.4 /
67.8
(0)
|
n^1/?
526.7 /
281.2
(2)
|
e_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.xml
|
.
434.5 /
297.3
(-)
|
.
440.2 /
293.0
(0)
|
n^1/?
534.9 /
281.2
(2)
|
lexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.xml
|
.
611.4 /
297.1
(-)
|
.
573.9 /
292.2
(0)
|
n^1/?
546.2 /
281.1
(2)
|
exity_Innermost_Rewriting/Mixed_TRS/gcd_triple.xml
|
.
474.7 /
299.4
(-)
|
.
626.3 /
292.2
(0)
|
n^1/?
512.4 /
281.1
(2)
|
_Innermost_Rewriting/Mixed_TRS/hydra-Zantema06.xml
|
.
441.4 /
297.3
(-)
|
.
593.9 /
292.2
(0)
|
n^1/n^1
25.2 /
24.7
(4)
|
Complexity_Innermost_Rewriting/Mixed_TRS/hydra.xml
|
?/n^1
0.8 /
0.4
(-)
|
?/n^1
2.4 /
1.1
(2)
|
?/n^1
15.9 /
15.4
(2)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones1.xml
|
?/n^1
3.0 /
2.0
(-)
|
?/n^1
1.1 /
1.3
(2)
|
?/n^1
3.6 /
4.2
(2)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones2.xml
|
?/n^1
7.7 /
4.3
(-)
|
?/n^1
1.7 /
0.9
(2)
|
?/n^1
8.7 /
16.8
(2)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones4.xml
|
?/n^1
4.8 /
3.7
(-)
|
?/n^1
0.8 /
0.3
(2)
|
?/n^1
5.0 /
6.4
(2)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones5.xml
|
.
461.1 /
299.4
(-)
|
.
8.1 /
3.3
(0)
|
.
175.0 /
281.0
(0)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones6.xml
|
?/n^1
31.4 /
8.7
(-)
|
?/n^1
1.9 /
0.9
(2)
|
?/n^1
5.8 /
5.3
(2)
|
mplexity_Innermost_Rewriting/Mixed_TRS/minsort.xml
|
.
747.5 /
297.4
(-)
|
.
580.4 /
292.2
(0)
|
n^1/?
378.2 /
281.2
(2)
|
mplexity_Innermost_Rewriting/Mixed_TRS/perfect.xml
|
?/n^1
12.7 /
6.7
(-)
|
?/n^1
2.9 /
2.4
(2)
|
?/n^1
11.2 /
16.8
(2)
|
plexity_Innermost_Rewriting/Mixed_TRS/perfect2.xml
|
.
628.1 /
298.9
(-)
|
.
466.8 /
293.0
(0)
|
n^1/?
389.5 /
281.1
(2)
|
Complexity_Innermost_Rewriting/Mixed_TRS/test1.xml
|
.
541.6 /
297.4
(-)
|
.
5.5 /
3.3
(0)
|
.
25.4 /
17.3
(0)
|
Complexity_Innermost_Rewriting/Mixed_TRS/while.xml
|
.
599.9 /
297.1
(-)
|
.
33.9 /
12.2
(0)
|
n^1/?
513.2 /
280.9
(2)
|
mplexity_Innermost_Rewriting/Rubio_04/bintrees.xml
|
?/n^1
9.3 /
4.1
(-)
|
?/n^1
11.9 /
5.6
(2)
|
n^1/n^1
2.1 /
2.3
(4)
|
_Complexity_Innermost_Rewriting/Rubio_04/bn122.xml
|
?/n^1
5.2 /
3.4
(-)
|
?/n^1
2.3 /
1.2
(2)
|
?/n^2
25.5 /
17.5
(1)
|
mplexity_Innermost_Rewriting/Rubio_04/division.xml
|
?/n^3
344.0 /
163.3
(-)
|
?/n^3
87.1 /
68.5
(2)
|
n^1/n^3
48.0 /
31.3
(4)
|
mplexity_Innermost_Rewriting/Rubio_04/elimdupl.xml
|
?/n^2
185.4 /
92.6
(-)
|
?/n^2
69.1 /
33.9
(2)
|
n^1/n^2
36.7 /
23.3
(4)
|
e_Complexity_Innermost_Rewriting/Rubio_04/enno.xml
|
?/n^2
320.8 /
148.9
(-)
|
?/n^2
345.8 /
291.7
(2)
|
n^1/n^2
61.8 /
44.5
(4)
|
me_Complexity_Innermost_Rewriting/Rubio_04/gcd.xml
|
?/n^2
295.2 /
137.2
(-)
|
?/n^2
27.1 /
11.2
(2)
|
n^1/n^2
43.0 /
25.4
(4)
|
ime_Complexity_Innermost_Rewriting/Rubio_04/gm.xml
|
?/n^1
4.1 /
1.6
(-)
|
?/n^1
1.4 /
0.4
(2)
|
n^1/n^2
24.6 /
21.7
(3)
|
e_Complexity_Innermost_Rewriting/Rubio_04/gmnp.xml
|
?/n^1
7.2 /
3.0
(-)
|
?/n^1
3.2 /
1.7
(2)
|
n^1/n^1
1.5 /
4.3
(4)
|
e_Complexity_Innermost_Rewriting/Rubio_04/koen.xml
|
?/n^0
4.2 /
2.2
(-)
|
?/n^0
0.6 /
0.8
(2)
|
?/n^0
5.0 /
7.3
(2)
|
plexity_Innermost_Rewriting/Rubio_04/logarquot.xml
|
?/n^2
180.2 /
63.8
(-)
|
?/n^2
15.4 /
10.8
(2)
|
n^1/n^2
35.4 /
28.7
(4)
|
e_Complexity_Innermost_Rewriting/Rubio_04/ma96.xml
|
.
597.4 /
297.2
(-)
|
.
832.1 /
292.3
(0)
|
n^1/?
509.8 /
285.2
(2)
|
_Complexity_Innermost_Rewriting/Rubio_04/mfp95.xml
|
?/n^1
2.0 /
1.4
(-)
|
?/n^0
0.1 /
0.1
(2)
|
?/n^0
2.4 /
4.2
(2)
|
omplexity_Innermost_Rewriting/Rubio_04/nestrec.xml
|
.
559.9 /
297.8
(-)
|
.
206.1 /
99.1
(0)
|
n^1/?
435.1 /
280.8
(2)
|
e_Complexity_Innermost_Rewriting/Rubio_04/p266.xml
|
?/n^0
14.4 /
6.8
(-)
|
?/n^0
0.6 /
0.3
(2)
|
?/n^0
2.3 /
5.6
(2)
|
_Complexity_Innermost_Rewriting/Rubio_04/polo2.xml
|
?/n^1
322.1 /
148.8
(-)
|
?/n^1
51.9 /
21.7
(2)
|
n^1/n^1
24.0 /
29.0
(4)
|
e_Complexity_Innermost_Rewriting/Rubio_04/prov.xml
|
?/n^1
7.7 /
3.4
(-)
|
?/n^1
1.7 /
0.6
(2)
|
n^1/n^1
6.9 /
6.3
(4)
|
_Complexity_Innermost_Rewriting/Rubio_04/quick.xml
|
.
594.9 /
299.4
(-)
|
.
451.8 /
292.6
(0)
|
n^2/?
517.8 /
281.3
(2)
|
plexity_Innermost_Rewriting/Rubio_04/quotminus.xml
|
.
384.0 /
193.5
(-)
|
.
34.7 /
21.3
(0)
|
n^1/?
301.3 /
280.7
(2)
|
omplexity_Innermost_Rewriting/Rubio_04/revlist.xml
|
.
572.4 /
297.2
(-)
|
.
447.5 /
292.7
(0)
|
n^1/?
510.5 /
283.3
(2)
|
omplexity_Innermost_Rewriting/Rubio_04/selsort.xml
|
?/n^3
530.9 /
257.3
(-)
|
?/n^2
572.7 /
294.0
(2)
|
n^2/?
601.8 /
281.2
(2)
|
_Complexity_Innermost_Rewriting/Rubio_04/test4.xml
|
?/n^1
18.2 /
11.5
(-)
|
?/n^1
7.7 /
4.1
(2)
|
n^1/n^1
2.9 /
3.3
(4)
|
omplexity_Innermost_Rewriting/Rubio_04/test829.xml
|
?/n^1
6.2 /
3.2
(-)
|
?/n^1
0.8 /
0.4
(2)
|
?/n^1
3.1 /
4.3
(2)
|
_Complexity_Innermost_Rewriting/Rubio_04/wst99.xml
|
.
558.2 /
297.3
(-)
|
?/n^2
53.3 /
33.6
(2)
|
n^1/n^2
40.3 /
28.6
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.02.xml
|
?/n^1
448.8 /
297.3
(-)
|
?/n^1
29.0 /
12.8
(2)
|
n^1/n^1
1.3 /
2.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.03.xml
|
?/n^1
2.8 /
1.2
(-)
|
?/n^1
1.4 /
0.6
(2)
|
n^1/n^1
1.1 /
2.2
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.07.xml
|
?/n^1
23.0 /
12.4
(-)
|
?/n^1
8.2 /
3.4
(2)
|
n^1/n^1
27.6 /
27.0
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.09.xml
|
?/n^1
1.6 /
1.1
(-)
|
?/n^1
0.8 /
0.4
(2)
|
n^1/n^1
1.4 /
2.2
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.11.xml
|
?/n^1
1.5 /
0.6
(-)
|
?/n^1
0.6 /
0.5
(2)
|
n^1/n^1
1.6 /
3.4
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.12.xml
|
?/n^3
289.1 /
148.6
(-)
|
?/n^3
23.9 /
19.5
(2)
|
n^3/n^3
24.3 /
20.0
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.13.xml
|
?/n^1
8.1 /
3.7
(-)
|
?/n^1
3.1 /
2.5
(2)
|
n^1/n^1
16.1 /
17.5
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.14.xml
|
?/n^1
2.5 /
1.4
(-)
|
?/n^1
1.2 /
0.7
(2)
|
n^1/n^1
1.9 /
3.7
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.15.xml
|
.
52.2 /
28.3
(-)
|
.
9.2 /
8.5
(0)
|
?/?
5.0 /
6.8
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.16.xml
|
?/n^2
47.1 /
27.0
(-)
|
?/n^2
10.7 /
4.2
(2)
|
n^1/n^2
31.3 /
20.6
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.17.xml
|
?/n^1
2.8 /
1.6
(-)
|
?/n^1
2.2 /
1.3
(2)
|
n^1/n^1
6.7 /
6.2
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.18.xml
|
?/n^2
16.7 /
10.7
(-)
|
?/n^2
5.3 /
3.0
(2)
|
n^1/n^2
27.2 /
22.7
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.19.xml
|
?/n^3
223.0 /
113.3
(-)
|
?/n^2
11.1 /
4.7
(2)
|
.
16.8 /
13.9
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.20.xml
|
?/n^1
1.3 /
0.5
(-)
|
?/n^1
0.8 /
0.5
(2)
|
n^1/n^1
5.4 /
9.6
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.21.xml
|
.
110.3 /
57.7
(-)
|
.
8.7 /
4.3
(0)
|
n^1/?
23.8 /
14.3
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.22.xml
|
?/n^2
22.2 /
12.3
(-)
|
?/n^2
8.2 /
4.0
(2)
|
n^1/n^2
31.7 /
23.8
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.23.xml
|
.
552.2 /
297.2
(-)
|
.
36.5 /
20.5
(0)
|
n^2/?
476.9 /
280.8
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.24.xml
|
.
71.6 /
36.2
(-)
|
.
6.9 /
3.2
(0)
|
n^1/?
28.8 /
21.3
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.25.xml
|
.
561.4 /
297.1
(-)
|
.
24.9 /
12.7
(0)
|
n^1/?
634.7 /
281.6
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.26.xml
|
.
632.7 /
297.2
(-)
|
.
139.3 /
66.5
(0)
|
?/?
18.0 /
15.5
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.27.xml
|
.
575.3 /
297.3
(-)
|
.
63.0 /
35.7
(0)
|
n^1/?
291.2 /
281.5
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.28.xml
|
.
515.3 /
297.3
(-)
|
.
8.7 /
6.4
(0)
|
n^1/?
559.4 /
289.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.29.xml
|
?/n^1
13.0 /
10.6
(-)
|
?/n^1
2.6 /
2.6
(2)
|
?/n^1
4.7 /
6.3
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.30.xml
|
?/n^0
0.7 /
0.4
(-)
|
?/n^0
0.3 /
0.2
(2)
|
?/n^0
2.3 /
5.5
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.31.xml
|
?/n^1
6.7 /
4.0
(-)
|
?/n^1
0.4 /
0.3
(2)
|
n^1/n^1
1.7 /
2.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.36.xml
|
?/n^1
47.0 /
24.1
(-)
|
?/n^1
11.7 /
7.1
(2)
|
n^1/n^1
1.7 /
3.6
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.37.xml
|
?/n^0
2.1 /
1.1
(-)
|
?/n^0
0.5 /
0.2
(2)
|
?/n^1
3.0 /
6.4
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.38.xml
|
?/n^1
6.2 /
3.6
(-)
|
?/n^1
1.6 /
0.8
(2)
|
n^1/n^1
1.3 /
2.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.39.xml
|
?/n^2
147.8 /
81.7
(-)
|
?/n^2
21.9 /
17.5
(2)
|
n^2/n^2
28.5 /
19.0
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.40.xml
|
?/n^1
10.6 /
9.3
(-)
|
?/n^1
0.8 /
0.3
(2)
|
n^1/n^1
3.5 /
6.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.41.xml
|
?/n^1
1.6 /
0.6
(-)
|
?/n^1
2.6 /
1.1
(2)
|
n^1/n^1
1.6 /
2.9
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.42.xml
|
?/n^1
222.1 /
110.2
(-)
|
?/n^1
25.6 /
12.4
(2)
|
n^1/n^1
1.0 /
2.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.43.xml
|
.
584.4 /
297.3
(-)
|
.
90.8 /
79.4
(0)
|
n^1/?
45.6 /
30.5
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.44.xml
|
?/n^1
17.0 /
10.6
(-)
|
?/n^1
6.4 /
3.4
(2)
|
n^1/n^1
8.5 /
9.5
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.45.xml
|
?/n^1
10.1 /
6.5
(-)
|
?/n^1
1.7 /
1.0
(2)
|
n^1/n^1
15.1 /
11.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.47.xml
|
?/n^1
1.9 /
1.7
(-)
|
?/n^1
0.4 /
0.2
(2)
|
n^1/n^1
1.0 /
2.4
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.48.xml
|
?/n^0
1.5 /
0.7
(-)
|
?/n^0
0.7 /
1.6
(2)
|
?/n^0
2.4 /
4.6
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.49.xml
|
?/n^1
4.1 /
2.1
(-)
|
?/n^0
0.3 /
0.2
(2)
|
?/n^0
2.6 /
4.3
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.50.xml
|
?/n^1
1.5 /
0.7
(-)
|
?/n^1
0.3 /
0.3
(2)
|
n^1/n^1
1.0 /
2.2
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.51.xml
|
.
561.4 /
298.0
(-)
|
.
46.2 /
36.0
(0)
|
n^1/?
463.4 /
280.9
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.52.xml
|
.
742.4 /
297.6
(-)
|
.
276.4 /
172.0
(0)
|
.
470.5 /
280.5
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.53.xml
|
?/n^1
2.3 /
1.6
(-)
|
?/n^1
0.7 /
0.5
(2)
|
n^1/n^1
1.6 /
2.4
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.54.xml
|
?/n^1
0.6 /
0.3
(-)
|
?/n^1
0.5 /
0.4
(2)
|
?/n^1
3.8 /
8.6
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.55.xml
|
?/n^1
5.0 /
3.7
(-)
|
?/n^1
0.6 /
0.2
(2)
|
?/n^1
3.4 /
5.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.59.xml
|
?/n^1
0.9 /
0.4
(-)
|
?/n^1
0.3 /
0.2
(2)
|
?/n^1
2.9 /
5.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.61.xml
|
?/n^1
10.2 /
4.1
(-)
|
?/n^1
3.3 /
1.2
(2)
|
?/n^2
32.7 /
21.6
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.05.xml
|
?/n^2
36.6 /
16.3
(-)
|
?/n^2
5.7 /
3.5
(2)
|
n^1/n^2
30.7 /
28.5
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.06.xml
|
.
601.2 /
297.3
(-)
|
.
32.3 /
24.1
(0)
|
?/?
0.4 /
2.5
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.07.xml
|
?/n^0
4.2 /
3.1
(-)
|
?/n^0
0.1 /
0.1
(2)
|
?/n^0
8.9 /
17.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.09.xml
|
?/n^0
40.4 /
21.0
(-)
|
?/n^0
5.5 /
5.8
(2)
|
?/n^0
16.9 /
14.3
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.10.xml
|
?/n^2
166.1 /
90.0
(-)
|
?/n^2
16.2 /
7.4
(2)
|
n^1/n^2
26.3 /
21.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.12.xml
|
?/n^1
49.0 /
24.4
(-)
|
?/n^1
13.6 /
7.4
(2)
|
n^1/n^1
3.3 /
3.2
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.13.xml
|
?/n^1
143.2 /
73.0
(-)
|
?/n^2
11.3 /
5.3
(1)
|
n^1/n^1
15.0 /
20.6
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.16.xml
|
?/n^1
6.2 /
3.9
(-)
|
?/n^1
1.4 /
0.4
(2)
|
?/n^1
3.1 /
4.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.17.xml
|
?/n^2
283.7 /
145.9
(-)
|
?/n^2
51.9 /
37.1
(2)
|
n^2/?
213.8 /
281.8
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.18.xml
|
?/n^0
1.4 /
0.6
(-)
|
?/n^0
0.3 /
0.4
(2)
|
?/n^0
11.3 /
10.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.22.xml
|
.
455.5 /
261.0
(-)
|
.
33.9 /
33.9
(0)
|
n^1/?
546.6 /
280.6
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.24.xml
|
.
585.0 /
297.2
(-)
|
.
552.9 /
292.7
(0)
|
n^1/?
657.5 /
299.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.25.xml
|
?/n^1
3.9 /
3.1
(-)
|
?/n^1
1.2 /
0.6
(2)
|
n^1/n^1
8.0 /
6.2
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.26.xml
|
?/n^1
371.9 /
297.5
(-)
|
?/n^1
13.0 /
3.9
(2)
|
n^1/n^1
1.5 /
3.4
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.27.xml
|
.
713.6 /
297.2
(-)
|
.
518.6 /
292.1
(0)
|
n^1/?
491.9 /
281.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.28.xml
|
?/n^1
6.8 /
3.9
(-)
|
?/n^1
4.9 /
1.7
(2)
|
n^1/n^2
291.3 /
281.1
(3)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.29.xml
|
?/n^1
2.5 /
1.5
(-)
|
?/n^1
1.4 /
1.0
(2)
|
?/n^1
3.4 /
5.3
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.30.xml
|
?/n^1
124.8 /
66.0
(-)
|
?/n^1
16.4 /
6.6
(2)
|
n^1/n^1
1.6 /
2.4
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.31.xml
|
.
543.0 /
299.2
(-)
|
.
20.6 /
7.0
(0)
|
?/?
6.4 /
5.2
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.34.xml
|
.
517.2 /
297.7
(-)
|
.
38.4 /
23.8
(0)
|
n^1/?
52.0 /
49.3
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.35.xml
|
?/n^0
2.5 /
1.8
(-)
|
?/n^0
0.1 /
0.1
(2)
|
?/n^0
2.7 /
5.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.38.xml
|
?/n^1
34.1 /
29.5
(-)
|
?/n^1
3.6 /
1.9
(2)
|
n^1/n^1
1.2 /
2.4
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.42.xml
|
.
426.9 /
297.4
(-)
|
.
25.1 /
12.7
(0)
|
n^1/?
616.0 /
281.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.43.xml
|
.
412.5 /
297.5
(-)
|
?/n^3
40.6 /
19.5
(2)
|
n^1/?
73.0 /
70.5
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.45.xml
|
?/n^1
1.0 /
0.7
(-)
|
?/n^1
0.7 /
1.2
(2)
|
n^1/n^1
3.0 /
5.3
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.47.xml
|
?/n^0
7.5 /
5.2
(-)
|
?/n^0
0.3 /
0.2
(2)
|
?/n^0
2.9 /
4.6
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.48.xml
|
?/n^0
9.6 /
5.5
(-)
|
?/n^0
0.1 /
0.1
(2)
|
?/n^0
18.6 /
15.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.51.xml
|
?/n^1
25.9 /
16.8
(-)
|
?/n^1
2.9 /
1.0
(2)
|
?/n^1
3.8 /
6.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.53.xml
|
?/n^1
6.9 /
2.4
(-)
|
?/n^1
7.5 /
5.4
(2)
|
n^1/n^1
16.7 /
20.7
(4)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.54.xml
|
.
542.2 /
297.3
(-)
|
.
12.7 /
5.4
(0)
|
?/?
7.1 /
8.4
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.57.xml
|
?/n^0
293.5 /
148.9
(-)
|
?/n^0
405.6 /
292.2
(2)
|
?/n^0
15.7 /
14.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.59.xml
|
.
288.8 /
184.7
(-)
|
.
40.5 /
30.1
(0)
|
?/?
6.5 /
5.8
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.60.xml
|
.
589.2 /
297.5
(-)
|
.
577.7 /
292.7
(0)
|
n^1/?
533.6 /
280.8
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.61.xml
|
.
661.2 /
297.3
(-)
|
.
622.5 /
292.4
(0)
|
?/?
20.6 /
17.5
(0)
|
xity_Innermost_Rewriting/Secret_05_TRS/aprove2.xml
|
.
501.8 /
297.2
(-)
|
.
86.4 /
63.4
(0)
|
n^1/n^2
545.8 /
242.6
(4)
|
xity_Innermost_Rewriting/Secret_05_TRS/aprove3.xml
|
.
541.8 /
297.4
(-)
|
.
45.7 /
25.1
(0)
|
.
242.7 /
281.2
(0)
|
xity_Innermost_Rewriting/Secret_05_TRS/aprove4.xml
|
.
368.7 /
300.0
(-)
|
.
53.2 /
53.9
(0)
|
n^1/n^2
66.1 /
53.3
(4)
|
xity_Innermost_Rewriting/Secret_05_TRS/aprove5.xml
|
.
487.5 /
297.3
(-)
|
.
122.6 /
108.5
(0)
|
n^1/?
571.0 /
281.4
(2)
|
lexity_Innermost_Rewriting/Secret_05_TRS/cime2.xml
|
?/n^1
50.3 /
29.1
(-)
|
?/n^1
12.3 /
5.7
(2)
|
n^1/n^1
20.3 /
16.7
(4)
|
lexity_Innermost_Rewriting/Secret_05_TRS/cime3.xml
|
.
572.2 /
297.4
(-)
|
.
71.6 /
37.5
(0)
|
.
301.0 /
280.6
(0)
|
lexity_Innermost_Rewriting/Secret_05_TRS/cime4.xml
|
?/n^0
18.4 /
7.5
(-)
|
?/n^0
4.9 /
3.1
(2)
|
?/n^0
2.5 /
8.2
(2)
|
lexity_Innermost_Rewriting/Secret_05_TRS/cime5.xml
|
.
709.4 /
297.5
(-)
|
.
738.2 /
292.9
(0)
|
n^1/?
655.1 /
281.2
(2)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa1.xml
|
.
670.0 /
297.6
(-)
|
.
555.3 /
292.4
(0)
|
n^1/?
600.2 /
280.6
(2)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa2.xml
|
.
577.9 /
297.3
(-)
|
.
608.9 /
292.1
(0)
|
n^1/n^2
382.2 /
202.5
(4)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa3.xml
|
.
665.6 /
297.2
(-)
|
.
446.8 /
292.6
(0)
|
n^2/?
595.5 /
281.1
(2)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa4.xml
|
.
562.2 /
297.3
(-)
|
.
567.2 /
292.5
(0)
|
n^2/?
584.9 /
281.5
(2)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa5.xml
|
.
503.4 /
297.5
(-)
|
.
693.2 /
292.3
(0)
|
n^1/?
521.0 /
280.9
(2)
|
plexity_Innermost_Rewriting/Secret_05_TRS/ttt1.xml
|
?/n^0
235.6 /
148.2
(-)
|
?/n^0
18.4 /
13.1
(2)
|
?/n^0
15.4 /
14.5
(2)
|
plexity_Innermost_Rewriting/Secret_05_TRS/ttt2.xml
|
.
539.4 /
297.6
(-)
|
.
35.4 /
14.9
(0)
|
?/?
5.5 /
6.4
(0)
|
omplexity_Innermost_Rewriting/Secret_06_TRS/10.xml
|
?/n^1
7.4 /
4.8
(-)
|
?/n^0
0.5 /
0.2
(2)
|
?/n^1
4.7 /
4.2
(1)
|
Complexity_Innermost_Rewriting/Secret_06_TRS/4.xml
|
?/n^1
327.7 /
297.4
(-)
|
?/n^1
40.5 /
17.7
(2)
|
?/n^1
18.5 /
11.3
(2)
|
Complexity_Innermost_Rewriting/Secret_06_TRS/6.xml
|
?/n^0
1.4 /
1.2
(-)
|
?/n^0
0.2 /
0.1
(2)
|
?/n^0
3.0 /
6.1
(2)
|
xity_Innermost_Rewriting/Secret_06_TRS/addList.xml
|
.
651.9 /
297.3
(-)
|
.
581.3 /
292.4
(0)
|
.
72.5 /
67.7
(0)
|
exity_Innermost_Rewriting/Secret_06_TRS/divExp.xml
|
.
616.9 /
297.3
(-)
|
.
565.4 /
292.3
(0)
|
n^1/?
254.4 /
281.8
(2)
|
ity_Innermost_Rewriting/Secret_06_TRS/division.xml
|
.
675.1 /
297.6
(-)
|
.
118.2 /
72.9
(0)
|
n^1/?
626.0 /
281.3
(2)
|
exity_Innermost_Rewriting/Secret_06_TRS/double.xml
|
.
587.0 /
299.9
(-)
|
.
148.4 /
104.9
(0)
|
n^1/?
582.4 /
280.8
(2)
|
lexity_Innermost_Rewriting/Secret_06_TRS/gen-1.xml
|
?/n^0
2.2 /
0.9
(-)
|
?/n^0
0.1 /
0.1
(2)
|
?/n^0
7.9 /
7.4
(2)
|
exity_Innermost_Rewriting/Secret_06_TRS/gen-17.xml
|
?/n^0
293.3 /
148.8
(-)
|
?/n^0
37.2 /
21.2
(2)
|
?/n^0
13.3 /
12.3
(2)
|
exity_Innermost_Rewriting/Secret_06_TRS/gen-28.xml
|
?/n^1
312.5 /
148.2
(-)
|
.
39.0 /
20.8
(0)
|
?/n^0
98.1 /
52.2
(2)
|
ty_Innermost_Rewriting/Secret_06_TRS/logarithm.xml
|
.
537.7 /
297.2
(-)
|
.
296.5 /
292.5
(0)
|
n^1/?
641.2 /
280.8
(2)
|
ty_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.xml
|
.
823.3 /
297.6
(-)
|
.
143.1 /
98.1
(0)
|
n^1/?
628.4 /
282.0
(2)
|
xity_Innermost_Rewriting/Secret_06_TRS/reverse.xml
|
.
509.8 /
297.4
(-)
|
.
428.6 /
292.4
(0)
|
n^1/?
668.5 /
281.2
(2)
|
xity_Innermost_Rewriting/Secret_06_TRS/sumList.xml
|
.
550.2 /
297.3
(-)
|
.
158.3 /
103.1
(0)
|
n^2/?
425.3 /
284.0
(2)
|
lexity_Innermost_Rewriting/Secret_06_TRS/times.xml
|
.
637.1 /
297.4
(-)
|
.
97.1 /
87.6
(0)
|
n^1/?
632.1 /
281.2
(2)
|
exity_Innermost_Rewriting/Secret_06_TRS/toList.xml
|
.
673.7 /
300.0
(-)
|
.
353.8 /
205.3
(0)
|
.
652.1 /
281.4
(0)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa04.xml
|
.
386.6 /
297.5
(-)
|
.
611.4 /
292.4
(0)
|
n^1/?
416.9 /
281.5
(2)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa05.xml
|
.
398.8 /
297.4
(-)
|
.
571.0 /
293.1
(0)
|
n^2/?
582.3 /
280.9
(2)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa06.xml
|
.
431.0 /
300.1
(-)
|
.
603.5 /
292.7
(0)
|
n^1/?
650.9 /
280.8
(2)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa07.xml
|
.
665.3 /
297.3
(-)
|
.
548.3 /
292.6
(0)
|
n^2/?
590.8 /
280.6
(2)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa08.xml
|
.
397.9 /
298.7
(-)
|
.
573.5 /
292.6
(0)
|
n^2/?
402.2 /
281.5
(2)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa09.xml
|
.
450.7 /
297.8
(-)
|
.
683.6 /
292.2
(0)
|
n^2/?
516.1 /
282.3
(2)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa10.xml
|
.
719.0 /
297.8
(-)
|
.
492.9 /
296.1
(0)
|
n^2/?
592.3 /
281.2
(2)
|
Complexity_Innermost_Rewriting/Secret_07_TRS/3.xml
|
.
574.5 /
297.2
(-)
|
?/n^1
587.6 /
292.2
(2)
|
?/n^2
31.7 /
23.8
(1)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove01.xml
|
.
639.1 /
297.4
(-)
|
.
154.5 /
94.4
(0)
|
n^1/?
332.4 /
281.0
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove02.xml
|
.
571.4 /
297.3
(-)
|
.
106.7 /
49.7
(0)
|
n^1/?
534.5 /
281.5
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove03.xml
|
.
729.2 /
297.4
(-)
|
.
690.9 /
292.6
(0)
|
n^1/?
532.7 /
281.0
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove04.xml
|
.
693.3 /
297.9
(-)
|
.
610.9 /
292.3
(0)
|
n^1/?
735.6 /
280.7
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove05.xml
|
.
548.3 /
297.6
(-)
|
.
198.5 /
123.6
(0)
|
n^1/?
556.8 /
280.8
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove06.xml
|
.
406.8 /
297.3
(-)
|
.
316.7 /
176.2
(0)
|
n^1/?
589.4 /
281.0
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove07.xml
|
.
592.3 /
297.1
(-)
|
.
140.4 /
87.1
(0)
|
n^1/?
538.6 /
281.4
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove08.xml
|
.
542.3 /
297.1
(-)
|
.
162.5 /
100.6
(0)
|
n^1/?
802.8 /
281.1
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove09.xml
|
.
618.1 /
297.5
(-)
|
.
106.5 /
61.6
(0)
|
n^1/?
555.5 /
281.2
(2)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove10.xml
|
.
595.5 /
298.4
(-)
|
.
592.5 /
292.4
(0)
|
n^1/?
706.4 /
281.1
(2)
|
xity_Innermost_Rewriting/Secret_07_TRS/secret1.xml
|
.
593.4 /
297.4
(-)
|
.
382.0 /
211.5
(0)
|
n^1/?
745.5 /
280.4
(2)
|
xity_Innermost_Rewriting/Secret_07_TRS/secret3.xml
|
.
607.3 /
297.5
(-)
|
.
51.8 /
29.6
(0)
|
.
8.7 /
16.2
(0)
|
xity_Innermost_Rewriting/Secret_07_TRS/secret4.xml
|
.
633.6 /
297.7
(-)
|
.
593.8 /
292.3
(0)
|
n^1/?
611.2 /
281.0
(2)
|
xity_Innermost_Rewriting/Secret_07_TRS/secret5.xml
|
?/n^1
8.8 /
5.1
(-)
|
?/n^1
2.7 /
1.1
(2)
|
?/n^1
16.5 /
16.3
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.14.xml
|
?/n^1
7.9 /
5.4
(-)
|
?/n^1
106.4 /
144.5
(2)
|
n^1/n^1
2.9 /
5.3
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.16.xml
|
?/n^1
18.6 /
9.9
(-)
|
?/n^1
5.1 /
3.6
(2)
|
n^1/n^1
3.0 /
5.5
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.17.xml
|
?/n^1
4.4 /
1.5
(-)
|
?/n^1
563.0 /
292.0
(2)
|
n^1/n^1
1.0 /
2.3
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.19.xml
|
.
587.6 /
297.6
(-)
|
.
31.5 /
14.3
(0)
|
?/n^1
47.5 /
50.1
(2)
|
Innermost_Rewriting/Strategy_removed_AG01/#4.2.xml
|
?/n^1
1.2 /
0.6
(-)
|
?/n^1
432.0 /
292.5
(2)
|
n^1/n^1
3.1 /
6.5
(4)
|
nermost_Rewriting/Strategy_removed_AG01/#4.20a.xml
|
?/n^1
5.2 /
1.8
(-)
|
?/n^1
3.9 /
3.0
(2)
|
n^1/n^1
1.1 /
2.5
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.22.xml
|
?/n^1
36.0 /
22.1
(-)
|
?/n^1
8.3 /
9.0
(2)
|
n^1/n^1
17.6 /
14.8
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.23.xml
|
.
563.6 /
297.3
(-)
|
.
51.8 /
28.1
(0)
|
n^1/?
101.9 /
89.5
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.25.xml
|
.
452.4 /
297.5
(-)
|
.
3.6 /
1.5
(0)
|
?/n^0
2.7 /
5.2
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.26.xml
|
.
470.4 /
298.6
(-)
|
.
31.2 /
15.3
(0)
|
n^1/n^2
70.8 /
60.9
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.27.xml
|
?/n^2
360.2 /
149.5
(-)
|
?/n^3
37.0 /
16.6
(1)
|
n^1/n^2
26.2 /
30.6
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.28.xml
|
?/n^1
63.3 /
26.1
(-)
|
?/n^1
15.9 /
7.1
(2)
|
n^1/n^2
18.5 /
17.6
(3)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.29.xml
|
.
529.3 /
297.5
(-)
|
.
748.7 /
292.5
(0)
|
n^1/?
484.6 /
280.8
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.30.xml
|
.
686.7 /
297.3
(-)
|
.
115.7 /
67.0
(0)
|
n^1/n^2
83.8 /
60.6
(4)
|
nermost_Rewriting/Strategy_removed_AG01/#4.30a.xml
|
.
556.1 /
297.4
(-)
|
.
21.9 /
8.7
(0)
|
n^1/n^2
32.5 /
45.3
(4)
|
nermost_Rewriting/Strategy_removed_AG01/#4.30b.xml
|
.
560.0 /
297.1
(-)
|
.
352.9 /
291.8
(0)
|
n^1/n^2
128.4 /
88.0
(4)
|
nermost_Rewriting/Strategy_removed_AG01/#4.30c.xml
|
.
579.9 /
297.1
(-)
|
.
238.0 /
176.8
(0)
|
n^1/n^2
112.3 /
143.4
(4)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.32.xml
|
?/n^1
24.3 /
10.6
(-)
|
?/n^2
5.5 /
3.1
(1)
|
?/n^1
9.9 /
17.2
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.33.xml
|
?/n^5
514.4 /
252.8
(-)
|
?/n^3
107.0 /
71.2
(2)
|
n^2/?
563.2 /
281.2
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.34.xml
|
?/n^1
15.9 /
6.0
(-)
|
?/n^1
10.7 /
4.2
(2)
|
n^1/n^2
261.5 /
264.1
(3)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.35.xml
|
.
398.7 /
298.1
(-)
|
.
740.8 /
293.6
(0)
|
n^1/?
420.9 /
282.8
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.36.xml
|
?/n^3
429.7 /
222.0
(-)
|
?/n^2
342.2 /
192.6
(2)
|
n^2/?
487.7 /
281.0
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.37.xml
|
?/n^1
4.8 /
2.4
(-)
|
?/n^1
1.9 /
0.7
(2)
|
?/n^1
3.3 /
5.3
(2)
|
nermost_Rewriting/Strategy_removed_AG01/#4.37a.xml
|
?/n^1
19.9 /
17.9
(-)
|
?/n^1
2.5 /
1.7
(2)
|
?/n^1
4.2 /
10.0
(2)
|
Innermost_Rewriting/Strategy_removed_AG01/#4.7.xml
|
?/n^0
3.3 /
1.5
(-)
|
?/n^0
0.3 /
0.6
(2)
|
?/n^0
2.3 /
5.3
(2)
|
_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml
|
.
96.8 /
40.3
(-)
|
.
6.3 /
2.8
(0)
|
?/?
0.4 /
2.8
(0)
|
t_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml
|
.
116.3 /
52.5
(-)
|
.
9.6 /
5.5
(0)
|
?/?
0.4 /
2.2
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml
|
.
292.0 /
148.5
(-)
|
.
16.4 /
7.6
(0)
|
?/?
0.4 /
2.4
(0)
|
Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml
|
.
99.1 /
50.3
(-)
|
.
4.4 /
2.6
(0)
|
?/?
0.4 /
2.4
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml
|
.
121.8 /
71.4
(-)
|
.
9.8 /
6.1
(0)
|
?/?
0.4 /
2.6
(0)
|
ost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml
|
.
569.7 /
297.3
(-)
|
.
51.4 /
34.8
(0)
|
?/?
0.4 /
2.9
(0)
|
t_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml
|
.
86.9 /
36.9
(-)
|
.
9.9 /
4.8
(0)
|
?/?
0.4 /
2.4
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml
|
.
55.5 /
35.3
(-)
|
.
35.6 /
16.7
(0)
|
?/?
7.1 /
6.2
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml
|
.
606.8 /
297.9
(-)
|
.
47.7 /
24.0
(0)
|
?/?
0.4 /
2.4
(0)
|
t_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml
|
.
124.7 /
65.1
(-)
|
.
8.0 /
3.3
(0)
|
?/?
0.4 /
2.2
(0)
|
ewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml
|
.
81.8 /
58.9
(-)
|
.
5.3 /
2.4
(0)
|
?/?
0.4 /
2.3
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml
|
.
114.9 /
60.0
(-)
|
.
11.3 /
3.5
(0)
|
?/?
0.4 /
2.2
(0)
|
writing/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml
|
.
492.5 /
298.8
(-)
|
.
37.3 /
22.5
(0)
|
?/?
0.4 /
2.3
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml
|
?/n^1
11.4 /
6.0
(-)
|
?/n^1
3.7 /
1.9
(2)
|
n^1/n^1
21.1 /
15.6
(4)
|
Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml
|
.
616.5 /
297.3
(-)
|
.
10.0 /
4.3
(0)
|
?/?
0.4 /
2.2
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml
|
.
443.7 /
297.5
(-)
|
.
30.4 /
15.1
(0)
|
?/?
6.1 /
6.3
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml
|
.
152.0 /
88.8
(-)
|
.
12.6 /
6.4
(0)
|
?/?
0.4 /
2.3
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml
|
.
84.8 /
35.3
(-)
|
.
7.6 /
4.1
(0)
|
?/?
0.4 /
2.4
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml
|
.
55.4 /
25.3
(-)
|
.
21.1 /
7.0
(0)
|
?/?
3.3 /
7.0
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml
|
.
452.2 /
298.9
(-)
|
.
28.2 /
21.3
(0)
|
?/?
0.4 /
2.6
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex5_7_Luc97.xml
|
.
117.4 /
40.4
(-)
|
.
19.0 /
11.3
(0)
|
?/?
0.4 /
2.2
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml
|
.
54.5 /
28.2
(-)
|
.
13.7 /
7.1
(0)
|
?/?
5.2 /
6.5
(0)
|
Rewriting/Strategy_removed_CSR_05/Ex6_15_AEL02.xml
|
.
316.1 /
148.3
(-)
|
.
23.2 /
7.5
(0)
|
?/?
0.4 /
2.3
(0)
|
Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml
|
.
121.7 /
48.3
(-)
|
.
6.7 /
3.3
(0)
|
?/?
0.4 /
2.3
(0)
|
ost_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml
|
.
84.4 /
42.9
(-)
|
.
9.1 /
7.4
(0)
|
?/?
6.5 /
6.2
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml
|
.
194.1 /
143.4
(-)
|
.
5.5 /
2.7
(0)
|
?/?
0.4 /
3.0
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml
|
.
136.7 /
69.9
(-)
|
.
7.5 /
3.0
(0)
|
?/?
0.4 /
2.5
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml
|
.
619.0 /
297.5
(-)
|
.
20.4 /
9.2
(0)
|
?/?
0.4 /
2.2
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml
|
.
499.4 /
300.0
(-)
|
.
57.7 /
24.8
(0)
|
?/?
0.4 /
2.2
(0)
|
ting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml
|
.
161.3 /
75.0
(-)
|
.
23.5 /
10.0
(0)
|
?/?
0.4 /
2.3
(0)
|
Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml
|
.
76.8 /
33.4
(-)
|
.
13.3 /
7.0
(0)
|
?/?
5.8 /
6.7
(0)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml
|
.
133.3 /
65.0
(-)
|
.
28.1 /
12.0
(0)
|
?/?
6.6 /
6.3
(0)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml
|
.
193.4 /
149.2
(-)
|
.
25.2 /
16.1
(0)
|
?/?
5.7 /
6.4
(0)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml
|
.
779.0 /
297.6
(-)
|
.
122.3 /
55.2
(0)
|
?/?
0.4 /
2.2
(0)
|
writing/Strategy_removed_CSR_05/ExIntrod_Zan97.xml
|
.
630.0 /
297.1
(-)
|
.
591.1 /
292.5
(0)
|
?/?
0.4 /
2.3
(0)
|
ing/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml
|
.
379.9 /
297.6
(-)
|
.
52.8 /
25.8
(0)
|
?/?
0.4 /
2.6
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex1.xml
|
.
63.9 /
28.7
(-)
|
.
17.5 /
7.1
(0)
|
?/?
6.3 /
6.2
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex2.xml
|
.
81.1 /
35.9
(-)
|
.
4.2 /
1.8
(0)
|
?/?
0.4 /
2.3
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex3.xml
|
.
46.7 /
25.4
(-)
|
.
9.7 /
7.5
(0)
|
?/?
5.0 /
6.4
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex4.xml
|
.
590.7 /
297.2
(-)
|
.
21.0 /
12.0
(0)
|
?/?
4.9 /
6.4
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex5.xml
|
.
77.0 /
26.0
(-)
|
.
14.5 /
7.0
(0)
|
?/?
5.2 /
6.6
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex6.xml
|
.
547.7 /
298.0
(-)
|
.
16.1 /
7.0
(0)
|
.
280.4 /
281.0
(0)
|
ost_Rewriting/Strategy_removed_mixed_05/muladd.xml
|
.
429.1 /
297.3
(-)
|
.
41.7 /
32.4
(0)
|
?/?
0.4 /
2.2
(0)
|
ost_Rewriting/Strategy_removed_mixed_05/test10.xml
|
?/n^1
83.1 /
53.9
(-)
|
?/n^1
7.8 /
4.5
(2)
|
n^1/n^1
19.1 /
14.4
(4)
|
ost_Rewriting/Strategy_removed_mixed_05/test76.xml
|
.
463.1 /
297.5
(-)
|
.
16.7 /
9.6
(0)
|
n^1/n^1
15.1 /
15.7
(4)
|
ost_Rewriting/Strategy_removed_mixed_05/test77.xml
|
.
490.4 /
297.3
(-)
|
.
20.7 /
9.5
(0)
|
n^1/n^1
23.2 /
19.9
(4)
|
st_Rewriting/Strategy_removed_mixed_05/test830.xml
|
?/n^1
9.4 /
5.5
(-)
|
?/n^1
3.0 /
1.7
(2)
|
n^1/n^1
0.9 /
2.2
(4)
|
st_Rewriting/Strategy_removed_mixed_05/tricky1.xml
|
?/n^0
31.7 /
25.6
(-)
|
?/n^0
5.5 /
6.0
(2)
|
?/n^0
3.2 /
5.2
(2)
|
xity_Innermost_Rewriting/TCT_12/polycounter-10.xml
|
?/n^?
646.9 /
250.1
(-)
|
.
158.6 /
109.8
(0)
|
.
607.6 /
281.0
(0)
|
exity_Innermost_Rewriting/TCT_12/polycounter-5.xml
|
?/n^?
155.0 /
77.7
(-)
|
.
36.6 /
11.6
(0)
|
.
638.1 /
281.5
(0)
|
lexity_Innermost_Rewriting/TCT_12/recursion-10.xml
|
?/n^10
489.2 /
297.5
(-)
|
?/n^10
438.6 /
275.1
(2)
|
n^1/?
312.8 /
281.7
(2)
|
plexity_Innermost_Rewriting/TCT_12/recursion-5.xml
|
?/n^5
321.6 /
262.4
(-)
|
?/n^5
81.0 /
43.3
(2)
|
n^1/?
83.6 /
68.3
(2)
|
time_Complexity_Innermost_Rewriting/TCT_12/sat.xml
|
?/n^2
48.0 /
16.3
(-)
|
?/n^2
39.7 /
13.8
(2)
|
n^1/n^2
40.3 /
59.7
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C.xml
|
.
648.8 /
297.3
(-)
|
.
621.6 /
292.2
(0)
|
n^1/n^3
305.5 /
225.7
(4)
|
st_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml
|
.
419.6 /
297.2
(-)
|
.
67.0 /
30.0
(0)
|
.
483.8 /
281.9
(0)
|
st_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml
|
?/n^2
355.5 /
298.4
(-)
|
?/n^3
50.8 /
33.4
(2)
|
n^1/?
475.1 /
281.3
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml
|
.
54.8 /
43.4
(-)
|
.
16.0 /
7.1
(0)
|
?/?
6.6 /
6.3
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml
|
.
695.7 /
297.3
(-)
|
.
21.4 /
8.0
(0)
|
n^1/?
336.5 /
280.8
(2)
|
most_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml
|
.
528.3 /
297.3
(-)
|
.
400.7 /
292.6
(0)
|
n^1/n^2
269.9 /
236.4
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM.xml
|
.
526.5 /
297.4
(-)
|
.
79.7 /
45.5
(0)
|
n^1/?
376.7 /
281.5
(2)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml
|
?/n^1
542.0 /
297.1
(-)
|
?/n^1
487.7 /
292.3
(2)
|
n^1/n^1
1.5 /
2.2
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml
|
?/n^1
9.2 /
6.5
(-)
|
?/n^1
2.0 /
1.0
(2)
|
?/n^1
3.0 /
4.3
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml
|
?/n^1
5.2 /
4.2
(-)
|
?/n^1
0.8 /
0.8
(2)
|
?/n^1
2.8 /
4.6
(2)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml
|
.
54.1 /
25.3
(-)
|
.
9.7 /
7.0
(0)
|
?/?
6.3 /
6.2
(0)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml
|
?/n^1
9.1 /
5.7
(-)
|
?/n^0
1.1 /
0.6
(2)
|
?/n^0
2.8 /
7.0
(2)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml
|
.
493.6 /
299.1
(-)
|
.
708.2 /
292.6
(0)
|
n^1/n^1
144.2 /
113.1
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR.xml
|
.
618.4 /
297.2
(-)
|
.
18.9 /
9.4
(0)
|
n^1/?
367.5 /
281.3
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml
|
?/n^1
44.4 /
35.7
(-)
|
?/n^1
29.6 /
9.2
(2)
|
n^1/n^1
25.5 /
20.3
(4)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_L.xml
|
.
0.2 /
0.2
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z.xml
|
.
216.6 /
151.3
(-)
|
.
16.7 /
15.0
(0)
|
.
254.2 /
281.1
(0)
|
most_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml
|
.
658.5 /
297.2
(-)
|
.
645.4 /
292.5
(0)
|
n^1/n^1
56.1 /
37.8
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml
|
?/n^1
56.4 /
24.0
(-)
|
?/n^1
12.4 /
7.3
(2)
|
n^1/n^1
32.0 /
50.3
(4)
|
most_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml
|
.
81.2 /
39.3
(-)
|
.
14.8 /
7.1
(0)
|
?/?
5.5 /
6.5
(0)
|
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml
|
?/n^1
359.1 /
163.4
(-)
|
?/n^1
514.7 /
275.1
(2)
|
n^1/n^1
1.6 /
2.4
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml
|
?/n^1
1.9 /
1.2
(-)
|
?/n^1
0.3 /
0.2
(2)
|
n^1/n^1
1.5 /
3.9
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml
|
?/n^1
2.1 /
0.9
(-)
|
?/n^1
0.7 /
0.3
(2)
|
n^1/n^1
3.1 /
3.2
(4)
|
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml
|
?/n^0
1.1 /
0.6
(-)
|
?/n^0
0.1 /
0.1
(2)
|
?/n^0
2.3 /
4.3
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml
|
.
595.0 /
297.2
(-)
|
.
760.4 /
294.0
(0)
|
n^1/n^2
479.9 /
281.1
(4)
|
st_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR.xml
|
?/n^1
5.1 /
2.0
(-)
|
?/n^1
3.5 /
1.3
(2)
|
n^1/n^1
17.7 /
16.9
(4)
|
st_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml
|
.
725.0 /
297.9
(-)
|
.
711.5 /
294.0
(0)
|
n^1/?
459.9 /
282.7
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z.xml
|
?/n^2
33.0 /
20.1
(-)
|
?/n^2
13.2 /
6.6
(2)
|
n^2/n^2
19.1 /
16.4
(4)
|
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml
|
.
578.0 /
297.3
(-)
|
.
694.3 /
292.8
(0)
|
n^1/n^2
535.0 /
271.7
(4)
|
t_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml
|
?/n^1
2.6 /
1.2
(-)
|
?/n^1
1.7 /
1.3
(2)
|
n^1/n^1
16.0 /
14.5
(4)
|
t_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml
|
?/n^4
473.4 /
298.1
(-)
|
.
16.9 /
7.9
(0)
|
n^1/?
618.3 /
281.8
(2)
|
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.1
(0)
|
?/?
0.3 /
0.2
(0)
|
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml
|
?/n^0
4.1 /
2.6
(-)
|
?/n^0
0.6 /
0.9
(2)
|
?/n^0
11.3 /
14.6
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml
|
.
519.1 /
297.3
(-)
|
.
460.1 /
293.2
(0)
|
n^1/n^2
454.6 /
229.7
(4)
|
most_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR.xml
|
.
372.2 /
297.4
(-)
|
.
507.7 /
292.3
(0)
|
n^1/?
649.5 /
281.1
(2)
|
most_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml
|
?/n^1
23.2 /
12.4
(-)
|
?/n^1
8.8 /
5.1
(2)
|
n^1/n^1
19.4 /
18.4
(4)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml
|
.
65.3 /
27.6
(-)
|
.
17.0 /
7.0
(0)
|
?/?
6.7 /
6.2
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml
|
.
485.5 /
297.1
(-)
|
.
555.5 /
292.7
(0)
|
n^1/?
485.9 /
281.3
(2)
|
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_C.xml
|
.
638.4 /
297.2
(-)
|
.
709.7 /
292.3
(0)
|
n^1/n^3
265.6 /
239.9
(4)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GM03_FR.xml
|
?/n^1
26.7 /
13.4
(-)
|
?/n^1
11.7 /
6.1
(2)
|
n^1/n^1
10.7 /
21.6
(4)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml
|
.
611.4 /
297.4
(-)
|
.
620.3 /
292.6
(0)
|
n^2/?
494.6 /
281.2
(2)
|
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.1
(0)
|
?/?
0.3 /
0.6
(0)
|
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_Z.xml
|
.
670.3 /
297.4
(-)
|
.
38.6 /
27.0
(0)
|
?/?
0.4 /
2.3
(0)
|
ermost_Rewriting/Transformed_CSR_04/Ex1_GM99_C.xml
|
.
618.2 /
297.2
(-)
|
.
325.0 /
292.4
(0)
|
n^1/n^1
95.7 /
43.9
(4)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml
|
.
563.2 /
297.3
(-)
|
.
84.5 /
110.5
(0)
|
n^1/?
465.2 /
280.8
(2)
|
ermost_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml
|
.
71.1 /
56.9
(-)
|
.
12.0 /
7.1
(0)
|
?/?
5.0 /
6.5
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml
|
.
542.9 /
297.3
(-)
|
.
873.9 /
292.5
(0)
|
n^1/n^2
319.7 /
230.3
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR.xml
|
?/n^1
8.4 /
5.4
(-)
|
?/n^1
3.3 /
2.2
(2)
|
?/n^1
13.5 /
18.4
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml
|
.
561.0 /
297.3
(-)
|
.
86.9 /
64.5
(0)
|
.
634.7 /
280.2
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.1
(0)
|
?/?
0.3 /
0.5
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml
|
?/n^2
216.3 /
148.1
(-)
|
?/n^1
318.2 /
292.2
(2)
|
?/n^2
28.2 /
20.3
(1)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml
|
?/n^1
656.6 /
297.1
(-)
|
?/n^1
727.5 /
292.4
(2)
|
n^1/?
651.8 /
280.6
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml
|
.
505.9 /
297.5
(-)
|
.
31.4 /
20.3
(0)
|
?/?
8.1 /
6.3
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml
|
.
572.6 /
298.5
(-)
|
.
131.4 /
92.2
(0)
|
n^1/?
484.5 /
281.5
(2)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.1
(0)
|
?/?
0.3 /
0.4
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml
|
.
336.9 /
219.5
(-)
|
.
33.6 /
33.2
(0)
|
?/?
6.3 /
6.3
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml
|
?/n^1
206.5 /
93.1
(-)
|
?/n^1
576.2 /
292.3
(2)
|
?/n^1
44.9 /
25.5
(2)
|
most_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml
|
.
457.4 /
297.2
(-)
|
.
550.1 /
292.5
(0)
|
?/?
6.6 /
6.2
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml
|
?/n^1
5.0 /
3.6
(-)
|
?/n^0
1.0 /
0.6
(2)
|
?/n^1
3.0 /
4.3
(1)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml
|
.
35.5 /
27.0
(-)
|
.
13.3 /
7.0
(0)
|
?/?
6.2 /
6.3
(0)
|
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml
|
?/n^1
676.0 /
297.2
(-)
|
?/n^1
593.3 /
264.1
(2)
|
n^1/n^1
2.0 /
2.3
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml
|
?/n^1
6.2 /
2.7
(-)
|
?/n^1
0.7 /
0.3
(2)
|
n^1/n^1
1.4 /
2.2
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml
|
?/n^1
4.7 /
4.2
(-)
|
?/n^1
2.4 /
1.3
(2)
|
n^1/n^1
3.1 /
4.4
(4)
|
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml
|
?/n^0
0.5 /
0.2
(-)
|
?/n^0
0.4 /
0.4
(2)
|
?/n^0
2.3 /
4.2
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml
|
.
657.6 /
297.2
(-)
|
.
488.6 /
292.1
(0)
|
n^1/n^1
203.4 /
119.5
(4)
|
most_Rewriting/Transformed_CSR_04/Ex24_GM04_FR.xml
|
.
450.9 /
297.3
(-)
|
.
24.4 /
15.8
(0)
|
n^1/?
441.7 /
281.4
(2)
|
most_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml
|
?/n^1
50.7 /
33.4
(-)
|
?/n^1
6.0 /
4.0
(2)
|
n^1/n^1
15.3 /
17.0
(4)
|
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml
|
.
72.4 /
25.8
(-)
|
.
18.7 /
7.0
(0)
|
?/?
6.9 /
6.2
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_Z.xml
|
.
584.3 /
297.4
(-)
|
.
7.7 /
2.8
(0)
|
.
88.3 /
72.6
(0)
|
most_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml
|
?/n^2
377.5 /
182.3
(-)
|
.
740.0 /
292.8
(0)
|
n^1/n^1
188.8 /
86.5
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml
|
?/n^1
30.4 /
19.5
(-)
|
?/n^1
1.1 /
0.6
(2)
|
n^1/n^1
13.2 /
12.3
(4)
|
most_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml
|
.
73.3 /
36.5
(-)
|
.
8.1 /
7.5
(0)
|
.
9.2 /
10.3
(0)
|
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml
|
?/n^1
510.0 /
189.2
(-)
|
?/n^1
457.5 /
234.1
(2)
|
n^1/n^1
2.2 /
2.3
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml
|
?/n^1
8.6 /
4.2
(-)
|
?/n^1
1.7 /
1.5
(2)
|
n^1/n^1
3.6 /
3.2
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml
|
?/n^1
3.4 /
1.7
(-)
|
?/n^1
2.0 /
1.4
(2)
|
n^1/n^1
2.6 /
4.6
(4)
|
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml
|
?/n^0
4.6 /
2.3
(-)
|
?/n^0
1.1 /
1.2
(2)
|
?/n^0
2.8 /
4.2
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml
|
.
570.0 /
297.8
(-)
|
.
642.7 /
298.3
(0)
|
n^1/n^2
459.3 /
231.6
(4)
|
st_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR.xml
|
?/n^1
13.9 /
8.2
(-)
|
?/n^1
5.9 /
3.4
(2)
|
?/n^1
15.9 /
14.4
(2)
|
st_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml
|
.
532.7 /
297.5
(-)
|
?/n^2
386.9 /
162.4
(2)
|
n^1/?
586.0 /
281.2
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml
|
?/n^0
1.5 /
0.7
(-)
|
?/n^0
0.1 /
0.1
(2)
|
?/n^0
2.4 /
4.5
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_Z.xml
|
?/n^0
5.6 /
3.1
(-)
|
?/n^0
0.7 /
0.5
(2)
|
?/n^0
15.9 /
15.1
(2)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml
|
.
626.9 /
300.0
(-)
|
.
412.7 /
294.2
(0)
|
n^1/n^3
531.1 /
243.0
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR.xml
|
?/n^1
4.1 /
1.6
(-)
|
?/n^1
1.7 /
0.7
(2)
|
?/n^1
11.2 /
17.9
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml
|
.
594.1 /
298.9
(-)
|
.
692.2 /
293.5
(0)
|
n^1/?
556.9 /
280.8
(2)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml
|
?/n^3
163.9 /
118.4
(-)
|
?/n^3
16.9 /
8.8
(2)
|
n^3/?
430.0 /
281.0
(2)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml
|
?/n^4
336.8 /
161.5
(-)
|
?/n^3
37.2 /
12.9
(2)
|
n^3/?
470.1 /
281.5
(2)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C.xml
|
.
559.8 /
297.4
(-)
|
.
637.6 /
295.4
(0)
|
n^1/n^2
484.0 /
243.9
(4)
|
ost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR.xml
|
?/n^1
127.1 /
60.6
(-)
|
?/n^3
38.0 /
14.7
(2)
|
.
612.4 /
280.3
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml
|
.
323.7 /
300.0
(-)
|
?/n^2
46.5 /
24.1
(2)
|
n^1/?
639.8 /
281.2
(2)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml
|
?/n^0
4.3 /
4.0
(-)
|
?/n^0
0.1 /
0.2
(2)
|
?/n^0
2.4 /
4.5
(2)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml
|
?/n^1
5.6 /
1.9
(-)
|
?/n^1
7.5 /
2.4
(2)
|
?/n^1
17.2 /
15.7
(2)
|
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml
|
.
516.6 /
297.2
(-)
|
.
506.7 /
292.2
(0)
|
n^1/n^2
458.3 /
256.6
(4)
|
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml
|
?/n^1
2.1 /
1.7
(-)
|
?/n^1
0.8 /
0.6
(2)
|
?/n^1
9.5 /
19.9
(2)
|
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml
|
.
647.7 /
297.3
(-)
|
.
41.6 /
23.7
(0)
|
.
555.9 /
281.4
(0)
|
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.5
(0)
|
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml
|
?/n^1
1.6 /
0.7
(-)
|
?/n^1
228.5 /
292.9
(2)
|
?/n^1
18.3 /
15.4
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml
|
.
361.0 /
297.3
(-)
|
.
710.4 /
292.4
(0)
|
n^1/n^3
524.9 /
262.7
(4)
|
st_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR.xml
|
.
542.6 /
297.5
(-)
|
.
39.7 /
17.3
(0)
|
n^1/?
520.1 /
281.0
(2)
|
st_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml
|
.
555.4 /
297.5
(-)
|
.
43.6 /
32.2
(0)
|
.
371.2 /
281.3
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_L.xml
|
.
0.0 /
0.1
(-)
|
.
0.1 /
0.3
(0)
|
?/?
0.3 /
0.3
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z.xml
|
.
474.8 /
297.1
(-)
|
.
23.3 /
11.4
(0)
|
.
558.1 /
281.3
(0)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml
|
.
486.4 /
297.2
(-)
|
.
567.3 /
295.3
(0)
|
n^1/n^1
238.2 /
96.7
(4)
|
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml
|
.
618.1 /
297.2
(-)
|
.
41.9 /
18.8
(0)
|
.
540.4 /
280.4
(0)
|
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml
|
?/n^2
405.0 /
297.8
(-)
|
?/n^2
167.4 /
95.2
(2)
|
n^1/?
560.2 /
288.4
(2)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml
|
?/n^0
2.1 /
1.3
(-)
|
?/n^0
0.2 /
0.2
(2)
|
?/n^0
2.6 /
5.5
(2)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml
|
.
174.7 /
97.6
(-)
|
.
13.6 /
7.1
(0)
|
?/?
0.4 /
2.4
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml
|
.
676.2 /
297.1
(-)
|
.
623.5 /
292.6
(0)
|
n^1/n^1
153.3 /
84.7
(4)
|
most_Rewriting/Transformed_CSR_04/Ex49_GM04_FR.xml
|
?/n^2
393.3 /
297.5
(-)
|
?/n^2
36.7 /
17.0
(2)
|
n^2/?
467.3 /
280.7
(2)
|
most_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml
|
?/n^1
483.3 /
254.9
(-)
|
?/n^2
89.1 /
36.4
(2)
|
n^1/?
725.5 /
284.5
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_L.xml
|
.
0.2 /
0.3
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml
|
?/n^1
13.2 /
8.1
(-)
|
?/n^1
4.0 /
1.5
(2)
|
n^1/n^1
17.8 /
17.0
(4)
|
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml
|
?/n^2
553.4 /
220.1
(-)
|
?/n^2
170.8 /
71.0
(2)
|
n^1/n^2
404.8 /
274.7
(4)
|
t_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml
|
?/n^1
7.2 /
3.1
(-)
|
?/n^1
0.4 /
0.2
(2)
|
n^1/n^1
17.8 /
15.2
(4)
|
t_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml
|
?/n^2
27.5 /
16.0
(-)
|
?/n^2
54.3 /
45.8
(2)
|
n^1/?
423.9 /
281.5
(2)
|
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml
|
?/n^1
1.8 /
1.4
(-)
|
?/n^1
0.1 /
0.1
(2)
|
n^1/n^1
0.8 /
2.2
(4)
|
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml
|
.
394.4 /
297.4
(-)
|
.
16.8 /
9.3
(0)
|
.
241.7 /
209.5
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml
|
?/n^1
652.6 /
297.1
(-)
|
?/n^1
439.4 /
292.4
(2)
|
n^1/n^1
2.2 /
2.3
(4)
|
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml
|
?/n^1
5.0 /
2.4
(-)
|
?/n^1
0.8 /
0.4
(2)
|
n^1/n^1
1.9 /
4.0
(4)
|
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml
|
?/n^1
41.3 /
15.3
(-)
|
?/n^1
10.3 /
5.1
(2)
|
n^1/n^1
2.2 /
5.1
(4)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml
|
?/n^1
3.3 /
1.5
(-)
|
?/n^0
0.7 /
0.3
(2)
|
?/n^1
4.0 /
4.2
(1)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml
|
?/n^1
3.3 /
2.1
(-)
|
?/n^0
1.0 /
0.8
(2)
|
?/n^1
4.0 /
4.3
(1)
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml
|
.
697.4 /
297.8
(-)
|
.
662.2 /
292.9
(0)
|
n^1/n^3
554.4 /
276.0
(4)
|
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml
|
.
487.9 /
299.0
(-)
|
.
20.2 /
9.9
(0)
|
.
505.9 /
280.8
(0)
|
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml
|
.
462.5 /
298.0
(-)
|
.
719.9 /
293.1
(0)
|
.
640.5 /
283.6
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.1
(0)
|
?/?
0.3 /
0.2
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml
|
.
464.4 /
297.1
(-)
|
.
272.8 /
256.7
(0)
|
n^1/?
333.0 /
281.4
(2)
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml
|
.
475.6 /
297.2
(-)
|
.
696.9 /
292.3
(0)
|
n^1/n^1
277.5 /
136.8
(4)
|
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml
|
?/n^1
1.9 /
1.6
(-)
|
?/n^1
1.2 /
0.5
(2)
|
?/n^1
16.4 /
14.9
(2)
|
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml
|
.
580.5 /
297.3
(-)
|
.
40.4 /
20.7
(0)
|
.
553.9 /
281.3
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.2
(0)
|
?/?
0.3 /
0.3
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml
|
?/n^1
2.3 /
1.7
(-)
|
?/n^1
1.0 /
0.5
(2)
|
n^1/n^1
12.7 /
14.7
(4)
|
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml
|
?/n^1
497.2 /
297.2
(-)
|
?/n^1
831.2 /
292.2
(2)
|
n^1/n^1
4.0 /
2.3
(4)
|
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml
|
?/n^0
0.2 /
0.1
(-)
|
?/n^0
0.3 /
0.3
(2)
|
?/n^0
2.4 /
4.3
(2)
|
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml
|
?/n^1
26.8 /
16.7
(-)
|
?/n^1
12.4 /
8.5
(2)
|
n^1/n^1
1.5 /
4.4
(4)
|
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml
|
.
0.0 /
0.1
(-)
|
.
0.0 /
0.2
(0)
|
?/?
0.3 /
0.2
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml
|
.
525.5 /
297.3
(-)
|
.
678.0 /
292.8
(0)
|
n^1/?
509.4 /
282.9
(2)
|
st_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR.xml
|
.
503.5 /
297.3
(-)
|
.
199.9 /
106.2
(0)
|
n^2/?
496.3 /
280.4
(2)
|
st_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml
|
.
596.7 /
299.2
(-)
|
.
610.8 /
294.9
(0)
|
n^1/?
351.5 /
284.1
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.8
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_Z.xml
|
.
463.9 /
297.6
(-)
|
.
104.1 /
61.2
(0)
|
n^1/?
264.9 /
280.6
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml
|
.
527.2 /
297.3
(-)
|
.
553.4 /
293.6
(0)
|
n^1/n^3
439.0 /
242.7
(4)
|
most_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml
|
.
380.2 /
297.6
(-)
|
.
110.9 /
88.5
(0)
|
.
346.2 /
280.4
(0)
|
most_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml
|
.
472.9 /
298.0
(-)
|
.
64.1 /
51.3
(0)
|
.
494.3 /
281.1
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml
|
.
706.9 /
297.6
(-)
|
.
33.2 /
18.1
(0)
|
n^1/?
342.6 /
280.9
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C.xml
|
.
543.2 /
297.5
(-)
|
.
706.9 /
292.8
(0)
|
n^1/n^3
488.1 /
280.5
(4)
|
st_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR.xml
|
.
625.5 /
298.6
(-)
|
.
43.7 /
22.6
(0)
|
n^1/?
671.9 /
281.6
(2)
|
st_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml
|
.
800.5 /
299.1
(-)
|
.
667.6 /
293.1
(0)
|
n^1/?
559.7 /
280.8
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_L.xml
|
.
0.2 /
0.1
(-)
|
.
0.1 /
0.0
(0)
|
?/?
0.3 /
0.6
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z.xml
|
.
282.9 /
211.0
(-)
|
.
25.6 /
13.9
(0)
|
.
542.2 /
280.9
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml
|
.
566.3 /
297.6
(-)
|
.
719.1 /
293.0
(0)
|
n^1/?
470.8 /
282.0
(2)
|
st_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR.xml
|
?/n^1
6.7 /
2.9
(-)
|
?/n^1
12.3 /
10.3
(2)
|
n^1/n^2
27.4 /
26.1
(3)
|
st_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml
|
.
546.6 /
297.8
(-)
|
.
542.5 /
294.4
(0)
|
n^1/?
513.6 /
281.1
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.1
(0)
|
?/?
0.3 /
0.2
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_Z.xml
|
.
212.7 /
105.1
(-)
|
.
20.5 /
7.2
(0)
|
?/?
0.5 /
3.5
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml
|
?/n^1
357.0 /
297.2
(-)
|
?/n^1
488.0 /
292.3
(2)
|
n^1/n^1
2.8 /
5.4
(4)
|
most_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml
|
?/n^1
72.5 /
32.4
(-)
|
?/n^1
11.3 /
5.4
(2)
|
n^1/n^1
6.0 /
6.4
(4)
|
most_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml
|
.
602.4 /
297.4
(-)
|
.
33.9 /
10.2
(0)
|
n^1/?
423.4 /
281.4
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_L.xml
|
.
0.2 /
0.3
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml
|
?/n^1
2.4 /
1.7
(-)
|
?/n^1
1.4 /
1.2
(2)
|
?/n^1
3.1 /
5.4
(2)
|
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C.xml
|
.
628.9 /
298.8
(-)
|
.
578.4 /
294.0
(0)
|
n^1/?
396.0 /
281.2
(2)
|
t_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR.xml
|
.
453.4 /
298.2
(-)
|
.
369.4 /
252.5
(0)
|
n^1/?
540.7 /
281.1
(2)
|
t_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml
|
.
394.8 /
298.8
(-)
|
.
522.5 /
293.2
(0)
|
n^1/?
375.0 /
281.2
(2)
|
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_L.xml
|
.
0.4 /
0.3
(-)
|
.
0.1 /
0.0
(0)
|
?/?
0.3 /
0.7
(0)
|
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z.xml
|
.
511.7 /
297.1
(-)
|
.
251.3 /
211.1
(0)
|
n^1/?
437.9 /
281.0
(2)
|
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C.xml
|
.
584.3 /
297.3
(-)
|
.
662.6 /
300.0
(0)
|
n^1/n^2
430.4 /
235.9
(4)
|
t_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml
|
?/n^1
258.0 /
130.2
(-)
|
?/n^1
8.2 /
5.6
(2)
|
?/n^1
15.3 /
14.6
(2)
|
t_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml
|
.
510.8 /
297.8
(-)
|
.
41.2 /
18.5
(0)
|
n^1/?
532.9 /
280.4
(2)
|
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.0
(0)
|
?/?
0.3 /
1.3
(0)
|
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml
|
?/n^1
16.8 /
8.5
(-)
|
?/n^0
3.0 /
2.3
(2)
|
?/n^0
14.1 /
14.4
(2)
|
ermost_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml
|
?/n^1
370.9 /
162.8
(-)
|
?/n^1
422.6 /
292.4
(2)
|
?/n^1
581.5 /
281.1
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml
|
.
136.3 /
98.6
(-)
|
.
539.8 /
292.1
(0)
|
?/?
6.5 /
6.3
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml
|
?/n^0
4.5 /
2.3
(-)
|
?/n^0
0.1 /
0.1
(2)
|
?/n^0
2.3 /
4.4
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_C.xml
|
.
578.7 /
297.1
(-)
|
.
561.0 /
292.4
(0)
|
n^1/n^1
275.4 /
131.5
(4)
|
most_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR.xml
|
?/n^1
16.1 /
13.6
(-)
|
?/n^1
1.1 /
0.5
(2)
|
?/n^1
11.3 /
15.6
(2)
|
most_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml
|
?/n^2
367.0 /
297.5
(-)
|
?/n^2
46.1 /
29.0
(2)
|
n^1/?
571.7 /
280.6
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml
|
?/n^0
2.1 /
2.1
(-)
|
?/n^0
0.4 /
0.2
(2)
|
?/n^0
2.5 /
4.4
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml
|
?/n^1
1.9 /
0.7
(-)
|
?/n^1
1.0 /
0.5
(2)
|
?/n^1
12.6 /
17.1
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_C.xml
|
.
589.1 /
297.4
(-)
|
.
687.7 /
292.5
(0)
|
n^1/n^3
402.5 /
208.2
(4)
|
most_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR.xml
|
?/n^1
241.1 /
109.0
(-)
|
?/n^1
7.6 /
6.8
(2)
|
?/n^1
16.2 /
15.4
(2)
|
most_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml
|
.
597.9 /
298.0
(-)
|
.
661.0 /
293.1
(0)
|
.
486.2 /
280.7
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_L.xml
|
.
0.2 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml
|
?/n^2
207.9 /
148.3
(-)
|
?/n^1
285.8 /
292.9
(2)
|
?/n^2
26.1 /
35.5
(1)
|
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml
|
.
532.5 /
297.3
(-)
|
.
694.6 /
294.2
(0)
|
n^1/n^1
185.8 /
97.4
(4)
|
most_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml
|
.
638.0 /
297.1
(-)
|
.
43.1 /
22.9
(0)
|
n^1/?
490.7 /
280.8
(2)
|
most_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml
|
.
425.2 /
297.8
(-)
|
.
800.6 /
292.9
(0)
|
n^2/?
500.8 /
281.4
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.1
(0)
|
?/?
0.3 /
0.2
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml
|
.
397.8 /
297.5
(-)
|
.
31.0 /
13.7
(0)
|
n^1/?
207.5 /
194.9
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml
|
.
606.3 /
297.5
(-)
|
.
483.3 /
292.9
(0)
|
n^1/?
580.9 /
281.4
(2)
|
most_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR.xml
|
.
550.5 /
297.6
(-)
|
.
27.3 /
14.0
(0)
|
.
337.8 /
280.7
(0)
|
most_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml
|
?/n^2
741.2 /
297.6
(-)
|
?/n^2
180.4 /
137.1
(2)
|
n^1/?
660.3 /
281.1
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml
|
?/n^0
5.2 /
3.6
(-)
|
?/n^0
0.8 /
0.4
(2)
|
?/n^0
2.4 /
4.6
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml
|
.
696.9 /
297.3
(-)
|
.
76.8 /
56.8
(0)
|
.
565.5 /
281.4
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml
|
.
557.4 /
297.2
(-)
|
.
295.6 /
292.3
(0)
|
n^1/n^1
133.1 /
77.5
(4)
|
most_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml
|
.
525.4 /
298.4
(-)
|
.
26.5 /
10.3
(0)
|
n^1/?
533.5 /
280.8
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml
|
.
13.9 /
6.1
(-)
|
.
2.1 /
2.5
(0)
|
?/?
0.4 /
2.2
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml
|
.
491.6 /
300.0
(-)
|
.
664.9 /
292.4
(0)
|
n^1/n^1
75.1 /
40.6
(4)
|
most_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml
|
.
404.6 /
297.2
(-)
|
.
563.0 /
292.4
(0)
|
?/?
0.4 /
2.4
(0)
|
most_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml
|
?/n^1
44.7 /
24.2
(-)
|
?/n^1
13.7 /
7.5
(2)
|
n^1/n^1
110.0 /
106.4
(4)
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_C.xml
|
.
581.4 /
297.2
(-)
|
.
635.4 /
293.0
(0)
|
n^1/?
439.4 /
280.8
(2)
|
riting/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml
|
?/n^1
9.8 /
5.0
(-)
|
?/n^1
1.3 /
0.9
(2)
|
?/n^1
13.1 /
15.6
(2)
|
riting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml
|
.
642.5 /
297.9
(-)
|
.
389.8 /
293.0
(0)
|
.
535.6 /
285.0
(0)
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml
|
?/n^2
235.9 /
116.1
(-)
|
?/n^2
32.0 /
22.1
(2)
|
n^2/n^2
27.8 /
17.3
(4)
|
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml
|
?/n^1
429.9 /
200.3
(-)
|
?/n^1
108.6 /
49.2
(2)
|
n^1/n^1
2.1 /
2.4
(4)
|
t_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml
|
?/n^1
4.5 /
2.6
(-)
|
?/n^1
1.6 /
1.0
(2)
|
n^1/n^1
1.3 /
2.3
(4)
|
t_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml
|
?/n^1
8.6 /
8.2
(-)
|
?/n^1
3.0 /
2.1
(2)
|
n^1/n^1
1.0 /
2.2
(4)
|
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml
|
.
99.3 /
53.7
(-)
|
.
19.1 /
7.0
(0)
|
?/?
6.5 /
6.2
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml
|
?/n^1
663.5 /
297.3
(-)
|
.
709.2 /
292.5
(0)
|
n^1/?
483.3 /
280.4
(2)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml
|
.
688.2 /
297.5
(-)
|
.
36.8 /
15.3
(0)
|
n^1/?
524.1 /
288.0
(2)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml
|
.
705.2 /
300.0
(-)
|
.
529.7 /
291.8
(0)
|
n^1/?
568.6 /
280.7
(2)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml
|
.
665.6 /
297.6
(-)
|
.
36.2 /
40.1
(0)
|
?/?
8.0 /
7.5
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml
|
?/n^1
471.0 /
297.6
(-)
|
?/n^1
731.3 /
292.8
(2)
|
n^1/?
507.2 /
281.4
(2)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml
|
.
451.5 /
298.0
(-)
|
.
35.2 /
15.1
(0)
|
.
392.9 /
281.3
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml
|
.
669.0 /
297.6
(-)
|
?/n^3
63.7 /
27.9
(2)
|
.
516.3 /
282.2
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.1
(0)
|
?/?
0.3 /
0.2
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml
|
.
402.3 /
298.7
(-)
|
.
63.1 /
74.8
(0)
|
.
360.8 /
281.0
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C.xml
|
.
557.3 /
298.1
(-)
|
.
600.7 /
293.6
(0)
|
n^1/?
532.4 /
281.8
(2)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR.xml
|
?/n^1
14.8 /
6.6
(-)
|
?/n^1
3.0 /
1.7
(2)
|
n^1/n^1
17.3 /
16.8
(4)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml
|
.
598.8 /
298.2
(-)
|
.
595.9 /
293.1
(0)
|
n^1/?
653.5 /
280.7
(2)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_L.xml
|
.
0.2 /
0.4
(-)
|
.
0.0 /
0.1
(0)
|
?/?
0.3 /
0.2
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_Z.xml
|
?/n^0
9.3 /
5.3
(-)
|
?/n^0
1.7 /
0.9
(2)
|
?/n^0
14.8 /
14.4
(2)
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml
|
.
685.0 /
297.2
(-)
|
.
726.0 /
294.8
(0)
|
n^1/n^2
439.2 /
218.8
(4)
|
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR.xml
|
?/n^1
66.1 /
12.0
(-)
|
?/n^1
12.2 /
15.6
(2)
|
n^1/n^1
10.9 /
21.7
(4)
|
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml
|
.
763.3 /
298.2
(-)
|
.
544.8 /
293.6
(0)
|
n^1/?
564.3 /
280.8
(2)
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_Z.xml
|
.
548.7 /
297.2
(-)
|
.
15.4 /
8.0
(0)
|
?/?
0.4 /
2.3
(0)
|
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml
|
?/n^1
552.1 /
297.1
(-)
|
?/n^1
591.1 /
292.3
(2)
|
n^1/n^1
2.7 /
2.3
(4)
|
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml
|
?/n^1
4.4 /
2.3
(-)
|
?/n^1
0.8 /
0.8
(2)
|
n^1/n^1
1.9 /
4.3
(4)
|
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml
|
.
540.8 /
297.1
(-)
|
.
260.8 /
190.6
(0)
|
n^1/?
533.6 /
280.9
(2)
|
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml
|
?/n^1
23.7 /
15.1
(-)
|
?/n^1
1.4 /
0.6
(1)
|
?/n^0
4.4 /
5.6
(2)
|
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml
|
?/n^1
16.5 /
9.1
(-)
|
?/n^1
2.9 /
3.1
(1)
|
?/n^0
4.5 /
7.6
(2)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml
|
.
593.0 /
297.3
(-)
|
.
469.6 /
293.5
(0)
|
n^1/n^3
437.5 /
280.7
(4)
|
writing/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml
|
?/n^1
14.2 /
8.0
(-)
|
?/n^1
4.8 /
3.4
(2)
|
?/n^1
12.5 /
15.5
(2)
|
writing/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml
|
.
420.0 /
300.0
(-)
|
.
771.3 /
293.9
(0)
|
n^1/?
618.1 /
281.0
(2)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml
|
?/n^3
285.8 /
131.1
(-)
|
?/n^3
26.9 /
9.5
(2)
|
n^3/?
655.9 /
282.3
(2)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml
|
?/n^4
373.1 /
188.0
(-)
|
?/n^3
43.0 /
29.9
(2)
|
n^3/?
598.2 /
281.2
(2)
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml
|
.
371.8 /
297.3
(-)
|
.
822.2 /
293.0
(0)
|
n^1/?
488.1 /
280.6
(2)
|
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml
|
?/n^1
8.1 /
5.5
(-)
|
?/n^1
11.9 /
5.6
(2)
|
?/n^1
16.4 /
14.4
(2)
|
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml
|
.
665.9 /
298.0
(-)
|
.
587.2 /
293.0
(0)
|
.
511.3 /
281.2
(0)
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.3
(0)
|
?/?
0.3 /
0.3
(0)
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml
|
?/n^1
10.5 /
6.7
(-)
|
?/n^1
32.4 /
22.5
(2)
|
?/n^1
17.2 /
14.3
(2)
|
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml
|
.
772.2 /
297.6
(-)
|
.
705.0 /
292.3
(0)
|
.
532.0 /
280.9
(0)
|
nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.4 /
0.6
(0)
|
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml
|
.
540.8 /
300.0
(-)
|
.
611.7 /
292.2
(0)
|
.
510.9 /
281.4
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_C.xml
|
.
584.1 /
300.0
(-)
|
.
574.8 /
291.7
(0)
|
n^1/?
686.3 /
283.0
(2)
|
g/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml
|
.
590.8 /
298.2
(-)
|
.
434.7 /
292.6
(0)
|
.
574.5 /
281.0
(0)
|
g/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml
|
.
498.6 /
298.6
(-)
|
.
597.2 /
292.3
(0)
|
.
515.2 /
280.5
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_L.xml
|
.
0.2 /
0.1
(-)
|
.
0.1 /
0.1
(0)
|
?/?
0.3 /
0.3
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml
|
.
495.0 /
297.9
(-)
|
.
498.1 /
293.8
(0)
|
.
349.1 /
281.3
(0)
|
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml
|
.
609.3 /
298.4
(-)
|
.
595.2 /
294.0
(0)
|
n^1/?
661.6 /
281.2
(2)
|
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml
|
.
431.4 /
300.0
(-)
|
.
710.1 /
292.2
(0)
|
.
528.8 /
281.0
(0)
|
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml
|
.
625.8 /
297.3
(-)
|
.
561.0 /
291.6
(0)
|
.
491.9 /
280.4
(0)
|
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml
|
.
0.2 /
0.2
(-)
|
.
0.1 /
0.2
(0)
|
?/?
0.3 /
0.2
(0)
|
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml
|
.
548.5 /
297.6
(-)
|
.
639.6 /
292.2
(0)
|
.
580.7 /
280.9
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml
|
.
554.0 /
298.6
(-)
|
.
567.8 /
292.6
(0)
|
n^1/?
510.0 /
281.3
(2)
|
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml
|
.
391.8 /
299.3
(-)
|
.
482.9 /
292.9
(0)
|
.
496.4 /
281.8
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml
|
.
668.1 /
298.9
(-)
|
.
631.1 /
294.0
(0)
|
.
459.2 /
282.1
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml
|
.
746.2 /
300.0
(-)
|
.
567.6 /
294.1
(0)
|
.
523.6 /
281.3
(0)
|
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml
|
.
487.5 /
297.6
(-)
|
.
569.1 /
292.8
(0)
|
n^1/?
446.0 /
280.9
(2)
|
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml
|
.
428.8 /
299.1
(-)
|
.
545.9 /
293.9
(0)
|
.
546.2 /
280.7
(0)
|
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml
|
?/n^?
318.8 /
148.7
(-)
|
.
506.4 /
292.0
(0)
|
.
481.8 /
280.4
(0)
|
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml
|
?/n^1
272.2 /
149.3
(-)
|
?/n^1
479.7 /
294.2
(2)
|
?/n^1
18.7 /
16.4
(2)
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml
|
.
546.6 /
297.7
(-)
|
.
534.0 /
293.5
(0)
|
n^1/?
518.4 /
281.0
(2)
|
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml
|
?/n^1
283.5 /
150.0
(-)
|
?/n^1
331.8 /
293.8
(2)
|
?/n^1
19.3 /
18.1
(2)
|
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml
|
.
552.7 /
297.7
(-)
|
.
603.7 /
292.6
(0)
|
.
518.7 /
281.1
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.1 /
0.1
(0)
|
?/?
0.3 /
0.8
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml
|
?/n^1
344.2 /
148.2
(-)
|
?/n^1
356.9 /
293.1
(2)
|
?/n^1
18.2 /
14.4
(2)
|
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml
|
.
401.7 /
300.0
(-)
|
.
533.4 /
292.4
(0)
|
n^1/?
522.0 /
280.7
(2)
|
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml
|
.
659.3 /
298.3
(-)
|
.
614.5 /
293.3
(0)
|
.
573.4 /
280.6
(0)
|
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml
|
.
536.3 /
298.0
(-)
|
.
772.5 /
292.4
(0)
|
n^1/?
501.0 /
281.4
(2)
|
ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.1 /
0.1
(0)
|
?/?
0.3 /
0.8
(0)
|
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml
|
.
678.3 /
297.4
(-)
|
.
393.6 /
292.4
(0)
|
.
618.4 /
281.4
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml
|
.
419.2 /
299.8
(-)
|
.
674.4 /
292.2
(0)
|
n^1/?
583.1 /
280.5
(2)
|
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml
|
.
605.0 /
297.9
(-)
|
.
633.3 /
293.0
(0)
|
n^1/?
635.7 /
284.2
(2)
|
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml
|
.
467.3 /
299.2
(-)
|
.
595.9 /
294.7
(0)
|
.
373.0 /
281.8
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.1
(0)
|
?/?
0.3 /
0.4
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml
|
.
640.3 /
298.0
(-)
|
.
706.5 /
294.2
(0)
|
.
631.5 /
286.4
(0)
|
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml
|
.
550.1 /
297.3
(-)
|
.
600.8 /
292.2
(0)
|
n^1/?
628.3 /
281.1
(2)
|
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml
|
.
476.0 /
297.5
(-)
|
.
551.8 /
292.5
(0)
|
.
639.5 /
281.2
(0)
|
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml
|
.
603.5 /
297.3
(-)
|
.
342.3 /
292.6
(0)
|
n^1/?
714.0 /
280.3
(2)
|
med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.9
(0)
|
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml
|
.
572.1 /
298.2
(-)
|
.
267.6 /
292.9
(0)
|
.
554.8 /
280.8
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml
|
.
612.5 /
297.6
(-)
|
.
743.0 /
293.3
(0)
|
n^1/?
625.0 /
280.8
(2)
|
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml
|
.
422.8 /
297.2
(-)
|
.
318.5 /
134.4
(0)
|
n^1/?
621.0 /
280.2
(2)
|
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml
|
.
557.9 /
297.7
(-)
|
?/n^4
515.6 /
292.5
(2)
|
n^1/?
409.7 /
288.2
(2)
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml
|
.
501.2 /
298.0
(-)
|
.
78.3 /
38.8
(0)
|
.
599.2 /
281.1
(0)
|
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml
|
.
359.5 /
297.3
(-)
|
.
717.0 /
292.7
(0)
|
n^1/?
501.5 /
280.8
(2)
|
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml
|
.
431.6 /
299.2
(-)
|
?/n^4
813.7 /
294.6
(2)
|
.
478.6 /
282.1
(0)
|
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml
|
.
538.1 /
297.2
(-)
|
.
134.2 /
193.4
(0)
|
.
532.5 /
281.3
(0)
|
med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml
|
.
0.2 /
0.2
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml
|
?/n^1
663.4 /
297.6
(-)
|
?/n^1
686.1 /
293.1
(2)
|
n^1/n^1
4.3 /
7.5
(4)
|
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml
|
.
426.1 /
297.3
(-)
|
.
611.3 /
292.6
(0)
|
?/?
5.4 /
6.4
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml
|
.
465.7 /
297.2
(-)
|
.
59.7 /
80.4
(0)
|
?/?
7.1 /
6.3
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml
|
?/n^1
572.4 /
297.8
(-)
|
?/n^1
833.8 /
292.7
(2)
|
n^1/n^1
4.0 /
6.7
(4)
|
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml
|
.
435.8 /
297.3
(-)
|
.
143.9 /
91.5
(0)
|
?/?
9.0 /
7.4
(0)
|
ing/Transformed_CSR_04/MYNAT_complete-noand_FR.xml
|
.
440.6 /
297.7
(-)
|
.
396.9 /
292.2
(0)
|
n^2/?
594.1 /
280.9
(2)
|
ting/Transformed_CSR_04/MYNAT_complete-noand_L.xml
|
.
0.2 /
0.2
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
ting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml
|
?/n^2
694.6 /
285.7
(-)
|
?/n^2
554.4 /
292.8
(2)
|
n^1/?
595.5 /
281.2
(2)
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_C.xml
|
.
453.3 /
297.6
(-)
|
.
515.8 /
300.0
(0)
|
n^1/?
433.7 /
280.8
(2)
|
Rewriting/Transformed_CSR_04/MYNAT_complete_FR.xml
|
.
519.1 /
298.3
(-)
|
.
628.1 /
293.3
(0)
|
n^1/?
361.4 /
287.9
(2)
|
Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml
|
.
660.3 /
299.7
(-)
|
.
792.2 /
294.0
(0)
|
.
411.0 /
282.0
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.1 /
0.1
(0)
|
?/?
0.3 /
0.4
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml
|
.
878.8 /
297.2
(-)
|
.
455.3 /
300.0
(0)
|
n^1/?
599.8 /
281.8
(2)
|
ting/Transformed_CSR_04/MYNAT_complete_noand_C.xml
|
.
499.6 /
297.8
(-)
|
.
617.4 /
293.0
(0)
|
n^1/?
539.2 /
280.3
(2)
|
ing/Transformed_CSR_04/MYNAT_complete_noand_GM.xml
|
.
504.4 /
298.8
(-)
|
.
620.3 /
292.5
(0)
|
n^1/?
486.8 /
280.4
(2)
|
ting/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml
|
.
621.7 /
297.7
(-)
|
?/n^2
384.3 /
296.9
(2)
|
n^2/n^2
35.9 /
26.0
(4)
|
iting/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.1 /
0.3
(0)
|
?/?
0.3 /
0.3
(0)
|
iting/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml
|
?/n^1
41.3 /
22.8
(-)
|
?/n^1
18.7 /
8.9
(2)
|
n^1/n^1
22.1 /
19.4
(4)
|
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml
|
.
605.4 /
297.2
(-)
|
.
652.3 /
292.3
(0)
|
n^1/n^2
479.7 /
275.7
(4)
|
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR.xml
|
?/n^2
574.6 /
298.3
(-)
|
?/n^2
76.8 /
37.3
(2)
|
n^1/?
503.2 /
280.8
(2)
|
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml
|
.
655.3 /
299.4
(-)
|
.
617.9 /
293.3
(0)
|
n^1/?
420.0 /
280.8
(2)
|
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z.xml
|
?/n^1
231.0 /
140.9
(-)
|
?/n^1
34.6 /
15.4
(2)
|
n^1/?
426.8 /
282.1
(2)
|
iting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml
|
.
601.5 /
297.3
(-)
|
.
688.9 /
293.3
(0)
|
n^1/?
555.4 /
280.7
(2)
|
ting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml
|
.
665.8 /
300.0
(-)
|
.
602.2 /
293.5
(0)
|
n^1/?
548.7 /
282.3
(2)
|
ting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml
|
.
528.9 /
300.0
(-)
|
?/n^2
344.8 /
292.3
(2)
|
n^2/n^2
25.0 /
19.5
(4)
|
iting/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.8
(0)
|
t_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml
|
.
394.6 /
297.7
(-)
|
.
402.0 /
292.3
(0)
|
n^1/n^2
504.3 /
268.4
(4)
|
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml
|
?/n^2
18.3 /
10.3
(-)
|
?/n^2
5.8 /
3.6
(2)
|
n^2/n^2
19.1 /
17.6
(4)
|
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml
|
.
566.2 /
297.2
(-)
|
.
732.0 /
292.1
(0)
|
n^2/?
521.3 /
281.8
(2)
|
t_Rewriting/Transformed_CSR_04/MYNAT_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.1
(0)
|
?/?
0.3 /
1.2
(0)
|
iting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml
|
.
618.4 /
298.0
(-)
|
.
691.2 /
292.3
(0)
|
n^1/n^2
513.6 /
230.9
(4)
|
ting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml
|
.
561.1 /
298.3
(-)
|
.
701.0 /
293.0
(0)
|
n^2/?
431.3 /
280.9
(2)
|
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml
|
.
698.0 /
298.8
(-)
|
.
660.6 /
293.6
(0)
|
n^1/?
634.9 /
280.8
(2)
|
g/Transformed_CSR_04/OvConsOS_complete-noand_L.xml
|
.
0.2 /
0.3
(-)
|
.
0.1 /
0.1
(0)
|
?/?
0.3 /
0.2
(0)
|
g/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml
|
.
404.3 /
297.7
(-)
|
.
766.8 /
292.2
(0)
|
.
663.7 /
281.2
(0)
|
writing/Transformed_CSR_04/OvConsOS_complete_C.xml
|
.
621.2 /
297.6
(-)
|
.
802.7 /
292.2
(0)
|
n^1/?
616.6 /
281.2
(2)
|
riting/Transformed_CSR_04/OvConsOS_complete_FR.xml
|
.
613.6 /
297.8
(-)
|
.
670.8 /
292.8
(0)
|
n^1/?
396.8 /
281.4
(2)
|
riting/Transformed_CSR_04/OvConsOS_complete_GM.xml
|
.
578.0 /
298.1
(-)
|
.
496.9 /
293.0
(0)
|
.
335.5 /
280.9
(0)
|
writing/Transformed_CSR_04/OvConsOS_complete_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.1 /
0.4
(0)
|
?/?
0.3 /
0.6
(0)
|
writing/Transformed_CSR_04/OvConsOS_complete_Z.xml
|
.
580.9 /
298.4
(-)
|
.
693.9 /
292.1
(0)
|
.
590.7 /
281.3
(0)
|
g/Transformed_CSR_04/OvConsOS_complete_noand_C.xml
|
.
495.9 /
300.0
(-)
|
.
657.3 /
293.5
(0)
|
n^1/?
516.9 /
281.1
(2)
|
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml
|
.
574.9 /
297.2
(-)
|
.
423.9 /
292.5
(0)
|
.
588.1 /
280.7
(0)
|
g/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml
|
.
735.6 /
297.7
(-)
|
.
666.2 /
291.3
(0)
|
n^1/?
621.3 /
284.2
(2)
|
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.1 /
0.2
(0)
|
?/?
0.3 /
0.2
(0)
|
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml
|
.
725.9 /
297.6
(-)
|
.
209.1 /
118.8
(0)
|
.
502.7 /
280.9
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_C.xml
|
.
549.1 /
300.0
(-)
|
.
685.7 /
292.9
(0)
|
n^1/?
526.0 /
281.2
(2)
|
writing/Transformed_CSR_04/OvConsOS_nokinds_FR.xml
|
.
559.0 /
297.8
(-)
|
.
613.6 /
293.7
(0)
|
n^1/?
667.8 /
281.9
(2)
|
writing/Transformed_CSR_04/OvConsOS_nokinds_GM.xml
|
.
463.2 /
297.8
(-)
|
.
635.2 /
293.0
(0)
|
n^1/?
739.7 /
280.3
(2)
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml
|
.
559.2 /
297.2
(-)
|
.
142.0 /
57.5
(0)
|
.
495.6 /
281.4
(0)
|
ng/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml
|
.
434.5 /
299.8
(-)
|
.
622.1 /
292.3
(0)
|
n^1/?
520.9 /
280.2
(2)
|
g/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml
|
.
558.4 /
298.2
(-)
|
.
598.5 /
293.5
(0)
|
.
490.3 /
281.3
(0)
|
g/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml
|
.
298.7 /
297.1
(-)
|
.
76.3 /
32.5
(0)
|
n^1/?
529.9 /
281.2
(2)
|
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.9
(0)
|
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml
|
.
454.5 /
297.4
(-)
|
.
57.5 /
51.0
(0)
|
n^1/?
468.3 /
281.3
(2)
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml
|
?/n^1
602.0 /
297.6
(-)
|
?/n^1
629.0 /
292.8
(2)
|
n^1/n^1
5.0 /
3.3
(4)
|
writing/Transformed_CSR_04/OvConsOS_nosorts_FR.xml
|
.
527.7 /
297.1
(-)
|
.
173.3 /
102.2
(0)
|
?/?
3.9 /
6.7
(0)
|
writing/Transformed_CSR_04/OvConsOS_nosorts_GM.xml
|
.
598.5 /
297.2
(-)
|
.
63.6 /
26.0
(0)
|
?/?
6.4 /
6.3
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.7
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml
|
.
487.4 /
297.1
(-)
|
.
97.6 /
38.6
(0)
|
?/?
6.8 /
6.2
(0)
|
ng/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml
|
.
472.3 /
299.5
(-)
|
.
604.8 /
294.1
(0)
|
n^1/?
562.8 /
281.6
(2)
|
g/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml
|
.
584.8 /
298.8
(-)
|
.
539.4 /
293.2
(0)
|
?/?
9.6 /
10.4
(0)
|
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml
|
.
648.4 /
297.2
(-)
|
.
619.7 /
292.5
(0)
|
n^2/?
722.7 /
280.7
(2)
|
Transformed_CSR_04/PALINDROME_complete-noand_L.xml
|
.
435.5 /
298.2
(-)
|
.
498.4 /
293.2
(0)
|
?/?
6.2 /
6.2
(0)
|
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml
|
?/n^2
484.0 /
252.1
(-)
|
?/n^2
617.6 /
260.3
(2)
|
n^1/?
587.7 /
280.4
(2)
|
iting/Transformed_CSR_04/PALINDROME_complete_C.xml
|
.
604.5 /
297.4
(-)
|
.
569.3 /
292.3
(0)
|
n^1/?
676.2 /
280.5
(2)
|
ting/Transformed_CSR_04/PALINDROME_complete_FR.xml
|
.
606.9 /
297.5
(-)
|
.
647.9 /
293.8
(0)
|
n^1/?
558.2 /
281.0
(2)
|
ting/Transformed_CSR_04/PALINDROME_complete_GM.xml
|
.
667.0 /
298.3
(-)
|
.
601.3 /
293.5
(0)
|
.
321.1 /
283.4
(0)
|
iting/Transformed_CSR_04/PALINDROME_complete_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.4
(0)
|
iting/Transformed_CSR_04/PALINDROME_complete_Z.xml
|
.
608.5 /
297.6
(-)
|
.
759.6 /
292.3
(0)
|
n^1/?
556.8 /
280.8
(2)
|
Transformed_CSR_04/PALINDROME_complete_noand_C.xml
|
.
478.7 /
297.9
(-)
|
.
419.6 /
293.6
(0)
|
n^1/?
628.5 /
281.3
(2)
|
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml
|
.
574.1 /
297.4
(-)
|
.
543.6 /
292.0
(0)
|
n^1/?
378.7 /
281.4
(2)
|
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml
|
?/n^2
292.1 /
148.1
(-)
|
?/n^2
71.4 /
29.3
(2)
|
n^2/n^2
47.3 /
39.9
(4)
|
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml
|
.
159.1 /
66.7
(-)
|
.
37.8 /
18.5
(0)
|
?/?
4.3 /
6.4
(0)
|
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml
|
?/n^1
70.9 /
28.1
(-)
|
?/n^1
36.6 /
13.3
(2)
|
n^1/n^1
24.9 /
20.6
(4)
|
riting/Transformed_CSR_04/PALINDROME_nokinds_C.xml
|
?/n^1
380.6 /
298.0
(-)
|
.
476.2 /
296.1
(0)
|
n^1/n^2
495.1 /
244.3
(4)
|
iting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml
|
.
474.0 /
300.0
(-)
|
?/n^2
252.6 /
131.5
(2)
|
n^2/?
600.7 /
280.8
(2)
|
iting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml
|
.
637.3 /
297.4
(-)
|
.
606.1 /
292.5
(0)
|
n^1/?
339.7 /
281.3
(2)
|
riting/Transformed_CSR_04/PALINDROME_nokinds_L.xml
|
.
0.1 /
0.2
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
riting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml
|
.
401.2 /
300.0
(-)
|
?/n^1
90.6 /
40.1
(2)
|
n^1/?
555.1 /
280.9
(2)
|
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml
|
?/n^1
644.3 /
297.9
(-)
|
?/n^1
665.0 /
292.0
(2)
|
n^1/?
537.5 /
280.5
(2)
|
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml
|
.
645.6 /
297.4
(-)
|
.
752.1 /
293.6
(0)
|
n^1/?
537.4 /
281.7
(2)
|
riting/Transformed_CSR_04/PALINDROME_nosorts_C.xml
|
?/n^1
637.6 /
297.2
(-)
|
?/n^1
793.5 /
292.2
(2)
|
n^1/n^3
249.8 /
265.6
(3)
|
iting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml
|
.
482.7 /
297.5
(-)
|
.
413.9 /
292.5
(0)
|
n^1/?
606.7 /
280.6
(2)
|
riting/Transformed_CSR_04/PALINDROME_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.4
(0)
|
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml
|
?/n^1
721.0 /
297.1
(-)
|
?/n^1
707.5 /
292.4
(2)
|
n^1/n^1
456.1 /
255.6
(4)
|
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml
|
.
482.9 /
297.2
(-)
|
.
504.7 /
292.4
(0)
|
n^1/?
438.2 /
280.5
(2)
|
ing/Transformed_CSR_04/PEANO_complete-noand_FR.xml
|
.
597.7 /
297.5
(-)
|
?/n^3
420.4 /
293.0
(2)
|
n^2/?
616.3 /
281.3
(2)
|
ting/Transformed_CSR_04/PEANO_complete-noand_L.xml
|
.
0.4 /
0.7
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
ting/Transformed_CSR_04/PEANO_complete-noand_Z.xml
|
?/n^2
371.0 /
154.5
(-)
|
?/n^2
385.0 /
292.6
(2)
|
n^1/?
367.9 /
281.4
(2)
|
_Rewriting/Transformed_CSR_04/PEANO_complete_C.xml
|
.
586.4 /
297.5
(-)
|
.
395.5 /
292.5
(0)
|
n^1/?
528.4 /
281.6
(2)
|
Rewriting/Transformed_CSR_04/PEANO_complete_FR.xml
|
.
556.9 /
297.2
(-)
|
.
624.9 /
293.1
(0)
|
n^1/?
537.8 /
281.9
(2)
|
Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml
|
.
585.8 /
297.6
(-)
|
.
612.7 /
295.6
(0)
|
n^1/?
565.8 /
281.4
(2)
|
_Rewriting/Transformed_CSR_04/PEANO_complete_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.4
(0)
|
_Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml
|
?/n^2
412.6 /
193.9
(-)
|
.
690.5 /
292.3
(0)
|
n^1/?
539.9 /
280.6
(2)
|
ting/Transformed_CSR_04/PEANO_complete_noand_C.xml
|
.
672.3 /
297.5
(-)
|
.
592.7 /
292.2
(0)
|
n^1/?
506.3 /
281.1
(2)
|
ing/Transformed_CSR_04/PEANO_complete_noand_GM.xml
|
.
497.0 /
298.7
(-)
|
.
668.6 /
293.5
(0)
|
n^1/?
494.3 /
281.9
(2)
|
ting/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml
|
?/n^2
340.3 /
213.2
(-)
|
?/n^2
71.1 /
36.1
(2)
|
n^2/n^2
25.8 /
24.7
(4)
|
iting/Transformed_CSR_04/PEANO_nokinds-noand_L.xml
|
.
0.1 /
0.2
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.6
(0)
|
iting/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml
|
?/n^1
28.4 /
14.9
(-)
|
?/n^1
4.2 /
2.4
(2)
|
n^1/n^1
20.3 /
14.5
(4)
|
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml
|
.
541.2 /
297.3
(-)
|
.
852.1 /
292.2
(0)
|
n^1/n^3
513.4 /
270.4
(4)
|
_Rewriting/Transformed_CSR_04/PEANO_nokinds_FR.xml
|
?/n^2
412.6 /
300.0
(-)
|
?/n^2
49.3 /
22.3
(2)
|
n^2/?
553.4 /
280.6
(2)
|
_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml
|
.
402.2 /
297.4
(-)
|
.
417.3 /
293.3
(0)
|
n^1/?
630.9 /
282.2
(2)
|
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_L.xml
|
.
0.3 /
0.4
(-)
|
.
0.0 /
0.1
(0)
|
?/?
0.3 /
0.3
(0)
|
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml
|
?/n^1
106.3 /
72.3
(-)
|
?/n^1
26.3 /
8.9
(2)
|
n^1/?
501.8 /
280.6
(2)
|
iting/Transformed_CSR_04/PEANO_nokinds_noand_C.xml
|
.
628.0 /
298.4
(-)
|
.
712.5 /
292.9
(0)
|
n^1/n^1
344.1 /
174.7
(4)
|
ting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml
|
.
633.5 /
297.8
(-)
|
.
432.9 /
298.3
(0)
|
.
18.1 /
13.3
(0)
|
ting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml
|
?/n^1
54.2 /
24.1
(-)
|
?/n^1
16.4 /
7.1
(2)
|
n^1/n^1
2.0 /
3.5
(4)
|
iting/Transformed_CSR_04/PEANO_nosorts-noand_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.6
(0)
|
t_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml
|
?/n^1
693.1 /
276.3
(-)
|
?/n^1
500.2 /
292.2
(2)
|
n^1/n^1
2.3 /
4.7
(4)
|
_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml
|
?/n^1
0.9 /
0.6
(-)
|
?/n^1
0.6 /
0.3
(2)
|
n^1/n^1
1.3 /
2.2
(4)
|
_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml
|
.
630.2 /
297.9
(-)
|
.
39.8 /
14.1
(0)
|
n^2/?
471.3 /
280.9
(2)
|
t_Rewriting/Transformed_CSR_04/PEANO_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.3
(0)
|
?/?
0.3 /
0.4
(0)
|
iting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml
|
?/n^1
641.4 /
297.2
(-)
|
?/n^1
642.4 /
292.5
(2)
|
n^1/n^1
3.7 /
4.8
(4)
|
ting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml
|
.
550.1 /
298.5
(-)
|
.
37.6 /
25.6
(0)
|
n^2/?
533.2 /
281.4
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/04.xml
|
?/n^0
22.2 /
11.9
(-)
|
?/n^0
1.2 /
1.0
(2)
|
?/n^0
14.3 /
14.3
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/08.xml
|
?/n^0
251.4 /
119.2
(-)
|
?/n^0
110.9 /
64.7
(2)
|
?/n^0
18.3 /
14.7
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/10.xml
|
?/n^3
305.8 /
241.1
(-)
|
?/n^3
493.0 /
292.3
(2)
|
.
13.2 /
13.4
(0)
|
e_Complexity_Innermost_Rewriting/Various_04/11.xml
|
.
586.8 /
297.3
(-)
|
.
11.2 /
7.0
(0)
|
?/n^0
10.0 /
15.1
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/12.xml
|
.
586.5 /
297.3
(-)
|
.
642.9 /
292.3
(0)
|
n^1/?
509.1 /
280.4
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/13.xml
|
.
642.2 /
297.2
(-)
|
.
419.3 /
293.4
(0)
|
n^1/?
272.6 /
281.0
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/14.xml
|
.
655.3 /
297.5
(-)
|
?/n^2
382.5 /
298.9
(2)
|
n^1/n^2
166.6 /
83.9
(4)
|
e_Complexity_Innermost_Rewriting/Various_04/15.xml
|
?/n^1
261.6 /
148.2
(-)
|
?/n^1
7.8 /
4.4
(2)
|
n^1/n^1
1.1 /
2.9
(4)
|
e_Complexity_Innermost_Rewriting/Various_04/18.xml
|
?/n^1
764.3 /
297.2
(-)
|
?/n^1
36.0 /
16.8
(2)
|
n^1/n^1
20.4 /
15.7
(4)
|
e_Complexity_Innermost_Rewriting/Various_04/22.xml
|
?/n^1
57.7 /
39.1
(-)
|
?/n^1
9.9 /
4.5
(2)
|
n^1/n^1
8.9 /
16.6
(4)
|
e_Complexity_Innermost_Rewriting/Various_04/23.xml
|
?/n^1
9.2 /
5.5
(-)
|
?/n^1
0.6 /
0.4
(2)
|
n^1/n^1
6.6 /
6.2
(4)
|
e_Complexity_Innermost_Rewriting/Various_04/24.xml
|
.
366.2 /
297.2
(-)
|
?/n^2
50.8 /
20.5
(1)
|
n^1/n^1
2.4 /
2.2
(4)
|
xity_Innermost_Rewriting/Waldmann_06/jwmatchb1.xml
|
?/n^1
39.8 /
22.7
(-)
|
?/n^1
16.0 /
21.8
(2)
|
n^1/n^1
1.4 /
3.4
(4)
|
xity_Innermost_Rewriting/Waldmann_06/jwmatchb2.xml
|
?/n^1
14.9 /
6.4
(-)
|
?/n^1
13.6 /
9.6
(2)
|
n^1/n^1
1.4 /
3.5
(4)
|
mplexity_Innermost_Rewriting/Waldmann_06/jwno1.xml
|
.
628.5 /
297.3
(-)
|
.
23.4 /
16.9
(0)
|
.
206.5 /
280.8
(0)
|
mplexity_Innermost_Rewriting/Waldmann_06/jwno4.xml
|
.
591.7 /
297.1
(-)
|
.
18.0 /
7.4
(0)
|
.
13.8 /
16.9
(0)
|
mplexity_Innermost_Rewriting/Waldmann_06/jwno6.xml
|
.
761.9 /
297.4
(-)
|
.
18.9 /
7.8
(0)
|
.
15.9 /
11.2
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z10.xml
|
.
897.5 /
299.4
(-)
|
.
21.5 /
6.3
(0)
|
.
104.2 /
57.9
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z12.xml
|
.
384.0 /
297.3
(-)
|
.
144.6 /
84.3
(0)
|
.
649.5 /
280.7
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z13.xml
|
.
420.9 /
297.2
(-)
|
.
131.0 /
91.8
(0)
|
.
612.9 /
281.8
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z14.xml
|
.
350.3 /
297.4
(-)
|
.
117.2 /
70.1
(0)
|
.
617.9 /
280.5
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z15.xml
|
.
464.6 /
297.0
(-)
|
.
648.4 /
292.0
(0)
|
.
332.7 /
281.5
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z16.xml
|
.
443.0 /
297.2
(-)
|
.
129.9 /
77.4
(0)
|
.
666.8 /
281.2
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z17.xml
|
.
327.5 /
297.2
(-)
|
.
344.9 /
292.4
(0)
|
.
588.4 /
281.3
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z18.xml
|
.
430.3 /
297.2
(-)
|
.
372.5 /
208.9
(0)
|
.
637.5 /
281.8
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z23.xml
|
.
551.8 /
297.1
(-)
|
.
213.8 /
292.5
(0)
|
?/n^1
547.2 /
281.2
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z24.xml
|
.
673.4 /
297.2
(-)
|
.
554.5 /
292.5
(0)
|
.
544.9 /
282.1
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z26.xml
|
?/n^1
479.1 /
297.7
(-)
|
?/n^1
6.3 /
2.5
(2)
|
n^1/n^1
1.5 /
4.0
(4)
|
_Complexity_Innermost_Rewriting/Zantema_05/z27.xml
|
.
523.3 /
297.8
(-)
|
.
15.3 /
11.0
(0)
|
n^1/?
272.8 /
280.6
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z28.xml
|
.
619.1 /
297.3
(-)
|
.
16.1 /
6.5
(0)
|
n^1/?
137.6 /
109.3
(2)
|
omplexity_Innermost_Rewriting/hoca/dfs-flatten.xml
|
?/n^1
31.3 /
26.3
(-)
|
?/n^1
2.7 /
1.6
(2)
|
?/n^1
7.8 /
6.5
(2)
|
_Complexity_Innermost_Rewriting/hoca/fib_llist.xml
|
.
583.9 /
297.2
(-)
|
.
534.5 /
292.8
(0)
|
n^1/?
625.0 /
281.0
(2)
|
me_Complexity_Innermost_Rewriting/hoca/flatten.xml
|
?/n^1
3.8 /
1.5
(-)
|
?/n^1
4.3 /
1.8
(2)
|
n^1/n^1
1.8 /
4.0
(4)
|
me_Complexity_Innermost_Rewriting/hoca/foldsum.xml
|
?/n^1
18.5 /
7.7
(-)
|
?/n^1
11.6 /
4.7
(2)
|
n^1/n^1
26.5 /
31.9
(4)
|
Runtime_Complexity_Innermost_Rewriting/hoca/id.xml
|
?/n^1
1.4 /
0.5
(-)
|
?/n^1
1.3 /
0.4
(2)
|
n^1/n^1
2.4 /
3.3
(4)
|
Complexity_Innermost_Rewriting/hoca/isort-fold.xml
|
?/n^2
270.1 /
148.3
(-)
|
?/n^2
29.5 /
12.6
(2)
|
n^1/n^2
30.7 /
18.3
(4)
|
time_Complexity_Innermost_Rewriting/hoca/isort.xml
|
?/n^2
197.5 /
97.3
(-)
|
?/n^2
31.0 /
12.7
(2)
|
n^1/n^2
26.0 /
20.4
(4)
|
e_Complexity_Innermost_Rewriting/hoca/mappplus.xml
|
?/n^2
19.6 /
14.4
(-)
|
?/n^2
4.5 /
4.3
(2)
|
n^1/n^2
23.0 /
18.3
(4)
|
mplexity_Innermost_Rewriting/hoca/mergesort-dc.xml
|
.
541.9 /
297.5
(-)
|
.
622.4 /
292.6
(0)
|
n^1/?
500.3 /
281.3
(2)
|
untime_Complexity_Innermost_Rewriting/hoca/mss.xml
|
?/n^?
374.6 /
190.5
(-)
|
.
48.4 /
22.7
(0)
|
n^1/?
512.9 /
281.2
(2)
|
ime_Complexity_Innermost_Rewriting/hoca/rev-dl.xml
|
?/n^1
14.3 /
7.2
(-)
|
?/n^1
2.6 /
1.4
(2)
|
n^1/n^1
1.9 /
2.2
(4)
|
_Complexity_Innermost_Rewriting/hoca/rev-fletf.xml
|
?/n^1
5.0 /
1.8
(-)
|
?/n^1
5.0 /
1.7
(2)
|
n^1/n^1
3.1 /
3.2
(4)
|
_Complexity_Innermost_Rewriting/hoca/rev-foldl.xml
|
?/n^1
3.6 /
2.0
(-)
|
?/n^1
0.7 /
0.4
(2)
|
?/n^1
3.6 /
4.2
(2)
|
e_Complexity_Innermost_Rewriting/hoca/rpm-lazy.xml
|
.
625.1 /
297.8
(-)
|
.
386.5 /
211.4
(0)
|
.
281.9 /
281.3
(0)
|
untime_Complexity_Innermost_Rewriting/hoca/sum.xml
|
?/n^1
5.1 /
2.8
(-)
|
?/n^1
2.0 /
1.6
(2)
|
n^1/n^1
1.8 /
3.7
(4)
|
e_Complexity_Innermost_Rewriting/hoca/sum_sqs3.xml
|
?/n^?
681.6 /
297.4
(-)
|
.
103.0 /
40.6
(0)
|
n^2/?
216.6 /
280.5
(2)
|
lexity_Innermost_Rewriting/raML/appendAll.raml.xml
|
?/n^1
16.1 /
6.9
(-)
|
?/n^1
9.4 /
4.9
(2)
|
n^1/n^1
31.2 /
21.7
(4)
|
e_Complexity_Innermost_Rewriting/raML/bfs.raml.xml
|
?/n^2
407.9 /
190.4
(-)
|
.
657.8 /
293.0
(0)
|
.
493.2 /
300.0
(0)
|
lexity_Innermost_Rewriting/raML/bft_mmult.raml.xml
|
.
678.3 /
297.3
(-)
|
?/n^3
386.4 /
292.9
(2)
|
.
517.9 /
281.3
(0)
|
exity_Innermost_Rewriting/raML/bitvectors.raml.xml
|
?/n^2
500.3 /
242.7
(-)
|
.
638.2 /
292.4
(0)
|
.
647.6 /
281.9
(0)
|
xity_Innermost_Rewriting/raML/clevermmult.raml.xml
|
?/n^2
231.2 /
82.4
(-)
|
?/n^2
59.6 /
26.7
(2)
|
?/n^2
20.4 /
7.4
(2)
|
exity_Innermost_Rewriting/raML/duplicates.raml.xml
|
?/n^2
214.5 /
89.4
(-)
|
?/n^2
55.5 /
25.4
(2)
|
?/n^2
21.1 /
9.5
(2)
|
Complexity_Innermost_Rewriting/raML/dyade.raml.xml
|
?/n^2
129.3 /
54.4
(-)
|
?/n^2
12.9 /
5.7
(2)
|
?/n^2
12.1 /
6.4
(2)
|
ity_Innermost_Rewriting/raML/eratosthenes.raml.xml
|
?/n^2
292.7 /
148.5
(-)
|
?/n^2
395.4 /
293.9
(2)
|
.
543.1 /
281.6
(0)
|
mplexity_Innermost_Rewriting/raML/flatten.raml.xml
|
?/n^2
373.7 /
148.4
(-)
|
?/n^2
94.3 /
36.9
(2)
|
?/n^2
27.5 /
10.3
(2)
|
ty_Innermost_Rewriting/raML/insertionsort.raml.xml
|
.
767.6 /
297.5
(-)
|
.
665.4 /
292.6
(0)
|
.
589.2 /
281.5
(0)
|
plexity_Innermost_Rewriting/raML/listsort.raml.xml
|
?/n^2
305.7 /
154.1
(-)
|
?/n^2
573.7 /
292.7
(2)
|
.
542.4 /
281.8
(0)
|
t_Rewriting/raML/longestCommonSubsequence.raml.xml
|
.
620.5 /
297.2
(-)
|
?/n^2
545.1 /
293.5
(2)
|
.
544.8 /
281.8
(0)
|
omplexity_Innermost_Rewriting/raML/matrix.raml.xml
|
.
707.9 /
297.3
(-)
|
.
638.3 /
292.9
(0)
|
.
637.8 /
282.8
(0)
|
lexity_Innermost_Rewriting/raML/mergesort.raml.xml
|
.
582.8 /
297.2
(-)
|
?/n^2
417.9 /
291.9
(2)
|
.
597.9 /
281.7
(0)
|
mplexity_Innermost_Rewriting/raML/minsort.raml.xml
|
?/n^2
208.5 /
95.7
(-)
|
?/n^2
79.6 /
58.6
(2)
|
?/n^2
10.8 /
6.4
(2)
|
Complexity_Innermost_Rewriting/raML/queue.raml.xml
|
.
660.9 /
297.5
(-)
|
.
378.1 /
292.6
(0)
|
.
515.0 /
281.2
(0)
|
lexity_Innermost_Rewriting/raML/quicksort.raml.xml
|
.
597.6 /
297.8
(-)
|
.
836.0 /
292.4
(0)
|
.
512.5 /
281.7
(0)
|
nnermost_Rewriting/raML/rationalPotential.raml.xml
|
?/n^1
14.2 /
8.3
(-)
|
?/n^1
5.5 /
2.1
(2)
|
n^1/n^1
3.8 /
3.4
(4)
|
ity_Innermost_Rewriting/raML/splitandsort.raml.xml
|
.
609.7 /
297.1
(-)
|
?/n^6
367.2 /
164.9
(2)
|
.
631.2 /
281.7
(0)
|
plexity_Innermost_Rewriting/raML/subtrees.raml.xml
|
?/n^2
115.2 /
92.3
(-)
|
?/n^2
22.9 /
14.3
(2)
|
n^1/n^2
28.9 /
27.0
(4)
|