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.003 0.0 0.0 0.0 0.0
TRS/AG01/#4.13.trs 0.024 0.002 0.045 0.0 0.0
TRS/AG01/#4.14.trs 0.0 0.0 0.0 0.011 0.001
TRS/AG01/#4.15.trs 0.0 0.011 0.016 0.0 0.009
TRS/AG01/#4.16.trs 0.0 0.0 0.0 0.0 0.0
TRS/AG01/#4.17.trs 0.005 0.002 0.0 0.014 0.0
TRS/AG01/#4.18.trs 0.0 0.0 0.0 0.01 0.02
TRS/AG01/#4.19.trs 0.0 0.0 1.906 1.775 0.023
TRS/AG01/#4.20a.trs 0.0 0.0 0.0 0.0 0.0
TRS/AG01/#4.20.trs 0.005 0.0 0.0 0.0 0.0
TRS/AG01/#4.21.trs 0.013 0.009 0.012 0.001 0.0
TRS/AG01/#4.22.trs 0.0 0.0 0.0 0.0 0.0
TRS/AG01/#4.23.trs 0.0 0.0 0.0 0.0 0.022
TRS/AG01/#4.24.trs 0.0 0.001 0.039 60.0 0.024
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.0 0.0 0.015
TRS/AG01/#4.27.trs 0.0 0.0 0.091 0.044 0.095
TRS/AG01/#4.28.trs 0.003 0.0 0.0 0.004 0.018
TRS/AG01/#4.29.trs 0.0 0.0 1.456 1.46 0.987
TRS/AG01/#4.2.trs 0.0 0.0 0.0 0.0 0.0
TRS/AG01/#4.30a.trs 0.0 0.0 0.0 0.0 0.007
TRS/AG01/#4.30b.trs 0.0 0.011 0.014 0.004 0.005
TRS/AG01/#4.30.trs 0.0 0.0 0.008 0.0 0.005
TRS/AG01/#4.31.trs 0.0 0.0 0.002 0.006 0.02
TRS/AG01/#4.32.trs 0.0 0.0 0.013 0.014 0.003
problem t e c r *
TRS/AG01/#4.33.trs 0.0 0.0 5.154 5.069 0.985
TRS/AG01/#4.34.trs 0.0 0.0 0.273 0.231 0.348
TRS/AG01/#4.35.trs 0.013 0.016 60.0 60.0 1.009
TRS/AG01/#4.36.trs 0.006 0.0 60.0 60.0 0.989
TRS/AG01/#4.37a.trs 0.0 0.0 0.005 0.012 0.0
TRS/AG01/#4.37.trs 0.0 0.0 0.0 0.0 0.012
TRS/AG01/#4.3.trs 0.003 0.0 0.0 0.0 0.0
TRS/AG01/#4.4.trs 0.003 0.0 0.003 0.0 0.0
TRS/AG01/#4.5.trs 0.013 0.0 0.003 0.0 0.008
TRS/AG01/#4.7.trs 0.003 0.0 0.004 0.0 0.0
TRS/cariboo/tricky1.trs 0.004 0.0 0.036 0.0 0.0
TRS/currying/AG01/#4.10.trs 0.027 0.011 60.0 60.0 1.011
TRS/currying/AG01/#4.13.trs 0.046 0.016 60.0 60.0 1.017
TRS/currying/AG01/#4.15.trs 0.078 0.038 60.0 60.0 1.039
TRS/currying/AG01/#4.17.trs 0.051 0.026 60.0 60.0 1.026
TRS/currying/AG01/#4.19.trs 0.1 0.056 60.0 60.0 1.056
TRS/currying/AG01/#4.22.trs 0.051 0.028 60.0 60.0 1.028
TRS/currying/AG01/#4.24.trs 0.12 0.058 60.0 60.0 1.06
TRS/currying/AG01/#4.26.trs 0.091 0.051 60.0 60.0 1.053
TRS/currying/AG01/#4.28.trs 0.048 0.023 60.0 60.0 1.024
TRS/currying/AG01/#4.2.trs 0.048 0.018 60.0 60.0 1.021
TRS/currying/AG01/#4.34.trs 0.048 0.047 60.0 60.0 1.049
TRS/currying/AG01/#4.36.trs 0.269 0.347 60.0 60.0 1.367
TRS/currying/AG01/#4.3.trs 0.043 0.013 60.0 60.0 1.011
TRS/currying/AG01/#4.5.trs 0.0 0.005 60.0 60.0 1.007
problem t e c r *
TRS/currying/AG01/#4.7.trs 0.045 0.013 60.0 60.0 1.013
TRS/currying/AG01/#4.8.trs 0.059 0.033 60.0 60.0 1.032
TRS/HM/n001.trs 0.0 0.0 0.0 0.002 0.003
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.01 0.012 0.0
TRS/Rubio-inn/muladd.trs 0.0 0.0 0.0 0.006 0.0
TRS/Rubio-inn/test10.trs 0.006 0.0 0.0 0.0 0.0
TRS/Rubio-inn/test75.trs 0.0 0.0 0.0 0.0 0.0
TRS/Rubio-inn/test76.trs 0.0 0.0 0.0 0.0 0.005
TRS/Rubio-inn/test77.trs 0.0 0.0 0.0 0.0 0.013
TRS/Rubio-inn/test830.trs 0.0 0.0 0.026 0.008 0.007
TRS/Rubio-inn/test833.trs 0.003 0.0 0.0 0.0 0.004
TRS/Rubio-inn/test9.trs 0.002 0.0 0.0 0.013 0.0
TRS/Rubio-inn/toyama.trs 0.0 0.0 0.0 0.0 0.0
TRS/SchneiderKamp/inn/cade04.trs 0.01 0.0 0.007 0.0 0.019
TRS/SchneiderKamp/inn/cade05.trs 0.0 0.016 0.02 0.009 0.179
TRS/SchneiderKamp/inn/cade12.trs 0.01 0.0 0.388 0.347 0.701
TRS/SchneiderKamp/inn/cade13.trs 0.0 0.016 0.051 0.019 0.057
TRS/SchneiderKamp/inn/thiemann26i.trs 0.0 0.0 0.673 0.628 0.986
TRS/SchneiderKamp/inn/thiemann28i.trs 0.0 0.001 1.837 1.862 0.987
TRS/SchneiderKamp/inn/wiehe13.trs 0.0 0.005 60.0 60.0 0.995
TRS/SchneiderKamp/inn/wiehe14.trs 0.0 0.012 60.0 60.0 1.001
TRS/Thiemann/innermost1.trs 0.003 0.0 0.0 0.0 0.0
TRS/Thiemann/innermost2.trs 0.0 0.0 0.007 0.007 0.011
TRS/Thiemann/innermost3.trs 0.012 0.0 0.0 0.0 0.001
problem t e c r *
TRS/Thiemann/innermost4.trs 0.0 0.006 0.857 0.787 0.983
TRS/Thiemann/innermost5.trs 0.004 0.0 0.003 0.003 0.01
TRS/TRCSR/inn/Ex1_2_AEL03_C.trs 0.185 1.058 60.0 60.0 1.617
TRS/TRCSR/inn/Ex1_2_AEL03_GM.trs 0.08 0.176 12.382 13.433 1.152
TRS/TRCSR/inn/Ex1_2_AEL03_iGM.trs 0.193 0.86 60.0 60.0 1.587
TRS/TRCSR/inn/Ex1_2_Luc02c_C.trs 0.0 0.01 0.886 0.868 1.003
TRS/TRCSR/inn/Ex1_2_Luc02c_GM.trs 0.0 0.006 0.045 0.011 0.03
TRS/TRCSR/inn/Ex1_2_Luc02c_iGM.trs 0.0 0.007 1.264 1.26 1.001
TRS/TRCSR/inn/Ex14_AEGL02_C.trs 0.0 0.019 1.504 1.498 1.011
TRS/TRCSR/inn/Ex14_AEGL02_GM.trs 0.0 0.0 0.05 0.027 0.073
TRS/TRCSR/inn/Ex14_AEGL02_iGM.trs 0.0 0.024 2.465 2.495 1.012
TRS/TRCSR/inn/Ex14_Luc06_C.trs 0.0 0.015 2.483 2.495 1.001
TRS/TRCSR/inn/Ex14_Luc06_GM.trs 0.0 0.0 0.331 0.316 0.78
TRS/TRCSR/inn/Ex14_Luc06_iGM.trs 0.0 0.009 60.0 60.0 1.002
TRS/TRCSR/inn/Ex15_Luc06_C.trs 0.0 0.0 0.031 0.031 0.032
TRS/TRCSR/inn/Ex15_Luc06_GM.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex15_Luc06_iGM.trs 0.0 0.0 0.027 0.016 0.013
TRS/TRCSR/inn/Ex15_Luc98_C.trs 0.047 0.134 60.0 60.0 1.093
TRS/TRCSR/inn/Ex15_Luc98_GM.trs 0.0 0.006 4.556 4.618 1.0
TRS/TRCSR/inn/Ex15_Luc98_iGM.trs 0.08 0.206 60.0 60.0 1.139
TRS/TRCSR/inn/Ex16_Luc06_C.trs 0.0 0.0 0.129 0.117 0.161
TRS/TRCSR/inn/Ex16_Luc06_GM.trs 0.0 0.0 0.012 0.008 0.008
TRS/TRCSR/inn/Ex16_Luc06_iGM.trs 0.0 0.0 60.0 0.074 0.052
TRS/TRCSR/inn/Ex18_Luc06_C.trs 0.0 0.0 0.03 0.03 0.03
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.014 0.02 0.02
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.038 0.074 60.0 60.0 1.049
TRS/TRCSR/inn/Ex1_GL02a_GM.trs 0.0 0.001 0.217 0.208 0.428
TRS/TRCSR/inn/Ex1_GL02a_iGM.trs 0.04 0.105 60.0 60.0 1.078
TRS/TRCSR/inn/Ex1_GM03_C.trs 0.034 0.111 60.0 60.0 1.074
TRS/TRCSR/inn/Ex1_GM03_GM.trs 0.0 0.018 4.821 4.808 1.008
TRS/TRCSR/inn/Ex1_GM03_iGM.trs 0.059 0.122 60.0 60.0 1.084
TRS/TRCSR/inn/Ex1_GM99_C.trs 0.0 0.0 27.602 27.619 0.988
TRS/TRCSR/inn/Ex1_GM99_GM.trs 0.0 0.0 0.136 0.083 0.13
TRS/TRCSR/inn/Ex1_GM99_iGM.trs 0.0 0.0 14.244 14.188 0.976
TRS/TRCSR/inn/Ex1_Luc02b_C.trs 0.041 0.087 60.0 60.0 1.058
TRS/TRCSR/inn/Ex1_Luc02b_GM.trs 0.0 0.008 0.228 0.232 0.469
TRS/TRCSR/inn/Ex1_Luc02b_iGM.trs 0.04 0.077 60.0 60.0 1.054
TRS/TRCSR/inn/Ex1_Luc04b_C.trs 0.038 0.057 8.363 60.0 1.034
TRS/TRCSR/inn/Ex1_Luc04b_GM.trs 0.0 0.014 0.112 60.0 0.628
TRS/TRCSR/inn/Ex1_Luc04b_iGM.trs 0.037 0.063 14.935 60.0 1.1
TRS/TRCSR/inn/Ex1_Zan97_C.trs 0.0 0.0 0.043 0.056 0.061
TRS/TRCSR/inn/Ex1_Zan97_GM.trs 0.0 0.002 0.0 0.001 0.002
TRS/TRCSR/inn/Ex1_Zan97_iGM.trs 0.021 0.0 0.023 0.021 0.022
TRS/TRCSR/inn/Ex23_Luc06_C.trs 0.002 0.0 0.136 0.17 0.154
TRS/TRCSR/inn/Ex23_Luc06_GM.trs 0.0 0.0 0.003 0.0 0.001
TRS/TRCSR/inn/Ex23_Luc06_iGM.trs 0.021 0.0 0.079 0.113 0.118
TRS/TRCSR/inn/Ex23_Luc06_L.trs 0.0 0.0 0.0 0.0 0.003
TRS/TRCSR/inn/Ex24_GM04_C.trs 0.028 0.0 60.0 60.0 1.002
problem t e c r *
TRS/TRCSR/inn/Ex24_GM04_GM.trs 0.0 0.0 0.095 0.055 0.083
TRS/TRCSR/inn/Ex24_GM04_iGM.trs 0.0 0.005 60.0 60.0 0.992
TRS/TRCSR/inn/Ex24_Luc06_C.trs 0.0 0.0 3.16 3.152 0.988
TRS/TRCSR/inn/Ex24_Luc06_GM.trs 0.0 0.0 0.055 0.019 0.034
TRS/TRCSR/inn/Ex24_Luc06_iGM.trs 0.0 0.0 4.992 5.1 0.487
TRS/TRCSR/inn/Ex25_Luc06_C.trs 0.0 0.01 0.126 60.0 0.552
TRS/TRCSR/inn/Ex25_Luc06_GM.trs 0.0 0.0 0.013 0.02 0.017
TRS/TRCSR/inn/Ex25_Luc06_iGM.trs 0.0 0.011 0.123 0.113 0.148
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.071 0.276 60.0 60.0 1.18
TRS/TRCSR/inn/Ex26_Luc03b_GM.trs 0.0 0.017 0.488 0.477 0.997
TRS/TRCSR/inn/Ex26_Luc03b_iGM.trs 0.099 0.264 60.0 60.0 1.176
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.107 0.31 60.0 60.0 1.208
TRS/TRCSR/inn/Ex2_Luc02a_GM.trs 0.002 0.032 0.973 0.989 1.031
TRS/TRCSR/inn/Ex2_Luc02a_iGM.trs 0.095 0.285 60.0 60.0 1.193
TRS/TRCSR/inn/Ex2_Luc02a_L.trs 0.0 0.0 0.0 0.015 0.006
TRS/TRCSR/inn/Ex2_Luc03b_C.trs 0.058 0.121 60.0 60.0 1.083
TRS/TRCSR/inn/Ex2_Luc03b_GM.trs 0.0 0.014 0.237 0.242 0.512
TRS/TRCSR/inn/Ex2_Luc03b_iGM.trs 0.046 0.118 60.0 60.0 1.081
TRS/TRCSR/inn/Ex2_Luc03b_L.trs 0.0 0.0 0.0 0.0 0.003
TRS/TRCSR/inn/Ex3_12_Luc96a_C.trs 0.029 0.028 3.274 3.267 1.016
TRS/TRCSR/inn/Ex3_12_Luc96a_GM.trs 0.0 0.0 0.048 0.043 0.113
TRS/TRCSR/inn/Ex3_12_Luc96a_iGM.trs 0.0 0.024 8.256 8.304 1.013
TRS/TRCSR/inn/Ex3_2_Luc97_C.trs 0.057 0.123 60.0 60.0 1.09
problem t e c r *
TRS/TRCSR/inn/Ex3_2_Luc97_GM.trs 0.0 0.015 0.264 0.266 0.564
TRS/TRCSR/inn/Ex3_2_Luc97_iGM.trs 0.055 0.162 60.0 60.0 1.105
TRS/TRCSR/inn/Ex3_3_25_Bor03_C.trs 0.062 0.16 60.0 60.0 1.103
TRS/TRCSR/inn/Ex3_3_25_Bor03_GM.trs 0.0 0.006 0.25 0.25 0.536
TRS/TRCSR/inn/Ex3_3_25_Bor03_iGM.trs 0.06 0.141 60.0 60.0 1.102
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.012 0.0 0.129 0.133 0.2
TRS/TRCSR/inn/Ex4_4_Luc96b_GM.trs 0.0 0.0 0.011 0.006 0.001
TRS/TRCSR/inn/Ex4_4_Luc96b_iGM.trs 0.0 0.0 0.028 0.025 0.059
TRS/TRCSR/inn/Ex4_4_Luc96b_L.trs 0.0 0.0 0.0 0.0 0.003
TRS/TRCSR/inn/Ex4_7_15_Bor03_C.trs 0.007 0.023 1.748 21.826 1.008
TRS/TRCSR/inn/Ex4_7_15_Bor03_GM.trs 0.0 0.0 0.042 0.025 0.016
TRS/TRCSR/inn/Ex4_7_15_Bor03_iGM.trs 0.0 0.019 2.223 3.54 1.007
TRS/TRCSR/inn/Ex4_7_15_Bor03_L.trs 0.0 0.0 0.004 0.0 0.0
TRS/TRCSR/inn/Ex4_7_37_Bor03_C.trs 0.102 0.332 60.0 60.0 1.235
TRS/TRCSR/inn/Ex4_7_37_Bor03_GM.trs 0.004 0.051 2.248 2.263 1.045
TRS/TRCSR/inn/Ex4_7_37_Bor03_iGM.trs 0.101 0.294 60.0 60.0 1.208
TRS/TRCSR/inn/Ex4_7_56_Bor03_C.trs 0.0 0.028 3.393 3.533 1.016
TRS/TRCSR/inn/Ex4_7_56_Bor03_GM.trs 0.0 0.0 0.058 0.049 0.12
TRS/TRCSR/inn/Ex4_7_56_Bor03_iGM.trs 0.0 0.041 9.572 9.555 1.014
TRS/TRCSR/inn/Ex4_7_77_Bor03_C.trs 0.0 0.0 0.331 60.0 0.773
TRS/TRCSR/inn/Ex4_7_77_Bor03_GM.trs 0.0 0.0 0.015 0.012 0.019
TRS/TRCSR/inn/Ex4_7_77_Bor03_iGM.trs 0.0 0.0 0.296 1.574 0.72
TRS/TRCSR/inn/Ex49_GM04_C.trs 0.009 0.061 60.0 60.0 1.041
TRS/TRCSR/inn/Ex49_GM04_GM.trs 0.0 0.0 2.348 2.328 0.992
problem t e c r *
TRS/TRCSR/inn/Ex49_GM04_iGM.trs 0.052 0.121 60.0 60.0 1.076
TRS/TRCSR/inn/Ex4_DLMMU04_C.trs 0.152 0.759 60.0 60.0 1.493
TRS/TRCSR/inn/Ex4_DLMMU04_GM.trs 0.051 0.112 60.0 60.0 1.075
TRS/TRCSR/inn/Ex4_DLMMU04_iGM.trs 0.179 1.008 60.0 60.0 1.606
TRS/TRCSR/inn/Ex4_Zan97_C.trs 0.039 0.07 9.984 9.804 1.043
TRS/TRCSR/inn/Ex4_Zan97_GM.trs 0.0 0.012 0.09 0.092 0.209
TRS/TRCSR/inn/Ex4_Zan97_iGM.trs 0.004 0.061 22.083 21.985 1.04
TRS/TRCSR/inn/Ex5_7_Luc97_C.trs 0.138 0.568 60.0 60.0 1.375
TRS/TRCSR/inn/Ex5_7_Luc97_GM.trs 0.043 0.095 21.028 24.757 1.082
TRS/TRCSR/inn/Ex5_7_Luc97_iGM.trs 0.152 0.73 60.0 60.0 1.502
TRS/TRCSR/inn/Ex5_DLMMU04_C.trs 0.118 0.393 60.0 60.0 1.265
TRS/TRCSR/inn/Ex5_DLMMU04_GM.trs 0.004 0.046 1.57 1.557 1.042
TRS/TRCSR/inn/Ex5_DLMMU04_iGM.trs 0.115 0.37 60.0 60.0 1.247
TRS/TRCSR/inn/Ex5_Zan97_C.trs 0.0 0.005 60.0 60.0 0.996
TRS/TRCSR/inn/Ex5_Zan97_GM.trs 0.0 0.0 0.362 60.0 0.841
TRS/TRCSR/inn/Ex5_Zan97_iGM.trs 0.0 0.01 60.0 60.0 1.037
TRS/TRCSR/inn/Ex6_15_AEL02_C.trs 1.117 2.779 60.0 60.0 1.677
TRS/TRCSR/inn/Ex6_15_AEL02_GM.trs 0.115 0.333 17.097 17.324 1.289
TRS/TRCSR/inn/Ex6_15_AEL02_iGM.trs 0.269 1.705 60.0 60.0 1.696
TRS/TRCSR/inn/Ex6_9_Luc02c_C.trs 0.003 0.048 5.9 9.678 1.03
TRS/TRCSR/inn/Ex6_9_Luc02c_GM.trs 0.0 0.0 0.11 0.096 0.174
TRS/TRCSR/inn/Ex6_9_Luc02c_iGM.trs 0.001 0.038 19.702 18.675 1.023
TRS/TRCSR/inn/Ex6_GM04_C.trs 0.0 0.0 0.06 0.053 0.033
TRS/TRCSR/inn/Ex6_GM04_GM.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex6_GM04_iGM.trs 0.0 0.0 0.015 0.011 0.001
problem t e c r *
TRS/TRCSR/inn/Ex6_Luc98_C.trs 0.011 0.034 60.0 60.0 1.021
TRS/TRCSR/inn/Ex6_Luc98_GM.trs 0.0 0.0 0.065 0.05 0.119
TRS/TRCSR/inn/Ex6_Luc98_iGM.trs 0.0 0.026 55.686 52.179 1.015
TRS/TRCSR/inn/Ex6_Luc98_L.trs 0.0 0.0 0.0 0.0 0.003
TRS/TRCSR/inn/Ex7_BLR02_C.trs 0.074 0.179 60.0 60.0 1.123
TRS/TRCSR/inn/Ex7_BLR02_GM.trs 0.0 0.025 0.61 0.611 1.017
TRS/TRCSR/inn/Ex7_BLR02_iGM.trs 0.063 0.169 60.0 60.0 1.126
TRS/TRCSR/inn/Ex8_BLR02_C.trs 0.076 0.173 41.363 45.72 1.112
TRS/TRCSR/inn/Ex8_BLR02_GM.trs 0.0 0.016 0.544 0.527 1.013
TRS/TRCSR/inn/Ex8_BLR02_iGM.trs 0.061 0.152 60.0 60.0 1.102
TRS/TRCSR/inn/Ex9_BLR02_C.trs 0.059 0.148 60.0 60.0 1.096
TRS/TRCSR/inn/Ex9_BLR02_GM.trs 0.0 0.009 3.769 5.746 1.031
TRS/TRCSR/inn/Ex9_BLR02_iGM.trs 0.139 0.372 60.0 60.0 1.237
TRS/TRCSR/inn/Ex9_BLR02_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex9_Luc04_C.trs 0.014 0.0 60.0 60.0 0.992
TRS/TRCSR/inn/Ex9_Luc04_GM.trs 0.016 0.0 0.166 0.122 0.258
TRS/TRCSR/inn/Ex9_Luc04_iGM.trs 0.0 0.0 11.655 11.905 1.02
TRS/TRCSR/inn/Ex9_Luc06_C.trs 0.037 0.003 18.206 60.0 0.987
TRS/TRCSR/inn/Ex9_Luc06_GM.trs 0.0 0.0 0.073 0.032 0.072
TRS/TRCSR/inn/Ex9_Luc06_iGM.trs 0.0 0.0 60.0 60.0 0.43
TRS/TRCSR/inn/ExAppendixB_AEL03_C.trs 0.211 1.386 60.0 60.0 1.641
TRS/TRCSR/inn/ExAppendixB_AEL03_GM.trs 0.097 0.247 28.865 26.074 1.215
TRS/TRCSR/inn/ExAppendixB_AEL03_iGM.trs 0.342 3.073 60.0 60.0 1.742
TRS/TRCSR/inn/ExConc_Zan97_C.trs 0.0 0.0 0.027 0.037 0.038
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.019 0.015 0.026
TRS/TRCSR/inn/ExConc_Zan97_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/ExIntrod_GM01_C.trs 0.052 0.097 29.305 60.0 1.059
TRS/TRCSR/inn/ExIntrod_GM01_GM.trs 0.001 0.016 0.216 60.0 0.728
TRS/TRCSR/inn/ExIntrod_GM01_iGM.trs 0.046 0.106 60.0 60.0 1.162
TRS/TRCSR/inn/ExIntrod_GM04_C.trs 0.058 0.121 10.514 60.0 1.031
TRS/TRCSR/inn/ExIntrod_GM04_GM.trs 0.0 0.004 0.1 0.324 0.444
TRS/TRCSR/inn/ExIntrod_GM04_iGM.trs 0.04 0.154 17.218 31.212 1.04
TRS/TRCSR/inn/ExIntrod_GM99_C.trs 0.119 0.466 60.0 60.0 1.31
TRS/TRCSR/inn/ExIntrod_GM99_GM.trs 0.038 0.058 60.0 60.0 1.049
TRS/TRCSR/inn/ExIntrod_GM99_iGM.trs 0.125 0.466 60.0 60.0 1.309
TRS/TRCSR/inn/ExIntrod_Zan97_C.trs 0.085 0.228 60.0 60.0 1.156
TRS/TRCSR/inn/ExIntrod_Zan97_GM.trs 0.003 0.04 19.148 15.427 1.034
TRS/TRCSR/inn/ExIntrod_Zan97_iGM.trs 0.086 0.253 60.0 60.0 1.171
TRS/TRCSR/inn/ExProp7_Luc06_C.trs 0.0 0.04 1.841 23.622 1.008
TRS/TRCSR/inn/ExProp7_Luc06_GM.trs 0.0 0.018 0.078 0.032 0.068
TRS/TRCSR/inn/ExProp7_Luc06_iGM.trs 0.003 0.012 2.392 4.985 1.006
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.127 0.445 60.0 60.0 1.296
TRS/TRCSR/inn/ExSec11_1_Luc02a_GM.trs 0.039 0.063 4.948 3.463 1.053
TRS/TRCSR/inn/ExSec11_1_Luc02a_iGM.trs 0.123 0.439 60.0 60.0 1.302
TRS/TRCSR/inn/ExSec11_1_Luc02a_L.trs 0.0 0.017 0.0 0.005 0.004
TRS/TRCSR/inn/ExSec4_2_DLMMU04_C.trs 0.181 1.179 60.0 60.0 1.632
TRS/TRCSR/inn/ExSec4_2_DLMMU04_GM.trs 0.099 0.223 60.0 60.0 1.195
TRS/TRCSR/inn/ExSec4_2_DLMMU04_iGM.trs 0.197 1.097 60.0 60.0 1.628
problem t e c r *
TRS/TRCSR/inn/LengthOfFiniteLists_complete_C.trs 0.431 3.758 60.0 60.0 1.865
TRS/TRCSR/inn/LengthOfFiniteLists_complete_GM.trs 0.304 1.406 60.0 60.0 1.716
TRS/TRCSR/inn/LengthOfFiniteLists_complete_iGM.trs 0.949 5.278 60.0 60.0 2.055
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_C.trs 2.076 23.722 60.0 60.0 4.011
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_GM.trs 0.333 2.252 60.0 60.0 1.75
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_iGM.trs 2.557 29.001 60.0 60.0 4.005
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_C.trs 0.067 0.182 60.0 60.0 1.123
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_GM.trs 0.004 0.022 1.499 1.508 1.009
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_iGM.trs 0.102 0.285 60.0 60.0 1.18
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_C.trs 0.195 1.049 60.0 60.0 1.618
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_GM.trs 0.06 0.139 60.0 60.0 1.105
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_iGM.trs 0.24 1.353 60.0 60.0 1.658
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_C.trs 0.0 0.023 9.999 60.0 1.072
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_GM.trs 0.0 0.0 0.117 0.12 0.242
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_iGM.trs 0.003 0.028 9.643 18.448 1.016
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_C.trs 0.039 0.06 13.846 60.0 1.035
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_GM.trs 0.0 0.0 0.343 0.329 0.669
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_iGM.trs 0.054 0.068 29.143 60.0 1.046
TRS/TRCSR/inn/LISTUTILITIES_complete_C.trs 13.587 60.0 60.0 60.0 11.209
TRS/TRCSR/inn/LISTUTILITIES_complete_GM.trs 2.576 21.168 60.0 60.0 4.021
TRS/TRCSR/inn/LISTUTILITIES_complete_iGM.trs 17.83 60.0 60.0 60.0 19.365
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 33.111 60.0 60.0 60.0 33.907
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 1.302 15.723 60.0 60.0 2.715
problem t e c r *
TRS/TRCSR/inn/LISTUTILITIES_nokinds_GM.trs 0.341 1.895 60.0 60.0 1.774
TRS/TRCSR/inn/LISTUTILITIES_nokinds_iGM.trs 1.337 18.511 60.0 60.0 2.765
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_C.trs 6.799 60.0 60.0 60.0 10.672
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_GM.trs 1.542 9.503 60.0 60.0 2.993
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_iGM.trs 7.557 60.0 60.0 60.0 8.992
TRS/TRCSR/inn/LISTUTILITIES_nosorts_C.trs 0.258 1.729 60.0 60.0 1.687
TRS/TRCSR/inn/LISTUTILITIES_nosorts_GM.trs 0.129 0.326 60.0 60.0 1.281
TRS/TRCSR/inn/LISTUTILITIES_nosorts_iGM.trs 0.264 1.679 60.0 60.0 1.866
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_C.trs 4.03 14.744 60.0 60.0 3.114
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_GM.trs 0.46 1.952 60.0 60.0 1.879
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_iGM.trs 2.109 15.741 60.0 60.0 2.981
TRS/TRCSR/inn/MYNAT_complete_C.trs 0.399 3.564 60.0 60.0 2.076
TRS/TRCSR/inn/MYNAT_complete_GM.trs 0.302 1.4 60.0 60.0 1.36
TRS/TRCSR/inn/MYNAT_complete_iGM.trs 0.483 4.607 60.0 60.0 1.908
TRS/TRCSR/inn/MYNAT_complete_noand_C.trs 3.001 29.406 60.0 60.0 4.495
TRS/TRCSR/inn/MYNAT_complete_noand_GM.trs 0.478 4.937 60.0 60.0 2.11
TRS/TRCSR/inn/MYNAT_complete_noand_iGM.trs 2.981 34.932 60.0 60.0 4.411
TRS/TRCSR/inn/MYNAT_nokinds_C.trs 0.133 0.538 60.0 60.0 1.352
TRS/TRCSR/inn/MYNAT_nokinds_GM.trs 0.049 0.081 34.536 34.654 1.059
TRS/TRCSR/inn/MYNAT_nokinds_iGM.trs 0.144 0.682 60.0 60.0 1.419
TRS/TRCSR/inn/MYNAT_nokinds_noand_C.trs 0.253 1.741 60.0 60.0 1.684
TRS/TRCSR/inn/MYNAT_nokinds_noand_GM.trs 0.093 0.255 60.0 60.0 1.199
TRS/TRCSR/inn/MYNAT_nokinds_noand_iGM.trs 0.303 2.049 60.0 60.0 1.697
TRS/TRCSR/inn/MYNAT_nosorts_C.trs 0.046 0.052 40.461 41.798 1.035
TRS/TRCSR/inn/MYNAT_nosorts_GM.trs 0.0 0.0 0.215 0.203 0.436
problem t e c r *
TRS/TRCSR/inn/MYNAT_nosorts_iGM.trs 0.041 0.047 60.0 60.0 1.238
TRS/TRCSR/inn/MYNAT_nosorts_noand_C.trs 0.393 1.385 60.0 60.0 1.5
TRS/TRCSR/inn/MYNAT_nosorts_noand_GM.trs 0.009 0.028 24.916 27.574 1.085
TRS/TRCSR/inn/MYNAT_nosorts_noand_iGM.trs 0.133 0.347 60.0 60.0 1.229
TRS/TRCSR/inn/OvConsOS_complete_C.trs 0.987 10.083 60.0 60.0 2.419
TRS/TRCSR/inn/OvConsOS_complete_GM.trs 0.257 1.38 60.0 60.0 1.831
TRS/TRCSR/inn/OvConsOS_complete_iGM.trs 3.27 13.743 60.0 60.0 2.784
TRS/TRCSR/inn/OvConsOS_complete_noand_C.trs 9.204 60.0 60.0 60.0 12.392
TRS/TRCSR/inn/OvConsOS_complete_noand_GM.trs 1.102 7.86 60.0 60.0 4.047
TRS/TRCSR/inn/OvConsOS_complete_noand_iGM.trs 8.74 60.0 60.0 60.0 10.016
TRS/TRCSR/inn/OvConsOS_nokinds_C.trs 0.156 0.709 60.0 60.0 1.464
TRS/TRCSR/inn/OvConsOS_nokinds_GM.trs 0.051 0.092 60.0 60.0 1.061
TRS/TRCSR/inn/OvConsOS_nokinds_iGM.trs 0.189 1.028 60.0 60.0 1.601
TRS/TRCSR/inn/OvConsOS_nokinds_noand_C.trs 0.505 4.276 60.0 60.0 2.299
TRS/TRCSR/inn/OvConsOS_nokinds_noand_GM.trs 0.281 1.409 60.0 60.0 1.411
TRS/TRCSR/inn/OvConsOS_nokinds_noand_iGM.trs 0.652 5.683 60.0 60.0 1.971
TRS/TRCSR/inn/OvConsOS_nosorts_C.trs 0.049 0.081 60.0 60.0 1.05
TRS/TRCSR/inn/OvConsOS_nosorts_GM.trs 0.0 0.013 0.374 0.416 0.817
TRS/TRCSR/inn/OvConsOS_nosorts_iGM.trs 0.051 0.082 60.0 60.0 1.059
TRS/TRCSR/inn/OvConsOS_nosorts_noand_C.trs 0.137 0.519 60.0 60.0 1.36
TRS/TRCSR/inn/OvConsOS_nosorts_noand_GM.trs 0.011 0.038 60.0 60.0 1.031
TRS/TRCSR/inn/OvConsOS_nosorts_noand_iGM.trs 0.163 0.69 60.0 60.0 1.435
TRS/TRCSR/inn/PALINDROME_complete_C.trs 0.666 9.105 60.0 60.0 2.107
TRS/TRCSR/inn/PALINDROME_complete_GM.trs 0.215 1.031 60.0 60.0 1.633
TRS/TRCSR/inn/PALINDROME_complete_iGM.trs 1.133 9.103 60.0 60.0 2.614
problem t e c r *
TRS/TRCSR/inn/PALINDROME_complete_noand_C.trs 4.38 37.262 60.0 60.0 5.037
TRS/TRCSR/inn/PALINDROME_complete_noand_GM.trs 0.545 4.229 60.0 60.0 1.964
TRS/TRCSR/inn/PALINDROME_complete_noand_iGM.trs 8.544 48.77 60.0 60.0 6.016
TRS/TRCSR/inn/PALINDROME_nokinds_C.trs 0.086 0.146 60.0 60.0 1.096
TRS/TRCSR/inn/PALINDROME_nokinds_GM.trs 0.044 0.039 60.0 60.0 1.024
TRS/TRCSR/inn/PALINDROME_nokinds_iGM.trs 0.125 0.323 60.0 60.0 1.209
TRS/TRCSR/inn/PALINDROME_nokinds_noand_C.trs 0.279 1.766 60.0 60.0 1.7
TRS/TRCSR/inn/PALINDROME_nokinds_noand_GM.trs 0.118 0.356 60.0 60.0 1.263
TRS/TRCSR/inn/PALINDROME_nokinds_noand_iGM.trs 0.427 3.639 60.0 60.0 1.849
TRS/TRCSR/inn/PALINDROME_nosorts_C.trs 0.001 0.041 60.0 60.0 1.004
TRS/TRCSR/inn/PALINDROME_nosorts_GM.trs 0.0 0.0 47.044 60.0 0.992
TRS/TRCSR/inn/PALINDROME_nosorts_iGM.trs 0.004 0.017 60.0 60.0 1.01
TRS/TRCSR/inn/PALINDROME_nosorts_noand_C.trs 0.01 0.033 60.0 60.0 1.02
TRS/TRCSR/inn/PALINDROME_nosorts_noand_GM.trs 0.0 0.008 60.0 60.0 1.001
TRS/TRCSR/inn/PALINDROME_nosorts_noand_iGM.trs 0.042 0.031 60.0 60.0 1.02
TRS/TRCSR/inn/PEANO_complete_C.trs 0.178 0.914 60.0 60.0 1.59
TRS/TRCSR/inn/PEANO_complete_GM.trs 0.07 0.135 60.0 60.0 1.09
TRS/TRCSR/inn/PEANO_complete_iGM.trs 0.199 1.188 60.0 60.0 1.728
TRS/TRCSR/inn/PEANO_complete_noand_C.trs 1.604 4.996 60.0 60.0 2.042
TRS/TRCSR/inn/PEANO_complete_noand_GM.trs 0.147 0.594 60.0 60.0 1.438
TRS/TRCSR/inn/PEANO_complete_noand_iGM.trs 0.683 6.21 60.0 60.0 3.095
TRS/TRCSR/inn/PEANO_nokinds_C.trs 0.067 0.136 60.0 60.0 1.09
TRS/TRCSR/inn/PEANO_nokinds_GM.trs 0.002 0.015 4.146 4.069 1.005
TRS/TRCSR/inn/PEANO_nokinds_iGM.trs 0.064 0.173 60.0 60.0 1.122
TRS/TRCSR/inn/PEANO_nokinds_noand_C.trs 0.115 0.367 60.0 60.0 1.251
problem t e c r *
TRS/TRCSR/inn/PEANO_nokinds_noand_GM.trs 0.01 0.048 23.394 27.114 1.031
TRS/TRCSR/inn/PEANO_nokinds_noand_iGM.trs 0.126 0.435 60.0 60.0 1.292
TRS/TRCSR/inn/PEANO_nosorts_C.trs 0.002 0.011 3.854 50.433 1.005
TRS/TRCSR/inn/PEANO_nosorts_GM.trs 0.0 0.0 0.06 0.07 0.134
TRS/TRCSR/inn/PEANO_nosorts_iGM.trs 0.003 0.013 4.443 17.295 1.007
TRS/TRCSR/inn/PEANO_nosorts_noand_C.trs 0.012 0.05 60.0 60.0 1.035
TRS/TRCSR/inn/PEANO_nosorts_noand_GM.trs 0.0 0.0 1.882 2.069 0.994
TRS/TRCSR/inn/PEANO_nosorts_noand_iGM.trs 0.122 0.19 60.0 60.0 1.138
Yes No Maybe Timeout