DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for TRSs

problem t e c r *
TRS/AG01/#4.12a.trs 0.0 0.016 0.009 0.009 0.025
TRS/AG01/#4.13.trs 0.0 0.008 0.0 0.0 0.0
TRS/AG01/#4.14.trs 0.0 0.0 0.0 0.003 0.008
TRS/AG01/#4.15.trs 0.014 0.0 0.295 0.259 0.519
TRS/AG01/#4.16.trs 0.001 0.0 0.0 0.003 0.013
TRS/AG01/#4.17.trs 0.013 0.0 0.114 0.061 0.133
TRS/AG01/#4.18.trs 0.002 0.0 0.012 0.018 0.0
TRS/AG01/#4.19.trs 0.002 0.0 1.825 1.791 0.027
TRS/AG01/#4.20a.trs 0.003 0.0 0.001 0.001 0.002
TRS/AG01/#4.20.trs 0.006 0.0 0.0 0.004 0.0
TRS/AG01/#4.21.trs 0.0 0.0 0.0 0.0 0.003
TRS/AG01/#4.22.trs 0.0 0.0 0.014 0.013 0.018
TRS/AG01/#4.23.trs 0.012 0.0 0.046 0.056 0.055
TRS/AG01/#4.24.trs 0.003 0.0 0.034 60.0 0.019
TRS/AG01/#4.25.trs 0.0 0.0 0.0 0.0 0.005
TRS/AG01/#4.26.trs 0.0 0.0 0.111 0.047 0.098
TRS/AG01/#4.27.trs 0.003 0.0 0.062 0.039 0.101
TRS/AG01/#4.28.trs 0.002 0.0 0.0 0.004 0.006
TRS/AG01/#4.29.trs 0.006 0.0 1.452 1.439 0.986
TRS/AG01/#4.2.trs 0.0 0.0 0.091 0.031 0.019
TRS/AG01/#4.30a.trs 0.002 0.0 0.006 0.002 0.016
TRS/AG01/#4.30b.trs 0.0 0.0 0.132 0.105 0.247
TRS/AG01/#4.30.trs 0.0 0.0 0.143 0.098 0.219
TRS/AG01/#4.31.trs 0.0 0.0 0.002 0.015 0.008
TRS/AG01/#4.32.trs 0.0 0.0 0.008 0.008 0.008
problem t e c r *
TRS/AG01/#4.33.trs 0.006 0.005 60.0 60.0 0.989
TRS/AG01/#4.34.trs 0.0 0.0 0.278 0.234 0.341
TRS/AG01/#4.35.trs 0.007 0.009 60.0 60.0 1.003
TRS/AG01/#4.36.trs 0.001 0.0 60.0 60.0 0.988
TRS/AG01/#4.37a.trs 0.0 0.008 0.055 0.013 0.0
TRS/AG01/#4.37.trs 0.0 0.0 0.004 0.003 0.005
TRS/AG01/#4.3.trs 0.0 0.0 0.0 0.0 0.0
TRS/AG01/#4.4.trs 0.0 0.0 0.0 0.013 0.0
TRS/AG01/#4.5.trs 0.0 0.0 0.0 0.003 0.0
TRS/AG01/#4.7.trs 0.003 0.0 0.0 0.0 0.0
TRS/cariboo/tricky1.trs 0.0 0.0 0.064 0.031 0.0
TRS/currying/AG01/#4.10.trs 0.021 0.007 60.0 60.0 1.008
TRS/currying/AG01/#4.13.trs 0.019 0.014 60.0 60.0 1.015
TRS/currying/AG01/#4.15.trs 0.075 0.033 60.0 60.0 1.034
TRS/currying/AG01/#4.17.trs 0.047 0.022 60.0 60.0 1.022
TRS/currying/AG01/#4.19.trs 0.086 0.05 60.0 60.0 1.05
TRS/currying/AG01/#4.22.trs 0.043 0.024 60.0 60.0 1.025
TRS/currying/AG01/#4.24.trs 0.094 0.05 60.0 60.0 1.052
TRS/currying/AG01/#4.26.trs 0.074 0.043 60.0 60.0 1.044
TRS/currying/AG01/#4.28.trs 0.047 0.019 60.0 60.0 1.02
TRS/currying/AG01/#4.2.trs 0.043 0.015 60.0 60.0 1.018
TRS/currying/AG01/#4.34.trs 0.083 0.04 60.0 60.0 1.043
TRS/currying/AG01/#4.36.trs 0.235 0.306 60.0 60.0 1.319
TRS/currying/AG01/#4.3.trs 0.018 0.009 60.0 60.0 1.009
TRS/currying/AG01/#4.5.trs 0.012 0.004 60.0 60.0 1.005
problem t e c r *
TRS/currying/AG01/#4.7.trs 0.02 0.01 60.0 60.0 1.015
TRS/currying/AG01/#4.8.trs 0.058 0.028 60.0 60.0 1.035
TRS/HM/n001.trs 0.0 0.0 0.0 0.015 0.0
TRS/Rubio-inn/bn111.trs 0.0 0.0 0.0 0.0 0.0
TRS/Rubio-inn/gkg.trs 0.0 0.0 0.0 0.013 0.0
TRS/Rubio-inn/muladd.trs 0.011 0.0 0.002 0.002 0.003
TRS/Rubio-inn/test10.trs 0.0 0.02 0.086 0.029 0.034
TRS/Rubio-inn/test75.trs 0.0 0.0 0.01 0.002 0.018
TRS/Rubio-inn/test76.trs 0.0 0.0 0.069 0.029 0.052
TRS/Rubio-inn/test77.trs 0.0 0.008 0.071 0.027 0.055
TRS/Rubio-inn/test830.trs 0.0 0.008 0.043 0.012 0.004
TRS/Rubio-inn/test833.trs 0.0 0.0 0.0 0.011 0.0
TRS/Rubio-inn/test9.trs 0.012 0.004 0.017 0.011 0.013
TRS/Rubio-inn/toyama.trs 0.0 0.0 0.002 0.002 0.0
TRS/SchneiderKamp/inn/cade04.trs 0.006 0.01 0.028 0.022 0.033
TRS/SchneiderKamp/inn/cade05.trs 0.0 0.0 0.234 0.173 0.379
TRS/SchneiderKamp/inn/cade12.trs 0.0 0.0 0.895 0.874 0.986
TRS/SchneiderKamp/inn/cade13.trs 0.0 0.0 4.589 4.686 0.986
TRS/SchneiderKamp/inn/thiemann26i.trs 0.0 0.0 32.246 31.989 0.987
TRS/SchneiderKamp/inn/thiemann28i.trs 0.0 0.0 1.943 1.854 0.985
TRS/SchneiderKamp/inn/wiehe13.trs 0.0 0.007 60.0 60.0 0.993
TRS/SchneiderKamp/inn/wiehe14.trs 0.006 0.011 60.0 60.0 0.998
TRS/Thiemann/innermost1.trs 0.0 0.0 0.012 0.0 0.001
TRS/Thiemann/innermost2.trs 0.0 0.0 0.006 0.007 0.001
TRS/Thiemann/innermost3.trs 0.0 0.0 0.0 0.003 0.006
problem t e c r *
TRS/Thiemann/innermost4.trs 0.0 0.0 0.828 0.781 0.985
TRS/Thiemann/innermost5.trs 0.0 0.0 0.119 0.081 0.176
TRS/TRCSR/inn/Ex1_2_AEL03_C.trs 0.134 1.01 60.0 60.0 1.542
TRS/TRCSR/inn/Ex1_2_AEL03_GM.trs 0.058 0.165 12.313 12.329 1.146
TRS/TRCSR/inn/Ex1_2_AEL03_iGM.trs 0.147 0.826 60.0 60.0 1.544
TRS/TRCSR/inn/Ex1_2_Luc02c_C.trs 0.0 0.009 0.895 0.89 1.001
TRS/TRCSR/inn/Ex1_2_Luc02c_GM.trs 0.004 0.0 0.026 0.011 0.03
TRS/TRCSR/inn/Ex1_2_Luc02c_iGM.trs 0.0 0.009 1.263 1.257 1.0
TRS/TRCSR/inn/Ex14_AEGL02_C.trs 0.0 0.023 1.539 1.527 1.007
TRS/TRCSR/inn/Ex14_AEGL02_GM.trs 0.0 0.0 0.052 0.029 0.073
TRS/TRCSR/inn/Ex14_AEGL02_iGM.trs 0.0 0.019 2.471 2.477 1.008
TRS/TRCSR/inn/Ex14_Luc06_C.trs 0.0 0.011 2.509 2.505 0.998
TRS/TRCSR/inn/Ex14_Luc06_GM.trs 0.0 0.002 0.332 0.311 0.651
TRS/TRCSR/inn/Ex14_Luc06_iGM.trs 0.0 0.01 60.0 60.0 0.999
TRS/TRCSR/inn/Ex15_Luc06_C.trs 0.0 0.0 0.037 0.037 0.036
TRS/TRCSR/inn/Ex15_Luc06_GM.trs 0.0 0.0 0.002 0.003 0.002
TRS/TRCSR/inn/Ex15_Luc06_iGM.trs 0.0 0.0 0.023 0.018 0.011
TRS/TRCSR/inn/Ex15_Luc98_C.trs 0.035 0.123 60.0 60.0 1.082
TRS/TRCSR/inn/Ex15_Luc98_GM.trs 0.0 0.014 4.755 4.599 0.998
TRS/TRCSR/inn/Ex15_Luc98_iGM.trs 0.03 0.188 60.0 60.0 1.118
TRS/TRCSR/inn/Ex16_Luc06_C.trs 0.0 0.0 0.136 0.122 0.168
TRS/TRCSR/inn/Ex16_Luc06_GM.trs 0.0 0.0 0.004 0.02 0.006
TRS/TRCSR/inn/Ex16_Luc06_iGM.trs 0.0 0.0 60.0 0.074 0.05
TRS/TRCSR/inn/Ex18_Luc06_C.trs 0.0 0.0 0.034 0.038 0.044
TRS/TRCSR/inn/Ex18_Luc06_GM.trs 0.0 0.0 0.0 0.003 0.0
problem t e c r *
TRS/TRCSR/inn/Ex18_Luc06_iGM.trs 0.0 0.0 0.027 0.019 0.018
TRS/TRCSR/inn/Ex18_Luc06_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex1_GL02a_C.trs 0.002 0.065 60.0 60.0 1.04
TRS/TRCSR/inn/Ex1_GL02a_GM.trs 0.0 0.0 0.21 0.196 0.421
TRS/TRCSR/inn/Ex1_GL02a_iGM.trs 0.002 0.097 60.0 60.0 1.062
TRS/TRCSR/inn/Ex1_GM03_C.trs 0.0 0.095 60.0 60.0 1.06
TRS/TRCSR/inn/Ex1_GM03_GM.trs 0.0 0.013 4.8 4.796 1.004
TRS/TRCSR/inn/Ex1_GM03_iGM.trs 0.036 0.108 60.0 60.0 1.074
TRS/TRCSR/inn/Ex1_GM99_C.trs 0.0 0.0 24.702 25.0 0.988
TRS/TRCSR/inn/Ex1_GM99_GM.trs 0.0 0.0 0.122 0.086 0.13
TRS/TRCSR/inn/Ex1_GM99_iGM.trs 0.0 0.0 14.134 14.202 0.974
TRS/TRCSR/inn/Ex1_Luc02b_C.trs 0.0 0.081 60.0 60.0 1.051
TRS/TRCSR/inn/Ex1_Luc02b_GM.trs 0.0 0.006 0.223 0.225 0.472
TRS/TRCSR/inn/Ex1_Luc02b_iGM.trs 0.0 0.07 60.0 60.0 1.046
TRS/TRCSR/inn/Ex1_Luc04b_C.trs 0.0 0.052 8.424 60.0 1.028
TRS/TRCSR/inn/Ex1_Luc04b_GM.trs 0.0 0.009 0.111 60.0 0.626
TRS/TRCSR/inn/Ex1_Luc04b_iGM.trs 0.0 0.055 14.909 60.0 1.08
TRS/TRCSR/inn/Ex1_Zan97_C.trs 0.0 0.0 0.054 0.073 0.076
TRS/TRCSR/inn/Ex1_Zan97_GM.trs 0.0 0.015 0.002 0.01 0.009
TRS/TRCSR/inn/Ex1_Zan97_iGM.trs 0.016 0.0 0.052 0.035 0.039
TRS/TRCSR/inn/Ex23_Luc06_C.trs 0.025 0.0 0.153 0.173 0.177
TRS/TRCSR/inn/Ex23_Luc06_GM.trs 0.0 0.0 0.004 0.008 0.001
TRS/TRCSR/inn/Ex23_Luc06_iGM.trs 0.025 0.0 0.083 0.11 0.111
TRS/TRCSR/inn/Ex23_Luc06_L.trs 0.008 0.008 0.003 0.0 0.0
TRS/TRCSR/inn/Ex24_GM04_C.trs 0.037 0.0 60.0 60.0 0.99
problem t e c r *
TRS/TRCSR/inn/Ex24_GM04_GM.trs 0.0 0.0 0.103 0.06 0.078
TRS/TRCSR/inn/Ex24_GM04_iGM.trs 0.0 0.0 60.0 60.0 0.991
TRS/TRCSR/inn/Ex24_Luc06_C.trs 0.0 0.015 3.201 3.211 0.992
TRS/TRCSR/inn/Ex24_Luc06_GM.trs 0.0 0.0 0.055 0.028 0.037
TRS/TRCSR/inn/Ex24_Luc06_iGM.trs 0.0 0.0 4.958 4.967 0.485
TRS/TRCSR/inn/Ex25_Luc06_C.trs 0.0 0.007 0.137 60.0 0.555
TRS/TRCSR/inn/Ex25_Luc06_GM.trs 0.0 0.0 0.018 0.005 0.014
TRS/TRCSR/inn/Ex25_Luc06_iGM.trs 0.0 0.01 0.121 0.11 0.145
TRS/TRCSR/inn/Ex25_Luc06_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex26_Luc03b_C.trs 0.04 0.256 60.0 60.0 1.159
TRS/TRCSR/inn/Ex26_Luc03b_GM.trs 0.0 0.017 0.487 0.486 1.003
TRS/TRCSR/inn/Ex26_Luc03b_iGM.trs 0.046 0.244 60.0 60.0 1.156
TRS/TRCSR/inn/Ex26_Luc03b_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex2_Luc02a_C.trs 0.048 0.295 60.0 60.0 1.182
TRS/TRCSR/inn/Ex2_Luc02a_GM.trs 0.0 0.03 0.971 0.967 1.022
TRS/TRCSR/inn/Ex2_Luc02a_iGM.trs 0.06 0.263 60.0 60.0 1.171
TRS/TRCSR/inn/Ex2_Luc02a_L.trs 0.0 0.0 0.018 0.008 0.018
TRS/TRCSR/inn/Ex2_Luc03b_C.trs 0.002 0.112 60.0 60.0 1.071
TRS/TRCSR/inn/Ex2_Luc03b_GM.trs 0.0 0.006 0.235 0.234 0.503
TRS/TRCSR/inn/Ex2_Luc03b_iGM.trs 0.003 0.109 60.0 60.0 1.07
TRS/TRCSR/inn/Ex2_Luc03b_L.trs 0.0 0.0 0.003 0.0 0.0
TRS/TRCSR/inn/Ex3_12_Luc96a_C.trs 0.0 0.026 3.28 3.293 1.013
TRS/TRCSR/inn/Ex3_12_Luc96a_GM.trs 0.0 0.0 0.055 0.042 0.107
TRS/TRCSR/inn/Ex3_12_Luc96a_iGM.trs 0.0 0.022 8.291 8.989 1.01
TRS/TRCSR/inn/Ex3_2_Luc97_C.trs 0.006 0.113 60.0 60.0 1.079
problem t e c r *
TRS/TRCSR/inn/Ex3_2_Luc97_GM.trs 0.0 0.013 0.264 0.261 0.553
TRS/TRCSR/inn/Ex3_2_Luc97_iGM.trs 0.036 0.146 60.0 60.0 1.091
TRS/TRCSR/inn/Ex3_3_25_Bor03_C.trs 0.002 0.146 60.0 60.0 1.088
TRS/TRCSR/inn/Ex3_3_25_Bor03_GM.trs 0.0 0.011 0.251 0.249 0.539
TRS/TRCSR/inn/Ex3_3_25_Bor03_iGM.trs 0.004 0.131 60.0 60.0 1.08
TRS/TRCSR/inn/Ex3_3_25_Bor03_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex4_4_Luc96b_C.trs 0.0 0.0 0.139 0.136 0.2
TRS/TRCSR/inn/Ex4_4_Luc96b_GM.trs 0.0 0.0 0.0 0.0 0.013
TRS/TRCSR/inn/Ex4_4_Luc96b_iGM.trs 0.0 0.0 0.039 0.025 0.06
TRS/TRCSR/inn/Ex4_4_Luc96b_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex4_7_15_Bor03_C.trs 0.016 0.019 1.81 20.523 1.005
TRS/TRCSR/inn/Ex4_7_15_Bor03_GM.trs 0.0 0.0 0.04 0.016 0.01
TRS/TRCSR/inn/Ex4_7_15_Bor03_iGM.trs 0.0 0.014 2.211 3.578 1.001
TRS/TRCSR/inn/Ex4_7_15_Bor03_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex4_7_37_Bor03_C.trs 0.053 0.304 60.0 60.0 1.206
TRS/TRCSR/inn/Ex4_7_37_Bor03_GM.trs 0.0 0.047 2.232 2.248 1.041
TRS/TRCSR/inn/Ex4_7_37_Bor03_iGM.trs 0.06 0.275 60.0 60.0 1.192
TRS/TRCSR/inn/Ex4_7_56_Bor03_C.trs 0.0 0.026 3.415 5.39 1.065
TRS/TRCSR/inn/Ex4_7_56_Bor03_GM.trs 0.026 0.014 0.154 0.15 0.326
TRS/TRCSR/inn/Ex4_7_56_Bor03_iGM.trs 0.046 0.079 9.572 9.536 1.009
TRS/TRCSR/inn/Ex4_7_77_Bor03_C.trs 0.0 0.0 0.345 60.0 0.778
TRS/TRCSR/inn/Ex4_7_77_Bor03_GM.trs 0.0 0.0 0.009 0.017 0.016
TRS/TRCSR/inn/Ex4_7_77_Bor03_iGM.trs 0.0 0.0 0.294 1.558 0.707
TRS/TRCSR/inn/Ex49_GM04_C.trs 0.0 0.055 60.0 60.0 1.033
TRS/TRCSR/inn/Ex49_GM04_GM.trs 0.0 0.0 2.419 2.357 0.991
problem t e c r *
TRS/TRCSR/inn/Ex49_GM04_iGM.trs 0.001 0.104 60.0 60.0 1.064
TRS/TRCSR/inn/Ex4_DLMMU04_C.trs 0.081 0.733 60.0 60.0 1.458
TRS/TRCSR/inn/Ex4_DLMMU04_GM.trs 0.008 0.099 60.0 60.0 1.061
TRS/TRCSR/inn/Ex4_DLMMU04_iGM.trs 0.121 0.943 60.0 60.0 1.56
TRS/TRCSR/inn/Ex4_Zan97_C.trs 0.0 0.067 10.12 9.921 1.037
TRS/TRCSR/inn/Ex4_Zan97_GM.trs 0.06 0.025 0.267 0.26 0.554
TRS/TRCSR/inn/Ex4_Zan97_iGM.trs 0.07 0.173 24.29 22.103 1.034
TRS/TRCSR/inn/Ex5_7_Luc97_C.trs 0.063 0.531 60.0 60.0 1.328
TRS/TRCSR/inn/Ex5_7_Luc97_GM.trs 0.002 0.085 24.685 20.882 1.073
TRS/TRCSR/inn/Ex5_7_Luc97_iGM.trs 0.109 0.69 60.0 60.0 1.452
TRS/TRCSR/inn/Ex5_DLMMU04_C.trs 0.044 0.364 60.0 60.0 1.238
TRS/TRCSR/inn/Ex5_DLMMU04_GM.trs 0.0 0.042 1.555 1.561 1.036
TRS/TRCSR/inn/Ex5_DLMMU04_iGM.trs 0.076 0.342 60.0 60.0 1.221
TRS/TRCSR/inn/Ex5_Zan97_C.trs 0.0 0.011 60.0 60.0 0.995
TRS/TRCSR/inn/Ex5_Zan97_GM.trs 0.0 0.012 0.376 60.0 0.849
TRS/TRCSR/inn/Ex5_Zan97_iGM.trs 0.0 0.01 60.0 60.0 1.019
TRS/TRCSR/inn/Ex6_15_AEL02_C.trs 0.218 3.626 60.0 60.0 1.692
TRS/TRCSR/inn/Ex6_15_AEL02_GM.trs 0.188 0.314 17.141 18.121 1.266
TRS/TRCSR/inn/Ex6_15_AEL02_iGM.trs 0.202 1.64 60.0 60.0 1.621
TRS/TRCSR/inn/Ex6_9_Luc02c_C.trs 0.0 0.048 9.735 6.003 1.027
TRS/TRCSR/inn/Ex6_9_Luc02c_GM.trs 0.0 0.0 0.102 0.096 0.173
TRS/TRCSR/inn/Ex6_9_Luc02c_iGM.trs 0.0 0.033 18.579 22.558 1.019
TRS/TRCSR/inn/Ex6_GM04_C.trs 0.0 0.0 0.04 0.038 0.04
TRS/TRCSR/inn/Ex6_GM04_GM.trs 0.014 0.0 0.0 0.004 0.0
TRS/TRCSR/inn/Ex6_GM04_iGM.trs 0.0 0.0 0.023 0.004 0.0
problem t e c r *
TRS/TRCSR/inn/Ex6_Luc98_C.trs 0.0 0.029 60.0 60.0 1.018
TRS/TRCSR/inn/Ex6_Luc98_GM.trs 0.0 0.0 0.067 0.048 0.118
TRS/TRCSR/inn/Ex6_Luc98_iGM.trs 0.0 0.022 51.768 55.906 1.011
TRS/TRCSR/inn/Ex6_Luc98_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex7_BLR02_C.trs 0.029 0.168 60.0 60.0 1.108
TRS/TRCSR/inn/Ex7_BLR02_GM.trs 0.0 0.016 0.604 0.604 1.015
TRS/TRCSR/inn/Ex7_BLR02_iGM.trs 0.047 0.155 60.0 60.0 1.109
TRS/TRCSR/inn/Ex8_BLR02_C.trs 0.003 0.161 45.126 45.497 1.099
TRS/TRCSR/inn/Ex8_BLR02_GM.trs 0.002 0.019 0.526 0.525 1.01
TRS/TRCSR/inn/Ex8_BLR02_iGM.trs 0.035 0.136 60.0 60.0 1.09
TRS/TRCSR/inn/Ex9_BLR02_C.trs 0.001 0.139 60.0 60.0 1.084
TRS/TRCSR/inn/Ex9_BLR02_GM.trs 0.0 0.006 3.746 3.767 1.0
TRS/TRCSR/inn/Ex9_BLR02_iGM.trs 0.075 0.348 60.0 60.0 1.218
TRS/TRCSR/inn/Ex9_BLR02_L.trs 0.035 0.0 0.007 0.007 0.0
TRS/TRCSR/inn/Ex9_Luc04_C.trs 0.031 0.012 60.0 60.0 1.044
TRS/TRCSR/inn/Ex9_Luc04_GM.trs 0.049 0.014 0.679 0.684 1.005
TRS/TRCSR/inn/Ex9_Luc04_iGM.trs 0.001 0.0 11.93 11.673 0.994
TRS/TRCSR/inn/Ex9_Luc06_C.trs 0.037 0.006 19.163 60.0 0.987
TRS/TRCSR/inn/Ex9_Luc06_GM.trs 0.0 0.0 0.063 0.033 0.069
TRS/TRCSR/inn/Ex9_Luc06_iGM.trs 0.0 0.0 60.0 60.0 0.435
TRS/TRCSR/inn/ExAppendixB_AEL03_C.trs 0.128 1.317 60.0 60.0 1.556
TRS/TRCSR/inn/ExAppendixB_AEL03_GM.trs 0.078 0.236 28.924 28.997 1.203
TRS/TRCSR/inn/ExAppendixB_AEL03_iGM.trs 0.145 1.151 60.0 60.0 1.563
TRS/TRCSR/inn/ExConc_Zan97_C.trs 0.0 0.0 0.049 0.04 0.045
TRS/TRCSR/inn/ExConc_Zan97_GM.trs 0.0 0.0 0.0 0.0 0.012
problem t e c r *
TRS/TRCSR/inn/ExConc_Zan97_iGM.trs 0.0 0.0 0.02 0.015 0.024
TRS/TRCSR/inn/ExConc_Zan97_L.trs 0.0 0.0 0.0 0.013 0.0
TRS/TRCSR/inn/ExIntrod_GM01_C.trs 0.025 0.082 33.267 60.0 1.048
TRS/TRCSR/inn/ExIntrod_GM01_GM.trs 0.0 0.011 0.207 60.0 0.726
TRS/TRCSR/inn/ExIntrod_GM01_iGM.trs 0.036 0.093 60.0 60.0 1.138
TRS/TRCSR/inn/ExIntrod_GM04_C.trs 0.034 0.113 10.582 60.0 1.031
TRS/TRCSR/inn/ExIntrod_GM04_GM.trs 0.038 0.02 0.276 0.825 0.801
TRS/TRCSR/inn/ExIntrod_GM04_iGM.trs 0.087 0.179 14.7 31.337 1.033
TRS/TRCSR/inn/ExIntrod_GM99_C.trs 0.06 0.437 60.0 60.0 1.28
TRS/TRCSR/inn/ExIntrod_GM99_GM.trs 0.0 0.05 60.0 60.0 1.041
TRS/TRCSR/inn/ExIntrod_GM99_iGM.trs 0.08 0.439 60.0 60.0 1.284
TRS/TRCSR/inn/ExIntrod_Zan97_C.trs 0.038 0.211 60.0 60.0 1.132
TRS/TRCSR/inn/ExIntrod_Zan97_GM.trs 0.0 0.035 19.745 15.279 1.046
TRS/TRCSR/inn/ExIntrod_Zan97_iGM.trs 0.111 0.606 60.0 60.0 1.418
TRS/TRCSR/inn/ExProp7_Luc06_C.trs 0.039 0.079 2.567 19.568 1.005
TRS/TRCSR/inn/ExProp7_Luc06_GM.trs 0.0 0.0 0.04 0.03 0.066
TRS/TRCSR/inn/ExProp7_Luc06_iGM.trs 0.0 0.015 2.386 8.918 1.001
TRS/TRCSR/inn/ExProp7_Luc06_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/ExSec11_1_Luc02a_C.trs 0.066 0.416 60.0 60.0 1.266
TRS/TRCSR/inn/ExSec11_1_Luc02a_GM.trs 0.0 0.055 2.436 2.321 1.045
TRS/TRCSR/inn/ExSec11_1_Luc02a_iGM.trs 0.085 0.411 60.0 60.0 1.273
TRS/TRCSR/inn/ExSec11_1_Luc02a_L.trs 0.0 0.016 0.071 0.028 0.077
TRS/TRCSR/inn/ExSec4_2_DLMMU04_C.trs 0.131 1.136 60.0 60.0 1.558
TRS/TRCSR/inn/ExSec4_2_DLMMU04_GM.trs 0.048 0.208 60.0 60.0 1.181
TRS/TRCSR/inn/ExSec4_2_DLMMU04_iGM.trs 0.141 1.046 60.0 60.0 1.574
problem t e c r *
TRS/TRCSR/inn/LengthOfFiniteLists_complete_C.trs 0.238 6.574 60.0 60.0 1.671
TRS/TRCSR/inn/LengthOfFiniteLists_complete_GM.trs 0.076 0.49 60.0 60.0 1.303
TRS/TRCSR/inn/LengthOfFiniteLists_complete_iGM.trs 0.44 5.07 60.0 60.0 1.861
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_C.trs 1.52 23.299 60.0 60.0 3.093
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_GM.trs 0.216 2.135 60.0 60.0 1.638
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_iGM.trs 3.752 28.191 60.0 60.0 3.389
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_C.trs 0.002 0.164 60.0 60.0 1.103
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_GM.trs 0.0 0.022 1.553 1.506 1.003
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_iGM.trs 0.057 0.262 60.0 60.0 1.156
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_C.trs 0.106 0.989 60.0 60.0 1.545
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_GM.trs 0.001 0.123 60.0 60.0 1.085
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_iGM.trs 0.17 1.27 60.0 60.0 1.593
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_C.trs 0.0 0.02 6.629 60.0 1.012
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_GM.trs 0.036 0.012 0.307 0.332 0.631
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_iGM.trs 0.058 0.091 11.796 14.605 1.011
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_C.trs 0.0 0.051 17.715 60.0 1.03
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_GM.trs 0.0 0.0 0.34 0.324 0.669
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_iGM.trs 0.0 0.059 29.298 60.0 1.033
TRS/TRCSR/inn/LISTUTILITIES_complete_C.trs 7.585 60.0 60.0 60.0 9.732
TRS/TRCSR/inn/LISTUTILITIES_complete_GM.trs 2.097 20.921 60.0 60.0 3.516
TRS/TRCSR/inn/LISTUTILITIES_complete_iGM.trs 11.877 60.0 60.0 60.0 13.282
TRS/TRCSR/inn/LISTUTILITIES_complete_noand_C.trs 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/inn/LISTUTILITIES_complete_noand_GM.trs 30.986 60.0 60.0 60.0 32.306
TRS/TRCSR/inn/LISTUTILITIES_complete_noand_iGM.trs 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/inn/LISTUTILITIES_nokinds_C.trs 0.905 15.353 60.0 60.0 2.266
problem t e c r *
TRS/TRCSR/inn/LISTUTILITIES_nokinds_GM.trs 0.258 1.823 60.0 60.0 1.686
TRS/TRCSR/inn/LISTUTILITIES_nokinds_iGM.trs 0.939 18.147 60.0 60.0 2.368
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_C.trs 5.183 60.0 60.0 60.0 11.671
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_GM.trs 1.288 9.245 60.0 60.0 2.703
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_iGM.trs 9.739 60.0 60.0 60.0 9.455
TRS/TRCSR/inn/LISTUTILITIES_nosorts_C.trs 0.283 1.661 60.0 60.0 1.59
TRS/TRCSR/inn/LISTUTILITIES_nosorts_GM.trs 0.099 0.317 60.0 60.0 1.261
TRS/TRCSR/inn/LISTUTILITIES_nosorts_iGM.trs 0.191 1.619 60.0 60.0 1.8
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_C.trs 3.041 13.384 60.0 60.0 2.692
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_GM.trs 0.381 1.874 60.0 60.0 1.808
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_iGM.trs 1.068 15.159 60.0 60.0 2.535
TRS/TRCSR/inn/MYNAT_complete_C.trs 0.234 3.426 60.0 60.0 1.657
TRS/TRCSR/inn/MYNAT_complete_GM.trs 0.095 0.519 60.0 60.0 1.316
TRS/TRCSR/inn/MYNAT_complete_iGM.trs 0.314 4.424 60.0 60.0 1.74
TRS/TRCSR/inn/MYNAT_complete_noand_C.trs 2.346 28.936 60.0 60.0 3.775
TRS/TRCSR/inn/MYNAT_complete_noand_GM.trs 0.349 2.844 60.0 60.0 1.781
TRS/TRCSR/inn/MYNAT_complete_noand_iGM.trs 2.276 35.156 60.0 60.0 5.846
TRS/TRCSR/inn/MYNAT_nokinds_C.trs 0.022 0.506 60.0 60.0 1.319
TRS/TRCSR/inn/MYNAT_nokinds_GM.trs 0.229 0.072 31.128 34.539 1.048
TRS/TRCSR/inn/MYNAT_nokinds_iGM.trs 0.087 0.626 60.0 60.0 1.376
TRS/TRCSR/inn/MYNAT_nokinds_noand_C.trs 0.162 1.662 60.0 60.0 1.584
TRS/TRCSR/inn/MYNAT_nokinds_noand_GM.trs 0.054 0.349 60.0 60.0 1.477
TRS/TRCSR/inn/MYNAT_nokinds_noand_iGM.trs 0.448 2.802 60.0 60.0 1.605
TRS/TRCSR/inn/MYNAT_nosorts_C.trs 0.002 0.047 40.379 40.815 1.028
TRS/TRCSR/inn/MYNAT_nosorts_GM.trs 0.0 0.005 0.203 0.201 0.428
problem t e c r *
TRS/TRCSR/inn/MYNAT_nosorts_iGM.trs 0.002 0.041 60.0 60.0 1.097
TRS/TRCSR/inn/MYNAT_nosorts_noand_C.trs 0.078 0.572 60.0 60.0 1.433
TRS/TRCSR/inn/MYNAT_nosorts_noand_GM.trs 0.06 0.093 26.944 29.189 1.017
TRS/TRCSR/inn/MYNAT_nosorts_noand_iGM.trs 0.018 0.315 60.0 60.0 1.201
TRS/TRCSR/inn/OvConsOS_complete_C.trs 0.575 9.792 60.0 60.0 2.819
TRS/TRCSR/inn/OvConsOS_complete_GM.trs 0.167 1.289 60.0 60.0 1.59
TRS/TRCSR/inn/OvConsOS_complete_iGM.trs 0.935 13.336 60.0 60.0 3.773
TRS/TRCSR/inn/OvConsOS_complete_noand_C.trs 7.798 60.0 60.0 60.0 10.974
TRS/TRCSR/inn/OvConsOS_complete_noand_GM.trs 0.823 10.748 60.0 60.0 2.263
TRS/TRCSR/inn/OvConsOS_complete_noand_iGM.trs 6.992 60.0 60.0 60.0 8.491
TRS/TRCSR/inn/OvConsOS_nokinds_C.trs 0.077 0.673 60.0 60.0 1.407
TRS/TRCSR/inn/OvConsOS_nokinds_GM.trs 0.004 0.077 60.0 60.0 1.048
TRS/TRCSR/inn/OvConsOS_nokinds_iGM.trs 0.129 0.965 60.0 60.0 1.534
TRS/TRCSR/inn/OvConsOS_nokinds_noand_C.trs 0.304 4.215 60.0 60.0 1.855
TRS/TRCSR/inn/OvConsOS_nokinds_noand_GM.trs 0.178 1.303 60.0 60.0 1.535
TRS/TRCSR/inn/OvConsOS_nokinds_noand_iGM.trs 0.445 5.264 60.0 60.0 1.754
TRS/TRCSR/inn/OvConsOS_nosorts_C.trs 0.003 0.067 60.0 60.0 1.042
TRS/TRCSR/inn/OvConsOS_nosorts_GM.trs 0.0 0.011 0.376 0.414 0.815
TRS/TRCSR/inn/OvConsOS_nosorts_iGM.trs 0.008 0.072 60.0 60.0 1.045
TRS/TRCSR/inn/OvConsOS_nosorts_noand_C.trs 0.088 0.493 60.0 60.0 1.336
TRS/TRCSR/inn/OvConsOS_nosorts_noand_GM.trs 0.002 0.032 60.0 60.0 1.025
TRS/TRCSR/inn/OvConsOS_nosorts_noand_iGM.trs 0.112 0.648 60.0 60.0 1.384
TRS/TRCSR/inn/PALINDROME_complete_C.trs 0.827 7.078 60.0 60.0 1.787
TRS/TRCSR/inn/PALINDROME_complete_GM.trs 0.128 0.957 60.0 60.0 1.551
TRS/TRCSR/inn/PALINDROME_complete_iGM.trs 0.805 8.867 60.0 60.0 3.321
problem t e c r *
TRS/TRCSR/inn/PALINDROME_complete_noand_C.trs 2.702 37.723 60.0 60.0 4.144
TRS/TRCSR/inn/PALINDROME_complete_noand_GM.trs 0.355 4.03 60.0 60.0 1.779
TRS/TRCSR/inn/PALINDROME_complete_noand_iGM.trs 5.419 48.036 60.0 60.0 5.09
TRS/TRCSR/inn/PALINDROME_nokinds_C.trs 0.005 0.123 60.0 60.0 1.089
TRS/TRCSR/inn/PALINDROME_nokinds_GM.trs 0.0 0.032 60.0 60.0 1.014
TRS/TRCSR/inn/PALINDROME_nokinds_iGM.trs 0.077 0.29 60.0 60.0 1.179
TRS/TRCSR/inn/PALINDROME_nokinds_noand_C.trs 0.144 1.652 60.0 60.0 1.564
TRS/TRCSR/inn/PALINDROME_nokinds_noand_GM.trs 0.05 0.321 60.0 60.0 1.225
TRS/TRCSR/inn/PALINDROME_nokinds_noand_iGM.trs 0.308 2.424 60.0 60.0 1.729
TRS/TRCSR/inn/PALINDROME_nosorts_C.trs 0.0 0.012 60.0 60.0 1.002
TRS/TRCSR/inn/PALINDROME_nosorts_GM.trs 0.0 0.0 46.583 60.0 0.991
TRS/TRCSR/inn/PALINDROME_nosorts_iGM.trs 0.0 0.014 60.0 60.0 1.007
TRS/TRCSR/inn/PALINDROME_nosorts_noand_C.trs 0.0 0.032 60.0 60.0 1.015
TRS/TRCSR/inn/PALINDROME_nosorts_noand_GM.trs 0.0 0.013 60.0 60.0 0.994
TRS/TRCSR/inn/PALINDROME_nosorts_noand_iGM.trs 0.002 0.026 60.0 60.0 1.018
TRS/TRCSR/inn/PEANO_complete_C.trs 0.11 0.872 60.0 60.0 1.603
TRS/TRCSR/inn/PEANO_complete_GM.trs 0.098 0.329 60.0 60.0 1.223
TRS/TRCSR/inn/PEANO_complete_iGM.trs 0.262 1.598 60.0 60.0 1.544
TRS/TRCSR/inn/PEANO_complete_noand_C.trs 0.42 4.807 60.0 60.0 1.845
TRS/TRCSR/inn/PEANO_complete_noand_GM.trs 0.102 0.562 60.0 60.0 1.399
TRS/TRCSR/inn/PEANO_complete_noand_iGM.trs 0.48 9.887 60.0 60.0 1.906
TRS/TRCSR/inn/PEANO_nokinds_C.trs 0.009 0.126 60.0 60.0 1.078
TRS/TRCSR/inn/PEANO_nokinds_GM.trs 0.0 0.015 4.122 4.206 1.001
TRS/TRCSR/inn/PEANO_nokinds_iGM.trs 0.045 0.16 60.0 60.0 1.1
TRS/TRCSR/inn/PEANO_nokinds_noand_C.trs 0.055 0.345 60.0 60.0 1.224
problem t e c r *
TRS/TRCSR/inn/PEANO_nokinds_noand_GM.trs 0.001 0.036 27.189 23.276 1.024
TRS/TRCSR/inn/PEANO_nokinds_noand_iGM.trs 0.075 0.404 60.0 60.0 1.257
TRS/TRCSR/inn/PEANO_nosorts_C.trs 0.0 0.028 5.447 49.598 1.001
TRS/TRCSR/inn/PEANO_nosorts_GM.trs 0.0 0.0 0.135 0.068 0.132
TRS/TRCSR/inn/PEANO_nosorts_iGM.trs 0.0 0.006 4.416 21.085 1.001
TRS/TRCSR/inn/PEANO_nosorts_noand_C.trs 0.002 0.045 60.0 60.0 1.028
TRS/TRCSR/inn/PEANO_nosorts_noand_GM.trs 0.0 0.0 1.881 2.046 1.0
TRS/TRCSR/inn/PEANO_nosorts_noand_iGM.trs 0.003 0.054 60.0 60.0 1.033
Yes No Maybe Timeout