TRS_Innermost/AG01_innermost/#4.12a.xml
|
YES
4.2 /
1.8
|
YES
0.2 /
0.7
|
TRS_Innermost/AG01_innermost/#4.13.xml
|
YES
3.8 /
1.6
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.14.xml
|
YES
3.6 /
1.8
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.15.xml
|
YES
4.0 /
2.0
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.16.xml
|
YES
3.4 /
1.6
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.17.xml
|
YES
4.0 /
5.5
|
YES
6.6 /
6.6
|
TRS_Innermost/AG01_innermost/#4.18.xml
|
YES
10.0 /
3.5
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.19.xml
|
YES
3.4 /
1.6
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.2.xml
|
YES
3.7 /
1.6
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.20.xml
|
YES
3.8 /
2.0
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.20a.xml
|
YES
3.3 /
1.7
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.21.xml
|
YES
3.3 /
1.5
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.22.xml
|
YES
3.7 /
1.8
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.23.xml
|
YES
4.0 /
2.0
|
YES
0.0 /
1.0
|
TRS_Innermost/AG01_innermost/#4.24.xml
|
YES
4.4 /
1.8
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.25.xml
|
YES
3.6 /
1.6
|
YES
0.1 /
0.1
|
TRS_Innermost/AG01_innermost/#4.26.xml
|
YES
4.3 /
1.8
|
YES
0.1 /
0.1
|
TRS_Innermost/AG01_innermost/#4.27.xml
|
YES
4.2 /
2.1
|
YES
0.0 /
0.1
|
TRS_Innermost/AG01_innermost/#4.28.xml
|
YES
3.8 /
1.6
|
YES
0.0 /
0.1
|
TRS_Innermost/AG01_innermost/#4.29.xml
|
YES
5.5 /
2.1
|
YES
0.1 /
0.2
|
TRS_Innermost/AG01_innermost/#4.3.xml
|
YES
3.2 /
1.6
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.30.xml
|
YES
8.8 /
3.4
|
YES
4.7 /
5.5
|
TRS_Innermost/AG01_innermost/#4.30a.xml
|
YES
4.7 /
3.1
|
YES
0.1 /
0.2
|
TRS_Innermost/AG01_innermost/#4.30b.xml
|
YES
8.1 /
6.5
|
YES
2.5 /
2.7
|
TRS_Innermost/AG01_innermost/#4.31.xml
|
YES
20.1 /
9.5
|
YES
7.1 /
7.3
|
TRS_Innermost/AG01_innermost/#4.32.xml
|
YES
3.6 /
1.8
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.33.xml
|
YES
4.2 /
2.2
|
YES
0.1 /
0.1
|
TRS_Innermost/AG01_innermost/#4.34.xml
|
YES
4.0 /
2.1
|
YES
0.1 /
0.1
|
TRS_Innermost/AG01_innermost/#4.35.xml
|
YES
5.8 /
2.2
|
YES
0.2 /
0.2
|
TRS_Innermost/AG01_innermost/#4.36.xml
|
YES
5.9 /
3.5
|
YES
0.2 /
1.7
|
TRS_Innermost/AG01_innermost/#4.37.xml
|
YES
3.8 /
1.6
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.37a.xml
|
YES
3.9 /
1.7
|
YES
0.1 /
0.1
|
TRS_Innermost/AG01_innermost/#4.4.xml
|
YES
3.5 /
1.6
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.5.xml
|
YES
6.1 /
2.4
|
YES
0.0 /
0.0
|
TRS_Innermost/AG01_innermost/#4.7.xml
|
YES
3.8 /
1.6
|
YES
0.0 /
0.0
|
TRS_Innermost/Applicative_AG01_innermost/#4.10.xml
|
YES
4.4 /
2.2
|
YES
0.0 /
0.0
|
TRS_Innermost/Applicative_AG01_innermost/#4.13.xml
|
YES
4.8 /
2.3
|
YES
0.0 /
0.0
|
TRS_Innermost/Applicative_AG01_innermost/#4.15.xml
|
YES
4.7 /
1.9
|
YES
0.0 /
0.0
|
TRS_Innermost/Applicative_AG01_innermost/#4.17.xml
|
YES
6.0 /
2.8
|
YES
2.1 /
2.2
|
TRS_Innermost/Applicative_AG01_innermost/#4.19.xml
|
YES
4.9 /
2.3
|
.
26.2 /
27.1
|
TRS_Innermost/Applicative_AG01_innermost/#4.2.xml
|
YES
5.9 /
3.2
|
YES
0.0 /
0.0
|
TRS_Innermost/Applicative_AG01_innermost/#4.22.xml
|
YES
4.7 /
2.0
|
.
5.8 /
6.1
|
TRS_Innermost/Applicative_AG01_innermost/#4.24.xml
|
YES
5.0 /
2.1
|
YES
0.0 /
0.0
|
TRS_Innermost/Applicative_AG01_innermost/#4.26.xml
|
YES
5.6 /
2.2
|
.
14.3 /
15.4
|
TRS_Innermost/Applicative_AG01_innermost/#4.28.xml
|
YES
5.3 /
2.5
|
.
1.4 /
1.5
|
TRS_Innermost/Applicative_AG01_innermost/#4.3.xml
|
YES
4.8 /
1.9
|
YES
0.0 /
0.0
|
TRS_Innermost/Applicative_AG01_innermost/#4.34.xml
|
YES
5.4 /
2.1
|
YES
0.7 /
0.8
|
TRS_Innermost/Applicative_AG01_innermost/#4.36.xml
|
YES
8.0 /
3.4
|
.
29.9 /
30.0
|
TRS_Innermost/Applicative_AG01_innermost/#4.5.xml
|
YES
4.1 /
1.9
|
YES
0.0 /
0.0
|
TRS_Innermost/Applicative_AG01_innermost/#4.7.xml
|
YES
4.7 /
1.9
|
YES
0.0 /
0.0
|
TRS_Innermost/Applicative_AG01_innermost/#4.8.xml
|
YES
8.3 /
3.2
|
YES
0.9 /
1.0
|
TRS_Innermost/Mixed_innermost/bn111.xml
|
YES
3.5 /
1.9
|
YES
0.0 /
0.2
|
TRS_Innermost/Mixed_innermost/cade04.xml
|
.
65.2 /
30.0
|
.
29.7 /
30.0
|
TRS_Innermost/Mixed_innermost/cade05.xml
|
YES
7.5 /
2.8
|
.
29.3 /
30.1
|
TRS_Innermost/Mixed_innermost/cade12.xml
|
.
60.5 /
30.1
|
.
29.7 /
30.1
|
TRS_Innermost/Mixed_innermost/cade13.xml
|
YES
7.8 /
2.8
|
.
29.6 /
30.1
|
TRS_Innermost/Mixed_innermost/gkg.xml
|
YES
4.0 /
3.9
|
YES
0.0 /
0.0
|
TRS_Innermost/Mixed_innermost/innermost1.xml
|
YES
3.5 /
2.2
|
YES
0.0 /
0.0
|
TRS_Innermost/Mixed_innermost/innermost2.xml
|
YES
3.8 /
2.6
|
.
29.4 /
30.1
|
TRS_Innermost/Mixed_innermost/innermost3.xml
|
YES
4.3 /
1.8
|
YES
0.7 /
0.9
|
TRS_Innermost/Mixed_innermost/innermost4.xml
|
YES
3.9 /
2.0
|
YES
2.3 /
2.4
|
TRS_Innermost/Mixed_innermost/innermost5.xml
|
YES
4.9 /
2.9
|
.
29.0 /
30.1
|
TRS_Innermost/Mixed_innermost/muladd.xml
|
NO
4.5 /
2.1
|
.
0.3 /
1.0
|
TRS_Innermost/Mixed_innermost/n001.xml
|
NO
7.1 /
2.8
|
.
0.7 /
0.7
|
TRS_Innermost/Mixed_innermost/narrow1.xml
|
.
87.5 /
30.1
|
.
30.0 /
30.0
|
TRS_Innermost/Mixed_innermost/narrow2.xml
|
.
75.9 /
30.1
|
.
30.0 /
30.0
|
TRS_Innermost/Mixed_innermost/run_again1.xml
|
NO
10.0 /
9.7
|
.
30.0 /
30.0
|
TRS_Innermost/Mixed_innermost/run_again2.xml
|
.
102.7 /
30.1
|
.
29.9 /
30.0
|
TRS_Innermost/Mixed_innermost/test10.xml
|
YES
3.7 /
1.7
|
YES
0.0 /
0.0
|
TRS_Innermost/Mixed_innermost/test75.xml
|
YES
4.5 /
2.0
|
YES
0.2 /
0.2
|
TRS_Innermost/Mixed_innermost/test76.xml
|
YES
7.4 /
2.8
|
YES
0.1 /
0.2
|
TRS_Innermost/Mixed_innermost/test77.xml
|
YES
4.4 /
2.2
|
YES
0.1 /
0.2
|
TRS_Innermost/Mixed_innermost/test830.xml
|
YES
4.2 /
2.5
|
YES
0.0 /
0.1
|
TRS_Innermost/Mixed_innermost/test833.xml
|
YES
3.7 /
1.7
|
YES
0.1 /
0.1
|
TRS_Innermost/Mixed_innermost/test9.xml
|
YES
3.8 /
1.7
|
YES
0.2 /
0.3
|
TRS_Innermost/Mixed_innermost/thiemann26i.xml
|
YES
9.2 /
3.2
|
.
27.7 /
30.1
|
TRS_Innermost/Mixed_innermost/thiemann28i.xml
|
YES
9.9 /
3.8
|
.
29.4 /
30.1
|
TRS_Innermost/Mixed_innermost/toyama.xml
|
YES
3.9 /
6.2
|
YES
0.0 /
0.0
|
TRS_Innermost/Mixed_innermost/tricky1.xml
|
YES
3.7 /
1.9
|
YES
0.0 /
0.0
|
TRS_Innermost/Mixed_innermost/wiehe13.xml
|
YES
7.6 /
2.7
|
YES
0.2 /
0.3
|
TRS_Innermost/Mixed_innermost/wiehe14.xml
|
YES
7.6 /
2.8
|
YES
0.4 /
0.5
|
ost/Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml
|
YES
7.5 /
2.7
|
.
29.7 /
30.1
|
st/Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml
|
YES
4.8 /
1.9
|
YES
0.0 /
0.0
|
t/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml
|
YES
8.4 /
5.4
|
YES
0.6 /
0.7
|
most/Transformed_CSR_innermost_04/Ex14_Luc06_C.xml
|
.
54.9 /
30.1
|
.
29.6 /
30.1
|
ost/Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml
|
YES
3.7 /
1.8
|
.
26.1 /
30.1
|
st/Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml
|
YES
7.4 /
2.7
|
.
28.9 /
30.1
|
most/Transformed_CSR_innermost_04/Ex15_Luc06_C.xml
|
YES
3.5 /
1.7
|
YES
23.7 /
24.6
|
ost/Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml
|
YES
3.3 /
1.5
|
YES
0.0 /
0.1
|
st/Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml
|
YES
3.5 /
1.8
|
YES
0.0 /
0.0
|
most/Transformed_CSR_innermost_04/Ex15_Luc98_C.xml
|
YES
21.2 /
7.8
|
YES
0.2 /
0.2
|
ost/Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml
|
YES
5.2 /
2.3
|
YES
0.2 /
0.2
|
st/Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml
|
YES
9.7 /
3.4
|
YES
0.7 /
0.7
|
most/Transformed_CSR_innermost_04/Ex16_Luc06_C.xml
|
YES
53.9 /
19.1
|
.
29.9 /
30.1
|
ost/Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml
|
YES
3.9 /
1.7
|
YES
0.0 /
0.0
|
st/Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml
|
YES
4.2 /
2.6
|
.
27.5 /
30.1
|
most/Transformed_CSR_innermost_04/Ex18_Luc06_C.xml
|
YES
3.7 /
1.8
|
YES
0.1 /
0.1
|
ost/Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml
|
YES
3.2 /
1.4
|
YES
0.0 /
0.0
|
most/Transformed_CSR_innermost_04/Ex18_Luc06_L.xml
|
YES
3.3 /
1.5
|
YES
0.0 /
0.0
|
st/Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml
|
YES
3.7 /
1.6
|
YES
0.0 /
0.0
|
ost/Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml
|
.
92.4 /
30.1
|
.
29.1 /
30.1
|
st/Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml
|
.
91.2 /
30.1
|
.
29.7 /
30.1
|
t/Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml
|
.
101.6 /
30.1
|
.
26.9 /
30.1
|
st/Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml
|
YES
5.5 /
2.1
|
YES
0.1 /
0.1
|
t/Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml
|
YES
7.8 /
3.3
|
YES
0.4 /
0.5
|
/Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml
|
YES
13.5 /
4.5
|
YES
0.8 /
0.8
|
rmost/Transformed_CSR_innermost_04/Ex1_GL02a_C.xml
|
YES
8.5 /
4.2
|
YES
7.0 /
7.1
|
most/Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml
|
YES
4.1 /
1.7
|
YES
0.0 /
0.0
|
ost/Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml
|
YES
5.1 /
2.1
|
YES
1.1 /
1.2
|
ermost/Transformed_CSR_innermost_04/Ex1_GM03_C.xml
|
.
84.8 /
30.0
|
.
30.0 /
30.1
|
rmost/Transformed_CSR_innermost_04/Ex1_GM03_GM.xml
|
.
112.1 /
30.1
|
.
29.6 /
30.1
|
most/Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml
|
.
79.4 /
30.1
|
.
29.6 /
30.0
|
ermost/Transformed_CSR_innermost_04/Ex1_GM99_C.xml
|
.
80.7 /
30.1
|
.
29.8 /
30.1
|
rmost/Transformed_CSR_innermost_04/Ex1_GM99_GM.xml
|
YES
5.1 /
2.9
|
YES
0.0 /
0.0
|
most/Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml
|
YES
12.3 /
4.5
|
.
31.4 /
30.0
|
most/Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml
|
.
110.6 /
30.1
|
.
29.6 /
30.0
|
ost/Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml
|
.
81.5 /
30.1
|
.
28.0 /
30.1
|
st/Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml
|
.
95.9 /
30.2
|
.
25.1 /
30.1
|
most/Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml
|
YES
13.2 /
4.2
|
YES
2.2 /
2.4
|
ost/Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml
|
YES
8.1 /
3.4
|
YES
0.6 /
0.7
|
st/Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml
|
YES
11.8 /
4.9
|
YES
4.1 /
4.8
|
rmost/Transformed_CSR_innermost_04/Ex1_Zan97_C.xml
|
YES
16.3 /
6.2
|
YES
14.4 /
14.5
|
most/Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml
|
YES
3.4 /
1.9
|
YES
0.0 /
0.0
|
ost/Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml
|
YES
4.2 /
6.2
|
YES
0.0 /
0.0
|
most/Transformed_CSR_innermost_04/Ex23_Luc06_C.xml
|
YES
4.0 /
1.7
|
YES
0.1 /
0.1
|
ost/Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml
|
YES
3.3 /
1.5
|
YES
0.0 /
0.0
|
most/Transformed_CSR_innermost_04/Ex23_Luc06_L.xml
|
YES
3.0 /
1.4
|
YES
0.0 /
0.0
|
st/Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml
|
YES
3.6 /
1.6
|
YES
0.0 /
0.0
|
rmost/Transformed_CSR_innermost_04/Ex24_GM04_C.xml
|
.
61.7 /
30.0
|
.
34.8 /
30.1
|
most/Transformed_CSR_innermost_04/Ex24_GM04_GM.xml
|
YES
3.9 /
1.6
|
YES
0.0 /
0.0
|
ost/Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml
|
YES
4.1 /
1.8
|
.
26.9 /
30.1
|
most/Transformed_CSR_innermost_04/Ex24_Luc06_C.xml
|
YES
5.4 /
2.5
|
.
29.6 /
30.1
|
ost/Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml
|
YES
3.9 /
1.7
|
YES
0.0 /
0.0
|
st/Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml
|
YES
4.6 /
2.0
|
.
29.3 /
30.1
|
most/Transformed_CSR_innermost_04/Ex25_Luc06_C.xml
|
YES
4.4 /
1.8
|
YES
0.1 /
0.1
|
ost/Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml
|
YES
3.5 /
1.7
|
YES
0.0 /
0.0
|
most/Transformed_CSR_innermost_04/Ex25_Luc06_L.xml
|
YES
3.4 /
1.8
|
YES
0.0 /
0.0
|
st/Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml
|
YES
12.5 /
4.3
|
YES
0.1 /
0.1
|
ost/Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml
|
YES
9.1 /
3.6
|
YES
0.3 /
0.3
|
st/Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml
|
YES
6.3 /
2.4
|
YES
0.2 /
0.2
|
ost/Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml
|
YES
3.7 /
1.8
|
YES
0.0 /
0.0
|
t/Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml
|
YES
16.2 /
5.3
|
YES
0.7 /
0.7
|
most/Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml
|
YES
10.3 /
3.8
|
.
30.0 /
30.1
|
ost/Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml
|
YES
8.2 /
2.8
|
.
26.3 /
30.1
|
most/Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml
|
YES
3.8 /
1.9
|
YES
0.0 /
0.0
|
st/Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml
|
YES
16.4 /
7.2
|
.
28.8 /
30.1
|
most/Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml
|
YES
7.5 /
3.1
|
YES
0.2 /
0.2
|
ost/Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml
|
YES
6.0 /
2.8
|
YES
0.2 /
1.3
|
most/Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml
|
YES
3.3 /
1.5
|
YES
0.0 /
0.2
|
st/Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml
|
YES
10.1 /
4.1
|
YES
0.4 /
0.4
|
t/Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml
|
.
64.8 /
30.1
|
.
29.7 /
30.0
|
/Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml
|
.
75.5 /
30.1
|
.
28.7 /
30.1
|
Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml
|
.
90.9 /
30.1
|
.
28.8 /
30.0
|
ost/Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml
|
.
73.8 /
30.5
|
.
29.8 /
30.1
|
st/Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml
|
.
100.1 /
30.1
|
.
27.5 /
30.0
|
t/Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml
|
.
99.1 /
30.1
|
.
29.7 /
30.0
|
/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml
|
YES
12.8 /
4.2
|
YES
0.2 /
0.2
|
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml
|
YES
9.7 /
3.3
|
YES
0.3 /
0.3
|
/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml
|
YES
4.0 /
2.3
|
YES
0.0 /
0.0
|
ransformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml
|
YES
12.1 /
4.0
|
YES
0.5 /
0.5
|
rmost/Transformed_CSR_innermost_04/Ex49_GM04_C.xml
|
YES
12.2 /
4.0
|
YES
2.1 /
2.2
|
most/Transformed_CSR_innermost_04/Ex49_GM04_GM.xml
|
YES
5.9 /
2.4
|
YES
0.1 /
0.1
|
ost/Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml
|
YES
12.5 /
4.2
|
YES
0.5 /
0.5
|
st/Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml
|
YES
4.3 /
2.4
|
YES
0.1 /
0.1
|
t/Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml
|
YES
4.3 /
1.9
|
YES
0.1 /
0.1
|
st/Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml
|
YES
3.1 /
1.4
|
YES
0.0 /
0.0
|
/Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml
|
YES
4.2 /
1.9
|
YES
0.0 /
0.1
|
/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml
|
.
99.7 /
30.1
|
YES
20.6 /
20.7
|
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml
|
YES
4.7 /
3.1
|
YES
0.0 /
0.0
|
/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml
|
YES
3.8 /
1.6
|
YES
0.0 /
0.0
|
ransformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml
|
YES
8.8 /
3.5
|
YES
0.5 /
0.5
|
/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml
|
.
113.6 /
30.1
|
.
30.1 /
30.1
|
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml
|
.
112.5 /
30.1
|
.
29.5 /
30.1
|
ransformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml
|
.
96.5 /
30.1
|
.
29.0 /
30.1
|
/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml
|
.
57.7 /
30.1
|
.
29.4 /
30.1
|
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml
|
YES
24.4 /
9.7
|
.
28.2 /
30.1
|
ransformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml
|
YES
21.2 /
6.6
|
.
29.0 /
30.1
|
/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml
|
YES
5.6 /
2.5
|
YES
0.2 /
0.2
|
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml
|
YES
4.3 /
6.1
|
YES
0.0 /
0.1
|
ransformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml
|
YES
4.3 /
2.0
|
YES
0.2 /
0.2
|
ost/Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml
|
.
64.2 /
30.0
|
.
30.0 /
30.0
|
st/Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml
|
YES
44.6 /
18.6
|
.
26.7 /
30.1
|
t/Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml
|
YES
85.9 /
24.2
|
.
27.4 /
30.1
|
rmost/Transformed_CSR_innermost_04/Ex4_Zan97_C.xml
|
.
64.9 /
30.1
|
.
29.5 /
30.1
|
most/Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml
|
.
109.7 /
30.1
|
.
28.7 /
30.1
|
ost/Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml
|
.
67.8 /
30.1
|
.
29.4 /
30.1
|
ost/Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml
|
.
87.9 /
30.1
|
.
29.5 /
30.1
|
st/Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml
|
.
110.1 /
30.1
|
.
29.5 /
30.0
|
t/Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml
|
not finished |
.
25.6 /
30.1
|
ost/Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml
|
YES
20.2 /
6.2
|
YES
2.3 /
2.4
|
st/Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml
|
YES
9.4 /
3.2
|
YES
3.2 /
3.4
|
t/Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml
|
YES
26.9 /
9.7
|
YES
17.1 /
24.3
|
rmost/Transformed_CSR_innermost_04/Ex5_Zan97_C.xml
|
YES
7.2 /
3.0
|
YES
3.3 /
3.3
|
most/Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml
|
YES
4.6 /
2.4
|
YES
1.3 /
1.4
|
ost/Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml
|
YES
6.4 /
2.8
|
YES
3.9 /
4.0
|
st/Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml
|
.
97.8 /
30.1
|
.
29.5 /
30.1
|
t/Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml
|
.
106.5 /
30.1
|
.
28.9 /
30.1
|
/Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml
|
.
100.1 /
30.1
|
.
28.2 /
30.1
|
st/Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml
|
YES
4.6 /
1.9
|
YES
0.1 /
0.1
|
t/Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml
|
YES
9.4 /
3.2
|
.
28.8 /
30.1
|
/Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml
|
YES
20.2 /
7.3
|
.
29.5 /
30.0
|
ermost/Transformed_CSR_innermost_04/Ex6_GM04_C.xml
|
YES
3.6 /
1.5
|
YES
0.1 /
0.1
|
rmost/Transformed_CSR_innermost_04/Ex6_GM04_GM.xml
|
YES
3.1 /
1.4
|
YES
0.0 /
0.0
|
most/Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml
|
YES
3.2 /
1.5
|
YES
0.0 /
0.0
|
rmost/Transformed_CSR_innermost_04/Ex6_Luc98_C.xml
|
YES
8.3 /
2.9
|
YES
0.1 /
0.1
|
most/Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml
|
YES
5.0 /
2.0
|
YES
0.1 /
0.1
|
rmost/Transformed_CSR_innermost_04/Ex6_Luc98_L.xml
|
YES
3.5 /
1.9
|
YES
0.0 /
0.0
|
ost/Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml
|
YES
8.3 /
3.7
|
YES
0.1 /
0.1
|
rmost/Transformed_CSR_innermost_04/Ex7_BLR02_C.xml
|
.
79.5 /
30.1
|
.
29.5 /
30.1
|
most/Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml
|
.
84.5 /
30.1
|
.
29.0 /
30.1
|
ost/Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml
|
.
86.9 /
30.0
|
.
29.7 /
30.1
|
rmost/Transformed_CSR_innermost_04/Ex8_BLR02_C.xml
|
.
95.5 /
30.1
|
.
29.3 /
30.1
|
most/Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml
|
.
74.8 /
30.1
|
.
29.2 /
30.1
|
ost/Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml
|
.
87.7 /
30.0
|
.
29.4 /
30.1
|
rmost/Transformed_CSR_innermost_04/Ex9_BLR02_C.xml
|
YES
10.2 /
4.1
|
YES
0.3 /
0.4
|
most/Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml
|
YES
8.3 /
2.9
|
YES
0.2 /
0.2
|
rmost/Transformed_CSR_innermost_04/Ex9_BLR02_L.xml
|
YES
3.6 /
1.6
|
YES
0.0 /
0.0
|
ost/Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml
|
YES
17.4 /
5.3
|
YES
0.5 /
0.5
|
rmost/Transformed_CSR_innermost_04/Ex9_Luc04_C.xml
|
.
49.5 /
30.1
|
.
29.7 /
30.1
|
most/Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml
|
YES
4.9 /
2.0
|
.
27.8 /
30.1
|
ost/Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml
|
.
61.0 /
30.1
|
.
28.4 /
30.1
|
rmost/Transformed_CSR_innermost_04/Ex9_Luc06_C.xml
|
YES
36.4 /
18.9
|
.
29.7 /
30.1
|
most/Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml
|
YES
4.2 /
1.7
|
YES
0.0 /
0.0
|
ost/Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml
|
YES
4.3 /
1.9
|
YES
10.6 /
10.8
|
ansformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml
|
.
81.7 /
30.0
|
.
29.4 /
30.1
|
nsformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml
|
.
106.2 /
30.1
|
.
25.3 /
30.1
|
sformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml
|
.
103.7 /
30.0
|
.
27.3 /
30.1
|
st/Transformed_CSR_innermost_04/ExConc_Zan97_C.xml
|
YES
3.8 /
1.6
|
YES
0.1 /
0.1
|
t/Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml
|
YES
3.1 /
2.6
|
YES
0.0 /
0.0
|
st/Transformed_CSR_innermost_04/ExConc_Zan97_L.xml
|
YES
3.5 /
1.5
|
YES
0.0 /
0.0
|
/Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml
|
YES
3.4 /
1.5
|
YES
0.0 /
0.0
|
t/Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml
|
YES
11.3 /
3.7
|
YES
1.8 /
1.9
|
/Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml
|
YES
7.9 /
2.7
|
YES
1.0 /
1.1
|
Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml
|
YES
16.0 /
5.0
|
YES
3.5 /
3.9
|
t/Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml
|
YES
11.2 /
8.0
|
.
29.6 /
30.1
|
/Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml
|
YES
5.3 /
2.1
|
YES
0.2 /
0.2
|
Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml
|
YES
9.6 /
3.9
|
YES
1.7 /
2.0
|
t/Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml
|
.
80.5 /
30.1
|
.
30.0 /
30.1
|
/Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml
|
YES
84.4 /
22.4
|
.
29.2 /
30.1
|
Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml
|
.
79.6 /
30.1
|
.
27.3 /
30.1
|
/Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml
|
.
101.0 /
30.0
|
.
30.0 /
30.0
|
Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml
|
.
94.2 /
30.1
|
.
11.1 /
30.1
|
ransformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml
|
.
80.7 /
30.1
|
.
23.9 /
30.1
|
t/Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml
|
.
113.6 /
30.1
|
.
29.8 /
30.1
|
/Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml
|
YES
4.8 /
2.3
|
YES
0.2 /
0.2
|
t/Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml
|
YES
3.2 /
1.5
|
YES
0.0 /
0.1
|
Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml
|
YES
9.8 /
3.6
|
YES
0.6 /
0.7
|
ransformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml
|
YES
11.5 /
3.8
|
.
30.1 /
30.1
|
ansformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml
|
YES
9.1 /
3.1
|
.
29.3 /
30.1
|
ransformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml
|
YES
3.9 /
2.2
|
YES
0.0 /
0.0
|
nsformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml
|
YES
16.8 /
5.0
|
.
29.4 /
30.0
|
ransformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml
|
.
91.5 /
30.1
|
.
29.4 /
30.1
|
ansformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml
|
.
98.2 /
30.0
|
.
29.4 /
30.1
|
nsformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml
|
.
96.7 /
30.1
|
.
25.5 /
30.1
|
rmed_CSR_innermost_04/LISTUTILITIES_complete_C.xml
|
.
93.5 /
30.1
|
.
30.0 /
30.1
|
med_CSR_innermost_04/LISTUTILITIES_complete_GM.xml
|
.
88.1 /
30.1
|
.
29.6 /
30.2
|
ed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml
|
.
67.5 /
30.1
|
.
30.0 /
30.1
|
SR_innermost_04/LISTUTILITIES_complete_noand_C.xml
|
.
93.3 /
30.1
|
.
30.0 /
30.0
|
R_innermost_04/LISTUTILITIES_complete_noand_GM.xml
|
.
95.0 /
30.0
|
.
30.1 /
30.1
|
_innermost_04/LISTUTILITIES_complete_noand_iGM.xml
|
.
94.3 /
30.0
|
.
30.1 /
30.1
|
ormed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml
|
.
98.1 /
30.1
|
.
30.0 /
30.0
|
rmed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml
|
.
84.9 /
30.1
|
.
25.0 /
30.1
|
med_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml
|
.
76.9 /
30.1
|
.
28.9 /
30.1
|
CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml
|
.
79.2 /
30.1
|
.
30.0 /
30.0
|
SR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml
|
.
82.2 /
30.1
|
.
29.0 /
30.0
|
R_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml
|
.
84.5 /
30.0
|
.
29.8 /
30.0
|
ormed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml
|
.
65.5 /
30.1
|
.
29.7 /
30.1
|
rmed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml
|
.
108.1 /
30.1
|
.
29.2 /
30.1
|
med_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml
|
.
87.2 /
30.1
|
.
28.6 /
30.1
|
CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml
|
.
96.2 /
30.1
|
.
30.1 /
30.0
|
SR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml
|
.
83.6 /
30.1
|
.
28.5 /
30.1
|
R_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml
|
.
84.3 /
30.0
|
.
28.9 /
30.0
|
SR_innermost_04/LengthOfFiniteLists_complete_C.xml
|
.
99.4 /
30.1
|
.
29.8 /
30.0
|
R_innermost_04/LengthOfFiniteLists_complete_GM.xml
|
YES
29.7 /
8.9
|
YES
28.2 /
14.8
|
_innermost_04/LengthOfFiniteLists_complete_iGM.xml
|
.
100.0 /
30.1
|
.
28.9 /
30.1
|
ermost_04/LengthOfFiniteLists_complete_noand_C.xml
|
.
94.9 /
30.1
|
.
30.0 /
30.1
|
rmost_04/LengthOfFiniteLists_complete_noand_GM.xml
|
YES
36.5 /
13.3
|
YES
1.4 /
1.4
|
most_04/LengthOfFiniteLists_complete_noand_iGM.xml
|
.
78.0 /
30.1
|
.
29.7 /
30.0
|
CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml
|
.
68.6 /
30.1
|
.
29.0 /
30.1
|
SR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml
|
YES
7.0 /
2.5
|
YES
0.3 /
0.3
|
R_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml
|
.
85.4 /
30.1
|
.
29.3 /
30.1
|
nermost_04/LengthOfFiniteLists_nokinds_noand_C.xml
|
.
85.4 /
30.0
|
.
21.3 /
30.1
|
ermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml
|
YES
9.7 /
3.2
|
YES
0.2 /
0.2
|
rmost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml
|
YES
64.6 /
19.3
|
.
28.5 /
30.0
|
CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml
|
.
111.2 /
30.1
|
.
25.5 /
30.1
|
SR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml
|
NO
5.6 /
4.7
|
.
26.1 /
30.1
|
R_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml
|
.
69.8 /
30.0
|
.
28.8 /
30.1
|
nermost_04/LengthOfFiniteLists_nosorts_noand_C.xml
|
.
54.7 /
30.1
|
.
29.8 /
30.1
|
ermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml
|
NO
12.9 /
5.1
|
.
27.1 /
30.1
|
rmost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml
|
.
75.9 /
30.1
|
.
29.7 /
30.1
|
/Transformed_CSR_innermost_04/MYNAT_complete_C.xml
|
YES
16.3 /
5.3
|
.
29.6 /
30.0
|
Transformed_CSR_innermost_04/MYNAT_complete_GM.xml
|
YES
9.5 /
5.4
|
.
29.0 /
30.1
|
ransformed_CSR_innermost_04/MYNAT_complete_iGM.xml
|
YES
10.0 /
4.0
|
.
28.6 /
30.0
|
formed_CSR_innermost_04/MYNAT_complete_noand_C.xml
|
.
101.3 /
30.1
|
.
29.6 /
30.1
|
ormed_CSR_innermost_04/MYNAT_complete_noand_GM.xml
|
YES
47.2 /
13.6
|
.
29.2 /
30.0
|
rmed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml
|
.
100.7 /
30.1
|
.
29.2 /
30.1
|
t/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml
|
YES
7.5 /
3.3
|
.
29.6 /
30.1
|
/Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml
|
YES
4.8 /
2.0
|
.
28.3 /
30.0
|
Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml
|
YES
8.9 /
6.1
|
.
28.5 /
30.1
|
sformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml
|
.
93.5 /
30.0
|
.
29.8 /
30.1
|
formed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml
|
YES
32.4 /
5.0
|
.
28.8 /
30.1
|
ormed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml
|
YES
82.1 /
22.8
|
.
28.5 /
30.0
|
t/Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml
|
YES
5.6 /
2.1
|
YES
6.4 /
3.3
|
/Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml
|
YES
5.3 /
7.2
|
.
9.3 /
30.1
|
Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml
|
YES
5.3 /
2.4
|
YES
13.7 /
13.7
|
sformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml
|
YES
7.5 /
3.3
|
YES
7.7 /
7.8
|
formed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml
|
YES
5.0 /
1.9
|
.
29.0 /
30.0
|
ormed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml
|
YES
8.4 /
3.0
|
.
27.9 /
30.1
|
ansformed_CSR_innermost_04/OvConsOS_complete_C.xml
|
.
91.6 /
30.7
|
.
29.9 /
30.1
|
nsformed_CSR_innermost_04/OvConsOS_complete_GM.xml
|
.
83.5 /
30.1
|
.
29.3 /
30.0
|
sformed_CSR_innermost_04/OvConsOS_complete_iGM.xml
|
.
91.8 /
30.1
|
.
29.5 /
30.0
|
med_CSR_innermost_04/OvConsOS_complete_noand_C.xml
|
.
67.8 /
30.1
|
.
35.1 /
30.1
|
ed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml
|
YES
46.5 /
13.8
|
YES
7.1 /
7.1
|
d_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml
|
.
79.6 /
30.2
|
.
30.0 /
30.1
|
ransformed_CSR_innermost_04/OvConsOS_nokinds_C.xml
|
.
89.8 /
30.1
|
.
30.0 /
30.1
|
ansformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml
|
.
89.3 /
30.0
|
.
28.5 /
30.1
|
nsformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml
|
.
71.4 /
30.1
|
.
27.1 /
30.1
|
rmed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml
|
.
105.1 /
30.1
|
.
29.9 /
30.1
|
med_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml
|
YES
19.3 /
6.0
|
YES
1.2 /
1.2
|
ed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml
|
.
99.8 /
30.0
|
.
28.5 /
30.0
|
ransformed_CSR_innermost_04/OvConsOS_nosorts_C.xml
|
.
62.3 /
30.1
|
.
29.6 /
30.0
|
ansformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml
|
NO
19.0 /
7.4
|
.
29.5 /
30.1
|
nsformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml
|
.
75.5 /
30.1
|
.
28.8 /
30.1
|
rmed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml
|
.
82.6 /
30.0
|
.
27.8 /
30.1
|
med_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml
|
NO
26.2 /
10.6
|
.
24.4 /
30.1
|
ed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml
|
.
84.2 /
30.1
|
.
27.8 /
30.1
|
sformed_CSR_innermost_04/PALINDROME_complete_C.xml
|
YES
18.9 /
7.0
|
.
30.2 /
30.1
|
formed_CSR_innermost_04/PALINDROME_complete_GM.xml
|
YES
7.4 /
2.7
|
YES
19.6 /
19.9
|
ormed_CSR_innermost_04/PALINDROME_complete_iGM.xml
|
YES
10.3 /
3.6
|
.
29.9 /
30.1
|
d_CSR_innermost_04/PALINDROME_complete_noand_C.xml
|
YES
32.1 /
10.5
|
.
29.9 /
30.1
|
_CSR_innermost_04/PALINDROME_complete_noand_GM.xml
|
YES
27.8 /
4.5
|
YES
7.8 /
7.8
|
CSR_innermost_04/PALINDROME_complete_noand_iGM.xml
|
YES
23.2 /
7.2
|
.
30.1 /
30.0
|
nsformed_CSR_innermost_04/PALINDROME_nokinds_C.xml
|
YES
9.3 /
3.7
|
YES
0.2 /
0.2
|
sformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml
|
YES
4.3 /
1.8
|
YES
0.9 /
1.3
|
formed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml
|
YES
7.2 /
2.9
|
YES
1.1 /
1.1
|
ed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml
|
YES
14.3 /
4.6
|
YES
1.1 /
1.1
|
d_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml
|
YES
14.1 /
5.5
|
YES
1.1 /
1.1
|
_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml
|
YES
16.9 /
6.8
|
YES
5.3 /
5.4
|
nsformed_CSR_innermost_04/PALINDROME_nosorts_C.xml
|
YES
5.7 /
2.2
|
YES
0.1 /
0.1
|
sformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml
|
YES
3.8 /
1.6
|
YES
0.3 /
0.3
|
formed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml
|
YES
5.2 /
2.0
|
YES
0.2 /
0.2
|
ed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml
|
YES
8.1 /
3.2
|
YES
0.1 /
0.1
|
d_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml
|
YES
3.7 /
1.6
|
YES
0.3 /
0.2
|
_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml
|
YES
4.8 /
1.9
|
YES
0.3 /
0.2
|
/Transformed_CSR_innermost_04/PEANO_complete_C.xml
|
YES
9.7 /
3.5
|
.
29.9 /
30.0
|
Transformed_CSR_innermost_04/PEANO_complete_GM.xml
|
YES
5.4 /
2.1
|
YES
13.5 /
14.3
|
ransformed_CSR_innermost_04/PEANO_complete_iGM.xml
|
YES
7.3 /
2.6
|
YES
14.8 /
15.8
|
formed_CSR_innermost_04/PEANO_complete_noand_C.xml
|
.
102.8 /
30.1
|
.
29.9 /
30.0
|
ormed_CSR_innermost_04/PEANO_complete_noand_GM.xml
|
YES
13.8 /
4.4
|
YES
1.7 /
1.7
|
rmed_CSR_innermost_04/PEANO_complete_noand_iGM.xml
|
.
43.5 /
30.1
|
.
29.3 /
30.1
|
t/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml
|
YES
6.4 /
2.8
|
.
29.2 /
30.0
|
/Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml
|
YES
4.6 /
2.2
|
YES
1.3 /
1.3
|
Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml
|
YES
5.6 /
2.2
|
YES
1.7 /
1.8
|
sformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml
|
YES
14.9 /
5.7
|
.
29.3 /
30.1
|
formed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml
|
YES
9.2 /
3.2
|
YES
0.3 /
0.3
|
ormed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml
|
YES
33.0 /
9.3
|
YES
5.0 /
5.8
|
t/Transformed_CSR_innermost_04/PEANO_nosorts_C.xml
|
YES
5.5 /
2.1
|
YES
0.1 /
0.1
|
/Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml
|
YES
4.1 /
2.9
|
YES
0.2 /
0.1
|
Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml
|
YES
5.4 /
2.4
|
YES
0.1 /
0.1
|
sformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml
|
YES
7.0 /
2.9
|
YES
0.3 /
0.3
|
formed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml
|
YES
4.8 /
1.9
|
YES
0.2 /
0.2
|
ormed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml
|
YES
7.3 /
3.2
|
YES
0.3 /
0.3
|
TRS_Innermost/raML/appendAll.raml.xml
|
YES
3.6 /
1.6
|
YES
0.0 /
0.0
|
TRS_Innermost/raML/queue.raml.xml
|
YES
13.9 /
4.7
|
YES
21.9 /
22.7
|
TRS_Innermost/raML/rationalPotential.raml.xml
|
YES
4.0 /
1.7
|
YES
0.0 /
0.0
|
TRS_Innermost/raML/subtrees.raml.xml
|
YES
3.9 /
1.7
|
YES
0.0 /
0.0
|