Runtime_Complexity_Full_Rewriting/AG01/#3.1.xml
|
.
611.4 /
298.4
(-)
|
.
7.3 /
3.2
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.10.xml
|
.
728.4 /
298.9
(-)
|
.
595.4 /
296.1
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.12.xml
|
.
701.8 /
298.8
(-)
|
.
37.6 /
21.7
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.13.xml
|
.
594.6 /
298.6
(-)
|
.
590.4 /
296.2
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.15.xml
|
?/n^1
3.9 /
1.7
(-)
|
?/n^1
0.9 /
0.5
(1)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.16.xml
|
.
784.0 /
298.3
(-)
|
.
24.2 /
8.7
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.17.xml
|
.
483.9 /
298.3
(-)
|
.
599.6 /
296.1
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.17a.xml
|
.
569.8 /
298.3
(-)
|
.
689.7 /
296.1
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.18.xml
|
.
682.2 /
298.3
(-)
|
.
13.7 /
6.8
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.19.xml
|
.
819.1 /
298.7
(-)
|
.
22.6 /
11.2
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.2.xml
|
.
620.4 /
298.2
(-)
|
.
18.6 /
10.8
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.22.xml
|
.
620.0 /
298.5
(-)
|
.
652.4 /
296.2
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.23.xml
|
.
653.8 /
298.4
(-)
|
.
5.2 /
2.0
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.24.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.26.xml
|
.
700.7 /
299.1
(-)
|
.
24.5 /
13.6
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.29.xml
|
?/n^1
0.3 /
0.2
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.31.xml
|
.
686.9 /
298.4
(-)
|
.
58.3 /
35.4
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.33.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.1 /
0.0
(1)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.35.xml
|
?/n^1
0.6 /
0.4
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.36.xml
|
.
791.6 /
298.5
(-)
|
.
32.0 /
17.5
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.37.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.0
(1)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.38.xml
|
.
690.1 /
298.6
(-)
|
.
15.0 /
9.5
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.39.xml
|
.
765.1 /
299.0
(-)
|
.
31.5 /
15.1
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.4.xml
|
.
665.3 /
298.6
(-)
|
.
18.6 /
9.1
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.40.xml
|
.
610.2 /
300.0
(-)
|
.
76.1 /
45.4
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.41.xml
|
.
642.1 /
298.6
(-)
|
.
5.2 /
2.3
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.42.xml
|
.
585.4 /
298.5
(-)
|
.
12.7 /
5.7
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.47.xml
|
.
637.3 /
300.0
(-)
|
.
9.0 /
4.8
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.48.xml
|
.
462.1 /
298.3
(-)
|
.
588.1 /
296.2
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.49.xml
|
.
868.3 /
298.4
(-)
|
.
287.7 /
196.5
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.5.xml
|
.
809.9 /
298.6
(-)
|
.
14.2 /
6.6
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.51.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.2 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.52.xml
|
?/n^2
11.6 /
4.9
(-)
|
?/n^2
1.3 /
0.5
(1)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.53.xml
|
.
700.9 /
298.3
(-)
|
.
31.9 /
19.9
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.53a.xml
|
?/n^1
0.4 /
0.2
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.53b.xml
|
?/n^2
6.8 /
3.7
(-)
|
?/n^2
1.4 /
0.6
(1)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.54.xml
|
.
689.9 /
298.2
(-)
|
.
50.2 /
44.7
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.55.xml
|
.
686.5 /
300.0
(-)
|
.
600.7 /
296.3
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.56.xml
|
?/n^1
0.5 /
0.5
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.57.xml
|
.
539.4 /
298.4
(-)
|
.
490.8 /
296.1
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.5a.xml
|
.
732.6 /
298.5
(-)
|
.
17.3 /
9.8
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.5b.xml
|
.
748.1 /
298.5
(-)
|
.
24.5 /
13.7
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.6.xml
|
.
602.8 /
298.5
(-)
|
.
19.2 /
11.4
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.6a.xml
|
.
625.4 /
298.6
(-)
|
.
16.5 /
8.8
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.6b.xml
|
.
731.9 /
298.3
(-)
|
.
26.8 /
15.2
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.7.xml
|
?/n^1
0.7 /
0.3
(-)
|
?/n^1
0.5 /
0.2
(1)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.8a.xml
|
.
696.6 /
298.8
(-)
|
.
34.4 /
16.1
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.8b.xml
|
.
626.7 /
298.7
(-)
|
.
44.2 /
23.9
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#4.30c.xml
|
.
601.1 /
298.3
(-)
|
.
23.8 /
14.3
(0)
|
Complexity_Full_Rewriting/AProVE_04/AAECC-ring.xml
|
.
535.7 /
298.3
(-)
|
.
634.6 /
296.2
(0)
|
time_Complexity_Full_Rewriting/AProVE_04/AAECC.xml
|
.
476.3 /
300.0
(-)
|
.
598.8 /
296.2
(0)
|
me_Complexity_Full_Rewriting/AProVE_04/IJCAR_1.xml
|
.
419.5 /
198.6
(-)
|
.
9.1 /
4.3
(0)
|
e_Complexity_Full_Rewriting/AProVE_04/IJCAR_12.xml
|
.
640.8 /
298.4
(-)
|
.
14.5 /
8.9
(0)
|
e_Complexity_Full_Rewriting/AProVE_04/IJCAR_18.xml
|
.
854.3 /
298.5
(-)
|
.
527.3 /
296.2
(0)
|
e_Complexity_Full_Rewriting/AProVE_04/IJCAR_26.xml
|
.
730.2 /
298.4
(-)
|
.
651.2 /
296.3
(0)
|
_Complexity_Full_Rewriting/AProVE_04/IJCAR_26a.xml
|
.
621.8 /
298.3
(-)
|
.
751.6 /
296.1
(0)
|
e_Complexity_Full_Rewriting/AProVE_04/JFP_Ex31.xml
|
.
669.3 /
299.3
(-)
|
.
33.4 /
22.3
(0)
|
e_Complexity_Full_Rewriting/AProVE_04/JFP_Ex51.xml
|
.
777.6 /
298.2
(-)
|
.
40.7 /
23.9
(0)
|
mplexity_Full_Rewriting/AProVE_04/LPAR_intlist.xml
|
.
940.2 /
299.7
(-)
|
.
561.4 /
296.1
(0)
|
omplexity_Full_Rewriting/AProVE_04/Liveness6.1.xml
|
.
709.3 /
298.3
(-)
|
.
769.7 /
296.1
(0)
|
omplexity_Full_Rewriting/AProVE_04/Liveness6.2.xml
|
.
776.4 /
298.2
(-)
|
?/n^4
270.6 /
169.3
(1)
|
omplexity_Full_Rewriting/AProVE_04/Liveness6.3.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.2 /
0.2
(1)
|
omplexity_Full_Rewriting/AProVE_04/Liveness6.4.xml
|
.
752.8 /
298.4
(-)
|
.
597.2 /
296.1
(0)
|
_Complexity_Full_Rewriting/AProVE_04/Liveness8.xml
|
?/n^1
0.3 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
mplexity_Full_Rewriting/AProVE_04/Liveness_WRS.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.0
(1)
|
untime_Complexity_Full_Rewriting/AProVE_04/fac.xml
|
.
620.2 /
299.0
(-)
|
.
89.4 /
48.2
(0)
|
ntime_Complexity_Full_Rewriting/AProVE_04/rta1.xml
|
.
648.5 /
298.6
(-)
|
.
631.9 /
296.1
(0)
|
ntime_Complexity_Full_Rewriting/AProVE_04/rta2.xml
|
.
220.7 /
87.0
(-)
|
.
3.8 /
1.9
(0)
|
ntime_Complexity_Full_Rewriting/AProVE_04/rta3.xml
|
.
665.4 /
298.8
(-)
|
.
13.6 /
7.9
(0)
|
exity_Full_Rewriting/AProVE_06/div_notCeTermin.xml
|
.
557.9 /
298.6
(-)
|
.
23.0 /
12.9
(0)
|
plexity_Full_Rewriting/AProVE_06/div_notTermin.xml
|
.
570.3 /
298.6
(-)
|
.
39.4 /
23.2
(0)
|
Complexity_Full_Rewriting/AProVE_06/factorial1.xml
|
.
764.1 /
299.0
(-)
|
.
456.9 /
296.1
(0)
|
Complexity_Full_Rewriting/AProVE_06/factorial2.xml
|
.
672.0 /
298.6
(-)
|
.
22.5 /
14.8
(0)
|
e_Complexity_Full_Rewriting/AProVE_06/identity.xml
|
.
624.3 /
298.6
(-)
|
.
45.5 /
25.0
(0)
|
_Complexity_Full_Rewriting/AProVE_06/logarithm.xml
|
.
702.3 /
298.9
(-)
|
.
48.1 /
30.3
(0)
|
ime_Complexity_Full_Rewriting/AProVE_06/modulo.xml
|
.
539.1 /
298.5
(-)
|
.
20.9 /
11.5
(0)
|
me_Complexity_Full_Rewriting/AProVE_06/nonterm.xml
|
.
661.6 /
298.8
(-)
|
.
583.4 /
296.3
(0)
|
_Complexity_Full_Rewriting/AProVE_06/quicksort.xml
|
.
654.3 /
298.9
(-)
|
.
212.0 /
121.2
(0)
|
ntime_Complexity_Full_Rewriting/AProVE_06/quot.xml
|
.
696.8 /
298.4
(-)
|
.
17.1 /
10.4
(0)
|
Complexity_Full_Rewriting/AProVE_06/sizeChange.xml
|
.
735.9 /
299.9
(-)
|
.
13.4 /
8.8
(0)
|
time_Complexity_Full_Rewriting/AProVE_06/tower.xml
|
.
630.2 /
298.7
(-)
|
.
460.6 /
296.2
(0)
|
xity_Full_Rewriting/AProVE_06/tower_sizeChange.xml
|
.
700.4 /
300.0
(-)
|
.
58.6 /
49.0
(0)
|
_Complexity_Full_Rewriting/AProVE_07/kabasci01.xml
|
.
823.0 /
298.6
(-)
|
.
679.5 /
296.1
(0)
|
_Complexity_Full_Rewriting/AProVE_07/kabasci02.xml
|
.
760.7 /
298.3
(-)
|
.
606.3 /
296.2
(0)
|
_Complexity_Full_Rewriting/AProVE_07/kabasci03.xml
|
.
598.1 /
298.4
(-)
|
?/n^1
0.8 /
0.4
(1)
|
_Complexity_Full_Rewriting/AProVE_07/kabasci04.xml
|
.
675.1 /
300.0
(-)
|
.
637.4 /
296.1
(0)
|
_Complexity_Full_Rewriting/AProVE_07/kabasci05.xml
|
.
475.8 /
298.3
(-)
|
.
627.7 /
296.2
(0)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto01.xml
|
.
562.9 /
298.7
(-)
|
.
589.3 /
296.1
(0)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto02.xml
|
.
723.5 /
300.0
(-)
|
.
624.3 /
296.1
(0)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto03.xml
|
.
658.2 /
298.3
(-)
|
.
8.7 /
5.2
(0)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto04.xml
|
.
619.6 /
299.0
(-)
|
.
38.8 /
22.4
(0)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto05.xml
|
.
674.7 /
298.6
(-)
|
.
12.9 /
7.7
(0)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto06.xml
|
.
739.4 /
298.7
(-)
|
.
857.4 /
296.2
(0)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto07.xml
|
.
647.3 /
298.3
(-)
|
.
10.1 /
4.2
(0)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto08.xml
|
.
642.1 /
298.3
(-)
|
.
26.8 /
16.5
(0)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto09.xml
|
.
754.6 /
298.4
(-)
|
.
20.0 /
9.4
(0)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto10.xml
|
.
840.9 /
298.8
(-)
|
.
33.9 /
19.0
(0)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto11.xml
|
.
666.7 /
298.6
(-)
|
.
35.9 /
22.1
(0)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto12.xml
|
.
688.1 /
298.5
(-)
|
.
23.9 /
13.8
(0)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto13.xml
|
.
833.8 /
298.6
(-)
|
.
78.3 /
36.3
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann01.xml
|
.
762.3 /
298.6
(-)
|
.
17.4 /
9.0
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann02.xml
|
.
563.3 /
299.4
(-)
|
.
634.0 /
296.1
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann03.xml
|
.
610.5 /
298.6
(-)
|
.
112.7 /
54.2
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann04.xml
|
.
504.4 /
299.1
(-)
|
.
581.8 /
296.2
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann05.xml
|
.
633.3 /
298.8
(-)
|
.
91.1 /
44.2
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann06.xml
|
.
776.2 /
299.0
(-)
|
.
32.2 /
16.5
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann07.xml
|
.
570.1 /
298.4
(-)
|
.
128.8 /
77.8
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann08.xml
|
.
592.8 /
298.6
(-)
|
.
16.6 /
8.8
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann09.xml
|
.
691.6 /
298.4
(-)
|
.
592.4 /
296.1
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann10.xml
|
.
643.7 /
298.6
(-)
|
.
11.8 /
6.2
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann11.xml
|
.
747.3 /
298.8
(-)
|
.
22.5 /
11.3
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann12.xml
|
.
622.9 /
300.0
(-)
|
.
18.1 /
12.4
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann13.xml
|
.
641.1 /
298.8
(-)
|
.
24.6 /
13.5
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann14.xml
|
.
638.9 /
298.6
(-)
|
.
662.7 /
296.1
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann15.xml
|
.
639.4 /
298.4
(-)
|
.
13.7 /
8.4
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann16.xml
|
.
783.1 /
299.2
(-)
|
.
592.9 /
296.1
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann17.xml
|
.
425.1 /
298.6
(-)
|
.
604.2 /
296.3
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann18.xml
|
.
690.7 /
298.7
(-)
|
.
99.3 /
50.3
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann19.xml
|
.
763.8 /
299.8
(-)
|
.
21.7 /
11.0
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann20.xml
|
.
659.9 /
298.5
(-)
|
.
48.0 /
24.4
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann21.xml
|
.
706.2 /
298.4
(-)
|
.
194.1 /
120.3
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann22.xml
|
.
672.1 /
298.7
(-)
|
.
16.2 /
8.5
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann23.xml
|
.
640.3 /
299.2
(-)
|
.
669.7 /
296.2
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann24.xml
|
.
596.6 /
298.4
(-)
|
.
20.4 /
12.2
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann25.xml
|
.
628.8 /
298.6
(-)
|
.
27.0 /
15.4
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann26.xml
|
.
644.2 /
299.5
(-)
|
.
14.3 /
6.9
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann27.xml
|
.
585.9 /
298.5
(-)
|
.
9.9 /
4.3
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann28.xml
|
.
712.2 /
298.7
(-)
|
.
767.6 /
296.2
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann29.xml
|
.
721.1 /
298.3
(-)
|
.
25.2 /
12.9
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann30.xml
|
.
652.8 /
298.8
(-)
|
.
634.1 /
296.2
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann31.xml
|
.
653.1 /
298.5
(-)
|
.
22.4 /
11.3
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann32.xml
|
.
721.5 /
300.0
(-)
|
.
657.6 /
296.2
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann33.xml
|
.
729.4 /
298.7
(-)
|
.
358.0 /
201.5
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann34.xml
|
.
715.2 /
299.5
(-)
|
.
17.7 /
10.4
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann36.xml
|
.
650.5 /
300.0
(-)
|
.
27.4 /
15.3
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann37.xml
|
.
535.2 /
298.8
(-)
|
.
602.4 /
296.2
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann38.xml
|
.
656.0 /
298.6
(-)
|
.
57.0 /
25.2
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann40.xml
|
.
651.4 /
298.3
(-)
|
.
9.8 /
4.2
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann41.xml
|
.
785.5 /
298.3
(-)
|
.
18.9 /
11.0
(0)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe01.xml
|
.
516.9 /
298.3
(-)
|
.
570.6 /
296.2
(0)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe02.xml
|
.
563.0 /
298.4
(-)
|
.
571.4 /
296.4
(0)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe03.xml
|
.
502.5 /
298.4
(-)
|
.
496.1 /
296.3
(0)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe05.xml
|
.
578.9 /
298.3
(-)
|
.
643.4 /
296.3
(0)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe06.xml
|
.
598.9 /
298.6
(-)
|
.
512.1 /
296.3
(0)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe07.xml
|
.
479.6 /
298.3
(-)
|
.
682.8 /
296.2
(0)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe08.xml
|
.
509.6 /
298.4
(-)
|
.
646.9 /
296.2
(0)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe09.xml
|
.
481.1 /
298.2
(-)
|
.
638.7 /
296.3
(0)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe11.xml
|
.
495.8 /
298.2
(-)
|
.
681.6 /
296.2
(0)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe12.xml
|
.
703.5 /
298.7
(-)
|
.
587.7 /
296.3
(0)
|
ime_Complexity_Full_Rewriting/AProVE_08/id_inc.xml
|
.
732.6 /
298.2
(-)
|
.
16.1 /
9.7
(0)
|
untime_Complexity_Full_Rewriting/AProVE_08/log.xml
|
.
495.8 /
298.8
(-)
|
.
467.0 /
296.3
(0)
|
ity_Full_Rewriting/AProVE_08/parting01_reverse.xml
|
.
537.7 /
298.4
(-)
|
.
596.9 /
297.1
(0)
|
_Full_Rewriting/AProVE_08/parting02_doublelist.xml
|
.
523.3 /
298.6
(-)
|
.
589.0 /
296.2
(0)
|
ity_Full_Rewriting/AProVE_08/parting03_minsort.xml
|
.
582.2 /
298.8
(-)
|
.
612.1 /
296.1
(0)
|
y_Full_Rewriting/AProVE_08/parting04_maxsort_h.xml
|
.
597.8 /
298.8
(-)
|
.
624.0 /
296.3
(0)
|
ity_Full_Rewriting/AProVE_08/parting05_maxsort.xml
|
.
829.1 /
299.1
(-)
|
.
597.8 /
296.2
(0)
|
time_Complexity_Full_Rewriting/AProVE_08/round.xml
|
.
733.8 /
298.6
(-)
|
.
28.7 /
17.4
(0)
|
plexity_Full_Rewriting/AProVE_08/round_nonterm.xml
|
.
683.7 /
298.5
(-)
|
.
34.8 /
26.2
(0)
|
y_Full_Rewriting/AProVE_08/thiemann40_modified.xml
|
.
646.5 /
298.3
(-)
|
.
13.6 /
13.9
(0)
|
plexity_Full_Rewriting/AProVE_09_Inductive/div.xml
|
.
583.2 /
298.3
(-)
|
.
24.2 /
12.3
(0)
|
ity_Full_Rewriting/AProVE_09_Inductive/divhard.xml
|
.
596.6 /
298.6
(-)
|
.
20.1 /
10.6
(0)
|
plexity_Full_Rewriting/AProVE_09_Inductive/gcd.xml
|
.
537.3 /
298.8
(-)
|
.
23.6 /
14.0
(0)
|
lexity_Full_Rewriting/AProVE_09_Inductive/gcd2.xml
|
.
643.9 /
298.5
(-)
|
.
24.0 /
14.4
(0)
|
ity_Full_Rewriting/AProVE_09_Inductive/gcdhard.xml
|
.
799.7 /
299.0
(-)
|
.
35.8 /
18.5
(0)
|
plexity_Full_Rewriting/AProVE_09_Inductive/log.xml
|
.
739.6 /
298.6
(-)
|
.
31.5 /
16.2
(0)
|
ity_Full_Rewriting/AProVE_09_Inductive/maxsort.xml
|
.
539.0 /
298.8
(-)
|
.
613.1 /
296.2
(0)
|
Rewriting/AProVE_09_Inductive/maxsortcondition.xml
|
.
893.3 /
298.6
(-)
|
.
31.9 /
18.3
(0)
|
ity_Full_Rewriting/AProVE_09_Inductive/minsort.xml
|
.
637.8 /
298.8
(-)
|
.
680.3 /
296.2
(0)
|
plexity_Full_Rewriting/AProVE_09_Inductive/mod.xml
|
.
710.5 /
298.8
(-)
|
.
24.6 /
13.0
(0)
|
exity_Full_Rewriting/AProVE_09_Inductive/qsort.xml
|
.
532.5 /
298.5
(-)
|
.
594.1 /
296.1
(0)
|
y_Full_Rewriting/AProVE_09_Inductive/qsortlast.xml
|
.
712.1 /
298.9
(-)
|
.
738.8 /
296.1
(0)
|
Full_Rewriting/AProVE_09_Inductive/qsortmiddle.xml
|
.
619.5 /
298.5
(-)
|
.
569.2 /
296.2
(0)
|
ty_Full_Rewriting/AProVE_09_Inductive/zerolist.xml
|
.
650.2 /
299.3
(-)
|
.
11.1 /
5.1
(0)
|
time_Complexity_Full_Rewriting/Beerendonk_07/1.xml
|
.
686.0 /
298.7
(-)
|
.
8.5 /
5.0
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/10.xml
|
.
652.3 /
299.0
(-)
|
.
12.3 /
5.5
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/11.xml
|
.
789.9 /
298.4
(-)
|
.
11.7 /
6.9
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/12.xml
|
.
653.6 /
298.8
(-)
|
.
21.0 /
12.4
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/13.xml
|
.
638.9 /
298.3
(-)
|
.
15.4 /
8.1
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/14.xml
|
.
759.0 /
298.6
(-)
|
.
14.0 /
8.4
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/15.xml
|
.
740.2 /
298.4
(-)
|
.
579.3 /
296.1
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/16.xml
|
.
690.9 /
298.8
(-)
|
.
606.5 /
296.1
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/17.xml
|
.
734.4 /
298.5
(-)
|
.
567.3 /
296.1
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/18.xml
|
.
483.3 /
298.4
(-)
|
.
510.7 /
296.3
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/19.xml
|
.
607.2 /
299.1
(-)
|
.
605.9 /
296.1
(0)
|
time_Complexity_Full_Rewriting/Beerendonk_07/2.xml
|
.
601.2 /
298.3
(-)
|
.
10.7 /
7.2
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/20.xml
|
.
588.2 /
298.5
(-)
|
.
628.5 /
296.3
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/21.xml
|
.
689.3 /
300.0
(-)
|
.
626.2 /
296.1
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/22.xml
|
.
649.3 /
300.0
(-)
|
.
12.5 /
6.7
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/23.xml
|
.
789.1 /
298.6
(-)
|
.
14.0 /
7.1
(0)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/24.xml
|
.
667.7 /
298.7
(-)
|
.
740.1 /
296.2
(0)
|
time_Complexity_Full_Rewriting/Beerendonk_07/3.xml
|
.
677.7 /
298.8
(-)
|
.
15.8 /
7.6
(0)
|
time_Complexity_Full_Rewriting/Beerendonk_07/4.xml
|
.
563.6 /
298.9
(-)
|
.
7.2 /
3.2
(0)
|
time_Complexity_Full_Rewriting/Beerendonk_07/5.xml
|
.
678.4 /
298.6
(-)
|
.
74.9 /
34.6
(0)
|
time_Complexity_Full_Rewriting/Beerendonk_07/6.xml
|
.
741.1 /
298.5
(-)
|
.
7.4 /
3.0
(0)
|
time_Complexity_Full_Rewriting/Beerendonk_07/7.xml
|
.
621.5 /
298.4
(-)
|
.
797.9 /
296.2
(0)
|
time_Complexity_Full_Rewriting/Beerendonk_07/8.xml
|
.
578.9 /
298.6
(-)
|
.
695.0 /
296.2
(0)
|
time_Complexity_Full_Rewriting/Beerendonk_07/9.xml
|
.
678.4 /
300.1
(-)
|
.
600.0 /
296.3
(0)
|
e_Complexity_Full_Rewriting/CiME_04/ack_prolog.xml
|
.
790.7 /
298.6
(-)
|
.
17.7 /
10.0
(0)
|
_Complexity_Full_Rewriting/CiME_04/append-hard.xml
|
.
608.4 /
298.3
(-)
|
.
8.7 /
3.3
(0)
|
Complexity_Full_Rewriting/CiME_04/append-wrong.xml
|
.
605.2 /
299.9
(-)
|
.
8.5 /
4.1
(0)
|
ntime_Complexity_Full_Rewriting/CiME_04/append.xml
|
?/n^2
2.2 /
0.9
(-)
|
?/n^1
1.0 /
0.4
(1)
|
Runtime_Complexity_Full_Rewriting/CiME_04/big.xml
|
.
673.1 /
298.7
(-)
|
.
826.5 /
296.1
(0)
|
Runtime_Complexity_Full_Rewriting/CiME_04/dpqs.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
me_Complexity_Full_Rewriting/CiME_04/fact-hard.xml
|
.
523.2 /
298.2
(-)
|
.
85.7 /
47.2
(0)
|
me_Complexity_Full_Rewriting/CiME_04/filliatre.xml
|
.
671.9 /
298.6
(-)
|
.
321.2 /
154.6
(0)
|
e_Complexity_Full_Rewriting/CiME_04/filliatre2.xml
|
.
520.4 /
298.6
(-)
|
.
475.8 /
296.4
(0)
|
e_Complexity_Full_Rewriting/CiME_04/filliatre3.xml
|
.
584.5 /
298.7
(-)
|
.
200.4 /
83.9
(0)
|
me_Complexity_Full_Rewriting/CiME_04/intersect.xml
|
?/n^2
16.1 /
7.1
(-)
|
.
78.0 /
65.5
(0)
|
l_Rewriting/CiME_04/list-sum-prod-assoc-append.xml
|
.
612.2 /
298.8
(-)
|
.
33.1 /
18.2
(0)
|
ity_Full_Rewriting/CiME_04/list-sum-prod-assoc.xml
|
.
591.0 /
298.6
(-)
|
.
28.9 /
15.3
(0)
|
ting/CiME_04/list-sum-prod-bin-assoc-distr-app.xml
|
.
584.9 /
299.0
(-)
|
.
589.0 /
296.3
(0)
|
Full_Rewriting/CiME_04/list-sum-prod-bin-assoc.xml
|
.
588.5 /
300.0
(-)
|
.
631.2 /
296.2
(0)
|
exity_Full_Rewriting/CiME_04/list-sum-prod-bin.xml
|
.
674.8 /
298.9
(-)
|
.
604.4 /
296.1
(0)
|
omplexity_Full_Rewriting/CiME_04/list-sum-prod.xml
|
.
601.8 /
298.3
(-)
|
.
20.5 /
11.7
(0)
|
Runtime_Complexity_Full_Rewriting/CiME_04/log2.xml
|
.
603.4 /
298.2
(-)
|
.
680.2 /
296.2
(0)
|
Runtime_Complexity_Full_Rewriting/CiME_04/lse.xml
|
?/n^2
68.9 /
29.3
(-)
|
.
92.2 /
52.6
(0)
|
ntime_Complexity_Full_Rewriting/CiME_04/maude2.xml
|
.
675.3 /
298.5
(-)
|
.
633.9 /
296.2
(0)
|
ntime_Complexity_Full_Rewriting/CiME_04/mucrl1.xml
|
.
565.6 /
300.0
(-)
|
.
561.1 /
296.5
(0)
|
Complexity_Full_Rewriting/CiME_04/ternary-hard.xml
|
.
877.7 /
298.4
(-)
|
.
597.4 /
296.2
(0)
|
time_Complexity_Full_Rewriting/CiME_04/ternary.xml
|
.
486.0 /
298.3
(-)
|
.
763.6 /
296.2
(0)
|
Runtime_Complexity_Full_Rewriting/CiME_04/tree.xml
|
.
567.9 /
299.3
(-)
|
.
464.3 /
296.4
(0)
|
Runtime_Complexity_Full_Rewriting/Der95/06.xml
|
?/n^1
0.1 /
0.2
(-)
|
?/n^1
0.2 /
0.5
(1)
|
Runtime_Complexity_Full_Rewriting/Der95/07.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.0 /
0.0
(1)
|
Runtime_Complexity_Full_Rewriting/Der95/08.xml
|
?/n^2
1.8 /
0.7
(-)
|
?/n^2
3.2 /
2.4
(1)
|
Runtime_Complexity_Full_Rewriting/Der95/11.xml
|
?/n^2
58.3 /
25.5
(-)
|
?/n^2
9.2 /
4.9
(1)
|
Runtime_Complexity_Full_Rewriting/Der95/12.xml
|
.
730.9 /
298.5
(-)
|
.
20.2 /
12.4
(0)
|
Runtime_Complexity_Full_Rewriting/Der95/18.xml
|
?/n^2
0.9 /
0.6
(-)
|
?/n^1
0.3 /
0.2
(1)
|
Runtime_Complexity_Full_Rewriting/Der95/20.xml
|
.
566.0 /
298.3
(-)
|
.
55.9 /
28.9
(0)
|
Runtime_Complexity_Full_Rewriting/Der95/21.xml
|
.
602.5 /
299.4
(-)
|
.
96.1 /
60.3
(0)
|
Runtime_Complexity_Full_Rewriting/Der95/27.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.1 /
0.2
(1)
|
Runtime_Complexity_Full_Rewriting/Der95/31.xml
|
.
653.4 /
300.0
(-)
|
.
13.7 /
8.9
(0)
|
Runtime_Complexity_Full_Rewriting/Der95/32.xml
|
.
723.5 /
300.0
(-)
|
.
13.6 /
8.2
(0)
|
Runtime_Complexity_Full_Rewriting/Der95/33.xml
|
.
604.0 /
299.1
(-)
|
.
603.0 /
296.1
(0)
|
_Complexity_Full_Rewriting/Endrullis_06/direct.xml
|
?/n^1
1.0 /
0.7
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade01.xml
|
.
572.2 /
298.9
(-)
|
.
9.3 /
4.1
(0)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade03.xml
|
.
611.9 /
298.4
(-)
|
.
10.4 /
5.6
(0)
|
time_Complexity_Full_Rewriting/GTSSK07/cade04t.xml
|
.
608.5 /
298.3
(-)
|
.
8.4 /
4.3
(0)
|
time_Complexity_Full_Rewriting/GTSSK07/cade05t.xml
|
.
757.3 /
298.5
(-)
|
.
842.5 /
296.2
(0)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade06.xml
|
.
654.5 /
300.1
(-)
|
.
601.6 /
296.2
(0)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade07.xml
|
.
699.9 /
298.4
(-)
|
.
12.5 /
7.3
(0)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade08.xml
|
.
734.9 /
300.0
(-)
|
.
605.5 /
296.2
(0)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade09.xml
|
.
689.8 /
298.5
(-)
|
.
12.1 /
6.3
(0)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade10.xml
|
.
605.7 /
298.5
(-)
|
.
19.0 /
12.9
(0)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade11.xml
|
.
511.3 /
298.6
(-)
|
.
16.1 /
9.6
(0)
|
time_Complexity_Full_Rewriting/GTSSK07/cade12t.xml
|
.
692.3 /
298.9
(-)
|
.
668.4 /
296.1
(0)
|
time_Complexity_Full_Rewriting/GTSSK07/cade13t.xml
|
.
618.1 /
298.3
(-)
|
.
18.6 /
9.8
(0)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade14.xml
|
.
690.3 /
298.4
(-)
|
.
15.6 /
7.2
(0)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade15.xml
|
.
650.8 /
298.5
(-)
|
.
136.9 /
85.8
(0)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade16.xml
|
.
603.9 /
298.6
(-)
|
.
75.7 /
46.5
(0)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade17.xml
|
.
693.3 /
298.9
(-)
|
.
633.3 /
296.1
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/n002.xml
|
.
24.6 /
12.6
(-)
|
.
15.7 /
8.0
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/n003.xml
|
.
58.3 /
28.7
(-)
|
.
15.3 /
8.1
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/n004.xml
|
.
36.5 /
19.4
(-)
|
.
13.9 /
8.0
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/n005.xml
|
.
564.5 /
298.3
(-)
|
.
17.6 /
8.0
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/n006.xml
|
.
75.9 /
30.1
(-)
|
.
13.7 /
8.1
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/n007.xml
|
.
73.4 /
30.9
(-)
|
.
3.6 /
2.6
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t001.xml
|
.
709.4 /
298.8
(-)
|
.
618.1 /
296.1
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t002.xml
|
.
524.1 /
298.4
(-)
|
.
691.6 /
296.2
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t003.xml
|
.
683.7 /
299.1
(-)
|
.
523.2 /
296.3
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t004.xml
|
.
712.5 /
300.0
(-)
|
.
94.1 /
98.6
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t009.xml
|
.
346.9 /
298.2
(-)
|
.
530.6 /
296.2
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t011.xml
|
?/n^1
0.9 /
0.6
(-)
|
?/n^1
1.1 /
0.7
(1)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t012.xml
|
.
570.7 /
299.3
(-)
|
.
493.4 /
296.1
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t013.xml
|
.
706.7 /
300.0
(-)
|
.
38.3 /
22.9
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t014.xml
|
.
618.9 /
298.7
(-)
|
.
594.1 /
296.2
(0)
|
plexity_Full_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml
|
.
689.8 /
298.3
(-)
|
.
578.9 /
296.1
(0)
|
me_Complexity_Full_Rewriting/Mixed_TRS/fossacs.xml
|
.
818.8 /
298.9
(-)
|
.
78.0 /
33.6
(0)
|
untime_Complexity_Full_Rewriting/Mixed_TRS/gcd.xml
|
.
868.3 /
299.3
(-)
|
.
624.0 /
296.2
(0)
|
_Complexity_Full_Rewriting/Mixed_TRS/gcdMinMax.xml
|
.
548.4 /
298.6
(-)
|
.
606.0 /
296.1
(0)
|
Complexity_Full_Rewriting/Mixed_TRS/gcd_triple.xml
|
.
620.7 /
300.0
(-)
|
.
640.4 /
296.2
(0)
|
exity_Full_Rewriting/Mixed_TRS/hydra-Zantema06.xml
|
.
487.2 /
300.0
(-)
|
.
584.2 /
296.2
(0)
|
time_Complexity_Full_Rewriting/Mixed_TRS/hydra.xml
|
?/n^2
34.7 /
18.7
(-)
|
?/n^2
2.3 /
1.9
(1)
|
ime_Complexity_Full_Rewriting/Mixed_TRS/jones1.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ime_Complexity_Full_Rewriting/Mixed_TRS/jones2.xml
|
?/n^2
2.1 /
1.3
(-)
|
?/n^2
1.0 /
0.4
(1)
|
ime_Complexity_Full_Rewriting/Mixed_TRS/jones4.xml
|
?/n^1
0.3 /
0.5
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ime_Complexity_Full_Rewriting/Mixed_TRS/jones5.xml
|
.
667.3 /
298.5
(-)
|
.
4.4 /
2.0
(0)
|
ime_Complexity_Full_Rewriting/Mixed_TRS/jones6.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.2 /
0.1
(1)
|
me_Complexity_Full_Rewriting/Mixed_TRS/minsort.xml
|
.
679.4 /
298.7
(-)
|
.
665.2 /
296.2
(0)
|
me_Complexity_Full_Rewriting/Mixed_TRS/perfect.xml
|
.
589.2 /
298.8
(-)
|
.
15.4 /
6.6
(0)
|
e_Complexity_Full_Rewriting/Mixed_TRS/perfect2.xml
|
.
652.1 /
299.3
(-)
|
.
686.7 /
296.1
(0)
|
time_Complexity_Full_Rewriting/Mixed_TRS/test1.xml
|
.
596.4 /
298.6
(-)
|
.
4.6 /
2.1
(0)
|
time_Complexity_Full_Rewriting/Mixed_TRS/while.xml
|
.
646.5 /
298.4
(-)
|
.
7.5 /
3.2
(0)
|
me_Complexity_Full_Rewriting/Rubio_04/bintrees.xml
|
?/n^1
1.8 /
1.1
(-)
|
?/n^1
2.2 /
1.1
(1)
|
ntime_Complexity_Full_Rewriting/Rubio_04/bn122.xml
|
?/n^2
5.3 /
2.6
(-)
|
?/n^2
0.9 /
0.7
(1)
|
me_Complexity_Full_Rewriting/Rubio_04/division.xml
|
.
641.6 /
299.3
(-)
|
.
15.7 /
7.4
(0)
|
me_Complexity_Full_Rewriting/Rubio_04/elimdupl.xml
|
.
714.2 /
298.4
(-)
|
.
15.7 /
9.6
(0)
|
untime_Complexity_Full_Rewriting/Rubio_04/enno.xml
|
.
651.1 /
298.4
(-)
|
.
25.6 /
13.8
(0)
|
Runtime_Complexity_Full_Rewriting/Rubio_04/gcd.xml
|
.
705.0 /
299.8
(-)
|
.
18.3 /
9.3
(0)
|
Runtime_Complexity_Full_Rewriting/Rubio_04/gm.xml
|
.
658.4 /
298.3
(-)
|
.
11.8 /
5.5
(0)
|
untime_Complexity_Full_Rewriting/Rubio_04/gmnp.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.2 /
0.1
(1)
|
untime_Complexity_Full_Rewriting/Rubio_04/koen.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
e_Complexity_Full_Rewriting/Rubio_04/logarquot.xml
|
.
710.8 /
298.9
(-)
|
.
33.2 /
18.7
(0)
|
untime_Complexity_Full_Rewriting/Rubio_04/ma96.xml
|
.
697.2 /
298.5
(-)
|
.
647.4 /
296.5
(0)
|
ntime_Complexity_Full_Rewriting/Rubio_04/mfp95.xml
|
?/n^1
0.4 /
0.2
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ime_Complexity_Full_Rewriting/Rubio_04/nestrec.xml
|
.
699.5 /
298.2
(-)
|
.
89.7 /
65.9
(0)
|
untime_Complexity_Full_Rewriting/Rubio_04/p266.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ntime_Complexity_Full_Rewriting/Rubio_04/polo2.xml
|
?/n^2
51.9 /
26.7
(-)
|
?/n^2
6.6 /
3.5
(1)
|
untime_Complexity_Full_Rewriting/Rubio_04/prov.xml
|
.
723.0 /
298.7
(-)
|
.
10.5 /
5.7
(0)
|
ntime_Complexity_Full_Rewriting/Rubio_04/quick.xml
|
.
765.5 /
300.0
(-)
|
.
574.6 /
296.3
(0)
|
e_Complexity_Full_Rewriting/Rubio_04/quotminus.xml
|
.
747.0 /
298.8
(-)
|
.
15.0 /
8.6
(0)
|
ime_Complexity_Full_Rewriting/Rubio_04/revlist.xml
|
.
715.4 /
298.5
(-)
|
.
597.7 /
296.1
(0)
|
ime_Complexity_Full_Rewriting/Rubio_04/selsort.xml
|
.
639.6 /
298.6
(-)
|
.
592.5 /
296.2
(0)
|
ntime_Complexity_Full_Rewriting/Rubio_04/test4.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.2 /
0.2
(1)
|
ime_Complexity_Full_Rewriting/Rubio_04/test829.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ntime_Complexity_Full_Rewriting/Rubio_04/wst99.xml
|
.
636.3 /
300.0
(-)
|
.
36.4 /
19.9
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.02.xml
|
?/n^1
0.4 /
0.3
(-)
|
?/n^1
0.0 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.03.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.0 /
0.0
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.07.xml
|
?/n^2
5.3 /
2.2
(-)
|
?/n^2
3.3 /
1.7
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.09.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.11.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.2 /
0.2
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.12.xml
|
.
742.3 /
298.3
(-)
|
.
34.4 /
15.0
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.13.xml
|
?/n^1
2.4 /
1.2
(-)
|
?/n^1
0.2 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.14.xml
|
?/n^1
0.3 /
0.2
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.15.xml
|
.
574.1 /
298.4
(-)
|
.
5.3 /
2.9
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.16.xml
|
?/n^2
8.6 /
4.3
(-)
|
?/n^2
5.2 /
2.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.17.xml
|
?/n^2
1.2 /
0.9
(-)
|
?/n^2
0.7 /
0.3
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.18.xml
|
?/n^2
0.8 /
0.4
(-)
|
?/n^2
0.9 /
0.8
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.19.xml
|
.
544.7 /
298.5
(-)
|
?/n^2
3.0 /
1.2
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.20.xml
|
?/n^2
3.8 /
2.5
(-)
|
?/n^2
1.0 /
0.6
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.21.xml
|
.
425.0 /
298.4
(-)
|
.
4.7 /
2.7
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.22.xml
|
.
703.2 /
298.2
(-)
|
.
9.4 /
4.4
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.23.xml
|
.
672.1 /
298.3
(-)
|
.
18.1 /
10.3
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.24.xml
|
.
281.1 /
135.6
(-)
|
.
4.4 /
3.7
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.25.xml
|
.
665.1 /
298.4
(-)
|
.
10.7 /
4.5
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.26.xml
|
.
617.9 /
298.4
(-)
|
.
90.5 /
54.3
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.27.xml
|
.
591.3 /
298.3
(-)
|
.
12.4 /
6.9
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.28.xml
|
.
636.4 /
298.7
(-)
|
.
6.0 /
3.5
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.29.xml
|
.
639.1 /
298.5
(-)
|
?/n^2
2.8 /
1.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.30.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.2 /
0.2
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.31.xml
|
?/n^1
0.6 /
0.4
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.36.xml
|
?/n^1
1.3 /
0.9
(-)
|
?/n^1
0.2 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.37.xml
|
?/n^1
0.6 /
0.3
(-)
|
?/n^1
0.3 /
0.2
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.38.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.39.xml
|
.
597.1 /
298.7
(-)
|
.
25.2 /
8.4
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.40.xml
|
?/n^2
5.5 /
2.6
(-)
|
?/n^2
4.5 /
2.0
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.41.xml
|
?/n^1
2.9 /
2.4
(-)
|
?/n^1
0.4 /
0.2
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.42.xml
|
?/n^1
1.4 /
1.0
(-)
|
?/n^1
0.2 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.43.xml
|
.
847.3 /
299.6
(-)
|
.
244.3 /
140.8
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.44.xml
|
?/n^2
15.1 /
8.0
(-)
|
?/n^2
6.1 /
2.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.45.xml
|
?/n^2
164.3 /
83.2
(-)
|
.
621.1 /
296.1
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.47.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.1 /
0.2
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.48.xml
|
?/n^1
0.2 /
0.7
(-)
|
?/n^1
0.2 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.49.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.2 /
0.2
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.50.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.2 /
0.2
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.51.xml
|
.
674.6 /
298.5
(-)
|
.
12.7 /
7.5
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.52.xml
|
.
706.0 /
299.3
(-)
|
.
84.3 /
75.1
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.53.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.0 /
0.0
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.54.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.0 /
0.0
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.55.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.59.xml
|
?/n^2
0.4 /
0.2
(-)
|
?/n^1
0.3 /
0.2
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/2.61.xml
|
?/n^1
11.9 /
5.5
(-)
|
?/n^1
0.3 /
0.2
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.05.xml
|
?/n^2
2.3 /
1.1
(-)
|
?/n^2
0.9 /
0.6
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.06.xml
|
.
677.3 /
298.4
(-)
|
.
15.1 /
8.8
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.07.xml
|
?/n^1
0.3 /
0.2
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.09.xml
|
?/n^2
19.9 /
9.5
(-)
|
?/n^1
0.6 /
0.4
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.10.xml
|
?/n^2
7.5 /
3.7
(-)
|
?/n^2
4.1 /
1.9
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.12.xml
|
?/n^1
0.7 /
0.3
(-)
|
?/n^1
0.4 /
0.2
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.13.xml
|
.
564.7 /
298.6
(-)
|
.
13.7 /
8.6
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.16.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.17.xml
|
.
676.2 /
298.6
(-)
|
.
9.6 /
4.9
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.18.xml
|
?/n^2
115.1 /
45.2
(-)
|
?/n^2
2.4 /
1.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.22.xml
|
.
729.8 /
298.7
(-)
|
.
8.5 /
4.2
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.24.xml
|
.
722.6 /
298.6
(-)
|
.
629.3 /
296.2
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.25.xml
|
?/n^1
0.3 /
0.2
(-)
|
?/n^1
0.3 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.26.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.2 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.27.xml
|
.
940.8 /
298.6
(-)
|
.
714.7 /
296.1
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.28.xml
|
?/n^2
6.6 /
3.8
(-)
|
?/n^2
3.3 /
2.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.29.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.4 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.30.xml
|
?/n^1
0.5 /
0.3
(-)
|
?/n^1
0.4 /
0.2
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.31.xml
|
.
566.6 /
298.3
(-)
|
.
9.8 /
5.2
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.34.xml
|
.
505.9 /
299.4
(-)
|
.
26.7 /
12.2
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.35.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.0 /
0.0
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.38.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.2 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.42.xml
|
.
694.6 /
298.7
(-)
|
.
14.3 /
7.3
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.43.xml
|
.
662.8 /
299.4
(-)
|
.
68.0 /
25.4
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.45.xml
|
?/n^1
1.0 /
0.9
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.47.xml
|
?/n^1
1.8 /
1.3
(-)
|
?/n^1
1.9 /
0.9
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.48.xml
|
?/n^1
0.9 /
0.4
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.51.xml
|
?/n^2
2.0 /
1.6
(-)
|
?/n^2
1.9 /
1.0
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.53.xml
|
.
754.9 /
298.6
(-)
|
?/n^2
6.8 /
4.0
(1)
|
Runtime_Complexity_Full_Rewriting/SK90/4.54.xml
|
.
605.1 /
298.7
(-)
|
.
11.9 /
4.9
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.57.xml
|
.
651.0 /
299.2
(-)
|
.
662.1 /
296.2
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.59.xml
|
.
698.1 /
298.5
(-)
|
.
20.2 /
8.7
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.60.xml
|
.
817.4 /
298.8
(-)
|
.
712.2 /
296.2
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.61.xml
|
.
565.1 /
299.3
(-)
|
.
604.5 /
296.3
(0)
|
omplexity_Full_Rewriting/Secret_05_TRS/aprove2.xml
|
.
767.9 /
298.3
(-)
|
.
21.1 /
17.2
(0)
|
omplexity_Full_Rewriting/Secret_05_TRS/aprove3.xml
|
.
823.7 /
300.0
(-)
|
.
31.7 /
18.0
(0)
|
omplexity_Full_Rewriting/Secret_05_TRS/aprove4.xml
|
.
601.5 /
298.3
(-)
|
.
11.2 /
4.8
(0)
|
omplexity_Full_Rewriting/Secret_05_TRS/aprove5.xml
|
.
699.5 /
300.0
(-)
|
.
41.1 /
22.9
(0)
|
_Complexity_Full_Rewriting/Secret_05_TRS/cime2.xml
|
.
754.4 /
298.6
(-)
|
.
72.8 /
41.7
(0)
|
_Complexity_Full_Rewriting/Secret_05_TRS/cime3.xml
|
.
608.4 /
298.2
(-)
|
.
20.4 /
11.3
(0)
|
_Complexity_Full_Rewriting/Secret_05_TRS/cime4.xml
|
.
590.8 /
298.5
(-)
|
.
8.8 /
4.9
(0)
|
_Complexity_Full_Rewriting/Secret_05_TRS/cime5.xml
|
.
563.4 /
298.3
(-)
|
.
583.1 /
296.7
(0)
|
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa1.xml
|
.
617.0 /
299.8
(-)
|
.
601.9 /
296.2
(0)
|
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa2.xml
|
.
500.5 /
298.2
(-)
|
.
680.9 /
296.2
(0)
|
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa3.xml
|
.
554.3 /
299.1
(-)
|
.
232.0 /
128.4
(0)
|
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa4.xml
|
.
492.2 /
298.4
(-)
|
.
596.1 /
296.1
(0)
|
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa5.xml
|
.
619.2 /
298.6
(-)
|
.
618.5 /
296.2
(0)
|
e_Complexity_Full_Rewriting/Secret_05_TRS/ttt1.xml
|
.
611.7 /
299.1
(-)
|
.
16.6 /
10.7
(0)
|
e_Complexity_Full_Rewriting/Secret_05_TRS/ttt2.xml
|
.
631.9 /
298.8
(-)
|
.
36.6 /
17.3
(0)
|
ime_Complexity_Full_Rewriting/Secret_06_TRS/10.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.7 /
0.5
(1)
|
time_Complexity_Full_Rewriting/Secret_06_TRS/4.xml
|
?/n^1
0.3 /
0.2
(-)
|
?/n^1
0.1 /
0.1
(1)
|
time_Complexity_Full_Rewriting/Secret_06_TRS/6.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.0 /
0.0
(1)
|
omplexity_Full_Rewriting/Secret_06_TRS/addList.xml
|
.
688.9 /
298.8
(-)
|
.
613.2 /
296.2
(0)
|
Complexity_Full_Rewriting/Secret_06_TRS/divExp.xml
|
.
651.1 /
298.6
(-)
|
.
686.2 /
296.4
(0)
|
mplexity_Full_Rewriting/Secret_06_TRS/division.xml
|
.
805.2 /
298.9
(-)
|
.
27.4 /
15.1
(0)
|
Complexity_Full_Rewriting/Secret_06_TRS/double.xml
|
.
719.4 /
298.7
(-)
|
.
23.1 /
11.6
(0)
|
_Complexity_Full_Rewriting/Secret_06_TRS/gen-1.xml
|
?/n^2
26.0 /
11.5
(-)
|
?/n^2
4.1 /
1.5
(1)
|
Complexity_Full_Rewriting/Secret_06_TRS/gen-17.xml
|
.
513.3 /
298.2
(-)
|
?/n^1
0.7 /
0.5
(1)
|
Complexity_Full_Rewriting/Secret_06_TRS/gen-28.xml
|
.
588.7 /
299.0
(-)
|
.
20.2 /
9.9
(0)
|
plexity_Full_Rewriting/Secret_06_TRS/logarithm.xml
|
.
748.0 /
298.9
(-)
|
.
18.4 /
10.2
(0)
|
plexity_Full_Rewriting/Secret_06_TRS/nrOfNodes.xml
|
.
718.6 /
298.9
(-)
|
.
116.7 /
54.8
(0)
|
omplexity_Full_Rewriting/Secret_06_TRS/reverse.xml
|
.
775.5 /
298.6
(-)
|
.
71.2 /
41.7
(0)
|
omplexity_Full_Rewriting/Secret_06_TRS/sumList.xml
|
.
689.4 /
298.5
(-)
|
.
67.3 /
31.4
(0)
|
_Complexity_Full_Rewriting/Secret_06_TRS/times.xml
|
.
755.7 /
298.6
(-)
|
.
25.9 /
13.4
(0)
|
Complexity_Full_Rewriting/Secret_06_TRS/toList.xml
|
.
868.1 /
300.0
(-)
|
.
188.1 /
96.2
(0)
|
_Complexity_Full_Rewriting/Secret_06_TRS/tpa04.xml
|
.
578.7 /
298.4
(-)
|
.
599.5 /
296.2
(0)
|
_Complexity_Full_Rewriting/Secret_06_TRS/tpa05.xml
|
.
596.5 /
300.0
(-)
|
.
650.9 /
296.2
(0)
|
_Complexity_Full_Rewriting/Secret_06_TRS/tpa06.xml
|
.
468.9 /
298.3
(-)
|
.
605.1 /
296.1
(0)
|
_Complexity_Full_Rewriting/Secret_06_TRS/tpa07.xml
|
.
647.3 /
298.5
(-)
|
.
627.2 /
296.1
(0)
|
_Complexity_Full_Rewriting/Secret_06_TRS/tpa08.xml
|
.
624.4 /
298.7
(-)
|
.
578.8 /
296.2
(0)
|
_Complexity_Full_Rewriting/Secret_06_TRS/tpa09.xml
|
.
671.8 /
298.7
(-)
|
.
623.8 /
296.1
(0)
|
_Complexity_Full_Rewriting/Secret_06_TRS/tpa10.xml
|
.
528.9 /
298.4
(-)
|
.
678.7 /
296.3
(0)
|
time_Complexity_Full_Rewriting/Secret_07_TRS/3.xml
|
.
567.9 /
298.5
(-)
|
.
597.0 /
296.2
(0)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove01.xml
|
.
627.1 /
298.5
(-)
|
.
53.8 /
30.3
(0)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove02.xml
|
.
666.4 /
298.4
(-)
|
.
42.7 /
26.6
(0)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove03.xml
|
.
585.1 /
298.6
(-)
|
.
662.2 /
296.1
(0)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove04.xml
|
.
702.9 /
299.4
(-)
|
.
689.8 /
296.2
(0)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove05.xml
|
.
726.6 /
298.5
(-)
|
.
63.9 /
37.2
(0)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove06.xml
|
.
652.3 /
298.5
(-)
|
.
53.1 /
27.6
(0)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove07.xml
|
.
632.4 /
298.6
(-)
|
.
61.5 /
33.7
(0)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove08.xml
|
.
896.1 /
298.6
(-)
|
.
36.1 /
21.0
(0)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove09.xml
|
.
845.7 /
299.0
(-)
|
.
38.9 /
20.6
(0)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove10.xml
|
.
694.3 /
299.1
(-)
|
.
616.1 /
296.2
(0)
|
omplexity_Full_Rewriting/Secret_07_TRS/secret1.xml
|
.
679.0 /
298.7
(-)
|
.
130.0 /
80.2
(0)
|
omplexity_Full_Rewriting/Secret_07_TRS/secret3.xml
|
.
644.2 /
298.6
(-)
|
.
47.3 /
23.6
(0)
|
omplexity_Full_Rewriting/Secret_07_TRS/secret4.xml
|
.
657.4 /
298.9
(-)
|
.
634.5 /
296.3
(0)
|
omplexity_Full_Rewriting/Secret_07_TRS/secret5.xml
|
.
598.7 /
298.6
(-)
|
.
676.5 /
296.2
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.14.xml
|
.
676.8 /
298.4
(-)
|
?/n^1
0.3 /
0.2
(1)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.16.xml
|
.
652.4 /
298.8
(-)
|
?/n^1
0.2 /
0.1
(1)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.17.xml
|
?/n^1
0.4 /
0.7
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.19.xml
|
.
644.3 /
300.0
(-)
|
.
17.1 /
17.8
(0)
|
xity_Full_Rewriting/Strategy_removed_AG01/#4.2.xml
|
.
685.3 /
298.3
(-)
|
?/n^1
0.3 /
0.2
(1)
|
ty_Full_Rewriting/Strategy_removed_AG01/#4.20a.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.0 /
0.0
(1)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.22.xml
|
.
664.1 /
298.6
(-)
|
.
6.0 /
2.8
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.23.xml
|
.
638.5 /
298.4
(-)
|
.
6.9 /
2.8
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.25.xml
|
.
691.0 /
298.5
(-)
|
.
2.9 /
1.2
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.26.xml
|
.
603.7 /
298.6
(-)
|
.
10.0 /
5.0
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.27.xml
|
.
668.0 /
298.5
(-)
|
.
597.6 /
296.1
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.28.xml
|
?/n^2
59.6 /
24.0
(-)
|
?/n^2
8.8 /
3.7
(1)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.29.xml
|
.
650.7 /
298.8
(-)
|
.
738.5 /
296.2
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.30.xml
|
.
767.6 /
298.9
(-)
|
.
16.5 /
8.6
(0)
|
ty_Full_Rewriting/Strategy_removed_AG01/#4.30a.xml
|
.
767.8 /
298.7
(-)
|
.
17.0 /
6.8
(0)
|
ty_Full_Rewriting/Strategy_removed_AG01/#4.30b.xml
|
.
647.8 /
298.4
(-)
|
.
15.9 /
8.9
(0)
|
ty_Full_Rewriting/Strategy_removed_AG01/#4.30c.xml
|
.
633.2 /
298.2
(-)
|
.
14.3 /
8.8
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.32.xml
|
.
592.6 /
298.2
(-)
|
.
13.7 /
7.5
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.33.xml
|
.
726.1 /
298.8
(-)
|
.
91.3 /
49.3
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.34.xml
|
.
727.6 /
298.8
(-)
|
.
19.0 /
10.3
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.35.xml
|
.
598.1 /
298.6
(-)
|
.
723.7 /
296.1
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.36.xml
|
.
671.7 /
299.4
(-)
|
.
578.8 /
296.2
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.37.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ty_Full_Rewriting/Strategy_removed_AG01/#4.37a.xml
|
?/n^1
0.3 /
0.2
(-)
|
?/n^1
0.1 /
0.1
(1)
|
xity_Full_Rewriting/Strategy_removed_AG01/#4.7.xml
|
.
792.6 /
298.5
(-)
|
.
3.7 /
2.3
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml
|
.
153.4 /
67.8
(-)
|
.
4.4 /
2.4
(0)
|
l_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml
|
.
428.3 /
218.5
(-)
|
.
9.1 /
3.8
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml
|
.
659.0 /
298.7
(-)
|
.
17.3 /
7.5
(0)
|
Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml
|
.
94.2 /
36.0
(-)
|
.
4.5 /
2.3
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml
|
.
341.9 /
158.4
(-)
|
.
9.6 /
4.0
(0)
|
ull_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml
|
.
578.2 /
298.7
(-)
|
.
118.8 /
72.8
(0)
|
l_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml
|
.
365.9 /
166.1
(-)
|
.
6.4 /
2.9
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml
|
.
66.6 /
37.2
(-)
|
.
55.5 /
30.4
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml
|
.
592.8 /
298.3
(-)
|
.
10.9 /
4.2
(0)
|
l_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml
|
.
433.8 /
190.3
(-)
|
.
8.6 /
4.9
(0)
|
ewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml
|
.
307.9 /
134.6
(-)
|
.
5.5 /
3.3
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml
|
.
689.0 /
298.5
(-)
|
.
8.7 /
5.5
(0)
|
writing/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml
|
.
794.5 /
298.8
(-)
|
.
12.8 /
7.4
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml
|
.
704.3 /
298.7
(-)
|
.
640.7 /
296.2
(0)
|
Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml
|
.
794.0 /
299.3
(-)
|
.
14.1 /
10.8
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml
|
.
779.8 /
298.9
(-)
|
.
30.2 /
18.4
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml
|
.
707.1 /
299.3
(-)
|
.
14.6 /
6.6
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml
|
.
199.3 /
118.9
(-)
|
.
4.0 /
2.6
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml
|
.
16.1 /
7.1
(-)
|
.
17.1 /
8.0
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml
|
.
732.9 /
298.3
(-)
|
.
7.0 /
2.8
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex5_7_Luc97.xml
|
.
714.3 /
298.2
(-)
|
.
27.0 /
15.9
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml
|
.
688.6 /
298.7
(-)
|
.
15.7 /
8.0
(0)
|
Rewriting/Strategy_removed_CSR_05/Ex6_15_AEL02.xml
|
.
771.6 /
298.8
(-)
|
.
19.4 /
11.1
(0)
|
Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml
|
.
585.0 /
272.0
(-)
|
.
7.7 /
4.8
(0)
|
ull_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml
|
.
224.0 /
99.3
(-)
|
.
15.4 /
8.2
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml
|
.
259.1 /
123.9
(-)
|
.
4.8 /
2.6
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml
|
.
388.1 /
196.0
(-)
|
.
8.4 /
4.3
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml
|
.
621.6 /
298.7
(-)
|
.
22.0 /
14.3
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml
|
.
773.1 /
298.4
(-)
|
.
17.1 /
8.1
(0)
|
ting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml
|
.
728.8 /
298.5
(-)
|
.
22.7 /
11.3
(0)
|
Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml
|
.
13.7 /
5.1
(-)
|
.
16.3 /
8.0
(0)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml
|
.
653.1 /
298.6
(-)
|
.
33.6 /
15.1
(0)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml
|
.
554.3 /
298.6
(-)
|
.
21.5 /
8.1
(0)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml
|
.
847.0 /
298.7
(-)
|
.
189.2 /
121.6
(0)
|
writing/Strategy_removed_CSR_05/ExIntrod_Zan97.xml
|
.
646.6 /
298.3
(-)
|
.
651.4 /
296.2
(0)
|
ing/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml
|
.
426.5 /
298.8
(-)
|
.
12.7 /
5.4
(0)
|
y_Full_Rewriting/Strategy_removed_mixed_05/ex1.xml
|
.
619.2 /
298.3
(-)
|
.
14.9 /
8.0
(0)
|
y_Full_Rewriting/Strategy_removed_mixed_05/ex2.xml
|
.
625.3 /
298.7
(-)
|
.
6.3 /
3.2
(0)
|
y_Full_Rewriting/Strategy_removed_mixed_05/ex3.xml
|
.
612.7 /
298.8
(-)
|
.
15.6 /
8.1
(0)
|
y_Full_Rewriting/Strategy_removed_mixed_05/ex4.xml
|
.
716.8 /
298.3
(-)
|
.
22.7 /
11.4
(0)
|
y_Full_Rewriting/Strategy_removed_mixed_05/ex5.xml
|
.
667.8 /
298.3
(-)
|
.
14.6 /
8.1
(0)
|
y_Full_Rewriting/Strategy_removed_mixed_05/ex6.xml
|
.
666.5 /
300.0
(-)
|
.
18.5 /
10.1
(0)
|
ull_Rewriting/Strategy_removed_mixed_05/muladd.xml
|
.
621.3 /
298.2
(-)
|
.
5.0 /
2.3
(0)
|
ull_Rewriting/Strategy_removed_mixed_05/test10.xml
|
.
585.3 /
298.6
(-)
|
.
25.2 /
11.5
(0)
|
ull_Rewriting/Strategy_removed_mixed_05/test76.xml
|
.
635.2 /
298.5
(-)
|
.
4.7 /
3.0
(0)
|
ull_Rewriting/Strategy_removed_mixed_05/test77.xml
|
.
640.3 /
298.8
(-)
|
.
8.1 /
4.4
(0)
|
ll_Rewriting/Strategy_removed_mixed_05/test830.xml
|
?/n^1
0.7 /
0.8
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ll_Rewriting/Strategy_removed_mixed_05/tricky1.xml
|
.
683.9 /
299.7
(-)
|
?/n^0
0.2 /
0.1
(1)
|
omplexity_Full_Rewriting/TCT_12/polycounter-10.xml
|
.
631.8 /
298.4
(-)
|
.
121.1 /
80.9
(0)
|
Complexity_Full_Rewriting/TCT_12/polycounter-5.xml
|
.
620.6 /
298.8
(-)
|
?/n^5
21.8 /
11.8
(1)
|
_Complexity_Full_Rewriting/TCT_12/recursion-10.xml
|
.
656.1 /
298.3
(-)
|
.
58.5 /
47.0
(0)
|
e_Complexity_Full_Rewriting/TCT_12/recursion-5.xml
|
.
591.0 /
299.4
(-)
|
.
26.9 /
16.6
(0)
|
Runtime_Complexity_Full_Rewriting/TCT_12/sat.xml
|
.
649.0 /
298.8
(-)
|
.
265.0 /
167.5
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C.xml
|
.
858.3 /
298.8
(-)
|
.
574.6 /
296.3
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml
|
.
649.6 /
298.4
(-)
|
.
23.2 /
16.5
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml
|
.
498.5 /
300.0
(-)
|
.
10.8 /
6.2
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml
|
.
12.9 /
5.1
(-)
|
.
16.2 /
8.0
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml
|
.
827.0 /
298.5
(-)
|
.
9.7 /
6.7
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml
|
.
801.9 /
298.5
(-)
|
.
246.5 /
194.9
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM.xml
|
.
603.5 /
298.4
(-)
|
.
12.6 /
7.3
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ull_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ull_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.2 /
0.2
(1)
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml
|
.
9.6 /
5.2
(-)
|
.
13.2 /
8.0
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.3 /
0.6
(1)
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml
|
.
777.9 /
300.0
(-)
|
.
562.0 /
296.3
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR.xml
|
.
689.5 /
298.2
(-)
|
.
27.2 /
14.9
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml
|
?/n^1
10.8 /
6.9
(-)
|
?/n^1
0.9 /
0.5
(1)
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z.xml
|
.
694.9 /
298.7
(-)
|
.
22.8 /
10.5
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml
|
.
772.7 /
298.4
(-)
|
.
648.8 /
296.3
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml
|
.
777.1 /
298.3
(-)
|
.
7.6 /
4.6
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml
|
.
37.6 /
20.1
(-)
|
.
12.8 /
8.0
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.2 /
0.2
(1)
|
ull_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ull_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml
|
.
716.7 /
299.3
(-)
|
.
575.6 /
296.1
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR.xml
|
.
775.0 /
298.4
(-)
|
.
64.2 /
33.2
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml
|
.
616.3 /
298.4
(-)
|
.
697.0 /
296.0
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_L.xml
|
.
0.2 /
0.1
(-)
|
.
0.1 /
0.1
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z.xml
|
.
836.6 /
298.6
(-)
|
.
53.3 /
23.9
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml
|
.
541.1 /
298.4
(-)
|
.
648.7 /
296.3
(0)
|
l_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml
|
.
806.6 /
299.2
(-)
|
.
17.8 /
8.9
(0)
|
l_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml
|
.
595.3 /
298.3
(-)
|
.
8.1 /
3.7
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml
|
?/n^1
5.0 /
3.5
(-)
|
?/n^1
0.3 /
0.2
(1)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml
|
.
646.3 /
298.7
(-)
|
.
547.2 /
296.4
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR.xml
|
.
684.4 /
298.7
(-)
|
.
22.2 /
13.8
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml
|
.
588.0 /
300.0
(-)
|
.
16.9 /
8.7
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml
|
.
28.5 /
15.2
(-)
|
.
14.3 /
8.1
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml
|
.
626.5 /
298.5
(-)
|
.
18.1 /
8.5
(0)
|
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_C.xml
|
.
569.8 /
298.3
(-)
|
.
673.4 /
296.2
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_FR.xml
|
.
610.6 /
298.2
(-)
|
.
27.6 /
15.3
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml
|
.
717.4 /
298.6
(-)
|
.
701.1 /
296.1
(0)
|
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_Z.xml
|
.
687.3 /
298.7
(-)
|
.
115.5 /
64.9
(0)
|
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_C.xml
|
.
653.6 /
300.0
(-)
|
.
28.8 /
15.5
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml
|
.
752.8 /
298.8
(-)
|
.
6.6 /
3.8
(0)
|
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml
|
.
18.7 /
6.6
(-)
|
.
13.7 /
8.0
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml
|
.
623.8 /
298.6
(-)
|
.
589.9 /
296.2
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR.xml
|
.
605.8 /
298.3
(-)
|
.
12.1 /
5.1
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml
|
.
611.9 /
298.4
(-)
|
.
18.7 /
11.7
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml
|
.
798.5 /
298.4
(-)
|
.
10.7 /
5.4
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml
|
?/n^1
1.4 /
0.9
(-)
|
?/n^1
2.3 /
1.2
(1)
|
ull_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml
|
.
640.5 /
298.3
(-)
|
.
41.8 /
23.2
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml
|
.
621.9 /
298.2
(-)
|
.
657.9 /
288.9
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml
|
.
368.2 /
184.5
(-)
|
.
20.0 /
12.4
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.2 /
0.2
(1)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml
|
.
895.9 /
298.2
(-)
|
.
557.4 /
296.3
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml
|
.
13.1 /
5.2
(-)
|
.
13.5 /
8.2
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.3 /
0.3
(1)
|
ull_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.5 /
0.3
(1)
|
ull_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml
|
?/n^1
0.4 /
0.3
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml
|
.
799.3 /
298.3
(-)
|
.
71.9 /
36.1
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex24_GM04_FR.xml
|
.
556.1 /
298.6
(-)
|
.
5.3 /
2.4
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml
|
.
838.2 /
298.4
(-)
|
.
8.8 /
4.2
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml
|
.
12.1 /
6.7
(-)
|
.
12.4 /
8.0
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_Z.xml
|
.
753.7 /
299.0
(-)
|
.
5.3 /
2.4
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml
|
.
682.1 /
298.5
(-)
|
.
472.2 /
296.0
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml
|
.
624.4 /
298.5
(-)
|
.
7.7 /
4.2
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml
|
.
20.3 /
7.6
(-)
|
.
13.8 /
8.1
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml
|
?/n^1
0.5 /
0.5
(-)
|
?/n^1
0.6 /
0.4
(1)
|
ull_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml
|
?/n^1
0.3 /
0.2
(-)
|
?/n^1
0.8 /
0.4
(1)
|
ull_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
1.0 /
0.5
(1)
|
Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.3 /
0.2
(1)
|
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml
|
.
470.2 /
299.0
(-)
|
.
678.3 /
296.3
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR.xml
|
.
604.4 /
298.5
(-)
|
.
42.3 /
23.4
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml
|
.
608.8 /
298.3
(-)
|
.
32.2 /
19.9
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.2 /
0.1
(1)
|
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_Z.xml
|
.
869.3 /
298.7
(-)
|
.
71.3 /
43.4
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml
|
.
754.0 /
298.5
(-)
|
.
549.4 /
296.2
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR.xml
|
.
724.8 /
298.7
(-)
|
.
62.1 /
31.5
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml
|
.
821.3 /
298.6
(-)
|
.
77.7 /
49.9
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml
|
.
667.4 /
298.3
(-)
|
.
32.1 /
17.9
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml
|
.
621.9 /
298.4
(-)
|
.
41.0 /
22.5
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C.xml
|
.
621.9 /
300.0
(-)
|
.
674.9 /
296.2
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR.xml
|
.
752.2 /
298.6
(-)
|
.
24.9 /
15.5
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml
|
.
691.0 /
298.8
(-)
|
.
18.7 /
11.2
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml
|
?/n^1
4.2 /
2.5
(-)
|
?/n^1
0.9 /
0.7
(1)
|
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml
|
.
607.6 /
298.6
(-)
|
.
581.4 /
296.2
(0)
|
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml
|
.
553.1 /
298.5
(-)
|
.
6.9 /
2.7
(0)
|
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml
|
.
826.6 /
299.6
(-)
|
.
13.1 /
6.4
(0)
|
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml
|
.
595.7 /
298.6
(-)
|
.
5.6 /
2.1
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml
|
.
885.3 /
298.4
(-)
|
.
691.9 /
296.1
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR.xml
|
.
694.6 /
298.7
(-)
|
.
38.4 /
22.9
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml
|
.
547.3 /
298.6
(-)
|
.
20.1 /
12.1
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z.xml
|
.
736.9 /
299.1
(-)
|
.
51.5 /
34.2
(0)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml
|
.
658.4 /
298.7
(-)
|
.
483.9 /
296.3
(0)
|
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml
|
.
643.2 /
300.0
(-)
|
.
28.5 /
16.0
(0)
|
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml
|
.
585.7 /
299.1
(-)
|
.
25.0 /
14.7
(0)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml
|
.
706.5 /
298.5
(-)
|
.
13.5 /
7.0
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml
|
.
611.1 /
298.6
(-)
|
.
663.2 /
296.3
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex49_GM04_FR.xml
|
.
763.9 /
298.7
(-)
|
.
166.1 /
103.9
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml
|
.
834.5 /
299.1
(-)
|
.
50.0 /
26.0
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.1
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml
|
.
516.9 /
298.3
(-)
|
REJECTED-WORST_CASE(?,O(n^1))
5.3 /
2.9
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml
|
.
652.7 /
298.8
(-)
|
.
122.7 /
61.1
(0)
|
l_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml
|
.
740.8 /
298.8
(-)
|
.
10.0 /
5.6
(0)
|
l_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml
|
.
772.4 /
300.0
(-)
|
.
9.6 /
4.8
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml
|
?/n^1
0.0 /
0.0
(-)
|
?/n^1
0.0 /
0.0
(1)
|
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml
|
.
697.5 /
298.8
(-)
|
.
9.4 /
5.5
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.4 /
0.3
(1)
|
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml
|
?/n^1
0.4 /
0.2
(-)
|
?/n^1
0.3 /
0.1
(1)
|
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.1 /
0.1
(1)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.1 /
0.0
(1)
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml
|
.
833.7 /
300.0
(-)
|
.
678.0 /
296.1
(0)
|
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml
|
.
593.5 /
298.7
(-)
|
.
586.7 /
296.3
(0)
|
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml
|
.
632.8 /
298.6
(-)
|
.
669.0 /
296.1
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml
|
.
609.3 /
298.3
(-)
|
.
21.3 /
10.9
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml
|
.
730.7 /
300.0
(-)
|
.
613.9 /
299.4
(0)
|
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml
|
.
686.1 /
298.3
(-)
|
.
8.4 /
5.5
(0)
|
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml
|
.
583.2 /
298.2
(-)
|
.
13.3 /
7.1
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.1 /
0.0
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml
|
.
702.1 /
298.4
(-)
|
.
5.8 /
3.0
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml
|
?/n^1
0.4 /
0.2
(-)
|
?/n^1
0.5 /
0.3
(1)
|
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml
|
?/n^1
0.3 /
0.2
(-)
|
?/n^1
0.2 /
0.2
(1)
|
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml
|
?/n^1
0.3 /
0.2
(-)
|
?/n^1
0.4 /
0.3
(1)
|
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml
|
.
0.0 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml
|
.
511.7 /
300.0
(-)
|
.
658.6 /
296.2
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR.xml
|
.
510.8 /
298.4
(-)
|
.
707.5 /
296.1
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml
|
.
608.8 /
299.0
(-)
|
.
621.2 /
296.3
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_Z.xml
|
.
475.4 /
298.3
(-)
|
.
632.7 /
296.2
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml
|
.
605.5 /
300.0
(-)
|
.
590.7 /
296.2
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml
|
.
737.4 /
298.3
(-)
|
.
9.4 /
6.0
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml
|
.
688.1 /
298.6
(-)
|
.
18.1 /
10.1
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.0
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml
|
.
642.7 /
300.0
(-)
|
.
8.6 /
5.2
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C.xml
|
.
714.5 /
298.5
(-)
|
.
654.9 /
296.2
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR.xml
|
.
702.1 /
298.7
(-)
|
.
44.2 /
27.8
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml
|
.
671.4 /
298.6
(-)
|
.
45.8 /
29.5
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z.xml
|
.
629.6 /
298.5
(-)
|
.
36.2 /
22.4
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml
|
.
816.0 /
298.5
(-)
|
.
705.0 /
296.5
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR.xml
|
.
726.4 /
298.3
(-)
|
.
55.5 /
32.0
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml
|
.
540.3 /
300.0
(-)
|
.
28.6 /
15.9
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_Z.xml
|
.
643.7 /
298.5
(-)
|
.
145.5 /
70.6
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml
|
?/n^1
1.5 /
0.8
(-)
|
?/n^1
4.8 /
2.0
(1)
|
Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
1.1 /
0.6
(1)
|
Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml
|
.
707.9 /
298.6
(-)
|
.
113.3 /
47.4
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml
|
?/n^1
0.4 /
0.3
(-)
|
?/n^1
0.6 /
0.2
(1)
|
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C.xml
|
.
815.2 /
300.0
(-)
|
.
675.8 /
296.2
(0)
|
l_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR.xml
|
.
631.9 /
298.2
(-)
|
.
47.3 /
26.6
(0)
|
l_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml
|
.
733.5 /
299.1
(-)
|
.
97.0 /
55.2
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z.xml
|
.
587.4 /
298.6
(-)
|
.
55.7 /
33.7
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C.xml
|
.
480.6 /
298.9
(-)
|
.
659.8 /
296.7
(0)
|
l_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml
|
.
574.7 /
298.4
(-)
|
.
11.1 /
5.4
(0)
|
l_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml
|
.
776.3 /
299.0
(-)
|
.
18.6 /
11.9
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml
|
.
604.6 /
298.3
(-)
|
.
8.8 /
3.7
(0)
|
y_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.3 /
0.2
(1)
|
_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml
|
.
790.8 /
298.4
(-)
|
.
305.6 /
272.7
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_C.xml
|
.
630.4 /
299.5
(-)
|
.
565.4 /
296.2
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR.xml
|
.
693.6 /
298.6
(-)
|
.
10.4 /
7.3
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml
|
.
714.9 /
298.4
(-)
|
.
13.2 /
7.2
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml
|
?/n^1
3.3 /
1.5
(-)
|
?/n^1
0.8 /
0.7
(1)
|
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_C.xml
|
.
720.2 /
299.0
(-)
|
.
595.5 /
296.2
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR.xml
|
.
711.7 /
298.5
(-)
|
.
15.7 /
9.4
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml
|
.
709.1 /
298.2
(-)
|
.
24.6 /
14.8
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml
|
.
692.1 /
298.3
(-)
|
.
12.1 /
5.8
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml
|
.
585.9 /
298.7
(-)
|
.
639.4 /
296.1
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml
|
.
670.6 /
298.9
(-)
|
.
17.8 /
11.1
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml
|
.
774.3 /
299.2
(-)
|
.
24.4 /
13.8
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml
|
.
652.8 /
298.9
(-)
|
.
14.0 /
7.8
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml
|
.
507.9 /
298.3
(-)
|
.
548.7 /
296.2
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR.xml
|
.
576.9 /
298.6
(-)
|
.
30.0 /
15.0
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml
|
.
713.3 /
298.8
(-)
|
.
27.1 /
14.3
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.2 /
0.1
(1)
|
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml
|
.
744.3 /
298.2
(-)
|
.
25.1 /
14.7
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml
|
.
620.9 /
298.4
(-)
|
.
32.0 /
21.6
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml
|
.
662.2 /
298.6
(-)
|
.
8.5 /
4.8
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml
|
.
87.6 /
47.4
(-)
|
.
2.1 /
1.5
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml
|
.
711.4 /
298.4
(-)
|
.
771.3 /
296.3
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml
|
.
701.5 /
300.0
(-)
|
.
585.1 /
296.2
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml
|
?/n^1
4.9 /
5.0
(-)
|
?/n^1
0.1 /
0.1
(1)
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_C.xml
|
.
534.2 /
299.2
(-)
|
.
594.1 /
296.2
(0)
|
riting/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml
|
.
678.5 /
298.9
(-)
|
.
36.3 /
20.5
(0)
|
riting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml
|
.
674.6 /
300.1
(-)
|
.
530.4 /
296.3
(0)
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml
|
.
725.4 /
298.6
(-)
|
.
31.1 /
14.9
(0)
|
ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml
|
?/n^1
0.6 /
0.4
(-)
|
?/n^1
0.1 /
0.1
(1)
|
l_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.2 /
0.1
(1)
|
l_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml
|
.
47.4 /
29.9
(-)
|
.
14.2 /
8.3
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml
|
?/n^1
1.3 /
0.7
(-)
|
?/n^1
11.3 /
5.2
(1)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml
|
.
762.3 /
299.2
(-)
|
.
101.2 /
75.6
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml
|
.
762.3 /
298.6
(-)
|
.
328.3 /
220.6
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.1
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml
|
.
968.3 /
298.2
(-)
|
.
592.9 /
296.0
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml
|
?/n^1
0.5 /
0.3
(-)
|
?/n^1
0.9 /
0.7
(1)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml
|
.
680.5 /
300.0
(-)
|
.
102.2 /
74.5
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml
|
?/n^3
39.5 /
14.7
(-)
|
?/n^3
61.1 /
23.8
(1)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml
|
.
814.4 /
298.6
(-)
|
.
614.3 /
296.1
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C.xml
|
.
536.1 /
298.7
(-)
|
.
649.0 /
296.2
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR.xml
|
.
654.7 /
300.0
(-)
|
.
111.2 /
61.8
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml
|
.
629.4 /
298.3
(-)
|
.
98.7 /
55.8
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_Z.xml
|
.
727.3 /
298.5
(-)
|
.
79.3 /
48.6
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml
|
.
655.1 /
298.4
(-)
|
.
554.6 /
296.2
(0)
|
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR.xml
|
.
701.9 /
298.5
(-)
|
.
28.8 /
18.6
(0)
|
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml
|
.
748.6 /
298.6
(-)
|
.
694.7 /
296.1
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.2
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_Z.xml
|
.
626.3 /
298.5
(-)
|
.
39.9 /
23.2
(0)
|
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml
|
?/n^1
0.2 /
0.2
(-)
|
?/n^1
0.1 /
0.1
(1)
|
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml
|
?/n^1
0.7 /
0.6
(-)
|
?/n^1
0.9 /
0.4
(1)
|
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml
|
.
687.3 /
298.5
(-)
|
.
663.8 /
296.1
(0)
|
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.1 /
0.0
(1)
|
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml
|
?/n^1
0.3 /
0.2
(-)
|
?/n^1
0.1 /
0.1
(1)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml
|
.
609.8 /
298.4
(-)
|
.
560.1 /
296.2
(0)
|
writing/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml
|
.
627.4 /
298.8
(-)
|
.
58.6 /
36.9
(0)
|
writing/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml
|
.
724.5 /
300.0
(-)
|
.
79.3 /
44.7
(0)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml
|
.
648.7 /
298.5
(-)
|
.
33.8 /
14.6
(0)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml
|
.
587.9 /
298.5
(-)
|
.
45.7 /
16.2
(0)
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml
|
.
712.0 /
298.4
(-)
|
.
641.1 /
296.2
(0)
|
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml
|
.
763.9 /
298.6
(-)
|
.
66.3 /
31.7
(0)
|
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml
|
.
590.6 /
298.4
(-)
|
.
612.3 /
296.3
(0)
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml
|
.
728.6 /
300.0
(-)
|
.
103.1 /
66.2
(0)
|
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml
|
.
585.2 /
298.9
(-)
|
.
626.2 /
296.2
(0)
|
nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml
|
.
0.3 /
0.2
(-)
|
.
0.0 /
0.0
(0)
|
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml
|
.
807.5 /
299.9
(-)
|
.
802.4 /
296.3
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_C.xml
|
.
750.0 /
300.0
(-)
|
.
440.1 /
297.3
(0)
|
g/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml
|
.
548.9 /
298.4
(-)
|
.
694.8 /
296.2
(0)
|
g/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml
|
.
552.5 /
298.8
(-)
|
.
689.7 /
296.0
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml
|
.
581.5 /
298.4
(-)
|
.
659.8 /
296.2
(0)
|
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml
|
.
589.8 /
300.0
(-)
|
.
774.0 /
296.3
(0)
|
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml
|
.
637.2 /
299.2
(-)
|
.
719.7 /
296.4
(0)
|
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml
|
.
644.1 /
298.9
(-)
|
.
854.0 /
296.2
(0)
|
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.1 /
0.0
(0)
|
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml
|
.
544.3 /
298.4
(-)
|
.
604.0 /
296.3
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml
|
.
643.7 /
298.6
(-)
|
.
621.3 /
296.3
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml
|
.
753.6 /
300.0
(-)
|
.
633.3 /
296.3
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml
|
.
673.8 /
298.5
(-)
|
.
604.6 /
296.2
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml
|
.
679.0 /
298.7
(-)
|
.
642.6 /
296.2
(0)
|
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml
|
.
712.2 /
298.7
(-)
|
.
755.6 /
296.3
(0)
|
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml
|
.
631.3 /
298.8
(-)
|
.
786.6 /
296.3
(0)
|
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml
|
.
871.1 /
298.7
(-)
|
.
646.5 /
296.2
(0)
|
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.2 /
0.3
(0)
|
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml
|
.
643.0 /
298.5
(-)
|
.
601.4 /
296.4
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml
|
.
641.0 /
298.5
(-)
|
.
658.8 /
296.3
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml
|
.
663.7 /
298.6
(-)
|
.
695.2 /
296.1
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml
|
.
606.9 /
298.5
(-)
|
.
724.5 /
296.1
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml
|
.
819.0 /
298.8
(-)
|
.
682.5 /
296.1
(0)
|
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml
|
.
659.5 /
300.0
(-)
|
.
688.8 /
296.2
(0)
|
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml
|
.
609.3 /
298.9
(-)
|
.
711.9 /
296.2
(0)
|
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml
|
.
607.0 /
298.4
(-)
|
.
526.9 /
296.2
(0)
|
ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml
|
.
0.2 /
0.2
(-)
|
.
0.0 /
0.0
(0)
|
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml
|
.
696.9 /
298.6
(-)
|
.
522.7 /
296.1
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml
|
.
696.2 /
298.5
(-)
|
.
677.8 /
296.2
(0)
|
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml
|
.
490.6 /
300.0
(-)
|
.
581.3 /
296.2
(0)
|
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml
|
.
618.2 /
298.6
(-)
|
.
654.0 /
296.1
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml
|
.
0.3 /
0.2
(-)
|
.
0.1 /
0.1
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml
|
.
484.7 /
298.4
(-)
|
.
587.9 /
296.3
(0)
|
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml
|
.
494.3 /
300.0
(-)
|
.
716.5 /
296.4
(0)
|
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml
|
.
690.9 /
298.7
(-)
|
.
143.1 /
93.2
(0)
|
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml
|
.
738.7 /
298.6
(-)
|
.
165.1 /
117.7
(0)
|
med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml
|
.
762.9 /
298.5
(-)
|
.
167.3 /
106.5
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml
|
.
740.1 /
300.0
(-)
|
.
761.9 /
296.1
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml
|
.
605.7 /
299.1
(-)
|
.
620.1 /
296.1
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml
|
.
728.4 /
298.6
(-)
|
.
111.9 /
64.3
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml
|
.
571.0 /
298.3
(-)
|
.
667.5 /
296.2
(0)
|
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml
|
.
646.1 /
298.4
(-)
|
.
639.8 /
296.3
(0)
|
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml
|
.
698.5 /
298.4
(-)
|
.
48.7 /
28.0
(0)
|
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml
|
.
722.1 /
299.6
(-)
|
.
104.7 /
63.8
(0)
|
med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml
|
?/n^1
2.7 /
2.2
(-)
|
?/n^1
0.5 /
0.2
(1)
|
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml
|
.
820.6 /
298.2
(-)
|
.
578.7 /
296.0
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml
|
.
893.7 /
299.3
(-)
|
.
720.3 /
296.1
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.1
(0)
|
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml
|
?/n^1
0.5 /
0.3
(-)
|
?/n^1
3.2 /
1.3
(1)
|
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml
|
.
736.4 /
300.0
(-)
|
.
681.2 /
296.1
(0)
|
ing/Transformed_CSR_04/MYNAT_complete-noand_FR.xml
|
.
781.8 /
298.9
(-)
|
.
596.2 /
296.2
(0)
|
ting/Transformed_CSR_04/MYNAT_complete-noand_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.1 /
0.1
(0)
|
ting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml
|
.
708.2 /
298.6
(-)
|
.
733.4 /
296.1
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_C.xml
|
.
597.5 /
298.6
(-)
|
.
609.3 /
296.6
(0)
|
Rewriting/Transformed_CSR_04/MYNAT_complete_FR.xml
|
.
464.7 /
298.5
(-)
|
.
591.3 /
296.3
(0)
|
Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml
|
.
498.6 /
298.9
(-)
|
.
573.8 /
296.2
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.0
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml
|
.
489.6 /
298.4
(-)
|
.
621.0 /
300.0
(0)
|
ting/Transformed_CSR_04/MYNAT_complete_noand_C.xml
|
.
601.2 /
298.9
(-)
|
.
767.2 /
296.2
(0)
|
ing/Transformed_CSR_04/MYNAT_complete_noand_GM.xml
|
.
632.5 /
298.7
(-)
|
.
689.9 /
296.1
(0)
|
ting/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml
|
.
603.9 /
299.2
(-)
|
.
727.8 /
296.1
(0)
|
iting/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
iting/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml
|
.
684.2 /
300.0
(-)
|
.
649.0 /
296.2
(0)
|
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml
|
.
706.4 /
298.6
(-)
|
.
671.4 /
296.3
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR.xml
|
.
587.3 /
298.5
(-)
|
.
741.2 /
296.1
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml
|
.
627.3 /
298.5
(-)
|
.
656.9 /
296.2
(0)
|
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z.xml
|
.
647.8 /
298.6
(-)
|
.
602.5 /
296.2
(0)
|
iting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml
|
.
874.3 /
298.4
(-)
|
.
629.5 /
296.2
(0)
|
ting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml
|
.
738.7 /
298.7
(-)
|
.
699.4 /
296.0
(0)
|
ting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml
|
.
552.9 /
298.4
(-)
|
.
740.4 /
296.2
(0)
|
iting/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
l_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml
|
.
594.5 /
298.4
(-)
|
.
129.6 /
63.2
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml
|
?/n^2
10.3 /
4.9
(-)
|
?/n^2
1.0 /
0.5
(1)
|
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml
|
.
845.6 /
298.6
(-)
|
.
647.8 /
296.1
(0)
|
l_Rewriting/Transformed_CSR_04/MYNAT_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
iting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml
|
.
665.7 /
298.4
(-)
|
.
212.8 /
116.6
(0)
|
ting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml
|
.
687.5 /
298.5
(-)
|
.
674.3 /
296.0
(0)
|
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml
|
.
581.2 /
298.7
(-)
|
.
688.9 /
296.1
(0)
|
g/Transformed_CSR_04/OvConsOS_complete-noand_L.xml
|
.
0.3 /
0.2
(-)
|
.
0.2 /
0.1
(0)
|
g/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml
|
.
606.4 /
298.5
(-)
|
.
562.5 /
296.5
(0)
|
writing/Transformed_CSR_04/OvConsOS_complete_C.xml
|
.
650.1 /
298.8
(-)
|
.
575.2 /
297.1
(0)
|
riting/Transformed_CSR_04/OvConsOS_complete_FR.xml
|
.
506.6 /
298.4
(-)
|
.
679.6 /
296.2
(0)
|
riting/Transformed_CSR_04/OvConsOS_complete_GM.xml
|
.
699.0 /
300.0
(-)
|
.
642.1 /
296.2
(0)
|
writing/Transformed_CSR_04/OvConsOS_complete_L.xml
|
.
0.8 /
0.6
(-)
|
.
0.0 /
0.0
(0)
|
writing/Transformed_CSR_04/OvConsOS_complete_Z.xml
|
.
493.2 /
298.2
(-)
|
.
662.7 /
296.2
(0)
|
g/Transformed_CSR_04/OvConsOS_complete_noand_C.xml
|
.
768.0 /
299.0
(-)
|
.
697.6 /
296.4
(0)
|
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml
|
.
684.2 /
298.4
(-)
|
.
276.6 /
186.8
(0)
|
g/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml
|
.
777.2 /
298.5
(-)
|
.
318.1 /
217.3
(0)
|
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml
|
.
0.4 /
0.4
(-)
|
.
0.0 /
0.0
(0)
|
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml
|
.
666.4 /
298.5
(-)
|
.
309.1 /
199.5
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_C.xml
|
.
570.9 /
298.6
(-)
|
.
677.3 /
296.2
(0)
|
writing/Transformed_CSR_04/OvConsOS_nokinds_FR.xml
|
.
564.7 /
298.3
(-)
|
.
623.3 /
296.1
(0)
|
writing/Transformed_CSR_04/OvConsOS_nokinds_GM.xml
|
.
627.5 /
298.5
(-)
|
.
613.1 /
296.1
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_L.xml
|
.
0.2 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml
|
.
486.6 /
298.3
(-)
|
.
582.5 /
296.5
(0)
|
ng/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml
|
.
624.1 /
300.0
(-)
|
.
666.9 /
296.2
(0)
|
g/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml
|
.
637.4 /
298.4
(-)
|
.
91.1 /
51.2
(0)
|
g/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml
|
.
635.1 /
298.3
(-)
|
.
104.7 /
55.5
(0)
|
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml
|
.
646.1 /
298.2
(-)
|
.
107.2 /
48.4
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml
|
?/n^1
0.6 /
0.3
(-)
|
?/n^1
3.4 /
2.0
(1)
|
writing/Transformed_CSR_04/OvConsOS_nosorts_FR.xml
|
.
761.3 /
298.7
(-)
|
.
120.0 /
75.3
(0)
|
writing/Transformed_CSR_04/OvConsOS_nosorts_GM.xml
|
.
889.5 /
298.3
(-)
|
.
493.6 /
296.1
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml
|
.
864.4 /
298.3
(-)
|
.
324.0 /
296.1
(0)
|
ng/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml
|
.
541.2 /
300.0
(-)
|
.
672.8 /
296.4
(0)
|
g/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml
|
.
762.9 /
298.9
(-)
|
.
579.3 /
296.0
(0)
|
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml
|
.
720.3 /
299.9
(-)
|
.
556.3 /
296.1
(0)
|
Transformed_CSR_04/PALINDROME_complete-noand_L.xml
|
.
901.7 /
298.5
(-)
|
.
527.5 /
296.2
(0)
|
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml
|
.
620.9 /
298.4
(-)
|
.
510.4 /
296.4
(0)
|
iting/Transformed_CSR_04/PALINDROME_complete_C.xml
|
.
707.9 /
298.2
(-)
|
.
618.8 /
296.1
(0)
|
ting/Transformed_CSR_04/PALINDROME_complete_FR.xml
|
.
510.1 /
300.0
(-)
|
.
524.1 /
296.2
(0)
|
ting/Transformed_CSR_04/PALINDROME_complete_GM.xml
|
.
825.4 /
298.7
(-)
|
.
748.4 /
296.1
(0)
|
iting/Transformed_CSR_04/PALINDROME_complete_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
iting/Transformed_CSR_04/PALINDROME_complete_Z.xml
|
.
434.7 /
298.8
(-)
|
.
596.0 /
296.1
(0)
|
Transformed_CSR_04/PALINDROME_complete_noand_C.xml
|
.
806.6 /
299.8
(-)
|
.
603.8 /
296.3
(0)
|
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml
|
.
681.5 /
298.7
(-)
|
.
669.2 /
296.2
(0)
|
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml
|
.
602.8 /
298.3
(-)
|
.
645.1 /
296.1
(0)
|
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml
|
.
785.3 /
298.5
(-)
|
.
293.8 /
252.0
(0)
|
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml
|
?/n^2
208.6 /
119.9
(-)
|
?/n^2
9.3 /
5.7
(1)
|
riting/Transformed_CSR_04/PALINDROME_nokinds_C.xml
|
.
585.3 /
299.2
(-)
|
.
735.6 /
296.3
(0)
|
iting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml
|
.
692.5 /
298.4
(-)
|
.
428.8 /
286.4
(0)
|
iting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml
|
.
871.9 /
298.6
(-)
|
.
555.0 /
296.3
(0)
|
riting/Transformed_CSR_04/PALINDROME_nokinds_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
riting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml
|
?/n^2
66.7 /
36.0
(-)
|
?/n^2
9.9 /
6.2
(1)
|
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml
|
.
552.0 /
299.4
(-)
|
.
679.4 /
296.1
(0)
|
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml
|
.
707.8 /
298.9
(-)
|
.
727.4 /
296.3
(0)
|
riting/Transformed_CSR_04/PALINDROME_nosorts_C.xml
|
.
535.3 /
298.7
(-)
|
.
661.2 /
296.2
(0)
|
iting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml
|
.
759.5 /
298.6
(-)
|
.
718.1 /
296.2
(0)
|
riting/Transformed_CSR_04/PALINDROME_nosorts_L.xml
|
.
0.1 /
0.3
(-)
|
.
0.0 /
0.0
(0)
|
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml
|
.
620.0 /
298.3
(-)
|
.
721.7 /
296.2
(0)
|
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml
|
.
762.3 /
298.7
(-)
|
.
650.7 /
296.4
(0)
|
ing/Transformed_CSR_04/PEANO_complete-noand_FR.xml
|
.
714.6 /
298.4
(-)
|
.
729.3 /
296.1
(0)
|
ting/Transformed_CSR_04/PEANO_complete-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
ting/Transformed_CSR_04/PEANO_complete-noand_Z.xml
|
.
863.0 /
300.0
(-)
|
.
732.4 /
296.1
(0)
|
_Rewriting/Transformed_CSR_04/PEANO_complete_C.xml
|
.
644.1 /
298.9
(-)
|
.
596.4 /
296.2
(0)
|
Rewriting/Transformed_CSR_04/PEANO_complete_FR.xml
|
.
522.6 /
298.5
(-)
|
.
585.0 /
296.0
(0)
|
Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml
|
.
521.8 /
298.5
(-)
|
.
591.1 /
296.2
(0)
|
_Rewriting/Transformed_CSR_04/PEANO_complete_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.0
(0)
|
_Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml
|
.
503.0 /
298.5
(-)
|
.
544.3 /
296.2
(0)
|
ting/Transformed_CSR_04/PEANO_complete_noand_C.xml
|
.
642.3 /
298.6
(-)
|
.
619.5 /
296.2
(0)
|
ing/Transformed_CSR_04/PEANO_complete_noand_GM.xml
|
.
717.6 /
298.2
(-)
|
.
98.5 /
65.6
(0)
|
ting/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml
|
.
731.4 /
298.5
(-)
|
.
645.6 /
296.1
(0)
|
iting/Transformed_CSR_04/PEANO_nokinds-noand_L.xml
|
.
0.3 /
0.2
(-)
|
.
0.0 /
0.0
(0)
|
iting/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml
|
.
782.6 /
298.4
(-)
|
.
676.8 /
296.0
(0)
|
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml
|
.
539.6 /
298.5
(-)
|
.
614.2 /
296.2
(0)
|
_Rewriting/Transformed_CSR_04/PEANO_nokinds_FR.xml
|
.
575.1 /
298.8
(-)
|
.
647.7 /
296.1
(0)
|
_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml
|
.
678.2 /
298.9
(-)
|
.
107.4 /
58.4
(0)
|
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml
|
.
617.3 /
298.4
(-)
|
.
647.5 /
296.1
(0)
|
iting/Transformed_CSR_04/PEANO_nokinds_noand_C.xml
|
.
818.9 /
298.6
(-)
|
.
695.9 /
296.2
(0)
|
ting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml
|
.
729.4 /
298.2
(-)
|
.
35.9 /
23.1
(0)
|
ting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml
|
?/n^1
4.6 /
2.5
(-)
|
?/n^1
0.7 /
0.3
(1)
|
iting/Transformed_CSR_04/PEANO_nosorts-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
l_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.5 /
0.3
(1)
|
_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml
|
?/n^1
0.1 /
0.0
(-)
|
?/n^1
0.1 /
0.1
(1)
|
_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml
|
.
656.3 /
298.4
(-)
|
.
52.1 /
23.8
(0)
|
l_Rewriting/Transformed_CSR_04/PEANO_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
iting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml
|
?/n^1
1.1 /
0.8
(-)
|
?/n^1
0.7 /
0.6
(1)
|
ting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml
|
.
692.5 /
298.6
(-)
|
.
77.0 /
45.3
(0)
|
untime_Complexity_Full_Rewriting/Various_04/04.xml
|
.
629.8 /
299.3
(-)
|
.
103.6 /
68.4
(0)
|
untime_Complexity_Full_Rewriting/Various_04/08.xml
|
.
673.3 /
300.0
(-)
|
.
204.5 /
134.5
(0)
|
untime_Complexity_Full_Rewriting/Various_04/10.xml
|
.
513.3 /
298.5
(-)
|
.
682.0 /
296.2
(0)
|
untime_Complexity_Full_Rewriting/Various_04/11.xml
|
.
706.0 /
298.5
(-)
|
.
5.8 /
3.1
(0)
|
untime_Complexity_Full_Rewriting/Various_04/12.xml
|
.
638.3 /
298.1
(-)
|
.
700.0 /
296.4
(0)
|
untime_Complexity_Full_Rewriting/Various_04/13.xml
|
.
636.9 /
298.1
(-)
|
.
483.4 /
297.8
(0)
|
untime_Complexity_Full_Rewriting/Various_04/14.xml
|
.
687.1 /
298.8
(-)
|
.
677.2 /
296.3
(0)
|
untime_Complexity_Full_Rewriting/Various_04/15.xml
|
?/n^1
0.2 /
0.1
(-)
|
?/n^1
0.1 /
0.0
(1)
|
untime_Complexity_Full_Rewriting/Various_04/18.xml
|
.
734.7 /
298.9
(-)
|
.
39.2 /
22.3
(0)
|
untime_Complexity_Full_Rewriting/Various_04/22.xml
|
.
604.0 /
298.3
(-)
|
.
5.6 /
3.2
(0)
|
untime_Complexity_Full_Rewriting/Various_04/23.xml
|
?/n^1
1.3 /
0.7
(-)
|
?/n^1
0.3 /
0.2
(1)
|
untime_Complexity_Full_Rewriting/Various_04/24.xml
|
.
640.4 /
298.4
(-)
|
.
131.0 /
69.1
(0)
|
omplexity_Full_Rewriting/Waldmann_06/jwmatchb1.xml
|
?/n^1
0.1 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(1)
|
omplexity_Full_Rewriting/Waldmann_06/jwmatchb2.xml
|
?/n^1
0.5 /
0.6
(-)
|
?/n^1
0.1 /
0.0
(1)
|
me_Complexity_Full_Rewriting/Waldmann_06/jwno1.xml
|
.
630.9 /
298.9
(-)
|
.
21.1 /
10.9
(0)
|
me_Complexity_Full_Rewriting/Waldmann_06/jwno4.xml
|
.
856.2 /
298.8
(-)
|
.
18.7 /
9.3
(0)
|
me_Complexity_Full_Rewriting/Waldmann_06/jwno6.xml
|
.
732.1 /
298.1
(-)
|
.
17.3 /
8.2
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z10.xml
|
.
726.9 /
298.3
(-)
|
.
15.2 /
7.3
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z12.xml
|
.
752.1 /
298.8
(-)
|
.
614.7 /
296.1
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z13.xml
|
.
773.8 /
298.3
(-)
|
.
106.3 /
48.8
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z14.xml
|
.
782.4 /
298.8
(-)
|
.
92.2 /
55.3
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z15.xml
|
.
900.9 /
298.3
(-)
|
.
495.5 /
296.1
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z16.xml
|
.
756.7 /
299.3
(-)
|
.
89.6 /
50.6
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z17.xml
|
.
851.4 /
299.8
(-)
|
.
564.1 /
296.0
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z18.xml
|
.
865.4 /
298.3
(-)
|
.
228.5 /
165.8
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z23.xml
|
.
653.0 /
298.6
(-)
|
.
536.1 /
296.2
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z24.xml
|
.
606.6 /
298.3
(-)
|
.
572.7 /
296.1
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z26.xml
|
?/n^1
0.2 /
0.5
(-)
|
?/n^1
0.0 /
0.0
(1)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z27.xml
|
.
622.9 /
298.7
(-)
|
.
7.1 /
3.6
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z28.xml
|
.
489.4 /
298.3
(-)
|
.
11.2 /
5.2
(0)
|