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 0.187 0.182 14.177 60.0 60.0 0.259 0.218 0.395
TRS/AG01/#3.12.trs 0.036 0.015 0.04 0.028 60.0 0.011 0.0 0.0
TRS/AG01/#3.13.trs 0.21 0.182 60.0 60.0 60.0 0.093 0.094 0.099
TRS/AG01/#3.14.trs 0.004 0.0 0.0 0.0 60.0 0.0 0.0 0.0
TRS/AG01/#3.15.trs 0.008 0.0 0.0 0.0 0.029 0.003 0.01 0.0
TRS/AG01/#3.16.trs 0.004 0.0 0.037 0.133 60.0 0.0 0.0 0.0
TRS/AG01/#3.17a.trs 0.127 0.097 0.158 0.304 60.0 0.1 0.0 0.004
TRS/AG01/#3.17.trs 0.071 0.03 0.075 0.098 60.0 0.02 0.0 0.0
TRS/AG01/#3.18.trs 0.052 0.024 0.046 0.078 60.0 0.004 0.003 0.004
TRS/AG01/#3.19.trs 0.067 0.015 0.293 0.744 60.0 0.009 0.019 0.011
TRS/AG01/#3.1.trs 0.0 0.0 0.033 0.023 60.0 0.0 0.0 0.0
TRS/AG01/#3.21.trs 0.01 0.0 0.107 0.12 60.0 0.0 0.0 0.0
TRS/AG01/#3.22.trs 0.008 0.016 0.187 0.788 60.0 0.002 0.001 0.004
TRS/AG01/#3.23.trs 0.01 0.0 0.015 0.018 60.0 0.0 0.0 0.0
TRS/AG01/#3.24.trs 0.004 0.0 0.004 0.008 2.582 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.0
TRS/AG01/#3.29.trs 0.0 0.0 0.008 0.004 0.012 0.0 0.0 0.0
TRS/AG01/#3.2.trs 0.004 0.0 0.025 0.017 60.0 0.0 0.0 0.0
TRS/AG01/#3.31.trs 0.04 0.0 0.007 0.007 60.0 0.0 0.0 0.0
TRS/AG01/#3.33.trs 0.023 0.0 0.008 0.002 0.011 0.0 0.0 0.0
TRS/AG01/#3.35.trs 0.001 0.0 0.003 0.003 0.004 0.0 0.0 0.0
TRS/AG01/#3.36.trs 0.051 0.018 0.089 0.195 60.0 0.004 0.004 0.005
TRS/AG01/#3.37.trs 0.024 0.0 0.027 0.012 60.0 0.0 0.0 0.0
TRS/AG01/#3.38.trs 0.045 0.013 0.049 0.029 60.0 0.0 0.0 0.0
TRS/AG01/#3.39.trs 0.106 0.027 0.095 0.099 60.0 0.031 0.03 0.037
problem t e s nv g c r *
TRS/AG01/#3.40.trs 0.149 0.06 0.991 2.04 60.0 0.055 0.055 0.071
TRS/AG01/#3.41.trs 0.003 0.0 0.0 0.014 0.005 0.001 0.0 0.0
TRS/AG01/#3.42.trs 0.025 0.019 0.026 0.014 3.161 0.004 0.0 0.0
TRS/AG01/#3.47.trs 0.0 0.0 0.04 0.026 60.0 0.0 0.0 0.0
TRS/AG01/#3.48.trs 0.047 0.006 0.132 0.615 60.0 0.001 0.004 0.001
TRS/AG01/#3.49.trs 0.059 0.02 0.008 0.007 0.051 0.004 0.006 0.007
TRS/AG01/#3.4.trs 0.068 0.027 0.095 0.145 60.0 0.011 0.01 0.012
TRS/AG01/#3.51.trs 0.066 0.0 0.017 0.002 10.601 0.0 0.0 0.0
TRS/AG01/#3.52.trs 0.008 0.0 0.01 0.006 0.231 0.0 0.0 0.0
TRS/AG01/#3.53a.trs 0.0 0.0 0.015 0.005 0.023 0.0 0.0 0.0
TRS/AG01/#3.53b.trs 0.007 0.0 0.022 0.0 0.239 0.0 0.0 0.0
TRS/AG01/#3.53.trs 0.166 0.077 0.55 0.858 60.0 0.082 0.08 0.087
TRS/AG01/#3.54.trs 0.007 0.001 0.043 0.049 60.0 0.0 0.0 0.003
TRS/AG01/#3.55.trs 0.22 0.162 3.794 33.818 60.0 0.167 0.165 0.173
TRS/AG01/#3.56.trs 0.048 0.0 0.023 0.009 60.0 0.0 0.0 0.0
TRS/AG01/#3.57.trs 0.16 0.069 27.475 20.81 60.0 0.069 0.076 0.078
TRS/AG01/#3.5a.trs 0.086 0.022 0.096 0.151 60.0 0.016 0.017 0.018
TRS/AG01/#3.5b.trs 0.102 0.028 0.296 2.549 60.0 0.025 0.026 0.028
TRS/AG01/#3.5.trs 0.073 0.023 0.078 0.119 60.0 0.017 0.015 0.017
TRS/AG01/#3.6a.trs 0.087 0.023 0.102 0.159 60.0 0.024 0.02 0.023
TRS/AG01/#3.6b.trs 0.132 0.048 0.382 3.19 60.0 0.055 0.052 0.056
TRS/AG01/#3.6.trs 0.091 0.023 0.126 0.206 60.0 0.021 0.024 0.025
TRS/AG01/#3.7.trs 0.008 0.0 0.017 0.006 0.228 0.0 0.0 0.0
TRS/AG01/#3.8a.trs 0.071 0.018 0.069 0.117 60.0 0.013 0.013 0.015
TRS/AG01/#3.8b.trs 0.123 0.039 0.424 4.578 60.0 0.044 0.045 0.046
problem t e s nv g c r *
TRS/AG01/#4.30c.trs 0.069 0.018 0.124 0.328 60.0 0.018 0.018 0.017
TRS/aprove08/id_inc.trs 0.025 0.022 0.084 0.264 60.0 0.034 0.032 0.042
TRS/aprove08/log.trs 0.083 0.041 0.152 0.349 60.0 0.039 0.044 0.042
TRS/aprove08/parting01_reverse.trs 0.091 0.041 51.569 60.0 60.0 0.04 0.039 0.047
TRS/aprove08/parting02_doublelist.trs 0.084 0.031 6.803 60.0 60.0 0.036 0.036 0.04
TRS/aprove08/parting03_minsort.trs 0.145 0.061 25.15 60.0 60.0 0.066 0.065 0.073
TRS/aprove08/parting04_maxsort_h.trs 0.223 0.134 60.0 60.0 60.0 0.147 0.145 0.144
TRS/aprove08/parting05_maxsort.trs 0.178 0.096 60.0 60.0 60.0 0.095 0.098 0.101
TRS/aprove08/round_nonterm.trs 0.004 0.013 0.029 0.027 14.198 0.0 0.0 0.0
TRS/aprove08/round.trs 0.044 0.014 0.04 0.022 27.736 0.0 0.0 0.002
TRS/aprove08/thiemann40_modified.trs 0.006 0.003 0.145 0.153 60.0 0.0 0.0 0.0
TRS/AProVE/AAECC-ring.trs 0.619 0.538 60.0 60.0 60.0 0.566 0.571 0.627
TRS/AProVE/AAECC.trs 0.271 0.186 9.516 60.0 60.0 0.2 0.2 0.22
TRS/AProVE/fac.trs 0.068 0.019 0.199 0.55 60.0 0.012 0.012 0.015
TRS/AProVE/forward_instantiation2.trs 0.0 0.0 0.016 0.019 0.202 0.0 0.0 0.0
TRS/AProVE/forward_instantiation.trs 0.0 0.0 0.017 0.011 0.2 0.0 0.0 0.0
TRS/AProVE/IJCAR_12.trs 0.11 0.028 0.179 0.304 60.0 0.029 0.033 0.035
TRS/AProVE/IJCAR_18.trs 0.221 0.132 2.379 36.339 60.0 0.135 0.135 0.137
TRS/AProVE/IJCAR_1.trs 0.043 0.0 0.014 0.009 0.254 0.0 0.012 0.0
TRS/AProVE/IJCAR_26a.trs 0.27 0.193 3.915 60.0 60.0 0.394 0.423 0.431
TRS/AProVE/IJCAR_26.trs 0.456 0.402 4.085 60.0 60.0 0.423 0.415 0.415
TRS/AProVE/improved_usable2.trs 0.051 0.0 0.035 0.016 2.879 0.0 0.0 0.0
TRS/AProVE/improved_usable.trs 0.038 0.0 0.036 0.022 60.0 0.0 0.0 0.0
TRS/AProVE/JFP_Ex31.trs 0.09 0.046 1.547 31.684 60.0 0.041 0.04 0.052
TRS/AProVE/JFP_Ex51.trs 0.167 0.112 8.622 60.0 60.0 0.114 0.116 0.122
problem t e s nv g c r *
TRS/AProVE/Liveness6.1.trs 0.088 0.024 0.094 0.082 60.0 0.019 0.0 0.0
TRS/AProVE/Liveness6.2.trs 0.059 0.011 0.047 0.043 60.0 0.008 0.0 0.001
TRS/AProVE/Liveness6.3.trs 0.195 0.112 0.597 0.534 60.0 0.109 0.046 0.036
TRS/AProVE/Liveness6.4.trs 0.137 0.057 0.221 0.186 60.0 0.06 60.0 0.518
TRS/AProVE/Liveness8.trs 0.178 0.091 0.583 0.35 60.0 0.096 0.056 0.058
TRS/AProVE/Liveness_WRS.trs 0.231 0.11 60.0 0.464 60.0 0.12 0.057 0.055
TRS/AProVE/LPAR_intlist.trs 0.063 0.016 0.045 0.026 60.0 0.011 0.003 0.0
TRS/AProVE/rta1.trs 0.076 0.02 0.309 5.439 60.0 0.012 0.012 0.015
TRS/AProVE/rta2.trs 0.0 0.0 0.0 0.012 0.003 0.0 0.0 0.0
TRS/AProVE/rta3.trs 0.008 0.0 0.12 0.289 60.0 0.0 0.0 0.0
TRS/Beerendonk/10.trs 0.105 0.016 0.317 0.6 60.0 0.02 0.02 0.026
TRS/Beerendonk/11.trs 0.066 0.02 0.153 1.565 60.0 0.012 0.012 0.013
TRS/Beerendonk/12.trs 0.038 0.015 0.109 0.984 60.0 0.0 0.0 0.001
TRS/Beerendonk/13.trs 0.045 0.015 0.096 0.506 60.0 0.0 0.001 0.002
TRS/Beerendonk/14.trs 0.027 0.015 0.108 0.362 60.0 0.012 0.009 0.011
TRS/Beerendonk/15.trs 0.09 0.02 0.455 2.095 60.0 0.026 0.025 0.028
TRS/Beerendonk/16.trs 0.078 0.037 3.184 60.0 60.0 0.03 0.028 0.032
TRS/Beerendonk/17.trs 0.124 0.045 0.734 23.215 60.0 0.045 0.044 0.05
TRS/Beerendonk/18.trs 0.08 0.022 1.02 60.0 60.0 0.019 0.019 0.022
TRS/Beerendonk/19.trs 0.044 0.02 12.673 60.0 60.0 0.02 0.027 0.022
TRS/Beerendonk/1.trs 0.027 0.003 0.064 0.163 60.0 0.0 0.0 0.001
TRS/Beerendonk/20.trs 0.088 0.028 0.637 60.0 60.0 0.025 0.025 0.027
TRS/Beerendonk/21.trs 0.088 0.029 4.221 60.0 60.0 0.028 0.029 0.027
TRS/Beerendonk/22.trs 0.044 0.017 0.116 0.482 60.0 0.001 0.001 0.003
TRS/Beerendonk/23.trs 0.009 0.017 0.443 8.282 60.0 0.004 0.002 0.004
problem t e s nv g c r *
TRS/Beerendonk/24.trs 0.083 0.019 1.002 52.359 60.0 0.026 0.024 0.029
TRS/Beerendonk/2.trs 0.004 0.0 0.069 0.179 60.0 0.0 0.003 0.0
TRS/Beerendonk/3.trs 0.005 0.016 0.061 0.321 60.0 0.0 0.0 0.001
TRS/Beerendonk/4.trs 0.0 0.0 0.045 0.077 60.0 0.0 0.0 0.0
TRS/Beerendonk/5.trs 0.071 0.011 0.312 1.602 60.0 0.004 0.004 0.004
TRS/Beerendonk/6.trs 0.0 0.0 0.053 0.034 60.0 0.0 0.0 0.0
TRS/Beerendonk/7.trs 0.013 0.0 0.046 0.042 60.0 0.0 0.0 0.0
TRS/Beerendonk/8.trs 0.022 0.019 0.849 34.904 60.0 0.008 0.005 0.004
TRS/Beerendonk/9.trs 0.048 0.021 9.532 60.0 60.0 0.004 0.007 0.006
TRS/Cime/ack_prolog.trs 0.052 0.016 0.097 0.274 60.0 0.0 0.0 0.001
TRS/Cime/append-hard.trs 0.009 0.0 0.043 0.042 60.0 0.004 0.002 0.0
TRS/Cime/append.trs 0.004 0.0 0.007 0.007 0.016 0.0 0.0 0.0
TRS/Cime/append-wrong.trs 0.001 0.005 0.057 0.042 60.0 0.0 0.0 0.0
TRS/Cime/big.trs 1.753 1.663 60.0 60.0 60.0 1.731 1.739 1.812
TRS/Cime/boolean_rings.trs 0.011 0.0 0.114 0.213 60.0 0.0 0.0 0.0
TRS/Cime/dpqs.trs 0.041 0.0 0.018 0.0 6.164 0.0 0.0 0.0
TRS/Cime/fact-hard.trs 0.117 0.036 0.605 1.6 60.0 0.042 0.038 0.044
TRS/Cime/filliatre2.trs 0.09 0.03 0.569 0.938 60.0 0.028 0.089 0.093
TRS/Cime/filliatre3.trs 0.148 0.059 3.414 24.715 60.0 0.068 0.069 0.079
TRS/Cime/filliatre.trs 0.102 0.03 0.351 0.463 60.0 0.03 0.041 0.042
TRS/Cime/intersect.trs 0.177 0.089 36.799 60.0 60.0 0.107 0.105 0.112
TRS/Cime/list-sum-prod-assoc-append.trs 0.21 0.125 1.701 6.466 60.0 0.127 0.135 0.139
TRS/Cime/list-sum-prod-assoc.trs 0.146 0.053 0.735 3.051 60.0 0.061 0.061 0.063
TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs 0.307 0.232 6.0 33.993 60.0 0.24 0.225 0.24
TRS/Cime/list-sum-prod-bin-assoc.trs 0.203 0.114 2.477 14.16 60.0 0.35 0.339 0.125
problem t e s nv g c r *
TRS/Cime/list-sum-prod-bin.trs 0.127 0.04 1.166 3.389 60.0 0.099 0.048 0.05
TRS/Cime/list-sum-prod.trs 0.083 0.024 0.249 0.732 60.0 0.02 0.017 0.022
TRS/Cime/log2.trs 0.278 0.222 12.519 60.0 60.0 0.228 0.227 0.234
TRS/Cime/lse.trs 0.414 0.286 60.0 60.0 60.0 0.286 0.282 0.291
TRS/Cime/maude2.trs 0.231 0.136 1.369 10.015 60.0 0.214 0.213 0.288
TRS/Cime/mucrl1.trs 16.431 9.31 60.0 60.0 60.0 60.0 60.0 10.333
TRS/Cime/quick.trs 0.108 0.03 60.0 60.0 60.0 0.034 0.034 0.041
TRS/Cime/ternary-hard.trs 0.363 0.276 10.413 60.0 60.0 0.274 0.287 0.313
TRS/Cime/ternary.trs 0.602 0.527 9.45 47.618 60.0 0.212 0.205 0.212
TRS/Cime/tree.trs 0.674 0.68 47.564 60.0 60.0 0.717 0.686 0.732
TRS/CSR/Ex1_Luc04b_GM.trs 0.125 0.038 1.616 0.864 60.0 0.043 0.105 0.112
TRS/currying/AG01/#3.10.trs 1.477 1.526 60.0 60.0 60.0 1.333 1.322 1.213
TRS/currying/AG01/#3.13.trs 0.649 0.801 60.0 60.0 60.0 24.716 20.9 0.858
TRS/currying/AG01/#3.16.trs 0.155 0.139 60.0 60.0 60.0 0.149 0.143 0.147
TRS/currying/AG01/#3.18.trs 0.217 0.195 60.0 60.0 60.0 0.221 0.23 0.212
TRS/currying/AG01/#3.22.trs 0.202 0.154 60.0 60.0 60.0 0.178 0.178 0.194
TRS/currying/AG01/#3.25.trs 0.133 0.054 60.0 60.0 60.0 0.063 0.062 0.054
TRS/currying/AG01/#3.27.trs 0.126 0.051 60.0 60.0 60.0 0.048 0.048 0.047
TRS/currying/AG01/#3.2.trs 0.156 0.105 60.0 60.0 60.0 0.122 0.121 0.121
TRS/currying/AG01/#3.32.trs 0.104 0.023 60.0 60.0 60.0 0.026 0.029 0.026
TRS/currying/AG01/#3.36.trs 0.171 0.11 60.0 60.0 60.0 0.136 0.135 0.134
TRS/currying/AG01/#3.38.trs 0.179 0.132 60.0 60.0 60.0 0.149 0.147 0.139
TRS/currying/AG01/#3.40.trs 0.255 0.31 60.0 60.0 60.0 1.946 1.938 0.369
TRS/currying/AG01/#3.45.trs 0.242 0.337 60.0 60.0 60.0 0.349 0.346 0.355
TRS/currying/AG01/#3.48.trs 0.421 0.186 60.0 60.0 60.0 0.676 0.687 0.189
problem t e s nv g c r *
TRS/currying/AG01/#3.52.trs 0.157 0.075 60.0 60.0 60.0 0.086 0.08 0.093
TRS/currying/AG01/#3.55.trs 0.642 1.027 60.0 60.0 60.0 0.995 1.009 1.106
TRS/currying/AG01/#3.57.trs 0.328 0.568 60.0 60.0 60.0 0.601 0.603 0.594
TRS/currying/AG01/#3.6.trs 0.26 0.297 60.0 60.0 60.0 0.319 0.307 0.315
TRS/currying/AG01/#3.8.trs 0.205 0.195 60.0 60.0 60.0 60.0 60.0 0.229
TRS/currying/D33/01.trs 0.106 0.039 60.0 60.0 60.0 60.0 60.0 1.041
TRS/currying/D33/02.trs 0.119 0.03 60.0 60.0 60.0 60.0 60.0 1.031
TRS/currying/D33/06.trs 0.137 0.054 60.0 60.0 60.0 0.058 0.061 0.059
TRS/currying/D33/08.trs 0.204 0.171 60.0 60.0 60.0 0.22 0.204 0.19
TRS/currying/D33/11.trs 1.157 0.993 60.0 60.0 60.0 0.994 0.985 1.045
TRS/currying/D33/12.trs 0.436 0.457 60.0 60.0 60.0 0.521 0.523 0.527
TRS/currying/D33/13.trs 0.203 0.133 60.0 60.0 60.0 0.151 0.135 0.149
TRS/currying/D33/17.trs 0.156 0.108 60.0 60.0 60.0 60.0 60.0 1.114
TRS/currying/D33/18.trs 0.136 0.056 60.0 60.0 60.0 0.067 0.062 0.064
TRS/currying/D33/21.trs 0.177 0.154 60.0 60.0 60.0 0.179 0.181 0.173
TRS/currying/D33/29.trs 0.148 0.065 60.0 60.0 60.0 0.078 0.074 0.08
TRS/currying/D33/30.trs 0.194 0.112 60.0 60.0 60.0 0.119 0.121 0.117
TRS/currying/D33/31.trs 0.2 0.105 60.0 60.0 60.0 0.113 0.117 0.116
TRS/currying/D33/33.trs 0.26 0.258 60.0 60.0 60.0 0.284 0.303 0.289
TRS/currying/Ste92/hydra.trs 0.17 0.092 60.0 60.0 60.0 0.117 0.109 0.107
TRS/currying/Ste92/minsort.trs 0.366 0.567 60.0 60.0 60.0 60.0 60.0 0.628
TRS/currying/Ste92/motivation.trs 0.14 0.062 60.0 60.0 60.0 0.038 0.037 0.038
TRS/currying/Ste92/perfect2.trs 0.486 0.563 60.0 60.0 60.0 0.551 0.547 0.586
TRS/currying/Ste92/perfect.trs 0.398 0.264 60.0 60.0 60.0 0.262 0.256 0.3
TRS/D33/01.trs 0.006 0.0 0.006 0.007 0.006 0.006 0.0 0.0
problem t e s nv g c r *
TRS/D33/02.trs 0.018 0.0 0.006 0.013 0.001 0.0 0.0 0.0
TRS/D33/03.trs 0.008 0.002 0.007 0.013 0.003 0.005 0.0 0.0
TRS/D33/04.trs 0.047 0.014 0.043 0.021 0.552 0.0 0.0 0.0
TRS/D33/06.trs 0.009 0.015 0.019 0.01 0.004 0.0 0.0 0.0
TRS/D33/07.trs 0.045 0.028 0.026 0.032 0.768 0.011 0.0 0.0
TRS/D33/08.trs 0.093 0.041 0.05 0.05 0.047 0.036 0.0 0.0
TRS/D33/09.trs 0.026 0.018 0.013 0.027 2.335 0.0 0.0 0.0
TRS/D33/11.trs 0.177 0.089 0.093 0.094 0.09 0.089 0.0 0.0
TRS/D33/12.trs 0.05 0.009 0.037 0.061 60.0 0.001 0.0 0.003
TRS/D33/13.trs 0.036 0.012 0.037 0.154 60.0 0.0 0.0 0.001
TRS/D33/17.trs 0.047 0.015 0.056 0.2 60.0 0.001 0.003 0.006
TRS/D33/18.trs 0.0 0.0 0.002 0.002 0.003 0.001 0.0 0.0
TRS/D33/20.trs 0.012 0.004 0.02 0.035 60.0 0.0 0.013 0.016
TRS/D33/21.trs 0.048 0.007 0.093 0.179 60.0 0.0 0.0 0.002
TRS/D33/27.trs 0.0 0.0 0.0 0.002 0.003 0.0 0.0 0.0
TRS/D33/28.trs 0.005 0.0 0.034 0.071 60.0 0.0 0.0 0.0
TRS/D33/30.trs 0.002 0.0 17.637 60.0 60.0 0.0 0.0 0.0
TRS/D33/31.trs 0.05 0.0 0.019 0.026 60.0 0.0 0.0 0.0
TRS/D33/32.trs 0.066 0.015 1.877 60.0 60.0 0.009 0.009 0.008
TRS/D33/33.trs 0.1 0.024 2.47 29.975 60.0 0.024 0.025 0.027
TRS/Endrullis/direct.trs 0.006 0.0 0.008 0.005 60.0 0.0 0.006 0.007
TRS/Endrullis/labeling.trs 0.0 0.006 0.19 1.051 60.0 0.0 0.0 0.0
TRS/Endrullis/linear1.trs 0.056 0.006 0.023 0.034 60.0 0.001 60.0 0.004
TRS/Endrullis/linear2.trs 0.112 0.048 0.076 0.085 60.0 0.047 0.157 0.096
TRS/Endrullis/pair2hard.trs 0.051 0.019 0.054 0.127 60.0 0.004 0.003 0.004
problem t e s nv g c r *
TRS/Endrullis/pair2simple1.trs 0.045 0.017 0.034 0.035 60.0 0.003 0.0 0.001
TRS/Endrullis/pair2simple2.trs 0.047 0.014 0.056 0.06 60.0 0.011 0.001 0.0
TRS/Endrullis/pair3hard.trs 0.041 0.008 0.101 0.297 60.0 0.005 0.013 0.0
TRS/Endrullis/pair3rotate.trs 0.062 0.014 0.004 0.005 60.0 0.0 0.008 0.013
TRS/Endrullis/pair3swap.trs 0.024 0.02 0.017 0.009 60.0 0.003 0.006 0.007
TRS/Endrullis/quadruple1.trs 0.064 0.0 0.01 0.0 60.0 0.0 0.0 0.0
TRS/Endrullis/quadruple2.trs 0.034 0.018 0.016 0.006 60.0 0.001 0.0 0.0
TRS/higher-order/AotoYam/001.trs 0.005 0.0 0.043 0.038 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/002.trs 0.068 0.029 26.298 60.0 60.0 0.007 0.007 0.007
TRS/higher-order/AotoYam/003.trs 0.044 0.012 16.727 20.613 60.0 0.134 0.135 0.0
TRS/higher-order/AotoYam/004.trs 0.045 0.012 1.841 2.519 60.0 0.007 0.006 0.006
TRS/higher-order/AotoYam/005.trs 0.065 0.002 0.017 0.054 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/006.trs 0.058 0.014 1.621 9.399 60.0 0.013 0.011 0.012
TRS/higher-order/AotoYam/007.trs 0.043 0.013 0.588 0.904 60.0 0.012 0.012 0.009
TRS/higher-order/AotoYam/009.trs 0.073 0.008 0.965 37.848 60.0 0.013 0.013 0.013
TRS/higher-order/AotoYam/010.trs 0.108 0.071 31.704 44.731 60.0 0.072 0.071 0.071
TRS/higher-order/AotoYam/011.trs 0.072 0.015 2.187 7.111 60.0 0.022 0.02 0.019
TRS/higher-order/AotoYam/012.trs 0.07 0.006 0.876 60.0 60.0 0.038 0.037 0.035
TRS/higher-order/AotoYam/013.trs 0.11 0.085 13.501 21.394 60.0 0.04 0.041 0.041
TRS/higher-order/AotoYam/014.trs 0.087 0.043 11.163 21.22 60.0 0.05 0.051 0.052
TRS/higher-order/AotoYam/015.trs 0.066 0.0 2.375 2.647 60.0 0.005 0.004 0.001
TRS/higher-order/AotoYam/016.trs 0.089 0.068 47.677 60.0 60.0 0.077 0.077 0.079
TRS/higher-order/AotoYam/017.trs 0.002 0.0 0.0 0.0 60.0 0.0 0.0 0.004
TRS/higher-order/AotoYam/019.trs 0.001 0.0 0.068 0.07 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/020.trs 0.068 0.017 10.455 17.905 60.0 0.023 0.022 0.023
problem t e s nv g c r *
TRS/higher-order/AotoYam/021.trs 0.134 0.115 26.413 41.372 60.0 0.128 0.129 0.127
TRS/higher-order/AotoYam/022.trs 0.063 0.009 0.65 20.78 60.0 0.013 0.013 0.012
TRS/higher-order/AotoYam/023.trs 0.007 0.0 0.02 0.012 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/024.trs 0.01 0.005 0.085 0.355 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/025.trs 0.0 0.0 0.001 0.001 0.002 0.0 0.0 0.0
TRS/higher-order/AotoYam/026.trs 0.033 0.0 0.474 1.021 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/027.trs 0.078 0.025 1.449 3.135 60.0 0.105 0.106 0.107
TRS/higher-order/AotoYam/028.trs 0.104 0.022 9.642 7.644 60.0 0.0 0.0 0.003
TRS/higher-order/AotoYam/Ex1SimplyTyped.trs 0.048 0.014 0.432 0.902 60.0 0.006 0.007 0.008
TRS/higher-order/AotoYam/Ex5TermProof.trs 0.085 0.046 60.0 60.0 60.0 0.044 0.043 0.045
TRS/higher-order/AProVE_HO/mapDivMinusHard.trs 0.111 0.058 3.101 14.308 60.0 0.073 0.07 0.064
TRS/higher-order/AProVE_HO/mapDivMinus.trs 0.09 0.047 5.982 11.783 60.0 0.05 0.048 0.048
TRS/higher-order/AProVE_HO/nonTermF.trs 0.055 0.007 25.328 25.723 60.0 60.0 60.0 1.003
TRS/higher-order/AProVE_HO/ReverseLastInit.trs 0.179 0.016 0.193 0.808 60.0 0.026 60.0 0.502
TRS/higher-order/AProVE_HO/TakeDropWhile.trs 0.088 0.009 6.693 4.924 60.0 0.018 0.017 0.012
TRS/higher-order/AProVE_HO/termMonTypes.trs 0.004 0.001 0.229 0.211 60.0 0.0 0.0 0.0
TRS/higher-order/AProVE_HO/TypeEx1.trs 0.034 0.0 0.09 0.232 60.0 2.998 3.001 1.012
TRS/higher-order/AProVE_HO/TypeEx3.trs 0.072 0.006 25.39 19.964 60.0 60.0 60.0 1.005
TRS/higher-order/AProVE_HO/TypeEx5.trs 0.001 0.0 0.002 0.002 0.009 0.001 0.006 0.0
TRS/higher-order/Bird/BTreeMember.trs 0.285 0.057 33.197 60.0 60.0 60.0 60.0 0.119
TRS/higher-order/Bird/Ex2_6_1Composition.trs 0.0 0.0 0.0 0.0 60.0 0.0 0.0 0.0
TRS/higher-order/Bird/Ex2_8_1ConstSubstFix.trs 0.003 0.0 1.173 1.221 60.0 0.0 0.0 0.0
TRS/higher-order/Bird/Hamming.trs 0.492 0.825 60.0 60.0 60.0 60.0 60.0 1.828
TRS/higher-order/Bird/TreeFlatten.trs 0.11 0.059 2.925 5.121 60.0 0.156 0.161 0.062
TRS/higher-order/Bird/TreeHeight.trs 0.125 0.09 7.271 55.72 60.0 60.0 60.0 0.101
problem t e s nv g c r *
TRS/higher-order/Bird/TreeLevels.trs 0.173 0.188 30.248 60.0 60.0 55.537 48.523 0.185
TRS/higher-order/Bird/TreeMap.trs 0.068 0.0 0.763 12.894 60.0 0.03 0.025 0.013
TRS/higher-order/Bird/TreeSize.trs 0.095 0.061 6.362 60.0 60.0 0.164 0.167 0.062
TRS/higher-order/Kusakari/Ex6_11.trs 0.045 0.0 0.095 0.815 60.0 60.0 60.0 0.0
TRS/higher-order/Kusakari/Ex7_9.trs 0.17 0.199 60.0 60.0 60.0 0.218 0.218 0.208
TRS/higher-order/Lifantsev/Ex10Functional.trs 0.159 0.075 60.0 60.0 60.0 0.092 0.091 0.097
TRS/higher-order/Lifantsev/Ex2PrimRec.trs 0.01 0.0 38.003 38.033 60.0 0.016 0.017 0.024
TRS/higher-order/Lifantsev/Ex3Lists.trs 0.203 0.136 23.553 58.439 60.0 0.05 0.05 0.054
TRS/higher-order/Lifantsev/Ex4MapList.trs 0.042 0.0 0.209 1.431 60.0 0.0 0.0 0.0
TRS/higher-order/Lifantsev/Ex5Sorting.trs 0.18 0.14 60.0 60.0 60.0 0.216 0.223 0.182
TRS/higher-order/Lifantsev/Ex6Folding.trs 0.055 0.002 60.0 60.0 60.0 0.004 0.004 0.006
TRS/higher-order/Lifantsev/Ex7OrdinalRec.trs 0.092 0.016 60.0 60.0 60.0 0.016 0.015 0.022
TRS/higher-order/Lifantsev/Ex8Polymorphic.trs 0.07 0.002 2.099 5.116 60.0 0.006 0.005 0.009
TRS/higher-order/Lifantsev/Ex9Maps.trs 0.123 0.025 60.0 60.0 60.0 60.0 60.0 1.036
TRS/higher-order/ToyamaRTA04/Ex5Folding.trs 0.08 0.046 60.0 60.0 60.0 0.047 0.054 0.053
TRS/higher-order/ToyamaRTA04/Ex6Recursor.trs 0.047 0.0 2.504 2.491 60.0 0.0 0.0 0.0
TRS/higher-order/ToyamaRTA04/Ex7Sorting.trs 0.182 0.14 60.0 60.0 60.0 14.013 9.92 0.17
TRS/HM/n002.trs 0.002 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/HM/n003.trs 0.0 0.004 0.0 0.0 0.0 0.0 0.0 0.0
TRS/HM/n004.trs 0.003 0.0 0.0 0.004 0.0 0.0 0.0 0.0
TRS/HM/n005.trs 0.0 0.0 0.0 0.001 0.004 0.0 0.0 0.0
TRS/HM/n006.trs 0.001 0.001 0.0 0.0 0.0 0.005 0.001 0.0
TRS/HM/n007.trs 0.0 0.0 0.015 0.0 0.015 0.0 0.0 0.0
TRS/HM/n008.trs 0.0 0.0 0.0 0.0 0.011 0.0 0.004 0.0
TRS/HM/t000.trs 0.611 0.346 60.0 60.0 60.0 0.354 0.47 0.476
problem t e s nv g c r *
TRS/HM/t001.trs 0.165 0.081 4.497 48.583 60.0 0.075 0.074 0.08
TRS/HM/t002.trs 0.08 0.027 0.271 0.97 60.0 0.017 0.014 0.02
TRS/HM/t003.trs 0.144 0.068 3.395 44.255 60.0 0.066 0.065 0.068
TRS/HM/t004.trs 0.005 0.0 0.008 0.006 4.622 0.0 0.0 0.0
TRS/HM/t005.trs 2.211 1.836 60.0 60.0 60.0 4.907 1.961 1.932
TRS/HM/t006.trs 0.001 0.0 0.004 0.006 0.014 0.0 0.0 0.0
TRS/HM/t007.trs 0.002 0.0 0.013 0.0 0.007 0.0 0.0 0.0
TRS/HM/t008.trs 0.018 0.0 0.034 0.029 60.0 0.0 0.0 0.0
TRS/HM/t009.trs 1.499 1.192 1.37 1.377 60.0 1.196 60.0 1.716
TRS/HM/t010.trs 0.001 0.006 0.005 0.0 0.012 0.0 0.0 0.0
TRS/HM/t011.trs 0.004 0.0 0.0 0.003 0.003 0.001 0.0 0.0
TRS/HM/t012.trs 0.056 0.012 0.064 0.136 60.0 0.009 0.019 0.033
TRS/HM/t013.trs 0.052 0.018 0.084 0.261 60.0 0.004 0.005 0.01
TRS/HM/t014.trs 0.077 0.023 0.261 1.067 60.0 0.013 0.014 0.014
TRS/HofWald/1.trs 0.052 0.0 0.016 0.0 60.0 0.0 0.0 0.0
TRS/HofWald/2.trs 0.049 0.0 0.012 0.011 60.0 0.0 60.0 0.0
TRS/HofWald/3.trs 0.023 0.0 0.043 0.014 60.0 0.0 0.0 0.0
TRS/HofWald/4.trs 0.051 0.0 0.009 0.008 60.0 0.0 0.002 0.0
TRS/HofWald/5.trs 0.008 0.0 0.017 0.0 0.118 0.0 0.0 0.0
TRS/HofWald/6.trs 0.003 0.0 0.006 0.006 60.0 0.004 0.0 0.0
TRS/HofWald/7.trs 0.007 0.001 1.124 4.009 60.0 0.0 0.0 0.0
TRS/Koprowski/gcd_triple.trs 0.14 0.055 1.393 60.0 60.0 0.055 0.056 0.061
TRS/LJB01/jones1.trs 0.001 0.0 0.0 0.003 0.005 0.004 0.0 0.0
TRS/LJB01/jones2.trs 0.035 0.0 0.017 0.003 0.002 0.0 0.0 0.0
TRS/LJB01/jones4.trs 0.003 0.0 0.004 0.004 0.007 0.0 0.0 0.0
problem t e s nv g c r *
TRS/LJB01/jones5.trs 0.0 0.0 0.008 0.011 0.02 0.0 0.0 0.0
TRS/LJB01/jones6.trs 0.012 0.012 0.009 0.004 0.003 0.0 0.0 0.0
TRS/nontermin/AG01/#4.12a.trs 0.0 0.0 0.021 0.005 0.205 0.0 0.0 0.0
TRS/nontermin/AG01/#4.13.trs 0.0 0.0 0.0 0.003 0.205 0.0 0.0 0.0
TRS/nontermin/AG01/#4.14.trs 0.012 0.0 0.025 0.014 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.15.trs 0.024 0.015 0.039 0.093 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.16.trs 0.01 0.0 0.019 0.0 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.17.trs 0.018 0.0 0.022 0.008 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.18.trs 0.037 0.0 0.007 0.008 60.0 0.0 0.009 0.011
TRS/nontermin/AG01/#4.19.trs 0.048 0.005 0.318 1.928 60.0 0.179 0.173 0.042
TRS/nontermin/AG01/#4.20a.trs 0.02 0.0 0.023 0.002 0.917 0.0 0.004 0.0
TRS/nontermin/AG01/#4.20.trs 0.023 0.0 0.0 0.0 0.011 0.0 0.003 0.005
TRS/nontermin/AG01/#4.21.trs 0.006 0.004 0.005 0.002 0.004 0.0 0.0 0.0
TRS/nontermin/AG01/#4.22.trs 0.032 0.0 0.019 0.01 0.29 0.0 0.0 0.0
TRS/nontermin/AG01/#4.23.trs 0.062 0.021 0.037 0.055 60.0 0.0 0.0 0.003
TRS/nontermin/AG01/#4.25.trs 0.048 0.0 0.014 0.0 0.0 0.005 0.0 0.0
TRS/nontermin/AG01/#4.26.trs 0.032 0.005 0.068 0.139 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.27.trs 0.04 0.015 0.177 0.561 60.0 0.0 0.0 0.001
TRS/nontermin/AG01/#4.28.trs 0.013 0.0 0.022 0.011 1.756 0.0 0.0 0.0
TRS/nontermin/AG01/#4.29.trs 0.132 0.041 1.361 4.902 60.0 0.053 0.052 0.054
TRS/nontermin/AG01/#4.2.trs 0.008 0.001 0.021 0.021 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.30a.trs 0.064 0.017 0.029 0.034 60.0 0.006 0.006 0.006
TRS/nontermin/AG01/#4.30b.trs 0.072 0.024 0.073 0.182 60.0 0.014 0.011 0.012
TRS/nontermin/AG01/#4.30c.trs 0.07 0.017 0.125 0.379 60.0 0.012 0.011 0.014
TRS/nontermin/AG01/#4.30.trs 0.072 0.026 0.078 0.223 60.0 0.006 0.007 0.01
problem t e s nv g c r *
TRS/nontermin/AG01/#4.31.trs 0.007 0.0 0.026 0.018 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.32.trs 0.034 0.0 0.028 0.013 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.33.trs 0.035 0.025 1.341 1.351 60.0 0.01 0.01 0.012
TRS/nontermin/AG01/#4.34.trs 0.045 0.013 0.33 0.734 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.35.trs 0.28 0.206 60.0 60.0 60.0 60.0 60.0 1.212
TRS/nontermin/AG01/#4.36.trs 0.182 0.092 60.0 60.0 60.0 0.102 0.101 0.105
TRS/nontermin/AG01/#4.37a.trs 0.052 0.001 0.023 0.0 15.811 0.0 0.0 0.0
TRS/nontermin/AG01/#4.37.trs 0.009 0.0 0.008 0.004 0.007 0.0 0.0 0.0
TRS/nontermin/AG01/#4.3.trs 0.0 0.0 0.004 0.004 0.008 0.001 0.007 0.0
TRS/nontermin/AG01/#4.4.trs 0.0 0.0 0.0 0.007 54.515 0.0 0.0 0.0
TRS/nontermin/AG01/#4.7.trs 0.0 0.0 0.018 0.004 0.301 0.0 0.0 0.0
TRS/nontermin/cariboo/ex1.trs 0.0 0.0 0.0 0.004 0.026 0.0 0.0 0.0
TRS/nontermin/cariboo/ex2.trs 0.032 0.0 0.018 0.004 60.0 0.0 0.0 0.0
TRS/nontermin/cariboo/ex3.trs 0.011 0.0 0.024 0.01 6.642 0.0 0.0 0.0
TRS/nontermin/cariboo/ex4.trs 0.0 0.0 0.0 0.006 0.002 0.008 0.0 0.0
TRS/nontermin/cariboo/ex5.trs 0.006 0.0 0.0 0.003 0.01 0.0 0.0 0.0
TRS/nontermin/cariboo/ex6.trs 0.003 0.022 0.019 0.016 0.022 0.0 0.0 0.0
TRS/nontermin/cariboo/tricky1.trs 0.041 0.0 0.034 0.016 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_2_AEL03.trs 0.071 0.026 0.149 0.227 60.0 0.026 0.028 0.029
TRS/nontermin/CSR/Ex1_2_Luc02c.trs 0.003 0.0 0.0 0.012 0.0 0.001 0.0 0.0
TRS/nontermin/CSR/Ex14_AEGL02.trs 0.008 0.0 0.013 0.007 0.008 0.0 0.0 0.0
TRS/nontermin/CSR/Ex15_Luc98.trs 0.048 0.008 0.009 0.009 0.006 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_GL02a.trs 0.055 0.022 0.011 0.011 0.013 0.006 0.0 0.0
TRS/nontermin/CSR/Ex1_GM03.trs 0.044 0.012 0.14 0.444 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_GM99.trs 0.001 0.0 0.004 0.003 0.215 0.0 0.0 0.0
problem t e s nv g c r *
TRS/nontermin/CSR/Ex1_Luc02b.trs 0.018 0.004 0.01 0.006 0.002 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_Zan97.trs 0.002 0.0 0.007 0.003 0.003 0.0 0.0 0.0
TRS/nontermin/CSR/Ex24_GM04.trs 0.004 0.0 0.014 0.0 0.009 0.0 0.0 0.0
TRS/nontermin/CSR/Ex26_Luc03b.trs 0.103 0.027 0.122 0.226 60.0 0.03 0.032 0.026
TRS/nontermin/CSR/Ex2_Luc03b.trs 0.053 0.072 0.047 0.047 0.053 0.039 0.005 0.005
TRS/nontermin/CSR/Ex3_12_Luc96a.trs 0.031 0.035 0.018 0.01 0.017 0.006 0.0 0.0
TRS/nontermin/CSR/Ex3_2_Luc97.trs 0.162 0.078 0.1 0.102 0.106 0.083 0.01 0.011
TRS/nontermin/CSR/Ex3_3_25_Bor03.trs 0.135 0.06 0.289 0.694 60.0 0.065 0.066 0.068
TRS/nontermin/CSR/Ex4_4_Luc96b.trs 0.027 0.018 0.022 0.024 60.0 0.002 0.002 0.003
TRS/nontermin/CSR/Ex4_7_15_Bor03.trs 0.026 0.019 0.028 0.016 0.031 0.002 0.003 0.003
TRS/nontermin/CSR/Ex4_7_37_Bor03.trs 0.198 0.036 0.068 0.081 60.0 0.02 0.018 0.019
TRS/nontermin/CSR/Ex4_7_56_Bor03.trs 0.005 0.0 0.018 0.001 0.004 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_7_77_Bor03.trs 0.003 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex49_GM04.trs 0.056 0.019 0.235 1.057 60.0 0.002 0.002 0.004
TRS/nontermin/CSR/Ex4_Zan97.trs 0.048 0.012 0.013 0.008 1.091 0.0 0.0 0.0
TRS/nontermin/CSR/Ex5_7_Luc97.trs 0.177 0.085 0.098 0.097 0.109 0.084 0.0 0.0
TRS/nontermin/CSR/Ex5_Zan97.trs 0.001 0.0 0.015 0.013 60.0 0.0 0.005 0.0
TRS/nontermin/CSR/Ex6_15_AEL02.trs 0.218 0.126 0.192 0.188 60.0 0.129 0.002 0.003
TRS/nontermin/CSR/Ex6_9_Luc02c.trs 0.006 0.0 0.008 0.003 0.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex6_GM04.trs 0.0 0.0 0.007 0.0 0.019 0.0 0.0 0.0
TRS/nontermin/CSR/Ex6_Luc98.trs 0.033 0.0 0.006 0.006 0.001 0.0 0.0 0.0
TRS/nontermin/CSR/Ex7_BLR02.trs 0.043 0.016 0.015 0.005 0.005 0.0 0.0 0.0
TRS/nontermin/CSR/Ex8_BLR02.trs 0.055 0.017 0.052 0.073 60.0 0.002 0.002 0.003
TRS/nontermin/CSR/Ex9_BLR02.trs 0.069 0.017 0.215 0.618 60.0 60.0 60.0 1.013
TRS/nontermin/CSR/ExAppendixB_AEL03.trs 0.152 0.037 0.213 0.328 60.0 60.0 60.0 1.037
problem t e s nv g c r *
TRS/nontermin/CSR/ExConc_Zan97.trs 0.0 0.0 0.0 0.0 0.0 0.004 0.0 0.0
TRS/nontermin/CSR/ExIntrod_GM01.trs 0.019 0.014 0.041 0.021 60.0 0.0 60.0 0.5
TRS/nontermin/CSR/ExIntrod_GM04.trs 0.049 0.012 0.021 0.013 60.0 0.0 60.0 0.497
TRS/nontermin/CSR/ExIntrod_GM99.trs 0.069 0.017 0.093 0.297 60.0 0.009 0.008 0.011
TRS/nontermin/CSR/ExIntrod_Zan97.trs 0.068 0.027 0.315 0.885 60.0 0.006 0.006 0.007
TRS/nontermin/HM/n001.trs 0.008 0.0 0.017 0.001 0.127 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/bn111.trs 0.004 0.0 0.015 0.029 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/gkg.trs 0.009 0.0 0.009 0.017 0.014 0.001 0.0 0.0
TRS/nontermin/Rubio-inn/muladd.trs 0.042 0.0 0.017 0.001 2.499 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test10.trs 0.013 0.0 0.033 0.041 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test75.trs 0.004 0.0 0.013 0.007 0.256 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test76.trs 0.036 0.002 0.046 0.012 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test77.trs 0.012 0.002 0.05 0.02 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test830.trs 0.009 0.0 0.019 0.01 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test9.trs 0.001 0.0 0.015 0.0 0.207 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/toyama.trs 0.004 0.0 0.013 0.014 0.224 0.0 0.0 0.0
TRS/nontermin/TRCSR/ExSec11_1_Luc02a.trs 0.133 0.043 0.166 0.283 60.0 0.045 0.046 0.049
TRS/Rubio/aoto.trs 0.009 0.0 0.021 0.004 60.0 0.002 0.0 0.0
TRS/Rubio/bintrees.trs 0.008 0.0 0.008 0.003 60.0 0.0 0.0 0.0
TRS/Rubio/bn122.trs 0.041 0.0 0.037 0.037 60.0 0.0 0.0 0.0
TRS/Rubio/bn129.trs 0.047 0.015 0.009 0.012 60.0 0.0 0.003 0.005
TRS/Rubio/division.trs 0.073 0.022 0.232 1.935 60.0 0.012 0.013 0.014
TRS/Rubio/elimdupl.trs 0.072 0.02 0.515 3.916 60.0 0.013 0.013 0.014
TRS/Rubio/enno.trs 0.118 0.035 60.0 60.0 60.0 0.038 0.038 0.046
TRS/Rubio/gcd.trs 0.106 0.039 0.138 0.22 60.0 0.036 0.037 0.034
problem t e s nv g c r *
TRS/Rubio/gmnp.trs 0.065 0.0 0.01 0.0 0.0 0.0 0.0 0.0
TRS/Rubio/gm.trs 0.04 0.011 0.021 0.02 60.0 0.0 0.0 0.0
TRS/Rubio/koen.trs 0.012 0.0 0.008 0.005 0.001 0.0 0.0 0.012
TRS/Rubio/lescanne.trs 0.022 0.014 0.017 0.016 60.0 0.0 0.007 0.001
TRS/Rubio/lindau.trs 0.01 0.0 0.025 0.011 60.0 0.0 0.0 0.0
TRS/Rubio/logarquot.trs 0.048 0.024 0.053 0.092 60.0 0.012 0.013 0.014
TRS/Rubio/ma96.trs 0.313 0.238 60.0 60.0 60.0 0.24 0.255 0.233
TRS/Rubio/mfp90b.trs 0.005 0.0 0.012 0.005 0.007 0.0 0.0 0.006
TRS/Rubio/mfp95.trs 0.013 0.0 0.011 0.0 0.009 0.0 0.0 0.0
TRS/Rubio/nestrec.trs 0.007 0.0 0.004 0.005 0.319 0.0 0.0 0.0
TRS/Rubio/p266.trs 0.005 0.0 0.0 0.006 3.968 0.0 0.0 0.0
TRS/Rubio/polo2.trs 0.204 0.113 0.122 0.121 0.247 0.314 0.0 0.001
TRS/Rubio/prov.trs 0.027 0.019 0.06 0.053 60.0 0.013 0.001 0.002
TRS/Rubio/quick.trs 0.29 0.202 4.648 25.607 60.0 0.082 0.079 0.08
TRS/Rubio/quotminus.trs 0.073 0.021 0.089 0.146 60.0 0.016 0.018 0.014
TRS/Rubio/revlist.trs 0.052 0.013 0.071 0.046 60.0 0.0 0.0 0.001
TRS/Rubio/selsort.trs 0.235 0.139 60.0 60.0 60.0 0.138 0.139 0.152
TRS/Rubio/test4.trs 0.068 0.003 0.014 0.001 0.014 0.0 0.004 0.0
TRS/Rubio/test829.trs 0.004 0.0 0.0 0.003 0.02 0.002 0.0 0.0
TRS/Rubio/wst99.trs 0.12 0.062 60.0 60.0 60.0 0.065 0.063 0.069
TRS/SchneiderKamp/trs/cade01.trs 0.046 0.003 0.057 0.065 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade03.trs 0.042 0.0 0.034 0.097 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade04t.trs 0.009 0.0 0.041 0.212 60.0 0.0 0.0 0.003
TRS/SchneiderKamp/trs/cade05t.trs 0.069 0.026 0.131 9.376 60.0 0.008 0.004 0.008
TRS/SchneiderKamp/trs/cade06.trs 0.059 0.026 4.93 40.706 60.0 0.009 0.004 0.011
problem t e s nv g c r *
TRS/SchneiderKamp/trs/cade07.trs 0.05 0.014 0.223 2.507 60.0 0.0 0.0 0.001
TRS/SchneiderKamp/trs/cade08.trs 0.053 0.024 10.096 60.0 60.0 0.0 0.002 0.004
TRS/SchneiderKamp/trs/cade09.trs 0.048 0.02 0.198 2.012 60.0 0.005 0.003 0.005
TRS/SchneiderKamp/trs/cade10.trs 0.056 0.021 0.184 1.862 60.0 0.023 0.004 0.006
TRS/SchneiderKamp/trs/cade11.trs 0.038 0.0 0.046 0.087 60.0 0.0 0.0 0.001
TRS/SchneiderKamp/trs/cade12t.trs 0.112 0.036 2.642 53.058 60.0 0.039 0.039 0.042
TRS/SchneiderKamp/trs/cade13t.trs 0.024 0.023 0.186 1.558 60.0 0.023 0.009 0.01
TRS/SchneiderKamp/trs/cade14.trs 0.075 0.017 0.16 1.612 60.0 0.016 0.016 0.016
TRS/SchneiderKamp/trs/cade15.trs 0.157 0.063 2.094 26.083 60.0 0.06 0.072 0.067
TRS/SchneiderKamp/trs/cade16.trs 0.055 0.02 0.589 4.098 60.0 0.048 0.047 0.058
TRS/SchneiderKamp/trs/cade17.trs 0.226 0.133 2.873 26.141 60.0 0.05 0.051 0.055
TRS/SchneiderKamp/trs/kabasci01.trs 0.606 0.506 55.254 60.0 60.0 0.547 0.541 0.579
TRS/SchneiderKamp/trs/kabasci02.trs 0.427 0.287 32.445 60.0 60.0 60.0 60.0 1.282
TRS/SchneiderKamp/trs/kabasci03.trs 0.164 0.055 21.559 49.9 60.0 60.0 60.0 0.481
TRS/SchneiderKamp/trs/kabasci04.trs 0.211 0.121 0.767 4.865 60.0 0.037 0.037 0.039
TRS/SchneiderKamp/trs/kabasci05.trs 0.149 0.055 0.894 8.196 60.0 0.067 0.06 0.06
TRS/SchneiderKamp/trs/kabasci06.trs 0.156 0.109 5.59 17.995 60.0 0.128 0.126 0.133
TRS/SchneiderKamp/trs/otto01.trs 0.206 0.114 60.0 60.0 60.0 0.093 0.091 0.102
TRS/SchneiderKamp/trs/otto02.trs 0.158 0.067 1.837 60.0 60.0 0.068 0.068 0.071
TRS/SchneiderKamp/trs/otto03.trs 0.043 0.024 0.063 0.084 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto04.trs 0.174 0.05 60.0 60.0 60.0 0.14 0.136 0.138
TRS/SchneiderKamp/trs/otto05.trs 0.096 0.05 0.492 2.47 60.0 0.043 0.04 0.038
TRS/SchneiderKamp/trs/otto06.trs 0.198 0.054 9.004 60.0 60.0 0.05 0.05 0.061
TRS/SchneiderKamp/trs/otto07.trs 0.045 0.0 0.033 0.065 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto08.trs 0.108 0.028 0.38 2.589 60.0 0.033 0.032 0.03
problem t e s nv g c r *
TRS/SchneiderKamp/trs/otto09.trs 0.069 0.018 0.157 0.95 60.0 0.012 0.009 0.013
TRS/SchneiderKamp/trs/otto10.trs 0.132 0.105 12.242 60.0 60.0 0.04 0.049 0.046
TRS/SchneiderKamp/trs/otto11.trs 0.071 0.021 2.582 46.481 60.0 0.015 0.015 0.02
TRS/SchneiderKamp/trs/otto12.trs 0.126 0.037 0.761 55.758 60.0 0.035 0.038 0.041
TRS/SchneiderKamp/trs/otto13.trs 0.14 0.049 6.293 60.0 60.0 0.056 0.056 0.059
TRS/SchneiderKamp/trs/thiemann01.trs 0.077 0.023 0.268 1.479 60.0 0.015 0.016 0.017
TRS/SchneiderKamp/trs/thiemann02.trs 0.333 0.239 53.567 60.0 60.0 0.246 0.254 0.26
TRS/SchneiderKamp/trs/thiemann03.trs 0.079 0.021 0.668 34.309 60.0 0.021 0.02 0.019
TRS/SchneiderKamp/trs/thiemann04.trs 0.172 0.085 60.0 60.0 60.0 0.089 0.084 0.096
TRS/SchneiderKamp/trs/thiemann05.trs 0.055 0.019 0.129 0.396 60.0 0.005 0.005 0.007
TRS/SchneiderKamp/trs/thiemann06.trs 0.1 0.027 9.809 60.0 60.0 0.033 0.035 0.032
TRS/SchneiderKamp/trs/thiemann07.trs 0.151 0.063 9.752 60.0 60.0 0.065 0.064 0.067
TRS/SchneiderKamp/trs/thiemann08.trs 0.055 0.018 0.145 0.343 60.0 0.003 0.003 0.004
TRS/SchneiderKamp/trs/thiemann09.trs 0.171 0.089 0.831 2.62 60.0 0.084 0.089 0.09
TRS/SchneiderKamp/trs/thiemann10.trs 0.07 0.019 0.191 0.929 60.0 0.011 0.011 0.011
TRS/SchneiderKamp/trs/thiemann11.trs 0.134 0.042 0.449 60.0 60.0 0.039 0.039 0.044
TRS/SchneiderKamp/trs/thiemann12.trs 0.213 0.031 0.379 7.576 60.0 0.082 0.082 0.099
TRS/SchneiderKamp/trs/thiemann13.trs 0.175 0.064 0.495 11.392 60.0 0.073 0.072 0.069
TRS/SchneiderKamp/trs/thiemann14.trs 0.127 0.04 60.0 60.0 60.0 0.039 0.038 0.043
TRS/SchneiderKamp/trs/thiemann15.trs 0.071 0.025 0.164 0.4 60.0 0.007 0.007 0.008
TRS/SchneiderKamp/trs/thiemann16.trs 0.133 0.055 60.0 60.0 60.0 0.053 0.055 0.059
TRS/SchneiderKamp/trs/thiemann17.trs 0.086 0.024 0.622 1.206 60.0 0.033 0.028 0.03
TRS/SchneiderKamp/trs/thiemann18.trs 0.213 0.122 60.0 60.0 60.0 0.129 0.124 0.132
TRS/SchneiderKamp/trs/thiemann19.trs 0.073 0.021 0.307 0.61 60.0 0.013 0.013 0.016
TRS/SchneiderKamp/trs/thiemann20.trs 0.089 0.027 0.161 0.56 60.0 0.016 0.016 0.018
problem t e s nv g c r *
TRS/SchneiderKamp/trs/thiemann21.trs 0.272 0.191 35.06 60.0 60.0 0.187 0.186 0.211
TRS/SchneiderKamp/trs/thiemann22.trs 0.085 0.022 0.207 5.039 60.0 0.017 0.014 0.019
TRS/SchneiderKamp/trs/thiemann23.trs 0.083 0.035 0.059 0.1 60.0 0.019 0.02 0.025
TRS/SchneiderKamp/trs/thiemann24.trs 0.082 0.03 0.237 2.603 60.0 0.021 0.024 0.024
TRS/SchneiderKamp/trs/thiemann25.trs 0.068 0.016 0.538 20.999 60.0 0.008 0.008 0.01
TRS/SchneiderKamp/trs/thiemann26.trs 0.04 0.029 0.574 22.958 60.0 0.02 0.019 0.018
TRS/SchneiderKamp/trs/thiemann27.trs 0.044 0.004 0.051 0.069 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann28.trs 0.072 0.018 1.585 39.72 60.0 0.018 0.014 0.015
TRS/SchneiderKamp/trs/thiemann29.trs 0.134 0.05 1.196 50.006 60.0 0.048 0.049 0.055
TRS/SchneiderKamp/trs/thiemann30.trs 0.333 0.235 27.052 60.0 60.0 0.25 0.251 0.261
TRS/SchneiderKamp/trs/thiemann31.trs 0.068 0.019 1.416 33.877 60.0 0.011 0.01 0.011
TRS/SchneiderKamp/trs/thiemann32.trs 0.18 0.087 0.439 1.026 60.0 0.097 0.092 0.096
TRS/SchneiderKamp/trs/thiemann33.trs 0.126 0.044 0.249 0.441 60.0 0.043 0.047 0.049
TRS/SchneiderKamp/trs/thiemann34.trs 0.115 0.024 0.381 2.923 60.0 0.022 0.025 0.023
TRS/SchneiderKamp/trs/thiemann35.trs 0.162 0.145 60.0 60.0 60.0 60.0 60.0 1.155
TRS/SchneiderKamp/trs/thiemann36.trs 0.07 0.021 12.577 60.0 60.0 0.013 0.013 0.015
TRS/SchneiderKamp/trs/thiemann37.trs 0.15 0.066 60.0 60.0 60.0 0.071 0.069 0.073
TRS/SchneiderKamp/trs/thiemann38.trs 0.079 0.021 10.057 60.0 60.0 0.018 0.019 0.019
TRS/SchneiderKamp/trs/thiemann39.trs 0.171 0.087 60.0 60.0 60.0 35.594 35.318 0.105
TRS/SchneiderKamp/trs/thiemann40.trs 0.01 0.0 0.072 0.056 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann41.trs 0.086 0.018 3.244 60.0 60.0 0.014 0.013 0.019
TRS/SchneiderKamp/trs/wiehe01.trs 0.159 0.069 6.957 60.0 60.0 60.0 60.0 1.421
TRS/SchneiderKamp/trs/wiehe02.trs 0.466 0.326 60.0 60.0 60.0 60.0 60.0 1.348
TRS/SchneiderKamp/trs/wiehe03.trs 0.307 0.187 60.0 60.0 60.0 60.0 60.0 1.18
TRS/SchneiderKamp/trs/wiehe05.trs 0.184 0.091 3.966 29.989 60.0 44.687 46.752 1.097
problem t e s nv g c r *
TRS/SchneiderKamp/trs/wiehe06.trs 0.206 0.073 30.69 60.0 60.0 60.0 60.0 1.077
TRS/SchneiderKamp/trs/wiehe07.trs 0.167 0.086 30.315 60.0 60.0 60.0 60.0 1.095
TRS/SchneiderKamp/trs/wiehe08.trs 0.189 0.105 6.227 41.639 60.0 46.002 49.69 1.113
TRS/SchneiderKamp/trs/wiehe09.trs 0.245 0.144 17.357 60.0 60.0 60.0 60.0 1.841
TRS/SchneiderKamp/trs/wiehe11.trs 1.578 0.385 60.0 60.0 60.0 60.0 60.0 1.279
TRS/SchneiderKamp/trs/wiehe12.trs 0.62 0.551 21.55 60.0 60.0 60.0 60.0 1.553
TRS/secret05/aprove1.trs 0.115 0.069 60.0 60.0 60.0 0.186 0.192 0.073
TRS/secret05/aprove2.trs 0.14 0.056 0.299 0.855 60.0 0.058 0.06 0.063
TRS/secret05/aprove3.trs 0.277 0.063 60.0 60.0 60.0 0.071 0.065 0.066
TRS/secret05/aprove4.trs 0.149 0.064 0.328 0.634 60.0 0.075 0.074 0.089
TRS/secret05/aprove5.trs 0.272 0.061 0.602 1.621 60.0 0.062 0.066 0.068
TRS/secret05/cime1.trs 0.405 0.102 60.0 60.0 60.0 0.11 0.11 0.116
TRS/secret05/cime2.trs 0.048 0.006 0.218 0.795 60.0 0.003 0.012 0.006
TRS/secret05/cime3.trs 0.09 0.028 34.445 60.0 60.0 60.0 60.0 1.03
TRS/secret05/cime4.trs 0.009 0.0 0.034 0.02 60.0 0.0 0.0 0.0
TRS/secret05/cime5.trs 0.449 0.396 60.0 60.0 60.0 60.0 60.0 1.422
TRS/secret05/matchbox1.trs 0.013 0.013 0.016 0.033 60.0 0.0 0.0 0.001
TRS/secret05/matchbox2.trs 0.003 0.0 0.019 0.016 2.466 0.0 0.0 0.0
TRS/secret05/teparla1.trs 0.045 0.0 0.059 0.062 60.0 0.049 0.095 0.081
TRS/secret05/teparla2.trs 0.098 0.02 3.207 5.471 60.0 60.0 60.0 0.995
TRS/secret05/teparla3.trs 0.048 0.011 0.332 0.346 60.0 12.558 0.016 0.512
TRS/secret05/tpa1.trs 0.107 0.025 0.172 1.906 60.0 0.023 0.024 0.029
TRS/secret05/tpa2.trs 0.064 0.021 0.09 0.111 60.0 0.006 0.006 0.009
TRS/secret05/tpa3.trs 0.092 0.029 0.115 0.196 60.0 0.022 0.022 0.027
TRS/secret05/tpa4.trs 0.094 0.029 0.137 0.253 60.0 0.023 0.022 0.03
problem t e s nv g c r *
TRS/secret05/tpa5.trs 0.095 0.024 0.169 5.01 60.0 0.093 0.091 0.112
TRS/secret05/ttt1.trs 0.048 0.042 0.303 0.384 60.0 0.014 0.015 0.016
TRS/secret05/ttt2.trs 0.029 0.013 0.019 0.015 0.07 0.003 0.02 0.004
TRS/secret06/aprove/addList.trs 0.389 0.326 60.0 60.0 60.0 0.299 0.339 0.334
TRS/secret06/aprove/divExp.trs 0.067 0.016 0.291 5.666 60.0 60.0 60.0 1.011
TRS/secret06/aprove/division.trs 0.097 0.031 0.229 3.657 60.0 0.025 0.021 0.025
TRS/secret06/aprove/double.trs 0.177 0.062 1.036 3.019 60.0 0.067 0.07 0.076
TRS/secret06/aprove/logarithm.trs 0.13 0.044 0.528 17.644 60.0 0.057 0.049 0.053
TRS/secret06/aprove/nrOfNodes.trs 0.084 0.021 15.881 60.0 60.0 0.026 0.021 0.023
TRS/secret06/aprove/reverse.trs 0.108 0.027 0.544 5.323 60.0 0.031 0.024 0.03
TRS/secret06/aprove/sumList.trs 0.118 0.035 50.493 60.0 60.0 0.04 0.039 0.039
TRS/secret06/aprove/times.trs 0.16 0.066 5.161 60.0 60.0 51.622 51.531 1.072
TRS/secret06/aprove/toList.trs 0.065 0.067 60.0 60.0 60.0 0.04 0.042 0.037
TRS/secret06/cime1.trs 0.088 0.043 4.99 49.237 60.0 60.0 60.0 1.049
TRS/secret06/jambox/10.trs 0.039 0.001 0.034 0.044 60.0 0.0 0.001 0.002
TRS/secret06/jambox/2.trs 0.059 0.011 0.034 0.06 60.0 0.004 0.023 0.013
TRS/secret06/jambox/3.trs 0.137 0.031 0.088 0.171 60.0 0.018 60.0 0.027
TRS/secret06/jambox/4.trs 0.055 0.012 0.015 0.011 60.0 0.0 60.0 0.0
TRS/secret06/jambox/5.trs 0.049 0.015 0.021 0.027 60.0 0.0 0.002 0.003
TRS/secret06/jambox/6.trs 0.038 0.013 0.022 0.02 60.0 0.0 60.0 0.5
TRS/secret06/jambox/7.trs 0.048 0.016 0.027 0.06 60.0 0.002 0.039 0.037
TRS/secret06/jambox/8.trs 0.065 0.023 0.023 0.041 60.0 0.0 0.0 0.0
TRS/secret06/jambox/9.trs 0.047 0.017 0.025 0.027 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-10.trs 0.046 0.018 0.373 1.433 60.0 0.005 0.003 0.002
TRS/secret06/matchbox/gen-14.trs 0.049 0.012 0.646 1.22 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/secret06/matchbox/gen-15.trs 0.047 0.0 0.104 0.142 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-17.trs 0.116 0.0 1.255 4.109 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-18.trs 0.008 0.0 0.625 0.657 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-1.trs 0.012 0.0 0.071 0.054 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-22.trs 0.142 0.045 7.37 33.345 60.0 0.031 0.028 0.031
TRS/secret06/matchbox/gen-25.trs 0.037 0.0 5.689 5.611 60.0 0.001 0.0 0.009
TRS/secret06/matchbox/gen-28.trs 0.046 0.012 0.792 3.661 60.0 0.0 0.001 0.001
TRS/secret06/matchbox/gen-9.trs 0.052 0.019 0.853 2.644 60.0 0.007 0.005 0.005
TRS/secret06/tpa01.trs 0.006 0.0 0.019 0.007 60.0 0.004 0.0 0.005
TRS/secret06/tpa02.trs 0.002 0.0 0.026 0.007 60.0 0.0 0.0 0.0
TRS/secret06/tpa03.trs 0.008 0.0 0.041 0.004 60.0 0.0 0.012 0.0
TRS/secret06/tpa04.trs 0.137 0.048 0.407 14.823 60.0 0.057 0.058 0.065
TRS/secret06/tpa05.trs 0.144 0.058 0.196 0.337 60.0 0.064 0.069 0.072
TRS/secret06/tpa06.trs 0.117 0.037 1.105 60.0 60.0 0.045 0.04 0.055
TRS/secret06/tpa07.trs 0.102 0.029 0.205 0.479 60.0 0.027 0.025 0.028
TRS/secret06/tpa08.trs 0.132 0.043 0.232 0.525 60.0 0.069 0.052 0.083
TRS/secret06/tpa09.trs 0.236 0.134 0.524 1.382 60.0 0.151 0.162 0.179
TRS/secret06/tpa10.trs 0.166 0.067 0.552 7.854 60.0 0.203 0.217 0.215
TRS/secret07/aprove/aprove01.trs 0.378 0.284 60.0 60.0 60.0 0.299 0.3 0.304
TRS/secret07/aprove/aprove02.trs 0.189 0.103 21.324 60.0 60.0 0.104 0.098 0.117
TRS/secret07/aprove/aprove03.trs 0.33 0.232 53.964 60.0 60.0 0.243 0.244 0.277
TRS/secret07/aprove/aprove04.trs 0.216 0.097 24.433 60.0 60.0 0.105 0.099 0.108
TRS/secret07/aprove/aprove05.trs 0.13 0.045 60.0 60.0 60.0 0.045 0.048 0.047
TRS/secret07/aprove/aprove06.trs 0.198 0.109 60.0 60.0 60.0 0.115 0.112 0.12
TRS/secret07/aprove/aprove07.trs 0.085 0.02 10.224 60.0 60.0 0.022 0.021 0.023
problem t e s nv g c r *
TRS/secret07/aprove/aprove08.trs 0.161 0.077 60.0 60.0 60.0 0.079 0.079 0.081
TRS/secret07/aprove/aprove09.trs 0.16 0.066 14.145 60.0 60.0 0.073 0.074 0.079
TRS/secret07/aprove/aprove10.trs 0.138 0.049 3.515 60.0 60.0 0.053 0.063 0.059
TRS/secret07/cime/secret1.trs 0.222 0.131 2.06 8.77 60.0 0.121 0.14 0.14
TRS/secret07/cime/secret2.trs 0.183 0.095 2.339 60.0 60.0 0.1 0.098 0.117
TRS/secret07/cime/secret3.trs 0.125 0.038 0.415 1.225 60.0 0.038 0.035 0.043
TRS/secret07/cime/secret4.trs 0.222 0.128 41.348 60.0 60.0 0.135 0.132 0.142
TRS/secret07/cime/secret5.trs 0.168 0.072 2.056 2.988 60.0 0.086 0.081 0.089
TRS/secret07/others/dj.trs 0.005 0.0 0.036 0.046 60.0 0.0 0.0 0.0
TRS/secret07/TTT2/1.trs 0.086 0.016 0.462 0.685 60.0 60.0 0.049 0.103
TRS/secret07/TTT2/2.trs 0.144 0.036 7.631 10.813 60.0 60.0 0.119 0.62
TRS/secret07/TTT2/3.trs 0.181 0.072 60.0 14.365 60.0 60.0 60.0 1.069
TRS/secret07/TTT2/4.trs 0.103 0.035 21.936 7.482 60.0 60.0 0.705 0.256
TRS/secret07/TTT2/5.trs 0.428 0.121 60.0 60.0 60.0 60.0 60.0 0.876
TRS/secret07/TTT2/6.trs 0.009 0.0 0.008 0.01 7.022 0.0 0.005 0.0
TRS/secret07/TTT2/7.trs 0.137 0.001 0.024 0.045 60.0 0.006 0.081 0.015
TRS/SK90/2.01.trs 0.05 0.015 0.057 0.199 60.0 0.001 0.104 0.105
TRS/SK90/2.02.trs 0.051 0.025 0.017 0.035 60.0 0.007 0.014 0.011
TRS/SK90/2.03.trs 0.008 0.0 0.014 0.001 0.0 0.0 0.0 0.0
TRS/SK90/2.04.trs 0.035 0.0 0.009 0.01 35.992 0.012 0.0 0.0
TRS/SK90/2.05.trs 0.106 0.061 0.199 1.33 60.0 1.228 1.22 1.005
TRS/SK90/2.06.trs 0.01 0.0 0.033 0.089 60.0 0.008 0.002 0.004
TRS/SK90/2.07.trs 0.047 0.012 0.037 0.086 60.0 0.0 0.0 0.0
TRS/SK90/2.08.trs 0.074 0.017 0.157 0.663 60.0 0.012 0.012 0.01
TRS/SK90/2.09.trs 0.005 0.0 0.0 0.005 0.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SK90/2.10.trs 0.05 0.014 0.047 0.148 60.0 0.0 0.0 0.0
TRS/SK90/2.11.trs 0.002 0.0 0.02 0.0 0.0 0.0 0.0 0.0
TRS/SK90/2.12.trs 0.04 0.016 0.217 0.463 60.0 0.005 0.004 0.007
TRS/SK90/2.13.trs 0.046 0.0 0.011 0.009 0.002 0.0 0.0 0.0
TRS/SK90/2.14.trs 0.05 0.017 0.009 0.007 0.005 0.001 0.0 0.0
TRS/SK90/2.15.trs 0.003 0.0 0.017 0.005 60.0 0.006 0.0 0.0
TRS/SK90/2.16.trs 0.009 0.0 0.043 0.039 60.0 0.0 0.0 0.0
TRS/SK90/2.17.trs 0.011 0.0 0.008 0.001 0.0 0.0 0.0 0.0
TRS/SK90/2.18.trs 0.005 0.0 0.031 0.026 60.0 0.0 0.0 0.0
TRS/SK90/2.19.trs 0.053 0.018 0.081 0.139 60.0 0.011 0.002 0.003
TRS/SK90/2.20.trs 0.01 0.0 0.007 0.0 0.0 0.0 0.0 0.0
TRS/SK90/2.21.trs 0.005 0.0 0.016 0.004 0.007 0.0 0.0 0.0
TRS/SK90/2.22.trs 0.044 0.014 0.031 0.093 60.0 0.0 0.0 0.0
TRS/SK90/2.23.trs 0.072 0.014 0.15 0.283 60.0 0.009 0.009 0.011
TRS/SK90/2.24.trs 0.005 0.0 0.004 0.005 0.004 0.0 0.0 0.0
TRS/SK90/2.25.trs 0.014 0.015 0.054 0.057 60.0 0.0 0.0 0.0
TRS/SK90/2.26.trs 0.07 0.019 0.258 0.354 60.0 0.013 0.015 0.015
TRS/SK90/2.27.trs 0.052 0.018 0.064 0.053 60.0 0.001 0.002 0.003
TRS/SK90/2.28.trs 0.008 0.001 0.008 0.004 60.0 0.0 0.0 0.0
TRS/SK90/2.29.trs 0.031 0.0 0.008 0.012 0.128 0.0 0.0 0.0
TRS/SK90/2.30.trs 0.001 0.0 0.0 0.003 0.0 0.0 0.0 0.0
TRS/SK90/2.31.trs 0.035 0.012 0.008 0.004 1.572 0.0 0.0 0.0
TRS/SK90/2.32.trs 0.0 0.0 0.08 0.047 60.0 0.0 0.0 0.0
TRS/SK90/2.33.trs 0.0 0.0 0.026 0.019 60.0 0.0 0.0 0.0
TRS/SK90/2.34.trs 0.01 0.0 0.017 0.018 60.0 0.07 0.0 0.001
problem t e s nv g c r *
TRS/SK90/2.35.trs 0.009 0.0 0.044 0.033 3.256 0.0 0.0 0.0
TRS/SK90/2.36.trs 0.008 0.0 0.004 0.004 0.008 0.0 0.0 0.0
TRS/SK90/2.37.trs 0.002 0.0 0.024 0.008 0.643 0.0 0.0 0.0
TRS/SK90/2.38.trs 0.043 0.0 0.01 0.016 60.0 0.0 0.0 0.0
TRS/SK90/2.39.trs 0.04 0.0 0.017 0.007 60.0 0.0 0.0 0.0
TRS/SK90/2.40.trs 0.006 0.0 0.055 0.088 60.0 0.0 0.0 0.0
TRS/SK90/2.41.trs 0.046 0.006 0.012 0.0 0.002 0.0 0.0 0.0
TRS/SK90/2.42.trs 0.062 0.014 0.193 0.666 60.0 0.008 0.0 0.001
TRS/SK90/2.43.trs 0.07 0.017 0.045 0.074 60.0 0.01 0.01 0.011
TRS/SK90/2.44.trs 0.085 0.013 0.379 22.02 60.0 0.012 0.006 0.007
TRS/SK90/2.45.trs 0.044 0.005 6.708 11.742 60.0 0.0 0.0 0.0
TRS/SK90/2.46.trs 0.005 0.0 0.007 0.011 3.069 0.0 0.0 0.0
TRS/SK90/2.47.trs 0.0 0.0 0.0 0.006 0.001 0.0 0.0 0.003
TRS/SK90/2.48.trs 0.0 0.0 0.012 0.0 0.001 0.0 0.0 0.0
TRS/SK90/2.49.trs 0.046 0.014 0.053 0.023 60.0 0.0 0.0 0.0
TRS/SK90/2.50.trs 0.008 0.0 0.0 0.013 0.014 0.0 0.0 0.0
TRS/SK90/2.51.trs 0.04 0.0 0.027 0.035 60.0 0.0 0.0 0.0
TRS/SK90/2.52.trs 0.155 0.087 2.74 60.0 60.0 0.094 0.091 0.096
TRS/SK90/2.53.trs 0.004 0.0 0.0 0.004 0.004 0.002 0.0 0.0
TRS/SK90/2.54.trs 0.001 0.0 0.001 0.001 0.002 0.002 0.0 0.0
TRS/SK90/2.55.trs 0.0 0.0 0.0 0.013 0.0 0.028 0.013 0.0
TRS/SK90/2.56.trs 0.04 0.0 0.023 0.006 0.005 0.0 0.0 0.0
TRS/SK90/2.57.trs 0.069 0.0 0.027 0.032 60.0 0.0 0.0 0.0
TRS/SK90/2.58.trs 0.026 0.0 0.069 0.013 1.877 0.001 0.0 0.0
TRS/SK90/2.59.trs 0.034 0.015 0.02 0.005 0.017 0.0 0.0 0.001
problem t e s nv g c r *
TRS/SK90/2.60.trs 0.061 0.0 0.011 0.0 60.0 0.0 0.0 0.0
TRS/SK90/2.61.trs 0.129 0.047 1.914 7.281 60.0 11.523 0.022 0.518
TRS/SK90/4.01.trs 0.012 0.0 0.024 0.009 0.033 0.0 0.0 0.0
TRS/SK90/4.02.trs 0.144 0.059 1.104 4.211 60.0 0.028 0.031 0.047
TRS/SK90/4.03.trs 0.047 0.016 0.127 0.338 60.0 0.004 0.003 0.007
TRS/SK90/4.04.trs 0.008 0.0 0.028 0.006 60.0 0.0 0.0 0.0
TRS/SK90/4.05.trs 0.043 0.0 0.004 0.008 0.0 0.0 0.0 0.0
TRS/SK90/4.06.trs 0.069 0.009 0.107 0.39 60.0 0.0 0.0 0.002
TRS/SK90/4.07.trs 0.007 0.0 0.009 0.009 60.0 0.0 0.0 0.0
TRS/SK90/4.08.trs 0.002 0.011 0.001 0.012 2.158 0.0 0.0 0.0
TRS/SK90/4.09.trs 0.052 0.015 0.089 0.234 60.0 0.014 0.013 0.042
TRS/SK90/4.10.trs 0.048 0.016 0.0 0.003 0.014 0.0 0.0 0.0
TRS/SK90/4.11.trs 0.038 0.0 0.021 0.003 60.0 0.0 0.0 0.0
TRS/SK90/4.12.trs 0.006 0.0 0.012 0.012 3.988 0.0 0.0 0.0
TRS/SK90/4.13.trs 0.046 0.0 0.006 0.006 0.024 0.0 0.0 0.0
TRS/SK90/4.14.trs 0.106 0.025 0.374 0.898 60.0 0.03 0.03 0.033
TRS/SK90/4.15.trs 0.0 0.0 0.0 0.003 60.0 0.001 0.0 0.0
TRS/SK90/4.16.trs 0.023 0.016 0.01 0.001 0.006 0.0 0.0 0.0
TRS/SK90/4.17.trs 0.025 0.0 0.021 0.009 0.855 0.0 0.0 0.0
TRS/SK90/4.18.trs 0.05 0.0 0.015 0.0 0.024 0.0 0.0 0.0
TRS/SK90/4.19.trs 0.012 0.0 0.031 0.019 60.0 0.0 0.002 0.0
TRS/SK90/4.20.trs 0.007 0.0 0.08 0.094 60.0 0.0 0.0 0.0
TRS/SK90/4.21.trs 0.05 0.016 0.095 0.287 60.0 0.003 0.003 0.007
TRS/SK90/4.22.trs 0.05 0.014 0.033 0.02 60.0 0.0 0.0 0.0
TRS/SK90/4.23.trs 0.007 0.0 0.17 0.184 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SK90/4.24.trs 0.046 0.013 0.05 0.057 60.0 0.0 0.0 0.0
TRS/SK90/4.25.trs 0.004 0.001 0.016 0.004 0.005 0.003 0.0 0.0
TRS/SK90/4.26.trs 0.047 0.016 0.044 0.105 60.0 0.003 0.0 0.001
TRS/SK90/4.27.trs 0.067 0.011 0.03 0.019 60.0 0.0 60.0 0.0
TRS/SK90/4.28.trs 0.11 0.031 0.053 0.056 1.563 0.033 0.0 0.0
TRS/SK90/4.29.trs 0.041 0.0 0.007 0.031 4.196 0.0 0.0 0.0
TRS/SK90/4.30.trs 0.036 0.033 0.025 0.016 0.073 0.012 0.0 0.0
TRS/SK90/4.31.trs 0.048 0.012 0.013 0.005 60.0 0.0 0.0 0.0
TRS/SK90/4.32.trs 0.043 0.0 0.044 0.127 60.0 0.0 60.0 0.498
TRS/SK90/4.33.trs 0.001 0.0 0.012 0.0 0.003 0.001 0.0 0.0
TRS/SK90/4.34.trs 0.001 0.0 0.014 0.0 0.052 0.0 0.0 0.0
TRS/SK90/4.35.trs 0.004 0.0 0.0 0.004 0.0 0.003 0.0 0.0
TRS/SK90/4.36.trs 0.006 0.0 0.0 0.0 0.043 0.0 0.0 0.0
TRS/SK90/4.37.trs 0.0 0.0 0.0 0.012 0.0 0.0 0.003 0.0
TRS/SK90/4.38.trs 0.005 0.0 0.008 0.003 0.001 0.0 0.0 0.0
TRS/SK90/4.39.trs 0.003 0.001 0.044 0.008 60.0 0.0 0.0 0.0
TRS/SK90/4.40.trs 0.005 0.0 0.114 0.097 60.0 0.0 0.0 0.0
TRS/SK90/4.41.trs 0.0 0.0 0.012 0.006 0.056 0.0 0.0 0.0
TRS/SK90/4.42.trs 0.049 0.013 0.099 0.217 60.0 0.0 0.013 0.0
TRS/SK90/4.43.trs 0.088 0.026 0.042 0.073 60.0 0.011 0.0 0.001
TRS/SK90/4.44.trs 0.007 0.0 0.015 0.0 0.007 0.0 0.0 0.0
TRS/SK90/4.45.trs 0.0 0.0 0.0 0.012 0.0 0.004 0.0 0.0
TRS/SK90/4.46.trs 0.002 0.0 0.005 0.001 0.012 0.0 0.0 0.0
TRS/SK90/4.47.trs 0.113 0.004 0.002 0.0 60.0 0.0 0.0 0.0
TRS/SK90/4.48.trs 0.0 0.0 0.021 0.022 60.0 0.0 0.001 0.0
problem t e s nv g c r *
TRS/SK90/4.49.trs 0.005 0.0 0.035 0.071 60.0 0.0 0.0 0.0
TRS/SK90/4.50.trs 0.0 0.0 0.0 0.003 0.198 0.0 0.0 0.0
TRS/SK90/4.51.trs 0.01 0.0 0.018 0.0 0.0 0.0 0.0 0.0
TRS/SK90/4.52.trs 0.052 0.019 0.061 0.145 60.0 0.003 0.0 0.0
TRS/SK90/4.53.trs 0.037 0.0 0.042 0.065 60.0 0.0 0.0 0.0
TRS/SK90/4.54.trs 0.009 0.0 0.022 0.008 60.0 0.0 0.0 0.0
TRS/SK90/4.55.trs 0.0 0.0 0.018 0.0 0.007 0.0 0.0 0.0
TRS/SK90/4.56.trs 0.016 0.0 0.006 0.001 0.004 0.0 0.0 0.0
TRS/SK90/4.57.trs 0.046 0.0 0.398 1.977 60.0 0.0 0.0 0.0
TRS/SK90/4.59.trs 0.084 0.028 0.053 0.032 60.0 0.006 0.006 0.007
TRS/SK90/4.60.trs 0.067 0.024 0.065 0.207 60.0 0.005 0.004 0.006
TRS/SK90/4.61.trs 0.14 0.066 0.4 2.314 60.0 0.052 0.048 0.056
TRS/Ste92/hydra.trs 0.046 0.0 0.125 0.205 60.0 0.0 0.0 0.0
TRS/Ste92/minsort.trs 0.145 0.056 1.107 11.599 60.0 0.06 0.064 0.063
TRS/Ste92/motivation.trs 0.008 0.0 0.053 0.032 60.0 0.0 0.0 0.0
TRS/Ste92/perfect2.trs 0.162 0.062 3.52 60.0 60.0 0.073 0.07 0.068
TRS/Ste92/perfect.trs 0.096 0.001 0.086 0.079 60.0 0.0 0.0 0.0
TRS/Thiemann/div_notCeTermin.trs 0.187 0.121 0.903 5.694 60.0 0.122 0.124 0.128
TRS/Thiemann/div_notTermin.trs 0.206 0.157 13.448 60.0 60.0 0.156 0.166 0.162
TRS/Thiemann/factorial1.trs 0.087 0.024 0.226 0.547 60.0 0.017 0.019 0.024
TRS/Thiemann/factorial2.trs 0.109 0.031 0.392 2.385 60.0 0.027 0.025 0.031
TRS/Thiemann/identity.trs 0.052 0.026 0.053 0.055 60.0 0.007 60.0 0.511
TRS/Thiemann/logarithm.trs 0.16 0.071 0.396 4.653 60.0 0.08 0.074 0.078
TRS/Thiemann/mapHard.trs 0.111 0.061 60.0 60.0 60.0 27.791 28.039 0.072
TRS/Thiemann/modulo.trs 0.072 0.019 0.272 45.242 60.0 0.255 0.246 0.495
problem t e s nv g c r *
TRS/Thiemann/nonterm.trs 0.14 0.055 2.202 4.489 60.0 60.0 60.0 1.009
TRS/Thiemann/quicksort.trs 0.207 0.115 20.495 60.0 60.0 0.123 0.132 0.131
TRS/Thiemann/quot.trs 0.066 0.019 0.125 1.132 60.0 0.159 0.158 0.306
TRS/Thiemann/sizeChange.trs 0.041 0.013 0.294 0.283 60.0 0.0 0.0 0.002
TRS/Thiemann/tower_sizeChange.trs 0.091 0.026 0.108 0.107 60.0 0.021 60.0 0.52
TRS/Thiemann/tower.trs 0.118 0.033 0.506 1.652 60.0 0.036 0.041 0.037
TRS/TRCSR/Ex1_2_AEL03_C.trs 9.095 5.353 60.0 60.0 60.0 5.362 7.658 5.719
TRS/TRCSR/Ex1_2_AEL03_FR.trs 0.176 0.083 0.935 1.428 60.0 0.096 0.091 0.096
TRS/TRCSR/Ex1_2_AEL03_GM.trs 0.166 0.108 36.434 60.0 60.0 0.109 0.109 0.161
TRS/TRCSR/Ex1_2_AEL03_iGM.trs 3.702 3.381 60.0 60.0 60.0 5.713 2.743 2.969
TRS/TRCSR/Ex1_2_AEL03_Z.trs 0.112 0.05 0.541 0.789 60.0 0.032 0.03 0.039
TRS/TRCSR/Ex1_2_Luc02c_C.trs 0.355 0.271 4.6 24.133 60.0 0.755 0.272 0.296
TRS/TRCSR/Ex1_2_Luc02c_FR.trs 0.017 0.004 0.164 0.184 60.0 0.002 0.002 0.003
TRS/TRCSR/Ex1_2_Luc02c_GM.trs 0.009 0.0 0.107 0.08 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_2_Luc02c_iGM.trs 0.25 0.16 1.855 3.751 60.0 0.123 0.12 0.139
TRS/TRCSR/Ex1_2_Luc02c_Z.trs 0.0 0.0 0.019 0.023 0.039 0.0 0.0 0.0
TRS/TRCSR/Ex14_AEGL02_C.trs 0.421 0.334 8.42 26.214 60.0 0.354 0.355 0.361
TRS/TRCSR/Ex14_AEGL02_FR.trs 0.051 0.017 0.571 0.686 60.0 0.001 0.003 0.003
TRS/TRCSR/Ex14_AEGL02_GM.trs 0.07 0.021 0.381 0.149 60.0 0.015 0.015 0.021
TRS/TRCSR/Ex14_AEGL02_iGM.trs 0.484 0.334 11.568 11.98 60.0 0.249 0.247 0.257
TRS/TRCSR/Ex14_AEGL02_L.trs 0.002 0.0 0.0 0.013 0.0 0.005 0.0 0.0
TRS/TRCSR/Ex14_AEGL02_Z.trs 0.014 0.0 0.148 0.175 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex14_Luc06_C.trs 0.285 0.196 3.958 32.036 60.0 0.273 0.272 0.325
TRS/TRCSR/Ex14_Luc06_FR.trs 0.002 0.021 0.025 0.021 0.029 0.0 0.0 0.0
TRS/TRCSR/Ex14_Luc06_GM.trs 0.053 0.019 0.492 1.36 60.0 0.026 0.027 0.052
problem t e s nv g c r *
TRS/TRCSR/Ex14_Luc06_iGM.trs 0.22 0.093 4.226 9.385 60.0 60.0 60.0 1.091
TRS/TRCSR/Ex14_Luc06_L.trs 0.0 0.0 0.0 0.004 0.004 0.002 0.0 0.0
TRS/TRCSR/Ex14_Luc06_Z.trs 0.001 0.0 0.033 0.011 0.025 0.0 0.0 0.0
TRS/TRCSR/Ex15_Luc06_C.trs 0.127 0.048 0.192 0.161 60.0 0.054 0.004 0.006
TRS/TRCSR/Ex15_Luc06_FR.trs 0.013 0.0 0.077 0.021 60.0 0.001 0.011 0.001
TRS/TRCSR/Ex15_Luc06_GM.trs 0.04 0.0 0.019 0.006 0.018 0.0 0.014 0.0
TRS/TRCSR/Ex15_Luc06_iGM.trs 0.107 0.065 0.28 0.211 60.0 0.041 0.0 0.009
TRS/TRCSR/Ex15_Luc06_L.trs 0.011 0.0 0.004 0.0 0.0 0.003 0.0 0.003
TRS/TRCSR/Ex15_Luc06_Z.trs 0.009 0.0 0.019 0.0 0.006 0.0 0.0 0.0
TRS/TRCSR/Ex15_Luc98_C.trs 1.251 0.672 60.0 60.0 60.0 0.702 0.709 0.788
TRS/TRCSR/Ex15_Luc98_FR.trs 0.055 0.015 0.697 0.551 60.0 0.005 0.005 0.014
TRS/TRCSR/Ex15_Luc98_GM.trs 0.092 0.03 2.211 1.421 60.0 0.032 0.03 0.036
TRS/TRCSR/Ex15_Luc98_iGM.trs 1.806 2.287 60.0 60.0 60.0 2.923 1.292 1.232
TRS/TRCSR/Ex15_Luc98_Z.trs 0.083 0.036 0.597 0.407 60.0 0.02 0.017 0.024
TRS/TRCSR/Ex16_Luc06_C.trs 0.098 0.034 0.247 0.585 60.0 0.045 0.01 0.039
TRS/TRCSR/Ex16_Luc06_FR.trs 0.002 0.0 0.0 0.012 0.0 0.004 0.0 0.0
TRS/TRCSR/Ex16_Luc06_GM.trs 0.003 0.0 0.062 0.029 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex16_Luc06_iGM.trs 0.14 0.017 0.2 0.217 60.0 0.046 0.02 0.013
TRS/TRCSR/Ex16_Luc06_L.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex16_Luc06_Z.trs 0.0 0.0 0.001 0.0 0.014 0.0 0.0 0.0
TRS/TRCSR/Ex18_Luc06_C.trs 0.133 0.058 0.204 0.176 60.0 0.064 0.013 0.015
TRS/TRCSR/Ex18_Luc06_FR.trs 0.012 0.0 0.053 0.015 4.499 0.0 0.0 0.0
TRS/TRCSR/Ex18_Luc06_GM.trs 0.004 0.0 0.034 0.0 60.0 0.0 0.004 0.0
TRS/TRCSR/Ex18_Luc06_iGM.trs 0.118 0.043 0.285 0.214 60.0 0.053 0.035 0.034
TRS/TRCSR/Ex18_Luc06_L.trs 0.012 0.0 0.0 0.026 0.0 0.003 0.0 0.003
problem t e s nv g c r *
TRS/TRCSR/Ex18_Luc06_Z.trs 0.026 0.0 0.011 0.0 0.018 0.0 0.0 0.0
TRS/TRCSR/Ex1_GL02a_C.trs 1.745 0.786 41.37 60.0 60.0 0.736 0.742 0.773
TRS/TRCSR/Ex1_GL02a_FR.trs 0.102 0.018 1.211 0.443 60.0 0.016 0.016 0.041
TRS/TRCSR/Ex1_GL02a_GM.trs 0.024 0.024 1.094 0.224 60.0 0.013 0.012 0.014
TRS/TRCSR/Ex1_GL02a_iGM.trs 1.341 0.685 60.0 60.0 60.0 1.492 1.499 1.085
TRS/TRCSR/Ex1_GL02a_L.trs 0.0 0.0 0.012 0.001 0.001 0.0 0.008 0.0
TRS/TRCSR/Ex1_GL02a_Z.trs 0.045 0.016 0.75 0.286 60.0 0.012 0.011 0.013
TRS/TRCSR/Ex1_GM03_C.trs 0.541 0.465 60.0 60.0 60.0 0.467 0.462 0.521
TRS/TRCSR/Ex1_GM03_FR.trs 0.126 0.041 1.851 14.009 60.0 0.145 0.137 0.144
TRS/TRCSR/Ex1_GM03_GM.trs 0.089 0.021 7.302 60.0 60.0 0.021 0.022 0.035
TRS/TRCSR/Ex1_GM03_iGM.trs 0.921 0.667 60.0 60.0 60.0 0.625 0.623 0.661
TRS/TRCSR/Ex1_GM03_Z.trs 0.048 0.016 0.563 3.688 60.0 0.0 0.0 0.001
TRS/TRCSR/Ex1_GM99_C.trs 0.126 0.042 1.562 30.783 60.0 0.045 0.04 0.051
TRS/TRCSR/Ex1_GM99_FR.trs 0.001 0.0 0.015 0.009 0.209 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM99_GM.trs 0.044 0.0 0.165 1.514 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM99_iGM.trs 0.205 0.059 5.126 36.489 60.0 0.059 0.059 0.067
TRS/TRCSR/Ex1_GM99_L.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM99_Z.trs 0.008 0.001 0.008 0.009 0.202 0.0 0.0 0.0
TRS/TRCSR/Ex1_Luc02b_C.trs 0.531 0.455 36.522 60.0 60.0 0.484 0.472 0.522
TRS/TRCSR/Ex1_Luc02b_FR.trs 0.087 0.024 0.212 0.147 60.0 0.023 0.022 0.029
TRS/TRCSR/Ex1_Luc02b_GM.trs 0.064 0.018 0.728 0.832 60.0 0.01 0.009 0.017
TRS/TRCSR/Ex1_Luc02b_iGM.trs 0.54 0.508 28.726 49.995 60.0 0.436 0.433 0.456
TRS/TRCSR/Ex1_Luc02b_Z.trs 0.047 0.015 0.077 0.038 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Luc04b_C.trs 0.737 0.657 19.404 3.339 60.0 0.684 0.38 0.482
TRS/TRCSR/Ex1_Luc04b_FR.trs 0.039 0.0 0.169 0.057 60.0 0.0 0.001 0.0
problem t e s nv g c r *
TRS/TRCSR/Ex1_Luc04b_GM.trs 0.119 0.035 1.405 0.814 60.0 0.041 0.112 0.105
TRS/TRCSR/Ex1_Luc04b_iGM.trs 0.671 0.497 10.77 15.184 60.0 0.391 0.732 0.631
TRS/TRCSR/Ex1_Luc04b_Z.trs 0.013 0.004 0.086 0.035 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_C.trs 0.108 0.027 0.178 0.098 60.0 0.025 0.002 0.006
TRS/TRCSR/Ex1_Zan97_FR.trs 0.001 0.0 0.039 0.012 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_GM.trs 0.014 0.0 0.014 0.003 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_iGM.trs 0.119 0.027 0.048 0.031 2.222 0.007 0.007 0.0
TRS/TRCSR/Ex1_Zan97_L.trs 0.0 0.0 0.0 0.012 0.0 0.004 0.0 0.0
TRS/TRCSR/Ex1_Zan97_Z.trs 0.0 0.0 0.044 0.015 0.004 0.0 0.0 0.0
TRS/TRCSR/Ex23_Luc06_C.trs 0.218 0.116 0.698 0.463 60.0 0.121 0.031 0.038
TRS/TRCSR/Ex23_Luc06_FR.trs 0.042 0.003 0.061 0.019 22.302 0.0 0.0 0.0
TRS/TRCSR/Ex23_Luc06_GM.trs 0.043 0.003 0.031 0.015 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex23_Luc06_iGM.trs 0.164 0.077 0.405 0.243 60.0 0.064 0.004 0.007
TRS/TRCSR/Ex23_Luc06_L.trs 0.0 0.0 0.0 0.003 0.0 0.003 0.0 0.0
TRS/TRCSR/Ex23_Luc06_Z.trs 0.0 0.0 0.0 0.0 0.0 0.003 0.0 0.0
TRS/TRCSR/Ex24_GM04_C.trs 0.154 0.067 2.399 60.0 60.0 0.125 0.128 0.173
TRS/TRCSR/Ex24_GM04_FR.trs 0.01 0.012 0.05 0.056 60.0 0.002 0.001 0.001
TRS/TRCSR/Ex24_GM04_GM.trs 0.009 0.0 0.296 6.053 60.0 0.0 0.0 0.002
TRS/TRCSR/Ex24_GM04_iGM.trs 0.22 0.096 9.397 54.759 60.0 60.0 60.0 1.084
TRS/TRCSR/Ex24_GM04_L.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex24_GM04_Z.trs 0.025 0.0 0.034 0.032 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex24_Luc06_C.trs 0.125 0.037 1.099 24.821 60.0 0.04 0.041 0.048
TRS/TRCSR/Ex24_Luc06_FR.trs 0.0 0.0 0.021 0.01 0.199 0.0 0.0 0.0
TRS/TRCSR/Ex24_Luc06_GM.trs 0.008 0.001 0.118 0.896 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex24_Luc06_iGM.trs 0.175 0.054 3.528 14.416 60.0 0.057 0.056 0.063
problem t e s nv g c r *
TRS/TRCSR/Ex24_Luc06_L.trs 0.0 0.0 0.0 0.012 0.0 0.0 0.004 0.0
TRS/TRCSR/Ex24_Luc06_Z.trs 0.0 0.0 0.021 0.021 0.208 0.0 0.0 0.0
TRS/TRCSR/Ex25_Luc06_C.trs 0.325 0.228 2.048 0.921 60.0 0.251 60.0 0.711
TRS/TRCSR/Ex25_Luc06_FR.trs 0.083 0.031 0.248 0.16 60.0 0.03 0.036 0.042
TRS/TRCSR/Ex25_Luc06_GM.trs 0.055 0.029 0.271 0.127 60.0 0.011 0.014 0.025
TRS/TRCSR/Ex25_Luc06_iGM.trs 0.66 0.586 2.734 0.949 60.0 0.146 0.031 0.059
TRS/TRCSR/Ex25_Luc06_L.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex25_Luc06_Z.trs 0.028 0.0 0.055 0.02 60.0 0.034 0.012 0.01
TRS/TRCSR/Ex26_Luc03b_C.trs 4.734 1.671 60.0 60.0 60.0 1.729 1.71 1.879
TRS/TRCSR/Ex26_Luc03b_FR.trs 0.076 0.016 3.96 13.302 60.0 0.02 0.022 0.03
TRS/TRCSR/Ex26_Luc03b_GM.trs 0.172 0.082 3.023 1.34 60.0 0.087 0.078 0.093
TRS/TRCSR/Ex26_Luc03b_iGM.trs 1.034 1.067 60.0 60.0 60.0 0.736 0.714 0.811
TRS/TRCSR/Ex26_Luc03b_L.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex26_Luc03b_Z.trs 0.159 0.064 3.084 6.241 60.0 0.07 0.07 0.072
TRS/TRCSR/Ex2_Luc02a_C.trs 1.933 2.008 60.0 60.0 60.0 1.926 3.958 2.904
TRS/TRCSR/Ex2_Luc02a_FR.trs 0.177 0.091 1.667 2.713 60.0 0.089 0.09 0.105
TRS/TRCSR/Ex2_Luc02a_GM.trs 0.116 0.038 6.148 35.674 60.0 0.046 0.041 0.06
TRS/TRCSR/Ex2_Luc02a_iGM.trs 0.831 0.619 60.0 60.0 60.0 0.475 0.481 0.546
TRS/TRCSR/Ex2_Luc02a_L.trs 0.054 0.021 0.064 0.12 60.0 0.004 0.004 0.007
TRS/TRCSR/Ex2_Luc02a_Z.trs 0.096 0.029 0.167 0.328 60.0 0.026 0.03 0.031
TRS/TRCSR/Ex2_Luc03b_C.trs 1.066 0.973 55.024 60.0 60.0 0.999 0.993 1.055
TRS/TRCSR/Ex2_Luc03b_FR.trs 0.156 0.059 1.257 0.768 60.0 0.065 0.062 0.067
TRS/TRCSR/Ex2_Luc03b_GM.trs 0.132 0.041 1.126 0.645 60.0 0.041 0.042 0.048
TRS/TRCSR/Ex2_Luc03b_iGM.trs 1.081 0.87 49.288 60.0 60.0 0.651 0.671 1.762
TRS/TRCSR/Ex2_Luc03b_L.trs 0.015 0.0 0.007 0.013 0.002 0.0 0.0 0.0
problem t e s nv g c r *
TRS/TRCSR/Ex2_Luc03b_Z.trs 0.126 0.048 0.08 0.08 0.092 0.05 0.0 0.0
TRS/TRCSR/Ex3_12_Luc96a_C.trs 0.666 0.345 8.589 60.0 60.0 0.779 0.775 0.856
TRS/TRCSR/Ex3_12_Luc96a_FR.trs 0.075 0.019 0.1 0.082 60.0 0.017 0.017 0.014
TRS/TRCSR/Ex3_12_Luc96a_GM.trs 0.046 0.014 0.218 0.216 60.0 0.0 0.007 0.005
TRS/TRCSR/Ex3_12_Luc96a_iGM.trs 0.376 0.234 5.544 10.926 60.0 0.206 0.207 0.222
TRS/TRCSR/Ex3_12_Luc96a_Z.trs 0.005 0.0 0.026 0.001 10.998 0.0 0.0 0.0
TRS/TRCSR/Ex3_2_Luc97_C.trs 0.765 0.584 60.0 60.0 60.0 1.221 0.707 0.665
TRS/TRCSR/Ex3_2_Luc97_FR.trs 0.09 0.019 2.888 2.134 60.0 0.022 0.022 0.033
TRS/TRCSR/Ex3_2_Luc97_GM.trs 0.067 0.012 1.857 0.991 60.0 0.008 0.008 0.014
TRS/TRCSR/Ex3_2_Luc97_iGM.trs 1.155 0.883 60.0 60.0 60.0 0.814 0.946 0.876
TRS/TRCSR/Ex3_2_Luc97_Z.trs 0.061 0.017 2.271 1.902 60.0 0.059 0.06 0.073
TRS/TRCSR/Ex3_3_25_Bor03_C.trs 1.399 1.933 60.0 60.0 60.0 1.195 2.901 1.763
TRS/TRCSR/Ex3_3_25_Bor03_FR.trs 0.021 0.028 1.762 0.939 60.0 0.011 0.011 0.018
TRS/TRCSR/Ex3_3_25_Bor03_GM.trs 0.162 0.083 1.415 1.003 60.0 0.074 0.078 0.088
TRS/TRCSR/Ex3_3_25_Bor03_iGM.trs 0.917 0.956 60.0 60.0 60.0 0.795 0.792 0.837
TRS/TRCSR/Ex3_3_25_Bor03_L.trs 0.0 0.0 0.0 0.004 0.0 0.003 0.0 0.003
TRS/TRCSR/Ex3_3_25_Bor03_Z.trs 0.044 0.019 0.023 0.017 0.033 0.02 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_C.trs 0.172 0.085 0.764 3.29 60.0 0.097 0.091 0.096
TRS/TRCSR/Ex4_4_Luc96b_FR.trs 0.01 0.0 0.081 0.088 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_GM.trs 0.039 0.015 0.035 0.064 60.0 0.0 0.0 0.001
TRS/TRCSR/Ex4_4_Luc96b_iGM.trs 0.147 0.056 0.323 0.91 60.0 0.048 0.052 0.053
TRS/TRCSR/Ex4_4_Luc96b_L.trs 0.0 0.0 0.0 0.012 0.001 0.011 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_Z.trs 0.031 0.0 0.058 0.027 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_15_Bor03_C.trs 0.444 0.361 4.07 1.766 60.0 0.373 0.062 0.07
TRS/TRCSR/Ex4_7_15_Bor03_FR.trs 0.059 0.02 0.114 0.058 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.052 0.016 0.13 0.07 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_15_Bor03_iGM.trs 0.436 0.175 2.429 2.406 60.0 0.409 0.592 0.536
TRS/TRCSR/Ex4_7_15_Bor03_L.trs 0.025 0.0 0.026 0.005 0.034 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_15_Bor03_Z.trs 0.037 0.0 0.024 0.003 0.017 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_37_Bor03_C.trs 1.787 1.736 60.0 60.0 60.0 1.782 1.782 1.895
TRS/TRCSR/Ex4_7_37_Bor03_FR.trs 0.172 0.082 1.184 3.075 60.0 0.069 0.066 0.075
TRS/TRCSR/Ex4_7_37_Bor03_GM.trs 0.188 0.102 7.126 47.559 60.0 0.051 0.05 0.071
TRS/TRCSR/Ex4_7_37_Bor03_iGM.trs 1.643 1.42 60.0 60.0 60.0 1.27 1.274 1.347
TRS/TRCSR/Ex4_7_37_Bor03_Z.trs 0.203 0.118 1.667 3.694 60.0 0.023 0.023 0.028
TRS/TRCSR/Ex4_7_56_Bor03_C.trs 0.423 0.353 8.488 60.0 60.0 0.371 0.353 0.388
TRS/TRCSR/Ex4_7_56_Bor03_FR.trs 0.048 0.016 0.044 0.029 60.0 0.0 0.001 0.0
TRS/TRCSR/Ex4_7_56_Bor03_GM.trs 0.049 0.013 0.237 0.217 60.0 0.001 0.0 0.002
TRS/TRCSR/Ex4_7_56_Bor03_iGM.trs 0.354 0.239 9.239 7.42 60.0 0.191 0.189 0.206
TRS/TRCSR/Ex4_7_56_Bor03_Z.trs 0.008 0.0 0.021 0.019 11.282 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_77_Bor03_C.trs 0.175 0.088 0.563 0.317 60.0 0.089 0.044 0.051
TRS/TRCSR/Ex4_7_77_Bor03_FR.trs 0.002 0.0 0.0 0.005 0.012 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_77_Bor03_GM.trs 0.037 0.004 0.051 0.042 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_77_Bor03_iGM.trs 0.17 0.075 0.449 0.881 60.0 0.195 0.156 0.152
TRS/TRCSR/Ex4_7_77_Bor03_Z.trs 0.023 0.0 0.022 0.006 0.001 0.0 0.0 0.0
TRS/TRCSR/Ex49_GM04_C.trs 1.101 1.044 60.0 60.0 60.0 0.443 0.431 0.45
TRS/TRCSR/Ex49_GM04_FR.trs 0.084 0.023 3.337 58.953 60.0 0.021 0.019 0.025
TRS/TRCSR/Ex49_GM04_GM.trs 0.199 0.114 7.808 60.0 60.0 0.114 0.113 0.13
TRS/TRCSR/Ex49_GM04_iGM.trs 0.825 0.705 60.0 60.0 60.0 0.575 0.576 1.407
TRS/TRCSR/Ex49_GM04_Z.trs 0.194 0.103 2.923 17.18 60.0 0.026 0.018 0.023
TRS/TRCSR/Ex4_DLMMU04_C.trs 1.906 1.882 60.0 60.0 60.0 4.85 1.998 2.413
problem t e s nv g c r *
TRS/TRCSR/Ex4_DLMMU04_FR.trs 0.373 0.293 60.0 60.0 60.0 0.304 0.301 0.338
TRS/TRCSR/Ex4_DLMMU04_GM.trs 0.478 0.39 60.0 60.0 60.0 0.401 0.417 0.45
TRS/TRCSR/Ex4_DLMMU04_iGM.trs 4.828 4.683 60.0 60.0 60.0 6.591 4.33 4.534
TRS/TRCSR/Ex4_DLMMU04_Z.trs 0.281 0.193 60.0 60.0 60.0 0.221 0.213 0.225
TRS/TRCSR/Ex4_Zan97_C.trs 0.727 0.639 24.622 60.0 60.0 0.67 0.666 0.711
TRS/TRCSR/Ex4_Zan97_FR.trs 0.071 0.021 0.104 0.072 60.0 0.015 0.011 0.014
TRS/TRCSR/Ex4_Zan97_GM.trs 0.053 0.011 0.603 0.67 60.0 0.007 0.007 0.012
TRS/TRCSR/Ex4_Zan97_iGM.trs 0.505 0.387 16.572 21.486 60.0 0.354 0.348 0.384
TRS/TRCSR/Ex4_Zan97_Z.trs 0.044 0.013 0.046 0.027 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex5_7_Luc97_C.trs 3.07 6.448 60.0 60.0 60.0 3.079 3.139 3.291
TRS/TRCSR/Ex5_7_Luc97_FR.trs 0.193 0.111 4.232 3.224 60.0 0.11 0.103 0.121
TRS/TRCSR/Ex5_7_Luc97_GM.trs 0.134 0.059 21.611 17.97 60.0 0.06 0.063 0.093
TRS/TRCSR/Ex5_7_Luc97_iGM.trs 3.043 2.632 60.0 60.0 60.0 2.321 2.291 2.552
TRS/TRCSR/Ex5_7_Luc97_Z.trs 0.175 0.096 3.445 3.708 60.0 0.257 0.279 0.295
TRS/TRCSR/Ex5_DLMMU04_C.trs 3.262 2.218 60.0 60.0 60.0 2.286 2.291 2.443
TRS/TRCSR/Ex5_DLMMU04_FR.trs 0.089 0.019 5.942 19.531 60.0 0.082 0.089 0.116
TRS/TRCSR/Ex5_DLMMU04_GM.trs 0.197 0.129 9.866 3.296 60.0 0.04 0.04 0.063
TRS/TRCSR/Ex5_DLMMU04_iGM.trs 1.487 1.641 60.0 60.0 60.0 1.357 1.358 1.469
TRS/TRCSR/Ex5_DLMMU04_Z.trs 0.088 0.02 6.892 15.752 60.0 0.024 0.024 0.028
TRS/TRCSR/Ex5_Zan97_C.trs 0.236 0.133 1.355 0.645 60.0 0.144 60.0 0.515
TRS/TRCSR/Ex5_Zan97_FR.trs 0.045 0.014 0.046 0.058 60.0 0.001 0.0 0.0
TRS/TRCSR/Ex5_Zan97_GM.trs 0.091 0.024 0.133 0.152 60.0 0.028 0.038 0.04
TRS/TRCSR/Ex5_Zan97_iGM.trs 0.282 0.132 1.169 0.974 60.0 0.14 0.194 0.181
TRS/TRCSR/Ex5_Zan97_Z.trs 0.008 0.014 0.0 0.008 0.072 0.0 0.0 0.0
TRS/TRCSR/Ex6_15_AEL02_C.trs 11.625 7.574 60.0 60.0 60.0 7.694 11.457 8.329
problem t e s nv g c r *
TRS/TRCSR/Ex6_15_AEL02_FR.trs 0.282 0.187 13.28 37.501 60.0 0.203 0.204 0.215
TRS/TRCSR/Ex6_15_AEL02_GM.trs 0.18 0.165 60.0 31.603 60.0 0.165 0.164 0.259
TRS/TRCSR/Ex6_15_AEL02_iGM.trs 5.788 9.306 60.0 60.0 60.0 4.749 4.718 5.066
TRS/TRCSR/Ex6_15_AEL02_Z.trs 0.579 0.507 12.116 30.699 60.0 0.199 0.194 0.21
TRS/TRCSR/Ex6_9_Luc02c_C.trs 0.634 0.549 19.808 60.0 60.0 0.58 0.582 0.608
TRS/TRCSR/Ex6_9_Luc02c_FR.trs 0.05 0.013 0.047 0.027 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_9_Luc02c_GM.trs 0.047 0.015 0.247 0.382 60.0 0.001 0.002 0.005
TRS/TRCSR/Ex6_9_Luc02c_iGM.trs 0.443 0.338 5.847 16.697 60.0 0.255 0.267 0.279
TRS/TRCSR/Ex6_9_Luc02c_Z.trs 0.009 0.0 0.027 0.005 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_C.trs 0.098 0.026 0.114 0.093 60.0 0.035 0.0 0.0
TRS/TRCSR/Ex6_GM04_FR.trs 0.005 0.0 0.056 0.027 0.636 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_GM.trs 0.0 0.0 0.002 0.002 0.002 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_iGM.trs 0.089 0.015 0.044 0.03 1.897 0.009 0.0 0.0
TRS/TRCSR/Ex6_GM04_L.trs 0.0 0.0 0.0 0.015 0.0 0.0 0.0 0.003
TRS/TRCSR/Ex6_GM04_Z.trs 0.0 0.0 0.06 0.018 0.635 0.0 0.0 0.0
TRS/TRCSR/Ex6_Luc98_C.trs 0.498 0.411 10.139 60.0 60.0 0.419 0.797 1.169
TRS/TRCSR/Ex6_Luc98_FR.trs 0.141 0.054 0.456 0.318 60.0 0.055 0.056 0.075
TRS/TRCSR/Ex6_Luc98_GM.trs 0.517 0.105 0.346 0.22 60.0 0.089 0.078 0.046
TRS/TRCSR/Ex6_Luc98_iGM.trs 0.432 0.29 8.448 17.602 60.0 0.272 0.263 0.273
TRS/TRCSR/Ex6_Luc98_L.trs 0.001 0.0 0.0 0.003 0.0 0.003 0.0 0.0
TRS/TRCSR/Ex6_Luc98_Z.trs 0.0 0.0 0.019 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex7_BLR02_C.trs 1.396 1.632 60.0 60.0 60.0 3.396 1.39 1.427
TRS/TRCSR/Ex7_BLR02_FR.trs 0.113 0.028 0.25 0.178 60.0 0.028 0.027 0.039
TRS/TRCSR/Ex7_BLR02_GM.trs 0.087 0.025 2.447 3.075 60.0 0.024 0.024 0.039
TRS/TRCSR/Ex7_BLR02_iGM.trs 0.877 0.847 60.0 60.0 60.0 1.574 1.585 0.976
problem t e s nv g c r *
TRS/TRCSR/Ex7_BLR02_Z.trs 0.064 0.017 0.081 0.055 60.0 0.0 0.0 0.002
TRS/TRCSR/Ex8_BLR02_C.trs 0.664 0.586 60.0 60.0 60.0 1.303 1.288 1.275
TRS/TRCSR/Ex8_BLR02_FR.trs 0.094 0.039 0.153 0.161 60.0 0.023 0.026 0.032
TRS/TRCSR/Ex8_BLR02_GM.trs 0.092 0.024 1.647 2.713 60.0 0.027 0.026 0.04
TRS/TRCSR/Ex8_BLR02_iGM.trs 0.985 0.852 60.0 60.0 60.0 1.362 1.891 1.984
TRS/TRCSR/Ex8_BLR02_Z.trs 0.048 0.016 0.055 0.052 60.0 0.0 0.0 0.003
TRS/TRCSR/Ex9_BLR02_C.trs 0.818 0.749 60.0 60.0 60.0 0.743 0.77 0.813
TRS/TRCSR/Ex9_BLR02_FR.trs 0.068 0.012 0.904 0.585 60.0 0.01 0.01 0.026
TRS/TRCSR/Ex9_BLR02_GM.trs 0.182 0.091 1.451 0.893 60.0 0.093 0.094 0.107
TRS/TRCSR/Ex9_BLR02_iGM.trs 0.681 0.593 60.0 60.0 60.0 0.48 0.469 0.532
TRS/TRCSR/Ex9_BLR02_L.trs 0.002 0.0 0.001 0.0 0.011 0.0 0.0 0.0
TRS/TRCSR/Ex9_BLR02_Z.trs 0.048 0.02 7.862 60.0 60.0 0.166 0.142 0.06
TRS/TRCSR/Ex9_Luc04_C.trs 0.206 0.137 4.203 60.0 60.0 0.064 0.063 0.07
TRS/TRCSR/Ex9_Luc04_FR.trs 0.004 0.0 0.006 0.012 0.206 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_GM.trs 0.008 0.001 0.199 1.553 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_iGM.trs 0.175 0.059 5.263 36.485 60.0 0.064 0.059 0.062
TRS/TRCSR/Ex9_Luc04_L.trs 0.0 0.0 0.0 0.013 0.0 0.001 0.0 0.0
TRS/TRCSR/Ex9_Luc04_Z.trs 0.001 0.0 0.017 0.006 0.22 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc06_C.trs 0.115 0.038 1.906 22.843 60.0 0.095 0.022 0.069
TRS/TRCSR/Ex9_Luc06_FR.trs 0.002 0.0 0.019 0.021 0.5 0.0 0.0 0.002
TRS/TRCSR/Ex9_Luc06_GM.trs 0.012 0.0 0.056 0.345 60.0 0.08 0.0 0.082
TRS/TRCSR/Ex9_Luc06_iGM.trs 0.159 0.061 0.659 1.806 60.0 0.495 60.0 0.576
TRS/TRCSR/Ex9_Luc06_L.trs 0.021 0.0 0.019 0.008 0.014 0.001 0.001 0.0
TRS/TRCSR/Ex9_Luc06_Z.trs 0.036 0.029 0.073 0.045 1.225 0.009 0.012 0.019
TRS/TRCSR/ExAppendixB_AEL03_C.trs 5.465 4.041 60.0 60.0 60.0 4.139 7.899 4.488
problem t e s nv g c r *
TRS/TRCSR/ExAppendixB_AEL03_FR.trs 0.202 0.078 0.635 1.111 60.0 0.081 0.077 0.083
TRS/TRCSR/ExAppendixB_AEL03_GM.trs 0.196 0.145 60.0 60.0 60.0 0.244 0.147 0.223
TRS/TRCSR/ExAppendixB_AEL03_iGM.trs 4.732 4.728 60.0 60.0 60.0 5.488 3.706 4.004
TRS/TRCSR/ExAppendixB_AEL03_Z.trs 0.159 0.037 0.397 0.621 60.0 0.039 0.044 0.038
TRS/TRCSR/ExConc_Zan97_C.trs 0.189 0.096 0.479 0.337 60.0 0.117 0.003 0.009
TRS/TRCSR/ExConc_Zan97_FR.trs 0.006 0.002 0.056 0.002 1.99 0.0 0.0 0.0
TRS/TRCSR/ExConc_Zan97_GM.trs 0.0 0.004 0.021 0.005 8.129 0.001 0.0 0.0
TRS/TRCSR/ExConc_Zan97_iGM.trs 0.234 0.138 0.461 0.166 60.0 0.042 0.0 0.001
TRS/TRCSR/ExConc_Zan97_L.trs 0.0 0.0 0.0 0.003 0.0 0.003 0.0 0.0
TRS/TRCSR/ExConc_Zan97_Z.trs 0.0 0.0 0.013 0.0 0.007 0.0 0.0 0.0
TRS/TRCSR/ExIntrod_GM01_C.trs 1.082 1.015 34.365 5.592 60.0 1.031 60.0 1.533
TRS/TRCSR/ExIntrod_GM01_FR.trs 0.068 0.016 0.239 0.133 60.0 0.01 0.016 0.018
TRS/TRCSR/ExIntrod_GM01_GM.trs 0.208 0.1 2.343 1.474 60.0 0.099 0.212 0.225
TRS/TRCSR/ExIntrod_GM01_iGM.trs 2.132 1.887 20.267 29.036 60.0 1.109 4.696 1.122
TRS/TRCSR/ExIntrod_GM01_Z.trs 0.088 0.019 0.21 0.1 60.0 0.016 0.019 0.02
TRS/TRCSR/ExIntrod_GM04_C.trs 0.684 0.608 13.617 3.106 60.0 0.682 60.0 1.958
TRS/TRCSR/ExIntrod_GM04_FR.trs 0.154 0.067 1.151 0.58 60.0 0.068 0.03 0.034
TRS/TRCSR/ExIntrod_GM04_GM.trs 0.119 0.037 1.229 0.712 60.0 0.06 0.107 0.112
TRS/TRCSR/ExIntrod_GM04_iGM.trs 0.921 0.675 12.337 16.219 60.0 0.508 0.56 0.558
TRS/TRCSR/ExIntrod_GM04_Z.trs 0.071 0.018 0.418 0.161 60.0 0.01 0.022 0.03
TRS/TRCSR/ExIntrod_GM99_C.trs 2.922 3.61 60.0 60.0 60.0 2.975 3.441 5.103
TRS/TRCSR/ExIntrod_GM99_FR.trs 0.187 0.015 1.919 18.874 60.0 0.017 0.026 0.024
TRS/TRCSR/ExIntrod_GM99_GM.trs 0.195 0.051 60.0 60.0 60.0 0.054 0.054 0.074
TRS/TRCSR/ExIntrod_GM99_iGM.trs 1.922 1.88 60.0 60.0 60.0 1.64 1.651 3.09
TRS/TRCSR/ExIntrod_GM99_Z.trs 0.21 0.04 1.39 7.184 60.0 0.006 0.006 0.009
problem t e s nv g c r *
TRS/TRCSR/ExIntrod_Zan97_C.trs 1.356 1.307 60.0 60.0 60.0 1.316 1.343 1.411
TRS/TRCSR/ExIntrod_Zan97_FR.trs 0.111 0.034 4.168 22.484 60.0 0.032 0.036 0.041
TRS/TRCSR/ExIntrod_Zan97_GM.trs 0.111 0.038 20.689 60.0 60.0 0.042 0.042 0.068
TRS/TRCSR/ExIntrod_Zan97_iGM.trs 0.794 0.568 60.0 60.0 60.0 0.447 0.462 0.501
TRS/TRCSR/ExIntrod_Zan97_Z.trs 0.089 0.019 1.218 9.031 60.0 0.016 0.016 0.016
TRS/TRCSR/ExProp7_Luc06_C.trs 0.431 0.343 4.014 1.7 60.0 0.374 0.094 0.113
TRS/TRCSR/ExProp7_Luc06_FR.trs 0.065 0.022 0.112 0.076 60.0 0.0 0.0 0.0
TRS/TRCSR/ExProp7_Luc06_GM.trs 0.113 0.03 0.163 0.167 60.0 0.022 0.028 0.026
TRS/TRCSR/ExProp7_Luc06_iGM.trs 0.273 0.168 2.153 1.717 60.0 0.146 0.222 0.195
TRS/TRCSR/ExProp7_Luc06_L.trs 0.001 0.0 0.0 0.004 0.011 0.0 0.0 0.0
TRS/TRCSR/ExProp7_Luc06_Z.trs 0.002 0.0 0.012 0.006 0.019 0.0 0.0 0.0
TRS/TRCSR/ExSec11_1_Luc02a_C.trs 3.031 4.952 60.0 60.0 60.0 2.758 2.766 2.948
TRS/TRCSR/ExSec11_1_Luc02a_FR.trs 0.186 0.099 3.146 11.841 60.0 0.109 0.108 0.12
TRS/TRCSR/ExSec11_1_Luc02a_GM.trs 0.138 0.06 14.798 60.0 60.0 0.059 0.06 0.086
TRS/TRCSR/ExSec11_1_Luc02a_iGM.trs 1.678 1.789 60.0 60.0 60.0 1.432 1.423 3.44
TRS/TRCSR/ExSec11_1_Luc02a_L.trs 0.171 0.088 0.173 0.163 60.0 0.019 0.02 0.024
TRS/TRCSR/ExSec11_1_Luc02a_Z.trs 0.15 0.052 0.208 0.397 60.0 0.057 0.059 0.056
TRS/TRCSR/ExSec4_2_DLMMU04_C.trs 5.569 5.611 60.0 60.0 60.0 5.665 9.5 6.049
TRS/TRCSR/ExSec4_2_DLMMU04_FR.trs 0.068 0.018 10.384 60.0 60.0 0.011 0.014 0.014
TRS/TRCSR/ExSec4_2_DLMMU04_GM.trs 0.19 0.132 60.0 60.0 60.0 0.145 0.146 0.22
TRS/TRCSR/ExSec4_2_DLMMU04_iGM.trs 2.145 1.873 60.0 60.0 60.0 1.367 1.416 3.662
TRS/TRCSR/ExSec4_2_DLMMU04_Z.trs 0.039 0.013 9.699 60.0 60.0 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_complete_C.trs 16.717 17.775 60.0 60.0 60.0 21.445 17.234 18.114
TRS/TRCSR/LengthOfFiniteLists_complete_FR.trs 0.288 0.216 60.0 60.0 60.0 0.276 0.275 0.369
TRS/TRCSR/LengthOfFiniteLists_complete_GM.trs 1.367 1.34 60.0 60.0 60.0 1.382 1.382 1.555
problem t e s nv g c r *
TRS/TRCSR/LengthOfFiniteLists_complete_iGM.trs 24.869 20.0 60.0 60.0 60.0 19.614 15.731 16.801
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.98 1.909 60.0 60.0 60.0 0.988 1.017 1.132
TRS/TRCSR/LengthOfFiniteLists_complete_noand_GM.trs 6.39 5.174 60.0 60.0 60.0 5.122 5.131 5.634
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.879 1.614 60.0 60.0 60.0 2.293 1.983 0.991
TRS/TRCSR/LengthOfFiniteLists_complete_Z.trs 0.746 0.662 60.0 60.0 60.0 0.74 0.733 0.828
TRS/TRCSR/LengthOfFiniteLists_nokinds_C.trs 1.425 1.373 60.0 60.0 60.0 1.404 1.393 1.558
TRS/TRCSR/LengthOfFiniteLists_nokinds_FR.trs 0.367 0.277 18.672 29.185 60.0 0.288 0.29 0.31
TRS/TRCSR/LengthOfFiniteLists_nokinds_GM.trs 0.276 0.184 16.433 34.816 60.0 0.19 0.189 0.209
TRS/TRCSR/LengthOfFiniteLists_nokinds_iGM.trs 1.964 1.528 60.0 60.0 60.0 1.474 1.475 3.896
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_C.trs 6.113 6.885 60.0 60.0 60.0 6.213 9.855 6.66
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_FR.trs 0.285 0.192 25.188 60.0 60.0 0.197 0.2 0.228
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_GM.trs 0.348 0.272 60.0 60.0 60.0 0.283 0.281 0.326
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_iGM.trs 7.172 7.142 60.0 60.0 60.0 9.599 5.699 6.118
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_Z.trs 0.219 0.127 23.246 60.0 60.0 0.143 0.146 0.173
TRS/TRCSR/LengthOfFiniteLists_nokinds_Z.trs 0.279 0.193 13.949 30.702 60.0 0.211 0.204 0.233
TRS/TRCSR/LengthOfFiniteLists_nosorts_C.trs 0.462 0.372 6.148 1.797 60.0 0.381 0.163 0.175
TRS/TRCSR/LengthOfFiniteLists_nosorts_FR.trs 0.004 0.0 0.019 0.007 0.029 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_GM.trs 0.111 0.031 0.369 0.238 60.0 0.039 0.01 0.014
TRS/TRCSR/LengthOfFiniteLists_nosorts_iGM.trs 1.188 0.899 7.215 4.01 60.0 0.326 0.376 0.338
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_C.trs 0.721 0.641 17.044 3.926 60.0 0.669 0.116 0.144
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR.trs 0.008 0.0 0.029 0.018 0.157 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_GM.trs 0.179 0.086 0.87 0.3 60.0 0.093 0.021 0.025
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_iGM.trs 0.791 0.535 13.368 12.492 60.0 0.546 0.728 0.458
problem t e s nv g c r *
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_Z.trs 0.01 0.0 0.034 0.009 0.157 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_Z.trs 0.005 0.014 0.023 0.007 0.02 0.0 0.0 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 1.367 1.516 60.0 60.0 60.0 2.156 2.255 2.662
TRS/TRCSR/LISTUTILITIES_complete_GM.trs 3.538 4.967 60.0 60.0 60.0 9.142 5.103 4.814
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 4.123 4.714 60.0 60.0 60.0 8.015 6.396 5.524
TRS/TRCSR/LISTUTILITIES_complete_noand_GM.trs 46.344 59.24 60.0 60.0 60.0 53.216 54.115 43.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 3.647 3.882 60.0 60.0 60.0 10.374 5.921 4.948
TRS/TRCSR/LISTUTILITIES_complete_Z.trs 1.125 1.159 60.0 60.0 60.0 1.743 1.775 2.19
TRS/TRCSR/LISTUTILITIES_nokinds_C.trs 29.134 29.962 60.0 60.0 60.0 29.701 29.803 30.429
TRS/TRCSR/LISTUTILITIES_nokinds_FR.trs 0.469 0.463 60.0 60.0 60.0 0.582 0.593 0.892
TRS/TRCSR/LISTUTILITIES_nokinds_GM.trs 0.599 0.735 60.0 60.0 60.0 0.798 0.809 1.322
TRS/TRCSR/LISTUTILITIES_nokinds_iGM.trs 38.478 41.848 60.0 60.0 60.0 33.197 33.886 34.959
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.768 0.807 60.0 60.0 60.0 1.015 1.02 1.495
TRS/TRCSR/LISTUTILITIES_nokinds_noand_GM.trs 2.359 6.286 60.0 60.0 60.0 3.023 3.024 3.792
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.613 0.592 60.0 60.0 60.0 0.809 0.844 1.208
TRS/TRCSR/LISTUTILITIES_nokinds_Z.trs 0.346 0.315 60.0 60.0 60.0 0.42 0.419 0.622
TRS/TRCSR/LISTUTILITIES_nosorts_C.trs 4.479 8.338 60.0 60.0 60.0 4.654 4.761 5.092
TRS/TRCSR/LISTUTILITIES_nosorts_FR.trs 0.108 0.035 0.709 0.723 60.0 0.045 0.037 0.044
TRS/TRCSR/LISTUTILITIES_nosorts_GM.trs 0.22 0.179 45.956 57.378 60.0 0.185 0.186 0.295
problem t e s nv g c r *
TRS/TRCSR/LISTUTILITIES_nosorts_iGM.trs 5.744 5.903 60.0 60.0 60.0 6.92 5.142 5.662
TRS/TRCSR/LISTUTILITIES_nosorts_noand_C.trs 51.726 52.192 60.0 60.0 60.0 56.09 51.977 56.139
TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR.trs 0.189 0.096 5.894 13.484 60.0 0.123 0.118 0.141
TRS/TRCSR/LISTUTILITIES_nosorts_noand_GM.trs 0.681 0.851 60.0 60.0 60.0 0.817 0.818 1.3
TRS/TRCSR/LISTUTILITIES_nosorts_noand_iGM.trs 51.569 55.068 60.0 60.0 60.0 44.428 45.256 51.153
TRS/TRCSR/LISTUTILITIES_nosorts-noand_Z.trs 0.134 0.045 4.242 7.672 60.0 0.066 0.065 0.101
TRS/TRCSR/LISTUTILITIES_nosorts_Z.trs 0.051 0.018 0.422 0.443 60.0 0.003 0.004 0.007
TRS/TRCSR/MYNAT_complete_C.trs 17.661 14.164 60.0 60.0 60.0 15.889 14.21 17.518
TRS/TRCSR/MYNAT_complete_FR.trs 0.253 0.169 60.0 60.0 60.0 0.234 0.236 0.334
TRS/TRCSR/MYNAT_complete_GM.trs 0.293 0.261 60.0 60.0 60.0 0.325 0.327 0.497
TRS/TRCSR/MYNAT_complete_iGM.trs 16.079 13.587 60.0 60.0 60.0 15.393 11.587 12.434
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.428 0.363 60.0 60.0 60.0 0.473 0.472 0.636
TRS/TRCSR/MYNAT_complete_noand_GM.trs 1.591 1.867 60.0 60.0 60.0 1.841 1.781 2.497
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.407 0.34 60.0 60.0 60.0 0.443 0.443 0.6
TRS/TRCSR/MYNAT_complete_Z.trs 0.218 0.142 60.0 60.0 60.0 0.206 0.211 0.282
TRS/TRCSR/MYNAT_nokinds_C.trs 1.739 4.31 60.0 60.0 60.0 2.022 1.769 2.003
TRS/TRCSR/MYNAT_nokinds_FR.trs 0.119 0.039 13.155 60.0 60.0 0.058 0.06 0.086
TRS/TRCSR/MYNAT_nokinds_GM.trs 0.142 0.065 60.0 60.0 60.0 0.082 0.084 0.111
TRS/TRCSR/MYNAT_nokinds_iGM.trs 2.423 2.471 60.0 60.0 60.0 2.168 3.597 3.556
TRS/TRCSR/MYNAT_nokinds_noand_C.trs 8.021 8.093 60.0 60.0 60.0 12.095 8.142 8.743
TRS/TRCSR/MYNAT_nokinds-noand_FR.trs 0.152 0.065 26.01 60.0 60.0 0.09 0.089 0.114
TRS/TRCSR/MYNAT_nokinds_noand_GM.trs 0.326 0.267 60.0 60.0 60.0 0.278 0.28 0.351
TRS/TRCSR/MYNAT_nokinds_noand_iGM.trs 7.202 11.664 60.0 60.0 60.0 6.686 6.733 11.162
problem t e s nv g c r *
TRS/TRCSR/MYNAT_nokinds-noand_Z.trs 0.14 0.056 19.538 60.0 60.0 0.076 0.076 0.107
TRS/TRCSR/MYNAT_nokinds_Z.trs 0.107 0.032 12.656 60.0 60.0 0.051 0.044 0.066
TRS/TRCSR/MYNAT_nosorts_C.trs 0.547 0.458 22.006 60.0 60.0 0.47 0.464 0.497
TRS/TRCSR/MYNAT_nosorts_FR.trs 0.008 0.0 0.043 0.05 60.0 0.0 0.0 0.0
TRS/TRCSR/MYNAT_nosorts_GM.trs 0.064 0.013 1.038 2.958 60.0 0.01 0.011 0.018
TRS/TRCSR/MYNAT_nosorts_iGM.trs 0.415 0.322 20.063 25.311 60.0 0.289 0.293 0.304
TRS/TRCSR/MYNAT_nosorts_noand_C.trs 1.738 1.687 60.0 60.0 60.0 4.014 2.315 1.791
TRS/TRCSR/MYNAT_nosorts-noand_FR.trs 0.069 0.019 0.689 2.58 60.0 0.012 0.012 0.018
TRS/TRCSR/MYNAT_nosorts_noand_GM.trs 0.111 0.033 60.0 60.0 60.0 0.039 0.039 0.057
TRS/TRCSR/MYNAT_nosorts_noand_iGM.trs 1.831 1.714 60.0 60.0 60.0 1.65 1.647 1.732
TRS/TRCSR/MYNAT_nosorts-noand_Z.trs 0.066 0.022 0.691 5.453 60.0 0.063 0.063 0.076
TRS/TRCSR/MYNAT_nosorts_Z.trs 0.052 0.037 0.048 0.05 60.0 0.0 0.0 0.0
TRS/TRCSR/OvConsOS_complete_C.trs 39.504 39.917 60.0 60.0 60.0 40.103 40.43 41.369
TRS/TRCSR/OvConsOS_complete_FR.trs 0.384 0.321 60.0 60.0 60.0 0.502 1.198 1.867
TRS/TRCSR/OvConsOS_complete_GM.trs 2.298 1.718 60.0 60.0 60.0 1.807 1.8 2.142
TRS/TRCSR/OvConsOS_complete_iGM.trs 32.928 27.919 60.0 60.0 60.0 20.387 16.472 31.379
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.759 2.72 60.0 60.0 60.0 2.979 2.981 3.302
TRS/TRCSR/OvConsOS_complete_noand_GM.trs 8.631 6.412 60.0 60.0 60.0 6.2 6.189 9.422
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 2.042 1.981 60.0 60.0 60.0 2.218 2.245 2.583
TRS/TRCSR/OvConsOS_complete_Z.trs 1.199 1.131 60.0 60.0 60.0 1.279 1.277 1.49
TRS/TRCSR/OvConsOS_nokinds_C.trs 3.673 3.124 60.0 60.0 60.0 1.95 1.949 2.151
TRS/TRCSR/OvConsOS_nokinds_FR.trs 0.447 0.379 60.0 60.0 60.0 0.413 0.413 0.466
TRS/TRCSR/OvConsOS_nokinds_GM.trs 0.467 0.39 60.0 60.0 60.0 0.4 0.399 0.461
problem t e s nv g c r *
TRS/TRCSR/OvConsOS_nokinds_iGM.trs 5.068 8.553 60.0 60.0 60.0 4.026 4.018 4.373
TRS/TRCSR/OvConsOS_nokinds_noand_C.trs 22.759 22.469 60.0 60.0 60.0 18.888 18.78 23.416
TRS/TRCSR/OvConsOS_nokinds-noand_FR.trs 0.634 0.498 60.0 60.0 60.0 0.554 0.535 0.645
TRS/TRCSR/OvConsOS_nokinds_noand_GM.trs 1.54 1.498 60.0 60.0 60.0 1.496 1.87 4.085
TRS/TRCSR/OvConsOS_nokinds_noand_iGM.trs 14.708 18.464 60.0 60.0 60.0 10.491 14.38 11.413
TRS/TRCSR/OvConsOS_nokinds-noand_Z.trs 0.444 0.368 60.0 60.0 60.0 0.417 0.41 0.45
TRS/TRCSR/OvConsOS_nokinds_Z.trs 0.527 0.444 60.0 60.0 60.0 0.478 0.474 0.536
TRS/TRCSR/OvConsOS_nosorts_C.trs 0.837 0.75 23.381 4.762 60.0 0.767 60.0 1.273
TRS/TRCSR/OvConsOS_nosorts_FR.trs 0.239 0.008 0.089 0.063 60.0 0.007 0.011 0.012
TRS/TRCSR/OvConsOS_nosorts_GM.trs 0.289 0.2 2.494 1.5 60.0 0.222 0.293 0.225
TRS/TRCSR/OvConsOS_nosorts_iGM.trs 1.027 0.811 15.393 16.299 60.0 0.612 1.516 0.727
TRS/TRCSR/OvConsOS_nosorts_noand_C.trs 3.091 3.034 60.0 52.315 60.0 6.675 0.675 1.459
TRS/TRCSR/OvConsOS_nosorts-noand_FR.trs 0.13 0.03 0.504 0.382 60.0 0.038 0.062 0.07
TRS/TRCSR/OvConsOS_nosorts_noand_GM.trs 0.357 0.259 8.025 1.693 60.0 0.263 0.355 0.384
TRS/TRCSR/OvConsOS_nosorts_noand_iGM.trs 5.318 4.406 60.0 60.0 60.0 3.542 60.0 4.177
TRS/TRCSR/OvConsOS_nosorts-noand_Z.trs 0.12 0.026 0.418 0.296 60.0 0.028 0.025 0.033
TRS/TRCSR/OvConsOS_nosorts_Z.trs 0.05 0.014 0.068 0.033 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_complete_C.trs 11.652 12.26 60.0 60.0 60.0 60.0 60.0 15.696
TRS/TRCSR/PALINDROME_complete_FR.trs 0.402 0.322 60.0 60.0 60.0 60.0 60.0 1.327
TRS/TRCSR/PALINDROME_complete_GM.trs 1.889 1.912 60.0 60.0 60.0 60.0 60.0 2.944
TRS/TRCSR/PALINDROME_complete_iGM.trs 50.521 39.347 60.0 60.0 60.0 60.0 60.0 43.531
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 0.91 0.844 60.0 60.0 60.0 60.0 60.0 1.862
TRS/TRCSR/PALINDROME_complete_noand_GM.trs 8.993 13.237 60.0 60.0 60.0 60.0 60.0 10.461
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.256 0.156 60.0 32.406 60.0 0.206 0.356 0.418
TRS/TRCSR/PALINDROME_complete-noand_Z.trs 0.796 0.69 60.0 60.0 60.0 60.0 60.0 1.723
TRS/TRCSR/PALINDROME_complete_Z.trs 0.538 0.449 60.0 60.0 60.0 60.0 60.0 2.037
TRS/TRCSR/PALINDROME_nokinds_C.trs 2.358 0.936 60.0 60.0 60.0 1.649 0.407 0.917
TRS/TRCSR/PALINDROME_nokinds_FR.trs 0.229 0.141 24.76 48.211 60.0 14.175 0.398 0.909
TRS/TRCSR/PALINDROME_nokinds_GM.trs 0.207 0.115 15.921 27.75 60.0 17.081 0.635 0.744
TRS/TRCSR/PALINDROME_nokinds_iGM.trs 2.794 1.643 60.0 60.0 60.0 60.0 60.0 2.587
TRS/TRCSR/PALINDROME_nokinds_noand_C.trs 8.955 12.915 60.0 60.0 60.0 10.299 1.945 13.818
TRS/TRCSR/PALINDROME_nokinds-noand_FR.trs 0.249 0.15 44.711 60.0 60.0 2.414 0.659 1.162
TRS/TRCSR/PALINDROME_nokinds_noand_GM.trs 1.053 0.952 60.0 60.0 60.0 20.256 2.03 1.955
TRS/TRCSR/PALINDROME_nokinds_noand_iGM.trs 13.838 9.75 60.0 60.0 60.0 60.0 60.0 10.436
TRS/TRCSR/PALINDROME_nokinds-noand_L.trs 0.181 0.081 7.024 1.553 60.0 0.023 0.045 0.048
TRS/TRCSR/PALINDROME_nokinds-noand_Z.trs 0.259 0.154 42.388 60.0 60.0 2.351 0.626 1.16
TRS/TRCSR/PALINDROME_nokinds_Z.trs 0.223 0.118 23.368 43.81 60.0 10.334 0.34 0.851
TRS/TRCSR/PALINDROME_nosorts_C.trs 0.336 0.248 3.367 2.469 60.0 0.861 0.312 0.53
TRS/TRCSR/PALINDROME_nosorts_FR.trs 0.046 0.035 0.027 0.037 60.0 0.01 0.0 0.002
TRS/TRCSR/PALINDROME_nosorts_GM.trs 0.202 0.035 0.351 0.72 60.0 12.039 0.075 0.576
TRS/TRCSR/PALINDROME_nosorts_iGM.trs 0.404 0.212 2.706 3.715 60.0 60.0 6.093 1.242
TRS/TRCSR/PALINDROME_nosorts_noand_C.trs 1.078 0.735 11.662 60.0 60.0 0.509 0.129 0.23
TRS/TRCSR/PALINDROME_nosorts-noand_FR.trs 0.073 0.0 0.012 0.012 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts_noand_GM.trs 0.147 0.052 0.785 2.275 60.0 16.189 0.096 0.599
TRS/TRCSR/PALINDROME_nosorts_noand_iGM.trs 0.583 0.351 4.622 7.284 60.0 60.0 6.006 1.413
TRS/TRCSR/PALINDROME_nosorts-noand_L.trs 0.037 0.018 0.025 0.045 60.0 0.005 0.003 0.006
TRS/TRCSR/PALINDROME_nosorts-noand_Z.trs 0.032 0.018 0.024 0.046 60.0 0.006 0.005 0.007
TRS/TRCSR/PALINDROME_nosorts_Z.trs 0.047 0.025 0.022 0.039 60.0 0.01 0.003 0.002
problem t e s nv g c r *
TRS/TRCSR/PEANO_complete_C.trs 3.603 2.508 60.0 60.0 60.0 2.592 2.564 2.871
TRS/TRCSR/PEANO_complete_FR.trs 0.173 0.08 60.0 60.0 60.0 0.22 0.212 0.148
TRS/TRCSR/PEANO_complete_GM.trs 0.618 0.481 60.0 60.0 60.0 0.512 0.513 0.577
TRS/TRCSR/PEANO_complete_iGM.trs 6.208 6.266 60.0 60.0 60.0 7.354 4.787 5.103
TRS/TRCSR/PEANO_complete_noand_C.trs 24.715 24.863 60.0 60.0 60.0 25.017 25.237 26.296
TRS/TRCSR/PEANO_complete-noand_FR.trs 0.764 0.654 51.896 60.0 60.0 0.977 1.276 0.754
TRS/TRCSR/PEANO_complete_noand_GM.trs 1.786 1.704 60.0 60.0 60.0 3.284 2.973 1.936
TRS/TRCSR/PEANO_complete_noand_iGM.trs 20.828 17.055 60.0 60.0 60.0 14.253 10.418 15.089
TRS/TRCSR/PEANO_complete-noand_Z.trs 0.509 0.412 47.969 60.0 60.0 0.447 0.454 0.503
TRS/TRCSR/PEANO_complete_Z.trs 0.274 0.189 34.134 60.0 60.0 0.216 0.212 0.236
TRS/TRCSR/PEANO_nokinds_C.trs 0.664 0.58 60.0 60.0 60.0 1.559 1.563 1.705
TRS/TRCSR/PEANO_nokinds_FR.trs 0.112 0.031 2.969 14.371 60.0 0.044 0.036 0.044
TRS/TRCSR/PEANO_nokinds_GM.trs 0.204 0.107 12.388 60.0 60.0 0.115 0.114 0.123
TRS/TRCSR/PEANO_nokinds_iGM.trs 1.273 1.102 60.0 60.0 60.0 1.085 1.092 1.118
TRS/TRCSR/PEANO_nokinds_noand_C.trs 3.474 1.357 60.0 60.0 60.0 1.429 1.428 1.55
TRS/TRCSR/PEANO_nokinds-noand_FR.trs 0.211 0.108 3.766 57.207 60.0 0.111 0.111 0.125
TRS/TRCSR/PEANO_nokinds_noand_GM.trs 0.307 0.22 60.0 60.0 60.0 0.229 0.231 0.253
TRS/TRCSR/PEANO_nokinds_noand_iGM.trs 3.283 7.038 60.0 60.0 60.0 2.415 2.409 2.894
TRS/TRCSR/PEANO_nokinds-noand_Z.trs 0.114 0.086 3.201 55.368 60.0 0.061 0.061 0.067
TRS/TRCSR/PEANO_nokinds_Z.trs 0.132 0.036 2.65 17.017 60.0 0.038 0.038 0.047
TRS/TRCSR/PEANO_nosorts_C.trs 0.305 0.202 2.525 1.145 60.0 0.22 0.081 0.095
TRS/TRCSR/PEANO_nosorts_FR.trs 0.0 0.0 0.002 0.002 0.003 0.001 0.0 0.0
TRS/TRCSR/PEANO_nosorts_GM.trs 0.099 0.022 0.153 0.24 60.0 0.026 0.03 0.033
TRS/TRCSR/PEANO_nosorts_iGM.trs 0.22 0.113 1.698 1.566 60.0 0.097 0.741 0.684
TRS/TRCSR/PEANO_nosorts_noand_C.trs 1.281 1.176 8.127 2.989 60.0 0.481 0.174 0.196
problem t e s nv g c r *
TRS/TRCSR/PEANO_nosorts-noand_FR.trs 0.043 0.0 0.017 0.007 0.167 0.0 0.0 0.0
TRS/TRCSR/PEANO_nosorts_noand_GM.trs 0.13 0.039 0.401 0.299 60.0 0.041 0.051 0.062
TRS/TRCSR/PEANO_nosorts_noand_iGM.trs 0.779 0.583 12.967 6.182 60.0 0.493 10.944 0.765
TRS/TRCSR/PEANO_nosorts-noand_Z.trs 0.275 0.012 0.035 0.024 0.428 0.015 0.0 0.0
TRS/TRCSR/PEANO_nosorts_Z.trs 0.041 0.013 0.013 0.008 0.002 0.0 0.0 0.0
TRS/various/02.trs 0.059 0.021 0.011 0.003 0.513 0.0 0.0 0.0
TRS/various/03.trs 0.035 0.017 0.049 0.029 9.505 0.0 0.0 0.0
TRS/various/04.trs 0.077 0.02 60.0 60.0 60.0 0.017 0.017 0.023
TRS/various/05.trs 0.053 0.035 60.0 60.0 60.0 0.009 0.023 0.007
TRS/various/06.trs 0.006 0.0 0.008 0.015 0.004 0.0 0.0 0.0
TRS/various/07.trs 0.002 0.0 0.0 0.004 0.0 0.003 0.0 0.0
TRS/various/08.trs 0.116 0.034 60.0 60.0 60.0 0.036 0.04 0.039
TRS/various/09.trs 0.007 0.0 0.057 0.023 60.0 0.0 0.012 0.0
TRS/various/10.trs 0.283 0.227 18.704 60.0 60.0 0.618 0.632 0.24
TRS/various/11.trs 0.019 0.0 0.032 0.016 60.0 0.0 0.002 0.009
TRS/various/12.trs 0.068 0.036 0.763 1.582 60.0 0.007 0.006 0.008
TRS/various/13.trs 0.185 0.107 1.68 13.364 60.0 0.104 0.104 0.115
TRS/various/14.trs 1.664 1.509 33.126 60.0 60.0 0.623 0.635 0.625
TRS/various/15.trs 0.004 0.006 0.0 0.0 0.004 0.0 0.004 0.0
TRS/various/18.trs 0.094 0.001 0.087 0.241 60.0 0.294 0.067 0.062
TRS/various/19.trs 0.123 0.044 0.523 2.994 60.0 0.109 0.114 0.185
TRS/various/20.trs 0.009 0.0 0.007 0.01 7.622 0.0 0.0 0.0
TRS/various/21.trs 0.419 0.089 7.379 60.0 60.0 0.233 1.454 0.66
TRS/various/22.trs 0.092 0.026 0.115 0.058 60.0 0.001 0.001 0.002
TRS/various/23.trs 0.067 0.023 0.026 0.025 0.108 0.018 0.007 0.008
problem t e s nv g c r *
TRS/various/24.trs 0.164 0.043 0.07 0.127 60.0 0.045 0.014 0.005
TRS/various/25.trs 0.043 0.0 0.028 0.008 0.127 0.0 0.001 0.0
TRS/various/26.trs 0.049 0.029 0.088 0.165 60.0 0.032 0.032 0.059
TRS/various/27.trs 0.007 0.0 0.0 0.0 0.078 0.0 0.0 0.0
TRS/Waldmann/jwaprove1.trs 0.083 0.0 0.009 0.0 60.0 60.0 60.0 0.0
TRS/Waldmann/jwaprove2.trs 0.033 0.004 0.018 0.004 60.0 60.0 60.0 0.0
TRS/Waldmann/jwcime1.trs 0.042 0.0 0.009 0.0 60.0 0.008 60.0 0.0
TRS/Waldmann/jwcime2.trs 0.056 0.0 0.011 0.002 60.0 0.0 0.002 0.001
TRS/Waldmann/jwmatchb1.trs 0.003 0.0 0.0 0.0 60.0 0.0 0.0 0.0
TRS/Waldmann/jwmatchb2.trs 0.007 0.0 0.003 0.012 60.0 0.0 0.003 0.0
TRS/Waldmann/jwno1.trs 0.011 0.0 0.008 0.015 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno2.trs 0.01 0.0 0.009 0.005 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno3.trs 0.012 0.0 0.009 0.004 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno4.trs 0.006 0.0 0.005 0.005 60.0 0.002 0.003 0.0
TRS/Waldmann/jwno5.trs 0.008 0.0 0.006 0.005 60.0 0.003 0.0 0.0
TRS/Waldmann/jwno6.trs 0.011 0.003 0.014 0.0 60.0 0.002 0.0 0.0
TRS/Waldmann/jwno7.trs 0.01 0.0 0.007 0.008 60.0 0.004 0.0 0.0
TRS/Waldmann/jwno8.trs 0.011 0.0 0.01 0.006 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno9.trs 0.032 0.001 0.01 0.008 60.0 0.0 0.003 0.002
TRS/Waldmann/jwteparla1.trs 0.05 0.012 0.019 0.019 60.0 0.0 0.0 0.0
TRS/Waldmann/jwteparla2.trs 0.048 0.012 0.021 0.023 60.0 0.0 0.0 0.0
TRS/Waldmann/jwtpa1.trs 0.045 0.0 0.011 0.011 60.0 0.0 0.001 0.001
TRS/Waldmann/jwtpa2.trs 0.071 0.02 0.009 0.012 60.0 60.0 60.0 0.007
TRS/Waldmann/jwttt.trs 0.066 0.02 0.018 0.015 60.0 60.0 60.0 0.006
TRS/Zantema06/beans.trs 0.108 0.026 0.051 0.058 60.0 0.03 0.375 0.092
problem t e s nv g c r *
TRS/Zantema06/gcdMinMax.trs 0.108 0.028 0.175 1.901 60.0 0.026 0.036 0.034
TRS/Zantema06/gcd.trs 0.097 0.037 0.166 1.615 60.0 0.03 0.039 0.029
TRS/Zantema06/hydra.trs 0.083 0.026 2.263 38.386 60.0 0.019 0.03 0.024
TRS/Zantema06/test1.trs 0.003 0.0 0.012 0.005 0.029 0.0 0.0 0.0
TRS/Zantema06/while2.trs 0.049 0.0 0.561 0.226 60.0 0.0 0.0 0.0
TRS/Zantema06/while.trs 0.031 0.003 0.044 0.048 60.0 0.0 0.0 0.0
TRS/Zantema/jw01.trs 0.061 0.0 0.017 0.001 7.526 0.0 0.0 0.0
TRS/Zantema/jw02.trs 0.052 0.0 0.016 0.001 1.302 0.0 0.0 0.0
TRS/Zantema/jw03.trs 0.009 0.0 0.005 0.004 37.462 0.0 0.0 0.0
TRS/Zantema/jw04.trs 0.01 0.0 0.015 0.0 37.889 0.0 0.0 0.0
TRS/Zantema/jw05.trs 0.059 0.0 0.018 0.001 60.0 0.0 0.0 0.0
TRS/Zantema/jw06.trs 0.045 0.0 0.01 0.001 56.494 0.0 0.0 0.0
TRS/Zantema/jw07.trs 0.071 0.0 0.015 0.001 60.0 0.0 0.0 0.0
TRS/Zantema/jw08.trs 0.075 0.0 0.014 0.002 60.0 0.0 0.0 0.0
TRS/Zantema/jw09.trs 0.052 0.0 0.019 0.003 60.0 0.0 0.0 0.0
TRS/Zantema/jw11.trs 0.05 0.0 0.023 0.005 60.0 0.0 0.0 0.0
TRS/Zantema/jw12.trs 0.051 0.0 0.019 0.003 60.0 0.0 0.0 0.0
TRS/Zantema/jw13.trs 0.063 0.0 0.02 0.004 60.0 0.0 0.0 0.0
TRS/Zantema/jw14.trs 0.055 0.0 0.007 0.003 60.0 0.0 0.0 0.0
TRS/Zantema/jw15.trs 0.012 0.0 0.02 0.005 60.0 0.008 0.0 0.0
TRS/Zantema/jw16.trs 0.06 0.0 0.008 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw17.trs 0.069 0.0 0.006 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw18.trs 0.118 0.0 0.0 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw19.trs 0.032 0.001 0.022 0.006 60.0 0.0 0.0 0.0
TRS/Zantema/jw20.trs 0.012 0.0 0.006 0.006 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/Zantema/jw21.trs 0.066 0.0 0.011 0.008 60.0 0.0 0.0 0.0
TRS/Zantema/jw22.trs 0.066 0.0 0.014 0.002 60.0 0.0 0.0 0.0
TRS/Zantema/jw23.trs 0.042 0.0 0.009 0.005 60.0 0.0 0.0 0.0
TRS/Zantema/jw24.trs 0.046 0.0 0.017 0.002 60.0 0.0 0.0 0.0
TRS/Zantema/jw25.trs 0.011 0.0 0.006 0.005 60.0 0.0 0.0 0.0
TRS/Zantema/jw26.trs 0.036 0.0 0.023 0.004 60.0 0.005 0.0 0.0
TRS/Zantema/jw27.trs 0.073 0.0 0.011 0.003 60.0 0.0 0.0 0.0
TRS/Zantema/jw28.trs 0.054 0.0 0.009 0.007 60.0 0.0 0.0 0.0
TRS/Zantema/jw29.trs 0.013 0.0 0.013 0.001 60.0 0.0 0.0 0.0
TRS/Zantema/jw30.trs 0.041 0.0 0.008 0.004 60.0 0.0 0.001 0.0
TRS/Zantema/jw31.trs 0.049 0.0 0.018 0.002 60.0 0.0 0.0 0.0
TRS/Zantema/jw32.trs 0.079 0.0 0.009 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw33.trs 0.049 0.0 0.019 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw34.trs 0.012 0.0 0.015 0.004 60.0 0.0 0.0 0.0
TRS/Zantema/jw35.trs 0.068 0.0 0.007 0.003 60.0 0.0 0.0 0.0
TRS/Zantema/jw36.trs 0.074 0.0 0.012 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw37.trs 0.054 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw38.trs 0.064 0.0 0.018 0.0 60.0 0.0 0.008 0.0
TRS/Zantema/jw39.trs 0.064 0.0 0.01 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw40.trs 0.065 0.0 0.016 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw41.trs 0.091 0.0 0.008 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw42.trs 0.053 0.0 0.019 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw43.trs 0.049 0.0 0.011 0.001 60.0 0.0 0.0 0.0
TRS/Zantema/jw44.trs 0.011 0.0 0.018 0.003 60.0 0.0 60.0 0.013
TRS/Zantema/jw47.trs 0.047 0.0 0.022 0.004 60.0 0.0 60.0 0.0
problem t e s nv g c r *
TRS/Zantema/jw50.trs 0.05 0.0 0.017 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/z01.trs 0.077 0.002 0.012 0.016 60.0 0.001 0.064 0.009
TRS/Zantema/z02.trs 0.089 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/z03.trs 0.048 0.016 0.011 0.003 60.0 0.0 0.019 0.002
TRS/Zantema/z04.trs 0.003 0.0 0.042 0.027 60.0 0.0 0.0 0.0
TRS/Zantema/z05.trs 0.053 0.014 0.038 0.062 60.0 0.004 0.009 0.01
TRS/Zantema/z06.trs 0.051 0.013 0.01 0.012 60.0 0.0 0.0 0.0
TRS/Zantema/z07.trs 0.125 0.003 0.02 0.036 60.0 0.004 0.008 0.004
TRS/Zantema/z08.trs 0.05 0.0 0.017 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/z09.trs 0.046 0.0 0.101 0.244 60.0 0.0 0.0 0.0
TRS/Zantema/z10.trs 0.046 0.0 0.084 0.194 60.0 0.0 0.0 0.0
TRS/Zantema/z11.trs 0.146 0.004 0.06 0.173 60.0 0.009 0.014 0.005
TRS/Zantema/z12.trs 0.042 0.0 0.007 0.011 7.546 0.0 0.004 0.005
TRS/Zantema/z13.trs 0.033 0.001 0.01 0.006 0.017 0.0 0.0 0.0
TRS/Zantema/z14.trs 0.055 0.024 0.013 0.013 0.058 0.007 0.01 0.01
TRS/Zantema/z15.trs 0.04 0.021 0.017 0.01 0.027 0.005 0.007 0.008
TRS/Zantema/z16.trs 0.042 0.032 0.023 0.013 0.057 0.009 0.009 0.01
TRS/Zantema/z17.trs 0.044 0.021 0.017 0.015 0.03 0.006 0.008 0.011
TRS/Zantema/z18.trs 0.048 0.025 0.018 0.014 0.029 0.008 0.009 0.009
TRS/Zantema/z19.trs 0.112 0.044 0.062 0.099 60.0 0.048 0.054 0.009
TRS/Zantema/z20.trs 0.075 0.014 0.023 0.038 60.0 0.021 60.0 0.018
TRS/Zantema/z21.trs 0.078 0.015 0.026 0.049 60.0 0.014 0.041 0.016
TRS/Zantema/z22.trs 0.112 0.03 0.042 0.055 60.0 0.034 0.15 0.087
TRS/Zantema/z23.trs 0.044 0.014 0.008 0.012 0.134 0.0 0.004 0.0
TRS/Zantema/z24.trs 0.047 0.012 0.013 0.003 0.034 0.0 0.013 0.013
problem t e s nv g c r *
TRS/Zantema/z25.trs 0.074 0.017 0.03 0.072 60.0 0.014 0.002 0.003
TRS/Zantema/z26.trs 0.087 0.021 0.038 0.061 60.0 0.016 60.0 0.023
TRS/Zantema/z27.trs 0.069 0.0 0.037 0.037 0.581 0.0 0.0 0.0
TRS/Zantema/z28.trs 0.027 0.0 0.056 0.116 60.0 0.0 0.015 0.0
TRS/Zantema/z29.trs 0.069 0.012 0.038 0.073 60.0 0.0 0.003 0.01
TRS/Zantema/z30.trs 0.196 0.018 0.047 0.077 60.0 0.026 1.218 0.235
Yes No Maybe Timeout