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.01 0.001 0.002 0.0 0.001
TRS/AG01/#4.13.trs 0.003 0.0 0.004 0.0 0.0
TRS/AG01/#4.14.trs 0.018 0.007 0.015 0.011 0.014
TRS/AG01/#4.15.trs 0.039 0.006 0.003 0.003 0.008
TRS/AG01/#4.16.trs 0.014 0.0 0.0 0.0 0.0
TRS/AG01/#4.17.trs 0.0 0.0 0.002 0.0 0.001
TRS/AG01/#4.18.trs 0.009 0.0 0.0 0.006 0.005
TRS/AG01/#4.19.trs 0.017 0.0 1.805 1.789 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.004 0.0 0.0 0.0 0.0
TRS/AG01/#4.22.trs 0.003 0.0 0.0 0.0 0.0
TRS/AG01/#4.23.trs 0.011 0.006 0.004 0.004 0.01
TRS/AG01/#4.24.trs 0.009 0.0 0.017 60.0 0.02
TRS/AG01/#4.25.trs 0.0 0.005 0.0 0.0 0.0
TRS/AG01/#4.26.trs 0.0 0.0 0.0 0.002 0.004
TRS/AG01/#4.27.trs 0.025 0.0 0.053 0.053 0.108
TRS/AG01/#4.28.trs 0.018 0.0 0.003 0.0 0.016
TRS/AG01/#4.29.trs 0.044 0.042 1.522 1.503 1.05
TRS/AG01/#4.2.trs 0.009 0.0 0.0 0.0 0.0
TRS/AG01/#4.30a.trs 0.008 0.003 0.008 0.012 0.012
TRS/AG01/#4.30b.trs 0.03 0.01 0.018 0.021 0.03
TRS/AG01/#4.30.trs 0.025 0.005 0.014 0.014 0.029
TRS/AG01/#4.31.trs 0.008 0.0 0.0 0.003 0.007
TRS/AG01/#4.32.trs 0.019 0.0 0.011 0.005 0.001
problem t e c r *
TRS/AG01/#4.33.trs 0.014 0.009 5.139 5.117 1.013
TRS/AG01/#4.34.trs 0.002 0.0 0.24 0.239 0.36
TRS/AG01/#4.35.trs 0.203 0.198 60.0 60.0 1.217
TRS/AG01/#4.36.trs 0.1 0.093 60.0 60.0 1.101
TRS/AG01/#4.37a.trs 0.004 0.0 0.006 0.0 0.0
TRS/AG01/#4.37.trs 0.003 0.0 0.0 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.005 0.0 0.0
TRS/currying/AG01/#4.10.trs 0.053 0.037 60.0 60.0 1.046
TRS/currying/AG01/#4.13.trs 0.047 0.048 60.0 60.0 1.048
TRS/currying/AG01/#4.15.trs 0.092 0.168 60.0 60.0 1.174
TRS/currying/AG01/#4.17.trs 0.082 0.123 60.0 60.0 1.131
TRS/currying/AG01/#4.19.trs 0.116 0.176 60.0 60.0 1.186
TRS/currying/AG01/#4.22.trs 0.09 0.116 60.0 60.0 1.129
TRS/currying/AG01/#4.24.trs 0.126 0.175 60.0 60.0 1.182
TRS/currying/AG01/#4.26.trs 0.112 0.174 60.0 60.0 1.17
TRS/currying/AG01/#4.28.trs 0.072 0.106 60.0 60.0 1.11
TRS/currying/AG01/#4.2.trs 0.073 0.073 60.0 60.0 1.082
TRS/currying/AG01/#4.34.trs 0.103 0.171 60.0 60.0 1.182
TRS/currying/AG01/#4.36.trs 0.381 0.936 60.0 60.0 1.957
TRS/currying/AG01/#4.3.trs 0.062 0.042 60.0 60.0 1.05
TRS/currying/AG01/#4.5.trs 0.033 0.029 60.0 60.0 1.031
problem t e c r *
TRS/currying/AG01/#4.7.trs 0.048 0.049 60.0 60.0 1.042
TRS/currying/AG01/#4.8.trs 0.071 0.124 60.0 60.0 1.135
TRS/HM/n001.trs 0.01 0.0 0.0 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.003 0.0 0.004 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.001 0.0 0.0
TRS/Rubio-inn/test77.trs 0.012 0.0 0.001 0.0 0.001
TRS/Rubio-inn/test830.trs 0.0 0.0 0.012 0.0 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.0
TRS/Rubio-inn/toyama.trs 0.0 0.0 0.0 0.0 0.0
TRS/SchneiderKamp/inn/cade04.trs 0.004 0.0 0.003 0.0 0.003
TRS/SchneiderKamp/inn/cade05.trs 0.009 0.005 0.02 0.022 0.036
TRS/SchneiderKamp/inn/cade12.trs 0.085 0.067 0.437 0.428 0.784
TRS/SchneiderKamp/inn/cade13.trs 0.033 0.024 0.067 0.067 0.095
TRS/SchneiderKamp/inn/thiemann26i.trs 0.018 0.015 0.653 0.669 1.02
TRS/SchneiderKamp/inn/thiemann28i.trs 0.016 0.016 1.893 1.899 1.025
TRS/SchneiderKamp/inn/wiehe13.trs 0.116 0.118 60.0 60.0 1.124
TRS/SchneiderKamp/inn/wiehe14.trs 0.206 0.225 60.0 60.0 1.211
TRS/Thiemann/innermost1.trs 0.0 0.0 0.0 0.0 0.0
TRS/Thiemann/innermost2.trs 0.0 0.0 0.004 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.776 0.8 1.005
TRS/Thiemann/innermost5.trs 0.004 0.0 0.004 0.004 0.009
TRS/TRCSR/inn/Ex1_2_AEL03_C.trs 5.201 6.126 60.0 60.0 6.695
TRS/TRCSR/inn/Ex1_2_AEL03_GM.trs 0.081 0.231 12.479 12.517 1.221
TRS/TRCSR/inn/Ex1_2_AEL03_iGM.trs 3.617 3.933 60.0 60.0 4.635
TRS/TRCSR/inn/Ex1_2_Luc02c_C.trs 0.27 0.292 1.132 1.127 1.256
TRS/TRCSR/inn/Ex1_2_Luc02c_GM.trs 0.0 0.0 0.014 0.013 0.038
TRS/TRCSR/inn/Ex1_2_Luc02c_iGM.trs 0.187 0.173 1.396 1.402 1.181
TRS/TRCSR/inn/Ex14_AEGL02_C.trs 0.333 0.357 1.85 1.851 1.361
TRS/TRCSR/inn/Ex14_AEGL02_GM.trs 0.041 0.017 0.058 0.058 0.111
TRS/TRCSR/inn/Ex14_AEGL02_iGM.trs 0.401 0.348 2.709 2.72 1.312
TRS/TRCSR/inn/Ex14_Luc06_C.trs 0.212 0.209 2.701 2.704 1.202
TRS/TRCSR/inn/Ex14_Luc06_GM.trs 0.007 0.004 0.335 0.332 0.669
TRS/TRCSR/inn/Ex14_Luc06_iGM.trs 0.136 0.101 60.0 60.0 1.094
TRS/TRCSR/inn/Ex15_Luc06_C.trs 0.05 0.05 0.081 0.033 0.031
TRS/TRCSR/inn/Ex15_Luc06_GM.trs 0.0 0.0 0.0 0.0 0.01
TRS/TRCSR/inn/Ex15_Luc06_iGM.trs 0.029 0.016 0.031 0.012 0.013
TRS/TRCSR/inn/Ex15_Luc98_C.trs 0.645 0.801 60.0 60.0 1.735
TRS/TRCSR/inn/Ex15_Luc98_GM.trs 0.028 0.039 4.615 4.692 1.046
TRS/TRCSR/inn/Ex15_Luc98_iGM.trs 1.718 1.666 60.0 60.0 2.62
TRS/TRCSR/inn/Ex16_Luc06_C.trs 0.031 0.034 0.158 0.127 0.164
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.048 0.018 60.0 0.063 0.066
TRS/TRCSR/inn/Ex18_Luc06_C.trs 0.065 0.059 0.082 0.031 0.03
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.026 0.015 0.033 0.026 0.026
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.713 0.777 60.0 60.0 1.75
TRS/TRCSR/inn/Ex1_GL02a_GM.trs 0.015 0.014 0.228 0.23 0.451
TRS/TRCSR/inn/Ex1_GL02a_iGM.trs 1.26 0.767 60.0 60.0 1.752
TRS/TRCSR/inn/Ex1_GM03_C.trs 0.454 0.56 60.0 60.0 1.492
TRS/TRCSR/inn/Ex1_GM03_GM.trs 0.021 0.036 4.798 4.823 1.043
TRS/TRCSR/inn/Ex1_GM03_iGM.trs 0.821 0.771 60.0 60.0 1.729
TRS/TRCSR/inn/Ex1_GM99_C.trs 0.041 0.048 31.455 31.31 1.044
TRS/TRCSR/inn/Ex1_GM99_GM.trs 0.0 0.0 0.1 0.094 0.135
TRS/TRCSR/inn/Ex1_GM99_iGM.trs 0.119 0.062 14.224 18.114 1.052
TRS/TRCSR/inn/Ex1_Luc02b_C.trs 0.451 0.52 60.0 60.0 1.494
TRS/TRCSR/inn/Ex1_Luc02b_GM.trs 0.01 0.019 0.237 0.245 0.49
TRS/TRCSR/inn/Ex1_Luc02b_iGM.trs 0.456 0.574 60.0 60.0 1.56
TRS/TRCSR/inn/Ex1_Luc04b_C.trs 0.652 0.7 9.103 60.0 1.594
TRS/TRCSR/inn/Ex1_Luc04b_GM.trs 0.04 0.048 0.167 60.0 0.682
TRS/TRCSR/inn/Ex1_Luc04b_iGM.trs 0.577 0.548 19.228 60.0 2.056
TRS/TRCSR/inn/Ex1_Zan97_C.trs 0.081 0.073 0.235 0.218 0.248
TRS/TRCSR/inn/Ex1_Zan97_GM.trs 0.039 0.016 0.014 0.012 0.019
TRS/TRCSR/inn/Ex1_Zan97_iGM.trs 0.304 0.065 0.065 0.03 0.035
TRS/TRCSR/inn/Ex23_Luc06_C.trs 0.331 0.345 0.487 0.214 0.203
TRS/TRCSR/inn/Ex23_Luc06_GM.trs 0.03 0.03 0.017 0.0 0.0
TRS/TRCSR/inn/Ex23_Luc06_iGM.trs 0.231 0.224 0.274 0.046 0.048
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.075 0.069 60.0 60.0 1.066
problem t e c r *
TRS/TRCSR/inn/Ex24_GM04_GM.trs 0.0 0.0 0.072 0.065 0.088
TRS/TRCSR/inn/Ex24_GM04_iGM.trs 0.131 0.104 60.0 60.0 1.102
TRS/TRCSR/inn/Ex24_Luc06_C.trs 0.042 0.035 3.218 3.24 1.037
TRS/TRCSR/inn/Ex24_Luc06_GM.trs 0.0 0.0 0.031 0.025 0.037
TRS/TRCSR/inn/Ex24_Luc06_iGM.trs 0.089 0.058 5.045 5.05 0.566
TRS/TRCSR/inn/Ex25_Luc06_C.trs 0.242 0.262 0.353 60.0 0.77
TRS/TRCSR/inn/Ex25_Luc06_GM.trs 0.0 0.0 0.001 0.002 0.009
TRS/TRCSR/inn/Ex25_Luc06_iGM.trs 0.216 0.22 0.277 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 2.012 4.506 60.0 60.0 2.785
TRS/TRCSR/inn/Ex26_Luc03b_GM.trs 0.083 0.103 0.573 0.566 1.082
TRS/TRCSR/inn/Ex26_Luc03b_iGM.trs 0.935 1.257 60.0 60.0 2.13
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.809 2.033 60.0 60.0 3.116
TRS/TRCSR/inn/Ex2_Luc02a_GM.trs 0.035 0.067 1.009 1.014 1.07
TRS/TRCSR/inn/Ex2_Luc02a_iGM.trs 0.765 0.825 60.0 60.0 2.844
TRS/TRCSR/inn/Ex2_Luc02a_L.trs 0.056 0.042 0.053 0.054 0.073
TRS/TRCSR/inn/Ex2_Luc03b_C.trs 1.847 1.058 60.0 60.0 2.031
TRS/TRCSR/inn/Ex2_Luc03b_GM.trs 0.043 0.058 0.29 0.292 0.565
TRS/TRCSR/inn/Ex2_Luc03b_iGM.trs 0.996 0.959 60.0 60.0 1.943
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.36 0.374 3.633 3.637 1.375
TRS/TRCSR/inn/Ex3_12_Luc96a_GM.trs 0.002 0.001 0.054 0.054 0.118
TRS/TRCSR/inn/Ex3_12_Luc96a_iGM.trs 0.281 0.274 12.423 8.518 1.264
TRS/TRCSR/inn/Ex3_2_Luc97_C.trs 0.571 0.665 60.0 60.0 1.625
problem t e c r *
TRS/TRCSR/inn/Ex3_2_Luc97_GM.trs 0.01 0.015 0.283 0.286 0.573
TRS/TRCSR/inn/Ex3_2_Luc97_iGM.trs 1.08 1.001 60.0 60.0 2.012
TRS/TRCSR/inn/Ex3_3_25_Bor03_C.trs 0.527 0.676 60.0 60.0 1.635
TRS/TRCSR/inn/Ex3_3_25_Bor03_GM.trs 0.102 0.088 0.335 0.883 1.257
TRS/TRCSR/inn/Ex3_3_25_Bor03_iGM.trs 2.112 1.248 60.0 60.0 2.025
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.09 0.083 0.216 0.214 0.27
TRS/TRCSR/inn/Ex4_4_Luc96b_GM.trs 0.003 0.0 0.003 0.004 0.015
TRS/TRCSR/inn/Ex4_4_Luc96b_iGM.trs 0.065 0.063 0.093 0.096 0.13
TRS/TRCSR/inn/Ex4_4_Luc96b_L.trs 0.0 0.0 0.0 0.0 0.004
TRS/TRCSR/inn/Ex4_7_15_Bor03_C.trs 0.357 0.377 2.122 24.49 1.035
TRS/TRCSR/inn/Ex4_7_15_Bor03_GM.trs 0.008 0.002 0.016 0.011 0.013
TRS/TRCSR/inn/Ex4_7_15_Bor03_iGM.trs 0.206 0.18 2.376 3.664 1.119
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.715 2.018 60.0 60.0 2.914
TRS/TRCSR/inn/Ex4_7_37_Bor03_GM.trs 0.1 0.149 2.307 2.308 1.148
TRS/TRCSR/inn/Ex4_7_37_Bor03_iGM.trs 3.638 2.439 60.0 60.0 2.559
TRS/TRCSR/inn/Ex4_7_56_Bor03_C.trs 0.35 0.381 3.721 3.702 1.367
TRS/TRCSR/inn/Ex4_7_56_Bor03_GM.trs 0.002 0.0 0.06 0.06 0.129
TRS/TRCSR/inn/Ex4_7_56_Bor03_iGM.trs 0.261 0.252 10.015 12.995 1.297
TRS/TRCSR/inn/Ex4_7_77_Bor03_C.trs 0.088 0.094 0.429 60.0 0.824
TRS/TRCSR/inn/Ex4_7_77_Bor03_GM.trs 0.001 0.013 0.004 0.005 0.018
TRS/TRCSR/inn/Ex4_7_77_Bor03_iGM.trs 0.086 0.079 0.374 1.597 0.792
TRS/TRCSR/inn/Ex49_GM04_C.trs 0.392 0.447 60.0 60.0 1.448
TRS/TRCSR/inn/Ex49_GM04_GM.trs 0.125 0.119 2.499 3.022 1.351
problem t e c r *
TRS/TRCSR/inn/Ex49_GM04_iGM.trs 1.823 1.56 60.0 60.0 1.733
TRS/TRCSR/inn/Ex4_DLMMU04_C.trs 1.803 2.48 60.0 60.0 3.224
TRS/TRCSR/inn/Ex4_DLMMU04_GM.trs 0.382 0.484 60.0 60.0 1.447
TRS/TRCSR/inn/Ex4_DLMMU04_iGM.trs 4.75 5.384 60.0 60.0 8.511
TRS/TRCSR/inn/Ex4_Zan97_C.trs 0.636 0.703 10.537 12.589 2.24
TRS/TRCSR/inn/Ex4_Zan97_GM.trs 0.009 0.012 0.109 0.108 0.225
TRS/TRCSR/inn/Ex4_Zan97_iGM.trs 0.465 0.427 25.896 22.463 1.412
TRS/TRCSR/inn/Ex5_7_Luc97_C.trs 3.758 5.332 60.0 60.0 4.306
TRS/TRCSR/inn/Ex5_7_Luc97_GM.trs 0.05 0.14 24.636 20.639 1.215
TRS/TRCSR/inn/Ex5_7_Luc97_iGM.trs 6.242 3.148 60.0 60.0 3.933
TRS/TRCSR/inn/Ex5_DLMMU04_C.trs 2.192 2.51 60.0 60.0 3.455
TRS/TRCSR/inn/Ex5_DLMMU04_GM.trs 0.034 0.079 3.175 3.646 1.077
TRS/TRCSR/inn/Ex5_DLMMU04_iGM.trs 1.432 1.887 60.0 60.0 2.775
TRS/TRCSR/inn/Ex5_Zan97_C.trs 0.152 0.15 60.0 60.0 1.154
TRS/TRCSR/inn/Ex5_Zan97_GM.trs 0.029 0.025 0.385 60.0 0.896
TRS/TRCSR/inn/Ex5_Zan97_iGM.trs 0.19 0.156 60.0 60.0 1.325
TRS/TRCSR/inn/Ex6_15_AEL02_C.trs 9.146 9.999 60.0 60.0 8.913
TRS/TRCSR/inn/Ex6_15_AEL02_GM.trs 0.124 0.413 21.135 21.368 1.372
TRS/TRCSR/inn/Ex6_15_AEL02_iGM.trs 5.676 6.908 60.0 60.0 11.101
TRS/TRCSR/inn/Ex6_9_Luc02c_C.trs 0.559 0.598 6.473 6.488 1.587
TRS/TRCSR/inn/Ex6_9_Luc02c_GM.trs 0.01 0.003 0.113 0.109 0.183
TRS/TRCSR/inn/Ex6_9_Luc02c_iGM.trs 0.355 0.375 22.923 22.804 1.366
TRS/TRCSR/inn/Ex6_GM04_C.trs 0.025 0.036 0.041 0.039 0.043
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.019 0.0 0.002
problem t e c r *
TRS/TRCSR/inn/Ex6_Luc98_C.trs 0.42 0.443 60.0 60.0 1.439
TRS/TRCSR/inn/Ex6_Luc98_GM.trs 0.034 0.029 0.089 0.091 0.163
TRS/TRCSR/inn/Ex6_Luc98_iGM.trs 0.345 0.321 55.66 56.12 1.318
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.324 1.476 60.0 60.0 2.409
TRS/TRCSR/inn/Ex7_BLR02_GM.trs 0.021 0.142 1.639 1.628 1.149
TRS/TRCSR/inn/Ex7_BLR02_iGM.trs 1.345 0.991 60.0 60.0 1.964
TRS/TRCSR/inn/Ex8_BLR02_C.trs 0.558 0.724 45.815 49.793 1.662
TRS/TRCSR/inn/Ex8_BLR02_GM.trs 0.024 0.044 0.56 0.563 1.045
TRS/TRCSR/inn/Ex8_BLR02_iGM.trs 0.888 0.969 60.0 60.0 1.925
TRS/TRCSR/inn/Ex9_BLR02_C.trs 0.733 2.155 60.0 60.0 3.007
TRS/TRCSR/inn/Ex9_BLR02_GM.trs 0.094 0.108 3.795 3.846 1.102
TRS/TRCSR/inn/Ex9_BLR02_iGM.trs 0.603 0.712 60.0 60.0 1.637
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.066 0.059 60.0 60.0 1.062
TRS/TRCSR/inn/Ex9_Luc04_GM.trs 0.0 0.0 0.128 0.127 0.256
TRS/TRCSR/inn/Ex9_Luc04_iGM.trs 0.084 0.061 15.66 11.764 1.061
TRS/TRCSR/inn/Ex9_Luc06_C.trs 0.042 0.036 19.498 60.0 1.038
TRS/TRCSR/inn/Ex9_Luc06_GM.trs 0.0 0.0 0.039 0.034 0.072
TRS/TRCSR/inn/Ex9_Luc06_iGM.trs 0.079 0.062 60.0 60.0 0.446
TRS/TRCSR/inn/ExAppendixB_AEL03_C.trs 3.909 5.14 60.0 60.0 7.798
TRS/TRCSR/inn/ExAppendixB_AEL03_GM.trs 0.113 0.318 28.906 26.303 1.757
TRS/TRCSR/inn/ExAppendixB_AEL03_iGM.trs 5.489 5.663 60.0 60.0 7.291
TRS/TRCSR/inn/ExConc_Zan97_C.trs 0.23 0.102 0.121 0.037 0.042
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.064 0.045 0.068 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.998 1.068 34.132 60.0 2.044
TRS/TRCSR/inn/ExIntrod_GM01_GM.trs 0.102 0.11 0.315 60.0 0.833
TRS/TRCSR/inn/ExIntrod_GM01_iGM.trs 0.84 0.831 60.0 60.0 2.589
TRS/TRCSR/inn/ExIntrod_GM04_C.trs 1.24 0.642 13.713 60.0 1.625
TRS/TRCSR/inn/ExIntrod_GM04_GM.trs 0.042 0.043 0.154 0.374 0.498
TRS/TRCSR/inn/ExIntrod_GM04_iGM.trs 0.848 0.726 17.919 31.493 1.542
TRS/TRCSR/inn/ExIntrod_GM99_C.trs 2.864 3.226 60.0 60.0 7.997
TRS/TRCSR/inn/ExIntrod_GM99_GM.trs 0.111 0.109 60.0 60.0 1.094
TRS/TRCSR/inn/ExIntrod_GM99_iGM.trs 1.821 2.225 60.0 60.0 3.098
TRS/TRCSR/inn/ExIntrod_Zan97_C.trs 1.226 1.441 60.0 60.0 2.397
TRS/TRCSR/inn/ExIntrod_Zan97_GM.trs 0.036 0.074 19.129 15.384 1.07
TRS/TRCSR/inn/ExIntrod_Zan97_iGM.trs 1.815 1.948 60.0 60.0 1.967
TRS/TRCSR/inn/ExProp7_Luc06_C.trs 0.342 0.363 2.174 22.827 1.359
TRS/TRCSR/inn/ExProp7_Luc06_GM.trs 0.034 0.03 0.058 0.069 0.108
TRS/TRCSR/inn/ExProp7_Luc06_iGM.trs 0.23 0.185 2.527 5.017 1.124
TRS/TRCSR/inn/ExProp7_Luc06_L.trs 0.0 0.0 0.0 0.002 0.0
TRS/TRCSR/inn/ExSec11_1_Luc02a_C.trs 2.633 3.073 60.0 60.0 3.913
TRS/TRCSR/inn/ExSec11_1_Luc02a_GM.trs 0.049 0.105 4.798 3.577 1.097
TRS/TRCSR/inn/ExSec11_1_Luc02a_iGM.trs 1.603 2.092 60.0 60.0 2.901
TRS/TRCSR/inn/ExSec11_1_Luc02a_L.trs 0.031 0.019 0.025 0.023 0.037
TRS/TRCSR/inn/ExSec4_2_DLMMU04_C.trs 5.476 8.539 60.0 60.0 6.953
TRS/TRCSR/inn/ExSec4_2_DLMMU04_GM.trs 0.098 0.287 60.0 60.0 1.271
TRS/TRCSR/inn/ExSec4_2_DLMMU04_iGM.trs 2.068 2.716 60.0 60.0 3.552
problem t e c r *
TRS/TRCSR/inn/LengthOfFiniteLists_complete_C.trs 20.562 23.821 60.0 60.0 21.837
TRS/TRCSR/inn/LengthOfFiniteLists_complete_GM.trs 1.285 1.752 60.0 60.0 2.577
TRS/TRCSR/inn/LengthOfFiniteLists_complete_iGM.trs 24.867 26.632 60.0 60.0 26.427
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.486 10.319 60.0 60.0 6.43
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.358 1.496 60.0 60.0 2.463
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_GM.trs 0.187 0.199 1.704 1.699 1.49
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_iGM.trs 4.713 1.721 60.0 60.0 2.637
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_C.trs 6.054 6.951 60.0 60.0 11.338
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_GM.trs 0.259 0.391 60.0 60.0 1.352
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_iGM.trs 7.107 11.576 60.0 60.0 8.541
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_C.trs 0.376 0.412 6.713 60.0 1.3
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_GM.trs 0.035 0.052 0.434 0.381 0.683
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_iGM.trs 1.107 0.974 10.672 17.5 1.663
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_C.trs 0.64 0.697 14.469 60.0 1.657
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_GM.trs 0.085 0.096 0.447 0.349 0.705
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_iGM.trs 0.703 1.036 29.158 60.0 1.56
TRS/TRCSR/inn/LISTUTILITIES_complete_C.trs 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/inn/LISTUTILITIES_complete_GM.trs 7.326 21.741 60.0 60.0 4.816
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 42.429 60.0 60.0 60.0 47.502
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.807 42.969 60.0 60.0 30.224
problem t e c r *
TRS/TRCSR/inn/LISTUTILITIES_nokinds_GM.trs 0.516 2.129 60.0 60.0 2.053
TRS/TRCSR/inn/LISTUTILITIES_nokinds_iGM.trs 42.046 53.012 60.0 60.0 43.5
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.255 11.544 60.0 60.0 4.3
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.395 5.915 60.0 60.0 8.901
TRS/TRCSR/inn/LISTUTILITIES_nosorts_GM.trs 0.132 0.394 60.0 60.0 1.365
TRS/TRCSR/inn/LISTUTILITIES_nosorts_iGM.trs 5.667 7.203 60.0 60.0 11.168
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_C.trs 53.903 60.0 60.0 60.0 57.78
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_GM.trs 0.596 2.152 60.0 60.0 2.901
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_iGM.trs 55.339 60.0 60.0 60.0 57.481
TRS/TRCSR/inn/MYNAT_complete_C.trs 13.841 20.363 60.0 60.0 19.336
TRS/TRCSR/inn/MYNAT_complete_GM.trs 0.208 0.686 60.0 60.0 1.503
TRS/TRCSR/inn/MYNAT_complete_iGM.trs 16.115 20.749 60.0 60.0 13.776
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 3.716 4.077 60.0 60.0 3.002
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.687 2.174 60.0 60.0 3.01
TRS/TRCSR/inn/MYNAT_nokinds_GM.trs 0.058 0.131 34.885 34.836 1.115
TRS/TRCSR/inn/MYNAT_nokinds_iGM.trs 2.331 2.904 60.0 60.0 6.521
TRS/TRCSR/inn/MYNAT_nokinds_noand_C.trs 7.93 13.451 60.0 60.0 9.416
TRS/TRCSR/inn/MYNAT_nokinds_noand_GM.trs 0.246 0.459 60.0 60.0 1.408
TRS/TRCSR/inn/MYNAT_nokinds_noand_iGM.trs 10.82 9.486 60.0 60.0 12.48
TRS/TRCSR/inn/MYNAT_nosorts_C.trs 0.45 0.496 40.859 44.487 1.486
TRS/TRCSR/inn/MYNAT_nosorts_GM.trs 0.01 0.015 0.22 0.224 0.454
problem t e c r *
TRS/TRCSR/inn/MYNAT_nosorts_iGM.trs 0.332 0.369 60.0 60.0 1.738
TRS/TRCSR/inn/MYNAT_nosorts_noand_C.trs 5.328 1.887 60.0 60.0 2.834
TRS/TRCSR/inn/MYNAT_nosorts_noand_GM.trs 0.031 0.059 25.586 27.282 1.057
TRS/TRCSR/inn/MYNAT_nosorts_noand_iGM.trs 1.753 1.969 60.0 60.0 5.236
TRS/TRCSR/inn/OvConsOS_complete_C.trs 39.425 49.707 60.0 60.0 40.941
TRS/TRCSR/inn/OvConsOS_complete_GM.trs 3.745 3.676 60.0 60.0 3.093
TRS/TRCSR/inn/OvConsOS_complete_iGM.trs 33.057 40.76 60.0 60.0 34.386
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 5.585 15.776 60.0 60.0 7.044
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.912 5.439 60.0 60.0 3.208
TRS/TRCSR/inn/OvConsOS_nokinds_GM.trs 0.383 0.459 60.0 60.0 1.438
TRS/TRCSR/inn/OvConsOS_nokinds_iGM.trs 5.0 5.501 60.0 60.0 9.652
TRS/TRCSR/inn/OvConsOS_nokinds_noand_C.trs 18.916 25.041 60.0 60.0 19.779
TRS/TRCSR/inn/OvConsOS_nokinds_noand_GM.trs 1.44 1.918 60.0 60.0 2.769
TRS/TRCSR/inn/OvConsOS_nokinds_noand_iGM.trs 16.124 19.838 60.0 60.0 15.367
TRS/TRCSR/inn/OvConsOS_nosorts_C.trs 0.762 0.813 60.0 60.0 1.769
TRS/TRCSR/inn/OvConsOS_nosorts_GM.trs 0.072 0.073 0.456 0.516 1.212
TRS/TRCSR/inn/OvConsOS_nosorts_iGM.trs 2.397 1.674 60.0 60.0 1.757
TRS/TRCSR/inn/OvConsOS_nosorts_noand_C.trs 3.018 3.446 60.0 60.0 4.304
TRS/TRCSR/inn/OvConsOS_nosorts_noand_GM.trs 0.253 0.295 60.0 60.0 1.295
TRS/TRCSR/inn/OvConsOS_nosorts_noand_iGM.trs 8.072 4.642 60.0 60.0 5.41
TRS/TRCSR/inn/PALINDROME_complete_C.trs 15.327 19.837 60.0 60.0 13.102
TRS/TRCSR/inn/PALINDROME_complete_GM.trs 1.814 2.709 60.0 60.0 5.821
TRS/TRCSR/inn/PALINDROME_complete_iGM.trs 46.309 48.598 60.0 60.0 52.133
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 12.175 12.695 60.0 60.0 13.713
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.915 1.081 60.0 60.0 2.052
TRS/TRCSR/inn/PALINDROME_nokinds_GM.trs 0.118 0.148 60.0 60.0 1.144
TRS/TRCSR/inn/PALINDROME_nokinds_iGM.trs 2.715 1.868 60.0 60.0 4.332
TRS/TRCSR/inn/PALINDROME_nokinds_noand_C.trs 9.825 10.442 60.0 60.0 12.139
TRS/TRCSR/inn/PALINDROME_nokinds_noand_GM.trs 0.91 1.217 60.0 60.0 2.143
TRS/TRCSR/inn/PALINDROME_nokinds_noand_iGM.trs 17.418 11.688 60.0 60.0 19.181
TRS/TRCSR/inn/PALINDROME_nosorts_C.trs 0.251 0.257 60.0 60.0 1.179
TRS/TRCSR/inn/PALINDROME_nosorts_GM.trs 0.047 0.045 46.654 60.0 1.065
TRS/TRCSR/inn/PALINDROME_nosorts_iGM.trs 0.317 0.231 60.0 60.0 1.226
TRS/TRCSR/inn/PALINDROME_nosorts_noand_C.trs 0.401 0.437 60.0 60.0 1.329
TRS/TRCSR/inn/PALINDROME_nosorts_noand_GM.trs 0.062 0.061 60.0 60.0 1.065
TRS/TRCSR/inn/PALINDROME_nosorts_noand_iGM.trs 0.467 0.366 60.0 60.0 1.403
TRS/TRCSR/inn/PEANO_complete_C.trs 5.995 3.324 60.0 60.0 3.914
TRS/TRCSR/inn/PEANO_complete_GM.trs 0.468 0.584 60.0 60.0 1.54
TRS/TRCSR/inn/PEANO_complete_iGM.trs 6.12 11.174 60.0 60.0 7.618
TRS/TRCSR/inn/PEANO_complete_noand_C.trs 24.691 29.035 60.0 60.0 26.051
TRS/TRCSR/inn/PEANO_complete_noand_GM.trs 4.1 2.249 60.0 60.0 3.039
TRS/TRCSR/inn/PEANO_complete_noand_iGM.trs 20.65 25.66 60.0 60.0 24.213
TRS/TRCSR/inn/PEANO_nokinds_C.trs 0.603 0.693 60.0 60.0 1.643
TRS/TRCSR/inn/PEANO_nokinds_GM.trs 0.12 0.123 4.237 4.211 1.114
TRS/TRCSR/inn/PEANO_nokinds_iGM.trs 1.177 1.242 60.0 60.0 3.758
TRS/TRCSR/inn/PEANO_nokinds_noand_C.trs 2.114 1.669 60.0 60.0 2.543
problem t e c r *
TRS/TRCSR/inn/PEANO_nokinds_noand_GM.trs 0.219 0.267 27.096 24.194 1.251
TRS/TRCSR/inn/PEANO_nokinds_noand_iGM.trs 3.311 5.175 60.0 60.0 4.194
TRS/TRCSR/inn/PEANO_nosorts_C.trs 0.215 0.223 4.097 50.602 1.223
TRS/TRCSR/inn/PEANO_nosorts_GM.trs 0.033 0.024 0.091 0.089 0.149
TRS/TRCSR/inn/PEANO_nosorts_iGM.trs 0.135 0.122 4.529 21.089 1.098
TRS/TRCSR/inn/PEANO_nosorts_noand_C.trs 0.474 0.499 60.0 60.0 1.495
TRS/TRCSR/inn/PEANO_nosorts_noand_GM.trs 0.048 0.042 2.002 2.085 1.047
TRS/TRCSR/inn/PEANO_nosorts_noand_iGM.trs 1.328 1.655 60.0 60.0 2.108
Yes No Maybe Timeout