Runtime_Complexity_Full_Rewriting/AG01/#3.1.xml
|
?/n^1
9.6 /
4.1
(-)
|
?/n^1
1.7 /
1.0
(2)
|
n^1/?
14.1 /
11.3
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.10.xml
|
.
616.8 /
297.2
(-)
|
.
532.5 /
292.3
(0)
|
n^1/?
16.5 /
13.6
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.12.xml
|
?/n^3
303.8 /
161.4
(-)
|
?/n^3
43.6 /
23.7
(2)
|
n^3/?
14.8 /
11.7
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.13.xml
|
.
553.0 /
297.2
(-)
|
.
534.0 /
292.6
(0)
|
n^1/?
12.7 /
12.7
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.15.xml
|
?/n^1
47.8 /
24.9
(-)
|
?/n^1
13.6 /
7.1
(2)
|
.
15.3 /
11.5
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.16.xml
|
.
604.4 /
297.6
(-)
|
.
527.1 /
292.1
(0)
|
n^2/?
17.0 /
12.5
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.17.xml
|
.
677.0 /
297.6
(-)
|
.
561.8 /
292.5
(0)
|
n^1/?
14.2 /
12.5
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.17a.xml
|
.
689.5 /
298.2
(-)
|
.
426.3 /
292.8
(0)
|
n^1/?
16.1 /
13.5
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.18.xml
|
.
446.1 /
297.2
(-)
|
.
489.5 /
292.5
(0)
|
n^1/?
17.0 /
13.3
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.19.xml
|
.
485.9 /
297.2
(-)
|
.
387.1 /
292.2
(0)
|
n^1/?
15.1 /
12.9
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.2.xml
|
.
445.5 /
279.8
(-)
|
.
457.0 /
281.6
(0)
|
n^1/?
12.7 /
11.3
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.22.xml
|
.
643.6 /
297.9
(-)
|
.
532.8 /
292.2
(0)
|
n^2/?
15.7 /
12.4
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.23.xml
|
?/n^1
1.1 /
0.6
(-)
|
?/n^1
0.6 /
0.6
(2)
|
n^1/?
0.8 /
2.2
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.24.xml
|
?/n^1
10.2 /
4.6
(-)
|
?/n^1
2.5 /
1.2
(2)
|
n^1/?
1.7 /
2.4
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.26.xml
|
.
648.8 /
300.0
(-)
|
.
379.2 /
292.2
(0)
|
n^1/?
5.1 /
4.3
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.29.xml
|
?/n^1
0.9 /
0.6
(-)
|
?/n^0
0.2 /
0.1
(2)
|
.
0.7 /
2.3
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.31.xml
|
.
685.9 /
297.2
(-)
|
.
583.3 /
292.0
(0)
|
?/?
3.4 /
4.3
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.33.xml
|
?/n^0
6.9 /
5.9
(-)
|
?/n^0
0.5 /
0.3
(2)
|
.
0.7 /
2.3
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.35.xml
|
?/n^1
2.7 /
2.1
(-)
|
?/n^1
0.7 /
0.2
(2)
|
n^1/?
6.4 /
6.3
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.36.xml
|
.
609.7 /
297.8
(-)
|
.
523.1 /
292.1
(0)
|
n^1/?
27.9 /
22.3
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.37.xml
|
?/n^1
8.3 /
5.0
(-)
|
?/n^1
1.0 /
0.6
(2)
|
.
2.2 /
3.3
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.38.xml
|
.
774.3 /
298.1
(-)
|
.
586.0 /
292.5
(0)
|
?/?
11.3 /
5.4
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.39.xml
|
?/n^1
281.7 /
148.2
(-)
|
?/n^1
24.2 /
13.8
(2)
|
n^1/?
16.6 /
12.0
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.4.xml
|
.
418.5 /
239.1
(-)
|
.
415.5 /
292.6
(0)
|
n^1/?
16.5 /
13.2
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.40.xml
|
.
513.4 /
297.4
(-)
|
.
459.9 /
292.2
(0)
|
n^1/?
8.4 /
14.6
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.41.xml
|
?/n^1
58.4 /
33.3
(-)
|
?/n^2
8.4 /
5.5
(2)
|
n^1/?
4.5 /
7.4
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.42.xml
|
.
342.4 /
183.5
(-)
|
.
336.9 /
292.5
(0)
|
n^1/?
13.1 /
12.7
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.47.xml
|
?/n^2
101.0 /
51.4
(-)
|
.
334.1 /
292.7
(0)
|
.
3.5 /
3.2
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.48.xml
|
.
522.5 /
194.1
(-)
|
.
547.7 /
292.7
(0)
|
n^1/?
15.1 /
11.7
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.49.xml
|
.
497.2 /
297.2
(-)
|
.
510.5 /
291.9
(0)
|
.
2.3 /
2.2
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.5.xml
|
?/n^2
451.6 /
297.4
(-)
|
?/n^2
388.0 /
292.3
(2)
|
n^1/?
15.2 /
11.4
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.51.xml
|
?/n^1
21.0 /
9.8
(-)
|
?/n^1
9.4 /
4.6
(2)
|
.
13.9 /
11.3
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.52.xml
|
?/n^1
3.2 /
1.3
(-)
|
?/n^1
1.6 /
0.7
(2)
|
.
4.8 /
3.2
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.53.xml
|
.
514.1 /
297.2
(-)
|
.
353.8 /
292.6
(0)
|
n^3/?
18.6 /
12.6
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.53a.xml
|
?/n^0
2.9 /
1.8
(-)
|
?/n^0
1.1 /
0.5
(2)
|
.
4.1 /
2.2
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.53b.xml
|
?/n^1
31.8 /
25.8
(-)
|
?/n^1
3.7 /
1.6
(2)
|
.
9.6 /
15.0
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.54.xml
|
.
517.6 /
298.6
(-)
|
.
408.3 /
292.5
(0)
|
n^1/?
4.1 /
3.3
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.55.xml
|
.
548.8 /
300.0
(-)
|
.
415.1 /
300.0
(0)
|
n^2/?
18.9 /
12.7
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.56.xml
|
?/n^1
34.8 /
18.7
(-)
|
?/n^1
5.0 /
1.4
(2)
|
.
3.8 /
5.9
(0)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.57.xml
|
.
526.2 /
297.2
(-)
|
.
557.6 /
292.4
(0)
|
n^1/?
17.0 /
13.5
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.5a.xml
|
.
496.2 /
297.2
(-)
|
.
456.6 /
292.3
(0)
|
n^1/?
17.1 /
14.0
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.5b.xml
|
.
548.5 /
297.3
(-)
|
.
460.3 /
292.2
(0)
|
n^1/?
15.7 /
12.0
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.6.xml
|
.
381.9 /
299.4
(-)
|
.
492.2 /
292.4
(0)
|
n^1/?
15.9 /
12.8
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.6a.xml
|
?/n^2
440.1 /
297.2
(-)
|
?/n^2
330.6 /
292.3
(2)
|
n^1/?
14.9 /
11.7
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.6b.xml
|
.
558.0 /
297.4
(-)
|
.
474.6 /
292.2
(0)
|
n^1/?
15.2 /
12.6
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.7.xml
|
?/n^1
67.5 /
54.8
(-)
|
?/n^1
9.6 /
7.4
(2)
|
n^1/?
6.9 /
9.5
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.8a.xml
|
.
581.2 /
297.3
(-)
|
.
330.0 /
292.4
(0)
|
n^1/?
18.0 /
14.3
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#3.8b.xml
|
.
684.4 /
297.5
(-)
|
.
516.2 /
292.5
(0)
|
n^1/?
9.8 /
13.1
(2)
|
Runtime_Complexity_Full_Rewriting/AG01/#4.30c.xml
|
.
562.9 /
297.7
(-)
|
.
462.8 /
292.2
(0)
|
n^1/?
15.9 /
13.5
(2)
|
Complexity_Full_Rewriting/AProVE_04/AAECC-ring.xml
|
.
644.5 /
297.5
(-)
|
.
395.0 /
292.6
(0)
|
n^1/?
21.5 /
13.7
(2)
|
time_Complexity_Full_Rewriting/AProVE_04/AAECC.xml
|
.
359.1 /
297.4
(-)
|
.
571.6 /
292.5
(0)
|
n^1/?
18.2 /
12.4
(2)
|
me_Complexity_Full_Rewriting/AProVE_04/IJCAR_1.xml
|
?/n^1
38.2 /
23.4
(-)
|
.
66.2 /
41.5
(0)
|
n^1/?
13.1 /
12.4
(2)
|
e_Complexity_Full_Rewriting/AProVE_04/IJCAR_12.xml
|
.
499.8 /
297.2
(-)
|
.
457.1 /
292.3
(0)
|
n^2/?
17.7 /
13.2
(2)
|
e_Complexity_Full_Rewriting/AProVE_04/IJCAR_18.xml
|
.
540.8 /
297.7
(-)
|
.
764.9 /
292.2
(0)
|
n^2/?
17.8 /
13.4
(2)
|
e_Complexity_Full_Rewriting/AProVE_04/IJCAR_26.xml
|
.
539.0 /
297.1
(-)
|
.
448.3 /
292.2
(0)
|
n^3/?
17.8 /
13.9
(2)
|
_Complexity_Full_Rewriting/AProVE_04/IJCAR_26a.xml
|
.
539.9 /
297.4
(-)
|
.
517.2 /
292.4
(0)
|
n^3/?
14.3 /
14.4
(2)
|
e_Complexity_Full_Rewriting/AProVE_04/JFP_Ex31.xml
|
.
444.2 /
300.1
(-)
|
.
316.4 /
292.1
(0)
|
n^1/?
16.0 /
11.2
(2)
|
e_Complexity_Full_Rewriting/AProVE_04/JFP_Ex51.xml
|
.
381.9 /
297.7
(-)
|
.
542.7 /
292.1
(0)
|
n^1/?
14.6 /
11.5
(2)
|
mplexity_Full_Rewriting/AProVE_04/LPAR_intlist.xml
|
.
849.9 /
297.3
(-)
|
.
674.8 /
292.4
(0)
|
n^1/?
28.3 /
25.2
(2)
|
omplexity_Full_Rewriting/AProVE_04/Liveness6.1.xml
|
.
416.6 /
200.9
(-)
|
.
662.3 /
292.2
(0)
|
n^1/?
13.6 /
12.4
(2)
|
omplexity_Full_Rewriting/AProVE_04/Liveness6.2.xml
|
.
536.7 /
297.3
(-)
|
?/n^2
301.0 /
173.6
(2)
|
n^1/?
15.7 /
11.6
(2)
|
omplexity_Full_Rewriting/AProVE_04/Liveness6.3.xml
|
?/n^1
618.0 /
290.6
(-)
|
?/n^1
669.4 /
292.2
(2)
|
n^1/?
15.6 /
13.4
(2)
|
omplexity_Full_Rewriting/AProVE_04/Liveness6.4.xml
|
.
518.1 /
189.5
(-)
|
.
494.4 /
292.5
(0)
|
n^1/?
16.8 /
12.2
(2)
|
_Complexity_Full_Rewriting/AProVE_04/Liveness8.xml
|
?/n^1
580.0 /
297.2
(-)
|
?/n^1
504.7 /
292.6
(2)
|
n^1/?
14.8 /
11.4
(2)
|
mplexity_Full_Rewriting/AProVE_04/Liveness_WRS.xml
|
?/n^1
374.7 /
297.3
(-)
|
?/n^1
672.2 /
293.0
(2)
|
n^1/?
9.8 /
12.6
(2)
|
untime_Complexity_Full_Rewriting/AProVE_04/fac.xml
|
.
512.1 /
300.0
(-)
|
.
448.0 /
292.3
(0)
|
n^2/?
17.2 /
13.7
(2)
|
ntime_Complexity_Full_Rewriting/AProVE_04/rta1.xml
|
.
411.6 /
297.2
(-)
|
.
638.4 /
293.9
(0)
|
n^1/?
20.4 /
16.0
(2)
|
ntime_Complexity_Full_Rewriting/AProVE_04/rta2.xml
|
.
210.1 /
123.2
(-)
|
.
6.1 /
3.2
(0)
|
.
1.1 /
2.4
(0)
|
ntime_Complexity_Full_Rewriting/AProVE_04/rta3.xml
|
.
620.5 /
298.3
(-)
|
.
476.2 /
292.2
(0)
|
n^1/?
19.6 /
13.5
(2)
|
exity_Full_Rewriting/AProVE_06/div_notCeTermin.xml
|
.
382.2 /
202.5
(-)
|
.
304.0 /
182.8
(0)
|
n^1/?
17.4 /
14.4
(2)
|
plexity_Full_Rewriting/AProVE_06/div_notTermin.xml
|
.
529.1 /
300.1
(-)
|
.
394.3 /
292.7
(0)
|
n^1/?
19.0 /
12.3
(2)
|
Complexity_Full_Rewriting/AProVE_06/factorial1.xml
|
.
518.7 /
297.2
(-)
|
.
474.2 /
291.5
(0)
|
n^3/?
18.8 /
13.8
(2)
|
Complexity_Full_Rewriting/AProVE_06/factorial2.xml
|
.
1061.4 /
299.9
(-)
|
.
520.2 /
292.4
(0)
|
n^2/?
271.9 /
281.2
(2)
|
e_Complexity_Full_Rewriting/AProVE_06/identity.xml
|
.
353.8 /
297.4
(-)
|
.
413.2 /
292.0
(0)
|
n^1/?
16.3 /
24.7
(2)
|
_Complexity_Full_Rewriting/AProVE_06/logarithm.xml
|
.
666.2 /
297.4
(-)
|
.
462.5 /
292.1
(0)
|
n^1/?
16.5 /
12.5
(2)
|
ime_Complexity_Full_Rewriting/AProVE_06/modulo.xml
|
.
493.4 /
297.3
(-)
|
.
448.2 /
292.3
(0)
|
n^1/?
15.7 /
12.5
(2)
|
me_Complexity_Full_Rewriting/AProVE_06/nonterm.xml
|
.
422.8 /
297.4
(-)
|
.
758.8 /
292.4
(0)
|
n^1/?
4.9 /
4.2
(2)
|
_Complexity_Full_Rewriting/AProVE_06/quicksort.xml
|
.
567.5 /
297.9
(-)
|
.
502.8 /
292.2
(0)
|
n^2/?
17.3 /
14.5
(2)
|
ntime_Complexity_Full_Rewriting/AProVE_06/quot.xml
|
.
442.1 /
300.0
(-)
|
.
506.1 /
292.3
(0)
|
n^1/?
16.3 /
11.7
(2)
|
Complexity_Full_Rewriting/AProVE_06/sizeChange.xml
|
.
372.2 /
297.2
(-)
|
.
57.6 /
56.8
(0)
|
.
15.1 /
12.3
(0)
|
time_Complexity_Full_Rewriting/AProVE_06/tower.xml
|
.
475.5 /
300.1
(-)
|
.
511.3 /
292.2
(0)
|
.
14.6 /
18.2
(0)
|
xity_Full_Rewriting/AProVE_06/tower_sizeChange.xml
|
.
687.1 /
297.5
(-)
|
.
532.5 /
291.8
(0)
|
n^1/?
22.3 /
18.3
(2)
|
_Complexity_Full_Rewriting/AProVE_07/kabasci01.xml
|
.
384.6 /
298.7
(-)
|
.
655.8 /
292.1
(0)
|
n^1/?
16.5 /
14.2
(2)
|
_Complexity_Full_Rewriting/AProVE_07/kabasci02.xml
|
.
602.6 /
297.6
(-)
|
.
624.2 /
292.4
(0)
|
n^3/?
21.5 /
13.8
(2)
|
_Complexity_Full_Rewriting/AProVE_07/kabasci03.xml
|
.
600.4 /
297.3
(-)
|
?/n^0
391.6 /
292.3
(2)
|
.
15.9 /
11.9
(0)
|
_Complexity_Full_Rewriting/AProVE_07/kabasci04.xml
|
.
489.6 /
297.7
(-)
|
.
687.2 /
292.4
(0)
|
n^1/?
11.4 /
17.9
(2)
|
_Complexity_Full_Rewriting/AProVE_07/kabasci05.xml
|
.
491.5 /
300.0
(-)
|
.
610.4 /
292.5
(0)
|
n^1/?
20.2 /
13.3
(2)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto01.xml
|
.
545.6 /
298.9
(-)
|
.
672.3 /
292.3
(0)
|
n^1/?
17.1 /
12.9
(2)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto02.xml
|
.
426.9 /
297.4
(-)
|
.
658.5 /
292.1
(0)
|
n^1/?
18.1 /
12.8
(2)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto03.xml
|
.
476.5 /
297.3
(-)
|
.
340.7 /
212.3
(0)
|
n^1/?
16.5 /
13.3
(2)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto04.xml
|
.
573.5 /
297.4
(-)
|
.
446.5 /
292.2
(0)
|
n^1/?
18.5 /
15.6
(2)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto05.xml
|
.
473.2 /
297.5
(-)
|
.
322.5 /
292.5
(0)
|
n^1/?
10.5 /
15.6
(2)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto06.xml
|
.
618.3 /
297.2
(-)
|
.
618.4 /
292.7
(0)
|
n^1/?
16.2 /
12.4
(2)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto07.xml
|
.
541.4 /
300.0
(-)
|
.
399.5 /
292.8
(0)
|
n^1/?
17.6 /
12.4
(2)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto08.xml
|
.
501.5 /
297.5
(-)
|
.
477.5 /
292.3
(0)
|
n^1/?
13.0 /
12.9
(2)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto09.xml
|
.
261.8 /
110.2
(-)
|
.
354.1 /
229.1
(0)
|
n^1/?
16.1 /
11.5
(2)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto10.xml
|
.
552.8 /
297.2
(-)
|
.
497.4 /
292.2
(0)
|
n^1/?
15.9 /
12.7
(2)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto11.xml
|
.
357.2 /
297.5
(-)
|
.
445.6 /
292.5
(0)
|
n^1/?
18.7 /
13.5
(2)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto12.xml
|
.
493.8 /
297.1
(-)
|
.
482.1 /
292.5
(0)
|
n^2/?
15.6 /
17.4
(2)
|
ime_Complexity_Full_Rewriting/AProVE_07/otto13.xml
|
.
510.4 /
297.3
(-)
|
.
414.6 /
292.3
(0)
|
n^1/?
14.8 /
12.3
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann01.xml
|
.
562.2 /
300.0
(-)
|
.
391.5 /
292.1
(0)
|
n^1/?
17.9 /
12.5
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann02.xml
|
.
495.3 /
298.4
(-)
|
.
389.1 /
292.6
(0)
|
n^1/?
17.8 /
13.3
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann03.xml
|
.
673.3 /
299.3
(-)
|
.
628.6 /
292.1
(0)
|
n^2/?
9.8 /
15.2
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann04.xml
|
.
522.4 /
297.9
(-)
|
.
514.4 /
292.3
(0)
|
n^1/?
16.9 /
12.3
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann05.xml
|
.
597.0 /
297.2
(-)
|
.
471.8 /
292.2
(0)
|
n^1/?
16.4 /
12.5
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann06.xml
|
.
539.3 /
298.1
(-)
|
.
373.5 /
292.3
(0)
|
n^1/?
13.8 /
11.4
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann07.xml
|
.
546.3 /
297.5
(-)
|
.
559.7 /
292.2
(0)
|
n^2/?
19.2 /
14.0
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann08.xml
|
.
627.5 /
297.7
(-)
|
.
591.1 /
292.1
(0)
|
?/?
16.7 /
11.8
(0)
|
Complexity_Full_Rewriting/AProVE_07/thiemann09.xml
|
.
628.5 /
298.2
(-)
|
.
423.1 /
292.8
(0)
|
n^1/?
12.2 /
15.4
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann10.xml
|
.
371.0 /
297.5
(-)
|
.
406.2 /
292.3
(0)
|
n^1/?
11.9 /
12.5
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann11.xml
|
.
537.6 /
297.4
(-)
|
.
478.9 /
292.3
(0)
|
n^1/?
14.8 /
12.9
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann12.xml
|
.
598.3 /
297.2
(-)
|
.
469.9 /
292.2
(0)
|
n^1/?
15.8 /
11.6
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann13.xml
|
.
562.1 /
297.2
(-)
|
.
464.5 /
292.3
(0)
|
n^1/?
13.1 /
12.6
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann14.xml
|
.
606.3 /
297.2
(-)
|
.
654.0 /
292.2
(0)
|
n^2/?
40.9 /
40.7
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann15.xml
|
.
460.4 /
297.3
(-)
|
.
516.7 /
292.3
(0)
|
n^1/?
12.7 /
12.4
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann16.xml
|
.
536.4 /
297.2
(-)
|
.
574.3 /
292.1
(0)
|
n^1/?
17.6 /
12.8
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann17.xml
|
.
618.8 /
297.8
(-)
|
.
714.9 /
292.2
(0)
|
n^2/?
17.1 /
12.7
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann18.xml
|
.
360.0 /
299.0
(-)
|
.
448.0 /
292.3
(0)
|
n^1/?
17.5 /
17.0
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann19.xml
|
.
651.1 /
289.1
(-)
|
.
458.9 /
292.5
(0)
|
n^1/?
12.0 /
13.5
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann20.xml
|
.
518.1 /
297.2
(-)
|
.
434.3 /
292.3
(0)
|
n^1/?
16.3 /
12.7
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann21.xml
|
.
732.1 /
297.2
(-)
|
.
489.2 /
292.2
(0)
|
n^1/?
14.8 /
13.4
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann22.xml
|
.
486.1 /
297.2
(-)
|
.
479.0 /
292.2
(0)
|
n^1/?
8.3 /
13.7
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann23.xml
|
.
476.1 /
297.2
(-)
|
.
614.3 /
292.5
(0)
|
n^1/?
2.4 /
3.4
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann24.xml
|
.
536.5 /
297.6
(-)
|
.
441.3 /
292.2
(0)
|
n^2/?
16.6 /
13.4
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann25.xml
|
.
437.1 /
297.4
(-)
|
.
435.1 /
292.1
(0)
|
n^1/?
14.8 /
14.9
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann26.xml
|
.
661.5 /
297.3
(-)
|
.
422.1 /
292.3
(0)
|
n^1/?
16.1 /
11.5
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann27.xml
|
.
358.8 /
300.0
(-)
|
.
385.7 /
292.3
(0)
|
n^1/?
3.2 /
4.4
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann28.xml
|
.
611.9 /
297.6
(-)
|
.
703.1 /
292.2
(0)
|
n^1/?
11.2 /
13.1
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann29.xml
|
.
530.7 /
297.3
(-)
|
.
353.5 /
292.4
(0)
|
n^2/?
18.0 /
12.5
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann30.xml
|
.
515.7 /
300.0
(-)
|
.
581.1 /
292.2
(0)
|
n^1/?
10.7 /
16.6
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann31.xml
|
.
579.4 /
297.3
(-)
|
.
442.3 /
292.3
(0)
|
n^1/?
14.4 /
11.4
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann32.xml
|
.
389.0 /
297.6
(-)
|
.
569.6 /
292.6
(0)
|
n^2/?
18.3 /
13.4
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann33.xml
|
.
606.3 /
297.2
(-)
|
.
419.6 /
292.3
(0)
|
n^1/?
13.3 /
12.6
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann34.xml
|
.
450.7 /
298.2
(-)
|
.
362.0 /
292.4
(0)
|
n^1/?
15.1 /
23.6
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann36.xml
|
.
430.8 /
297.7
(-)
|
.
506.4 /
292.3
(0)
|
n^1/?
14.6 /
11.4
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann37.xml
|
.
507.3 /
297.5
(-)
|
.
560.5 /
292.4
(0)
|
n^1/?
19.6 /
14.0
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann38.xml
|
.
557.5 /
297.2
(-)
|
.
408.8 /
292.5
(0)
|
n^1/?
14.2 /
11.9
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann40.xml
|
.
594.6 /
297.4
(-)
|
.
339.0 /
292.6
(0)
|
n^1/?
10.7 /
11.6
(2)
|
Complexity_Full_Rewriting/AProVE_07/thiemann41.xml
|
.
502.6 /
298.0
(-)
|
.
426.7 /
292.3
(0)
|
n^1/?
13.4 /
11.3
(2)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe01.xml
|
.
616.5 /
297.5
(-)
|
.
456.6 /
292.3
(0)
|
n^1/?
20.6 /
14.6
(2)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe02.xml
|
.
578.8 /
297.8
(-)
|
.
570.0 /
292.1
(0)
|
n^1/?
19.0 /
15.1
(2)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe03.xml
|
.
532.5 /
297.2
(-)
|
.
585.8 /
292.7
(0)
|
n^1/?
22.4 /
15.2
(2)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe05.xml
|
.
681.5 /
297.2
(-)
|
.
691.4 /
292.5
(0)
|
n^1/?
15.6 /
12.4
(2)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe06.xml
|
.
523.7 /
297.7
(-)
|
.
661.6 /
292.3
(0)
|
n^1/?
9.1 /
15.2
(2)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe07.xml
|
.
501.6 /
298.8
(-)
|
.
546.3 /
292.3
(0)
|
n^1/?
13.0 /
17.5
(2)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe08.xml
|
.
567.2 /
297.2
(-)
|
.
586.7 /
292.2
(0)
|
n^1/?
18.7 /
12.5
(2)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe09.xml
|
.
436.2 /
297.4
(-)
|
.
565.6 /
292.6
(0)
|
.
11.4 /
13.7
(0)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe11.xml
|
.
543.2 /
297.3
(-)
|
.
684.2 /
292.2
(0)
|
n^1/?
16.6 /
13.4
(2)
|
me_Complexity_Full_Rewriting/AProVE_07/wiehe12.xml
|
.
554.4 /
297.7
(-)
|
.
547.2 /
292.3
(0)
|
n^1/?
24.4 /
13.7
(2)
|
ime_Complexity_Full_Rewriting/AProVE_08/id_inc.xml
|
.
510.2 /
299.2
(-)
|
.
402.9 /
292.3
(0)
|
n^1/?
17.5 /
12.3
(2)
|
untime_Complexity_Full_Rewriting/AProVE_08/log.xml
|
.
557.0 /
297.5
(-)
|
.
690.2 /
292.2
(0)
|
n^1/?
14.5 /
13.3
(2)
|
ity_Full_Rewriting/AProVE_08/parting01_reverse.xml
|
.
613.2 /
297.1
(-)
|
.
585.3 /
292.5
(0)
|
n^2/?
16.4 /
12.3
(2)
|
_Full_Rewriting/AProVE_08/parting02_doublelist.xml
|
.
541.3 /
297.3
(-)
|
.
580.4 /
292.3
(0)
|
n^1/?
14.8 /
12.6
(2)
|
ity_Full_Rewriting/AProVE_08/parting03_minsort.xml
|
.
561.6 /
297.2
(-)
|
.
691.7 /
292.1
(0)
|
n^2/?
16.6 /
12.5
(2)
|
y_Full_Rewriting/AProVE_08/parting04_maxsort_h.xml
|
.
631.1 /
297.3
(-)
|
.
533.0 /
292.2
(0)
|
n^2/?
18.8 /
12.9
(2)
|
ity_Full_Rewriting/AProVE_08/parting05_maxsort.xml
|
.
364.1 /
300.1
(-)
|
.
591.6 /
292.2
(0)
|
n^2/?
15.1 /
12.4
(2)
|
time_Complexity_Full_Rewriting/AProVE_08/round.xml
|
.
612.1 /
297.8
(-)
|
.
347.1 /
292.3
(0)
|
n^1/?
8.5 /
7.3
(2)
|
plexity_Full_Rewriting/AProVE_08/round_nonterm.xml
|
.
566.0 /
297.4
(-)
|
.
627.0 /
292.2
(0)
|
?/?
0.4 /
1.3
(0)
|
y_Full_Rewriting/AProVE_08/thiemann40_modified.xml
|
.
356.5 /
298.2
(-)
|
.
506.7 /
292.3
(0)
|
n^2/?
14.4 /
11.3
(2)
|
plexity_Full_Rewriting/AProVE_09_Inductive/div.xml
|
.
633.8 /
297.3
(-)
|
.
319.4 /
292.5
(0)
|
n^1/?
15.0 /
11.4
(2)
|
ity_Full_Rewriting/AProVE_09_Inductive/divhard.xml
|
.
329.0 /
170.3
(-)
|
.
449.3 /
292.5
(0)
|
n^1/?
15.3 /
11.8
(2)
|
plexity_Full_Rewriting/AProVE_09_Inductive/gcd.xml
|
.
565.5 /
297.4
(-)
|
.
477.3 /
292.5
(0)
|
n^1/?
14.9 /
11.7
(2)
|
lexity_Full_Rewriting/AProVE_09_Inductive/gcd2.xml
|
.
543.8 /
297.2
(-)
|
.
336.5 /
292.4
(0)
|
n^1/?
14.9 /
11.3
(2)
|
ity_Full_Rewriting/AProVE_09_Inductive/gcdhard.xml
|
.
646.9 /
297.3
(-)
|
.
339.5 /
292.4
(0)
|
n^1/?
9.3 /
14.1
(2)
|
plexity_Full_Rewriting/AProVE_09_Inductive/log.xml
|
.
511.6 /
300.0
(-)
|
.
236.0 /
158.3
(0)
|
n^1/?
9.5 /
12.5
(2)
|
ity_Full_Rewriting/AProVE_09_Inductive/maxsort.xml
|
.
560.5 /
298.1
(-)
|
.
602.0 /
292.5
(0)
|
n^2/?
11.4 /
13.4
(2)
|
Rewriting/AProVE_09_Inductive/maxsortcondition.xml
|
.
629.7 /
297.3
(-)
|
.
459.9 /
292.3
(0)
|
n^2/?
18.1 /
12.7
(2)
|
ity_Full_Rewriting/AProVE_09_Inductive/minsort.xml
|
.
369.9 /
300.0
(-)
|
.
603.5 /
292.3
(0)
|
n^1/?
17.0 /
12.8
(2)
|
plexity_Full_Rewriting/AProVE_09_Inductive/mod.xml
|
.
509.8 /
298.7
(-)
|
.
456.6 /
292.2
(0)
|
n^1/?
12.8 /
12.4
(2)
|
exity_Full_Rewriting/AProVE_09_Inductive/qsort.xml
|
.
365.8 /
300.0
(-)
|
.
384.5 /
292.3
(0)
|
n^1/?
9.5 /
13.7
(2)
|
y_Full_Rewriting/AProVE_09_Inductive/qsortlast.xml
|
.
580.0 /
297.2
(-)
|
.
618.7 /
292.2
(0)
|
n^1/?
17.0 /
12.3
(2)
|
Full_Rewriting/AProVE_09_Inductive/qsortmiddle.xml
|
.
457.2 /
297.8
(-)
|
.
465.0 /
292.7
(0)
|
n^1/?
37.2 /
14.2
(2)
|
ty_Full_Rewriting/AProVE_09_Inductive/zerolist.xml
|
.
508.3 /
297.9
(-)
|
.
449.1 /
292.2
(0)
|
n^1/?
9.3 /
14.5
(2)
|
time_Complexity_Full_Rewriting/Beerendonk_07/1.xml
|
.
355.1 /
300.0
(-)
|
.
213.8 /
148.5
(0)
|
n^1/?
14.4 /
11.2
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/10.xml
|
.
244.6 /
119.8
(-)
|
.
282.8 /
198.4
(0)
|
n^1/?
15.4 /
12.7
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/11.xml
|
.
270.4 /
149.1
(-)
|
.
350.1 /
292.6
(0)
|
n^1/?
7.7 /
13.1
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/12.xml
|
.
215.6 /
133.3
(-)
|
.
334.9 /
273.0
(0)
|
n^1/?
19.5 /
14.4
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/13.xml
|
.
258.2 /
174.4
(-)
|
.
134.7 /
79.4
(0)
|
n^1/?
13.9 /
11.6
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/14.xml
|
.
202.7 /
90.5
(-)
|
.
178.1 /
108.8
(0)
|
n^1/?
18.5 /
14.5
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/15.xml
|
.
503.8 /
297.3
(-)
|
.
531.7 /
292.9
(0)
|
n^1/?
12.6 /
12.9
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/16.xml
|
.
588.7 /
284.3
(-)
|
.
532.6 /
292.3
(0)
|
n^1/?
15.5 /
11.7
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/17.xml
|
.
369.5 /
297.8
(-)
|
.
576.2 /
292.6
(0)
|
n^1/?
16.5 /
12.5
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/18.xml
|
.
381.3 /
163.3
(-)
|
.
338.6 /
163.1
(0)
|
n^1/?
15.3 /
11.4
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/19.xml
|
.
438.6 /
196.8
(-)
|
.
247.0 /
127.8
(0)
|
n^1/?
13.6 /
11.4
(2)
|
time_Complexity_Full_Rewriting/Beerendonk_07/2.xml
|
.
209.1 /
117.0
(-)
|
.
174.2 /
100.4
(0)
|
n^1/?
7.3 /
12.8
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/20.xml
|
.
354.9 /
297.6
(-)
|
.
394.6 /
196.0
(0)
|
n^1/?
14.1 /
11.3
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/21.xml
|
.
461.9 /
183.1
(-)
|
.
439.3 /
247.9
(0)
|
n^1/?
18.0 /
12.3
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/22.xml
|
.
149.8 /
67.3
(-)
|
.
214.8 /
130.1
(0)
|
n^1/?
12.9 /
11.7
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/23.xml
|
.
259.9 /
136.2
(-)
|
.
139.7 /
80.1
(0)
|
n^1/?
15.4 /
12.0
(2)
|
ime_Complexity_Full_Rewriting/Beerendonk_07/24.xml
|
.
390.2 /
148.3
(-)
|
.
545.4 /
292.6
(0)
|
n^1/?
10.4 /
12.8
(2)
|
time_Complexity_Full_Rewriting/Beerendonk_07/3.xml
|
.
388.6 /
297.5
(-)
|
.
306.8 /
188.0
(0)
|
n^1/?
15.5 /
11.5
(2)
|
time_Complexity_Full_Rewriting/Beerendonk_07/4.xml
|
.
411.0 /
297.4
(-)
|
.
316.0 /
292.1
(0)
|
n^1/?
1.0 /
2.2
(2)
|
time_Complexity_Full_Rewriting/Beerendonk_07/5.xml
|
.
489.3 /
298.6
(-)
|
.
270.0 /
187.7
(0)
|
n^1/?
15.6 /
11.7
(2)
|
time_Complexity_Full_Rewriting/Beerendonk_07/6.xml
|
.
164.1 /
100.7
(-)
|
.
196.0 /
118.6
(0)
|
n^1/?
15.3 /
11.4
(2)
|
time_Complexity_Full_Rewriting/Beerendonk_07/7.xml
|
.
340.9 /
172.8
(-)
|
.
437.1 /
292.5
(0)
|
n^1/?
13.4 /
11.4
(2)
|
time_Complexity_Full_Rewriting/Beerendonk_07/8.xml
|
.
401.4 /
210.2
(-)
|
.
651.1 /
292.5
(0)
|
n^1/?
16.2 /
11.3
(2)
|
time_Complexity_Full_Rewriting/Beerendonk_07/9.xml
|
.
418.0 /
154.6
(-)
|
.
225.6 /
104.3
(0)
|
n^1/?
15.0 /
11.5
(2)
|
e_Complexity_Full_Rewriting/CiME_04/ack_prolog.xml
|
.
694.4 /
297.3
(-)
|
.
396.4 /
292.1
(0)
|
n^1/?
18.8 /
20.0
(2)
|
_Complexity_Full_Rewriting/CiME_04/append-hard.xml
|
.
677.3 /
297.3
(-)
|
.
322.0 /
292.2
(0)
|
n^1/?
8.4 /
14.1
(2)
|
Complexity_Full_Rewriting/CiME_04/append-wrong.xml
|
.
639.1 /
297.3
(-)
|
.
439.6 /
292.0
(0)
|
?/?
1.9 /
1.4
(0)
|
ntime_Complexity_Full_Rewriting/CiME_04/append.xml
|
?/n^1
7.1 /
4.0
(-)
|
?/n^1
5.2 /
2.1
(2)
|
n^1/?
14.7 /
11.3
(2)
|
Runtime_Complexity_Full_Rewriting/CiME_04/big.xml
|
.
592.0 /
297.7
(-)
|
.
611.2 /
292.2
(0)
|
.
26.3 /
15.5
(0)
|
Runtime_Complexity_Full_Rewriting/CiME_04/dpqs.xml
|
?/n^0
4.1 /
1.1
(-)
|
?/n^0
2.9 /
1.5
(2)
|
.
12.7 /
11.4
(0)
|
me_Complexity_Full_Rewriting/CiME_04/fact-hard.xml
|
.
665.4 /
297.3
(-)
|
.
437.2 /
292.3
(0)
|
n^2/?
9.4 /
14.8
(2)
|
me_Complexity_Full_Rewriting/CiME_04/filliatre.xml
|
.
606.7 /
297.4
(-)
|
.
526.0 /
293.1
(0)
|
n^1/?
14.4 /
11.4
(2)
|
e_Complexity_Full_Rewriting/CiME_04/filliatre2.xml
|
.
675.5 /
297.3
(-)
|
.
545.5 /
292.7
(0)
|
n^1/?
14.4 /
13.6
(2)
|
e_Complexity_Full_Rewriting/CiME_04/filliatre3.xml
|
.
609.0 /
298.1
(-)
|
.
587.7 /
292.1
(0)
|
n^1/?
11.4 /
14.9
(2)
|
me_Complexity_Full_Rewriting/CiME_04/intersect.xml
|
?/n^2
501.4 /
297.9
(-)
|
.
491.8 /
292.3
(0)
|
n^1/?
19.1 /
15.3
(2)
|
l_Rewriting/CiME_04/list-sum-prod-assoc-append.xml
|
.
569.5 /
297.9
(-)
|
.
531.1 /
292.1
(0)
|
n^2/?
19.2 /
17.5
(2)
|
ity_Full_Rewriting/CiME_04/list-sum-prod-assoc.xml
|
.
761.7 /
298.2
(-)
|
.
319.3 /
293.9
(0)
|
n^2/?
19.4 /
16.9
(2)
|
ting/CiME_04/list-sum-prod-bin-assoc-distr-app.xml
|
.
562.6 /
298.0
(-)
|
.
456.2 /
292.5
(0)
|
n^1/?
19.5 /
12.9
(2)
|
Full_Rewriting/CiME_04/list-sum-prod-bin-assoc.xml
|
.
396.2 /
297.4
(-)
|
.
634.5 /
292.2
(0)
|
n^1/?
18.0 /
13.5
(2)
|
exity_Full_Rewriting/CiME_04/list-sum-prod-bin.xml
|
.
633.6 /
297.2
(-)
|
.
358.1 /
292.5
(0)
|
n^1/?
17.4 /
15.6
(2)
|
omplexity_Full_Rewriting/CiME_04/list-sum-prod.xml
|
.
463.0 /
298.3
(-)
|
.
550.6 /
292.1
(0)
|
n^2/?
23.3 /
15.4
(2)
|
Runtime_Complexity_Full_Rewriting/CiME_04/log2.xml
|
.
529.2 /
297.4
(-)
|
.
619.9 /
292.1
(0)
|
n^1/?
21.5 /
14.6
(2)
|
Runtime_Complexity_Full_Rewriting/CiME_04/lse.xml
|
.
446.3 /
298.2
(-)
|
.
469.1 /
292.3
(0)
|
n^2/?
18.8 /
13.0
(2)
|
ntime_Complexity_Full_Rewriting/CiME_04/maude2.xml
|
.
371.8 /
297.1
(-)
|
.
589.8 /
292.2
(0)
|
n^1/?
31.9 /
19.3
(2)
|
ntime_Complexity_Full_Rewriting/CiME_04/mucrl1.xml
|
.
621.6 /
297.8
(-)
|
.
703.0 /
292.4
(0)
|
.
313.5 /
281.1
(0)
|
Complexity_Full_Rewriting/CiME_04/ternary-hard.xml
|
.
554.0 /
297.4
(-)
|
.
580.1 /
292.1
(0)
|
n^1/?
42.6 /
33.5
(2)
|
time_Complexity_Full_Rewriting/CiME_04/ternary.xml
|
.
491.5 /
297.2
(-)
|
.
491.9 /
292.3
(0)
|
n^1/?
28.5 /
28.8
(2)
|
Runtime_Complexity_Full_Rewriting/CiME_04/tree.xml
|
.
651.3 /
297.3
(-)
|
.
638.1 /
292.5
(0)
|
n^1/?
22.3 /
16.1
(2)
|
Runtime_Complexity_Full_Rewriting/Der95/06.xml
|
?/n^1
1.2 /
0.4
(-)
|
?/n^1
0.6 /
1.0
(2)
|
n^1/?
2.7 /
3.4
(2)
|
Runtime_Complexity_Full_Rewriting/Der95/07.xml
|
?/n^1
4.1 /
2.0
(-)
|
?/n^1
1.4 /
0.7
(2)
|
n^1/?
9.5 /
11.3
(2)
|
Runtime_Complexity_Full_Rewriting/Der95/08.xml
|
?/n^1
3.9 /
2.2
(-)
|
?/n^1
4.2 /
1.1
(2)
|
n^1/?
16.0 /
12.9
(2)
|
Runtime_Complexity_Full_Rewriting/Der95/11.xml
|
?/n^1
308.0 /
148.1
(-)
|
?/n^1
130.8 /
92.2
(2)
|
n^1/?
19.7 /
12.3
(2)
|
Runtime_Complexity_Full_Rewriting/Der95/12.xml
|
.
466.4 /
298.4
(-)
|
.
497.7 /
292.0
(0)
|
n^1/?
16.6 /
13.6
(2)
|
Runtime_Complexity_Full_Rewriting/Der95/18.xml
|
?/n^1
1.6 /
0.9
(-)
|
?/n^1
0.4 /
0.5
(2)
|
n^1/?
3.7 /
2.2
(2)
|
Runtime_Complexity_Full_Rewriting/Der95/20.xml
|
.
596.1 /
297.7
(-)
|
.
572.1 /
292.0
(0)
|
n^1/?
14.3 /
12.2
(2)
|
Runtime_Complexity_Full_Rewriting/Der95/21.xml
|
.
860.6 /
298.0
(-)
|
.
507.4 /
292.1
(0)
|
n^2/?
18.3 /
12.5
(2)
|
Runtime_Complexity_Full_Rewriting/Der95/27.xml
|
?/n^1
1.6 /
0.6
(-)
|
?/n^1
0.6 /
0.4
(2)
|
n^1/?
2.2 /
2.2
(2)
|
Runtime_Complexity_Full_Rewriting/Der95/31.xml
|
?/n^2
511.1 /
299.0
(-)
|
?/n^2
13.3 /
4.5
(2)
|
n^1/?
15.4 /
11.6
(2)
|
Runtime_Complexity_Full_Rewriting/Der95/32.xml
|
.
612.4 /
297.3
(-)
|
.
391.8 /
292.2
(0)
|
n^1/?
17.5 /
13.9
(2)
|
Runtime_Complexity_Full_Rewriting/Der95/33.xml
|
.
376.1 /
297.5
(-)
|
.
595.7 /
292.3
(0)
|
n^1/?
13.3 /
11.3
(2)
|
_Complexity_Full_Rewriting/Endrullis_06/direct.xml
|
?/n^1
57.0 /
28.9
(-)
|
?/n^0
12.7 /
9.0
(2)
|
.
2.0 /
2.2
(0)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade01.xml
|
.
394.7 /
297.5
(-)
|
.
510.2 /
292.8
(0)
|
n^1/?
13.5 /
11.6
(2)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade03.xml
|
.
601.4 /
300.1
(-)
|
.
595.5 /
292.0
(0)
|
n^1/?
14.3 /
11.5
(2)
|
time_Complexity_Full_Rewriting/GTSSK07/cade04t.xml
|
.
715.2 /
297.5
(-)
|
.
343.2 /
292.1
(0)
|
n^1/?
16.2 /
11.7
(2)
|
time_Complexity_Full_Rewriting/GTSSK07/cade05t.xml
|
.
461.2 /
297.4
(-)
|
.
554.5 /
292.3
(0)
|
n^1/?
11.0 /
12.5
(2)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade06.xml
|
.
382.9 /
297.2
(-)
|
.
357.8 /
174.9
(0)
|
n^1/?
14.9 /
11.4
(2)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade07.xml
|
.
611.6 /
297.2
(-)
|
.
617.3 /
292.2
(0)
|
n^1/?
3.9 /
3.3
(2)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade08.xml
|
.
440.5 /
231.2
(-)
|
.
344.6 /
180.0
(0)
|
n^1/?
8.1 /
13.2
(2)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade09.xml
|
.
748.4 /
297.9
(-)
|
.
303.5 /
292.1
(0)
|
n^1/?
13.2 /
12.3
(2)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade10.xml
|
.
628.7 /
297.3
(-)
|
.
515.1 /
292.0
(0)
|
n^1/?
14.7 /
12.5
(2)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade11.xml
|
.
562.5 /
298.5
(-)
|
.
426.3 /
292.2
(0)
|
n^1/?
1.6 /
2.3
(2)
|
time_Complexity_Full_Rewriting/GTSSK07/cade12t.xml
|
.
400.7 /
297.4
(-)
|
.
570.2 /
292.5
(0)
|
n^1/?
16.4 /
12.4
(2)
|
time_Complexity_Full_Rewriting/GTSSK07/cade13t.xml
|
.
529.7 /
297.3
(-)
|
.
317.8 /
292.5
(0)
|
n^1/?
15.6 /
12.3
(2)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade14.xml
|
.
554.1 /
297.8
(-)
|
.
311.5 /
293.3
(0)
|
n^1/?
11.4 /
11.9
(2)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade15.xml
|
.
617.4 /
297.2
(-)
|
.
471.7 /
292.2
(0)
|
?/?
17.0 /
12.8
(0)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade16.xml
|
.
545.9 /
297.6
(-)
|
.
494.7 /
292.3
(0)
|
n^1/?
8.0 /
14.3
(2)
|
ntime_Complexity_Full_Rewriting/GTSSK07/cade17.xml
|
.
415.5 /
297.8
(-)
|
.
620.7 /
292.2
(0)
|
n^2/?
16.2 /
12.4
(2)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/n002.xml
|
.
59.1 /
46.7
(-)
|
.
25.6 /
14.3
(0)
|
?/?
0.3 /
1.2
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/n003.xml
|
.
63.6 /
26.4
(-)
|
.
23.0 /
14.1
(0)
|
?/?
0.3 /
1.3
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/n004.xml
|
.
89.3 /
29.5
(-)
|
.
37.1 /
14.0
(0)
|
?/?
0.4 /
2.4
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/n005.xml
|
.
652.7 /
297.2
(-)
|
.
292.0 /
292.5
(0)
|
?/?
0.3 /
1.3
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/n006.xml
|
.
69.6 /
34.1
(-)
|
.
34.1 /
16.0
(0)
|
?/?
0.3 /
1.2
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/n007.xml
|
.
68.2 /
39.4
(-)
|
.
3.7 /
1.5
(0)
|
?/?
0.4 /
1.3
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t001.xml
|
.
725.0 /
297.6
(-)
|
.
513.7 /
292.3
(0)
|
n^1/?
23.0 /
16.9
(2)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t002.xml
|
.
557.8 /
297.5
(-)
|
.
439.0 /
292.4
(0)
|
n^1/?
13.1 /
12.4
(2)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t003.xml
|
.
560.5 /
297.3
(-)
|
.
588.1 /
292.4
(0)
|
n^1/?
28.1 /
22.5
(2)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t004.xml
|
.
516.3 /
297.2
(-)
|
.
240.2 /
127.4
(0)
|
n^1/?
5.6 /
4.4
(2)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t009.xml
|
.
704.6 /
300.1
(-)
|
.
727.3 /
294.0
(0)
|
.
290.5 /
280.7
(0)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t011.xml
|
?/n^1
28.1 /
24.5
(-)
|
?/n^1
16.4 /
7.1
(2)
|
n^1/?
2.2 /
2.2
(2)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t012.xml
|
.
747.4 /
297.6
(-)
|
.
680.5 /
292.6
(0)
|
n^1/?
14.9 /
11.4
(2)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t013.xml
|
.
873.4 /
297.5
(-)
|
.
530.0 /
292.1
(0)
|
n^1/?
28.2 /
23.3
(2)
|
xity_Full_Rewriting/HirokawaMiddeldorp_04/t014.xml
|
.
522.6 /
297.5
(-)
|
.
537.0 /
292.1
(0)
|
n^1/?
15.3 /
11.3
(2)
|
plexity_Full_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml
|
.
627.1 /
297.2
(-)
|
.
550.3 /
291.7
(0)
|
n^1/?
12.1 /
15.6
(2)
|
me_Complexity_Full_Rewriting/Mixed_TRS/fossacs.xml
|
.
572.6 /
297.7
(-)
|
.
542.6 /
292.5
(0)
|
n^1/?
14.4 /
11.2
(2)
|
untime_Complexity_Full_Rewriting/Mixed_TRS/gcd.xml
|
.
506.4 /
297.2
(-)
|
.
532.5 /
292.2
(0)
|
n^1/?
15.9 /
12.3
(2)
|
_Complexity_Full_Rewriting/Mixed_TRS/gcdMinMax.xml
|
.
575.5 /
297.2
(-)
|
.
393.5 /
292.6
(0)
|
n^1/?
16.8 /
13.6
(2)
|
Complexity_Full_Rewriting/Mixed_TRS/gcd_triple.xml
|
.
540.8 /
297.2
(-)
|
.
565.5 /
292.2
(0)
|
n^1/?
14.1 /
12.4
(2)
|
exity_Full_Rewriting/Mixed_TRS/hydra-Zantema06.xml
|
.
655.7 /
297.4
(-)
|
.
547.7 /
293.0
(0)
|
n^1/?
9.5 /
12.4
(2)
|
time_Complexity_Full_Rewriting/Mixed_TRS/hydra.xml
|
?/n^2
660.9 /
297.1
(-)
|
?/n^2
8.8 /
3.5
(2)
|
.
12.5 /
20.5
(0)
|
ime_Complexity_Full_Rewriting/Mixed_TRS/jones1.xml
|
?/n^1
5.5 /
2.7
(-)
|
?/n^1
0.4 /
0.2
(2)
|
.
6.7 /
6.3
(0)
|
ime_Complexity_Full_Rewriting/Mixed_TRS/jones2.xml
|
?/n^1
22.9 /
20.5
(-)
|
?/n^1
4.3 /
1.2
(2)
|
.
16.3 /
11.5
(0)
|
ime_Complexity_Full_Rewriting/Mixed_TRS/jones4.xml
|
?/n^1
0.7 /
0.3
(-)
|
?/n^1
0.5 /
0.2
(2)
|
.
15.2 /
11.2
(0)
|
ime_Complexity_Full_Rewriting/Mixed_TRS/jones5.xml
|
.
431.4 /
297.5
(-)
|
.
7.6 /
3.7
(0)
|
.
17.2 /
14.5
(0)
|
ime_Complexity_Full_Rewriting/Mixed_TRS/jones6.xml
|
?/n^1
6.9 /
4.9
(-)
|
?/n^1
2.8 /
1.0
(2)
|
.
15.3 /
12.3
(0)
|
me_Complexity_Full_Rewriting/Mixed_TRS/minsort.xml
|
.
599.7 /
297.2
(-)
|
.
647.2 /
292.2
(0)
|
n^1/?
16.2 /
11.5
(2)
|
me_Complexity_Full_Rewriting/Mixed_TRS/perfect.xml
|
?/n^1
5.7 /
2.3
(-)
|
?/n^1
4.2 /
1.4
(2)
|
.
7.5 /
6.3
(0)
|
e_Complexity_Full_Rewriting/Mixed_TRS/perfect2.xml
|
.
507.2 /
298.4
(-)
|
.
616.4 /
292.2
(0)
|
n^1/?
18.9 /
16.0
(2)
|
time_Complexity_Full_Rewriting/Mixed_TRS/test1.xml
|
.
564.3 /
297.3
(-)
|
.
6.4 /
3.7
(0)
|
.
1.2 /
2.3
(0)
|
time_Complexity_Full_Rewriting/Mixed_TRS/while.xml
|
.
349.8 /
297.5
(-)
|
.
570.6 /
292.1
(0)
|
.
2.2 /
2.5
(0)
|
me_Complexity_Full_Rewriting/Rubio_04/bintrees.xml
|
?/n^1
9.8 /
3.5
(-)
|
?/n^1
9.4 /
4.0
(2)
|
n^1/?
15.3 /
11.5
(2)
|
ntime_Complexity_Full_Rewriting/Rubio_04/bn122.xml
|
?/n^1
8.6 /
6.5
(-)
|
?/n^1
2.0 /
0.7
(2)
|
.
18.6 /
13.7
(0)
|
me_Complexity_Full_Rewriting/Rubio_04/division.xml
|
.
585.5 /
297.2
(-)
|
.
494.1 /
292.1
(0)
|
n^1/?
13.9 /
11.6
(2)
|
me_Complexity_Full_Rewriting/Rubio_04/elimdupl.xml
|
.
423.1 /
297.6
(-)
|
?/n^3
542.0 /
292.3
(2)
|
n^1/?
13.7 /
12.4
(2)
|
untime_Complexity_Full_Rewriting/Rubio_04/enno.xml
|
.
625.7 /
297.2
(-)
|
.
715.9 /
292.1
(0)
|
n^1/?
14.0 /
11.3
(2)
|
Runtime_Complexity_Full_Rewriting/Rubio_04/gcd.xml
|
.
502.7 /
297.5
(-)
|
.
343.8 /
292.3
(0)
|
n^1/?
21.6 /
14.9
(2)
|
Runtime_Complexity_Full_Rewriting/Rubio_04/gm.xml
|
?/n^1
197.9 /
117.5
(-)
|
?/n^1
1.7 /
0.9
(2)
|
n^1/?
16.2 /
11.7
(2)
|
untime_Complexity_Full_Rewriting/Rubio_04/gmnp.xml
|
?/n^1
6.0 /
2.5
(-)
|
?/n^1
2.7 /
1.4
(2)
|
n^1/?
9.6 /
11.9
(2)
|
untime_Complexity_Full_Rewriting/Rubio_04/koen.xml
|
?/n^0
5.3 /
2.7
(-)
|
?/n^0
2.0 /
0.7
(2)
|
.
3.3 /
4.7
(0)
|
e_Complexity_Full_Rewriting/Rubio_04/logarquot.xml
|
.
530.3 /
281.3
(-)
|
.
432.0 /
259.3
(0)
|
n^1/?
7.7 /
12.7
(2)
|
untime_Complexity_Full_Rewriting/Rubio_04/ma96.xml
|
.
482.9 /
297.3
(-)
|
.
747.2 /
292.2
(0)
|
n^1/?
21.6 /
15.9
(2)
|
ntime_Complexity_Full_Rewriting/Rubio_04/mfp95.xml
|
?/n^1
0.6 /
0.4
(-)
|
?/n^0
0.1 /
0.1
(2)
|
.
0.7 /
2.3
(0)
|
ime_Complexity_Full_Rewriting/Rubio_04/nestrec.xml
|
.
759.9 /
297.2
(-)
|
.
472.4 /
292.0
(0)
|
n^1/?
2.4 /
3.2
(2)
|
untime_Complexity_Full_Rewriting/Rubio_04/p266.xml
|
?/n^1
8.1 /
3.2
(-)
|
?/n^0
1.9 /
2.3
(2)
|
.
0.5 /
2.3
(0)
|
ntime_Complexity_Full_Rewriting/Rubio_04/polo2.xml
|
?/n^1
290.2 /
148.2
(-)
|
?/n^1
84.5 /
61.8
(2)
|
n^1/?
19.4 /
13.0
(2)
|
untime_Complexity_Full_Rewriting/Rubio_04/prov.xml
|
?/n^1
0.9 /
0.5
(-)
|
?/n^1
1.7 /
1.0
(2)
|
n^1/?
1.6 /
3.2
(2)
|
ntime_Complexity_Full_Rewriting/Rubio_04/quick.xml
|
.
438.1 /
297.4
(-)
|
.
561.4 /
292.7
(0)
|
n^2/?
15.3 /
13.4
(2)
|
e_Complexity_Full_Rewriting/Rubio_04/quotminus.xml
|
.
468.1 /
297.9
(-)
|
.
466.8 /
292.4
(0)
|
n^1/?
15.5 /
12.3
(2)
|
ime_Complexity_Full_Rewriting/Rubio_04/revlist.xml
|
.
739.7 /
297.4
(-)
|
.
552.0 /
292.4
(0)
|
n^1/?
9.5 /
5.3
(2)
|
ime_Complexity_Full_Rewriting/Rubio_04/selsort.xml
|
.
689.2 /
297.1
(-)
|
.
657.0 /
292.1
(0)
|
n^2/?
16.2 /
13.0
(2)
|
ntime_Complexity_Full_Rewriting/Rubio_04/test4.xml
|
?/n^1
16.1 /
8.8
(-)
|
?/n^1
8.7 /
4.6
(2)
|
n^1/?
2.0 /
2.2
(2)
|
ime_Complexity_Full_Rewriting/Rubio_04/test829.xml
|
?/n^1
4.2 /
2.3
(-)
|
?/n^1
1.3 /
0.4
(2)
|
.
0.5 /
2.2
(0)
|
ntime_Complexity_Full_Rewriting/Rubio_04/wst99.xml
|
.
610.7 /
297.2
(-)
|
.
634.6 /
292.2
(0)
|
n^1/?
14.0 /
11.3
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.02.xml
|
?/n^1
548.8 /
297.2
(-)
|
?/n^1
337.8 /
292.4
(2)
|
n^1/?
14.8 /
11.2
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.03.xml
|
?/n^1
3.8 /
1.9
(-)
|
?/n^1
1.4 /
0.6
(2)
|
n^1/?
15.0 /
11.3
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.07.xml
|
?/n^2
533.0 /
297.3
(-)
|
?/n^2
19.7 /
9.3
(2)
|
n^1/?
27.4 /
21.7
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.09.xml
|
?/n^1
1.3 /
0.5
(-)
|
?/n^1
0.6 /
0.2
(2)
|
n^1/?
15.8 /
11.5
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.11.xml
|
?/n^1
1.9 /
1.2
(-)
|
?/n^1
0.9 /
0.4
(2)
|
n^1/?
15.4 /
11.6
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.12.xml
|
.
467.6 /
297.6
(-)
|
.
389.7 /
292.3
(0)
|
n^3/?
16.9 /
12.7
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.13.xml
|
?/n^1
5.5 /
3.2
(-)
|
?/n^1
2.4 /
1.2
(2)
|
n^1/?
16.4 /
12.8
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.14.xml
|
?/n^1
462.3 /
297.2
(-)
|
?/n^1
3.3 /
1.6
(2)
|
n^1/?
8.4 /
13.7
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.15.xml
|
.
522.3 /
297.4
(-)
|
.
330.4 /
292.1
(0)
|
?/?
4.4 /
4.3
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.16.xml
|
?/n^2
411.2 /
297.5
(-)
|
?/n^2
8.2 /
4.1
(2)
|
n^1/?
13.7 /
13.6
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.17.xml
|
?/n^1
7.1 /
3.5
(-)
|
?/n^1
1.2 /
0.7
(2)
|
n^1/?
4.2 /
5.6
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.18.xml
|
?/n^2
59.0 /
34.4
(-)
|
?/n^2
5.6 /
1.7
(2)
|
n^1/?
16.4 /
12.2
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.19.xml
|
.
360.5 /
218.3
(-)
|
?/n^2
482.4 /
292.3
(2)
|
n^2/?
17.2 /
12.8
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.20.xml
|
?/n^1
3.4 /
2.1
(-)
|
?/n^1
2.1 /
1.3
(2)
|
n^1/?
3.1 /
4.7
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.21.xml
|
.
146.9 /
67.2
(-)
|
.
8.3 /
3.6
(0)
|
n^1/?
7.9 /
10.0
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.22.xml
|
.
552.0 /
297.3
(-)
|
.
533.4 /
294.6
(0)
|
n^1/?
17.8 /
12.3
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.23.xml
|
.
446.7 /
298.4
(-)
|
.
454.2 /
292.3
(0)
|
n^2/?
282.5 /
281.0
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.24.xml
|
.
99.1 /
54.4
(-)
|
.
8.7 /
7.5
(0)
|
n^1/?
8.1 /
5.3
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.25.xml
|
.
581.2 /
297.4
(-)
|
.
546.2 /
292.2
(0)
|
n^1/?
15.5 /
12.2
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.26.xml
|
.
627.3 /
298.6
(-)
|
.
559.0 /
292.1
(0)
|
?/?
11.5 /
16.1
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.27.xml
|
.
680.1 /
298.4
(-)
|
.
456.2 /
292.1
(0)
|
.
14.6 /
12.5
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.28.xml
|
.
538.5 /
297.3
(-)
|
.
580.1 /
292.1
(0)
|
n^1/?
4.3 /
4.3
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.29.xml
|
?/n^1
26.7 /
14.1
(-)
|
?/n^1
4.4 /
2.4
(2)
|
n^1/?
3.3 /
3.3
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.30.xml
|
?/n^1
1.2 /
0.5
(-)
|
?/n^0
2.7 /
1.2
(2)
|
.
0.4 /
2.2
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.31.xml
|
?/n^1
3.4 /
1.8
(-)
|
?/n^1
0.6 /
0.3
(2)
|
n^1/?
14.4 /
12.5
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.36.xml
|
?/n^1
31.3 /
25.6
(-)
|
?/n^1
14.6 /
7.1
(2)
|
n^1/?
14.8 /
11.3
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.37.xml
|
?/n^1
3.0 /
1.8
(-)
|
?/n^0
1.0 /
1.2
(2)
|
.
0.8 /
2.8
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.38.xml
|
?/n^1
5.3 /
3.2
(-)
|
?/n^1
0.7 /
0.4
(2)
|
n^1/?
13.1 /
11.3
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.39.xml
|
?/n^2
141.7 /
80.2
(-)
|
?/n^2
22.0 /
10.9
(2)
|
n^2/?
13.7 /
11.8
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.40.xml
|
?/n^1
5.0 /
2.5
(-)
|
?/n^1
1.0 /
1.2
(2)
|
n^1/?
1.3 /
2.5
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.41.xml
|
?/n^1
2.2 /
1.4
(-)
|
?/n^1
2.3 /
1.1
(2)
|
n^1/?
8.1 /
14.2
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.42.xml
|
?/n^1
810.4 /
297.6
(-)
|
?/n^1
24.5 /
8.2
(2)
|
n^1/?
29.7 /
12.1
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.43.xml
|
.
610.3 /
300.0
(-)
|
.
309.3 /
292.0
(0)
|
n^1/?
27.2 /
21.8
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.44.xml
|
?/n^1
17.3 /
10.0
(-)
|
?/n^1
4.1 /
1.7
(2)
|
n^1/?
13.8 /
11.3
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.45.xml
|
?/n^1
87.1 /
83.7
(-)
|
?/n^1
3.1 /
2.7
(2)
|
n^1/?
11.2 /
9.5
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.47.xml
|
?/n^1
1.9 /
1.7
(-)
|
?/n^1
0.2 /
0.1
(2)
|
n^1/?
4.2 /
3.2
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.48.xml
|
?/n^0
1.8 /
0.9
(-)
|
?/n^0
0.5 /
0.5
(2)
|
.
1.1 /
2.6
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.49.xml
|
?/n^1
9.5 /
6.7
(-)
|
?/n^0
4.8 /
1.7
(2)
|
.
0.6 /
2.2
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.50.xml
|
?/n^1
0.8 /
0.4
(-)
|
?/n^1
0.3 /
0.2
(2)
|
n^1/?
1.1 /
2.2
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.51.xml
|
.
596.3 /
297.6
(-)
|
.
489.4 /
292.5
(0)
|
n^1/?
7.9 /
6.8
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.52.xml
|
.
563.7 /
297.8
(-)
|
.
573.3 /
292.3
(0)
|
.
16.4 /
15.1
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.53.xml
|
?/n^1
1.5 /
1.0
(-)
|
?/n^1
1.2 /
0.5
(2)
|
n^1/?
14.1 /
11.4
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/2.54.xml
|
?/n^1
4.8 /
5.1
(-)
|
?/n^1
0.3 /
0.2
(2)
|
.
3.7 /
3.3
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.55.xml
|
?/n^1
2.5 /
1.4
(-)
|
?/n^1
0.3 /
0.2
(2)
|
.
1.5 /
4.1
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.59.xml
|
?/n^1
3.2 /
3.5
(-)
|
?/n^1
0.2 /
0.1
(2)
|
.
0.8 /
2.4
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/2.61.xml
|
?/n^1
381.5 /
297.6
(-)
|
?/n^1
428.3 /
293.3
(2)
|
.
5.6 /
10.5
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.05.xml
|
?/n^2
38.6 /
23.4
(-)
|
?/n^2
5.6 /
3.0
(2)
|
n^1/?
25.0 /
22.3
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.06.xml
|
.
549.6 /
300.0
(-)
|
.
469.4 /
292.2
(0)
|
?/?
0.4 /
1.2
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.07.xml
|
?/n^1
4.2 /
1.5
(-)
|
?/n^0
0.4 /
0.2
(2)
|
.
15.7 /
11.3
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.09.xml
|
?/n^2
577.8 /
297.3
(-)
|
?/n^0
5.9 /
3.3
(2)
|
.
15.4 /
11.4
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.10.xml
|
?/n^2
136.2 /
79.5
(-)
|
?/n^2
13.6 /
5.8
(2)
|
n^1/?
14.9 /
14.7
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.12.xml
|
?/n^1
57.0 /
24.1
(-)
|
?/n^1
13.1 /
7.1
(2)
|
n^1/?
16.6 /
12.3
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.13.xml
|
?/n^1
362.7 /
290.7
(-)
|
?/n^2
10.3 /
4.8
(2)
|
n^1/?
18.5 /
12.7
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.16.xml
|
?/n^1
8.4 /
5.4
(-)
|
?/n^1
1.3 /
0.6
(2)
|
.
9.5 /
12.2
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.17.xml
|
.
265.6 /
150.4
(-)
|
.
151.4 /
87.6
(0)
|
n^2/?
1.9 /
3.3
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.18.xml
|
?/n^1
9.5 /
4.2
(-)
|
?/n^0
1.3 /
0.7
(2)
|
.
8.7 /
8.4
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.22.xml
|
.
566.0 /
298.0
(-)
|
.
499.2 /
292.2
(0)
|
n^1/?
12.9 /
14.1
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.24.xml
|
.
686.4 /
297.3
(-)
|
.
557.8 /
292.8
(0)
|
n^1/?
21.6 /
14.6
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.25.xml
|
?/n^1
2.1 /
1.2
(-)
|
?/n^1
0.8 /
0.4
(2)
|
n^1/?
5.7 /
3.2
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.26.xml
|
?/n^1
563.7 /
297.2
(-)
|
?/n^1
14.5 /
5.8
(2)
|
n^1/?
11.8 /
12.5
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.27.xml
|
.
619.2 /
297.3
(-)
|
.
710.5 /
292.9
(0)
|
n^1/?
3.5 /
3.4
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.28.xml
|
?/n^1
341.6 /
297.6
(-)
|
?/n^1
31.2 /
13.1
(2)
|
n^1/?
291.7 /
280.6
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.29.xml
|
?/n^1
2.1 /
0.8
(-)
|
?/n^1
0.9 /
0.3
(2)
|
.
14.6 /
11.3
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.30.xml
|
?/n^1
91.8 /
45.7
(-)
|
?/n^1
16.4 /
7.0
(2)
|
n^1/?
18.3 /
12.2
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.31.xml
|
.
632.0 /
297.4
(-)
|
.
400.1 /
292.1
(0)
|
?/?
6.7 /
5.3
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.34.xml
|
.
659.9 /
297.8
(-)
|
.
340.0 /
292.0
(0)
|
n^1/?
1.7 /
3.3
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.35.xml
|
?/n^0
1.3 /
1.0
(-)
|
?/n^0
0.2 /
0.1
(2)
|
.
0.5 /
2.2
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.38.xml
|
?/n^1
5.7 /
2.5
(-)
|
?/n^1
1.4 /
0.8
(2)
|
n^1/?
14.9 /
11.6
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.42.xml
|
.
630.7 /
297.3
(-)
|
.
363.9 /
292.5
(0)
|
n^1/?
10.6 /
12.5
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.43.xml
|
.
501.1 /
297.2
(-)
|
.
375.4 /
292.5
(0)
|
n^1/?
11.8 /
11.4
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.45.xml
|
?/n^1
4.1 /
4.4
(-)
|
?/n^1
0.4 /
0.3
(2)
|
n^1/?
0.9 /
2.2
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.47.xml
|
?/n^0
7.4 /
6.2
(-)
|
?/n^0
0.2 /
0.2
(2)
|
.
0.6 /
2.4
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.48.xml
|
?/n^1
17.4 /
10.6
(-)
|
?/n^0
1.5 /
0.9
(2)
|
.
13.7 /
11.3
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.51.xml
|
?/n^1
8.6 /
3.7
(-)
|
?/n^1
2.6 /
1.2
(2)
|
.
0.7 /
2.2
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.53.xml
|
.
402.4 /
300.0
(-)
|
?/n^2
33.9 /
16.8
(2)
|
n^1/?
19.4 /
14.8
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.54.xml
|
.
580.0 /
297.3
(-)
|
.
595.6 /
292.1
(0)
|
?/?
6.8 /
5.2
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.57.xml
|
.
555.4 /
297.3
(-)
|
.
736.7 /
292.3
(0)
|
.
12.7 /
11.7
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.59.xml
|
.
651.2 /
297.6
(-)
|
.
519.8 /
292.2
(0)
|
?/?
5.9 /
7.4
(0)
|
Runtime_Complexity_Full_Rewriting/SK90/4.60.xml
|
.
678.3 /
297.4
(-)
|
.
579.2 /
291.4
(0)
|
n^1/?
26.5 /
18.4
(2)
|
Runtime_Complexity_Full_Rewriting/SK90/4.61.xml
|
.
648.9 /
298.5
(-)
|
.
697.7 /
292.5
(0)
|
?/?
22.5 /
15.4
(0)
|
omplexity_Full_Rewriting/Secret_05_TRS/aprove2.xml
|
.
512.6 /
297.3
(-)
|
.
453.8 /
292.3
(0)
|
n^1/?
15.4 /
11.4
(2)
|
omplexity_Full_Rewriting/Secret_05_TRS/aprove3.xml
|
.
679.9 /
297.3
(-)
|
.
384.2 /
292.4
(0)
|
.
14.1 /
11.7
(0)
|
omplexity_Full_Rewriting/Secret_05_TRS/aprove4.xml
|
.
369.6 /
297.4
(-)
|
.
438.1 /
258.6
(0)
|
n^1/?
14.9 /
11.4
(2)
|
omplexity_Full_Rewriting/Secret_05_TRS/aprove5.xml
|
.
672.6 /
297.8
(-)
|
.
530.2 /
292.2
(0)
|
n^1/?
16.4 /
12.7
(2)
|
_Complexity_Full_Rewriting/Secret_05_TRS/cime2.xml
|
.
506.3 /
297.7
(-)
|
.
492.1 /
292.5
(0)
|
n^1/?
12.9 /
11.3
(2)
|
_Complexity_Full_Rewriting/Secret_05_TRS/cime3.xml
|
.
640.9 /
297.4
(-)
|
.
442.9 /
292.1
(0)
|
.
302.4 /
280.9
(0)
|
_Complexity_Full_Rewriting/Secret_05_TRS/cime4.xml
|
?/n^1
18.8 /
8.5
(-)
|
?/n^1
9.8 /
3.9
(2)
|
.
0.6 /
2.3
(0)
|
_Complexity_Full_Rewriting/Secret_05_TRS/cime5.xml
|
.
610.1 /
299.6
(-)
|
.
736.0 /
292.3
(0)
|
n^1/?
16.7 /
13.8
(2)
|
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa1.xml
|
.
667.5 /
297.3
(-)
|
.
619.3 /
292.4
(0)
|
n^1/?
12.2 /
12.5
(2)
|
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa2.xml
|
.
731.7 /
300.0
(-)
|
.
586.5 /
292.2
(0)
|
n^1/?
12.6 /
11.6
(2)
|
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa3.xml
|
.
711.5 /
297.5
(-)
|
.
555.0 /
292.2
(0)
|
n^2/?
16.6 /
12.3
(2)
|
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa4.xml
|
.
493.4 /
300.0
(-)
|
.
652.7 /
292.1
(0)
|
n^2/?
15.5 /
12.5
(2)
|
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa5.xml
|
.
420.6 /
176.2
(-)
|
.
273.3 /
117.9
(0)
|
n^1/?
16.0 /
11.5
(2)
|
e_Complexity_Full_Rewriting/Secret_05_TRS/ttt1.xml
|
.
684.1 /
297.9
(-)
|
?/n^0
18.0 /
12.7
(2)
|
.
13.8 /
11.2
(0)
|
e_Complexity_Full_Rewriting/Secret_05_TRS/ttt2.xml
|
.
455.0 /
298.7
(-)
|
.
54.2 /
34.7
(0)
|
?/?
0.4 /
1.2
(0)
|
ime_Complexity_Full_Rewriting/Secret_06_TRS/10.xml
|
?/n^1
692.1 /
297.5
(-)
|
?/n^1
600.7 /
292.1
(2)
|
.
3.5 /
3.3
(0)
|
time_Complexity_Full_Rewriting/Secret_06_TRS/4.xml
|
?/n^1
526.8 /
297.3
(-)
|
?/n^1
369.4 /
292.8
(2)
|
.
5.2 /
5.4
(0)
|
time_Complexity_Full_Rewriting/Secret_06_TRS/6.xml
|
?/n^1
123.5 /
65.9
(-)
|
?/n^1
32.6 /
19.7
(2)
|
.
12.3 /
12.0
(0)
|
omplexity_Full_Rewriting/Secret_06_TRS/addList.xml
|
.
571.8 /
297.2
(-)
|
.
623.8 /
292.2
(0)
|
n^1/?
73.1 /
76.7
(2)
|
Complexity_Full_Rewriting/Secret_06_TRS/divExp.xml
|
.
547.8 /
297.3
(-)
|
.
693.5 /
292.3
(0)
|
n^1/?
16.2 /
11.2
(2)
|
mplexity_Full_Rewriting/Secret_06_TRS/division.xml
|
.
545.1 /
297.2
(-)
|
.
487.3 /
292.1
(0)
|
n^1/?
11.7 /
12.5
(2)
|
Complexity_Full_Rewriting/Secret_06_TRS/double.xml
|
.
527.0 /
298.2
(-)
|
.
452.6 /
292.5
(0)
|
n^1/?
11.0 /
12.6
(2)
|
_Complexity_Full_Rewriting/Secret_06_TRS/gen-1.xml
|
?/n^1
152.2 /
92.1
(-)
|
?/n^1
394.6 /
292.6
(2)
|
.
7.0 /
12.0
(0)
|
Complexity_Full_Rewriting/Secret_06_TRS/gen-17.xml
|
.
636.3 /
297.5
(-)
|
?/n^0
49.6 /
38.2
(2)
|
.
11.4 /
10.3
(0)
|
Complexity_Full_Rewriting/Secret_06_TRS/gen-28.xml
|
.
391.9 /
299.7
(-)
|
.
470.8 /
292.4
(0)
|
.
14.4 /
11.2
(0)
|
plexity_Full_Rewriting/Secret_06_TRS/logarithm.xml
|
.
584.5 /
297.3
(-)
|
.
457.4 /
292.1
(0)
|
n^1/?
15.1 /
12.4
(2)
|
plexity_Full_Rewriting/Secret_06_TRS/nrOfNodes.xml
|
.
685.8 /
298.6
(-)
|
.
346.6 /
292.4
(0)
|
n^1/?
18.1 /
12.3
(2)
|
omplexity_Full_Rewriting/Secret_06_TRS/reverse.xml
|
.
1096.1 /
297.6
(-)
|
.
482.7 /
292.1
(0)
|
n^1/?
17.8 /
12.2
(2)
|
omplexity_Full_Rewriting/Secret_06_TRS/sumList.xml
|
.
642.7 /
297.5
(-)
|
.
415.7 /
292.4
(0)
|
n^2/?
14.1 /
13.5
(2)
|
_Complexity_Full_Rewriting/Secret_06_TRS/times.xml
|
.
517.2 /
297.5
(-)
|
.
491.7 /
292.1
(0)
|
n^1/?
19.3 /
13.6
(2)
|
Complexity_Full_Rewriting/Secret_06_TRS/toList.xml
|
.
804.1 /
297.9
(-)
|
.
615.7 /
292.1
(0)
|
.
17.7 /
12.7
(0)
|
_Complexity_Full_Rewriting/Secret_06_TRS/tpa04.xml
|
.
607.5 /
297.2
(-)
|
.
408.4 /
292.6
(0)
|
n^1/?
16.3 /
12.2
(2)
|
_Complexity_Full_Rewriting/Secret_06_TRS/tpa05.xml
|
.
563.3 /
297.2
(-)
|
.
554.5 /
292.9
(0)
|
n^2/?
17.8 /
12.6
(2)
|
_Complexity_Full_Rewriting/Secret_06_TRS/tpa06.xml
|
.
709.4 /
299.1
(-)
|
.
550.7 /
292.1
(0)
|
n^1/?
24.1 /
17.5
(2)
|
_Complexity_Full_Rewriting/Secret_06_TRS/tpa07.xml
|
.
746.4 /
297.3
(-)
|
.
571.5 /
292.0
(0)
|
n^2/?
13.9 /
13.5
(2)
|
_Complexity_Full_Rewriting/Secret_06_TRS/tpa08.xml
|
.
542.2 /
297.4
(-)
|
.
636.5 /
292.1
(0)
|
n^2/?
16.5 /
12.4
(2)
|
_Complexity_Full_Rewriting/Secret_06_TRS/tpa09.xml
|
.
673.5 /
299.5
(-)
|
.
611.9 /
292.5
(0)
|
n^2/?
19.5 /
13.5
(2)
|
_Complexity_Full_Rewriting/Secret_06_TRS/tpa10.xml
|
.
582.5 /
297.6
(-)
|
.
623.1 /
292.2
(0)
|
n^2/?
16.5 /
14.8
(2)
|
time_Complexity_Full_Rewriting/Secret_07_TRS/3.xml
|
.
733.7 /
297.3
(-)
|
.
416.0 /
300.0
(0)
|
.
12.0 /
11.4
(0)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove01.xml
|
.
586.0 /
297.2
(-)
|
.
447.6 /
292.3
(0)
|
n^1/?
17.4 /
12.4
(2)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove02.xml
|
.
520.4 /
297.2
(-)
|
.
461.8 /
292.1
(0)
|
n^1/?
16.9 /
13.9
(2)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove03.xml
|
.
550.5 /
297.3
(-)
|
.
543.7 /
292.2
(0)
|
n^1/?
15.0 /
12.6
(2)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove04.xml
|
.
417.1 /
300.0
(-)
|
.
650.6 /
292.2
(0)
|
n^1/?
18.1 /
13.3
(2)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove05.xml
|
.
680.1 /
297.2
(-)
|
.
445.3 /
292.5
(0)
|
n^1/?
18.4 /
12.2
(2)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove06.xml
|
.
712.8 /
297.3
(-)
|
.
473.1 /
292.2
(0)
|
n^1/?
15.3 /
14.5
(2)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove07.xml
|
.
486.4 /
300.0
(-)
|
.
479.7 /
292.1
(0)
|
n^1/?
17.6 /
13.7
(2)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove08.xml
|
.
394.3 /
300.0
(-)
|
.
470.6 /
292.2
(0)
|
n^1/?
15.1 /
12.2
(2)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove09.xml
|
.
459.9 /
297.2
(-)
|
.
479.2 /
292.5
(0)
|
n^1/?
17.0 /
12.3
(2)
|
mplexity_Full_Rewriting/Secret_07_TRS/aprove10.xml
|
.
365.3 /
297.6
(-)
|
.
460.3 /
292.1
(0)
|
n^1/?
14.9 /
12.7
(2)
|
omplexity_Full_Rewriting/Secret_07_TRS/secret1.xml
|
.
905.3 /
297.7
(-)
|
.
517.1 /
292.3
(0)
|
n^1/?
16.1 /
11.3
(2)
|
omplexity_Full_Rewriting/Secret_07_TRS/secret3.xml
|
.
637.4 /
297.3
(-)
|
.
497.3 /
292.2
(0)
|
n^1/?
17.2 /
12.3
(2)
|
omplexity_Full_Rewriting/Secret_07_TRS/secret4.xml
|
.
586.2 /
297.3
(-)
|
.
649.2 /
292.2
(0)
|
n^1/?
14.6 /
13.5
(2)
|
omplexity_Full_Rewriting/Secret_07_TRS/secret5.xml
|
.
619.0 /
297.7
(-)
|
.
592.0 /
292.1
(0)
|
.
9.1 /
11.7
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.14.xml
|
?/n^1
4.2 /
2.4
(-)
|
?/n^1
87.9 /
51.6
(2)
|
n^1/?
1.1 /
2.6
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.16.xml
|
?/n^1
48.9 /
41.1
(-)
|
?/n^1
6.5 /
5.7
(2)
|
n^1/?
0.9 /
2.3
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.17.xml
|
?/n^1
248.9 /
148.1
(-)
|
?/n^1
553.2 /
292.2
(2)
|
n^1/?
2.4 /
2.5
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.19.xml
|
.
625.9 /
297.7
(-)
|
.
585.4 /
292.1
(0)
|
.
24.3 /
16.9
(0)
|
xity_Full_Rewriting/Strategy_removed_AG01/#4.2.xml
|
?/n^1
0.7 /
0.3
(-)
|
?/n^1
260.5 /
292.3
(2)
|
n^1/?
1.0 /
2.2
(2)
|
ty_Full_Rewriting/Strategy_removed_AG01/#4.20a.xml
|
?/n^1
2.7 /
0.7
(-)
|
?/n^1
2.3 /
1.1
(2)
|
n^1/?
1.0 /
2.2
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.22.xml
|
?/n^1
21.4 /
11.1
(-)
|
?/n^1
6.4 /
3.8
(2)
|
n^1/?
11.5 /
11.4
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.23.xml
|
.
568.3 /
297.3
(-)
|
.
382.5 /
292.6
(0)
|
n^1/?
16.8 /
11.3
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.25.xml
|
.
488.7 /
297.4
(-)
|
.
4.7 /
2.7
(0)
|
.
0.8 /
3.3
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.26.xml
|
.
153.5 /
82.9
(-)
|
.
395.4 /
292.2
(0)
|
n^1/?
13.0 /
11.4
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.27.xml
|
.
386.3 /
297.3
(-)
|
?/n^3
494.4 /
292.7
(2)
|
n^1/?
20.9 /
14.2
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.28.xml
|
?/n^1
52.9 /
24.3
(-)
|
?/n^1
20.3 /
7.1
(2)
|
n^1/?
3.6 /
3.2
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.29.xml
|
.
444.7 /
297.2
(-)
|
.
598.0 /
292.3
(0)
|
n^1/?
8.7 /
15.0
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.30.xml
|
.
445.4 /
259.8
(-)
|
.
463.1 /
292.2
(0)
|
n^1/?
15.5 /
11.4
(2)
|
ty_Full_Rewriting/Strategy_removed_AG01/#4.30a.xml
|
.
598.4 /
297.5
(-)
|
.
438.1 /
292.3
(0)
|
n^1/?
13.8 /
11.8
(2)
|
ty_Full_Rewriting/Strategy_removed_AG01/#4.30b.xml
|
.
482.1 /
298.3
(-)
|
.
457.7 /
292.4
(0)
|
n^1/?
12.7 /
11.5
(2)
|
ty_Full_Rewriting/Strategy_removed_AG01/#4.30c.xml
|
.
552.6 /
297.3
(-)
|
.
425.8 /
292.5
(0)
|
n^1/?
14.6 /
11.5
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.32.xml
|
?/n^2
101.1 /
37.3
(-)
|
.
501.1 /
292.2
(0)
|
.
3.6 /
4.7
(0)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.33.xml
|
.
630.7 /
297.2
(-)
|
.
417.3 /
292.1
(0)
|
n^2/?
16.2 /
11.5
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.34.xml
|
?/n^1
18.4 /
6.0
(-)
|
?/n^2
455.4 /
292.5
(2)
|
n^1/?
14.1 /
11.4
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.35.xml
|
.
567.9 /
298.9
(-)
|
.
910.7 /
292.5
(0)
|
n^1/?
18.8 /
16.6
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.36.xml
|
.
522.3 /
297.5
(-)
|
.
742.7 /
292.2
(0)
|
n^2/?
14.1 /
16.8
(2)
|
ity_Full_Rewriting/Strategy_removed_AG01/#4.37.xml
|
?/n^1
2.1 /
0.9
(-)
|
?/n^1
1.6 /
0.5
(2)
|
.
0.5 /
2.4
(0)
|
ty_Full_Rewriting/Strategy_removed_AG01/#4.37a.xml
|
?/n^1
11.9 /
5.4
(-)
|
?/n^1
2.1 /
1.1
(2)
|
.
0.5 /
2.3
(0)
|
xity_Full_Rewriting/Strategy_removed_AG01/#4.7.xml
|
?/n^1
192.7 /
148.3
(-)
|
?/n^1
544.5 /
292.0
(2)
|
.
0.5 /
2.4
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml
|
.
64.9 /
37.2
(-)
|
.
5.9 /
3.3
(0)
|
?/?
0.3 /
1.2
(0)
|
l_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml
|
.
426.1 /
297.6
(-)
|
.
34.7 /
13.7
(0)
|
?/?
0.3 /
1.2
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml
|
.
608.6 /
300.0
(-)
|
.
303.5 /
293.7
(0)
|
?/?
0.4 /
1.4
(0)
|
Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml
|
.
43.1 /
15.2
(-)
|
.
8.7 /
3.6
(0)
|
?/?
0.3 /
1.2
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml
|
.
90.4 /
30.9
(-)
|
.
13.2 /
6.9
(0)
|
?/?
0.4 /
1.2
(0)
|
ull_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml
|
.
510.7 /
297.9
(-)
|
.
500.5 /
292.4
(0)
|
?/?
0.4 /
1.5
(0)
|
l_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml
|
.
109.5 /
56.1
(-)
|
.
16.6 /
12.9
(0)
|
?/?
0.3 /
1.2
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml
|
.
41.5 /
26.4
(-)
|
.
69.0 /
40.3
(0)
|
?/?
0.4 /
1.2
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml
|
.
513.6 /
297.3
(-)
|
.
435.4 /
292.2
(0)
|
?/?
0.4 /
1.2
(0)
|
l_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml
|
.
125.9 /
72.0
(-)
|
.
16.1 /
7.0
(0)
|
?/?
0.4 /
1.2
(0)
|
ewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml
|
.
300.8 /
197.9
(-)
|
.
10.1 /
4.5
(0)
|
?/?
0.4 /
1.2
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml
|
.
461.6 /
297.2
(-)
|
.
395.4 /
292.5
(0)
|
?/?
0.4 /
1.2
(0)
|
writing/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml
|
.
678.4 /
297.6
(-)
|
.
468.0 /
292.4
(0)
|
?/?
0.4 /
1.4
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml
|
?/n^1
282.1 /
154.1
(-)
|
.
573.7 /
292.3
(0)
|
n^1/?
9.5 /
13.2
(2)
|
Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml
|
.
679.8 /
297.9
(-)
|
.
441.8 /
292.3
(0)
|
?/?
0.4 /
1.5
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml
|
.
470.9 /
297.2
(-)
|
.
63.5 /
21.6
(0)
|
?/?
0.4 /
1.2
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml
|
.
123.2 /
49.0
(-)
|
.
478.6 /
292.5
(0)
|
?/?
0.4 /
1.3
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml
|
.
86.2 /
42.8
(-)
|
.
7.7 /
4.0
(0)
|
?/?
0.3 /
1.2
(0)
|
writing/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml
|
.
57.7 /
26.1
(-)
|
.
31.4 /
14.1
(0)
|
?/?
0.4 /
1.4
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml
|
.
465.3 /
297.5
(-)
|
.
260.3 /
153.9
(0)
|
?/?
0.4 /
1.7
(0)
|
_Rewriting/Strategy_removed_CSR_05/Ex5_7_Luc97.xml
|
.
478.5 /
300.0
(-)
|
.
472.4 /
292.5
(0)
|
?/?
0.4 /
1.4
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml
|
.
55.1 /
28.1
(-)
|
.
358.4 /
292.3
(0)
|
?/?
0.4 /
1.2
(0)
|
Rewriting/Strategy_removed_CSR_05/Ex6_15_AEL02.xml
|
.
590.1 /
297.3
(-)
|
.
485.3 /
292.1
(0)
|
?/?
0.4 /
1.2
(0)
|
Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml
|
.
240.1 /
155.6
(-)
|
.
10.3 /
3.0
(0)
|
?/?
0.3 /
1.3
(0)
|
ull_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml
|
.
74.1 /
27.8
(-)
|
.
521.6 /
292.1
(0)
|
?/?
0.4 /
1.9
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml
|
.
84.7 /
44.9
(-)
|
.
9.6 /
3.5
(0)
|
?/?
0.4 /
1.2
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml
|
.
128.2 /
59.1
(-)
|
.
15.6 /
6.4
(0)
|
?/?
0.4 /
1.3
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml
|
.
423.0 /
297.4
(-)
|
.
558.2 /
292.1
(0)
|
?/?
0.4 /
1.2
(0)
|
ll_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml
|
.
616.3 /
297.9
(-)
|
.
458.1 /
292.4
(0)
|
?/?
0.4 /
1.4
(0)
|
ting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml
|
.
813.2 /
297.5
(-)
|
.
459.8 /
292.1
(0)
|
?/?
0.4 /
1.2
(0)
|
Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml
|
.
89.8 /
42.2
(-)
|
.
19.2 /
14.5
(0)
|
?/?
0.4 /
1.3
(0)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml
|
.
115.5 /
37.8
(-)
|
.
504.6 /
291.9
(0)
|
?/?
0.4 /
1.3
(0)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml
|
.
144.0 /
73.4
(-)
|
.
328.7 /
292.6
(0)
|
?/?
0.4 /
1.4
(0)
|
ewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml
|
.
719.7 /
300.1
(-)
|
.
543.2 /
292.4
(0)
|
?/?
0.4 /
1.2
(0)
|
writing/Strategy_removed_CSR_05/ExIntrod_Zan97.xml
|
.
689.3 /
298.3
(-)
|
.
509.1 /
292.3
(0)
|
?/?
0.4 /
1.2
(0)
|
ing/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml
|
.
476.5 /
297.6
(-)
|
.
516.8 /
292.2
(0)
|
?/?
0.4 /
1.3
(0)
|
y_Full_Rewriting/Strategy_removed_mixed_05/ex1.xml
|
.
620.0 /
297.2
(-)
|
.
388.7 /
293.1
(0)
|
?/?
0.3 /
1.2
(0)
|
y_Full_Rewriting/Strategy_removed_mixed_05/ex2.xml
|
.
556.9 /
297.5
(-)
|
.
561.6 /
292.2
(0)
|
?/?
0.4 /
1.3
(0)
|
y_Full_Rewriting/Strategy_removed_mixed_05/ex3.xml
|
.
644.8 /
300.0
(-)
|
.
633.5 /
292.1
(0)
|
?/?
0.4 /
1.2
(0)
|
y_Full_Rewriting/Strategy_removed_mixed_05/ex4.xml
|
.
582.4 /
297.2
(-)
|
.
23.1 /
9.2
(0)
|
?/?
0.4 /
1.4
(0)
|
y_Full_Rewriting/Strategy_removed_mixed_05/ex5.xml
|
.
553.1 /
297.2
(-)
|
.
298.0 /
292.2
(0)
|
?/?
0.3 /
1.2
(0)
|
y_Full_Rewriting/Strategy_removed_mixed_05/ex6.xml
|
.
736.5 /
297.6
(-)
|
.
16.5 /
6.0
(0)
|
.
18.0 /
14.2
(0)
|
ull_Rewriting/Strategy_removed_mixed_05/muladd.xml
|
.
663.8 /
297.3
(-)
|
.
50.8 /
40.6
(0)
|
?/?
0.4 /
1.6
(0)
|
ull_Rewriting/Strategy_removed_mixed_05/test10.xml
|
.
526.4 /
297.3
(-)
|
.
17.7 /
7.9
(0)
|
n^1/?
16.0 /
11.5
(2)
|
ull_Rewriting/Strategy_removed_mixed_05/test76.xml
|
.
598.8 /
297.3
(-)
|
.
506.8 /
292.2
(0)
|
n^1/?
15.0 /
11.3
(2)
|
ull_Rewriting/Strategy_removed_mixed_05/test77.xml
|
.
501.4 /
297.4
(-)
|
.
355.7 /
292.0
(0)
|
n^1/?
13.5 /
12.5
(2)
|
ll_Rewriting/Strategy_removed_mixed_05/test830.xml
|
?/n^1
4.7 /
3.2
(-)
|
?/n^1
1.6 /
0.9
(2)
|
n^1/?
3.3 /
2.2
(2)
|
ll_Rewriting/Strategy_removed_mixed_05/tricky1.xml
|
?/n^0
353.7 /
148.2
(-)
|
?/n^0
445.8 /
292.1
(2)
|
.
1.3 /
2.4
(0)
|
omplexity_Full_Rewriting/TCT_12/polycounter-10.xml
|
.
691.2 /
298.0
(-)
|
.
889.9 /
294.0
(0)
|
.
35.1 /
27.2
(0)
|
Complexity_Full_Rewriting/TCT_12/polycounter-5.xml
|
.
598.1 /
298.1
(-)
|
.
34.1 /
15.5
(0)
|
.
16.0 /
12.4
(0)
|
_Complexity_Full_Rewriting/TCT_12/recursion-10.xml
|
?/n^10
355.2 /
140.1
(-)
|
?/n^10
124.9 /
66.7
(2)
|
n^1/?
12.5 /
8.3
(2)
|
e_Complexity_Full_Rewriting/TCT_12/recursion-5.xml
|
?/n^5
213.4 /
119.3
(-)
|
?/n^5
39.3 /
20.5
(2)
|
n^1/?
7.7 /
6.3
(2)
|
Runtime_Complexity_Full_Rewriting/TCT_12/sat.xml
|
.
597.4 /
297.4
(-)
|
.
554.4 /
292.2
(0)
|
n^1/?
13.8 /
21.9
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C.xml
|
.
617.4 /
300.0
(-)
|
.
527.3 /
292.2
(0)
|
n^1/?
9.3 /
14.6
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml
|
.
483.9 /
297.4
(-)
|
.
479.0 /
292.2
(0)
|
?/?
4.9 /
3.2
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml
|
.
644.0 /
297.6
(-)
|
.
533.2 /
292.3
(0)
|
n^1/?
12.5 /
11.8
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml
|
.
79.4 /
32.7
(-)
|
.
27.9 /
14.1
(0)
|
?/?
0.4 /
1.5
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml
|
.
399.6 /
299.1
(-)
|
.
36.5 /
33.5
(0)
|
?/?
1.7 /
2.9
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml
|
.
523.2 /
297.3
(-)
|
.
342.2 /
292.2
(0)
|
n^1/?
19.9 /
11.5
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM.xml
|
.
458.8 /
297.2
(-)
|
.
445.1 /
292.2
(0)
|
n^1/?
28.7 /
15.9
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml
|
?/n^1
678.8 /
297.1
(-)
|
?/n^1
353.9 /
292.6
(2)
|
n^1/?
13.7 /
11.6
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml
|
?/n^1
6.1 /
2.1
(-)
|
?/n^1
2.2 /
1.0
(2)
|
.
6.9 /
12.4
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml
|
?/n^1
9.3 /
4.9
(-)
|
?/n^1
1.4 /
0.8
(2)
|
.
2.8 /
3.9
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml
|
.
57.6 /
46.0
(-)
|
.
33.3 /
14.0
(0)
|
?/?
0.3 /
1.3
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml
|
?/n^1
7.4 /
4.3
(-)
|
?/n^0
0.6 /
0.6
(2)
|
.
5.4 /
3.2
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml
|
.
600.4 /
297.6
(-)
|
.
669.0 /
292.1
(0)
|
n^1/?
19.1 /
14.7
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR.xml
|
.
672.7 /
298.0
(-)
|
.
493.2 /
292.3
(0)
|
n^1/?
9.3 /
15.0
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml
|
?/n^1
624.2 /
298.6
(-)
|
?/n^1
724.4 /
294.0
(2)
|
n^1/?
15.4 /
12.7
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.2
(0)
|
?/?
0.3 /
0.2
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z.xml
|
.
567.1 /
298.3
(-)
|
.
581.7 /
292.2
(0)
|
.
13.3 /
11.3
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml
|
.
503.5 /
297.2
(-)
|
.
647.4 /
292.5
(0)
|
n^1/?
14.6 /
11.3
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml
|
?/n^1
43.1 /
24.1
(-)
|
?/n^1
11.4 /
8.8
(2)
|
n^1/?
27.8 /
28.4
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml
|
.
58.6 /
28.0
(-)
|
.
18.0 /
14.6
(0)
|
?/?
0.4 /
1.2
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml
|
?/n^1
516.6 /
222.9
(-)
|
?/n^1
569.1 /
292.1
(2)
|
n^1/?
13.9 /
11.2
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml
|
?/n^1
10.4 /
6.1
(-)
|
?/n^1
3.8 /
3.1
(2)
|
n^1/?
13.8 /
11.3
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml
|
?/n^1
10.2 /
4.4
(-)
|
?/n^1
0.6 /
0.6
(2)
|
n^1/?
5.3 /
7.6
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml
|
?/n^0
4.2 /
2.7
(-)
|
?/n^1
1.9 /
1.0
(2)
|
.
2.3 /
5.5
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml
|
.
853.8 /
300.0
(-)
|
.
551.6 /
292.3
(0)
|
n^1/?
248.7 /
280.9
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR.xml
|
.
587.3 /
298.1
(-)
|
.
321.8 /
292.8
(0)
|
n^1/?
12.5 /
12.5
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml
|
.
692.5 /
300.0
(-)
|
.
630.0 /
292.2
(0)
|
n^1/?
24.2 /
19.9
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
1.1
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z.xml
|
.
745.9 /
297.9
(-)
|
?/n^3
173.7 /
81.4
(2)
|
n^2/?
15.1 /
13.6
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml
|
.
579.7 /
297.5
(-)
|
.
594.5 /
292.8
(0)
|
n^1/?
16.6 /
11.3
(2)
|
l_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml
|
.
568.2 /
297.2
(-)
|
.
483.5 /
292.3
(0)
|
n^1/?
14.2 /
11.6
(2)
|
l_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml
|
.
402.5 /
297.9
(-)
|
.
381.1 /
292.4
(0)
|
n^1/?
15.0 /
11.4
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.2
(0)
|
?/?
0.3 /
0.4
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml
|
?/n^1
8.5 /
4.3
(-)
|
?/n^0
4.0 /
2.9
(2)
|
.
7.3 /
12.0
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml
|
.
591.5 /
297.3
(-)
|
.
598.0 /
292.7
(0)
|
n^1/?
17.2 /
12.3
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR.xml
|
.
592.3 /
297.6
(-)
|
.
496.5 /
292.2
(0)
|
n^1/?
15.5 /
12.3
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml
|
.
637.9 /
298.9
(-)
|
.
488.2 /
292.5
(0)
|
n^1/?
14.4 /
12.0
(2)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml
|
.
57.7 /
28.9
(-)
|
.
30.0 /
14.1
(0)
|
?/?
0.4 /
1.3
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml
|
.
581.8 /
297.7
(-)
|
.
493.6 /
292.1
(0)
|
n^1/?
8.1 /
14.3
(2)
|
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_C.xml
|
.
523.3 /
297.4
(-)
|
.
670.2 /
292.1
(0)
|
n^1/?
19.2 /
13.3
(2)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_FR.xml
|
.
499.1 /
297.2
(-)
|
.
533.5 /
292.2
(0)
|
n^1/?
7.8 /
13.1
(2)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml
|
.
651.0 /
300.0
(-)
|
.
671.5 /
292.3
(0)
|
n^2/?
16.2 /
13.1
(2)
|
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.1
(0)
|
?/?
0.3 /
0.4
(0)
|
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_Z.xml
|
.
648.5 /
297.3
(-)
|
.
356.5 /
292.2
(0)
|
?/?
0.4 /
1.5
(0)
|
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_C.xml
|
.
671.4 /
297.3
(-)
|
.
302.6 /
292.1
(0)
|
n^1/?
15.8 /
11.3
(2)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml
|
.
469.3 /
297.3
(-)
|
.
450.3 /
292.4
(0)
|
n^1/?
13.0 /
12.7
(2)
|
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml
|
.
70.8 /
29.4
(-)
|
.
17.7 /
14.4
(0)
|
?/?
0.3 /
1.3
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml
|
.
553.9 /
297.8
(-)
|
.
509.2 /
292.6
(0)
|
n^1/?
19.6 /
12.3
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR.xml
|
.
623.5 /
297.6
(-)
|
.
503.3 /
292.1
(0)
|
.
13.5 /
11.4
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml
|
.
601.0 /
298.1
(-)
|
.
342.6 /
292.7
(0)
|
.
10.3 /
13.0
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.5
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml
|
?/n^2
439.6 /
216.0
(-)
|
?/n^1
354.9 /
292.2
(2)
|
.
15.4 /
12.8
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml
|
?/n^1
491.4 /
300.0
(-)
|
.
714.1 /
292.6
(0)
|
n^1/?
13.5 /
14.5
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml
|
.
444.4 /
297.4
(-)
|
.
485.2 /
292.3
(0)
|
?/?
1.3 /
1.3
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml
|
.
561.6 /
297.3
(-)
|
.
490.3 /
292.2
(0)
|
n^1/?
13.5 /
15.3
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_L.xml
|
.
0.2 /
0.4
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.7
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml
|
.
199.4 /
107.3
(-)
|
.
328.7 /
293.0
(0)
|
?/?
0.4 /
1.2
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml
|
?/n^1
139.0 /
94.8
(-)
|
?/n^1
715.8 /
292.5
(2)
|
.
11.9 /
11.4
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml
|
.
450.0 /
297.1
(-)
|
.
550.3 /
292.6
(0)
|
?/?
0.5 /
1.2
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml
|
?/n^1
3.5 /
1.8
(-)
|
?/n^0
1.2 /
0.8
(2)
|
.
2.3 /
4.4
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml
|
.
52.7 /
27.9
(-)
|
.
28.6 /
14.1
(0)
|
?/?
0.4 /
1.3
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml
|
?/n^1
467.2 /
298.0
(-)
|
?/n^1
561.1 /
293.1
(2)
|
n^1/?
9.8 /
11.7
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml
|
?/n^1
12.5 /
6.3
(-)
|
?/n^1
2.6 /
1.4
(2)
|
n^1/?
11.8 /
11.7
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml
|
?/n^1
2.1 /
0.9
(-)
|
?/n^1
1.9 /
1.2
(2)
|
n^1/?
6.1 /
5.3
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml
|
?/n^1
2.3 /
1.9
(-)
|
?/n^1
1.2 /
0.6
(2)
|
.
0.5 /
2.3
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml
|
.
701.3 /
297.1
(-)
|
.
309.4 /
292.3
(0)
|
n^1/?
8.1 /
12.8
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex24_GM04_FR.xml
|
.
500.6 /
300.0
(-)
|
.
450.1 /
292.2
(0)
|
n^1/?
15.5 /
11.4
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml
|
.
458.3 /
297.1
(-)
|
.
438.5 /
292.6
(0)
|
n^1/?
19.0 /
12.6
(2)
|
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml
|
.
77.6 /
25.0
(-)
|
.
11.4 /
7.4
(0)
|
?/?
0.3 /
1.4
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_Z.xml
|
.
614.4 /
297.5
(-)
|
.
589.9 /
292.3
(0)
|
.
11.9 /
11.3
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml
|
.
502.2 /
297.4
(-)
|
.
495.8 /
292.4
(0)
|
n^1/?
13.1 /
11.5
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml
|
.
471.6 /
297.2
(-)
|
.
401.6 /
292.3
(0)
|
n^1/?
13.5 /
11.2
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml
|
.
51.4 /
29.6
(-)
|
.
33.1 /
14.1
(0)
|
?/?
0.3 /
1.6
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml
|
?/n^1
506.7 /
271.5
(-)
|
?/n^1
507.0 /
292.5
(2)
|
n^1/?
16.0 /
11.3
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml
|
?/n^1
82.7 /
43.6
(-)
|
?/n^1
14.8 /
5.9
(2)
|
n^1/?
15.8 /
12.5
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml
|
?/n^1
6.5 /
6.2
(-)
|
?/n^1
3.1 /
1.8
(2)
|
n^1/?
14.5 /
11.2
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml
|
?/n^1
51.1 /
30.9
(-)
|
?/n^1
4.9 /
2.2
(2)
|
.
6.6 /
3.2
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml
|
.
774.9 /
297.2
(-)
|
.
428.3 /
293.9
(0)
|
n^1/?
30.0 /
18.3
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR.xml
|
.
455.1 /
298.6
(-)
|
.
588.1 /
292.2
(0)
|
.
11.9 /
11.6
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml
|
.
418.9 /
297.9
(-)
|
.
460.9 /
292.6
(0)
|
n^1/?
16.9 /
12.8
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml
|
?/n^0
4.0 /
2.8
(-)
|
?/n^0
0.6 /
0.3
(2)
|
.
5.9 /
6.3
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_Z.xml
|
.
470.0 /
298.6
(-)
|
.
571.4 /
292.3
(0)
|
.
13.7 /
12.0
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml
|
.
640.6 /
297.9
(-)
|
.
537.1 /
292.5
(0)
|
n^1/?
30.6 /
23.4
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR.xml
|
.
435.9 /
299.0
(-)
|
.
443.0 /
292.1
(0)
|
.
14.9 /
11.3
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml
|
.
670.6 /
298.1
(-)
|
.
525.5 /
292.1
(0)
|
n^1/?
13.6 /
12.8
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml
|
.
452.8 /
297.5
(-)
|
.
486.5 /
292.3
(0)
|
n^3/?
12.8 /
13.6
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml
|
.
524.8 /
297.3
(-)
|
.
515.3 /
292.2
(0)
|
n^3/?
16.7 /
12.3
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C.xml
|
.
559.7 /
298.6
(-)
|
.
615.7 /
292.1
(0)
|
n^1/?
19.0 /
13.8
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR.xml
|
.
676.0 /
297.5
(-)
|
.
317.3 /
292.0
(0)
|
.
13.6 /
11.8
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml
|
.
723.4 /
298.2
(-)
|
.
337.0 /
292.4
(0)
|
n^1/?
12.4 /
14.5
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml
|
?/n^0
3.6 /
3.4
(-)
|
?/n^0
0.1 /
0.1
(2)
|
.
0.4 /
2.4
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml
|
?/n^1
838.2 /
299.3
(-)
|
?/n^1
521.5 /
293.8
(2)
|
.
13.8 /
12.0
(0)
|
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml
|
.
735.4 /
297.4
(-)
|
.
537.0 /
292.4
(0)
|
n^1/?
17.0 /
12.3
(2)
|
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml
|
.
553.7 /
297.5
(-)
|
.
568.3 /
292.5
(0)
|
.
6.7 /
11.4
(0)
|
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml
|
.
596.5 /
297.4
(-)
|
.
470.5 /
292.1
(0)
|
.
11.8 /
11.8
(0)
|
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.1
(0)
|
?/?
0.3 /
0.3
(0)
|
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml
|
?/n^1
204.8 /
148.1
(-)
|
?/n^1
530.3 /
292.1
(2)
|
.
15.5 /
12.8
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml
|
.
670.2 /
297.4
(-)
|
.
568.5 /
292.9
(0)
|
n^1/?
10.9 /
16.7
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR.xml
|
.
745.7 /
297.4
(-)
|
.
335.7 /
292.2
(0)
|
n^1/?
12.5 /
12.5
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml
|
.
669.0 /
297.8
(-)
|
.
338.9 /
292.6
(0)
|
.
14.9 /
11.8
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z.xml
|
.
640.1 /
298.3
(-)
|
.
477.1 /
292.2
(0)
|
.
13.6 /
11.4
(0)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml
|
.
629.5 /
297.4
(-)
|
.
556.2 /
292.4
(0)
|
n^1/?
11.6 /
17.3
(2)
|
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml
|
.
537.2 /
297.5
(-)
|
.
540.1 /
292.1
(0)
|
.
15.7 /
11.8
(0)
|
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml
|
.
747.3 /
297.7
(-)
|
.
432.3 /
292.1
(0)
|
n^1/?
8.9 /
13.1
(2)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml
|
?/n^0
4.7 /
2.4
(-)
|
?/n^0
0.3 /
0.2
(2)
|
.
13.5 /
11.5
(0)
|
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml
|
.
493.3 /
297.3
(-)
|
.
679.7 /
293.0
(0)
|
?/?
0.4 /
1.2
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml
|
.
646.9 /
297.4
(-)
|
.
582.0 /
292.5
(0)
|
n^1/?
19.3 /
12.3
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex49_GM04_FR.xml
|
.
549.8 /
300.0
(-)
|
.
483.7 /
292.2
(0)
|
n^2/?
14.7 /
14.4
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml
|
.
701.8 /
299.5
(-)
|
.
450.2 /
292.2
(0)
|
n^1/?
16.7 /
12.9
(2)
|
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml
|
.
476.0 /
297.7
(-)
|
?/n^1
454.4 /
292.6
(2)
|
n^1/?
9.9 /
15.5
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml
|
.
523.3 /
297.3
(-)
|
.
339.4 /
292.3
(0)
|
n^1/?
13.5 /
11.3
(2)
|
l_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml
|
.
653.0 /
300.0
(-)
|
.
589.4 /
292.3
(0)
|
?/?
4.5 /
3.8
(0)
|
l_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml
|
.
374.1 /
300.1
(-)
|
.
589.1 /
292.1
(0)
|
n^1/?
7.1 /
13.0
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml
|
?/n^1
0.3 /
0.1
(-)
|
?/n^1
0.1 /
0.1
(2)
|
n^1/?
0.8 /
2.2
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml
|
.
628.8 /
297.7
(-)
|
.
532.1 /
292.1
(0)
|
?/?
0.4 /
1.4
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml
|
?/n^1
552.4 /
297.5
(-)
|
?/n^1
629.0 /
292.5
(2)
|
n^1/?
15.4 /
13.7
(2)
|
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml
|
?/n^1
95.5 /
76.6
(-)
|
?/n^1
468.3 /
292.3
(2)
|
n^1/?
14.8 /
11.3
(2)
|
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml
|
?/n^1
22.9 /
7.2
(-)
|
?/n^1
9.9 /
4.2
(2)
|
n^1/?
14.4 /
11.9
(2)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml
|
?/n^0
5.9 /
5.6
(-)
|
?/n^0
0.4 /
0.2
(2)
|
.
0.6 /
2.4
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml
|
?/n^0
9.1 /
7.1
(-)
|
?/n^0
1.1 /
1.1
(2)
|
.
4.9 /
6.2
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml
|
.
534.3 /
297.8
(-)
|
.
494.5 /
292.9
(0)
|
n^1/?
33.8 /
25.3
(2)
|
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml
|
.
577.9 /
297.5
(-)
|
.
471.3 /
292.3
(0)
|
.
14.5 /
11.3
(0)
|
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml
|
.
415.2 /
299.7
(-)
|
.
607.6 /
292.2
(0)
|
.
17.3 /
11.8
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml
|
.
0.2 /
0.2
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.4
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml
|
.
422.7 /
300.0
(-)
|
.
387.9 /
292.4
(0)
|
n^1/?
13.5 /
12.6
(2)
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml
|
.
612.2 /
298.6
(-)
|
.
583.6 /
292.5
(0)
|
n^1/?
11.7 /
14.1
(2)
|
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml
|
.
481.3 /
297.5
(-)
|
.
495.8 /
292.4
(0)
|
.
14.2 /
11.3
(0)
|
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml
|
.
629.6 /
297.6
(-)
|
.
509.0 /
292.0
(0)
|
.
16.4 /
11.7
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.4
(0)
|
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml
|
?/n^1
5.6 /
3.2
(-)
|
?/n^1
9.4 /
7.0
(2)
|
n^1/?
14.6 /
11.5
(2)
|
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml
|
?/n^1
590.1 /
297.2
(-)
|
?/n^1
836.7 /
292.2
(2)
|
n^1/?
15.1 /
11.5
(2)
|
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml
|
?/n^0
1.5 /
1.1
(-)
|
?/n^0
0.2 /
0.1
(2)
|
.
6.6 /
5.2
(0)
|
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml
|
?/n^1
20.1 /
10.7
(-)
|
?/n^1
11.2 /
5.3
(2)
|
n^1/?
11.9 /
11.8
(2)
|
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml
|
.
624.3 /
299.1
(-)
|
.
810.2 /
292.6
(0)
|
n^1/?
273.5 /
281.2
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR.xml
|
.
541.3 /
297.2
(-)
|
.
485.8 /
292.2
(0)
|
n^2/?
16.5 /
13.8
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml
|
.
444.1 /
297.5
(-)
|
.
626.9 /
292.6
(0)
|
n^1/?
31.7 /
22.3
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.4
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_Z.xml
|
.
531.5 /
297.2
(-)
|
.
633.4 /
292.1
(0)
|
n^1/?
15.7 /
12.3
(2)
|
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml
|
.
639.2 /
298.3
(-)
|
.
640.4 /
292.2
(0)
|
n^1/?
18.9 /
12.4
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml
|
.
538.8 /
297.3
(-)
|
.
442.0 /
292.6
(0)
|
.
14.0 /
11.3
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml
|
.
610.4 /
297.4
(-)
|
.
525.1 /
292.2
(0)
|
.
15.0 /
11.5
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml
|
.
463.4 /
297.2
(-)
|
.
451.5 /
292.2
(0)
|
n^1/?
17.0 /
12.8
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C.xml
|
.
624.1 /
298.7
(-)
|
.
616.7 /
292.2
(0)
|
n^1/?
290.9 /
280.8
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR.xml
|
.
466.6 /
298.1
(-)
|
.
517.6 /
292.2
(0)
|
n^1/?
10.7 /
15.1
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml
|
.
606.8 /
298.7
(-)
|
.
468.2 /
292.2
(0)
|
n^1/?
53.4 /
37.0
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z.xml
|
.
633.7 /
297.3
(-)
|
.
527.2 /
292.2
(0)
|
.
14.6 /
11.6
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml
|
.
372.6 /
298.9
(-)
|
.
487.5 /
293.2
(0)
|
n^1/?
73.0 /
91.1
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR.xml
|
.
662.2 /
298.4
(-)
|
.
472.1 /
291.3
(0)
|
?/?
6.9 /
5.2
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml
|
.
515.6 /
298.1
(-)
|
.
327.4 /
292.8
(0)
|
n^1/?
21.7 /
17.4
(2)
|
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_L.xml
|
.
0.2 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.5
(0)
|
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_Z.xml
|
.
640.4 /
299.4
(-)
|
.
373.9 /
293.1
(0)
|
?/?
0.4 /
1.3
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml
|
?/n^1
445.7 /
297.2
(-)
|
?/n^1
379.9 /
292.3
(2)
|
n^1/?
12.1 /
12.4
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml
|
?/n^1
413.1 /
297.7
(-)
|
?/n^1
451.5 /
292.5
(2)
|
n^1/?
12.8 /
15.5
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml
|
.
538.1 /
297.2
(-)
|
.
478.4 /
292.4
(0)
|
n^1/?
14.1 /
18.0
(2)
|
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml
|
?/n^1
8.0 /
4.2
(-)
|
?/n^1
1.6 /
0.8
(2)
|
.
13.7 /
11.3
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C.xml
|
.
511.3 /
300.0
(-)
|
.
680.9 /
292.3
(0)
|
n^1/?
291.3 /
281.0
(2)
|
l_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR.xml
|
.
603.5 /
297.3
(-)
|
.
355.1 /
292.3
(0)
|
n^1/?
18.6 /
15.8
(2)
|
l_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml
|
.
631.7 /
298.5
(-)
|
.
393.0 /
292.1
(0)
|
n^1/?
111.5 /
141.6
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.4
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z.xml
|
.
566.7 /
297.1
(-)
|
.
434.1 /
292.4
(0)
|
n^1/?
19.4 /
15.5
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C.xml
|
.
493.7 /
297.3
(-)
|
.
589.5 /
292.2
(0)
|
n^1/?
16.1 /
15.0
(2)
|
l_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml
|
.
531.0 /
300.0
(-)
|
.
489.4 /
292.2
(0)
|
.
15.5 /
11.6
(0)
|
l_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml
|
.
635.8 /
297.5
(-)
|
.
544.8 /
292.7
(0)
|
n^1/?
16.1 /
16.3
(2)
|
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.8
(0)
|
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml
|
?/n^1
72.3 /
57.6
(-)
|
?/n^1
7.6 /
3.0
(2)
|
.
11.3 /
12.0
(0)
|
y_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml
|
?/n^1
428.9 /
297.6
(-)
|
?/n^1
743.3 /
292.3
(2)
|
.
13.3 /
11.3
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml
|
.
150.6 /
78.9
(-)
|
.
561.3 /
292.8
(0)
|
?/?
0.4 /
1.4
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml
|
?/n^0
6.1 /
5.6
(-)
|
?/n^0
0.5 /
0.3
(2)
|
.
0.4 /
2.6
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_C.xml
|
.
771.6 /
297.6
(-)
|
.
558.6 /
292.5
(0)
|
n^1/?
17.4 /
12.2
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR.xml
|
.
715.7 /
300.0
(-)
|
.
468.1 /
292.3
(0)
|
.
10.6 /
11.5
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml
|
.
709.5 /
299.4
(-)
|
.
476.2 /
292.1
(0)
|
n^1/?
15.5 /
12.6
(2)
|
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml
|
?/n^0
0.4 /
0.4
(-)
|
?/n^0
0.1 /
0.2
(2)
|
.
0.4 /
2.2
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml
|
?/n^1
32.9 /
15.5
(-)
|
?/n^1
14.8 /
7.1
(2)
|
.
12.7 /
11.3
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_C.xml
|
.
747.3 /
297.2
(-)
|
.
576.8 /
292.2
(0)
|
n^1/?
12.9 /
18.7
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR.xml
|
.
607.2 /
297.2
(-)
|
.
482.0 /
292.2
(0)
|
.
14.9 /
11.3
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml
|
.
690.2 /
297.9
(-)
|
.
459.8 /
292.1
(0)
|
.
16.9 /
11.7
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml
|
.
613.7 /
297.8
(-)
|
.
728.4 /
293.8
(0)
|
.
16.6 /
12.3
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml
|
.
545.2 /
297.2
(-)
|
.
604.3 /
292.2
(0)
|
n^1/?
14.3 /
15.5
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml
|
.
641.9 /
297.7
(-)
|
.
491.2 /
292.3
(0)
|
n^1/?
16.3 /
11.7
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml
|
.
721.1 /
297.6
(-)
|
.
484.6 /
292.3
(0)
|
n^2/?
16.2 /
13.9
(2)
|
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.2
(0)
|
?/?
0.3 /
0.2
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml
|
.
585.1 /
300.0
(-)
|
.
512.9 /
292.1
(0)
|
n^1/?
14.4 /
11.7
(2)
|
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml
|
.
625.1 /
297.3
(-)
|
.
414.3 /
292.1
(0)
|
n^1/?
19.1 /
12.3
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR.xml
|
.
465.4 /
300.0
(-)
|
.
457.6 /
292.3
(0)
|
.
7.0 /
11.6
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml
|
.
739.9 /
297.4
(-)
|
.
510.1 /
293.0
(0)
|
n^1/?
8.2 /
12.7
(2)
|
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml
|
?/n^0
8.9 /
5.1
(-)
|
?/n^0
0.5 /
0.3
(2)
|
.
0.4 /
2.3
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml
|
.
628.2 /
298.4
(-)
|
.
265.5 /
292.4
(0)
|
.
13.6 /
12.6
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml
|
.
795.0 /
297.3
(-)
|
.
324.0 /
292.1
(0)
|
n^1/?
13.9 /
11.5
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml
|
.
472.7 /
263.1
(-)
|
.
504.5 /
292.4
(0)
|
n^1/?
12.2 /
11.7
(2)
|
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml
|
.
15.2 /
6.6
(-)
|
.
1.4 /
0.7
(0)
|
?/?
0.4 /
1.3
(0)
|
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml
|
.
594.3 /
298.6
(-)
|
.
631.8 /
292.1
(0)
|
n^1/?
7.4 /
13.5
(2)
|
Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml
|
.
428.7 /
297.2
(-)
|
.
530.8 /
293.3
(0)
|
?/?
0.4 /
1.9
(0)
|
Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml
|
?/n^1
48.3 /
24.4
(-)
|
?/n^1
12.9 /
7.1
(2)
|
n^1/?
108.5 /
102.7
(2)
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_C.xml
|
.
451.5 /
298.3
(-)
|
.
536.2 /
292.5
(0)
|
n^1/?
282.2 /
280.8
(2)
|
riting/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml
|
.
829.1 /
298.0
(-)
|
.
495.3 /
292.2
(0)
|
.
14.5 /
11.4
(0)
|
riting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml
|
.
847.2 /
298.2
(-)
|
.
573.6 /
292.1
(0)
|
.
103.3 /
88.4
(0)
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
writing/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml
|
.
410.6 /
299.0
(-)
|
.
406.7 /
292.3
(0)
|
n^2/?
20.1 /
13.6
(2)
|
ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml
|
?/n^1
322.4 /
169.5
(-)
|
?/n^1
91.4 /
39.2
(2)
|
n^1/?
13.9 /
11.2
(2)
|
l_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml
|
?/n^1
1.4 /
1.2
(-)
|
?/n^1
0.6 /
0.5
(2)
|
n^1/?
12.7 /
11.7
(2)
|
l_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml
|
?/n^1
5.4 /
3.9
(-)
|
?/n^1
1.5 /
1.0
(2)
|
n^1/?
4.4 /
4.5
(2)
|
ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml
|
.
77.4 /
41.5
(-)
|
.
38.3 /
14.0
(0)
|
?/?
0.4 /
1.3
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml
|
?/n^1
490.4 /
298.1
(-)
|
.
513.2 /
292.6
(0)
|
n^1/?
13.2 /
17.0
(2)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml
|
.
740.0 /
298.2
(-)
|
.
535.6 /
292.0
(0)
|
?/?
6.8 /
4.3
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml
|
.
636.7 /
297.3
(-)
|
.
796.4 /
293.6
(0)
|
n^1/?
16.8 /
11.5
(2)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
1.1
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml
|
.
681.6 /
297.3
(-)
|
.
517.9 /
291.4
(0)
|
?/?
3.4 /
2.2
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml
|
?/n^1
525.8 /
297.5
(-)
|
?/n^1
858.0 /
293.2
(2)
|
n^1/?
17.2 /
14.4
(2)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml
|
.
617.1 /
297.8
(-)
|
.
476.1 /
291.8
(0)
|
?/?
6.8 /
4.3
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml
|
?/n^3
748.8 /
299.1
(-)
|
?/n^3
74.6 /
35.8
(2)
|
.
15.2 /
11.3
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml
|
.
447.3 /
297.8
(-)
|
.
480.1 /
292.1
(0)
|
?/?
3.9 /
2.2
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C.xml
|
.
575.0 /
297.7
(-)
|
.
610.7 /
292.4
(0)
|
n^1/?
55.2 /
52.3
(2)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR.xml
|
.
609.5 /
297.4
(-)
|
.
516.0 /
292.2
(0)
|
n^1/?
16.7 /
12.8
(2)
|
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml
|
.
864.7 /
299.1
(-)
|
.
483.7 /
292.1
(0)
|
n^1/?
18.7 /
13.7
(2)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_L.xml
|
.
0.0 /
0.2
(-)
|
.
0.0 /
0.1
(0)
|
?/?
0.3 /
0.2
(0)
|
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_Z.xml
|
.
498.6 /
297.2
(-)
|
.
444.4 /
292.0
(0)
|
.
15.5 /
11.6
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml
|
.
794.3 /
297.2
(-)
|
.
601.6 /
293.3
(0)
|
n^1/?
27.8 /
21.1
(2)
|
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR.xml
|
.
560.2 /
297.1
(-)
|
.
424.8 /
292.2
(0)
|
n^1/?
16.5 /
12.8
(2)
|
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml
|
.
599.7 /
300.0
(-)
|
.
561.2 /
292.3
(0)
|
?/?
177.3 /
196.7
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.1 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_Z.xml
|
.
469.9 /
297.5
(-)
|
.
522.5 /
292.3
(0)
|
?/?
0.4 /
1.6
(0)
|
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml
|
.
479.9 /
300.1
(-)
|
?/n^1
489.8 /
292.5
(2)
|
n^1/?
8.5 /
13.7
(2)
|
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml
|
?/n^1
510.3 /
297.3
(-)
|
?/n^1
461.9 /
292.3
(2)
|
n^1/?
13.8 /
11.2
(2)
|
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml
|
.
475.7 /
297.1
(-)
|
.
214.7 /
292.8
(0)
|
n^1/?
15.2 /
11.7
(2)
|
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml
|
?/n^1
13.8 /
7.9
(-)
|
?/n^1
1.7 /
0.7
(2)
|
.
0.6 /
2.2
(0)
|
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml
|
?/n^1
6.0 /
1.7
(-)
|
?/n^1
3.0 /
1.1
(2)
|
.
11.0 /
11.3
(0)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml
|
.
809.9 /
297.7
(-)
|
.
644.5 /
292.4
(0)
|
n^1/?
151.6 /
281.3
(2)
|
writing/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml
|
.
598.1 /
298.3
(-)
|
.
506.8 /
292.1
(0)
|
.
15.8 /
11.4
(0)
|
writing/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml
|
.
699.1 /
298.5
(-)
|
.
536.5 /
292.1
(0)
|
n^1/?
21.7 /
15.8
(2)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml
|
.
496.2 /
297.4
(-)
|
.
447.0 /
292.2
(0)
|
n^3/?
15.2 /
13.3
(2)
|
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml
|
.
404.6 /
297.7
(-)
|
.
469.7 /
292.1
(0)
|
n^3/?
18.9 /
13.1
(2)
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml
|
.
620.1 /
299.4
(-)
|
.
562.3 /
292.2
(0)
|
n^1/?
279.1 /
281.2
(2)
|
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml
|
.
571.7 /
297.4
(-)
|
.
487.4 /
292.1
(0)
|
.
13.7 /
11.5
(0)
|
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml
|
.
440.1 /
297.4
(-)
|
.
582.9 /
292.1
(0)
|
.
46.6 /
29.9
(0)
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml
|
.
0.2 /
0.2
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml
|
.
444.3 /
297.2
(-)
|
.
497.2 /
292.3
(0)
|
.
14.1 /
11.4
(0)
|
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml
|
.
625.0 /
300.0
(-)
|
.
662.4 /
292.3
(0)
|
.
277.3 /
280.6
(0)
|
nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml
|
.
2.3 /
2.6
(-)
|
.
0.3 /
0.5
(0)
|
?/?
0.3 /
0.3
(0)
|
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml
|
.
571.4 /
300.0
(-)
|
.
614.3 /
292.2
(0)
|
.
49.0 /
37.1
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_C.xml
|
.
668.9 /
300.1
(-)
|
.
714.5 /
292.3
(0)
|
n^1/?
293.6 /
280.7
(2)
|
g/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml
|
.
391.3 /
298.0
(-)
|
.
556.7 /
293.2
(0)
|
.
283.2 /
281.0
(0)
|
g/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml
|
.
579.3 /
298.4
(-)
|
.
578.5 /
292.2
(0)
|
.
217.5 /
280.5
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_L.xml
|
.
0.2 /
0.1
(-)
|
.
0.1 /
0.1
(0)
|
?/?
0.3 /
0.2
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml
|
.
560.3 /
297.9
(-)
|
.
753.6 /
292.6
(0)
|
.
118.7 /
243.4
(0)
|
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml
|
.
552.8 /
299.3
(-)
|
.
692.5 /
292.9
(0)
|
n^1/?
323.9 /
280.4
(2)
|
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml
|
.
776.0 /
298.3
(-)
|
.
551.6 /
294.1
(0)
|
.
301.2 /
280.3
(0)
|
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml
|
.
572.9 /
297.6
(-)
|
.
651.0 /
292.1
(0)
|
.
277.9 /
280.8
(0)
|
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.3
(0)
|
?/?
0.3 /
0.2
(0)
|
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml
|
.
524.8 /
300.0
(-)
|
.
589.6 /
292.1
(0)
|
.
26.8 /
19.7
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml
|
.
619.0 /
297.8
(-)
|
.
775.8 /
292.4
(0)
|
n^1/?
270.6 /
281.1
(2)
|
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml
|
.
586.4 /
298.1
(-)
|
.
625.4 /
291.4
(0)
|
.
298.7 /
281.1
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml
|
.
785.3 /
297.6
(-)
|
.
590.6 /
292.2
(0)
|
.
297.6 /
280.9
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.1
(0)
|
?/?
0.3 /
0.2
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml
|
.
525.0 /
297.3
(-)
|
.
449.9 /
292.8
(0)
|
.
28.1 /
27.6
(0)
|
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml
|
.
612.4 /
300.0
(-)
|
.
754.1 /
293.1
(0)
|
n^1/?
300.4 /
281.0
(2)
|
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml
|
.
604.2 /
297.4
(-)
|
.
569.7 /
294.8
(0)
|
.
238.8 /
281.4
(0)
|
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml
|
.
656.3 /
297.2
(-)
|
.
663.3 /
292.3
(0)
|
.
13.0 /
11.5
(0)
|
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml
|
.
0.3 /
0.6
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.5
(0)
|
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml
|
.
647.0 /
297.1
(-)
|
.
602.6 /
292.1
(0)
|
.
13.5 /
11.4
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml
|
.
818.7 /
297.7
(-)
|
.
549.7 /
294.9
(0)
|
n^1/?
306.4 /
280.8
(2)
|
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml
|
.
589.5 /
297.3
(-)
|
.
522.8 /
292.6
(0)
|
.
14.5 /
11.3
(0)
|
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml
|
.
736.6 /
297.6
(-)
|
.
575.9 /
292.2
(0)
|
.
246.5 /
280.6
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml
|
?/n^1
583.2 /
277.7
(-)
|
.
601.1 /
292.1
(0)
|
.
11.6 /
11.6
(0)
|
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml
|
.
592.5 /
300.0
(-)
|
.
556.6 /
293.1
(0)
|
n^1/?
270.1 /
281.1
(2)
|
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml
|
.
590.2 /
297.3
(-)
|
.
580.0 /
292.3
(0)
|
.
301.5 /
281.2
(0)
|
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml
|
.
535.0 /
298.3
(-)
|
.
547.7 /
292.1
(0)
|
n^1/?
28.1 /
20.2
(2)
|
ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml
|
.
0.5 /
0.6
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml
|
.
392.1 /
298.4
(-)
|
.
554.8 /
292.1
(0)
|
.
15.9 /
13.1
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml
|
.
641.4 /
299.6
(-)
|
.
598.2 /
292.3
(0)
|
n^1/?
312.0 /
280.9
(2)
|
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml
|
.
504.2 /
297.7
(-)
|
.
580.3 /
292.5
(0)
|
n^1/?
38.2 /
29.3
(2)
|
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml
|
.
380.6 /
298.8
(-)
|
.
686.3 /
292.2
(0)
|
.
262.4 /
281.3
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.2 /
0.1
(0)
|
?/?
0.3 /
1.2
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml
|
.
528.0 /
297.3
(-)
|
.
555.5 /
292.3
(0)
|
.
16.1 /
12.5
(0)
|
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml
|
.
664.8 /
299.4
(-)
|
.
632.9 /
292.6
(0)
|
n^1/?
307.4 /
280.3
(2)
|
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml
|
.
745.5 /
297.2
(-)
|
.
463.2 /
292.2
(0)
|
.
317.4 /
281.0
(0)
|
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml
|
.
373.7 /
298.1
(-)
|
.
484.9 /
292.3
(0)
|
n^1/?
19.7 /
17.0
(2)
|
med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml
|
.
0.3 /
0.3
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.4
(0)
|
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml
|
.
542.9 /
297.3
(-)
|
.
413.8 /
292.1
(0)
|
.
11.9 /
11.9
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml
|
.
596.2 /
300.0
(-)
|
.
844.7 /
292.4
(0)
|
n^1/?
57.8 /
43.8
(2)
|
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml
|
.
552.9 /
297.2
(-)
|
.
580.9 /
292.6
(0)
|
n^1/?
20.3 /
14.4
(2)
|
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml
|
.
540.0 /
297.2
(-)
|
.
390.6 /
292.4
(0)
|
n^1/?
15.8 /
14.2
(2)
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml
|
.
658.6 /
297.1
(-)
|
.
560.6 /
292.5
(0)
|
.
15.7 /
12.3
(0)
|
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml
|
.
593.2 /
297.6
(-)
|
.
740.1 /
292.7
(0)
|
n^1/?
285.0 /
280.9
(2)
|
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml
|
.
525.4 /
297.1
(-)
|
.
341.0 /
292.5
(0)
|
n^1/?
117.7 /
101.2
(2)
|
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml
|
.
577.3 /
297.2
(-)
|
.
302.3 /
245.2
(0)
|
?/?
1.7 /
1.4
(0)
|
med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.9
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml
|
?/n^1
610.3 /
297.2
(-)
|
?/n^1
801.2 /
292.5
(2)
|
n^1/?
18.1 /
12.3
(2)
|
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml
|
.
465.1 /
297.1
(-)
|
.
671.9 /
293.0
(0)
|
?/?
0.4 /
1.2
(0)
|
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml
|
.
431.6 /
297.7
(-)
|
.
377.4 /
292.9
(0)
|
?/?
0.4 /
1.2
(0)
|
ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.6
(0)
|
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml
|
?/n^1
591.8 /
297.3
(-)
|
?/n^1
737.1 /
292.5
(2)
|
n^1/?
10.9 /
16.2
(2)
|
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml
|
.
675.0 /
297.1
(-)
|
.
558.5 /
291.9
(0)
|
?/?
3.2 /
4.8
(0)
|
ing/Transformed_CSR_04/MYNAT_complete-noand_FR.xml
|
.
471.4 /
297.3
(-)
|
.
594.9 /
292.2
(0)
|
n^2/?
23.3 /
14.8
(2)
|
ting/Transformed_CSR_04/MYNAT_complete-noand_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.1 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
ting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml
|
.
582.1 /
297.4
(-)
|
.
635.9 /
292.2
(0)
|
n^1/?
37.4 /
15.3
(2)
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_C.xml
|
.
383.4 /
297.7
(-)
|
.
581.0 /
292.9
(0)
|
n^1/?
287.1 /
280.4
(2)
|
Rewriting/Transformed_CSR_04/MYNAT_complete_FR.xml
|
.
520.7 /
297.9
(-)
|
.
562.8 /
292.7
(0)
|
n^1/?
21.4 /
15.0
(2)
|
Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml
|
.
615.6 /
298.6
(-)
|
.
647.2 /
292.2
(0)
|
.
286.9 /
281.1
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.1 /
0.1
(0)
|
?/?
0.3 /
0.2
(0)
|
_Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml
|
.
516.2 /
297.6
(-)
|
.
501.5 /
292.7
(0)
|
n^1/?
21.0 /
13.9
(2)
|
ting/Transformed_CSR_04/MYNAT_complete_noand_C.xml
|
.
658.0 /
300.1
(-)
|
.
738.5 /
292.2
(0)
|
n^1/?
313.1 /
281.1
(2)
|
ing/Transformed_CSR_04/MYNAT_complete_noand_GM.xml
|
.
599.4 /
299.5
(-)
|
.
668.9 /
292.6
(0)
|
n^1/?
222.2 /
281.4
(2)
|
ting/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml
|
.
494.3 /
297.9
(-)
|
.
559.7 /
292.3
(0)
|
n^2/?
17.0 /
12.6
(2)
|
iting/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml
|
.
0.2 /
0.2
(-)
|
.
0.1 /
0.3
(0)
|
?/?
0.3 /
1.2
(0)
|
iting/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml
|
.
377.7 /
297.3
(-)
|
.
655.6 /
292.2
(0)
|
n^1/?
17.0 /
12.6
(2)
|
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml
|
.
607.5 /
297.4
(-)
|
.
430.3 /
292.9
(0)
|
n^1/?
134.9 /
122.9
(2)
|
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR.xml
|
.
543.2 /
298.3
(-)
|
.
558.0 /
292.0
(0)
|
n^1/?
15.1 /
13.1
(2)
|
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml
|
.
689.5 /
297.8
(-)
|
.
714.3 /
292.0
(0)
|
n^1/?
22.4 /
14.7
(2)
|
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.1 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z.xml
|
.
404.7 /
300.1
(-)
|
.
407.1 /
291.6
(0)
|
n^1/?
8.7 /
14.6
(2)
|
iting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml
|
.
817.8 /
297.3
(-)
|
.
756.4 /
292.4
(0)
|
n^1/?
311.4 /
280.2
(2)
|
ting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml
|
.
614.1 /
297.9
(-)
|
.
676.6 /
292.2
(0)
|
n^1/?
46.1 /
36.3
(2)
|
ting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml
|
.
586.1 /
297.3
(-)
|
.
441.8 /
292.8
(0)
|
n^2/?
15.2 /
12.3
(2)
|
iting/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.3
(0)
|
?/?
0.3 /
0.3
(0)
|
l_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml
|
.
777.7 /
297.3
(-)
|
.
373.8 /
292.2
(0)
|
n^1/?
16.8 /
12.8
(2)
|
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml
|
?/n^2
178.1 /
79.6
(-)
|
?/n^2
9.8 /
4.0
(2)
|
n^2/?
13.0 /
13.2
(2)
|
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml
|
.
733.4 /
299.0
(-)
|
.
617.0 /
292.4
(0)
|
n^2/?
22.0 /
13.4
(2)
|
l_Rewriting/Transformed_CSR_04/MYNAT_nosorts_L.xml
|
.
0.0 /
0.1
(-)
|
.
0.0 /
0.2
(0)
|
?/?
0.3 /
0.3
(0)
|
iting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml
|
.
665.8 /
297.3
(-)
|
.
395.2 /
292.8
(0)
|
n^1/?
21.1 /
17.8
(2)
|
ting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml
|
.
529.3 /
298.1
(-)
|
.
632.5 /
292.4
(0)
|
n^2/?
34.7 /
25.4
(2)
|
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml
|
.
630.8 /
297.5
(-)
|
.
763.3 /
292.5
(0)
|
n^1/?
30.5 /
18.5
(2)
|
g/Transformed_CSR_04/OvConsOS_complete-noand_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.9
(0)
|
g/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml
|
.
413.1 /
300.0
(-)
|
.
657.5 /
292.5
(0)
|
.
17.3 /
12.6
(0)
|
writing/Transformed_CSR_04/OvConsOS_complete_C.xml
|
.
574.9 /
300.0
(-)
|
.
550.7 /
292.4
(0)
|
n^1/?
278.7 /
280.5
(2)
|
riting/Transformed_CSR_04/OvConsOS_complete_FR.xml
|
.
623.2 /
297.2
(-)
|
.
526.6 /
292.7
(0)
|
n^1/?
33.9 /
23.4
(2)
|
riting/Transformed_CSR_04/OvConsOS_complete_GM.xml
|
.
612.5 /
297.8
(-)
|
.
550.2 /
292.2
(0)
|
.
256.5 /
281.5
(0)
|
writing/Transformed_CSR_04/OvConsOS_complete_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
writing/Transformed_CSR_04/OvConsOS_complete_Z.xml
|
.
635.9 /
297.3
(-)
|
.
696.3 /
292.3
(0)
|
.
17.9 /
12.5
(0)
|
g/Transformed_CSR_04/OvConsOS_complete_noand_C.xml
|
.
674.0 /
300.1
(-)
|
.
635.9 /
293.0
(0)
|
n^1/?
275.4 /
281.6
(2)
|
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml
|
.
682.4 /
297.9
(-)
|
.
481.8 /
292.6
(0)
|
.
276.6 /
281.2
(0)
|
g/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml
|
.
654.4 /
297.2
(-)
|
.
474.9 /
292.3
(0)
|
n^1/?
21.3 /
14.3
(2)
|
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml
|
.
0.3 /
0.5
(-)
|
.
0.3 /
0.2
(0)
|
?/?
0.3 /
0.4
(0)
|
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml
|
.
563.4 /
297.5
(-)
|
.
579.4 /
292.2
(0)
|
.
14.7 /
11.3
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_C.xml
|
.
689.9 /
297.7
(-)
|
.
668.7 /
292.4
(0)
|
n^1/?
293.2 /
280.3
(2)
|
writing/Transformed_CSR_04/OvConsOS_nokinds_FR.xml
|
.
590.2 /
297.3
(-)
|
.
570.5 /
292.5
(0)
|
n^1/?
22.7 /
19.5
(2)
|
writing/Transformed_CSR_04/OvConsOS_nokinds_GM.xml
|
.
600.6 /
297.5
(-)
|
.
497.6 /
292.2
(0)
|
n^1/?
25.1 /
16.9
(2)
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml
|
.
583.6 /
297.1
(-)
|
.
623.5 /
292.2
(0)
|
.
17.0 /
12.3
(0)
|
ng/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml
|
.
473.2 /
297.4
(-)
|
.
588.6 /
293.0
(0)
|
n^1/?
283.7 /
280.8
(2)
|
g/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml
|
.
530.1 /
298.9
(-)
|
.
547.0 /
292.2
(0)
|
.
254.2 /
280.6
(0)
|
g/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml
|
.
448.9 /
297.3
(-)
|
.
486.7 /
292.1
(0)
|
n^1/?
7.1 /
12.6
(2)
|
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml
|
.
457.9 /
297.4
(-)
|
.
434.7 /
292.0
(0)
|
?/?
6.6 /
5.4
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml
|
?/n^1
789.6 /
297.3
(-)
|
.
529.2 /
291.6
(0)
|
n^1/?
18.4 /
13.3
(2)
|
writing/Transformed_CSR_04/OvConsOS_nosorts_FR.xml
|
.
327.1 /
297.9
(-)
|
.
515.1 /
292.5
(0)
|
?/?
0.4 /
1.2
(0)
|
writing/Transformed_CSR_04/OvConsOS_nosorts_GM.xml
|
.
565.0 /
297.3
(-)
|
.
496.1 /
292.6
(0)
|
?/?
0.5 /
1.2
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.1 /
0.3
(0)
|
?/?
0.3 /
0.2
(0)
|
ewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml
|
.
426.3 /
297.2
(-)
|
.
454.6 /
293.2
(0)
|
?/?
0.4 /
1.7
(0)
|
ng/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml
|
.
565.3 /
297.4
(-)
|
.
731.0 /
292.7
(0)
|
n^1/?
75.0 /
63.0
(2)
|
g/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml
|
.
707.9 /
298.6
(-)
|
.
613.7 /
293.4
(0)
|
?/?
6.0 /
7.0
(0)
|
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml
|
.
429.5 /
297.5
(-)
|
.
595.4 /
292.1
(0)
|
n^2/?
21.6 /
15.4
(2)
|
Transformed_CSR_04/PALINDROME_complete-noand_L.xml
|
.
546.8 /
298.4
(-)
|
.
483.9 /
292.3
(0)
|
?/?
0.5 /
1.9
(0)
|
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml
|
.
599.9 /
297.4
(-)
|
.
577.6 /
292.4
(0)
|
n^1/?
22.7 /
17.3
(2)
|
iting/Transformed_CSR_04/PALINDROME_complete_C.xml
|
.
578.7 /
298.6
(-)
|
.
462.3 /
292.8
(0)
|
n^1/?
202.0 /
281.1
(2)
|
ting/Transformed_CSR_04/PALINDROME_complete_FR.xml
|
.
612.5 /
299.6
(-)
|
.
657.3 /
292.2
(0)
|
n^1/?
45.1 /
37.7
(2)
|
ting/Transformed_CSR_04/PALINDROME_complete_GM.xml
|
.
527.0 /
297.6
(-)
|
.
651.8 /
292.2
(0)
|
.
294.1 /
280.8
(0)
|
iting/Transformed_CSR_04/PALINDROME_complete_L.xml
|
.
0.0 /
0.1
(-)
|
.
0.1 /
0.2
(0)
|
?/?
0.3 /
0.2
(0)
|
iting/Transformed_CSR_04/PALINDROME_complete_Z.xml
|
.
493.1 /
297.9
(-)
|
.
632.0 /
292.2
(0)
|
n^1/?
27.1 /
17.8
(2)
|
Transformed_CSR_04/PALINDROME_complete_noand_C.xml
|
.
420.1 /
300.0
(-)
|
.
676.6 /
293.4
(0)
|
n^1/?
296.6 /
281.2
(2)
|
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml
|
.
591.2 /
297.3
(-)
|
.
777.8 /
292.2
(0)
|
n^2/?
226.4 /
280.6
(2)
|
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml
|
.
538.2 /
297.6
(-)
|
.
467.3 /
292.2
(0)
|
n^2/?
26.8 /
21.4
(2)
|
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml
|
.
488.6 /
297.7
(-)
|
.
442.7 /
292.7
(0)
|
?/?
0.4 /
1.3
(0)
|
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml
|
?/n^1
516.7 /
297.7
(-)
|
?/n^1
525.8 /
292.2
(2)
|
n^1/?
20.9 /
13.5
(2)
|
riting/Transformed_CSR_04/PALINDROME_nokinds_C.xml
|
?/n^1
611.5 /
297.2
(-)
|
?/n^1
699.0 /
292.2
(2)
|
n^1/?
51.9 /
39.2
(2)
|
iting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml
|
.
567.6 /
298.2
(-)
|
.
466.1 /
292.2
(0)
|
n^2/?
27.0 /
19.3
(2)
|
iting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml
|
.
631.6 /
297.4
(-)
|
.
652.0 /
293.3
(0)
|
n^1/?
51.9 /
49.1
(2)
|
riting/Transformed_CSR_04/PALINDROME_nokinds_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.8
(0)
|
riting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml
|
?/n^1
469.7 /
297.6
(-)
|
?/n^2
467.7 /
292.5
(2)
|
n^1/?
19.7 /
15.7
(2)
|
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml
|
?/n^1
704.7 /
297.5
(-)
|
?/n^1
737.8 /
293.4
(2)
|
n^1/?
309.2 /
280.8
(2)
|
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml
|
.
430.2 /
297.9
(-)
|
.
665.8 /
293.7
(0)
|
n^1/?
301.5 /
280.7
(2)
|
riting/Transformed_CSR_04/PALINDROME_nosorts_C.xml
|
?/n^1
634.5 /
297.3
(-)
|
?/n^1
706.4 /
292.2
(2)
|
n^1/?
13.9 /
13.1
(2)
|
iting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml
|
.
653.9 /
297.4
(-)
|
.
410.5 /
293.3
(0)
|
n^1/?
15.5 /
11.6
(2)
|
riting/Transformed_CSR_04/PALINDROME_nosorts_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml
|
?/n^1
623.6 /
298.4
(-)
|
?/n^1
753.5 /
292.2
(2)
|
n^1/?
17.9 /
12.2
(2)
|
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml
|
.
698.5 /
299.5
(-)
|
.
470.7 /
293.8
(0)
|
n^1/?
15.5 /
11.8
(2)
|
ing/Transformed_CSR_04/PEANO_complete-noand_FR.xml
|
.
508.5 /
297.3
(-)
|
.
531.7 /
292.6
(0)
|
n^2/?
19.9 /
13.4
(2)
|
ting/Transformed_CSR_04/PEANO_complete-noand_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
ting/Transformed_CSR_04/PEANO_complete-noand_Z.xml
|
.
547.9 /
297.4
(-)
|
.
688.3 /
292.2
(0)
|
n^1/?
18.1 /
13.7
(2)
|
_Rewriting/Transformed_CSR_04/PEANO_complete_C.xml
|
.
612.5 /
297.3
(-)
|
.
588.9 /
292.2
(0)
|
n^1/?
307.0 /
280.3
(2)
|
Rewriting/Transformed_CSR_04/PEANO_complete_FR.xml
|
.
520.8 /
297.2
(-)
|
.
603.0 /
292.2
(0)
|
n^1/?
11.8 /
17.3
(2)
|
Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml
|
.
705.2 /
298.6
(-)
|
.
605.2 /
292.3
(0)
|
n^1/?
39.5 /
29.2
(2)
|
_Rewriting/Transformed_CSR_04/PEANO_complete_L.xml
|
.
0.0 /
0.1
(-)
|
.
0.1 /
0.3
(0)
|
?/?
0.3 /
0.3
(0)
|
_Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml
|
.
503.6 /
298.0
(-)
|
.
591.6 /
292.2
(0)
|
n^1/?
16.4 /
13.4
(2)
|
ting/Transformed_CSR_04/PEANO_complete_noand_C.xml
|
.
420.9 /
300.1
(-)
|
.
649.9 /
293.0
(0)
|
n^1/?
300.4 /
280.3
(2)
|
ing/Transformed_CSR_04/PEANO_complete_noand_GM.xml
|
.
525.1 /
299.3
(-)
|
.
492.0 /
292.1
(0)
|
n^1/?
271.9 /
280.5
(2)
|
ting/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml
|
.
494.3 /
297.6
(-)
|
.
461.1 /
292.3
(0)
|
n^2/?
17.1 /
12.4
(2)
|
iting/Transformed_CSR_04/PEANO_nokinds-noand_L.xml
|
.
0.0 /
0.0
(-)
|
.
0.0 /
0.2
(0)
|
?/?
0.3 /
0.4
(0)
|
iting/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml
|
.
571.9 /
297.3
(-)
|
.
609.0 /
292.1
(0)
|
n^1/?
15.6 /
11.3
(2)
|
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml
|
.
597.1 /
297.3
(-)
|
.
835.0 /
292.3
(0)
|
n^1/?
21.0 /
13.3
(2)
|
_Rewriting/Transformed_CSR_04/PEANO_nokinds_FR.xml
|
.
550.8 /
297.8
(-)
|
.
532.1 /
292.7
(0)
|
n^2/?
16.7 /
13.8
(2)
|
_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml
|
.
644.8 /
297.7
(-)
|
.
336.1 /
292.2
(0)
|
n^1/?
19.6 /
12.9
(2)
|
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_L.xml
|
.
0.2 /
0.1
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.2
(0)
|
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml
|
.
532.3 /
297.2
(-)
|
.
607.4 /
292.2
(0)
|
n^1/?
11.2 /
13.2
(2)
|
iting/Transformed_CSR_04/PEANO_nokinds_noand_C.xml
|
.
615.4 /
297.5
(-)
|
.
714.7 /
292.3
(0)
|
n^1/?
39.7 /
49.2
(2)
|
ting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml
|
.
622.7 /
297.7
(-)
|
.
459.7 /
292.2
(0)
|
n^1/?
14.3 /
13.8
(2)
|
ting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml
|
?/n^1
45.1 /
24.1
(-)
|
?/n^1
16.6 /
7.0
(2)
|
n^1/?
13.7 /
11.6
(2)
|
iting/Transformed_CSR_04/PEANO_nosorts-noand_L.xml
|
.
0.1 /
0.0
(-)
|
.
0.0 /
0.0
(0)
|
?/?
0.3 /
0.3
(0)
|
l_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml
|
?/n^1
736.4 /
297.2
(-)
|
?/n^1
495.4 /
292.1
(2)
|
n^1/?
15.8 /
12.3
(2)
|
_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml
|
?/n^1
1.1 /
0.4
(-)
|
?/n^1
0.5 /
0.2
(2)
|
n^1/?
13.6 /
11.4
(2)
|
_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml
|
.
681.2 /
297.2
(-)
|
.
420.6 /
291.7
(0)
|
n^2/?
14.1 /
14.2
(2)
|
l_Rewriting/Transformed_CSR_04/PEANO_nosorts_L.xml
|
.
0.1 /
0.1
(-)
|
.
0.0 /
0.2
(0)
|
?/?
0.3 /
0.2
(0)
|
iting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml
|
?/n^1
567.7 /
297.5
(-)
|
?/n^1
581.9 /
293.4
(2)
|
n^1/?
16.7 /
13.7
(2)
|
ting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml
|
.
527.1 /
297.9
(-)
|
.
439.6 /
292.7
(0)
|
n^2/?
24.0 /
15.4
(2)
|
untime_Complexity_Full_Rewriting/Various_04/04.xml
|
.
548.7 /
297.6
(-)
|
.
700.5 /
292.3
(0)
|
.
16.8 /
12.9
(0)
|
untime_Complexity_Full_Rewriting/Various_04/08.xml
|
.
367.4 /
300.0
(-)
|
.
657.0 /
292.7
(0)
|
.
17.4 /
11.9
(0)
|
untime_Complexity_Full_Rewriting/Various_04/10.xml
|
.
344.3 /
297.2
(-)
|
.
570.1 /
292.7
(0)
|
n^1/?
15.7 /
14.1
(2)
|
untime_Complexity_Full_Rewriting/Various_04/11.xml
|
.
711.9 /
299.7
(-)
|
.
540.0 /
292.1
(0)
|
.
3.3 /
3.2
(0)
|
untime_Complexity_Full_Rewriting/Various_04/12.xml
|
.
543.0 /
298.1
(-)
|
.
431.9 /
292.4
(0)
|
n^1/?
17.6 /
12.4
(2)
|
untime_Complexity_Full_Rewriting/Various_04/13.xml
|
.
546.2 /
299.4
(-)
|
.
399.3 /
292.5
(0)
|
n^1/?
18.2 /
12.8
(2)
|
untime_Complexity_Full_Rewriting/Various_04/14.xml
|
.
581.7 /
297.3
(-)
|
.
832.8 /
292.8
(0)
|
n^1/?
28.7 /
20.9
(2)
|
untime_Complexity_Full_Rewriting/Various_04/15.xml
|
?/n^1
260.9 /
148.4
(-)
|
?/n^1
9.8 /
4.0
(2)
|
n^1/?
2.8 /
3.3
(2)
|
untime_Complexity_Full_Rewriting/Various_04/18.xml
|
?/n^1
697.3 /
297.2
(-)
|
?/n^1
346.1 /
292.2
(2)
|
n^1/?
16.0 /
12.1
(2)
|
untime_Complexity_Full_Rewriting/Various_04/22.xml
|
.
534.8 /
298.3
(-)
|
.
668.0 /
292.1
(0)
|
n^1/?
5.1 /
3.2
(2)
|
untime_Complexity_Full_Rewriting/Various_04/23.xml
|
?/n^1
4.4 /
1.6
(-)
|
?/n^1
1.0 /
0.5
(2)
|
n^1/?
3.7 /
3.2
(2)
|
untime_Complexity_Full_Rewriting/Various_04/24.xml
|
.
945.7 /
297.3
(-)
|
?/n^2
52.1 /
24.8
(2)
|
n^1/?
15.4 /
11.4
(2)
|
omplexity_Full_Rewriting/Waldmann_06/jwmatchb1.xml
|
?/n^1
171.6 /
148.6
(-)
|
?/n^1
13.7 /
8.8
(2)
|
n^1/?
3.7 /
3.3
(2)
|
omplexity_Full_Rewriting/Waldmann_06/jwmatchb2.xml
|
?/n^1
44.3 /
22.0
(-)
|
?/n^1
12.9 /
10.1
(2)
|
n^1/?
3.8 /
3.5
(2)
|
me_Complexity_Full_Rewriting/Waldmann_06/jwno1.xml
|
.
457.4 /
300.0
(-)
|
.
650.6 /
292.2
(0)
|
.
4.5 /
2.3
(0)
|
me_Complexity_Full_Rewriting/Waldmann_06/jwno4.xml
|
.
579.9 /
297.3
(-)
|
.
503.1 /
292.7
(0)
|
.
2.9 /
2.3
(0)
|
me_Complexity_Full_Rewriting/Waldmann_06/jwno6.xml
|
.
516.0 /
297.6
(-)
|
.
592.4 /
292.2
(0)
|
.
2.6 /
2.2
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z10.xml
|
.
540.3 /
298.1
(-)
|
.
593.6 /
292.2
(0)
|
.
20.2 /
14.8
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z12.xml
|
.
468.1 /
297.1
(-)
|
.
282.1 /
145.4
(0)
|
.
2.6 /
2.2
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z13.xml
|
.
480.1 /
297.3
(-)
|
.
266.7 /
156.5
(0)
|
.
6.0 /
4.2
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z14.xml
|
.
439.4 /
297.3
(-)
|
.
260.6 /
292.3
(0)
|
.
2.5 /
2.4
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z15.xml
|
.
533.4 /
297.1
(-)
|
.
592.5 /
292.1
(0)
|
.
2.7 /
5.5
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z16.xml
|
.
418.2 /
297.1
(-)
|
.
256.9 /
160.5
(0)
|
.
2.7 /
2.2
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z17.xml
|
.
464.5 /
297.1
(-)
|
.
634.4 /
292.4
(0)
|
.
2.7 /
2.2
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z18.xml
|
.
491.9 /
297.1
(-)
|
.
463.5 /
292.1
(0)
|
.
11.7 /
11.5
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z23.xml
|
.
574.0 /
297.2
(-)
|
.
374.1 /
292.3
(0)
|
.
5.6 /
5.4
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z24.xml
|
.
620.1 /
297.5
(-)
|
.
538.4 /
292.8
(0)
|
.
11.0 /
13.7
(0)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z26.xml
|
?/n^1
347.7 /
179.9
(-)
|
?/n^1
6.8 /
2.0
(2)
|
n^1/?
13.6 /
11.4
(2)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z27.xml
|
.
740.9 /
297.6
(-)
|
.
11.1 /
4.4
(0)
|
n^1/?
15.6 /
11.4
(2)
|
ntime_Complexity_Full_Rewriting/Zantema_05/z28.xml
|
.
581.6 /
297.4
(-)
|
.
555.6 /
292.3
(0)
|
n^1/?
3.1 /
2.4
(2)
|