Overview of job-results

flexible query (experimental) | view original jobs on star-exec:5384,

Statistics

732 pairs, 124684.1 / 75201.2 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR OTHER / Nothing
The results are displayed in the following pattern: cpu-time / wallclock-time (complexity-score)
Jobs TRS Inner 11990
Solver mu-term 5.13 AProVE_JRE2
Scores 211 273
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