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.626 0.008 23.798 60.0 60.0 0.0 0.0 0.001
TRS/AG01/#3.12.trs 0.0 0.0 0.028 0.014 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.025 0.023 60.0 0.0 0.0 0.0
TRS/AG01/#3.15.trs 0.0 0.0 0.002 0.007 60.0 0.0 0.0 0.0
TRS/AG01/#3.16.trs 0.0 0.0 0.019 0.061 60.0 0.0 0.0 0.0
TRS/AG01/#3.17a.trs 0.0 0.0 0.206 0.449 60.0 0.0 0.0 0.0
TRS/AG01/#3.17.trs 0.0 0.0 0.074 0.121 60.0 0.0 0.0 0.0
TRS/AG01/#3.18.trs 0.0 0.0 0.067 0.161 60.0 0.0 0.0 0.0
TRS/AG01/#3.19.trs 0.0 0.0 0.234 0.725 60.0 0.0 0.0 0.0
TRS/AG01/#3.1.trs 0.0 0.0 0.004 0.018 60.0 0.0 0.0 0.0
TRS/AG01/#3.21.trs 0.0 0.0 0.057 0.101 60.0 0.0 0.0 0.0
TRS/AG01/#3.22.trs 0.0 0.0 0.156 0.718 60.0 0.0 0.0 0.0
TRS/AG01/#3.23.trs 0.0 0.0 0.0 0.0 5.352 0.0 0.007 0.0
TRS/AG01/#3.24.trs 0.003 0.0 0.068 0.0 4.175 0.014 0.005 0.0
TRS/AG01/#3.26.trs 0.0 0.0 0.0 0.013 0.058 0.0 0.0 0.0
TRS/AG01/#3.29.trs 0.0 0.0 0.021 0.008 10.711 0.0 0.0 0.0
TRS/AG01/#3.2.trs 0.0 0.0 0.03 0.035 60.0 0.0 0.0 0.0
TRS/AG01/#3.31.trs 0.0 0.0 0.002 0.0 60.0 0.003 0.0 0.0
TRS/AG01/#3.33.trs 0.0 0.0 0.04 0.009 47.918 0.0 0.0 0.0
TRS/AG01/#3.35.trs 0.0 0.0 0.016 0.014 0.079 0.0 0.0 0.0
TRS/AG01/#3.36.trs 0.0 0.011 0.081 0.109 60.0 0.0 0.0 0.0
TRS/AG01/#3.37.trs 0.0 0.0 0.021 0.017 60.0 0.0 0.007 0.0
TRS/AG01/#3.38.trs 0.0 0.0 0.064 0.015 60.0 0.0 0.0 0.0
TRS/AG01/#3.39.trs 0.0 0.0 0.35 0.706 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.962 3.083 60.0 0.0 0.0 0.0
TRS/AG01/#3.41.trs 0.0 0.0 0.002 0.0 60.0 0.0 0.0 0.0
TRS/AG01/#3.42.trs 0.0 0.0 0.08 0.026 60.0 0.0 0.0 0.0
TRS/AG01/#3.47.trs 0.0 0.0 0.021 0.006 60.0 0.0 0.0 0.0
TRS/AG01/#3.48.trs 0.0 0.0 0.275 1.398 60.0 0.0 0.0 0.0
TRS/AG01/#3.49.trs 0.0 0.0 0.026 0.029 60.0 0.0 0.0 0.0
TRS/AG01/#3.4.trs 0.001 0.0 0.105 0.182 60.0 0.0 0.0 0.0
TRS/AG01/#3.51.trs 0.0 0.004 0.091 0.11 60.0 0.0 0.0 0.0
TRS/AG01/#3.52.trs 0.0 0.0 0.061 0.035 60.0 0.0 0.0 0.0
TRS/AG01/#3.53a.trs 0.0 0.0 0.017 0.029 60.0 0.0 0.0 0.0
TRS/AG01/#3.53b.trs 0.0 0.0 0.078 0.078 60.0 0.0 0.0 0.0
TRS/AG01/#3.53.trs 0.0 0.0 0.972 2.473 60.0 0.0 0.0 0.0
TRS/AG01/#3.54.trs 0.0 0.0 0.234 0.302 60.0 0.0 0.0 0.0
TRS/AG01/#3.55.trs 0.0 0.0 3.859 52.357 60.0 0.0 0.0 0.0
TRS/AG01/#3.56.trs 0.0 0.0 0.022 0.032 60.0 0.0 0.0 0.0
TRS/AG01/#3.57.trs 0.0 0.0 38.704 60.0 60.0 0.0 0.0 0.0
TRS/AG01/#3.5a.trs 0.0 0.0 0.303 1.863 60.0 0.0 0.0 0.0
TRS/AG01/#3.5b.trs 0.0 0.0 0.545 11.048 60.0 0.0 0.0 0.0
TRS/AG01/#3.5.trs 0.0 0.0 0.258 1.665 60.0 0.0 0.0 0.0
TRS/AG01/#3.6a.trs 0.0 0.0 0.323 1.147 60.0 0.0 0.0 0.0
TRS/AG01/#3.6b.trs 0.0 0.0 0.719 7.514 60.0 0.0 0.0 0.0
TRS/AG01/#3.6.trs 0.0 0.0 0.385 1.366 60.0 0.0 0.0 0.0
TRS/AG01/#3.7.trs 0.0 0.0 0.005 0.009 12.724 0.0 0.0 0.0
TRS/AG01/#3.8a.trs 0.006 0.004 0.121 0.27 60.0 0.0 0.0 0.0
TRS/AG01/#3.8b.trs 0.0 0.0 0.984 10.439 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.418 1.874 60.0 0.0 0.0 0.0
TRS/aprove08/id_inc.trs 0.0 0.0 0.258 0.413 60.0 0.002 0.001 0.011
TRS/aprove08/log.trs 0.0 0.0 0.312 1.657 60.0 0.0 0.0 0.0
TRS/aprove08/parting01_reverse.trs 0.0 0.0 51.785 60.0 60.0 0.0 0.0 0.0
TRS/aprove08/parting02_doublelist.trs 0.0 0.0 7.045 60.0 60.0 0.0 0.0 0.0
TRS/aprove08/parting03_minsort.trs 0.0 0.0 23.857 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.069 0.069 60.0 0.0 0.0 0.0
TRS/aprove08/round.trs 0.0 0.0 0.093 0.089 60.0 0.0 0.0 0.0
TRS/aprove08/thiemann40_modified.trs 0.0 0.0 0.597 1.706 60.0 0.0 0.0 0.0
TRS/AProVE/AAECC-ring.trs 0.006 0.005 60.0 60.0 60.0 0.059 0.057 0.133
TRS/AProVE/AAECC.trs 0.0 0.0 21.954 60.0 60.0 0.001 0.0 0.014
TRS/AProVE/fac.trs 0.0 0.0 0.155 0.368 60.0 0.0 0.0 0.0
TRS/AProVE/forward_instantiation2.trs 0.0 0.0 0.052 0.021 60.0 0.0 0.0 0.0
TRS/AProVE/forward_instantiation.trs 0.0 0.0 0.039 0.043 60.0 0.0 0.0 0.0
TRS/AProVE/IJCAR_12.trs 0.0 0.0 0.484 4.524 60.0 0.0 0.0 0.0
TRS/AProVE/IJCAR_18.trs 0.0 0.0 8.853 60.0 60.0 0.0 0.0 0.0
TRS/AProVE/IJCAR_1.trs 0.0 0.0 0.089 0.429 60.0 0.0 0.0 0.0
TRS/AProVE/IJCAR_26a.trs 0.0 0.0 11.396 60.0 60.0 0.0 0.0 0.006
TRS/AProVE/IJCAR_26.trs 0.0 0.0 10.9 60.0 60.0 0.0 0.0 0.006
TRS/AProVE/improved_usable2.trs 0.0 0.0 0.038 0.028 60.0 0.0 0.0 0.0
TRS/AProVE/improved_usable.trs 0.0 0.0 0.037 0.015 60.0 0.0 0.0 0.0
TRS/AProVE/JFP_Ex31.trs 0.0 0.0 1.396 17.414 60.0 0.0 0.0 0.0
TRS/AProVE/JFP_Ex51.trs 0.0 0.0 7.773 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.119 0.065 60.0 0.0 0.0 0.0
TRS/AProVE/Liveness6.2.trs 0.0 0.0 0.082 0.031 60.0 0.0 0.0 0.0
TRS/AProVE/Liveness6.3.trs 0.0 0.0 0.904 0.923 60.0 0.0 0.019 0.017
TRS/AProVE/Liveness6.4.trs 0.0 0.0 1.108 0.753 60.0 0.0 60.0 0.499
TRS/AProVE/Liveness8.trs 0.0 0.0 0.832 0.34 60.0 0.0 0.005 0.011
TRS/AProVE/Liveness_WRS.trs 0.0 0.0 60.0 0.629 60.0 0.004 0.014 0.012
TRS/AProVE/LPAR_intlist.trs 0.0 0.0 0.04 0.01 60.0 0.0 0.0 0.0
TRS/AProVE/rta1.trs 0.0 0.0 0.289 5.27 60.0 0.0 0.0 0.0
TRS/AProVE/rta2.trs 0.0 0.0 0.005 0.004 60.0 0.0 0.003 0.0
TRS/AProVE/rta3.trs 0.0 0.0 0.096 0.19 60.0 0.0 0.0 0.0
TRS/Beerendonk/10.trs 0.0 0.0 0.729 2.413 60.0 0.0 0.0 0.0
TRS/Beerendonk/11.trs 0.0 0.0 0.605 12.157 60.0 0.0 0.0 0.0
TRS/Beerendonk/12.trs 0.0 0.0 0.379 4.301 60.0 0.0 0.0 0.0
TRS/Beerendonk/13.trs 0.0 0.0 0.537 2.203 60.0 0.0 0.0 0.0
TRS/Beerendonk/14.trs 0.0 0.0 0.463 6.265 60.0 0.003 0.0 0.0
TRS/Beerendonk/15.trs 0.0 0.0 1.69 13.232 60.0 0.0 0.0 0.0
TRS/Beerendonk/16.trs 0.0 0.0 14.708 60.0 60.0 0.0 0.0 0.0
TRS/Beerendonk/17.trs 0.0 0.0 2.258 57.826 60.0 0.0 0.0 0.0
TRS/Beerendonk/18.trs 0.0 0.0 1.991 60.0 60.0 0.0 0.0 0.0
TRS/Beerendonk/19.trs 0.0 0.0 19.433 60.0 60.0 0.0 0.0 0.0
TRS/Beerendonk/1.trs 0.0 0.0 0.091 0.414 60.0 0.0 0.0 0.0
TRS/Beerendonk/20.trs 0.0 0.0 1.154 60.0 60.0 0.0 0.0 0.0
TRS/Beerendonk/21.trs 0.0 0.0 7.795 60.0 60.0 0.0 0.0 0.0
TRS/Beerendonk/22.trs 0.0 0.006 0.425 2.723 60.0 0.0 0.0 0.0
TRS/Beerendonk/23.trs 0.0 0.0 3.004 60.0 60.0 0.0 0.001 0.003
problem t e s nv g c r *
TRS/Beerendonk/24.trs 0.047 0.0 5.039 60.0 60.0 0.0 0.0 0.0
TRS/Beerendonk/2.trs 0.0 0.0 0.099 0.4 60.0 0.0 0.0 0.0
TRS/Beerendonk/3.trs 0.0 0.0 0.122 0.712 60.0 0.0 0.0 0.007
TRS/Beerendonk/4.trs 0.0 0.0 0.07 0.115 60.0 0.0 0.0 0.0
TRS/Beerendonk/5.trs 0.0 0.0 0.478 2.607 60.0 0.0 0.0 0.0
TRS/Beerendonk/6.trs 0.0 0.0 0.049 0.051 60.0 0.0 0.0 0.0
TRS/Beerendonk/7.trs 0.0 0.0 0.068 0.052 60.0 0.0 0.0 0.0
TRS/Beerendonk/8.trs 0.0 0.0 0.956 56.994 60.0 0.0 0.0 0.0
TRS/Beerendonk/9.trs 0.0 0.0 10.571 60.0 60.0 0.0 0.0 0.0
TRS/Cime/ack_prolog.trs 0.0 0.0 0.078 0.087 60.0 0.0 0.0 0.0
TRS/Cime/append-hard.trs 0.0 0.0 0.135 0.264 60.0 0.0 0.0 0.0
TRS/Cime/append.trs 0.0 0.0 0.077 0.139 60.0 0.0 0.0 0.0
TRS/Cime/append-wrong.trs 0.0 0.0 0.132 0.333 60.0 0.0 0.0 0.0
TRS/Cime/big.trs 0.044 0.012 60.0 60.0 60.0 0.059 0.06 0.131
TRS/Cime/boolean_rings.trs 0.0 0.011 0.212 0.409 60.0 0.0 0.0 0.0
TRS/Cime/dpqs.trs 0.0 0.0 0.049 0.049 60.0 0.0 0.0 0.0
TRS/Cime/fact-hard.trs 0.0 0.0 0.438 1.231 60.0 0.0 0.0 0.0
TRS/Cime/filliatre2.trs 0.0 0.0 0.543 0.9 60.0 0.0 0.051 0.047
TRS/Cime/filliatre3.trs 0.0 0.0 3.032 23.714 60.0 0.0 0.0 0.0
TRS/Cime/filliatre.trs 0.0 0.0 0.355 0.41 60.0 0.0 0.001 0.0
TRS/Cime/intersect.trs 0.0 0.0 40.115 60.0 60.0 0.0 0.0 0.002
TRS/Cime/list-sum-prod-assoc-append.trs 0.0 0.0 1.557 7.865 60.0 0.0 0.0 0.0
TRS/Cime/list-sum-prod-assoc.trs 0.0 0.0 0.507 2.409 60.0 0.0 0.0 0.0
TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs 0.0 0.0 5.71 30.313 60.0 0.001 0.001 0.019
TRS/Cime/list-sum-prod-bin-assoc.trs 0.0 0.0 1.856 9.09 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/Cime/list-sum-prod-bin.trs 0.0 0.0 0.869 2.611 60.0 0.0 0.0 0.0
TRS/Cime/list-sum-prod.trs 0.0 0.0 0.184 0.506 60.0 0.0 0.0 0.0
TRS/Cime/log2.trs 0.0 0.0 11.603 60.0 60.0 0.0 0.0 0.01
TRS/Cime/lse.trs 0.003 0.0 60.0 60.0 60.0 0.0 0.0 0.005
TRS/Cime/maude2.trs 0.0 0.0 12.293 60.0 60.0 0.502 0.501 0.987
TRS/Cime/mucrl1.trs 0.062 0.044 60.0 60.0 60.0 60.0 60.0 1.047
TRS/Cime/quick.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.004 0.0
TRS/Cime/ternary-hard.trs 0.009 0.003 8.894 60.0 60.0 0.009 0.009 0.034
TRS/Cime/ternary.trs 0.007 0.0 5.648 35.929 60.0 0.0 0.001 0.015
TRS/Cime/tree.trs 0.008 0.0 46.329 60.0 60.0 0.033 0.026 0.062
TRS/CSR/Ex1_Luc04b_GM.trs 0.0 0.0 1.564 0.804 60.0 0.0 0.05 0.058
TRS/currying/AG01/#3.10.trs 0.423 0.268 60.0 60.0 60.0 0.448 0.445 0.365
TRS/currying/AG01/#3.13.trs 0.397 0.244 60.0 60.0 60.0 20.272 20.266 0.293
TRS/currying/AG01/#3.16.trs 0.054 0.003 60.0 60.0 60.0 0.014 0.015 0.016
TRS/currying/AG01/#3.18.trs 0.135 0.021 60.0 60.0 60.0 0.056 0.056 0.039
TRS/currying/AG01/#3.22.trs 0.104 0.021 60.0 60.0 60.0 0.043 0.045 0.044
TRS/currying/AG01/#3.25.trs 0.047 0.0 60.0 60.0 60.0 0.004 0.017 0.002
TRS/currying/AG01/#3.27.trs 0.043 0.0 60.0 60.0 60.0 0.0 0.004 0.0
TRS/currying/AG01/#3.2.trs 0.063 0.002 60.0 60.0 60.0 0.016 0.015 0.014
TRS/currying/AG01/#3.32.trs 0.034 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/currying/AG01/#3.36.trs 0.071 0.007 60.0 60.0 60.0 0.023 0.024 0.029
TRS/currying/AG01/#3.38.trs 0.07 0.014 60.0 60.0 60.0 0.028 0.027 0.026
TRS/currying/AG01/#3.40.trs 0.125 0.032 60.0 60.0 60.0 2.078 1.955 0.08
TRS/currying/AG01/#3.45.trs 0.006 0.0 60.0 60.0 60.0 0.005 0.005 0.016
TRS/currying/AG01/#3.48.trs 0.123 0.022 60.0 60.0 60.0 0.527 0.531 0.033
problem t e s nv g c r *
TRS/currying/AG01/#3.52.trs 0.068 0.0 60.0 60.0 60.0 0.011 0.01 0.009
TRS/currying/AG01/#3.55.trs 0.426 0.214 60.0 60.0 60.0 0.192 0.188 0.285
TRS/currying/AG01/#3.57.trs 0.181 0.079 60.0 60.0 60.0 0.114 0.113 0.113
TRS/currying/AG01/#3.6.trs 0.151 0.038 60.0 60.0 60.0 0.05 0.055 0.065
TRS/currying/AG01/#3.8.trs 0.103 0.019 60.0 60.0 60.0 60.0 60.0 0.046
TRS/currying/D33/01.trs 0.008 0.0 60.0 60.0 60.0 60.0 60.0 0.998
TRS/currying/D33/02.trs 0.01 0.0 60.0 60.0 60.0 60.0 60.0 0.998
TRS/currying/D33/06.trs 0.048 0.0 60.0 60.0 60.0 0.004 0.004 0.001
TRS/currying/D33/08.trs 0.127 0.018 60.0 60.0 60.0 0.036 0.035 0.03
TRS/currying/D33/11.trs 0.929 0.255 60.0 60.0 60.0 0.234 0.235 0.294
TRS/currying/D33/12.trs 0.138 0.02 60.0 60.0 60.0 0.034 0.035 0.045
TRS/currying/D33/13.trs 0.124 0.021 60.0 60.0 60.0 0.028 0.03 0.041
TRS/currying/D33/17.trs 0.066 0.005 60.0 60.0 60.0 60.0 60.0 1.008
TRS/currying/D33/18.trs 0.046 0.0 60.0 60.0 60.0 0.004 0.004 0.002
TRS/currying/D33/21.trs 0.087 0.01 60.0 60.0 60.0 0.025 0.024 0.025
TRS/currying/D33/29.trs 0.063 0.001 60.0 60.0 60.0 0.009 0.008 0.009
TRS/currying/D33/30.trs 0.104 0.011 60.0 60.0 60.0 0.035 0.02 0.026
TRS/currying/D33/31.trs 0.105 0.013 60.0 60.0 60.0 0.028 0.027 0.028
TRS/currying/D33/33.trs 0.151 0.031 60.0 60.0 60.0 0.059 0.059 0.062
TRS/currying/Ste92/hydra.trs 0.071 0.004 60.0 60.0 60.0 0.018 0.018 0.017
TRS/currying/Ste92/minsort.trs 0.209 0.109 60.0 60.0 60.0 60.0 60.0 0.15
TRS/currying/Ste92/motivation.trs 0.044 0.0 60.0 60.0 60.0 0.005 0.007 0.003
TRS/currying/Ste92/perfect2.trs 0.283 0.141 60.0 60.0 60.0 0.137 0.14 0.186
TRS/currying/Ste92/perfect.trs 0.236 0.088 60.0 60.0 60.0 0.077 0.076 0.107
TRS/D33/01.trs 0.0 0.0 0.0 0.003 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.003 0.0 0.003 0.0 0.003
TRS/D33/03.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.002
TRS/D33/04.trs 0.0 0.0 0.0 0.014 0.221 0.0 0.0 0.0
TRS/D33/06.trs 0.0 0.0 0.0 0.011 0.217 0.0 0.0 0.0
TRS/D33/07.trs 0.0 0.0 0.0 0.008 0.305 0.0 0.0 0.0
TRS/D33/08.trs 0.0 0.0 0.023 0.009 60.0 0.0 0.0 0.0
TRS/D33/09.trs 0.0 0.0 0.0 0.005 2.107 0.0 0.0 0.0
TRS/D33/11.trs 0.0 0.0 0.089 0.07 60.0 0.0 0.0 0.0
TRS/D33/12.trs 0.0 0.0 0.044 0.024 60.0 0.0 0.0 0.0
TRS/D33/13.trs 0.001 0.0 0.021 0.086 60.0 0.0 0.0 0.0
TRS/D33/17.trs 0.005 0.0 0.114 0.254 60.0 0.0 0.0 0.0
TRS/D33/18.trs 0.0 0.0 0.0 0.001 24.626 0.0 0.0 0.0
TRS/D33/20.trs 0.004 0.0 0.01 0.027 60.0 0.0 0.005 0.008
TRS/D33/21.trs 0.0 0.0 0.089 0.103 60.0 0.0 0.0 0.0
TRS/D33/27.trs 0.0 0.0 0.0 0.019 0.351 0.0 0.0 0.0
TRS/D33/28.trs 0.0 0.0 0.0 0.004 60.0 0.0 0.001 0.0
TRS/D33/30.trs 0.0 0.0 17.463 6.006 60.0 0.0 0.0 0.0
TRS/D33/31.trs 0.0 0.0 0.024 0.016 60.0 0.0 0.0 0.0
TRS/D33/32.trs 0.0 0.0 1.773 21.081 60.0 0.0 0.0 0.0
TRS/D33/33.trs 0.0 0.0 2.418 7.561 60.0 0.0 0.0 0.0
TRS/Endrullis/direct.trs 0.0 0.0 0.009 0.0 60.0 0.0 0.016 0.007
TRS/Endrullis/labeling.trs 0.0 0.003 0.193 0.47 60.0 0.0 0.0 0.0
TRS/Endrullis/linear1.trs 0.0 0.0 0.027 0.028 60.0 0.0 60.0 0.0
TRS/Endrullis/linear2.trs 0.0 0.0 0.009 0.038 60.0 0.0 0.103 0.047
TRS/Endrullis/pair2hard.trs 0.0 0.0 0.062 0.056 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.025 0.026 60.0 0.0 0.0 0.0
TRS/Endrullis/pair2simple2.trs 0.0 0.0 0.064 0.021 60.0 0.0 0.005 0.0
TRS/Endrullis/pair3hard.trs 0.0 0.0 0.082 0.02 60.0 0.0 0.0 0.0
TRS/Endrullis/pair3rotate.trs 0.0 0.0 0.007 0.005 60.0 0.0 0.013 0.0
TRS/Endrullis/pair3swap.trs 0.0 0.0 0.003 0.005 60.0 0.0 0.0 0.0
TRS/Endrullis/quadruple1.trs 0.0 0.0 0.013 0.0 60.0 0.0 0.0 0.0
TRS/Endrullis/quadruple2.trs 0.0 0.0 0.0 0.003 60.0 0.0 0.007 0.0
TRS/higher-order/AotoYam/001.trs 0.0 0.0 0.036 0.001 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/002.trs 0.002 0.0 21.804 0.532 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/003.trs 0.0 0.0 20.381 16.464 60.0 0.123 0.124 0.0
TRS/higher-order/AotoYam/004.trs 0.0 0.0 1.754 2.379 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/005.trs 0.0 0.0 0.057 0.059 60.0 0.0 0.011 0.002
TRS/higher-order/AotoYam/006.trs 0.004 0.0 1.45 0.155 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/007.trs 0.0 0.0 0.515 0.845 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/009.trs 0.0 0.0 0.647 0.623 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/010.trs 0.006 0.0 31.241 49.364 60.0 0.004 0.004 0.003
TRS/higher-order/AotoYam/011.trs 0.001 0.0 2.039 3.103 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/012.trs 0.0 0.0 0.581 0.535 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/013.trs 0.006 0.0 11.391 20.812 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/014.trs 0.006 0.0 12.059 21.79 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/015.trs 0.002 0.0 2.326 2.587 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/016.trs 0.005 0.0 45.745 5.021 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.004 0.005
TRS/higher-order/AotoYam/019.trs 0.0 0.0 0.059 0.024 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/020.trs 0.001 0.0 9.922 17.811 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/higher-order/AotoYam/021.trs 0.046 0.0 22.099 37.91 60.0 0.042 0.04 0.037
TRS/higher-order/AotoYam/022.trs 0.036 0.0 0.881 0.245 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/023.trs 0.0 0.012 0.0 0.006 60.0 0.0 0.001 0.0
TRS/higher-order/AotoYam/024.trs 0.0 0.0 0.084 0.011 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/025.trs 0.0 0.0 0.0 0.0 60.0 0.0 0.011 0.0
TRS/higher-order/AotoYam/026.trs 0.0 0.0 0.37 0.5 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/027.trs 0.0 0.0 1.238 2.19 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/028.trs 0.0 0.0 7.001 7.503 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/Ex1SimplyTyped.trs 0.0 0.0 0.363 0.74 60.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/Ex5TermProof.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/higher-order/AProVE_HO/mapDivMinusHard.trs 0.004 0.0 2.692 13.412 60.0 0.0 0.0 0.0
TRS/higher-order/AProVE_HO/mapDivMinus.trs 0.002 0.0 2.079 10.657 60.0 0.0 0.0 0.0
TRS/higher-order/AProVE_HO/nonTermF.trs 0.0 0.0 24.9 25.134 60.0 60.0 60.0 0.985
TRS/higher-order/AProVE_HO/ReverseLastInit.trs 0.0 0.0 0.548 1.27 60.0 0.0 0.046 0.032
TRS/higher-order/AProVE_HO/TakeDropWhile.trs 0.005 0.0 3.26 8.043 60.0 0.0 0.0 0.0
TRS/higher-order/AProVE_HO/termMonTypes.trs 0.0 0.0 0.217 0.187 60.0 0.0 0.0 0.0
TRS/higher-order/AProVE_HO/TypeEx1.trs 0.0 0.0 0.495 0.091 60.0 0.698 0.715 0.985
TRS/higher-order/AProVE_HO/TypeEx3.trs 0.0 0.0 21.066 3.652 60.0 60.0 60.0 0.986
TRS/higher-order/AProVE_HO/TypeEx5.trs 0.0 0.0 0.006 0.0 60.0 0.0 0.0 0.004
TRS/higher-order/Bird/BTreeMember.trs 0.008 0.0 32.226 1.691 60.0 60.0 60.0 0.053
TRS/higher-order/Bird/Ex2_6_1Composition.trs 0.001 0.0 0.0 0.0 60.0 0.0 0.0 0.005
TRS/higher-order/Bird/Ex2_8_1ConstSubstFix.trs 0.0 0.001 1.162 1.217 60.0 0.0 0.0 0.0
TRS/higher-order/Bird/Hamming.trs 0.179 0.137 60.0 60.0 60.0 60.0 60.0 1.139
TRS/higher-order/Bird/TreeFlatten.trs 0.005 0.0 2.485 4.322 60.0 0.085 0.086 0.0
TRS/higher-order/Bird/TreeHeight.trs 0.042 0.0 2.626 53.007 60.0 60.0 60.0 0.001
problem t e s nv g c r *
TRS/higher-order/Bird/TreeLevels.trs 0.077 0.017 25.093 60.0 60.0 46.885 48.327 0.018
TRS/higher-order/Bird/TreeMap.trs 0.001 0.0 0.644 0.226 60.0 0.01 0.01 0.0
TRS/higher-order/Bird/TreeSize.trs 0.001 0.0 2.068 1.567 60.0 0.093 0.093 0.0
TRS/higher-order/Kusakari/Ex6_11.trs 0.002 0.0 0.843 0.481 60.0 1.157 1.164 0.0
TRS/higher-order/Kusakari/Ex7_9.trs 0.042 0.004 60.0 60.0 60.0 0.023 0.023 0.014
TRS/higher-order/Lifantsev/Ex10Functional.trs 0.043 0.014 60.0 60.0 60.0 0.025 0.026 0.032
TRS/higher-order/Lifantsev/Ex2PrimRec.trs 0.0 0.0 37.765 38.132 60.0 0.0 0.0 0.0
TRS/higher-order/Lifantsev/Ex3Lists.trs 0.008 0.0 22.525 53.714 60.0 0.0 0.0 0.0
TRS/higher-order/Lifantsev/Ex4MapList.trs 0.0 0.0 0.241 0.038 60.0 0.0 0.0 0.0
TRS/higher-order/Lifantsev/Ex5Sorting.trs 0.065 0.017 60.0 60.0 60.0 0.107 0.086 0.036
TRS/higher-order/Lifantsev/Ex6Folding.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/higher-order/Lifantsev/Ex7OrdinalRec.trs 0.028 0.0 60.0 60.0 60.0 0.001 0.0 0.002
TRS/higher-order/Lifantsev/Ex8Polymorphic.trs 0.005 0.0 1.725 2.989 60.0 0.0 0.0 0.0
TRS/higher-order/Lifantsev/Ex9Maps.trs 0.042 0.0 60.0 12.305 60.0 60.0 60.0 0.003
TRS/higher-order/ToyamaRTA04/Ex5Folding.trs 0.005 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/higher-order/ToyamaRTA04/Ex6Recursor.trs 0.0 0.0 2.474 2.468 60.0 0.0 0.0 0.0
TRS/higher-order/ToyamaRTA04/Ex7Sorting.trs 0.077 0.017 60.0 60.0 60.0 9.783 9.731 0.034
TRS/HM/n002.trs 0.0 0.0 0.0 0.0 0.0 0.003 0.0 0.0
TRS/HM/n003.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.003
TRS/HM/n004.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.003 0.0
TRS/HM/n005.trs 0.0 0.0 0.0 0.0 0.003 0.0 0.004 0.0
TRS/HM/n006.trs 0.0 0.0 0.0 0.0 0.001 0.0 0.004 0.0
TRS/HM/n007.trs 0.0 0.0 0.003 0.0 0.973 0.0 0.0 0.0
TRS/HM/n008.trs 0.016 0.0 0.01 0.004 0.016 0.0 0.0 0.0
TRS/HM/t000.trs 0.105 0.069 60.0 60.0 60.0 0.082 0.405 0.373
problem t e s nv g c r *
TRS/HM/t001.trs 0.008 0.0 5.868 46.14 60.0 0.0 0.0 0.0
TRS/HM/t002.trs 0.0 0.0 0.245 1.155 60.0 0.0 0.0 0.0
TRS/HM/t003.trs 0.0 0.0 3.322 60.0 60.0 0.0 0.0 0.0
TRS/HM/t004.trs 0.003 0.0 0.023 0.015 6.86 0.0 0.0 0.0
TRS/HM/t005.trs 0.092 0.088 60.0 60.0 60.0 0.174 0.177 0.163
TRS/HM/t006.trs 0.0 0.0 0.0 0.004 60.0 0.0 0.003 0.004
TRS/HM/t007.trs 0.0 0.0 0.009 0.005 0.006 0.0 0.0 0.0
TRS/HM/t008.trs 0.0 0.004 0.038 0.027 60.0 0.0 0.0 0.0
TRS/HM/t009.trs 0.028 0.021 60.0 60.0 60.0 0.033 60.0 0.558
TRS/HM/t010.trs 0.0 0.0 0.002 0.002 0.005 0.0 0.0 0.0
TRS/HM/t011.trs 0.0 0.0 0.0 0.013 60.0 0.0 0.0 0.0
TRS/HM/t012.trs 0.0 0.0 0.044 0.112 60.0 0.0 0.008 0.014
TRS/HM/t013.trs 0.0 0.0 0.08 0.154 60.0 0.0 0.0 0.0
TRS/HM/t014.trs 0.0 0.0 0.241 1.32 60.0 0.0 0.0 0.0
TRS/HofWald/1.trs 0.0 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/HofWald/2.trs 0.0 0.0 0.003 0.012 60.0 0.0 60.0 0.0
TRS/HofWald/3.trs 0.0 0.0 0.018 0.0 60.0 0.006 0.0 0.0
TRS/HofWald/4.trs 0.0 0.0 0.003 0.003 60.0 0.0 0.0 0.0
TRS/HofWald/5.trs 0.0 0.0 0.019 0.0 60.0 0.003 0.0 0.0
TRS/HofWald/6.trs 0.0 0.0 0.013 0.0 60.0 0.0 0.0 0.0
TRS/HofWald/7.trs 0.0 0.0 1.092 0.45 60.0 0.0 0.0 0.0
TRS/Koprowski/gcd_triple.trs 0.0 0.0 1.922 60.0 60.0 0.0 0.0 0.0
TRS/LJB01/jones1.trs 0.0 0.0 0.004 0.017 60.0 0.0 0.0 0.0
TRS/LJB01/jones2.trs 0.0 0.0 0.034 0.026 60.0 0.0 0.0 0.0
TRS/LJB01/jones4.trs 0.001 0.0 0.014 0.002 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/LJB01/jones5.trs 0.0 0.0 0.021 0.02 60.0 0.0 0.0 0.0
TRS/LJB01/jones6.trs 0.0 0.0 0.009 0.03 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.12a.trs 0.0 0.0 0.021 0.029 21.73 0.0 0.0 0.0
TRS/nontermin/AG01/#4.13.trs 0.0 0.0 0.003 0.041 31.584 0.0 0.0 0.0
TRS/nontermin/AG01/#4.14.trs 0.0 0.0 0.02 0.01 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.15.trs 0.0 0.0 0.23 1.549 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.16.trs 0.0 0.0 0.015 0.006 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.17.trs 0.001 0.0 0.011 0.008 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.18.trs 0.001 0.0 0.0 0.003 60.0 0.0 0.004 0.0
TRS/nontermin/AG01/#4.19.trs 0.007 0.0 0.309 1.901 60.0 0.158 0.147 0.018
TRS/nontermin/AG01/#4.20a.trs 0.025 0.0 0.011 0.015 9.799 0.0 0.0 0.0
TRS/nontermin/AG01/#4.20.trs 0.001 0.0 0.0 0.0 0.025 0.0 0.0 0.0
TRS/nontermin/AG01/#4.21.trs 0.0 0.0 0.02 0.002 7.905 0.0 0.0 0.0
TRS/nontermin/AG01/#4.22.trs 0.001 0.0 0.055 0.091 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.23.trs 0.0 0.0 0.1 0.596 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.25.trs 0.001 0.0 0.0 0.009 0.072 0.0 0.0 0.0
TRS/nontermin/AG01/#4.26.trs 0.001 0.0 0.176 1.413 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.27.trs 0.0 0.0 0.174 0.477 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.28.trs 0.0 0.0 0.019 0.025 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.29.trs 0.0 0.0 1.138 4.395 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.2.trs 0.001 0.0 0.091 0.147 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.30a.trs 0.0 0.0 0.081 0.107 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.30b.trs 0.0 0.0 0.287 2.15 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.30c.trs 0.0 0.0 0.411 2.12 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.30.trs 0.0 0.0 0.263 2.177 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.017 0.022 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.32.trs 0.0 0.0 0.016 0.005 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.33.trs 0.0 0.005 13.089 17.094 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.34.trs 0.0 0.0 0.287 0.623 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.35.trs 0.0 0.0 60.0 60.0 60.0 60.0 60.0 0.989
TRS/nontermin/AG01/#4.36.trs 0.0 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.014 0.006 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.37.trs 0.001 0.0 0.003 0.002 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.3.trs 0.0 0.0 0.001 0.026 17.516 0.0 0.0 0.0
TRS/nontermin/AG01/#4.4.trs 0.0 0.0 0.014 0.028 60.0 0.0 0.0 0.0
TRS/nontermin/AG01/#4.7.trs 0.0 0.018 0.0 0.004 1.229 0.0 0.0 0.0
TRS/nontermin/cariboo/ex1.trs 0.0 0.0 0.001 0.002 0.024 0.0 0.0 0.0
TRS/nontermin/cariboo/ex2.trs 0.0 0.0 0.014 0.003 60.0 0.0 0.003 0.0
TRS/nontermin/cariboo/ex3.trs 0.0 0.0 0.014 0.003 6.645 0.0 0.0 0.0
TRS/nontermin/cariboo/ex4.trs 0.001 0.0 0.0 0.014 0.051 0.0 0.0 0.0
TRS/nontermin/cariboo/ex5.trs 0.0 0.0 0.001 0.002 0.008 0.0 0.0 0.0
TRS/nontermin/cariboo/ex6.trs 0.0 0.0 0.04 0.034 60.0 0.0 0.002 0.009
TRS/nontermin/cariboo/tricky1.trs 0.0 0.0 0.041 0.025 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_2_AEL03.trs 0.0 0.0 0.482 0.89 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_2_Luc02c.trs 0.0 0.0 0.0 0.011 60.0 0.0 0.003 0.011
TRS/nontermin/CSR/Ex14_AEGL02.trs 0.0 0.0 0.014 0.002 49.182 0.0 0.0 0.0
TRS/nontermin/CSR/Ex15_Luc98.trs 0.0 0.0 0.08 0.03 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_GL02a.trs 0.0 0.0 0.075 0.009 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_GM03.trs 0.0 0.0 0.137 0.374 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_GM99.trs 0.0 0.0 0.005 0.012 8.553 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.029 0.017 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_Zan97.trs 0.0 0.0 0.008 0.003 0.002 0.0 0.0 0.0
TRS/nontermin/CSR/Ex24_GM04.trs 0.0 0.0 0.0 0.042 31.264 0.0 0.0 0.0
TRS/nontermin/CSR/Ex26_Luc03b.trs 0.0 0.0 0.191 0.292 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex2_Luc03b.trs 0.001 0.0 0.065 0.015 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex3_12_Luc96a.trs 0.0 0.0 0.015 0.005 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex3_2_Luc97.trs 0.0 0.0 0.104 0.05 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex3_3_25_Bor03.trs 0.002 0.0 0.11 0.213 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_4_Luc96b.trs 0.001 0.0 0.002 0.002 20.685 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_7_15_Bor03.trs 0.0 0.0 0.012 0.008 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_7_37_Bor03.trs 0.0 0.0 0.356 0.552 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_7_56_Bor03.trs 0.0 0.0 0.014 0.004 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_7_77_Bor03.trs 0.0 0.0 0.0 0.0 0.004 0.0 0.0 0.0
TRS/nontermin/CSR/Ex49_GM04.trs 0.0 0.0 0.219 0.935 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex4_Zan97.trs 0.002 0.0 0.036 0.021 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex5_7_Luc97.trs 0.0 0.0 0.828 0.421 60.0 0.0 0.002 0.0
TRS/nontermin/CSR/Ex5_Zan97.trs 0.0 0.0 0.002 0.004 60.0 0.0 0.005 0.0
TRS/nontermin/CSR/Ex6_15_AEL02.trs 0.001 0.0 1.693 0.314 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex6_9_Luc02c.trs 0.0 0.0 0.0 0.005 60.0 0.0 0.003 0.0
TRS/nontermin/CSR/Ex6_GM04.trs 0.002 0.0 0.0 0.013 0.031 0.0 0.0 0.0
TRS/nontermin/CSR/Ex6_Luc98.trs 0.0 0.0 0.014 0.0 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex7_BLR02.trs 0.0 0.0 0.063 0.034 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex8_BLR02.trs 0.0 0.0 0.106 0.106 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex9_BLR02.trs 0.002 0.0 0.915 2.376 60.0 60.0 60.0 0.984
TRS/nontermin/CSR/ExAppendixB_AEL03.trs 0.0 0.0 0.803 2.537 60.0 60.0 60.0 0.985
problem t e s nv g c r *
TRS/nontermin/CSR/ExConc_Zan97.trs 0.0 0.0 0.0 0.012 0.002 0.0 0.002 0.0
TRS/nontermin/CSR/ExIntrod_GM01.trs 0.0 0.0 0.094 0.031 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/ExIntrod_GM04.trs 0.0 0.0 0.064 0.033 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/ExIntrod_GM99.trs 0.0 0.0 0.409 0.857 60.0 0.0 0.0 0.0
TRS/nontermin/CSR/ExIntrod_Zan97.trs 0.0 0.0 0.273 0.718 60.0 0.0 0.0 0.0
TRS/nontermin/HM/n001.trs 0.0 0.0 0.005 0.005 31.69 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/bn111.trs 0.0 0.0 0.0 0.012 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/gkg.trs 0.0 0.0 0.0 0.005 26.597 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/muladd.trs 0.0 0.0 0.0 0.007 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test10.trs 0.001 0.0 0.164 0.238 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test75.trs 0.0 0.004 0.019 0.009 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test76.trs 0.0 0.0 0.076 0.063 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test77.trs 0.0 0.0 0.11 0.099 60.0 0.0 0.0 0.005
TRS/nontermin/Rubio-inn/test830.trs 0.0 0.0 0.021 0.006 60.0 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/test9.trs 0.0 0.0 0.036 0.012 22.526 0.0 0.0 0.0
TRS/nontermin/Rubio-inn/toyama.trs 0.0 0.0 0.005 0.009 20.721 0.0 0.0 0.0
TRS/nontermin/TRCSR/ExSec11_1_Luc02a.trs 0.0 0.0 0.513 1.448 60.0 0.0 0.0 0.0
TRS/Rubio/aoto.trs 0.0 0.0 0.009 0.009 60.0 0.0 0.0 0.0
TRS/Rubio/bintrees.trs 0.0 0.0 0.034 0.021 60.0 0.0 0.0 0.0
TRS/Rubio/bn122.trs 0.0 0.0 0.039 0.057 60.0 0.0 0.004 0.0
TRS/Rubio/bn129.trs 0.025 0.0 0.029 0.01 60.0 0.0 0.0 0.0
TRS/Rubio/division.trs 0.0 0.0 0.299 2.936 60.0 0.0 0.0 0.0
TRS/Rubio/elimdupl.trs 0.0 0.0 0.542 3.123 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.0 0.0
TRS/Rubio/gcd.trs 0.0 0.0 0.408 2.097 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.083 0.17 60.0 0.0 0.0 0.0
TRS/Rubio/gm.trs 0.0 0.0 0.037 0.032 60.0 0.0 0.0 0.0
TRS/Rubio/koen.trs 0.0 0.0 0.026 0.031 51.661 0.0 0.0 0.0
TRS/Rubio/lescanne.trs 0.0 0.0 0.013 0.021 60.0 0.0 0.018 0.0
TRS/Rubio/lindau.trs 0.0 0.0 0.026 0.005 60.0 0.0 0.0 0.0
TRS/Rubio/logarquot.trs 0.0 0.0 0.104 0.211 60.0 0.0 0.0 0.0
TRS/Rubio/ma96.trs 0.004 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/Rubio/mfp90b.trs 0.0 0.0 0.0 0.005 16.126 0.0 0.0 0.0
TRS/Rubio/mfp95.trs 0.0 0.0 0.0 0.0 1.273 0.0 0.0 0.0
TRS/Rubio/nestrec.trs 0.0 0.0 0.0 0.002 0.326 0.0 0.0 0.0
TRS/Rubio/p266.trs 0.0 0.0 0.018 0.0 3.838 0.0 0.0 0.0
TRS/Rubio/polo2.trs 0.004 0.0 0.085 0.062 60.0 0.0 0.0 0.0
TRS/Rubio/prov.trs 0.0 0.0 0.018 0.006 60.0 0.0 0.0 0.0
TRS/Rubio/quick.trs 0.0 0.0 2.233 24.797 60.0 0.0 0.0 0.0
TRS/Rubio/quotminus.trs 0.0 0.0 0.111 0.185 60.0 0.0 0.0 0.0
TRS/Rubio/revlist.trs 0.001 0.0 0.068 0.017 60.0 0.0 0.0 0.0
TRS/Rubio/selsort.trs 0.003 0.0 60.0 60.0 60.0 0.0 0.0 0.002
TRS/Rubio/test4.trs 0.002 0.0 0.021 0.022 60.0 0.0 0.0 0.0
TRS/Rubio/test829.trs 0.0 0.0 0.015 0.0 60.0 0.003 0.0 0.0
TRS/Rubio/wst99.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.008 0.001
TRS/SchneiderKamp/trs/cade01.trs 0.0 0.0 0.154 0.71 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade03.trs 0.0 0.0 0.163 0.879 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade04t.trs 0.0 0.0 0.238 0.878 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade05t.trs 0.0 0.0 0.22 2.599 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade06.trs 0.0 0.0 3.376 60.0 60.0 0.013 0.002 0.018
problem t e s nv g c r *
TRS/SchneiderKamp/trs/cade07.trs 0.041 0.0 2.84 7.055 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade08.trs 0.0 0.0 10.914 60.0 60.0 0.0 0.0 0.008
TRS/SchneiderKamp/trs/cade09.trs 0.0 0.009 0.371 0.931 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade10.trs 0.0 0.0 0.36 1.471 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade11.trs 0.005 0.005 0.135 0.318 60.0 0.0 0.0 0.001
TRS/SchneiderKamp/trs/cade12t.trs 0.009 0.0 2.968 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade13t.trs 0.004 0.0 4.313 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade14.trs 0.0 0.0 0.701 21.868 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade15.trs 0.0 0.0 4.827 60.0 60.0 0.0 0.011 0.0
TRS/SchneiderKamp/trs/cade16.trs 0.0 0.0 0.731 6.491 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/cade17.trs 0.0 0.0 0.977 26.173 60.0 0.007 0.005 0.02
TRS/SchneiderKamp/trs/kabasci01.trs 0.058 0.044 45.287 60.0 60.0 0.036 0.034 0.085
TRS/SchneiderKamp/trs/kabasci02.trs 0.001 0.0 31.535 60.0 60.0 60.0 60.0 0.988
TRS/SchneiderKamp/trs/kabasci03.trs 0.0 0.0 60.0 60.0 60.0 60.0 60.0 0.298
TRS/SchneiderKamp/trs/kabasci04.trs 0.0 0.0 0.243 2.816 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/kabasci05.trs 0.0 0.0 0.865 13.003 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/kabasci06.trs 0.055 0.0 4.759 12.34 60.0 0.014 0.014 0.012
TRS/SchneiderKamp/trs/otto01.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto02.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto03.trs 0.0 0.0 0.216 0.938 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto04.trs 0.0 0.0 60.0 60.0 60.0 0.01 0.0 0.0
TRS/SchneiderKamp/trs/otto05.trs 0.0 0.0 1.269 10.669 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto06.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto07.trs 0.0 0.0 0.146 0.727 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto08.trs 0.0 0.0 2.97 60.0 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SchneiderKamp/trs/otto09.trs 0.002 0.0 1.725 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto10.trs 0.0 0.0 60.0 60.0 60.0 0.001 0.012 0.0
TRS/SchneiderKamp/trs/otto11.trs 0.0 0.0 2.516 49.938 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto12.trs 0.0 0.0 35.638 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/otto13.trs 0.0 0.0 36.778 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann01.trs 0.002 0.012 2.59 16.116 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann02.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.014
TRS/SchneiderKamp/trs/thiemann03.trs 0.0 0.0 2.914 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann04.trs 0.031 0.0 60.0 60.0 60.0 0.0 0.0 0.014
TRS/SchneiderKamp/trs/thiemann05.trs 0.004 0.0 3.499 29.228 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann06.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann07.trs 0.002 0.0 15.15 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann08.trs 0.0 0.0 0.786 5.398 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann09.trs 0.008 0.0 1.868 8.584 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann10.trs 0.0 0.0 0.96 6.931 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann11.trs 0.002 0.0 33.741 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann12.trs 0.0 0.0 1.253 10.828 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann13.trs 0.0 0.0 4.301 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann14.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann15.trs 0.034 0.0 2.008 6.801 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.002 0.0 3.051 7.688 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.0 0.0 0.255 0.395 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann20.trs 0.0 0.0 0.49 2.815 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SchneiderKamp/trs/thiemann21.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.005
TRS/SchneiderKamp/trs/thiemann22.trs 0.0 0.0 2.247 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann23.trs 0.019 0.0 0.203 0.34 60.0 0.0 0.015 0.0
TRS/SchneiderKamp/trs/thiemann24.trs 0.015 0.0 4.279 35.418 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann25.trs 0.0 0.0 24.954 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann26.trs 0.0 0.0 22.747 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann27.trs 0.0 0.0 0.163 0.563 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann28.trs 0.002 0.0 1.507 40.828 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann29.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.002
TRS/SchneiderKamp/trs/thiemann30.trs 0.0 0.0 37.526 60.0 60.0 0.0 0.0 0.008
TRS/SchneiderKamp/trs/thiemann31.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann32.trs 0.0 0.0 1.583 12.36 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann33.trs 0.002 0.0 0.377 0.602 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann34.trs 0.0 0.0 1.378 19.064 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann35.trs 0.084 0.016 60.0 60.0 60.0 60.0 60.0 1.016
TRS/SchneiderKamp/trs/thiemann36.trs 0.002 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann37.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann38.trs 0.0 0.0 60.0 60.0 60.0 0.002 0.0 0.0
TRS/SchneiderKamp/trs/thiemann39.trs 0.064 0.005 60.0 60.0 60.0 35.239 35.216 0.024
TRS/SchneiderKamp/trs/thiemann40.trs 0.0 0.0 0.22 0.449 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/thiemann41.trs 0.0 0.0 42.562 60.0 60.0 0.0 0.0 0.0
TRS/SchneiderKamp/trs/wiehe01.trs 0.0 0.0 6.663 60.0 60.0 60.0 60.0 0.996
TRS/SchneiderKamp/trs/wiehe02.trs 0.005 0.0 60.0 60.0 60.0 60.0 60.0 0.994
TRS/SchneiderKamp/trs/wiehe03.trs 0.006 0.0 60.0 60.0 60.0 60.0 60.0 0.999
TRS/SchneiderKamp/trs/wiehe05.trs 0.011 0.0 6.98 60.0 60.0 60.0 60.0 0.985
problem t e s nv g c r *
TRS/SchneiderKamp/trs/wiehe06.trs 0.0 0.0 30.306 60.0 60.0 60.0 60.0 0.992
TRS/SchneiderKamp/trs/wiehe07.trs 0.0 0.0 31.015 60.0 60.0 60.0 60.0 0.993
TRS/SchneiderKamp/trs/wiehe08.trs 0.0 0.0 7.029 60.0 60.0 60.0 60.0 0.988
TRS/SchneiderKamp/trs/wiehe09.trs 0.001 0.0 17.48 60.0 60.0 60.0 60.0 0.988
TRS/SchneiderKamp/trs/wiehe11.trs 0.001 0.0 60.0 60.0 60.0 60.0 60.0 0.991
TRS/SchneiderKamp/trs/wiehe12.trs 0.005 0.0 19.435 60.0 60.0 60.0 60.0 0.995
TRS/secret05/aprove1.trs 0.058 0.016 60.0 60.0 60.0 0.326 0.321 0.034
TRS/secret05/aprove2.trs 0.006 0.002 1.25 9.777 60.0 0.0 0.0 0.0
TRS/secret05/aprove3.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/secret05/aprove4.trs 0.001 0.0 0.332 3.231 60.0 0.0 0.012 0.005
TRS/secret05/aprove5.trs 0.0 0.0 0.459 1.587 60.0 0.0 0.0 0.0
TRS/secret05/cime1.trs 0.049 0.0 60.0 60.0 60.0 0.006 0.006 0.022
TRS/secret05/cime2.trs 0.0 0.0 0.182 0.723 60.0 0.0 0.0 0.0
TRS/secret05/cime3.trs 0.005 0.0 32.008 60.0 60.0 60.0 60.0 0.995
TRS/secret05/cime4.trs 0.0 0.0 0.204 0.5 60.0 0.0 0.0 0.0
TRS/secret05/cime5.trs 0.049 0.035 60.0 60.0 60.0 60.0 60.0 1.036
TRS/secret05/matchbox1.trs 0.002 0.0 0.004 0.006 60.0 0.0 0.0 0.0
TRS/secret05/matchbox2.trs 0.0 0.0 0.0 0.013 60.0 0.0 0.0 0.007
TRS/secret05/teparla1.trs 0.0 0.0 0.597 0.03 60.0 1.187 0.024 0.019
TRS/secret05/teparla2.trs 0.0 0.0 1.318 7.681 60.0 60.0 60.0 0.994
TRS/secret05/teparla3.trs 0.002 0.0 0.361 0.341 60.0 12.506 0.004 0.504
TRS/secret05/tpa1.trs 0.0 0.0 0.167 2.235 60.0 0.0 0.0 0.0
TRS/secret05/tpa2.trs 0.0 0.0 0.13 0.177 60.0 0.0 0.0 0.0
TRS/secret05/tpa3.trs 0.0 0.0 0.11 0.172 60.0 0.0 0.0 0.0
TRS/secret05/tpa4.trs 0.0 0.0 0.155 0.253 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/secret05/tpa5.trs 0.002 0.0 0.216 5.334 60.0 0.0 0.0 0.0
TRS/secret05/ttt1.trs 0.0 0.0 0.245 0.332 60.0 0.0 0.0 0.0
TRS/secret05/ttt2.trs 0.0 0.0 0.0 0.015 21.138 0.0 0.0 0.0
TRS/secret06/aprove/addList.trs 0.003 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/secret06/aprove/divExp.trs 0.0 0.0 0.259 5.595 60.0 60.0 60.0 0.985
TRS/secret06/aprove/division.trs 0.0 0.0 2.452 46.22 60.0 0.0 0.0 0.0
TRS/secret06/aprove/double.trs 0.0 0.0 4.693 23.541 60.0 0.0 0.0 0.0
TRS/secret06/aprove/logarithm.trs 0.0 0.0 13.253 60.0 60.0 0.0 0.0 0.0
TRS/secret06/aprove/nrOfNodes.trs 0.0 0.0 60.0 60.0 60.0 0.001 0.0 0.0
TRS/secret06/aprove/reverse.trs 0.0 0.0 27.414 60.0 60.0 0.0 0.0 0.0
TRS/secret06/aprove/sumList.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/secret06/aprove/times.trs 0.001 0.0 44.632 60.0 60.0 60.0 60.0 0.987
TRS/secret06/aprove/toList.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.002 0.0
TRS/secret06/cime1.trs 0.034 0.0 4.158 43.179 60.0 60.0 60.0 0.988
TRS/secret06/jambox/10.trs 0.0 0.0 0.011 0.042 60.0 0.0 0.0 0.0
TRS/secret06/jambox/2.trs 0.002 0.0 0.041 0.044 60.0 0.0 0.003 0.0
TRS/secret06/jambox/3.trs 0.0 0.0 0.056 0.138 60.0 0.0 60.0 0.0
TRS/secret06/jambox/4.trs 0.0 0.0 0.009 0.01 60.0 0.0 60.0 0.0
TRS/secret06/jambox/5.trs 0.0 0.0 0.016 0.032 60.0 0.0 0.0 0.0
TRS/secret06/jambox/6.trs 0.002 0.0 0.03 0.013 60.0 0.0 60.0 0.491
TRS/secret06/jambox/7.trs 0.0 0.0 0.022 0.041 60.0 0.0 0.021 0.023
TRS/secret06/jambox/8.trs 0.0 0.0 0.029 0.029 60.0 0.0 0.0 0.0
TRS/secret06/jambox/9.trs 0.001 0.0 0.037 0.012 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-10.trs 0.0 0.0 0.366 1.341 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-14.trs 0.0 0.0 1.111 1.858 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/secret06/matchbox/gen-15.trs 0.0 0.0 0.111 0.108 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-17.trs 0.0 0.0 1.782 4.118 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-18.trs 0.0 0.0 0.587 0.593 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-1.trs 0.0 0.0 0.096 0.037 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-22.trs 0.0 0.0 7.465 5.553 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-25.trs 0.0 0.0 5.456 5.587 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-28.trs 0.0 0.0 0.782 7.626 60.0 0.0 0.0 0.0
TRS/secret06/matchbox/gen-9.trs 0.002 0.0 0.793 1.767 60.0 0.0 0.0 0.0
TRS/secret06/tpa01.trs 0.0 0.0 0.014 0.002 60.0 0.003 0.0 0.0
TRS/secret06/tpa02.trs 0.021 0.0 0.01 0.003 60.0 0.0 0.0 0.0
TRS/secret06/tpa03.trs 0.0 0.0 0.025 0.03 60.0 0.0 0.0 0.0
TRS/secret06/tpa04.trs 0.0 0.0 0.411 12.72 60.0 0.0 0.0 0.0
TRS/secret06/tpa05.trs 0.0 0.0 0.234 0.703 60.0 0.0 0.0 0.003
TRS/secret06/tpa06.trs 0.0 0.0 1.341 60.0 60.0 0.0 0.0 0.0
TRS/secret06/tpa07.trs 0.002 0.0 0.2 0.631 60.0 0.0 0.0 0.0
TRS/secret06/tpa08.trs 0.0 0.0 0.221 0.636 60.0 0.0 0.0 0.009
TRS/secret06/tpa09.trs 0.0 0.008 1.876 15.797 60.0 0.005 0.006 0.027
TRS/secret06/tpa10.trs 0.0 0.0 0.604 7.449 60.0 0.0 0.0 0.0
TRS/secret07/aprove/aprove01.trs 0.0 0.0 60.0 60.0 60.0 0.006 0.0 0.0
TRS/secret07/aprove/aprove02.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/secret07/aprove/aprove03.trs 0.001 0.0 51.315 60.0 60.0 0.0 0.0 0.021
TRS/secret07/aprove/aprove04.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/secret07/aprove/aprove05.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/secret07/aprove/aprove06.trs 0.003 0.0 60.0 60.0 60.0 0.0 0.0 0.018
TRS/secret07/aprove/aprove07.trs 0.002 0.0 20.761 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 60.0 60.0 60.0 0.0 0.0 0.0
TRS/secret07/aprove/aprove10.trs 0.0 0.0 60.0 60.0 60.0 0.001 0.0 0.0
TRS/secret07/cime/secret1.trs 0.002 0.0 1.48 3.673 60.0 0.0 0.0 0.002
TRS/secret07/cime/secret2.trs 0.0 0.009 5.274 60.0 60.0 0.009 0.009 0.024
TRS/secret07/cime/secret3.trs 0.006 0.0 3.308 17.759 60.0 0.0 0.0 0.0
TRS/secret07/cime/secret4.trs 0.0 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/secret07/cime/secret5.trs 0.003 0.0 1.491 2.072 60.0 0.0 0.0 0.0
TRS/secret07/others/dj.trs 0.0 0.0 0.021 0.068 60.0 0.0 0.0 0.0
TRS/secret07/TTT2/1.trs 0.0 0.0 0.42 0.642 60.0 60.0 0.018 0.072
TRS/secret07/TTT2/2.trs 0.0 0.0 4.59 13.383 60.0 60.0 0.089 0.573
TRS/secret07/TTT2/3.trs 0.001 0.0 60.0 13.819 60.0 60.0 60.0 0.988
TRS/secret07/TTT2/4.trs 0.0 0.0 21.915 7.273 60.0 60.0 0.648 0.202
TRS/secret07/TTT2/5.trs 0.0 0.0 60.0 60.0 60.0 60.0 60.0 0.992
TRS/secret07/TTT2/6.trs 0.001 0.0 0.039 0.0 8.287 0.0 0.0 0.0
TRS/secret07/TTT2/7.trs 0.0 0.0 0.02 0.03 60.0 0.0 0.043 0.0
TRS/SK90/2.01.trs 0.001 0.0 0.076 0.183 60.0 0.0 0.105 0.101
TRS/SK90/2.02.trs 0.0 0.0 0.017 0.02 60.0 0.0 0.0 0.0
TRS/SK90/2.03.trs 0.0 0.0 0.014 0.01 60.0 0.0 0.0 0.0
TRS/SK90/2.04.trs 0.0 0.0 0.014 0.0 60.0 0.0 0.0 0.0
TRS/SK90/2.05.trs 0.0 0.0 0.361 1.086 60.0 0.316 0.323 0.667
TRS/SK90/2.06.trs 0.0 0.0 0.042 0.096 60.0 0.0 0.0 0.0
TRS/SK90/2.07.trs 0.002 0.0 0.035 0.051 60.0 0.0 0.0 0.0
TRS/SK90/2.08.trs 0.0 0.0 0.125 0.222 60.0 0.0 0.0 0.0
TRS/SK90/2.09.trs 0.0 0.0 0.001 0.004 60.0 0.0 0.004 0.0
problem t e s nv g c r *
TRS/SK90/2.10.trs 0.0 0.0 0.114 0.338 60.0 0.0 0.014 0.0
TRS/SK90/2.11.trs 0.004 0.0 0.013 0.019 60.0 0.0 0.004 0.0
TRS/SK90/2.12.trs 0.004 0.0 0.306 0.692 60.0 0.0 0.0 0.014
TRS/SK90/2.13.trs 0.0 0.0 0.084 0.097 60.0 0.0 0.004 0.0
TRS/SK90/2.14.trs 0.003 0.0 0.147 0.168 60.0 0.0 0.011 0.0
TRS/SK90/2.15.trs 0.0 0.0 0.003 0.0 60.0 0.0 0.0 0.0
TRS/SK90/2.16.trs 0.0 0.0 0.091 0.15 60.0 0.0 0.0 0.0
TRS/SK90/2.17.trs 0.001 0.0 0.0 0.004 60.0 0.0 0.0 0.0
TRS/SK90/2.18.trs 0.0 0.0 0.021 0.024 60.0 0.0 0.0 0.0
TRS/SK90/2.19.trs 0.0 0.0 0.082 0.078 60.0 0.0 0.0 0.0
TRS/SK90/2.20.trs 0.001 0.0 0.003 0.003 60.0 0.009 0.0 0.003
TRS/SK90/2.21.trs 0.0 0.0 0.021 0.0 60.0 0.0 0.0 0.0
TRS/SK90/2.22.trs 0.0 0.005 0.067 0.122 60.0 0.0 0.0 0.0
TRS/SK90/2.23.trs 0.0 0.0 0.185 0.354 60.0 0.0 0.0 0.0
TRS/SK90/2.24.trs 0.0 0.0 0.0 0.014 60.0 0.0 0.004 0.0
TRS/SK90/2.25.trs 0.0 0.0 0.044 0.032 60.0 0.0 0.0 0.0
TRS/SK90/2.26.trs 0.0 0.0 0.469 0.63 60.0 0.0 0.0 0.0
TRS/SK90/2.27.trs 0.0 0.0 0.175 0.103 60.0 0.0 0.0 0.0
TRS/SK90/2.28.trs 0.0 0.0 0.0 0.004 60.0 0.0 0.0 0.0
TRS/SK90/2.29.trs 0.0 0.0 0.072 0.093 60.0 0.0 0.0 0.0
TRS/SK90/2.30.trs 0.002 0.0 0.0 0.003 0.0 0.0 0.0 0.003
TRS/SK90/2.31.trs 0.0 0.0 0.053 0.011 60.0 0.0 0.0 0.0
TRS/SK90/2.32.trs 0.0 0.0 0.217 0.458 60.0 0.0 0.0 0.0
TRS/SK90/2.33.trs 0.0 0.0 0.017 0.029 60.0 0.0 0.0 0.0
TRS/SK90/2.34.trs 0.002 0.0 0.007 0.017 60.0 0.061 0.0 0.0
problem t e s nv g c r *
TRS/SK90/2.35.trs 0.0 0.0 0.052 0.059 60.0 0.0 0.0 0.0
TRS/SK90/2.36.trs 0.0 0.0 0.002 0.004 60.0 0.0 0.003 0.0
TRS/SK90/2.37.trs 0.0 0.0 0.055 0.008 60.0 0.0 0.0 0.0
TRS/SK90/2.38.trs 0.0 0.0 0.004 0.022 60.0 0.0 0.0 0.0
TRS/SK90/2.39.trs 0.0 0.0 0.057 0.024 60.0 0.0 0.0 0.0
TRS/SK90/2.40.trs 0.0 0.0 0.043 0.05 60.0 0.0 0.0 0.0
TRS/SK90/2.41.trs 0.0 0.0 0.051 0.006 60.0 0.0 0.0 0.0
TRS/SK90/2.42.trs 0.005 0.0 0.183 0.637 60.0 0.0 0.0 0.0
TRS/SK90/2.43.trs 0.0 0.0 0.144 0.219 60.0 0.0 0.0 0.0
TRS/SK90/2.44.trs 0.0 0.0 15.526 60.0 60.0 0.0 0.0 0.0
TRS/SK90/2.45.trs 0.003 0.0 10.554 14.076 60.0 0.0 0.0 0.0
TRS/SK90/2.46.trs 0.002 0.0 0.003 0.009 3.098 0.0 0.0 0.0
TRS/SK90/2.47.trs 0.0 0.0 0.0 0.0 0.044 0.003 0.0 0.0
TRS/SK90/2.48.trs 0.0 0.0 0.013 0.006 0.366 0.0 0.0 0.0
TRS/SK90/2.49.trs 0.0 0.004 0.096 0.013 60.0 0.0 0.0 0.0
TRS/SK90/2.50.trs 0.0 0.0 0.0 0.017 0.0 0.0 0.0 0.0
TRS/SK90/2.51.trs 0.001 0.0 0.016 0.027 60.0 0.0 0.0 0.0
TRS/SK90/2.52.trs 0.001 0.0 2.405 60.0 60.0 0.0 0.0 0.0
TRS/SK90/2.53.trs 0.0 0.0 0.0 0.012 11.869 0.0 0.0 0.0
TRS/SK90/2.54.trs 0.0 0.0 0.0 0.012 1.448 0.0 0.0 0.0
TRS/SK90/2.55.trs 0.0 0.0 0.0 0.012 36.572 0.0 0.0 0.0
TRS/SK90/2.56.trs 0.0 0.0 0.0 0.014 0.046 0.0 0.0 0.0
TRS/SK90/2.57.trs 0.0 0.0 0.006 0.013 60.0 0.0 0.003 0.003
TRS/SK90/2.58.trs 0.001 0.0 0.034 0.037 60.0 0.0 0.004 0.0
TRS/SK90/2.59.trs 0.0 0.0 0.0 0.005 6.125 0.0 0.0 0.001
problem t e s nv g c r *
TRS/SK90/2.60.trs 0.005 0.0 0.017 0.009 60.0 0.009 0.0 0.0
TRS/SK90/2.61.trs 0.006 0.0 0.287 4.836 60.0 13.107 0.0 0.5
TRS/SK90/4.01.trs 0.002 0.0 0.003 0.024 60.0 0.0 0.0 0.0
TRS/SK90/4.02.trs 0.0 0.0 0.328 1.788 60.0 0.002 0.003 0.022
TRS/SK90/4.03.trs 0.0 0.0 0.101 0.233 60.0 0.0 0.0 0.0
TRS/SK90/4.04.trs 0.0 0.0 0.064 0.064 60.0 0.0 0.0 0.0
TRS/SK90/4.05.trs 0.0 0.0 0.013 0.031 60.0 0.0 0.0 0.0
TRS/SK90/4.06.trs 0.0 0.0 0.11 0.229 60.0 0.0 0.0 0.0
TRS/SK90/4.07.trs 0.0 0.0 0.003 0.005 60.0 0.0 0.0 0.0
TRS/SK90/4.08.trs 0.0 0.0 0.0 0.0 2.159 0.0 0.0 0.0
TRS/SK90/4.09.trs 0.0 0.0 0.088 0.161 60.0 0.0 0.0 0.015
TRS/SK90/4.10.trs 0.002 0.015 0.008 0.028 60.0 0.0 0.0 0.0
TRS/SK90/4.11.trs 0.0 0.0 0.017 0.005 60.0 0.0 0.0 0.0
TRS/SK90/4.12.trs 0.0 0.0 0.0 0.002 60.0 0.0 0.0 0.0
TRS/SK90/4.13.trs 0.0 0.0 0.006 0.016 60.0 0.0 0.0 0.0
TRS/SK90/4.14.trs 0.0 0.0 0.283 0.674 60.0 0.0 0.0 0.0
TRS/SK90/4.15.trs 0.0 0.0 0.01 0.013 60.0 0.0 0.008 0.0
TRS/SK90/4.16.trs 0.0 0.0 0.025 0.014 60.0 0.0 0.0 0.0
TRS/SK90/4.17.trs 0.0 0.0 0.004 0.006 60.0 0.0 0.0 0.0
TRS/SK90/4.18.trs 0.0 0.0 0.018 0.013 60.0 0.0 0.0 0.0
TRS/SK90/4.19.trs 0.0 0.0 0.009 0.009 60.0 0.0 0.0 0.0
TRS/SK90/4.20.trs 0.0 0.0 0.119 0.199 60.0 0.0 0.0 0.0
TRS/SK90/4.21.trs 0.0 0.0 0.089 0.185 60.0 0.0 0.0 0.0
TRS/SK90/4.22.trs 0.0 0.0 0.021 0.005 60.0 0.0 0.0 0.0
TRS/SK90/4.23.trs 0.0 0.0 0.094 0.067 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/SK90/4.24.trs 0.0 0.0 0.045 0.029 60.0 0.0 0.0 0.0
TRS/SK90/4.25.trs 0.0 0.0 0.011 0.021 60.0 0.0 0.0 0.0
TRS/SK90/4.26.trs 0.0 0.0 0.07 0.101 60.0 0.0 0.0 0.0
TRS/SK90/4.27.trs 0.0 0.0 0.042 0.013 60.0 0.0 60.0 0.0
TRS/SK90/4.28.trs 0.0 0.0 0.214 7.079 60.0 0.0 0.0 0.0
TRS/SK90/4.29.trs 0.002 0.0 0.008 0.007 60.0 0.0 0.004 0.0
TRS/SK90/4.30.trs 0.0 0.0 0.056 0.024 60.0 0.0 0.0 0.0
TRS/SK90/4.31.trs 0.0 0.0 0.007 0.029 60.0 0.0 0.0 0.0
TRS/SK90/4.32.trs 0.0 0.0 0.099 0.279 60.0 0.0 60.0 0.492
TRS/SK90/4.33.trs 0.0 0.0 0.0 0.0 0.055 0.0 0.0 0.0
TRS/SK90/4.34.trs 0.0 0.0 0.0 0.0 0.068 0.0 0.005 0.0
TRS/SK90/4.35.trs 0.0 0.0 0.0 0.0 0.036 0.0 0.0 0.0
TRS/SK90/4.36.trs 0.0 0.0 0.0 0.0 0.03 0.0 0.0 0.0
TRS/SK90/4.37.trs 0.0 0.0 0.0 0.003 0.0 0.003 0.0 0.0
TRS/SK90/4.38.trs 0.0 0.0 0.0 0.008 60.0 0.0 0.0 0.0
TRS/SK90/4.39.trs 0.001 0.0 0.04 0.007 60.0 0.0 0.0 0.0
TRS/SK90/4.40.trs 0.0 0.0 0.118 0.077 60.0 0.0 0.0 0.0
TRS/SK90/4.41.trs 0.0 0.0 0.0 0.015 0.066 0.0 0.0 0.0
TRS/SK90/4.42.trs 0.0 0.0 0.11 0.177 60.0 0.0 0.0 0.0
TRS/SK90/4.43.trs 0.0 0.0 0.107 0.126 60.0 0.0 0.0 0.0
TRS/SK90/4.44.trs 0.0 0.0 0.032 0.0 0.404 0.0 0.0 0.0
TRS/SK90/4.45.trs 0.0 0.0 0.0 0.004 0.204 0.0 0.0 0.0
TRS/SK90/4.46.trs 0.0 0.0 0.0 0.013 0.0 0.0 0.0 0.0
TRS/SK90/4.47.trs 0.0 0.0 0.03 0.001 60.0 0.0 0.0 0.0
TRS/SK90/4.48.trs 0.0 0.0 0.017 0.039 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.003 0.004 60.0 0.0 0.0 0.0
TRS/SK90/4.50.trs 0.0 0.0 0.0 0.003 7.668 0.0 0.0 0.0
TRS/SK90/4.51.trs 0.0 0.0 0.013 0.007 60.0 0.005 0.0 0.0
TRS/SK90/4.52.trs 0.0 0.0 0.072 0.124 60.0 0.0 0.0 0.0
TRS/SK90/4.53.trs 0.0 0.0 0.037 0.027 60.0 0.0 0.0 0.0
TRS/SK90/4.54.trs 0.0 0.0 0.007 0.026 60.0 0.0 0.003 0.0
TRS/SK90/4.55.trs 0.001 0.0 0.002 0.003 0.127 0.0 0.0 0.0
TRS/SK90/4.56.trs 0.0 0.0 0.002 0.002 4.743 0.0 0.0 0.0
TRS/SK90/4.57.trs 0.0 0.0 1.927 14.629 60.0 0.0 0.0 0.0
TRS/SK90/4.59.trs 0.0 0.0 0.082 0.041 60.0 0.0 0.0 0.0
TRS/SK90/4.60.trs 0.0 0.0 0.088 0.379 60.0 0.0 0.0 0.0
TRS/SK90/4.61.trs 0.0 0.0 0.34 6.308 60.0 0.0 0.0 0.0
TRS/Ste92/hydra.trs 0.0 0.0 0.419 0.49 60.0 0.0 0.0 0.0
TRS/Ste92/minsort.trs 0.0 0.0 1.087 11.444 60.0 0.0 0.0 0.0
TRS/Ste92/motivation.trs 0.0 0.0 0.01 0.009 60.0 0.0 0.0 0.0
TRS/Ste92/perfect2.trs 0.0 0.0 7.084 60.0 60.0 0.0 0.002 0.0
TRS/Ste92/perfect.trs 0.0 0.014 0.49 4.386 60.0 0.0 0.0 0.0
TRS/Thiemann/div_notCeTermin.trs 0.0 0.0 5.348 60.0 60.0 0.0 0.0 0.0
TRS/Thiemann/div_notTermin.trs 0.0 0.0 8.882 60.0 60.0 0.0 0.0 0.0
TRS/Thiemann/factorial1.trs 0.0 0.0 0.42 0.651 60.0 0.0 0.0 0.0
TRS/Thiemann/factorial2.trs 0.0 0.0 2.638 42.803 60.0 0.0 0.0 0.0
TRS/Thiemann/identity.trs 0.002 0.0 0.146 0.117 60.0 0.0 60.0 0.491
TRS/Thiemann/logarithm.trs 0.0 0.0 3.079 60.0 60.0 0.014 0.0 0.0
TRS/Thiemann/mapHard.trs 0.007 0.0 60.0 60.0 60.0 30.406 29.247 0.004
TRS/Thiemann/modulo.trs 0.001 0.0 15.183 60.0 60.0 60.0 60.0 0.985
problem t e s nv g c r *
TRS/Thiemann/nonterm.trs 0.0 0.0 9.524 60.0 60.0 60.0 60.0 1.02
TRS/Thiemann/quicksort.trs 0.05 0.014 21.363 60.0 60.0 0.0 0.0 0.0
TRS/Thiemann/quot.trs 0.0 0.0 1.378 60.0 60.0 40.0 41.192 0.984
TRS/Thiemann/sizeChange.trs 0.0 0.0 0.852 0.803 60.0 0.0 0.0 0.0
TRS/Thiemann/tower_sizeChange.trs 0.0 0.0 0.348 0.309 60.0 0.0 60.0 0.492
TRS/Thiemann/tower.trs 0.0 0.0 1.041 4.872 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_2_AEL03_C.trs 0.129 0.14 60.0 60.0 60.0 0.216 0.219 0.498
TRS/TRCSR/Ex1_2_AEL03_FR.trs 0.0 0.0 4.795 4.678 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_2_AEL03_GM.trs 0.067 0.035 30.001 60.0 60.0 0.037 0.038 0.092
TRS/TRCSR/Ex1_2_AEL03_iGM.trs 0.149 0.159 60.0 60.0 60.0 0.16 0.155 0.345
TRS/TRCSR/Ex1_2_AEL03_Z.trs 0.002 0.0 1.223 2.51 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_2_Luc02c_C.trs 0.002 0.0 3.654 8.175 60.0 0.002 0.002 0.022
TRS/TRCSR/Ex1_2_Luc02c_FR.trs 0.0 0.0 0.142 0.161 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_2_Luc02c_GM.trs 0.0 0.0 0.078 0.05 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_2_Luc02c_iGM.trs 0.004 0.0 2.562 4.417 60.0 0.0 0.0 0.003
TRS/TRCSR/Ex1_2_Luc02c_Z.trs 0.0 0.0 0.074 0.058 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex14_AEGL02_C.trs 0.005 0.0 6.715 8.76 60.0 0.006 0.006 0.032
TRS/TRCSR/Ex14_AEGL02_FR.trs 0.0 0.0 0.454 0.412 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex14_AEGL02_GM.trs 0.0 0.0 0.284 0.083 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex14_AEGL02_iGM.trs 0.006 0.0 5.534 8.847 60.0 0.037 0.038 0.067
TRS/TRCSR/Ex14_AEGL02_L.trs 0.0 0.0 0.0 0.014 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex14_AEGL02_Z.trs 0.0 0.0 0.224 0.206 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex14_Luc06_C.trs 0.001 0.0 4.106 18.881 60.0 0.044 0.046 0.097
TRS/TRCSR/Ex14_Luc06_FR.trs 0.0 0.0 0.039 0.02 60.0 0.001 0.014 0.013
TRS/TRCSR/Ex14_Luc06_GM.trs 0.0 0.0 0.873 1.918 60.0 0.019 0.02 0.074
problem t e s nv g c r *
TRS/TRCSR/Ex14_Luc06_iGM.trs 0.007 0.0 3.485 3.324 60.0 0.18 0.321 0.585
TRS/TRCSR/Ex14_Luc06_L.trs 0.018 0.0 0.059 0.031 0.014 0.012 0.0 0.0
TRS/TRCSR/Ex14_Luc06_Z.trs 0.009 0.0 0.089 0.064 60.0 0.003 0.003 0.015
TRS/TRCSR/Ex15_Luc06_C.trs 0.007 0.009 0.611 0.377 60.0 0.006 0.026 0.022
TRS/TRCSR/Ex15_Luc06_FR.trs 0.016 0.0 0.123 0.069 60.0 0.0 0.005 0.001
TRS/TRCSR/Ex15_Luc06_GM.trs 0.027 0.0 0.04 0.014 56.064 0.0 0.0 0.0
TRS/TRCSR/Ex15_Luc06_iGM.trs 0.0 0.0 0.118 0.066 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex15_Luc06_L.trs 0.001 0.0 0.0 0.0 0.0 0.0 0.003 0.0
TRS/TRCSR/Ex15_Luc06_Z.trs 0.0 0.0 0.073 0.01 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex15_Luc98_C.trs 0.041 0.011 60.0 60.0 60.0 0.036 0.036 0.098
TRS/TRCSR/Ex15_Luc98_FR.trs 0.0 0.0 0.947 0.809 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex15_Luc98_GM.trs 0.003 0.0 1.757 1.081 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex15_Luc98_iGM.trs 0.05 0.026 60.0 60.0 60.0 0.034 0.033 0.085
TRS/TRCSR/Ex15_Luc98_Z.trs 0.0 0.0 0.813 0.556 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex16_Luc06_C.trs 0.0 0.0 0.516 1.058 60.0 0.022 0.014 0.02
TRS/TRCSR/Ex16_Luc06_FR.trs 0.0 0.0 0.0 0.0 0.143 0.0 0.0 0.0
TRS/TRCSR/Ex16_Luc06_GM.trs 0.0 0.0 0.059 0.028 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex16_Luc06_iGM.trs 0.0 0.0 0.18 0.188 60.0 0.013 0.007 0.0
TRS/TRCSR/Ex16_Luc06_L.trs 0.0 0.0 0.0 0.011 0.0 0.0 0.003 0.0
TRS/TRCSR/Ex16_Luc06_Z.trs 0.0 0.0 0.017 0.006 0.115 0.0 0.0 0.0
TRS/TRCSR/Ex18_Luc06_C.trs 0.0 0.0 0.262 0.144 60.0 0.0 0.0 0.001
TRS/TRCSR/Ex18_Luc06_FR.trs 0.0 0.0 0.037 0.01 4.469 0.0 0.0 0.0
TRS/TRCSR/Ex18_Luc06_GM.trs 0.0 0.0 0.016 0.004 60.0 0.016 0.015 0.015
TRS/TRCSR/Ex18_Luc06_iGM.trs 0.039 0.0 0.54 0.414 60.0 0.015 0.04 0.051
TRS/TRCSR/Ex18_Luc06_L.trs 0.04 0.003 0.025 0.012 0.053 0.001 0.029 0.015
problem t e s nv g c r *
TRS/TRCSR/Ex18_Luc06_Z.trs 0.013 0.0 0.018 0.008 0.537 0.0 0.0 0.0
TRS/TRCSR/Ex1_GL02a_C.trs 0.014 0.0 31.341 60.0 60.0 0.023 0.021 0.062
TRS/TRCSR/Ex1_GL02a_FR.trs 0.0 0.0 1.175 0.448 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GL02a_GM.trs 0.0 0.0 0.848 0.13 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GL02a_iGM.trs 0.045 0.007 49.939 60.0 60.0 0.024 0.023 0.054
TRS/TRCSR/Ex1_GL02a_L.trs 0.0 0.0 0.012 0.0 0.04 0.0 0.0 0.0
TRS/TRCSR/Ex1_GL02a_Z.trs 0.0 0.0 0.968 0.288 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM03_C.trs 0.01 0.028 60.0 60.0 60.0 0.03 0.031 0.078
TRS/TRCSR/Ex1_GM03_FR.trs 0.0 0.0 1.544 9.927 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM03_GM.trs 0.0 0.0 6.616 60.0 60.0 0.0 0.0 0.006
TRS/TRCSR/Ex1_GM03_iGM.trs 0.046 0.013 60.0 60.0 60.0 0.023 0.024 0.059
TRS/TRCSR/Ex1_GM03_Z.trs 0.0 0.0 0.475 4.581 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM99_C.trs 0.018 0.004 3.317 17.786 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM99_FR.trs 0.0 0.0 0.082 0.257 17.717 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM99_GM.trs 0.0 0.0 0.159 0.863 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM99_iGM.trs 0.0 0.0 6.652 21.598 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_GM99_L.trs 0.003 0.0 0.0 0.004 0.0 0.012 0.0 0.002
TRS/TRCSR/Ex1_GM99_Z.trs 0.0 0.0 0.095 0.264 18.016 0.0 0.0 0.0
TRS/TRCSR/Ex1_Luc02b_C.trs 0.029 0.009 29.349 60.0 60.0 0.124 0.037 0.079
TRS/TRCSR/Ex1_Luc02b_FR.trs 0.0 0.0 0.272 0.183 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Luc02b_GM.trs 0.002 0.0 0.696 1.72 60.0 0.091 0.092 0.033
TRS/TRCSR/Ex1_Luc02b_iGM.trs 0.03 0.133 22.445 38.528 60.0 0.023 0.023 0.053
TRS/TRCSR/Ex1_Luc02b_Z.trs 0.0 0.0 0.07 0.095 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Luc04b_C.trs 0.006 0.004 22.487 3.32 60.0 0.028 0.349 0.381
TRS/TRCSR/Ex1_Luc04b_FR.trs 0.0 0.0 0.292 0.134 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/TRCSR/Ex1_Luc04b_GM.trs 0.001 0.0 1.354 0.778 60.0 0.0 0.075 0.063
TRS/TRCSR/Ex1_Luc04b_iGM.trs 0.012 0.014 13.476 11.205 60.0 0.023 0.563 0.523
TRS/TRCSR/Ex1_Luc04b_Z.trs 0.005 0.0 0.138 0.061 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_C.trs 0.006 0.0 0.255 0.123 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_FR.trs 0.0 0.0 0.08 0.025 0.056 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_GM.trs 0.0 0.0 0.101 0.021 19.384 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_iGM.trs 0.011 0.0 0.296 0.17 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_L.trs 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex1_Zan97_Z.trs 0.0 0.0 0.079 0.031 0.054 0.0 0.002 0.0
TRS/TRCSR/Ex23_Luc06_C.trs 0.003 0.0 0.843 0.442 60.0 0.0 0.01 0.015
TRS/TRCSR/Ex23_Luc06_FR.trs 0.0 0.001 0.076 0.017 22.843 0.0 0.0 0.0
TRS/TRCSR/Ex23_Luc06_GM.trs 0.0 0.0 0.017 0.0 60.0 0.0 0.002 0.0
TRS/TRCSR/Ex23_Luc06_iGM.trs 0.028 0.0 0.368 0.17 60.0 0.0 0.007 0.008
TRS/TRCSR/Ex23_Luc06_L.trs 0.0 0.0 0.003 0.0 0.002 0.0 0.002 0.003
TRS/TRCSR/Ex23_Luc06_Z.trs 0.0 0.0 0.0 0.006 0.121 0.0 0.0 0.002
TRS/TRCSR/Ex24_GM04_C.trs 0.003 0.0 3.82 60.0 60.0 0.033 0.033 0.08
TRS/TRCSR/Ex24_GM04_FR.trs 0.0 0.0 0.053 0.22 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex24_GM04_GM.trs 0.0 0.0 0.308 4.004 60.0 0.0 0.004 0.001
TRS/TRCSR/Ex24_GM04_iGM.trs 0.0 0.0 9.116 32.609 60.0 0.368 0.368 0.734
TRS/TRCSR/Ex24_GM04_L.trs 0.0 0.0 0.0 0.004 0.0 0.002 0.0 0.0
TRS/TRCSR/Ex24_GM04_Z.trs 0.0 0.0 0.042 0.21 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex24_Luc06_C.trs 0.001 0.0 1.029 15.035 60.0 0.0 0.002 0.001
TRS/TRCSR/Ex24_Luc06_FR.trs 0.0 0.0 0.077 0.206 17.387 0.0 0.0 0.0
TRS/TRCSR/Ex24_Luc06_GM.trs 0.0 0.0 0.103 0.495 60.0 0.0 0.001 0.0
TRS/TRCSR/Ex24_Luc06_iGM.trs 0.0 0.0 3.209 10.879 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.002
TRS/TRCSR/Ex24_Luc06_Z.trs 0.0 0.0 0.071 0.209 17.585 0.0 0.0 0.0
TRS/TRCSR/Ex25_Luc06_C.trs 0.002 0.0 2.465 0.854 60.0 0.01 60.0 0.508
TRS/TRCSR/Ex25_Luc06_FR.trs 0.0 0.0 0.147 0.05 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex25_Luc06_GM.trs 0.0 0.0 0.148 0.045 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex25_Luc06_iGM.trs 0.006 0.0 1.797 0.891 60.0 0.034 0.15 0.13
TRS/TRCSR/Ex25_Luc06_L.trs 0.009 0.016 0.014 0.004 0.005 0.004 0.0 0.0
TRS/TRCSR/Ex25_Luc06_Z.trs 0.022 0.001 0.179 0.101 60.0 0.001 0.004 0.006
TRS/TRCSR/Ex26_Luc03b_C.trs 0.103 0.165 60.0 60.0 60.0 0.232 0.238 0.52
TRS/TRCSR/Ex26_Luc03b_FR.trs 0.001 0.001 3.322 7.536 60.0 0.0 0.002 0.01
TRS/TRCSR/Ex26_Luc03b_GM.trs 0.0 0.0 2.254 1.023 60.0 0.001 0.0 0.009
TRS/TRCSR/Ex26_Luc03b_iGM.trs 0.063 0.051 60.0 60.0 60.0 0.064 0.066 0.128
TRS/TRCSR/Ex26_Luc03b_L.trs 0.0 0.0 0.017 0.014 0.453 0.0 0.0 0.0
TRS/TRCSR/Ex26_Luc03b_Z.trs 0.001 0.0 2.364 6.383 60.0 0.109 0.053 0.023
TRS/TRCSR/Ex2_Luc02a_C.trs 0.116 0.171 60.0 60.0 60.0 0.256 0.137 0.211
TRS/TRCSR/Ex2_Luc02a_FR.trs 0.001 0.0 1.303 1.925 60.0 0.0 0.0 0.001
TRS/TRCSR/Ex2_Luc02a_GM.trs 0.003 0.006 4.721 24.391 60.0 0.07 0.072 0.029
TRS/TRCSR/Ex2_Luc02a_iGM.trs 0.061 0.056 60.0 60.0 60.0 0.069 0.07 0.144
TRS/TRCSR/Ex2_Luc02a_L.trs 0.0 0.0 0.201 0.182 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex2_Luc02a_Z.trs 0.005 0.0 0.623 1.136 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex2_Luc03b_C.trs 0.032 0.007 49.46 60.0 60.0 0.043 0.044 0.152
TRS/TRCSR/Ex2_Luc03b_FR.trs 0.002 0.0 1.035 0.535 60.0 0.0 0.0 0.003
TRS/TRCSR/Ex2_Luc03b_GM.trs 0.003 0.0 0.82 0.477 60.0 0.0 0.0 0.004
TRS/TRCSR/Ex2_Luc03b_iGM.trs 0.08 0.145 44.271 60.0 60.0 0.113 0.084 0.07
TRS/TRCSR/Ex2_Luc03b_L.trs 0.0 0.0 0.003 0.0 0.013 0.0 0.002 0.0
problem t e s nv g c r *
TRS/TRCSR/Ex2_Luc03b_Z.trs 0.009 0.0 0.427 0.172 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex3_12_Luc96a_C.trs 0.005 0.0 7.423 35.167 60.0 0.026 0.008 0.043
TRS/TRCSR/Ex3_12_Luc96a_FR.trs 0.0 0.0 0.079 0.048 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex3_12_Luc96a_GM.trs 0.001 0.0 0.142 0.162 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex3_12_Luc96a_iGM.trs 0.0 0.0 4.159 4.652 60.0 0.04 0.043 0.074
TRS/TRCSR/Ex3_12_Luc96a_Z.trs 0.006 0.001 0.064 0.048 60.0 0.0 0.001 0.002
TRS/TRCSR/Ex3_2_Luc97_C.trs 0.075 0.064 50.364 60.0 60.0 0.064 0.032 0.108
TRS/TRCSR/Ex3_2_Luc97_FR.trs 0.0 0.0 2.489 1.712 60.0 0.0 0.002 0.032
TRS/TRCSR/Ex3_2_Luc97_GM.trs 0.007 0.0 1.484 0.783 60.0 0.0 0.0 0.008
TRS/TRCSR/Ex3_2_Luc97_iGM.trs 0.032 0.028 60.0 60.0 60.0 0.073 0.076 0.176
TRS/TRCSR/Ex3_2_Luc97_Z.trs 0.004 0.0 3.404 1.025 60.0 0.0 0.0 0.001
TRS/TRCSR/Ex3_3_25_Bor03_C.trs 0.041 0.017 59.902 60.0 60.0 0.067 0.054 0.124
TRS/TRCSR/Ex3_3_25_Bor03_FR.trs 0.002 0.0 1.452 0.723 60.0 0.0 0.0 0.004
TRS/TRCSR/Ex3_3_25_Bor03_GM.trs 0.004 0.0 0.955 0.775 60.0 0.0 0.0 0.008
TRS/TRCSR/Ex3_3_25_Bor03_iGM.trs 0.004 0.02 60.0 60.0 60.0 0.038 0.049 0.085
TRS/TRCSR/Ex3_3_25_Bor03_L.trs 0.0 0.0 0.014 0.0 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex3_3_25_Bor03_Z.trs 0.0 0.0 0.515 0.214 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_C.trs 0.0 0.0 0.584 1.746 60.0 0.0 0.0 0.007
TRS/TRCSR/Ex4_4_Luc96b_FR.trs 0.0 0.003 0.077 0.053 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_GM.trs 0.0 0.0 0.028 0.036 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_iGM.trs 0.0 0.0 0.19 0.447 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_L.trs 0.015 0.0 0.008 0.002 0.023 0.005 0.0 0.0
TRS/TRCSR/Ex4_4_Luc96b_Z.trs 0.019 0.007 0.056 0.053 60.0 0.0 0.0 0.005
TRS/TRCSR/Ex4_7_15_Bor03_C.trs 0.03 0.016 7.548 1.711 60.0 0.045 0.048 0.058
TRS/TRCSR/Ex4_7_15_Bor03_FR.trs 0.0 0.0 0.146 0.055 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/TRCSR/Ex4_7_15_Bor03_GM.trs 0.006 0.0 0.133 0.061 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_15_Bor03_iGM.trs 0.006 0.001 2.124 1.0 60.0 0.008 0.112 0.113
TRS/TRCSR/Ex4_7_15_Bor03_L.trs 0.0 0.0 0.012 0.013 0.445 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_15_Bor03_Z.trs 0.0 0.0 0.037 0.006 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_37_Bor03_C.trs 0.017 0.046 60.0 60.0 60.0 0.089 0.09 0.202
TRS/TRCSR/Ex4_7_37_Bor03_FR.trs 0.0 0.0 1.492 2.986 60.0 0.0 0.0 0.002
TRS/TRCSR/Ex4_7_37_Bor03_GM.trs 0.008 0.009 5.683 40.043 60.0 0.092 0.092 0.127
TRS/TRCSR/Ex4_7_37_Bor03_iGM.trs 0.087 0.086 60.0 60.0 60.0 0.065 0.064 0.137
TRS/TRCSR/Ex4_7_37_Bor03_Z.trs 0.004 0.0 0.707 1.891 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_56_Bor03_C.trs 0.007 0.0 8.578 33.838 60.0 0.099 0.094 0.041
TRS/TRCSR/Ex4_7_56_Bor03_FR.trs 0.0 0.0 0.075 0.044 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_56_Bor03_GM.trs 0.0 0.0 0.176 0.161 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_56_Bor03_iGM.trs 0.009 0.0 4.096 4.547 60.0 0.009 0.009 0.023
TRS/TRCSR/Ex4_7_56_Bor03_Z.trs 0.0 0.0 0.037 0.027 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_77_Bor03_C.trs 0.0 0.0 0.681 0.312 60.0 0.0 0.033 0.023
TRS/TRCSR/Ex4_7_77_Bor03_FR.trs 0.012 0.005 0.044 0.02 0.309 0.0 0.0 0.001
TRS/TRCSR/Ex4_7_77_Bor03_GM.trs 0.017 0.0 0.111 0.084 60.0 0.0 0.024 0.037
TRS/TRCSR/Ex4_7_77_Bor03_iGM.trs 0.034 0.004 0.958 0.652 60.0 0.065 0.083 0.09
TRS/TRCSR/Ex4_7_77_Bor03_Z.trs 0.01 0.013 0.054 0.025 0.303 0.0 0.0 0.0
TRS/TRCSR/Ex49_GM04_C.trs 0.052 0.128 60.0 60.0 60.0 0.066 0.024 0.058
TRS/TRCSR/Ex49_GM04_FR.trs 0.001 0.0 3.004 58.934 60.0 0.0 0.0 0.005
TRS/TRCSR/Ex49_GM04_GM.trs 0.0 0.0 8.165 60.0 60.0 0.014 0.012 0.025
TRS/TRCSR/Ex49_GM04_iGM.trs 0.077 0.065 60.0 60.0 60.0 0.084 0.086 0.163
TRS/TRCSR/Ex49_GM04_Z.trs 0.005 0.012 1.486 16.271 60.0 0.0 0.0 0.002
TRS/TRCSR/Ex4_DLMMU04_C.trs 0.037 0.102 60.0 60.0 60.0 0.165 0.17 0.385
problem t e s nv g c r *
TRS/TRCSR/Ex4_DLMMU04_FR.trs 0.01 0.006 60.0 60.0 60.0 0.021 0.021 0.122
TRS/TRCSR/Ex4_DLMMU04_GM.trs 0.009 0.013 60.0 60.0 60.0 0.029 0.029 0.073
TRS/TRCSR/Ex4_DLMMU04_iGM.trs 0.142 0.186 60.0 60.0 60.0 0.186 0.412 0.946
TRS/TRCSR/Ex4_DLMMU04_Z.trs 0.042 0.023 60.0 60.0 60.0 0.129 0.055 0.157
TRS/TRCSR/Ex4_Zan97_C.trs 0.006 0.005 18.338 60.0 60.0 0.059 0.058 0.139
TRS/TRCSR/Ex4_Zan97_FR.trs 0.015 0.0 0.347 0.179 60.0 0.0 0.0 0.015
TRS/TRCSR/Ex4_Zan97_GM.trs 0.02 0.0 0.923 1.013 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_Zan97_iGM.trs 0.003 0.01 9.83 17.667 60.0 0.02 0.098 0.047
TRS/TRCSR/Ex4_Zan97_Z.trs 0.0 0.0 0.089 0.048 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex5_7_Luc97_C.trs 0.057 0.078 60.0 60.0 60.0 0.138 0.18 0.333
TRS/TRCSR/Ex5_7_Luc97_FR.trs 0.004 0.0 8.944 11.437 60.0 0.01 0.078 0.028
TRS/TRCSR/Ex5_7_Luc97_GM.trs 0.01 0.044 14.915 16.623 60.0 0.103 0.103 0.049
TRS/TRCSR/Ex5_7_Luc97_iGM.trs 0.054 0.141 60.0 60.0 60.0 0.135 0.131 0.306
TRS/TRCSR/Ex5_7_Luc97_Z.trs 0.003 0.0 7.648 4.852 60.0 0.003 0.003 0.014
TRS/TRCSR/Ex5_DLMMU04_C.trs 0.032 0.052 60.0 60.0 60.0 0.103 0.177 0.587
TRS/TRCSR/Ex5_DLMMU04_FR.trs 0.059 0.025 7.11 16.329 60.0 0.013 0.003 0.103
TRS/TRCSR/Ex5_DLMMU04_GM.trs 0.016 0.004 6.015 2.814 60.0 0.01 0.009 0.109
TRS/TRCSR/Ex5_DLMMU04_iGM.trs 0.035 0.144 60.0 60.0 60.0 0.088 0.087 0.178
TRS/TRCSR/Ex5_DLMMU04_Z.trs 0.011 0.005 6.27 12.677 60.0 0.0 0.0 0.001
TRS/TRCSR/Ex5_Zan97_C.trs 0.001 0.0 1.668 0.634 60.0 0.005 60.0 0.502
TRS/TRCSR/Ex5_Zan97_FR.trs 0.003 0.0 0.089 0.049 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex5_Zan97_GM.trs 0.0 0.0 0.173 0.114 60.0 0.0 0.005 0.007
TRS/TRCSR/Ex5_Zan97_iGM.trs 0.003 0.0 1.069 0.828 60.0 0.003 0.148 0.146
TRS/TRCSR/Ex5_Zan97_Z.trs 0.0 0.003 0.036 0.023 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_15_AEL02_C.trs 0.15 0.23 60.0 60.0 60.0 0.312 0.309 0.712
problem t e s nv g c r *
TRS/TRCSR/Ex6_15_AEL02_FR.trs 0.014 0.0 29.527 60.0 60.0 0.016 0.025 0.111
TRS/TRCSR/Ex6_15_AEL02_GM.trs 0.04 0.151 53.857 23.974 60.0 0.059 0.06 0.152
TRS/TRCSR/Ex6_15_AEL02_iGM.trs 0.206 0.335 60.0 60.0 60.0 0.254 0.253 0.602
TRS/TRCSR/Ex6_15_AEL02_Z.trs 0.024 0.006 25.701 60.0 60.0 0.0 0.0 0.015
TRS/TRCSR/Ex6_9_Luc02c_C.trs 0.006 0.0 16.027 60.0 60.0 0.016 0.016 0.052
TRS/TRCSR/Ex6_9_Luc02c_FR.trs 0.0 0.0 0.087 0.055 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_9_Luc02c_GM.trs 0.0 0.0 0.154 0.282 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_9_Luc02c_iGM.trs 0.006 0.0 4.384 7.785 60.0 0.004 0.005 0.031
TRS/TRCSR/Ex6_9_Luc02c_Z.trs 0.0 0.0 0.02 0.024 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_C.trs 0.0 0.0 0.167 0.11 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_FR.trs 0.0 0.0 0.056 0.016 0.629 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_GM.trs 0.0 0.0 0.033 0.008 1.664 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_iGM.trs 0.0 0.0 0.156 0.093 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_L.trs 0.0 0.0 0.0 0.004 0.0 0.002 0.0 0.0
TRS/TRCSR/Ex6_GM04_Z.trs 0.0 0.0 0.045 0.016 0.624 0.0 0.0 0.0
TRS/TRCSR/Ex6_Luc98_C.trs 0.005 0.0 8.398 43.406 60.0 0.009 0.009 0.041
TRS/TRCSR/Ex6_Luc98_FR.trs 0.0 0.0 0.187 0.054 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_Luc98_GM.trs 0.0 0.0 0.142 0.067 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_Luc98_iGM.trs 0.005 0.0 6.471 14.172 60.0 0.002 0.002 0.017
TRS/TRCSR/Ex6_Luc98_L.trs 0.005 0.0 0.022 0.002 0.006 0.006 0.0 0.0
TRS/TRCSR/Ex6_Luc98_Z.trs 0.0 0.0 0.066 0.004 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex7_BLR02_C.trs 0.008 0.016 60.0 60.0 60.0 0.123 0.118 0.272
TRS/TRCSR/Ex7_BLR02_FR.trs 0.003 0.0 0.817 0.808 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex7_BLR02_GM.trs 0.04 0.0 1.77 2.62 60.0 0.0 0.0 0.012
TRS/TRCSR/Ex7_BLR02_iGM.trs 0.05 0.024 54.561 60.0 60.0 0.035 0.035 0.211
problem t e s nv g c r *
TRS/TRCSR/Ex7_BLR02_Z.trs 0.019 0.0 0.38 0.39 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex8_BLR02_C.trs 0.073 0.074 57.434 60.0 60.0 0.045 0.046 0.116
TRS/TRCSR/Ex8_BLR02_FR.trs 0.0 0.0 0.238 0.261 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex8_BLR02_GM.trs 0.001 0.0 1.137 2.309 60.0 0.0 0.0 0.011
TRS/TRCSR/Ex8_BLR02_iGM.trs 0.044 0.019 60.0 60.0 60.0 0.028 0.028 0.075
TRS/TRCSR/Ex8_BLR02_Z.trs 0.0 0.0 0.121 0.101 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_BLR02_C.trs 0.042 0.01 60.0 60.0 60.0 0.044 0.046 0.106
TRS/TRCSR/Ex9_BLR02_FR.trs 0.0 0.0 0.876 0.482 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_BLR02_GM.trs 0.0 0.0 0.968 0.628 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_BLR02_iGM.trs 0.047 0.015 60.0 60.0 60.0 0.033 0.114 0.207
TRS/TRCSR/Ex9_BLR02_L.trs 0.016 0.0 0.054 0.03 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_BLR02_Z.trs 0.007 0.0 9.76 60.0 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_C.trs 0.0 0.0 2.212 60.0 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_FR.trs 0.0 0.0 0.045 0.099 16.811 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_GM.trs 0.001 0.0 0.174 0.875 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_iGM.trs 0.0 0.0 4.8 19.134 60.0 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_L.trs 0.0 0.0 0.0 0.012 0.002 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc04_Z.trs 0.0 0.0 0.045 0.097 20.129 0.0 0.0 0.0
TRS/TRCSR/Ex9_Luc06_C.trs 0.0 0.0 1.983 25.652 60.0 0.041 0.008 0.059
TRS/TRCSR/Ex9_Luc06_FR.trs 0.0 0.0 0.054 0.056 60.0 0.033 0.0 0.044
TRS/TRCSR/Ex9_Luc06_GM.trs 0.0 0.0 0.078 0.329 60.0 0.067 0.0 0.084
TRS/TRCSR/Ex9_Luc06_iGM.trs 0.0 0.0 0.597 1.716 60.0 0.416 60.0 0.501
TRS/TRCSR/Ex9_Luc06_L.trs 0.0 0.0 0.0 0.0 0.0 0.003 0.0 0.0
TRS/TRCSR/Ex9_Luc06_Z.trs 0.0 0.0 0.056 0.059 60.0 0.033 0.0 0.046
TRS/TRCSR/ExAppendixB_AEL03_C.trs 0.16 0.18 60.0 60.0 60.0 0.269 0.264 0.609
problem t e s nv g c r *
TRS/TRCSR/ExAppendixB_AEL03_FR.trs 0.0 0.0 2.065 11.068 60.0 0.0 0.0 0.0
TRS/TRCSR/ExAppendixB_AEL03_GM.trs 0.042 0.053 44.784 60.0 60.0 0.174 0.175 0.346
TRS/TRCSR/ExAppendixB_AEL03_iGM.trs 0.169 0.224 60.0 60.0 60.0 0.205 0.2 0.438
TRS/TRCSR/ExAppendixB_AEL03_Z.trs 0.0 0.0 1.374 4.558 60.0 0.0 0.0 0.0
TRS/TRCSR/ExConc_Zan97_C.trs 0.0 0.0 0.564 0.279 60.0 0.0 0.002 0.007
TRS/TRCSR/ExConc_Zan97_FR.trs 0.001 0.0 0.014 0.017 1.994 0.0 0.0 0.0
TRS/TRCSR/ExConc_Zan97_GM.trs 0.0 0.0 0.012 0.005 5.108 0.0 0.0 0.0
TRS/TRCSR/ExConc_Zan97_iGM.trs 0.0 0.0 0.194 0.11 60.0 0.0 0.0 0.001
TRS/TRCSR/ExConc_Zan97_L.trs 0.0 0.0 0.0 0.0 0.003 0.0 0.003 0.0
TRS/TRCSR/ExConc_Zan97_Z.trs 0.0 0.009 0.0 0.015 0.026 0.0 0.0 0.0
TRS/TRCSR/ExIntrod_GM01_C.trs 0.018 0.001 42.25 5.471 60.0 0.029 60.0 0.54
TRS/TRCSR/ExIntrod_GM01_FR.trs 0.0 0.0 0.394 0.232 60.0 0.0 0.0 0.0
TRS/TRCSR/ExIntrod_GM01_GM.trs 0.0 0.0 2.217 1.369 60.0 0.0 0.109 0.122
TRS/TRCSR/ExIntrod_GM01_iGM.trs 0.045 0.011 22.791 28.53 60.0 0.027 1.554 0.54
TRS/TRCSR/ExIntrod_GM01_Z.trs 0.0 0.0 0.35 0.158 60.0 0.0 0.0 0.0
TRS/TRCSR/ExIntrod_GM04_C.trs 0.007 0.0 15.848 3.034 60.0 0.018 60.0 0.523
TRS/TRCSR/ExIntrod_GM04_FR.trs 0.008 0.009 1.666 0.928 60.0 0.0 0.035 0.049
TRS/TRCSR/ExIntrod_GM04_GM.trs 0.01 0.016 2.594 0.663 60.0 0.0 0.051 0.055
TRS/TRCSR/ExIntrod_GM04_iGM.trs 0.01 0.007 11.68 11.803 60.0 0.014 0.359 0.35
TRS/TRCSR/ExIntrod_GM04_Z.trs 0.01 0.0 1.567 0.747 60.0 0.0 0.014 0.022
TRS/TRCSR/ExIntrod_GM99_C.trs 0.142 0.167 60.0 60.0 60.0 0.324 0.117 0.265
TRS/TRCSR/ExIntrod_GM99_FR.trs 0.0 0.0 5.188 31.639 60.0 0.0 0.0 0.0
TRS/TRCSR/ExIntrod_GM99_GM.trs 0.01 0.002 60.0 60.0 60.0 0.006 0.006 0.025
TRS/TRCSR/ExIntrod_GM99_iGM.trs 0.09 0.077 60.0 60.0 60.0 0.086 0.087 0.194
TRS/TRCSR/ExIntrod_GM99_Z.trs 0.0 0.0 2.992 12.266 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/TRCSR/ExIntrod_Zan97_C.trs 0.044 0.024 60.0 60.0 60.0 0.062 0.062 0.155
TRS/TRCSR/ExIntrod_Zan97_FR.trs 0.0 0.0 3.593 17.324 60.0 0.0 0.0 0.0
TRS/TRCSR/ExIntrod_Zan97_GM.trs 0.011 0.0 22.886 60.0 60.0 0.002 0.001 0.022
TRS/TRCSR/ExIntrod_Zan97_iGM.trs 0.07 0.039 60.0 60.0 60.0 0.05 0.049 0.121
TRS/TRCSR/ExIntrod_Zan97_Z.trs 0.0 0.0 1.035 5.151 60.0 0.0 0.0 0.0
TRS/TRCSR/ExProp7_Luc06_C.trs 0.0 0.0 5.035 1.675 60.0 0.01 0.053 0.065
TRS/TRCSR/ExProp7_Luc06_FR.trs 0.0 0.0 0.174 0.054 60.0 0.0 0.0 0.0
TRS/TRCSR/ExProp7_Luc06_GM.trs 0.0 0.0 0.147 0.121 60.0 0.0 0.0 0.0
TRS/TRCSR/ExProp7_Luc06_iGM.trs 0.005 0.0 1.979 3.139 60.0 0.029 0.302 0.307
TRS/TRCSR/ExProp7_Luc06_L.trs 0.019 0.001 0.049 0.015 2.193 0.0 0.0 0.0
TRS/TRCSR/ExProp7_Luc06_Z.trs 0.0 0.0 0.028 0.023 60.0 0.0 0.0 0.0
TRS/TRCSR/ExSec11_1_Luc02a_C.trs 0.061 0.052 60.0 60.0 60.0 0.112 0.111 0.265
TRS/TRCSR/ExSec11_1_Luc02a_FR.trs 0.0 0.0 2.38 5.812 60.0 0.0 0.0 0.0
TRS/TRCSR/ExSec11_1_Luc02a_GM.trs 0.043 0.004 11.39 56.451 60.0 0.007 0.008 0.034
TRS/TRCSR/ExSec11_1_Luc02a_iGM.trs 0.095 0.084 60.0 60.0 60.0 0.085 0.086 0.194
TRS/TRCSR/ExSec11_1_Luc02a_L.trs 0.0 0.0 0.36 0.909 60.0 0.0 0.0 0.0
TRS/TRCSR/ExSec11_1_Luc02a_Z.trs 0.0 0.0 1.413 4.028 60.0 0.0 0.0 0.0
TRS/TRCSR/ExSec4_2_DLMMU04_C.trs 0.144 0.177 60.0 60.0 60.0 0.543 0.654 1.463
TRS/TRCSR/ExSec4_2_DLMMU04_FR.trs 0.0 0.0 12.774 60.0 60.0 0.0 0.0 0.0
TRS/TRCSR/ExSec4_2_DLMMU04_GM.trs 0.084 0.053 60.0 60.0 60.0 0.057 0.057 0.141
TRS/TRCSR/ExSec4_2_DLMMU04_iGM.trs 0.161 0.208 60.0 60.0 60.0 0.19 0.179 0.412
TRS/TRCSR/ExSec4_2_DLMMU04_Z.trs 0.0 0.0 10.487 60.0 60.0 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_complete_C.trs 0.26 0.517 60.0 60.0 60.0 0.645 0.649 1.494
TRS/TRCSR/LengthOfFiniteLists_complete_FR.trs 0.043 0.01 60.0 60.0 60.0 0.07 0.07 0.175
TRS/TRCSR/LengthOfFiniteLists_complete_GM.trs 0.161 0.228 60.0 60.0 60.0 0.332 0.318 0.709
problem t e s nv g c r *
TRS/TRCSR/LengthOfFiniteLists_complete_iGM.trs 0.994 0.962 60.0 60.0 60.0 0.58 0.579 1.33
TRS/TRCSR/LengthOfFiniteLists_complete_noand_C.trs 1.532 3.407 60.0 60.0 60.0 2.982 5.583 2.948
TRS/TRCSR/LengthOfFiniteLists_complete-noand_FR.trs 0.053 0.022 60.0 60.0 60.0 0.118 0.125 0.26
TRS/TRCSR/LengthOfFiniteLists_complete_noand_GM.trs 0.225 0.377 60.0 60.0 60.0 0.378 0.388 0.864
TRS/TRCSR/LengthOfFiniteLists_complete_noand_iGM.trs 1.955 4.66 60.0 60.0 60.0 3.034 2.12 2.772
TRS/TRCSR/LengthOfFiniteLists_complete-noand_Z.trs 0.077 0.014 60.0 60.0 60.0 0.113 0.104 0.236
TRS/TRCSR/LengthOfFiniteLists_complete_Z.trs 0.005 0.002 60.0 60.0 60.0 0.059 0.059 0.142
TRS/TRCSR/LengthOfFiniteLists_nokinds_C.trs 0.045 0.013 60.0 60.0 60.0 0.053 0.054 0.127
TRS/TRCSR/LengthOfFiniteLists_nokinds_FR.trs 0.005 0.0 16.331 22.504 60.0 0.006 0.006 0.027
TRS/TRCSR/LengthOfFiniteLists_nokinds_GM.trs 0.0 0.0 10.977 28.092 60.0 0.0 0.0 0.014
TRS/TRCSR/LengthOfFiniteLists_nokinds_iGM.trs 0.067 0.046 60.0 60.0 60.0 0.058 0.059 0.13
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_C.trs 0.128 0.141 60.0 60.0 60.0 0.241 0.235 0.534
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_FR.trs 0.005 0.0 23.387 60.0 60.0 0.007 0.008 0.039
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_GM.trs 0.008 0.02 60.0 60.0 60.0 0.017 0.018 0.06
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_iGM.trs 0.186 0.261 60.0 60.0 60.0 0.218 0.213 0.513
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_Z.trs 0.005 0.0 21.135 60.0 60.0 0.004 0.004 0.024
TRS/TRCSR/LengthOfFiniteLists_nokinds_Z.trs 0.004 0.0 11.565 20.701 60.0 0.003 0.001 0.022
TRS/TRCSR/LengthOfFiniteLists_nosorts_C.trs 0.0 0.0 8.596 4.096 60.0 0.005 0.048 0.068
TRS/TRCSR/LengthOfFiniteLists_nosorts_FR.trs 0.0 0.0 0.048 0.022 60.0 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_GM.trs 0.014 0.0 0.795 0.414 60.0 0.0 0.016 0.019
TRS/TRCSR/LengthOfFiniteLists_nosorts_iGM.trs 0.03 0.0 6.193 3.699 60.0 0.019 0.193 0.368
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_C.trs 0.042 0.028 18.869 3.503 60.0 0.018 0.083 0.105
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR.trs 0.0 0.0 0.092 0.025 60.0 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_GM.trs 0.0 0.0 0.785 0.204 60.0 0.0 0.001 0.007
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_iGM.trs 0.005 0.003 16.63 8.214 60.0 0.014 0.512 0.274
problem t e s nv g c r *
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_Z.trs 0.0 0.0 0.114 0.024 60.0 0.0 0.0 0.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_Z.trs 0.0 0.0 0.054 0.015 60.0 0.0 0.0 0.0
TRS/TRCSR/LISTUTILITIES_complete_C.trs 9.829 21.313 60.0 60.0 60.0 18.268 16.674 8.998
TRS/TRCSR/LISTUTILITIES_complete_FR.trs 0.397 0.545 60.0 60.0 60.0 1.128 1.129 2.288
TRS/TRCSR/LISTUTILITIES_complete_GM.trs 2.148 3.661 60.0 60.0 60.0 3.735 3.73 5.298
TRS/TRCSR/LISTUTILITIES_complete_iGM.trs 11.927 32.355 60.0 60.0 60.0 9.058 8.934 10.831
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 0.871 1.412 60.0 60.0 60.0 3.181 3.178 3.576
TRS/TRCSR/LISTUTILITIES_complete_noand_GM.trs 30.08 44.896 60.0 60.0 60.0 39.302 37.641 32.495
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 0.501 0.77 60.0 60.0 60.0 2.739 2.488 2.403
TRS/TRCSR/LISTUTILITIES_complete_Z.trs 0.203 0.278 60.0 60.0 60.0 0.839 0.828 1.276
TRS/TRCSR/LISTUTILITIES_nokinds_C.trs 0.81 1.764 60.0 60.0 60.0 1.708 1.667 2.226
TRS/TRCSR/LISTUTILITIES_nokinds_FR.trs 0.188 0.173 60.0 60.0 60.0 0.286 0.293 0.578
TRS/TRCSR/LISTUTILITIES_nokinds_GM.trs 0.573 1.028 60.0 60.0 60.0 1.178 0.55 0.966
TRS/TRCSR/LISTUTILITIES_nokinds_iGM.trs 0.976 2.659 60.0 60.0 60.0 1.204 1.184 1.929
TRS/TRCSR/LISTUTILITIES_nokinds_noand_C.trs 5.326 11.262 60.0 60.0 60.0 9.111 9.162 6.622
TRS/TRCSR/LISTUTILITIES_nokinds-noand_FR.trs 0.244 0.289 60.0 60.0 60.0 0.48 0.492 0.973
TRS/TRCSR/LISTUTILITIES_nokinds_noand_GM.trs 1.285 2.359 60.0 60.0 60.0 1.939 1.944 2.709
TRS/TRCSR/LISTUTILITIES_nokinds_noand_iGM.trs 8.015 14.937 60.0 60.0 60.0 5.803 5.832 10.512
TRS/TRCSR/LISTUTILITIES_nokinds-noand_Z.trs 0.141 0.121 60.0 60.0 60.0 0.334 0.472 0.709
TRS/TRCSR/LISTUTILITIES_nokinds_Z.trs 0.069 0.055 60.0 60.0 60.0 0.174 0.172 0.369
TRS/TRCSR/LISTUTILITIES_nosorts_C.trs 0.176 0.27 60.0 60.0 60.0 0.338 0.347 0.792
TRS/TRCSR/LISTUTILITIES_nosorts_FR.trs 0.0 0.0 1.283 1.87 60.0 0.0 0.0 0.0
TRS/TRCSR/LISTUTILITIES_nosorts_GM.trs 0.209 0.238 36.168 53.367 60.0 0.083 0.083 0.194
problem t e s nv g c r *
TRS/TRCSR/LISTUTILITIES_nosorts_iGM.trs 0.202 0.323 60.0 60.0 60.0 0.262 0.257 0.595
TRS/TRCSR/LISTUTILITIES_nosorts_noand_C.trs 1.269 2.51 60.0 60.0 60.0 2.281 2.29 4.27
TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR.trs 0.004 0.0 32.657 60.0 60.0 0.085 0.02 0.056
TRS/TRCSR/LISTUTILITIES_nosorts_noand_GM.trs 0.396 0.557 60.0 60.0 60.0 0.5 0.496 0.974
TRS/TRCSR/LISTUTILITIES_nosorts_noand_iGM.trs 1.091 2.813 60.0 60.0 60.0 1.481 1.527 2.245
TRS/TRCSR/LISTUTILITIES_nosorts-noand_Z.trs 0.001 0.0 27.232 60.0 60.0 0.056 0.059 0.121
TRS/TRCSR/LISTUTILITIES_nosorts_Z.trs 0.014 0.0 1.9 2.234 60.0 0.0 0.0 0.0
TRS/TRCSR/MYNAT_complete_C.trs 0.245 0.483 60.0 60.0 60.0 0.572 0.566 1.288
TRS/TRCSR/MYNAT_complete_FR.trs 0.041 0.019 60.0 60.0 60.0 0.073 0.072 0.171
TRS/TRCSR/MYNAT_complete_GM.trs 0.109 0.087 60.0 60.0 60.0 0.128 0.129 0.309
TRS/TRCSR/MYNAT_complete_iGM.trs 0.327 0.776 60.0 60.0 60.0 0.481 0.462 1.189
TRS/TRCSR/MYNAT_complete_noand_C.trs 2.37 8.762 60.0 60.0 60.0 4.127 4.151 3.766
TRS/TRCSR/MYNAT_complete-noand_FR.trs 0.089 0.044 60.0 60.0 60.0 0.141 0.141 0.301
TRS/TRCSR/MYNAT_complete_noand_GM.trs 0.687 1.61 60.0 60.0 60.0 1.359 0.597 1.266
TRS/TRCSR/MYNAT_complete_noand_iGM.trs 2.306 5.613 60.0 60.0 60.0 2.579 2.583 6.079
TRS/TRCSR/MYNAT_complete-noand_Z.trs 0.061 0.026 60.0 60.0 60.0 0.118 0.119 0.261
TRS/TRCSR/MYNAT_complete_Z.trs 0.046 0.007 60.0 60.0 60.0 0.053 0.054 0.129
TRS/TRCSR/MYNAT_nokinds_C.trs 0.086 0.07 60.0 60.0 60.0 0.123 0.119 0.274
TRS/TRCSR/MYNAT_nokinds_FR.trs 0.01 0.0 11.746 60.0 60.0 0.008 0.007 0.033
TRS/TRCSR/MYNAT_nokinds_GM.trs 0.047 0.005 60.0 60.0 60.0 0.016 0.016 0.055
TRS/TRCSR/MYNAT_nokinds_iGM.trs 0.102 0.119 60.0 60.0 60.0 0.099 0.1 0.242
TRS/TRCSR/MYNAT_nokinds_noand_C.trs 0.187 0.261 60.0 60.0 60.0 0.341 0.342 0.786
TRS/TRCSR/MYNAT_nokinds-noand_FR.trs 0.041 0.029 21.374 60.0 60.0 0.016 0.016 0.052
TRS/TRCSR/MYNAT_nokinds_noand_GM.trs 0.103 0.042 60.0 60.0 60.0 0.057 0.047 0.129
TRS/TRCSR/MYNAT_nokinds_noand_iGM.trs 0.231 0.371 60.0 60.0 60.0 0.275 0.276 0.694
problem t e s nv g c r *
TRS/TRCSR/MYNAT_nokinds-noand_Z.trs 0.072 0.0 17.753 60.0 60.0 0.009 0.009 0.039
TRS/TRCSR/MYNAT_nokinds_Z.trs 0.041 0.0 14.438 60.0 60.0 0.002 0.002 0.02
TRS/TRCSR/MYNAT_nosorts_C.trs 0.039 0.0 15.376 60.0 60.0 0.014 0.014 0.049
TRS/TRCSR/MYNAT_nosorts_FR.trs 0.038 0.0 0.058 0.051 60.0 0.0 0.0 0.0
TRS/TRCSR/MYNAT_nosorts_GM.trs 0.025 0.0 0.776 2.922 60.0 0.0 0.0 0.0
TRS/TRCSR/MYNAT_nosorts_iGM.trs 0.05 0.002 16.713 17.695 60.0 0.006 0.007 0.026
TRS/TRCSR/MYNAT_nosorts_noand_C.trs 0.069 0.038 60.0 60.0 60.0 0.072 0.073 0.165
TRS/TRCSR/MYNAT_nosorts-noand_FR.trs 0.034 0.0 0.595 2.34 60.0 0.0 0.0 0.0
TRS/TRCSR/MYNAT_nosorts_noand_GM.trs 0.173 0.0 59.665 60.0 60.0 0.001 0.001 0.02
TRS/TRCSR/MYNAT_nosorts_noand_iGM.trs 0.102 0.054 60.0 60.0 60.0 0.061 0.06 0.142
TRS/TRCSR/MYNAT_nosorts-noand_Z.trs 0.026 0.0 0.607 2.379 60.0 0.0 0.0 0.0
TRS/TRCSR/MYNAT_nosorts_Z.trs 0.002 0.0 0.072 0.058 60.0 0.0 0.0 0.0
TRS/TRCSR/OvConsOS_complete_C.trs 0.602 1.389 60.0 60.0 60.0 2.507 1.51 2.004
TRS/TRCSR/OvConsOS_complete_FR.trs 0.081 0.043 60.0 60.0 60.0 0.201 0.205 0.443
TRS/TRCSR/OvConsOS_complete_GM.trs 0.189 0.215 60.0 60.0 60.0 0.3 0.298 0.652
TRS/TRCSR/OvConsOS_complete_iGM.trs 0.959 2.402 60.0 60.0 60.0 1.186 2.977 1.861
TRS/TRCSR/OvConsOS_complete_noand_C.trs 8.113 18.739 60.0 60.0 60.0 12.138 11.729 10.858
TRS/TRCSR/OvConsOS_complete-noand_FR.trs 0.135 0.101 60.0 60.0 60.0 0.324 0.328 0.68
TRS/TRCSR/OvConsOS_complete_noand_GM.trs 0.836 1.595 60.0 60.0 60.0 1.39 1.385 3.377
TRS/TRCSR/OvConsOS_complete_noand_iGM.trs 7.353 20.465 60.0 60.0 60.0 6.201 10.12 7.087
TRS/TRCSR/OvConsOS_complete-noand_Z.trs 0.115 0.068 60.0 60.0 60.0 0.29 0.288 0.609
TRS/TRCSR/OvConsOS_complete_Z.trs 0.054 0.024 60.0 60.0 60.0 0.159 0.17 0.349
TRS/TRCSR/OvConsOS_nokinds_C.trs 0.102 0.083 60.0 60.0 60.0 0.165 0.159 0.364
TRS/TRCSR/OvConsOS_nokinds_FR.trs 0.041 0.007 60.0 60.0 60.0 0.046 0.042 0.099
TRS/TRCSR/OvConsOS_nokinds_GM.trs 0.033 0.003 60.0 60.0 60.0 0.02 0.02 0.063
problem t e s nv g c r *
TRS/TRCSR/OvConsOS_nokinds_iGM.trs 0.142 0.18 60.0 60.0 60.0 0.157 0.158 0.372
TRS/TRCSR/OvConsOS_nokinds_noand_C.trs 0.699 1.172 60.0 60.0 60.0 0.746 0.774 1.664
TRS/TRCSR/OvConsOS_nokinds-noand_FR.trs 0.076 0.01 60.0 60.0 60.0 0.045 0.046 0.116
TRS/TRCSR/OvConsOS_nokinds_noand_GM.trs 0.108 0.089 60.0 60.0 60.0 0.088 0.087 0.224
TRS/TRCSR/OvConsOS_nokinds_noand_iGM.trs 0.472 1.016 60.0 60.0 60.0 0.635 0.628 1.385
TRS/TRCSR/OvConsOS_nokinds-noand_Z.trs 0.076 0.001 60.0 60.0 60.0 0.035 0.035 0.09
TRS/TRCSR/OvConsOS_nokinds_Z.trs 0.052 0.0 60.0 60.0 60.0 0.028 0.026 0.077
TRS/TRCSR/OvConsOS_nosorts_C.trs 0.01 0.0 26.445 4.764 60.0 0.023 60.0 0.535
TRS/TRCSR/OvConsOS_nosorts_FR.trs 0.069 0.0 0.168 0.088 60.0 0.0 0.004 0.0
TRS/TRCSR/OvConsOS_nosorts_GM.trs 0.045 0.0 0.902 0.507 60.0 0.0 0.018 0.028
TRS/TRCSR/OvConsOS_nosorts_iGM.trs 0.043 0.006 18.398 12.048 60.0 0.018 1.186 0.52
TRS/TRCSR/OvConsOS_nosorts_noand_C.trs 0.12 0.076 60.0 51.697 60.0 0.123 0.549 0.613
TRS/TRCSR/OvConsOS_nosorts-noand_FR.trs 0.037 0.0 1.046 0.597 60.0 0.01 0.108 0.123
TRS/TRCSR/OvConsOS_nosorts_noand_GM.trs 0.045 0.026 10.58 1.416 60.0 0.003 0.082 0.111
TRS/TRCSR/OvConsOS_nosorts_noand_iGM.trs 0.129 0.115 60.0 60.0 60.0 0.114 60.0 0.696
TRS/TRCSR/OvConsOS_nosorts-noand_Z.trs 0.028 0.0 0.858 0.457 60.0 0.0 0.01 0.015
TRS/TRCSR/OvConsOS_nosorts_Z.trs 0.023 0.0 0.155 0.058 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_complete_C.trs 0.377 0.867 60.0 60.0 60.0 60.0 60.0 1.786
TRS/TRCSR/PALINDROME_complete_FR.trs 0.118 0.01 60.0 60.0 60.0 60.0 60.0 1.012
TRS/TRCSR/PALINDROME_complete_GM.trs 0.142 0.163 60.0 60.0 60.0 60.0 60.0 1.165
TRS/TRCSR/PALINDROME_complete_iGM.trs 0.828 1.694 60.0 60.0 60.0 60.0 60.0 3.344
TRS/TRCSR/PALINDROME_complete_noand_C.trs 2.717 5.886 60.0 60.0 60.0 54.87 58.584 4.128
TRS/TRCSR/PALINDROME_complete-noand_FR.trs 0.052 0.027 60.0 60.0 60.0 60.0 60.0 1.028
TRS/TRCSR/PALINDROME_complete_noand_GM.trs 0.388 0.767 60.0 60.0 60.0 60.0 60.0 1.781
TRS/TRCSR/PALINDROME_complete_noand_iGM.trs 4.15 8.293 60.0 60.0 60.0 60.0 60.0 5.053
problem t e s nv g c r *
TRS/TRCSR/PALINDROME_complete-noand_L.trs 0.037 0.0 60.0 31.37 60.0 0.05 0.196 0.252
TRS/TRCSR/PALINDROME_complete-noand_Z.trs 0.05 0.021 60.0 60.0 60.0 60.0 60.0 1.026
TRS/TRCSR/PALINDROME_complete_Z.trs 0.013 0.004 60.0 60.0 60.0 60.0 60.0 1.004
TRS/TRCSR/PALINDROME_nokinds_C.trs 0.293 0.013 60.0 60.0 60.0 0.88 0.247 0.755
TRS/TRCSR/PALINDROME_nokinds_FR.trs 0.034 0.0 24.784 47.656 60.0 10.9 0.663 1.019
TRS/TRCSR/PALINDROME_nokinds_GM.trs 0.042 0.019 17.27 27.622 60.0 13.746 0.153 0.658
TRS/TRCSR/PALINDROME_nokinds_iGM.trs 0.103 0.057 60.0 60.0 60.0 60.0 60.0 1.056
TRS/TRCSR/PALINDROME_nokinds_noand_C.trs 0.165 0.232 60.0 60.0 60.0 1.477 1.72 1.223
TRS/TRCSR/PALINDROME_nokinds-noand_FR.trs 0.039 0.0 49.332 60.0 60.0 2.039 0.362 0.874
TRS/TRCSR/PALINDROME_nokinds_noand_GM.trs 0.115 0.079 60.0 60.0 60.0 19.292 1.207 1.048
TRS/TRCSR/PALINDROME_nokinds_noand_iGM.trs 0.329 0.516 60.0 60.0 60.0 60.0 60.0 1.504
TRS/TRCSR/PALINDROME_nokinds-noand_L.trs 0.035 0.0 3.533 1.52 60.0 0.0 0.01 0.016
TRS/TRCSR/PALINDROME_nokinds-noand_Z.trs 0.039 0.0 41.985 60.0 60.0 1.968 0.303 0.818
TRS/TRCSR/PALINDROME_nokinds_Z.trs 0.043 0.011 23.518 39.707 60.0 10.327 0.202 0.71
TRS/TRCSR/PALINDROME_nosorts_C.trs 0.091 0.008 6.915 1.322 60.0 0.082 0.092 0.179
TRS/TRCSR/PALINDROME_nosorts_FR.trs 0.001 0.0 0.017 0.038 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts_GM.trs 0.035 0.0 0.308 0.655 60.0 11.962 0.016 0.52
TRS/TRCSR/PALINDROME_nosorts_iGM.trs 0.078 0.0 2.469 3.456 60.0 60.0 4.946 0.993
TRS/TRCSR/PALINDROME_nosorts_noand_C.trs 0.04 0.019 15.878 60.0 60.0 0.102 0.098 0.206
TRS/TRCSR/PALINDROME_nosorts-noand_FR.trs 0.071 0.0 0.031 0.045 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts_noand_GM.trs 0.002 0.0 0.747 2.19 60.0 12.24 0.032 0.536
TRS/TRCSR/PALINDROME_nosorts_noand_iGM.trs 0.084 0.0 4.284 10.787 60.0 60.0 5.839 0.995
TRS/TRCSR/PALINDROME_nosorts-noand_L.trs 0.065 0.0 0.038 0.031 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts-noand_Z.trs 0.038 0.0 0.064 0.051 60.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts_Z.trs 0.001 0.0 0.022 0.039 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/TRCSR/PEANO_complete_C.trs 0.13 0.12 60.0 60.0 60.0 0.198 0.203 0.456
TRS/TRCSR/PEANO_complete_FR.trs 0.01 0.0 54.771 60.0 60.0 0.019 0.026 0.061
TRS/TRCSR/PEANO_complete_GM.trs 0.053 0.013 60.0 60.0 60.0 0.042 0.036 0.101
TRS/TRCSR/PEANO_complete_iGM.trs 0.153 0.204 60.0 60.0 60.0 0.167 0.169 0.687
TRS/TRCSR/PEANO_complete_noand_C.trs 0.979 0.837 60.0 60.0 60.0 0.895 0.872 1.845
TRS/TRCSR/PEANO_complete-noand_FR.trs 0.043 0.0 47.496 60.0 60.0 0.036 0.037 0.092
TRS/TRCSR/PEANO_complete_noand_GM.trs 0.134 0.102 60.0 60.0 60.0 0.119 0.119 0.292
TRS/TRCSR/PEANO_complete_noand_iGM.trs 0.488 1.107 60.0 60.0 60.0 0.667 0.656 1.496
TRS/TRCSR/PEANO_complete-noand_Z.trs 0.044 0.0 43.61 60.0 60.0 0.03 0.03 0.079
TRS/TRCSR/PEANO_complete_Z.trs 0.008 0.0 32.692 60.0 60.0 0.012 0.014 0.046
TRS/TRCSR/PEANO_nokinds_C.trs 0.044 0.01 60.0 60.0 60.0 0.039 0.042 0.105
TRS/TRCSR/PEANO_nokinds_FR.trs 0.042 0.0 2.498 16.823 60.0 0.0 0.0 0.005
TRS/TRCSR/PEANO_nokinds_GM.trs 0.082 0.0 11.044 60.0 60.0 0.0 0.0 0.011
TRS/TRCSR/PEANO_nokinds_iGM.trs 0.269 0.022 60.0 60.0 60.0 0.032 0.032 0.084
TRS/TRCSR/PEANO_nokinds_noand_C.trs 0.078 0.046 60.0 60.0 60.0 0.091 0.093 0.227
TRS/TRCSR/PEANO_nokinds-noand_FR.trs 0.027 0.0 3.095 55.931 60.0 0.0 0.0 0.008
TRS/TRCSR/PEANO_nokinds_noand_GM.trs 0.038 0.001 60.0 60.0 60.0 0.009 0.003 0.027
TRS/TRCSR/PEANO_nokinds_noand_iGM.trs 0.098 0.073 60.0 60.0 60.0 0.079 0.077 0.188
TRS/TRCSR/PEANO_nokinds-noand_Z.trs 0.006 0.0 3.244 56.127 60.0 0.0 0.0 0.003
TRS/TRCSR/PEANO_nokinds_Z.trs 0.371 0.0 2.291 13.473 60.0 0.012 0.011 0.032
TRS/TRCSR/PEANO_nosorts_C.trs 0.088 0.007 5.201 1.169 60.0 0.002 0.045 0.061
TRS/TRCSR/PEANO_nosorts_FR.trs 0.003 0.0 0.015 0.008 28.685 0.0 0.0 0.0
TRS/TRCSR/PEANO_nosorts_GM.trs 0.037 0.0 0.136 0.208 60.0 0.0 0.0 0.0
TRS/TRCSR/PEANO_nosorts_iGM.trs 0.007 0.0 1.57 1.445 60.0 0.0 0.667 0.497
TRS/TRCSR/PEANO_nosorts_noand_C.trs 0.039 0.0 9.213 6.336 60.0 0.014 0.118 0.137
problem t e s nv g c r *
TRS/TRCSR/PEANO_nosorts-noand_FR.trs 0.039 0.0 0.055 0.023 60.0 0.0 0.0 0.0
TRS/TRCSR/PEANO_nosorts_noand_GM.trs 0.025 0.0 0.379 0.24 60.0 0.0 0.003 0.007
TRS/TRCSR/PEANO_nosorts_noand_iGM.trs 0.048 0.001 8.44 5.698 60.0 0.013 14.44 0.519
TRS/TRCSR/PEANO_nosorts-noand_Z.trs 0.001 0.0 0.044 0.028 60.0 0.0 0.0 0.0
TRS/TRCSR/PEANO_nosorts_Z.trs 0.071 0.0 0.009 0.001 24.974 0.0 0.0 0.0
TRS/various/02.trs 0.035 0.0 0.006 0.006 7.603 0.0 0.0 0.0
TRS/various/03.trs 0.0 0.0 0.063 1.957 60.0 0.0 0.0 0.0
TRS/various/04.trs 0.004 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.0
TRS/various/06.trs 0.001 0.0 0.071 0.043 0.002 0.0 0.0 0.0
TRS/various/07.trs 0.002 0.0 0.0 0.012 0.0 0.0 0.0 0.0
TRS/various/08.trs 0.023 0.0 60.0 60.0 60.0 0.0 0.0 0.0
TRS/various/09.trs 0.007 0.0 0.505 0.567 60.0 0.001 0.0 0.0
TRS/various/10.trs 0.002 0.0 22.734 60.0 60.0 0.0 0.0 0.0
TRS/various/11.trs 0.0 0.0 0.024 0.037 60.0 0.0 0.0 0.0
TRS/various/12.trs 0.006 0.0 0.268 1.104 60.0 0.0 0.0 0.0
TRS/various/13.trs 0.002 0.0 1.267 11.201 60.0 0.0 0.0 0.0
TRS/various/14.trs 0.049 0.002 60.0 60.0 60.0 0.038 0.037 0.034
TRS/various/15.trs 0.0 0.0 0.0 0.003 1.618 0.0 0.0 0.0
TRS/various/18.trs 0.003 0.0 0.112 0.219 60.0 0.188 0.0 0.0
TRS/various/19.trs 0.006 0.0 0.18 1.168 60.0 0.012 0.013 0.043
TRS/various/20.trs 0.0 0.0 0.002 0.004 11.503 0.0 0.0 0.0
TRS/various/21.trs 0.088 0.005 7.241 60.0 60.0 0.042 1.076 0.497
TRS/various/22.trs 0.004 0.0 0.027 0.038 60.0 0.0 0.015 0.0
TRS/various/23.trs 0.026 0.0 0.038 0.034 60.0 0.057 0.0 0.022
problem t e s nv g c r *
TRS/various/24.trs 0.001 0.0 0.023 0.024 60.0 0.0 0.011 0.0
TRS/various/25.trs 0.0 0.0 0.014 0.008 0.295 0.0 0.0 0.0
TRS/various/26.trs 0.001 0.0 0.054 0.039 60.0 0.0 0.0 0.01
TRS/various/27.trs 0.002 0.0 0.0 0.0 60.0 0.0 0.004 0.0
TRS/Waldmann/jwaprove1.trs 0.024 0.001 0.009 0.0 60.0 60.0 60.0 0.0
TRS/Waldmann/jwaprove2.trs 0.022 0.0 0.016 0.0 60.0 60.0 60.0 0.0
TRS/Waldmann/jwcime1.trs 0.019 0.0 0.013 0.0 60.0 0.016 60.0 0.0
TRS/Waldmann/jwcime2.trs 0.012 0.0 0.004 0.0 60.0 0.0 0.0 0.0
TRS/Waldmann/jwmatchb1.trs 0.035 0.0 0.015 0.0 60.0 0.003 0.0 0.0
TRS/Waldmann/jwmatchb2.trs 0.011 0.0 0.005 0.002 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno1.trs 0.108 0.0 0.013 0.0 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno2.trs 0.001 0.0 0.014 0.0 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno3.trs 0.001 0.0 0.0 0.003 60.0 0.0 0.001 0.0
TRS/Waldmann/jwno4.trs 0.0 0.0 0.0 0.013 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno5.trs 0.005 0.0 0.0 0.003 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno6.trs 0.0 0.0 0.012 0.002 60.0 0.0 0.004 0.0
TRS/Waldmann/jwno7.trs 0.006 0.0 0.002 0.002 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno8.trs 0.002 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/Waldmann/jwno9.trs 0.006 0.0 0.003 0.006 60.0 0.0 0.0 0.0
TRS/Waldmann/jwteparla1.trs 0.006 0.0 0.006 0.006 60.0 0.0 0.0 0.0
TRS/Waldmann/jwteparla2.trs 0.002 0.0 0.012 0.0 60.0 0.0 0.0 0.0
TRS/Waldmann/jwtpa1.trs 0.001 0.0 0.015 0.0 60.0 0.0 0.0 0.01
TRS/Waldmann/jwtpa2.trs 0.001 0.0 0.0 0.001 60.0 60.0 60.0 0.006
TRS/Waldmann/jwttt.trs 0.006 0.0 0.0 0.001 60.0 60.0 60.0 0.0
TRS/Zantema06/beans.trs 0.041 0.0 0.043 0.066 60.0 0.0 0.332 0.049
problem t e s nv g c r *
TRS/Zantema06/gcdMinMax.trs 0.001 0.0 0.218 6.325 60.0 0.0 0.0 0.0
TRS/Zantema06/gcd.trs 0.001 0.0 0.2 6.399 60.0 0.0 0.0 0.003
TRS/Zantema06/hydra.trs 0.02 0.0 4.163 5.885 60.0 0.0 0.0 0.0
TRS/Zantema06/test1.trs 0.003 0.0 0.005 0.008 60.0 0.0 0.0 0.0
TRS/Zantema06/while2.trs 0.007 0.0 0.47 0.034 60.0 0.0 0.0 0.0
TRS/Zantema06/while.trs 0.0 0.0 0.07 0.075 60.0 0.0 0.0 0.0
TRS/Zantema/jw01.trs 0.041 0.0 0.013 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw02.trs 0.001 0.0 0.0 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw03.trs 0.0 0.0 0.0 0.002 60.0 0.0 0.0 0.0
TRS/Zantema/jw04.trs 0.008 0.003 0.013 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw05.trs 0.007 0.0 0.001 0.002 60.0 0.0 0.0 0.0
TRS/Zantema/jw06.trs 0.001 0.0 0.002 0.011 60.0 0.0 0.0 0.0
TRS/Zantema/jw07.trs 0.006 0.0 0.014 0.0 60.0 0.001 0.0 0.0
TRS/Zantema/jw08.trs 0.001 0.0 0.03 0.011 60.0 0.0 0.0 0.0
TRS/Zantema/jw09.trs 0.001 0.0 0.015 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw11.trs 0.001 0.0 0.008 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw12.trs 0.006 0.0 0.017 0.0 60.0 0.005 0.0 0.0
TRS/Zantema/jw13.trs 0.002 0.0 0.0 0.003 60.0 0.0 0.0 0.0
TRS/Zantema/jw14.trs 0.002 0.0 0.0 0.014 60.0 0.0 0.005 0.0
TRS/Zantema/jw15.trs 0.025 0.0 0.007 0.004 60.0 0.0 0.0 0.0
TRS/Zantema/jw16.trs 0.001 0.0 0.008 0.014 60.0 0.0 0.007 0.0
TRS/Zantema/jw17.trs 0.0 0.002 0.006 0.018 60.0 0.0 0.013 0.0
TRS/Zantema/jw18.trs 0.025 0.0 0.006 0.005 60.0 0.0 0.005 0.0
TRS/Zantema/jw19.trs 0.001 0.0 0.0 0.003 60.0 0.0 0.001 0.0
TRS/Zantema/jw20.trs 0.001 0.0 0.0 0.003 60.0 0.0 0.0 0.0
problem t e s nv g c r *
TRS/Zantema/jw21.trs 0.001 0.0 0.015 0.001 60.0 0.0 0.0 0.0
TRS/Zantema/jw22.trs 0.001 0.0 0.014 0.001 60.0 0.0 0.0 0.0
TRS/Zantema/jw23.trs 0.001 0.0 0.014 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw24.trs 0.001 0.01 0.014 0.0 60.0 0.0 0.001 0.0
TRS/Zantema/jw25.trs 0.001 0.0 0.012 0.003 60.0 0.0 0.001 0.0
TRS/Zantema/jw26.trs 0.007 0.011 0.013 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw27.trs 0.001 0.0 0.015 0.001 60.0 0.001 0.0 0.0
TRS/Zantema/jw28.trs 0.006 0.0 0.007 0.004 60.0 0.0 0.0 0.0
TRS/Zantema/jw29.trs 0.001 0.0 0.0 0.013 60.0 0.0 0.0 0.0
TRS/Zantema/jw30.trs 0.016 0.0 0.018 0.0 60.0 0.0 0.0 0.005
TRS/Zantema/jw31.trs 0.006 0.0 0.003 0.014 60.0 0.0 0.0 0.0
TRS/Zantema/jw32.trs 0.001 0.0 0.008 0.005 60.0 0.0 0.0 0.0
TRS/Zantema/jw33.trs 0.001 0.0 0.007 0.004 60.0 0.0 0.001 0.0
TRS/Zantema/jw34.trs 0.006 0.0 0.0 0.003 60.0 0.0 0.005 0.0
TRS/Zantema/jw35.trs 0.006 0.0 0.0 0.021 60.0 0.0 0.001 0.0
TRS/Zantema/jw36.trs 0.006 0.0 0.0 0.003 60.0 0.0 0.007 0.0
TRS/Zantema/jw37.trs 0.005 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.006 0.0
TRS/Zantema/jw39.trs 0.006 0.0 0.02 0.011 60.0 0.0 0.0 0.0
TRS/Zantema/jw40.trs 0.11 0.0 0.0 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw41.trs 0.045 0.0 0.008 0.0 60.0 0.0 0.0 0.0
TRS/Zantema/jw42.trs 0.018 0.0 0.003 0.005 60.0 0.0 0.001 0.0
TRS/Zantema/jw43.trs 0.0 0.0 0.0 0.014 60.0 0.0 0.005 0.0
TRS/Zantema/jw44.trs 0.009 0.0 0.012 0.003 60.0 0.0 60.0 0.0
TRS/Zantema/jw47.trs 0.032 0.0 0.012 0.0 60.0 0.0 60.0 0.0
problem t e s nv g c r *
TRS/Zantema/jw50.trs 0.0 0.0 0.012 0.0 60.0 0.0 0.006 0.0
TRS/Zantema/z01.trs 0.002 0.0 0.008 0.011 60.0 0.0 0.049 0.0
TRS/Zantema/z02.trs 0.006 0.0 0.016 0.003 60.0 0.0 0.0 0.0
TRS/Zantema/z03.trs 0.006 0.0 0.019 0.006 60.0 0.0 0.006 0.002
TRS/Zantema/z04.trs 0.031 0.0 0.038 0.007 60.0 0.0 0.002 0.0
TRS/Zantema/z05.trs 0.003 0.0 0.029 0.056 60.0 0.0 0.0 0.0
TRS/Zantema/z06.trs 0.006 0.0 0.01 0.013 60.0 0.0 0.0 0.0
TRS/Zantema/z07.trs 0.002 0.0 0.035 0.034 60.0 0.0 0.0 0.0
TRS/Zantema/z08.trs 0.0 0.0 0.015 0.001 60.0 0.0 0.0 0.0
TRS/Zantema/z09.trs 0.001 0.0 0.067 0.162 60.0 0.0 0.0 0.0
TRS/Zantema/z10.trs 0.001 0.0 0.074 0.125 60.0 0.0 0.0 0.0
TRS/Zantema/z11.trs 0.006 0.0 0.049 0.159 60.0 0.0 0.002 0.0
TRS/Zantema/z12.trs 0.006 0.0 0.021 0.037 60.0 0.0 0.0 0.0
TRS/Zantema/z13.trs 0.043 0.0 0.04 0.017 60.0 0.0 0.0 0.0
TRS/Zantema/z14.trs 0.001 0.0 0.013 0.022 60.0 0.0 0.0 0.0
TRS/Zantema/z15.trs 0.006 0.0 0.006 0.022 60.0 0.0 0.0 0.0
TRS/Zantema/z16.trs 0.001 0.0 0.018 0.018 60.0 0.0 0.001 0.0
TRS/Zantema/z17.trs 0.001 0.0 0.018 0.007 60.0 0.0 0.0 0.0
TRS/Zantema/z18.trs 0.001 0.0 0.006 0.018 60.0 0.0 0.0 0.0
TRS/Zantema/z19.trs 0.006 0.0 0.007 0.011 60.0 0.0 0.04 0.0
TRS/Zantema/z20.trs 0.001 0.0 0.022 0.024 60.0 0.0 60.0 0.0
TRS/Zantema/z21.trs 0.0 0.0 0.028 0.025 60.0 0.0 0.019 0.01
TRS/Zantema/z22.trs 0.001 0.0 0.024 0.011 60.0 0.0 0.119 0.057
TRS/Zantema/z23.trs 0.001 0.0 0.025 0.026 60.0 0.0 0.0 0.0
TRS/Zantema/z24.trs 0.006 0.0 0.065 0.113 60.0 0.0 0.009 0.003
problem t e s nv g c r *
TRS/Zantema/z25.trs 0.001 0.0 0.026 0.042 60.0 0.0 0.0 0.0
TRS/Zantema/z26.trs 0.002 0.0 0.029 0.028 60.0 0.0 60.0 0.0
TRS/Zantema/z27.trs 0.001 0.011 0.175 1.386 60.0 0.0 0.0 0.0
TRS/Zantema/z28.trs 0.034 0.0 0.045 0.025 60.0 0.0 0.0 0.0
TRS/Zantema/z29.trs 0.001 0.0 0.043 0.062 60.0 0.0 0.0 0.0
TRS/Zantema/z30.trs 0.033 0.0 0.018 0.048 60.0 0.0 1.228 0.2
Yes No Maybe Timeout