Overview of job-results

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

Statistics

366 pairs, 65369.4 / 30916.9 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 certi 21669
Solver AProVE certified
Scores 269
TRS_Innermost/AG01_innermost/#4.12a.xml YES 2.9 / 2.0
TRS_Innermost/AG01_innermost/#4.13.xml YES 2.3 / 1.9
TRS_Innermost/AG01_innermost/#4.14.xml YES 2.5 / 2.7
TRS_Innermost/AG01_innermost/#4.15.xml YES 2.4 / 1.7
TRS_Innermost/AG01_innermost/#4.16.xml YES 2.3 / 1.6
TRS_Innermost/AG01_innermost/#4.17.xml YES 2.5 / 1.7
TRS_Innermost/AG01_innermost/#4.18.xml YES 3.1 / 1.8
TRS_Innermost/AG01_innermost/#4.19.xml YES 2.8 / 2.5
TRS_Innermost/AG01_innermost/#4.2.xml YES 2.5 / 2.5
TRS_Innermost/AG01_innermost/#4.20.xml YES 2.8 / 1.6
TRS_Innermost/AG01_innermost/#4.20a.xml YES 3.0 / 1.7
TRS_Innermost/AG01_innermost/#4.21.xml YES 3.5 / 2.3
TRS_Innermost/AG01_innermost/#4.22.xml YES 2.4 / 1.6
TRS_Innermost/AG01_innermost/#4.23.xml YES 2.9 / 1.9
TRS_Innermost/AG01_innermost/#4.24.xml YES 3.3 / 2.6
TRS_Innermost/AG01_innermost/#4.25.xml YES 2.3 / 1.6
TRS_Innermost/AG01_innermost/#4.26.xml YES 3.5 / 2.1
TRS_Innermost/AG01_innermost/#4.27.xml YES 2.6 / 1.8
TRS_Innermost/AG01_innermost/#4.28.xml YES 4.8 / 2.2
TRS_Innermost/AG01_innermost/#4.29.xml YES 4.6 / 2.9
TRS_Innermost/AG01_innermost/#4.3.xml YES 2.3 / 1.6
TRS_Innermost/AG01_innermost/#4.30.xml YES 6.8 / 4.2
TRS_Innermost/AG01_innermost/#4.30a.xml YES 3.4 / 2.0
TRS_Innermost/AG01_innermost/#4.30b.xml YES 9.1 / 5.6
TRS_Innermost/AG01_innermost/#4.31.xml YES 27.7 / 10.9
TRS_Innermost/AG01_innermost/#4.32.xml YES 2.5 / 1.7
TRS_Innermost/AG01_innermost/#4.33.xml YES 3.1 / 2.0
TRS_Innermost/AG01_innermost/#4.34.xml YES 3.0 / 2.4
TRS_Innermost/AG01_innermost/#4.35.xml YES 5.5 / 2.7
TRS_Innermost/AG01_innermost/#4.36.xml YES 4.7 / 2.5
TRS_Innermost/AG01_innermost/#4.37.xml YES 2.9 / 2.1
TRS_Innermost/AG01_innermost/#4.37a.xml YES 2.9 / 1.9
TRS_Innermost/AG01_innermost/#4.4.xml YES 2.3 / 1.6
TRS_Innermost/AG01_innermost/#4.5.xml YES 3.7 / 2.0
TRS_Innermost/AG01_innermost/#4.7.xml YES 2.3 / 1.6
TRS_Innermost/Applicative_AG01_innermost/#4.10.xml YES 3.5 / 2.6
TRS_Innermost/Applicative_AG01_innermost/#4.13.xml YES 3.5 / 2.4
TRS_Innermost/Applicative_AG01_innermost/#4.15.xml YES 3.6 / 2.2
TRS_Innermost/Applicative_AG01_innermost/#4.17.xml YES 3.7 / 2.1
TRS_Innermost/Applicative_AG01_innermost/#4.19.xml YES 3.9 / 2.2
TRS_Innermost/Applicative_AG01_innermost/#4.2.xml YES 3.6 / 2.5
TRS_Innermost/Applicative_AG01_innermost/#4.22.xml YES 3.4 / 2.0
TRS_Innermost/Applicative_AG01_innermost/#4.24.xml YES 3.8 / 3.7
TRS_Innermost/Applicative_AG01_innermost/#4.26.xml YES 4.5 / 2.6
TRS_Innermost/Applicative_AG01_innermost/#4.28.xml YES 4.1 / 2.2
TRS_Innermost/Applicative_AG01_innermost/#4.3.xml YES 3.3 / 2.5
TRS_Innermost/Applicative_AG01_innermost/#4.34.xml YES 4.3 / 2.5
TRS_Innermost/Applicative_AG01_innermost/#4.36.xml YES 8.4 / 5.6
TRS_Innermost/Applicative_AG01_innermost/#4.5.xml YES 3.6 / 3.5
TRS_Innermost/Applicative_AG01_innermost/#4.7.xml YES 3.3 / 2.1
TRS_Innermost/Applicative_AG01_innermost/#4.8.xml YES 3.5 / 2.1
TRS_Innermost/Mixed_innermost/bn111.xml YES 2.4 / 2.1
TRS_Innermost/Mixed_innermost/cade04.xml . 318.0 / 300.0
TRS_Innermost/Mixed_innermost/cade05.xml YES 5.6 / 3.4
TRS_Innermost/Mixed_innermost/cade12.xml . 394.9 / 300.1
TRS_Innermost/Mixed_innermost/cade13.xml YES 5.2 / 3.0
TRS_Innermost/Mixed_innermost/gkg.xml YES 2.2 / 1.5
TRS_Innermost/Mixed_innermost/innermost1.xml YES 2.4 / 1.7
TRS_Innermost/Mixed_innermost/innermost2.xml YES 2.7 / 1.9
TRS_Innermost/Mixed_innermost/innermost3.xml YES 3.1 / 3.4
TRS_Innermost/Mixed_innermost/innermost4.xml YES 2.9 / 2.0
TRS_Innermost/Mixed_innermost/innermost5.xml . 13.5 / 5.6
TRS_Innermost/Mixed_innermost/muladd.xml NO 3.7 / 3.7
TRS_Innermost/Mixed_innermost/n001.xml NO 3.7 / 2.0
TRS_Innermost/Mixed_innermost/narrow1.xml . 493.4 / 300.1
TRS_Innermost/Mixed_innermost/narrow2.xml . 677.8 / 300.0
TRS_Innermost/Mixed_innermost/run_again1.xml NO 8.6 / 4.2
TRS_Innermost/Mixed_innermost/run_again2.xml . 754.0 / 300.1
TRS_Innermost/Mixed_innermost/test10.xml YES 2.9 / 2.1
TRS_Innermost/Mixed_innermost/test75.xml YES 2.8 / 1.8
TRS_Innermost/Mixed_innermost/test76.xml YES 3.0 / 3.1
TRS_Innermost/Mixed_innermost/test77.xml YES 2.8 / 1.8
TRS_Innermost/Mixed_innermost/test830.xml YES 2.9 / 2.1
TRS_Innermost/Mixed_innermost/test833.xml YES 2.3 / 1.6
TRS_Innermost/Mixed_innermost/test9.xml YES 2.8 / 1.8
TRS_Innermost/Mixed_innermost/thiemann26i.xml YES 8.6 / 5.3
TRS_Innermost/Mixed_innermost/thiemann28i.xml YES 7.2 / 5.8
TRS_Innermost/Mixed_innermost/toyama.xml YES 2.4 / 1.8
TRS_Innermost/Mixed_innermost/tricky1.xml YES 2.7 / 2.1
TRS_Innermost/Mixed_innermost/wiehe13.xml YES 6.9 / 3.2
TRS_Innermost/Mixed_innermost/wiehe14.xml YES 7.7 / 4.8
ost/Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml YES 85.6 / 50.8
st/Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml YES 3.8 / 2.6
t/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml YES 8.7 / 3.6
most/Transformed_CSR_innermost_04/Ex14_Luc06_C.xml . 723.9 / 300.1
ost/Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml YES 2.9 / 1.9
st/Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml YES 8.7 / 7.5
most/Transformed_CSR_innermost_04/Ex15_Luc06_C.xml YES 20.0 / 6.2
ost/Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml YES 4.1 / 2.0
st/Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml YES 17.6 / 7.3
most/Transformed_CSR_innermost_04/Ex15_Luc98_C.xml YES 10.0 / 4.4
ost/Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml YES 3.5 / 3.3
st/Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml YES 9.6 / 5.6
most/Transformed_CSR_innermost_04/Ex16_Luc06_C.xml YES 85.5 / 34.8
ost/Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml YES 3.2 / 3.4
st/Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml YES 4.3 / 2.3
most/Transformed_CSR_innermost_04/Ex18_Luc06_C.xml YES 26.4 / 10.0
ost/Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml YES 3.8 / 1.9
most/Transformed_CSR_innermost_04/Ex18_Luc06_L.xml YES 2.1 / 1.5
st/Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml YES 17.9 / 7.2
ost/Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml . 773.7 / 300.0
st/Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml YES 122.7 / 46.4
t/Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml YES 115.9 / 55.8
st/Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml YES 4.3 / 2.2
t/Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml YES 7.7 / 3.1
/Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml YES 14.0 / 5.0
rmost/Transformed_CSR_innermost_04/Ex1_GL02a_C.xml YES 14.9 / 6.8
most/Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml YES 2.9 / 1.9
ost/Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml YES 4.3 / 2.6
ermost/Transformed_CSR_innermost_04/Ex1_GM03_C.xml . 736.7 / 300.1
rmost/Transformed_CSR_innermost_04/Ex1_GM03_GM.xml . 924.8 / 300.1
most/Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml . 556.9 / 300.0
ermost/Transformed_CSR_innermost_04/Ex1_GM99_C.xml YES 95.1 / 45.1
rmost/Transformed_CSR_innermost_04/Ex1_GM99_GM.xml YES 3.5 / 3.5
most/Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml YES 26.4 / 15.3
most/Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml . 776.9 / 300.1
ost/Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml . 577.6 / 300.0
st/Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml . 556.0 / 300.1
most/Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml YES 8.7 / 3.5
ost/Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml YES 6.8 / 4.5
st/Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml YES 11.1 / 4.9
rmost/Transformed_CSR_innermost_04/Ex1_Zan97_C.xml YES 22.5 / 8.5
most/Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml YES 3.2 / 1.9
ost/Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml YES 4.9 / 2.5
most/Transformed_CSR_innermost_04/Ex23_Luc06_C.xml YES 25.0 / 7.8
ost/Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml YES 6.0 / 2.6
most/Transformed_CSR_innermost_04/Ex23_Luc06_L.xml YES 2.3 / 2.0
st/Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml YES 18.4 / 11.5
rmost/Transformed_CSR_innermost_04/Ex24_GM04_C.xml . 751.0 / 300.0
most/Transformed_CSR_innermost_04/Ex24_GM04_GM.xml YES 2.4 / 1.7
ost/Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml YES 3.3 / 2.5
most/Transformed_CSR_innermost_04/Ex24_Luc06_C.xml YES 58.4 / 36.2
ost/Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml YES 2.9 / 1.7
st/Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml YES 4.0 / 2.4
most/Transformed_CSR_innermost_04/Ex25_Luc06_C.xml YES 21.3 / 10.4
ost/Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml YES 7.2 / 3.2
most/Transformed_CSR_innermost_04/Ex25_Luc06_L.xml YES 2.3 / 1.5
st/Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml YES 32.3 / 13.8
ost/Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml YES 11.5 / 4.8
st/Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml YES 5.9 / 3.3
ost/Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml YES 2.4 / 1.7
t/Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml YES 23.6 / 12.9
most/Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml YES 12.9 / 4.8
ost/Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml YES 7.9 / 3.4
most/Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml YES 2.7 / 2.0
st/Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml YES 21.1 / 8.9
most/Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml YES 8.4 / 3.4
ost/Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml YES 6.9 / 3.1
most/Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml YES 2.4 / 2.6
st/Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml YES 9.5 / 3.8
t/Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml . 758.3 / 300.0
/Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml . 615.2 / 300.1
Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml . 575.6 / 300.1
ost/Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml . 665.0 / 300.1
st/Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml . 601.6 / 300.0
t/Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml . 491.4 / 300.1
/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml YES 8.1 / 3.3
Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml YES 5.3 / 4.7
/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml YES 2.5 / 2.2
ransformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml YES 11.8 / 4.7
rmost/Transformed_CSR_innermost_04/Ex49_GM04_C.xml YES 8.8 / 4.6
most/Transformed_CSR_innermost_04/Ex49_GM04_GM.xml YES 4.4 / 2.2
ost/Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml YES 15.0 / 7.1
st/Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml YES 3.0 / 2.3
t/Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml YES 3.6 / 2.2
st/Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml YES 2.1 / 1.5
/Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml YES 3.5 / 2.6
/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml YES 34.2 / 17.5
Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml YES 3.6 / 2.0
/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml YES 2.6 / 2.1
ransformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml YES 8.3 / 3.4
/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml . 745.6 / 300.0
Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml . 534.8 / 300.1
ransformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml . 566.8 / 300.0
/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml . 645.0 / 300.0
Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml YES 14.9 / 5.2
ransformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml YES 22.1 / 13.1
/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml YES 4.8 / 3.0
Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml YES 2.2 / 1.5
ransformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml YES 3.4 / 2.3
ost/Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml . 807.1 / 300.0
st/Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml YES 42.4 / 18.3
t/Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml YES 68.1 / 22.3
rmost/Transformed_CSR_innermost_04/Ex4_Zan97_C.xml . 671.7 / 300.1
most/Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml . 990.0 / 300.1
ost/Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml . 568.8 / 300.1
ost/Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml . 600.4 / 300.0
st/Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml . 902.0 / 300.1
t/Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml . 551.1 / 300.0
ost/Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml YES 18.5 / 7.7
st/Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml YES 10.3 / 4.2
t/Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml YES 26.8 / 11.3
rmost/Transformed_CSR_innermost_04/Ex5_Zan97_C.xml YES 5.5 / 3.3
most/Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml YES 4.1 / 3.7
ost/Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml YES 5.2 / 2.5
st/Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml . 663.5 / 300.0
t/Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml . 735.9 / 300.1
/Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml . 640.8 / 300.0
st/Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml YES 3.5 / 2.0
t/Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml YES 8.8 / 4.2
/Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml YES 22.3 / 14.1
ermost/Transformed_CSR_innermost_04/Ex6_GM04_C.xml YES 19.6 / 6.6
rmost/Transformed_CSR_innermost_04/Ex6_GM04_GM.xml YES 3.4 / 1.8
most/Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml YES 4.2 / 2.3
rmost/Transformed_CSR_innermost_04/Ex6_Luc98_C.xml YES 8.0 / 6.2
most/Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml YES 4.3 / 4.1
rmost/Transformed_CSR_innermost_04/Ex6_Luc98_L.xml YES 2.5 / 2.6
ost/Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml YES 9.2 / 4.4
rmost/Transformed_CSR_innermost_04/Ex7_BLR02_C.xml . 607.7 / 300.1
most/Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml . 595.2 / 300.1
ost/Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml . 638.0 / 300.1
rmost/Transformed_CSR_innermost_04/Ex8_BLR02_C.xml . 580.8 / 300.0
most/Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml . 670.3 / 300.1
ost/Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml . 622.6 / 300.0
rmost/Transformed_CSR_innermost_04/Ex9_BLR02_C.xml YES 11.7 / 5.4
most/Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml YES 5.6 / 4.1
rmost/Transformed_CSR_innermost_04/Ex9_BLR02_L.xml YES 2.2 / 1.5
ost/Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml YES 14.5 / 8.5
rmost/Transformed_CSR_innermost_04/Ex9_Luc04_C.xml . 787.1 / 300.0
most/Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml YES 6.4 / 4.5
ost/Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml . 523.7 / 300.1
rmost/Transformed_CSR_innermost_04/Ex9_Luc06_C.xml YES 36.0 / 20.2
most/Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml YES 3.0 / 1.9
ost/Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml YES 3.8 / 2.2
ansformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml . 616.8 / 300.1
nsformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml YES 127.3 / 59.6
sformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml YES 135.4 / 51.4
st/Transformed_CSR_innermost_04/ExConc_Zan97_C.xml YES 9.0 / 3.9
t/Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml YES 5.7 / 2.4
st/Transformed_CSR_innermost_04/ExConc_Zan97_L.xml YES 2.1 / 1.5
/Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml YES 15.0 / 8.2
t/Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml YES 11.0 / 5.8
/Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml YES 7.6 / 3.2
Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml YES 20.4 / 15.1
t/Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml YES 8.4 / 5.8
/Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml YES 4.6 / 2.3
Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml YES 10.8 / 4.1
t/Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml . 780.5 / 300.0
/Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml YES 72.9 / 34.1
Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml . 538.6 / 300.0
/Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml . 680.7 / 300.0
Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml . 585.0 / 300.1
ransformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml . 555.8 / 300.1
t/Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml YES 31.7 / 13.2
/Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml YES 4.3 / 3.5
t/Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml YES 2.5 / 1.5
Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml YES 13.4 / 6.2
ransformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml YES 12.1 / 4.3
ansformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml YES 9.8 / 6.7
ransformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml YES 2.7 / 2.0
nsformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml YES 17.3 / 9.7
ransformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml . 807.9 / 300.1
ansformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml . 554.8 / 300.1
nsformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml . 552.4 / 300.0
rmed_CSR_innermost_04/LISTUTILITIES_complete_C.xml . 597.7 / 300.1
med_CSR_innermost_04/LISTUTILITIES_complete_GM.xml . 538.9 / 300.0
ed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml . 544.4 / 300.0
SR_innermost_04/LISTUTILITIES_complete_noand_C.xml . 296.4 / 300.0
R_innermost_04/LISTUTILITIES_complete_noand_GM.xml . 597.5 / 300.1
_innermost_04/LISTUTILITIES_complete_noand_iGM.xml . 557.7 / 300.0
ormed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml . 589.4 / 300.0
rmed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml . 526.1 / 300.1
med_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml . 503.4 / 300.0
CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml . 697.8 / 300.0
SR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml . 541.7 / 300.0
R_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml . 574.4 / 300.0
ormed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml . 814.1 / 300.0
rmed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml . 624.9 / 300.0
med_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml . 546.6 / 300.1
CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml . 749.4 / 300.0
SR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml . 535.0 / 300.0
R_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml . 566.9 / 300.0
SR_innermost_04/LengthOfFiniteLists_complete_C.xml . 613.7 / 300.1
R_innermost_04/LengthOfFiniteLists_complete_GM.xml YES 27.4 / 15.6
_innermost_04/LengthOfFiniteLists_complete_iGM.xml . 667.3 / 300.1
ermost_04/LengthOfFiniteLists_complete_noand_C.xml . 750.0 / 300.1
rmost_04/LengthOfFiniteLists_complete_noand_GM.xml YES 28.0 / 11.6
most_04/LengthOfFiniteLists_complete_noand_iGM.xml YES 340.0 / 167.4
CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml . 789.8 / 300.0
SR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml YES 5.4 / 2.6
R_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml YES 278.9 / 144.6
nermost_04/LengthOfFiniteLists_nokinds_noand_C.xml . 617.0 / 300.1
ermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml YES 10.8 / 4.2
rmost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml YES 70.0 / 42.5
CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml . 537.7 / 300.1
SR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml NO 4.6 / 2.4
R_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml . 387.6 / 300.0
nermost_04/LengthOfFiniteLists_nosorts_noand_C.xml . 790.5 / 300.0
ermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml NO 11.6 / 5.7
rmost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml . 580.8 / 300.0
/Transformed_CSR_innermost_04/MYNAT_complete_C.xml YES 19.0 / 7.7
Transformed_CSR_innermost_04/MYNAT_complete_GM.xml YES 6.2 / 4.8
ransformed_CSR_innermost_04/MYNAT_complete_iGM.xml YES 9.5 / 5.0
formed_CSR_innermost_04/MYNAT_complete_noand_C.xml . 719.4 / 300.0
ormed_CSR_innermost_04/MYNAT_complete_noand_GM.xml YES 36.7 / 14.2
rmed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml . 527.5 / 300.0
t/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml YES 6.6 / 3.1
/Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml YES 4.5 / 2.8
Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml YES 7.0 / 2.9
sformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml . 611.6 / 300.0
formed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml YES 18.8 / 9.0
ormed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml YES 68.1 / 41.3
t/Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml YES 5.6 / 2.9
/Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml YES 3.4 / 2.2
Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml YES 4.3 / 2.4
sformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml YES 8.7 / 5.4
formed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml YES 3.7 / 2.5
ormed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml YES 8.7 / 5.8
ansformed_CSR_innermost_04/OvConsOS_complete_C.xml . 611.9 / 300.0
nsformed_CSR_innermost_04/OvConsOS_complete_GM.xml . 651.5 / 300.0
sformed_CSR_innermost_04/OvConsOS_complete_iGM.xml . 590.4 / 300.0
med_CSR_innermost_04/OvConsOS_complete_noand_C.xml . 608.6 / 300.0
ed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml YES 40.6 / 14.0
d_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml . 614.1 / 300.1
ransformed_CSR_innermost_04/OvConsOS_nokinds_C.xml . 787.6 / 300.0
ansformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml . 747.7 / 300.0
nsformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml . 628.4 / 300.3
rmed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml . 801.2 / 300.1
med_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml YES 20.2 / 6.7
ed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml YES 146.6 / 68.6
ransformed_CSR_innermost_04/OvConsOS_nosorts_C.xml . 644.0 / 300.0
ansformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml NO 14.1 / 11.1
nsformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml . 652.2 / 300.1
rmed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml . 826.4 / 300.0
med_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml NO 24.8 / 15.9
ed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml . 711.4 / 300.0
sformed_CSR_innermost_04/PALINDROME_complete_C.xml YES 21.1 / 7.6
formed_CSR_innermost_04/PALINDROME_complete_GM.xml YES 8.0 / 3.4
ormed_CSR_innermost_04/PALINDROME_complete_iGM.xml YES 11.2 / 5.0
d_CSR_innermost_04/PALINDROME_complete_noand_C.xml YES 24.7 / 8.6
_CSR_innermost_04/PALINDROME_complete_noand_GM.xml YES 13.7 / 9.2
CSR_innermost_04/PALINDROME_complete_noand_iGM.xml YES 24.4 / 17.6
nsformed_CSR_innermost_04/PALINDROME_nokinds_C.xml YES 10.9 / 8.2
sformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml YES 2.6 / 1.6
formed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml YES 6.2 / 3.0
ed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml YES 18.9 / 6.7
d_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml YES 3.9 / 2.3
_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml YES 21.0 / 6.7
nsformed_CSR_innermost_04/PALINDROME_nosorts_C.xml YES 4.8 / 2.3
sformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml YES 2.3 / 1.6
formed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml YES 4.7 / 2.6
ed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml YES 6.2 / 3.4
d_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml YES 2.5 / 1.9
_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml YES 4.3 / 2.2
/Transformed_CSR_innermost_04/PEANO_complete_C.xml YES 9.3 / 6.4
Transformed_CSR_innermost_04/PEANO_complete_GM.xml YES 4.8 / 2.7
ransformed_CSR_innermost_04/PEANO_complete_iGM.xml YES 7.5 / 5.7
formed_CSR_innermost_04/PEANO_complete_noand_C.xml . 627.0 / 300.0
ormed_CSR_innermost_04/PEANO_complete_noand_GM.xml YES 14.9 / 10.2
rmed_CSR_innermost_04/PEANO_complete_noand_iGM.xml YES 140.9 / 85.9
t/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml YES 6.9 / 3.7
/Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml YES 3.2 / 2.1
Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml YES 4.5 / 2.3
sformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml . 677.8 / 300.0
formed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml YES 6.7 / 3.4
ormed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml YES 32.6 / 12.5
t/Transformed_CSR_innermost_04/PEANO_nosorts_C.xml YES 5.3 / 2.5
/Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml YES 2.4 / 1.7
Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml YES 4.9 / 4.4
sformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml YES 6.1 / 3.6
formed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml YES 2.8 / 4.4
ormed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml YES 6.5 / 2.7
TRS_Innermost/raML/appendAll.raml.xml YES 2.4 / 1.6
TRS_Innermost/raML/queue.raml.xml YES 16.4 / 10.1
TRS_Innermost/raML/rationalPotential.raml.xml YES 2.4 / 1.6
TRS_Innermost/raML/subtrees.raml.xml YES 2.8 / 1.7