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.642 0.006 13.808 60.0 60.0 0.0 0.0 0.004
TRS/AG01/#3.12.trs 0.0 0.0 0.007 0.016 60.0 0.0 0.0 0.0
TRS/AG01/#3.13.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/AG01/#3.14.trs 0.0 0.0 0.003 0.006 60.0 0.0 0.0 0.0
TRS/AG01/#3.15.trs 0.0 0.0 0.001 0.0 0.014 0.0 0.0 0.0
TRS/AG01/#3.16.trs 0.0 0.0 0.088 0.089 60.0 0.0 0.0 0.0
TRS/AG01/#3.17a.trs 0.0 0.0 0.061 0.086 60.0 0.0 0.0 0.0
TRS/AG01/#3.17.trs 0.0 0.0 0.074 0.067 60.0 0.001 0.0 0.0
TRS/AG01/#3.18.trs 0.0 0.0 0.065 0.058 60.0 0.0 0.0 0.0
TRS/AG01/#3.19.trs 0.0 0.0 0.303 0.72 60.0 0.0 0.0 0.0
TRS/AG01/#3.1.trs 0.002 0.0 0.024 0.009 60.0 0.0 0.0 0.0
TRS/AG01/#3.21.trs 0.0 0.0 0.274 0.307 60.0 0.0 0.0 0.0
TRS/AG01/#3.22.trs 0.0 0.0 0.245 1.031 60.0 0.0 0.0 0.0
TRS/AG01/#3.23.trs 0.0 0.0 0.001 0.001 60.0 0.0 0.0 0.0
TRS/AG01/#3.24.trs 0.0 0.0 0.019 0.0 2.62 0.037 0.0 0.0
TRS/AG01/#3.26.trs 0.0 0.0 0.0 0.002 0.066 0.0 0.0 0.0
TRS/AG01/#3.29.trs 0.0 0.0 0.001 0.002 0.01 0.0 0.0 0.0
TRS/AG01/#3.2.trs 0.0 0.0 0.036 0.014 60.0 0.0 0.0 0.0
TRS/AG01/#3.31.trs 0.0 0.0 0.009 0.004 60.0 0.0 0.0 0.0
TRS/AG01/#3.33.trs 0.0 0.0 0.002 0.003 0.005 0.0 0.0 0.0
TRS/AG01/#3.35.trs 0.0 0.0 0.0 0.0 0.0 0.003 0.0 0.0
TRS/AG01/#3.36.trs 0.0 0.0 0.091 0.17 60.0 0.0 0.0 0.0
TRS/AG01/#3.37.trs 0.0 0.0 0.023 0.006 60.0 0.0 0.0 0.0
TRS/AG01/#3.38.trs 0.0 0.0 0.069 0.02 60.0 0.0 0.0 0.0
TRS/AG01/#3.39.trs 0.0 0.0 0.082 0.051 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/AG01/#3.40.trs 0.0 0.0 0.931 1.936 60.0 0.0 0.0 0.005
TRS/AG01/#3.41.trs 0.0 0.0 0.0 0.0 0.003 0.0 0.0 0.0
TRS/AG01/#3.42.trs 0.0 0.0 0.008 0.0 3.114 0.0 0.0 0.0
TRS/AG01/#3.47.trs 0.0 0.0 0.038 0.027 60.0 0.0 0.0 0.0
TRS/AG01/#3.48.trs 0.0 0.0 0.145 0.575 60.0 0.0 0.0 0.0
TRS/AG01/#3.49.trs 0.009 0.0 0.0 0.014 0.048 0.0 0.0 0.0
TRS/AG01/#3.4.trs 0.006 0.0 0.135 0.116 60.0 0.0 0.0 0.0
TRS/AG01/#3.51.trs 0.0 0.0 0.012 0.016 10.605 0.0 0.0 0.0
TRS/AG01/#3.52.trs 0.0 0.0 0.012 0.005 0.239 0.0 0.0 0.0
TRS/AG01/#3.53a.trs 0.0 0.0 0.012 0.002 0.011 0.0 0.0 0.0
TRS/AG01/#3.53b.trs 0.0 0.0 0.013 0.001 0.249 0.0 0.0 0.0
TRS/AG01/#3.53.trs 0.0 0.0 0.436 0.754 60.0 0.0 0.0 0.0
TRS/AG01/#3.54.trs 0.0 0.0 0.028 0.052 60.0 0.0 0.0 0.0
TRS/AG01/#3.55.trs 0.0 0.0 3.622 33.918 60.0 0.0 0.0 0.002
TRS/AG01/#3.56.trs 0.0 0.0 0.007 0.026 60.0 0.0 0.0 0.0
TRS/AG01/#3.57.trs 0.0 0.0 27.311 20.528 60.0 0.0 0.0 0.0
TRS/AG01/#3.5a.trs 0.0 0.0 0.102 0.12 60.0 0.0 0.0 0.0
TRS/AG01/#3.5b.trs 0.0 0.0 0.265 2.653 60.0 0.0 0.0 0.0
TRS/AG01/#3.5.trs 0.0 0.0 0.076 0.083 60.0 0.0 0.0 0.0
TRS/AG01/#3.6a.trs 0.0 0.0 0.098 0.126 60.0 0.0 0.0 0.0
TRS/AG01/#3.6b.trs 0.0 0.0 0.32 3.094 60.0 0.0 0.0 0.0
TRS/AG01/#3.6.trs 0.007 0.0 0.11 0.17 60.0 0.0 0.0 0.0
TRS/AG01/#3.7.trs 0.0 0.0 0.001 0.002 0.239 0.0 0.0 0.0
TRS/AG01/#3.8a.trs 0.0 0.0 0.069 0.107 60.0 0.0 0.0 0.0
TRS/AG01/#3.8b.trs 0.0 0.0 0.377 4.482 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/AG01/#4.30c.trs 0.0 0.0 0.121 0.292 60.0 0.0 0.0 0.0
TRS/aprove08/id_inc.trs 0.0 0.0 0.092 0.242 60.0 0.008 0.008 0.019
TRS/aprove08/log.trs 0.0 0.0 0.14 0.297 60.0 0.0 0.0 0.0
TRS/aprove08/parting01_reverse.trs 0.0 0.0 49.91 60.0 60.0 0.0 0.0 0.0
TRS/aprove08/parting02_doublelist.trs 0.0 0.0 6.103 60.0 60.0 0.0 0.0 0.0
TRS/aprove08/parting03_minsort.trs 0.0 0.0 24.433 60.0 60.0 0.0 0.0 0.0
TRS/aprove08/parting04_maxsort_h.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/aprove08/parting05_maxsort.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/aprove08/round_nonterm.trs 0.0 0.0 0.037 0.019 14.027 0.0 0.0 0.0
TRS/aprove08/round.trs 0.0 0.0 0.035 0.029 27.068 0.0 0.0 0.0
TRS/aprove08/thiemann40_modified.trs 0.0 0.01 0.123 0.142 60.0 0.0 0.0 0.0
TRS/AProVE/AAECC-ring.trs 0.061 0.015 60.0 60.0 60.0 0.047 0.046 0.096
TRS/AProVE/AAECC.trs 0.0 0.0 9.362 60.0 60.0 0.003 0.003 0.013
TRS/AProVE/fac.trs 0.0 0.0 0.225 0.508 60.0 0.0 0.0 0.0
TRS/AProVE/forward_instantiation2.trs 0.0 0.0 0.0 0.0 0.203 0.0 0.0 0.0
TRS/AProVE/forward_instantiation.trs 0.0 0.0 0.014 0.01 0.194 0.0 0.0 0.0
TRS/AProVE/IJCAR_12.trs 0.0 0.0 0.164 0.251 60.0 0.0 0.0 0.0
TRS/AProVE/IJCAR_18.trs 0.0 0.0 2.231 36.538 60.0 0.0 0.0 0.0
TRS/AProVE/IJCAR_1.trs 0.0 0.0 0.007 0.007 0.272 0.0 0.0 0.0
TRS/AProVE/IJCAR_26a.trs 0.004 0.0 3.671 60.0 60.0 0.014 0.014 0.033
TRS/AProVE/IJCAR_26.trs 0.018 0.0 5.535 60.0 60.0 0.013 0.014 0.033
TRS/AProVE/improved_usable2.trs 0.028 0.0 0.022 0.016 3.033 0.0 0.004 0.0
TRS/AProVE/improved_usable.trs 0.005 0.0 0.048 0.037 60.0 0.0 0.0 0.0
TRS/AProVE/JFP_Ex31.trs 0.019 0.0 1.799 30.365 60.0 0.0 0.0 0.0
TRS/AProVE/JFP_Ex51.trs 0.0 0.0 8.525 60.0 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/AProVE/Liveness6.1.trs 0.0 0.0 0.095 0.051 60.0 0.0 0.0 0.0
TRS/AProVE/Liveness6.2.trs 0.0 0.0 0.07 0.02 60.0 0.0 0.0 0.0
TRS/AProVE/Liveness6.3.trs 0.012 0.0 0.484 0.417 60.0 0.0 0.009 0.014
TRS/AProVE/Liveness6.4.trs 0.0 0.0 0.156 0.123 60.0 0.0 60.0 0.496
TRS/AProVE/Liveness8.trs 0.0 0.0 0.464 0.245 60.0 0.0 0.008 0.012
TRS/AProVE/Liveness_WRS.trs 0.042 0.001 60.0 0.416 60.0 0.01 0.021 0.019
TRS/AProVE/LPAR_intlist.trs 0.0 0.004 0.051 0.012 60.0 0.0 0.0 0.0
TRS/AProVE/rta1.trs 0.0 0.0 0.309 5.422 60.0 0.0 0.0 0.0
TRS/AProVE/rta2.trs 0.0 0.0 0.0 0.002 0.005 0.0 0.0 0.0
TRS/AProVE/rta3.trs 0.0 0.0 0.133 0.281 60.0 0.0 0.0 0.0
TRS/Beerendonk/10.trs 0.0 0.0 0.29 0.567 60.0 0.0 0.0 0.0
TRS/Beerendonk/11.trs 0.0 0.0 0.159 1.502 60.0 0.0 0.0 0.0
TRS/Beerendonk/12.trs 0.0 0.0 0.14 0.978 60.0 0.0 0.0 0.0
TRS/Beerendonk/13.trs 0.0 0.0 0.116 0.488 60.0 0.0 0.0 0.0
TRS/Beerendonk/14.trs 0.0 0.0 0.111 0.33 60.0 0.0 0.0 0.0
TRS/Beerendonk/15.trs 0.0 0.0 0.431 2.05 60.0 0.0 0.0 0.0
TRS/Beerendonk/16.trs 0.0 0.0 3.159 60.0 60.0 0.0 0.0 0.0
TRS/Beerendonk/17.trs 0.0 0.0 0.682 23.147 60.0 0.0 0.0 0.0
TRS/Beerendonk/18.trs 0.0 0.0 1.014 60.0 60.0 0.0 0.0 0.0
TRS/Beerendonk/19.trs 0.0 0.0 15.252 60.0 60.0 0.007 0.006 0.015
TRS/Beerendonk/1.trs 0.017 0.0 0.109 0.418 60.0 0.0 0.0 0.0
TRS/Beerendonk/20.trs 0.009 0.006 0.869 60.0 60.0 0.0 0.0 0.0
TRS/Beerendonk/21.trs 0.0 0.0 4.2 60.0 60.0 0.0 0.0 0.0
TRS/Beerendonk/22.trs 0.0 0.0 0.129 0.468 60.0 0.0 0.0 0.0
TRS/Beerendonk/23.trs 0.0 0.0 0.456 8.221 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/Beerendonk/24.trs 0.0 0.0 0.993 51.157 60.0 0.0 0.01 0.0
TRS/Beerendonk/2.trs 0.0 0.0 0.072 0.164 60.0 0.0 0.0 0.0
TRS/Beerendonk/3.trs 0.0 0.0 0.094 0.298 60.0 0.0 0.0 0.0
TRS/Beerendonk/4.trs 0.0 0.0 0.036 0.086 60.0 0.0 0.0 0.0
TRS/Beerendonk/5.trs 0.0 0.0 0.335 1.574 60.0 0.0 0.0 0.0
TRS/Beerendonk/6.trs 0.0 0.0 0.057 0.031 60.0 0.0 0.0 0.0
TRS/Beerendonk/7.trs 0.0 0.0 0.063 0.034 60.0 0.0 0.0 0.0
TRS/Beerendonk/8.trs 0.0 0.0 0.859 30.951 60.0 0.0 0.0 0.0
TRS/Beerendonk/9.trs 0.017 0.0 12.918 60.0 60.0 0.0 0.0 0.0
TRS/Cime/ack_prolog.trs 0.0 0.0 0.119 0.26 60.0 0.0 0.0 0.0
TRS/Cime/append-hard.trs 0.0 0.0 0.036 0.03 60.0 0.0 0.0 0.0
TRS/Cime/append.trs 0.0 0.0 0.015 0.0 0.014 0.0 0.0 0.0
TRS/Cime/append-wrong.trs 0.0 0.0 0.031 0.035 60.0 0.0 0.0 0.0
TRS/Cime/big.trs 0.084 0.051 60.0 60.0 60.0 0.099 0.099 0.171
TRS/Cime/boolean_rings.trs 0.0 0.0 0.118 0.209 60.0 0.0 0.0 0.0
TRS/Cime/dpqs.trs 0.0 0.0 0.012 0.008 6.167 0.0 0.0 0.0
TRS/Cime/fact-hard.trs 0.0 0.0 0.569 1.541 60.0 0.007 0.0 0.0
TRS/Cime/filliatre2.trs 0.0 0.0 0.559 0.89 60.0 0.0 0.046 0.048
TRS/Cime/filliatre3.trs 0.0 0.0 3.329 24.505 60.0 0.0 0.0 0.0
TRS/Cime/filliatre.trs 0.0 0.0 0.341 0.417 60.0 0.0 0.0 0.0
TRS/Cime/intersect.trs 0.024 0.0 36.992 60.0 60.0 0.0 0.0 0.006
TRS/Cime/list-sum-prod-assoc-append.trs 0.002 0.0 1.569 6.233 60.0 0.0 0.0 0.002
TRS/Cime/list-sum-prod-assoc.trs 0.0 0.0 0.664 2.941 60.0 0.0 0.0 0.0
TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs 0.005 0.0 6.729 32.51 60.0 0.005 0.005 0.023
TRS/Cime/list-sum-prod-bin-assoc.trs 0.005 0.0 2.314 14.595 60.0 0.0 0.0 0.001
problem t e s nv g c r *
TRS/Cime/list-sum-prod-bin.trs 0.0 0.0 1.102 3.305 60.0 0.0 0.0 0.0
TRS/Cime/list-sum-prod.trs 0.0 0.0 0.25 0.693 60.0 0.0 0.0 0.0
TRS/Cime/log2.trs 0.045 0.002 12.136 60.0 60.0 0.007 0.007 0.019
TRS/Cime/lse.trs 0.042 0.0 60.0 60.0 60.0 0.001 0.0 0.011
TRS/Cime/maude2.trs 0.006 0.0 1.23 9.877 60.0 0.06 0.06 0.135
TRS/Cime/mucrl1.trs 1.302 1.266 60.0 60.0 60.0 60.0 60.0 2.257
TRS/Cime/quick.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/Cime/ternary-hard.trs 0.035 0.013 13.887 60.0 60.0 0.019 0.019 0.042
TRS/Cime/ternary.trs 0.048 0.005 6.705 45.936 60.0 0.009 0.009 0.024
TRS/Cime/tree.trs 0.065 0.019 49.974 60.0 60.0 0.046 0.046 0.09
TRS/CSR/Ex1_Luc04b_GM.trs 0.001 0.0 1.556 0.801 60.0 0.0 0.055 0.058
TRS/currying/AG01/#3.10.trs 0.465 0.322 60.0 60.0 60.0 0.508 0.509 0.422
TRS/currying/AG01/#3.13.trs 0.43 0.277 60.0 60.0 60.0 24.161 20.403 0.35
TRS/currying/AG01/#3.16.trs 0.151 0.06 60.0 60.0 60.0 0.091 0.086 0.092
TRS/currying/AG01/#3.18.trs 0.265 0.032 60.0 60.0 60.0 0.065 0.065 0.065
TRS/currying/AG01/#3.22.trs 0.124 0.033 60.0 60.0 60.0 0.056 0.057 0.057
TRS/currying/AG01/#3.25.trs 0.053 0.0 60.0 60.0 60.0 0.008 0.017 0.006
TRS/currying/AG01/#3.27.trs 0.045 0.0 60.0 60.0 60.0 0.003 0.007 0.003
TRS/currying/AG01/#3.2.trs 0.066 0.009 60.0 60.0 60.0 0.022 0.021 0.02
TRS/currying/AG01/#3.32.trs 0.046 0.0 60.0 60.0 60.0 0.001 0.004 0.0
TRS/currying/AG01/#3.36.trs 0.048 0.014 60.0 60.0 60.0 0.032 0.031 0.038
TRS/currying/AG01/#3.38.trs 0.108 0.023 60.0 60.0 60.0 0.04 0.035 0.036
TRS/currying/AG01/#3.40.trs 0.145 0.047 60.0 60.0 60.0 1.684 1.648 0.095
TRS/currying/AG01/#3.45.trs 0.048 0.0 60.0 60.0 60.0 0.013 0.009 0.011
TRS/currying/AG01/#3.48.trs 0.13 0.032 60.0 60.0 60.0 0.54 0.527 0.049
problem t e s nv g c r *
TRS/currying/AG01/#3.52.trs 0.072 0.006 60.0 60.0 60.0 0.016 0.016 0.017
TRS/currying/AG01/#3.55.trs 0.454 0.251 60.0 60.0 60.0 0.229 0.228 0.331
TRS/currying/AG01/#3.57.trs 0.201 0.104 60.0 60.0 60.0 0.42 0.17 0.302
TRS/currying/AG01/#3.6.trs 0.157 0.057 60.0 60.0 60.0 0.063 0.067 0.08
TRS/currying/AG01/#3.8.trs 0.118 0.029 60.0 60.0 60.0 60.0 60.0 0.051
TRS/currying/D33/01.trs 0.042 0.002 60.0 60.0 60.0 60.0 60.0 1.022
TRS/currying/D33/02.trs 0.045 0.0 60.0 60.0 60.0 60.0 60.0 1.003
TRS/currying/D33/06.trs 0.035 0.002 60.0 60.0 60.0 0.006 0.008 0.006
TRS/currying/D33/08.trs 0.138 0.027 60.0 60.0 60.0 0.044 0.044 0.039
TRS/currying/D33/11.trs 0.926 0.287 60.0 60.0 60.0 0.339 0.685 0.821
TRS/currying/D33/12.trs 0.146 0.031 60.0 60.0 60.0 0.041 0.041 0.055
TRS/currying/D33/13.trs 0.135 0.026 60.0 60.0 60.0 0.037 0.04 0.049
TRS/currying/D33/17.trs 0.068 0.013 60.0 60.0 60.0 60.0 60.0 1.014
TRS/currying/D33/18.trs 0.045 0.0 60.0 60.0 60.0 0.007 0.008 0.007
TRS/currying/D33/21.trs 0.092 0.019 60.0 60.0 60.0 0.033 0.034 0.033
TRS/currying/D33/29.trs 0.065 0.003 60.0 60.0 60.0 0.012 0.013 0.023
TRS/currying/D33/30.trs 0.108 0.015 60.0 60.0 60.0 0.025 0.025 0.031
TRS/currying/D33/31.trs 0.126 0.019 60.0 60.0 60.0 0.035 0.033 0.035
TRS/currying/D33/33.trs 0.161 0.042 60.0 60.0 60.0 0.09 0.071 0.075
TRS/currying/Ste92/hydra.trs 0.08 0.011 60.0 60.0 60.0 0.025 0.024 0.023
TRS/currying/Ste92/minsort.trs 0.231 0.136 60.0 60.0 60.0 60.0 60.0 0.18
TRS/currying/Ste92/motivation.trs 0.055 0.001 60.0 60.0 60.0 0.009 0.008 0.008
TRS/currying/Ste92/perfect2.trs 0.321 0.179 60.0 60.0 60.0 0.174 0.173 0.213
TRS/currying/Ste92/perfect.trs 0.252 0.112 60.0 60.0 60.0 0.096 0.094 0.128
TRS/D33/01.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/D33/02.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/D33/03.trs 0.0 0.0 0.0 0.0 0.011 0.0 0.0 0.002
TRS/D33/04.trs 0.0 0.0 0.001 0.002 0.237 0.0 0.0 0.0
TRS/D33/06.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.003
TRS/D33/07.trs 0.001 0.0 0.011 0.007 0.317 0.0 0.0 0.0
TRS/D33/08.trs 0.0 0.0 0.014 0.0 0.004 0.0 0.0 0.0
TRS/D33/09.trs 0.0 0.0 0.0 0.0 2.114 0.003 0.0 0.0
TRS/D33/11.trs 0.001 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/D33/12.trs 0.0 0.0 0.059 0.042 60.0 0.0 0.0 0.0
TRS/D33/13.trs 0.0 0.0 0.039 0.144 60.0 0.0 0.0 0.0
TRS/D33/17.trs 0.0 0.0 0.072 0.188 60.0 0.0 0.004 0.0
TRS/D33/18.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/D33/20.trs 0.004 0.0 0.017 0.042 60.0 0.0 0.005 0.011
TRS/D33/21.trs 0.0 0.011 0.122 0.158 60.0 0.0 0.0 0.0
TRS/D33/27.trs 0.0 0.0 0.0 0.0 0.011 0.0 0.0 0.0
TRS/D33/28.trs 0.0 0.0 0.021 0.08 60.0 0.0 0.0 0.0
TRS/D33/30.trs 0.0 0.0 21.096 60.0 60.0 0.0 0.0 0.0
TRS/D33/31.trs 0.0 0.0 0.049 0.017 60.0 0.0 0.0 0.0
TRS/D33/32.trs 0.0 0.0 1.882 60.0 60.0 0.0 0.0 0.0
TRS/D33/33.trs 0.0 0.0 2.458 29.767 60.0 0.0 0.0 0.0
TRS/Endrullis/direct.trs 0.001 0.0 0.001 0.001 60.0 0.0 0.016 0.009
TRS/Endrullis/labeling.trs 0.0 0.0 0.182 1.05 60.0 0.0 0.0 0.0
TRS/Endrullis/linear1.trs 0.001 0.0 0.028 0.029 60.0 0.0 60.0 0.0
TRS/Endrullis/linear2.trs 0.0 0.0 0.011 0.038 60.0 0.0 0.102 0.049
TRS/Endrullis/pair2hard.trs 0.0 0.0 0.072 0.114 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/Endrullis/pair2simple1.trs 0.0 0.0 0.039 0.02 60.0 0.0 0.0 0.0
TRS/Endrullis/pair2simple2.trs 0.0 0.0 0.079 0.041 60.0 0.0 0.0 0.0
TRS/Endrullis/pair3hard.trs 0.0 0.0 0.123 0.1 60.0 0.0 0.0 0.0
TRS/Endrullis/pair3rotate.trs 0.001 0.0 0.0 0.004 60.0 0.0 0.004 0.0
TRS/Endrullis/pair3swap.trs 0.002 0.0 0.0 0.005 60.0 0.0 0.0 0.0
TRS/Endrullis/quadruple1.trs 0.0 0.0 0.005 0.0 60.0 0.0 0.001 0.006
TRS/Endrullis/quadruple2.trs 0.0 0.003 0.007 0.003 60.0 0.0 0.004 0.0
TRS/higher-order/AotoYam/001.trs 0.0 0.0 0.035 0.026 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/002.trs 0.007 0.0 26.195 60.0 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/003.trs 0.0 0.0 16.623 20.655 60.0 0.134 0.124 0.0
TRS/higher-order/AotoYam/004.trs 0.0 0.0 1.82 2.46 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/005.trs 0.002 0.0 0.04 0.053 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/006.trs 0.0 0.0 1.606 9.424 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/007.trs 0.0 0.0 0.582 0.885 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/009.trs 0.005 0.0 0.956 37.286 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/010.trs 0.004 0.0 31.401 44.605 60.0 0.006 0.004 0.003
TRS/higher-order/AotoYam/011.trs 0.004 0.0 2.176 3.107 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/012.trs 0.005 0.0 0.853 60.0 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/013.trs 0.027 0.0 17.57 17.568 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/014.trs 0.013 0.0 15.152 17.045 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/015.trs 0.003 0.0 2.318 2.655 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/016.trs 0.006 0.0 50.229 60.0 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/017.trs 0.0 0.0 0.0 0.012 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/019.trs 0.0 0.0 0.077 0.057 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/020.trs 0.001 0.0 10.399 17.951 60.0 0.012 0.015 0.012
problem t e s nv g c r *
TRS/higher-order/AotoYam/021.trs 0.053 0.0 22.774 41.2 60.0 0.051 0.05 0.064
TRS/higher-order/AotoYam/022.trs 0.036 0.0 1.595 22.295 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/023.trs 0.0 0.0 0.0 0.01 60.0 0.0 0.006 0.0
TRS/higher-order/AotoYam/024.trs 0.0 0.0 0.085 0.339 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/025.trs 0.0 0.0 0.0 0.0 0.005 0.0 0.003 0.0
TRS/higher-order/AotoYam/026.trs 0.005 0.0 0.469 1.029 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/027.trs 0.004 0.0 1.378 2.389 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/028.trs 0.0 0.0 9.973 8.568 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/Ex1SimplyTyped.trs 0.0 0.0 0.43 0.876 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/Ex5TermProof.trs 0.006 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/higher-order/AProVE_HO/mapDivMinusHard.trs 0.009 0.0 3.0 14.163 60.0 0.002 0.008 0.0
TRS/higher-order/AProVE_HO/mapDivMinus.trs 0.001 0.0 3.943 13.634 60.0 0.0 0.0 0.0
TRS/higher-order/AProVE_HO/nonTermF.trs 0.003 0.0 25.632 25.694 60.0 60.0 60.0 0.987
TRS/higher-order/AProVE_HO/ReverseLastInit.trs 0.001 0.0 0.203 0.994 60.0 0.009 60.0 0.505
TRS/higher-order/AProVE_HO/TakeDropWhile.trs 0.054 0.01 6.211 4.406 60.0 0.0 0.0 0.0
TRS/higher-order/AProVE_HO/termMonTypes.trs 0.001 0.0 0.227 0.203 60.0 0.0 0.0 0.0
TRS/higher-order/AProVE_HO/TypeEx1.trs 0.0 0.001 0.1 0.225 60.0 2.965 2.984 0.984
TRS/higher-order/AProVE_HO/TypeEx3.trs 0.001 0.0 24.565 19.869 60.0 60.0 60.0 0.988
TRS/higher-order/AProVE_HO/TypeEx5.trs 0.0 0.0 0.0 0.0 0.018 0.0 0.0 0.0
TRS/higher-order/Bird/BTreeMember.trs 0.048 0.0 32.416 60.0 60.0 60.0 60.0 0.059
TRS/higher-order/Bird/Ex2_6_1Composition.trs 0.001 0.0 0.001 0.0 60.0 0.0 0.0 0.0
TRS/higher-order/Bird/Ex2_8_1ConstSubstFix.trs 0.0 0.0 1.184 1.192 60.0 0.0 0.0 0.0
TRS/higher-order/Bird/Hamming.trs 0.228 0.184 60.0 60.0 60.0 60.0 60.0 1.188
TRS/higher-order/Bird/TreeFlatten.trs 0.008 0.0 2.889 5.04 60.0 0.088 0.092 0.0
TRS/higher-order/Bird/TreeHeight.trs 0.08 0.022 6.277 55.263 60.0 60.0 60.0 0.005
problem t e s nv g c r *
TRS/higher-order/Bird/TreeLevels.trs 0.083 0.013 30.431 60.0 60.0 54.041 49.268 0.025
TRS/higher-order/Bird/TreeMap.trs 0.001 0.0 0.777 16.664 60.0 0.012 0.01 0.0
TRS/higher-order/Bird/TreeSize.trs 0.003 0.0 2.533 60.0 60.0 0.097 0.097 0.0
TRS/higher-order/Kusakari/Ex6_11.trs 0.0 0.0 0.115 0.805 60.0 60.0 60.0 0.0
TRS/higher-order/Kusakari/Ex7_9.trs 0.066 0.014 60.0 60.0 60.0 0.031 0.032 0.022
TRS/higher-order/Lifantsev/Ex10Functional.trs 0.055 0.023 60.0 60.0 60.0 0.032 0.031 0.041
TRS/higher-order/Lifantsev/Ex2PrimRec.trs 0.002 0.0 38.13 38.043 60.0 0.0 0.0 0.0
TRS/higher-order/Lifantsev/Ex3Lists.trs 0.038 0.0 22.348 58.38 60.0 0.007 0.001 0.002
TRS/higher-order/Lifantsev/Ex4MapList.trs 0.0 0.0 0.229 1.424 60.0 0.001 0.0 0.0
TRS/higher-order/Lifantsev/Ex5Sorting.trs 0.09 0.026 60.0 60.0 60.0 0.095 0.099 0.047
TRS/higher-order/Lifantsev/Ex6Folding.trs 0.003 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/higher-order/Lifantsev/Ex7OrdinalRec.trs 0.004 0.0 60.0 60.0 60.0 0.0 0.0 0.005
TRS/higher-order/Lifantsev/Ex8Polymorphic.trs 0.033 0.0 2.074 5.073 60.0 0.0 0.0 0.0
TRS/higher-order/Lifantsev/Ex9Maps.trs 0.041 0.0 60.0 60.0 60.0 60.0 60.0 0.999
TRS/higher-order/ToyamaRTA04/Ex5Folding.trs 0.001 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/higher-order/ToyamaRTA04/Ex6Recursor.trs 0.0 0.004 2.502 2.464 60.0 0.0 0.0 0.0
TRS/higher-order/ToyamaRTA04/Ex7Sorting.trs 0.091 0.022 60.0 60.0 60.0 13.988 9.81 0.044
TRS/HM/n002.trs 0.001 0.0 0.0 0.014 0.0 0.0 0.0 0.003
TRS/HM/n003.trs 0.0 0.0 0.0 0.0 0.0 0.003 0.0 0.003
TRS/HM/n004.trs 0.0 0.0 0.0 0.003 0.0 0.0 0.0 0.0
TRS/HM/n005.trs 0.0 0.0 0.0 0.0 0.003 0.0 0.003 0.0
TRS/HM/n006.trs 0.001 0.0 0.0 0.004 0.0 0.0 0.0 0.003
TRS/HM/n007.trs 0.0 0.0 0.0 0.014 0.0 0.003 0.0 0.0
TRS/HM/n008.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/HM/t000.trs 0.261 0.185 60.0 60.0 60.0 0.189 0.311 0.315
problem t e s nv g c r *
TRS/HM/t001.trs 0.004 0.0 4.384 48.258 60.0 0.0 0.0 0.0
TRS/HM/t002.trs 0.0 0.0 0.261 0.913 60.0 0.0 0.0 0.0
TRS/HM/t003.trs 0.0 0.0 3.346 44.919 60.0 0.0 0.0 0.0
TRS/HM/t004.trs 0.0 0.0 0.0 0.0 4.644 0.0 0.0 0.0
TRS/HM/t005.trs 0.876 0.877 60.0 60.0 60.0 0.964 0.951 0.946
TRS/HM/t006.trs 0.001 0.0 0.0 0.005 0.004 0.003 0.0 0.001
TRS/HM/t007.trs 0.008 0.0 0.025 0.009 0.015 0.0 0.0 0.0
TRS/HM/t008.trs 0.01 0.0 0.071 0.083 60.0 0.0 0.002 0.0
TRS/HM/t009.trs 0.154 0.091 0.554 0.508 60.0 0.122 60.0 0.657
TRS/HM/t010.trs 0.0 0.0 0.0 0.0 0.012 0.0 0.004 0.0
TRS/HM/t011.trs 0.0 0.0 0.0 0.0 0.005 0.0 0.004 0.0
TRS/HM/t012.trs 0.005 0.0 0.044 0.109 60.0 0.0 0.009 0.014
TRS/HM/t013.trs 0.0 0.0 0.1 0.236 60.0 0.0 0.0 0.0
TRS/HM/t014.trs 0.003 0.0 0.274 1.027 60.0 0.0 0.0 0.0
TRS/HofWald/1.trs 0.002 0.0 0.007 0.0 60.0 0.0 0.0 0.0
TRS/HofWald/2.trs 0.0 0.0 0.0 0.003 60.0 0.0 60.0 0.001
TRS/HofWald/3.trs 0.0 0.0 0.019 0.007 60.0 0.0 0.0 0.0
TRS/HofWald/4.trs 0.0 0.0 0.013 0.0 60.0 0.0 0.0 0.0
TRS/HofWald/5.trs 0.0 0.0 0.003 0.011 0.106 0.0 0.0 0.0
TRS/HofWald/6.trs 0.0 0.0 0.0 0.013 60.0 0.0 0.0 0.0
TRS/HofWald/7.trs 0.0 0.0 1.118 3.988 60.0 0.0 0.0 0.0
TRS/Koprowski/gcd_triple.trs 0.001 0.0 1.322 60.0 60.0 0.0 0.0 0.0
TRS/LJB01/jones1.trs 0.0 0.0 0.0 0.0 0.0 0.003 0.0 0.0
TRS/LJB01/jones2.trs 0.0 0.0 0.003 0.003 0.017 0.0 0.0 0.0
TRS/LJB01/jones4.trs 0.0 0.0 0.012 0.0 0.022 0.0 0.0 0.0
problem t e s nv g c r *
TRS/LJB01/jones5.trs 0.0 0.0 0.016 0.0 0.025 0.0 0.0 0.0
TRS/LJB01/jones6.trs 0.0 0.0 0.013 0.0 0.006 0.0 0.0 0.0
TRS/nontermin/AG01/#4.12a.trs 0.004 0.0 0.0 0.014 0.194 0.0 0.0 0.0
TRS/nontermin/AG01/#4.13.trs 0.0 0.0 0.0 0.011 0.192 0.0 0.0 0.0
TRS/nontermin/AG01/#4.14.trs 0.0 0.0 0.013 0.018 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.15.trs 0.0 0.0 0.055 0.081 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.16.trs 0.0 0.0 0.017 0.011 60.0 0.0 0.004 0.0
TRS/nontermin/AG01/#4.17.trs 0.001 0.0 0.014 0.0 60.0 0.0 0.0 0.008
TRS/nontermin/AG01/#4.18.trs 0.0 0.0 0.0 0.007 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.19.trs 0.016 0.0 0.293 1.865 60.0 0.154 0.16 0.018
TRS/nontermin/AG01/#4.20a.trs 0.003 0.0 0.021 0.006 0.84 0.0 0.004 0.0
TRS/nontermin/AG01/#4.20.trs 0.016 0.0 0.0 0.0 0.008 0.0 0.0 0.0
TRS/nontermin/AG01/#4.21.trs 0.02 0.0 0.014 0.02 0.0 0.008 0.0 0.0
TRS/nontermin/AG01/#4.22.trs 0.0 0.0 0.013 0.0 0.3 0.0 0.0 0.0
TRS/nontermin/AG01/#4.23.trs 0.0 0.014 0.043 0.032 60.0 0.0 0.006 0.0
TRS/nontermin/AG01/#4.25.trs 0.0 0.0 0.002 0.001 0.001 0.0 0.0 0.0
TRS/nontermin/AG01/#4.26.trs 0.0 0.0 0.08 0.122 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.27.trs 0.0 0.0 0.201 0.551 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.28.trs 0.0 0.0 0.015 0.011 1.751 0.0 0.0 0.0
TRS/nontermin/AG01/#4.29.trs 0.002 0.0 1.306 4.983 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.2.trs 0.001 0.003 0.023 0.032 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.30a.trs 0.0 0.0 0.03 0.023 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.30b.trs 0.004 0.0 0.074 0.157 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.30c.trs 0.0 0.0 0.129 0.348 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.30.trs 0.0 0.0 0.093 0.198 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/nontermin/AG01/#4.31.trs 0.0 0.0 0.007 0.033 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.32.trs 0.0 0.0 0.034 0.025 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.33.trs 0.0 0.0 1.585 1.322 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.34.trs 0.0 0.0 0.348 0.715 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.35.trs 0.004 0.0 60.0 60.0 60.0 60.0 60.0 0.995
TRS/nontermin/AG01/#4.36.trs 0.003 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.37a.trs 0.0 0.0 0.0 0.0 11.73 0.0 0.0 0.0
TRS/nontermin/AG01/#4.37.trs 0.001 0.0 0.0 0.005 0.004 0.0 0.0 0.0
TRS/nontermin/AG01/#4.3.trs 0.001 0.0 0.001 0.012 0.007 0.0 0.0 0.0
TRS/nontermin/AG01/#4.4.trs 0.0 0.0 0.014 0.0 53.811 0.0 0.0 0.0
TRS/nontermin/AG01/#4.7.trs 0.0 0.0 0.0 0.013 0.295 0.0 0.0 0.0
TRS/nontermin/cariboo/ex1.trs 0.0 0.0 0.001 0.002 0.023 0.003 0.0 0.0
TRS/nontermin/cariboo/ex2.trs 0.0 0.0 0.004 0.015 60.0 0.0 0.0 0.0
TRS/nontermin/cariboo/ex3.trs 0.0 0.0 0.012 0.009 10.563 0.0 0.0 0.0
TRS/nontermin/cariboo/ex4.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/nontermin/cariboo/ex5.trs 0.0 0.0 0.016 0.0 0.024 0.0 0.0 0.0
TRS/nontermin/cariboo/ex6.trs 0.0 0.0 0.01 0.0 0.01 0.0 0.0 0.0
TRS/nontermin/cariboo/tricky1.trs 0.0 0.0 0.041 0.023 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_2_AEL03.trs 0.0 0.0 0.134 0.178 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_2_Luc02c.trs 0.001 0.0 0.0 0.0 0.004 0.0 0.001 0.0
TRS/nontermin/CSR/Ex14_AEGL02.trs 0.001 0.0 0.001 0.001 0.002 0.004 0.0 0.0
TRS/nontermin/CSR/Ex15_Luc98.trs 0.0 0.0 0.001 0.001 0.004 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_GL02a.trs 0.0 0.0 0.003 0.01 0.006 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_GM03.trs 0.002 0.0 0.165 0.424 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_GM99.trs 0.0 0.0 0.0 0.012 0.208 0.0 0.0 0.0
problem t e s nv g c r *
TRS/nontermin/CSR/Ex1_Luc02b.trs 0.0 0.0 0.0 0.0 0.004 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_Zan97.trs 0.0 0.0 0.001 0.001 0.001 0.0 0.0 0.0
TRS/nontermin/CSR/Ex24_GM04.trs 0.0 0.0 0.015 0.001 0.006 0.0 0.0 0.0
TRS/nontermin/CSR/Ex26_Luc03b.trs 0.0 0.0 0.124 0.182 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex2_Luc03b.trs 0.0 0.0 0.0 0.002 0.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex3_12_Luc96a.trs 0.0 0.0 0.011 0.0 0.004 0.0 0.0 0.0
TRS/nontermin/CSR/Ex3_2_Luc97.trs 0.0 0.0 0.004 0.0 0.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex3_3_25_Bor03.trs 0.0 0.0 0.11 0.25 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_4_Luc96b.trs 0.001 0.0 0.0 0.007 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_7_15_Bor03.trs 0.0 0.0 0.001 0.0 0.01 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_7_37_Bor03.trs 0.0 0.0 0.053 0.041 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_7_56_Bor03.trs 0.0 0.0 0.0 0.011 0.002 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_7_77_Bor03.trs 0.0 0.0 0.0 0.005 0.0 0.0 0.003 0.0
TRS/nontermin/CSR/Ex49_GM04.trs 0.0 0.011 0.232 1.023 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_Zan97.trs 0.0 0.0 0.011 0.017 1.06 0.0 0.0 0.0
TRS/nontermin/CSR/Ex5_7_Luc97.trs 0.002 0.0 0.002 0.0 0.004 0.0 0.0 0.0
TRS/nontermin/CSR/Ex5_Zan97.trs 0.0 0.0 0.002 0.004 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex6_15_AEL02.trs 0.001 0.0 0.05 0.037 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex6_9_Luc02c.trs 0.001 0.0 0.001 0.001 0.01 0.0 0.0 0.0
TRS/nontermin/CSR/Ex6_GM04.trs 0.0 0.0 0.0 0.013 0.008 0.0 0.0 0.0
TRS/nontermin/CSR/Ex6_Luc98.trs 0.0 0.0 0.012 0.0 0.013 0.0 0.0 0.0
TRS/nontermin/CSR/Ex7_BLR02.trs 0.0 0.0 0.0 0.003 0.006 0.0 0.0 0.0
TRS/nontermin/CSR/Ex8_BLR02.trs 0.0 0.0 0.067 0.072 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex9_BLR02.trs 0.002 0.007 0.21 0.584 60.0 60.0 60.0 0.985
TRS/nontermin/CSR/ExAppendixB_AEL03.trs 0.0 0.0 0.165 0.271 60.0 60.0 60.0 0.984
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.014 0.0 0.0
TRS/nontermin/CSR/ExIntrod_GM01.trs 0.001 0.0 0.031 0.015 60.0 0.0 60.0 0.489
TRS/nontermin/CSR/ExIntrod_GM04.trs 0.002 0.0 0.033 0.017 60.0 0.0 60.0 0.497
TRS/nontermin/CSR/ExIntrod_GM99.trs 0.0 0.0 0.104 0.274 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/ExIntrod_Zan97.trs 0.0 0.0 0.322 0.847 60.0 0.0 0.0 0.0
TRS/nontermin/HM/n001.trs 0.001 0.0 0.0 0.01 0.13 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/bn111.trs 0.0 0.0 0.012 0.004 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/gkg.trs 0.0 0.0 0.014 0.002 0.02 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/muladd.trs 0.0 0.0 0.012 0.001 2.486 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test10.trs 0.001 0.0 0.041 0.048 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test75.trs 0.0 0.017 0.0 0.003 0.25 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test76.trs 0.001 0.0 0.024 0.024 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test77.trs 0.0 0.0 0.041 0.028 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test830.trs 0.0 0.0 0.012 0.001 60.0 0.0 0.004 0.0
TRS/nontermin/Rubio-inn/test9.trs 0.0 0.0 0.0 0.003 0.211 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/toyama.trs 0.0 0.0 0.0 0.003 0.193 0.0 0.0 0.0
TRS/nontermin/TRCSR/ExSec11_1_Luc02a.trs 0.002 0.0 0.105 0.217 60.0 0.0 0.0 0.0
TRS/Rubio/aoto.trs 0.0 0.0 0.0 0.009 60.0 0.0 0.0 0.0
TRS/Rubio/bintrees.trs 0.001 0.0 0.0 0.005 60.0 0.0 0.0 0.0
TRS/Rubio/bn122.trs 0.0 0.0 0.045 0.036 60.0 0.0 0.0 0.0
TRS/Rubio/bn129.trs 0.023 0.0 0.008 0.012 60.0 0.0 0.0 0.0
TRS/Rubio/division.trs 0.0 0.0 0.222 1.972 60.0 0.0 0.0 0.0
TRS/Rubio/elimdupl.trs 0.002 0.0 0.513 3.811 60.0 0.0 0.0 0.0
TRS/Rubio/enno.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.009 0.0
TRS/Rubio/gcd.trs 0.0 0.0 0.114 0.168 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/Rubio/gmnp.trs 0.0 0.0 0.003 0.004 0.006 0.0 0.0 0.0
TRS/Rubio/gm.trs 0.001 0.0 0.025 0.029 60.0 0.0 0.0 0.0
TRS/Rubio/koen.trs 0.0 0.0 0.002 0.002 0.003 0.0 0.0 0.0
TRS/Rubio/lescanne.trs 0.002 0.0 0.006 0.024 60.0 0.0 0.01 0.0
TRS/Rubio/lindau.trs 0.0 0.0 0.016 0.037 60.0 0.0 0.0 0.0
TRS/Rubio/logarquot.trs 0.002 0.0 0.064 0.059 60.0 0.0 0.0 0.0
TRS/Rubio/ma96.trs 0.01 0.003 60.0 60.0 60.0 0.0 0.0 0.008
TRS/Rubio/mfp90b.trs 0.0 0.0 0.002 0.002 0.004 0.0 0.0 0.0
TRS/Rubio/mfp95.trs 0.0 0.0 0.0 0.0 0.0 0.011 0.0 0.0
TRS/Rubio/nestrec.trs 0.0 0.0 0.0 0.006 0.342 0.0 0.0 0.0
TRS/Rubio/p266.trs 0.0 0.0 0.005 0.013 3.82 0.0 0.0 0.0
TRS/Rubio/polo2.trs 0.001 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/Rubio/prov.trs 0.0 0.0 0.048 0.015 60.0 0.0 0.0 0.0
TRS/Rubio/quick.trs 0.0 0.0 2.487 28.865 60.0 0.0 0.0 0.0
TRS/Rubio/quotminus.trs 0.0 0.0 0.095 0.119 60.0 0.0 0.0 0.0
TRS/Rubio/revlist.trs 0.0 0.0 0.081 0.035 60.0 0.0 0.0 0.0
TRS/Rubio/selsort.trs 0.001 0.0 60.0 60.0 60.0 0.0 0.0 0.003
TRS/Rubio/test4.trs 0.0 0.0 0.015 0.0 0.018 0.0 0.0 0.0
TRS/Rubio/test829.trs 0.0 0.0 0.0 0.0 0.008 0.0 0.0 0.0
TRS/Rubio/wst99.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade01.trs 0.0 0.0 0.061 0.065 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade03.trs 0.001 0.0 0.055 0.086 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade04t.trs 0.0 0.0 0.055 0.21 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade05t.trs 0.002 0.0 0.135 9.518 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade06.trs 0.0 0.0 2.784 42.668 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SchneiderKamp/trs/cade07.trs 0.0 0.0 0.235 2.863 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade08.trs 0.0 0.0 10.464 60.0 60.0 0.0 0.006 0.0
TRS/SchneiderKamp/trs/cade09.trs 0.0 0.0 0.24 2.096 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade10.trs 0.0 0.0 0.196 1.849 60.0 0.0 0.0 0.001
TRS/SchneiderKamp/trs/cade11.trs 0.0 0.0 0.056 0.088 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade12t.trs 0.0 0.0 1.092 54.789 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade13t.trs 0.0 0.0 0.165 1.513 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade14.trs 0.0 0.0 0.159 1.566 60.0 0.0 0.0 0.004
TRS/SchneiderKamp/trs/cade15.trs 0.004 0.0 2.01 26.293 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade16.trs 0.0 0.0 0.605 3.929 60.0 0.0 0.0 0.002
TRS/SchneiderKamp/trs/cade17.trs 0.009 0.01 2.715 27.364 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/kabasci01.trs 0.064 0.019 54.664 60.0 60.0 0.049 0.049 0.103
TRS/SchneiderKamp/trs/kabasci02.trs 0.043 0.002 30.854 60.0 60.0 60.0 60.0 0.997
TRS/SchneiderKamp/trs/kabasci03.trs 0.0 0.0 21.262 49.414 60.0 60.0 60.0 0.11
TRS/SchneiderKamp/trs/kabasci04.trs 0.0 0.0 0.256 5.864 60.0 0.0 0.0 0.006
TRS/SchneiderKamp/trs/kabasci05.trs 0.031 0.0 0.826 8.15 60.0 0.005 0.0 0.0
TRS/SchneiderKamp/trs/kabasci06.trs 0.059 0.004 5.477 17.8 60.0 0.06 0.019 0.017
TRS/SchneiderKamp/trs/otto01.trs 0.004 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto02.trs 0.002 0.0 1.76 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto03.trs 0.002 0.0 0.066 0.072 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto04.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.034 0.057
TRS/SchneiderKamp/trs/otto05.trs 0.035 0.0 1.18 4.077 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto06.trs 0.0 0.0 8.826 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto07.trs 0.0 0.0 0.054 0.065 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto08.trs 0.005 0.0 0.341 2.532 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SchneiderKamp/trs/otto09.trs 0.0 0.0 0.163 0.895 60.0 0.006 0.0 0.0
TRS/SchneiderKamp/trs/otto10.trs 0.002 0.0 8.567 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto11.trs 0.002 0.0 2.561 47.941 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto12.trs 0.0 0.0 0.711 58.492 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto13.trs 0.003 0.0 6.262 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann01.trs 0.0 0.0 0.262 1.444 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann02.trs 0.011 0.0 52.964 60.0 60.0 0.0 0.002 0.014
TRS/SchneiderKamp/trs/thiemann03.trs 0.0 0.0 0.668 34.343 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann04.trs 0.01 0.0 60.0 60.0 60.0 0.0 0.0 0.005
TRS/SchneiderKamp/trs/thiemann05.trs 0.0 0.0 0.141 0.371 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann06.trs 0.0 0.0 10.285 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann07.trs 0.004 0.0 9.84 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann08.trs 0.001 0.0 0.165 0.316 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann09.trs 0.003 0.0 0.732 2.531 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann10.trs 0.002 0.0 0.19 0.891 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann11.trs 0.0 0.0 0.393 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann12.trs 0.0 0.0 0.363 7.963 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann13.trs 0.0 0.0 0.422 11.441 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann14.trs 0.001 0.0 60.0 60.0 60.0 0.001 0.0 0.0
TRS/SchneiderKamp/trs/thiemann15.trs 0.0 0.0 0.175 0.377 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann16.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann17.trs 0.0 0.0 0.605 1.139 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann18.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann19.trs 0.002 0.0 0.321 0.592 60.0 0.0 0.0 0.01
TRS/SchneiderKamp/trs/thiemann20.trs 0.0 0.0 0.159 0.528 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SchneiderKamp/trs/thiemann21.trs 0.01 0.0 35.725 60.0 60.0 0.0 0.0 0.007
TRS/SchneiderKamp/trs/thiemann22.trs 0.0 0.0 0.26 5.014 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann23.trs 0.0 0.0 0.071 0.063 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann24.trs 0.0 0.0 0.236 2.609 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann25.trs 0.0 0.0 0.533 20.822 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann26.trs 0.02 0.0 1.4 20.76 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann27.trs 0.001 0.0 0.042 0.067 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann28.trs 0.0 0.0 1.575 39.034 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann29.trs 0.0 0.0 1.127 51.929 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann30.trs 0.006 0.0 30.157 60.0 60.0 0.0 0.0 0.013
TRS/SchneiderKamp/trs/thiemann31.trs 0.0 0.0 1.431 32.887 60.0 0.0 0.0 0.003
TRS/SchneiderKamp/trs/thiemann32.trs 0.01 0.003 0.785 0.902 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann33.trs 0.0 0.0 0.214 0.379 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann34.trs 0.0 0.0 0.367 2.83 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann35.trs 0.102 0.029 60.0 60.0 60.0 60.0 60.0 1.031
TRS/SchneiderKamp/trs/thiemann36.trs 0.002 0.0 12.825 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann37.trs 0.002 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann38.trs 0.002 0.0 6.125 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann39.trs 0.077 0.015 60.0 60.0 60.0 39.223 35.334 0.034
TRS/SchneiderKamp/trs/thiemann40.trs 0.001 0.0 0.086 0.063 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann41.trs 0.0 0.0 3.346 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/wiehe01.trs 0.001 0.0 6.749 60.0 60.0 60.0 60.0 1.044
TRS/SchneiderKamp/trs/wiehe02.trs 0.115 0.059 60.0 60.0 60.0 60.0 60.0 1.045
TRS/SchneiderKamp/trs/wiehe03.trs 0.047 0.004 60.0 60.0 60.0 60.0 60.0 0.994
TRS/SchneiderKamp/trs/wiehe05.trs 0.0 0.0 3.843 31.072 60.0 43.314 46.783 0.988
problem t e s nv g c r *
TRS/SchneiderKamp/trs/wiehe06.trs 0.005 0.0 30.441 60.0 60.0 60.0 60.0 1.105
TRS/SchneiderKamp/trs/wiehe07.trs 0.002 0.002 30.223 60.0 60.0 60.0 60.0 0.994
TRS/SchneiderKamp/trs/wiehe08.trs 0.004 0.0 9.643 42.357 60.0 45.243 50.01 0.989
TRS/SchneiderKamp/trs/wiehe09.trs 0.002 0.0 16.967 60.0 60.0 60.0 60.0 1.01
TRS/SchneiderKamp/trs/wiehe11.trs 0.05 0.014 60.0 60.0 60.0 60.0 60.0 1.026
TRS/SchneiderKamp/trs/wiehe12.trs 0.066 0.036 21.584 60.0 60.0 60.0 60.0 1.011
TRS/secret05/aprove1.trs 0.042 0.0 60.0 60.0 60.0 0.118 0.119 0.005
TRS/secret05/aprove2.trs 0.0 0.0 0.117 0.35 60.0 0.0 0.0 0.001
TRS/secret05/aprove3.trs 0.032 0.003 60.0 60.0 60.0 0.001 0.001 0.002
TRS/secret05/aprove4.trs 0.017 0.0 0.254 0.567 60.0 0.005 0.005 0.018
TRS/secret05/aprove5.trs 0.02 0.019 1.275 2.582 60.0 0.0 0.0 0.0
TRS/secret05/cime1.trs 0.065 0.005 60.0 60.0 60.0 0.014 0.014 0.022
TRS/secret05/cime2.trs 0.0 0.0 0.211 0.795 60.0 0.0 0.0 0.0
TRS/secret05/cime3.trs 0.038 0.008 33.856 60.0 60.0 60.0 60.0 1.004
TRS/secret05/cime4.trs 0.001 0.0 0.019 0.018 60.0 0.0 0.0 0.0
TRS/secret05/cime5.trs 0.129 0.073 60.0 60.0 60.0 60.0 60.0 1.075
TRS/secret05/matchbox1.trs 0.0 0.0 0.012 0.024 60.0 0.0 0.0 0.0
TRS/secret05/matchbox2.trs 0.001 0.0 0.0 0.012 2.438 0.0 0.0 0.0
TRS/secret05/teparla1.trs 0.0 0.0 0.04 0.016 60.0 0.004 0.025 0.024
TRS/secret05/teparla2.trs 0.003 0.0 1.283 6.044 60.0 60.0 60.0 0.995
TRS/secret05/teparla3.trs 0.008 0.006 0.843 0.754 60.0 12.543 0.006 0.518
TRS/secret05/tpa1.trs 0.0 0.0 0.15 1.845 60.0 0.0 0.0 0.0
TRS/secret05/tpa2.trs 0.0 0.0 0.101 0.09 60.0 0.0 0.0 0.0
TRS/secret05/tpa3.trs 0.0 0.0 0.113 0.156 60.0 0.0 0.0 0.0
TRS/secret05/tpa4.trs 0.0 0.0 0.121 0.207 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/secret05/tpa5.trs 0.0 0.0 0.146 4.423 60.0 0.0 0.0 0.0
TRS/secret05/ttt1.trs 0.0 0.0 0.145 0.14 60.0 0.0 0.0 0.0
TRS/secret05/ttt2.trs 0.001 0.0 0.0 0.012 0.036 0.0 0.0 0.0
TRS/secret06/aprove/addList.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/secret06/aprove/divExp.trs 0.002 0.0 0.291 9.591 60.0 60.0 60.0 0.985
TRS/secret06/aprove/division.trs 0.0 0.0 0.221 3.293 60.0 0.0 0.0 0.0
TRS/secret06/aprove/double.trs 0.004 0.0 0.942 2.614 60.0 0.0 0.0 0.0
TRS/secret06/aprove/logarithm.trs 0.002 0.0 0.482 18.663 60.0 0.001 0.001 0.01
TRS/secret06/aprove/nrOfNodes.trs 0.017 0.009 11.067 60.0 60.0 0.0 0.0 0.0
TRS/secret06/aprove/reverse.trs 0.002 0.0 0.519 5.24 60.0 0.0 0.0 0.0
TRS/secret06/aprove/sumList.trs 0.0 0.0 49.006 60.0 60.0 0.0 0.0 0.0
TRS/secret06/aprove/times.trs 0.0 0.0 8.202 60.0 60.0 48.368 51.297 0.987
TRS/secret06/aprove/toList.trs 0.0 0.01 60.0 60.0 60.0 0.0 0.0 0.0
TRS/secret06/cime1.trs 0.005 0.0 4.932 47.847 60.0 60.0 60.0 0.992
TRS/secret06/jambox/10.trs 0.002 0.0 0.012 0.025 60.0 0.0 0.0 0.0
TRS/secret06/jambox/2.trs 0.002 0.0 0.05 0.04 60.0 0.0 0.003 0.0
TRS/secret06/jambox/3.trs 0.0 0.0 0.048 0.158 60.0 0.0 60.0 0.001
TRS/secret06/jambox/4.trs 0.0 0.0 0.016 0.026 60.0 0.0 60.0 0.0
TRS/secret06/jambox/5.trs 0.0 0.0 0.01 0.016 60.0 0.0 0.0 0.0
TRS/secret06/jambox/6.trs 0.0 0.016 0.021 0.017 60.0 0.0 60.0 0.492
TRS/secret06/jambox/7.trs 0.0 0.0 0.022 0.032 60.0 0.0 0.021 0.022
TRS/secret06/jambox/8.trs 0.0 0.0 0.03 0.036 60.0 0.0 0.0 0.0
TRS/secret06/jambox/9.trs 0.0 0.0 0.026 0.012 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-10.trs 0.0 0.0 0.39 1.335 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-14.trs 0.001 0.0 0.625 1.154 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/secret06/matchbox/gen-15.trs 0.002 0.0 0.118 0.131 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-17.trs 0.0 0.0 1.278 4.34 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-18.trs 0.002 0.0 0.627 0.673 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-1.trs 0.001 0.0 0.082 0.045 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-22.trs 0.0 0.0 7.628 35.296 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-25.trs 0.0 0.0 5.549 5.664 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-28.trs 0.002 0.0 0.794 3.923 60.0 0.004 0.0 0.0
TRS/secret06/matchbox/gen-9.trs 0.0 0.0 0.862 2.606 60.0 0.0 0.0 0.0
TRS/secret06/tpa01.trs 0.0 0.0 0.015 0.012 60.0 0.005 0.0 0.0
TRS/secret06/tpa02.trs 0.0 0.016 0.017 0.003 60.0 0.0 0.0 0.0
TRS/secret06/tpa03.trs 0.0 0.0 0.038 0.005 60.0 0.0 0.0 0.0
TRS/secret06/tpa04.trs 0.001 0.0 0.343 14.69 60.0 0.0 0.0 0.0
TRS/secret06/tpa05.trs 0.003 0.0 0.14 0.269 60.0 0.0 0.0 0.002
TRS/secret06/tpa06.trs 0.0 0.0 1.07 60.0 60.0 0.0 0.0 0.0
TRS/secret06/tpa07.trs 0.0 0.0 0.182 0.442 60.0 0.0 0.0 0.0
TRS/secret06/tpa08.trs 0.003 0.0 0.184 0.46 60.0 0.0 0.0 0.009
TRS/secret06/tpa09.trs 0.0 0.0 0.374 1.226 60.0 0.006 0.006 0.026
TRS/secret06/tpa10.trs 0.0 0.0 0.473 6.127 60.0 0.0 0.0 0.0
TRS/secret07/aprove/aprove01.trs 0.006 0.0 60.0 60.0 60.0 0.0 0.0 0.001
TRS/secret07/aprove/aprove02.trs 0.005 0.0 24.504 60.0 60.0 0.0 0.0 0.0
TRS/secret07/aprove/aprove03.trs 0.045 0.002 50.075 60.0 60.0 0.009 0.009 0.028
TRS/secret07/aprove/aprove04.trs 0.009 0.0 24.471 60.0 60.0 0.0 0.0 0.004
TRS/secret07/aprove/aprove05.trs 0.003 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/secret07/aprove/aprove06.trs 0.005 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/secret07/aprove/aprove07.trs 0.0 0.0 9.843 60.0 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/secret07/aprove/aprove08.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/secret07/aprove/aprove09.trs 0.0 0.0 14.663 60.0 60.0 0.0 0.0 0.0
TRS/secret07/aprove/aprove10.trs 0.002 0.007 3.497 60.0 60.0 0.0 0.0 0.0
TRS/secret07/cime/secret1.trs 0.011 0.0 1.906 8.262 60.0 0.0 0.0 0.002
TRS/secret07/cime/secret2.trs 0.0 0.0 2.22 60.0 60.0 0.0 0.0 0.0
TRS/secret07/cime/secret3.trs 0.0 0.0 0.375 1.156 60.0 0.0 0.0 0.0
TRS/secret07/cime/secret4.trs 0.0 0.0 40.717 60.0 60.0 0.0 0.0 0.0
TRS/secret07/cime/secret5.trs 0.001 0.0 1.845 2.856 60.0 0.0 0.0 0.0
TRS/secret07/others/dj.trs 0.002 0.0 0.021 0.071 60.0 0.0 0.0 0.0
TRS/secret07/TTT2/1.trs 0.0 0.0 0.427 0.632 60.0 60.0 0.017 0.071
TRS/secret07/TTT2/2.trs 0.0 0.0 4.664 10.34 60.0 60.0 0.232 0.72
TRS/secret07/TTT2/3.trs 0.038 0.007 60.0 16.223 60.0 60.0 60.0 0.989
TRS/secret07/TTT2/4.trs 0.0 0.0 21.554 7.234 60.0 60.0 0.643 0.204
TRS/secret07/TTT2/5.trs 0.003 0.0 60.0 60.0 60.0 60.0 60.0 1.009
TRS/secret07/TTT2/6.trs 0.026 0.0 0.01 0.0 7.275 0.0 0.0 0.0
TRS/secret07/TTT2/7.trs 0.004 0.0 0.023 0.031 60.0 0.0 0.046 0.0
TRS/SK90/2.01.trs 0.002 0.0 0.071 0.183 60.0 0.0 0.105 0.101
TRS/SK90/2.02.trs 0.0 0.0 0.008 0.021 60.0 0.0 0.0 0.0
TRS/SK90/2.03.trs 0.001 0.0 0.0 0.011 0.0 0.0 0.0 0.0
TRS/SK90/2.04.trs 0.0 0.0 0.013 0.0 36.126 0.0 0.0 0.0
TRS/SK90/2.05.trs 0.007 0.012 0.146 1.753 60.0 1.216 1.205 0.985
TRS/SK90/2.06.trs 0.002 0.0 0.043 0.082 60.0 0.015 0.0 0.0
TRS/SK90/2.07.trs 0.0 0.0 0.049 0.08 60.0 0.0 0.0 0.0
TRS/SK90/2.08.trs 0.0 0.0 0.157 0.64 60.0 0.0 0.0 0.0
TRS/SK90/2.09.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SK90/2.10.trs 0.002 0.0 0.085 0.137 60.0 0.0 0.0 0.0
TRS/SK90/2.11.trs 0.0 0.0 0.0 0.012 0.0 0.003 0.0 0.0
TRS/SK90/2.12.trs 0.0 0.0 0.221 0.448 60.0 0.0 0.0 0.0
TRS/SK90/2.13.trs 0.0 0.0 0.006 0.015 0.016 0.0 0.0 0.0
TRS/SK90/2.14.trs 0.0 0.0 0.013 0.0 0.0 0.0 0.0 0.0
TRS/SK90/2.15.trs 0.0 0.0 0.007 0.006 60.0 0.0 0.0 0.0
TRS/SK90/2.16.trs 0.0 0.0 0.049 0.035 60.0 0.0 0.0 0.0
TRS/SK90/2.17.trs 0.0 0.0 0.004 0.0 0.0 0.003 0.0 0.0
TRS/SK90/2.18.trs 0.0 0.0 0.027 0.042 60.0 0.0 0.0 0.0
TRS/SK90/2.19.trs 0.005 0.0 0.1 0.121 60.0 0.0 0.0 0.0
TRS/SK90/2.20.trs 0.001 0.0 0.0 0.004 0.0 0.0 0.0 0.0
TRS/SK90/2.21.trs 0.001 0.0 0.0 0.0 0.002 0.0 0.005 0.0
TRS/SK90/2.22.trs 0.0 0.0 0.057 0.091 60.0 0.0 0.0 0.0
TRS/SK90/2.23.trs 0.003 0.0 0.16 0.258 60.0 0.0 0.0 0.0
TRS/SK90/2.24.trs 0.001 0.0 0.0 0.0 0.0 0.003 0.0 0.0
TRS/SK90/2.25.trs 0.0 0.0 0.073 0.06 60.0 0.0 0.0 0.0
TRS/SK90/2.26.trs 0.003 0.0 0.256 0.326 60.0 0.0 0.0 0.0
TRS/SK90/2.27.trs 0.0 0.0 0.083 0.037 60.0 0.0 0.0 0.0
TRS/SK90/2.28.trs 0.001 0.0 0.005 0.008 60.0 0.0 0.0 0.0
TRS/SK90/2.29.trs 0.001 0.0 0.017 0.0 0.108 0.0 0.0 0.0
TRS/SK90/2.30.trs 0.0 0.0 0.0 0.003 0.0 0.0 0.003 0.0
TRS/SK90/2.31.trs 0.001 0.0 0.015 0.007 1.543 0.0 0.0 0.0
TRS/SK90/2.32.trs 0.002 0.0 0.074 0.068 60.0 0.0 0.0 0.0
TRS/SK90/2.33.trs 0.0 0.0 0.017 0.031 60.0 0.0 0.0 0.0
TRS/SK90/2.34.trs 0.002 0.0 0.014 0.035 60.0 0.06 0.0 0.0
problem t e s nv g c r *
TRS/SK90/2.35.trs 0.0 0.0 0.029 0.022 3.216 0.0 0.0 0.0
TRS/SK90/2.36.trs 0.0 0.0 0.0 0.005 0.009 0.0 0.003 0.0
TRS/SK90/2.37.trs 0.0 0.0 0.02 0.004 0.642 0.0 0.0 0.0
TRS/SK90/2.38.trs 0.001 0.026 0.017 0.019 60.0 0.0 0.0 0.0
TRS/SK90/2.39.trs 0.0 0.0 0.023 0.006 60.0 0.0 0.0 0.0
TRS/SK90/2.40.trs 0.0 0.0 0.066 0.083 60.0 0.0 0.0 0.0
TRS/SK90/2.41.trs 0.002 0.0 0.013 0.002 0.0 0.0 0.0 0.0
TRS/SK90/2.42.trs 0.0 0.006 0.174 0.634 60.0 0.0 0.0 0.0
TRS/SK90/2.43.trs 0.0 0.0 0.049 0.061 60.0 0.0 0.0 0.0
TRS/SK90/2.44.trs 0.0 0.0 0.39 20.55 60.0 0.0 0.0 0.002
TRS/SK90/2.45.trs 0.005 0.0 7.59 12.041 60.0 0.0 0.0 0.0
TRS/SK90/2.46.trs 0.0 0.0 0.014 0.016 3.41 0.0 0.0 0.0
TRS/SK90/2.47.trs 0.0 0.0 0.0 0.003 0.0 0.0 0.0 0.003
TRS/SK90/2.48.trs 0.002 0.0 0.0 0.012 0.0 0.0 0.004 0.0
TRS/SK90/2.49.trs 0.0 0.0 0.069 0.009 60.0 0.0 0.0 0.0
TRS/SK90/2.50.trs 0.0 0.0 0.016 0.0 0.0 0.003 0.0 0.0
TRS/SK90/2.51.trs 0.001 0.0 0.033 0.05 60.0 0.0 0.0 0.0
TRS/SK90/2.52.trs 0.0 0.0 2.598 60.0 60.0 0.0 0.0 0.005
TRS/SK90/2.53.trs 0.0 0.0 0.001 0.0 0.0 0.0 0.004 0.0
TRS/SK90/2.54.trs 0.0 0.0 0.0 0.0 0.0 0.003 0.0 0.0
TRS/SK90/2.55.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.004 0.0
TRS/SK90/2.56.trs 0.0 0.0 0.0 0.011 0.001 0.0 0.0 0.0
TRS/SK90/2.57.trs 0.0 0.0 0.021 0.001 60.0 0.0 0.0 0.0
TRS/SK90/2.58.trs 0.0 0.0 0.003 0.017 0.766 0.0 0.0 0.0
TRS/SK90/2.59.trs 0.0 0.0 0.0 0.013 0.011 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SK90/2.60.trs 0.0 0.0 0.004 0.0 60.0 0.0 0.0 0.0
TRS/SK90/2.61.trs 0.002 0.0 1.674 7.016 60.0 16.137 0.0 0.5
TRS/SK90/4.01.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.002 0.0
TRS/SK90/4.02.trs 0.005 0.0 0.41 2.212 60.0 0.006 0.005 0.025
TRS/SK90/4.03.trs 0.002 0.0 0.14 0.319 60.0 0.0 0.0 0.0
TRS/SK90/4.04.trs 0.001 0.0 0.025 0.017 60.0 0.002 0.0 0.0
TRS/SK90/4.05.trs 0.0 0.0 0.009 0.0 0.003 0.004 0.0 0.0
TRS/SK90/4.06.trs 0.0 0.0 0.124 0.372 60.0 0.0 0.0 0.0
TRS/SK90/4.07.trs 0.0 0.0 0.003 0.006 60.0 0.0 0.0 0.0
TRS/SK90/4.08.trs 0.0 0.0 0.001 0.0 2.16 0.0 0.0 0.0
TRS/SK90/4.09.trs 0.002 0.0 0.101 0.213 60.0 0.0 0.002 0.02
TRS/SK90/4.10.trs 0.002 0.011 0.015 0.0 0.007 0.0 0.0 0.0
TRS/SK90/4.11.trs 0.0 0.0 0.017 0.0 60.0 0.0 0.0 0.0
TRS/SK90/4.12.trs 0.0 0.0 0.005 0.001 3.935 0.0 0.0 0.0
TRS/SK90/4.13.trs 0.0 0.0 0.0 0.0 0.016 0.0 0.0 0.0
TRS/SK90/4.14.trs 0.0 0.0 0.342 0.848 60.0 0.0 0.0 0.0
TRS/SK90/4.15.trs 0.0 0.0 0.0 0.013 60.0 0.0 0.004 0.0
TRS/SK90/4.16.trs 0.002 0.004 0.0 0.002 0.008 0.0 0.0 0.0
TRS/SK90/4.17.trs 0.002 0.0 0.002 0.003 0.866 0.0 0.0 0.0
TRS/SK90/4.18.trs 0.001 0.0 0.003 0.003 0.042 0.0 0.0 0.0
TRS/SK90/4.19.trs 0.0 0.0 0.023 0.012 60.0 0.0 0.0 0.0
TRS/SK90/4.20.trs 0.0 0.0 0.103 0.09 60.0 0.0 0.0 0.0
TRS/SK90/4.21.trs 0.0 0.0 0.115 0.267 60.0 0.0 0.0 0.0
TRS/SK90/4.22.trs 0.0 0.0 0.039 0.022 60.0 0.0 0.0 0.0
TRS/SK90/4.23.trs 0.0 0.012 0.194 0.172 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SK90/4.24.trs 0.002 0.0 0.062 0.043 60.0 0.0 0.0 0.0
TRS/SK90/4.25.trs 0.0 0.0 0.0 0.012 0.0 0.0 0.0 0.0
TRS/SK90/4.26.trs 0.001 0.0 0.061 0.096 60.0 0.0 0.0 0.0
TRS/SK90/4.27.trs 0.002 0.0 0.053 0.011 60.0 0.0 60.0 0.0
TRS/SK90/4.28.trs 0.0 0.0 0.03 0.005 1.474 0.0 0.0 0.0
TRS/SK90/4.29.trs 0.0 0.0 0.001 0.0 3.437 0.0 0.0 0.0
TRS/SK90/4.30.trs 0.0 0.0 0.0 0.003 0.055 0.0 0.0 0.0
TRS/SK90/4.31.trs 0.0 0.0 0.018 0.002 60.0 0.0 0.0 0.0
TRS/SK90/4.32.trs 0.0 0.0 0.065 0.117 60.0 0.0 60.0 0.493
TRS/SK90/4.33.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/SK90/4.34.trs 0.0 0.0 0.0 0.012 0.059 0.0 0.0 0.0
TRS/SK90/4.35.trs 0.001 0.0 0.0 0.004 0.0 0.0 0.0 0.003
TRS/SK90/4.36.trs 0.021 0.0 0.004 0.0 0.027 0.0 0.0 0.0
TRS/SK90/4.37.trs 0.0 0.0 0.0 0.002 0.0 0.003 0.0 0.0
TRS/SK90/4.38.trs 0.0 0.0 0.0 0.001 0.005 0.0 0.0 0.0
TRS/SK90/4.39.trs 0.0 0.0 0.029 0.022 60.0 0.006 0.0 0.0
TRS/SK90/4.40.trs 0.0 0.0 0.119 0.091 60.0 0.0 0.0 0.0
TRS/SK90/4.41.trs 0.001 0.0 0.003 0.0 0.052 0.0 0.0 0.0
TRS/SK90/4.42.trs 0.001 0.0 0.125 0.203 60.0 0.0 0.0 0.0
TRS/SK90/4.43.trs 0.002 0.0 0.049 0.047 60.0 0.0 0.0 0.0
TRS/SK90/4.44.trs 0.002 0.0 0.0 0.002 0.0 0.002 0.0 0.0
TRS/SK90/4.45.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.004 0.0
TRS/SK90/4.46.trs 0.0 0.0 0.0 0.011 0.0 0.0 0.0 0.0
TRS/SK90/4.47.trs 0.0 0.0 0.016 0.0 60.0 0.0 0.0 0.0
TRS/SK90/4.48.trs 0.002 0.0 0.004 0.046 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SK90/4.49.trs 0.0 0.0 0.031 0.061 60.0 0.0 0.0 0.0
TRS/SK90/4.50.trs 0.001 0.0 0.0 0.005 0.203 0.0 0.0 0.0
TRS/SK90/4.51.trs 0.005 0.0 0.002 0.002 0.011 0.0 0.0 0.0
TRS/SK90/4.52.trs 0.0 0.0 0.069 0.123 60.0 0.0 0.0 0.0
TRS/SK90/4.53.trs 0.0 0.0 0.061 0.054 60.0 0.0 0.0 0.0
TRS/SK90/4.54.trs 0.0 0.0 0.012 0.007 60.0 0.0 0.0 0.0
TRS/SK90/4.55.trs 0.0 0.0 0.0 0.0 0.001 0.0 0.0 0.0
TRS/SK90/4.56.trs 0.001 0.0 0.0 0.0 0.004 0.0 0.0 0.0
TRS/SK90/4.57.trs 0.0 0.0 0.366 1.951 60.0 0.0 0.0 0.0
TRS/SK90/4.59.trs 0.002 0.0 0.053 0.015 60.0 0.0 0.0 0.0
TRS/SK90/4.60.trs 0.002 0.0 0.068 0.181 60.0 0.0 0.0 0.0
TRS/SK90/4.61.trs 0.0 0.0 0.339 3.662 60.0 0.005 0.006 0.016
TRS/Ste92/hydra.trs 0.021 0.0 0.258 0.531 60.0 0.0 0.0 0.0
TRS/Ste92/minsort.trs 0.013 0.004 1.934 8.252 60.0 0.0 0.0 0.0
TRS/Ste92/motivation.trs 0.001 0.0 0.037 0.026 60.0 0.0 0.0 0.0
TRS/Ste92/perfect2.trs 0.003 0.0 3.411 60.0 60.0 0.0 0.0 0.0
TRS/Ste92/perfect.trs 0.0 0.0 0.111 0.074 60.0 0.0 0.0 0.0
TRS/Thiemann/div_notCeTermin.trs 0.003 0.0 0.764 5.578 60.0 0.0 0.0 0.0
TRS/Thiemann/div_notTermin.trs 0.001 0.0 13.15 60.0 60.0 0.0 0.0 0.002
TRS/Thiemann/factorial1.trs 0.002 0.0 0.212 0.511 60.0 0.0 0.0 0.0
TRS/Thiemann/factorial2.trs 0.0 0.0 0.362 2.298 60.0 0.0 0.0 0.0
TRS/Thiemann/identity.trs 0.0 0.0 0.064 0.032 60.0 0.0 60.0 0.491
TRS/Thiemann/logarithm.trs 0.0 0.0 0.313 4.539 60.0 0.0 0.0 0.0
TRS/Thiemann/mapHard.trs 0.013 0.0 60.0 60.0 60.0 28.073 28.005 0.003
TRS/Thiemann/modulo.trs 0.0 0.0 0.28 42.301 60.0 0.224 0.217 0.462
problem t e s nv g c r *
TRS/Thiemann/nonterm.trs 0.0 0.0 0.89 2.58 60.0 60.0 60.0 0.993
TRS/Thiemann/quicksort.trs 0.037 0.005 22.122 60.0 60.0 0.0 0.0 0.003
TRS/Thiemann/quot.trs 0.0 0.0 0.131 1.096 60.0 0.134 0.13 0.272
TRS/Thiemann/sizeChange.trs 0.0 0.0 0.3 0.275 60.0 0.0 0.0 0.0
TRS/Thiemann/tower_sizeChange.trs 0.0 0.0 0.095 0.075 60.0 0.0 60.0 0.487
TRS/Thiemann/tower.trs 0.003 0.0 0.452 1.567 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_2_AEL03_C.trs 0.204 0.211 60.0 60.0 60.0 0.286 0.285 0.559
TRS/TRCSR/Ex1_2_AEL03_FR.trs 0.0 0.0 0.822 1.312 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_2_AEL03_GM.trs 0.084 0.048 36.29 60.0 60.0 0.049 0.049 0.103
TRS/TRCSR/Ex1_2_AEL03_iGM.trs 0.191 0.205 60.0 60.0 60.0 0.196 0.199 0.388
TRS/TRCSR/Ex1_2_AEL03_Z.trs 0.0 0.0 0.513 0.743 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_2_Luc02c_C.trs 0.011 0.013 8.489 20.101 60.0 0.01 0.004 0.023
TRS/TRCSR/Ex1_2_Luc02c_FR.trs 0.0 0.0 0.138 0.173 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_2_Luc02c_GM.trs 0.0 0.0 0.117 0.075 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_2_Luc02c_iGM.trs 0.005 0.0 1.681 3.633 60.0 0.0 0.0 0.007
TRS/TRCSR/Ex1_2_Luc02c_Z.trs 0.0 0.0 0.023 0.018 0.046 0.0 0.0 0.0
TRS/TRCSR/Ex14_AEGL02_C.trs 0.041 0.001 8.271 25.092 60.0 0.01 0.011 0.034
TRS/TRCSR/Ex14_AEGL02_FR.trs 0.002 0.0 0.599 0.683 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex14_AEGL02_GM.trs 0.01 0.0 0.555 0.251 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex14_AEGL02_iGM.trs 0.009 0.014 7.778 15.122 60.0 0.007 0.007 0.019
TRS/TRCSR/Ex14_AEGL02_L.trs 0.001 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex14_AEGL02_Z.trs 0.0 0.0 0.169 0.171 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex14_Luc06_C.trs 0.01 0.0 3.764 27.607 60.0 0.074 0.074 0.121
TRS/TRCSR/Ex14_Luc06_FR.trs 0.0 0.0 0.018 0.007 0.027 0.0 0.0 0.0
TRS/TRCSR/Ex14_Luc06_GM.trs 0.0 0.0 0.496 1.324 60.0 0.008 0.006 0.031
problem t e s nv g c r *
TRS/TRCSR/Ex14_Luc06_iGM.trs 0.01 0.003 7.867 5.641 60.0 60.0 60.0 0.995
TRS/TRCSR/Ex14_Luc06_L.trs 0.0 0.0 0.001 0.002 0.002 0.0 0.0 0.0
TRS/TRCSR/Ex14_Luc06_Z.trs 0.0 0.0 0.039 0.005 0.017 0.0 0.0 0.0
TRS/TRCSR/Ex15_Luc06_C.trs 0.0 0.0 0.139 0.097 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex15_Luc06_FR.trs 0.002 0.0 0.09 0.02 60.0 0.0 0.017 0.001
TRS/TRCSR/Ex15_Luc06_GM.trs 0.029 0.0 0.021 0.001 0.011 0.0 0.012 0.0
TRS/TRCSR/Ex15_Luc06_iGM.trs 0.028 0.0 0.233 0.15 60.0 0.0 0.004 0.016
TRS/TRCSR/Ex15_Luc06_L.trs 0.018 0.0 0.0 0.0 0.0 0.0 0.0 0.032
TRS/TRCSR/Ex15_Luc06_Z.trs 0.004 0.0 0.023 0.0 0.006 0.0 0.004 0.0
TRS/TRCSR/Ex15_Luc98_C.trs 0.122 0.08 60.0 60.0 60.0 0.119 0.12 0.116
TRS/TRCSR/Ex15_Luc98_FR.trs 0.005 0.0 0.682 0.536 60.0 0.0 0.0 0.045
TRS/TRCSR/Ex15_Luc98_GM.trs 0.009 0.0 2.156 1.36 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex15_Luc98_iGM.trs 0.088 0.046 60.0 60.0 60.0 0.054 0.054 0.11
TRS/TRCSR/Ex15_Luc98_Z.trs 0.0 0.0 0.551 0.384 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex16_Luc06_C.trs 0.0 0.0 0.227 0.538 60.0 0.004 0.002 0.015
TRS/TRCSR/Ex16_Luc06_FR.trs 0.0 0.0 0.001 0.001 0.014 0.0 0.003 0.0
TRS/TRCSR/Ex16_Luc06_GM.trs 0.001 0.0 0.048 0.034 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex16_Luc06_iGM.trs 0.003 0.0 0.188 0.192 60.0 0.014 0.005 0.001
TRS/TRCSR/Ex16_Luc06_L.trs 0.0 0.0 0.002 0.015 0.004 0.0 0.0 0.0
TRS/TRCSR/Ex16_Luc06_Z.trs 0.005 0.0 0.029 0.008 0.013 0.0 0.0 0.0
TRS/TRCSR/Ex18_Luc06_C.trs 0.009 0.012 0.351 0.279 60.0 0.005 0.016 0.023
TRS/TRCSR/Ex18_Luc06_FR.trs 0.006 0.0 0.076 0.041 6.594 0.0 0.0 0.0
TRS/TRCSR/Ex18_Luc06_GM.trs 0.001 0.0 0.016 0.004 58.275 0.0 0.0 0.0
TRS/TRCSR/Ex18_Luc06_iGM.trs 0.019 0.01 0.276 0.199 60.0 0.001 0.016 0.016
TRS/TRCSR/Ex18_Luc06_L.trs 0.014 0.012 0.009 0.008 0.009 0.006 0.0 0.0
problem t e s nv g c r *
TRS/TRCSR/Ex18_Luc06_Z.trs 0.005 0.0 0.032 0.008 0.011 0.0 0.0 0.0
TRS/TRCSR/Ex1_GL02a_C.trs 0.094 0.063 38.008 60.0 60.0 0.114 0.114 0.22
TRS/TRCSR/Ex1_GL02a_FR.trs 0.003 0.0 0.863 0.416 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GL02a_GM.trs 0.004 0.0 1.075 0.208 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GL02a_iGM.trs 0.065 0.023 60.0 60.0 60.0 0.094 0.086 0.067
TRS/TRCSR/Ex1_GL02a_L.trs 0.001 0.0 0.0 0.003 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GL02a_Z.trs 0.03 0.0 0.73 0.257 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM03_C.trs 0.07 0.021 60.0 60.0 60.0 0.045 0.047 0.098
TRS/TRCSR/Ex1_GM03_FR.trs 0.001 0.0 2.272 14.04 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM03_GM.trs 0.007 0.0 7.976 60.0 60.0 0.0 0.0 0.008
TRS/TRCSR/Ex1_GM03_iGM.trs 0.023 0.026 60.0 60.0 60.0 0.04 0.036 0.074
TRS/TRCSR/Ex1_GM03_Z.trs 0.0 0.0 0.586 3.646 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM99_C.trs 0.0 0.0 1.499 30.487 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM99_FR.trs 0.001 0.0 0.005 0.006 0.211 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM99_GM.trs 0.0 0.0 0.189 1.464 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM99_iGM.trs 0.001 0.0 5.257 36.264 60.0 0.0 0.0 0.0
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.0 0.0 0.023 0.0 0.207 0.0 0.0 0.0
TRS/TRCSR/Ex1_Luc02b_C.trs 0.062 0.017 32.261 60.0 60.0 0.036 0.039 0.083
TRS/TRCSR/Ex1_Luc02b_FR.trs 0.0 0.0 0.183 0.107 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Luc02b_GM.trs 0.0 0.0 0.717 0.81 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Luc02b_iGM.trs 0.051 0.013 28.322 46.59 60.0 0.097 0.09 0.167
TRS/TRCSR/Ex1_Luc02b_Z.trs 0.006 0.0 0.15 0.092 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Luc04b_C.trs 0.094 0.059 15.012 2.687 60.0 0.028 0.382 0.61
TRS/TRCSR/Ex1_Luc04b_FR.trs 0.006 0.0 0.43 0.165 60.0 0.0 0.0 0.004
problem t e s nv g c r *
TRS/TRCSR/Ex1_Luc04b_GM.trs 0.036 0.008 3.315 0.755 60.0 0.0 0.047 0.053
TRS/TRCSR/Ex1_Luc04b_iGM.trs 0.051 0.011 9.55 10.944 60.0 0.025 1.417 0.603
TRS/TRCSR/Ex1_Luc04b_Z.trs 0.017 0.0 0.104 0.075 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_C.trs 0.009 0.012 0.391 0.173 60.0 0.002 0.015 0.01
TRS/TRCSR/Ex1_Zan97_FR.trs 0.005 0.0 0.069 0.033 0.022 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_GM.trs 0.009 0.0 0.027 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_iGM.trs 0.001 0.0 0.041 0.009 2.188 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_L.trs 0.0 0.0 0.012 0.0 0.004 0.0 0.004 0.0
TRS/TRCSR/Ex1_Zan97_Z.trs 0.0 0.0 0.042 0.005 0.002 0.0 0.0 0.0
TRS/TRCSR/Ex23_Luc06_C.trs 0.011 0.002 0.547 0.312 60.0 0.0 0.005 0.009
TRS/TRCSR/Ex23_Luc06_FR.trs 0.0 0.0 0.072 0.019 18.5 0.0 0.0 0.0
TRS/TRCSR/Ex23_Luc06_GM.trs 0.0 0.0 0.018 0.004 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex23_Luc06_iGM.trs 0.006 0.0 0.327 0.158 60.0 0.0 0.001 0.0
TRS/TRCSR/Ex23_Luc06_L.trs 0.0 0.0 0.0 0.0 0.003 0.0 0.0 0.002
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.003 0.0 2.19 60.0 60.0 0.046 0.045 0.172
TRS/TRCSR/Ex24_GM04_FR.trs 0.012 0.0 0.072 0.247 60.0 0.0 0.0 0.004
TRS/TRCSR/Ex24_GM04_GM.trs 0.006 0.0 0.722 8.18 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex24_GM04_iGM.trs 0.005 0.0 9.226 50.541 60.0 60.0 60.0 0.99
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.0 0.0 0.022 0.05 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex24_Luc06_C.trs 0.022 0.0 1.051 21.831 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex24_Luc06_FR.trs 0.0 0.0 0.006 0.0 0.223 0.0 0.0 0.0
TRS/TRCSR/Ex24_Luc06_GM.trs 0.001 0.0 0.129 0.87 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex24_Luc06_iGM.trs 0.001 0.0 3.994 17.519 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/TRCSR/Ex24_Luc06_L.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex24_Luc06_Z.trs 0.0 0.0 0.026 0.013 0.19 0.0 0.0 0.0
TRS/TRCSR/Ex25_Luc06_C.trs 0.008 0.0 1.778 0.681 60.0 0.004 60.0 0.502
TRS/TRCSR/Ex25_Luc06_FR.trs 0.0 0.0 0.119 0.036 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex25_Luc06_GM.trs 0.002 0.0 0.137 0.031 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex25_Luc06_iGM.trs 0.009 0.0 1.702 0.799 60.0 0.0 0.034 0.039
TRS/TRCSR/Ex25_Luc06_L.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.003
TRS/TRCSR/Ex25_Luc06_Z.trs 0.0 0.01 0.087 0.016 60.0 0.0 0.006 0.011
TRS/TRCSR/Ex26_Luc03b_C.trs 0.153 0.126 60.0 60.0 60.0 0.226 0.219 0.453
TRS/TRCSR/Ex26_Luc03b_FR.trs 0.039 0.0 6.587 10.691 60.0 0.0 0.0 0.004
TRS/TRCSR/Ex26_Luc03b_GM.trs 0.007 0.0 2.955 1.25 60.0 0.0 0.005 0.005
TRS/TRCSR/Ex26_Luc03b_iGM.trs 0.106 0.062 60.0 60.0 60.0 0.076 0.081 0.148
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.001 0.0 2.877 6.18 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex2_Luc02a_C.trs 0.115 0.067 60.0 60.0 60.0 0.114 0.115 0.238
TRS/TRCSR/Ex2_Luc02a_FR.trs 0.004 0.0 1.58 2.587 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex2_Luc02a_GM.trs 0.044 0.002 9.952 31.15 60.0 0.007 0.006 0.026
TRS/TRCSR/Ex2_Luc02a_iGM.trs 0.104 0.065 60.0 60.0 60.0 0.083 0.081 0.161
TRS/TRCSR/Ex2_Luc02a_L.trs 0.0 0.0 0.082 0.098 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex2_Luc02a_Z.trs 0.0 0.0 0.157 0.281 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex2_Luc03b_C.trs 0.069 0.022 54.438 60.0 60.0 0.052 0.049 0.109
TRS/TRCSR/Ex2_Luc03b_FR.trs 0.001 0.0 1.183 0.69 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex2_Luc03b_GM.trs 0.006 0.0 1.214 0.597 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex2_Luc03b_iGM.trs 0.071 0.028 48.126 60.0 60.0 0.037 0.038 0.077
TRS/TRCSR/Ex2_Luc03b_L.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/TRCSR/Ex2_Luc03b_Z.trs 0.0 0.0 0.02 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex3_12_Luc96a_C.trs 0.041 0.0 11.619 60.0 60.0 0.063 0.032 0.043
TRS/TRCSR/Ex3_12_Luc96a_FR.trs 0.0 0.0 0.061 0.034 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex3_12_Luc96a_GM.trs 0.0 0.0 0.219 0.204 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex3_12_Luc96a_iGM.trs 0.008 0.0 5.311 10.834 60.0 0.003 0.003 0.017
TRS/TRCSR/Ex3_12_Luc96a_Z.trs 0.0 0.0 0.016 0.016 11.07 0.0 0.0 0.0
TRS/TRCSR/Ex3_2_Luc97_C.trs 0.073 0.024 60.0 60.0 60.0 0.117 0.094 0.114
TRS/TRCSR/Ex3_2_Luc97_FR.trs 0.006 0.0 2.987 2.119 60.0 0.0 0.0 0.007
TRS/TRCSR/Ex3_2_Luc97_GM.trs 0.005 0.0 1.846 0.97 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex3_2_Luc97_iGM.trs 0.156 0.122 60.0 60.0 60.0 0.145 0.147 0.278
TRS/TRCSR/Ex3_2_Luc97_Z.trs 0.028 0.003 3.384 1.34 60.0 0.0 0.0 0.011
TRS/TRCSR/Ex3_3_25_Bor03_C.trs 0.072 0.031 60.0 60.0 60.0 0.158 0.398 0.86
TRS/TRCSR/Ex3_3_25_Bor03_FR.trs 0.03 0.009 2.47 0.926 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex3_3_25_Bor03_GM.trs 0.009 0.0 1.465 0.916 60.0 0.0 0.0 0.003
TRS/TRCSR/Ex3_3_25_Bor03_iGM.trs 0.064 0.031 60.0 60.0 60.0 0.044 0.043 0.086
TRS/TRCSR/Ex3_3_25_Bor03_L.trs 0.0 0.0 0.0 0.0 0.0 0.012 0.0 0.0
TRS/TRCSR/Ex3_3_25_Bor03_Z.trs 0.002 0.017 0.017 0.005 0.007 0.0 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_C.trs 0.004 0.0 0.677 3.178 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_FR.trs 0.001 0.011 0.101 0.081 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_GM.trs 0.002 0.0 0.06 0.056 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_iGM.trs 0.003 0.0 0.263 0.85 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_L.trs 0.0 0.0 0.0 0.004 0.0 0.003 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_Z.trs 0.0 0.0 0.046 0.024 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_15_Bor03_C.trs 0.012 0.0 3.76 1.36 60.0 0.009 0.048 0.053
TRS/TRCSR/Ex4_7_15_Bor03_FR.trs 0.002 0.0 0.139 0.043 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.0 0.0 0.135 0.056 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_15_Bor03_iGM.trs 0.003 0.0 2.089 0.987 60.0 0.005 0.103 0.11
TRS/TRCSR/Ex4_7_15_Bor03_L.trs 0.0 0.0 0.0 0.011 0.005 0.0 0.004 0.0
TRS/TRCSR/Ex4_7_15_Bor03_Z.trs 0.0 0.0 0.001 0.002 0.008 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_37_Bor03_C.trs 0.103 0.07 60.0 60.0 60.0 0.304 0.299 0.59
TRS/TRCSR/Ex4_7_37_Bor03_FR.trs 0.032 0.005 2.318 2.938 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_37_Bor03_GM.trs 0.047 0.008 7.024 43.842 60.0 0.012 0.015 0.035
TRS/TRCSR/Ex4_7_37_Bor03_iGM.trs 0.104 0.068 60.0 60.0 60.0 0.081 0.077 0.152
TRS/TRCSR/Ex4_7_37_Bor03_Z.trs 0.0 0.0 0.626 3.047 60.0 0.003 0.0 0.005
TRS/TRCSR/Ex4_7_56_Bor03_C.trs 0.06 0.029 9.912 60.0 60.0 0.013 0.017 0.035
TRS/TRCSR/Ex4_7_56_Bor03_FR.trs 0.002 0.0 0.064 0.018 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_56_Bor03_GM.trs 0.001 0.0 0.227 0.203 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_56_Bor03_iGM.trs 0.013 0.0 5.311 8.642 60.0 0.044 0.043 0.079
TRS/TRCSR/Ex4_7_56_Bor03_Z.trs 0.019 0.02 0.046 0.019 12.2 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_77_Bor03_C.trs 0.0 0.0 0.462 0.212 60.0 0.0 0.011 0.016
TRS/TRCSR/Ex4_7_77_Bor03_FR.trs 0.0 0.0 0.0 0.012 0.0 0.0 0.003 0.003
TRS/TRCSR/Ex4_7_77_Bor03_GM.trs 0.002 0.0 0.083 0.023 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_77_Bor03_iGM.trs 0.0 0.0 0.364 0.25 60.0 0.0 0.018 0.02
TRS/TRCSR/Ex4_7_77_Bor03_Z.trs 0.0 0.0 0.0 0.0 0.005 0.0 0.004 0.003
TRS/TRCSR/Ex49_GM04_C.trs 0.058 0.008 60.0 60.0 60.0 0.026 0.027 0.058
TRS/TRCSR/Ex49_GM04_FR.trs 0.006 0.0 3.299 58.19 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex49_GM04_GM.trs 0.0 0.009 11.524 60.0 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex49_GM04_iGM.trs 0.069 0.023 60.0 60.0 60.0 0.032 0.031 0.066
TRS/TRCSR/Ex49_GM04_Z.trs 0.0 0.0 1.135 16.524 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_DLMMU04_C.trs 0.17 0.154 60.0 60.0 60.0 0.216 0.216 0.423
problem t e s nv g c r *
TRS/TRCSR/Ex4_DLMMU04_FR.trs 0.068 0.011 60.0 60.0 60.0 0.027 0.027 0.059
TRS/TRCSR/Ex4_DLMMU04_GM.trs 0.069 0.022 60.0 60.0 60.0 0.035 0.038 0.078
TRS/TRCSR/Ex4_DLMMU04_iGM.trs 0.202 0.24 60.0 60.0 60.0 0.211 0.207 0.426
TRS/TRCSR/Ex4_DLMMU04_Z.trs 0.052 0.006 60.0 60.0 60.0 0.018 0.019 0.043
TRS/TRCSR/Ex4_Zan97_C.trs 0.051 0.008 23.763 60.0 60.0 0.03 0.031 0.079
TRS/TRCSR/Ex4_Zan97_FR.trs 0.0 0.0 0.115 0.045 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_Zan97_GM.trs 0.005 0.0 0.599 0.651 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_Zan97_iGM.trs 0.046 0.008 16.092 21.0 60.0 0.02 0.018 0.042
TRS/TRCSR/Ex4_Zan97_Z.trs 0.0 0.0 0.072 0.018 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex5_7_Luc97_C.trs 0.132 0.126 60.0 60.0 60.0 0.183 0.18 0.361
TRS/TRCSR/Ex5_7_Luc97_FR.trs 0.043 0.0 7.026 3.661 60.0 0.004 0.004 0.025
TRS/TRCSR/Ex5_7_Luc97_GM.trs 0.057 0.02 17.687 18.052 60.0 0.02 0.019 0.052
TRS/TRCSR/Ex5_7_Luc97_iGM.trs 0.175 0.177 60.0 60.0 60.0 0.167 0.166 0.355
TRS/TRCSR/Ex5_7_Luc97_Z.trs 0.007 0.002 3.336 2.024 60.0 0.0 0.0 0.008
TRS/TRCSR/Ex5_DLMMU04_C.trs 0.134 0.083 60.0 60.0 60.0 0.136 0.13 0.258
TRS/TRCSR/Ex5_DLMMU04_FR.trs 0.011 0.0 9.59 19.214 60.0 0.0 0.0 0.01
TRS/TRCSR/Ex5_DLMMU04_GM.trs 0.045 0.006 7.326 3.425 60.0 0.05 0.05 0.114
TRS/TRCSR/Ex5_DLMMU04_iGM.trs 0.232 0.267 60.0 60.0 60.0 0.296 0.298 0.541
TRS/TRCSR/Ex5_DLMMU04_Z.trs 0.001 0.0 3.814 15.798 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex5_Zan97_C.trs 0.009 0.0 1.165 0.491 60.0 0.0 60.0 0.495
TRS/TRCSR/Ex5_Zan97_FR.trs 0.0 0.0 0.084 0.058 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex5_Zan97_GM.trs 0.0 0.0 0.121 0.109 60.0 0.0 0.005 0.0
TRS/TRCSR/Ex5_Zan97_iGM.trs 0.01 0.0 1.019 0.82 60.0 0.0 0.141 0.139
TRS/TRCSR/Ex5_Zan97_Z.trs 0.0 0.0 0.0 0.002 0.08 0.0 0.0 0.0
TRS/TRCSR/Ex6_15_AEL02_C.trs 0.266 0.338 60.0 60.0 60.0 0.402 0.401 0.796
problem t e s nv g c r *
TRS/TRCSR/Ex6_15_AEL02_FR.trs 0.043 0.001 16.828 34.539 60.0 0.012 0.013 0.031
TRS/TRCSR/Ex6_15_AEL02_GM.trs 0.07 0.092 60.0 31.425 60.0 0.081 0.08 0.169
TRS/TRCSR/Ex6_15_AEL02_iGM.trs 0.286 0.419 60.0 60.0 60.0 0.333 0.335 0.693
TRS/TRCSR/Ex6_15_AEL02_Z.trs 0.012 0.0 11.56 35.288 60.0 0.003 0.002 0.015
TRS/TRCSR/Ex6_9_Luc02c_C.trs 0.049 0.004 18.133 60.0 60.0 0.021 0.022 0.056
TRS/TRCSR/Ex6_9_Luc02c_FR.trs 0.0 0.0 0.065 0.013 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_9_Luc02c_GM.trs 0.0 0.0 0.244 0.368 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_9_Luc02c_iGM.trs 0.041 0.001 5.464 12.372 60.0 0.011 0.01 0.029
TRS/TRCSR/Ex6_9_Luc02c_Z.trs 0.0 0.0 0.017 0.005 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_C.trs 0.002 0.0 0.106 0.051 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_FR.trs 0.001 0.0 0.051 0.037 0.631 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_GM.trs 0.0 0.0 0.0 0.006 0.002 0.0 0.0 0.003
TRS/TRCSR/Ex6_GM04_iGM.trs 0.0 0.0 0.053 0.004 1.861 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_L.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.003 0.0
TRS/TRCSR/Ex6_GM04_Z.trs 0.0 0.0 0.053 0.013 0.631 0.0 0.0 0.0
TRS/TRCSR/Ex6_Luc98_C.trs 0.043 0.0 12.292 60.0 60.0 0.071 0.069 0.143
TRS/TRCSR/Ex6_Luc98_FR.trs 0.008 0.01 0.4 0.089 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_Luc98_GM.trs 0.0 0.0 0.237 0.099 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_Luc98_iGM.trs 0.01 0.0 8.106 17.401 60.0 0.007 0.01 0.022
TRS/TRCSR/Ex6_Luc98_L.trs 0.0 0.0 0.0 0.004 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_Luc98_Z.trs 0.0 0.004 0.002 0.002 0.005 0.0 0.0 0.0
TRS/TRCSR/Ex7_BLR02_C.trs 0.089 0.037 60.0 60.0 60.0 0.068 0.069 0.143
TRS/TRCSR/Ex7_BLR02_FR.trs 0.0 0.0 0.211 0.128 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex7_BLR02_GM.trs 0.008 0.009 2.453 3.06 60.0 0.001 0.001 0.025
TRS/TRCSR/Ex7_BLR02_iGM.trs 0.077 0.04 60.0 60.0 60.0 0.117 0.118 0.227
problem t e s nv g c r *
TRS/TRCSR/Ex7_BLR02_Z.trs 0.005 0.0 0.178 0.082 60.0 0.0 0.004 0.0
TRS/TRCSR/Ex8_BLR02_C.trs 0.101 0.082 60.0 60.0 60.0 0.143 0.141 0.289
TRS/TRCSR/Ex8_BLR02_FR.trs 0.012 0.006 0.38 0.285 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex8_BLR02_GM.trs 0.028 0.035 1.876 2.677 60.0 0.0 0.001 0.014
TRS/TRCSR/Ex8_BLR02_iGM.trs 0.069 0.032 60.0 60.0 60.0 0.042 0.042 0.084
TRS/TRCSR/Ex8_BLR02_Z.trs 0.002 0.0 0.07 0.037 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_BLR02_C.trs 0.07 0.025 60.0 60.0 60.0 0.06 0.06 0.119
TRS/TRCSR/Ex9_BLR02_FR.trs 0.001 0.0 0.876 0.575 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_BLR02_GM.trs 0.009 0.0 1.411 0.771 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_BLR02_iGM.trs 0.072 0.032 60.0 60.0 60.0 0.053 0.047 0.088
TRS/TRCSR/Ex9_BLR02_L.trs 0.0 0.0 0.0 0.0 0.011 0.0 0.0 0.0
TRS/TRCSR/Ex9_BLR02_Z.trs 0.0 0.0 7.928 60.0 60.0 0.0 0.0 0.015
TRS/TRCSR/Ex9_Luc04_C.trs 0.021 0.0 4.544 60.0 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_FR.trs 0.0 0.0 0.01 0.0 0.208 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_GM.trs 0.001 0.0 0.205 1.51 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_iGM.trs 0.002 0.0 7.751 34.53 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_L.trs 0.0 0.0 0.009 0.018 0.0 0.0 0.001 0.0
TRS/TRCSR/Ex9_Luc04_Z.trs 0.0 0.0 0.0 0.003 0.197 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc06_C.trs 0.003 0.0 1.859 25.509 60.0 0.04 0.008 0.058
TRS/TRCSR/Ex9_Luc06_FR.trs 0.0 0.0 0.034 0.007 0.489 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc06_GM.trs 0.0 0.0 0.088 0.337 60.0 0.066 0.0 0.084
TRS/TRCSR/Ex9_Luc06_iGM.trs 0.001 0.0 0.593 1.716 60.0 0.412 60.0 0.501
TRS/TRCSR/Ex9_Luc06_L.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc06_Z.trs 0.0 0.0 0.034 0.015 0.496 0.0 0.0 0.0
TRS/TRCSR/ExAppendixB_AEL03_C.trs 0.236 0.272 60.0 60.0 60.0 0.355 0.359 0.7
problem t e s nv g c r *
TRS/TRCSR/ExAppendixB_AEL03_FR.trs 0.0 0.0 0.547 1.011 60.0 0.0 0.0 0.0
TRS/TRCSR/ExAppendixB_AEL03_GM.trs 0.116 0.067 60.0 60.0 60.0 0.159 0.073 0.151
TRS/TRCSR/ExAppendixB_AEL03_iGM.trs 0.22 0.286 60.0 60.0 60.0 0.257 0.254 0.515
TRS/TRCSR/ExAppendixB_AEL03_Z.trs 0.0 0.0 0.342 0.567 60.0 0.0 0.0 0.0
TRS/TRCSR/ExConc_Zan97_C.trs 0.0 0.0 0.364 0.214 60.0 0.0 0.004 0.008
TRS/TRCSR/ExConc_Zan97_FR.trs 0.001 0.0 0.02 0.016 2.005 0.0 0.0 0.0
TRS/TRCSR/ExConc_Zan97_GM.trs 0.002 0.0 0.013 0.001 5.082 0.0 0.0 0.0
TRS/TRCSR/ExConc_Zan97_iGM.trs 0.0 0.0 0.2 0.163 60.0 0.005 0.018 0.022
TRS/TRCSR/ExConc_Zan97_L.trs 0.014 0.0 0.017 0.006 0.006 0.006 0.002 0.012
TRS/TRCSR/ExConc_Zan97_Z.trs 0.004 0.0 0.01 0.005 0.011 0.0 0.0 0.0
TRS/TRCSR/ExIntrod_GM01_C.trs 0.125 0.073 35.27 4.614 60.0 0.046 60.0 0.551
TRS/TRCSR/ExIntrod_GM01_FR.trs 0.003 0.0 0.241 0.11 60.0 0.0 0.0 0.0
TRS/TRCSR/ExIntrod_GM01_GM.trs 0.01 0.0 2.357 1.376 60.0 0.0 0.11 0.124
TRS/TRCSR/ExIntrod_GM01_iGM.trs 0.072 0.023 22.802 29.405 60.0 0.039 1.537 0.553
TRS/TRCSR/ExIntrod_GM01_Z.trs 0.0 0.0 0.254 0.073 60.0 0.0 0.0 0.0
TRS/TRCSR/ExIntrod_GM04_C.trs 0.046 0.005 13.0 2.501 60.0 0.029 60.0 0.528
TRS/TRCSR/ExIntrod_GM04_FR.trs 0.0 0.0 0.43 0.183 60.0 0.0 0.008 0.05
TRS/TRCSR/ExIntrod_GM04_GM.trs 0.036 0.009 3.112 1.681 60.0 0.01 0.161 0.078
TRS/TRCSR/ExIntrod_GM04_iGM.trs 0.055 0.011 11.658 11.834 60.0 0.023 0.543 0.588
TRS/TRCSR/ExIntrod_GM04_Z.trs 0.02 0.014 1.01 0.395 60.0 0.0 0.031 0.033
TRS/TRCSR/ExIntrod_GM99_C.trs 0.24 0.274 60.0 60.0 60.0 0.409 0.152 0.294
TRS/TRCSR/ExIntrod_GM99_FR.trs 0.01 0.0 1.902 19.874 60.0 0.0 0.0 0.005
TRS/TRCSR/ExIntrod_GM99_GM.trs 0.044 0.01 60.0 60.0 60.0 0.013 0.013 0.035
TRS/TRCSR/ExIntrod_GM99_iGM.trs 0.134 0.11 60.0 60.0 60.0 0.119 0.123 0.224
TRS/TRCSR/ExIntrod_GM99_Z.trs 0.0 0.0 0.867 6.516 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/TRCSR/ExIntrod_Zan97_C.trs 0.103 0.051 60.0 60.0 60.0 0.089 0.09 0.181
TRS/TRCSR/ExIntrod_Zan97_FR.trs 0.009 0.0 4.114 19.225 60.0 0.0 0.0 0.0
TRS/TRCSR/ExIntrod_Zan97_GM.trs 0.047 0.004 24.212 60.0 60.0 0.007 0.008 0.028
TRS/TRCSR/ExIntrod_Zan97_iGM.trs 0.104 0.062 60.0 60.0 60.0 0.071 0.071 0.141
TRS/TRCSR/ExIntrod_Zan97_Z.trs 0.003 0.0 1.206 5.289 60.0 0.0 0.0 0.0
TRS/TRCSR/ExProp7_Luc06_C.trs 0.009 0.0 3.628 1.379 60.0 0.009 0.056 0.066
TRS/TRCSR/ExProp7_Luc06_FR.trs 0.001 0.0 0.143 0.061 60.0 0.0 0.0 0.0
TRS/TRCSR/ExProp7_Luc06_GM.trs 0.002 0.0 0.148 0.121 60.0 0.0 0.0 0.0
TRS/TRCSR/ExProp7_Luc06_iGM.trs 0.003 0.0 1.967 2.073 60.0 0.04 0.314 0.324
TRS/TRCSR/ExProp7_Luc06_L.trs 0.004 0.0 0.017 0.011 0.023 0.0 0.0 0.0
TRS/TRCSR/ExProp7_Luc06_Z.trs 0.005 0.0 0.01 0.004 0.033 0.0 0.0 0.0
TRS/TRCSR/ExSec11_1_Luc02a_C.trs 0.246 0.28 60.0 60.0 60.0 0.414 0.153 0.312
TRS/TRCSR/ExSec11_1_Luc02a_FR.trs 0.002 0.0 2.914 8.076 60.0 0.0 0.0 0.001
TRS/TRCSR/ExSec11_1_Luc02a_GM.trs 0.049 0.012 18.383 60.0 60.0 0.016 0.015 0.043
TRS/TRCSR/ExSec11_1_Luc02a_iGM.trs 0.144 0.107 60.0 60.0 60.0 0.115 0.115 0.23
TRS/TRCSR/ExSec11_1_Luc02a_L.trs 0.0 0.0 0.093 0.126 60.0 0.0 0.0 0.0
TRS/TRCSR/ExSec11_1_Luc02a_Z.trs 0.002 0.0 0.154 0.33 60.0 0.0 0.0 0.0
TRS/TRCSR/ExSec4_2_DLMMU04_C.trs 0.214 0.251 60.0 60.0 60.0 0.322 0.317 0.648
TRS/TRCSR/ExSec4_2_DLMMU04_FR.trs 0.0 0.0 11.629 60.0 60.0 0.0 0.0 0.0
TRS/TRCSR/ExSec4_2_DLMMU04_GM.trs 0.111 0.069 60.0 60.0 60.0 0.074 0.073 0.161
TRS/TRCSR/ExSec4_2_DLMMU04_iGM.trs 0.214 0.265 60.0 60.0 60.0 0.243 0.239 0.472
TRS/TRCSR/ExSec4_2_DLMMU04_Z.trs 0.003 0.0 9.663 60.0 60.0 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_complete_C.trs 0.45 0.698 60.0 60.0 60.0 0.831 0.968 1.652
TRS/TRCSR/LengthOfFiniteLists_complete_FR.trs 0.211 0.164 60.0 60.0 60.0 0.319 0.321 0.573
TRS/TRCSR/LengthOfFiniteLists_complete_GM.trs 0.165 0.126 60.0 60.0 60.0 0.165 0.164 0.328
problem t e s nv g c r *
TRS/TRCSR/LengthOfFiniteLists_complete_iGM.trs 0.645 1.166 60.0 60.0 60.0 0.782 0.777 1.551
TRS/TRCSR/LengthOfFiniteLists_complete_noand_C.trs 2.104 7.358 60.0 60.0 60.0 3.587 3.547 3.512
TRS/TRCSR/LengthOfFiniteLists_complete-noand_FR.trs 0.288 0.256 60.0 60.0 60.0 0.506 0.183 0.323
TRS/TRCSR/LengthOfFiniteLists_complete_noand_GM.trs 0.341 0.498 60.0 60.0 60.0 0.491 0.486 0.984
TRS/TRCSR/LengthOfFiniteLists_complete_noand_iGM.trs 2.595 6.141 60.0 60.0 60.0 2.816 2.797 6.608
TRS/TRCSR/LengthOfFiniteLists_complete-noand_Z.trs 0.133 0.079 60.0 60.0 60.0 0.169 0.172 0.302
TRS/TRCSR/LengthOfFiniteLists_complete_Z.trs 0.104 0.04 60.0 60.0 60.0 0.095 0.096 0.184
TRS/TRCSR/LengthOfFiniteLists_nokinds_C.trs 0.091 0.037 60.0 60.0 60.0 0.078 0.074 0.15
TRS/TRCSR/LengthOfFiniteLists_nokinds_FR.trs 0.044 0.0 18.508 28.761 60.0 0.014 0.013 0.035
TRS/TRCSR/LengthOfFiniteLists_nokinds_GM.trs 0.009 0.002 16.216 33.979 60.0 0.004 0.005 0.02
TRS/TRCSR/LengthOfFiniteLists_nokinds_iGM.trs 0.115 0.072 60.0 60.0 60.0 0.083 0.081 0.169
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_C.trs 0.203 0.217 60.0 60.0 60.0 0.311 0.316 1.117
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_FR.trs 0.077 0.041 22.485 60.0 60.0 0.02 0.015 0.048
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_GM.trs 0.072 0.029 60.0 60.0 60.0 0.04 0.036 0.081
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_iGM.trs 0.261 0.352 60.0 60.0 60.0 0.291 0.285 0.598
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_Z.trs 0.069 0.032 21.746 60.0 60.0 0.012 0.013 0.041
TRS/TRCSR/LengthOfFiniteLists_nokinds_Z.trs 0.045 0.002 17.26 26.452 60.0 0.01 0.01 0.029
TRS/TRCSR/LengthOfFiniteLists_nosorts_C.trs 0.047 0.0 5.768 2.215 60.0 0.058 0.172 0.211
TRS/TRCSR/LengthOfFiniteLists_nosorts_FR.trs 0.006 0.0 0.06 0.021 0.055 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_GM.trs 0.019 0.008 0.84 0.498 60.0 0.003 0.024 0.032
TRS/TRCSR/LengthOfFiniteLists_nosorts_iGM.trs 0.044 0.0 5.165 3.685 60.0 0.012 0.2 0.21
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_C.trs 0.05 0.023 15.121 4.673 60.0 0.026 0.095 0.108
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR.trs 0.002 0.0 0.028 0.014 0.159 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_GM.trs 0.001 0.0 0.789 0.211 60.0 0.0 0.005 0.007
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_iGM.trs 0.049 0.012 12.841 10.655 60.0 0.108 1.315 0.379
problem t e s nv g c r *
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_Z.trs 0.002 0.0 0.019 0.014 0.15 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_Z.trs 0.0 0.0 0.009 0.009 0.034 0.0 0.0 0.0
TRS/TRCSR/LISTUTILITIES_complete_C.trs 9.736 24.403 60.0 60.0 60.0 19.492 19.657 14.321
TRS/TRCSR/LISTUTILITIES_complete_FR.trs 0.799 0.93 60.0 60.0 60.0 1.543 1.524 1.938
TRS/TRCSR/LISTUTILITIES_complete_GM.trs 4.14 4.165 60.0 60.0 60.0 4.208 4.237 6.578
TRS/TRCSR/LISTUTILITIES_complete_iGM.trs 14.081 36.69 60.0 60.0 60.0 11.639 11.176 16.598
TRS/TRCSR/LISTUTILITIES_complete_noand_C.trs 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete-noand_FR.trs 2.702 2.52 60.0 60.0 60.0 5.096 4.563 3.395
TRS/TRCSR/LISTUTILITIES_complete_noand_GM.trs 32.528 49.719 60.0 60.0 60.0 39.529 39.446 35.196
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 1.557 1.852 60.0 60.0 60.0 3.587 7.009 2.84
TRS/TRCSR/LISTUTILITIES_complete_Z.trs 0.57 0.608 60.0 60.0 60.0 1.182 1.185 1.615
TRS/TRCSR/LISTUTILITIES_nokinds_C.trs 1.217 2.177 60.0 60.0 60.0 2.073 3.085 2.631
TRS/TRCSR/LISTUTILITIES_nokinds_FR.trs 0.308 0.26 60.0 60.0 60.0 0.378 0.379 0.672
TRS/TRCSR/LISTUTILITIES_nokinds_GM.trs 0.361 0.487 60.0 60.0 60.0 0.541 0.544 1.064
TRS/TRCSR/LISTUTILITIES_nokinds_iGM.trs 1.364 3.032 60.0 60.0 60.0 1.593 3.965 2.393
TRS/TRCSR/LISTUTILITIES_nokinds_noand_C.trs 6.566 16.504 60.0 60.0 60.0 10.315 14.363 7.985
TRS/TRCSR/LISTUTILITIES_nokinds-noand_FR.trs 0.419 0.459 60.0 60.0 60.0 0.663 0.653 1.166
TRS/TRCSR/LISTUTILITIES_nokinds_noand_GM.trs 3.089 2.765 60.0 60.0 60.0 2.182 2.209 2.968
TRS/TRCSR/LISTUTILITIES_nokinds_noand_iGM.trs 7.581 16.077 60.0 60.0 60.0 7.13 7.085 11.609
TRS/TRCSR/LISTUTILITIES_nokinds-noand_Z.trs 0.299 0.278 60.0 60.0 60.0 0.485 0.49 0.858
TRS/TRCSR/LISTUTILITIES_nokinds_Z.trs 0.18 0.127 60.0 60.0 60.0 0.245 0.245 0.444
TRS/TRCSR/LISTUTILITIES_nosorts_C.trs 0.274 0.358 60.0 60.0 60.0 0.443 0.456 0.859
TRS/TRCSR/LISTUTILITIES_nosorts_FR.trs 0.023 0.006 1.657 0.668 60.0 0.0 0.0 0.0
TRS/TRCSR/LISTUTILITIES_nosorts_GM.trs 0.138 0.104 45.648 58.165 60.0 0.103 0.103 0.215
problem t e s nv g c r *
TRS/TRCSR/LISTUTILITIES_nosorts_iGM.trs 0.286 0.408 60.0 60.0 60.0 0.335 0.342 0.689
TRS/TRCSR/LISTUTILITIES_nosorts_noand_C.trs 1.695 2.895 60.0 60.0 60.0 2.668 2.702 3.116
TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR.trs 0.049 0.0 9.577 9.449 60.0 0.021 0.029 0.05
TRS/TRCSR/LISTUTILITIES_nosorts_noand_GM.trs 0.462 0.644 60.0 60.0 60.0 0.576 0.573 1.057
TRS/TRCSR/LISTUTILITIES_nosorts_noand_iGM.trs 1.513 3.269 60.0 60.0 60.0 2.949 1.924 2.688
TRS/TRCSR/LISTUTILITIES_nosorts-noand_Z.trs 0.048 0.001 4.162 7.74 60.0 0.016 0.014 0.045
TRS/TRCSR/LISTUTILITIES_nosorts_Z.trs 0.003 0.0 0.435 0.433 60.0 0.0 0.0 0.0
TRS/TRCSR/MYNAT_complete_C.trs 0.421 0.659 60.0 60.0 60.0 0.737 0.73 1.487
TRS/TRCSR/MYNAT_complete_FR.trs 0.216 0.056 60.0 60.0 60.0 0.112 0.113 0.209
TRS/TRCSR/MYNAT_complete_GM.trs 0.159 0.13 60.0 60.0 60.0 0.175 0.18 0.343
TRS/TRCSR/MYNAT_complete_iGM.trs 0.521 0.962 60.0 60.0 60.0 0.653 0.648 1.368
TRS/TRCSR/MYNAT_complete_noand_C.trs 3.004 5.31 60.0 60.0 60.0 4.882 4.752 4.43
TRS/TRCSR/MYNAT_complete-noand_FR.trs 0.181 0.119 60.0 60.0 60.0 0.216 0.22 0.376
TRS/TRCSR/MYNAT_complete_noand_GM.trs 1.129 1.923 60.0 60.0 60.0 0.739 0.74 1.408
TRS/TRCSR/MYNAT_complete_noand_iGM.trs 2.988 6.35 60.0 60.0 60.0 6.06 3.288 4.35
TRS/TRCSR/MYNAT_complete-noand_Z.trs 0.172 0.1 60.0 60.0 60.0 0.19 0.191 0.326
TRS/TRCSR/MYNAT_complete_Z.trs 0.109 0.039 60.0 60.0 60.0 0.085 0.086 0.157
TRS/TRCSR/MYNAT_nokinds_C.trs 0.14 0.11 60.0 60.0 60.0 0.159 0.159 0.326
TRS/TRCSR/MYNAT_nokinds_FR.trs 0.043 0.001 13.026 60.0 60.0 0.015 0.015 0.043
TRS/TRCSR/MYNAT_nokinds_GM.trs 0.054 0.015 60.0 60.0 60.0 0.027 0.027 0.063
TRS/TRCSR/MYNAT_nokinds_iGM.trs 0.16 0.153 60.0 60.0 60.0 0.142 0.14 0.293
TRS/TRCSR/MYNAT_nokinds_noand_C.trs 0.272 0.743 60.0 60.0 60.0 1.119 1.108 0.87
TRS/TRCSR/MYNAT_nokinds-noand_FR.trs 0.05 0.008 23.207 60.0 60.0 0.026 0.026 0.068
TRS/TRCSR/MYNAT_nokinds_noand_GM.trs 0.054 0.062 60.0 60.0 60.0 0.068 0.068 0.148
TRS/TRCSR/MYNAT_nokinds_noand_iGM.trs 0.307 0.479 60.0 60.0 60.0 0.379 0.385 0.795
problem t e s nv g c r *
TRS/TRCSR/MYNAT_nokinds-noand_Z.trs 0.041 0.002 23.488 60.0 60.0 0.018 0.018 0.046
TRS/TRCSR/MYNAT_nokinds_Z.trs 0.043 0.0 11.931 60.0 60.0 0.018 0.008 0.029
TRS/TRCSR/MYNAT_nosorts_C.trs 0.043 0.004 21.627 60.0 60.0 0.024 0.022 0.061
TRS/TRCSR/MYNAT_nosorts_FR.trs 0.0 0.0 0.073 0.046 60.0 0.0 0.0 0.0
TRS/TRCSR/MYNAT_nosorts_GM.trs 0.007 0.0 1.022 2.915 60.0 0.0 0.0 0.002
TRS/TRCSR/MYNAT_nosorts_iGM.trs 0.046 0.006 16.028 28.574 60.0 0.012 0.014 0.034
TRS/TRCSR/MYNAT_nosorts_noand_C.trs 0.108 0.063 60.0 60.0 60.0 0.096 0.099 0.195
TRS/TRCSR/MYNAT_nosorts-noand_FR.trs 0.0 0.0 0.689 2.503 60.0 0.0 0.0 0.0
TRS/TRCSR/MYNAT_nosorts_noand_GM.trs 0.043 0.001 60.0 60.0 60.0 0.006 0.006 0.025
TRS/TRCSR/MYNAT_nosorts_noand_iGM.trs 0.118 0.09 60.0 60.0 60.0 0.088 0.087 0.168
TRS/TRCSR/MYNAT_nosorts-noand_Z.trs 0.003 0.0 0.697 2.506 60.0 0.0 0.0 0.0
TRS/TRCSR/MYNAT_nosorts_Z.trs 0.0 0.0 0.076 0.05 60.0 0.0 0.0 0.0
TRS/TRCSR/OvConsOS_complete_C.trs 1.002 1.772 60.0 60.0 60.0 1.846 2.601 2.396
TRS/TRCSR/OvConsOS_complete_FR.trs 0.18 0.124 60.0 60.0 60.0 0.288 0.286 0.527
TRS/TRCSR/OvConsOS_complete_GM.trs 0.273 0.309 60.0 60.0 60.0 0.388 0.386 0.744
TRS/TRCSR/OvConsOS_complete_iGM.trs 1.353 2.821 60.0 60.0 60.0 4.041 1.605 2.521
TRS/TRCSR/OvConsOS_complete_noand_C.trs 9.259 19.92 60.0 60.0 60.0 15.355 13.864 10.638
TRS/TRCSR/OvConsOS_complete-noand_FR.trs 0.32 0.285 60.0 60.0 60.0 0.511 0.511 0.857
TRS/TRCSR/OvConsOS_complete_noand_GM.trs 1.101 2.931 60.0 60.0 60.0 2.838 1.66 2.513
TRS/TRCSR/OvConsOS_complete_noand_iGM.trs 8.934 22.029 60.0 60.0 60.0 10.005 7.725 8.681
TRS/TRCSR/OvConsOS_complete-noand_Z.trs 0.303 0.246 60.0 60.0 60.0 0.467 0.492 0.777
TRS/TRCSR/OvConsOS_complete_Z.trs 0.165 0.094 60.0 60.0 60.0 0.234 0.234 0.43
TRS/TRCSR/OvConsOS_nokinds_C.trs 0.166 0.143 60.0 60.0 60.0 0.216 0.214 0.427
TRS/TRCSR/OvConsOS_nokinds_FR.trs 0.083 0.03 60.0 60.0 60.0 0.061 0.064 0.122
TRS/TRCSR/OvConsOS_nokinds_GM.trs 0.068 0.017 60.0 60.0 60.0 0.034 0.034 0.077
problem t e s nv g c r *
TRS/TRCSR/OvConsOS_nokinds_iGM.trs 0.201 0.248 60.0 60.0 60.0 0.219 0.216 0.443
TRS/TRCSR/OvConsOS_nokinds_noand_C.trs 0.522 0.837 60.0 60.0 60.0 0.941 0.959 2.631
TRS/TRCSR/OvConsOS_nokinds-noand_FR.trs 0.169 0.047 60.0 60.0 60.0 0.079 0.08 0.155
TRS/TRCSR/OvConsOS_nokinds_noand_GM.trs 0.157 0.128 60.0 60.0 60.0 0.133 0.129 0.275
TRS/TRCSR/OvConsOS_nokinds_noand_iGM.trs 0.795 1.229 60.0 60.0 60.0 0.847 0.841 1.618
TRS/TRCSR/OvConsOS_nokinds-noand_Z.trs 0.091 0.031 60.0 60.0 60.0 0.065 0.065 0.122
TRS/TRCSR/OvConsOS_nokinds_Z.trs 0.069 0.022 60.0 60.0 60.0 0.049 0.049 0.098
TRS/TRCSR/OvConsOS_nosorts_C.trs 0.044 0.012 22.841 3.998 60.0 0.034 60.0 0.546
TRS/TRCSR/OvConsOS_nosorts_FR.trs 0.0 0.0 0.1 0.042 60.0 0.0 0.003 0.0
TRS/TRCSR/OvConsOS_nosorts_GM.trs 0.005 0.0 0.906 0.51 60.0 0.0 0.021 0.027
TRS/TRCSR/OvConsOS_nosorts_iGM.trs 0.047 0.015 18.351 12.073 60.0 0.029 1.221 0.53
TRS/TRCSR/OvConsOS_nosorts_noand_C.trs 0.132 0.114 60.0 47.429 60.0 0.158 0.611 0.64
TRS/TRCSR/OvConsOS_nosorts-noand_FR.trs 0.005 0.0 0.463 0.325 60.0 0.0 0.032 0.041
TRS/TRCSR/OvConsOS_nosorts_noand_GM.trs 0.044 0.006 11.585 1.427 60.0 0.011 0.092 0.111
TRS/TRCSR/OvConsOS_nosorts_noand_iGM.trs 0.174 0.173 60.0 60.0 60.0 0.165 60.0 0.746
TRS/TRCSR/OvConsOS_nosorts-noand_Z.trs 0.001 0.0 0.373 0.245 60.0 0.0 0.012 0.016
TRS/TRCSR/OvConsOS_nosorts_Z.trs 0.0 0.0 0.094 0.022 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_complete_C.trs 0.678 1.164 60.0 60.0 60.0 60.0 60.0 2.101
TRS/TRCSR/PALINDROME_complete_FR.trs 0.136 0.065 60.0 60.0 60.0 60.0 60.0 1.065
TRS/TRCSR/PALINDROME_complete_GM.trs 0.222 0.25 60.0 60.0 60.0 60.0 60.0 1.249
TRS/TRCSR/PALINDROME_complete_iGM.trs 1.118 2.015 60.0 60.0 60.0 60.0 60.0 2.6
TRS/TRCSR/PALINDROME_complete_noand_C.trs 3.575 6.67 60.0 60.0 60.0 60.0 60.0 6.795
TRS/TRCSR/PALINDROME_complete-noand_FR.trs 0.186 0.116 60.0 60.0 60.0 60.0 60.0 1.137
TRS/TRCSR/PALINDROME_complete_noand_GM.trs 1.296 1.958 60.0 60.0 60.0 60.0 60.0 1.972
TRS/TRCSR/PALINDROME_complete_noand_iGM.trs 4.62 9.273 60.0 60.0 60.0 60.0 60.0 6.047
problem t e s nv g c r *
TRS/TRCSR/PALINDROME_complete-noand_L.trs 0.069 0.012 60.0 31.324 60.0 0.06 0.215 0.272
TRS/TRCSR/PALINDROME_complete-noand_Z.trs 0.17 0.108 60.0 60.0 60.0 60.0 60.0 1.108
TRS/TRCSR/PALINDROME_complete_Z.trs 0.131 0.054 60.0 60.0 60.0 60.0 60.0 1.055
TRS/TRCSR/PALINDROME_nokinds_C.trs 0.089 0.033 60.0 60.0 60.0 0.749 0.259 0.777
TRS/TRCSR/PALINDROME_nokinds_FR.trs 0.049 0.005 24.703 48.077 60.0 10.298 0.261 0.78
TRS/TRCSR/PALINDROME_nokinds_GM.trs 0.079 0.041 18.521 28.928 60.0 13.723 0.164 0.665
TRS/TRCSR/PALINDROME_nokinds_iGM.trs 0.075 0.085 60.0 60.0 60.0 60.0 60.0 1.084
TRS/TRCSR/PALINDROME_nokinds_noand_C.trs 0.289 0.366 60.0 60.0 60.0 1.583 1.843 1.354
TRS/TRCSR/PALINDROME_nokinds-noand_FR.trs 0.027 0.014 48.508 60.0 60.0 2.073 0.402 0.918
TRS/TRCSR/PALINDROME_nokinds_noand_GM.trs 0.176 0.087 60.0 60.0 60.0 19.32 1.272 1.084
TRS/TRCSR/PALINDROME_nokinds_noand_iGM.trs 0.445 0.65 60.0 60.0 60.0 60.0 60.0 1.625
TRS/TRCSR/PALINDROME_nokinds-noand_L.trs 0.006 0.0 3.531 1.536 60.0 0.0 0.013 0.02
TRS/TRCSR/PALINDROME_nokinds-noand_Z.trs 0.059 0.013 45.787 60.0 60.0 2.027 0.345 0.847
TRS/TRCSR/PALINDROME_nokinds_Z.trs 0.072 0.02 23.458 39.704 60.0 11.017 0.373 0.727
TRS/TRCSR/PALINDROME_nosorts_C.trs 0.006 0.0 3.113 1.048 60.0 0.087 0.091 0.179
TRS/TRCSR/PALINDROME_nosorts_FR.trs 0.0 0.0 0.003 0.018 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts_GM.trs 0.001 0.0 0.303 0.648 60.0 15.898 0.018 0.52
TRS/TRCSR/PALINDROME_nosorts_iGM.trs 0.013 0.0 2.602 3.482 60.0 60.0 4.896 0.998
TRS/TRCSR/PALINDROME_nosorts_noand_C.trs 0.044 0.0 14.998 60.0 60.0 0.107 0.111 0.201
TRS/TRCSR/PALINDROME_nosorts-noand_FR.trs 0.0 0.0 0.014 0.023 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts_noand_GM.trs 0.005 0.0 0.746 2.188 60.0 11.597 0.043 0.537
TRS/TRCSR/PALINDROME_nosorts_noand_iGM.trs 0.035 0.004 4.289 7.988 60.0 60.0 8.783 1.001
TRS/TRCSR/PALINDROME_nosorts-noand_L.trs 0.002 0.0 0.014 0.024 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts-noand_Z.trs 0.0 0.0 0.008 0.031 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts_Z.trs 0.0 0.0 0.004 0.009 60.0 0.0 0.004 0.005
problem t e s nv g c r *
TRS/TRCSR/PEANO_complete_C.trs 0.163 0.187 60.0 60.0 60.0 0.255 0.257 0.514
TRS/TRCSR/PEANO_complete_FR.trs 0.061 0.013 56.558 60.0 60.0 0.038 0.04 0.086
TRS/TRCSR/PEANO_complete_GM.trs 0.072 0.035 60.0 60.0 60.0 0.053 0.053 0.115
TRS/TRCSR/PEANO_complete_iGM.trs 0.21 0.277 60.0 60.0 60.0 0.233 0.229 0.492
TRS/TRCSR/PEANO_complete_noand_C.trs 1.476 1.021 60.0 60.0 60.0 1.078 1.067 2.034
TRS/TRCSR/PEANO_complete-noand_FR.trs 0.091 0.03 51.047 60.0 60.0 0.062 0.062 0.115
TRS/TRCSR/PEANO_complete_noand_GM.trs 0.163 0.142 60.0 60.0 60.0 0.158 0.158 0.329
TRS/TRCSR/PEANO_complete_noand_iGM.trs 0.706 1.341 60.0 60.0 60.0 0.883 0.893 2.76
TRS/TRCSR/PEANO_complete-noand_Z.trs 0.071 0.021 46.109 60.0 60.0 0.169 0.168 0.296
TRS/TRCSR/PEANO_complete_Z.trs 0.092 0.005 34.276 60.0 60.0 0.026 0.029 0.059
TRS/TRCSR/PEANO_nokinds_C.trs 0.07 0.025 60.0 60.0 60.0 0.059 0.053 0.119
TRS/TRCSR/PEANO_nokinds_FR.trs 0.009 0.0 2.921 14.541 60.0 0.0 0.0 0.008
TRS/TRCSR/PEANO_nokinds_GM.trs 0.011 0.0 12.997 60.0 60.0 0.0 0.0 0.015
TRS/TRCSR/PEANO_nokinds_iGM.trs 0.039 0.04 60.0 60.0 60.0 0.048 0.051 0.101
TRS/TRCSR/PEANO_nokinds_noand_C.trs 0.124 0.078 60.0 60.0 60.0 0.123 0.125 0.246
TRS/TRCSR/PEANO_nokinds-noand_FR.trs 0.011 0.0 3.661 59.861 60.0 0.0 0.0 0.012
TRS/TRCSR/PEANO_nokinds_noand_GM.trs 0.055 0.003 60.0 60.0 60.0 0.011 0.011 0.033
TRS/TRCSR/PEANO_nokinds_noand_iGM.trs 0.149 0.104 60.0 60.0 60.0 0.109 0.109 0.217
TRS/TRCSR/PEANO_nokinds-noand_Z.trs 0.033 0.0 3.144 60.0 60.0 0.016 0.013 0.033
TRS/TRCSR/PEANO_nokinds_Z.trs 0.063 0.0 3.19 13.776 60.0 0.0 0.0 0.002
TRS/TRCSR/PEANO_nosorts_C.trs 0.041 0.0 2.324 0.913 60.0 0.003 0.048 0.059
TRS/TRCSR/PEANO_nosorts_FR.trs 0.002 0.0 0.001 0.018 0.005 0.0 0.0 0.0
TRS/TRCSR/PEANO_nosorts_GM.trs 0.012 0.0 0.126 0.202 60.0 0.0 0.0 0.0
TRS/TRCSR/PEANO_nosorts_iGM.trs 0.041 0.0 1.55 1.452 60.0 0.0 0.677 0.503
TRS/TRCSR/PEANO_nosorts_noand_C.trs 0.086 0.044 10.234 2.534 60.0 0.02 0.123 0.16
problem t e s nv g c r *
TRS/TRCSR/PEANO_nosorts-noand_FR.trs 0.038 0.0 0.015 0.0 0.166 0.0 0.0 0.0
TRS/TRCSR/PEANO_nosorts_noand_GM.trs 0.003 0.0 0.356 0.24 60.0 0.0 0.005 0.008
TRS/TRCSR/PEANO_nosorts_noand_iGM.trs 0.054 0.009 8.45 9.413 60.0 0.018 10.704 0.531
TRS/TRCSR/PEANO_nosorts-noand_Z.trs 0.063 0.0 0.015 0.0 0.161 0.0 0.005 0.0
TRS/TRCSR/PEANO_nosorts_Z.trs 0.035 0.0 0.005 0.001 0.0 0.0 0.0 0.0
TRS/various/02.trs 0.008 0.0 0.012 0.0 0.214 0.0 0.0 0.0
TRS/various/03.trs 0.034 0.0 0.021 0.005 8.961 0.0 0.0 0.0
TRS/various/04.trs 0.002 0.0 60.0 60.0 60.0 0.003 0.0 0.0
TRS/various/05.trs 0.001 0.0 60.0 60.0 60.0 0.0 0.001 0.004
TRS/various/06.trs 0.001 0.0 0.014 0.015 0.001 0.0 0.0 0.0
TRS/various/07.trs 0.002 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/various/08.trs 0.002 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/various/09.trs 0.001 0.0 0.054 0.02 60.0 0.0 0.013 0.0
TRS/various/10.trs 0.089 0.0 20.731 60.0 60.0 0.003 0.0 0.0
TRS/various/11.trs 0.02 0.008 0.035 0.017 60.0 0.0 0.003 0.0
TRS/various/12.trs 0.035 0.0 0.733 2.647 60.0 0.0 0.0 0.0
TRS/various/13.trs 0.008 0.0 1.562 17.018 60.0 0.012 0.0 0.0
TRS/various/14.trs 0.088 0.033 31.004 60.0 60.0 0.158 0.162 0.157
TRS/various/15.trs 0.027 0.0 0.011 0.007 0.008 0.0 0.0 0.003
TRS/various/18.trs 0.017 0.0 0.218 0.589 60.0 0.227 0.0 0.0
TRS/various/19.trs 0.002 0.0 0.18 1.157 60.0 0.013 0.013 0.044
TRS/various/20.trs 0.002 0.0 0.0 0.004 7.638 0.0 0.0 0.0
TRS/various/21.trs 0.096 0.007 7.237 60.0 60.0 0.08 1.111 0.495
TRS/various/22.trs 0.012 0.0 0.041 0.03 60.0 0.0 0.017 0.0
TRS/various/23.trs 0.042 0.0 0.026 0.017 0.184 0.0 0.0 0.019
problem t e s nv g c r *
TRS/various/24.trs 0.018 0.0 0.028 0.066 60.0 0.0 0.012 0.005
TRS/various/25.trs 0.016 0.0 0.046 0.012 0.124 0.0 0.0 0.0
TRS/various/26.trs 0.028 0.022 0.102 0.15 60.0 0.019 0.019 0.047
TRS/various/27.trs 0.016 0.0 0.009 0.009 0.139 0.0 0.0 0.0
TRS/Waldmann/jwaprove1.trs 0.028 0.0 0.014 0.006 60.0 60.0 60.0 0.0
TRS/Waldmann/jwaprove2.trs 0.02 0.0 0.014 0.01 60.0 60.0 60.0 0.0
TRS/Waldmann/jwcime1.trs 0.002 0.0 0.015 0.0 60.0 0.01 60.0 0.0
TRS/Waldmann/jwcime2.trs 0.002 0.0 0.016 0.018 60.0 0.0 0.0 0.0
TRS/Waldmann/jwmatchb1.trs 0.0 0.0 0.0 0.006 60.0 0.0 0.003 0.0
TRS/Waldmann/jwmatchb2.trs 0.003 0.0 0.001 0.001 60.0 0.0 0.004 0.0
TRS/Waldmann/jwno1.trs 0.001 0.0 0.002 0.003 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno2.trs 0.001 0.011 0.003 0.004 60.0 0.0 0.001 0.0
TRS/Waldmann/jwno3.trs 0.002 0.0 0.0 0.002 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno4.trs 0.0 0.0 0.0 0.006 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno5.trs 0.001 0.0 0.006 0.003 60.0 0.0 0.005 0.0
TRS/Waldmann/jwno6.trs 0.003 0.0 0.001 0.0 60.0 0.0 0.004 0.0
TRS/Waldmann/jwno7.trs 0.001 0.0 0.0 0.003 60.0 0.0 0.0 0.006
TRS/Waldmann/jwno8.trs 0.001 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno9.trs 0.031 0.0 0.005 0.009 60.0 0.0 0.005 0.001
TRS/Waldmann/jwteparla1.trs 0.031 0.0 0.023 0.029 60.0 0.0 0.0 0.0
TRS/Waldmann/jwteparla2.trs 0.002 0.0 0.011 0.023 60.0 0.0 0.0 0.0
TRS/Waldmann/jwtpa1.trs 0.002 0.0 0.008 0.0 60.0 0.0 0.0 0.0
TRS/Waldmann/jwtpa2.trs 0.001 0.0 0.015 0.0 60.0 60.0 60.0 0.004
TRS/Waldmann/jwttt.trs 0.001 0.0 0.015 0.002 60.0 60.0 60.0 0.001
TRS/Zantema06/beans.trs 0.036 0.0 0.011 0.02 60.0 0.0 0.328 0.048
problem t e s nv g c r *
TRS/Zantema06/gcdMinMax.trs 0.002 0.0 0.146 1.866 60.0 0.0 0.0 0.0
TRS/Zantema06/gcd.trs 0.001 0.0 0.148 1.571 60.0 0.0 0.0 0.0
TRS/Zantema06/hydra.trs 0.002 0.0 2.199 38.404 60.0 0.0 0.0 0.0
TRS/Zantema06/test1.trs 0.002 0.0 0.0 0.003 0.025 0.0 0.0 0.0
TRS/Zantema06/while2.trs 0.002 0.0 0.574 0.215 60.0 0.0 0.0 0.0
TRS/Zantema06/while.trs 0.001 0.0 0.029 0.051 60.0 0.0 0.0 0.0
TRS/Zantema/jw01.trs 0.066 0.0 0.006 0.001 3.756 0.0 0.0 0.0
TRS/Zantema/jw02.trs 0.002 0.0 0.007 0.0 1.303 0.0 0.0 0.0
TRS/Zantema/jw03.trs 0.008 0.0 0.0 0.005 40.195 0.0 0.0 0.0
TRS/Zantema/jw04.trs 0.0 0.0 0.0 0.0 37.647 0.0 0.0 0.0
TRS/Zantema/jw05.trs 0.001 0.0 0.012 0.001 53.961 0.0 0.0 0.0
TRS/Zantema/jw06.trs 0.007 0.0 0.0 0.0 60.0 0.0 0.0 0.011
TRS/Zantema/jw07.trs 0.004 0.0 0.015 0.001 60.0 0.003 0.0 0.0
TRS/Zantema/jw08.trs 0.002 0.0 0.008 0.004 60.0 0.0 0.0 0.0
TRS/Zantema/jw09.trs 0.002 0.0 0.013 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw11.trs 0.002 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw12.trs 0.002 0.0 0.023 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw13.trs 0.001 0.004 0.014 0.0 60.0 0.0 0.0 0.003
TRS/Zantema/jw14.trs 0.001 0.0 0.013 0.0 60.0 0.004 0.005 0.0
TRS/Zantema/jw15.trs 0.001 0.0 0.014 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw16.trs 0.002 0.0 0.013 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw17.trs 0.001 0.0 0.013 0.0 60.0 0.003 0.0 0.0
TRS/Zantema/jw18.trs 0.001 0.0 0.012 0.001 60.0 0.0 0.0 0.0
TRS/Zantema/jw19.trs 0.001 0.0 0.013 0.003 60.0 0.0 0.005 0.0
TRS/Zantema/jw20.trs 0.001 0.0 0.0 0.013 60.0 0.0 0.005 0.0
problem t e s nv g c r *
TRS/Zantema/jw21.trs 0.005 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw22.trs 0.001 0.0 0.014 0.001 60.0 0.002 0.0 0.0
TRS/Zantema/jw23.trs 0.001 0.0 0.003 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw24.trs 0.002 0.0 0.0 0.011 60.0 0.0 0.0 0.0
TRS/Zantema/jw25.trs 0.001 0.0 0.0 0.013 60.0 0.0 0.0 0.0
TRS/Zantema/jw26.trs 0.0 0.0 0.007 0.004 60.0 0.0 0.0 0.0
TRS/Zantema/jw27.trs 0.001 0.0 0.014 0.008 60.0 0.001 0.0 0.0
TRS/Zantema/jw28.trs 0.001 0.0 0.008 0.006 60.0 0.0 0.0 0.0
TRS/Zantema/jw29.trs 0.001 0.0 0.001 0.001 60.0 0.0 0.0 0.0
TRS/Zantema/jw30.trs 0.001 0.0 0.0 0.003 60.0 0.0 0.0 0.0
TRS/Zantema/jw31.trs 0.002 0.0 0.0 0.012 60.0 0.0 0.003 0.0
TRS/Zantema/jw32.trs 0.002 0.0 0.013 0.002 60.0 0.0 0.0 0.0
TRS/Zantema/jw33.trs 0.001 0.0 0.017 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw34.trs 0.002 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw35.trs 0.001 0.0 0.0 0.015 60.0 0.0 0.005 0.0
TRS/Zantema/jw36.trs 0.001 0.0 0.0 0.004 60.0 0.0 0.0 0.0
TRS/Zantema/jw37.trs 0.001 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw38.trs 0.001 0.0 0.008 0.004 60.0 0.0 0.002 0.0
TRS/Zantema/jw39.trs 0.001 0.0 0.013 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw40.trs 0.001 0.0 0.006 0.002 60.0 0.0 0.0 0.0
TRS/Zantema/jw41.trs 0.002 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw42.trs 0.002 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw43.trs 0.001 0.0 0.0 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw44.trs 0.001 0.0 0.0 0.003 60.0 0.0 60.0 0.0
TRS/Zantema/jw47.trs 0.001 0.004 0.012 0.003 60.0 0.0 60.0 0.0
problem t e s nv g c r *
TRS/Zantema/jw50.trs 0.002 0.0 0.0 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/z01.trs 0.004 0.0 0.005 0.004 60.0 0.0 0.049 0.0
TRS/Zantema/z02.trs 0.001 0.0 0.017 0.007 60.0 0.0 0.0 0.0
TRS/Zantema/z03.trs 0.001 0.0 0.01 0.006 60.0 0.0 0.009 0.003
TRS/Zantema/z04.trs 0.001 0.0 0.029 0.026 60.0 0.0 0.0 0.0
TRS/Zantema/z05.trs 0.002 0.0 0.038 0.057 60.0 0.0 0.0 0.0
TRS/Zantema/z06.trs 0.002 0.0 0.01 0.015 60.0 0.0 0.0 0.0
TRS/Zantema/z07.trs 0.033 0.0 0.013 0.027 60.0 0.0 0.0 0.0
TRS/Zantema/z08.trs 0.002 0.0 0.015 0.001 60.0 0.0 0.0 0.0
TRS/Zantema/z09.trs 0.004 0.0 0.103 0.23 60.0 0.0 0.0 0.0
TRS/Zantema/z10.trs 0.002 0.0 0.097 0.184 60.0 0.0 0.0 0.0
TRS/Zantema/z11.trs 0.005 0.0 0.047 0.157 60.0 0.0 0.004 0.0
TRS/Zantema/z12.trs 0.001 0.0 0.0 0.0 7.48 0.0 0.0 0.0
TRS/Zantema/z13.trs 0.006 0.0 0.003 0.0 0.008 0.0 0.0 0.0
TRS/Zantema/z14.trs 0.002 0.0 0.002 0.002 0.03 0.0 0.0 0.0
TRS/Zantema/z15.trs 0.001 0.0 0.0 0.002 0.008 0.0 0.0 0.0
TRS/Zantema/z16.trs 0.001 0.0 0.0 0.002 0.039 0.0 0.0 0.0
TRS/Zantema/z17.trs 0.001 0.0 0.003 0.011 0.009 0.0 0.0 0.0
TRS/Zantema/z18.trs 0.001 0.0 0.013 0.002 0.008 0.0 0.0 0.0
TRS/Zantema/z19.trs 0.004 0.0 0.013 0.011 60.0 0.0 0.039 0.0
TRS/Zantema/z20.trs 0.002 0.0 0.021 0.013 60.0 0.0 60.0 0.0
TRS/Zantema/z21.trs 0.001 0.0 0.024 0.085 60.0 0.0 0.067 0.009
TRS/Zantema/z22.trs 0.019 0.009 0.023 0.06 60.0 0.002 0.324 0.17
TRS/Zantema/z23.trs 0.017 0.0 0.018 0.004 0.32 0.0 0.003 0.004
TRS/Zantema/z24.trs 0.019 0.0 0.011 0.011 0.088 0.0 0.036 0.036
problem t e s nv g c r *
TRS/Zantema/z25.trs 0.019 0.0 0.038 0.136 60.0 0.0 0.01 0.011
TRS/Zantema/z26.trs 0.003 0.0 0.032 0.034 60.0 0.0 60.0 0.0
TRS/Zantema/z27.trs 0.002 0.011 0.027 0.008 0.261 0.0 0.0 0.0
TRS/Zantema/z28.trs 0.006 0.0 0.044 0.044 60.0 0.0 0.0 0.0
TRS/Zantema/z29.trs 0.002 0.0 0.036 0.064 60.0 0.0 0.0 0.01
TRS/Zantema/z30.trs 0.048 0.0 0.02 0.053 60.0 0.0 1.222 0.198
Yes No Maybe Timeout