DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for TRSs

problem t e c r *
TRS/AG01/#4.12a.trs 1.005 0.0 0.013 0.014 0.031
TRS/AG01/#4.13.trs 0.0 0.01 0.0 0.0 0.0
TRS/AG01/#4.14.trs 0.002 0.0 0.0 0.0 0.004
TRS/AG01/#4.15.trs 0.023 0.0 0.267 0.261 0.542
TRS/AG01/#4.16.trs 0.015 0.0 0.0 0.0 0.0
TRS/AG01/#4.17.trs 0.0 0.0 0.074 0.067 0.132
TRS/AG01/#4.18.trs 0.015 0.0 0.0 0.01 0.011
TRS/AG01/#4.19.trs 0.016 0.0 1.789 1.815 0.034
TRS/AG01/#4.20a.trs 0.0 0.0 0.0 0.0 0.0
TRS/AG01/#4.20.trs 0.0 0.0 0.0 0.0 0.0
TRS/AG01/#4.21.trs 0.003 0.0 0.0 0.0 0.0
TRS/AG01/#4.22.trs 0.006 0.0 0.004 0.0 0.003
TRS/AG01/#4.23.trs 0.01 0.007 0.024 0.028 0.049
TRS/AG01/#4.24.trs 0.009 0.0 0.019 60.0 0.018
TRS/AG01/#4.25.trs 0.0 0.0 0.0 0.0 0.0
TRS/AG01/#4.26.trs 0.005 0.0 0.05 0.053 0.109
TRS/AG01/#4.27.trs 0.024 0.0 0.053 0.052 0.108
TRS/AG01/#4.28.trs 0.018 0.0 0.003 0.0 0.0
TRS/AG01/#4.29.trs 0.065 0.042 1.5 1.523 1.057
TRS/AG01/#4.2.trs 0.009 0.0 0.039 0.03 0.026
TRS/AG01/#4.30a.trs 0.031 0.004 0.013 0.012 0.023
TRS/AG01/#4.30b.trs 0.029 0.01 0.135 0.135 0.262
TRS/AG01/#4.30.trs 0.026 0.008 0.122 0.121 0.247
TRS/AG01/#4.31.trs 0.009 0.0 0.0 0.004 0.005
TRS/AG01/#4.32.trs 0.019 0.0 0.02 0.005 0.001
problem t e c r *
TRS/AG01/#4.33.trs 0.021 0.009 60.0 60.0 1.012
TRS/AG01/#4.34.trs 0.001 0.0 0.242 0.244 0.368
TRS/AG01/#4.35.trs 0.183 0.328 60.0 60.0 1.212
TRS/AG01/#4.36.trs 0.101 0.093 60.0 60.0 1.103
TRS/AG01/#4.37a.trs 0.003 0.0 0.022 0.0 0.0
TRS/AG01/#4.37.trs 0.003 0.0 0.002 0.0 0.0
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.0 0.0
TRS/AG01/#4.5.trs 0.0 0.0 0.0 0.0 0.0
TRS/AG01/#4.7.trs 0.0 0.0 0.0 0.0 0.0
TRS/cariboo/tricky1.trs 0.012 0.0 0.011 0.006 0.0
TRS/currying/AG01/#4.10.trs 0.05 0.034 60.0 60.0 1.04
TRS/currying/AG01/#4.13.trs 0.044 0.045 60.0 60.0 1.046
TRS/currying/AG01/#4.15.trs 0.086 0.168 60.0 60.0 1.164
TRS/currying/AG01/#4.17.trs 0.065 0.119 60.0 60.0 1.129
TRS/currying/AG01/#4.19.trs 0.11 0.169 60.0 60.0 1.175
TRS/currying/AG01/#4.22.trs 0.093 0.097 60.0 60.0 1.111
TRS/currying/AG01/#4.24.trs 0.127 0.173 60.0 60.0 1.167
TRS/currying/AG01/#4.26.trs 0.105 0.166 60.0 60.0 1.177
TRS/currying/AG01/#4.28.trs 0.068 0.105 60.0 60.0 1.106
TRS/currying/AG01/#4.2.trs 0.069 0.072 60.0 60.0 1.077
TRS/currying/AG01/#4.34.trs 0.092 0.166 60.0 60.0 1.169
TRS/currying/AG01/#4.36.trs 0.348 0.9 60.0 60.0 1.914
TRS/currying/AG01/#4.3.trs 0.06 0.039 60.0 60.0 1.04
TRS/currying/AG01/#4.5.trs 0.032 0.028 60.0 60.0 1.028
problem t e c r *
TRS/currying/AG01/#4.7.trs 0.046 0.038 60.0 60.0 1.044
TRS/currying/AG01/#4.8.trs 0.071 0.13 60.0 60.0 1.122
TRS/HM/n001.trs 0.01 0.0 0.01 0.0 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.0 0.0
TRS/Rubio-inn/muladd.trs 0.006 0.0 0.0 0.0 0.0
TRS/Rubio-inn/test10.trs 0.0 0.0 0.038 0.032 0.038
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.03 0.026 0.059
TRS/Rubio-inn/test77.trs 0.011 0.0 0.032 0.028 0.065
TRS/Rubio-inn/test830.trs 0.014 0.0 0.018 0.004 0.0
TRS/Rubio-inn/test833.trs 0.0 0.0 0.0 0.0 0.0
TRS/Rubio-inn/test9.trs 0.0 0.0 0.0 0.0 0.006
TRS/Rubio-inn/toyama.trs 0.0 0.0 0.0 0.0 0.0
TRS/SchneiderKamp/inn/cade04.trs 0.003 0.0 0.016 0.01 0.029
TRS/SchneiderKamp/inn/cade05.trs 0.011 0.005 0.216 0.201 0.385
TRS/SchneiderKamp/inn/cade12.trs 0.068 0.063 0.961 0.975 1.068
TRS/SchneiderKamp/inn/cade13.trs 0.032 0.021 4.714 4.681 1.045
TRS/SchneiderKamp/inn/thiemann26i.trs 0.022 0.016 31.861 32.17 1.021
TRS/SchneiderKamp/inn/thiemann28i.trs 0.015 0.012 1.894 1.892 1.023
TRS/SchneiderKamp/inn/wiehe13.trs 0.113 0.115 60.0 60.0 1.116
TRS/SchneiderKamp/inn/wiehe14.trs 0.232 0.208 60.0 60.0 1.218
TRS/Thiemann/innermost1.trs 0.005 0.0 0.0 0.0 0.0
TRS/Thiemann/innermost2.trs 0.007 0.0 0.0 0.0 0.0
TRS/Thiemann/innermost3.trs 0.0 0.0 0.0 0.0 0.0
problem t e c r *
TRS/Thiemann/innermost4.trs 0.004 0.0 0.795 0.805 1.002
TRS/Thiemann/innermost5.trs 0.026 0.0 0.097 0.096 0.193
TRS/TRCSR/inn/Ex1_2_AEL03_C.trs 5.129 6.085 60.0 60.0 6.596
TRS/TRCSR/inn/Ex1_2_AEL03_GM.trs 0.068 0.218 12.616 12.501 1.212
TRS/TRCSR/inn/Ex1_2_AEL03_iGM.trs 3.6 3.87 60.0 60.0 4.591
TRS/TRCSR/inn/Ex1_2_Luc02c_C.trs 0.273 0.276 1.146 1.147 1.278
TRS/TRCSR/inn/Ex1_2_Luc02c_GM.trs 0.0 0.0 0.033 0.014 0.036
TRS/TRCSR/inn/Ex1_2_Luc02c_iGM.trs 0.177 0.168 1.391 1.4 1.171
TRS/TRCSR/inn/Ex14_AEGL02_C.trs 0.329 0.347 1.896 1.888 1.355
TRS/TRCSR/inn/Ex14_AEGL02_GM.trs 0.018 0.014 0.058 0.058 0.104
TRS/TRCSR/inn/Ex14_AEGL02_iGM.trs 0.397 0.348 2.72 2.739 1.307
TRS/TRCSR/inn/Ex14_Luc06_C.trs 0.183 0.207 2.729 2.722 1.204
TRS/TRCSR/inn/Ex14_Luc06_GM.trs 0.005 0.005 0.328 0.332 0.661
TRS/TRCSR/inn/Ex14_Luc06_iGM.trs 0.119 0.092 60.0 60.0 1.094
TRS/TRCSR/inn/Ex15_Luc06_C.trs 0.055 0.05 0.09 0.038 0.038
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.027 0.015 0.03 0.011 0.016
TRS/TRCSR/inn/Ex15_Luc98_C.trs 0.636 0.779 60.0 60.0 1.721
TRS/TRCSR/inn/Ex15_Luc98_GM.trs 0.025 0.036 4.636 4.615 1.048
TRS/TRCSR/inn/Ex15_Luc98_iGM.trs 1.692 1.671 60.0 60.0 2.599
TRS/TRCSR/inn/Ex16_Luc06_C.trs 0.031 0.028 0.158 0.136 0.165
TRS/TRCSR/inn/Ex16_Luc06_GM.trs 0.0 0.0 0.0 0.0 0.002
TRS/TRCSR/inn/Ex16_Luc06_iGM.trs 0.056 0.018 60.0 0.068 0.064
TRS/TRCSR/inn/Ex18_Luc06_C.trs 0.064 0.061 0.086 0.035 0.035
TRS/TRCSR/inn/Ex18_Luc06_GM.trs 0.0 0.0 0.0 0.0 0.0
problem t e c r *
TRS/TRCSR/inn/Ex18_Luc06_iGM.trs 0.025 0.015 0.034 0.026 0.025
TRS/TRCSR/inn/Ex18_Luc06_L.trs 0.0 0.004 0.0 0.0 0.0
TRS/TRCSR/inn/Ex1_GL02a_C.trs 0.7 0.769 60.0 60.0 1.746
TRS/TRCSR/inn/Ex1_GL02a_GM.trs 0.013 0.012 0.222 0.226 0.457
TRS/TRCSR/inn/Ex1_GL02a_iGM.trs 1.248 0.767 60.0 60.0 1.744
TRS/TRCSR/inn/Ex1_GM03_C.trs 0.431 0.527 60.0 60.0 1.496
TRS/TRCSR/inn/Ex1_GM03_GM.trs 0.018 0.033 4.826 4.79 1.037
TRS/TRCSR/inn/Ex1_GM03_iGM.trs 0.812 0.74 60.0 60.0 1.709
TRS/TRCSR/inn/Ex1_GM99_C.trs 0.044 0.039 24.884 24.866 1.042
TRS/TRCSR/inn/Ex1_GM99_GM.trs 0.0 0.0 0.104 0.098 0.137
TRS/TRCSR/inn/Ex1_GM99_iGM.trs 0.115 0.062 14.384 14.375 1.048
TRS/TRCSR/inn/Ex1_Luc02b_C.trs 0.437 0.522 60.0 60.0 1.491
TRS/TRCSR/inn/Ex1_Luc02b_GM.trs 0.009 0.016 0.244 0.237 0.484
TRS/TRCSR/inn/Ex1_Luc02b_iGM.trs 0.454 0.569 60.0 60.0 1.553
TRS/TRCSR/inn/Ex1_Luc04b_C.trs 0.631 0.694 9.153 60.0 1.583
TRS/TRCSR/inn/Ex1_Luc04b_GM.trs 0.06 0.042 0.167 60.0 0.674
TRS/TRCSR/inn/Ex1_Luc04b_iGM.trs 0.585 0.548 15.235 60.0 2.052
TRS/TRCSR/inn/Ex1_Zan97_C.trs 0.074 0.07 0.12 0.081 0.101
TRS/TRCSR/inn/Ex1_Zan97_GM.trs 0.0 0.003 0.016 0.006 0.009
TRS/TRCSR/inn/Ex1_Zan97_iGM.trs 0.108 0.039 0.06 0.031 0.037
TRS/TRCSR/inn/Ex23_Luc06_C.trs 0.272 0.162 0.198 0.078 0.078
TRS/TRCSR/inn/Ex23_Luc06_GM.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex23_Luc06_iGM.trs 0.084 0.08 0.112 0.047 0.047
TRS/TRCSR/inn/Ex23_Luc06_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex24_GM04_C.trs 0.074 0.069 60.0 60.0 1.085
problem t e c r *
TRS/TRCSR/inn/Ex24_GM04_GM.trs 0.0 0.0 0.069 0.064 0.082
TRS/TRCSR/inn/Ex24_GM04_iGM.trs 0.131 0.096 60.0 60.0 1.096
TRS/TRCSR/inn/Ex24_Luc06_C.trs 0.037 0.039 3.237 3.261 1.037
TRS/TRCSR/inn/Ex24_Luc06_GM.trs 0.0 0.0 0.031 0.03 0.038
TRS/TRCSR/inn/Ex24_Luc06_iGM.trs 0.088 0.056 5.009 5.039 0.569
TRS/TRCSR/inn/Ex25_Luc06_C.trs 0.238 0.247 0.358 60.0 0.763
TRS/TRCSR/inn/Ex25_Luc06_GM.trs 0.0 0.0 0.0 0.0 0.008
TRS/TRCSR/inn/Ex25_Luc06_iGM.trs 0.213 0.226 0.277 0.107 0.143
TRS/TRCSR/inn/Ex25_Luc06_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex26_Luc03b_C.trs 1.594 1.877 60.0 60.0 2.76
TRS/TRCSR/inn/Ex26_Luc03b_GM.trs 0.089 0.1 0.568 0.564 1.093
TRS/TRCSR/inn/Ex26_Luc03b_iGM.trs 0.936 1.207 60.0 60.0 2.107
TRS/TRCSR/inn/Ex26_Luc03b_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex2_Luc02a_C.trs 1.839 2.046 60.0 60.0 3.088
TRS/TRCSR/inn/Ex2_Luc02a_GM.trs 0.053 0.063 1.01 1.009 1.06
TRS/TRCSR/inn/Ex2_Luc02a_iGM.trs 0.738 0.809 60.0 60.0 1.711
TRS/TRCSR/inn/Ex2_Luc02a_L.trs 0.008 0.001 0.029 0.016 0.034
TRS/TRCSR/inn/Ex2_Luc03b_C.trs 0.959 1.062 60.0 60.0 2.023
TRS/TRCSR/inn/Ex2_Luc03b_GM.trs 0.049 0.047 0.289 0.294 0.562
TRS/TRCSR/inn/Ex2_Luc03b_iGM.trs 0.977 0.942 60.0 60.0 1.92
TRS/TRCSR/inn/Ex2_Luc03b_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex3_12_Luc96a_C.trs 0.355 0.38 3.638 3.676 1.378
TRS/TRCSR/inn/Ex3_12_Luc96a_GM.trs 0.001 0.0 0.053 0.054 0.118
TRS/TRCSR/inn/Ex3_12_Luc96a_iGM.trs 0.27 0.276 8.506 8.498 1.266
TRS/TRCSR/inn/Ex3_2_Luc97_C.trs 0.558 0.665 60.0 60.0 1.633
problem t e c r *
TRS/TRCSR/inn/Ex3_2_Luc97_GM.trs 0.007 0.013 0.282 0.286 0.572
TRS/TRCSR/inn/Ex3_2_Luc97_iGM.trs 1.063 0.989 60.0 60.0 2.0
TRS/TRCSR/inn/Ex3_3_25_Bor03_C.trs 0.513 0.659 60.0 60.0 1.606
TRS/TRCSR/inn/Ex3_3_25_Bor03_GM.trs 0.075 0.083 0.339 0.345 0.615
TRS/TRCSR/inn/Ex3_3_25_Bor03_iGM.trs 0.834 1.038 60.0 60.0 2.029
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.089 0.087 0.216 0.218 0.286
TRS/TRCSR/inn/Ex4_4_Luc96b_GM.trs 0.003 0.0 0.004 0.004 0.01
TRS/TRCSR/inn/Ex4_4_Luc96b_iGM.trs 0.064 0.062 0.099 0.101 0.133
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.338 0.376 2.153 20.569 1.024
TRS/TRCSR/inn/Ex4_7_15_Bor03_GM.trs 0.005 0.001 0.015 0.01 0.01
TRS/TRCSR/inn/Ex4_7_15_Bor03_iGM.trs 0.197 0.185 2.367 3.642 1.117
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 1.694 2.021 60.0 60.0 2.868
TRS/TRCSR/inn/Ex4_7_37_Bor03_GM.trs 0.107 0.141 2.284 2.412 1.137
TRS/TRCSR/inn/Ex4_7_37_Bor03_iGM.trs 1.565 1.628 60.0 60.0 2.538
TRS/TRCSR/inn/Ex4_7_56_Bor03_C.trs 0.336 0.361 3.777 3.791 1.37
TRS/TRCSR/inn/Ex4_7_56_Bor03_GM.trs 0.0 0.0 0.057 0.058 0.128
TRS/TRCSR/inn/Ex4_7_56_Bor03_iGM.trs 0.262 0.246 9.787 10.593 1.695
TRS/TRCSR/inn/Ex4_7_77_Bor03_C.trs 0.252 0.26 1.144 60.0 0.842
TRS/TRCSR/inn/Ex4_7_77_Bor03_GM.trs 0.0 0.0 0.004 0.005 0.017
TRS/TRCSR/inn/Ex4_7_77_Bor03_iGM.trs 0.081 0.075 0.371 1.609 0.783
TRS/TRCSR/inn/Ex49_GM04_C.trs 0.414 0.453 60.0 60.0 1.436
TRS/TRCSR/inn/Ex49_GM04_GM.trs 0.116 0.125 2.531 2.496 1.119
problem t e c r *
TRS/TRCSR/inn/Ex49_GM04_iGM.trs 0.755 0.82 60.0 60.0 1.739
TRS/TRCSR/inn/Ex4_DLMMU04_C.trs 1.746 2.439 60.0 60.0 3.173
TRS/TRCSR/inn/Ex4_DLMMU04_GM.trs 0.373 0.472 60.0 60.0 1.434
TRS/TRCSR/inn/Ex4_DLMMU04_iGM.trs 4.675 5.364 60.0 60.0 6.173
TRS/TRCSR/inn/Ex4_Zan97_C.trs 0.632 0.69 10.637 10.557 1.676
TRS/TRCSR/inn/Ex4_Zan97_GM.trs 0.006 0.01 0.107 0.183 0.59
TRS/TRCSR/inn/Ex4_Zan97_iGM.trs 1.075 1.079 23.746 22.388 1.412
TRS/TRCSR/inn/Ex5_7_Luc97_C.trs 2.95 3.455 60.0 60.0 4.282
TRS/TRCSR/inn/Ex5_7_Luc97_GM.trs 0.04 0.127 24.797 20.963 1.122
TRS/TRCSR/inn/Ex5_7_Luc97_iGM.trs 2.905 3.098 60.0 60.0 3.902
TRS/TRCSR/inn/Ex5_DLMMU04_C.trs 4.817 2.51 60.0 60.0 3.38
TRS/TRCSR/inn/Ex5_DLMMU04_GM.trs 0.029 0.073 1.602 1.598 1.071
TRS/TRCSR/inn/Ex5_DLMMU04_iGM.trs 1.42 1.86 60.0 60.0 2.728
TRS/TRCSR/inn/Ex5_Zan97_C.trs 0.15 0.152 60.0 60.0 1.149
TRS/TRCSR/inn/Ex5_Zan97_GM.trs 0.027 0.028 0.38 60.0 0.902
TRS/TRCSR/inn/Ex5_Zan97_iGM.trs 0.186 0.142 60.0 60.0 1.312
TRS/TRCSR/inn/Ex6_15_AEL02_C.trs 9.21 9.377 60.0 60.0 8.886
TRS/TRCSR/inn/Ex6_15_AEL02_GM.trs 0.103 0.381 17.223 17.332 1.351
TRS/TRCSR/inn/Ex6_15_AEL02_iGM.trs 9.375 6.828 60.0 60.0 7.062
TRS/TRCSR/inn/Ex6_9_Luc02c_C.trs 0.542 0.598 7.463 9.113 1.586
TRS/TRCSR/inn/Ex6_9_Luc02c_GM.trs 0.002 0.003 0.11 0.112 0.182
TRS/TRCSR/inn/Ex6_9_Luc02c_iGM.trs 0.35 0.367 19.21 22.872 1.378
TRS/TRCSR/inn/Ex6_GM04_C.trs 0.024 0.02 0.048 0.043 0.047
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.036 0.015 0.022 0.0 0.0
problem t e c r *
TRS/TRCSR/inn/Ex6_Luc98_C.trs 0.412 0.443 60.0 60.0 1.436
TRS/TRCSR/inn/Ex6_Luc98_GM.trs 0.029 0.029 0.094 0.092 0.16
TRS/TRCSR/inn/Ex6_Luc98_iGM.trs 0.351 0.319 51.945 55.986 1.312
TRS/TRCSR/inn/Ex6_Luc98_L.trs 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/inn/Ex7_BLR02_C.trs 1.3 1.467 60.0 60.0 2.406
TRS/TRCSR/inn/Ex7_BLR02_GM.trs 0.018 0.04 0.637 0.631 1.04
TRS/TRCSR/inn/Ex7_BLR02_iGM.trs 0.777 0.986 60.0 60.0 3.235
TRS/TRCSR/inn/Ex8_BLR02_C.trs 1.423 1.111 45.753 46.24 1.639
TRS/TRCSR/inn/Ex8_BLR02_GM.trs 0.021 0.04 0.565 0.555 1.038
TRS/TRCSR/inn/Ex8_BLR02_iGM.trs 0.872 0.956 60.0 60.0 1.909
TRS/TRCSR/inn/Ex9_BLR02_C.trs 0.717 0.848 60.0 60.0 1.779
TRS/TRCSR/inn/Ex9_BLR02_GM.trs 0.091 0.227 7.527 3.862 1.103
TRS/TRCSR/inn/Ex9_BLR02_iGM.trs 0.595 0.682 60.0 60.0 1.655
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.064 0.057 60.0 60.0 1.13
TRS/TRCSR/inn/Ex9_Luc04_GM.trs 0.016 0.011 0.273 0.445 0.662
TRS/TRCSR/inn/Ex9_Luc04_iGM.trs 0.182 0.141 12.384 15.47 1.061
TRS/TRCSR/inn/Ex9_Luc06_C.trs 0.036 0.035 15.713 60.0 1.038
TRS/TRCSR/inn/Ex9_Luc06_GM.trs 0.0 0.0 0.037 0.035 0.072
TRS/TRCSR/inn/Ex9_Luc06_iGM.trs 0.079 0.06 60.0 60.0 0.448
TRS/TRCSR/inn/ExAppendixB_AEL03_C.trs 3.84 5.101 60.0 60.0 6.502
TRS/TRCSR/inn/ExAppendixB_AEL03_GM.trs 0.095 0.305 27.046 26.859 1.283
TRS/TRCSR/inn/ExAppendixB_AEL03_iGM.trs 7.434 5.623 60.0 60.0 6.035
TRS/TRCSR/inn/ExConc_Zan97_C.trs 0.099 0.108 0.132 0.04 0.044
TRS/TRCSR/inn/ExConc_Zan97_GM.trs 0.0 0.0 0.0 0.0 0.0
problem t e c r *
TRS/TRCSR/inn/ExConc_Zan97_iGM.trs 0.056 0.046 0.066 0.015 0.025
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.981 1.058 34.444 60.0 2.025
TRS/TRCSR/inn/ExIntrod_GM01_GM.trs 0.099 0.11 0.317 60.0 0.83
TRS/TRCSR/inn/ExIntrod_GM01_iGM.trs 0.835 0.813 60.0 60.0 2.6
TRS/TRCSR/inn/ExIntrod_GM04_C.trs 1.234 0.638 9.836 60.0 1.608
TRS/TRCSR/inn/ExIntrod_GM04_GM.trs 0.042 0.048 0.152 0.372 0.49
TRS/TRCSR/inn/ExIntrod_GM04_iGM.trs 0.823 0.722 17.725 31.291 1.541
TRS/TRCSR/inn/ExIntrod_GM99_C.trs 2.782 3.195 60.0 60.0 4.105
TRS/TRCSR/inn/ExIntrod_GM99_GM.trs 0.105 0.09 60.0 60.0 1.086
TRS/TRCSR/inn/ExIntrod_GM99_iGM.trs 1.821 2.183 60.0 60.0 3.176
TRS/TRCSR/inn/ExIntrod_Zan97_C.trs 1.233 2.512 60.0 60.0 3.941
TRS/TRCSR/inn/ExIntrod_Zan97_GM.trs 0.036 0.068 15.304 15.321 1.066
TRS/TRCSR/inn/ExIntrod_Zan97_iGM.trs 0.696 0.746 60.0 60.0 1.694
TRS/TRCSR/inn/ExProp7_Luc06_C.trs 0.332 0.373 2.22 23.649 1.047
TRS/TRCSR/inn/ExProp7_Luc06_GM.trs 0.032 0.029 0.058 0.064 0.105
TRS/TRCSR/inn/ExProp7_Luc06_iGM.trs 0.226 0.189 2.524 4.999 1.127
TRS/TRCSR/inn/ExProp7_Luc06_L.trs 0.014 0.0 0.0 0.0 0.002
TRS/TRCSR/inn/ExSec11_1_Luc02a_C.trs 5.989 3.059 60.0 60.0 3.929
TRS/TRCSR/inn/ExSec11_1_Luc02a_GM.trs 0.041 0.098 2.385 2.374 1.098
TRS/TRCSR/inn/ExSec11_1_Luc02a_iGM.trs 1.674 2.088 60.0 60.0 3.012
TRS/TRCSR/inn/ExSec11_1_Luc02a_L.trs 0.027 0.024 0.066 0.065 0.109
TRS/TRCSR/inn/ExSec4_2_DLMMU04_C.trs 9.317 6.557 60.0 60.0 6.984
TRS/TRCSR/inn/ExSec4_2_DLMMU04_GM.trs 0.084 0.273 60.0 60.0 1.243
TRS/TRCSR/inn/ExSec4_2_DLMMU04_iGM.trs 2.014 2.652 60.0 60.0 4.307
problem t e c r *
TRS/TRCSR/inn/LengthOfFiniteLists_complete_C.trs 18.206 23.862 60.0 60.0 17.832
TRS/TRCSR/inn/LengthOfFiniteLists_complete_GM.trs 1.801 1.727 60.0 60.0 2.537
TRS/TRCSR/inn/LengthOfFiniteLists_complete_iGM.trs 20.937 22.781 60.0 60.0 26.162
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_C.trs 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_GM.trs 7.334 6.934 60.0 60.0 10.05
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_iGM.trs 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_C.trs 1.355 1.495 60.0 60.0 2.429
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_GM.trs 0.183 0.197 1.697 1.689 1.191
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_iGM.trs 1.86 1.707 60.0 60.0 2.608
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_C.trs 9.927 6.937 60.0 60.0 7.518
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_GM.trs 0.244 0.365 60.0 60.0 1.336
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_iGM.trs 10.807 7.884 60.0 60.0 8.449
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_C.trs 0.371 0.4 10.569 60.0 1.292
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_GM.trs 0.04 0.032 0.156 0.128 0.249
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_iGM.trs 0.562 0.38 10.01 18.668 1.233
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_C.trs 0.639 0.673 14.468 60.0 1.643
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_GM.trs 0.096 0.089 0.445 0.35 0.697
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_iGM.trs 0.693 0.58 29.876 60.0 1.559
TRS/TRCSR/inn/LISTUTILITIES_complete_C.trs 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/inn/LISTUTILITIES_complete_GM.trs 3.855 17.738 60.0 60.0 4.378
TRS/TRCSR/inn/LISTUTILITIES_complete_iGM.trs 60.0 60.0 60.0 60.0 60.0
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 41.565 60.0 60.0 60.0 45.921
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 28.199 40.496 60.0 60.0 29.886
problem t e c r *
TRS/TRCSR/inn/LISTUTILITIES_nokinds_GM.trs 0.426 2.056 60.0 60.0 1.934
TRS/TRCSR/inn/LISTUTILITIES_nokinds_iGM.trs 37.647 51.123 60.0 60.0 43.311
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_C.trs 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_GM.trs 2.041 10.041 60.0 60.0 4.786
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_iGM.trs 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/inn/LISTUTILITIES_nosorts_C.trs 4.277 5.833 60.0 60.0 7.669
TRS/TRCSR/inn/LISTUTILITIES_nosorts_GM.trs 0.112 0.378 60.0 60.0 1.341
TRS/TRCSR/inn/LISTUTILITIES_nosorts_iGM.trs 5.573 7.133 60.0 60.0 11.001
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_C.trs 50.347 60.0 60.0 60.0 55.494
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_GM.trs 0.522 2.086 60.0 60.0 2.036
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_iGM.trs 53.705 60.0 60.0 60.0 56.832
TRS/TRCSR/inn/MYNAT_complete_C.trs 13.607 20.88 60.0 60.0 19.116
TRS/TRCSR/inn/MYNAT_complete_GM.trs 0.165 0.645 60.0 60.0 1.457
TRS/TRCSR/inn/MYNAT_complete_iGM.trs 12.256 20.9 60.0 60.0 17.348
TRS/TRCSR/inn/MYNAT_complete_noand_C.trs 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/inn/MYNAT_complete_noand_GM.trs 1.385 3.93 60.0 60.0 2.901
TRS/TRCSR/inn/MYNAT_complete_noand_iGM.trs 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/inn/MYNAT_nokinds_C.trs 1.631 2.074 60.0 60.0 5.391
TRS/TRCSR/inn/MYNAT_nokinds_GM.trs 0.048 0.121 30.915 38.332 1.103
TRS/TRCSR/inn/MYNAT_nokinds_iGM.trs 2.438 2.944 60.0 60.0 3.667
TRS/TRCSR/inn/MYNAT_nokinds_noand_C.trs 8.556 9.381 60.0 60.0 9.327
TRS/TRCSR/inn/MYNAT_nokinds_noand_GM.trs 0.573 1.124 60.0 60.0 1.982
TRS/TRCSR/inn/MYNAT_nokinds_noand_iGM.trs 7.028 9.309 60.0 60.0 10.677
TRS/TRCSR/inn/MYNAT_nosorts_C.trs 0.442 0.497 41.218 45.237 1.473
TRS/TRCSR/inn/MYNAT_nosorts_GM.trs 0.008 0.014 0.224 0.227 0.447
problem t e c r *
TRS/TRCSR/inn/MYNAT_nosorts_iGM.trs 0.327 0.366 60.0 60.0 1.716
TRS/TRCSR/inn/MYNAT_nosorts_noand_C.trs 2.961 1.878 60.0 60.0 2.839
TRS/TRCSR/inn/MYNAT_nosorts_noand_GM.trs 0.033 0.055 28.79 28.098 1.052
TRS/TRCSR/inn/MYNAT_nosorts_noand_iGM.trs 1.722 1.945 60.0 60.0 2.869
TRS/TRCSR/inn/OvConsOS_complete_C.trs 42.271 52.913 60.0 60.0 41.207
TRS/TRCSR/inn/OvConsOS_complete_GM.trs 1.516 2.723 60.0 60.0 2.999
TRS/TRCSR/inn/OvConsOS_complete_iGM.trs 32.928 43.402 60.0 60.0 34.166
TRS/TRCSR/inn/OvConsOS_complete_noand_C.trs 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/inn/OvConsOS_complete_noand_GM.trs 8.205 11.894 60.0 60.0 9.255
TRS/TRCSR/inn/OvConsOS_complete_noand_iGM.trs 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/inn/OvConsOS_nokinds_C.trs 1.738 2.4 60.0 60.0 3.183
TRS/TRCSR/inn/OvConsOS_nokinds_GM.trs 0.362 0.448 60.0 60.0 1.422
TRS/TRCSR/inn/OvConsOS_nokinds_iGM.trs 5.62 6.291 60.0 60.0 6.038
TRS/TRCSR/inn/OvConsOS_nokinds_noand_C.trs 21.925 25.818 60.0 60.0 23.303
TRS/TRCSR/inn/OvConsOS_nokinds_noand_GM.trs 1.391 1.856 60.0 60.0 2.732
TRS/TRCSR/inn/OvConsOS_nokinds_noand_iGM.trs 18.246 22.146 60.0 60.0 19.033
TRS/TRCSR/inn/OvConsOS_nosorts_C.trs 0.734 0.803 60.0 60.0 1.758
TRS/TRCSR/inn/OvConsOS_nosorts_GM.trs 0.076 0.073 0.464 0.497 0.894
TRS/TRCSR/inn/OvConsOS_nosorts_iGM.trs 0.94 0.835 60.0 60.0 1.738
TRS/TRCSR/inn/OvConsOS_nosorts_noand_C.trs 2.914 6.579 60.0 60.0 4.261
TRS/TRCSR/inn/OvConsOS_nosorts_noand_GM.trs 0.249 0.298 60.0 60.0 1.3
TRS/TRCSR/inn/OvConsOS_nosorts_noand_iGM.trs 4.221 5.283 60.0 60.0 5.538
TRS/TRCSR/inn/PALINDROME_complete_C.trs 11.398 20.775 60.0 60.0 16.576
TRS/TRCSR/inn/PALINDROME_complete_GM.trs 1.705 2.624 60.0 60.0 3.216
TRS/TRCSR/inn/PALINDROME_complete_iGM.trs 50.033 49.652 60.0 60.0 51.347
problem t e c r *
TRS/TRCSR/inn/PALINDROME_complete_noand_C.trs 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/inn/PALINDROME_complete_noand_GM.trs 11.729 14.565 60.0 60.0 10.241
TRS/TRCSR/inn/PALINDROME_complete_noand_iGM.trs 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/inn/PALINDROME_nokinds_C.trs 0.921 1.634 60.0 60.0 3.509
TRS/TRCSR/inn/PALINDROME_nokinds_GM.trs 0.114 0.136 60.0 60.0 1.131
TRS/TRCSR/inn/PALINDROME_nokinds_iGM.trs 2.679 1.901 60.0 60.0 2.754
TRS/TRCSR/inn/PALINDROME_nokinds_noand_C.trs 8.911 10.612 60.0 60.0 10.823
TRS/TRCSR/inn/PALINDROME_nokinds_noand_GM.trs 0.878 1.18 60.0 60.0 2.096
TRS/TRCSR/inn/PALINDROME_nokinds_noand_iGM.trs 13.698 14.264 60.0 60.0 18.951
TRS/TRCSR/inn/PALINDROME_nosorts_C.trs 0.246 0.253 60.0 60.0 1.174
TRS/TRCSR/inn/PALINDROME_nosorts_GM.trs 0.044 0.044 47.32 60.0 1.06
TRS/TRCSR/inn/PALINDROME_nosorts_iGM.trs 0.298 0.231 60.0 60.0 1.213
TRS/TRCSR/inn/PALINDROME_nosorts_noand_C.trs 0.386 0.422 60.0 60.0 1.318
TRS/TRCSR/inn/PALINDROME_nosorts_noand_GM.trs 0.056 0.052 60.0 60.0 1.152
TRS/TRCSR/inn/PALINDROME_nosorts_noand_iGM.trs 1.183 0.929 60.0 60.0 1.914
TRS/TRCSR/inn/PEANO_complete_C.trs 3.594 3.188 60.0 60.0 3.855
TRS/TRCSR/inn/PEANO_complete_GM.trs 0.462 0.568 60.0 60.0 1.526
TRS/TRCSR/inn/PEANO_complete_iGM.trs 6.059 8.04 60.0 60.0 7.585
TRS/TRCSR/inn/PEANO_complete_noand_C.trs 24.374 28.736 60.0 60.0 25.797
TRS/TRCSR/inn/PEANO_complete_noand_GM.trs 1.625 2.135 60.0 60.0 2.991
TRS/TRCSR/inn/PEANO_complete_noand_iGM.trs 22.488 25.329 60.0 60.0 24.071
TRS/TRCSR/inn/PEANO_nokinds_C.trs 0.569 0.68 60.0 60.0 1.633
TRS/TRCSR/inn/PEANO_nokinds_GM.trs 0.115 0.115 7.951 4.216 1.115
TRS/TRCSR/inn/PEANO_nokinds_iGM.trs 1.13 1.235 60.0 60.0 2.151
TRS/TRCSR/inn/PEANO_nokinds_noand_C.trs 1.326 1.572 60.0 60.0 2.529
problem t e c r *
TRS/TRCSR/inn/PEANO_nokinds_noand_GM.trs 0.221 0.252 27.394 27.377 1.248
TRS/TRCSR/inn/PEANO_nokinds_noand_iGM.trs 3.161 3.291 60.0 60.0 5.839
TRS/TRCSR/inn/PEANO_nosorts_C.trs 0.212 0.221 4.106 50.679 1.218
TRS/TRCSR/inn/PEANO_nosorts_GM.trs 0.032 0.023 0.095 0.087 0.148
TRS/TRCSR/inn/PEANO_nosorts_iGM.trs 0.128 0.126 4.533 21.257 1.094
TRS/TRCSR/inn/PEANO_nosorts_noand_C.trs 0.464 0.507 60.0 60.0 1.492
TRS/TRCSR/inn/PEANO_nosorts_noand_GM.trs 0.048 0.041 1.984 2.056 1.056
TRS/TRCSR/inn/PEANO_nosorts_noand_iGM.trs 0.672 0.633 60.0 60.0 1.617
Yes No Maybe Timeout