DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for TRSs

problem t e s nv g c r *
TRS/AG01/#3.10.trs 1.101 0.27 20.466 60.0 60.0 0.184 0.182 0.194
TRS/AG01/#3.12.trs 0.042 0.034 0.029 0.03 60.0 0.0 0.0 0.0
TRS/AG01/#3.13.trs 0.172 0.088 60.0 60.0 60.0 0.091 0.09 0.091
TRS/AG01/#3.14.trs 0.006 0.0 0.024 0.012 60.0 0.0 0.0 0.0
TRS/AG01/#3.15.trs 0.042 0.0 0.016 0.017 60.0 0.015 0.002 0.0
TRS/AG01/#3.16.trs 0.004 0.0 0.035 0.072 60.0 0.0 0.0 0.0
TRS/AG01/#3.17a.trs 0.164 0.037 0.264 0.5 60.0 0.039 0.0 0.0
TRS/AG01/#3.17.trs 0.068 0.03 0.102 0.154 60.0 0.019 0.0 0.0
TRS/AG01/#3.18.trs 0.063 0.019 0.083 0.182 60.0 0.004 0.006 0.007
TRS/AG01/#3.19.trs 0.061 0.015 0.226 0.589 60.0 0.008 0.008 0.01
TRS/AG01/#3.1.trs 0.022 0.008 0.028 0.027 60.0 0.0 0.0 0.0
TRS/AG01/#3.21.trs 0.011 0.0 0.097 0.106 60.0 0.0 0.0 0.0
TRS/AG01/#3.22.trs 0.007 0.015 0.169 0.737 60.0 0.003 0.001 0.003
TRS/AG01/#3.23.trs 0.009 0.0 0.006 0.017 4.777 0.0 0.0 0.0
TRS/AG01/#3.24.trs 0.001 0.018 0.003 0.016 2.601 0.0 0.0 0.0
TRS/AG01/#3.26.trs 0.0 0.0 0.0 0.004 0.062 0.0 0.0 0.002
TRS/AG01/#3.29.trs 0.0 0.0 0.009 0.022 10.577 0.0 0.0 0.0
TRS/AG01/#3.2.trs 0.038 0.0 0.03 0.036 60.0 0.0 0.0 0.0
TRS/AG01/#3.31.trs 0.006 0.0 0.01 0.001 60.0 0.0 0.0 0.0
TRS/AG01/#3.33.trs 0.01 0.0 0.028 0.0 47.748 0.0 0.0 0.0
TRS/AG01/#3.35.trs 0.0 0.0 0.018 0.014 0.065 0.0 0.0 0.0
TRS/AG01/#3.36.trs 0.027 0.013 0.05 0.124 60.0 0.002 0.002 0.005
TRS/AG01/#3.37.trs 0.041 0.0 0.036 0.0 60.0 0.0 0.0 0.0
TRS/AG01/#3.38.trs 0.053 0.013 0.033 0.024 60.0 0.0 0.0 0.0
TRS/AG01/#3.39.trs 0.109 0.03 0.364 0.754 60.0 0.029 0.03 0.036
problem t e s nv g c r *
TRS/AG01/#3.40.trs 0.138 0.058 1.021 3.142 60.0 0.054 0.055 0.06
TRS/AG01/#3.41.trs 0.0 0.0 0.012 0.034 60.0 0.001 0.006 0.0
TRS/AG01/#3.42.trs 0.029 0.02 0.073 0.047 60.0 0.009 0.005 0.006
TRS/AG01/#3.47.trs 0.0 0.0 0.027 0.004 60.0 0.0 0.0 0.0
TRS/AG01/#3.48.trs 0.071 0.011 0.245 1.408 60.0 0.001 0.001 0.001
TRS/AG01/#3.49.trs 0.055 0.019 0.039 0.029 60.0 0.004 0.006 0.006
TRS/AG01/#3.4.trs 0.065 0.017 0.105 0.211 60.0 0.01 0.01 0.012
TRS/AG01/#3.51.trs 0.066 0.0 0.051 0.104 60.0 0.0 0.0 0.0
TRS/AG01/#3.52.trs 0.005 0.0 0.07 0.043 60.0 0.0 0.0 0.0
TRS/AG01/#3.53a.trs 0.0 0.0 0.019 0.027 60.0 0.0 0.0 0.0
TRS/AG01/#3.53b.trs 0.04 0.0 0.064 0.079 60.0 0.0 0.0 0.0
TRS/AG01/#3.53.trs 0.299 0.206 1.057 2.618 60.0 0.287 0.1 0.114
TRS/AG01/#3.54.trs 0.042 0.0 0.212 0.305 60.0 0.0 0.002 0.001
TRS/AG01/#3.55.trs 0.249 0.159 4.105 60.0 60.0 0.166 0.163 0.174
TRS/AG01/#3.56.trs 0.038 0.0 0.025 0.02 60.0 0.0 0.0 0.0
TRS/AG01/#3.57.trs 0.182 0.067 38.776 60.0 60.0 0.066 0.065 0.073
TRS/AG01/#3.5a.trs 0.079 0.019 0.296 1.897 60.0 0.022 0.015 0.021
TRS/AG01/#3.5b.trs 0.105 0.022 0.562 10.883 60.0 0.026 0.026 0.031
TRS/AG01/#3.5.trs 0.081 0.02 0.252 1.721 60.0 0.016 0.015 0.02
TRS/AG01/#3.6a.trs 0.076 0.021 0.329 1.165 60.0 0.02 0.02 0.025
TRS/AG01/#3.6b.trs 0.131 0.044 0.763 8.017 60.0 0.052 0.052 0.054
TRS/AG01/#3.6.trs 0.089 0.024 0.387 1.402 60.0 0.021 0.021 0.025
TRS/AG01/#3.7.trs 0.006 0.002 0.025 0.013 12.626 0.0 0.0 0.0
TRS/AG01/#3.8a.trs 0.067 0.021 0.114 0.302 60.0 0.012 0.012 0.014
TRS/AG01/#3.8b.trs 0.119 0.038 1.019 10.557 60.0 0.045 0.041 0.051
problem t e s nv g c r *
TRS/AG01/#4.30c.trs 0.071 0.017 0.424 1.869 60.0 0.011 0.014 0.014
TRS/aprove08/id_inc.trs 0.024 0.02 0.255 0.44 60.0 0.023 0.022 0.031
TRS/aprove08/log.trs 0.088 0.04 0.333 1.722 60.0 0.04 0.038 0.042
TRS/aprove08/parting01_reverse.trs 0.123 0.037 54.107 60.0 60.0 0.038 0.04 0.043
TRS/aprove08/parting02_doublelist.trs 0.055 0.059 6.781 60.0 60.0 0.032 0.032 0.035
TRS/aprove08/parting03_minsort.trs 0.14 0.059 24.196 60.0 60.0 0.059 0.064 0.067
TRS/aprove08/parting04_maxsort_h.trs 0.187 0.132 60.0 60.0 60.0 0.139 0.136 0.148
TRS/aprove08/parting05_maxsort.trs 0.149 0.092 60.0 60.0 60.0 0.101 0.096 0.106
TRS/aprove08/round_nonterm.trs 0.0 0.002 0.058 0.068 60.0 0.0 0.0 0.004
TRS/aprove08/round.trs 0.004 0.0 0.064 0.093 60.0 0.0 0.001 0.003
TRS/aprove08/thiemann40_modified.trs 0.005 0.013 0.575 1.728 60.0 0.003 0.002 0.0
TRS/AProVE/AAECC-ring.trs 0.563 0.528 60.0 60.0 60.0 0.575 0.58 0.662
TRS/AProVE/AAECC.trs 0.227 0.174 22.052 60.0 60.0 0.191 0.191 0.212
TRS/AProVE/fac.trs 0.065 0.019 0.148 0.397 60.0 0.012 0.012 0.014
TRS/AProVE/forward_instantiation2.trs 0.0 0.0 0.047 0.024 60.0 0.0 0.0 0.0
TRS/AProVE/forward_instantiation.trs 0.0 0.0 0.04 0.013 60.0 0.0 0.0 0.0
TRS/AProVE/IJCAR_12.trs 0.087 0.032 0.501 4.767 60.0 0.029 0.033 0.034
TRS/AProVE/IJCAR_18.trs 0.21 0.119 8.184 60.0 60.0 0.134 0.134 0.138
TRS/AProVE/IJCAR_1.trs 0.042 0.0 0.059 0.418 60.0 0.0 0.0 0.0
TRS/AProVE/IJCAR_26a.trs 0.273 0.181 11.715 60.0 60.0 0.189 0.193 0.204
TRS/AProVE/IJCAR_26.trs 0.236 0.179 11.158 60.0 60.0 0.198 0.192 0.207
TRS/AProVE/improved_usable2.trs 0.0 0.0 0.049 0.021 60.0 0.0 0.0 0.0
TRS/AProVE/improved_usable.trs 0.022 0.0 0.043 0.017 60.0 0.0 0.0 0.0
TRS/AProVE/JFP_Ex31.trs 0.129 0.041 1.43 17.601 60.0 0.048 0.049 0.055
TRS/AProVE/JFP_Ex51.trs 0.2 0.112 7.949 60.0 60.0 0.12 0.117 0.117
problem t e s nv g c r *
TRS/AProVE/Liveness6.1.trs 0.084 0.019 0.122 0.098 60.0 0.018 0.0 0.003
TRS/AProVE/Liveness6.2.trs 0.059 0.014 0.065 0.053 60.0 0.006 0.0 0.0
TRS/AProVE/Liveness6.3.trs 0.199 0.106 1.027 1.023 60.0 0.108 0.043 0.042
TRS/AProVE/Liveness6.4.trs 0.137 0.055 1.13 0.807 60.0 0.056 60.0 0.518
TRS/AProVE/Liveness8.trs 0.177 0.09 1.207 0.437 60.0 0.099 0.06 0.055
TRS/AProVE/Liveness_WRS.trs 0.224 0.1 60.0 0.676 60.0 0.111 0.05 0.048
TRS/AProVE/LPAR_intlist.trs 0.06 0.01 0.051 0.031 60.0 0.011 0.003 0.0
TRS/AProVE/rta1.trs 0.068 0.019 0.257 9.2 60.0 0.012 0.033 0.014
TRS/AProVE/rta2.trs 0.0 0.0 0.013 0.001 60.0 0.0 0.0 0.0
TRS/AProVE/rta3.trs 0.008 0.002 0.104 0.194 60.0 0.0 0.0 0.0
TRS/Beerendonk/10.trs 0.107 0.02 0.733 2.415 60.0 0.021 0.022 0.025
TRS/Beerendonk/11.trs 0.03 0.016 0.593 12.244 60.0 0.013 0.014 0.013
TRS/Beerendonk/12.trs 0.006 0.015 0.364 4.145 60.0 0.0 0.0 0.001
TRS/Beerendonk/13.trs 0.036 0.014 0.345 2.203 60.0 0.0 0.0 0.001
TRS/Beerendonk/14.trs 0.03 0.019 0.452 6.336 60.0 0.013 0.01 0.012
TRS/Beerendonk/15.trs 0.05 0.028 1.737 13.249 60.0 0.025 0.025 0.035
TRS/Beerendonk/16.trs 0.091 0.028 15.625 60.0 60.0 0.032 0.029 0.036
TRS/Beerendonk/17.trs 0.121 0.043 2.453 60.0 60.0 0.122 0.101 0.111
TRS/Beerendonk/18.trs 0.116 0.042 2.918 60.0 60.0 0.019 0.019 0.023
TRS/Beerendonk/19.trs 0.043 0.018 23.461 60.0 60.0 0.019 0.019 0.023
TRS/Beerendonk/1.trs 0.0 0.0 0.076 0.414 60.0 0.0 0.0 0.0
TRS/Beerendonk/20.trs 0.086 0.032 1.184 60.0 60.0 0.028 0.025 0.029
TRS/Beerendonk/21.trs 0.05 0.027 7.859 60.0 60.0 0.027 0.025 0.028
TRS/Beerendonk/22.trs 0.044 0.018 0.402 2.682 60.0 0.001 0.002 0.009
TRS/Beerendonk/23.trs 0.045 0.017 3.101 60.0 60.0 0.018 0.017 0.02
problem t e s nv g c r *
TRS/Beerendonk/24.trs 0.137 0.053 4.926 60.0 60.0 0.025 0.025 0.041
TRS/Beerendonk/2.trs 0.041 0.0 0.063 0.415 60.0 0.0 0.0 0.0
TRS/Beerendonk/3.trs 0.006 0.015 0.094 0.734 60.0 0.009 0.0 0.0
TRS/Beerendonk/4.trs 0.003 0.002 0.069 0.116 60.0 0.0 0.0 0.0
TRS/Beerendonk/5.trs 0.069 0.014 0.446 2.63 60.0 0.003 0.003 0.003
TRS/Beerendonk/6.trs 0.0 0.0 0.044 0.035 60.0 0.0 0.0 0.012
TRS/Beerendonk/7.trs 0.019 0.0 0.047 0.053 60.0 0.0 0.0 0.0
TRS/Beerendonk/8.trs 0.022 0.019 1.004 60.0 60.0 0.02 0.023 0.021
TRS/Beerendonk/9.trs 0.061 0.02 14.01 60.0 60.0 0.039 0.039 0.044
TRS/Cime/ack_prolog.trs 0.091 0.03 0.172 0.3 60.0 0.04 0.03 0.033
TRS/Cime/append-hard.trs 0.039 0.015 0.242 0.681 60.0 0.005 0.005 0.01
TRS/Cime/append.trs 0.026 0.018 0.129 0.376 60.0 0.004 0.003 0.004
TRS/Cime/append-wrong.trs 0.039 0.021 0.195 0.33 60.0 0.0 0.0 0.0
TRS/Cime/big.trs 1.736 1.634 60.0 60.0 60.0 1.691 1.676 1.756
TRS/Cime/boolean_rings.trs 0.007 0.001 0.2 0.408 60.0 0.0 0.0 0.0
TRS/Cime/dpqs.trs 0.044 0.0 0.051 0.04 60.0 0.0 0.0 0.0
TRS/Cime/fact-hard.trs 0.113 0.041 0.482 1.282 60.0 0.04 0.04 0.039
TRS/Cime/filliatre2.trs 0.092 0.023 0.563 0.925 60.0 0.025 0.091 0.092
TRS/Cime/filliatre3.trs 0.146 0.061 3.092 23.815 60.0 0.063 0.063 0.07
TRS/Cime/filliatre.trs 0.105 0.029 0.351 0.456 60.0 0.032 0.038 0.044
TRS/Cime/intersect.trs 0.184 0.096 44.21 60.0 60.0 0.099 0.102 0.1
TRS/Cime/list-sum-prod-assoc-append.trs 0.208 0.115 1.709 7.899 60.0 0.129 0.128 0.139
TRS/Cime/list-sum-prod-assoc.trs 0.142 0.052 0.57 4.232 60.0 0.179 0.182 0.193
TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs 0.641 0.583 6.169 34.646 60.0 0.226 0.218 0.234
TRS/Cime/list-sum-prod-bin-assoc.trs 0.2 0.112 1.999 9.212 60.0 0.114 0.116 0.131
problem t e s nv g c r *
TRS/Cime/list-sum-prod-bin.trs 0.123 0.038 0.929 2.67 60.0 0.054 0.046 0.043
TRS/Cime/list-sum-prod.trs 0.077 0.024 0.193 0.528 60.0 0.028 0.016 0.021
TRS/Cime/log2.trs 0.261 0.209 11.826 60.0 60.0 0.223 0.551 0.62
TRS/Cime/lse.trs 0.924 0.685 60.0 60.0 60.0 0.683 0.359 0.304
TRS/Cime/maude2.trs 0.221 0.138 12.417 60.0 60.0 0.671 0.642 1.129
TRS/Cime/mucrl1.trs 16.339 8.13 60.0 60.0 60.0 60.0 60.0 9.147
TRS/Cime/quick.trs 0.054 0.057 60.0 60.0 60.0 0.032 0.037 0.036
TRS/Cime/ternary-hard.trs 0.345 0.265 13.095 60.0 60.0 0.264 0.275 0.302
TRS/Cime/ternary.trs 0.271 0.197 5.807 40.13 60.0 0.198 0.197 0.209
TRS/Cime/tree.trs 0.629 0.662 50.085 60.0 60.0 0.651 0.679 0.707
TRS/CSR/Ex1_Luc04b_GM.trs 0.109 0.039 1.631 0.853 60.0 0.039 0.103 0.113
TRS/currying/AG01/#3.10.trs 0.622 2.666 60.0 60.0 60.0 1.661 1.26 1.158
TRS/currying/AG01/#3.13.trs 0.612 0.736 60.0 60.0 60.0 24.579 20.94 0.804
TRS/currying/AG01/#3.16.trs 0.271 0.344 60.0 60.0 60.0 0.381 0.376 0.39
TRS/currying/AG01/#3.18.trs 0.201 0.178 60.0 60.0 60.0 0.211 0.216 0.2
TRS/currying/AG01/#3.22.trs 0.197 0.141 60.0 60.0 60.0 0.184 0.165 0.166
TRS/currying/AG01/#3.25.trs 0.131 0.048 60.0 60.0 60.0 0.058 0.053 0.049
TRS/currying/AG01/#3.27.trs 0.111 0.038 60.0 60.0 60.0 0.05 0.044 0.044
TRS/currying/AG01/#3.2.trs 0.154 0.103 60.0 60.0 60.0 0.117 0.115 0.109
TRS/currying/AG01/#3.32.trs 0.106 0.017 60.0 60.0 60.0 0.023 0.022 0.022
TRS/currying/AG01/#3.36.trs 0.16 0.108 60.0 60.0 60.0 0.126 0.125 0.258
TRS/currying/AG01/#3.38.trs 0.143 0.119 60.0 60.0 60.0 0.15 0.151 0.133
TRS/currying/AG01/#3.40.trs 0.24 0.297 60.0 60.0 60.0 1.905 1.899 0.336
TRS/currying/AG01/#3.45.trs 0.131 0.115 60.0 60.0 60.0 0.123 0.135 0.12
TRS/currying/AG01/#3.48.trs 0.2 0.173 60.0 60.0 60.0 0.656 0.676 0.188
problem t e s nv g c r *
TRS/currying/AG01/#3.52.trs 0.158 0.072 60.0 60.0 60.0 0.075 0.075 0.081
TRS/currying/AG01/#3.55.trs 0.608 0.992 60.0 60.0 60.0 0.948 0.978 1.059
TRS/currying/AG01/#3.57.trs 0.651 1.285 60.0 60.0 60.0 0.681 0.546 0.569
TRS/currying/AG01/#3.6.trs 0.246 0.281 60.0 60.0 60.0 0.295 0.298 0.326
TRS/currying/AG01/#3.8.trs 0.197 0.202 60.0 60.0 60.0 60.0 60.0 0.22
TRS/currying/D33/01.trs 0.12 0.033 60.0 60.0 60.0 60.0 60.0 1.033
TRS/currying/D33/02.trs 0.115 0.025 60.0 60.0 60.0 60.0 60.0 1.025
TRS/currying/D33/06.trs 0.125 0.047 60.0 60.0 60.0 0.059 0.056 0.049
TRS/currying/D33/08.trs 0.193 0.177 60.0 60.0 60.0 0.182 0.191 0.176
TRS/currying/D33/11.trs 1.086 0.953 60.0 60.0 60.0 0.947 0.946 1.002
TRS/currying/D33/12.trs 0.202 0.17 60.0 60.0 60.0 0.189 0.191 0.495
TRS/currying/D33/13.trs 0.379 0.359 60.0 60.0 60.0 0.381 0.368 0.304
TRS/currying/D33/17.trs 0.147 0.104 60.0 60.0 60.0 60.0 60.0 1.106
TRS/currying/D33/18.trs 0.128 0.052 60.0 60.0 60.0 0.062 0.061 0.052
TRS/currying/D33/21.trs 0.168 0.146 60.0 60.0 60.0 0.17 0.165 0.162
TRS/currying/D33/29.trs 0.143 0.064 60.0 60.0 60.0 0.071 0.069 0.081
TRS/currying/D33/30.trs 0.186 0.099 60.0 60.0 60.0 0.106 0.122 0.123
TRS/currying/D33/31.trs 0.185 0.097 60.0 60.0 60.0 0.11 0.113 0.104
TRS/currying/D33/33.trs 0.247 0.242 60.0 60.0 60.0 0.263 0.282 0.257
TRS/currying/Ste92/hydra.trs 0.165 0.086 60.0 60.0 60.0 0.111 0.102 0.093
TRS/currying/Ste92/minsort.trs 0.35 0.542 60.0 60.0 60.0 60.0 60.0 0.581
TRS/currying/Ste92/motivation.trs 0.136 0.056 60.0 60.0 60.0 0.037 0.034 0.033
TRS/currying/Ste92/perfect2.trs 0.452 0.519 60.0 60.0 60.0 0.512 0.52 0.55
TRS/currying/Ste92/perfect.trs 0.386 0.244 60.0 60.0 60.0 0.246 0.237 0.26
TRS/D33/01.trs 0.024 0.001 0.006 0.011 0.005 0.0 0.0 0.0
problem t e s nv g c r *
TRS/D33/02.trs 0.007 0.001 0.018 0.002 0.006 0.0 0.0 0.0
TRS/D33/03.trs 0.016 0.004 0.018 0.001 0.006 0.001 0.0 0.0
TRS/D33/04.trs 0.028 0.014 0.015 0.01 0.56 0.0 0.0 0.0
TRS/D33/06.trs 0.021 0.013 0.022 0.012 0.503 0.0 0.0 0.0
TRS/D33/07.trs 0.051 0.034 0.03 0.031 0.417 0.0 0.0 0.0
TRS/D33/08.trs 0.046 0.02 0.012 0.018 60.0 0.002 0.002 0.004
TRS/D33/09.trs 0.004 0.0 0.013 0.0 2.101 0.0 0.0 0.0
TRS/D33/11.trs 0.177 0.09 0.189 0.168 60.0 0.088 0.087 0.099
TRS/D33/12.trs 0.047 0.006 0.031 0.04 60.0 0.001 0.0 0.002
TRS/D33/13.trs 0.043 0.0 0.021 0.096 60.0 0.0 0.0 0.0
TRS/D33/17.trs 0.043 0.014 0.062 0.198 60.0 0.0 0.002 0.009
TRS/D33/18.trs 0.0 0.0 0.0 0.003 29.304 0.0 0.0 0.001
TRS/D33/20.trs 0.009 0.002 0.037 0.035 60.0 0.0 0.013 0.016
TRS/D33/21.trs 0.047 0.016 0.072 0.121 60.0 0.0 0.0 0.0
TRS/D33/27.trs 0.0 0.0 0.0 0.0 0.344 0.0 0.0 0.0
TRS/D33/28.trs 0.0 0.0 0.019 0.0 60.0 0.0 0.0 0.0
TRS/D33/30.trs 0.004 0.0 17.401 6.079 60.0 0.0 0.0 0.0
TRS/D33/31.trs 0.058 0.0 0.02 0.021 60.0 0.0 0.0 0.0
TRS/D33/32.trs 0.067 0.014 1.762 21.255 60.0 0.01 0.008 0.01
TRS/D33/33.trs 0.091 0.022 2.452 7.538 60.0 0.023 0.023 0.031
TRS/Endrullis/direct.trs 0.045 0.036 0.03 0.022 60.0 0.01 0.048 0.049
TRS/Endrullis/labeling.trs 0.035 0.015 0.367 1.22 60.0 0.0 0.0 0.0
TRS/Endrullis/linear1.trs 0.153 0.029 0.074 0.113 60.0 0.034 60.0 0.04
TRS/Endrullis/linear2.trs 0.194 0.144 0.204 0.242 60.0 0.142 0.414 0.273
TRS/Endrullis/pair2hard.trs 0.044 0.018 0.042 0.065 60.0 0.003 0.001 0.003
problem t e s nv g c r *
TRS/Endrullis/pair2simple1.trs 0.05 0.016 0.026 0.018 60.0 0.001 0.0 0.0
TRS/Endrullis/pair2simple2.trs 0.043 0.014 0.046 0.036 60.0 0.0 0.005 0.0
TRS/Endrullis/pair3hard.trs 0.043 0.014 0.064 0.031 60.0 0.0 0.0 0.0
TRS/Endrullis/pair3rotate.trs 0.067 0.015 0.006 0.004 60.0 0.0 0.027 0.014
TRS/Endrullis/pair3swap.trs 0.061 0.019 0.007 0.009 60.0 0.003 0.006 0.007
TRS/Endrullis/quadruple1.trs 0.075 0.0 0.001 0.0 60.0 0.0 0.0 0.0
TRS/Endrullis/quadruple2.trs 0.025 0.018 0.014 0.005 60.0 0.007 0.0 0.0
TRS/higher-order/AotoYam/001.trs 0.003 0.0 0.041 0.002 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/002.trs 0.071 0.003 25.539 0.541 60.0 0.005 0.006 0.005
TRS/higher-order/AotoYam/003.trs 0.043 0.0 16.651 20.668 60.0 0.132 0.133 0.0
TRS/higher-order/AotoYam/004.trs 0.05 0.009 1.743 2.396 60.0 0.005 0.005 0.005
TRS/higher-order/AotoYam/005.trs 0.066 0.007 0.027 0.071 60.0 0.0 0.018 0.015
TRS/higher-order/AotoYam/006.trs 0.058 0.014 1.49 0.181 60.0 0.013 0.011 0.012
TRS/higher-order/AotoYam/007.trs 0.05 0.012 0.526 0.869 60.0 0.01 0.011 0.009
TRS/higher-order/AotoYam/009.trs 0.07 0.006 1.003 1.607 60.0 0.058 0.063 0.054
TRS/higher-order/AotoYam/010.trs 0.175 0.18 32.22 53.16 60.0 0.073 0.075 0.066
TRS/higher-order/AotoYam/011.trs 0.066 0.015 2.041 3.483 60.0 0.079 0.078 0.076
TRS/higher-order/AotoYam/012.trs 0.138 0.043 1.526 1.398 60.0 0.07 0.058 0.05
TRS/higher-order/AotoYam/013.trs 0.157 0.122 11.35 21.065 60.0 0.042 0.042 0.042
TRS/higher-order/AotoYam/014.trs 0.087 0.042 11.218 25.934 60.0 0.049 0.051 0.05
TRS/higher-order/AotoYam/015.trs 0.066 0.004 2.336 2.528 60.0 0.004 0.004 0.0
TRS/higher-order/AotoYam/016.trs 0.093 0.07 47.137 8.843 60.0 0.075 0.074 0.074
TRS/higher-order/AotoYam/017.trs 0.002 0.0 0.0 0.0 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/019.trs 0.002 0.0 0.07 0.032 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/020.trs 0.042 0.016 10.249 17.858 60.0 0.02 0.024 0.021
problem t e s nv g c r *
TRS/higher-order/AotoYam/021.trs 0.117 0.103 22.067 43.433 60.0 0.121 0.123 0.119
TRS/higher-order/AotoYam/022.trs 0.068 0.008 0.49 0.272 60.0 0.013 0.014 0.011
TRS/higher-order/AotoYam/023.trs 0.008 0.0 0.009 0.012 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/024.trs 0.005 0.013 0.067 0.023 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/025.trs 0.0 0.0 0.0 0.012 60.0 0.0 0.003 0.0
TRS/higher-order/AotoYam/026.trs 0.048 0.0 0.377 0.504 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/027.trs 0.067 0.028 1.271 2.196 60.0 0.027 0.028 0.027
TRS/higher-order/AotoYam/028.trs 0.049 0.003 6.82 7.512 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/Ex1SimplyTyped.trs 0.089 0.042 0.942 1.949 60.0 0.046 0.046 0.044
TRS/higher-order/AotoYam/Ex5TermProof.trs 0.153 0.123 60.0 60.0 60.0 0.146 0.135 0.14
TRS/higher-order/AProVE_HO/mapDivMinusHard.trs 0.19 0.164 2.786 13.309 60.0 0.062 0.062 0.06
TRS/higher-order/AProVE_HO/mapDivMinus.trs 0.083 0.038 2.124 12.858 60.0 0.15 0.15 0.146
TRS/higher-order/AProVE_HO/nonTermF.trs 0.101 0.033 21.592 29.163 60.0 60.0 60.0 1.005
TRS/higher-order/AProVE_HO/ReverseLastInit.trs 0.17 0.014 0.573 1.301 60.0 0.019 0.061 0.048
TRS/higher-order/AProVE_HO/TakeDropWhile.trs 0.091 0.006 3.28 5.928 60.0 0.069 0.069 0.057
TRS/higher-order/AProVE_HO/termMonTypes.trs 0.057 0.029 0.498 0.519 60.0 0.011 0.011 0.012
TRS/higher-order/AProVE_HO/TypeEx1.trs 0.061 0.027 0.905 0.098 60.0 0.709 0.715 0.992
TRS/higher-order/AProVE_HO/TypeEx3.trs 0.06 0.004 20.596 4.835 60.0 60.0 60.0 1.057
TRS/higher-order/AProVE_HO/TypeEx5.trs 0.022 0.014 0.023 0.009 60.0 0.0 0.0 0.0
TRS/higher-order/Bird/BTreeMember.trs 0.563 0.166 31.253 3.673 60.0 60.0 60.0 0.12
TRS/higher-order/Bird/Ex2_6_1Composition.trs 0.005 0.013 0.016 0.0 60.0 0.0 0.0 0.0
TRS/higher-order/Bird/Ex2_8_1ConstSubstFix.trs 0.038 0.001 1.147 1.17 60.0 0.0 0.0 0.0
TRS/higher-order/Bird/Hamming.trs 0.437 0.764 60.0 60.0 60.0 60.0 60.0 1.776
TRS/higher-order/Bird/TreeFlatten.trs 0.092 0.054 2.506 4.437 60.0 0.156 0.16 0.059
TRS/higher-order/Bird/TreeHeight.trs 0.109 0.088 2.69 59.892 60.0 60.0 60.0 0.268
problem t e s nv g c r *
TRS/higher-order/Bird/TreeLevels.trs 0.341 0.171 29.215 60.0 60.0 53.679 52.36 0.181
TRS/higher-order/Bird/TreeMap.trs 0.068 0.0 0.65 0.24 60.0 0.024 0.024 0.005
TRS/higher-order/Bird/TreeSize.trs 0.09 0.05 2.153 1.648 60.0 0.161 0.158 0.079
TRS/higher-order/Kusakari/Ex6_11.trs 0.049 0.0 0.835 0.504 60.0 1.209 1.194 0.013
TRS/higher-order/Kusakari/Ex7_9.trs 0.157 0.177 60.0 60.0 60.0 0.204 0.217 0.198
TRS/higher-order/Lifantsev/Ex10Functional.trs 0.144 0.065 60.0 60.0 60.0 0.077 0.077 0.095
TRS/higher-order/Lifantsev/Ex2PrimRec.trs 0.009 0.0 38.152 37.725 60.0 0.0 0.0 0.0
TRS/higher-order/Lifantsev/Ex3Lists.trs 0.088 0.039 26.177 58.454 60.0 0.047 0.046 0.057
TRS/higher-order/Lifantsev/Ex4MapList.trs 0.007 0.0 0.223 0.045 60.0 0.0 0.0 0.0
TRS/higher-order/Lifantsev/Ex5Sorting.trs 0.172 0.13 60.0 60.0 60.0 0.203 0.206 0.151
TRS/higher-order/Lifantsev/Ex6Folding.trs 0.06 0.005 60.0 60.0 60.0 0.003 0.003 0.005
TRS/higher-order/Lifantsev/Ex7OrdinalRec.trs 0.092 0.014 60.0 60.0 60.0 0.021 0.013 0.019
TRS/higher-order/Lifantsev/Ex8Polymorphic.trs 0.061 0.0 1.751 3.0 60.0 0.005 0.004 0.004
TRS/higher-order/Lifantsev/Ex9Maps.trs 0.245 0.019 60.0 8.546 60.0 60.0 60.0 0.029
TRS/higher-order/ToyamaRTA04/Ex5Folding.trs 0.072 0.055 60.0 60.0 60.0 0.046 0.046 0.046
TRS/higher-order/ToyamaRTA04/Ex6Recursor.trs 0.041 0.004 2.461 2.504 60.0 0.018 0.018 0.021
TRS/higher-order/ToyamaRTA04/Ex7Sorting.trs 0.32 0.347 60.0 60.0 60.0 12.244 9.884 0.15
TRS/HM/n002.trs 0.0 0.0 0.0 0.0 0.0 0.003 0.0 0.0
TRS/HM/n003.trs 0.0 0.0 0.011 0.0 0.013 0.0 0.003 0.0
TRS/HM/n004.trs 0.0 0.0 0.0 0.0 0.012 0.0 0.003 0.0
TRS/HM/n005.trs 0.0 0.0 0.0 0.001 0.0 0.0 0.0 0.0
TRS/HM/n006.trs 0.0 0.0 0.0 0.0 0.014 0.0 0.0 0.0
TRS/HM/n007.trs 0.0 0.0 0.0 0.004 0.423 0.0 0.0 0.0
TRS/HM/n008.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.004
TRS/HM/t000.trs 0.448 0.169 60.0 60.0 60.0 0.18 0.3 0.299
problem t e s nv g c r *
TRS/HM/t001.trs 0.158 0.068 4.846 50.504 60.0 0.072 0.076 0.078
TRS/HM/t002.trs 0.092 0.021 0.247 1.192 60.0 0.013 0.013 0.092
TRS/HM/t003.trs 0.254 0.079 3.391 60.0 60.0 0.143 0.143 0.156
TRS/HM/t004.trs 0.013 0.0 0.03 0.006 6.574 0.007 0.0 0.0
TRS/HM/t005.trs 1.422 1.055 60.0 60.0 60.0 1.6 2.897 1.398
TRS/HM/t006.trs 0.005 0.0 0.008 0.014 60.0 0.0 0.001 0.0
TRS/HM/t007.trs 0.002 0.0 0.0 0.005 0.011 0.0 0.006 0.0
TRS/HM/t008.trs 0.023 0.008 0.028 0.029 60.0 0.0 0.0 0.0
TRS/HM/t009.trs 1.471 1.172 60.0 60.0 60.0 1.199 60.0 1.712
TRS/HM/t010.trs 0.001 0.0 0.002 0.003 0.005 0.0 0.0 0.0
TRS/HM/t011.trs 0.004 0.0 0.0 0.005 60.0 0.0 0.0 0.004
TRS/HM/t012.trs 0.064 0.01 0.063 0.135 60.0 0.008 0.018 0.023
TRS/HM/t013.trs 0.051 0.018 0.064 0.172 60.0 0.004 0.006 0.01
TRS/HM/t014.trs 0.073 0.018 0.231 1.312 60.0 0.012 0.012 0.013
TRS/HofWald/1.trs 0.029 0.0 0.02 0.006 60.0 0.0 0.0 0.0
TRS/HofWald/2.trs 0.018 0.0 0.018 0.0 60.0 0.0 60.0 0.0
TRS/HofWald/3.trs 0.043 0.0 0.041 0.008 60.0 0.0 0.0 0.0
TRS/HofWald/4.trs 0.004 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/HofWald/5.trs 0.012 0.0 0.005 0.005 60.0 0.0 0.0 0.0
TRS/HofWald/6.trs 0.002 0.0 0.005 0.004 60.0 0.0 0.0 0.0
TRS/HofWald/7.trs 0.003 0.0 1.078 0.462 60.0 0.0 0.0 0.0
TRS/Koprowski/gcd_triple.trs 0.138 0.05 1.993 60.0 60.0 0.057 0.056 0.064
TRS/LJB01/jones1.trs 0.001 0.0 0.005 0.008 60.0 0.001 0.0 0.0
TRS/LJB01/jones2.trs 0.002 0.001 0.039 0.014 60.0 0.0 0.0 0.0
TRS/LJB01/jones4.trs 0.001 0.0 0.015 0.022 60.0 0.0 0.003 0.0
problem t e s nv g c r *
TRS/LJB01/jones5.trs 0.001 0.0 0.017 0.022 60.0 0.0 0.0 0.0
TRS/LJB01/jones6.trs 0.015 0.0 0.02 0.011 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.12a.trs 0.001 0.0 0.039 0.016 21.535 0.0 0.0 0.0
TRS/nontermin/AG01/#4.13.trs 0.0 0.0 0.016 0.046 35.156 0.0 0.0 0.0
TRS/nontermin/AG01/#4.14.trs 0.008 0.0 0.027 0.016 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.15.trs 0.042 0.015 0.206 1.584 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.16.trs 0.005 0.0 0.035 0.012 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.17.trs 0.032 0.0 0.02 0.001 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.18.trs 0.004 0.0 0.006 0.008 60.0 0.0 0.017 0.011
TRS/nontermin/AG01/#4.19.trs 0.034 0.015 0.323 1.903 60.0 0.181 0.17 0.047
TRS/nontermin/AG01/#4.20a.trs 0.034 0.0 0.026 0.008 9.683 0.0 0.0 0.0
TRS/nontermin/AG01/#4.20.trs 0.0 0.0 0.0 0.013 0.031 0.0 0.0 0.0
TRS/nontermin/AG01/#4.21.trs 0.01 0.0 0.024 0.002 4.013 0.0 0.0 0.0
TRS/nontermin/AG01/#4.22.trs 0.064 0.013 0.084 0.26 60.0 0.006 0.006 0.007
TRS/nontermin/AG01/#4.23.trs 0.117 0.051 0.235 1.591 60.0 0.029 0.031 0.032
TRS/nontermin/AG01/#4.25.trs 0.01 0.013 0.032 0.02 0.153 0.0 0.0 0.0
TRS/nontermin/AG01/#4.26.trs 0.065 0.035 0.388 2.003 60.0 0.002 0.0 0.0
TRS/nontermin/AG01/#4.27.trs 0.047 0.015 0.147 0.497 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.28.trs 0.013 0.002 0.027 0.009 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.29.trs 0.101 0.041 1.168 4.561 60.0 0.048 0.048 0.051
TRS/nontermin/AG01/#4.2.trs 0.007 0.0 0.077 0.142 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.30a.trs 0.066 0.022 0.073 0.131 60.0 0.005 0.008 0.006
TRS/nontermin/AG01/#4.30b.trs 0.036 0.015 0.263 2.194 60.0 0.011 0.009 0.015
TRS/nontermin/AG01/#4.30c.trs 0.07 0.022 0.408 2.182 60.0 0.014 0.011 0.023
TRS/nontermin/AG01/#4.30.trs 0.065 0.022 0.255 2.253 60.0 0.009 0.006 0.007
problem t e s nv g c r *
TRS/nontermin/AG01/#4.31.trs 0.009 0.0 0.042 0.013 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.32.trs 0.027 0.0 0.023 0.022 60.0 0.0 0.0 0.002
TRS/nontermin/AG01/#4.33.trs 0.069 0.027 17.108 13.402 60.0 0.01 0.013 0.011
TRS/nontermin/AG01/#4.34.trs 0.045 0.017 0.269 0.644 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.35.trs 0.283 0.201 60.0 60.0 60.0 60.0 60.0 1.196
TRS/nontermin/AG01/#4.36.trs 0.187 0.097 60.0 60.0 60.0 0.101 0.097 0.102
TRS/nontermin/AG01/#4.37a.trs 0.049 0.0 0.018 0.004 60.0 0.009 0.0 0.0
TRS/nontermin/AG01/#4.37.trs 0.009 0.012 0.01 0.023 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.3.trs 0.0 0.0 0.0 0.007 17.553 0.0 0.0 0.0
TRS/nontermin/AG01/#4.4.trs 0.008 0.0 0.012 0.03 60.0 0.0 0.006 0.0
TRS/nontermin/AG01/#4.7.trs 0.0 0.0 0.019 0.002 1.232 0.0 0.0 0.0
TRS/nontermin/cariboo/ex1.trs 0.0 0.0 0.0 0.003 0.021 0.005 0.0 0.0
TRS/nontermin/cariboo/ex2.trs 0.0 0.0 0.008 0.005 60.0 0.0 0.0 0.0
TRS/nontermin/cariboo/ex3.trs 0.005 0.0 0.034 0.005 6.688 0.0 0.0 0.0
TRS/nontermin/cariboo/ex4.trs 0.0 0.0 0.0 0.003 0.047 0.0 0.0 0.0
TRS/nontermin/cariboo/ex5.trs 0.0 0.0 0.002 0.003 0.003 0.0 0.0 0.0
TRS/nontermin/cariboo/ex6.trs 0.035 0.0 0.037 0.026 60.0 0.0 0.0 0.011
TRS/nontermin/cariboo/tricky1.trs 0.042 0.0 0.105 0.071 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_2_AEL03.trs 0.176 0.093 1.22 2.248 60.0 0.095 0.1 0.094
TRS/nontermin/CSR/Ex1_2_Luc02c.trs 0.01 0.012 0.036 0.006 60.0 0.001 0.001 0.002
TRS/nontermin/CSR/Ex14_AEGL02.trs 0.041 0.021 0.034 0.026 49.523 0.0 0.0 0.0
TRS/nontermin/CSR/Ex15_Luc98.trs 0.049 0.016 0.056 0.043 60.0 0.002 0.0 0.0
TRS/nontermin/CSR/Ex1_GL02a.trs 0.065 0.02 0.05 0.029 60.0 0.007 0.005 0.006
TRS/nontermin/CSR/Ex1_GM03.trs 0.045 0.0 0.111 0.394 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_GM99.trs 0.0 0.0 0.013 0.009 8.758 0.0 0.0 0.0
problem t e s nv g c r *
TRS/nontermin/CSR/Ex1_Luc02b.trs 0.047 0.012 0.022 0.016 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_Zan97.trs 0.002 0.0 0.0 0.005 0.004 0.0 0.0 0.0
TRS/nontermin/CSR/Ex24_GM04.trs 0.0 0.0 0.004 0.049 31.671 0.0 0.0 0.0
TRS/nontermin/CSR/Ex26_Luc03b.trs 0.09 0.031 0.207 0.338 60.0 0.026 0.027 0.025
TRS/nontermin/CSR/Ex2_Luc03b.trs 0.058 0.018 0.044 0.031 60.0 0.002 0.002 0.003
TRS/nontermin/CSR/Ex3_12_Luc96a.trs 0.007 0.0 0.009 0.011 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex3_2_Luc97.trs 0.086 0.022 0.115 0.081 60.0 0.023 0.023 0.022
TRS/nontermin/CSR/Ex3_3_25_Bor03.trs 0.07 0.018 0.088 0.245 60.0 0.01 0.009 0.01
TRS/nontermin/CSR/Ex4_4_Luc96b.trs 0.008 0.0 0.013 0.015 20.807 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_7_15_Bor03.trs 0.0 0.0 0.008 0.023 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_7_37_Bor03.trs 0.106 0.027 0.239 0.597 60.0 0.02 0.018 0.02
TRS/nontermin/CSR/Ex4_7_56_Bor03.trs 0.005 0.0 0.016 0.005 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_7_77_Bor03.trs 0.0 0.0 0.0 0.013 0.005 0.0 0.0 0.0
TRS/nontermin/CSR/Ex49_GM04.trs 0.055 0.022 0.193 0.972 60.0 0.002 0.002 0.003
TRS/nontermin/CSR/Ex4_Zan97.trs 0.041 0.016 0.029 0.017 60.0 0.0 0.0 0.001
TRS/nontermin/CSR/Ex5_7_Luc97.trs 0.15 0.084 0.931 0.515 60.0 0.087 0.089 0.083
TRS/nontermin/CSR/Ex5_Zan97.trs 0.0 0.0 0.0 0.017 60.0 0.0 0.006 0.0
TRS/nontermin/CSR/Ex6_15_AEL02.trs 0.219 0.125 1.824 0.451 60.0 0.126 0.127 0.134
TRS/nontermin/CSR/Ex6_9_Luc02c.trs 0.006 0.0 0.019 0.028 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex6_GM04.trs 0.0 0.0 0.002 0.002 0.012 0.0 0.0 0.0
TRS/nontermin/CSR/Ex6_Luc98.trs 0.0 0.0 0.021 0.0 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex7_BLR02.trs 0.024 0.015 0.045 0.043 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex8_BLR02.trs 0.05 0.017 0.085 0.125 60.0 0.001 0.0 0.004
TRS/nontermin/CSR/Ex9_BLR02.trs 0.07 0.04 0.905 4.552 60.0 60.0 60.0 1.062
TRS/nontermin/CSR/ExAppendixB_AEL03.trs 0.262 0.112 1.218 2.617 60.0 60.0 60.0 1.038
problem t e s nv g c r *
TRS/nontermin/CSR/ExConc_Zan97.trs 0.0 0.0 0.0 0.012 0.002 0.0 0.0 0.0
TRS/nontermin/CSR/ExIntrod_GM01.trs 0.047 0.014 0.065 0.045 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/ExIntrod_GM04.trs 0.035 0.011 0.038 0.031 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/ExIntrod_GM99.trs 0.056 0.034 0.394 0.879 60.0 0.008 0.007 0.009
TRS/nontermin/CSR/ExIntrod_Zan97.trs 0.066 0.028 0.245 0.728 60.0 0.006 0.005 0.009
TRS/nontermin/HM/n001.trs 0.004 0.0 0.022 0.005 31.744 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/bn111.trs 0.0 0.0 0.012 0.007 60.0 0.001 0.0 0.0
TRS/nontermin/Rubio-inn/gkg.trs 0.0 0.0 0.019 0.003 27.014 0.0 0.0 0.002
TRS/nontermin/Rubio-inn/muladd.trs 0.058 0.0 0.046 0.019 60.0 0.0 0.015 0.0
TRS/nontermin/Rubio-inn/test10.trs 0.052 0.001 0.339 0.323 60.0 0.0 0.0 0.016
TRS/nontermin/Rubio-inn/test75.trs 0.0 0.0 0.006 0.008 60.0 0.0 0.001 0.013
TRS/nontermin/Rubio-inn/test76.trs 0.003 0.022 0.115 0.078 60.0 0.0 0.002 0.0
TRS/nontermin/Rubio-inn/test77.trs 0.017 0.0 0.162 0.157 60.0 0.0 0.008 0.003
TRS/nontermin/Rubio-inn/test830.trs 0.025 0.0 0.056 0.019 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test9.trs 0.0 0.002 0.036 0.017 24.491 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/toyama.trs 0.023 0.013 0.054 0.026 21.762 0.0 0.0 0.0
TRS/nontermin/TRCSR/ExSec11_1_Luc02a.trs 0.133 0.042 0.558 1.508 60.0 0.052 0.052 0.046
TRS/Rubio/aoto.trs 0.013 0.0 0.022 0.003 60.0 0.0 0.0 0.0
TRS/Rubio/bintrees.trs 0.04 0.0 0.02 0.012 60.0 0.0 0.0 0.0
TRS/Rubio/bn122.trs 0.01 0.0 0.027 0.019 60.0 0.0 0.0 0.0
TRS/Rubio/bn129.trs 0.044 0.008 0.008 0.011 60.0 0.0 0.006 0.004
TRS/Rubio/division.trs 0.068 0.023 0.233 2.698 60.0 0.012 0.016 0.014
TRS/Rubio/elimdupl.trs 0.072 0.016 0.492 3.174 60.0 0.012 0.014 0.019
TRS/Rubio/enno.trs 0.12 0.033 60.0 60.0 60.0 0.036 0.036 0.043
TRS/Rubio/gcd.trs 0.109 0.05 0.404 2.244 60.0 0.036 0.029 0.045
problem t e s nv g c r *
TRS/Rubio/gmnp.trs 0.064 0.0 0.052 0.161 60.0 0.0 0.0 0.0
TRS/Rubio/gm.trs 0.044 0.0 0.029 0.039 60.0 0.0 0.0 0.0
TRS/Rubio/koen.trs 0.007 0.0 0.031 0.02 48.096 0.0 0.0 0.0
TRS/Rubio/lescanne.trs 0.047 0.013 0.017 0.018 60.0 0.003 0.006 0.0
TRS/Rubio/lindau.trs 0.007 0.0 0.024 0.008 60.0 0.0 0.0 0.0
TRS/Rubio/logarquot.trs 0.069 0.018 0.094 0.241 60.0 0.012 0.014 0.012
TRS/Rubio/ma96.trs 0.328 0.246 60.0 60.0 60.0 0.246 0.218 0.22
TRS/Rubio/mfp90b.trs 0.001 0.0 0.007 0.007 19.809 0.0 0.0 0.0
TRS/Rubio/mfp95.trs 0.004 0.0 0.0 0.0 1.266 0.0 0.0 0.0
TRS/Rubio/nestrec.trs 0.001 0.0 0.004 0.0 0.321 0.0 0.0 0.0
TRS/Rubio/p266.trs 0.009 0.0 0.016 0.001 3.945 0.0 0.0 0.0
TRS/Rubio/polo2.trs 0.201 0.116 0.209 0.19 60.0 0.111 0.114 0.114
TRS/Rubio/prov.trs 0.003 0.0 0.025 0.009 60.0 0.0 0.0 0.0
TRS/Rubio/quick.trs 0.127 0.069 2.347 28.445 60.0 0.074 0.079 0.078
TRS/Rubio/quotminus.trs 0.07 0.021 0.102 0.214 60.0 0.013 0.015 0.013
TRS/Rubio/revlist.trs 0.048 0.015 0.048 0.029 60.0 0.0 0.0 0.001
TRS/Rubio/selsort.trs 0.211 0.131 60.0 60.0 60.0 0.137 0.136 0.151
TRS/Rubio/test4.trs 0.062 0.007 0.026 0.028 60.0 0.0 0.004 0.0
TRS/Rubio/test829.trs 0.001 0.0 0.011 0.005 60.0 0.002 0.0 0.0
TRS/Rubio/wst99.trs 0.151 0.06 60.0 60.0 60.0 0.062 0.063 0.064
TRS/SchneiderKamp/trs/cade01.trs 0.01 0.0 0.129 0.718 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade03.trs 0.044 0.004 0.156 0.898 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade04t.trs 0.01 0.0 0.21 0.892 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade05t.trs 0.065 0.021 0.194 2.667 60.0 0.006 0.006 0.007
TRS/SchneiderKamp/trs/cade06.trs 0.064 0.021 3.409 60.0 60.0 0.111 0.111 0.123
problem t e s nv g c r *
TRS/SchneiderKamp/trs/cade07.trs 0.149 0.074 3.475 6.52 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade08.trs 0.049 0.017 11.029 60.0 60.0 0.001 0.0 0.003
TRS/SchneiderKamp/trs/cade09.trs 0.06 0.018 0.361 0.956 60.0 0.004 0.003 0.005
TRS/SchneiderKamp/trs/cade10.trs 0.046 0.021 0.355 1.045 60.0 0.039 0.06 0.045
TRS/SchneiderKamp/trs/cade11.trs 0.063 0.036 0.13 0.346 60.0 0.016 0.02 0.022
TRS/SchneiderKamp/trs/cade12t.trs 0.19 0.113 3.103 60.0 60.0 0.272 0.279 0.276
TRS/SchneiderKamp/trs/cade13t.trs 0.226 0.158 4.4 60.0 60.0 0.008 0.009 0.013
TRS/SchneiderKamp/trs/cade14.trs 0.071 0.02 0.699 23.549 60.0 0.015 0.014 0.014
TRS/SchneiderKamp/trs/cade15.trs 0.137 0.07 5.044 60.0 60.0 0.067 0.066 0.077
TRS/SchneiderKamp/trs/cade16.trs 0.065 0.015 0.523 2.98 60.0 0.005 0.005 0.009
TRS/SchneiderKamp/trs/cade17.trs 0.134 0.042 1.033 29.298 60.0 0.049 0.047 0.054
TRS/SchneiderKamp/trs/kabasci01.trs 0.587 0.505 42.797 60.0 60.0 0.513 0.527 0.57
TRS/SchneiderKamp/trs/kabasci02.trs 0.412 0.276 35.386 60.0 60.0 60.0 60.0 1.271
TRS/SchneiderKamp/trs/kabasci03.trs 0.164 0.054 60.0 60.0 60.0 60.0 60.0 0.238
TRS/SchneiderKamp/trs/kabasci04.trs 0.125 0.039 0.281 2.875 60.0 0.035 0.035 0.043
TRS/SchneiderKamp/trs/kabasci05.trs 0.143 0.054 0.941 13.004 60.0 0.054 0.06 0.068
TRS/SchneiderKamp/trs/kabasci06.trs 0.146 0.109 4.821 12.411 60.0 0.134 0.261 0.119
TRS/SchneiderKamp/trs/otto01.trs 0.204 0.108 60.0 60.0 60.0 0.09 0.089 0.099
TRS/SchneiderKamp/trs/otto02.trs 0.159 0.065 60.0 60.0 60.0 0.073 0.073 0.077
TRS/SchneiderKamp/trs/otto03.trs 0.052 0.011 0.175 1.323 60.0 0.022 0.026 0.025
TRS/SchneiderKamp/trs/otto04.trs 0.317 0.155 60.0 60.0 60.0 0.161 0.165 0.183
TRS/SchneiderKamp/trs/otto05.trs 0.136 0.055 3.043 7.084 60.0 0.013 0.013 0.014
TRS/SchneiderKamp/trs/otto06.trs 0.144 0.052 60.0 60.0 60.0 0.051 0.056 0.059
TRS/SchneiderKamp/trs/otto07.trs 0.038 0.0 0.13 0.737 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto08.trs 0.108 0.029 3.102 60.0 60.0 0.032 0.033 0.037
problem t e s nv g c r *
TRS/SchneiderKamp/trs/otto09.trs 0.072 0.016 1.754 60.0 60.0 0.011 0.011 0.016
TRS/SchneiderKamp/trs/otto10.trs 0.13 0.061 60.0 60.0 60.0 0.04 0.049 0.048
TRS/SchneiderKamp/trs/otto11.trs 0.083 0.018 2.496 49.885 60.0 0.017 0.015 0.023
TRS/SchneiderKamp/trs/otto12.trs 0.126 0.036 36.17 60.0 60.0 0.042 0.043 0.048
TRS/SchneiderKamp/trs/otto13.trs 0.137 0.048 36.42 60.0 60.0 0.056 0.103 0.19
TRS/SchneiderKamp/trs/thiemann01.trs 0.151 0.064 5.649 15.984 60.0 0.017 0.016 0.02
TRS/SchneiderKamp/trs/thiemann02.trs 0.324 0.238 60.0 60.0 60.0 0.247 0.544 0.423
TRS/SchneiderKamp/trs/thiemann03.trs 0.062 0.052 3.1 60.0 60.0 0.035 0.028 0.023
TRS/SchneiderKamp/trs/thiemann04.trs 0.16 0.072 60.0 60.0 60.0 0.083 0.076 0.091
TRS/SchneiderKamp/trs/thiemann05.trs 0.062 0.02 1.626 29.41 60.0 0.004 0.004 0.006
TRS/SchneiderKamp/trs/thiemann06.trs 0.11 0.027 60.0 60.0 60.0 0.033 0.029 0.032
TRS/SchneiderKamp/trs/thiemann07.trs 0.149 0.059 18.574 60.0 60.0 0.064 0.065 0.069
TRS/SchneiderKamp/trs/thiemann08.trs 0.053 0.017 0.395 2.345 60.0 0.003 0.002 0.004
TRS/SchneiderKamp/trs/thiemann09.trs 0.177 0.078 2.091 8.776 60.0 0.088 0.089 0.094
TRS/SchneiderKamp/trs/thiemann10.trs 0.065 0.016 0.939 7.318 60.0 0.011 0.01 0.014
TRS/SchneiderKamp/trs/thiemann11.trs 0.13 0.04 35.419 60.0 60.0 0.04 0.043 0.042
TRS/SchneiderKamp/trs/thiemann12.trs 0.09 0.021 1.272 13.215 60.0 0.086 0.086 0.094
TRS/SchneiderKamp/trs/thiemann13.trs 0.271 0.186 5.081 60.0 60.0 0.067 0.071 0.072
TRS/SchneiderKamp/trs/thiemann14.trs 0.111 0.031 60.0 60.0 60.0 0.037 0.033 0.038
TRS/SchneiderKamp/trs/thiemann15.trs 0.063 0.026 1.071 6.861 60.0 0.008 0.006 0.008
TRS/SchneiderKamp/trs/thiemann16.trs 0.13 0.049 60.0 60.0 60.0 0.05 0.052 0.059
TRS/SchneiderKamp/trs/thiemann17.trs 0.091 0.029 3.009 7.718 60.0 0.027 0.023 0.026
TRS/SchneiderKamp/trs/thiemann18.trs 0.211 0.119 60.0 60.0 60.0 0.123 0.123 0.376
TRS/SchneiderKamp/trs/thiemann19.trs 0.138 0.056 0.616 1.098 60.0 0.061 0.061 0.07
TRS/SchneiderKamp/trs/thiemann20.trs 0.15 0.073 1.24 3.344 60.0 0.015 0.03 0.021
problem t e s nv g c r *
TRS/SchneiderKamp/trs/thiemann21.trs 0.28 0.185 60.0 60.0 60.0 0.195 0.209 0.203
TRS/SchneiderKamp/trs/thiemann22.trs 0.071 0.018 2.245 60.0 60.0 0.017 0.016 0.019
TRS/SchneiderKamp/trs/thiemann23.trs 0.088 0.026 0.104 0.208 60.0 0.018 0.018 0.023
TRS/SchneiderKamp/trs/thiemann24.trs 0.088 0.024 2.49 35.278 60.0 0.025 0.026 0.026
TRS/SchneiderKamp/trs/thiemann25.trs 0.068 0.027 25.212 60.0 60.0 0.008 0.008 0.01
TRS/SchneiderKamp/trs/thiemann26.trs 0.087 0.022 20.011 60.0 60.0 0.022 0.019 0.021
TRS/SchneiderKamp/trs/thiemann27.trs 0.041 0.014 0.145 0.575 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann28.trs 0.069 0.018 1.494 39.567 60.0 0.019 0.015 0.018
TRS/SchneiderKamp/trs/thiemann29.trs 0.132 0.048 60.0 60.0 60.0 0.051 0.052 0.053
TRS/SchneiderKamp/trs/thiemann30.trs 0.337 0.233 37.896 60.0 60.0 0.245 0.244 0.255
TRS/SchneiderKamp/trs/thiemann31.trs 0.069 0.023 60.0 60.0 60.0 0.009 0.009 0.011
TRS/SchneiderKamp/trs/thiemann32.trs 0.173 0.086 1.565 18.228 60.0 0.089 0.089 0.099
TRS/SchneiderKamp/trs/thiemann33.trs 0.072 0.07 0.394 0.661 60.0 0.043 0.042 0.045
TRS/SchneiderKamp/trs/thiemann34.trs 0.116 0.021 1.393 16.057 60.0 0.023 0.023 0.026
TRS/SchneiderKamp/trs/thiemann35.trs 0.177 0.13 60.0 60.0 60.0 60.0 60.0 1.138
TRS/SchneiderKamp/trs/thiemann36.trs 0.066 0.025 60.0 60.0 60.0 0.014 0.012 0.015
TRS/SchneiderKamp/trs/thiemann37.trs 0.152 0.063 60.0 60.0 60.0 0.06 0.063 0.068
TRS/SchneiderKamp/trs/thiemann38.trs 0.072 0.026 60.0 60.0 60.0 0.018 0.015 0.018
TRS/SchneiderKamp/trs/thiemann39.trs 0.159 0.077 60.0 60.0 60.0 39.342 35.248 0.095
TRS/SchneiderKamp/trs/thiemann40.trs 0.006 0.0 0.189 0.456 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann41.trs 0.073 0.017 42.977 60.0 60.0 0.013 0.013 0.018
TRS/SchneiderKamp/trs/wiehe01.trs 0.148 0.06 6.614 60.0 60.0 60.0 60.0 1.161
TRS/SchneiderKamp/trs/wiehe02.trs 0.431 0.32 60.0 60.0 60.0 60.0 60.0 1.348
TRS/SchneiderKamp/trs/wiehe03.trs 0.561 0.442 60.0 60.0 60.0 60.0 60.0 1.462
TRS/SchneiderKamp/trs/wiehe05.trs 0.34 0.257 8.576 60.0 60.0 60.0 60.0 1.098
problem t e s nv g c r *
TRS/SchneiderKamp/trs/wiehe06.trs 0.192 0.068 30.513 60.0 60.0 60.0 60.0 1.069
TRS/SchneiderKamp/trs/wiehe07.trs 0.166 0.088 29.931 60.0 60.0 60.0 60.0 1.085
TRS/SchneiderKamp/trs/wiehe08.trs 0.191 0.105 7.138 60.0 60.0 60.0 60.0 1.1
TRS/SchneiderKamp/trs/wiehe09.trs 0.231 0.146 15.88 60.0 60.0 60.0 60.0 1.352
TRS/SchneiderKamp/trs/wiehe11.trs 0.718 0.261 60.0 60.0 60.0 60.0 60.0 1.27
TRS/SchneiderKamp/trs/wiehe12.trs 0.604 0.531 20.241 60.0 60.0 60.0 60.0 2.331
TRS/secret05/aprove1.trs 0.194 0.177 60.0 60.0 60.0 0.499 0.493 0.212
TRS/secret05/aprove2.trs 0.135 0.056 1.157 9.849 60.0 0.01 0.009 0.016
TRS/secret05/aprove3.trs 0.134 0.011 60.0 60.0 60.0 0.013 0.014 0.014
TRS/secret05/aprove4.trs 0.078 0.022 0.341 3.329 60.0 0.022 0.022 0.026
TRS/secret05/aprove5.trs 0.151 0.057 0.535 1.671 60.0 0.071 0.06 0.066
TRS/secret05/cime1.trs 0.391 0.094 60.0 60.0 60.0 0.101 0.101 0.109
TRS/secret05/cime2.trs 0.048 0.006 0.195 0.735 60.0 0.001 0.001 0.004
TRS/secret05/cime3.trs 0.081 0.021 34.123 60.0 60.0 60.0 60.0 1.029
TRS/secret05/cime4.trs 0.007 0.0 0.203 0.498 60.0 0.0 0.0 0.0
TRS/secret05/cime5.trs 0.406 0.349 60.0 60.0 60.0 60.0 60.0 1.379
TRS/secret05/matchbox1.trs 0.004 0.0 0.012 0.008 60.0 0.001 0.001 0.0
TRS/secret05/matchbox2.trs 0.037 0.0 0.016 0.011 60.0 0.0 0.0 0.0
TRS/secret05/teparla1.trs 0.015 0.0 0.579 0.04 60.0 1.195 0.034 0.028
TRS/secret05/teparla2.trs 0.047 0.0 1.261 4.265 60.0 60.0 60.0 0.995
TRS/secret05/teparla3.trs 0.047 0.0 0.333 0.351 60.0 16.386 0.014 0.51
TRS/secret05/tpa1.trs 0.096 0.031 0.178 2.27 60.0 0.024 0.025 0.025
TRS/secret05/tpa2.trs 0.063 0.02 0.115 0.199 60.0 0.005 0.005 0.008
TRS/secret05/tpa3.trs 0.079 0.03 0.115 0.213 60.0 0.024 0.02 0.026
TRS/secret05/tpa4.trs 0.079 0.028 0.145 0.285 60.0 0.023 0.021 0.028
problem t e s nv g c r *
TRS/secret05/tpa5.trs 0.102 0.029 0.221 5.398 60.0 0.027 0.026 0.028
TRS/secret05/ttt1.trs 0.01 0.024 0.228 0.339 60.0 0.0 0.0 0.0
TRS/secret05/ttt2.trs 0.006 0.0 0.015 0.0 17.651 0.0 0.0 0.0
TRS/secret06/aprove/addList.trs 0.197 0.116 60.0 60.0 60.0 0.107 0.107 0.125
TRS/secret06/aprove/divExp.trs 0.071 0.024 0.244 5.621 60.0 60.0 60.0 1.041
TRS/secret06/aprove/division.trs 0.165 0.082 5.202 46.985 60.0 0.02 0.02 0.024
TRS/secret06/aprove/double.trs 0.147 0.059 4.739 23.873 60.0 0.066 0.063 0.069
TRS/secret06/aprove/logarithm.trs 0.129 0.041 16.758 60.0 60.0 0.044 0.044 0.045
TRS/secret06/aprove/nrOfNodes.trs 0.09 0.024 60.0 60.0 60.0 0.021 0.03 0.024
TRS/secret06/aprove/reverse.trs 0.097 0.028 27.415 60.0 60.0 0.025 0.025 0.032
TRS/secret06/aprove/sumList.trs 0.112 0.035 60.0 60.0 60.0 0.04 0.035 0.039
TRS/secret06/aprove/times.trs 0.155 0.061 44.063 60.0 60.0 60.0 60.0 1.076
TRS/secret06/aprove/toList.trs 0.125 0.033 60.0 60.0 60.0 0.039 0.039 0.038
TRS/secret06/cime1.trs 0.08 0.037 4.218 43.477 60.0 60.0 60.0 1.044
TRS/secret06/jambox/10.trs 0.043 0.0 0.017 0.03 60.0 0.0 0.004 0.0
TRS/secret06/jambox/2.trs 0.074 0.011 0.033 0.062 60.0 0.007 0.023 0.013
TRS/secret06/jambox/3.trs 0.129 0.023 0.089 0.162 60.0 0.014 60.0 0.024
TRS/secret06/jambox/4.trs 0.061 0.0 0.018 0.011 60.0 0.0 60.0 0.0
TRS/secret06/jambox/5.trs 0.048 0.007 0.021 0.026 60.0 0.0 0.006 0.003
TRS/secret06/jambox/6.trs 0.044 0.008 0.026 0.019 60.0 0.0 60.0 0.5
TRS/secret06/jambox/7.trs 0.089 0.031 0.095 0.058 60.0 0.003 0.036 0.038
TRS/secret06/jambox/8.trs 0.053 0.021 0.04 0.038 60.0 0.0 0.0 0.0
TRS/secret06/jambox/9.trs 0.045 0.015 0.032 0.019 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-10.trs 0.039 0.017 0.35 1.577 60.0 0.019 0.018 0.018
TRS/secret06/matchbox/gen-14.trs 0.074 0.002 1.641 1.864 60.0 0.0 0.001 0.0
problem t e s nv g c r *
TRS/secret06/matchbox/gen-15.trs 0.01 0.0 0.143 0.118 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-17.trs 0.112 0.0 1.774 4.105 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-18.trs 0.012 0.001 0.586 0.619 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-1.trs 0.051 0.027 0.124 0.129 60.0 0.009 0.013 0.006
TRS/secret06/matchbox/gen-22.trs 0.131 0.01 7.807 5.465 60.0 0.028 0.027 0.013
TRS/secret06/matchbox/gen-25.trs 0.043 0.0 7.491 7.118 60.0 0.0 0.004 0.007
TRS/secret06/matchbox/gen-28.trs 0.041 0.003 0.78 3.878 60.0 0.0 0.0 0.001
TRS/secret06/matchbox/gen-9.trs 0.063 0.018 0.79 1.813 60.0 0.003 0.003 0.004
TRS/secret06/tpa01.trs 0.006 0.021 0.034 0.011 60.0 0.0 0.0 0.004
TRS/secret06/tpa02.trs 0.002 0.0 0.024 0.006 60.0 0.0 0.0 0.0
TRS/secret06/tpa03.trs 0.001 0.0 0.031 0.015 60.0 0.0 0.0 0.0
TRS/secret06/tpa04.trs 0.121 0.048 0.465 13.964 60.0 0.162 0.166 0.173
TRS/secret06/tpa05.trs 0.246 0.164 0.764 1.955 60.0 0.134 0.058 0.072
TRS/secret06/tpa06.trs 0.124 0.037 1.394 60.0 60.0 0.044 0.045 0.045
TRS/secret06/tpa07.trs 0.093 0.03 0.213 0.668 60.0 0.027 0.027 0.028
TRS/secret06/tpa08.trs 0.131 0.051 0.267 0.69 60.0 0.054 0.062 0.068
TRS/secret06/tpa09.trs 0.233 0.136 0.884 13.478 60.0 0.153 0.155 0.178
TRS/secret06/tpa10.trs 0.157 0.075 0.684 11.43 60.0 0.073 0.069 0.073
TRS/secret07/aprove/aprove01.trs 0.191 0.098 60.0 60.0 60.0 0.113 0.105 0.11
TRS/secret07/aprove/aprove02.trs 0.187 0.098 60.0 60.0 60.0 0.101 0.092 0.109
TRS/secret07/aprove/aprove03.trs 0.309 0.221 48.904 60.0 60.0 0.232 0.241 0.258
TRS/secret07/aprove/aprove04.trs 0.215 0.098 60.0 60.0 60.0 0.104 0.102 0.106
TRS/secret07/aprove/aprove05.trs 0.128 0.036 60.0 60.0 60.0 0.042 0.042 0.046
TRS/secret07/aprove/aprove06.trs 0.197 0.109 60.0 60.0 60.0 0.11 0.184 0.336
TRS/secret07/aprove/aprove07.trs 0.159 0.076 22.682 60.0 60.0 0.023 0.02 0.026
problem t e s nv g c r *
TRS/secret07/aprove/aprove08.trs 0.159 0.073 60.0 60.0 60.0 0.08 0.079 0.081
TRS/secret07/aprove/aprove09.trs 0.152 0.069 60.0 60.0 60.0 0.065 0.071 0.073
TRS/secret07/aprove/aprove10.trs 0.146 0.047 60.0 60.0 60.0 0.057 0.057 0.071
TRS/secret07/cime/secret1.trs 0.223 0.141 1.636 3.836 60.0 0.122 0.118 0.146
TRS/secret07/cime/secret2.trs 0.182 0.092 2.183 60.0 60.0 0.096 0.095 0.105
TRS/secret07/cime/secret3.trs 0.127 0.037 3.316 17.81 60.0 0.038 0.035 0.044
TRS/secret07/cime/secret4.trs 0.215 0.124 60.0 60.0 60.0 0.129 0.132 0.13
TRS/secret07/cime/secret5.trs 0.161 0.079 1.569 2.19 60.0 0.079 0.079 0.087
TRS/secret07/others/dj.trs 0.005 0.0 0.029 0.059 60.0 0.0 0.0 0.0
TRS/secret07/TTT2/1.trs 0.088 0.014 0.458 0.666 60.0 60.0 0.047 0.123
TRS/secret07/TTT2/2.trs 0.151 0.034 6.295 11.917 60.0 60.0 0.119 0.616
TRS/secret07/TTT2/3.trs 0.175 0.067 60.0 16.621 60.0 60.0 60.0 1.063
TRS/secret07/TTT2/4.trs 0.108 0.037 21.785 7.344 60.0 60.0 0.696 0.248
TRS/secret07/TTT2/5.trs 0.816 0.142 60.0 60.0 60.0 60.0 60.0 1.239
TRS/secret07/TTT2/6.trs 0.032 0.0 0.036 0.004 8.704 0.059 0.0 0.0
TRS/secret07/TTT2/7.trs 0.137 0.001 0.02 0.044 60.0 0.005 0.081 0.017
TRS/SK90/2.01.trs 0.048 0.014 0.053 0.199 60.0 0.001 0.103 0.112
TRS/SK90/2.02.trs 0.066 0.013 0.017 0.034 60.0 0.007 0.01 0.031
TRS/SK90/2.03.trs 0.007 0.0 0.02 0.006 60.0 0.0 0.0 0.0
TRS/SK90/2.04.trs 0.009 0.001 0.01 0.005 60.0 0.0 0.0 0.0
TRS/SK90/2.05.trs 0.052 0.018 0.341 1.103 60.0 0.341 0.343 1.038
TRS/SK90/2.06.trs 0.046 0.026 0.077 0.252 60.0 0.051 0.035 0.038
TRS/SK90/2.07.trs 0.068 0.026 0.067 0.177 60.0 0.02 0.02 0.023
TRS/SK90/2.08.trs 0.161 0.05 0.32 0.651 60.0 0.055 0.058 0.055
TRS/SK90/2.09.trs 0.039 0.019 0.016 0.018 60.0 0.011 0.016 0.012
problem t e s nv g c r *
TRS/SK90/2.10.trs 0.072 0.016 0.099 0.328 60.0 0.014 0.0 0.015
TRS/SK90/2.11.trs 0.023 0.0 0.033 0.026 60.0 0.0 0.0 0.0
TRS/SK90/2.12.trs 0.053 0.035 0.325 0.728 60.0 0.021 0.02 0.032
TRS/SK90/2.13.trs 0.064 0.0 0.077 0.118 60.0 0.0 0.015 0.016
TRS/SK90/2.14.trs 0.038 0.016 0.059 0.078 60.0 0.001 0.0 0.0
TRS/SK90/2.15.trs 0.005 0.0 0.007 0.017 60.0 0.002 0.002 0.0
TRS/SK90/2.16.trs 0.012 0.0 0.069 0.155 60.0 0.0 0.0 0.0
TRS/SK90/2.17.trs 0.009 0.002 0.029 0.007 60.0 0.0 0.0 0.0
TRS/SK90/2.18.trs 0.011 0.0 0.036 0.016 60.0 0.0 0.0 0.0
TRS/SK90/2.19.trs 0.043 0.016 0.06 0.091 60.0 0.0 0.0 0.001
TRS/SK90/2.20.trs 0.006 0.0 0.015 0.003 60.0 0.0 0.0 0.0
TRS/SK90/2.21.trs 0.029 0.018 0.017 0.018 60.0 0.002 0.002 0.004
TRS/SK90/2.22.trs 0.087 0.031 0.14 0.378 60.0 0.029 0.039 0.029
TRS/SK90/2.23.trs 0.134 0.051 0.492 0.974 60.0 0.054 0.053 0.058
TRS/SK90/2.24.trs 0.027 0.018 0.03 0.013 60.0 0.001 0.002 0.004
TRS/SK90/2.25.trs 0.049 0.029 0.078 0.117 60.0 0.015 0.015 0.017
TRS/SK90/2.26.trs 0.068 0.022 0.458 0.651 60.0 0.011 0.011 0.013
TRS/SK90/2.27.trs 0.052 0.016 0.164 0.118 60.0 0.001 0.008 0.002
TRS/SK90/2.28.trs 0.008 0.001 0.009 0.006 60.0 0.0 0.0 0.0
TRS/SK90/2.29.trs 0.007 0.0 0.056 0.106 60.0 0.0 0.0 0.0
TRS/SK90/2.30.trs 0.0 0.0 0.015 0.0 0.003 0.0 0.003 0.004
TRS/SK90/2.31.trs 0.009 0.0 0.03 0.018 60.0 0.0 0.0 0.0
TRS/SK90/2.32.trs 0.0 0.0 0.211 0.473 60.0 0.0 0.0 0.0
TRS/SK90/2.33.trs 0.006 0.0 0.013 0.036 60.0 0.0 0.0 0.0
TRS/SK90/2.34.trs 0.009 0.002 0.025 0.011 60.0 0.067 0.0 0.0
problem t e s nv g c r *
TRS/SK90/2.35.trs 0.005 0.0 0.068 0.052 60.0 0.0 0.0 0.0
TRS/SK90/2.36.trs 0.006 0.0 0.013 0.003 60.0 0.0 0.0 0.0
TRS/SK90/2.37.trs 0.001 0.0 0.05 0.017 60.0 0.0 0.0 0.0
TRS/SK90/2.38.trs 0.013 0.0 0.009 0.007 60.0 0.0 0.0 0.0
TRS/SK90/2.39.trs 0.04 0.014 0.04 0.028 60.0 0.0 0.0 0.0
TRS/SK90/2.40.trs 0.008 0.0 0.055 0.044 60.0 0.0 0.0 0.0
TRS/SK90/2.41.trs 0.04 0.014 0.033 0.012 60.0 0.0 0.0 0.0
TRS/SK90/2.42.trs 0.063 0.016 0.195 0.659 60.0 0.007 0.014 0.003
TRS/SK90/2.43.trs 0.084 0.015 0.122 0.246 60.0 0.013 0.01 0.013
TRS/SK90/2.44.trs 0.084 0.012 15.711 60.0 60.0 0.033 0.032 0.039
TRS/SK90/2.45.trs 0.038 0.0 10.465 14.235 60.0 0.0 0.001 0.001
TRS/SK90/2.46.trs 0.006 0.0 0.007 0.008 3.08 0.0 0.0 0.0
TRS/SK90/2.47.trs 0.001 0.0 0.0 0.013 0.041 0.005 0.0 0.0
TRS/SK90/2.48.trs 0.0 0.0 0.022 0.006 0.362 0.0 0.0 0.0
TRS/SK90/2.49.trs 0.042 0.013 0.069 0.028 60.0 0.0 0.0 0.0
TRS/SK90/2.50.trs 0.0 0.0 0.0 0.013 0.001 0.0 0.0 0.0
TRS/SK90/2.51.trs 0.003 0.0 0.019 0.031 60.0 0.0 0.0 0.0
TRS/SK90/2.52.trs 0.148 0.08 2.465 60.0 60.0 0.095 0.095 0.093
TRS/SK90/2.53.trs 0.003 0.013 0.001 0.03 12.03 0.0 0.0 0.0
TRS/SK90/2.54.trs 0.003 0.0 0.026 0.003 1.432 0.0 0.0 0.0
TRS/SK90/2.55.trs 0.003 0.0 0.001 0.003 36.836 0.0 0.0 0.0
TRS/SK90/2.56.trs 0.0 0.014 0.004 0.002 0.06 0.0 0.0 0.0
TRS/SK90/2.57.trs 0.011 0.0 0.022 0.003 60.0 0.0 0.0 0.0
TRS/SK90/2.58.trs 0.0 0.0 0.048 0.028 60.0 0.0 0.004 0.0
TRS/SK90/2.59.trs 0.0 0.0 0.013 0.002 4.058 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SK90/2.60.trs 0.045 0.0 0.005 0.001 60.0 0.0 0.0 0.0
TRS/SK90/2.61.trs 0.065 0.022 0.13 4.268 60.0 16.864 0.0 0.508
TRS/SK90/4.01.trs 0.03 0.0 0.0 0.005 60.0 0.0 0.0 0.0
TRS/SK90/4.02.trs 0.06 0.013 0.597 1.856 60.0 0.025 0.026 0.045
TRS/SK90/4.03.trs 0.014 0.001 0.118 0.246 60.0 0.003 0.005 0.006
TRS/SK90/4.04.trs 0.027 0.0 0.069 0.059 60.0 0.0 0.0 0.0
TRS/SK90/4.05.trs 0.008 0.001 0.024 0.016 60.0 0.0 0.0 0.0
TRS/SK90/4.06.trs 0.069 0.012 0.087 0.252 60.0 0.002 0.0 0.0
TRS/SK90/4.07.trs 0.007 0.0 0.008 0.006 60.0 0.0 0.0 0.0
TRS/SK90/4.08.trs 0.006 0.0 0.011 0.011 2.14 0.0 0.0 0.0
TRS/SK90/4.09.trs 0.046 0.013 0.082 0.187 60.0 0.014 0.01 0.027
TRS/SK90/4.10.trs 0.049 0.015 0.027 0.022 60.0 0.0 0.0 0.0
TRS/SK90/4.11.trs 0.005 0.0 0.018 0.002 60.0 0.0 0.0 0.0
TRS/SK90/4.12.trs 0.015 0.0 0.006 0.009 60.0 0.0 0.0 0.0
TRS/SK90/4.13.trs 0.003 0.0 0.034 0.02 60.0 0.0 0.002 0.0
TRS/SK90/4.14.trs 0.093 0.024 0.285 0.713 60.0 0.028 0.028 0.036
TRS/SK90/4.15.trs 0.0 0.0 0.0 0.003 60.0 0.0 0.0 0.0
TRS/SK90/4.16.trs 0.043 0.013 0.029 0.02 60.0 0.0 0.0 0.0
TRS/SK90/4.17.trs 0.041 0.014 0.023 0.01 60.0 0.0 0.0 0.0
TRS/SK90/4.18.trs 0.041 0.0 0.018 0.013 60.0 0.0 0.0 0.0
TRS/SK90/4.19.trs 0.0 0.0 0.034 0.003 60.0 0.0 0.0 0.0
TRS/SK90/4.20.trs 0.006 0.003 0.113 0.198 60.0 0.0 0.0 0.0
TRS/SK90/4.21.trs 0.049 0.016 0.083 0.205 60.0 0.002 0.002 0.004
TRS/SK90/4.22.trs 0.043 0.011 0.017 0.015 60.0 0.0 0.0 0.0
TRS/SK90/4.23.trs 0.007 0.0 0.082 0.07 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SK90/4.24.trs 0.034 0.012 0.038 0.034 60.0 0.0 0.0 0.0
TRS/SK90/4.25.trs 0.001 0.013 0.008 0.022 60.0 0.0 0.0 0.0
TRS/SK90/4.26.trs 0.017 0.015 0.047 0.112 60.0 0.006 0.0 0.0
TRS/SK90/4.27.trs 0.066 0.014 0.028 0.019 60.0 0.0 60.0 0.0
TRS/SK90/4.28.trs 0.113 0.032 0.23 7.043 60.0 0.035 0.034 0.042
TRS/SK90/4.29.trs 0.045 0.0 0.019 0.018 60.0 0.0 0.0 0.0
TRS/SK90/4.30.trs 0.047 0.018 0.041 0.048 60.0 0.01 0.0 0.0
TRS/SK90/4.31.trs 0.046 0.005 0.028 0.011 60.0 0.0 0.001 0.0
TRS/SK90/4.32.trs 0.033 0.0 0.076 0.3 60.0 0.0 60.0 0.497
TRS/SK90/4.33.trs 0.001 0.0 0.014 0.0 0.064 0.0 0.0 0.0
TRS/SK90/4.34.trs 0.0 0.0 0.013 0.003 0.069 0.0 0.0 0.0
TRS/SK90/4.35.trs 0.0 0.0 0.0 0.004 0.031 0.0 0.0 0.0
TRS/SK90/4.36.trs 0.002 0.0 0.0 0.0 0.034 0.0 0.0 0.0
TRS/SK90/4.37.trs 0.0 0.0 0.0 0.0 0.002 0.0 0.003 0.0
TRS/SK90/4.38.trs 0.012 0.004 0.011 0.011 60.0 0.0 0.0 0.0
TRS/SK90/4.39.trs 0.008 0.006 0.042 0.022 60.0 0.0 0.0 0.0
TRS/SK90/4.40.trs 0.006 0.0 0.104 0.08 60.0 0.0 0.0 0.0
TRS/SK90/4.41.trs 0.0 0.0 0.014 0.001 0.068 0.0 0.0 0.0
TRS/SK90/4.42.trs 0.047 0.013 0.074 0.191 60.0 0.0 0.0 0.0
TRS/SK90/4.43.trs 0.105 0.008 0.097 0.156 60.0 0.011 0.0 0.001
TRS/SK90/4.44.trs 0.003 0.0 0.019 0.001 0.395 0.0 0.0 0.0
TRS/SK90/4.45.trs 0.001 0.0 0.0 0.005 0.209 0.0 0.0 0.0
TRS/SK90/4.46.trs 0.002 0.0 0.013 0.0 0.01 0.0 0.0 0.0
TRS/SK90/4.47.trs 0.128 0.0 0.007 0.005 60.0 0.0 0.0 0.0
TRS/SK90/4.48.trs 0.006 0.0 0.01 0.021 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SK90/4.49.trs 0.005 0.0 0.015 0.002 60.0 0.0 0.0 0.0
TRS/SK90/4.50.trs 0.0 0.0 0.007 0.0 7.473 0.0 0.0 0.0
TRS/SK90/4.51.trs 0.01 0.0 0.021 0.0 60.0 0.0 0.0 0.0
TRS/SK90/4.52.trs 0.055 0.018 0.055 0.142 60.0 0.004 0.0 0.0
TRS/SK90/4.53.trs 0.042 0.0 0.026 0.031 60.0 0.0 0.0 0.0
TRS/SK90/4.54.trs 0.008 0.0 0.008 0.005 60.0 0.0 0.0 0.0
TRS/SK90/4.55.trs 0.0 0.0 0.004 0.002 0.118 0.0 0.0 0.0
TRS/SK90/4.56.trs 0.01 0.0 0.015 0.0 4.721 0.0 0.0 0.0
TRS/SK90/4.57.trs 0.036 0.0 1.922 13.98 60.0 0.0 0.0 0.0
TRS/SK90/4.59.trs 0.079 0.013 0.042 0.037 60.0 0.006 0.005 0.005
TRS/SK90/4.60.trs 0.087 0.021 0.08 0.398 60.0 0.004 0.004 0.005
TRS/SK90/4.61.trs 0.133 0.046 0.357 6.365 60.0 0.053 0.063 0.053
TRS/Ste92/hydra.trs 0.046 0.0 0.407 0.494 60.0 0.0 0.0 0.0
TRS/Ste92/minsort.trs 0.144 0.054 1.149 11.383 60.0 0.058 0.059 0.061
TRS/Ste92/motivation.trs 0.011 0.0 0.03 0.019 60.0 0.0 0.0 0.0
TRS/Ste92/perfect2.trs 0.15 0.074 3.643 60.0 60.0 0.07 0.074 0.064
TRS/Ste92/perfect.trs 0.098 0.001 0.455 7.698 60.0 0.023 0.003 0.0
TRS/Thiemann/div_notCeTermin.trs 0.184 0.113 5.531 60.0 60.0 0.116 0.124 0.124
TRS/Thiemann/div_notTermin.trs 0.214 0.15 9.054 60.0 60.0 0.15 0.156 0.153
TRS/Thiemann/factorial1.trs 0.086 0.024 0.286 0.679 60.0 0.019 0.018 0.024
TRS/Thiemann/factorial2.trs 0.109 0.024 2.667 43.209 60.0 0.027 0.027 0.028
TRS/Thiemann/identity.trs 0.05 0.024 0.137 0.141 60.0 0.007 60.0 0.508
TRS/Thiemann/logarithm.trs 0.172 0.072 3.105 60.0 60.0 0.079 0.076 0.083
TRS/Thiemann/mapHard.trs 0.11 0.061 60.0 60.0 60.0 31.658 27.903 0.063
TRS/Thiemann/modulo.trs 0.07 0.02 15.427 60.0 60.0 60.0 60.0 1.019
problem t e s nv g c r *
TRS/Thiemann/nonterm.trs 0.068 0.027 9.48 60.0 60.0 60.0 60.0 1.14
TRS/Thiemann/quicksort.trs 0.791 0.642 20.854 60.0 60.0 0.112 0.111 0.126
TRS/Thiemann/quot.trs 0.07 0.023 1.387 60.0 60.0 41.208 40.293 1.012
TRS/Thiemann/sizeChange.trs 0.01 0.002 0.832 0.824 60.0 0.0 0.001 0.0
TRS/Thiemann/tower_sizeChange.trs 0.092 0.023 0.351 0.352 60.0 0.023 60.0 0.521
TRS/Thiemann/tower.trs 0.114 0.041 1.082 5.196 60.0 0.037 0.035 0.04
TRS/TRCSR/Ex1_2_AEL03_C.trs 9.165 5.242 60.0 60.0 60.0 5.318 5.329 9.549
TRS/TRCSR/Ex1_2_AEL03_FR.trs 0.167 0.088 2.059 4.144 60.0 0.089 0.098 0.097
TRS/TRCSR/Ex1_2_AEL03_GM.trs 0.154 0.09 26.566 60.0 60.0 0.096 0.095 0.153
TRS/TRCSR/Ex1_2_AEL03_iGM.trs 3.949 4.794 60.0 60.0 60.0 2.701 2.685 2.867
TRS/TRCSR/Ex1_2_AEL03_Z.trs 0.112 0.033 1.256 2.569 60.0 0.032 0.032 0.041
TRS/TRCSR/Ex1_2_Luc02c_C.trs 0.339 0.257 3.967 12.089 60.0 0.269 0.269 0.413
TRS/TRCSR/Ex1_2_Luc02c_FR.trs 0.041 0.016 0.121 0.182 60.0 0.001 0.001 0.003
TRS/TRCSR/Ex1_2_Luc02c_GM.trs 0.009 0.0 0.07 0.054 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_2_Luc02c_iGM.trs 0.24 0.154 1.447 2.06 60.0 0.129 0.118 0.129
TRS/TRCSR/Ex1_2_Luc02c_Z.trs 0.0 0.0 0.072 0.059 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex14_AEGL02_C.trs 0.418 0.328 7.101 12.399 60.0 0.348 0.346 0.367
TRS/TRCSR/Ex14_AEGL02_FR.trs 0.048 0.014 0.414 0.431 60.0 0.0 0.0 0.001
TRS/TRCSR/Ex14_AEGL02_GM.trs 0.084 0.019 0.291 0.11 60.0 0.013 0.013 0.019
TRS/TRCSR/Ex14_AEGL02_iGM.trs 0.484 0.325 5.88 6.073 60.0 0.244 0.246 0.255
TRS/TRCSR/Ex14_AEGL02_L.trs 0.001 0.0 0.003 0.0 0.002 0.0 0.0 0.0
TRS/TRCSR/Ex14_AEGL02_Z.trs 0.001 0.0 0.201 0.211 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex14_Luc06_C.trs 0.284 0.183 4.337 22.76 60.0 0.249 0.25 0.3
TRS/TRCSR/Ex14_Luc06_FR.trs 0.0 0.0 0.039 0.029 60.0 0.0 0.007 0.019
TRS/TRCSR/Ex14_Luc06_GM.trs 0.061 0.031 0.835 1.966 60.0 0.057 0.063 0.1
problem t e s nv g c r *
TRS/TRCSR/Ex14_Luc06_iGM.trs 0.427 0.081 4.385 3.881 60.0 0.71 0.697 0.812
TRS/TRCSR/Ex14_Luc06_L.trs 0.011 0.0 0.048 0.046 0.021 0.0 0.0 0.0
TRS/TRCSR/Ex14_Luc06_Z.trs 0.036 0.015 0.074 0.077 60.0 0.0 0.01 0.022
TRS/TRCSR/Ex15_Luc06_C.trs 0.203 0.116 0.625 0.447 60.0 0.123 0.02 0.032
TRS/TRCSR/Ex15_Luc06_FR.trs 0.035 0.0 0.16 0.081 60.0 0.0 0.012 0.0
TRS/TRCSR/Ex15_Luc06_GM.trs 0.031 0.0 0.058 0.013 55.502 0.0 0.0 0.0
TRS/TRCSR/Ex15_Luc06_iGM.trs 0.079 0.017 0.125 0.096 60.0 0.013 0.0 0.0
TRS/TRCSR/Ex15_Luc06_L.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex15_Luc06_Z.trs 0.002 0.0 0.071 0.011 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex15_Luc98_C.trs 0.719 0.639 60.0 60.0 60.0 0.695 0.712 0.744
TRS/TRCSR/Ex15_Luc98_FR.trs 0.05 0.006 0.945 0.815 60.0 0.006 0.004 0.008
TRS/TRCSR/Ex15_Luc98_GM.trs 0.092 0.023 1.791 1.138 60.0 0.028 0.028 0.033
TRS/TRCSR/Ex15_Luc98_iGM.trs 1.78 3.603 60.0 60.0 60.0 1.997 1.137 1.161
TRS/TRCSR/Ex15_Luc98_Z.trs 0.087 0.016 0.8 0.594 60.0 0.02 0.02 0.023
TRS/TRCSR/Ex16_Luc06_C.trs 0.108 0.023 0.357 0.693 60.0 0.045 0.011 0.023
TRS/TRCSR/Ex16_Luc06_FR.trs 0.0 0.0 0.018 0.013 0.112 0.0 0.0 0.0
TRS/TRCSR/Ex16_Luc06_GM.trs 0.007 0.0 0.045 0.029 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex16_Luc06_iGM.trs 0.129 0.016 0.19 0.214 60.0 0.049 0.023 0.013
TRS/TRCSR/Ex16_Luc06_L.trs 0.0 0.0 0.001 0.012 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex16_Luc06_Z.trs 0.0 0.0 0.023 0.001 0.108 0.0 0.0 0.0
TRS/TRCSR/Ex18_Luc06_C.trs 0.15 0.059 0.303 0.228 60.0 0.063 0.012 0.018
TRS/TRCSR/Ex18_Luc06_FR.trs 0.009 0.0 0.052 0.021 4.466 0.0 0.0 0.0
TRS/TRCSR/Ex18_Luc06_GM.trs 0.008 0.0 0.035 0.008 60.0 0.0 0.011 0.0
TRS/TRCSR/Ex18_Luc06_iGM.trs 0.109 0.045 0.266 0.215 60.0 0.04 0.034 0.034
TRS/TRCSR/Ex18_Luc06_L.trs 0.027 0.0 0.004 0.008 0.01 0.0 0.004 0.0
problem t e s nv g c r *
TRS/TRCSR/Ex18_Luc06_Z.trs 0.021 0.0 0.024 0.014 0.983 0.0 0.0 0.0
TRS/TRCSR/Ex1_GL02a_C.trs 1.035 0.69 32.2 60.0 60.0 0.723 0.721 1.024
TRS/TRCSR/Ex1_GL02a_FR.trs 0.071 0.021 1.185 0.483 60.0 0.014 0.015 0.02
TRS/TRCSR/Ex1_GL02a_GM.trs 0.068 0.017 0.824 0.161 60.0 0.009 0.009 0.009
TRS/TRCSR/Ex1_GL02a_iGM.trs 1.321 0.701 55.252 60.0 60.0 0.705 0.709 0.729
TRS/TRCSR/Ex1_GL02a_L.trs 0.0 0.0 0.0 0.0 0.034 0.0 0.005 0.0
TRS/TRCSR/Ex1_GL02a_Z.trs 0.046 0.015 0.985 0.317 60.0 0.011 0.011 0.014
TRS/TRCSR/Ex1_GM03_C.trs 0.532 0.461 60.0 60.0 60.0 0.465 0.456 0.515
TRS/TRCSR/Ex1_GM03_FR.trs 0.128 0.047 1.597 10.105 60.0 0.045 0.04 0.055
TRS/TRCSR/Ex1_GM03_GM.trs 0.069 0.022 6.674 60.0 60.0 0.019 0.019 0.029
TRS/TRCSR/Ex1_GM03_iGM.trs 0.909 0.665 60.0 60.0 60.0 0.607 0.724 1.648
TRS/TRCSR/Ex1_GM03_Z.trs 0.075 0.026 1.176 3.811 60.0 0.0 0.0 0.001
TRS/TRCSR/Ex1_GM99_C.trs 0.125 0.036 1.438 17.8 60.0 0.04 0.045 0.048
TRS/TRCSR/Ex1_GM99_FR.trs 0.003 0.001 0.076 0.262 17.742 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM99_GM.trs 0.046 0.0 0.135 0.897 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM99_iGM.trs 0.203 0.055 4.822 22.94 60.0 0.059 0.057 0.067
TRS/TRCSR/Ex1_GM99_L.trs 0.0 0.0 0.0 0.011 0.0 0.003 0.0 0.0
TRS/TRCSR/Ex1_GM99_Z.trs 0.001 0.0 0.081 0.258 17.599 0.0 0.0 0.0
TRS/TRCSR/Ex1_Luc02b_C.trs 0.518 0.448 29.172 60.0 60.0 0.467 0.465 0.512
TRS/TRCSR/Ex1_Luc02b_FR.trs 0.086 0.03 0.244 0.212 60.0 0.026 0.027 0.025
TRS/TRCSR/Ex1_Luc02b_GM.trs 0.063 0.013 0.525 0.672 60.0 0.011 0.008 0.015
TRS/TRCSR/Ex1_Luc02b_iGM.trs 0.538 0.5 24.656 36.459 60.0 1.09 0.422 0.467
TRS/TRCSR/Ex1_Luc02b_Z.trs 0.046 0.017 0.089 0.059 60.0 0.0 0.0 0.001
TRS/TRCSR/Ex1_Luc04b_C.trs 0.718 0.641 18.915 7.819 60.0 0.662 0.375 0.389
TRS/TRCSR/Ex1_Luc04b_FR.trs 0.009 0.001 0.272 0.118 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/TRCSR/Ex1_Luc04b_GM.trs 0.112 0.038 1.365 0.824 60.0 0.039 0.096 0.103
TRS/TRCSR/Ex1_Luc04b_iGM.trs 0.661 0.482 10.003 15.222 60.0 0.379 0.731 0.621
TRS/TRCSR/Ex1_Luc04b_Z.trs 0.047 0.013 0.106 0.072 60.0 0.0 0.0 0.001
TRS/TRCSR/Ex1_Zan97_C.trs 0.09 0.04 0.268 0.154 60.0 0.024 0.0 0.0
TRS/TRCSR/Ex1_Zan97_FR.trs 0.001 0.0 0.071 0.016 0.05 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_GM.trs 0.005 0.002 0.088 0.014 16.252 0.002 0.002 0.005
TRS/TRCSR/Ex1_Zan97_iGM.trs 0.225 0.063 0.69 0.477 60.0 0.052 0.042 0.008
TRS/TRCSR/Ex1_Zan97_L.trs 0.009 0.0 0.027 0.012 0.003 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_Z.trs 0.023 0.015 0.128 0.069 0.155 0.0 0.001 0.003
TRS/TRCSR/Ex23_Luc06_C.trs 0.337 0.262 1.428 0.562 60.0 0.12 0.033 0.038
TRS/TRCSR/Ex23_Luc06_FR.trs 0.011 0.0 0.076 0.021 18.817 0.0 0.0 0.0
TRS/TRCSR/Ex23_Luc06_GM.trs 0.04 0.014 0.031 0.019 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex23_Luc06_iGM.trs 0.166 0.071 0.403 0.245 60.0 0.064 0.0 0.0
TRS/TRCSR/Ex23_Luc06_L.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex23_Luc06_Z.trs 0.0 0.0 0.0 0.014 0.095 0.0 0.0 0.0
TRS/TRCSR/Ex24_GM04_C.trs 0.157 0.063 3.831 60.0 60.0 0.111 0.113 0.153
TRS/TRCSR/Ex24_GM04_FR.trs 0.011 0.0 0.057 0.218 60.0 0.0 0.0 0.005
TRS/TRCSR/Ex24_GM04_GM.trs 0.009 0.002 0.289 7.585 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex24_GM04_iGM.trs 0.212 0.087 9.013 31.659 60.0 0.45 0.45 0.808
TRS/TRCSR/Ex24_GM04_L.trs 0.0 0.0 0.001 0.005 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex24_GM04_Z.trs 0.002 0.0 0.043 0.204 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex24_Luc06_C.trs 0.105 0.033 1.039 11.996 60.0 0.038 0.04 0.044
TRS/TRCSR/Ex24_Luc06_FR.trs 0.001 0.0 0.081 0.204 20.596 0.0 0.0 0.0
TRS/TRCSR/Ex24_Luc06_GM.trs 0.008 0.001 0.101 0.487 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex24_Luc06_iGM.trs 0.177 0.052 3.189 7.342 60.0 0.064 0.054 0.062
problem t e s nv g c r *
TRS/TRCSR/Ex24_Luc06_L.trs 0.001 0.0 0.0 0.005 0.0 0.011 0.0 0.0
TRS/TRCSR/Ex24_Luc06_Z.trs 0.034 0.0 0.062 0.197 17.125 0.0 0.0 0.0
TRS/TRCSR/Ex25_Luc06_C.trs 0.463 0.254 2.729 1.091 60.0 0.245 60.0 0.718
TRS/TRCSR/Ex25_Luc06_FR.trs 0.039 0.015 0.123 0.056 60.0 0.0 0.001 0.003
TRS/TRCSR/Ex25_Luc06_GM.trs 0.007 0.0 0.137 0.037 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex25_Luc06_iGM.trs 0.302 0.223 1.945 0.945 60.0 0.138 0.029 0.036
TRS/TRCSR/Ex25_Luc06_L.trs 0.0 0.0 0.001 0.0 0.006 0.0 0.003 0.0
TRS/TRCSR/Ex25_Luc06_Z.trs 0.006 0.0 0.092 0.026 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex26_Luc03b_C.trs 2.892 3.489 60.0 60.0 60.0 1.695 1.677 1.871
TRS/TRCSR/Ex26_Luc03b_FR.trs 0.072 0.014 3.283 7.238 60.0 0.017 0.017 0.038
TRS/TRCSR/Ex26_Luc03b_GM.trs 0.164 0.077 2.322 1.089 60.0 0.076 0.078 0.089
TRS/TRCSR/Ex26_Luc03b_iGM.trs 1.017 1.022 60.0 60.0 60.0 0.716 0.729 0.78
TRS/TRCSR/Ex26_Luc03b_L.trs 0.008 0.0 0.065 0.008 1.045 0.0 0.0 0.0
TRS/TRCSR/Ex26_Luc03b_Z.trs 0.271 0.193 3.761 4.7 60.0 0.068 0.067 0.07
TRS/TRCSR/Ex2_Luc02a_C.trs 1.96 1.869 60.0 60.0 60.0 1.963 1.89 1.989
TRS/TRCSR/Ex2_Luc02a_FR.trs 0.175 0.089 1.347 1.965 60.0 0.092 0.092 0.089
TRS/TRCSR/Ex2_Luc02a_GM.trs 0.107 0.032 8.354 24.361 60.0 0.035 0.036 0.054
TRS/TRCSR/Ex2_Luc02a_iGM.trs 0.821 0.575 60.0 60.0 60.0 0.446 0.453 0.516
TRS/TRCSR/Ex2_Luc02a_L.trs 0.064 0.012 0.125 0.196 60.0 0.004 0.003 0.005
TRS/TRCSR/Ex2_Luc02a_Z.trs 0.1 0.024 0.628 1.149 60.0 0.026 0.026 0.035
TRS/TRCSR/Ex2_Luc03b_C.trs 1.03 0.953 48.994 60.0 60.0 0.987 0.982 1.056
TRS/TRCSR/Ex2_Luc03b_FR.trs 0.147 0.058 1.014 0.593 60.0 0.068 0.064 0.07
TRS/TRCSR/Ex2_Luc03b_GM.trs 0.115 0.035 0.834 0.514 60.0 0.04 0.04 0.051
TRS/TRCSR/Ex2_Luc03b_iGM.trs 1.067 0.832 42.42 60.0 60.0 0.657 0.626 0.676
TRS/TRCSR/Ex2_Luc03b_L.trs 0.006 0.009 0.002 0.012 0.012 0.006 0.006 0.0
problem t e s nv g c r *
TRS/TRCSR/Ex2_Luc03b_Z.trs 0.131 0.055 1.02 0.489 60.0 0.051 0.054 0.054
TRS/TRCSR/Ex3_12_Luc96a_C.trs 0.946 0.396 7.72 31.441 60.0 0.362 0.367 0.398
TRS/TRCSR/Ex3_12_Luc96a_FR.trs 0.049 0.01 0.05 0.055 60.0 0.0 0.002 0.001
TRS/TRCSR/Ex3_12_Luc96a_GM.trs 0.044 0.013 0.141 0.164 60.0 0.0 0.0 0.001
TRS/TRCSR/Ex3_12_Luc96a_iGM.trs 0.361 0.249 4.279 8.34 60.0 0.209 0.197 0.216
TRS/TRCSR/Ex3_12_Luc96a_Z.trs 0.007 0.0 0.028 0.005 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex3_2_Luc97_C.trs 0.641 0.545 48.517 60.0 60.0 0.583 0.585 0.653
TRS/TRCSR/Ex3_2_Luc97_FR.trs 0.069 0.016 2.438 1.715 60.0 0.019 0.018 0.028
TRS/TRCSR/Ex3_2_Luc97_GM.trs 0.054 0.011 1.444 0.783 60.0 0.005 0.007 0.012
TRS/TRCSR/Ex3_2_Luc97_iGM.trs 1.293 2.218 60.0 60.0 60.0 1.668 1.677 0.986
TRS/TRCSR/Ex3_2_Luc97_Z.trs 0.128 0.051 4.708 1.031 60.0 0.009 0.01 0.014
TRS/TRCSR/Ex3_3_25_Bor03_C.trs 0.589 0.515 56.542 60.0 60.0 0.568 0.574 0.629
TRS/TRCSR/Ex3_3_25_Bor03_FR.trs 0.066 0.012 1.484 0.728 60.0 0.009 0.009 0.015
TRS/TRCSR/Ex3_3_25_Bor03_GM.trs 0.161 0.071 1.03 0.845 60.0 0.079 0.077 0.084
TRS/TRCSR/Ex3_3_25_Bor03_iGM.trs 0.904 0.941 60.0 60.0 60.0 0.781 0.796 1.659
TRS/TRCSR/Ex3_3_25_Bor03_L.trs 0.006 0.001 0.047 0.012 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex3_3_25_Bor03_Z.trs 0.123 0.052 1.253 0.609 60.0 0.06 0.053 0.01
TRS/TRCSR/Ex4_4_Luc96b_C.trs 0.168 0.085 0.661 1.802 60.0 0.087 0.092 0.099
TRS/TRCSR/Ex4_4_Luc96b_FR.trs 0.003 0.0 0.047 0.069 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_GM.trs 0.048 0.014 0.029 0.031 60.0 0.0 0.0 0.003
TRS/TRCSR/Ex4_4_Luc96b_iGM.trs 0.145 0.059 0.236 0.498 60.0 0.05 0.046 0.056
TRS/TRCSR/Ex4_4_Luc96b_L.trs 0.001 0.0 0.0 0.005 0.002 0.0 0.003 0.0
TRS/TRCSR/Ex4_4_Luc96b_Z.trs 0.002 0.0 0.039 0.042 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_15_Bor03_C.trs 0.427 0.345 5.255 2.027 60.0 0.364 0.058 0.068
TRS/TRCSR/Ex4_7_15_Bor03_FR.trs 0.063 0.019 0.114 0.055 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/TRCSR/Ex4_7_15_Bor03_GM.trs 0.05 0.008 0.113 0.063 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_15_Bor03_iGM.trs 0.285 0.159 2.253 1.134 60.0 0.151 0.217 0.2
TRS/TRCSR/Ex4_7_15_Bor03_L.trs 0.006 0.01 0.014 0.0 0.44 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_15_Bor03_Z.trs 0.006 0.0 0.034 0.003 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_37_Bor03_C.trs 1.781 1.7 60.0 60.0 60.0 1.738 4.164 2.477
TRS/TRCSR/Ex4_7_37_Bor03_FR.trs 0.164 0.085 1.282 3.053 60.0 0.069 0.06 0.067
TRS/TRCSR/Ex4_7_37_Bor03_GM.trs 0.183 0.098 6.693 36.071 60.0 0.043 0.044 0.083
TRS/TRCSR/Ex4_7_37_Bor03_iGM.trs 1.624 1.4 60.0 60.0 60.0 1.246 1.464 3.291
TRS/TRCSR/Ex4_7_37_Bor03_Z.trs 0.114 0.032 0.691 1.898 60.0 0.022 0.028 0.027
TRS/TRCSR/Ex4_7_56_Bor03_C.trs 0.428 0.325 7.597 31.152 60.0 0.366 0.358 0.378
TRS/TRCSR/Ex4_7_56_Bor03_FR.trs 0.038 0.016 0.063 0.053 60.0 0.0 0.0 0.02
TRS/TRCSR/Ex4_7_56_Bor03_GM.trs 0.044 0.012 0.145 0.168 60.0 0.0 0.0 0.001
TRS/TRCSR/Ex4_7_56_Bor03_iGM.trs 0.749 0.587 6.527 4.707 60.0 0.188 0.195 0.221
TRS/TRCSR/Ex4_7_56_Bor03_Z.trs 0.005 0.002 0.027 0.014 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_77_Bor03_C.trs 0.167 0.083 0.774 0.407 60.0 0.093 0.046 0.049
TRS/TRCSR/Ex4_7_77_Bor03_FR.trs 0.0 0.0 0.006 0.013 0.117 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_77_Bor03_GM.trs 0.038 0.0 0.045 0.027 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_77_Bor03_iGM.trs 0.166 0.077 0.449 0.322 60.0 0.069 0.047 0.05
TRS/TRCSR/Ex4_7_77_Bor03_Z.trs 0.0 0.0 0.017 0.006 0.131 0.0 0.0 0.0
TRS/TRCSR/Ex49_GM04_C.trs 0.492 0.411 60.0 60.0 60.0 0.409 0.411 0.457
TRS/TRCSR/Ex49_GM04_FR.trs 0.066 0.018 2.959 59.914 60.0 0.015 0.016 0.022
TRS/TRCSR/Ex49_GM04_GM.trs 0.2 0.113 7.294 60.0 60.0 0.111 0.11 0.12
TRS/TRCSR/Ex49_GM04_iGM.trs 0.827 0.683 60.0 60.0 60.0 0.551 0.55 0.572
TRS/TRCSR/Ex49_GM04_Z.trs 0.109 0.027 1.013 19.748 60.0 0.018 0.016 0.025
TRS/TRCSR/Ex4_DLMMU04_C.trs 1.814 1.783 60.0 60.0 60.0 1.882 1.861 2.092
problem t e s nv g c r *
TRS/TRCSR/Ex4_DLMMU04_FR.trs 0.358 0.277 60.0 60.0 60.0 0.296 0.301 0.32
TRS/TRCSR/Ex4_DLMMU04_GM.trs 0.595 0.988 60.0 60.0 60.0 0.985 1.0 1.099
TRS/TRCSR/Ex4_DLMMU04_iGM.trs 4.772 4.56 60.0 60.0 60.0 4.208 4.222 4.507
TRS/TRCSR/Ex4_DLMMU04_Z.trs 0.577 0.496 60.0 60.0 60.0 0.2 0.207 0.219
TRS/TRCSR/Ex4_Zan97_C.trs 0.716 0.637 18.699 60.0 60.0 0.657 0.664 0.671
TRS/TRCSR/Ex4_Zan97_FR.trs 0.086 0.019 0.143 0.108 60.0 0.011 0.011 0.013
TRS/TRCSR/Ex4_Zan97_GM.trs 0.045 0.017 0.421 0.542 60.0 0.005 0.005 0.011
TRS/TRCSR/Ex4_Zan97_iGM.trs 0.499 0.365 14.054 14.085 60.0 0.351 0.351 0.373
TRS/TRCSR/Ex4_Zan97_Z.trs 0.043 0.0 0.054 0.041 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex5_7_Luc97_C.trs 3.015 2.994 60.0 60.0 60.0 3.073 7.227 3.224
TRS/TRCSR/Ex5_7_Luc97_FR.trs 0.194 0.099 8.929 7.011 60.0 0.102 0.1 0.119
TRS/TRCSR/Ex5_7_Luc97_GM.trs 0.121 0.049 18.683 12.76 60.0 0.049 0.05 0.081
TRS/TRCSR/Ex5_7_Luc97_iGM.trs 2.948 2.547 60.0 60.0 60.0 2.257 5.575 2.468
TRS/TRCSR/Ex5_7_Luc97_Z.trs 0.171 0.084 7.575 4.873 60.0 0.088 0.094 0.1
TRS/TRCSR/Ex5_DLMMU04_C.trs 2.242 2.177 60.0 60.0 60.0 2.237 2.232 5.495
TRS/TRCSR/Ex5_DLMMU04_FR.trs 0.068 0.022 5.415 15.951 60.0 0.019 0.02 0.03
TRS/TRCSR/Ex5_DLMMU04_GM.trs 0.094 0.032 5.914 2.797 60.0 0.033 0.033 0.059
TRS/TRCSR/Ex5_DLMMU04_iGM.trs 1.503 3.793 60.0 60.0 60.0 1.665 1.344 1.46
TRS/TRCSR/Ex5_DLMMU04_Z.trs 0.087 0.02 3.475 12.509 60.0 0.022 0.021 0.028
TRS/TRCSR/Ex5_Zan97_C.trs 0.223 0.136 1.794 0.777 60.0 0.146 60.0 0.509
TRS/TRCSR/Ex5_Zan97_FR.trs 0.047 0.0 0.051 0.064 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex5_Zan97_GM.trs 0.092 0.022 0.135 0.149 60.0 0.023 0.04 0.036
TRS/TRCSR/Ex5_Zan97_iGM.trs 0.264 0.128 1.161 0.958 60.0 0.13 0.191 0.192
TRS/TRCSR/Ex5_Zan97_Z.trs 0.006 0.0 0.031 0.018 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_15_AEL02_C.trs 7.437 11.412 60.0 60.0 60.0 7.562 7.558 9.71
problem t e s nv g c r *
TRS/TRCSR/Ex6_15_AEL02_FR.trs 0.264 0.181 25.482 60.0 60.0 0.196 0.197 0.22
TRS/TRCSR/Ex6_15_AEL02_GM.trs 0.187 0.144 53.518 26.198 60.0 0.39 0.358 0.471
TRS/TRCSR/Ex6_15_AEL02_iGM.trs 6.755 5.455 60.0 60.0 60.0 4.587 4.635 8.679
TRS/TRCSR/Ex6_15_AEL02_Z.trs 0.282 0.18 22.673 60.0 60.0 0.189 0.196 0.212
TRS/TRCSR/Ex6_9_Luc02c_C.trs 0.621 1.307 15.735 60.0 60.0 0.568 0.562 0.607
TRS/TRCSR/Ex6_9_Luc02c_FR.trs 0.041 0.0 0.052 0.045 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_9_Luc02c_GM.trs 0.047 0.016 0.154 0.295 60.0 0.0 0.0 0.003
TRS/TRCSR/Ex6_9_Luc02c_iGM.trs 0.447 0.345 4.761 8.032 60.0 0.26 0.266 0.273
TRS/TRCSR/Ex6_9_Luc02c_Z.trs 0.006 0.0 0.035 0.007 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_C.trs 0.064 0.017 0.177 0.143 60.0 0.021 0.0 0.0
TRS/TRCSR/Ex6_GM04_FR.trs 0.001 0.0 0.06 0.014 0.633 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_GM.trs 0.0 0.0 0.027 0.013 1.669 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_iGM.trs 0.091 0.015 0.148 0.11 60.0 0.009 0.0 0.0
TRS/TRCSR/Ex6_GM04_L.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_Z.trs 0.0 0.0 0.064 0.016 0.636 0.0 0.0 0.0
TRS/TRCSR/Ex6_Luc98_C.trs 0.491 0.388 8.806 43.752 60.0 0.423 0.415 0.456
TRS/TRCSR/Ex6_Luc98_FR.trs 0.19 0.019 0.128 0.082 60.0 0.008 0.008 0.012
TRS/TRCSR/Ex6_Luc98_GM.trs 0.098 0.024 0.166 0.119 60.0 0.029 0.026 0.032
TRS/TRCSR/Ex6_Luc98_iGM.trs 0.422 0.284 7.343 13.626 60.0 0.254 0.254 0.267
TRS/TRCSR/Ex6_Luc98_L.trs 0.0 0.0 0.0 0.003 0.0 0.003 0.0 0.0
TRS/TRCSR/Ex6_Luc98_Z.trs 0.007 0.0 0.053 0.008 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex7_BLR02_C.trs 1.396 1.32 60.0 60.0 60.0 1.342 1.336 1.413
TRS/TRCSR/Ex7_BLR02_FR.trs 0.112 0.028 0.415 0.433 60.0 0.027 0.026 0.03
TRS/TRCSR/Ex7_BLR02_GM.trs 0.072 0.018 1.796 2.656 60.0 0.02 0.021 0.035
TRS/TRCSR/Ex7_BLR02_iGM.trs 0.851 0.839 59.801 60.0 60.0 0.751 0.742 0.777
problem t e s nv g c r *
TRS/TRCSR/Ex7_BLR02_Z.trs 0.052 0.016 0.153 0.157 60.0 0.0 0.001 0.001
TRS/TRCSR/Ex8_BLR02_C.trs 0.636 0.571 56.891 60.0 60.0 0.595 0.606 0.679
TRS/TRCSR/Ex8_BLR02_FR.trs 0.172 0.095 0.637 0.801 60.0 0.089 0.097 0.097
TRS/TRCSR/Ex8_BLR02_GM.trs 0.154 0.085 2.265 2.358 60.0 0.023 0.024 0.037
TRS/TRCSR/Ex8_BLR02_iGM.trs 0.959 0.859 60.0 60.0 60.0 0.729 0.739 0.766
TRS/TRCSR/Ex8_BLR02_Z.trs 0.049 0.015 0.102 0.119 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_BLR02_C.trs 0.806 0.734 60.0 60.0 60.0 0.741 0.98 1.229
TRS/TRCSR/Ex9_BLR02_FR.trs 0.019 0.015 0.892 0.495 60.0 0.008 0.008 0.013
TRS/TRCSR/Ex9_BLR02_GM.trs 0.177 0.088 1.048 0.725 60.0 0.09 0.094 0.104
TRS/TRCSR/Ex9_BLR02_iGM.trs 0.664 0.575 60.0 60.0 60.0 0.46 0.474 1.169
TRS/TRCSR/Ex9_BLR02_L.trs 0.006 0.0 0.054 0.019 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_BLR02_Z.trs 0.149 0.068 9.241 60.0 60.0 0.016 0.016 0.021
TRS/TRCSR/Ex9_Luc04_C.trs 0.139 0.056 2.306 60.0 60.0 0.062 0.066 0.067
TRS/TRCSR/Ex9_Luc04_FR.trs 0.001 0.0 0.055 0.099 17.187 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_GM.trs 0.011 0.0 0.164 0.896 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_iGM.trs 0.163 0.052 4.912 19.476 60.0 0.059 0.055 0.071
TRS/TRCSR/Ex9_Luc04_L.trs 0.0 0.0 0.0 0.014 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_Z.trs 0.001 0.0 0.057 0.098 20.258 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc06_C.trs 0.11 0.035 2.039 26.119 60.0 0.092 0.018 0.068
TRS/TRCSR/Ex9_Luc06_FR.trs 0.005 0.0 0.054 0.058 60.0 0.042 0.0 0.048
TRS/TRCSR/Ex9_Luc06_GM.trs 0.01 0.002 0.074 0.335 60.0 0.075 0.0 0.082
TRS/TRCSR/Ex9_Luc06_iGM.trs 0.157 0.055 0.65 1.795 60.0 0.492 60.0 0.522
TRS/TRCSR/Ex9_Luc06_L.trs 0.003 0.0 0.0 0.006 0.001 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc06_Z.trs 0.003 0.0 0.056 0.06 60.0 0.04 0.0 0.049
TRS/TRCSR/ExAppendixB_AEL03_C.trs 3.925 3.936 60.0 60.0 60.0 6.622 4.017 4.386
problem t e s nv g c r *
TRS/TRCSR/ExAppendixB_AEL03_FR.trs 0.2 0.073 2.162 10.347 60.0 0.081 0.082 0.083
TRS/TRCSR/ExAppendixB_AEL03_GM.trs 0.183 0.126 45.878 60.0 60.0 0.354 0.35 0.537
TRS/TRCSR/ExAppendixB_AEL03_iGM.trs 4.691 4.687 60.0 60.0 60.0 3.698 3.696 7.442
TRS/TRCSR/ExAppendixB_AEL03_Z.trs 0.154 0.035 1.437 4.69 60.0 0.039 0.039 0.041
TRS/TRCSR/ExConc_Zan97_C.trs 0.188 0.096 0.681 0.408 60.0 0.113 0.004 0.008
TRS/TRCSR/ExConc_Zan97_FR.trs 0.007 0.0 0.027 0.008 1.987 0.0 0.0 0.0
TRS/TRCSR/ExConc_Zan97_GM.trs 0.005 0.0 0.01 0.005 5.127 0.0 0.0 0.0
TRS/TRCSR/ExConc_Zan97_iGM.trs 0.133 0.045 0.245 0.165 60.0 0.044 0.0 0.005
TRS/TRCSR/ExConc_Zan97_L.trs 0.0 0.0 0.0 0.003 0.0 0.0 0.003 0.0
TRS/TRCSR/ExConc_Zan97_Z.trs 0.0 0.0 0.012 0.013 0.033 0.0 0.0 0.0
TRS/TRCSR/ExIntrod_GM01_C.trs 1.037 0.985 39.768 10.071 60.0 1.032 60.0 1.537
TRS/TRCSR/ExIntrod_GM01_FR.trs 0.049 0.023 0.379 0.253 60.0 0.01 0.011 0.028
TRS/TRCSR/ExIntrod_GM01_GM.trs 0.18 0.094 2.313 1.475 60.0 0.104 0.209 0.224
TRS/TRCSR/ExIntrod_GM01_iGM.trs 0.908 0.738 24.561 29.023 60.0 0.607 1.902 1.128
TRS/TRCSR/ExIntrod_GM01_Z.trs 0.04 0.031 0.352 0.19 60.0 0.015 0.017 0.022
TRS/TRCSR/ExIntrod_GM04_C.trs 0.678 0.594 16.329 4.097 60.0 1.555 60.0 1.971
TRS/TRCSR/ExIntrod_GM04_FR.trs 0.073 0.018 0.695 0.39 60.0 0.014 0.031 0.031
TRS/TRCSR/ExIntrod_GM04_GM.trs 0.126 0.047 1.236 0.733 60.0 0.04 0.105 0.113
TRS/TRCSR/ExIntrod_GM04_iGM.trs 0.891 0.677 12.525 14.566 60.0 1.288 0.655 0.526
TRS/TRCSR/ExIntrod_GM04_Z.trs 0.06 0.022 0.653 0.317 60.0 0.01 0.017 0.023
TRS/TRCSR/ExIntrod_GM99_C.trs 2.95 2.897 60.0 60.0 60.0 2.968 2.93 3.161
TRS/TRCSR/ExIntrod_GM99_FR.trs 0.178 0.012 5.104 31.718 60.0 0.014 0.014 0.022
TRS/TRCSR/ExIntrod_GM99_GM.trs 0.189 0.043 60.0 60.0 60.0 0.048 0.046 0.072
TRS/TRCSR/ExIntrod_GM99_iGM.trs 1.935 1.85 60.0 60.0 60.0 1.681 3.905 3.737
TRS/TRCSR/ExIntrod_GM99_Z.trs 0.111 0.005 3.032 12.447 60.0 0.004 0.004 0.008
problem t e s nv g c r *
TRS/TRCSR/ExIntrod_Zan97_C.trs 1.301 1.312 60.0 60.0 60.0 1.321 1.328 1.435
TRS/TRCSR/ExIntrod_Zan97_FR.trs 0.11 0.034 3.712 17.476 60.0 0.031 0.031 0.039
TRS/TRCSR/ExIntrod_Zan97_GM.trs 0.098 0.033 22.69 60.0 60.0 0.035 0.035 0.056
TRS/TRCSR/ExIntrod_Zan97_iGM.trs 0.789 0.566 60.0 60.0 60.0 0.435 0.437 0.486
TRS/TRCSR/ExIntrod_Zan97_Z.trs 0.066 0.021 1.056 4.977 60.0 0.011 0.011 0.013
TRS/TRCSR/ExProp7_Luc06_C.trs 0.432 0.354 5.175 2.077 60.0 0.371 0.096 0.11
TRS/TRCSR/ExProp7_Luc06_FR.trs 0.064 0.031 0.162 0.103 60.0 0.002 0.0 0.0
TRS/TRCSR/ExProp7_Luc06_GM.trs 0.103 0.028 0.163 0.177 60.0 0.022 0.024 0.025
TRS/TRCSR/ExProp7_Luc06_iGM.trs 0.311 0.178 2.202 1.733 60.0 0.136 0.212 0.194
TRS/TRCSR/ExProp7_Luc06_L.trs 0.034 0.016 0.028 0.02 3.16 0.0 0.002 0.0
TRS/TRCSR/ExProp7_Luc06_Z.trs 0.037 0.021 0.052 0.062 60.0 0.0 0.0 0.0
TRS/TRCSR/ExSec11_1_Luc02a_C.trs 3.634 2.765 60.0 60.0 60.0 2.824 2.938 2.968
TRS/TRCSR/ExSec11_1_Luc02a_FR.trs 0.19 0.099 2.517 6.164 60.0 0.109 0.108 0.119
TRS/TRCSR/ExSec11_1_Luc02a_GM.trs 0.121 0.048 15.127 52.83 60.0 0.052 0.051 0.083
TRS/TRCSR/ExSec11_1_Luc02a_iGM.trs 1.682 1.797 60.0 60.0 60.0 1.456 1.552 4.098
TRS/TRCSR/ExSec11_1_Luc02a_L.trs 0.096 0.021 0.377 0.965 60.0 0.02 0.019 0.025
TRS/TRCSR/ExSec11_1_Luc02a_Z.trs 0.142 0.052 1.491 4.123 60.0 0.055 0.054 0.055
TRS/TRCSR/ExSec4_2_DLMMU04_C.trs 5.646 5.791 60.0 60.0 60.0 9.483 5.798 6.104
TRS/TRCSR/ExSec4_2_DLMMU04_FR.trs 0.061 0.016 13.109 60.0 60.0 0.014 0.011 0.013
TRS/TRCSR/ExSec4_2_DLMMU04_GM.trs 0.171 0.116 60.0 60.0 60.0 0.124 0.123 0.219
TRS/TRCSR/ExSec4_2_DLMMU04_iGM.trs 2.112 2.066 60.0 60.0 60.0 1.379 1.37 2.816
TRS/TRCSR/ExSec4_2_DLMMU04_Z.trs 0.082 0.027 10.703 60.0 60.0 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_complete_C.trs 16.758 19.85 60.0 60.0 60.0 21.201 17.349 22.143
TRS/TRCSR/LengthOfFiniteLists_complete_FR.trs 0.255 0.177 60.0 60.0 60.0 0.236 0.233 0.334
TRS/TRCSR/LengthOfFiniteLists_complete_GM.trs 1.382 1.325 60.0 60.0 60.0 1.388 1.389 1.524
problem t e s nv g c r *
TRS/TRCSR/LengthOfFiniteLists_complete_iGM.trs 25.284 22.761 60.0 60.0 60.0 15.82 20.436 19.804
TRS/TRCSR/LengthOfFiniteLists_complete_noand_C.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete-noand_FR.trs 1.869 1.711 60.0 60.0 60.0 0.962 0.926 1.09
TRS/TRCSR/LengthOfFiniteLists_complete_noand_GM.trs 4.964 6.184 60.0 60.0 60.0 5.094 8.831 5.553
TRS/TRCSR/LengthOfFiniteLists_complete_noand_iGM.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete-noand_Z.trs 0.825 0.753 60.0 60.0 60.0 0.879 0.864 0.942
TRS/TRCSR/LengthOfFiniteLists_complete_Z.trs 0.869 0.666 60.0 60.0 60.0 0.706 0.748 0.802
TRS/TRCSR/LengthOfFiniteLists_nokinds_C.trs 1.465 1.399 60.0 60.0 60.0 2.444 3.53 1.471
TRS/TRCSR/LengthOfFiniteLists_nokinds_FR.trs 0.345 0.269 12.889 22.941 60.0 0.28 0.272 0.305
TRS/TRCSR/LengthOfFiniteLists_nokinds_GM.trs 0.27 0.176 13.905 26.28 60.0 0.184 0.183 0.199
TRS/TRCSR/LengthOfFiniteLists_nokinds_iGM.trs 1.959 1.514 60.0 60.0 60.0 1.451 1.46 1.544
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_C.trs 9.232 6.145 60.0 60.0 60.0 6.256 6.606 8.71
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_FR.trs 0.267 0.177 19.336 60.0 60.0 0.189 0.189 0.223
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_GM.trs 0.329 0.252 60.0 60.0 60.0 0.267 0.261 0.666
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_iGM.trs 9.744 6.937 60.0 60.0 60.0 5.648 6.531 6.816
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_Z.trs 0.205 0.118 17.607 60.0 60.0 0.136 0.134 0.152
TRS/TRCSR/LengthOfFiniteLists_nokinds_Z.trs 0.273 0.187 15.655 20.687 60.0 0.198 0.203 0.229
TRS/TRCSR/LengthOfFiniteLists_nosorts_C.trs 0.462 0.366 7.669 2.113 60.0 0.38 0.164 0.172
TRS/TRCSR/LengthOfFiniteLists_nosorts_FR.trs 0.036 0.016 0.08 0.058 60.0 0.0 0.001 0.002
TRS/TRCSR/LengthOfFiniteLists_nosorts_GM.trs 0.188 0.12 0.965 0.615 60.0 0.108 0.054 0.061
TRS/TRCSR/LengthOfFiniteLists_nosorts_iGM.trs 1.185 0.428 5.518 4.161 60.0 0.318 0.372 0.339
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_C.trs 1.402 0.803 20.38 4.141 60.0 0.663 0.108 0.141
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR.trs 0.005 0.0 0.134 0.041 60.0 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_GM.trs 0.168 0.086 0.877 0.308 60.0 0.091 0.019 0.023
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_iGM.trs 0.771 0.535 14.558 11.213 60.0 0.528 0.708 0.452
problem t e s nv g c r *
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_Z.trs 0.009 0.0 0.086 0.03 60.0 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_Z.trs 0.003 0.0 0.062 0.016 60.0 0.0 0.009 0.0
TRS/TRCSR/LISTUTILITIES_complete_C.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete_FR.trs 0.963 1.137 60.0 60.0 60.0 1.747 1.78 2.314
TRS/TRCSR/LISTUTILITIES_complete_GM.trs 2.902 4.477 60.0 60.0 60.0 4.547 7.768 4.314
TRS/TRCSR/LISTUTILITIES_complete_iGM.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete_noand_C.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete-noand_FR.trs 2.988 3.531 60.0 60.0 60.0 5.172 5.163 4.458
TRS/TRCSR/LISTUTILITIES_complete_noand_GM.trs 43.122 58.104 60.0 60.0 60.0 47.675 48.699 45.76
TRS/TRCSR/LISTUTILITIES_complete_noand_iGM.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete-noand_Z.trs 2.737 2.955 60.0 60.0 60.0 4.644 4.713 7.181
TRS/TRCSR/LISTUTILITIES_complete_Z.trs 0.79 0.828 60.0 60.0 60.0 1.399 1.422 1.844
TRS/TRCSR/LISTUTILITIES_nokinds_C.trs 28.421 28.929 60.0 60.0 60.0 28.166 25.963 29.639
TRS/TRCSR/LISTUTILITIES_nokinds_FR.trs 0.375 0.367 60.0 60.0 60.0 0.498 0.49 0.788
TRS/TRCSR/LISTUTILITIES_nokinds_GM.trs 0.505 0.638 60.0 60.0 60.0 0.71 0.709 2.521
TRS/TRCSR/LISTUTILITIES_nokinds_iGM.trs 40.082 37.205 60.0 60.0 60.0 32.969 32.981 34.939
TRS/TRCSR/LISTUTILITIES_nokinds_noand_C.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds-noand_FR.trs 0.7 0.632 60.0 60.0 60.0 0.831 0.832 1.341
TRS/TRCSR/LISTUTILITIES_nokinds_noand_GM.trs 2.092 5.408 60.0 60.0 60.0 2.816 2.733 3.518
TRS/TRCSR/LISTUTILITIES_nokinds_noand_iGM.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds-noand_Z.trs 0.455 0.435 60.0 60.0 60.0 0.664 0.666 1.076
TRS/TRCSR/LISTUTILITIES_nokinds_Z.trs 0.276 0.22 60.0 60.0 60.0 0.357 0.362 0.537
TRS/TRCSR/LISTUTILITIES_nosorts_C.trs 4.359 8.38 60.0 60.0 60.0 4.558 4.519 5.053
TRS/TRCSR/LISTUTILITIES_nosorts_FR.trs 0.111 0.032 1.343 1.947 60.0 0.032 0.039 0.049
TRS/TRCSR/LISTUTILITIES_nosorts_GM.trs 0.196 0.159 36.981 51.213 60.0 0.166 0.167 0.28
problem t e s nv g c r *
TRS/TRCSR/LISTUTILITIES_nosorts_iGM.trs 9.683 5.818 60.0 60.0 60.0 5.209 5.063 7.522
TRS/TRCSR/LISTUTILITIES_nosorts_noand_C.trs 50.231 55.433 60.0 60.0 60.0 51.652 51.585 54.91
TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR.trs 0.166 0.088 32.759 60.0 60.0 0.11 0.119 0.154
TRS/TRCSR/LISTUTILITIES_nosorts_noand_GM.trs 0.604 0.777 60.0 60.0 60.0 0.74 0.728 1.198
TRS/TRCSR/LISTUTILITIES_nosorts_noand_iGM.trs 50.457 49.134 60.0 60.0 60.0 44.312 44.113 47.332
TRS/TRCSR/LISTUTILITIES_nosorts-noand_Z.trs 0.072 0.043 27.281 60.0 60.0 0.07 0.069 0.106
TRS/TRCSR/LISTUTILITIES_nosorts_Z.trs 0.053 0.017 0.897 1.326 60.0 0.004 0.007 0.007
TRS/TRCSR/MYNAT_complete_C.trs 13.71 17.038 60.0 60.0 60.0 14.102 17.905 15.135
TRS/TRCSR/MYNAT_complete_FR.trs 0.204 0.128 60.0 60.0 60.0 0.202 0.203 0.295
TRS/TRCSR/MYNAT_complete_GM.trs 0.248 0.219 60.0 60.0 60.0 0.268 0.269 0.452
TRS/TRCSR/MYNAT_complete_iGM.trs 16.076 13.576 60.0 60.0 60.0 15.216 11.386 15.944
TRS/TRCSR/MYNAT_complete_noand_C.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete-noand_FR.trs 0.357 0.294 60.0 60.0 60.0 0.402 0.401 0.563
TRS/TRCSR/MYNAT_complete_noand_GM.trs 1.444 1.711 60.0 60.0 60.0 1.689 1.72 2.407
TRS/TRCSR/MYNAT_complete_noand_iGM.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete-noand_Z.trs 0.321 0.269 60.0 60.0 60.0 0.384 0.384 0.515
TRS/TRCSR/MYNAT_complete_Z.trs 0.355 0.302 60.0 60.0 60.0 0.45 0.451 0.63
TRS/TRCSR/MYNAT_nokinds_C.trs 2.465 1.703 60.0 60.0 60.0 1.726 1.727 2.04
TRS/TRCSR/MYNAT_nokinds_FR.trs 0.102 0.033 12.062 60.0 60.0 0.047 0.049 0.071
TRS/TRCSR/MYNAT_nokinds_GM.trs 0.32 0.055 60.0 60.0 60.0 0.072 0.076 0.111
TRS/TRCSR/MYNAT_nokinds_iGM.trs 2.486 2.366 60.0 60.0 60.0 4.05 2.845 2.314
TRS/TRCSR/MYNAT_nokinds_noand_C.trs 7.929 8.173 60.0 60.0 60.0 12.037 8.112 8.672
TRS/TRCSR/MYNAT_nokinds-noand_FR.trs 0.31 0.17 22.102 60.0 60.0 0.079 0.079 0.11
TRS/TRCSR/MYNAT_nokinds_noand_GM.trs 0.32 0.242 60.0 60.0 60.0 0.266 0.259 0.336
TRS/TRCSR/MYNAT_nokinds_noand_iGM.trs 7.134 11.578 60.0 60.0 60.0 6.583 6.63 10.82
problem t e s nv g c r *
TRS/TRCSR/MYNAT_nokinds-noand_Z.trs 0.146 0.048 17.749 60.0 60.0 0.071 0.068 0.09
TRS/TRCSR/MYNAT_nokinds_Z.trs 0.107 0.031 10.857 60.0 60.0 0.037 0.038 0.061
TRS/TRCSR/MYNAT_nosorts_C.trs 0.536 0.445 19.739 60.0 60.0 0.465 0.454 0.496
TRS/TRCSR/MYNAT_nosorts_FR.trs 0.042 0.0 0.064 0.06 60.0 0.0 0.0 0.0
TRS/TRCSR/MYNAT_nosorts_GM.trs 0.06 0.01 0.797 2.227 60.0 0.007 0.007 0.016
TRS/TRCSR/MYNAT_nosorts_iGM.trs 0.407 0.328 17.013 18.33 60.0 0.29 0.285 0.299
TRS/TRCSR/MYNAT_nosorts_noand_C.trs 1.678 1.662 60.0 60.0 60.0 1.671 4.186 1.906
TRS/TRCSR/MYNAT_nosorts-noand_FR.trs 0.078 0.02 0.597 2.328 60.0 0.011 0.011 0.015
TRS/TRCSR/MYNAT_nosorts_noand_GM.trs 0.103 0.03 60.0 60.0 60.0 0.082 0.081 0.119
TRS/TRCSR/MYNAT_nosorts_noand_iGM.trs 3.646 1.69 60.0 60.0 60.0 1.616 1.623 3.855
TRS/TRCSR/MYNAT_nosorts-noand_Z.trs 0.083 0.02 0.592 2.308 60.0 0.012 0.012 0.013
TRS/TRCSR/MYNAT_nosorts_Z.trs 0.033 0.0 0.065 0.059 60.0 0.0 0.0 0.0
TRS/TRCSR/OvConsOS_complete_C.trs 39.08 40.964 60.0 60.0 60.0 40.6 40.309 40.544
TRS/TRCSR/OvConsOS_complete_FR.trs 0.325 0.246 60.0 60.0 60.0 0.417 0.422 0.66
TRS/TRCSR/OvConsOS_complete_GM.trs 1.58 1.604 60.0 60.0 60.0 1.715 1.679 2.853
TRS/TRCSR/OvConsOS_complete_iGM.trs 33.544 27.438 60.0 60.0 60.0 20.152 16.141 24.934
TRS/TRCSR/OvConsOS_complete_noand_C.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete-noand_FR.trs 2.595 2.653 60.0 60.0 60.0 2.808 5.636 4.155
TRS/TRCSR/OvConsOS_complete_noand_GM.trs 5.41 6.195 60.0 60.0 60.0 9.085 5.95 6.78
TRS/TRCSR/OvConsOS_complete_noand_iGM.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete-noand_Z.trs 1.861 1.826 60.0 60.0 60.0 2.459 4.612 2.403
TRS/TRCSR/OvConsOS_complete_Z.trs 1.118 1.049 60.0 60.0 60.0 1.187 1.204 1.424
TRS/TRCSR/OvConsOS_nokinds_C.trs 1.861 1.801 60.0 60.0 60.0 1.904 1.906 2.095
TRS/TRCSR/OvConsOS_nokinds_FR.trs 0.939 0.91 60.0 60.0 60.0 0.802 0.388 0.451
TRS/TRCSR/OvConsOS_nokinds_GM.trs 0.46 0.374 60.0 60.0 60.0 0.388 0.386 0.43
problem t e s nv g c r *
TRS/TRCSR/OvConsOS_nokinds_iGM.trs 4.991 4.638 60.0 60.0 60.0 4.003 5.656 4.786
TRS/TRCSR/OvConsOS_nokinds_noand_C.trs 18.229 19.223 60.0 60.0 60.0 22.581 22.446 23.443
TRS/TRCSR/OvConsOS_nokinds-noand_FR.trs 0.55 0.467 60.0 60.0 60.0 0.509 0.514 0.596
TRS/TRCSR/OvConsOS_nokinds_noand_GM.trs 1.495 1.452 60.0 60.0 60.0 1.479 1.465 1.589
TRS/TRCSR/OvConsOS_nokinds_noand_iGM.trs 18.253 16.969 60.0 60.0 60.0 10.347 10.351 15.703
TRS/TRCSR/OvConsOS_nokinds-noand_Z.trs 0.459 0.341 60.0 60.0 60.0 0.383 0.384 0.441
TRS/TRCSR/OvConsOS_nokinds_Z.trs 0.523 0.434 60.0 60.0 60.0 0.468 0.475 0.503
TRS/TRCSR/OvConsOS_nosorts_C.trs 0.828 0.738 27.224 5.555 60.0 1.958 60.0 2.438
TRS/TRCSR/OvConsOS_nosorts_FR.trs 0.083 0.019 0.178 0.118 60.0 0.008 0.01 0.012
TRS/TRCSR/OvConsOS_nosorts_GM.trs 0.166 0.065 0.995 0.589 60.0 0.073 0.105 0.109
TRS/TRCSR/OvConsOS_nosorts_iGM.trs 1.032 0.779 15.436 16.406 60.0 0.61 1.531 0.721
TRS/TRCSR/OvConsOS_nosorts_noand_C.trs 3.026 3.002 60.0 56.432 60.0 4.183 0.644 1.446
TRS/TRCSR/OvConsOS_nosorts-noand_FR.trs 0.127 0.028 1.103 0.622 60.0 0.032 0.06 0.071
TRS/TRCSR/OvConsOS_nosorts_noand_GM.trs 0.357 0.264 7.974 3.657 60.0 0.718 0.899 0.516
TRS/TRCSR/OvConsOS_nosorts_noand_iGM.trs 4.26 4.042 60.0 60.0 60.0 3.471 60.0 4.083
TRS/TRCSR/OvConsOS_nosorts-noand_Z.trs 0.105 0.025 1.083 1.277 60.0 0.1 0.111 0.115
TRS/TRCSR/OvConsOS_nosorts_Z.trs 0.092 0.044 0.345 0.194 60.0 0.025 0.012 0.015
TRS/TRCSR/PALINDROME_complete_C.trs 12.435 12.804 60.0 60.0 60.0 60.0 60.0 12.893
TRS/TRCSR/PALINDROME_complete_FR.trs 0.35 0.267 60.0 60.0 60.0 60.0 60.0 1.276
TRS/TRCSR/PALINDROME_complete_GM.trs 1.811 1.829 60.0 60.0 60.0 60.0 60.0 2.981
TRS/TRCSR/PALINDROME_complete_iGM.trs 49.378 43.423 60.0 60.0 60.0 60.0 60.0 39.426
TRS/TRCSR/PALINDROME_complete_noand_C.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_complete-noand_FR.trs 1.923 1.84 60.0 60.0 60.0 60.0 60.0 1.82
TRS/TRCSR/PALINDROME_complete_noand_GM.trs 8.882 9.222 60.0 60.0 60.0 60.0 60.0 12.304
TRS/TRCSR/PALINDROME_complete_noand_iGM.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem t e s nv g c r *
TRS/TRCSR/PALINDROME_complete-noand_L.trs 0.226 0.127 60.0 31.46 60.0 0.183 0.351 0.406
TRS/TRCSR/PALINDROME_complete-noand_Z.trs 0.686 0.596 60.0 60.0 60.0 60.0 60.0 1.624
TRS/TRCSR/PALINDROME_complete_Z.trs 0.486 0.403 60.0 60.0 60.0 60.0 60.0 1.405
TRS/TRCSR/PALINDROME_nokinds_C.trs 1.276 0.887 60.0 60.0 60.0 1.633 0.38 0.904
TRS/TRCSR/PALINDROME_nokinds_FR.trs 0.214 0.128 24.879 50.411 60.0 11.814 0.383 0.886
TRS/TRCSR/PALINDROME_nokinds_GM.trs 0.204 0.109 19.757 24.195 60.0 17.622 0.227 0.725
TRS/TRCSR/PALINDROME_nokinds_iGM.trs 2.736 1.666 60.0 60.0 60.0 60.0 60.0 2.563
TRS/TRCSR/PALINDROME_nokinds_noand_C.trs 13.802 8.942 60.0 60.0 60.0 11.641 1.817 9.92
TRS/TRCSR/PALINDROME_nokinds-noand_FR.trs 0.294 0.143 48.575 60.0 60.0 1.15 0.28 0.789
TRS/TRCSR/PALINDROME_nokinds_noand_GM.trs 0.964 0.907 60.0 60.0 60.0 16.701 3.176 3.314
TRS/TRCSR/PALINDROME_nokinds_noand_iGM.trs 13.763 9.579 60.0 60.0 60.0 60.0 60.0 15.104
TRS/TRCSR/PALINDROME_nokinds-noand_L.trs 0.105 0.016 3.556 1.567 60.0 0.02 0.042 0.044
TRS/TRCSR/PALINDROME_nokinds-noand_Z.trs 0.233 0.139 45.977 60.0 60.0 2.297 0.592 1.113
TRS/TRCSR/PALINDROME_nokinds_Z.trs 0.211 0.155 23.205 44.879 60.0 10.313 0.328 0.825
TRS/TRCSR/PALINDROME_nosorts_C.trs 0.39 0.237 4.248 1.58 60.0 0.327 0.112 0.198
TRS/TRCSR/PALINDROME_nosorts_FR.trs 0.033 0.0 0.02 0.023 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts_GM.trs 0.133 0.034 0.349 0.706 60.0 16.025 0.067 0.572
TRS/TRCSR/PALINDROME_nosorts_iGM.trs 0.385 0.21 2.693 3.695 60.0 60.0 6.154 1.299
TRS/TRCSR/PALINDROME_nosorts_noand_C.trs 1.082 0.854 13.852 60.0 60.0 0.509 0.122 0.226
TRS/TRCSR/PALINDROME_nosorts-noand_FR.trs 0.071 0.0 0.034 0.049 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts_noand_GM.trs 0.148 0.049 0.796 2.254 60.0 15.411 0.095 0.603
TRS/TRCSR/PALINDROME_nosorts_noand_iGM.trs 0.547 0.337 4.629 7.251 60.0 60.0 9.858 1.162
TRS/TRCSR/PALINDROME_nosorts-noand_L.trs 0.07 0.0 0.023 0.034 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts-noand_Z.trs 0.025 0.002 0.065 0.053 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts_Z.trs 0.011 0.0 0.029 0.035 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/TRCSR/PEANO_complete_C.trs 2.453 2.426 60.0 60.0 60.0 2.507 2.519 2.814
TRS/TRCSR/PEANO_complete_FR.trs 0.147 0.062 57.966 60.0 60.0 0.102 0.099 0.131
TRS/TRCSR/PEANO_complete_GM.trs 0.546 0.461 60.0 60.0 60.0 0.498 0.481 0.553
TRS/TRCSR/PEANO_complete_iGM.trs 6.165 9.587 60.0 60.0 60.0 4.746 4.72 5.016
TRS/TRCSR/PEANO_complete_noand_C.trs 24.644 24.94 60.0 60.0 60.0 24.706 24.977 25.981
TRS/TRCSR/PEANO_complete-noand_FR.trs 0.751 0.646 48.814 60.0 60.0 0.689 0.694 0.741
TRS/TRCSR/PEANO_complete_noand_GM.trs 1.682 4.164 60.0 60.0 60.0 1.702 1.825 1.903
TRS/TRCSR/PEANO_complete_noand_iGM.trs 22.685 16.757 60.0 60.0 60.0 10.083 10.277 20.896
TRS/TRCSR/PEANO_complete-noand_Z.trs 0.486 0.389 49.002 60.0 60.0 0.433 0.435 0.483
TRS/TRCSR/PEANO_complete_Z.trs 0.27 0.172 33.027 60.0 60.0 0.2 0.202 0.24
TRS/TRCSR/PEANO_nokinds_C.trs 0.65 0.565 60.0 60.0 60.0 0.594 0.606 0.662
TRS/TRCSR/PEANO_nokinds_FR.trs 0.12 0.036 2.53 13.327 60.0 0.035 0.035 0.051
TRS/TRCSR/PEANO_nokinds_GM.trs 0.199 0.104 13.626 60.0 60.0 0.297 0.312 0.324
TRS/TRCSR/PEANO_nokinds_iGM.trs 1.367 1.091 60.0 60.0 60.0 1.058 1.066 1.109
TRS/TRCSR/PEANO_nokinds_noand_C.trs 1.404 1.333 60.0 60.0 60.0 1.39 1.388 1.533
TRS/TRCSR/PEANO_nokinds-noand_FR.trs 0.201 0.104 7.765 56.23 60.0 0.106 0.107 0.12
TRS/TRCSR/PEANO_nokinds_noand_GM.trs 0.369 0.212 60.0 60.0 60.0 0.218 0.227 0.255
TRS/TRCSR/PEANO_nokinds_noand_iGM.trs 3.277 5.488 60.0 60.0 60.0 3.324 2.315 2.47
TRS/TRCSR/PEANO_nokinds-noand_Z.trs 0.137 0.047 2.739 53.198 60.0 0.075 0.055 0.067
TRS/TRCSR/PEANO_nokinds_Z.trs 0.133 0.031 2.292 16.028 60.0 0.034 0.036 0.044
TRS/TRCSR/PEANO_nosorts_C.trs 0.304 0.203 3.294 1.39 60.0 0.212 0.079 0.094
TRS/TRCSR/PEANO_nosorts_FR.trs 0.003 0.0 0.018 0.016 28.919 0.0 0.0 0.0
TRS/TRCSR/PEANO_nosorts_GM.trs 0.127 0.045 0.239 0.236 60.0 0.021 0.032 0.118
TRS/TRCSR/PEANO_nosorts_iGM.trs 0.442 0.289 4.209 1.557 60.0 0.093 0.742 0.571
TRS/TRCSR/PEANO_nosorts_noand_C.trs 0.551 0.467 9.744 3.517 60.0 0.48 0.166 0.191
problem t e s nv g c r *
TRS/TRCSR/PEANO_nosorts-noand_FR.trs 0.044 0.0 0.031 0.026 60.0 0.004 0.0 0.0
TRS/TRCSR/PEANO_nosorts_noand_GM.trs 0.126 0.036 0.407 0.29 60.0 0.039 0.057 0.085
TRS/TRCSR/PEANO_nosorts_noand_iGM.trs 1.781 1.465 9.354 6.167 60.0 0.491 14.85 0.744
TRS/TRCSR/PEANO_nosorts-noand_Z.trs 0.076 0.0 0.031 0.026 60.0 0.0 0.0 0.0
TRS/TRCSR/PEANO_nosorts_Z.trs 0.026 0.001 0.007 0.016 28.795 0.0 0.0 0.0
TRS/various/02.trs 0.07 0.0 0.011 0.006 7.651 0.0 0.0 0.0
TRS/various/03.trs 0.006 0.0 0.071 1.938 60.0 0.0 0.0 0.0
TRS/various/04.trs 0.074 0.016 60.0 60.0 60.0 0.018 0.017 0.025
TRS/various/05.trs 0.053 0.016 60.0 60.0 60.0 0.005 0.005 0.007
TRS/various/06.trs 0.006 0.0 0.067 0.039 0.001 0.0 0.0 0.0
TRS/various/07.trs 0.002 0.0 0.0 0.013 0.001 0.003 0.0 0.0
TRS/various/08.trs 0.107 0.034 60.0 60.0 60.0 0.039 0.036 0.045
TRS/various/09.trs 0.006 0.0 0.51 0.57 60.0 0.0 0.0 0.0
TRS/various/10.trs 0.178 0.098 19.016 60.0 60.0 0.108 0.108 0.107
TRS/various/11.trs 0.01 0.0 0.034 0.033 60.0 0.0 0.0 0.0
TRS/various/12.trs 0.066 0.014 0.278 1.121 60.0 0.005 0.006 0.008
TRS/various/13.trs 0.183 0.098 2.577 13.765 60.0 0.106 0.102 0.105
TRS/various/14.trs 1.23 0.565 60.0 60.0 60.0 0.617 0.613 1.299
TRS/various/15.trs 0.004 0.0 0.0 0.002 1.712 0.0 0.0 0.0
TRS/various/18.trs 0.095 0.002 0.087 0.254 60.0 0.217 0.014 0.012
TRS/various/19.trs 0.137 0.042 0.507 2.994 60.0 0.119 0.111 0.182
TRS/various/20.trs 0.045 0.039 0.023 0.019 8.287 0.0 0.0 0.0
TRS/various/21.trs 0.394 0.081 7.345 60.0 60.0 0.215 1.446 0.659
TRS/various/22.trs 0.087 0.013 0.086 0.068 60.0 0.009 0.002 0.002
TRS/various/23.trs 0.066 0.023 0.049 0.077 60.0 0.079 0.012 0.025
problem t e s nv g c r *
TRS/various/24.trs 0.165 0.042 0.078 0.148 60.0 0.045 0.011 0.005
TRS/various/25.trs 0.072 0.0 0.065 0.028 0.67 0.0 0.0 0.001
TRS/various/26.trs 0.041 0.034 0.066 0.033 60.0 0.0 0.0 0.007
TRS/various/27.trs 0.006 0.0 0.0 0.002 60.0 0.0 0.004 0.0
TRS/Waldmann/jwaprove1.trs 0.078 0.0 0.026 0.004 60.0 60.0 60.0 0.0
TRS/Waldmann/jwaprove2.trs 0.025 0.0 0.021 0.012 60.0 60.0 60.0 0.002
TRS/Waldmann/jwcime1.trs 0.04 0.0 0.039 0.01 60.0 0.047 60.0 0.0
TRS/Waldmann/jwcime2.trs 0.041 0.0 0.032 0.006 60.0 0.017 0.012 0.028
TRS/Waldmann/jwmatchb1.trs 0.038 0.0 0.023 0.0 60.0 0.002 0.0 0.013
TRS/Waldmann/jwmatchb2.trs 0.003 0.0 0.022 0.0 60.0 0.001 0.005 0.016
TRS/Waldmann/jwno1.trs 0.048 0.0 0.028 0.0 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno2.trs 0.01 0.0 0.008 0.005 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno3.trs 0.033 0.012 0.008 0.002 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno4.trs 0.007 0.0 0.0 0.0 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno5.trs 0.033 0.0 0.005 0.006 60.0 0.003 0.0 0.0
TRS/Waldmann/jwno6.trs 0.032 0.003 0.004 0.005 60.0 0.003 0.0 0.0
TRS/Waldmann/jwno7.trs 0.008 0.0 0.018 0.001 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno8.trs 0.033 0.0 0.013 0.0 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno9.trs 0.01 0.0 0.013 0.0 60.0 0.0 0.007 0.001
TRS/Waldmann/jwteparla1.trs 0.046 0.012 0.013 0.008 60.0 0.0 0.0 0.0
TRS/Waldmann/jwteparla2.trs 0.051 0.003 0.025 0.002 60.0 0.0 0.0 0.0
TRS/Waldmann/jwtpa1.trs 0.04 0.0 0.017 0.011 60.0 0.0 0.0 0.001
TRS/Waldmann/jwtpa2.trs 0.06 0.02 0.022 0.012 60.0 60.0 60.0 0.007
TRS/Waldmann/jwttt.trs 0.069 0.019 0.008 0.013 60.0 60.0 60.0 0.007
TRS/Zantema06/beans.trs 0.08 0.027 0.064 0.105 60.0 0.032 0.372 0.089
problem t e s nv g c r *
TRS/Zantema06/gcdMinMax.trs 0.114 0.025 0.226 6.518 60.0 0.027 0.027 0.03
TRS/Zantema06/gcd.trs 0.11 0.03 0.202 10.205 60.0 0.025 0.023 0.033
TRS/Zantema06/hydra.trs 0.092 0.021 2.232 5.881 60.0 0.017 0.018 0.024
TRS/Zantema06/test1.trs 0.006 0.0 0.008 0.018 60.0 0.0 0.0 0.0
TRS/Zantema06/while2.trs 0.05 0.0 0.459 0.043 60.0 0.0 0.0 0.0
TRS/Zantema06/while.trs 0.011 0.001 0.065 0.075 60.0 0.0 0.0 0.0
TRS/Zantema/jw01.trs 0.079 0.0 0.008 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw02.trs 0.043 0.0 0.017 0.002 60.0 0.0 0.0 0.0
TRS/Zantema/jw03.trs 0.009 0.0 0.017 0.001 60.0 0.0 0.0 0.0
TRS/Zantema/jw04.trs 0.034 0.0 0.005 0.005 60.0 0.0 0.0 0.0
TRS/Zantema/jw05.trs 0.068 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw06.trs 0.046 0.0 0.017 0.002 60.0 0.0 0.0 0.0
TRS/Zantema/jw07.trs 0.052 0.0 0.015 0.006 60.0 0.0 0.0 0.0
TRS/Zantema/jw08.trs 0.069 0.0 0.016 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw09.trs 0.052 0.0 0.021 0.01 60.0 0.0 0.0 0.0
TRS/Zantema/jw11.trs 0.05 0.0 0.02 0.004 60.0 0.0 0.0 0.0
TRS/Zantema/jw12.trs 0.05 0.0 0.019 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw13.trs 0.065 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw14.trs 0.064 0.0 0.007 0.003 60.0 0.0 0.0 0.0
TRS/Zantema/jw15.trs 0.049 0.0 0.023 0.004 60.0 0.0 0.0 0.0
TRS/Zantema/jw16.trs 0.051 0.0 0.005 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw17.trs 0.066 0.0 0.011 0.001 60.0 0.0 0.0 0.0
TRS/Zantema/jw18.trs 0.124 0.0 0.0 0.002 60.0 0.0 0.0 0.0
TRS/Zantema/jw19.trs 0.051 0.0 0.01 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw20.trs 0.044 0.0 0.023 0.005 60.0 0.001 0.0 0.0
problem t e s nv g c r *
TRS/Zantema/jw21.trs 0.053 0.0 0.01 0.008 60.0 0.0 0.0 0.0
TRS/Zantema/jw22.trs 0.069 0.0 0.016 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw23.trs 0.049 0.0 0.024 0.005 60.0 0.0 0.0 0.0
TRS/Zantema/jw24.trs 0.05 0.0 0.02 0.005 60.0 0.0 0.0 0.0
TRS/Zantema/jw25.trs 0.013 0.0 0.006 0.007 60.0 0.004 0.0 0.0
TRS/Zantema/jw26.trs 0.011 0.0 0.006 0.007 60.0 0.0 0.0 0.0
TRS/Zantema/jw27.trs 0.071 0.0 0.014 0.004 60.0 0.0 0.0 0.0
TRS/Zantema/jw28.trs 0.05 0.0 0.018 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw29.trs 0.034 0.0 0.019 0.004 60.0 0.004 0.0 0.0
TRS/Zantema/jw30.trs 0.01 0.0 0.008 0.008 60.0 0.007 0.0 0.0
TRS/Zantema/jw31.trs 0.042 0.0 0.018 0.003 60.0 0.0 0.0 0.0
TRS/Zantema/jw32.trs 0.071 0.0 0.002 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw33.trs 0.05 0.0 0.02 0.002 60.0 0.0 0.0 0.0
TRS/Zantema/jw34.trs 0.044 0.0 0.019 0.003 60.0 0.0 0.0 0.0
TRS/Zantema/jw35.trs 0.062 0.0 0.007 0.003 60.0 0.004 0.0 0.0
TRS/Zantema/jw36.trs 0.068 0.0 0.01 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw37.trs 0.053 0.0 0.021 0.009 60.0 0.0 0.0 0.0
TRS/Zantema/jw38.trs 0.066 0.0 0.017 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw39.trs 0.059 0.0 0.017 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw40.trs 0.057 0.0 0.009 0.002 60.0 0.0 0.0 0.0
TRS/Zantema/jw41.trs 0.083 0.0 0.015 0.003 60.0 0.0 0.0 0.0
TRS/Zantema/jw42.trs 0.064 0.0 0.021 0.009 60.0 0.0 0.0 0.0
TRS/Zantema/jw43.trs 0.044 0.0 0.018 0.003 60.0 0.0 0.0 0.0
TRS/Zantema/jw44.trs 0.032 0.0 0.006 0.008 60.0 0.005 60.0 0.0
TRS/Zantema/jw47.trs 0.046 0.0 0.022 0.006 60.0 0.0 60.0 0.0
problem t e s nv g c r *
TRS/Zantema/jw50.trs 0.049 0.0 0.018 0.003 60.0 0.0 0.0 0.0
TRS/Zantema/z01.trs 0.084 0.002 0.009 0.015 60.0 0.0 0.062 0.018
TRS/Zantema/z02.trs 0.032 0.0 0.009 0.01 60.0 0.0 0.0 0.0
TRS/Zantema/z03.trs 0.047 0.014 0.013 0.003 60.0 0.0 0.019 0.004
TRS/Zantema/z04.trs 0.033 0.0 0.021 0.006 60.0 0.0 0.0 0.0
TRS/Zantema/z05.trs 0.055 0.008 0.017 0.059 60.0 0.004 0.009 0.009
TRS/Zantema/z06.trs 0.038 0.014 0.011 0.007 60.0 0.0 0.0 0.0
TRS/Zantema/z07.trs 0.115 0.001 0.031 0.051 60.0 0.004 0.008 0.005
TRS/Zantema/z08.trs 0.05 0.0 0.009 0.005 60.0 0.0 0.0 0.0
TRS/Zantema/z09.trs 0.037 0.0 0.066 0.166 60.0 0.0 0.0 0.0
TRS/Zantema/z10.trs 0.052 0.0 0.061 0.14 60.0 0.0 0.0 0.0
TRS/Zantema/z11.trs 0.053 0.003 0.071 0.223 60.0 0.015 0.02 0.01
TRS/Zantema/z12.trs 0.051 0.0 0.013 0.017 60.0 0.0 0.004 0.0
TRS/Zantema/z13.trs 0.032 0.012 0.03 0.03 60.0 0.0 0.0 0.0
TRS/Zantema/z14.trs 0.038 0.0 0.022 0.013 60.0 0.0 0.0 0.0
TRS/Zantema/z15.trs 0.033 0.0 0.011 0.012 60.0 0.0 0.0 0.0
TRS/Zantema/z16.trs 0.033 0.0 0.022 0.012 60.0 0.0 0.0 0.0
TRS/Zantema/z17.trs 0.01 0.0 0.022 0.012 60.0 0.0 0.0 0.0
TRS/Zantema/z18.trs 0.051 0.001 0.022 0.017 60.0 0.0 0.0 0.0
TRS/Zantema/z19.trs 0.065 0.021 0.015 0.023 60.0 0.006 0.054 0.009
TRS/Zantema/z20.trs 0.07 0.012 0.025 0.035 60.0 0.022 60.0 0.017
TRS/Zantema/z21.trs 0.072 0.015 0.031 0.048 60.0 0.011 0.039 0.019
TRS/Zantema/z22.trs 0.116 0.048 0.039 0.058 60.0 0.032 0.15 0.086
TRS/Zantema/z23.trs 0.05 0.0 0.019 0.023 60.0 0.0 0.003 0.0
TRS/Zantema/z24.trs 0.051 0.012 0.052 0.122 60.0 0.0 0.014 0.013
problem t e s nv g c r *
TRS/Zantema/z25.trs 0.074 0.015 0.027 0.068 60.0 0.013 0.002 0.004
TRS/Zantema/z26.trs 0.07 0.018 0.034 0.06 60.0 0.015 60.0 0.019
TRS/Zantema/z27.trs 0.044 0.012 0.136 1.373 60.0 0.0 0.0 0.0
TRS/Zantema/z28.trs 0.033 0.0 0.03 0.011 60.0 0.0 0.0 0.0
TRS/Zantema/z29.trs 0.046 0.012 0.021 0.074 60.0 0.0 0.003 0.005
TRS/Zantema/z30.trs 0.188 0.018 0.049 0.082 60.0 0.025 1.218 0.223
Yes No Maybe Timeout