Overview of job-results

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

Statistics

732 pairs, 102735.3 / 77628.8 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 55295
Solver AProVE 2015 muterm 5.17
Scores 273 203
TRS_Innermost/AG01_innermost/#4.12a.xml YES 3.2 / 3.2 YES 0.2 / 2.5
TRS_Innermost/AG01_innermost/#4.13.xml YES 2.4 / 1.6 YES 0.0 / 0.0
TRS_Innermost/AG01_innermost/#4.14.xml YES 2.6 / 2.3 YES 0.0 / 0.0
TRS_Innermost/AG01_innermost/#4.15.xml YES 2.8 / 5.9 YES 0.0 / 0.0
TRS_Innermost/AG01_innermost/#4.16.xml YES 2.5 / 2.6 YES 0.0 / 0.0
TRS_Innermost/AG01_innermost/#4.17.xml YES 2.9 / 6.7 YES 6.5 / 6.5
TRS_Innermost/AG01_innermost/#4.18.xml YES 4.1 / 2.2 YES 0.0 / 0.3
TRS_Innermost/AG01_innermost/#4.19.xml YES 3.0 / 5.4 YES 0.0 / 0.0
TRS_Innermost/AG01_innermost/#4.2.xml YES 2.9 / 1.9 YES 0.0 / 0.1
TRS_Innermost/AG01_innermost/#4.20.xml YES 2.5 / 4.1 YES 0.0 / 0.2
TRS_Innermost/AG01_innermost/#4.20a.xml YES 2.3 / 1.5 YES 0.0 / 0.0
TRS_Innermost/AG01_innermost/#4.21.xml YES 2.7 / 5.6 YES 0.0 / 0.0
TRS_Innermost/AG01_innermost/#4.22.xml YES 2.8 / 5.3 YES 0.0 / 0.0
TRS_Innermost/AG01_innermost/#4.23.xml YES 3.0 / 1.9 YES 0.0 / 0.0
TRS_Innermost/AG01_innermost/#4.24.xml YES 3.1 / 1.9 YES 0.0 / 0.3
TRS_Innermost/AG01_innermost/#4.25.xml YES 2.7 / 3.7 YES 0.1 / 0.1
TRS_Innermost/AG01_innermost/#4.26.xml YES 3.7 / 2.1 YES 0.0 / 0.1
TRS_Innermost/AG01_innermost/#4.27.xml YES 2.8 / 1.8 YES 0.0 / 0.5
TRS_Innermost/AG01_innermost/#4.28.xml YES 2.5 / 1.6 YES 0.0 / 0.0
TRS_Innermost/AG01_innermost/#4.29.xml YES 4.6 / 2.5 YES 0.1 / 0.1
TRS_Innermost/AG01_innermost/#4.3.xml YES 2.6 / 1.7 YES 0.0 / 0.3
TRS_Innermost/AG01_innermost/#4.30.xml YES 8.0 / 8.7 YES 4.0 / 4.6
TRS_Innermost/AG01_innermost/#4.30a.xml YES 3.9 / 2.3 YES 0.1 / 0.1
TRS_Innermost/AG01_innermost/#4.30b.xml YES 6.6 / 3.5 YES 2.3 / 2.4
TRS_Innermost/AG01_innermost/#4.31.xml YES 24.1 / 8.7 YES 8.6 / 15.6
TRS_Innermost/AG01_innermost/#4.32.xml YES 2.5 / 1.6 YES 0.0 / 0.2
TRS_Innermost/AG01_innermost/#4.33.xml YES 3.3 / 2.0 . 1.3 / 1.3
TRS_Innermost/AG01_innermost/#4.34.xml YES 3.0 / 1.8 YES 0.0 / 0.1
TRS_Innermost/AG01_innermost/#4.35.xml YES 5.7 / 2.7 YES 0.2 / 0.2
TRS_Innermost/AG01_innermost/#4.36.xml YES 5.5 / 2.8 YES 0.1 / 0.1
TRS_Innermost/AG01_innermost/#4.37.xml YES 2.7 / 1.7 YES 0.0 / 0.0
TRS_Innermost/AG01_innermost/#4.37a.xml YES 3.0 / 1.9 YES 0.0 / 0.1
TRS_Innermost/AG01_innermost/#4.4.xml YES 2.6 / 1.7 YES 0.0 / 0.3
TRS_Innermost/AG01_innermost/#4.5.xml YES 5.8 / 2.8 YES 0.0 / 0.0
TRS_Innermost/AG01_innermost/#4.7.xml YES 2.8 / 7.1 YES 0.0 / 0.0
TRS_Innermost/Applicative_AG01_innermost/#4.10.xml YES 3.5 / 2.0 YES 0.0 / 0.0
TRS_Innermost/Applicative_AG01_innermost/#4.13.xml YES 3.5 / 2.1 YES 0.0 / 0.2
TRS_Innermost/Applicative_AG01_innermost/#4.15.xml YES 3.8 / 3.7 YES 0.0 / 0.0
TRS_Innermost/Applicative_AG01_innermost/#4.17.xml YES 4.5 / 3.8 YES 2.1 / 5.1
TRS_Innermost/Applicative_AG01_innermost/#4.19.xml YES 3.9 / 2.5 . 35.1 / 47.7
TRS_Innermost/Applicative_AG01_innermost/#4.2.xml YES 3.6 / 2.1 YES 0.0 / 0.0
TRS_Innermost/Applicative_AG01_innermost/#4.22.xml YES 3.7 / 2.1 . 6.1 / 6.3
TRS_Innermost/Applicative_AG01_innermost/#4.24.xml YES 4.0 / 2.1 YES 0.0 / 0.1
TRS_Innermost/Applicative_AG01_innermost/#4.26.xml YES 5.0 / 2.6 . 15.5 / 32.7
TRS_Innermost/Applicative_AG01_innermost/#4.28.xml YES 4.0 / 2.2 . 1.3 / 1.4
TRS_Innermost/Applicative_AG01_innermost/#4.3.xml YES 3.7 / 6.0 YES 0.0 / 0.0
TRS_Innermost/Applicative_AG01_innermost/#4.34.xml YES 4.5 / 8.3 YES 0.7 / 0.7
TRS_Innermost/Applicative_AG01_innermost/#4.36.xml YES 7.8 / 3.6 . 297.4 / 300.1
TRS_Innermost/Applicative_AG01_innermost/#4.5.xml YES 3.4 / 3.2 YES 0.0 / 0.2
TRS_Innermost/Applicative_AG01_innermost/#4.7.xml YES 3.4 / 2.0 YES 0.0 / 0.0
TRS_Innermost/Applicative_AG01_innermost/#4.8.xml YES 6.5 / 3.6 YES 1.0 / 3.0
TRS_Innermost/Mixed_innermost/bn111.xml YES 2.4 / 1.6 YES 0.0 / 0.1
TRS_Innermost/Mixed_innermost/cade04.xml . 317.2 / 300.0 . 181.0 / 181.4
TRS_Innermost/Mixed_innermost/cade05.xml YES 6.8 / 9.6 . 230.8 / 300.0
TRS_Innermost/Mixed_innermost/cade12.xml . 459.3 / 300.0 . 297.6 / 300.0
TRS_Innermost/Mixed_innermost/cade13.xml YES 6.2 / 4.1 . 67.5 / 69.3
TRS_Innermost/Mixed_innermost/gkg.xml YES 2.6 / 6.0 YES 0.0 / 0.2
TRS_Innermost/Mixed_innermost/innermost1.xml YES 2.5 / 1.6 YES 0.0 / 0.0
TRS_Innermost/Mixed_innermost/innermost2.xml YES 3.1 / 13.0 . 300.6 / 300.0
TRS_Innermost/Mixed_innermost/innermost3.xml YES 3.2 / 2.0 YES 0.5 / 0.6
TRS_Innermost/Mixed_innermost/innermost4.xml YES 3.0 / 6.9 YES 2.2 / 2.3
TRS_Innermost/Mixed_innermost/innermost5.xml YES 3.5 / 2.1 . 280.4 / 300.1
TRS_Innermost/Mixed_innermost/muladd.xml NO 3.7 / 2.2 . 0.2 / 0.2
TRS_Innermost/Mixed_innermost/n001.xml NO 8.9 / 10.9 . 0.8 / 1.8
TRS_Innermost/Mixed_innermost/narrow1.xml . 492.3 / 300.1 . 233.8 / 300.0
TRS_Innermost/Mixed_innermost/narrow2.xml . 588.9 / 300.0 . 299.6 / 300.0
TRS_Innermost/Mixed_innermost/run_again1.xml NO 9.7 / 4.2 . 298.5 / 300.0
TRS_Innermost/Mixed_innermost/run_again2.xml . 839.0 / 300.1 . 262.4 / 300.0
TRS_Innermost/Mixed_innermost/test10.xml YES 2.7 / 1.8 YES 0.0 / 0.2
TRS_Innermost/Mixed_innermost/test75.xml YES 3.4 / 2.0 YES 0.1 / 0.2
TRS_Innermost/Mixed_innermost/test76.xml YES 5.5 / 3.2 YES 0.1 / 1.6
TRS_Innermost/Mixed_innermost/test77.xml YES 3.2 / 2.1 YES 0.1 / 0.1
TRS_Innermost/Mixed_innermost/test830.xml YES 3.1 / 1.8 YES 0.0 / 0.0
TRS_Innermost/Mixed_innermost/test833.xml YES 2.4 / 1.7 YES 0.1 / 0.1
TRS_Innermost/Mixed_innermost/test9.xml YES 3.5 / 15.7 YES 0.1 / 0.1
TRS_Innermost/Mixed_innermost/thiemann26i.xml YES 8.1 / 4.0 . 289.5 / 300.1
TRS_Innermost/Mixed_innermost/thiemann28i.xml YES 8.6 / 4.0 . 159.9 / 160.3
TRS_Innermost/Mixed_innermost/toyama.xml YES 2.5 / 1.7 . 0.0 / 0.0
TRS_Innermost/Mixed_innermost/tricky1.xml YES 2.7 / 1.7 YES 0.0 / 0.0
TRS_Innermost/Mixed_innermost/wiehe13.xml YES 6.7 / 3.2 YES 0.2 / 0.2
TRS_Innermost/Mixed_innermost/wiehe14.xml YES 18.9 / 14.3 YES 0.4 / 2.6
ost/Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml YES 7.8 / 3.4 . 158.7 / 300.1
st/Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml YES 3.8 / 2.2 YES 0.0 / 0.1
t/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml YES 9.7 / 4.2 YES 0.6 / 0.6
most/Transformed_CSR_innermost_04/Ex14_Luc06_C.xml . 757.6 / 300.0 . 273.6 / 300.1
ost/Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml YES 3.1 / 2.0 . 129.3 / 300.0
st/Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml YES 8.0 / 3.7 . 274.8 / 300.1
most/Transformed_CSR_innermost_04/Ex15_Luc06_C.xml YES 3.2 / 2.3 YES 20.5 / 25.5
ost/Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml YES 2.4 / 1.6 YES 0.0 / 0.0
st/Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml YES 2.7 / 1.7 YES 0.0 / 0.0
most/Transformed_CSR_innermost_04/Ex15_Luc98_C.xml YES 12.3 / 16.2 YES 0.2 / 0.2
ost/Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml YES 3.6 / 2.3 YES 0.2 / 0.2
st/Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml YES 12.5 / 9.3 YES 0.7 / 1.4
most/Transformed_CSR_innermost_04/Ex16_Luc06_C.xml YES 82.0 / 51.8 . 198.9 / 300.0
ost/Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml YES 3.2 / 2.0 YES 0.0 / 0.0
st/Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml YES 3.1 / 2.0 . 31.3 / 37.1
most/Transformed_CSR_innermost_04/Ex18_Luc06_C.xml YES 3.5 / 2.3 YES 0.0 / 0.1
ost/Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml YES 2.7 / 2.7 YES 0.0 / 0.0
most/Transformed_CSR_innermost_04/Ex18_Luc06_L.xml YES 2.3 / 1.8 YES 0.0 / 0.0
st/Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml YES 2.8 / 1.7 YES 0.0 / 0.0
ost/Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml . 850.2 / 300.0 . 296.2 / 300.0
st/Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml YES 136.2 / 44.1 . 172.2 / 300.1
t/Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml YES 119.3 / 81.8 . 183.1 / 300.1
st/Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml YES 4.6 / 2.4 YES 0.1 / 0.5
t/Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml YES 8.8 / 9.3 YES 0.3 / 0.3
/Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml YES 17.1 / 6.9 YES 0.7 / 0.8
rmost/Transformed_CSR_innermost_04/Ex1_GL02a_C.xml YES 12.0 / 13.3 YES 7.1 / 8.6
most/Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml YES 3.6 / 3.3 YES 0.0 / 0.1
ost/Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml YES 4.4 / 2.4 . 299.8 / 300.0
ermost/Transformed_CSR_innermost_04/Ex1_GM03_C.xml . 486.2 / 300.0 . 221.9 / 300.0
rmost/Transformed_CSR_innermost_04/Ex1_GM03_GM.xml . 951.9 / 300.1 . 297.3 / 300.0
most/Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml . 695.3 / 300.0 . 193.1 / 300.0
ermost/Transformed_CSR_innermost_04/Ex1_GM99_C.xml YES 99.1 / 52.7 . 272.0 / 300.0
rmost/Transformed_CSR_innermost_04/Ex1_GM99_GM.xml YES 3.4 / 3.9 YES 0.0 / 0.0
most/Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml YES 15.8 / 23.2 . 155.3 / 300.0
most/Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml . 774.7 / 300.0 . 243.9 / 300.0
ost/Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml . 723.1 / 300.1 . 277.8 / 300.0
st/Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml . 626.9 / 300.0 . 268.7 / 300.0
most/Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml YES 11.8 / 14.9 YES 2.6 / 6.2
ost/Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml YES 6.6 / 3.1 YES 0.6 / 0.7
st/Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml YES 12.9 / 17.4 YES 3.5 / 3.9
rmost/Transformed_CSR_innermost_04/Ex1_Zan97_C.xml YES 30.1 / 29.0 YES 14.4 / 14.4
most/Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml YES 2.5 / 1.6 YES 0.0 / 0.0
ost/Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml YES 2.6 / 3.1 YES 0.0 / 0.0
most/Transformed_CSR_innermost_04/Ex23_Luc06_C.xml YES 3.6 / 2.8 YES 0.1 / 0.1
ost/Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml YES 2.4 / 1.6 YES 0.0 / 0.0
most/Transformed_CSR_innermost_04/Ex23_Luc06_L.xml YES 2.2 / 1.5 YES 0.0 / 0.0
st/Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml YES 3.3 / 5.4 YES 0.0 / 0.0
rmost/Transformed_CSR_innermost_04/Ex24_GM04_C.xml YES 155.1 / 90.8 . 203.2 / 300.0
most/Transformed_CSR_innermost_04/Ex24_GM04_GM.xml YES 2.7 / 1.7 YES 0.0 / 0.2
ost/Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml YES 3.3 / 5.9 . 204.3 / 300.0
most/Transformed_CSR_innermost_04/Ex24_Luc06_C.xml YES 4.4 / 2.5 . 155.0 / 300.0
ost/Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml YES 3.2 / 2.0 YES 0.0 / 0.0
st/Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml YES 7.2 / 2.2 . 180.7 / 300.1
most/Transformed_CSR_innermost_04/Ex25_Luc06_C.xml YES 5.1 / 8.7 YES 0.1 / 0.3
ost/Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml YES 2.5 / 1.7 YES 0.0 / 0.0
most/Transformed_CSR_innermost_04/Ex25_Luc06_L.xml YES 2.8 / 4.3 YES 0.0 / 0.0
st/Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml YES 43.6 / 15.8 YES 0.1 / 0.1
ost/Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml YES 13.3 / 8.8 YES 0.2 / 0.5
st/Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml YES 10.4 / 7.8 YES 0.2 / 0.2
ost/Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml YES 2.6 / 2.5 YES 0.0 / 0.0
t/Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml YES 20.0 / 11.2 YES 0.7 / 0.7
most/Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml YES 13.1 / 12.4 . 264.0 / 300.0
ost/Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml YES 9.1 / 3.9 YES 177.7 / 225.2
most/Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml YES 2.7 / 1.7 YES 0.0 / 0.0
st/Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml YES 15.7 / 6.1 . 271.6 / 300.0
most/Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml YES 9.7 / 4.1 YES 0.1 / 0.2
ost/Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml YES 7.4 / 3.4 YES 0.1 / 0.1
most/Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml YES 4.7 / 1.6 YES 0.0 / 0.0
st/Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml YES 10.6 / 4.5 YES 0.4 / 0.4
t/Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml . 810.2 / 300.0 . 253.5 / 300.0
/Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml . 767.8 / 300.1 . 273.6 / 300.1
Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml . 789.1 / 300.1 . 298.7 / 300.0
ost/Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml . 832.8 / 300.0 . 299.8 / 300.0
st/Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml . 591.0 / 300.0 . 292.8 / 300.0
t/Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml . 417.6 / 300.1 . 245.5 / 300.0
/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml YES 16.2 / 16.9 YES 0.2 / 0.2
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml YES 7.0 / 12.1 YES 0.3 / 0.3
/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml YES 2.5 / 1.6 YES 0.0 / 0.0
ransformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml YES 13.8 / 7.7 YES 0.4 / 0.6
rmost/Transformed_CSR_innermost_04/Ex49_GM04_C.xml YES 14.6 / 5.4 YES 2.4 / 2.7
most/Transformed_CSR_innermost_04/Ex49_GM04_GM.xml YES 5.4 / 2.8 YES 0.1 / 0.4
ost/Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml YES 16.7 / 6.0 YES 0.4 / 0.4
st/Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml YES 3.4 / 3.4 YES 0.1 / 0.5
t/Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml YES 3.8 / 2.2 YES 0.0 / 0.0
st/Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml YES 2.3 / 1.5 YES 0.0 / 0.0
/Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml YES 3.5 / 2.1 YES 0.0 / 0.0
/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml YES 36.9 / 35.7 YES 21.2 / 21.2
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml YES 3.5 / 2.1 YES 0.0 / 0.0
/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml YES 2.3 / 1.5 YES 0.0 / 0.4
ransformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml YES 11.1 / 4.8 YES 0.4 / 0.8
/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml . 729.5 / 300.0 . 299.8 / 300.0
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml . 641.1 / 300.0 . 167.9 / 300.0
ransformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml . 531.5 / 300.0 . 246.9 / 300.0
/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml . 856.6 / 300.1 . 272.7 / 300.0
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml YES 17.3 / 7.3 . 214.4 / 300.0
ransformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml YES 22.9 / 9.1 . 147.3 / 300.1
/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml YES 4.4 / 4.0 YES 0.1 / 0.1
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml YES 2.5 / 1.6 YES 0.0 / 0.1
ransformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml YES 3.4 / 2.0 . 300.4 / 300.0
ost/Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml . 822.6 / 300.1 . 294.9 / 300.0
st/Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml YES 58.9 / 17.3 . 147.4 / 300.1
t/Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml YES 80.6 / 41.7 . 222.5 / 300.0
rmost/Transformed_CSR_innermost_04/Ex4_Zan97_C.xml . 373.2 / 300.1 . 287.1 / 300.0
most/Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml . 943.3 / 300.1 . 224.4 / 300.1
ost/Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml . 640.1 / 300.0 . 272.6 / 300.1
ost/Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml . 652.8 / 300.0 . 299.9 / 300.0
st/Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml . 768.7 / 300.1 . 225.5 / 300.0
t/Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml . 614.9 / 300.1 . 297.2 / 300.0
ost/Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml YES 28.0 / 10.4 YES 2.7 / 2.8
st/Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml YES 12.2 / 6.7 YES 3.2 / 8.0
t/Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml YES 31.4 / 15.2 YES 17.4 / 59.0
rmost/Transformed_CSR_innermost_04/Ex5_Zan97_C.xml YES 8.4 / 9.1 YES 3.4 / 3.4
most/Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml YES 3.6 / 2.0 YES 1.2 / 1.3
ost/Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml YES 6.4 / 9.3 YES 3.5 / 3.7
st/Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml . 651.9 / 300.1 . 298.7 / 300.0
t/Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml . 622.3 / 300.1 . 269.0 / 300.0
/Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml . 521.3 / 300.1 . 210.3 / 300.0
st/Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml YES 3.8 / 6.6 YES 0.1 / 0.1
t/Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml YES 10.1 / 5.8 YES 35.2 / 46.1
/Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml YES 26.0 / 30.7 YES 72.9 / 73.3
ermost/Transformed_CSR_innermost_04/Ex6_GM04_C.xml YES 3.0 / 1.8 YES 0.0 / 0.1
rmost/Transformed_CSR_innermost_04/Ex6_GM04_GM.xml YES 2.3 / 1.6 YES 0.0 / 0.0
most/Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml YES 2.7 / 2.5 YES 0.0 / 0.0
rmost/Transformed_CSR_innermost_04/Ex6_Luc98_C.xml YES 8.6 / 13.5 YES 0.1 / 0.2
most/Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml YES 7.4 / 16.9 YES 0.1 / 0.2
rmost/Transformed_CSR_innermost_04/Ex6_Luc98_L.xml YES 2.4 / 3.5 YES 0.0 / 0.2
ost/Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml YES 8.8 / 3.5 YES 0.1 / 0.1
rmost/Transformed_CSR_innermost_04/Ex7_BLR02_C.xml . 654.3 / 300.1 . 248.4 / 300.0
most/Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml . 484.4 / 300.0 . 295.1 / 300.1
ost/Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml . 353.8 / 300.1 . 215.6 / 300.1
rmost/Transformed_CSR_innermost_04/Ex8_BLR02_C.xml . 665.5 / 300.1 . 238.0 / 300.0
most/Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml . 528.2 / 300.1 . 285.7 / 300.0
ost/Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml . 544.5 / 300.1 . 300.6 / 300.0
rmost/Transformed_CSR_innermost_04/Ex9_BLR02_C.xml YES 14.4 / 5.6 YES 0.3 / 0.3
most/Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml YES 6.3 / 3.1 YES 0.2 / 1.4
rmost/Transformed_CSR_innermost_04/Ex9_BLR02_L.xml YES 2.5 / 1.7 YES 0.0 / 0.0
ost/Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml YES 16.5 / 9.0 YES 0.4 / 0.5
rmost/Transformed_CSR_innermost_04/Ex9_Luc04_C.xml . 769.3 / 300.1 . 285.2 / 300.0
most/Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml YES 4.8 / 2.5 . 293.6 / 300.0
ost/Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml . 456.0 / 300.1 . 262.7 / 300.0
rmost/Transformed_CSR_innermost_04/Ex9_Luc06_C.xml YES 39.1 / 29.9 . 295.8 / 300.0
most/Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml YES 3.8 / 12.5 YES 0.0 / 0.0
ost/Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml YES 3.6 / 2.2 YES 10.0 / 10.1
ansformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml . 844.7 / 300.0 . 260.6 / 300.0
nsformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml YES 139.5 / 57.0 . 270.0 / 300.0
sformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml YES 137.8 / 52.8 . 299.2 / 300.0
st/Transformed_CSR_innermost_04/ExConc_Zan97_C.xml YES 3.3 / 4.0 YES 0.1 / 0.1
t/Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml YES 2.5 / 2.5 YES 0.0 / 0.0
st/Transformed_CSR_innermost_04/ExConc_Zan97_L.xml YES 2.4 / 1.5 YES 0.0 / 0.0
/Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml YES 3.3 / 1.9 YES 0.0 / 0.2
t/Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml YES 13.6 / 5.5 YES 1.8 / 1.9
/Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml YES 7.2 / 3.4 YES 0.8 / 0.9
Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml YES 16.8 / 6.7 YES 2.9 / 3.1
t/Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml YES 11.6 / 8.7 . 298.8 / 300.0
/Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml YES 4.9 / 2.4 YES 0.1 / 0.1
Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml YES 10.8 / 7.7 YES 1.5 / 2.3
t/Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml . 824.9 / 300.1 . 296.0 / 300.0
/Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml YES 71.0 / 23.7 . 184.5 / 300.0
Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml . 698.6 / 300.0 . 228.3 / 300.0
/Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml . 366.1 / 300.1 . 268.5 / 300.0
Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml . 652.6 / 300.0 . 304.3 / 300.0
ransformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml . 624.6 / 300.1 . 299.8 / 300.0
t/Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml YES 46.3 / 29.3 YES 31.9 / 31.9
/Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml YES 3.7 / 1.9 YES 0.1 / 0.1
t/Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml YES 3.1 / 5.6 YES 0.0 / 1.0
Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml YES 12.0 / 18.4 YES 0.5 / 0.6
ransformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml YES 13.3 / 5.4 . 233.1 / 300.0
ansformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml YES 9.5 / 4.0 . 250.9 / 300.1
ransformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml YES 3.1 / 5.5 YES 0.0 / 0.0
nsformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml YES 19.5 / 12.1 . 277.4 / 300.0
ransformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml . 740.2 / 300.1 . 272.9 / 300.0
ansformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml . 633.5 / 300.0 . 263.0 / 300.0
nsformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml . 437.1 / 300.0 . 299.5 / 300.1
rmed_CSR_innermost_04/LISTUTILITIES_complete_C.xml . 851.5 / 300.1 . 300.1 / 300.0
med_CSR_innermost_04/LISTUTILITIES_complete_GM.xml . 578.0 / 300.1 . 279.0 / 300.0
ed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml . 564.1 / 300.0 . 270.9 / 300.1
SR_innermost_04/LISTUTILITIES_complete_noand_C.xml . 287.6 / 300.1 . 300.4 / 300.0
R_innermost_04/LISTUTILITIES_complete_noand_GM.xml . 662.2 / 300.1 . 300.8 / 300.0
_innermost_04/LISTUTILITIES_complete_noand_iGM.xml . 582.5 / 300.1 . 248.3 / 300.1
ormed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml . 494.4 / 300.0 . 262.2 / 300.0
rmed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml . 488.8 / 300.0 . 144.1 / 300.0
med_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml . 449.9 / 300.0 . 151.0 / 300.0
CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml . 565.2 / 300.0 . 283.4 / 300.0
SR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml . 427.5 / 300.1 . 172.4 / 300.1
R_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml . 704.4 / 300.0 . 260.0 / 300.0
ormed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml . 625.4 / 300.1 . 118.8 / 300.1
rmed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml . 644.9 / 300.0 . 239.2 / 300.1
med_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml . 630.6 / 300.0 . 194.3 / 300.1
CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml . 697.9 / 300.1 . 300.1 / 300.0
SR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml . 357.0 / 300.0 . 294.2 / 300.1
R_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml . 422.4 / 300.0 . 298.3 / 300.0
SR_innermost_04/LengthOfFiniteLists_complete_C.xml . 639.4 / 300.1 . 249.7 / 300.0
R_innermost_04/LengthOfFiniteLists_complete_GM.xml YES 27.6 / 13.1 YES 13.9 / 14.3
_innermost_04/LengthOfFiniteLists_complete_iGM.xml . 578.4 / 300.0 . 246.0 / 300.0
ermost_04/LengthOfFiniteLists_complete_noand_C.xml . 446.1 / 300.1 . 257.8 / 300.0
rmost_04/LengthOfFiniteLists_complete_noand_GM.xml YES 33.2 / 12.0 YES 1.3 / 1.3
most_04/LengthOfFiniteLists_complete_noand_iGM.xml YES 399.8 / 181.9 . 277.1 / 300.0
CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml . 505.8 / 300.1 . 298.5 / 300.0
SR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml YES 5.4 / 2.8 YES 0.3 / 0.3
R_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml YES 105.1 / 106.3 . 196.3 / 300.0
nermost_04/LengthOfFiniteLists_nokinds_noand_C.xml . 835.5 / 300.1 . 297.9 / 300.0
ermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml YES 12.0 / 5.0 YES 0.2 / 0.2
rmost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml YES 69.9 / 22.8 YES 231.5 / 249.8
CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml . 435.6 / 300.1 . 294.5 / 300.0
SR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml NO 4.9 / 2.5 . 212.2 / 300.0
R_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml . 322.4 / 300.1 . 215.2 / 300.1
nermost_04/LengthOfFiniteLists_nosorts_noand_C.xml . 388.1 / 300.1 . 299.1 / 300.0
ermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml NO 12.6 / 12.9 . 276.5 / 300.0
rmost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml . 462.5 / 300.1 . 290.2 / 300.0
/Transformed_CSR_innermost_04/MYNAT_complete_C.xml YES 18.1 / 17.8 . 300.1 / 300.0
Transformed_CSR_innermost_04/MYNAT_complete_GM.xml YES 5.7 / 2.8 . 293.3 / 300.0
ransformed_CSR_innermost_04/MYNAT_complete_iGM.xml YES 11.1 / 11.6 . 298.7 / 300.0
formed_CSR_innermost_04/MYNAT_complete_noand_C.xml . 819.8 / 300.1 . 299.9 / 300.0
ormed_CSR_innermost_04/MYNAT_complete_noand_GM.xml YES 35.4 / 23.2 . 299.6 / 300.0
rmed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml YES 663.0 / 279.0 . 164.8 / 300.0
t/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml YES 6.4 / 2.9 . 220.2 / 300.0
/Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml YES 4.5 / 3.9 . 242.6 / 300.0
Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml YES 7.1 / 5.5 . 272.7 / 300.1
sformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml . 762.1 / 300.1 . 293.9 / 300.0
formed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml YES 18.7 / 19.7 YES 108.7 / 110.3
ormed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml YES 70.6 / 25.1 . 298.5 / 300.0
t/Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml YES 5.1 / 2.8 YES 3.4 / 3.7
/Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml YES 3.3 / 2.4 YES 25.1 / 26.1
Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml YES 5.1 / 5.3 YES 12.5 / 13.0
sformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml YES 8.0 / 3.3 YES 8.1 / 8.6
formed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml YES 3.7 / 2.1 YES 62.1 / 66.1
ormed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml YES 10.9 / 14.4 YES 82.5 / 102.7
ansformed_CSR_innermost_04/OvConsOS_complete_C.xml . 449.0 / 300.0 . 298.4 / 300.0
nsformed_CSR_innermost_04/OvConsOS_complete_GM.xml . 283.8 / 300.1 . 297.6 / 300.0
sformed_CSR_innermost_04/OvConsOS_complete_iGM.xml . 504.6 / 300.1 . 296.4 / 300.0
med_CSR_innermost_04/OvConsOS_complete_noand_C.xml . 639.3 / 300.0 . 276.0 / 300.0
ed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml YES 50.9 / 25.6 YES 7.3 / 7.3
d_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml . 657.1 / 300.0 . 299.5 / 300.0
ransformed_CSR_innermost_04/OvConsOS_nokinds_C.xml . 859.1 / 300.1 . 220.6 / 300.1
ansformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml . 722.8 / 300.1 . 277.6 / 300.0
nsformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml . 663.2 / 300.0 . 202.5 / 300.0
rmed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml . 754.3 / 300.0 . 297.9 / 300.0
med_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml YES 25.0 / 9.3 YES 1.1 / 1.2
ed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml YES 209.6 / 154.1 . 107.9 / 300.0
ransformed_CSR_innermost_04/OvConsOS_nosorts_C.xml . 640.9 / 300.0 . 291.9 / 300.0
ansformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml NO 14.6 / 36.9 . 153.6 / 300.1
nsformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml . 626.9 / 300.1 . 166.5 / 300.1
rmed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml . 786.5 / 300.1 . 287.8 / 300.0
med_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml NO 25.1 / 9.8 . 298.2 / 300.0
ed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml . 795.5 / 300.1 . 299.4 / 300.0
sformed_CSR_innermost_04/PALINDROME_complete_C.xml YES 21.4 / 8.3 . 259.6 / 300.0
formed_CSR_innermost_04/PALINDROME_complete_GM.xml YES 7.7 / 3.4 YES 23.0 / 47.9
ormed_CSR_innermost_04/PALINDROME_complete_iGM.xml YES 10.4 / 4.5 . 37.9 / 38.8
d_CSR_innermost_04/PALINDROME_complete_noand_C.xml YES 27.6 / 13.3 . 294.5 / 300.0
_CSR_innermost_04/PALINDROME_complete_noand_GM.xml YES 14.2 / 5.9 YES 6.8 / 6.8
CSR_innermost_04/PALINDROME_complete_noand_iGM.xml YES 23.1 / 11.6 . 234.9 / 253.4
nsformed_CSR_innermost_04/PALINDROME_nokinds_C.xml YES 12.9 / 14.6 YES 0.2 / 0.2
sformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml YES 2.8 / 1.7 YES 0.7 / 1.0
formed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml YES 6.2 / 7.1 YES 1.1 / 2.3
ed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml YES 19.0 / 7.4 YES 1.1 / 1.7
d_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml YES 3.9 / 2.1 YES 1.1 / 1.6
_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml YES 20.3 / 6.5 YES 5.4 / 12.6
nsformed_CSR_innermost_04/PALINDROME_nosorts_C.xml YES 5.0 / 2.6 YES 0.1 / 0.1
sformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml YES 2.5 / 1.6 YES 0.2 / 1.2
formed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml YES 4.7 / 2.5 YES 0.2 / 0.2
ed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml YES 6.3 / 3.2 YES 0.1 / 0.1
d_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml YES 2.6 / 2.4 YES 0.2 / 0.2
_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml YES 4.6 / 6.1 YES 0.2 / 0.2
/Transformed_CSR_innermost_04/PEANO_complete_C.xml YES 8.6 / 8.8 . 262.5 / 300.0
Transformed_CSR_innermost_04/PEANO_complete_GM.xml YES 5.4 / 7.1 YES 13.5 / 16.0
ransformed_CSR_innermost_04/PEANO_complete_iGM.xml YES 6.8 / 3.6 YES 15.6 / 49.6
formed_CSR_innermost_04/PEANO_complete_noand_C.xml . 834.2 / 300.0 . 274.3 / 300.1
ormed_CSR_innermost_04/PEANO_complete_noand_GM.xml YES 15.6 / 5.6 YES 1.7 / 1.7
rmed_CSR_innermost_04/PEANO_complete_noand_iGM.xml YES 173.1 / 78.0 . 122.5 / 144.5
t/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml YES 8.2 / 13.5 . 299.6 / 300.0
/Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml YES 3.6 / 2.0 YES 1.1 / 1.2
Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml YES 4.9 / 2.6 YES 1.4 / 1.5
sformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml YES 19.5 / 7.3 . 288.5 / 300.1
formed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml YES 8.9 / 6.8 YES 0.2 / 0.3
ormed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml YES 34.6 / 22.8 YES 4.6 / 5.0
t/Transformed_CSR_innermost_04/PEANO_nosorts_C.xml YES 6.9 / 11.3 YES 0.1 / 0.1
/Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml YES 2.4 / 1.6 YES 0.1 / 1.1
Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml YES 5.3 / 9.4 YES 0.1 / 0.1
sformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml YES 7.3 / 3.3 YES 0.2 / 0.3
formed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml YES 2.5 / 1.6 YES 0.2 / 0.2
ormed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml YES 6.0 / 3.0 YES 0.3 / 0.3
TRS_Innermost/raML/appendAll.raml.xml YES 3.0 / 6.5 YES 0.0 / 0.0
TRS_Innermost/raML/queue.raml.xml YES 16.5 / 6.0 YES 23.5 / 37.2
TRS_Innermost/raML/rationalPotential.raml.xml YES 3.1 / 10.7 YES 0.0 / 0.0
TRS_Innermost/raML/subtrees.raml.xml YES 3.7 / 5.4 YES 0.0 / 0.0