TRS_Innermost/AG01_innermost/#4.12a.xml |
0.1 /
0.1 s
|
1.8 /
1.0 s
|
TRS_Innermost/AG01_innermost/#4.13.xml |
0.0 /
0.0 s
|
1.1 /
0.7 s
|
TRS_Innermost/AG01_innermost/#4.14.xml |
0.0 /
0.0 s
|
1.2 /
0.7 s
|
TRS_Innermost/AG01_innermost/#4.15.xml |
0.0 /
0.0 s
|
1.3 /
0.8 s
|
TRS_Innermost/AG01_innermost/#4.16.xml |
0.0 /
0.0 s
|
1.2 /
0.7 s
|
TRS_Innermost/AG01_innermost/#4.17.xml |
6.5 /
6.5 s
|
1.5 /
0.8 s
|
TRS_Innermost/AG01_innermost/#4.18.xml |
0.0 /
0.0 s
|
2.2 /
0.9 s
|
TRS_Innermost/AG01_innermost/#4.19.xml |
0.0 /
0.0 s
|
1.4 /
0.8 s
|
TRS_Innermost/AG01_innermost/#4.2.xml |
0.0 /
0.0 s
|
1.3 /
0.7 s
|
TRS_Innermost/AG01_innermost/#4.20.xml |
0.0 /
0.0 s
|
0.9 /
0.6 s
|
TRS_Innermost/AG01_innermost/#4.20a.xml |
0.0 /
0.0 s
|
1.0 /
0.6 s
|
TRS_Innermost/AG01_innermost/#4.21.xml |
0.0 /
0.0 s
|
1.0 /
0.6 s
|
TRS_Innermost/AG01_innermost/#4.22.xml |
0.0 /
0.0 s
|
1.3 /
0.7 s
|
TRS_Innermost/AG01_innermost/#4.23.xml |
0.0 /
0.0 s
|
1.9 /
1.0 s
|
TRS_Innermost/AG01_innermost/#4.24.xml |
0.0 /
0.0 s
|
1.9 /
1.0 s
|
TRS_Innermost/AG01_innermost/#4.25.xml |
0.0 /
0.1 s
|
1.2 /
0.7 s
|
TRS_Innermost/AG01_innermost/#4.26.xml |
0.0 /
0.1 s
|
2.4 /
1.1 s
|
TRS_Innermost/AG01_innermost/#4.27.xml |
0.0 /
0.0 s
|
1.6 /
0.8 s
|
TRS_Innermost/AG01_innermost/#4.28.xml |
0.0 /
0.0 s
|
1.0 /
0.6 s
|
TRS_Innermost/AG01_innermost/#4.29.xml |
0.1 /
0.1 s
|
3.0 /
1.4 s
|
TRS_Innermost/AG01_innermost/#4.3.xml |
0.0 /
0.0 s
|
1.1 /
0.7 s
|
TRS_Innermost/AG01_innermost/#4.30.xml |
3.9 /
4.1 s
|
6.8 /
2.8 s
|
TRS_Innermost/AG01_innermost/#4.30a.xml |
0.1 /
0.1 s
|
2.6 /
1.3 s
|
TRS_Innermost/AG01_innermost/#4.30b.xml |
2.3 /
2.4 s
|
5.4 /
2.4 s
|
TRS_Innermost/AG01_innermost/#4.31.xml |
7.8 /
7.9 s
|
25.6 /
7.0 s
|
TRS_Innermost/AG01_innermost/#4.32.xml |
0.0 /
0.0 s
|
1.3 /
0.7 s
|
TRS_Innermost/AG01_innermost/#4.33.xml |
0.0 /
0.1 s
|
2.0 /
1.0 s
|
TRS_Innermost/AG01_innermost/#4.34.xml |
0.0 /
0.1 s
|
1.8 /
0.9 s
|
TRS_Innermost/AG01_innermost/#4.35.xml |
0.2 /
0.2 s
|
4.3 /
1.6 s
|
TRS_Innermost/AG01_innermost/#4.36.xml |
0.1 /
0.1 s
|
4.3 /
1.6 s
|
TRS_Innermost/AG01_innermost/#4.37.xml |
0.0 /
0.0 s
|
1.5 /
0.8 s
|
TRS_Innermost/AG01_innermost/#4.37a.xml |
0.0 /
0.0 s
|
1.7 /
0.8 s
|
TRS_Innermost/AG01_innermost/#4.4.xml |
0.0 /
0.0 s
|
1.1 /
0.7 s
|
TRS_Innermost/AG01_innermost/#4.5.xml |
0.0 /
0.0 s
|
4.0 /
1.4 s
|
TRS_Innermost/AG01_innermost/#4.7.xml |
0.0 /
0.0 s
|
1.2 /
0.7 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.10.xml |
0.0 /
0.0 s
|
2.2 /
1.0 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.13.xml |
0.0 /
0.0 s
|
2.1 /
1.1 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.15.xml |
0.0 /
0.0 s
|
2.4 /
1.2 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.17.xml |
2.1 /
2.1 s
|
2.7 /
1.2 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.19.xml |
33.0 /
33.1 s
|
2.4 /
1.2 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.2.xml |
0.0 /
0.0 s
|
2.3 /
1.1 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.22.xml |
5.8 /
5.9 s
|
2.5 /
1.2 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.24.xml |
0.0 /
0.0 s
|
2.6 /
1.2 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.26.xml |
15.3 /
15.6 s
|
3.6 /
1.5 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.28.xml |
1.3 /
1.4 s
|
2.3 /
1.1 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.3.xml |
0.0 /
0.0 s
|
2.0 /
1.1 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.34.xml |
0.7 /
0.7 s
|
3.2 /
1.4 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.36.xml |
300.0 /
300.0 s
|
6.2 /
2.3 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.5.xml |
0.0 /
0.0 s
|
2.1 /
1.0 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.7.xml |
0.0 /
0.0 s
|
2.1 /
1.1 s
|
TRS_Innermost/Applicative_AG01_innermost/#4.8.xml |
0.8 /
0.9 s
|
5.3 /
2.5 s
|
TRS_Innermost/Mixed_innermost/bn111.xml |
0.0 /
0.0 s
|
1.2 /
0.7 s
|
TRS_Innermost/Mixed_innermost/cade04.xml |
180.4 /
180.7 s
|
333.2 /
300.0 s
|
TRS_Innermost/Mixed_innermost/cade05.xml |
299.6 /
300.0 s
|
5.0 /
1.9 s
|
TRS_Innermost/Mixed_innermost/cade12.xml |
300.1 /
300.0 s
|
471.2 /
300.0 s
|
TRS_Innermost/Mixed_innermost/cade13.xml |
67.0 /
68.4 s
|
4.6 /
1.8 s
|
TRS_Innermost/Mixed_innermost/gkg.xml |
0.0 /
0.0 s
|
1.1 /
0.7 s
|
TRS_Innermost/Mixed_innermost/innermost1.xml |
0.0 /
0.0 s
|
1.2 /
0.7 s
|
TRS_Innermost/Mixed_innermost/innermost2.xml |
298.7 /
300.0 s
|
1.5 /
0.8 s
|
TRS_Innermost/Mixed_innermost/innermost3.xml |
0.6 /
0.7 s
|
1.9 /
1.0 s
|
TRS_Innermost/Mixed_innermost/innermost4.xml |
2.2 /
2.3 s
|
1.6 /
0.9 s
|
TRS_Innermost/Mixed_innermost/innermost5.xml |
298.9 /
300.0 s
|
2.2 /
1.1 s
|
TRS_Innermost/Mixed_innermost/muladd.xml |
0.2 /
0.2 s
|
2.4 /
1.2 s
|
TRS_Innermost/Mixed_innermost/n001.xml |
0.7 /
0.7 s
|
4.4 /
1.5 s
|
TRS_Innermost/Mixed_innermost/narrow1.xml |
300.1 /
300.0 s
|
510.0 /
300.1 s
|
TRS_Innermost/Mixed_innermost/narrow2.xml |
299.7 /
300.0 s
|
858.6 /
300.0 s
|
TRS_Innermost/Mixed_innermost/run_again1.xml |
300.1 /
300.0 s
|
7.9 /
3.0 s
|
TRS_Innermost/Mixed_innermost/run_again2.xml |
299.7 /
300.0 s
|
887.1 /
300.0 s
|
TRS_Innermost/Mixed_innermost/test10.xml |
0.0 /
0.0 s
|
1.6 /
0.8 s
|
TRS_Innermost/Mixed_innermost/test75.xml |
0.1 /
0.1 s
|
2.1 /
1.1 s
|
TRS_Innermost/Mixed_innermost/test76.xml |
0.1 /
0.1 s
|
4.2 /
2.1 s
|
TRS_Innermost/Mixed_innermost/test77.xml |
0.1 /
0.1 s
|
2.1 /
1.1 s
|
TRS_Innermost/Mixed_innermost/test830.xml |
0.0 /
0.0 s
|
1.8 /
0.9 s
|
TRS_Innermost/Mixed_innermost/test833.xml |
0.1 /
0.1 s
|
1.2 /
0.7 s
|
TRS_Innermost/Mixed_innermost/test9.xml |
0.1 /
0.1 s
|
1.8 /
1.0 s
|
TRS_Innermost/Mixed_innermost/thiemann26i.xml |
299.6 /
300.0 s
|
6.6 /
2.5 s
|
TRS_Innermost/Mixed_innermost/thiemann28i.xml |
160.4 /
160.8 s
|
7.2 /
2.8 s
|
TRS_Innermost/Mixed_innermost/toyama.xml |
0.0 /
0.0 s
|
1.1 /
0.7 s
|
TRS_Innermost/Mixed_innermost/tricky1.xml |
0.0 /
0.0 s
|
1.3 /
0.7 s
|
TRS_Innermost/Mixed_innermost/wiehe13.xml |
0.2 /
0.2 s
|
5.9 /
2.0 s
|
TRS_Innermost/Mixed_innermost/wiehe14.xml |
0.4 /
0.4 s
|
5.9 /
2.0 s
|
ost/Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml |
299.1 /
300.0 s
|
6.2 /
2.2 s
|
st/Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml |
0.0 /
0.0 s
|
2.4 /
1.1 s
|
t/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml |
0.5 /
0.6 s
|
6.4 /
2.3 s
|
most/Transformed_CSR_innermost_04/Ex14_Luc06_C.xml |
299.6 /
300.0 s
|
796.4 /
300.0 s
|
ost/Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml |
267.4 /
300.0 s
|
1.9 /
1.0 s
|
st/Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml |
297.4 /
300.0 s
|
6.1 /
2.3 s
|
most/Transformed_CSR_innermost_04/Ex15_Luc06_C.xml |
24.1 /
24.1 s
|
1.7 /
0.8 s
|
ost/Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml |
0.0 /
0.0 s
|
1.2 /
0.6 s
|
st/Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml |
0.0 /
0.0 s
|
1.4 /
0.7 s
|
most/Transformed_CSR_innermost_04/Ex15_Luc98_C.xml |
0.2 /
0.2 s
|
8.4 /
2.7 s
|
ost/Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml |
0.2 /
0.2 s
|
2.1 /
0.9 s
|
st/Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml |
0.6 /
0.6 s
|
10.3 /
3.4 s
|
most/Transformed_CSR_innermost_04/Ex16_Luc06_C.xml |
299.5 /
300.0 s
|
58.5 /
21.5 s
|
ost/Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml |
0.0 /
0.0 s
|
1.6 /
0.8 s
|
st/Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml |
31.5 /
37.3 s
|
1.9 /
1.0 s
|
most/Transformed_CSR_innermost_04/Ex18_Luc06_C.xml |
0.0 /
0.1 s
|
2.4 /
1.0 s
|
ost/Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml |
0.0 /
0.0 s
|
1.0 /
0.6 s
|
most/Transformed_CSR_innermost_04/Ex18_Luc06_L.xml |
0.0 /
0.0 s
|
1.0 /
0.6 s
|
st/Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml |
0.0 /
0.0 s
|
1.2 /
0.7 s
|
ost/Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml |
298.6 /
300.0 s
|
891.3 /
300.0 s
|
st/Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml |
297.2 /
300.0 s
|
130.8 /
36.3 s
|
t/Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml |
299.5 /
300.0 s
|
111.0 /
38.4 s
|
st/Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml |
0.1 /
0.1 s
|
2.8 /
1.1 s
|
t/Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml |
0.2 /
0.3 s
|
6.3 /
2.2 s
|
/Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml |
0.6 /
0.7 s
|
12.9 /
4.1 s
|
rmost/Transformed_CSR_innermost_04/Ex1_GL02a_C.xml |
7.0 /
7.1 s
|
7.2 /
2.5 s
|
most/Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml |
0.0 /
0.0 s
|
1.8 /
0.9 s
|
ost/Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml |
0.9 /
0.9 s
|
3.0 /
1.3 s
|
ermost/Transformed_CSR_innermost_04/Ex1_GM03_C.xml |
300.0 /
300.0 s
|
887.4 /
300.0 s
|
rmost/Transformed_CSR_innermost_04/Ex1_GM03_GM.xml |
300.6 /
300.0 s
|
1150.0 /
300.1 s
|
most/Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml |
299.8 /
300.0 s
|
764.0 /
300.0 s
|
ermost/Transformed_CSR_innermost_04/Ex1_GM99_C.xml |
299.4 /
300.0 s
|
97.0 /
40.7 s
|
rmost/Transformed_CSR_innermost_04/Ex1_GM99_GM.xml |
0.0 /
0.0 s
|
2.2 /
1.1 s
|
most/Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml |
216.5 /
300.0 s
|
11.7 /
4.0 s
|
most/Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml |
299.7 /
300.0 s
|
875.0 /
300.0 s
|
ost/Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml |
298.0 /
300.0 s
|
890.5 /
300.1 s
|
st/Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml |
300.7 /
300.0 s
|
709.1 /
300.0 s
|
most/Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml |
2.1 /
2.2 s
|
7.4 /
2.4 s
|
ost/Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml |
0.5 /
0.6 s
|
4.9 /
1.8 s
|
st/Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml |
3.3 /
3.6 s
|
9.0 /
3.0 s
|
rmost/Transformed_CSR_innermost_04/Ex1_Zan97_C.xml |
14.3 /
14.4 s
|
22.0 /
6.0 s
|
most/Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml |
0.0 /
0.0 s
|
1.0 /
0.6 s
|
ost/Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml |
0.0 /
0.0 s
|
1.2 /
0.6 s
|
most/Transformed_CSR_innermost_04/Ex23_Luc06_C.xml |
0.1 /
0.1 s
|
1.9 /
0.8 s
|
ost/Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml |
0.0 /
0.0 s
|
1.1 /
0.6 s
|
most/Transformed_CSR_innermost_04/Ex23_Luc06_L.xml |
0.0 /
0.0 s
|
0.9 /
0.6 s
|
st/Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml |
0.0 /
0.0 s
|
1.5 /
0.7 s
|
rmost/Transformed_CSR_innermost_04/Ex24_GM04_C.xml |
299.1 /
300.0 s
|
148.2 /
79.3 s
|
most/Transformed_CSR_innermost_04/Ex24_GM04_GM.xml |
0.0 /
0.0 s
|
1.3 /
0.8 s
|
ost/Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml |
270.5 /
300.0 s
|
2.1 /
1.0 s
|
most/Transformed_CSR_innermost_04/Ex24_Luc06_C.xml |
299.5 /
300.0 s
|
3.3 /
1.5 s
|
ost/Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml |
0.0 /
0.0 s
|
1.7 /
0.8 s
|
st/Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml |
231.6 /
300.0 s
|
2.3 /
1.2 s
|
most/Transformed_CSR_innermost_04/Ex25_Luc06_C.xml |
0.1 /
0.1 s
|
2.4 /
1.0 s
|
ost/Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml |
0.0 /
0.0 s
|
1.0 /
0.6 s
|
most/Transformed_CSR_innermost_04/Ex25_Luc06_L.xml |
0.0 /
0.0 s
|
1.0 /
0.6 s
|
st/Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml |
0.1 /
0.1 s
|
39.7 /
10.9 s
|
ost/Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml |
0.2 /
0.2 s
|
10.5 /
3.3 s
|
st/Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml |
0.2 /
0.2 s
|
4.3 /
1.7 s
|
ost/Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml |
0.0 /
0.0 s
|
1.1 /
0.6 s
|
t/Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml |
0.6 /
0.7 s
|
17.9 /
5.5 s
|
most/Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml |
299.4 /
300.0 s
|
11.0 /
3.4 s
|
ost/Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml |
172.6 /
174.6 s
|
7.2 /
2.6 s
|
most/Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml |
0.0 /
0.0 s
|
1.4 /
0.8 s
|
st/Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml |
299.7 /
300.0 s
|
15.4 /
4.7 s
|
most/Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml |
0.1 /
0.2 s
|
7.5 /
2.5 s
|
ost/Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml |
0.1 /
0.2 s
|
7.7 /
2.7 s
|
most/Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml |
0.0 /
0.0 s
|
1.1 /
0.6 s
|
st/Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml |
0.4 /
0.4 s
|
9.9 /
3.3 s
|
t/Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml |
299.7 /
300.0 s
|
900.5 /
300.1 s
|
/Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml |
295.6 /
300.0 s
|
878.4 /
300.1 s
|
Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml |
298.6 /
300.0 s
|
864.2 /
300.1 s
|
ost/Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml |
299.7 /
300.0 s
|
876.4 /
300.0 s
|
st/Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml |
296.9 /
300.0 s
|
689.1 /
300.1 s
|
t/Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml |
299.4 /
300.0 s
|
783.5 /
300.1 s
|
/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml |
0.2 /
0.2 s
|
14.2 /
4.3 s
|
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml |
0.2 /
0.3 s
|
4.3 /
1.7 s
|
/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml |
0.0 /
0.0 s
|
1.1 /
0.6 s
|
ransformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml |
0.4 /
0.4 s
|
11.9 /
3.9 s
|
rmost/Transformed_CSR_innermost_04/Ex49_GM04_C.xml |
2.1 /
2.1 s
|
15.2 /
4.6 s
|
most/Transformed_CSR_innermost_04/Ex49_GM04_GM.xml |
0.1 /
0.1 s
|
3.5 /
1.5 s
|
ost/Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml |
0.4 /
0.4 s
|
16.4 /
5.1 s
|
st/Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml |
0.0 /
0.1 s
|
1.7 /
0.8 s
|
t/Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml |
0.0 /
0.1 s
|
2.6 /
1.2 s
|
st/Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml |
0.0 /
0.0 s
|
0.9 /
0.6 s
|
/Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml |
0.0 /
0.0 s
|
2.4 /
1.2 s
|
/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml |
20.9 /
20.9 s
|
47.5 /
17.4 s
|
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml |
0.0 /
0.0 s
|
2.3 /
1.0 s
|
/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml |
0.0 /
0.0 s
|
1.0 /
0.6 s
|
ransformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml |
0.4 /
0.4 s
|
8.4 /
3.0 s
|
/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml |
299.4 /
300.0 s
|
863.3 /
300.0 s
|
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml |
299.0 /
300.0 s
|
722.0 /
300.0 s
|
ransformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml |
299.9 /
300.0 s
|
751.3 /
300.0 s
|
/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml |
299.9 /
300.0 s
|
884.7 /
300.0 s
|
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml |
294.9 /
300.0 s
|
14.4 /
4.6 s
|
ransformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml |
298.3 /
300.0 s
|
23.5 /
7.1 s
|
/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml |
0.1 /
0.1 s
|
3.0 /
1.3 s
|
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml |
0.0 /
0.0 s
|
1.1 /
0.6 s
|
ransformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml |
0.1 /
0.1 s
|
2.1 /
1.0 s
|
ost/Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml |
300.1 /
300.0 s
|
887.9 /
300.0 s
|
st/Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml |
299.0 /
300.0 s
|
58.9 /
16.2 s
|
t/Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml |
298.9 /
300.0 s
|
75.7 /
23.7 s
|
rmost/Transformed_CSR_innermost_04/Ex4_Zan97_C.xml |
299.7 /
300.0 s
|
870.2 /
300.1 s
|
most/Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml |
298.0 /
300.0 s
|
1164.6 /
300.0 s
|
ost/Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml |
299.0 /
300.0 s
|
696.8 /
300.0 s
|
ost/Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml |
299.3 /
300.0 s
|
876.9 /
300.1 s
|
st/Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml |
296.2 /
300.0 s
|
1142.2 /
300.1 s
|
t/Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml |
299.7 /
300.0 s
|
711.6 /
300.1 s
|
ost/Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml |
2.3 /
2.3 s
|
26.3 /
7.5 s
|
st/Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml |
2.8 /
3.0 s
|
9.3 /
3.1 s
|
t/Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml |
15.8 /
16.8 s
|
26.5 /
8.2 s
|
rmost/Transformed_CSR_innermost_04/Ex5_Zan97_C.xml |
3.2 /
3.3 s
|
5.2 /
1.9 s
|
most/Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml |
1.2 /
1.2 s
|
1.9 /
0.9 s
|
ost/Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml |
3.5 /
3.6 s
|
4.1 /
1.6 s
|
st/Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml |
298.7 /
300.0 s
|
888.1 /
300.1 s
|
t/Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml |
298.5 /
300.0 s
|
1183.3 /
300.1 s
|
/Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml |
301.2 /
300.0 s
|
743.9 /
300.1 s
|
st/Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml |
0.1 /
0.1 s
|
2.2 /
0.9 s
|
t/Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml |
32.5 /
33.9 s
|
7.1 /
2.4 s
|
/Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml |
73.2 /
73.6 s
|
23.7 /
7.1 s
|
ermost/Transformed_CSR_innermost_04/Ex6_GM04_C.xml |
0.0 /
0.1 s
|
2.5 /
1.0 s
|
rmost/Transformed_CSR_innermost_04/Ex6_GM04_GM.xml |
0.0 /
0.0 s
|
1.0 /
0.6 s
|
most/Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml |
0.0 /
0.0 s
|
1.1 /
0.6 s
|
rmost/Transformed_CSR_innermost_04/Ex6_Luc98_C.xml |
0.1 /
0.1 s
|
5.4 /
2.0 s
|
most/Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml |
0.1 /
0.1 s
|
2.7 /
1.2 s
|
rmost/Transformed_CSR_innermost_04/Ex6_Luc98_L.xml |
0.0 /
0.0 s
|
1.1 /
0.6 s
|
ost/Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml |
0.1 /
0.1 s
|
6.9 /
2.4 s
|
rmost/Transformed_CSR_innermost_04/Ex7_BLR02_C.xml |
299.6 /
300.0 s
|
863.5 /
300.1 s
|
most/Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml |
298.1 /
300.0 s
|
764.9 /
300.0 s
|
ost/Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml |
299.1 /
300.0 s
|
718.1 /
300.0 s
|
rmost/Transformed_CSR_innermost_04/Ex8_BLR02_C.xml |
299.5 /
300.0 s
|
876.8 /
300.0 s
|
most/Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml |
297.3 /
300.0 s
|
1125.4 /
300.1 s
|
ost/Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml |
299.5 /
300.0 s
|
789.1 /
300.0 s
|
rmost/Transformed_CSR_innermost_04/Ex9_BLR02_C.xml |
0.3 /
0.3 s
|
11.4 /
3.5 s
|
most/Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml |
0.1 /
0.2 s
|
4.6 /
1.8 s
|
rmost/Transformed_CSR_innermost_04/Ex9_BLR02_L.xml |
0.0 /
0.0 s
|
1.1 /
0.6 s
|
ost/Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml |
0.4 /
0.5 s
|
18.2 /
5.7 s
|
rmost/Transformed_CSR_innermost_04/Ex9_Luc04_C.xml |
299.6 /
300.0 s
|
901.1 /
300.1 s
|
most/Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml |
296.6 /
300.0 s
|
3.1 /
1.3 s
|
ost/Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml |
299.9 /
300.0 s
|
671.8 /
300.1 s
|
rmost/Transformed_CSR_innermost_04/Ex9_Luc06_C.xml |
299.5 /
300.0 s
|
34.8 /
18.0 s
|
most/Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml |
0.0 /
0.0 s
|
1.8 /
0.9 s
|
ost/Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml |
10.0 /
10.0 s
|
2.3 /
1.2 s
|
ansformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml |
298.7 /
300.0 s
|
884.6 /
300.0 s
|
nsformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml |
298.1 /
300.0 s
|
131.2 /
36.3 s
|
sformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml |
299.2 /
300.0 s
|
128.1 /
44.0 s
|
st/Transformed_CSR_innermost_04/ExConc_Zan97_C.xml |
0.1 /
0.1 s
|
1.6 /
0.8 s
|
t/Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml |
0.0 /
0.0 s
|
1.1 /
0.6 s
|
st/Transformed_CSR_innermost_04/ExConc_Zan97_L.xml |
0.0 /
0.0 s
|
0.9 /
0.6 s
|
/Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml |
0.0 /
0.0 s
|
1.6 /
0.8 s
|
t/Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml |
1.8 /
1.8 s
|
12.7 /
3.8 s
|
/Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml |
0.7 /
0.8 s
|
5.6 /
2.1 s
|
Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml |
2.8 /
3.0 s
|
17.6 /
5.5 s
|
t/Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml |
299.3 /
300.0 s
|
7.4 /
2.4 s
|
/Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml |
0.1 /
0.1 s
|
3.6 /
1.5 s
|
Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml |
1.5 /
1.6 s
|
8.8 /
2.9 s
|
t/Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml |
300.1 /
300.0 s
|
887.8 /
300.1 s
|
/Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml |
300.4 /
300.0 s
|
74.2 /
20.1 s
|
Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml |
299.7 /
300.0 s
|
691.9 /
300.0 s
|
/Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml |
300.1 /
300.0 s
|
872.2 /
300.0 s
|
Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml |
299.9 /
300.0 s
|
720.6 /
300.0 s
|
ransformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml |
299.7 /
300.0 s
|
637.5 /
300.0 s
|
t/Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml |
31.9 /
32.5 s
|
50.1 /
18.6 s
|
/Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml |
0.1 /
0.1 s
|
2.5 /
1.1 s
|
t/Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml |
0.0 /
0.0 s
|
1.0 /
0.6 s
|
Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml |
0.5 /
0.6 s
|
9.0 /
3.1 s
|
ransformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml |
299.3 /
300.0 s
|
12.3 /
3.8 s
|
ansformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml |
297.3 /
300.0 s
|
8.4 /
2.8 s
|
ransformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml |
0.0 /
0.0 s
|
1.4 /
0.8 s
|
nsformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml |
299.7 /
300.0 s
|
23.3 /
7.1 s
|
ransformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml |
298.8 /
300.0 s
|
895.6 /
300.1 s
|
ansformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml |
299.1 /
300.0 s
|
668.4 /
300.0 s
|
nsformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml |
299.6 /
300.0 s
|
642.7 /
300.1 s
|
rmed_CSR_innermost_04/LISTUTILITIES_complete_C.xml |
300.1 /
300.0 s
|
896.8 /
300.0 s
|
med_CSR_innermost_04/LISTUTILITIES_complete_GM.xml |
299.2 /
300.0 s
|
685.7 /
300.0 s
|
ed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml |
299.9 /
300.0 s
|
683.5 /
300.0 s
|
SR_innermost_04/LISTUTILITIES_complete_noand_C.xml |
300.4 /
300.0 s
|
635.7 /
300.0 s
|
R_innermost_04/LISTUTILITIES_complete_noand_GM.xml |
300.8 /
300.0 s
|
804.5 /
300.0 s
|
_innermost_04/LISTUTILITIES_complete_noand_iGM.xml |
301.6 /
300.0 s
|
647.0 /
300.1 s
|
ormed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml |
300.1 /
300.0 s
|
805.3 /
300.0 s
|
rmed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml |
298.9 /
300.0 s
|
722.8 /
300.0 s
|
med_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml |
298.4 /
300.0 s
|
651.2 /
300.0 s
|
CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml |
300.3 /
300.0 s
|
844.4 /
300.0 s
|
SR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml |
299.0 /
300.0 s
|
635.3 /
300.0 s
|
R_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml |
297.8 /
300.0 s
|
731.7 /
300.0 s
|
ormed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml |
298.3 /
300.0 s
|
893.0 /
300.1 s
|
rmed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml |
299.3 /
300.0 s
|
748.3 /
300.0 s
|
med_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml |
299.4 /
300.0 s
|
658.1 /
300.0 s
|
CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml |
300.0 /
300.0 s
|
883.3 /
300.1 s
|
SR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml |
299.1 /
300.0 s
|
625.6 /
300.0 s
|
R_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml |
298.3 /
300.0 s
|
669.1 /
300.0 s
|
SR_innermost_04/LengthOfFiniteLists_complete_C.xml |
300.1 /
300.0 s
|
886.5 /
300.0 s
|
R_innermost_04/LengthOfFiniteLists_complete_GM.xml |
13.6 /
14.0 s
|
29.7 /
8.7 s
|
_innermost_04/LengthOfFiniteLists_complete_iGM.xml |
298.2 /
300.0 s
|
808.3 /
300.0 s
|
ermost_04/LengthOfFiniteLists_complete_noand_C.xml |
299.8 /
300.0 s
|
892.9 /
300.0 s
|
rmost_04/LengthOfFiniteLists_complete_noand_GM.xml |
1.3 /
1.3 s
|
29.5 /
8.7 s
|
most_04/LengthOfFiniteLists_complete_noand_iGM.xml |
298.8 /
300.0 s
|
357.1 /
146.0 s
|
CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml |
297.7 /
300.0 s
|
824.3 /
300.0 s
|
SR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml |
0.3 /
0.3 s
|
4.3 /
1.5 s
|
R_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml |
299.4 /
300.0 s
|
107.0 /
41.7 s
|
nermost_04/LengthOfFiniteLists_nokinds_noand_C.xml |
297.9 /
300.0 s
|
883.4 /
300.0 s
|
ermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml |
0.2 /
0.2 s
|
9.1 /
2.8 s
|
rmost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml |
210.0 /
211.0 s
|
56.4 /
18.3 s
|
CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml |
299.3 /
300.0 s
|
799.8 /
300.1 s
|
SR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml |
264.0 /
300.0 s
|
3.7 /
1.6 s
|
R_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml |
293.7 /
300.0 s
|
525.4 /
300.0 s
|
nermost_04/LengthOfFiniteLists_nosorts_noand_C.xml |
299.3 /
300.0 s
|
833.8 /
300.1 s
|
ermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml |
281.2 /
300.0 s
|
9.9 /
3.4 s
|
rmost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml |
298.9 /
300.0 s
|
643.6 /
300.1 s
|
/Transformed_CSR_innermost_04/MYNAT_complete_C.xml |
300.1 /
300.0 s
|
12.6 /
4.0 s
|
Transformed_CSR_innermost_04/MYNAT_complete_GM.xml |
299.0 /
300.0 s
|
4.6 /
1.8 s
|
ransformed_CSR_innermost_04/MYNAT_complete_iGM.xml |
299.2 /
300.0 s
|
7.6 /
2.6 s
|
formed_CSR_innermost_04/MYNAT_complete_noand_C.xml |
299.6 /
300.0 s
|
885.0 /
300.0 s
|
ormed_CSR_innermost_04/MYNAT_complete_noand_GM.xml |
298.7 /
300.0 s
|
32.0 /
9.7 s
|
rmed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml |
297.6 /
300.0 s
|
678.9 /
259.4 s
|
t/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml |
299.3 /
300.0 s
|
4.7 /
1.7 s
|
/Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml |
265.5 /
270.5 s
|
2.8 /
1.2 s
|
Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml |
299.2 /
300.0 s
|
5.1 /
1.8 s
|
sformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml |
298.6 /
300.0 s
|
892.2 /
300.1 s
|
formed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml |
101.6 /
103.3 s
|
16.9 /
5.2 s
|
ormed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml |
298.2 /
300.0 s
|
70.5 /
21.6 s
|
t/Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml |
3.2 /
3.2 s
|
3.6 /
1.5 s
|
/Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml |
25.2 /
26.2 s
|
1.9 /
0.9 s
|
Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml |
12.3 /
12.8 s
|
2.9 /
1.2 s
|
sformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml |
7.9 /
7.9 s
|
6.1 /
2.2 s
|
formed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml |
55.6 /
57.8 s
|
2.4 /
1.1 s
|
ormed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml |
77.8 /
79.2 s
|
6.4 /
2.3 s
|
ansformed_CSR_innermost_04/OvConsOS_complete_C.xml |
300.1 /
300.0 s
|
889.8 /
300.1 s
|
nsformed_CSR_innermost_04/OvConsOS_complete_GM.xml |
297.6 /
300.0 s
|
856.6 /
300.1 s
|
sformed_CSR_innermost_04/OvConsOS_complete_iGM.xml |
296.0 /
300.0 s
|
745.1 /
300.0 s
|
med_CSR_innermost_04/OvConsOS_complete_noand_C.xml |
300.6 /
300.0 s
|
862.5 /
300.0 s
|
ed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml |
7.0 /
7.0 s
|
42.2 /
12.9 s
|
d_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml |
300.5 /
300.0 s
|
810.6 /
300.0 s
|
ransformed_CSR_innermost_04/OvConsOS_nokinds_C.xml |
300.0 /
300.0 s
|
884.0 /
300.0 s
|
ansformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml |
298.3 /
300.0 s
|
843.4 /
300.0 s
|
nsformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml |
299.2 /
300.0 s
|
859.5 /
300.0 s
|
rmed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml |
297.9 /
300.0 s
|
898.4 /
300.0 s
|
med_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml |
1.1 /
1.1 s
|
27.3 /
8.0 s
|
ed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml |
297.5 /
300.0 s
|
180.8 /
66.5 s
|
ransformed_CSR_innermost_04/OvConsOS_nosorts_C.xml |
299.2 /
300.0 s
|
855.6 /
300.1 s
|
ansformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml |
296.8 /
300.0 s
|
12.5 /
5.4 s
|
nsformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml |
297.3 /
300.0 s
|
851.6 /
300.0 s
|
rmed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml |
299.0 /
300.0 s
|
913.3 /
300.1 s
|
med_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml |
298.2 /
300.0 s
|
24.5 /
7.5 s
|
ed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml |
299.4 /
300.0 s
|
832.9 /
300.1 s
|
sformed_CSR_innermost_04/PALINDROME_complete_C.xml |
300.1 /
300.0 s
|
16.3 /
5.3 s
|
formed_CSR_innermost_04/PALINDROME_complete_GM.xml |
18.7 /
19.1 s
|
6.2 /
2.3 s
|
ormed_CSR_innermost_04/PALINDROME_complete_iGM.xml |
34.7 /
35.7 s
|
8.0 /
2.8 s
|
d_CSR_innermost_04/PALINDROME_complete_noand_C.xml |
300.0 /
300.0 s
|
22.6 /
7.3 s
|
_CSR_innermost_04/PALINDROME_complete_noand_GM.xml |
6.6 /
6.7 s
|
10.7 /
3.6 s
|
CSR_innermost_04/PALINDROME_complete_noand_iGM.xml |
216.1 /
215.3 s
|
23.0 /
7.1 s
|
nsformed_CSR_innermost_04/PALINDROME_nokinds_C.xml |
0.2 /
0.2 s
|
7.1 /
2.4 s
|
sformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml |
0.7 /
0.7 s
|
1.6 /
0.8 s
|
formed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml |
1.0 /
1.1 s
|
4.8 /
1.7 s
|
ed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml |
1.0 /
1.0 s
|
13.4 /
4.0 s
|
d_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml |
1.1 /
1.1 s
|
3.8 /
1.4 s
|
_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml |
4.8 /
4.8 s
|
17.7 /
5.1 s
|
nsformed_CSR_innermost_04/PALINDROME_nosorts_C.xml |
0.1 /
0.1 s
|
3.6 /
1.4 s
|
sformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml |
0.2 /
0.2 s
|
1.2 /
0.7 s
|
formed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml |
0.2 /
0.2 s
|
3.1 /
1.3 s
|
ed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml |
0.1 /
0.1 s
|
5.3 /
1.8 s
|
d_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml |
0.2 /
0.2 s
|
1.2 /
0.7 s
|
_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml |
0.2 /
0.2 s
|
3.1 /
1.3 s
|
/Transformed_CSR_innermost_04/PEANO_complete_C.xml |
300.1 /
300.0 s
|
6.5 /
2.3 s
|
Transformed_CSR_innermost_04/PEANO_complete_GM.xml |
12.3 /
12.9 s
|
3.3 /
1.3 s
|
ransformed_CSR_innermost_04/PEANO_complete_iGM.xml |
14.0 /
14.6 s
|
5.0 /
1.8 s
|
formed_CSR_innermost_04/PEANO_complete_noand_C.xml |
297.7 /
300.0 s
|
907.4 /
300.1 s
|
ormed_CSR_innermost_04/PEANO_complete_noand_GM.xml |
1.6 /
1.6 s
|
12.6 /
4.1 s
|
rmed_CSR_innermost_04/PEANO_complete_noand_iGM.xml |
108.5 /
110.7 s
|
141.7 /
57.4 s
|
t/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml |
299.6 /
300.0 s
|
4.9 /
1.8 s
|
/Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml |
1.1 /
1.2 s
|
2.2 /
1.0 s
|
Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml |
1.4 /
1.5 s
|
3.3 /
1.3 s
|
sformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml |
299.2 /
300.0 s
|
17.3 /
5.1 s
|
formed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml |
0.2 /
0.3 s
|
6.8 /
2.5 s
|
ormed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml |
4.6 /
4.9 s
|
30.4 /
9.4 s
|
t/Transformed_CSR_innermost_04/PEANO_nosorts_C.xml |
0.1 /
0.1 s
|
3.7 /
1.4 s
|
/Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml |
0.1 /
0.1 s
|
1.1 /
0.6 s
|
Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml |
0.1 /
0.1 s
|
3.2 /
1.4 s
|
sformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml |
0.2 /
0.3 s
|
5.1 /
1.8 s
|
formed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml |
0.2 /
0.2 s
|
1.1 /
0.7 s
|
ormed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml |
0.2 /
0.3 s
|
4.4 /
1.6 s
|
TRS_Innermost/raML/appendAll.raml.xml |
0.0 /
0.1 s
|
1.1 /
0.6 s
|
TRS_Innermost/raML/queue.raml.xml |
19.0 /
19.0 s
|
15.2 /
4.4 s
|
TRS_Innermost/raML/rationalPotential.raml.xml |
0.0 /
0.0 s
|
1.2 /
0.7 s
|
TRS_Innermost/raML/subtrees.raml.xml |
0.0 /
0.0 s
|
1.8 /
0.9 s
|