ntime_Complexity_Innermost_Rewriting/AG01/#3.1.xml
|
?/n^1
1.0 /
0.4
(-)
|
?/n^1
0.4 /
0.2
(2)
|
?/n^2
4.4 /
3.9
(1)
|
time_Complexity_Innermost_Rewriting/AG01/#3.10.xml
|
.
800.1 /
300.0
(-)
|
.
575.1 /
296.2
(0)
|
.
489.8 /
300.1
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.12.xml
|
.
618.4 /
298.4
(-)
|
?/n^3
24.6 /
9.2
(2)
|
?/n^3
8.4 /
13.7
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.13.xml
|
.
600.2 /
300.1
(-)
|
.
448.3 /
296.4
(0)
|
.
444.4 /
300.0
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.15.xml
|
?/n^1
2.7 /
1.9
(-)
|
?/n^1
0.5 /
0.3
(2)
|
?/n^1
3.3 /
3.6
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.16.xml
|
.
721.9 /
298.3
(-)
|
?/n^3
16.4 /
8.8
(2)
|
?/n^3
8.5 /
5.1
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.17.xml
|
.
457.7 /
298.5
(-)
|
?/n^2
19.2 /
13.0
(2)
|
.
613.2 /
300.0
(0)
|
ime_Complexity_Innermost_Rewriting/AG01/#3.17a.xml
|
.
483.5 /
298.3
(-)
|
?/n^2
17.7 /
8.3
(2)
|
.
386.8 /
300.1
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.18.xml
|
.
587.4 /
298.3
(-)
|
.
52.8 /
21.1
(0)
|
.
13.7 /
16.7
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.19.xml
|
.
760.1 /
298.5
(-)
|
.
80.3 /
33.4
(0)
|
.
9.3 /
6.7
(0)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.2.xml
|
.
580.9 /
298.2
(-)
|
?/n^2
5.0 /
2.6
(2)
|
?/n^2
7.1 /
3.2
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.22.xml
|
?/n^2
4.1 /
1.8
(-)
|
?/n^2
3.5 /
1.6
(2)
|
?/n^2
393.7 /
230.7
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.23.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
3.8 /
2.4
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.24.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^2
4.4 /
4.8
(1)
|
time_Complexity_Innermost_Rewriting/AG01/#3.26.xml
|
.
773.6 /
298.4
(-)
|
.
30.4 /
39.7
(0)
|
.
4.1 /
3.8
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.29.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^0
0.2 /
0.3
(2)
|
?/n^1
2.5 /
2.1
(1)
|
time_Complexity_Innermost_Rewriting/AG01/#3.31.xml
|
.
557.6 /
299.6
(-)
|
.
99.6 /
44.2
(0)
|
.
16.7 /
28.1
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.33.xml
|
?/n^1
0.1 /
0.2
(-)
|
?/n^0
0.5 /
0.5
(2)
|
?/n^1
3.7 /
3.5
(1)
|
time_Complexity_Innermost_Rewriting/AG01/#3.35.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
2.5 /
2.2
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.36.xml
|
.
516.4 /
299.7
(-)
|
.
86.3 /
40.0
(0)
|
.
218.8 /
209.0
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.37.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.5 /
0.7
(2)
|
?/n^2
21.2 /
10.5
(1)
|
time_Complexity_Innermost_Rewriting/AG01/#3.38.xml
|
.
484.3 /
300.0
(-)
|
.
638.0 /
296.1
(0)
|
.
108.4 /
108.1
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.39.xml
|
?/n^1
15.0 /
7.4
(-)
|
?/n^1
3.8 /
2.2
(2)
|
.
578.4 /
300.0
(0)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.4.xml
|
.
647.9 /
298.2
(-)
|
.
37.8 /
15.8
(0)
|
.
92.4 /
100.9
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.40.xml
|
?/n^1
238.8 /
200.0
(-)
|
?/n^1
5.1 /
7.0
(2)
|
.
44.2 /
28.8
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.41.xml
|
?/n^3
11.5 /
3.2
(-)
|
?/n^3
5.2 /
2.6
(2)
|
.
5.6 /
4.9
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.42.xml
|
?/n^5
358.2 /
171.3
(-)
|
?/n^3
64.1 /
25.9
(2)
|
?/n^3
40.1 /
30.2
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.47.xml
|
?/n^3
34.6 /
22.8
(-)
|
?/n^2
3.8 /
1.7
(2)
|
?/n^2
7.2 /
3.9
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.48.xml
|
.
525.2 /
298.2
(-)
|
?/n^2
19.9 /
10.7
(2)
|
?/n^2
13.8 /
6.1
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.49.xml
|
.
788.5 /
298.3
(-)
|
.
569.6 /
296.1
(0)
|
.
697.5 /
300.0
(0)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.5.xml
|
?/n^2
16.9 /
7.6
(-)
|
?/n^2
5.5 /
2.6
(2)
|
?/n^2
12.6 /
5.7
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.51.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.3 /
0.3
(2)
|
?/n^2
4.1 /
2.2
(1)
|
time_Complexity_Innermost_Rewriting/AG01/#3.52.xml
|
?/n^2
0.5 /
0.3
(-)
|
?/n^2
1.2 /
0.5
(2)
|
?/n^2
3.5 /
2.7
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.53.xml
|
.
634.6 /
298.7
(-)
|
?/n^3
46.4 /
23.9
(2)
|
?/n^3
26.9 /
16.0
(2)
|
ime_Complexity_Innermost_Rewriting/AG01/#3.53a.xml
|
?/n^1
0.5 /
0.3
(-)
|
?/n^0
0.3 /
0.2
(2)
|
?/n^1
2.6 /
1.7
(1)
|
ime_Complexity_Innermost_Rewriting/AG01/#3.53b.xml
|
?/n^2
3.7 /
2.1
(-)
|
?/n^2
1.1 /
0.6
(2)
|
?/n^2
4.0 /
2.2
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.54.xml
|
.
557.2 /
298.9
(-)
|
.
104.0 /
109.7
(0)
|
.
6.6 /
6.8
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.55.xml
|
.
758.7 /
298.4
(-)
|
.
720.7 /
296.2
(0)
|
.
734.9 /
300.0
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.56.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.1 /
0.2
(2)
|
?/n^2
3.4 /
3.1
(1)
|
time_Complexity_Innermost_Rewriting/AG01/#3.57.xml
|
.
564.5 /
298.5
(-)
|
.
468.4 /
296.1
(0)
|
.
534.0 /
300.1
(0)
|
time_Complexity_Innermost_Rewriting/AG01/#3.5a.xml
|
.
633.5 /
298.2
(-)
|
?/n^2
17.2 /
5.4
(2)
|
?/n^2
16.9 /
9.3
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.5b.xml
|
.
423.5 /
298.7
(-)
|
?/n^3
44.5 /
33.0
(2)
|
?/n^3
27.8 /
16.3
(2)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.6.xml
|
.
666.4 /
298.3
(-)
|
?/n^2
17.4 /
10.2
(2)
|
?/n^2
16.1 /
8.2
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.6a.xml
|
?/n^2
43.6 /
42.6
(-)
|
?/n^2
3.8 /
1.6
(2)
|
?/n^2
13.4 /
7.4
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.6b.xml
|
.
595.6 /
298.5
(-)
|
.
269.3 /
232.7
(0)
|
?/n^3
35.7 /
14.2
(2)
|
ntime_Complexity_Innermost_Rewriting/AG01/#3.7.xml
|
?/n^1
3.8 /
2.4
(-)
|
?/n^1
1.2 /
0.6
(2)
|
?/n^2
3.8 /
2.3
(1)
|
time_Complexity_Innermost_Rewriting/AG01/#3.8a.xml
|
.
709.7 /
298.8
(-)
|
?/n^2
10.6 /
5.0
(2)
|
?/n^2
16.4 /
8.6
(2)
|
time_Complexity_Innermost_Rewriting/AG01/#3.8b.xml
|
.
562.2 /
298.3
(-)
|
?/n^4
195.9 /
87.5
(1)
|
?/n^3
75.9 /
37.7
(2)
|
ime_Complexity_Innermost_Rewriting/AG01/#4.30c.xml
|
.
559.4 /
298.7
(-)
|
.
216.5 /
124.5
(0)
|
.
50.3 /
38.2
(0)
|
exity_Innermost_Rewriting/AProVE_04/AAECC-ring.xml
|
.
537.3 /
298.3
(-)
|
.
550.3 /
296.2
(0)
|
.
741.1 /
300.0
(0)
|
Complexity_Innermost_Rewriting/AProVE_04/AAECC.xml
|
.
578.4 /
299.3
(-)
|
.
638.2 /
296.3
(0)
|
.
700.9 /
300.1
(0)
|
mplexity_Innermost_Rewriting/AProVE_04/IJCAR_1.xml
|
.
378.3 /
299.6
(-)
|
.
88.4 /
75.0
(0)
|
.
4.7 /
3.1
(0)
|
plexity_Innermost_Rewriting/AProVE_04/IJCAR_12.xml
|
.
363.1 /
298.7
(-)
|
.
45.6 /
27.1
(0)
|
.
15.7 /
6.9
(0)
|
plexity_Innermost_Rewriting/AProVE_04/IJCAR_18.xml
|
.
999.1 /
298.5
(-)
|
.
850.7 /
296.3
(0)
|
.
334.9 /
300.0
(0)
|
plexity_Innermost_Rewriting/AProVE_04/IJCAR_26.xml
|
.
580.8 /
298.4
(-)
|
.
657.5 /
296.4
(0)
|
.
620.9 /
300.0
(0)
|
lexity_Innermost_Rewriting/AProVE_04/IJCAR_26a.xml
|
.
535.8 /
298.8
(-)
|
.
672.5 /
296.6
(0)
|
.
606.9 /
300.1
(0)
|
plexity_Innermost_Rewriting/AProVE_04/JFP_Ex31.xml
|
.
702.3 /
298.7
(-)
|
.
173.4 /
296.3
(0)
|
.
577.4 /
300.1
(0)
|
plexity_Innermost_Rewriting/AProVE_04/JFP_Ex51.xml
|
?/n^2
72.2 /
32.6
(-)
|
?/n^2
59.0 /
19.7
(2)
|
?/n^2
117.8 /
154.3
(2)
|
ity_Innermost_Rewriting/AProVE_04/LPAR_intlist.xml
|
.
854.0 /
298.7
(-)
|
.
416.2 /
296.0
(0)
|
.
311.4 /
300.0
(0)
|
xity_Innermost_Rewriting/AProVE_04/Liveness6.1.xml
|
.
448.6 /
299.8
(-)
|
.
533.5 /
296.3
(0)
|
.
561.6 /
300.0
(0)
|
xity_Innermost_Rewriting/AProVE_04/Liveness6.2.xml
|
.
712.5 /
298.3
(-)
|
?/n^4
244.3 /
103.8
(2)
|
.
555.8 /
300.1
(0)
|
xity_Innermost_Rewriting/AProVE_04/Liveness6.3.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.7 /
0.6
(2)
|
?/n^1
50.9 /
49.3
(2)
|
xity_Innermost_Rewriting/AProVE_04/Liveness6.4.xml
|
.
814.6 /
298.8
(-)
|
.
692.2 /
296.1
(0)
|
.
595.3 /
300.0
(0)
|
lexity_Innermost_Rewriting/AProVE_04/Liveness8.xml
|
?/n^1
1.4 /
1.6
(-)
|
?/n^1
0.8 /
0.9
(2)
|
?/n^1
125.5 /
47.1
(2)
|
ity_Innermost_Rewriting/AProVE_04/Liveness_WRS.xml
|
?/n^1
1.9 /
1.4
(-)
|
?/n^1
1.3 /
0.8
(2)
|
?/n^1
152.1 /
47.7
(2)
|
e_Complexity_Innermost_Rewriting/AProVE_04/fac.xml
|
.
625.7 /
298.7
(-)
|
.
472.7 /
239.7
(0)
|
.
465.7 /
300.0
(0)
|
_Complexity_Innermost_Rewriting/AProVE_04/rta1.xml
|
.
699.3 /
298.8
(-)
|
.
604.5 /
296.3
(0)
|
.
322.4 /
300.0
(0)
|
_Complexity_Innermost_Rewriting/AProVE_04/rta2.xml
|
.
453.8 /
276.8
(-)
|
.
6.6 /
2.8
(0)
|
.
3.0 /
2.5
(0)
|
_Complexity_Innermost_Rewriting/AProVE_04/rta3.xml
|
.
689.6 /
298.5
(-)
|
.
27.6 /
14.8
(0)
|
.
9.0 /
5.1
(0)
|
_Innermost_Rewriting/AProVE_06/div_notCeTermin.xml
|
.
720.8 /
299.2
(-)
|
.
693.3 /
296.1
(0)
|
.
289.8 /
259.2
(0)
|
ty_Innermost_Rewriting/AProVE_06/div_notTermin.xml
|
.
727.7 /
299.0
(-)
|
.
665.0 /
296.2
(0)
|
.
524.9 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_06/factorial1.xml
|
.
507.9 /
298.9
(-)
|
.
637.2 /
296.2
(0)
|
.
625.5 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_06/factorial2.xml
|
.
471.1 /
298.5
(-)
|
.
87.9 /
54.1
(0)
|
.
50.4 /
27.9
(0)
|
plexity_Innermost_Rewriting/AProVE_06/identity.xml
|
.
683.5 /
298.5
(-)
|
.
208.2 /
180.5
(0)
|
.
35.4 /
22.5
(0)
|
lexity_Innermost_Rewriting/AProVE_06/logarithm.xml
|
.
739.6 /
299.0
(-)
|
.
650.4 /
296.1
(0)
|
.
443.3 /
300.0
(0)
|
omplexity_Innermost_Rewriting/AProVE_06/modulo.xml
|
.
597.4 /
299.0
(-)
|
.
65.1 /
33.8
(0)
|
.
25.6 /
12.6
(0)
|
mplexity_Innermost_Rewriting/AProVE_06/nonterm.xml
|
.
687.0 /
299.7
(-)
|
.
455.9 /
296.2
(0)
|
.
328.2 /
300.1
(0)
|
lexity_Innermost_Rewriting/AProVE_06/quicksort.xml
|
.
715.8 /
298.8
(-)
|
.
571.2 /
296.2
(0)
|
.
538.4 /
300.1
(0)
|
_Complexity_Innermost_Rewriting/AProVE_06/quot.xml
|
.
605.0 /
298.5
(-)
|
.
49.9 /
24.5
(0)
|
.
27.7 /
16.1
(0)
|
exity_Innermost_Rewriting/AProVE_06/sizeChange.xml
|
.
614.1 /
298.6
(-)
|
.
90.7 /
53.7
(0)
|
.
150.8 /
144.6
(0)
|
Complexity_Innermost_Rewriting/AProVE_06/tower.xml
|
.
668.0 /
298.8
(-)
|
.
677.8 /
296.0
(0)
|
.
571.6 /
300.0
(0)
|
Innermost_Rewriting/AProVE_06/tower_sizeChange.xml
|
.
740.5 /
298.4
(-)
|
.
155.6 /
69.7
(0)
|
.
32.0 /
26.7
(0)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci01.xml
|
.
715.0 /
298.6
(-)
|
.
904.2 /
296.3
(0)
|
.
578.4 /
300.1
(0)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci02.xml
|
.
595.1 /
299.8
(-)
|
.
761.5 /
296.3
(0)
|
.
621.6 /
300.1
(0)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci03.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^0
0.1 /
0.1
(2)
|
.
371.4 /
300.0
(0)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci04.xml
|
.
545.6 /
298.8
(-)
|
.
574.0 /
296.3
(0)
|
.
573.0 /
300.0
(0)
|
lexity_Innermost_Rewriting/AProVE_07/kabasci05.xml
|
.
536.1 /
298.8
(-)
|
.
521.1 /
296.2
(0)
|
.
511.0 /
300.1
(0)
|
omplexity_Innermost_Rewriting/AProVE_07/otto01.xml
|
.
430.3 /
299.3
(-)
|
.
868.0 /
296.3
(0)
|
.
586.7 /
300.0
(0)
|
omplexity_Innermost_Rewriting/AProVE_07/otto02.xml
|
.
676.8 /
300.0
(-)
|
.
704.5 /
296.2
(0)
|
.
217.3 /
196.9
(0)
|
omplexity_Innermost_Rewriting/AProVE_07/otto03.xml
|
.
504.7 /
298.8
(-)
|
.
30.5 /
11.9
(0)
|
.
9.8 /
5.2
(0)
|
omplexity_Innermost_Rewriting/AProVE_07/otto04.xml
|
.
486.7 /
299.0
(-)
|
.
152.4 /
85.4
(0)
|
.
306.4 /
300.0
(0)
|
omplexity_Innermost_Rewriting/AProVE_07/otto05.xml
|
.
609.2 /
298.2
(-)
|
.
381.8 /
262.1
(0)
|
.
155.5 /
144.9
(0)
|
omplexity_Innermost_Rewriting/AProVE_07/otto06.xml
|
.
637.3 /
298.5
(-)
|
.
476.7 /
296.5
(0)
|
.
351.9 /
300.1
(0)
|
omplexity_Innermost_Rewriting/AProVE_07/otto07.xml
|
.
540.4 /
298.2
(-)
|
.
36.4 /
31.6
(0)
|
.
8.6 /
4.3
(0)
|
omplexity_Innermost_Rewriting/AProVE_07/otto08.xml
|
.
518.5 /
298.5
(-)
|
.
94.2 /
48.9
(0)
|
.
112.5 /
75.7
(0)
|
omplexity_Innermost_Rewriting/AProVE_07/otto09.xml
|
.
493.7 /
298.5
(-)
|
.
78.0 /
31.6
(0)
|
.
160.2 /
151.7
(0)
|
omplexity_Innermost_Rewriting/AProVE_07/otto10.xml
|
.
660.7 /
299.3
(-)
|
.
232.1 /
114.2
(0)
|
.
149.4 /
101.8
(0)
|
omplexity_Innermost_Rewriting/AProVE_07/otto11.xml
|
.
592.9 /
299.1
(-)
|
.
72.1 /
41.5
(0)
|
.
39.2 /
32.9
(0)
|
omplexity_Innermost_Rewriting/AProVE_07/otto12.xml
|
.
654.7 /
298.1
(-)
|
.
122.5 /
60.4
(0)
|
.
26.3 /
12.4
(0)
|
omplexity_Innermost_Rewriting/AProVE_07/otto13.xml
|
.
537.7 /
299.2
(-)
|
.
160.0 /
90.8
(0)
|
.
198.4 /
178.1
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann01.xml
|
.
692.3 /
298.3
(-)
|
.
89.7 /
49.3
(0)
|
.
39.3 /
23.4
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann02.xml
|
.
410.6 /
298.7
(-)
|
.
475.2 /
296.3
(0)
|
.
719.4 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann03.xml
|
.
592.2 /
298.7
(-)
|
.
280.0 /
148.1
(0)
|
.
411.9 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann04.xml
|
.
541.8 /
298.4
(-)
|
.
619.4 /
296.3
(0)
|
.
737.8 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann05.xml
|
.
697.0 /
298.6
(-)
|
.
195.8 /
100.7
(0)
|
.
251.3 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann06.xml
|
.
689.6 /
299.1
(-)
|
.
119.3 /
100.4
(0)
|
.
287.7 /
200.9
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann07.xml
|
.
511.7 /
299.0
(-)
|
.
297.9 /
184.1
(0)
|
.
482.8 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann08.xml
|
.
667.7 /
299.6
(-)
|
.
191.5 /
295.8
(0)
|
.
77.3 /
78.8
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann09.xml
|
.
553.6 /
298.7
(-)
|
.
524.6 /
296.3
(0)
|
.
735.3 /
300.1
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann10.xml
|
.
532.1 /
299.1
(-)
|
.
683.9 /
296.0
(0)
|
.
311.1 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann11.xml
|
.
728.7 /
298.3
(-)
|
.
661.9 /
296.1
(0)
|
.
483.9 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann12.xml
|
.
577.4 /
300.1
(-)
|
.
665.4 /
296.1
(0)
|
.
123.4 /
116.5
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann13.xml
|
.
800.9 /
299.3
(-)
|
.
422.1 /
296.1
(0)
|
.
620.1 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann14.xml
|
.
782.4 /
298.5
(-)
|
.
589.3 /
296.4
(0)
|
.
620.1 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann15.xml
|
.
729.6 /
298.2
(-)
|
.
789.0 /
296.1
(0)
|
.
294.6 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann16.xml
|
.
660.7 /
299.4
(-)
|
.
604.8 /
296.5
(0)
|
.
428.6 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann17.xml
|
.
393.7 /
298.2
(-)
|
.
590.9 /
296.9
(0)
|
.
571.1 /
300.1
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann18.xml
|
.
343.2 /
298.3
(-)
|
.
390.9 /
281.8
(0)
|
.
652.5 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann19.xml
|
.
708.3 /
298.7
(-)
|
.
93.9 /
62.3
(0)
|
.
386.5 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann20.xml
|
.
744.0 /
298.5
(-)
|
.
268.9 /
130.4
(0)
|
.
70.6 /
44.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann21.xml
|
.
400.1 /
299.0
(-)
|
.
482.8 /
296.1
(0)
|
.
513.7 /
300.1
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann22.xml
|
.
605.5 /
300.0
(-)
|
.
553.5 /
296.5
(0)
|
.
356.2 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann23.xml
|
.
402.2 /
299.6
(-)
|
.
466.7 /
296.3
(0)
|
.
57.0 /
49.7
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann24.xml
|
.
695.1 /
298.3
(-)
|
.
109.2 /
60.3
(0)
|
.
20.4 /
10.8
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann25.xml
|
.
625.2 /
298.3
(-)
|
.
64.8 /
29.9
(0)
|
.
16.6 /
7.9
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann26.xml
|
.
533.5 /
298.6
(-)
|
.
77.5 /
47.8
(0)
|
.
36.3 /
20.2
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann27.xml
|
.
625.5 /
300.0
(-)
|
.
25.5 /
12.2
(0)
|
.
8.1 /
5.7
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann28.xml
|
.
675.2 /
298.7
(-)
|
.
730.1 /
296.3
(0)
|
.
176.7 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann29.xml
|
.
663.2 /
300.0
(-)
|
.
167.5 /
92.3
(0)
|
.
340.7 /
300.1
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann30.xml
|
.
602.9 /
300.1
(-)
|
.
647.5 /
296.2
(0)
|
.
292.1 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann31.xml
|
.
605.7 /
299.0
(-)
|
.
167.8 /
107.4
(0)
|
.
47.7 /
31.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann32.xml
|
.
609.5 /
298.6
(-)
|
.
557.3 /
296.5
(0)
|
.
85.2 /
126.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann33.xml
|
.
545.1 /
298.9
(-)
|
.
556.3 /
225.1
(0)
|
.
28.9 /
20.2
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann34.xml
|
.
517.3 /
298.7
(-)
|
.
89.2 /
52.2
(0)
|
.
30.0 /
22.3
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann36.xml
|
.
632.5 /
300.0
(-)
|
.
175.8 /
115.3
(0)
|
.
54.8 /
34.1
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann37.xml
|
.
652.7 /
299.2
(-)
|
.
580.4 /
296.3
(0)
|
.
685.7 /
300.0
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann38.xml
|
.
457.0 /
298.7
(-)
|
.
149.8 /
99.8
(0)
|
.
61.6 /
40.4
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann40.xml
|
.
586.6 /
298.3
(-)
|
.
32.5 /
17.0
(0)
|
.
11.2 /
6.2
(0)
|
exity_Innermost_Rewriting/AProVE_07/thiemann41.xml
|
.
659.5 /
298.7
(-)
|
.
140.5 /
72.8
(0)
|
.
108.8 /
75.7
(0)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe01.xml
|
.
488.1 /
299.3
(-)
|
.
664.4 /
296.3
(0)
|
.
504.5 /
300.0
(0)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe02.xml
|
.
590.4 /
298.5
(-)
|
.
594.8 /
296.5
(0)
|
.
451.1 /
300.0
(0)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe03.xml
|
.
522.8 /
298.5
(-)
|
.
672.8 /
296.5
(0)
|
.
534.2 /
300.1
(0)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe05.xml
|
.
451.2 /
300.0
(-)
|
.
520.6 /
296.4
(0)
|
.
519.5 /
300.0
(0)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe06.xml
|
.
501.4 /
298.6
(-)
|
.
457.4 /
296.4
(0)
|
.
675.1 /
300.0
(0)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe07.xml
|
.
413.8 /
299.0
(-)
|
.
761.8 /
296.2
(0)
|
.
773.0 /
300.0
(0)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe08.xml
|
.
482.4 /
298.3
(-)
|
.
554.7 /
296.4
(0)
|
.
559.5 /
300.1
(0)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe09.xml
|
.
432.3 /
298.6
(-)
|
.
678.9 /
296.4
(0)
|
.
655.1 /
300.1
(0)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe11.xml
|
.
524.7 /
298.6
(-)
|
.
634.9 /
296.2
(0)
|
.
589.9 /
300.1
(0)
|
mplexity_Innermost_Rewriting/AProVE_07/wiehe12.xml
|
.
556.0 /
300.0
(-)
|
.
718.0 /
296.3
(0)
|
.
393.8 /
300.0
(0)
|
omplexity_Innermost_Rewriting/AProVE_08/id_inc.xml
|
.
621.6 /
298.3
(-)
|
.
136.9 /
65.0
(0)
|
.
55.0 /
53.8
(0)
|
e_Complexity_Innermost_Rewriting/AProVE_08/log.xml
|
.
655.0 /
298.4
(-)
|
.
784.4 /
296.2
(0)
|
.
809.2 /
300.0
(0)
|
nnermost_Rewriting/AProVE_08/parting01_reverse.xml
|
.
549.2 /
298.3
(-)
|
.
617.4 /
296.6
(0)
|
.
340.6 /
300.0
(0)
|
rmost_Rewriting/AProVE_08/parting02_doublelist.xml
|
.
644.2 /
298.9
(-)
|
.
516.8 /
296.3
(0)
|
.
336.6 /
300.0
(0)
|
nnermost_Rewriting/AProVE_08/parting03_minsort.xml
|
.
641.0 /
299.2
(-)
|
.
770.9 /
296.2
(0)
|
.
322.1 /
300.0
(0)
|
ermost_Rewriting/AProVE_08/parting04_maxsort_h.xml
|
.
522.2 /
298.6
(-)
|
.
531.3 /
296.5
(0)
|
.
636.6 /
300.0
(0)
|
nnermost_Rewriting/AProVE_08/parting05_maxsort.xml
|
.
546.0 /
298.5
(-)
|
.
456.5 /
296.4
(0)
|
.
427.4 /
300.0
(0)
|
Complexity_Innermost_Rewriting/AProVE_08/round.xml
|
.
597.7 /
300.0
(-)
|
.
79.7 /
37.5
(0)
|
.
42.5 /
85.0
(0)
|
ty_Innermost_Rewriting/AProVE_08/round_nonterm.xml
|
.
527.9 /
298.8
(-)
|
.
103.6 /
79.3
(0)
|
.
24.8 /
46.0
(0)
|
ermost_Rewriting/AProVE_08/thiemann40_modified.xml
|
.
739.6 /
299.2
(-)
|
.
650.2 /
296.1
(0)
|
.
310.0 /
300.0
(0)
|
ty_Innermost_Rewriting/AProVE_09_Inductive/div.xml
|
.
772.3 /
298.7
(-)
|
.
536.4 /
296.1
(0)
|
.
407.2 /
300.0
(0)
|
nnermost_Rewriting/AProVE_09_Inductive/divhard.xml
|
.
739.7 /
298.4
(-)
|
.
161.0 /
76.4
(0)
|
.
366.6 /
300.0
(0)
|
ty_Innermost_Rewriting/AProVE_09_Inductive/gcd.xml
|
.
725.4 /
298.3
(-)
|
.
132.6 /
115.2
(0)
|
.
383.9 /
300.0
(0)
|
y_Innermost_Rewriting/AProVE_09_Inductive/gcd2.xml
|
.
880.6 /
298.4
(-)
|
.
234.2 /
242.8
(0)
|
.
534.9 /
300.0
(0)
|
nnermost_Rewriting/AProVE_09_Inductive/gcdhard.xml
|
.
714.9 /
299.1
(-)
|
.
209.4 /
169.5
(0)
|
.
188.2 /
147.0
(0)
|
ty_Innermost_Rewriting/AProVE_09_Inductive/log.xml
|
.
768.0 /
298.9
(-)
|
.
494.1 /
296.2
(0)
|
.
347.5 /
300.0
(0)
|
nnermost_Rewriting/AProVE_09_Inductive/maxsort.xml
|
.
998.5 /
299.1
(-)
|
.
674.5 /
296.2
(0)
|
.
452.2 /
300.0
(0)
|
Rewriting/AProVE_09_Inductive/maxsortcondition.xml
|
.
584.6 /
298.4
(-)
|
.
98.8 /
60.4
(0)
|
.
62.2 /
40.2
(0)
|
nnermost_Rewriting/AProVE_09_Inductive/minsort.xml
|
.
574.2 /
298.5
(-)
|
.
679.9 /
296.1
(0)
|
.
611.9 /
300.0
(0)
|
ty_Innermost_Rewriting/AProVE_09_Inductive/mod.xml
|
.
744.9 /
298.6
(-)
|
.
331.1 /
207.0
(0)
|
.
345.8 /
289.5
(0)
|
_Innermost_Rewriting/AProVE_09_Inductive/qsort.xml
|
.
413.1 /
300.0
(-)
|
.
466.7 /
296.5
(0)
|
.
670.6 /
300.1
(0)
|
ermost_Rewriting/AProVE_09_Inductive/qsortlast.xml
|
.
616.4 /
298.6
(-)
|
.
684.8 /
296.1
(0)
|
.
797.1 /
300.0
(0)
|
most_Rewriting/AProVE_09_Inductive/qsortmiddle.xml
|
.
554.9 /
300.0
(-)
|
.
537.6 /
296.5
(0)
|
.
715.2 /
300.0
(0)
|
nermost_Rewriting/AProVE_09_Inductive/zerolist.xml
|
.
588.0 /
298.6
(-)
|
.
93.9 /
45.3
(0)
|
.
63.1 /
48.9
(0)
|
Complexity_Innermost_Rewriting/Beerendonk_07/1.xml
|
.
623.1 /
298.2
(-)
|
.
41.2 /
34.5
(0)
|
.
10.4 /
9.8
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/10.xml
|
.
717.9 /
300.0
(-)
|
.
233.4 /
147.2
(0)
|
.
351.1 /
300.0
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/11.xml
|
.
660.3 /
300.0
(-)
|
.
68.3 /
47.9
(0)
|
.
343.0 /
300.0
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/12.xml
|
.
626.5 /
298.5
(-)
|
.
46.9 /
31.1
(0)
|
.
65.3 /
28.5
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/13.xml
|
.
687.3 /
298.2
(-)
|
.
57.7 /
44.9
(0)
|
.
279.6 /
271.0
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/14.xml
|
.
610.0 /
298.3
(-)
|
.
38.8 /
18.7
(0)
|
.
14.8 /
11.0
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/15.xml
|
.
344.7 /
299.3
(-)
|
.
546.8 /
296.3
(0)
|
.
654.6 /
300.1
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/16.xml
|
.
648.0 /
298.9
(-)
|
.
620.9 /
296.6
(0)
|
.
584.1 /
300.1
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/17.xml
|
.
633.5 /
298.5
(-)
|
.
635.8 /
296.3
(0)
|
.
725.0 /
300.1
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/18.xml
|
.
596.5 /
298.4
(-)
|
.
614.8 /
296.2
(0)
|
.
620.8 /
300.1
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/19.xml
|
.
896.6 /
298.9
(-)
|
.
475.4 /
296.3
(0)
|
.
733.0 /
300.0
(0)
|
Complexity_Innermost_Rewriting/Beerendonk_07/2.xml
|
.
569.8 /
298.3
(-)
|
.
41.4 /
22.8
(0)
|
.
9.7 /
5.7
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/20.xml
|
.
880.8 /
298.3
(-)
|
.
589.9 /
296.6
(0)
|
.
738.1 /
300.0
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/21.xml
|
.
705.2 /
298.8
(-)
|
.
717.1 /
296.2
(0)
|
.
375.5 /
300.1
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/22.xml
|
.
637.5 /
298.7
(-)
|
.
223.7 /
296.2
(0)
|
.
179.9 /
300.0
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/23.xml
|
.
702.0 /
298.3
(-)
|
.
128.5 /
66.4
(0)
|
.
47.3 /
41.1
(0)
|
omplexity_Innermost_Rewriting/Beerendonk_07/24.xml
|
.
619.8 /
298.8
(-)
|
.
587.3 /
296.2
(0)
|
.
717.4 /
300.0
(0)
|
Complexity_Innermost_Rewriting/Beerendonk_07/3.xml
|
.
817.0 /
298.5
(-)
|
.
54.2 /
23.6
(0)
|
.
13.9 /
9.5
(0)
|
Complexity_Innermost_Rewriting/Beerendonk_07/4.xml
|
.
695.1 /
298.3
(-)
|
.
23.6 /
17.6
(0)
|
.
7.2 /
4.5
(0)
|
Complexity_Innermost_Rewriting/Beerendonk_07/5.xml
|
.
642.6 /
298.6
(-)
|
.
168.1 /
101.5
(0)
|
.
805.5 /
300.0
(0)
|
Complexity_Innermost_Rewriting/Beerendonk_07/6.xml
|
.
515.8 /
298.7
(-)
|
.
21.6 /
9.0
(0)
|
.
6.2 /
3.4
(0)
|
Complexity_Innermost_Rewriting/Beerendonk_07/7.xml
|
.
603.7 /
299.0
(-)
|
.
871.4 /
296.4
(0)
|
.
288.6 /
300.0
(0)
|
Complexity_Innermost_Rewriting/Beerendonk_07/8.xml
|
.
754.5 /
298.5
(-)
|
.
697.0 /
296.3
(0)
|
.
732.2 /
300.0
(0)
|
Complexity_Innermost_Rewriting/Beerendonk_07/9.xml
|
.
739.2 /
300.1
(-)
|
.
577.5 /
296.4
(0)
|
.
544.8 /
300.0
(0)
|
plexity_Innermost_Rewriting/CiME_04/ack_prolog.xml
|
.
682.8 /
298.3
(-)
|
.
97.8 /
48.5
(0)
|
.
64.6 /
54.9
(0)
|
lexity_Innermost_Rewriting/CiME_04/append-hard.xml
|
.
687.7 /
298.4
(-)
|
.
22.2 /
11.1
(0)
|
.
6.4 /
5.5
(0)
|
exity_Innermost_Rewriting/CiME_04/append-wrong.xml
|
.
444.4 /
298.3
(-)
|
.
448.1 /
296.5
(0)
|
.
140.5 /
173.0
(0)
|
_Complexity_Innermost_Rewriting/CiME_04/append.xml
|
?/n^1
8.9 /
9.0
(-)
|
?/n^1
0.5 /
0.4
(2)
|
?/n^1
3.6 /
2.4
(2)
|
ime_Complexity_Innermost_Rewriting/CiME_04/big.xml
|
.
724.5 /
298.7
(-)
|
.
754.5 /
296.2
(0)
|
.
603.9 /
300.0
(0)
|
me_Complexity_Innermost_Rewriting/CiME_04/dpqs.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.3 /
0.2
(2)
|
?/n^2
3.6 /
2.7
(1)
|
mplexity_Innermost_Rewriting/CiME_04/fact-hard.xml
|
.
348.0 /
298.9
(-)
|
.
240.3 /
150.4
(0)
|
.
640.7 /
300.0
(0)
|
mplexity_Innermost_Rewriting/CiME_04/filliatre.xml
|
.
771.6 /
299.0
(-)
|
.
394.2 /
296.1
(0)
|
.
135.9 /
89.8
(0)
|
plexity_Innermost_Rewriting/CiME_04/filliatre2.xml
|
.
388.8 /
299.0
(-)
|
.
415.6 /
296.2
(0)
|
.
90.1 /
99.5
(0)
|
plexity_Innermost_Rewriting/CiME_04/filliatre3.xml
|
.
461.2 /
300.0
(-)
|
.
541.0 /
276.2
(0)
|
.
89.2 /
53.0
(0)
|
mplexity_Innermost_Rewriting/CiME_04/intersect.xml
|
?/n^2
56.1 /
26.4
(-)
|
.
467.0 /
260.3
(0)
|
?/n^2
39.3 /
27.7
(2)
|
t_Rewriting/CiME_04/list-sum-prod-assoc-append.xml
|
.
622.9 /
298.4
(-)
|
.
103.8 /
74.1
(0)
|
.
100.2 /
77.9
(0)
|
nnermost_Rewriting/CiME_04/list-sum-prod-assoc.xml
|
.
620.4 /
298.3
(-)
|
.
60.2 /
26.1
(0)
|
.
53.5 /
78.0
(0)
|
ting/CiME_04/list-sum-prod-bin-assoc-distr-app.xml
|
.
466.0 /
298.8
(-)
|
.
612.4 /
296.3
(0)
|
.
295.8 /
300.0
(0)
|
most_Rewriting/CiME_04/list-sum-prod-bin-assoc.xml
|
.
511.7 /
298.4
(-)
|
.
700.2 /
296.1
(0)
|
.
252.7 /
300.0
(0)
|
_Innermost_Rewriting/CiME_04/list-sum-prod-bin.xml
|
.
642.7 /
298.5
(-)
|
.
462.6 /
296.4
(0)
|
.
563.1 /
300.1
(0)
|
xity_Innermost_Rewriting/CiME_04/list-sum-prod.xml
|
.
736.1 /
298.4
(-)
|
.
48.2 /
34.0
(0)
|
.
35.1 /
21.4
(0)
|
me_Complexity_Innermost_Rewriting/CiME_04/log2.xml
|
.
538.5 /
300.0
(-)
|
.
739.4 /
296.3
(0)
|
.
278.8 /
300.1
(0)
|
ime_Complexity_Innermost_Rewriting/CiME_04/lse.xml
|
?/n^2
85.3 /
53.6
(-)
|
?/n^2
46.8 /
18.2
(2)
|
?/n^2
33.9 /
15.5
(2)
|
_Complexity_Innermost_Rewriting/CiME_04/maude2.xml
|
.
593.1 /
298.6
(-)
|
.
635.1 /
296.2
(0)
|
.
539.4 /
300.0
(0)
|
_Complexity_Innermost_Rewriting/CiME_04/mucrl1.xml
|
.
516.4 /
300.0
(-)
|
?/n^1
810.4 /
294.1
(2)
|
.
477.2 /
300.0
(0)
|
exity_Innermost_Rewriting/CiME_04/ternary-hard.xml
|
.
587.1 /
298.6
(-)
|
.
592.1 /
296.2
(0)
|
.
476.4 /
300.0
(0)
|
Complexity_Innermost_Rewriting/CiME_04/ternary.xml
|
.
477.8 /
298.6
(-)
|
.
697.0 /
296.2
(0)
|
.
322.7 /
300.1
(0)
|
me_Complexity_Innermost_Rewriting/CiME_04/tree.xml
|
.
482.7 /
298.4
(-)
|
.
483.2 /
296.2
(0)
|
.
502.8 /
300.0
(0)
|
untime_Complexity_Innermost_Rewriting/Der95/06.xml
|
?/n^1
0.4 /
1.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
2.4 /
1.6
(2)
|
untime_Complexity_Innermost_Rewriting/Der95/07.xml
|
?/n^1
0.5 /
0.4
(-)
|
?/n^1
0.2 /
0.1
(2)
|
?/n^1
3.5 /
3.1
(2)
|
untime_Complexity_Innermost_Rewriting/Der95/08.xml
|
?/n^2
0.9 /
0.4
(-)
|
?/n^1
2.2 /
0.9
(2)
|
?/n^1
2.6 /
2.1
(2)
|
untime_Complexity_Innermost_Rewriting/Der95/11.xml
|
?/n^1
25.5 /
11.4
(-)
|
?/n^1
10.3 /
3.5
(2)
|
?/n^1
4.5 /
2.8
(2)
|
untime_Complexity_Innermost_Rewriting/Der95/12.xml
|
.
591.4 /
298.7
(-)
|
.
28.3 /
14.0
(0)
|
.
11.9 /
14.5
(0)
|
untime_Complexity_Innermost_Rewriting/Der95/18.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.1 /
0.0
(2)
|
?/n^2
2.4 /
1.9
(1)
|
untime_Complexity_Innermost_Rewriting/Der95/20.xml
|
.
765.3 /
298.2
(-)
|
.
105.0 /
51.8
(0)
|
.
13.4 /
11.2
(0)
|
untime_Complexity_Innermost_Rewriting/Der95/21.xml
|
.
883.9 /
300.0
(-)
|
.
198.4 /
106.5
(0)
|
.
180.7 /
161.8
(0)
|
untime_Complexity_Innermost_Rewriting/Der95/27.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
2.4 /
1.9
(2)
|
untime_Complexity_Innermost_Rewriting/Der95/31.xml
|
?/n^2
13.8 /
7.9
(-)
|
?/n^1
3.7 /
1.5
(2)
|
?/n^2
6.8 /
3.7
(1)
|
untime_Complexity_Innermost_Rewriting/Der95/32.xml
|
?/n^2
145.9 /
73.4
(-)
|
?/n^2
21.1 /
14.5
(2)
|
?/n^2
12.7 /
6.5
(2)
|
untime_Complexity_Innermost_Rewriting/Der95/33.xml
|
.
812.6 /
298.8
(-)
|
.
630.8 /
296.4
(0)
|
.
604.4 /
300.0
(0)
|
lexity_Innermost_Rewriting/Endrullis_06/direct.xml
|
?/n^1
0.5 /
0.3
(-)
|
?/n^1
0.2 /
0.1
(2)
|
?/n^3
9.0 /
4.8
(1)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/ack.xml
|
.
613.0 /
298.8
(-)
|
.
79.8 /
39.8
(0)
|
.
14.1 /
8.9
(0)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/add.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.2 /
0.1
(2)
|
?/n^1
4.0 /
9.1
(2)
|
rmost_Rewriting/Frederiksen_Glenstrup/addlists.xml
|
?/n^1
0.5 /
0.2
(-)
|
?/n^1
0.5 /
0.3
(2)
|
?/n^1
3.2 /
2.2
(2)
|
rmost_Rewriting/Frederiksen_Glenstrup/anchored.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
3.5 /
3.2
(2)
|
nermost_Rewriting/Frederiksen_Glenstrup/append.xml
|
?/n^1
0.2 /
0.3
(-)
|
?/n^1
0.3 /
0.2
(2)
|
?/n^1
2.8 /
2.7
(2)
|
ost_Rewriting/Frederiksen_Glenstrup/assrewrite.xml
|
.
612.0 /
298.3
(-)
|
.
122.4 /
110.4
(0)
|
.
23.4 /
10.2
(0)
|
Innermost_Rewriting/Frederiksen_Glenstrup/badd.xml
|
.
555.3 /
298.4
(-)
|
.
24.8 /
8.1
(0)
|
.
9.8 /
7.3
(0)
|
nnermost_Rewriting/Frederiksen_Glenstrup/binom.xml
|
.
580.7 /
298.3
(-)
|
.
102.5 /
40.7
(0)
|
.
26.3 /
15.6
(0)
|
rmost_Rewriting/Frederiksen_Glenstrup/decrease.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
1.6 /
1.2
(2)
|
?/n^2
2.8 /
2.1
(1)
|
_Rewriting/Frederiksen_Glenstrup/deeprev_typed.xml
|
?/n^1
1.1 /
0.8
(-)
|
?/n^1
3.2 /
1.4
(2)
|
?/n^1
9.9 /
10.7
(2)
|
rmost_Rewriting/Frederiksen_Glenstrup/disjconj.xml
|
.
595.5 /
298.5
(-)
|
.
40.9 /
18.9
(0)
|
.
30.1 /
15.9
(0)
|
most_Rewriting/Frederiksen_Glenstrup/duplicate.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.2 /
0.1
(2)
|
?/n^1
2.5 /
2.0
(2)
|
nnermost_Rewriting/Frederiksen_Glenstrup/equal.xml
|
.
351.2 /
298.7
(-)
|
.
384.6 /
296.7
(0)
|
.
3.4 /
7.8
(0)
|
ermost_Rewriting/Frederiksen_Glenstrup/evenodd.xml
|
?/n^1
1.1 /
0.9
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^3
4.1 /
3.1
(1)
|
Innermost_Rewriting/Frederiksen_Glenstrup/fold.xml
|
?/n^1
2.1 /
1.2
(-)
|
?/n^1
0.6 /
0.3
(2)
|
?/n^1
9.4 /
5.6
(2)
|
Innermost_Rewriting/Frederiksen_Glenstrup/game.xml
|
?/n^1
8.4 /
3.7
(-)
|
?/n^1
1.8 /
1.0
(2)
|
?/n^1
7.9 /
11.5
(2)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.xml
|
.
638.4 /
299.0
(-)
|
.
488.0 /
296.2
(0)
|
.
765.7 /
300.0
(0)
|
Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.xml
|
.
551.7 /
300.0
(-)
|
.
525.5 /
296.1
(0)
|
.
681.0 /
300.0
(0)
|
rmost_Rewriting/Frederiksen_Glenstrup/increase.xml
|
.
424.4 /
298.1
(-)
|
.
334.6 /
296.4
(0)
|
.
4.7 /
2.6
(0)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/int.xml
|
.
713.9 /
300.0
(-)
|
.
920.8 /
296.3
(0)
|
.
660.1 /
300.0
(0)
|
most_Rewriting/Frederiksen_Glenstrup/intlookup.xml
|
.
599.6 /
299.8
(-)
|
.
16.3 /
7.3
(0)
|
.
6.8 /
4.7
(0)
|
ewriting/Frederiksen_Glenstrup/lambdaint_typed.xml
|
.
721.4 /
298.5
(-)
|
.
451.6 /
296.4
(0)
|
.
607.9 /
300.0
(0)
|
nermost_Rewriting/Frederiksen_Glenstrup/letexp.xml
|
.
592.8 /
298.8
(-)
|
.
17.6 /
8.3
(0)
|
.
3.9 /
3.1
(0)
|
Innermost_Rewriting/Frederiksen_Glenstrup/list.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.4 /
0.2
(2)
|
?/n^1
2.6 /
2.2
(2)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/lte.xml
|
?/n^1
5.8 /
4.8
(-)
|
?/n^1
1.7 /
1.4
(2)
|
?/n^1
7.8 /
3.5
(2)
|
Innermost_Rewriting/Frederiksen_Glenstrup/map0.xml
|
?/n^1
1.8 /
0.9
(-)
|
?/n^1
1.2 /
0.7
(2)
|
?/n^1
3.1 /
2.7
(2)
|
nermost_Rewriting/Frederiksen_Glenstrup/member.xml
|
?/n^1
7.4 /
7.8
(-)
|
?/n^1
1.1 /
0.7
(2)
|
?/n^1
5.2 /
3.8
(2)
|
ost_Rewriting/Frederiksen_Glenstrup/mergelists.xml
|
?/n^1
2.4 /
1.8
(-)
|
?/n^1
0.6 /
0.5
(2)
|
?/n^1
7.8 /
5.8
(2)
|
most_Rewriting/Frederiksen_Glenstrup/mergesort.xml
|
.
721.2 /
298.6
(-)
|
.
165.4 /
86.7
(0)
|
.
56.0 /
35.9
(0)
|
ermost_Rewriting/Frederiksen_Glenstrup/minsort.xml
|
.
599.6 /
298.4
(-)
|
.
124.4 /
57.2
(0)
|
.
26.8 /
18.8
(0)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/mul.xml
|
.
657.7 /
298.5
(-)
|
?/n^3
13.2 /
6.5
(2)
|
?/n^3
9.2 /
4.0
(2)
|
ost_Rewriting/Frederiksen_Glenstrup/mul_better.xml
|
.
588.2 /
298.4
(-)
|
?/n^3
19.4 /
10.5
(2)
|
?/n^3
7.2 /
9.4
(2)
|
rmost_Rewriting/Frederiksen_Glenstrup/naiverev.xml
|
?/n^2
138.3 /
58.9
(-)
|
?/n^2
12.4 /
9.1
(2)
|
?/n^2
6.4 /
3.7
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/nestdec.xml
|
?/n^1
0.6 /
0.3
(-)
|
?/n^1
0.6 /
0.4
(2)
|
?/n^1
10.4 /
5.7
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/nesteql.xml
|
.
653.4 /
298.3
(-)
|
.
334.5 /
296.4
(0)
|
.
6.8 /
4.1
(0)
|
most_Rewriting/Frederiksen_Glenstrup/nestimeql.xml
|
.
741.1 /
298.8
(-)
|
.
504.6 /
296.1
(0)
|
.
232.8 /
136.1
(0)
|
ermost_Rewriting/Frederiksen_Glenstrup/nestinc.xml
|
.
620.1 /
298.4
(-)
|
.
442.5 /
296.4
(0)
|
.
164.3 /
111.4
(0)
|
ost_Rewriting/Frederiksen_Glenstrup/nolexicord.xml
|
.
394.0 /
298.8
(-)
|
?/n^1
9.2 /
5.1
(2)
|
?/n^1
10.3 /
7.1
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/ordered.xml
|
?/n^1
3.2 /
2.4
(-)
|
?/n^1
1.1 /
0.6
(2)
|
?/n^1
4.2 /
2.8
(2)
|
Rewriting/Frederiksen_Glenstrup/ordered_better.xml
|
?/n^1
5.9 /
3.6
(-)
|
?/n^1
0.8 /
0.5
(2)
|
?/n^1
5.0 /
3.1
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/overlap.xml
|
?/n^2
14.3 /
8.4
(-)
|
?/n^2
10.2 /
3.8
(2)
|
?/n^2
15.4 /
7.8
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/parsexp.xml
|
.
419.8 /
300.0
(-)
|
.
535.4 /
296.2
(0)
|
.
617.1 /
300.0
(0)
|
ermost_Rewriting/Frederiksen_Glenstrup/permute.xml
|
.
710.6 /
298.9
(-)
|
.
662.7 /
296.2
(0)
|
.
465.8 /
300.0
(0)
|
nnermost_Rewriting/Frederiksen_Glenstrup/power.xml
|
.
628.6 /
298.3
(-)
|
.
25.0 /
14.8
(0)
|
.
14.5 /
7.9
(0)
|
most_Rewriting/Frederiksen_Glenstrup/quicksort.xml
|
.
577.5 /
300.0
(-)
|
.
212.6 /
116.7
(0)
|
.
318.0 /
300.0
(0)
|
nermost_Rewriting/Frederiksen_Glenstrup/revapp.xml
|
?/n^1
0.3 /
0.4
(-)
|
?/n^1
0.4 /
0.2
(2)
|
?/n^3
3.1 /
8.0
(1)
|
nermost_Rewriting/Frederiksen_Glenstrup/select.xml
|
?/n^2
9.4 /
6.5
(-)
|
?/n^2
3.5 /
2.9
(2)
|
?/n^2
4.8 /
2.6
(2)
|
ermost_Rewriting/Frederiksen_Glenstrup/shuffle.xml
|
.
493.7 /
300.0
(-)
|
?/n^3
23.7 /
7.0
(2)
|
?/n^3
8.2 /
3.7
(2)
|
_Innermost_Rewriting/Frederiksen_Glenstrup/sp1.xml
|
.
674.2 /
299.4
(-)
|
.
24.2 /
12.2
(0)
|
.
7.8 /
5.8
(0)
|
ermost_Rewriting/Frederiksen_Glenstrup/subsets.xml
|
.
619.4 /
298.8
(-)
|
.
27.2 /
13.4
(0)
|
.
10.8 /
4.5
(0)
|
rmost_Rewriting/Frederiksen_Glenstrup/thetrick.xml
|
.
543.8 /
299.8
(-)
|
.
632.1 /
296.5
(0)
|
.
586.7 /
300.1
(0)
|
t_Rewriting/Frederiksen_Glenstrup/turing_typed.xml
|
.
490.7 /
299.9
(-)
|
.
157.5 /
104.1
(0)
|
.
44.5 /
54.2
(0)
|
ewriting/Frederiksen_Glenstrup/vangelder_typed.xml
|
.
471.5 /
299.2
(-)
|
.
673.0 /
296.3
(0)
|
.
673.1 /
300.1
(0)
|
ity_Innermost_Rewriting/Frederiksen_Others/add.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.4 /
1.1
(2)
|
?/n^1
4.2 /
2.8
(2)
|
st_Rewriting/Frederiksen_Others/assrewriteSize.xml
|
.
632.1 /
298.6
(-)
|
.
91.8 /
61.8
(0)
|
.
21.7 /
10.2
(0)
|
nnermost_Rewriting/Frederiksen_Others/boolprog.xml
|
?/n^1
13.4 /
7.6
(-)
|
?/n^1
2.1 /
1.2
(2)
|
?/n^1
18.8 /
12.3
(2)
|
ermost_Rewriting/Frederiksen_Others/bubblesort.xml
|
.
663.9 /
298.4
(-)
|
?/n^2
14.4 /
5.3
(2)
|
?/n^2
13.0 /
10.5
(2)
|
most_Rewriting/Frederiksen_Others/deadcodeSize.xml
|
.
36.3 /
16.5
(-)
|
.
15.3 /
8.1
(0)
|
.
2.9 /
2.7
(0)
|
rmost_Rewriting/Frederiksen_Others/disj2_typed.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
2.0 /
1.2
(2)
|
?/n^1
11.1 /
8.8
(2)
|
ty_Innermost_Rewriting/Frederiksen_Others/div2.xml
|
?/n^1
0.1 /
0.2
(-)
|
?/n^1
0.3 /
0.2
(2)
|
?/n^1
4.5 /
2.8
(2)
|
ermost_Rewriting/Frederiksen_Others/dup1_typed.xml
|
?/n^1
0.8 /
0.5
(-)
|
?/n^1
0.8 /
0.6
(2)
|
?/n^1
7.3 /
3.0
(2)
|
ermost_Rewriting/Frederiksen_Others/dup2_typed.xml
|
?/n^1
9.5 /
6.2
(-)
|
?/n^1
1.0 /
0.5
(2)
|
?/n^1
12.4 /
6.1
(2)
|
xity_Innermost_Rewriting/Frederiksen_Others/eq.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.2 /
0.2
(2)
|
?/n^1
2.5 /
2.2
(2)
|
ity_Innermost_Rewriting/Frederiksen_Others/ex6.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.3 /
0.2
(2)
|
?/n^2
3.4 /
2.0
(1)
|
ity_Innermost_Rewriting/Frederiksen_Others/fgh.xml
|
.
799.6 /
298.8
(-)
|
.
350.5 /
296.0
(0)
|
.
434.2 /
300.0
(0)
|
Innermost_Rewriting/Frederiksen_Others/fghSize.xml
|
.
650.7 /
299.6
(-)
|
.
358.2 /
295.5
(0)
|
.
367.4 /
284.6
(0)
|
_Innermost_Rewriting/Frederiksen_Others/gexgcd.xml
|
?/n^2
581.2 /
297.0
(-)
|
?/n^2
413.3 /
144.0
(1)
|
?/n^1
98.4 /
40.4
(2)
|
Innermost_Rewriting/Frederiksen_Others/gexgcd2.xml
|
.
480.5 /
299.6
(-)
|
.
254.5 /
161.4
(0)
|
.
39.4 /
21.8
(0)
|
ewriting/Frederiksen_Others/graphcolour1_typed.xml
|
.
524.3 /
300.0
(-)
|
.
765.2 /
296.2
(0)
|
.
534.0 /
300.1
(0)
|
ting/Frederiksen_Others/graphcolour2Size_typed.xml
|
.
641.0 /
298.5
(-)
|
.
823.2 /
296.2
(0)
|
.
580.2 /
300.0
(0)
|
ewriting/Frederiksen_Others/graphcolour2_typed.xml
|
.
484.1 /
298.3
(-)
|
.
678.9 /
296.3
(0)
|
.
438.1 /
300.1
(0)
|
ewriting/Frederiksen_Others/graphcolour3_typed.xml
|
.
460.7 /
298.4
(-)
|
.
444.2 /
297.0
(0)
|
.
493.4 /
300.0
(0)
|
Innermost_Rewriting/Frederiksen_Others/inssort.xml
|
.
663.7 /
298.3
(-)
|
?/n^2
14.0 /
8.1
(2)
|
?/n^2
10.2 /
10.6
(2)
|
st_Rewriting/Frederiksen_Others/inssort_better.xml
|
.
424.6 /
299.3
(-)
|
?/n^2
10.9 /
3.8
(2)
|
?/n^2
13.3 /
8.1
(2)
|
y_Innermost_Rewriting/Frederiksen_Others/match.xml
|
?/n^2
10.1 /
5.6
(-)
|
?/n^2
2.9 /
1.5
(2)
|
?/n^2
7.8 /
6.4
(2)
|
rmost_Rewriting/Frederiksen_Others/minsortSize.xml
|
.
622.5 /
298.9
(-)
|
.
103.8 /
48.5
(0)
|
.
23.6 /
15.2
(0)
|
ermost_Rewriting/Frederiksen_Others/ocall-safe.xml
|
?/n^1
0.4 /
0.3
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
4.8 /
2.5
(2)
|
most_Rewriting/Frederiksen_Others/ocall-unsafe.xml
|
?/n^1
0.1 /
0.6
(-)
|
?/n^1
0.7 /
1.2
(2)
|
?/n^1
4.5 /
2.8
(2)
|
Innermost_Rewriting/Frederiksen_Others/oddeven.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^2
2.7 /
1.8
(1)
|
_Innermost_Rewriting/Frederiksen_Others/permut.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
2.6 /
2.5
(2)
|
y_Innermost_Rewriting/Frederiksen_Others/power.xml
|
.
434.8 /
298.6
(-)
|
.
35.0 /
15.7
(0)
|
.
25.4 /
14.9
(0)
|
st_Rewriting/Frederiksen_Others/quicksortPtime.xml
|
.
539.6 /
298.5
(-)
|
.
384.5 /
237.3
(0)
|
?/n^2
55.9 /
27.2
(2)
|
ost_Rewriting/Frederiksen_Others/quicksortSize.xml
|
.
572.4 /
299.0
(-)
|
.
738.2 /
296.2
(0)
|
.
613.6 /
300.0
(0)
|
y_Innermost_Rewriting/Frederiksen_Others/reach.xml
|
.
582.3 /
298.7
(-)
|
.
691.4 /
296.4
(0)
|
.
657.5 /
300.0
(0)
|
Innermost_Rewriting/Frederiksen_Others/rematch.xml
|
.
499.5 /
300.0
(-)
|
.
819.9 /
297.2
(0)
|
.
631.4 /
300.0
(0)
|
nnermost_Rewriting/Frederiksen_Others/strmatch.xml
|
?/n^2
40.8 /
19.6
(-)
|
?/n^2
14.1 /
6.9
(2)
|
?/n^2
25.6 /
12.8
(2)
|
most_Rewriting/Frederiksen_Others/thetrickSize.xml
|
?/n^2
76.0 /
36.3
(-)
|
?/n^1
5.1 /
5.1
(2)
|
?/n^1
17.6 /
9.3
(2)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade01.xml
|
.
528.9 /
298.2
(-)
|
.
28.8 /
15.5
(0)
|
.
7.5 /
4.2
(0)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade03.xml
|
.
640.7 /
298.2
(-)
|
.
47.9 /
25.1
(0)
|
.
10.7 /
6.1
(0)
|
Complexity_Innermost_Rewriting/GTSSK07/cade04t.xml
|
.
422.7 /
298.6
(-)
|
.
31.7 /
15.0
(0)
|
.
6.6 /
4.4
(0)
|
Complexity_Innermost_Rewriting/GTSSK07/cade05t.xml
|
.
704.3 /
298.4
(-)
|
.
746.9 /
296.3
(0)
|
.
231.8 /
300.0
(0)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade06.xml
|
.
627.8 /
298.6
(-)
|
.
698.4 /
296.2
(0)
|
.
337.6 /
300.0
(0)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade07.xml
|
.
721.7 /
298.3
(-)
|
.
84.5 /
50.0
(0)
|
.
57.3 /
53.2
(0)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade08.xml
|
.
669.6 /
299.4
(-)
|
.
391.9 /
296.3
(0)
|
.
421.9 /
300.0
(0)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade09.xml
|
.
650.6 /
298.2
(-)
|
.
861.9 /
296.3
(0)
|
.
286.7 /
300.0
(0)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade10.xml
|
.
484.9 /
298.8
(-)
|
.
638.2 /
296.0
(0)
|
.
70.8 /
64.5
(0)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade11.xml
|
.
604.1 /
298.2
(-)
|
.
42.4 /
23.2
(0)
|
.
7.5 /
3.9
(0)
|
Complexity_Innermost_Rewriting/GTSSK07/cade12t.xml
|
.
555.7 /
300.0
(-)
|
.
692.2 /
296.2
(0)
|
.
725.6 /
300.1
(0)
|
Complexity_Innermost_Rewriting/GTSSK07/cade13t.xml
|
.
790.2 /
298.3
(-)
|
.
51.7 /
22.7
(0)
|
.
30.5 /
31.3
(0)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade14.xml
|
.
633.4 /
299.2
(-)
|
.
86.2 /
53.9
(0)
|
.
20.0 /
10.5
(0)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade15.xml
|
.
539.8 /
298.6
(-)
|
.
341.8 /
244.1
(0)
|
.
390.1 /
300.0
(0)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade16.xml
|
.
637.4 /
299.3
(-)
|
.
179.3 /
80.4
(0)
|
.
102.5 /
59.9
(0)
|
_Complexity_Innermost_Rewriting/GTSSK07/cade17.xml
|
.
752.7 /
298.6
(-)
|
.
551.0 /
296.4
(0)
|
.
636.0 /
300.0
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n002.xml
|
.
16.2 /
5.4
(-)
|
.
16.0 /
8.1
(0)
|
.
2.5 /
2.2
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n003.xml
|
.
30.3 /
17.8
(-)
|
.
14.7 /
8.1
(0)
|
.
3.0 /
3.6
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n004.xml
|
.
18.2 /
5.4
(-)
|
.
16.1 /
8.1
(0)
|
.
2.7 /
7.5
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n005.xml
|
.
548.4 /
298.2
(-)
|
.
11.6 /
8.8
(0)
|
.
3.1 /
1.8
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n006.xml
|
.
122.0 /
63.6
(-)
|
.
14.9 /
8.0
(0)
|
.
2.6 /
2.5
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/n007.xml
|
.
194.3 /
101.3
(-)
|
.
8.0 /
4.4
(0)
|
.
2.7 /
2.3
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t001.xml
|
.
358.7 /
298.9
(-)
|
.
517.8 /
296.5
(0)
|
.
653.5 /
300.0
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t002.xml
|
.
401.2 /
298.5
(-)
|
.
426.6 /
296.2
(0)
|
.
733.2 /
300.0
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t003.xml
|
.
663.2 /
300.0
(-)
|
.
607.8 /
296.3
(0)
|
.
387.6 /
300.1
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t004.xml
|
.
818.8 /
299.0
(-)
|
.
155.5 /
72.6
(0)
|
.
224.7 /
287.9
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t009.xml
|
.
538.9 /
298.3
(-)
|
.
533.7 /
296.4
(0)
|
.
735.8 /
300.0
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t011.xml
|
?/n^1
0.6 /
0.5
(-)
|
?/n^1
0.2 /
0.1
(2)
|
?/n^2
2.6 /
1.9
(1)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t012.xml
|
.
586.7 /
298.4
(-)
|
.
612.0 /
296.2
(0)
|
.
209.9 /
140.4
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t013.xml
|
.
714.1 /
298.5
(-)
|
.
67.0 /
35.3
(0)
|
.
258.3 /
251.1
(0)
|
Innermost_Rewriting/HirokawaMiddeldorp_04/t014.xml
|
?/n^2
44.3 /
25.6
(-)
|
?/n^2
4.8 /
2.3
(2)
|
?/n^2
25.2 /
13.2
(2)
|
ty_Innermost_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml
|
.
689.6 /
299.2
(-)
|
.
486.6 /
296.1
(0)
|
.
15.2 /
9.1
(0)
|
mplexity_Innermost_Rewriting/Mixed_TRS/fossacs.xml
|
.
525.3 /
299.2
(-)
|
.
145.4 /
68.9
(0)
|
.
368.3 /
300.0
(0)
|
e_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.xml
|
.
579.3 /
298.4
(-)
|
.
662.7 /
296.3
(0)
|
.
570.6 /
300.0
(0)
|
lexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.xml
|
.
562.6 /
298.4
(-)
|
.
719.5 /
296.1
(0)
|
.
576.4 /
300.0
(0)
|
exity_Innermost_Rewriting/Mixed_TRS/gcd_triple.xml
|
.
344.3 /
298.2
(-)
|
.
600.7 /
296.3
(0)
|
.
574.8 /
300.0
(0)
|
_Innermost_Rewriting/Mixed_TRS/hydra-Zantema06.xml
|
.
551.7 /
298.8
(-)
|
.
740.9 /
296.2
(0)
|
.
578.2 /
300.0
(0)
|
Complexity_Innermost_Rewriting/Mixed_TRS/hydra.xml
|
?/n^2
1.5 /
0.6
(-)
|
?/n^1
1.7 /
0.9
(2)
|
?/n^1
3.6 /
2.2
(2)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones1.xml
|
?/n^1
0.1 /
0.3
(-)
|
?/n^1
0.3 /
0.4
(2)
|
?/n^1
2.7 /
5.7
(2)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones2.xml
|
?/n^2
0.6 /
0.3
(-)
|
?/n^1
1.7 /
0.8
(2)
|
?/n^2
3.4 /
2.9
(1)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones4.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
2.9 /
1.9
(2)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones5.xml
|
.
606.0 /
299.7
(-)
|
.
12.9 /
11.1
(0)
|
.
3.5 /
2.0
(0)
|
omplexity_Innermost_Rewriting/Mixed_TRS/jones6.xml
|
?/n^1
1.3 /
1.8
(-)
|
?/n^1
0.4 /
0.3
(2)
|
?/n^1
3.9 /
5.7
(2)
|
mplexity_Innermost_Rewriting/Mixed_TRS/minsort.xml
|
.
561.5 /
298.8
(-)
|
.
730.6 /
296.2
(0)
|
.
207.6 /
300.0
(0)
|
mplexity_Innermost_Rewriting/Mixed_TRS/perfect.xml
|
?/n^1
24.7 /
19.7
(-)
|
?/n^1
0.9 /
0.5
(2)
|
.
8.2 /
4.7
(0)
|
plexity_Innermost_Rewriting/Mixed_TRS/perfect2.xml
|
.
624.7 /
299.0
(-)
|
.
562.4 /
296.8
(0)
|
.
367.4 /
300.1
(0)
|
Complexity_Innermost_Rewriting/Mixed_TRS/test1.xml
|
.
587.6 /
299.3
(-)
|
.
12.3 /
6.4
(0)
|
.
3.5 /
2.4
(0)
|
Complexity_Innermost_Rewriting/Mixed_TRS/while.xml
|
.
597.2 /
299.2
(-)
|
.
24.7 /
13.4
(0)
|
.
7.6 /
4.3
(0)
|
mplexity_Innermost_Rewriting/Rubio_04/bintrees.xml
|
?/n^1
0.6 /
0.3
(-)
|
?/n^2
3.1 /
1.3
(2)
|
?/n^2
8.2 /
8.5
(2)
|
_Complexity_Innermost_Rewriting/Rubio_04/bn122.xml
|
?/n^2
18.0 /
18.1
(-)
|
?/n^2
1.1 /
0.7
(2)
|
?/n^2
4.8 /
3.5
(2)
|
mplexity_Innermost_Rewriting/Rubio_04/division.xml
|
?/n^3
84.1 /
42.0
(-)
|
?/n^3
46.2 /
15.2
(2)
|
?/n^3
24.2 /
9.2
(2)
|
mplexity_Innermost_Rewriting/Rubio_04/elimdupl.xml
|
?/n^3
70.9 /
39.4
(-)
|
?/n^2
38.2 /
12.7
(2)
|
?/n^2
18.6 /
7.4
(2)
|
e_Complexity_Innermost_Rewriting/Rubio_04/enno.xml
|
.
703.4 /
298.3
(-)
|
?/n^2
48.5 /
24.5
(2)
|
?/n^2
36.0 /
17.8
(2)
|
me_Complexity_Innermost_Rewriting/Rubio_04/gcd.xml
|
.
606.1 /
298.6
(-)
|
?/n^2
16.2 /
6.3
(2)
|
?/n^2
15.1 /
6.6
(2)
|
ime_Complexity_Innermost_Rewriting/Rubio_04/gm.xml
|
?/n^1
3.6 /
1.9
(-)
|
?/n^1
0.5 /
0.3
(2)
|
?/n^2
9.4 /
7.3
(1)
|
e_Complexity_Innermost_Rewriting/Rubio_04/gmnp.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.3 /
0.2
(2)
|
?/n^1
3.8 /
2.2
(2)
|
e_Complexity_Innermost_Rewriting/Rubio_04/koen.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.6 /
0.9
(2)
|
?/n^1
2.6 /
1.8
(2)
|
plexity_Innermost_Rewriting/Rubio_04/logarquot.xml
|
?/n^2
35.9 /
22.0
(-)
|
?/n^2
18.0 /
8.4
(2)
|
?/n^2
16.1 /
7.3
(2)
|
e_Complexity_Innermost_Rewriting/Rubio_04/ma96.xml
|
.
610.9 /
298.9
(-)
|
.
403.6 /
296.2
(0)
|
.
365.8 /
300.1
(0)
|
_Complexity_Innermost_Rewriting/Rubio_04/mfp95.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^0
0.0 /
0.0
(2)
|
?/n^1
2.5 /
2.1
(1)
|
omplexity_Innermost_Rewriting/Rubio_04/nestrec.xml
|
.
394.5 /
300.1
(-)
|
.
163.6 /
188.9
(0)
|
.
5.9 /
4.1
(0)
|
e_Complexity_Innermost_Rewriting/Rubio_04/p266.xml
|
?/n^1
0.4 /
0.2
(-)
|
?/n^0
0.6 /
1.1
(2)
|
?/n^1
3.2 /
1.8
(1)
|
_Complexity_Innermost_Rewriting/Rubio_04/polo2.xml
|
?/n^1
15.1 /
8.6
(-)
|
?/n^1
9.6 /
4.3
(2)
|
?/n^1
4.1 /
3.0
(2)
|
e_Complexity_Innermost_Rewriting/Rubio_04/prov.xml
|
?/n^1
1.3 /
0.6
(-)
|
?/n^1
0.3 /
0.2
(2)
|
?/n^1
5.5 /
9.9
(2)
|
_Complexity_Innermost_Rewriting/Rubio_04/quick.xml
|
.
637.0 /
298.5
(-)
|
.
573.9 /
296.5
(0)
|
.
672.5 /
300.0
(0)
|
plexity_Innermost_Rewriting/Rubio_04/quotminus.xml
|
.
609.9 /
298.7
(-)
|
.
34.1 /
16.9
(0)
|
.
315.1 /
300.0
(0)
|
omplexity_Innermost_Rewriting/Rubio_04/revlist.xml
|
.
684.9 /
299.7
(-)
|
.
494.9 /
296.3
(0)
|
.
556.0 /
300.0
(0)
|
omplexity_Innermost_Rewriting/Rubio_04/selsort.xml
|
.
585.9 /
299.0
(-)
|
.
588.2 /
296.4
(0)
|
.
445.4 /
300.0
(0)
|
_Complexity_Innermost_Rewriting/Rubio_04/test4.xml
|
?/n^1
0.3 /
0.3
(-)
|
?/n^1
0.1 /
0.2
(2)
|
?/n^3
9.0 /
5.9
(1)
|
omplexity_Innermost_Rewriting/Rubio_04/test829.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.7 /
1.1
(2)
|
?/n^1
3.2 /
2.3
(2)
|
_Complexity_Innermost_Rewriting/Rubio_04/wst99.xml
|
.
586.9 /
298.8
(-)
|
.
90.7 /
49.4
(0)
|
?/n^2
21.4 /
9.6
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.02.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.2 /
0.5
(2)
|
.
11.8 /
12.9
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.03.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.2 /
0.1
(2)
|
?/n^1
3.0 /
1.9
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.07.xml
|
?/n^2
10.8 /
6.3
(-)
|
?/n^1
5.7 /
2.2
(2)
|
?/n^1
12.4 /
7.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.09.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
2.5 /
3.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.11.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
2.5 /
2.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.12.xml
|
.
575.3 /
298.2
(-)
|
?/n^3
41.4 /
15.5
(2)
|
?/n^3
17.3 /
9.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.13.xml
|
?/n^1
6.9 /
7.3
(-)
|
?/n^1
1.9 /
2.1
(2)
|
?/n^1
2.8 /
2.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.14.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
1.1 /
1.9
(2)
|
?/n^1
4.7 /
3.6
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.15.xml
|
.
602.3 /
298.4
(-)
|
.
10.5 /
3.2
(0)
|
.
4.0 /
2.6
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.16.xml
|
?/n^2
24.8 /
11.2
(-)
|
?/n^2
8.8 /
2.9
(2)
|
?/n^2
7.8 /
3.5
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.17.xml
|
?/n^1
2.6 /
1.9
(-)
|
?/n^1
0.3 /
0.1
(2)
|
?/n^1
3.1 /
7.7
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.18.xml
|
?/n^2
3.3 /
2.0
(-)
|
?/n^2
3.2 /
1.3
(2)
|
?/n^2
4.3 /
3.4
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.19.xml
|
?/n^2
48.9 /
22.2
(-)
|
?/n^2
8.4 /
3.2
(2)
|
?/n^2
10.1 /
4.3
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.20.xml
|
?/n^1
1.7 /
1.3
(-)
|
?/n^1
0.3 /
0.2
(2)
|
?/n^3
3.0 /
4.7
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.21.xml
|
.
540.6 /
276.0
(-)
|
.
9.7 /
4.9
(0)
|
.
3.3 /
2.6
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.22.xml
|
?/n^2
1.5 /
0.8
(-)
|
?/n^2
3.1 /
1.6
(2)
|
?/n^2
5.5 /
3.3
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.23.xml
|
.
737.5 /
298.5
(-)
|
.
54.1 /
24.6
(0)
|
.
17.2 /
8.5
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.24.xml
|
.
165.1 /
89.4
(-)
|
.
7.9 /
3.3
(0)
|
.
3.3 /
7.4
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.25.xml
|
.
466.4 /
299.3
(-)
|
.
24.5 /
12.6
(0)
|
.
9.9 /
6.7
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.26.xml
|
.
822.6 /
298.7
(-)
|
.
190.9 /
109.9
(0)
|
.
362.1 /
172.1
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.27.xml
|
.
685.3 /
298.4
(-)
|
.
445.2 /
296.1
(0)
|
.
86.6 /
75.7
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.28.xml
|
.
423.0 /
298.5
(-)
|
.
12.9 /
6.3
(0)
|
.
5.2 /
4.7
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.29.xml
|
?/n^1
3.6 /
2.2
(-)
|
?/n^1
0.8 /
0.4
(2)
|
?/n^1
4.5 /
2.9
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.30.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^0
0.6 /
0.5
(2)
|
?/n^0
2.4 /
1.8
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.31.xml
|
?/n^1
0.6 /
0.5
(-)
|
?/n^1
0.6 /
0.4
(2)
|
?/n^1
5.3 /
6.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.36.xml
|
?/n^1
0.4 /
0.5
(-)
|
?/n^1
1.5 /
1.7
(2)
|
?/n^1
3.3 /
5.7
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.37.xml
|
?/n^1
0.5 /
0.4
(-)
|
?/n^1
0.0 /
0.0
(2)
|
?/n^1
2.6 /
2.4
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.38.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
4.7 /
2.8
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.39.xml
|
?/n^2
160.6 /
83.9
(-)
|
?/n^2
9.9 /
4.8
(2)
|
?/n^2
4.7 /
4.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.40.xml
|
?/n^1
0.3 /
0.2
(-)
|
?/n^1
0.4 /
0.2
(2)
|
?/n^1
9.3 /
6.9
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.41.xml
|
?/n^1
0.3 /
0.4
(-)
|
?/n^1
0.5 /
0.4
(2)
|
?/n^1
5.2 /
6.2
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.42.xml
|
?/n^1
0.4 /
0.3
(-)
|
?/n^1
0.2 /
0.2
(2)
|
?/n^2
18.2 /
10.3
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.43.xml
|
.
387.5 /
299.4
(-)
|
.
459.5 /
225.4
(0)
|
.
43.0 /
26.4
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.44.xml
|
?/n^1
0.8 /
0.6
(-)
|
?/n^1
1.0 /
1.1
(2)
|
?/n^1
5.4 /
4.5
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.45.xml
|
?/n^1
0.6 /
0.3
(-)
|
?/n^1
0.9 /
1.1
(2)
|
?/n^1
5.3 /
3.1
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.47.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.2 /
0.2
(2)
|
?/n^1
2.5 /
7.3
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.48.xml
|
?/n^1
0.6 /
0.7
(-)
|
?/n^0
0.8 /
1.5
(2)
|
?/n^3
2.5 /
2.3
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.49.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^0
0.4 /
0.3
(2)
|
?/n^1
4.7 /
2.7
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.50.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.2 /
0.3
(2)
|
?/n^1
2.4 /
2.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.51.xml
|
.
550.6 /
298.7
(-)
|
.
56.0 /
20.8
(0)
|
.
8.8 /
8.3
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.52.xml
|
.
706.0 /
298.9
(-)
|
.
132.6 /
63.0
(0)
|
.
282.6 /
300.0
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.53.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^3
2.8 /
1.8
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.54.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.4 /
1.0
(2)
|
?/n^1
2.4 /
1.9
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.55.xml
|
?/n^1
0.4 /
0.3
(-)
|
?/n^1
0.2 /
0.1
(2)
|
?/n^1
2.4 /
1.9
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.59.xml
|
?/n^1
0.4 /
0.4
(-)
|
?/n^1
0.2 /
0.2
(2)
|
?/n^2
2.5 /
2.6
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/2.61.xml
|
?/n^1
45.4 /
44.1
(-)
|
?/n^1
1.1 /
0.6
(2)
|
?/n^2
19.8 /
22.3
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.05.xml
|
?/n^2
3.4 /
2.2
(-)
|
?/n^2
1.2 /
0.6
(2)
|
?/n^3
3.0 /
2.7
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.06.xml
|
.
556.4 /
298.5
(-)
|
.
27.1 /
16.7
(0)
|
.
8.9 /
5.8
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.07.xml
|
?/n^1
1.1 /
0.6
(-)
|
?/n^0
1.2 /
1.4
(2)
|
?/n^1
3.7 /
2.2
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.09.xml
|
?/n^2
28.5 /
19.3
(-)
|
?/n^0
0.5 /
0.5
(2)
|
?/n^2
13.7 /
7.6
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.10.xml
|
?/n^2
2.5 /
1.0
(-)
|
?/n^2
7.7 /
3.1
(2)
|
?/n^2
2.9 /
3.3
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.12.xml
|
?/n^1
11.1 /
10.2
(-)
|
?/n^1
0.7 /
0.4
(2)
|
?/n^1
3.8 /
2.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.13.xml
|
?/n^4
133.2 /
60.4
(-)
|
?/n^3
7.1 /
3.1
(2)
|
.
7.2 /
4.7
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.16.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.3 /
0.1
(2)
|
?/n^1
3.5 /
4.4
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.17.xml
|
?/n^3
56.1 /
23.1
(-)
|
?/n^3
20.0 /
8.6
(2)
|
.
165.2 /
161.2
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.18.xml
|
?/n^1
2.5 /
1.9
(-)
|
?/n^0
0.2 /
0.2
(2)
|
?/n^2
3.3 /
5.8
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.22.xml
|
.
584.3 /
298.4
(-)
|
.
100.3 /
116.8
(0)
|
.
12.0 /
5.5
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.24.xml
|
.
384.3 /
298.4
(-)
|
.
605.6 /
296.2
(0)
|
.
593.4 /
300.0
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.25.xml
|
?/n^1
5.9 /
6.1
(-)
|
?/n^1
1.0 /
0.7
(2)
|
?/n^2
3.1 /
2.6
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.26.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.4 /
0.4
(2)
|
?/n^2
15.6 /
15.4
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.27.xml
|
.
754.0 /
298.5
(-)
|
.
371.4 /
296.6
(0)
|
.
463.2 /
300.0
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.28.xml
|
?/n^1
9.9 /
5.9
(-)
|
?/n^1
3.5 /
4.0
(2)
|
?/n^1
6.4 /
4.4
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.29.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
2.1 /
2.3
(2)
|
?/n^1
3.3 /
2.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.30.xml
|
?/n^1
0.3 /
0.2
(-)
|
?/n^1
0.3 /
0.2
(2)
|
?/n^2
8.3 /
3.7
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.31.xml
|
.
442.1 /
298.5
(-)
|
.
39.8 /
22.3
(0)
|
.
6.6 /
2.8
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.34.xml
|
.
628.8 /
298.3
(-)
|
.
39.6 /
20.3
(0)
|
.
6.5 /
8.5
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.35.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^0
0.3 /
0.9
(2)
|
?/n^2
2.5 /
1.8
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.38.xml
|
?/n^1
0.3 /
0.3
(-)
|
?/n^1
0.3 /
0.2
(2)
|
?/n^1
2.9 /
2.0
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.42.xml
|
.
667.2 /
300.0
(-)
|
.
50.1 /
28.4
(0)
|
.
10.6 /
6.1
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.43.xml
|
.
663.3 /
298.4
(-)
|
.
119.8 /
83.1
(0)
|
.
23.6 /
13.9
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.45.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
2.5 /
2.5
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.47.xml
|
?/n^1
4.8 /
6.1
(-)
|
?/n^0
0.3 /
0.2
(2)
|
?/n^1
4.5 /
4.2
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.48.xml
|
?/n^1
3.4 /
2.6
(-)
|
?/n^0
0.1 /
0.1
(2)
|
?/n^1
3.6 /
2.1
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.51.xml
|
?/n^2
2.7 /
1.3
(-)
|
?/n^1
1.3 /
0.9
(2)
|
?/n^2
3.9 /
2.0
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.53.xml
|
?/n^2
38.5 /
21.8
(-)
|
?/n^1
3.6 /
1.7
(2)
|
?/n^1
6.5 /
2.9
(2)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.54.xml
|
.
594.9 /
298.7
(-)
|
.
26.4 /
12.0
(0)
|
.
6.5 /
3.5
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.57.xml
|
.
343.0 /
298.4
(-)
|
?/n^0
3.8 /
1.5
(2)
|
?/n^1
9.7 /
6.6
(1)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.59.xml
|
.
680.2 /
298.3
(-)
|
.
128.3 /
55.2
(0)
|
.
11.3 /
5.0
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.60.xml
|
.
819.9 /
298.6
(-)
|
.
620.2 /
296.2
(0)
|
.
298.7 /
300.0
(0)
|
ntime_Complexity_Innermost_Rewriting/SK90/4.61.xml
|
.
488.6 /
299.1
(-)
|
.
661.1 /
296.3
(0)
|
.
595.8 /
300.0
(0)
|
xity_Innermost_Rewriting/Secret_05_TRS/aprove2.xml
|
.
860.6 /
299.2
(-)
|
.
86.8 /
51.4
(0)
|
.
23.8 /
9.6
(0)
|
xity_Innermost_Rewriting/Secret_05_TRS/aprove3.xml
|
.
586.0 /
298.6
(-)
|
.
57.5 /
22.2
(0)
|
.
104.7 /
92.8
(0)
|
xity_Innermost_Rewriting/Secret_05_TRS/aprove4.xml
|
.
574.1 /
299.1
(-)
|
.
39.1 /
15.3
(0)
|
.
14.0 /
5.9
(0)
|
xity_Innermost_Rewriting/Secret_05_TRS/aprove5.xml
|
.
697.4 /
298.7
(-)
|
.
98.6 /
60.7
(0)
|
.
280.1 /
164.9
(0)
|
lexity_Innermost_Rewriting/Secret_05_TRS/cime2.xml
|
?/n^2
26.8 /
16.8
(-)
|
?/n^1
13.5 /
9.6
(2)
|
.
20.4 /
9.3
(0)
|
lexity_Innermost_Rewriting/Secret_05_TRS/cime3.xml
|
.
640.6 /
299.5
(-)
|
.
149.4 /
66.8
(0)
|
.
55.5 /
39.2
(0)
|
lexity_Innermost_Rewriting/Secret_05_TRS/cime4.xml
|
?/n^1
2.0 /
0.9
(-)
|
?/n^0
1.3 /
0.7
(2)
|
.
5.5 /
4.2
(0)
|
lexity_Innermost_Rewriting/Secret_05_TRS/cime5.xml
|
.
667.2 /
298.3
(-)
|
.
748.1 /
296.2
(0)
|
.
497.5 /
300.1
(0)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa1.xml
|
.
558.4 /
298.3
(-)
|
.
610.8 /
296.4
(0)
|
.
548.0 /
300.0
(0)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa2.xml
|
.
466.3 /
298.2
(-)
|
.
472.6 /
296.4
(0)
|
.
437.3 /
300.0
(0)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa3.xml
|
.
504.6 /
299.8
(-)
|
.
358.2 /
151.8
(0)
|
.
595.3 /
300.0
(0)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa4.xml
|
.
391.0 /
298.6
(-)
|
.
644.8 /
296.3
(0)
|
.
615.1 /
300.1
(0)
|
plexity_Innermost_Rewriting/Secret_05_TRS/tpa5.xml
|
.
333.5 /
300.0
(-)
|
.
603.1 /
296.3
(0)
|
.
634.7 /
300.1
(0)
|
plexity_Innermost_Rewriting/Secret_05_TRS/ttt1.xml
|
.
601.7 /
299.1
(-)
|
?/n^0
1.1 /
0.5
(2)
|
.
22.3 /
31.0
(0)
|
plexity_Innermost_Rewriting/Secret_05_TRS/ttt2.xml
|
.
648.4 /
298.7
(-)
|
.
45.0 /
25.1
(0)
|
.
6.5 /
5.7
(0)
|
omplexity_Innermost_Rewriting/Secret_06_TRS/10.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^3
54.0 /
35.4
(1)
|
Complexity_Innermost_Rewriting/Secret_06_TRS/4.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
.
15.0 /
8.9
(0)
|
Complexity_Innermost_Rewriting/Secret_06_TRS/6.xml
|
?/n^1
0.3 /
0.1
(-)
|
?/n^0
0.2 /
0.1
(2)
|
.
19.2 /
16.3
(0)
|
xity_Innermost_Rewriting/Secret_06_TRS/addList.xml
|
.
655.3 /
298.5
(-)
|
.
704.9 /
296.2
(0)
|
.
562.7 /
300.1
(0)
|
exity_Innermost_Rewriting/Secret_06_TRS/divExp.xml
|
.
540.6 /
299.0
(-)
|
.
847.3 /
296.4
(0)
|
.
358.5 /
300.0
(0)
|
ity_Innermost_Rewriting/Secret_06_TRS/division.xml
|
.
701.5 /
298.4
(-)
|
.
121.7 /
69.2
(0)
|
.
37.5 /
49.4
(0)
|
exity_Innermost_Rewriting/Secret_06_TRS/double.xml
|
.
629.4 /
298.4
(-)
|
.
70.7 /
37.0
(0)
|
.
25.7 /
11.1
(0)
|
lexity_Innermost_Rewriting/Secret_06_TRS/gen-1.xml
|
?/n^1
0.1 /
0.2
(-)
|
?/n^0
0.1 /
0.1
(2)
|
.
5.4 /
3.3
(0)
|
exity_Innermost_Rewriting/Secret_06_TRS/gen-17.xml
|
.
381.9 /
300.0
(-)
|
?/n^0
1.0 /
0.7
(2)
|
?/n^2
25.8 /
13.8
(1)
|
exity_Innermost_Rewriting/Secret_06_TRS/gen-28.xml
|
.
722.8 /
300.0
(-)
|
.
46.6 /
25.6
(0)
|
.
84.3 /
75.6
(0)
|
ty_Innermost_Rewriting/Secret_06_TRS/logarithm.xml
|
.
690.7 /
298.4
(-)
|
.
651.2 /
296.3
(0)
|
.
365.1 /
300.0
(0)
|
ty_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.xml
|
.
601.3 /
298.7
(-)
|
.
256.9 /
118.3
(0)
|
.
305.2 /
225.7
(0)
|
xity_Innermost_Rewriting/Secret_06_TRS/reverse.xml
|
.
825.8 /
298.5
(-)
|
.
329.6 /
254.9
(0)
|
.
205.2 /
158.0
(0)
|
xity_Innermost_Rewriting/Secret_06_TRS/sumList.xml
|
.
586.9 /
300.0
(-)
|
.
201.0 /
129.3
(0)
|
.
275.2 /
143.8
(0)
|
lexity_Innermost_Rewriting/Secret_06_TRS/times.xml
|
.
609.4 /
298.6
(-)
|
.
68.6 /
44.2
(0)
|
.
168.9 /
130.5
(0)
|
exity_Innermost_Rewriting/Secret_06_TRS/toList.xml
|
.
687.5 /
299.3
(-)
|
.
411.2 /
199.8
(0)
|
.
584.8 /
300.1
(0)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa04.xml
|
.
532.3 /
300.0
(-)
|
.
668.9 /
296.2
(0)
|
.
475.1 /
300.0
(0)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa05.xml
|
.
556.9 /
300.0
(-)
|
.
555.5 /
296.3
(0)
|
.
668.0 /
300.1
(0)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa06.xml
|
.
344.3 /
298.6
(-)
|
.
638.5 /
296.1
(0)
|
.
833.6 /
300.0
(0)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa07.xml
|
.
439.2 /
298.5
(-)
|
.
540.6 /
296.5
(0)
|
.
616.0 /
300.0
(0)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa08.xml
|
.
529.7 /
299.1
(-)
|
.
594.2 /
296.2
(0)
|
.
804.0 /
300.1
(0)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa09.xml
|
.
483.5 /
300.0
(-)
|
.
862.3 /
296.2
(0)
|
.
656.6 /
300.0
(0)
|
lexity_Innermost_Rewriting/Secret_06_TRS/tpa10.xml
|
.
496.1 /
298.5
(-)
|
.
636.9 /
296.1
(0)
|
.
663.5 /
300.0
(0)
|
Complexity_Innermost_Rewriting/Secret_07_TRS/3.xml
|
.
520.1 /
298.6
(-)
|
?/n^2
85.1 /
37.8
(2)
|
.
581.3 /
300.0
(0)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove01.xml
|
.
726.8 /
298.7
(-)
|
.
218.7 /
147.0
(0)
|
.
247.0 /
218.6
(0)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove02.xml
|
.
414.0 /
298.7
(-)
|
.
123.3 /
102.9
(0)
|
.
38.5 /
31.7
(0)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove03.xml
|
.
521.6 /
298.4
(-)
|
.
684.0 /
296.2
(0)
|
.
418.2 /
300.0
(0)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove04.xml
|
.
634.4 /
298.7
(-)
|
.
679.0 /
296.2
(0)
|
.
817.1 /
300.0
(0)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove05.xml
|
.
724.1 /
298.6
(-)
|
.
161.1 /
85.8
(0)
|
.
42.9 /
21.1
(0)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove06.xml
|
.
687.7 /
298.5
(-)
|
.
239.8 /
296.2
(0)
|
.
390.2 /
300.1
(0)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove07.xml
|
.
764.4 /
299.5
(-)
|
.
146.3 /
81.0
(0)
|
.
46.3 /
31.2
(0)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove08.xml
|
.
625.7 /
298.4
(-)
|
.
217.7 /
122.3
(0)
|
.
236.0 /
165.6
(0)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove09.xml
|
.
471.5 /
300.0
(-)
|
.
219.2 /
244.3
(0)
|
.
85.2 /
56.2
(0)
|
ity_Innermost_Rewriting/Secret_07_TRS/aprove10.xml
|
.
557.9 /
298.3
(-)
|
.
655.9 /
296.3
(0)
|
.
611.2 /
300.0
(0)
|
xity_Innermost_Rewriting/Secret_07_TRS/secret1.xml
|
.
658.4 /
299.6
(-)
|
.
435.5 /
296.1
(0)
|
.
307.7 /
300.0
(0)
|
xity_Innermost_Rewriting/Secret_07_TRS/secret3.xml
|
.
786.3 /
298.4
(-)
|
.
92.3 /
39.3
(0)
|
.
33.0 /
19.8
(0)
|
xity_Innermost_Rewriting/Secret_07_TRS/secret4.xml
|
.
514.1 /
299.9
(-)
|
.
598.9 /
296.2
(0)
|
.
344.5 /
300.0
(0)
|
xity_Innermost_Rewriting/Secret_07_TRS/secret5.xml
|
?/n^1
1.3 /
0.8
(-)
|
?/n^1
5.2 /
6.0
(2)
|
.
52.8 /
40.3
(0)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.14.xml
|
?/n^1
6.7 /
3.2
(-)
|
?/n^1
0.4 /
0.4
(2)
|
.
3.8 /
2.4
(0)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.16.xml
|
.
552.7 /
298.8
(-)
|
?/n^1
0.2 /
0.2
(2)
|
.
3.8 /
2.8
(0)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.17.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.0 /
0.0
(2)
|
?/n^1
72.2 /
46.7
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.19.xml
|
.
755.7 /
298.5
(-)
|
.
24.2 /
11.4
(0)
|
.
13.7 /
17.9
(0)
|
Innermost_Rewriting/Strategy_removed_AG01/#4.2.xml
|
?/n^1
7.9 /
5.8
(-)
|
?/n^1
1.3 /
2.3
(2)
|
.
4.6 /
6.8
(0)
|
nermost_Rewriting/Strategy_removed_AG01/#4.20a.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^2
7.2 /
6.1
(1)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.22.xml
|
.
503.2 /
298.4
(-)
|
.
22.3 /
10.2
(0)
|
.
4.4 /
2.4
(0)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.23.xml
|
.
743.6 /
298.6
(-)
|
.
42.3 /
23.6
(0)
|
.
50.8 /
54.9
(0)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.25.xml
|
.
821.0 /
298.7
(-)
|
.
4.6 /
3.0
(0)
|
.
3.4 /
2.3
(0)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.26.xml
|
.
553.1 /
299.5
(-)
|
.
32.6 /
15.3
(0)
|
.
9.6 /
11.8
(0)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.27.xml
|
.
477.1 /
298.9
(-)
|
.
540.1 /
296.3
(0)
|
.
574.4 /
300.1
(0)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.28.xml
|
?/n^2
56.1 /
29.4
(-)
|
?/n^2
17.0 /
6.8
(2)
|
?/n^3
15.2 /
7.1
(1)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.29.xml
|
.
710.3 /
300.1
(-)
|
.
401.7 /
296.2
(0)
|
.
568.0 /
300.0
(0)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.30.xml
|
.
580.1 /
298.3
(-)
|
.
80.8 /
55.5
(0)
|
.
29.1 /
17.2
(0)
|
nermost_Rewriting/Strategy_removed_AG01/#4.30a.xml
|
.
598.0 /
300.0
(-)
|
.
47.9 /
26.8
(0)
|
.
31.4 /
26.9
(0)
|
nermost_Rewriting/Strategy_removed_AG01/#4.30b.xml
|
.
685.1 /
298.3
(-)
|
.
634.4 /
296.1
(0)
|
.
87.8 /
65.1
(0)
|
nermost_Rewriting/Strategy_removed_AG01/#4.30c.xml
|
.
733.0 /
298.3
(-)
|
.
329.7 /
170.3
(0)
|
.
40.8 /
30.1
(0)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.32.xml
|
?/n^2
115.0 /
93.8
(-)
|
?/n^2
5.7 /
3.0
(2)
|
?/n^2
9.1 /
6.1
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.33.xml
|
.
765.1 /
299.3
(-)
|
.
566.5 /
296.3
(0)
|
.
321.1 /
300.0
(0)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.34.xml
|
?/n^2
8.6 /
4.9
(-)
|
?/n^2
4.0 /
1.8
(2)
|
?/n^2
23.4 /
10.6
(2)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.35.xml
|
.
756.3 /
300.0
(-)
|
.
883.4 /
296.2
(0)
|
.
392.3 /
300.1
(0)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.36.xml
|
.
648.3 /
298.6
(-)
|
.
656.6 /
296.2
(0)
|
.
370.3 /
300.0
(0)
|
nnermost_Rewriting/Strategy_removed_AG01/#4.37.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^2
3.1 /
2.0
(1)
|
nermost_Rewriting/Strategy_removed_AG01/#4.37a.xml
|
?/n^1
0.4 /
0.6
(-)
|
?/n^1
0.2 /
0.1
(2)
|
?/n^2
4.9 /
3.4
(1)
|
Innermost_Rewriting/Strategy_removed_AG01/#4.7.xml
|
?/n^1
0.5 /
0.3
(-)
|
?/n^0
0.2 /
0.1
(2)
|
?/n^1
2.6 /
4.2
(1)
|
_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml
|
.
129.9 /
57.6
(-)
|
.
9.8 /
8.3
(0)
|
.
3.0 /
2.2
(0)
|
t_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml
|
.
329.3 /
182.1
(-)
|
.
14.9 /
8.2
(0)
|
.
4.1 /
2.7
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml
|
.
371.0 /
298.8
(-)
|
.
88.3 /
38.7
(0)
|
.
12.8 /
6.7
(0)
|
Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml
|
.
226.3 /
144.0
(-)
|
.
6.2 /
3.1
(0)
|
.
3.2 /
2.4
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml
|
.
519.8 /
257.7
(-)
|
.
23.8 /
10.5
(0)
|
.
4.4 /
2.4
(0)
|
ost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml
|
.
680.8 /
298.6
(-)
|
.
200.1 /
94.5
(0)
|
.
183.7 /
154.9
(0)
|
t_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml
|
.
402.9 /
203.2
(-)
|
.
13.1 /
5.8
(0)
|
.
4.4 /
2.8
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml
|
.
29.6 /
14.5
(-)
|
.
86.9 /
45.1
(0)
|
.
3.6 /
2.4
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml
|
.
566.5 /
299.0
(-)
|
.
43.3 /
18.6
(0)
|
.
28.2 /
19.1
(0)
|
t_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml
|
.
413.6 /
226.8
(-)
|
.
12.8 /
10.1
(0)
|
.
3.6 /
2.0
(0)
|
ewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml
|
.
166.8 /
78.3
(-)
|
.
9.0 /
3.7
(0)
|
.
3.5 /
2.0
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml
|
.
569.8 /
298.3
(-)
|
.
18.2 /
8.2
(0)
|
.
4.6 /
2.8
(0)
|
writing/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml
|
.
640.6 /
298.4
(-)
|
.
35.1 /
31.7
(0)
|
.
258.7 /
252.8
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml
|
?/n^1
8.4 /
5.0
(-)
|
?/n^1
1.3 /
1.0
(2)
|
?/n^1
16.7 /
12.4
(2)
|
Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml
|
.
592.8 /
298.5
(-)
|
.
16.2 /
11.6
(0)
|
.
5.1 /
2.9
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml
|
.
785.6 /
298.7
(-)
|
.
47.5 /
32.7
(0)
|
.
381.1 /
300.0
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml
|
.
555.5 /
298.3
(-)
|
.
32.6 /
12.1
(0)
|
.
10.6 /
5.9
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml
|
.
474.3 /
298.5
(-)
|
.
7.9 /
3.9
(0)
|
.
3.5 /
3.3
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml
|
.
14.0 /
7.9
(-)
|
.
12.8 /
8.1
(0)
|
.
2.5 /
2.0
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml
|
.
693.5 /
298.8
(-)
|
.
25.5 /
9.0
(0)
|
.
5.7 /
2.8
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex5_7_Luc97.xml
|
.
560.9 /
298.5
(-)
|
.
39.9 /
15.2
(0)
|
.
7.9 /
4.0
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml
|
.
388.7 /
299.1
(-)
|
.
18.8 /
8.6
(0)
|
.
5.5 /
4.8
(0)
|
Rewriting/Strategy_removed_CSR_05/Ex6_15_AEL02.xml
|
.
632.8 /
298.3
(-)
|
.
43.4 /
19.5
(0)
|
.
17.3 /
10.3
(0)
|
Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml
|
.
506.2 /
298.0
(-)
|
.
27.2 /
13.9
(0)
|
.
3.5 /
2.6
(0)
|
ost_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml
|
.
469.3 /
261.2
(-)
|
.
17.2 /
8.1
(0)
|
.
5.1 /
3.5
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml
|
.
221.5 /
103.3
(-)
|
.
8.0 /
4.1
(0)
|
.
3.4 /
2.6
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml
|
.
430.6 /
258.7
(-)
|
.
20.9 /
10.7
(0)
|
.
3.9 /
2.2
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml
|
.
455.0 /
298.8
(-)
|
.
28.6 /
12.6
(0)
|
.
25.0 /
14.3
(0)
|
st_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml
|
.
712.8 /
298.4
(-)
|
.
52.0 /
28.1
(0)
|
.
17.2 /
10.9
(0)
|
ting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml
|
.
509.5 /
298.5
(-)
|
.
147.2 /
83.9
(0)
|
.
22.8 /
14.2
(0)
|
Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml
|
.
26.6 /
11.4
(-)
|
.
14.8 /
8.1
(0)
|
.
2.5 /
1.8
(0)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml
|
.
607.6 /
298.4
(-)
|
.
56.0 /
32.3
(0)
|
.
12.0 /
6.4
(0)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml
|
.
584.0 /
298.5
(-)
|
.
38.0 /
22.3
(0)
|
.
11.5 /
6.1
(0)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml
|
.
695.6 /
300.0
(-)
|
.
409.8 /
296.1
(0)
|
.
195.3 /
107.4
(0)
|
writing/Strategy_removed_CSR_05/ExIntrod_Zan97.xml
|
.
336.8 /
298.9
(-)
|
.
763.6 /
296.2
(0)
|
.
350.1 /
300.0
(0)
|
ing/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml
|
.
582.5 /
298.5
(-)
|
.
104.3 /
43.9
(0)
|
.
145.8 /
300.0
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex1.xml
|
.
717.4 /
298.4
(-)
|
.
14.8 /
8.0
(0)
|
.
3.8 /
2.1
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex2.xml
|
.
623.8 /
298.4
(-)
|
.
10.2 /
6.4
(0)
|
.
6.0 /
4.6
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex3.xml
|
.
666.5 /
298.2
(-)
|
.
15.1 /
8.3
(0)
|
.
4.6 /
3.6
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex4.xml
|
.
627.3 /
298.4
(-)
|
.
26.9 /
12.4
(0)
|
.
4.1 /
3.3
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex5.xml
|
.
604.7 /
298.3
(-)
|
.
17.6 /
8.0
(0)
|
.
3.6 /
3.0
(0)
|
ermost_Rewriting/Strategy_removed_mixed_05/ex6.xml
|
.
432.0 /
298.5
(-)
|
.
32.5 /
14.7
(0)
|
.
8.9 /
5.2
(0)
|
ost_Rewriting/Strategy_removed_mixed_05/muladd.xml
|
.
583.9 /
298.5
(-)
|
.
49.2 /
26.3
(0)
|
.
280.8 /
300.0
(0)
|
ost_Rewriting/Strategy_removed_mixed_05/test10.xml
|
.
548.8 /
298.2
(-)
|
.
18.3 /
9.3
(0)
|
.
5.0 /
3.6
(0)
|
ost_Rewriting/Strategy_removed_mixed_05/test76.xml
|
.
618.9 /
298.2
(-)
|
.
12.8 /
4.5
(0)
|
.
5.7 /
3.0
(0)
|
ost_Rewriting/Strategy_removed_mixed_05/test77.xml
|
.
635.7 /
298.5
(-)
|
.
14.9 /
6.7
(0)
|
.
6.1 /
3.4
(0)
|
st_Rewriting/Strategy_removed_mixed_05/test830.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
6.0 /
5.0
(2)
|
st_Rewriting/Strategy_removed_mixed_05/tricky1.xml
|
?/n^2
21.4 /
11.6
(-)
|
?/n^0
1.0 /
1.0
(2)
|
?/n^2
17.9 /
6.7
(1)
|
xity_Innermost_Rewriting/TCT_12/polycounter-10.xml
|
.
620.3 /
298.8
(-)
|
.
438.4 /
221.9
(0)
|
.
25.3 /
12.9
(0)
|
exity_Innermost_Rewriting/TCT_12/polycounter-5.xml
|
?/n^5
61.7 /
33.8
(-)
|
?/n^5
32.7 /
15.8
(2)
|
.
9.1 /
6.6
(0)
|
lexity_Innermost_Rewriting/TCT_12/recursion-10.xml
|
.
689.3 /
298.2
(-)
|
.
236.5 /
122.8
(0)
|
.
10.2 /
16.0
(0)
|
plexity_Innermost_Rewriting/TCT_12/recursion-5.xml
|
.
616.7 /
298.3
(-)
|
.
103.6 /
55.1
(0)
|
.
6.4 /
3.6
(0)
|
time_Complexity_Innermost_Rewriting/TCT_12/sat.xml
|
?/n^2
34.5 /
19.9
(-)
|
?/n^2
32.9 /
16.0
(2)
|
?/n^2
38.0 /
19.6
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C.xml
|
.
632.2 /
298.3
(-)
|
.
621.6 /
296.4
(0)
|
.
617.6 /
300.0
(0)
|
st_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml
|
.
675.7 /
298.7
(-)
|
.
58.8 /
37.2
(0)
|
.
26.3 /
18.4
(0)
|
st_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml
|
?/n^3
37.3 /
17.9
(-)
|
?/n^3
15.3 /
6.2
(2)
|
.
9.0 /
5.8
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml
|
.
13.2 /
5.4
(-)
|
.
9.9 /
8.5
(0)
|
.
2.7 /
1.9
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml
|
.
608.0 /
298.8
(-)
|
.
102.5 /
57.8
(0)
|
.
16.6 /
6.6
(0)
|
most_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml
|
.
889.9 /
300.0
(-)
|
.
349.9 /
296.1
(0)
|
.
538.3 /
300.0
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM.xml
|
.
659.9 /
298.3
(-)
|
.
170.9 /
91.2
(0)
|
.
17.5 /
9.3
(0)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.3 /
0.3
(2)
|
?/n^1
94.4 /
47.3
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.6 /
1.1
(2)
|
?/n^2
7.7 /
5.1
(1)
|
ost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.2 /
0.2
(2)
|
?/n^2
4.5 /
5.1
(1)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml
|
.
12.3 /
5.1
(-)
|
.
15.1 /
8.2
(0)
|
.
2.3 /
1.6
(0)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
1.1 /
1.7
(2)
|
?/n^1
3.8 /
2.7
(2)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml
|
.
734.7 /
298.4
(-)
|
.
640.1 /
296.4
(0)
|
.
726.8 /
300.0
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR.xml
|
.
547.6 /
298.5
(-)
|
.
42.7 /
41.2
(0)
|
.
21.6 /
14.0
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml
|
?/n^1
8.6 /
4.2
(-)
|
?/n^1
1.9 /
1.3
(2)
|
?/n^1
26.4 /
10.6
(2)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.3
(0)
|
.
0.3 /
0.3
(0)
|
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z.xml
|
.
317.4 /
159.3
(-)
|
.
26.1 /
9.6
(0)
|
.
7.6 /
3.9
(0)
|
most_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml
|
.
667.5 /
300.0
(-)
|
.
721.2 /
296.2
(0)
|
.
519.9 /
300.0
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml
|
.
697.7 /
300.1
(-)
|
.
11.5 /
5.6
(0)
|
.
5.6 /
5.2
(0)
|
most_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml
|
.
21.0 /
7.5
(-)
|
.
15.5 /
8.1
(0)
|
.
2.6 /
2.2
(0)
|
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml
|
?/n^1
0.9 /
1.5
(-)
|
?/n^1
0.4 /
0.2
(2)
|
?/n^1
64.5 /
49.2
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml
|
?/n^1
0.7 /
1.1
(-)
|
?/n^1
0.3 /
0.3
(2)
|
?/n^2
5.6 /
9.2
(1)
|
ost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml
|
?/n^1
0.2 /
0.6
(-)
|
?/n^1
0.3 /
0.2
(2)
|
?/n^2
5.1 /
3.4
(1)
|
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^0
0.2 /
0.8
(2)
|
?/n^3
2.9 /
3.0
(1)
|
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml
|
.
495.8 /
300.0
(-)
|
.
683.4 /
296.6
(0)
|
.
686.4 /
300.0
(0)
|
st_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR.xml
|
?/n^1
22.1 /
21.9
(-)
|
?/n^1
1.3 /
0.6
(2)
|
?/n^2
27.1 /
29.0
(1)
|
st_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml
|
.
629.1 /
298.8
(-)
|
.
750.4 /
296.1
(0)
|
.
296.8 /
300.1
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.4
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z.xml
|
?/n^2
5.2 /
2.4
(-)
|
?/n^2
11.5 /
4.2
(2)
|
?/n^2
20.9 /
14.8
(2)
|
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml
|
.
503.8 /
298.4
(-)
|
.
530.7 /
296.2
(0)
|
.
365.5 /
300.0
(0)
|
t_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml
|
?/n^1
1.8 /
1.5
(-)
|
?/n^1
0.6 /
0.5
(2)
|
?/n^1
4.2 /
2.8
(2)
|
t_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml
|
.
640.8 /
298.3
(-)
|
.
35.1 /
16.0
(0)
|
.
7.1 /
4.1
(0)
|
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.2
(0)
|
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml
|
?/n^1
0.9 /
0.5
(-)
|
?/n^0
3.1 /
3.5
(2)
|
?/n^2
4.4 /
8.3
(1)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml
|
.
618.6 /
298.5
(-)
|
.
659.5 /
296.2
(0)
|
.
586.7 /
300.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR.xml
|
.
452.4 /
300.0
(-)
|
.
503.5 /
296.2
(0)
|
.
296.4 /
300.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml
|
?/n^1
11.4 /
8.5
(-)
|
?/n^1
2.9 /
3.0
(2)
|
?/n^1
24.1 /
27.2
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml
|
.
25.0 /
15.9
(-)
|
.
15.1 /
8.3
(0)
|
.
3.2 /
3.1
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml
|
.
717.0 /
298.5
(-)
|
.
691.8 /
296.2
(0)
|
.
464.1 /
300.0
(0)
|
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_C.xml
|
.
506.7 /
300.1
(-)
|
.
582.9 /
296.6
(0)
|
.
527.9 /
300.0
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GM03_FR.xml
|
?/n^2
59.7 /
39.8
(-)
|
?/n^1
13.0 /
7.1
(2)
|
?/n^3
19.6 /
11.0
(1)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml
|
.
843.8 /
300.0
(-)
|
.
878.4 /
296.3
(0)
|
.
342.0 /
300.0
(0)
|
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.1 /
0.2
(0)
|
.
0.3 /
0.3
(0)
|
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_Z.xml
|
.
649.9 /
300.0
(-)
|
.
180.1 /
126.6
(0)
|
.
16.7 /
10.0
(0)
|
ermost_Rewriting/Transformed_CSR_04/Ex1_GM99_C.xml
|
.
579.9 /
298.3
(-)
|
.
328.1 /
296.1
(0)
|
.
489.9 /
300.0
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml
|
.
451.4 /
299.3
(-)
|
.
82.1 /
42.2
(0)
|
.
9.0 /
6.7
(0)
|
ermost_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml
|
.
29.1 /
19.3
(-)
|
.
12.2 /
8.1
(0)
|
.
2.6 /
2.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml
|
.
735.0 /
299.9
(-)
|
.
684.5 /
296.2
(0)
|
.
490.0 /
300.0
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR.xml
|
?/n^1
13.9 /
10.7
(-)
|
?/n^1
3.0 /
2.3
(2)
|
.
15.8 /
6.1
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml
|
.
396.7 /
298.9
(-)
|
.
208.7 /
124.8
(0)
|
.
18.2 /
12.9
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_L.xml
|
.
0.0 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.2
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml
|
?/n^1
25.1 /
17.9
(-)
|
?/n^1
2.8 /
1.5
(2)
|
?/n^2
6.2 /
3.7
(1)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml
|
?/n^1
1.2 /
0.8
(-)
|
?/n^1
2.4 /
1.8
(2)
|
.
769.5 /
300.0
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml
|
.
574.5 /
300.0
(-)
|
.
49.1 /
21.1
(0)
|
.
10.7 /
5.4
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml
|
.
796.6 /
298.9
(-)
|
.
273.7 /
296.0
(0)
|
.
15.1 /
6.9
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_L.xml
|
.
0.1 /
0.4
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.3
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml
|
.
203.8 /
112.8
(-)
|
.
24.8 /
10.8
(0)
|
.
19.1 /
15.7
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.4 /
0.3
(2)
|
?/n^1
68.1 /
47.1
(2)
|
most_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml
|
.
781.8 /
298.3
(-)
|
.
647.2 /
296.1
(0)
|
.
10.9 /
8.3
(0)
|
most_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.4 /
0.2
(2)
|
?/n^1
2.7 /
2.4
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml
|
.
12.3 /
9.9
(-)
|
.
13.5 /
8.2
(0)
|
.
2.6 /
1.9
(0)
|
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml
|
?/n^1
1.5 /
1.7
(-)
|
?/n^1
0.9 /
0.8
(2)
|
?/n^1
89.3 /
47.1
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.5 /
0.3
(2)
|
?/n^1
6.4 /
3.1
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml
|
?/n^1
0.4 /
0.3
(-)
|
?/n^1
0.3 /
0.3
(2)
|
?/n^1
4.7 /
2.9
(2)
|
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml
|
?/n^1
0.3 /
0.3
(-)
|
?/n^0
0.1 /
0.1
(2)
|
?/n^1
2.9 /
6.0
(1)
|
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml
|
.
717.0 /
299.0
(-)
|
.
565.8 /
296.3
(0)
|
.
360.1 /
300.1
(0)
|
most_Rewriting/Transformed_CSR_04/Ex24_GM04_FR.xml
|
.
535.3 /
298.9
(-)
|
.
12.7 /
6.7
(0)
|
.
6.6 /
5.1
(0)
|
most_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml
|
.
579.0 /
300.0
(-)
|
.
18.4 /
15.7
(0)
|
.
7.8 /
3.9
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml
|
.
22.1 /
15.9
(-)
|
.
10.6 /
8.2
(0)
|
.
2.6 /
4.8
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_Z.xml
|
.
626.4 /
299.7
(-)
|
.
12.1 /
5.2
(0)
|
.
6.1 /
3.2
(0)
|
most_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml
|
.
737.0 /
300.0
(-)
|
.
459.7 /
296.1
(0)
|
.
545.3 /
300.0
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml
|
.
613.9 /
298.4
(-)
|
.
70.3 /
49.6
(0)
|
.
16.7 /
10.7
(0)
|
most_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml
|
.
20.7 /
13.0
(-)
|
.
17.9 /
8.0
(0)
|
.
2.9 /
5.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
1.1 /
0.8
(2)
|
?/n^1
76.3 /
47.5
(2)
|
ost_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml
|
?/n^1
0.9 /
1.0
(-)
|
?/n^1
1.2 /
1.3
(2)
|
?/n^2
9.0 /
4.0
(1)
|
ost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
2.5 /
2.5
(2)
|
?/n^1
5.7 /
3.9
(2)
|
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml
|
?/n^1
0.8 /
1.4
(-)
|
?/n^0
0.6 /
0.5
(2)
|
?/n^1
5.2 /
2.4
(1)
|
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml
|
.
659.2 /
298.6
(-)
|
.
694.9 /
296.2
(0)
|
.
409.0 /
300.1
(0)
|
st_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR.xml
|
?/n^1
61.2 /
48.4
(-)
|
?/n^1
1.4 /
0.9
(2)
|
.
19.1 /
7.9
(0)
|
st_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml
|
?/n^2
78.6 /
43.6
(-)
|
?/n^2
118.2 /
60.7
(2)
|
.
35.7 /
24.8
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^0
0.2 /
0.2
(2)
|
?/n^1
2.8 /
2.0
(1)
|
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_Z.xml
|
?/n^1
5.7 /
3.5
(-)
|
?/n^0
3.6 /
4.2
(2)
|
.
7.7 /
6.8
(0)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml
|
.
677.1 /
298.8
(-)
|
.
546.1 /
296.5
(0)
|
.
536.0 /
300.0
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR.xml
|
?/n^1
4.7 /
3.0
(-)
|
?/n^1
2.7 /
1.9
(2)
|
.
44.5 /
34.2
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml
|
.
606.6 /
298.4
(-)
|
.
450.6 /
296.2
(0)
|
.
156.6 /
149.8
(0)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml
|
.
455.6 /
298.9
(-)
|
.
66.8 /
36.7
(0)
|
.
292.0 /
300.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml
|
.
634.0 /
298.4
(-)
|
.
86.8 /
42.8
(0)
|
.
266.7 /
300.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C.xml
|
.
634.7 /
298.7
(-)
|
.
630.5 /
296.2
(0)
|
.
599.4 /
300.1
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR.xml
|
?/n^3
81.0 /
31.5
(-)
|
?/n^3
50.7 /
26.7
(2)
|
.
16.6 /
16.1
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml
|
?/n^2
104.8 /
65.7
(-)
|
?/n^2
46.7 /
20.1
(2)
|
.
20.6 /
10.8
(0)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^0
0.2 /
0.2
(2)
|
?/n^2
3.5 /
2.5
(1)
|
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml
|
?/n^1
2.1 /
1.2
(-)
|
?/n^1
0.9 /
0.6
(2)
|
?/n^1
6.2 /
6.0
(2)
|
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml
|
.
602.3 /
298.3
(-)
|
.
573.9 /
296.2
(0)
|
.
408.5 /
300.0
(0)
|
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml
|
?/n^1
5.7 /
5.0
(-)
|
?/n^1
0.8 /
0.7
(2)
|
?/n^1
6.5 /
4.1
(2)
|
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml
|
.
748.6 /
299.8
(-)
|
.
115.7 /
78.7
(0)
|
.
15.0 /
10.0
(0)
|
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.2 /
0.3
(0)
|
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml
|
?/n^1
21.9 /
15.5
(-)
|
?/n^1
2.4 /
0.9
(2)
|
?/n^2
4.0 /
3.3
(1)
|
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml
|
.
699.7 /
298.7
(-)
|
.
739.7 /
296.6
(0)
|
.
617.5 /
300.0
(0)
|
st_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR.xml
|
.
491.3 /
299.0
(-)
|
.
76.0 /
70.3
(0)
|
.
18.4 /
10.7
(0)
|
st_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml
|
.
456.9 /
299.1
(-)
|
.
56.2 /
31.9
(0)
|
.
20.5 /
12.4
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_L.xml
|
.
0.1 /
0.2
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.8
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z.xml
|
.
294.9 /
117.7
(-)
|
.
39.1 /
20.7
(0)
|
.
6.3 /
3.0
(0)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml
|
.
507.2 /
298.9
(-)
|
.
613.2 /
296.4
(0)
|
.
642.2 /
300.1
(0)
|
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml
|
.
588.7 /
298.5
(-)
|
.
65.9 /
42.0
(0)
|
.
17.2 /
10.2
(0)
|
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml
|
?/n^2
23.4 /
10.4
(-)
|
?/n^2
60.2 /
24.5
(2)
|
.
41.1 /
29.4
(0)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml
|
?/n^1
0.4 /
0.5
(-)
|
?/n^0
1.0 /
1.2
(2)
|
?/n^1
2.7 /
2.3
(1)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml
|
.
407.1 /
299.0
(-)
|
.
31.5 /
25.2
(0)
|
.
7.3 /
11.3
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml
|
.
613.8 /
299.5
(-)
|
.
699.7 /
296.4
(0)
|
.
687.1 /
300.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex49_GM04_FR.xml
|
?/n^2
54.8 /
36.3
(-)
|
?/n^2
19.8 /
10.5
(2)
|
.
24.4 /
21.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml
|
?/n^2
24.1 /
12.1
(-)
|
?/n^2
47.8 /
17.0
(2)
|
?/n^2
149.1 /
136.0
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.5
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
2.6 /
1.3
(2)
|
?/n^1
14.2 /
16.5
(2)
|
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml
|
.
441.1 /
298.8
(-)
|
.
429.6 /
296.3
(0)
|
.
180.1 /
112.4
(0)
|
t_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml
|
?/n^1
0.3 /
0.4
(-)
|
?/n^1
0.2 /
0.2
(2)
|
.
6.4 /
3.0
(0)
|
t_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml
|
?/n^2
7.0 /
4.6
(-)
|
?/n^2
4.8 /
2.4
(2)
|
.
9.7 /
11.7
(0)
|
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.0 /
0.1
(2)
|
?/n^3
2.3 /
1.8
(1)
|
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml
|
.
582.0 /
298.8
(-)
|
.
22.0 /
7.9
(0)
|
.
7.7 /
3.5
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml
|
?/n^1
0.5 /
0.5
(-)
|
?/n^1
0.5 /
0.3
(2)
|
?/n^1
107.2 /
47.1
(2)
|
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.6 /
0.4
(2)
|
?/n^2
9.9 /
5.6
(1)
|
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.9 /
0.6
(2)
|
?/n^2
22.0 /
7.3
(1)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
4.6 /
2.5
(2)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.4 /
0.3
(2)
|
?/n^1
4.7 /
3.0
(2)
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml
|
.
496.2 /
298.6
(-)
|
.
623.7 /
296.6
(0)
|
.
609.6 /
300.1
(0)
|
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml
|
.
418.1 /
299.0
(-)
|
.
21.6 /
13.6
(0)
|
.
18.6 /
10.8
(0)
|
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml
|
.
584.5 /
298.6
(-)
|
.
468.5 /
296.4
(0)
|
.
339.8 /
300.0
(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
|
.
552.2 /
299.4
(-)
|
.
321.6 /
296.2
(0)
|
.
312.8 /
300.0
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml
|
.
603.0 /
298.5
(-)
|
.
752.6 /
296.2
(0)
|
.
761.7 /
300.0
(0)
|
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml
|
?/n^1
0.7 /
1.0
(-)
|
?/n^1
1.0 /
1.3
(2)
|
?/n^1
8.6 /
10.0
(2)
|
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml
|
.
668.2 /
298.2
(-)
|
.
56.5 /
34.6
(0)
|
.
15.1 /
8.2
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.2 /
0.3
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml
|
?/n^1
0.6 /
0.3
(-)
|
?/n^1
0.4 /
0.3
(2)
|
?/n^1
3.0 /
1.9
(2)
|
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml
|
?/n^1
0.3 /
0.4
(-)
|
?/n^1
0.4 /
0.4
(2)
|
?/n^1
90.7 /
48.0
(2)
|
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^0
0.3 /
0.7
(2)
|
?/n^1
2.5 /
1.8
(1)
|
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.4 /
0.3
(2)
|
.
5.3 /
3.2
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.2 /
0.3
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml
|
.
483.8 /
298.6
(-)
|
.
705.0 /
296.3
(0)
|
.
677.4 /
300.0
(0)
|
st_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR.xml
|
.
524.3 /
299.0
(-)
|
.
669.2 /
296.1
(0)
|
.
417.9 /
300.1
(0)
|
st_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml
|
.
545.4 /
298.6
(-)
|
.
622.3 /
296.3
(0)
|
.
391.7 /
300.0
(0)
|
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
|
.
594.2 /
298.3
(-)
|
.
592.0 /
296.1
(0)
|
.
639.7 /
300.1
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml
|
.
516.8 /
298.8
(-)
|
.
713.4 /
296.4
(0)
|
.
429.4 /
300.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml
|
.
625.9 /
298.3
(-)
|
.
69.8 /
52.6
(0)
|
.
11.1 /
11.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml
|
.
623.8 /
298.2
(-)
|
.
169.4 /
107.1
(0)
|
.
17.1 /
7.8
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.2 /
0.4
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml
|
.
864.8 /
298.3
(-)
|
.
348.1 /
296.1
(0)
|
.
307.9 /
300.0
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C.xml
|
.
735.8 /
298.5
(-)
|
.
674.3 /
296.3
(0)
|
.
475.4 /
300.1
(0)
|
st_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR.xml
|
.
623.1 /
298.3
(-)
|
.
95.3 /
115.5
(0)
|
.
32.3 /
22.4
(0)
|
st_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml
|
.
741.7 /
299.1
(-)
|
.
166.5 /
94.2
(0)
|
.
42.7 /
23.0
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_L.xml
|
.
0.2 /
0.1
(-)
|
.
0.1 /
0.1
(0)
|
.
0.3 /
0.2
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z.xml
|
.
581.3 /
298.3
(-)
|
.
65.3 /
56.1
(0)
|
.
16.2 /
14.7
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml
|
.
477.4 /
299.3
(-)
|
.
636.4 /
296.3
(0)
|
.
705.5 /
300.0
(0)
|
st_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR.xml
|
?/n^1
2.0 /
1.1
(-)
|
?/n^1
9.2 /
7.0
(2)
|
.
37.4 /
25.9
(0)
|
st_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml
|
.
646.9 /
298.7
(-)
|
.
193.5 /
134.5
(0)
|
.
29.8 /
28.3
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_L.xml
|
.
0.0 /
0.1
(-)
|
.
0.1 /
0.1
(0)
|
.
0.3 /
0.4
(0)
|
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_Z.xml
|
.
619.3 /
298.5
(-)
|
.
22.7 /
8.1
(0)
|
.
73.6 /
56.8
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml
|
?/n^1
1.3 /
0.8
(-)
|
?/n^1
16.3 /
6.5
(2)
|
?/n^1
85.6 /
47.2
(2)
|
most_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.2 /
0.3
(2)
|
?/n^2
8.2 /
4.9
(1)
|
most_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml
|
.
519.5 /
298.4
(-)
|
.
145.6 /
83.6
(0)
|
.
11.8 /
4.7
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
1.4
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml
|
?/n^1
0.7 /
0.7
(-)
|
?/n^1
0.3 /
0.2
(2)
|
?/n^1
3.2 /
3.7
(2)
|
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C.xml
|
.
456.3 /
300.0
(-)
|
.
618.1 /
296.8
(0)
|
.
759.6 /
300.1
(0)
|
t_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR.xml
|
.
603.3 /
298.6
(-)
|
.
119.9 /
101.3
(0)
|
.
171.4 /
144.0
(0)
|
t_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml
|
.
653.9 /
298.6
(-)
|
.
490.7 /
296.2
(0)
|
.
181.1 /
97.2
(0)
|
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.2
(0)
|
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z.xml
|
.
600.4 /
299.7
(-)
|
.
145.1 /
159.6
(0)
|
.
259.3 /
300.1
(0)
|
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C.xml
|
.
411.7 /
299.7
(-)
|
.
625.6 /
296.2
(0)
|
.
501.1 /
300.0
(0)
|
t_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml
|
?/n^1
35.2 /
25.9
(-)
|
?/n^1
7.9 /
3.3
(2)
|
?/n^1
5.7 /
2.5
(2)
|
t_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml
|
.
434.9 /
300.0
(-)
|
.
78.8 /
55.1
(0)
|
.
19.1 /
12.1
(0)
|
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_L.xml
|
.
0.1 /
0.4
(-)
|
.
0.1 /
0.2
(0)
|
.
0.2 /
0.4
(0)
|
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml
|
?/n^2
14.3 /
6.8
(-)
|
?/n^1
3.1 /
1.5
(2)
|
?/n^3
4.6 /
7.1
(1)
|
ermost_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml
|
?/n^1
0.3 /
0.6
(-)
|
?/n^1
0.6 /
0.4
(2)
|
?/n^3
66.2 /
35.1
(1)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml
|
.
685.3 /
299.6
(-)
|
.
413.2 /
296.2
(0)
|
.
5.1 /
2.6
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^0
0.7 /
0.7
(2)
|
?/n^2
3.8 /
9.0
(1)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_C.xml
|
.
632.0 /
300.0
(-)
|
.
623.0 /
296.3
(0)
|
.
595.0 /
300.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR.xml
|
?/n^1
0.8 /
0.5
(-)
|
?/n^1
1.1 /
0.8
(2)
|
.
9.7 /
8.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml
|
?/n^2
38.2 /
19.0
(-)
|
?/n^2
30.0 /
23.3
(2)
|
.
15.0 /
11.4
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml
|
?/n^1
0.3 /
0.3
(-)
|
?/n^0
0.3 /
0.3
(2)
|
?/n^1
2.6 /
1.8
(1)
|
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml
|
?/n^1
2.4 /
1.4
(-)
|
?/n^1
0.7 /
0.3
(2)
|
?/n^1
3.0 /
5.1
(2)
|
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_C.xml
|
.
665.0 /
298.4
(-)
|
.
600.0 /
296.3
(0)
|
.
725.1 /
300.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR.xml
|
?/n^1
19.5 /
6.7
(-)
|
?/n^1
9.6 /
5.5
(2)
|
.
15.8 /
7.7
(0)
|
most_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml
|
.
536.6 /
300.0
(-)
|
.
260.0 /
189.3
(0)
|
.
23.6 /
29.9
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.0
(0)
|
.
0.3 /
0.8
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml
|
?/n^1
35.9 /
22.5
(-)
|
?/n^1
8.3 /
4.4
(2)
|
?/n^2
9.8 /
9.6
(1)
|
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml
|
.
726.5 /
298.9
(-)
|
.
603.9 /
296.3
(0)
|
.
655.5 /
300.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml
|
.
588.7 /
298.7
(-)
|
.
59.7 /
31.9
(0)
|
.
23.2 /
15.7
(0)
|
most_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml
|
.
755.8 /
299.6
(-)
|
.
207.8 /
142.0
(0)
|
.
46.4 /
30.3
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.4
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml
|
.
445.1 /
298.7
(-)
|
.
53.2 /
23.9
(0)
|
.
196.2 /
206.6
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml
|
.
446.1 /
300.0
(-)
|
.
767.6 /
296.4
(0)
|
.
642.0 /
300.1
(0)
|
most_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR.xml
|
.
415.4 /
298.4
(-)
|
.
56.4 /
28.5
(0)
|
.
318.9 /
300.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml
|
?/n^2
220.3 /
184.4
(-)
|
?/n^2
71.8 /
38.2
(2)
|
.
63.4 /
52.3
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml
|
?/n^1
1.2 /
0.9
(-)
|
?/n^0
0.2 /
0.2
(2)
|
?/n^1
7.4 /
4.2
(1)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml
|
.
635.1 /
298.8
(-)
|
.
524.2 /
296.4
(0)
|
.
14.7 /
13.2
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml
|
.
694.3 /
298.7
(-)
|
.
276.7 /
296.2
(0)
|
.
450.4 /
300.0
(0)
|
most_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml
|
.
514.7 /
299.3
(-)
|
.
30.5 /
16.4
(0)
|
.
10.3 /
4.4
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml
|
.
89.7 /
46.4
(-)
|
.
4.1 /
4.7
(0)
|
.
2.5 /
2.6
(0)
|
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml
|
.
685.1 /
300.0
(-)
|
.
594.5 /
297.0
(0)
|
.
458.9 /
300.1
(0)
|
most_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml
|
.
797.8 /
298.8
(-)
|
.
729.3 /
296.4
(0)
|
.
190.6 /
188.5
(0)
|
most_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml
|
?/n^1
1.7 /
0.8
(-)
|
?/n^1
0.6 /
0.4
(2)
|
?/n^1
5.2 /
4.6
(2)
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_C.xml
|
.
594.5 /
300.0
(-)
|
.
752.6 /
296.2
(0)
|
.
712.0 /
300.0
(0)
|
riting/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml
|
?/n^1
22.0 /
16.1
(-)
|
?/n^1
1.8 /
1.0
(2)
|
?/n^2
21.1 /
13.1
(1)
|
riting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml
|
.
526.1 /
299.4
(-)
|
.
660.6 /
296.2
(0)
|
.
359.6 /
300.0
(0)
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.2
(0)
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml
|
?/n^2
298.4 /
138.4
(-)
|
?/n^2
90.7 /
63.4
(2)
|
?/n^2
57.5 /
23.9
(2)
|
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml
|
?/n^1
1.8 /
2.3
(-)
|
?/n^1
0.6 /
0.4
(2)
|
?/n^3
68.4 /
43.1
(1)
|
t_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.2 /
0.1
(2)
|
?/n^1
3.4 /
3.3
(2)
|
t_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.2 /
0.2
(2)
|
?/n^1
4.7 /
10.3
(2)
|
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml
|
.
52.8 /
30.6
(-)
|
.
15.8 /
8.1
(0)
|
.
2.7 /
3.2
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml
|
?/n^1
5.2 /
4.0
(-)
|
.
722.3 /
296.5
(0)
|
.
410.5 /
300.0
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml
|
.
688.8 /
298.8
(-)
|
.
192.5 /
158.5
(0)
|
.
27.4 /
19.6
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml
|
.
537.6 /
298.4
(-)
|
.
421.5 /
296.1
(0)
|
.
26.5 /
20.0
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_L.xml
|
.
0.2 /
0.5
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.3
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml
|
.
661.7 /
298.6
(-)
|
.
378.8 /
296.1
(0)
|
.
33.9 /
25.2
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml
|
?/n^1
1.0 /
0.5
(-)
|
?/n^1
2.7 /
1.1
(2)
|
.
786.7 /
300.1
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml
|
.
591.9 /
298.9
(-)
|
.
177.9 /
151.2
(0)
|
.
34.1 /
23.2
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml
|
?/n^3
182.3 /
90.1
(-)
|
?/n^3
107.9 /
35.3
(2)
|
.
15.2 /
7.9
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.3
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml
|
.
839.6 /
298.3
(-)
|
.
388.4 /
296.3
(0)
|
.
28.3 /
17.5
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C.xml
|
.
502.5 /
299.1
(-)
|
.
725.0 /
296.3
(0)
|
.
747.6 /
300.0
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR.xml
|
?/n^1
7.0 /
4.4
(-)
|
?/n^1
6.6 /
5.5
(2)
|
.
313.9 /
300.0
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml
|
.
634.3 /
299.2
(-)
|
.
303.4 /
168.6
(0)
|
.
73.5 /
45.6
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
1.7
(0)
|
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_Z.xml
|
?/n^1
1.0 /
0.5
(-)
|
?/n^0
1.4 /
0.6
(2)
|
?/n^1
21.4 /
15.5
(1)
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml
|
.
740.7 /
298.9
(-)
|
.
658.7 /
296.4
(0)
|
.
803.5 /
300.0
(0)
|
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR.xml
|
?/n^2
31.8 /
14.6
(-)
|
?/n^2
21.2 /
7.8
(2)
|
?/n^3
30.2 /
11.4
(1)
|
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml
|
.
385.8 /
299.1
(-)
|
.
618.2 /
296.2
(0)
|
.
253.3 /
300.0
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.4
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_Z.xml
|
.
852.5 /
298.5
(-)
|
.
34.4 /
22.5
(0)
|
.
29.3 /
17.1
(0)
|
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml
|
?/n^1
0.4 /
0.4
(-)
|
?/n^1
0.8 /
0.5
(2)
|
?/n^1
120.0 /
47.4
(2)
|
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.6 /
0.4
(2)
|
?/n^2
7.7 /
5.3
(1)
|
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml
|
?/n^5
444.5 /
173.8
(-)
|
.
587.5 /
296.0
(0)
|
.
22.3 /
14.6
(0)
|
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.1 /
0.1
(2)
|
?/n^1
54.2 /
47.0
(2)
|
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.4 /
0.3
(2)
|
?/n^1
48.8 /
47.0
(2)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml
|
.
715.2 /
298.6
(-)
|
.
639.8 /
296.2
(0)
|
.
817.1 /
300.1
(0)
|
writing/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml
|
?/n^1
34.4 /
34.8
(-)
|
?/n^1
2.1 /
2.8
(2)
|
.
60.1 /
63.2
(0)
|
writing/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml
|
.
599.6 /
298.5
(-)
|
.
451.4 /
296.2
(0)
|
.
143.4 /
112.7
(0)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml
|
.
427.1 /
300.1
(-)
|
.
72.9 /
36.3
(0)
|
.
195.2 /
300.1
(0)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml
|
.
559.1 /
300.0
(-)
|
.
96.3 /
47.9
(0)
|
.
262.4 /
300.0
(0)
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml
|
.
656.7 /
298.5
(-)
|
.
625.0 /
295.9
(0)
|
.
527.3 /
300.0
(0)
|
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml
|
?/n^1
52.9 /
28.2
(-)
|
?/n^1
17.2 /
7.0
(2)
|
?/n^1
20.2 /
11.3
(2)
|
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml
|
.
502.1 /
298.7
(-)
|
.
613.7 /
296.3
(0)
|
.
564.5 /
300.0
(0)
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.3
(0)
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml
|
?/n^1
92.2 /
47.5
(-)
|
?/n^1
49.0 /
36.8
(2)
|
?/n^1
17.7 /
6.2
(2)
|
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml
|
.
572.4 /
300.0
(-)
|
.
640.1 /
296.3
(0)
|
.
702.6 /
300.1
(0)
|
nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml
|
.
3.3 /
3.6
(-)
|
.
0.2 /
0.1
(0)
|
.
0.5 /
0.4
(0)
|
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml
|
.
642.8 /
299.9
(-)
|
.
842.9 /
296.2
(0)
|
.
760.7 /
300.1
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_C.xml
|
.
583.5 /
300.0
(-)
|
.
665.1 /
296.7
(0)
|
.
589.0 /
300.1
(0)
|
g/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml
|
.
586.9 /
298.4
(-)
|
.
686.7 /
296.3
(0)
|
.
727.5 /
300.0
(0)
|
g/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml
|
.
543.3 /
298.8
(-)
|
.
690.1 /
296.9
(0)
|
.
705.5 /
300.0
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_L.xml
|
.
0.3 /
0.3
(-)
|
.
0.0 /
0.2
(0)
|
.
0.4 /
0.3
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml
|
.
461.0 /
298.6
(-)
|
.
626.2 /
296.7
(0)
|
.
775.3 /
300.1
(0)
|
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml
|
.
558.9 /
300.0
(-)
|
.
768.4 /
298.3
(0)
|
.
677.3 /
300.0
(0)
|
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml
|
.
495.4 /
300.0
(-)
|
.
736.1 /
295.7
(0)
|
.
682.6 /
300.1
(0)
|
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml
|
.
655.6 /
298.9
(-)
|
.
552.7 /
296.2
(0)
|
.
706.8 /
300.1
(0)
|
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml
|
.
0.3 /
0.2
(-)
|
.
0.1 /
0.1
(0)
|
.
0.3 /
0.6
(0)
|
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml
|
.
493.0 /
300.0
(-)
|
.
759.0 /
296.2
(0)
|
.
885.1 /
300.0
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml
|
.
566.6 /
300.0
(-)
|
.
841.3 /
296.4
(0)
|
.
476.4 /
300.0
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml
|
.
480.4 /
298.9
(-)
|
.
418.1 /
296.6
(0)
|
.
566.9 /
300.1
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml
|
.
476.1 /
299.6
(-)
|
.
584.9 /
296.2
(0)
|
.
544.7 /
300.0
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml
|
.
0.5 /
0.4
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.4
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml
|
.
613.5 /
299.4
(-)
|
.
446.0 /
296.4
(0)
|
.
400.5 /
300.1
(0)
|
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml
|
.
418.3 /
300.0
(-)
|
.
614.6 /
297.1
(0)
|
.
419.1 /
300.0
(0)
|
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml
|
.
537.4 /
299.8
(-)
|
.
579.7 /
296.5
(0)
|
.
459.0 /
300.1
(0)
|
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml
|
.
509.2 /
298.5
(-)
|
.
606.9 /
296.2
(0)
|
.
347.3 /
300.0
(0)
|
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.4
(0)
|
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml
|
.
723.4 /
300.1
(-)
|
.
650.8 /
296.2
(0)
|
.
351.2 /
300.1
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml
|
.
668.7 /
298.9
(-)
|
.
564.3 /
296.3
(0)
|
.
548.9 /
300.0
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml
|
?/n^1
51.1 /
19.2
(-)
|
?/n^1
13.8 /
8.8
(2)
|
.
205.1 /
203.7
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml
|
.
571.1 /
299.5
(-)
|
.
398.8 /
296.4
(0)
|
.
606.9 /
300.0
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml
|
.
0.4 /
0.3
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.2
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml
|
?/n^1
107.4 /
42.7
(-)
|
?/n^1
30.9 /
14.7
(2)
|
?/n^1
25.8 /
12.9
(2)
|
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml
|
.
610.9 /
298.8
(-)
|
.
705.6 /
296.3
(0)
|
.
611.3 /
300.0
(0)
|
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml
|
.
565.9 /
299.9
(-)
|
.
644.3 /
296.5
(0)
|
.
349.8 /
300.0
(0)
|
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml
|
.
443.1 /
298.5
(-)
|
.
451.8 /
296.4
(0)
|
.
750.8 /
300.0
(0)
|
ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml
|
.
0.6 /
0.9
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
1.0
(0)
|
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml
|
.
597.2 /
298.8
(-)
|
.
657.2 /
296.2
(0)
|
.
667.1 /
300.1
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml
|
.
466.6 /
298.7
(-)
|
.
668.3 /
296.2
(0)
|
.
380.6 /
300.0
(0)
|
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml
|
.
481.9 /
298.8
(-)
|
.
617.3 /
296.4
(0)
|
.
476.8 /
300.1
(0)
|
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml
|
.
603.7 /
298.3
(-)
|
.
754.9 /
296.1
(0)
|
.
611.4 /
300.0
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml
|
.
0.0 /
0.1
(-)
|
.
0.0 /
0.1
(0)
|
.
0.3 /
0.4
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml
|
.
475.3 /
298.9
(-)
|
.
691.5 /
296.2
(0)
|
.
639.4 /
300.1
(0)
|
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml
|
.
476.8 /
299.4
(-)
|
.
672.6 /
297.3
(0)
|
.
455.3 /
300.0
(0)
|
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml
|
.
422.2 /
300.0
(-)
|
.
366.3 /
296.2
(0)
|
.
408.0 /
300.0
(0)
|
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml
|
.
555.7 /
298.3
(-)
|
.
537.3 /
296.5
(0)
|
.
606.4 /
300.1
(0)
|
med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.2
(0)
|
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml
|
.
574.8 /
298.9
(-)
|
.
576.7 /
296.9
(0)
|
.
633.8 /
300.0
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml
|
.
555.8 /
298.8
(-)
|
.
708.5 /
296.5
(0)
|
.
645.0 /
300.0
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml
|
.
663.3 /
298.7
(-)
|
.
490.1 /
296.1
(0)
|
.
234.4 /
300.1
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml
|
?/n^3
589.6 /
282.2
(-)
|
.
463.4 /
296.2
(0)
|
.
102.1 /
83.0
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.2 /
0.1
(0)
|
.
0.3 /
0.3
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml
|
.
719.2 /
299.1
(-)
|
.
525.0 /
296.1
(0)
|
.
222.0 /
300.1
(0)
|
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml
|
.
470.5 /
298.8
(-)
|
.
710.6 /
296.3
(0)
|
.
687.6 /
300.1
(0)
|
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml
|
.
435.3 /
299.5
(-)
|
?/n^4
487.9 /
214.2
(2)
|
.
236.7 /
210.9
(0)
|
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml
|
.
432.8 /
298.5
(-)
|
.
82.1 /
47.1
(0)
|
.
10.7 /
16.1
(0)
|
med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.2 /
0.2
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml
|
?/n^1
0.5 /
0.4
(-)
|
?/n^1
9.9 /
7.0
(2)
|
?/n^1
87.1 /
51.0
(2)
|
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml
|
.
821.0 /
298.5
(-)
|
.
651.4 /
296.3
(0)
|
.
27.4 /
27.8
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml
|
.
659.0 /
298.6
(-)
|
.
541.4 /
296.2
(0)
|
.
10.6 /
6.4
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.2
(0)
|
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml
|
?/n^1
0.4 /
0.2
(-)
|
?/n^1
5.8 /
2.7
(2)
|
?/n^1
114.6 /
48.1
(2)
|
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml
|
.
729.3 /
299.2
(-)
|
.
411.9 /
296.2
(0)
|
.
12.9 /
7.3
(0)
|
ing/Transformed_CSR_04/MYNAT_complete-noand_FR.xml
|
.
651.6 /
298.2
(-)
|
.
649.2 /
296.4
(0)
|
.
509.4 /
300.1
(0)
|
ting/Transformed_CSR_04/MYNAT_complete-noand_L.xml
|
.
1.0 /
1.2
(-)
|
.
0.1 /
0.0
(0)
|
.
0.3 /
0.6
(0)
|
ting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml
|
.
564.5 /
298.4
(-)
|
.
809.6 /
296.3
(0)
|
.
491.1 /
300.1
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_C.xml
|
.
488.2 /
299.2
(-)
|
.
719.4 /
296.3
(0)
|
.
331.5 /
300.0
(0)
|
Rewriting/Transformed_CSR_04/MYNAT_complete_FR.xml
|
.
456.0 /
300.0
(-)
|
.
410.6 /
296.5
(0)
|
.
780.3 /
300.0
(0)
|
Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml
|
.
547.4 /
298.8
(-)
|
.
502.5 /
297.0
(0)
|
.
633.3 /
300.0
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.1 /
0.1
(0)
|
.
0.3 /
0.5
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml
|
.
480.5 /
298.5
(-)
|
.
638.4 /
296.3
(0)
|
.
652.7 /
300.0
(0)
|
ting/Transformed_CSR_04/MYNAT_complete_noand_C.xml
|
.
555.5 /
300.0
(-)
|
.
667.7 /
295.6
(0)
|
.
419.0 /
300.0
(0)
|
ing/Transformed_CSR_04/MYNAT_complete_noand_GM.xml
|
.
564.2 /
298.9
(-)
|
.
929.1 /
296.3
(0)
|
.
620.4 /
300.0
(0)
|
ting/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml
|
.
833.8 /
298.5
(-)
|
.
675.0 /
296.1
(0)
|
.
613.2 /
300.1
(0)
|
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
17.2 /
9.7
(-)
|
?/n^1
7.5 /
8.2
(2)
|
.
551.8 /
300.0
(0)
|
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml
|
.
673.7 /
299.1
(-)
|
.
496.5 /
295.8
(0)
|
.
678.0 /
300.1
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR.xml
|
?/n^2
254.3 /
123.4
(-)
|
?/n^2
55.6 /
34.0
(2)
|
.
334.8 /
300.0
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml
|
.
534.5 /
298.6
(-)
|
.
608.4 /
296.6
(0)
|
.
310.3 /
300.0
(0)
|
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.6
(0)
|
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z.xml
|
?/n^1
14.1 /
10.7
(-)
|
?/n^1
3.4 /
2.3
(2)
|
.
338.6 /
300.0
(0)
|
iting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml
|
.
606.1 /
300.0
(-)
|
.
595.6 /
297.2
(0)
|
.
596.4 /
300.0
(0)
|
ting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml
|
.
632.3 /
298.6
(-)
|
.
834.7 /
296.2
(0)
|
.
371.7 /
300.0
(0)
|
ting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml
|
.
353.6 /
298.7
(-)
|
.
715.4 /
296.1
(0)
|
?/n^2
26.5 /
27.2
(2)
|
iting/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.1
(0)
|
.
0.3 /
0.5
(0)
|
t_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml
|
.
666.9 /
299.0
(-)
|
.
452.7 /
296.1
(0)
|
.
467.2 /
300.0
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml
|
?/n^2
9.2 /
5.7
(-)
|
?/n^2
6.3 /
2.1
(2)
|
?/n^2
5.8 /
2.8
(2)
|
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml
|
.
401.6 /
298.3
(-)
|
.
613.2 /
296.3
(0)
|
.
309.4 /
300.0
(0)
|
t_Rewriting/Transformed_CSR_04/MYNAT_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.2 /
0.4
(0)
|
iting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml
|
.
460.5 /
299.6
(-)
|
.
618.8 /
296.0
(0)
|
.
671.9 /
300.0
(0)
|
ting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml
|
.
565.8 /
298.7
(-)
|
.
701.0 /
296.2
(0)
|
.
314.2 /
300.1
(0)
|
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml
|
.
595.9 /
299.5
(-)
|
.
702.5 /
296.2
(0)
|
.
437.6 /
300.0
(0)
|
g/Transformed_CSR_04/OvConsOS_complete-noand_L.xml
|
.
0.3 /
0.2
(-)
|
.
0.0 /
0.0
(0)
|
.
0.4 /
0.8
(0)
|
g/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml
|
.
368.1 /
298.9
(-)
|
.
605.2 /
296.5
(0)
|
.
488.8 /
300.1
(0)
|
writing/Transformed_CSR_04/OvConsOS_complete_C.xml
|
.
581.6 /
300.0
(-)
|
.
656.2 /
297.3
(0)
|
.
366.4 /
300.1
(0)
|
riting/Transformed_CSR_04/OvConsOS_complete_FR.xml
|
.
541.5 /
299.2
(-)
|
.
723.2 /
296.2
(0)
|
.
459.0 /
300.1
(0)
|
riting/Transformed_CSR_04/OvConsOS_complete_GM.xml
|
.
569.9 /
299.0
(-)
|
.
733.1 /
296.4
(0)
|
.
324.8 /
300.1
(0)
|
writing/Transformed_CSR_04/OvConsOS_complete_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.1
(0)
|
.
0.3 /
1.6
(0)
|
writing/Transformed_CSR_04/OvConsOS_complete_Z.xml
|
.
516.9 /
299.6
(-)
|
.
526.3 /
296.4
(0)
|
.
421.4 /
300.0
(0)
|
g/Transformed_CSR_04/OvConsOS_complete_noand_C.xml
|
.
595.7 /
299.4
(-)
|
.
840.8 /
296.2
(0)
|
.
399.6 /
300.0
(0)
|
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml
|
.
340.0 /
298.3
(-)
|
.
639.5 /
296.1
(0)
|
.
521.6 /
300.1
(0)
|
g/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml
|
.
885.9 /
299.3
(-)
|
.
512.6 /
296.1
(0)
|
.
480.6 /
300.1
(0)
|
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.5
(0)
|
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml
|
.
504.8 /
298.9
(-)
|
.
540.2 /
296.1
(0)
|
.
452.6 /
300.0
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_C.xml
|
.
525.2 /
298.6
(-)
|
.
616.2 /
296.5
(0)
|
.
664.7 /
300.0
(0)
|
writing/Transformed_CSR_04/OvConsOS_nokinds_FR.xml
|
.
628.3 /
298.7
(-)
|
.
698.1 /
296.1
(0)
|
.
395.7 /
300.0
(0)
|
writing/Transformed_CSR_04/OvConsOS_nokinds_GM.xml
|
.
647.4 /
298.4
(-)
|
.
790.6 /
296.4
(0)
|
.
265.0 /
300.1
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.6
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml
|
.
373.9 /
298.8
(-)
|
.
474.9 /
296.3
(0)
|
.
226.1 /
300.1
(0)
|
ng/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml
|
.
725.0 /
299.0
(-)
|
.
636.0 /
297.5
(0)
|
.
433.2 /
300.1
(0)
|
g/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml
|
.
196.1 /
298.4
(-)
|
.
668.4 /
296.3
(0)
|
.
554.2 /
300.0
(0)
|
g/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml
|
.
641.6 /
298.5
(-)
|
.
201.9 /
119.0
(0)
|
.
35.6 /
24.9
(0)
|
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.1
(0)
|
.
0.3 /
0.9
(0)
|
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml
|
.
653.5 /
300.0
(-)
|
.
163.3 /
91.2
(0)
|
.
30.6 /
20.1
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml
|
?/n^1
3.7 /
3.0
(-)
|
?/n^1
11.3 /
7.5
(2)
|
?/n^1
100.5 /
48.8
(2)
|
writing/Transformed_CSR_04/OvConsOS_nosorts_FR.xml
|
.
628.3 /
298.9
(-)
|
.
227.7 /
113.1
(0)
|
.
34.3 /
28.2
(0)
|
writing/Transformed_CSR_04/OvConsOS_nosorts_GM.xml
|
.
674.4 /
298.2
(-)
|
.
522.6 /
296.1
(0)
|
.
14.8 /
8.8
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.2 /
0.2
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml
|
.
571.1 /
300.0
(-)
|
.
407.7 /
296.2
(0)
|
.
41.9 /
38.1
(0)
|
ng/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml
|
.
430.5 /
298.5
(-)
|
.
833.0 /
296.4
(0)
|
?/n^1
124.0 /
62.9
(2)
|
g/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml
|
.
542.7 /
299.1
(-)
|
.
550.3 /
296.4
(0)
|
.
44.0 /
29.3
(0)
|
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml
|
.
642.1 /
298.3
(-)
|
.
741.0 /
296.5
(0)
|
.
593.4 /
300.0
(0)
|
Transformed_CSR_04/PALINDROME_complete-noand_L.xml
|
.
701.7 /
298.7
(-)
|
.
642.9 /
296.1
(0)
|
.
604.5 /
300.1
(0)
|
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml
|
.
567.5 /
298.4
(-)
|
.
698.4 /
296.1
(0)
|
.
636.2 /
300.0
(0)
|
iting/Transformed_CSR_04/PALINDROME_complete_C.xml
|
.
645.9 /
299.5
(-)
|
.
712.8 /
296.4
(0)
|
.
436.9 /
300.0
(0)
|
ting/Transformed_CSR_04/PALINDROME_complete_FR.xml
|
.
507.6 /
298.5
(-)
|
.
625.9 /
296.7
(0)
|
.
726.4 /
300.0
(0)
|
ting/Transformed_CSR_04/PALINDROME_complete_GM.xml
|
.
670.6 /
298.7
(-)
|
.
642.5 /
296.7
(0)
|
.
494.5 /
300.1
(0)
|
iting/Transformed_CSR_04/PALINDROME_complete_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.1 /
0.1
(0)
|
.
0.3 /
0.5
(0)
|
iting/Transformed_CSR_04/PALINDROME_complete_Z.xml
|
.
535.5 /
298.6
(-)
|
.
584.8 /
296.4
(0)
|
.
680.3 /
300.1
(0)
|
Transformed_CSR_04/PALINDROME_complete_noand_C.xml
|
.
535.2 /
298.5
(-)
|
.
808.3 /
295.6
(0)
|
.
463.6 /
300.1
(0)
|
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml
|
.
518.2 /
298.7
(-)
|
.
444.5 /
295.9
(0)
|
.
545.3 /
300.1
(0)
|
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml
|
.
460.0 /
300.0
(-)
|
?/n^2
224.6 /
100.7
(2)
|
.
525.6 /
300.1
(0)
|
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml
|
.
622.0 /
298.3
(-)
|
.
474.7 /
296.2
(0)
|
.
492.3 /
300.0
(0)
|
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml
|
?/n^1
64.0 /
41.8
(-)
|
?/n^1
21.6 /
7.5
(2)
|
?/n^2
88.9 /
37.3
(1)
|
riting/Transformed_CSR_04/PALINDROME_nokinds_C.xml
|
.
556.9 /
298.7
(-)
|
.
460.7 /
296.7
(0)
|
.
764.5 /
300.0
(0)
|
iting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml
|
?/n^2
293.6 /
196.4
(-)
|
?/n^2
152.9 /
71.2
(2)
|
.
83.5 /
47.5
(0)
|
iting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml
|
.
841.0 /
299.0
(-)
|
.
658.7 /
296.7
(0)
|
.
187.3 /
300.1
(0)
|
riting/Transformed_CSR_04/PALINDROME_nokinds_L.xml
|
.
0.0 /
0.1
(-)
|
.
0.2 /
0.1
(0)
|
.
0.3 /
0.4
(0)
|
riting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml
|
?/n^1
35.3 /
21.2
(-)
|
?/n^1
11.1 /
5.3
(2)
|
.
49.3 /
26.1
(0)
|
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml
|
.
655.4 /
300.0
(-)
|
.
685.2 /
296.3
(0)
|
.
540.0 /
300.0
(0)
|
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml
|
.
404.1 /
298.7
(-)
|
.
662.3 /
296.4
(0)
|
.
582.5 /
300.1
(0)
|
riting/Transformed_CSR_04/PALINDROME_nosorts_C.xml
|
.
523.1 /
298.3
(-)
|
.
492.1 /
296.6
(0)
|
.
621.2 /
300.0
(0)
|
iting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml
|
.
489.5 /
300.0
(-)
|
.
601.1 /
296.5
(0)
|
.
255.5 /
300.1
(0)
|
riting/Transformed_CSR_04/PALINDROME_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.2 /
0.2
(0)
|
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml
|
.
371.3 /
300.0
(-)
|
.
681.8 /
296.1
(0)
|
.
527.2 /
300.1
(0)
|
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml
|
.
600.8 /
298.5
(-)
|
.
530.1 /
296.3
(0)
|
.
314.4 /
300.1
(0)
|
ing/Transformed_CSR_04/PEANO_complete-noand_FR.xml
|
.
483.8 /
298.6
(-)
|
.
856.1 /
296.2
(0)
|
.
702.8 /
300.1
(0)
|
ting/Transformed_CSR_04/PEANO_complete-noand_L.xml
|
.
0.0 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.7
(0)
|
ting/Transformed_CSR_04/PEANO_complete-noand_Z.xml
|
.
495.1 /
298.9
(-)
|
.
695.7 /
296.5
(0)
|
.
565.5 /
300.0
(0)
|
_Rewriting/Transformed_CSR_04/PEANO_complete_C.xml
|
.
589.0 /
300.0
(-)
|
.
767.1 /
296.3
(0)
|
.
663.0 /
300.0
(0)
|
Rewriting/Transformed_CSR_04/PEANO_complete_FR.xml
|
.
335.0 /
298.2
(-)
|
.
644.0 /
296.2
(0)
|
.
728.7 /
300.0
(0)
|
Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml
|
.
535.3 /
300.0
(-)
|
.
595.1 /
296.2
(0)
|
.
577.5 /
300.0
(0)
|
_Rewriting/Transformed_CSR_04/PEANO_complete_L.xml
|
.
0.1 /
0.2
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.3
(0)
|
_Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml
|
.
513.8 /
298.2
(-)
|
.
571.5 /
296.7
(0)
|
.
621.1 /
300.0
(0)
|
ting/Transformed_CSR_04/PEANO_complete_noand_C.xml
|
.
603.4 /
298.7
(-)
|
.
756.4 /
296.4
(0)
|
.
513.6 /
300.1
(0)
|
ing/Transformed_CSR_04/PEANO_complete_noand_GM.xml
|
.
861.8 /
298.3
(-)
|
.
691.7 /
296.1
(0)
|
.
387.8 /
300.0
(0)
|
ting/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml
|
?/n^2
79.3 /
44.1
(-)
|
?/n^2
37.5 /
12.4
(2)
|
.
463.6 /
300.0
(0)
|
iting/Transformed_CSR_04/PEANO_nokinds-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.1
(0)
|
.
0.3 /
0.2
(0)
|
iting/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml
|
?/n^1
17.0 /
9.8
(-)
|
?/n^1
2.6 /
1.9
(2)
|
.
398.5 /
300.1
(0)
|
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml
|
.
634.0 /
299.3
(-)
|
.
605.1 /
296.4
(0)
|
.
519.9 /
300.1
(0)
|
_Rewriting/Transformed_CSR_04/PEANO_nokinds_FR.xml
|
?/n^2
68.6 /
29.4
(-)
|
?/n^2
38.3 /
13.8
(2)
|
.
270.5 /
259.2
(0)
|
_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml
|
.
531.8 /
298.9
(-)
|
.
623.4 /
296.3
(0)
|
.
161.2 /
147.5
(0)
|
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.4
(0)
|
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml
|
?/n^1
6.0 /
3.5
(-)
|
?/n^1
3.5 /
1.5
(2)
|
.
249.9 /
262.6
(0)
|
iting/Transformed_CSR_04/PEANO_nokinds_noand_C.xml
|
.
630.5 /
298.4
(-)
|
.
712.1 /
296.2
(0)
|
.
658.0 /
300.0
(0)
|
ting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml
|
.
577.0 /
298.3
(-)
|
.
546.5 /
296.3
(0)
|
.
43.3 /
21.9
(0)
|
ting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml
|
?/n^1
16.5 /
10.6
(-)
|
?/n^1
2.7 /
1.7
(2)
|
?/n^1
4.3 /
3.4
(2)
|
iting/Transformed_CSR_04/PEANO_nosorts-noand_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
.
0.3 /
0.5
(0)
|
t_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.9 /
0.9
(2)
|
?/n^1
99.8 /
47.0
(2)
|
_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml
|
?/n^1
0.1 /
0.2
(-)
|
?/n^1
0.4 /
0.6
(2)
|
?/n^2
3.0 /
2.2
(1)
|
_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml
|
.
487.1 /
300.1
(-)
|
.
95.3 /
37.7
(0)
|
.
13.5 /
10.0
(0)
|
t_Rewriting/Transformed_CSR_04/PEANO_nosorts_L.xml
|
.
0.2 /
0.2
(-)
|
.
0.0 /
0.1
(0)
|
.
0.2 /
0.3
(0)
|
iting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml
|
?/n^1
2.0 /
1.7
(-)
|
?/n^1
1.9 /
0.9
(2)
|
?/n^1
62.6 /
50.6
(2)
|
ting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml
|
.
571.7 /
298.5
(-)
|
.
141.8 /
92.3
(0)
|
.
16.8 /
8.6
(0)
|
e_Complexity_Innermost_Rewriting/Various_04/04.xml
|
?/n^1
5.7 /
3.8
(-)
|
?/n^0
2.1 /
1.5
(2)
|
.
15.3 /
5.5
(0)
|
e_Complexity_Innermost_Rewriting/Various_04/08.xml
|
.
619.1 /
298.6
(-)
|
.
496.8 /
286.4
(0)
|
.
21.0 /
13.0
(0)
|
e_Complexity_Innermost_Rewriting/Various_04/10.xml
|
.
558.2 /
299.0
(-)
|
.
461.6 /
296.5
(0)
|
.
358.1 /
300.0
(0)
|
e_Complexity_Innermost_Rewriting/Various_04/11.xml
|
.
618.1 /
299.1
(-)
|
.
11.3 /
5.3
(0)
|
.
4.3 /
2.3
(0)
|
e_Complexity_Innermost_Rewriting/Various_04/12.xml
|
.
522.4 /
298.4
(-)
|
.
630.0 /
296.3
(0)
|
.
408.8 /
300.1
(0)
|
e_Complexity_Innermost_Rewriting/Various_04/13.xml
|
.
375.8 /
298.4
(-)
|
.
624.9 /
296.4
(0)
|
.
521.1 /
300.0
(0)
|
e_Complexity_Innermost_Rewriting/Various_04/14.xml
|
.
500.7 /
298.5
(-)
|
.
801.6 /
296.2
(0)
|
.
857.1 /
300.0
(0)
|
e_Complexity_Innermost_Rewriting/Various_04/15.xml
|
?/n^1
0.5 /
0.8
(-)
|
?/n^1
0.2 /
0.1
(2)
|
.
5.3 /
3.8
(0)
|
e_Complexity_Innermost_Rewriting/Various_04/18.xml
|
.
743.9 /
298.3
(-)
|
.
110.8 /
58.9
(0)
|
.
15.1 /
18.9
(0)
|
e_Complexity_Innermost_Rewriting/Various_04/22.xml
|
.
750.4 /
298.5
(-)
|
.
26.9 /
17.8
(0)
|
.
5.2 /
4.3
(0)
|
e_Complexity_Innermost_Rewriting/Various_04/23.xml
|
?/n^1
2.5 /
1.4
(-)
|
?/n^1
0.3 /
0.3
(2)
|
?/n^1
3.8 /
2.7
(2)
|
e_Complexity_Innermost_Rewriting/Various_04/24.xml
|
?/n^2
330.3 /
254.8
(-)
|
?/n^2
11.4 /
3.6
(1)
|
?/n^1
80.0 /
47.4
(2)
|
xity_Innermost_Rewriting/Waldmann_06/jwmatchb1.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.2 /
0.2
(2)
|
.
3.9 /
2.1
(0)
|
xity_Innermost_Rewriting/Waldmann_06/jwmatchb2.xml
|
?/n^1
0.3 /
0.3
(-)
|
?/n^1
0.1 /
0.1
(2)
|
.
3.8 /
2.4
(0)
|
mplexity_Innermost_Rewriting/Waldmann_06/jwno1.xml
|
.
703.7 /
300.0
(-)
|
.
39.1 /
13.8
(0)
|
.
514.5 /
300.0
(0)
|
mplexity_Innermost_Rewriting/Waldmann_06/jwno4.xml
|
.
446.4 /
298.3
(-)
|
.
23.6 /
17.9
(0)
|
.
9.0 /
3.9
(0)
|
mplexity_Innermost_Rewriting/Waldmann_06/jwno6.xml
|
.
933.8 /
298.7
(-)
|
.
20.7 /
11.1
(0)
|
.
8.5 /
4.7
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z10.xml
|
.
477.0 /
298.2
(-)
|
.
33.1 /
18.2
(0)
|
.
16.8 /
8.8
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z12.xml
|
.
669.4 /
298.4
(-)
|
.
711.9 /
296.3
(0)
|
.
460.9 /
300.1
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z13.xml
|
.
828.5 /
298.8
(-)
|
.
226.6 /
107.8
(0)
|
.
474.5 /
283.5
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z14.xml
|
.
772.9 /
298.4
(-)
|
.
176.7 /
73.4
(0)
|
.
174.4 /
110.9
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z15.xml
|
.
763.8 /
298.6
(-)
|
.
516.3 /
296.1
(0)
|
.
479.2 /
300.0
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z16.xml
|
.
576.5 /
298.6
(-)
|
.
173.3 /
87.1
(0)
|
.
193.0 /
141.2
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z17.xml
|
.
855.6 /
298.3
(-)
|
.
550.1 /
296.3
(0)
|
.
554.4 /
300.0
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z18.xml
|
.
769.9 /
298.6
(-)
|
.
465.4 /
296.0
(0)
|
.
379.2 /
300.0
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z23.xml
|
.
833.0 /
298.4
(-)
|
.
696.0 /
296.3
(0)
|
?/n^1
94.6 /
47.3
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z24.xml
|
.
583.7 /
298.2
(-)
|
.
328.9 /
296.5
(0)
|
.
541.3 /
300.0
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z26.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.3 /
0.3
(2)
|
?/n^1
100.4 /
46.9
(2)
|
_Complexity_Innermost_Rewriting/Zantema_05/z27.xml
|
.
781.7 /
298.7
(-)
|
.
13.0 /
5.7
(0)
|
.
3.7 /
2.1
(0)
|
_Complexity_Innermost_Rewriting/Zantema_05/z28.xml
|
.
640.6 /
298.5
(-)
|
.
20.4 /
9.7
(0)
|
.
9.5 /
4.2
(0)
|
omplexity_Innermost_Rewriting/hoca/dfs-flatten.xml
|
?/n^1
0.7 /
0.4
(-)
|
?/n^1
0.9 /
0.5
(2)
|
?/n^1
5.9 /
2.8
(2)
|
_Complexity_Innermost_Rewriting/hoca/fib_llist.xml
|
.
330.4 /
298.2
(-)
|
.
750.3 /
296.2
(0)
|
.
650.3 /
300.0
(0)
|
me_Complexity_Innermost_Rewriting/hoca/flatten.xml
|
?/n^1
8.2 /
4.6
(-)
|
?/n^1
2.3 /
1.6
(2)
|
?/n^1
5.9 /
3.5
(2)
|
me_Complexity_Innermost_Rewriting/hoca/foldsum.xml
|
?/n^1
58.6 /
55.6
(-)
|
?/n^1
5.0 /
2.9
(2)
|
?/n^1
20.7 /
7.8
(2)
|
Runtime_Complexity_Innermost_Rewriting/hoca/id.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.5 /
0.4
(2)
|
?/n^1
4.6 /
2.5
(2)
|
Complexity_Innermost_Rewriting/hoca/isort-fold.xml
|
.
557.1 /
298.3
(-)
|
?/n^2
35.8 /
16.2
(2)
|
?/n^2
22.6 /
14.1
(2)
|
time_Complexity_Innermost_Rewriting/hoca/isort.xml
|
.
571.1 /
298.3
(-)
|
?/n^2
21.8 /
9.4
(2)
|
?/n^2
16.3 /
10.6
(2)
|
e_Complexity_Innermost_Rewriting/hoca/mappplus.xml
|
?/n^2
4.5 /
3.7
(-)
|
?/n^2
1.6 /
1.0
(2)
|
?/n^2
3.4 /
2.5
(2)
|
mplexity_Innermost_Rewriting/hoca/mergesort-dc.xml
|
.
513.1 /
298.5
(-)
|
.
662.7 /
296.5
(0)
|
.
599.5 /
300.0
(0)
|
untime_Complexity_Innermost_Rewriting/hoca/mss.xml
|
.
716.6 /
298.2
(-)
|
.
322.9 /
296.2
(0)
|
.
114.2 /
108.3
(0)
|
ime_Complexity_Innermost_Rewriting/hoca/rev-dl.xml
|
?/n^1
5.7 /
5.5
(-)
|
?/n^1
2.6 /
2.1
(2)
|
?/n^1
5.2 /
3.2
(2)
|
_Complexity_Innermost_Rewriting/hoca/rev-fletf.xml
|
?/n^1
11.7 /
6.2
(-)
|
?/n^1
1.7 /
0.9
(2)
|
?/n^1
7.0 /
3.4
(2)
|
_Complexity_Innermost_Rewriting/hoca/rev-foldl.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.3 /
0.2
(2)
|
?/n^1
2.5 /
1.8
(2)
|
e_Complexity_Innermost_Rewriting/hoca/rpm-lazy.xml
|
.
865.3 /
299.0
(-)
|
.
417.7 /
296.1
(0)
|
.
347.0 /
300.0
(0)
|
untime_Complexity_Innermost_Rewriting/hoca/sum.xml
|
?/n^1
0.3 /
0.3
(-)
|
?/n^1
0.4 /
0.2
(2)
|
?/n^1
3.7 /
3.6
(2)
|
e_Complexity_Innermost_Rewriting/hoca/sum_sqs3.xml
|
.
332.0 /
298.5
(-)
|
.
169.6 /
89.5
(0)
|
.
549.8 /
300.0
(0)
|
lexity_Innermost_Rewriting/raML/appendAll.raml.xml
|
?/n^1
0.6 /
0.4
(-)
|
?/n^1
0.9 /
0.7
(2)
|
?/n^1
11.6 /
10.3
(2)
|
e_Complexity_Innermost_Rewriting/raML/bfs.raml.xml
|
.
605.0 /
299.5
(-)
|
.
736.1 /
296.3
(0)
|
?/n^3
494.5 /
281.9
(2)
|
lexity_Innermost_Rewriting/raML/bft_mmult.raml.xml
|
.
436.8 /
299.0
(-)
|
.
615.0 /
295.4
(0)
|
.
436.8 /
300.1
(0)
|
exity_Innermost_Rewriting/raML/bitvectors.raml.xml
|
.
554.8 /
299.8
(-)
|
.
723.4 /
296.3
(0)
|
.
720.4 /
300.1
(0)
|
xity_Innermost_Rewriting/raML/clevermmult.raml.xml
|
?/n^2
483.2 /
259.5
(-)
|
?/n^2
116.7 /
50.7
(2)
|
?/n^2
41.9 /
18.0
(2)
|
exity_Innermost_Rewriting/raML/duplicates.raml.xml
|
?/n^2
149.4 /
101.8
(-)
|
?/n^2
74.1 /
30.2
(2)
|
?/n^2
50.7 /
37.9
(2)
|
Complexity_Innermost_Rewriting/raML/dyade.raml.xml
|
?/n^2
258.4 /
166.0
(-)
|
?/n^2
36.3 /
24.5
(2)
|
?/n^2
19.8 /
9.6
(2)
|
ity_Innermost_Rewriting/raML/eratosthenes.raml.xml
|
.
595.0 /
298.7
(-)
|
?/n^2
189.4 /
67.1
(2)
|
.
739.6 /
300.0
(0)
|
mplexity_Innermost_Rewriting/raML/flatten.raml.xml
|
.
685.5 /
299.3
(-)
|
?/n^2
64.2 /
34.1
(2)
|
?/n^2
43.2 /
24.8
(2)
|
ty_Innermost_Rewriting/raML/insertionsort.raml.xml
|
.
511.6 /
298.6
(-)
|
.
757.4 /
296.4
(0)
|
.
532.1 /
300.1
(0)
|
plexity_Innermost_Rewriting/raML/listsort.raml.xml
|
.
604.3 /
300.0
(-)
|
.
526.1 /
297.0
(0)
|
.
710.2 /
300.1
(0)
|
t_Rewriting/raML/longestCommonSubsequence.raml.xml
|
.
419.7 /
300.0
(-)
|
.
727.4 /
296.4
(0)
|
.
696.2 /
300.1
(0)
|
omplexity_Innermost_Rewriting/raML/matrix.raml.xml
|
.
619.9 /
298.3
(-)
|
.
591.8 /
296.6
(0)
|
.
638.0 /
300.0
(0)
|
lexity_Innermost_Rewriting/raML/mergesort.raml.xml
|
.
719.1 /
298.9
(-)
|
.
600.6 /
296.2
(0)
|
.
377.2 /
300.0
(0)
|
mplexity_Innermost_Rewriting/raML/minsort.raml.xml
|
?/n^2
48.9 /
35.2
(-)
|
?/n^2
48.8 /
24.2
(2)
|
?/n^2
28.6 /
13.6
(2)
|
Complexity_Innermost_Rewriting/raML/queue.raml.xml
|
.
636.1 /
299.2
(-)
|
.
461.4 /
296.1
(0)
|
.
676.6 /
300.0
(0)
|
lexity_Innermost_Rewriting/raML/quicksort.raml.xml
|
.
416.6 /
300.1
(-)
|
.
612.6 /
296.3
(0)
|
.
765.5 /
300.0
(0)
|
nnermost_Rewriting/raML/rationalPotential.raml.xml
|
?/n^1
17.5 /
9.9
(-)
|
?/n^1
3.4 /
1.4
(2)
|
?/n^1
9.1 /
6.9
(2)
|
ity_Innermost_Rewriting/raML/splitandsort.raml.xml
|
.
569.7 /
299.6
(-)
|
.
697.9 /
296.1
(0)
|
.
580.4 /
300.0
(0)
|
plexity_Innermost_Rewriting/raML/subtrees.raml.xml
|
?/n^2
18.7 /
11.0
(-)
|
?/n^2
8.7 /
7.0
(2)
|
?/n^2
13.2 /
7.7
(2)
|