Data shown here is incomplete. This page will refresh with updates pulled from star-exec.

Overview of job-results

flexible query (experimental) | consistency check | view original jobs on star-exec:18381, | concepts

Statistics

731 of 732 pairs, 16616.2 / 9396.3 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR BOUNDS OTHER NOTHING
The results are displayed in the following pattern: result | cpu-time/wallclock-time in seconds | complexity-score
Jobs TRS Inner 88796
Solver AProVE standard f065806 muterm 5.18
Scores 260 198
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