DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for TRSs

problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/AG01/#3.10 0.068 0.066 0.067 0.067 0.068 0.069 0.069 0.07 0.07
TRS/AG01/#3.12 0.01 0.01 0.008 0.007 0.005 0.006 0.007 0.007 0.015
TRS/AG01/#3.13 0.062 0.061 0.062 0.062 0.049 0.052 0.053 0.057 0.057
TRS/AG01/#3.14 0.012 0.012 0.013 0.013 0.014 0.014 0.015 0.015 0.016
TRS/AG01/#3.15 0.007 0.009 0.01 0.01 0.013 0.013 0.014 0.015 0.016
TRS/AG01/#3.16 0.012 0.012 0.012 0.012 0.0 0.0 0.0 0.0 0.06
TRS/AG01/#3.17a 0.037 0.038 0.039 0.039 0.04 0.04 0.041 0.041 0.042
TRS/AG01/#3.17 0.028 0.03 0.031 0.033 0.033 0.035 0.036 0.037 0.037
TRS/AG01/#3.18 0.024 0.024 0.024 0.012 0.014 0.014 0.016 0.018 0.019
TRS/AG01/#3.19 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AG01/#3.1 0.0 0.0 0.007 0.008 0.01 0.01 0.011 0.012 0.013
TRS/AG01/#3.21 0.013 60.0 60.0 0.017 0.039 60.0 60.0 0.015 0.0
TRS/AG01/#3.22 0.016 60.0 60.0 60.0 0.232 60.0 60.0 0.009 0.026
TRS/AG01/#3.23 0.006 0.006 0.006 0.007 0.007 0.007 0.007 0.0 0.0
TRS/AG01/#3.24 0.01 0.011 0.012 0.013 0.014 0.014 0.015 0.016 0.016
TRS/AG01/#3.26 0.0 0.0 0.0 0.0 0.004 0.005 0.007 0.006 0.007
TRS/AG01/#3.29 0.008 0.008 0.009 0.009 0.009 0.0 0.0 0.0 0.0
TRS/AG01/#3.2 0.008 0.01 0.01 0.011 0.012 0.013 0.014 0.014 0.015
TRS/AG01/#3.31 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.003
TRS/AG01/#3.33 0.005 0.006 0.006 0.008 0.007 0.007 0.008 0.0 0.0
TRS/AG01/#3.35 0.0 0.0 0.0 0.003 0.004 0.005 0.005 0.006 0.007
TRS/AG01/#3.36 0.021 0.0 0.0 0.01 0.011 0.013 0.014 0.015 0.016
TRS/AG01/#3.37 0.008 0.008 0.009 0.01 0.009 0.01 0.01 0.01 0.0
TRS/AG01/#3.38 0.012 0.013 0.014 0.015 0.016 0.017 0.017 0.018 0.018
TRS/AG01/#3.39 0.058 60.0 60.0 0.05 0.766 60.0 60.0 0.034 0.034
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/AG01/#3.40 0.067 60.0 60.0 60.0 6.232 60.0 60.0 60.0 0.094
TRS/AG01/#3.41 0.0 0.002 60.0 0.0 0.003 0.006 60.0 0.004 0.007
TRS/AG01/#3.42 0.002 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AG01/#3.47 0.0 0.0 0.0 0.004 0.004 0.005 0.007 0.007 0.007
TRS/AG01/#3.48 0.0 0.0 0.0 0.0 0.0 0.01 0.012 0.012 0.011
TRS/AG01/#3.49 0.038 0.038 0.038 0.025 0.029 0.029 0.031 0.032 0.032
TRS/AG01/#3.4 0.022 0.023 0.023 0.023 0.024 0.025 0.025 0.024 0.024
TRS/AG01/#3.51 0.0 0.0 0.0 0.0 0.004 0.005 0.005 0.006 0.007
TRS/AG01/#3.52 0.009 0.009 0.009 0.009 0.0 0.0 0.0 0.0 0.0
TRS/AG01/#3.53a 0.005 0.007 0.007 0.007 0.009 0.009 0.009 0.01 0.01
TRS/AG01/#3.53b 0.0 0.0 0.0 0.0 0.0 0.004 0.004 0.006 0.006
TRS/AG01/#3.53 0.083 0.084 0.072 0.074 0.076 0.078 0.078 0.079 0.08
TRS/AG01/#3.54 0.016 0.016 0.015 0.017 0.017 0.017 0.017 0.017 0.0
TRS/AG01/#3.55 0.11 0.12 0.12 0.12 0.1 0.1 0.1 0.073 0.073
TRS/AG01/#3.56 0.003 0.005 0.012 0.013 0.014 0.015 0.016 0.017 0.018
TRS/AG01/#3.57 0.091 0.066 0.079 0.08 0.081 0.083 0.084 0.085 0.086
TRS/AG01/#3.5a 0.032 0.032 0.032 0.033 0.033 0.033 0.02 0.023 0.024
TRS/AG01/#3.5b 0.034 0.034 0.035 0.037 0.036 0.038 0.037 0.039 0.039
TRS/AG01/#3.5 0.022 0.023 0.024 0.026 0.027 0.028 0.028 0.029 0.03
TRS/AG01/#3.6a 0.038 0.037 0.037 0.025 0.027 0.03 0.03 0.03 0.032
TRS/AG01/#3.6b 0.044 0.044 0.045 0.045 0.045 0.046 0.046 0.046 0.046
TRS/AG01/#3.6 0.029 0.031 0.032 0.032 0.033 0.035 0.035 0.037 0.037
TRS/AG01/#3.7 0.0 0.0 0.006 0.007 0.008 0.008 0.01 0.011 0.012
TRS/AG01/#3.8a 0.036 0.036 0.023 0.025 0.026 0.031 0.03 0.031 0.032
TRS/AG01/#3.8b 0.052 0.05 0.051 0.052 0.052 0.052 0.039 0.045 0.044
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/AG01/#4.30c 0.025 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/AAECC-ring 0.166 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/AAECC 0.04 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/fac 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/forward_instantiation2 0.0 0.034 0.021 60.0 60.0 0.036 0.023 60.0 60.0
TRS/AProVE/forward_instantiation 0.001 0.041 0.028 60.0 60.0 0.042 0.028 60.0 60.0
TRS/AProVE/IJCAR_12 0.027 0.029 0.03 0.031 0.032 0.032 0.033 0.033 0.034
TRS/AProVE/IJCAR_18 0.059 0.06 0.061 0.063 0.064 0.066 0.066 0.067 0.068
TRS/AProVE/IJCAR_1 0.0 0.0 0.009 0.01 0.011 0.012 0.013 0.014 0.015
TRS/AProVE/IJCAR_26a 0.11 60.0 60.0 0.12 0.14 60.0 60.0 0.073 0.11
TRS/AProVE/IJCAR_26 0.075 60.0 60.0 0.078 0.111 60.0 60.0 0.078 0.118
TRS/AProVE/improved_usable2 0.0 0.01 0.002 0.003 0.004 0.005 0.006 0.006 0.01
TRS/AProVE/improved_usable 0.0 0.0 0.005 0.007 0.008 0.009 0.009 0.01 0.011
TRS/AProVE/JFP_Ex31 0.036 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/JFP_Ex51 0.113 0.113 0.115 0.115 0.116 0.116 0.116 0.119 0.118
TRS/AProVE/Liveness6.1 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/Liveness6.2 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/Liveness6.3 0.033 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/Liveness6.4 0.027 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/Liveness8 0.046 0.046 0.047 0.046 0.034 0.036 0.038 0.039 0.04
TRS/AProVE/Liveness_WRS 0.089 60.0 1.516 60.0 0.456 60.0 0.095 60.0 0.098
TRS/AProVE/LPAR_intlist 0.006 0.006 0.006 0.006 0.006 0.0 0.0 0.0 0.0
TRS/AProVE/rta1 0.026 0.027 0.028 0.029 0.029 0.03 0.031 0.031 0.032
TRS/AProVE/rta2 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/rta3 0.02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/Beerendonk/10 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/11 0.025 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/12 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/13 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/14 0.029 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/15 0.036 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/16 0.044 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/17 0.046 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/18 0.045 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/19 0.037 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/1 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/20 0.032 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/21 0.038 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/22 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/23 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/24 0.045 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/2 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/3 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/4 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/5 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/6 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/7 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/8 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/9 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Cime/ack_prolog 0.013 0.014 0.015 0.015 0.016 0.017 0.017 0.018 0.018
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/Cime/append-hard 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Cime/append 0.007 0.007 0.008 0.008 0.009 0.009 0.009 0.009 0.0
TRS/Cime/append-wrong 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Cime/big 0.738 0.715 0.712 0.713 0.71 0.73 0.74 0.77 0.74
TRS/Cime/boolean_rings 0.005 0.006 0.006 0.006 0.006 0.0 0.0 0.0 0.0
TRS/Cime/dpqs 0.005 0.005 0.006 0.007 0.006 0.007 0.008 0.007 0.008
TRS/Cime/fact-hard 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Cime/filliatre2 0.1 0.1 0.1 0.11 0.1 0.11 0.096 0.097 0.099
TRS/Cime/filliatre3 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.1
TRS/Cime/filliatre 0.06 0.061 0.063 0.063 0.064 0.065 0.066 0.066 0.067
TRS/Cime/intersect 0.099 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.1
TRS/Cime/list-sum-prod-assoc-append 0.056 0.061 0.064 0.063 0.064 0.067 0.067 0.067 0.067
TRS/Cime/list-sum-prod-assoc 0.0 0.0 0.0 0.034 0.035 0.036 0.037 0.037 0.038
TRS/Cime/list-sum-prod-bin-assoc-distr-app 0.11 0.1 0.027 0.028 0.03 0.03 0.032 0.032 0.034
TRS/Cime/list-sum-prod-bin-assoc 0.017 0.018 0.019 0.02 0.021 0.022 0.023 0.024 0.024
TRS/Cime/list-sum-prod-bin 0.023 0.024 0.026 0.027 0.028 0.028 0.03 0.03 0.031
TRS/Cime/list-sum-prod 0.0 0.0 0.0 0.0 0.002 0.002 0.003 0.004 0.015
TRS/Cime/log2 0.168 0.169 0.17 0.176 0.173 0.174 0.175 0.176 0.176
TRS/Cime/lse 0.334 0.331 0.332 0.333 0.349 0.336 0.337 0.352 0.352
TRS/Cime/maude2 0.053 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Cime/mucrl1 0.053 0.051 0.052 0.053 0.052 0.04 0.042 0.044 0.046
TRS/Cime/quick 0.09 0.01 0.012 0.014 0.015 0.016 0.016 0.018 0.018
TRS/Cime/ternary-hard 0.047 0.048 0.05 0.05 0.052 0.053 0.054 0.055 0.056
TRS/Cime/ternary 0.035 0.038 0.038 0.039 0.04 0.041 0.041 0.042 0.043
TRS/Cime/tree 0.722 0.733 0.736 0.735 0.736 0.738 0.736 0.74 0.738
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/CSR/Ex1_Luc04b_GM 0.054 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.10 0.49 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.13 0.375 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.16 0.04 60.0 60.0 0.042 0.045 60.0 60.0 0.042 0.042
TRS/currying/AG01/#3.18 0.055 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.22 0.066 60.0 60.0 60.0 9.875 60.0 60.0 0.059 0.061
TRS/currying/AG01/#3.25 0.029 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.27 0.004 0.004 0.006 0.007 0.009 0.01 0.01 0.011 0.011
TRS/currying/AG01/#3.2 0.034 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.32 0.011 0.012 0.011 0.012 0.013 0.014 0.013 0.01 0.03
TRS/currying/AG01/#3.36 0.042 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.38 0.046 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.40 0.146 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.45 0.03 0.031 0.032 0.034 0.035 0.035 0.038 0.036 0.038
TRS/currying/AG01/#3.48 0.025 0.028 0.028 0.029 0.031 0.031 0.032 0.033 0.033
TRS/currying/AG01/#3.52 0.01 0.012 0.013 0.015 0.015 0.016 0.017 0.017 0.019
TRS/currying/AG01/#3.55 0.375 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.57 0.411 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.6 0.082 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.8 0.096 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/D33/01 0.012 0.013 0.014 0.015 0.015 0.016 0.017 0.017 0.016
TRS/currying/D33/02 0.007 0.009 0.01 0.011 0.011 0.013 0.012 0.013 0.013
TRS/currying/D33/06 0.007 0.008 0.009 0.01 0.012 0.013 0.013 0.014 0.014
TRS/currying/D33/08 0.026 0.027 0.029 0.03 0.031 0.032 0.033 0.033 0.034
TRS/currying/D33/11 0.213 0.215 0.216 0.217 0.218 0.219 0.222 0.222 0.197
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/currying/D33/12 0.052 60.0 60.0 0.066 0.258 60.0 60.0 0.058 0.159
TRS/currying/D33/13 0.082 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/D33/17 0.045 60.0 60.0 60.0 60.0 60.0 60.0 0.065 0.1
TRS/currying/D33/18 0.009 0.011 0.012 0.012 0.013 0.013 0.014 0.014 0.015
TRS/currying/D33/21 0.066 60.0 60.0 0.069 0.092 60.0 60.0 0.077 0.076
TRS/currying/D33/29 0.032 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/D33/30 0.059 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/D33/31 0.05 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/D33/33 0.068 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/Ste92/hydra 0.046 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/Ste92/minsort 0.132 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/Ste92/motivation 0.035 0.036 0.036 0.036 0.011 0.024 0.026 0.028 0.029
TRS/currying/Ste92/perfect2 0.181 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/Ste92/perfect 0.125 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/D33/01 0.0 0.0 0.0 0.0 0.0 0.0 0.001 0.001 0.003
TRS/D33/02 0.0 0.0 0.0 0.0 0.0 0.0 0.02 0.002 0.003
TRS/D33/03 0.0 0.0 0.0 0.0 0.0 0.0 0.001 0.002 0.002
TRS/D33/04 0.0 0.0 0.0 0.0 0.0 0.003 0.004 0.004 0.005
TRS/D33/06 0.0 0.0 0.0 0.0 0.0 0.003 0.003 0.004 0.005
TRS/D33/07 0.0 0.0 0.0 0.0 0.005 0.006 0.007 0.008 0.008
TRS/D33/08 0.0 0.027 0.028 0.03 0.03 0.031 0.031 0.033 0.033
TRS/D33/09 0.0 0.0 0.0 0.004 0.004 0.005 0.005 0.006 0.007
TRS/D33/11 0.1 0.1 0.015 0.016 0.018 0.018 0.02 0.019 0.021
TRS/D33/12 0.004 0.005 0.006 0.007 0.008 0.009 0.009 0.01 0.031
TRS/D33/13 0.021 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/D33/17 0.017 0.017 0.018 0.017 0.0 0.0 0.0 0.0 0.0
TRS/D33/18 0.009 0.0 0.009 0.0 0.0 0.0 0.0 0.0 0.0
TRS/D33/20 0.05 0.05 0.05 0.038 0.039 0.042 0.043 0.043 0.045
TRS/D33/21 0.0 60.0 60.0 0.0 0.012 60.0 60.0 0.011 0.012
TRS/D33/27 0.0 0.0 0.0 0.0 0.0 0.0 0.03 0.04 0.05
TRS/D33/28 0.0 0.0 0.0 0.007 0.008 0.009 0.01 0.011 0.012
TRS/D33/30 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/D33/31 0.019 0.02 0.02 0.02 0.0 0.0 0.0 0.0 0.014
TRS/D33/32 0.018 0.018 0.017 0.0 0.0 0.0 0.0 0.011 0.012
TRS/D33/33 0.024 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/direct 0.015 0.076 1.972 0.025 0.732 0.057 0.023 0.01 0.023
TRS/Endrullis/labeling 0.002 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/linear1 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/linear2 0.062 60.0 0.237 60.0 0.237 60.0 60.0 60.0 60.0
TRS/Endrullis/pair2hard 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/pair2simple1 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/pair2simple2 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/pair3hard 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/pair3rotate 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/pair3swap 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/quadruple1 0.007 0.079 1.031 0.038 0.022 0.013 0.012 0.013 0.013
TRS/Endrullis/quadruple2 0.015 0.055 60.0 0.056 60.0 0.022 0.03 0.032 0.031
TRS/higher-order/AotoYam/001 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AotoYam/002 0.0 0.0 0.022 0.023 0.024 0.025 0.026 0.027 0.028
TRS/higher-order/AotoYam/003 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/higher-order/AotoYam/004 0.03 60.0 60.0 0.0 0.0 60.0 60.0 0.018 0.02
TRS/higher-order/AotoYam/005 0.012 0.012 0.013 0.013 0.014 0.014 0.0 0.0 0.0
TRS/higher-order/AotoYam/006 0.041 0.042 0.042 0.043 0.043 0.043 0.0 0.0 0.0
TRS/higher-order/AotoYam/007 0.03 60.0 60.0 0.032 0.036 60.0 60.0 0.032 0.032
TRS/higher-order/AotoYam/009 0.038 0.039 0.039 0.04 0.041 0.042 0.042 0.042 0.043
TRS/higher-order/AotoYam/010 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AotoYam/011 0.043 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AotoYam/012 0.038 0.038 0.038 0.039 0.039 0.0 0.0 0.0 0.0
TRS/higher-order/AotoYam/013 0.05 60.0 60.0 0.056 0.065 60.0 60.0 0.053 0.052
TRS/higher-order/AotoYam/014 0.064 60.0 60.0 0.068 0.075 60.0 60.0 0.067 0.069
TRS/higher-order/AotoYam/015 0.013 0.013 0.014 0.016 0.016 0.016 0.017 0.018 0.018
TRS/higher-order/AotoYam/016 0.046 0.047 0.047 0.049 0.049 0.05 0.051 0.051 0.051
TRS/higher-order/AotoYam/017 0.0 0.0 0.0 0.001 0.002 0.002 0.003 0.003 0.005
TRS/higher-order/AotoYam/019 0.0 0.0 0.006 0.007 0.008 0.008 0.009 0.009 0.01
TRS/higher-order/AotoYam/020 0.04 60.0 60.0 0.047 0.055 60.0 60.0 0.045 0.046
TRS/higher-order/AotoYam/021 0.076 60.0 60.0 0.087 0.096 60.0 60.0 0.081 0.083
TRS/higher-order/AotoYam/022 0.023 0.024 0.025 0.025 0.027 0.027 0.028 0.028 0.029
TRS/higher-order/AotoYam/023 0.006 0.008 0.009 0.009 0.009 0.01 0.011 0.011 0.012
TRS/higher-order/AotoYam/024 0.0 0.0 0.009 0.01 0.01 0.011 0.011 0.012 0.013
TRS/higher-order/AotoYam/025 0.0 0.0 0.01 0.01 0.002 0.003 0.004 0.004 0.005
TRS/higher-order/AotoYam/026 0.0 0.024 0.024 0.025 0.026 0.026 0.027 0.028 0.028
TRS/higher-order/AotoYam/027 0.033 60.0 60.0 0.037 0.041 60.0 60.0 0.038 0.038
TRS/higher-order/AotoYam/028 0.015 0.0 0.013 0.015 0.016 0.016 0.018 0.017 0.018
TRS/higher-order/AotoYam/Ex1SimplyTyped 0.026 60.0 60.0 0.035 0.051 60.0 60.0 0.029 0.031
TRS/higher-order/AotoYam/Ex5TermProof 0.083 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/higher-order/AProVE_HO/mapDivMinusHard 0.075 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AProVE_HO/mapDivMinus 0.05 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AProVE_HO/nonTermF 0.035 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AProVE_HO/ReverseLastInit 0.011 0.012 0.013 0.014 0.015 0.015 0.016 0.017 0.017
TRS/higher-order/AProVE_HO/TakeDropWhile 0.038 0.039 0.039 0.041 0.042 0.042 0.043 0.043 0.044
TRS/higher-order/AProVE_HO/termMonTypes 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AProVE_HO/TypeEx1 0.008 60.0 0.16 60.0 60.0 60.0 0.16 60.0 60.0
TRS/higher-order/AProVE_HO/TypeEx3 0.042 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AProVE_HO/TypeEx5 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Bird/BTreeMember 0.04 0.04 0.042 0.042 0.042 0.042 0.044 0.044 0.044
TRS/higher-order/Bird/Ex2_6_1Composition 0.0 0.0 0.01 0.002 0.002 0.004 0.004 0.005 0.005
TRS/higher-order/Bird/Ex2_8_1ConstSubstFix 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Bird/Hamming 0.425 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Bird/TreeFlatten 0.023 60.0 60.0 0.027 0.021 60.0 60.0 0.013 0.014
TRS/higher-order/Bird/TreeHeight 0.0 0.002 0.003 0.005 0.006 0.007 0.008 0.009 0.009
TRS/higher-order/Bird/TreeLevels 0.036 60.0 60.0 0.041 0.049 60.0 60.0 0.04 0.041
TRS/higher-order/Bird/TreeMap 0.01 0.02 0.03 0.031 0.031 0.032 0.033 0.034 0.034
TRS/higher-order/Bird/TreeSize 0.049 60.0 60.0 0.053 0.057 60.0 60.0 0.052 0.054
TRS/higher-order/Kusakari/Ex6_11 0.0 0.0 0.005 0.006 0.007 0.007 0.008 0.009 0.009
TRS/higher-order/Kusakari/Ex7_9 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Lifantsev/Ex10Functional 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Lifantsev/Ex2PrimRec 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Lifantsev/Ex3Lists 0.096 60.0 60.0 60.0 7.57 60.0 60.0 0.035 0.058
TRS/higher-order/Lifantsev/Ex4MapList 0.008 60.0 60.0 0.017 0.09 60.0 60.0 0.011 0.017
TRS/higher-order/Lifantsev/Ex5Sorting 0.06 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/higher-order/Lifantsev/Ex6Folding 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Lifantsev/Ex7OrdinalRec 0.02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Lifantsev/Ex8Polymorphic 0.056 0.056 0.056 0.0 0.0 0.047 0.049 0.055 0.017
TRS/higher-order/Lifantsev/Ex9Maps 0.027 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/ToyamaRTA04/Ex5Folding 0.055 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/ToyamaRTA04/Ex6Recursor 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/ToyamaRTA04/Ex7Sorting 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/n002 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/n003 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/n004 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/n005 0.003 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/n006 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/n007 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/n008 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/t000 0.1 0.088 0.089 0.089 0.089 0.091 0.091 0.091 0.066
TRS/HM/t001 0.032 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/t002 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/t003 0.012 0.013 0.014 0.015 0.015 0.016 0.017 0.018 0.019
TRS/HM/t004 0.002 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/t005 0.229 0.234 0.232 0.233 0.235 0.236 0.236 0.238 0.237
TRS/HM/t006 0.001 0.001 0.001 0.002 0.003 0.004 0.004 0.004 0.007
TRS/HM/t007 0.0 0.002 0.003 0.003 0.004 0.004 0.005 0.005 0.006
TRS/HM/t008 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/t009 1.79 60.0 16.126 60.0 15.443 60.0 15.19 7.874 15.122
TRS/HM/t010 0.002 0.003 0.003 0.003 0.004 0.004 0.006 0.007 0.007
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/HM/t011 0.002 0.004 0.004 0.006 0.006 0.006 0.007 0.007 0.008
TRS/HM/t012 0.056 0.056 0.057 0.057 0.058 0.06 0.059 0.059 0.06
TRS/HM/t013 0.026 0.026 0.028 0.028 0.029 0.029 0.029 0.03 0.031
TRS/HM/t014 0.021 0.023 0.023 0.024 0.024 0.025 0.025 0.026 0.027
TRS/HofWald/1 0.012 0.013 0.018 0.015 0.018 0.017 0.016 0.016 0.016
TRS/HofWald/2 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HofWald/3 0.007 0.042 0.029 0.019 0.15 0.046 0.032 0.021 0.18
TRS/HofWald/4 0.01 0.014 0.095 0.016 0.019 0.016 0.015 0.016 0.015
TRS/HofWald/5 0.008 0.011 0.012 0.011 0.017 0.013 0.014 0.013 0.017
TRS/HofWald/6 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HofWald/7 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Koprowski/gcd_triple 0.056 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/LJB01/jones1 0.0 0.0 0.0 0.0 0.0 0.002 0.003 0.004 0.005
TRS/LJB01/jones2 0.0 0.0 0.003 0.004 0.005 0.006 0.006 0.007 0.008
TRS/LJB01/jones4 0.01 0.002 0.003 0.003 0.004 0.004 0.005 0.005 0.006
TRS/LJB01/jones5 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/LJB01/jones6 0.0 0.0 0.004 0.006 0.007 0.007 0.007 0.008 0.008
TRS/nontermin/AG01/#4.12a 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.13 0.002 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.14 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.15 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.16 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.17 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.18 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.19 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/nontermin/AG01/#4.20a 0.0 0.0 0.0 0.003 0.005 0.005 0.005 0.006 0.006
TRS/nontermin/AG01/#4.20 0.0 0.002 0.003 0.004 0.004 0.004 0.005 0.005 0.006
TRS/nontermin/AG01/#4.21 0.003 0.003 0.004 0.005 0.004 0.006 0.006 0.005 0.007
TRS/nontermin/AG01/#4.22 0.004 0.005 0.006 0.007 0.007 0.008 0.008 0.009 0.009
TRS/nontermin/AG01/#4.23 0.021 0.02 0.02 0.022 0.022 0.023 0.022 0.024 0.024
TRS/nontermin/AG01/#4.25 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.26 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.27 0.011 60.0 60.0 0.013 0.016 60.0 60.0 0.015 0.015
TRS/nontermin/AG01/#4.28 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.29 0.05 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.2 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.30a 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.30b 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.30c 0.018 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.30 0.024 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.31 0.013 60.0 0.293 60.0 0.295 0.013 0.014 0.014 0.015
TRS/nontermin/AG01/#4.32 0.007 0.007 0.007 0.008 0.008 0.009 0.009 0.01 0.01
TRS/nontermin/AG01/#4.33 0.041 0.041 0.042 0.043 0.043 0.043 0.044 0.044 0.045
TRS/nontermin/AG01/#4.34 0.017 0.017 0.019 0.019 0.019 0.02 0.02 0.021 0.021
TRS/nontermin/AG01/#4.35 0.1 0.09 0.09 0.089 0.09 0.09 0.091 0.092 0.067
TRS/nontermin/AG01/#4.36 0.046 0.047 0.047 0.048 0.048 0.048 0.049 0.05 0.025
TRS/nontermin/AG01/#4.37a 0.01 0.011 0.012 0.011 0.013 0.013 0.014 0.014 0.019
TRS/nontermin/AG01/#4.37 0.013 0.013 0.014 0.014 0.015 0.015 0.016 0.017 0.017
TRS/nontermin/AG01/#4.3 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.4 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/nontermin/AG01/#4.7 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/cariboo/ex1 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/cariboo/ex2 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/cariboo/ex3 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/cariboo/ex4 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/cariboo/ex5 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/cariboo/ex6 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/cariboo/tricky1 0.019 0.0 0.0 0.0 0.003 0.004 0.004 0.004 0.005
TRS/nontermin/CSR/Ex1_2_AEL03 0.021 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex1_2_Luc02c 0.071 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex14_AEGL02 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex15_Luc98 0.027 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex1_GL02a 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex1_GM03 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex1_GM99 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex1_Luc02b 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex1_Zan97 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex24_GM04 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex26_Luc03b 0.018 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex2_Luc03b 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex3_12_Luc96a 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex3_2_Luc97 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex3_3_25_Bor03 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex4_4_Luc96b 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex4_7_15_Bor03 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/nontermin/CSR/Ex4_7_37_Bor03 0.031 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex4_7_56_Bor03 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex4_7_77_Bor03 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex49_GM04 0.018 0.019 0.02 0.025 0.022 0.024 0.015 0.025 0.025
TRS/nontermin/CSR/Ex4_Zan97 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex5_7_Luc97 0.04 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex5_Zan97 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex6_15_AEL02 0.056 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex6_9_Luc02c 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex6_GM04 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex6_Luc98 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex7_BLR02 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex8_BLR02 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex9_BLR02 0.03 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/ExAppendixB_AEL03 0.029 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/ExConc_Zan97 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/ExIntrod_GM01 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/ExIntrod_GM04 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/ExIntrod_GM99 0.037 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/ExIntrod_Zan97 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/HM/n001 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/bn111 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/gkg 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/muladd 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/test10 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/nontermin/Rubio-inn/test75 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/test76 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/test77 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/test830 0.006 0.006 0.006 0.006 0.006 0.007 0.008 0.008 0.008
TRS/nontermin/Rubio-inn/test9 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/toyama 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/TRCSR/ExSec11_1_Luc02a 0.029 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Rubio/aoto 0.01 0.01 0.011 0.011 0.011 0.012 0.011 0.011 0.0
TRS/Rubio/bintrees 0.016 0.015 0.015 0.015 0.0 0.0 0.0 0.008 0.01
TRS/Rubio/bn122 0.006 0.007 0.008 0.009 0.009 0.01 0.011 0.011 0.012
TRS/Rubio/bn129 0.029 0.029 0.029 0.031 0.031 0.031 0.031 0.032 0.031
TRS/Rubio/division 0.025 0.026 0.026 0.026 0.027 0.027 0.026 0.014 0.017
TRS/Rubio/elimdupl 0.02 0.021 0.023 0.024 0.025 0.026 0.027 0.027 0.028
TRS/Rubio/enno 0.036 0.036 0.037 0.038 0.039 0.038 0.043 0.04 0.04
TRS/Rubio/gcd 0.037 0.033 0.039 0.038 0.039 0.039 0.026 0.028 0.029
TRS/Rubio/gmnp 0.0 0.0 0.0 0.0 0.003 0.005 0.006 0.006 0.006
TRS/Rubio/gm 0.014 0.014 0.015 0.016 0.016 0.016 0.016 0.018 0.0
TRS/Rubio/koen 0.008 0.008 0.008 0.009 0.009 0.01 0.01 0.0 0.0
TRS/Rubio/lescanne 0.0 0.0 0.007 0.008 0.009 0.01 0.011 0.012 0.013
TRS/Rubio/lindau 0.007 0.007 0.008 0.007 0.009 0.008 0.009 0.01 0.01
TRS/Rubio/logarquot 0.033 0.033 0.033 0.035 0.035 0.035 0.034 0.023 0.024
TRS/Rubio/ma96 0.1 0.1 0.078 0.079 0.08 0.082 0.083 0.084 0.086
TRS/Rubio/mfp90b 0.005 0.005 0.006 0.007 0.007 0.008 0.007 0.008 0.011
TRS/Rubio/mfp95 0.005 0.005 0.006 0.006 0.007 0.006 0.0 0.0 0.0
TRS/Rubio/nestrec 0.011 0.011 0.01 0.0 0.0 0.0 0.0 0.04 0.06
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/Rubio/p266 0.0 0.0 0.003 0.003 0.004 0.004 0.005 0.006 0.006
TRS/Rubio/polo2 0.1 0.1 0.021 0.021 0.022 0.022 0.022 0.01 0.012
TRS/Rubio/prov 0.0 0.0 0.0 0.0 0.0 0.002 0.002 0.002 0.007
TRS/Rubio/quick 0.057 0.058 0.058 0.059 0.059 0.059 0.059 0.06 0.06
TRS/Rubio/quotminus 0.024 0.024 0.025 0.026 0.026 0.025 0.026 0.014 0.016
TRS/Rubio/revlist 0.013 0.015 0.017 0.017 0.018 0.019 0.02 0.021 0.021
TRS/Rubio/selsort 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.118
TRS/Rubio/test4 0.02 0.02 0.02 0.02 0.021 0.02 0.02 0.09 0.01
TRS/Rubio/test829 0.0 0.0 0.04 0.004 0.005 0.006 0.007 0.008 0.009
TRS/Rubio/wst99 0.1 0.11 0.11 0.11 0.11 0.11 0.11 0.1 0.088
TRS/SchneiderKamp/trs/cade01 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade03 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade04t 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade05t 0.03 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade06 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade07 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade08 0.021 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade09 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade10 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade11 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade12t 0.039 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade13t 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade14 0.032 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade15 0.041 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade16 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/SchneiderKamp/trs/cade17 0.031 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/kabasci01 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/kabasci02 0.176 60.0 60.0 0.178 0.234 60.0 60.0 0.18 0.227
TRS/SchneiderKamp/trs/kabasci03 0.065 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/kabasci04 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/kabasci05 0.027 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/kabasci06 0.051 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto01 0.024 60.0 60.0 60.0 0.814 60.0 60.0 60.0 0.817
TRS/SchneiderKamp/trs/otto02 0.018 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto03 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto04 0.025 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto05 0.003 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto06 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto07 0.003 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto08 0.032 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto09 0.025 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto10 0.036 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto11 0.027 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto12 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto13 0.039 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann01 0.025 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann02 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann03 0.031 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann04 0.092 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann05 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/SchneiderKamp/trs/thiemann06 0.054 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann07 0.087 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann08 0.03 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann09 0.078 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann10 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann11 0.032 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann12 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann13 0.065 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann14 0.062 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann15 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann16 0.046 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann17 0.04 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann18 0.095 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann19 0.02 60.0 2.84 60.0 2.265 60.0 2.835 60.0 2.272
TRS/SchneiderKamp/trs/thiemann20 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann21 0.045 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann22 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann23 0.016 60.0 1.472 60.0 3.288 60.0 1.464 60.0 3.288
TRS/SchneiderKamp/trs/thiemann24 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann25 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann26 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann27 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann28 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann29 0.047 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann30 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/SchneiderKamp/trs/thiemann31 0.027 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann32 0.043 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann33 0.036 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann34 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann35 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann36 0.035 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann37 0.055 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann38 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann39 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann40 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann41 0.049 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe01 0.056 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe02 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe03 0.125 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe05 0.067 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe06 0.092 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe07 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe08 0.098 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe09 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe11 0.181 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe12 0.27 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/aprove1 0.03 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/aprove2 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/aprove3 0.025 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/aprove4 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/secret05/aprove5 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/cime1 0.11 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/cime2 0.042 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/cime3 0.097 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/cime4 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/cime5 0.189 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/matchbox1 0.002 60.0 0.006 60.0 0.021 60.0 0.012 60.0 0.023
TRS/secret05/matchbox2 0.012 0.014 0.015 0.013 0.014 0.0 0.0 0.004 0.006
TRS/secret05/teparla1 0.014 60.0 60.0 60.0 60.0 0.035 0.021 0.02 0.019
TRS/secret05/teparla2 0.013 60.0 37.021 60.0 36.913 60.0 36.844 60.0 40.646
TRS/secret05/teparla3 0.011 60.0 1.147 60.0 1.144 60.0 60.0 60.0 60.0
TRS/secret05/tpa1 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/tpa2 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/tpa3 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/tpa4 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/tpa5 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/ttt1 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/ttt2 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/addList 0.087 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/divExp 0.026 60.0 60.0 60.0 60.0 60.0 60.0 0.035 0.037
TRS/secret06/aprove/division 0.031 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/double 0.065 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/logarithm 0.039 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/nrOfNodes 0.041 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/reverse 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/secret06/aprove/sumList 0.043 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/times 0.064 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/toList 0.048 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/cime1 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/jambox/10 0.021 60.0 0.174 60.0 0.174 60.0 0.04 60.0 0.041
TRS/secret06/jambox/2 0.03 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/jambox/3 0.069 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/jambox/4 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/jambox/5 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/jambox/6 0.023 2.056 60.0 2.041 60.0 0.056 60.0 0.056 60.0
TRS/secret06/jambox/7 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/jambox/8 0.023 0.029 0.441 0.031 0.441 0.029 0.028 0.029 0.029
TRS/secret06/jambox/9 0.011 0.024 0.112 0.027 0.115 0.02 0.025 0.022 0.027
TRS/secret06/matchbox/gen-10 0.01 0.034 0.156 0.029 0.319 0.04 0.16 0.033 0.324
TRS/secret06/matchbox/gen-14 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/matchbox/gen-15 0.008 60.0 0.064 60.0 0.064 60.0 0.066 60.0 0.065
TRS/secret06/matchbox/gen-17 0.015 60.0 60.0 0.021 60.0 60.0 60.0 0.021 60.0
TRS/secret06/matchbox/gen-18 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/matchbox/gen-1 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/matchbox/gen-22 0.046 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/matchbox/gen-25 0.015 60.0 0.259 60.0 0.261 60.0 0.26 60.0 0.262
TRS/secret06/matchbox/gen-28 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/matchbox/gen-9 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa01 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa02 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/secret06/tpa03 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa04 0.042 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa05 0.028 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa06 0.045 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa07 0.02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa08 0.034 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa09 0.058 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa10 0.038 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove01 0.087 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove02 0.082 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove03 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove04 0.085 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove05 0.046 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove06 0.083 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove07 0.033 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove08 0.061 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove09 0.069 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove10 0.039 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/cime/secret1 0.1 0.01 0.022 0.023 0.023 0.025 0.025 0.013 0.015
TRS/secret07/cime/secret2 0.005 0.006 0.007 0.008 0.008 0.009 0.01 0.01 0.011
TRS/secret07/cime/secret3 0.007 0.008 0.01 0.01 0.012 0.012 0.013 0.016 0.015
TRS/secret07/cime/secret4 0.017 0.017 0.019 0.02 0.022 0.022 0.023 0.024 0.024
TRS/secret07/cime/secret5 0.012 0.013 0.015 0.016 0.017 0.018 0.019 0.02 0.021
TRS/secret07/others/dj 0.006 0.0 0.0 0.0 0.0 0.0 0.005 0.005 0.006
TRS/secret07/TTT2/1 0.06 60.0 60.0 60.0 60.0 0.15 60.0 0.192 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/secret07/TTT2/2 0.05 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/TTT2/3 0.088 60.0 60.0 60.0 60.0 60.0 60.0 0.182 60.0
TRS/secret07/TTT2/4 0.051 60.0 60.0 60.0 60.0 7.454 60.0 6.814 60.0
TRS/secret07/TTT2/5 0.155 60.0 60.0 60.0 60.0 60.0 60.0 7.153 60.0
TRS/secret07/TTT2/6 0.003 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/TTT2/7 0.02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/2.01 0.0 0.0 0.0 0.01 0.02 0.02 0.013 0.015 0.015
TRS/SK90/2.02 0.015 0.016 0.018 0.018 0.02 0.021 0.022 0.023 0.023
TRS/SK90/2.03 0.0 0.0 0.0 0.0 0.0 0.007 0.008 0.008 0.008
TRS/SK90/2.04 0.0 0.0 0.0 0.0 0.0 0.004 0.004 0.005 0.006
TRS/SK90/2.05 0.042 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/2.06 0.026 0.027 0.028 0.029 0.029 0.03 0.031 0.031 0.031
TRS/SK90/2.07 0.0 0.0 0.0 0.015 0.015 0.016 0.017 0.018 0.018
TRS/SK90/2.08 0.0 0.0 0.0 0.0 0.016 0.017 0.018 0.018 0.02
TRS/SK90/2.09 0.0 0.0 0.0 0.0 0.0 0.004 0.005 0.006 0.007
TRS/SK90/2.10 0.0 0.0 0.0 0.011 0.012 0.013 0.015 0.015 0.015
TRS/SK90/2.11 0.0 0.0 0.0 0.0 0.0 0.004 0.006 0.006 0.008
TRS/SK90/2.12 0.0 0.0 0.0 0.0 0.017 0.018 0.018 0.02 0.021
TRS/SK90/2.13 0.0 0.0 0.0 0.0 0.0 0.007 0.008 0.009 0.01
TRS/SK90/2.14 0.0 0.0 0.0 0.0 0.0 0.007 0.009 0.01 0.01
TRS/SK90/2.15 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.003 0.004
TRS/SK90/2.16 0.015 0.015 0.0 0.0 0.0 0.0 0.0 0.011 0.011
TRS/SK90/2.17 0.008 0.009 0.009 0.009 0.0 0.0 0.0 0.0 0.0
TRS/SK90/2.18 0.006 0.007 0.007 0.008 0.008 0.008 0.009 0.009 0.009
TRS/SK90/2.19 0.0 0.0 0.0 0.0 0.008 0.009 0.01 0.01 0.011
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/SK90/2.20 0.0 0.0 0.0 0.0 0.0 0.002 0.004 0.004 0.005
TRS/SK90/2.21 0.0 0.0 0.0 0.0 0.0 0.005 0.006 0.007 0.007
TRS/SK90/2.22 0.0 0.0 0.0 0.0 0.0 0.007 0.008 0.009 0.009
TRS/SK90/2.23 0.0 0.0 0.0 0.0 0.0 0.012 0.013 0.013 0.014
TRS/SK90/2.24 0.0 0.0 0.0 0.004 0.006 0.005 0.007 0.008 0.007
TRS/SK90/2.25 0.0 0.0 0.0 0.0 0.007 0.008 0.008 0.009 0.011
TRS/SK90/2.26 0.0 0.0 0.0 0.0 0.0 0.012 0.013 0.014 0.015
TRS/SK90/2.27 0.0 0.0 0.0 0.0 0.009 0.009 0.01 0.011 0.011
TRS/SK90/2.28 0.0 0.0 0.0 0.0 0.0 0.004 0.005 0.006 0.006
TRS/SK90/2.29 0.0 0.0 0.0 0.0 0.0 0.006 0.006 0.007 0.008
TRS/SK90/2.30 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.003 0.003
TRS/SK90/2.31 0.012 0.012 0.0 0.0 0.0 0.0 0.0 0.007 0.008
TRS/SK90/2.32 0.009 0.008 0.009 0.009 0.009 0.0 0.0 0.0 0.0
TRS/SK90/2.33 0.015 0.016 0.017 0.016 0.018 0.017 0.018 0.019 0.019
TRS/SK90/2.34 0.0 0.0 0.012 0.013 0.013 0.014 0.015 0.015 0.016
TRS/SK90/2.35 0.0 0.0 0.006 0.007 0.008 0.01 0.01 0.01 0.012
TRS/SK90/2.36 0.0 0.0 0.0 0.0 0.0 0.0 0.002 0.003 0.004
TRS/SK90/2.37 0.0 0.0 0.0 0.004 0.005 0.006 0.007 0.008 0.008
TRS/SK90/2.38 0.0 0.0 0.008 0.009 0.009 0.01 0.011 0.011 0.012
TRS/SK90/2.39 0.0 0.0 0.0 0.0 0.0 0.007 0.007 0.007 0.008
TRS/SK90/2.40 0.0 0.0 0.0 0.0 0.0 0.007 0.007 0.008 0.009
TRS/SK90/2.41 0.0 0.0 0.0 0.0 0.007 0.008 0.008 0.009 0.01
TRS/SK90/2.42 0.0 0.0 0.038 0.039 0.041 0.041 0.042 0.043 0.043
TRS/SK90/2.43 0.0 0.0 0.0 0.0 0.009 0.011 0.011 0.012 0.013
TRS/SK90/2.44 0.015 0.015 0.017 0.019 0.02 0.021 0.021 0.022 0.023
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/SK90/2.45 0.0 0.0 0.0 0.0 0.005 0.005 0.005 0.007 0.008
TRS/SK90/2.46 0.0 0.007 0.008 0.009 0.01 0.012 0.012 0.012 0.014
TRS/SK90/2.47 0.0 0.0 0.0 0.0 0.0 0.0 0.002 0.003 0.003
TRS/SK90/2.48 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.001 0.002
TRS/SK90/2.49 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.002 0.003
TRS/SK90/2.50 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.002
TRS/SK90/2.51 0.0 0.0 0.0 0.01 0.009 0.011 0.011 0.013 0.013
TRS/SK90/2.52 0.0 0.059 0.06 0.061 0.061 0.063 0.064 0.064 0.065
TRS/SK90/2.53 0.0 0.0 0.0 0.0 0.005 0.006 0.007 0.007 0.008
TRS/SK90/2.54 0.0 0.0 0.0 0.0 0.0 0.0 0.003 0.003 0.004
TRS/SK90/2.55 0.0 0.0 0.0 0.0 0.0 0.0 0.02 0.004 0.004
TRS/SK90/2.56 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.002 0.003
TRS/SK90/2.57 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.003 0.003
TRS/SK90/2.58 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.003 0.004
TRS/SK90/2.59 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.003 0.003
TRS/SK90/2.60 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.003 0.003
TRS/SK90/2.61 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.003 0.004
TRS/SK90/4.01 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.001 0.002
TRS/SK90/4.02 0.039 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/4.03 0.019 0.019 0.02 0.02 0.021 0.021 0.021 0.022 0.024
TRS/SK90/4.04 0.0 0.005 0.006 0.006 0.006 0.008 0.008 0.008 0.009
TRS/SK90/4.05 0.0 0.0 0.013 0.013 0.014 0.014 0.015 0.016 0.017
TRS/SK90/4.06 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/4.07 0.009 0.008 0.009 0.009 0.009 0.01 0.01 0.01 0.01
TRS/SK90/4.08 0.0 0.0 0.003 0.004 0.005 0.006 0.007 0.007 0.008
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/SK90/4.09 0.0 0.0 0.02 0.021 0.022 0.022 0.023 0.024 0.025
TRS/SK90/4.10 0.0 0.0 0.0 0.018 0.019 0.02 0.021 0.021 0.022
TRS/SK90/4.11 0.0 0.0 0.0 0.0 0.0 0.003 0.004 0.004 0.005
TRS/SK90/4.12 0.0 0.005 0.006 0.007 0.008 0.009 0.01 0.01 0.01
TRS/SK90/4.13 0.004 60.0 60.0 0.006 0.009 60.0 60.0 0.008 0.009
TRS/SK90/4.14 0.0 0.0 0.0 0.021 0.022 0.023 0.024 0.024 0.025
TRS/SK90/4.15 0.0 0.0 0.0 0.0 0.002 0.002 0.003 0.004 0.005
TRS/SK90/4.16 0.0 0.0 0.0 0.0 0.01 0.012 0.012 0.013 0.013
TRS/SK90/4.17 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/4.18 0.006 0.005 0.006 0.007 0.007 0.007 0.0 0.0 0.0
TRS/SK90/4.19 0.01 0.002 0.003 0.004 0.004 0.005 0.005 0.005 0.006
TRS/SK90/4.20 0.0 0.0 0.008 0.008 0.01 0.011 0.01 0.012 0.012
TRS/SK90/4.21 0.0 0.0 0.0 0.014 0.014 0.015 0.016 0.017 0.018
TRS/SK90/4.22 0.0 0.0 0.015 0.017 0.017 0.018 0.019 0.02 0.02
TRS/SK90/4.23 0.0 0.0 0.0 0.011 0.011 0.012 0.013 0.014 0.014
TRS/SK90/4.24 0.013 0.013 0.014 0.016 0.017 0.017 0.018 0.018 0.019
TRS/SK90/4.25 0.0 0.0 0.0 0.007 0.007 0.008 0.009 0.01 0.01
TRS/SK90/4.26 0.0 0.0 0.0 0.015 0.016 0.017 0.017 0.019 0.018
TRS/SK90/4.27 0.0 0.0 0.0 0.0 0.008 0.009 0.009 0.011 0.011
TRS/SK90/4.28 0.0 0.0 0.0 0.012 0.013 0.014 0.015 0.016 0.016
TRS/SK90/4.29 0.0 0.0 0.0 0.0 0.005 0.005 0.006 0.008 0.008
TRS/SK90/4.30 0.04 0.04 0.042 0.043 0.045 0.044 0.044 0.046 0.046
TRS/SK90/4.31 0.007 0.008 0.009 0.011 0.011 0.012 0.013 0.013 0.013
TRS/SK90/4.32 0.03 0.031 0.032 0.034 0.034 0.035 0.036 0.037 0.037
TRS/SK90/4.33 0.0 0.0 0.003 0.004 0.004 0.005 0.006 0.007 0.008
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/SK90/4.34 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/4.35 0.005 0.005 0.005 0.006 0.007 0.006 0.0 0.0 0.0
TRS/SK90/4.36 0.001 0.002 0.003 0.004 0.004 0.005 0.005 0.005 0.006
TRS/SK90/4.37 0.0 0.0 0.0 0.0 0.001 0.003 0.003 0.004 0.004
TRS/SK90/4.38 0.0 0.0 0.0 0.008 0.008 0.009 0.01 0.011 0.01
TRS/SK90/4.39 0.007 0.008 0.01 0.011 0.012 0.012 0.013 0.014 0.015
TRS/SK90/4.40 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/4.41 0.009 0.009 0.01 0.01 0.01 0.0 0.0 0.0 0.0
TRS/SK90/4.42 0.016 0.016 0.016 0.017 0.017 0.017 0.017 0.0 0.0
TRS/SK90/4.43 0.026 0.027 0.028 0.028 0.029 0.029 0.029 0.029 0.03
TRS/SK90/4.44 0.0 0.0 0.0 0.002 0.003 0.003 0.005 0.005 0.005
TRS/SK90/4.45 0.0 0.0 0.0 0.0 0.0 0.002 0.002 0.004 0.004
TRS/SK90/4.46 0.0 0.0 0.0 0.0 0.0 0.002 0.003 0.003 0.004
TRS/SK90/4.47 0.0 0.0 0.0 0.0 0.0 0.004 0.005 0.006 0.006
TRS/SK90/4.48 0.0 0.0 0.0 0.006 0.007 0.008 0.008 0.009 0.009
TRS/SK90/4.49 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/4.50 0.006 0.006 0.006 0.006 0.0 0.0 0.0 0.0 0.0
TRS/SK90/4.51 0.01 0.011 0.012 0.011 0.013 0.011 0.011 0.012 0.012
TRS/SK90/4.52 0.022 0.023 0.024 0.025 0.026 0.026 0.027 0.026 0.027
TRS/SK90/4.53 0.0 0.0 0.014 0.015 0.016 0.017 0.018 0.018 0.019
TRS/SK90/4.54 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/4.55 0.009 0.014 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/SK90/4.56 0.008 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0
TRS/SK90/4.57 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.007 0.007
TRS/SK90/4.59 0.0 0.0 0.006 0.007 0.008 0.01 0.01 0.01 0.011
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/SK90/4.60 0.019 0.019 0.021 0.022 0.023 0.023 0.024 0.024 0.026
TRS/SK90/4.61 0.046 60.0 0.186 60.0 0.164 60.0 0.189 60.0 0.166
TRS/Ste92/hydra 0.0 0.0 0.0 0.001 0.006 0.006 0.007 0.007 0.009
TRS/Ste92/minsort 0.036 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Ste92/motivation 0.013 0.012 0.0 0.0 0.0 0.004 0.005 0.007 0.008
TRS/Ste92/perfect2 0.043 0.046 0.048 0.047 0.05 0.05 0.05 0.051 0.053
TRS/Ste92/perfect 0.0 0.0 0.0 0.01 0.011 0.012 0.012 0.013 0.013
TRS/Thiemann/div_notCeTermin 0.054 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/div_notTermin 0.089 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/factorial1 0.043 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/factorial2 0.028 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/identity 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/logarithm 0.075 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/mapHard 0.058 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/modulo 0.018 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/nonterm 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/quicksort 0.077 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/quot 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/sizeChange 0.027 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/tower_sizeChange 0.025 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/tower 0.044 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_2_AEL03_C 0.351 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_2_AEL03_FR 0.004 0.005 0.005 0.006 0.006 0.007 0.007 0.008 0.008
TRS/TRCSR/Ex1_2_AEL03_GM 0.085 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_2_AEL03_iGM 0.376 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/Ex1_2_AEL03_Z 0.025 0.007 0.007 0.007 0.0 0.0 0.0 0.0 0.018
TRS/TRCSR/Ex1_2_Luc02c_C 0.1 0.1 0.039 0.04 0.041 0.043 0.039 0.045 0.046
TRS/TRCSR/Ex1_2_Luc02c_FR 0.0 0.0 0.0 0.002 0.003 0.004 0.004 0.015 0.016
TRS/TRCSR/Ex1_2_Luc02c_GM 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_2_Luc02c_iGM 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_2_Luc02c_Z 0.007 0.007 0.007 0.008 0.008 0.008 0.0 0.0 0.0
TRS/TRCSR/Ex14_AEGL02_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_AEGL02_FR 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_AEGL02_GM 0.018 0.02 0.021 0.022 0.024 0.025 0.025 0.026 0.027
TRS/TRCSR/Ex14_AEGL02_iGM 0.189 0.199 0.22 0.198 0.195 0.25 0.217 0.198 0.198
TRS/TRCSR/Ex14_AEGL02_L 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_AEGL02_Z 0.003 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_Luc06_C 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_Luc06_FR 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_Luc06_GM 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_Luc06_iGM 0.065 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_Luc06_L 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_Luc06_Z 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex15_Luc06_C 0.011 60.0 0.254 60.0 0.21 0.457 0.038 0.41 0.039
TRS/TRCSR/Ex15_Luc06_FR 0.0 0.001 0.001 0.003 0.003 0.004 0.004 0.005 0.008
TRS/TRCSR/Ex15_Luc06_GM 0.0 0.004 0.005 0.005 0.006 0.006 0.006 0.007 0.008
TRS/TRCSR/Ex15_Luc06_iGM 0.026 0.026 0.028 0.028 0.028 0.03 0.03 0.031 0.031
TRS/TRCSR/Ex15_Luc06_L 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex15_Luc06_Z 0.0 0.0 0.0 0.0 0.003 0.004 0.004 0.005 0.006
TRS/TRCSR/Ex15_Luc98_C 0.148 0.141 0.15 0.152 0.155 0.156 0.156 0.132 0.156
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/Ex15_Luc98_FR 0.018 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex15_Luc98_GM 0.044 0.046 0.047 0.048 0.049 0.048 0.05 0.05 0.051
TRS/TRCSR/Ex15_Luc98_iGM 0.744 0.747 0.758 0.748 0.749 0.752 1.715 1.833 0.728
TRS/TRCSR/Ex15_Luc98_Z 0.016 0.017 0.018 0.018 0.019 0.02 0.021 0.02 0.021
TRS/TRCSR/Ex16_Luc06_C 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex16_Luc06_FR 0.0 0.0 0.0 0.0 0.0 0.003 0.004 0.004 0.005
TRS/TRCSR/Ex16_Luc06_GM 0.0 0.0 0.0 0.004 0.005 0.006 0.007 0.007 0.008
TRS/TRCSR/Ex16_Luc06_iGM 0.041 60.0 0.12 60.0 0.122 0.297 0.061 0.31 0.063
TRS/TRCSR/Ex16_Luc06_L 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex16_Luc06_Z 0.0 0.0 0.0 0.0 0.0 0.001 0.004 0.003 0.005
TRS/TRCSR/Ex18_Luc06_C 0.046 0.046 0.048 0.048 0.049 0.05 0.05 0.055 0.053
TRS/TRCSR/Ex18_Luc06_FR 0.004 0.005 0.005 0.007 0.007 0.008 0.008 0.008 0.009
TRS/TRCSR/Ex18_Luc06_GM 0.0 0.004 0.005 0.005 0.006 0.006 0.007 0.007 0.008
TRS/TRCSR/Ex18_Luc06_iGM 0.027 0.028 0.029 0.03 0.03 0.031 0.032 0.032 0.032
TRS/TRCSR/Ex18_Luc06_L 0.0 0.001 0.001 0.002 0.002 0.004 0.004 0.005 0.005
TRS/TRCSR/Ex18_Luc06_Z 0.0 0.002 0.002 0.004 0.004 0.005 0.005 0.006 0.006
TRS/TRCSR/Ex1_GL02a_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GL02a_FR 0.06 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GL02a_GM 0.0 0.0 0.0 0.03 0.03 0.031 0.031 0.032 0.033
TRS/TRCSR/Ex1_GL02a_iGM 0.523 0.51 0.512 0.514 0.515 0.515 0.516 0.521 0.519
TRS/TRCSR/Ex1_GL02a_L 0.002 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GL02a_Z 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GM03_C 0.058 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GM03_FR 0.047 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GM03_GM 0.037 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/Ex1_GM03_iGM 0.124 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GM03_Z 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GM99_C 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GM99_FR 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GM99_GM 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GM99_iGM 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GM99_L 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GM99_Z 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Luc02b_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Luc02b_FR 0.074 0.065 0.061 0.064 0.065 0.067 0.067 0.069 0.07
TRS/TRCSR/Ex1_Luc02b_GM 0.054 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Luc02b_iGM 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Luc02b_Z 0.013 0.0 0.0 0.0 0.0 0.08 0.08 0.09 0.011
TRS/TRCSR/Ex1_Luc04b_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Luc04b_FR 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Luc04b_GM 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Luc04b_iGM 0.315 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Luc04b_Z 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Zan97_C 0.01 60.0 0.523 60.0 0.429 1.187 0.073 0.965 0.074
TRS/TRCSR/Ex1_Zan97_FR 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Zan97_GM 0.0 0.001 0.002 0.002 0.002 0.003 0.004 0.006 0.006
TRS/TRCSR/Ex1_Zan97_iGM 0.05 0.052 0.053 0.052 0.053 0.055 0.055 0.055 0.056
TRS/TRCSR/Ex1_Zan97_L 0.003 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Zan97_Z 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex23_Luc06_C 0.075 0.078 0.078 0.079 0.08 0.082 0.082 0.082 0.084
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/Ex23_Luc06_FR 0.0 0.007 0.008 0.009 0.009 0.01 0.01 0.011 0.011
TRS/TRCSR/Ex23_Luc06_GM 0.007 0.007 0.008 0.008 0.008 0.009 0.009 0.01 0.011
TRS/TRCSR/Ex23_Luc06_iGM 0.046 0.046 0.047 0.048 0.048 0.049 0.049 0.05 0.05
TRS/TRCSR/Ex23_Luc06_L 0.001 0.002 0.003 0.004 0.004 0.004 0.005 0.005 0.006
TRS/TRCSR/Ex23_Luc06_Z 0.003 0.004 0.004 0.004 0.005 0.006 0.006 0.006 0.007
TRS/TRCSR/Ex24_GM04_C 0.052 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_GM04_FR 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_GM04_GM 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_GM04_iGM 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_GM04_L 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_GM04_Z 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_Luc06_C 0.042 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_Luc06_FR 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_Luc06_GM 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_Luc06_iGM 0.075 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_Luc06_L 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_Luc06_Z 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex25_Luc06_C 0.1 0.1 0.1 0.1 0.1 0.148 0.041 0.042 0.042
TRS/TRCSR/Ex25_Luc06_FR 0.012 0.014 0.026 0.026 0.026 0.028 0.028 0.028 0.028
TRS/TRCSR/Ex25_Luc06_GM 0.008 0.009 0.009 0.011 0.011 0.012 0.012 0.013 0.013
TRS/TRCSR/Ex25_Luc06_iGM 0.137 0.137 0.139 0.139 0.141 0.139 0.141 0.141 0.141
TRS/TRCSR/Ex25_Luc06_L 0.001 0.002 0.004 0.003 0.005 0.004 0.004 0.005 0.007
TRS/TRCSR/Ex25_Luc06_Z 0.012 0.013 0.014 0.014 0.014 0.015 0.016 0.016 0.017
TRS/TRCSR/Ex26_Luc03b_C 0.17 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex26_Luc03b_FR 0.031 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/Ex26_Luc03b_GM 0.17 0.172 0.173 0.173 0.174 0.174 0.176 0.176 0.151
TRS/TRCSR/Ex26_Luc03b_iGM 1.67 1.516 1.618 1.62 1.64 1.597 1.619 3.917 1.593
TRS/TRCSR/Ex26_Luc03b_L 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.002
TRS/TRCSR/Ex26_Luc03b_Z 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex2_Luc02a_C 0.19 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex2_Luc02a_FR 0.012 0.013 0.015 0.017 0.017 0.017 0.018 0.019 0.02
TRS/TRCSR/Ex2_Luc02a_GM 0.047 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex2_Luc02a_iGM 0.193 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex2_Luc02a_L 0.0 0.0 0.001 0.001 0.003 0.003 0.004 0.004 0.012
TRS/TRCSR/Ex2_Luc02a_Z 0.015 0.015 0.016 0.017 0.017 0.018 0.018 0.019 0.019
TRS/TRCSR/Ex2_Luc03b_C 0.119 0.119 0.12 0.121 0.121 0.123 0.123 0.124 0.123
TRS/TRCSR/Ex2_Luc03b_FR 0.024 0.024 0.025 0.025 0.026 0.027 0.027 0.027 0.015
TRS/TRCSR/Ex2_Luc03b_GM 0.069 0.07 0.071 0.072 0.074 0.073 0.06 0.061 0.064
TRS/TRCSR/Ex2_Luc03b_iGM 0.39 0.45 0.47 0.397 0.397 0.411 0.412 0.399 0.41
TRS/TRCSR/Ex2_Luc03b_L 0.002 0.002 0.006 0.004 0.004 0.004 0.006 0.005 0.007
TRS/TRCSR/Ex2_Luc03b_Z 0.047 0.048 0.048 0.048 0.05 0.049 0.05 0.05 0.051
TRS/TRCSR/Ex3_12_Luc96a_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_12_Luc96a_FR 0.01 0.011 0.012 0.012 0.013 0.013 0.014 0.015 0.015
TRS/TRCSR/Ex3_12_Luc96a_GM 0.037 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_12_Luc96a_iGM 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_12_Luc96a_Z 0.0 0.004 0.005 0.006 0.005 0.007 0.007 0.008 0.008
TRS/TRCSR/Ex3_2_Luc97_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_2_Luc97_FR 0.078 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_2_Luc97_GM 0.048 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_2_Luc97_iGM 0.152 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/Ex3_2_Luc97_Z 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_3_25_Bor03_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_3_25_Bor03_FR 0.021 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_3_25_Bor03_GM 0.164 0.166 0.166 0.167 0.168 0.169 0.17 0.171 0.172
TRS/TRCSR/Ex3_3_25_Bor03_iGM 0.55 0.54 0.52 0.53 0.54 0.55 0.57 0.55 0.492
TRS/TRCSR/Ex3_3_25_Bor03_L 0.005 0.005 0.008 0.006 0.006 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex3_3_25_Bor03_Z 0.037 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_4_Luc96b_C 0.06 0.061 0.063 0.064 0.066 0.067 0.068 0.068 0.069
TRS/TRCSR/Ex4_4_Luc96b_FR 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_4_Luc96b_GM 0.022 0.022 0.023 0.024 0.025 0.025 0.025 0.026 0.026
TRS/TRCSR/Ex4_4_Luc96b_iGM 0.064 0.064 0.064 0.066 0.065 0.066 0.067 0.067 0.067
TRS/TRCSR/Ex4_4_Luc96b_L 0.003 0.004 0.004 0.004 0.004 0.006 0.006 0.006 0.006
TRS/TRCSR/Ex4_4_Luc96b_Z 0.001 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_15_Bor03_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_15_Bor03_FR 0.018 0.018 0.019 0.02 0.021 0.021 0.021 0.021 0.022
TRS/TRCSR/Ex4_7_15_Bor03_GM 0.031 0.03 0.031 0.031 0.031 0.032 0.033 0.033 0.033
TRS/TRCSR/Ex4_7_15_Bor03_iGM 0.1 0.1 0.073 0.074 0.075 0.076 0.077 0.076 0.076
TRS/TRCSR/Ex4_7_15_Bor03_L 0.002 0.004 0.004 0.004 0.004 0.005 0.005 0.006 0.007
TRS/TRCSR/Ex4_7_15_Bor03_Z 0.005 0.006 0.006 0.007 0.007 0.007 0.007 0.008 0.008
TRS/TRCSR/Ex4_7_37_Bor03_C 0.127 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_37_Bor03_FR 0.083 0.083 0.083 0.084 0.084 0.085 0.085 0.085 0.073
TRS/TRCSR/Ex4_7_37_Bor03_GM 0.135 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_37_Bor03_iGM 0.215 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_37_Bor03_Z 0.03 0.03 0.031 0.031 0.032 0.032 0.032 0.032 0.02
TRS/TRCSR/Ex4_7_56_Bor03_C 0.034 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/Ex4_7_56_Bor03_FR 0.005 0.005 0.005 0.007 0.006 0.007 0.006 0.0 0.0
TRS/TRCSR/Ex4_7_56_Bor03_GM 0.028 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_56_Bor03_iGM 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_56_Bor03_Z 0.0 0.0 0.0 0.0 0.004 0.004 0.004 0.006 0.007
TRS/TRCSR/Ex4_7_77_Bor03_C 0.053 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_77_Bor03_FR 0.001 0.002 0.003 0.003 0.004 0.005 0.005 0.006 0.006
TRS/TRCSR/Ex4_7_77_Bor03_GM 0.014 0.015 0.015 0.015 0.016 0.017 0.017 0.017 0.0
TRS/TRCSR/Ex4_7_77_Bor03_iGM 0.071 0.071 0.072 0.072 0.073 0.073 0.048 0.05 0.061
TRS/TRCSR/Ex4_7_77_Bor03_Z 0.006 0.006 0.007 0.007 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex49_GM04_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex49_GM04_FR 0.062 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex49_GM04_GM 0.11 0.114 0.113 0.114 0.115 0.116 0.116 0.117 0.117
TRS/TRCSR/Ex49_GM04_iGM 0.737 0.738 0.74 0.74 0.742 0.74 0.742 0.73 1.829
TRS/TRCSR/Ex49_GM04_Z 0.11 0.111 0.113 0.114 0.115 0.117 0.118 0.118 0.118
TRS/TRCSR/Ex4_DLMMU04_C 0.249 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_DLMMU04_FR 0.312 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_DLMMU04_GM 0.881 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_DLMMU04_iGM 2.692 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_DLMMU04_Z 0.273 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_Zan97_C 0.049 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_Zan97_FR 0.005 0.005 0.006 0.006 0.007 0.007 0.007 0.0 0.0
TRS/TRCSR/Ex4_Zan97_GM 0.042 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_Zan97_iGM 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_Zan97_Z 0.0 0.0 0.0 0.006 0.006 0.007 0.008 0.008 0.009
TRS/TRCSR/Ex5_7_Luc97_C 0.187 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/Ex5_7_Luc97_FR 0.145 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_7_Luc97_GM 0.065 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_7_Luc97_iGM 0.357 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_7_Luc97_Z 0.135 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_DLMMU04_C 0.139 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_DLMMU04_FR 0.035 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_DLMMU04_GM 0.051 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_DLMMU04_iGM 0.248 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_DLMMU04_Z 0.04 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_Zan97_C 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_Zan97_FR 0.006 0.006 0.005 0.006 0.006 0.006 0.0 0.0 0.0
TRS/TRCSR/Ex5_Zan97_GM 0.08 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_Zan97_iGM 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_Zan97_Z 0.0 0.0 0.0 0.002 0.003 0.004 0.005 0.005 0.006
TRS/TRCSR/Ex6_15_AEL02_C 0.533 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_15_AEL02_FR 0.137 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_15_AEL02_GM 0.136 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_15_AEL02_iGM 0.632 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_15_AEL02_Z 0.14 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_9_Luc02c_C 0.08 0.055 0.08 0.072 0.07 0.072 0.074 0.074 0.075
TRS/TRCSR/Ex6_9_Luc02c_FR 0.001 0.001 0.002 0.003 0.004 0.004 0.005 0.005 0.012
TRS/TRCSR/Ex6_9_Luc02c_GM 0.041 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_9_Luc02c_iGM 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_9_Luc02c_Z 0.006 0.007 0.006 0.007 0.007 0.007 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_C 0.018 60.0 0.413 60.0 0.325 0.61 0.086 0.516 0.09
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/Ex6_GM04_FR 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_GM04_GM 0.002 0.004 0.004 0.004 0.004 0.005 0.005 0.007 0.007
TRS/TRCSR/Ex6_GM04_iGM 0.019 0.018 0.019 0.019 0.02 0.0 0.02 0.0 0.0
TRS/TRCSR/Ex6_GM04_L 0.0 0.0 0.0 0.0 0.0 0.0 0.001 0.002 0.002
TRS/TRCSR/Ex6_GM04_Z 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_Luc98_C 0.1 0.1 0.065 0.065 0.066 0.066 0.067 0.067 0.055
TRS/TRCSR/Ex6_Luc98_FR 0.012 0.015 0.016 0.017 0.018 0.019 0.02 0.021 0.022
TRS/TRCSR/Ex6_Luc98_GM 0.028 0.028 0.029 0.03 0.029 0.017 0.019 0.02 0.022
TRS/TRCSR/Ex6_Luc98_iGM 0.056 0.057 0.059 0.058 0.06 0.061 0.062 0.062 0.062
TRS/TRCSR/Ex6_Luc98_L 0.003 0.004 0.004 0.005 0.005 0.006 0.005 0.0 0.0
TRS/TRCSR/Ex6_Luc98_Z 0.0 0.0 0.0 0.0 0.0 0.0 0.005 0.006 0.007
TRS/TRCSR/Ex7_BLR02_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex7_BLR02_FR 0.016 0.017 0.018 0.018 0.019 0.019 0.019 0.019 0.06
TRS/TRCSR/Ex7_BLR02_GM 0.027 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex7_BLR02_iGM 0.144 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex7_BLR02_Z 0.0 0.0 0.001 0.002 0.003 0.011 0.012 0.013 0.014
TRS/TRCSR/Ex8_BLR02_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex8_BLR02_FR 0.006 0.006 0.007 0.031 0.031 0.031 0.031 0.0 0.0
TRS/TRCSR/Ex8_BLR02_GM 0.086 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex8_BLR02_iGM 0.132 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex8_BLR02_Z 0.001 0.008 0.009 0.01 0.01 0.011 0.011 0.012 0.014
TRS/TRCSR/Ex9_BLR02_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_BLR02_FR 0.044 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_BLR02_GM 0.068 0.069 0.071 0.077 0.079 0.073 0.074 0.081 0.08
TRS/TRCSR/Ex9_BLR02_iGM 0.48 0.47 0.397 0.4 0.398 0.398 0.385 0.387 0.392
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/Ex9_BLR02_L 0.0 0.0 0.0 0.0 0.002 0.002 0.003 0.004 0.005
TRS/TRCSR/Ex9_BLR02_Z 0.04 0.041 0.041 0.041 0.041 0.041 0.0 0.029 0.031
TRS/TRCSR/Ex9_Luc04_C 0.052 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc04_FR 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc04_GM 0.045 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc04_iGM 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc04_L 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc04_Z 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc06_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc06_FR 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc06_GM 0.033 0.034 0.034 0.035 0.035 0.036 0.036 0.037 0.023
TRS/TRCSR/Ex9_Luc06_iGM 0.08 0.081 0.082 0.083 0.083 0.083 0.083 0.059 0.059
TRS/TRCSR/Ex9_Luc06_L 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc06_Z 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExAppendixB_AEL03_C 0.437 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExAppendixB_AEL03_FR 0.003 0.004 0.005 0.005 0.006 0.007 0.007 0.007 0.008
TRS/TRCSR/ExAppendixB_AEL03_GM 0.116 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExAppendixB_AEL03_iGM 0.468 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExAppendixB_AEL03_Z 0.001 0.002 0.003 0.004 0.004 0.026 0.026 0.027 0.026
TRS/TRCSR/ExConc_Zan97_C 0.072 0.073 0.074 0.074 0.074 0.075 0.074 0.062 0.064
TRS/TRCSR/ExConc_Zan97_FR 0.0 0.0 0.0 0.005 0.006 0.006 0.007 0.008 0.008
TRS/TRCSR/ExConc_Zan97_GM 0.007 0.008 0.009 0.008 0.009 0.009 0.01 0.01 0.01
TRS/TRCSR/ExConc_Zan97_iGM 0.073 0.073 0.074 0.061 0.064 0.065 0.067 0.068 0.069
TRS/TRCSR/ExConc_Zan97_L 0.0 0.001 0.002 0.002 0.003 0.003 0.004 0.004 0.005
TRS/TRCSR/ExConc_Zan97_Z 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/ExIntrod_GM01_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM01_FR 0.036 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM01_GM 0.143 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM01_iGM 0.457 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM01_Z 0.031 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM04_C 0.048 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM04_FR 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM04_GM 0.028 0.029 0.03 0.031 0.032 0.033 0.034 0.034 0.034
TRS/TRCSR/ExIntrod_GM04_iGM 0.431 0.432 0.416 0.426 0.412 0.44 0.425 0.416 0.41
TRS/TRCSR/ExIntrod_GM04_Z 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM99_C 0.155 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM99_FR 0.03 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM99_GM 0.051 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM99_iGM 0.248 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM99_Z 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_Zan97_C 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_Zan97_FR 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_Zan97_GM 0.041 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_Zan97_iGM 0.178 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_Zan97_Z 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExProp7_Luc06_C 0.035 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExProp7_Luc06_FR 0.01 60.0 0.019 0.005 0.007 0.001 0.007 0.008 0.008
TRS/TRCSR/ExProp7_Luc06_GM 0.075 60.0 0.16 60.0 0.17 60.0 0.043 60.0 0.048
TRS/TRCSR/ExProp7_Luc06_iGM 0.1 60.0 0.348 60.0 0.349 60.0 0.08 60.0 0.083
TRS/TRCSR/ExProp7_Luc06_L 0.005 0.006 0.007 0.007 0.008 0.007 0.008 0.009 0.011
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/ExProp7_Luc06_Z 0.0 0.0 0.016 0.006 0.008 0.008 0.009 0.01 0.01
TRS/TRCSR/ExSec11_1_Luc02a_C 0.147 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExSec11_1_Luc02a_FR 0.0 0.012 0.014 0.015 0.017 0.018 0.019 0.019 0.021
TRS/TRCSR/ExSec11_1_Luc02a_GM 0.061 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExSec11_1_Luc02a_iGM 0.266 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExSec11_1_Luc02a_L 0.0 0.0 0.0 0.0 0.001 0.002 0.004 0.004 0.015
TRS/TRCSR/ExSec11_1_Luc02a_Z 0.023 0.023 0.024 0.025 0.025 0.024 0.025 0.0 0.0
TRS/TRCSR/ExSec4_2_DLMMU04_C 0.475 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExSec4_2_DLMMU04_FR 0.003 0.003 0.004 0.005 0.006 0.006 0.023 0.023 0.0
TRS/TRCSR/ExSec4_2_DLMMU04_GM 0.11 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExSec4_2_DLMMU04_iGM 0.464 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExSec4_2_DLMMU04_Z 0.002 0.003 0.003 0.004 0.005 0.005 0.014 0.014 0.015
TRS/TRCSR/LengthOfFiniteLists_complete_C 1.494 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete_FR 0.193 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete_GM 1.491 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete_iGM 18.361 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete_noand_C 16.291 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete-noand_FR 2.985 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete_noand_GM 3.591 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete_noand_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete-noand_Z 2.743 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete_Z 2.359 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_C 0.19 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_FR 0.89 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_GM 0.399 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/LengthOfFiniteLists_nokinds_iGM 1.944 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_C 0.679 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_FR 0.378 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_GM 0.522 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_iGM 20.573 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_Z 0.371 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_Z 0.596 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_C 0.13 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_FR 0.16 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_GM 0.126 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_iGM 0.528 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_C 0.148 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR 0.112 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_GM 0.125 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_iGM 0.62 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_Z 0.113 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_Z 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete_FR 1.997 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete_GM 5.025 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete_iGM 48.072 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete_noand_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete-noand_FR 8.28 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete_noand_GM 54.065 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete_noand_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/LISTUTILITIES_complete-noand_Z 3.555 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete_Z 0.724 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_C 5.659 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_FR 0.34 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_GM 0.461 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_iGM 3.116 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_noand_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds-noand_FR 0.545 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_noand_GM 1.65 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_noand_iGM 14.99 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds-noand_Z 0.467 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_Z 0.213 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nosorts_C 0.749 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nosorts_FR 0.013 0.014 0.016 0.016 0.018 0.019 0.019 0.019 0.021
TRS/TRCSR/LISTUTILITIES_nosorts_GM 0.128 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nosorts_iGM 0.626 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nosorts_noand_C 16.23 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR 0.044 0.046 0.046 0.047 0.049 0.05 0.05 0.05 0.051
TRS/TRCSR/LISTUTILITIES_nosorts_noand_GM 0.47 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nosorts_noand_iGM 6.857 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nosorts-noand_Z 0.037 0.04 0.039 0.04 0.042 0.042 0.043 0.043 0.045
TRS/TRCSR/LISTUTILITIES_nosorts_Z 0.002 0.002 0.007 0.01 0.011 0.012 0.013 0.015 0.016
TRS/TRCSR/MYNAT_complete_C 1.313 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete_FR 0.135 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete_GM 0.198 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/MYNAT_complete_iGM 1.166 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete_noand_C 29.646 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete-noand_FR 0.336 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete_noand_GM 1.612 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete_noand_iGM 5.877 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete-noand_Z 0.337 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete_Z 0.123 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_C 0.192 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_FR 0.047 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_GM 0.07 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_iGM 0.341 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_noand_C 0.875 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds-noand_FR 0.076 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_noand_GM 0.19 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_noand_iGM 0.75 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds-noand_Z 0.059 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_Z 0.051 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nosorts_C 0.035 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nosorts_FR 0.002 0.003 0.003 0.004 0.004 0.005 0.005 0.005 0.01
TRS/TRCSR/MYNAT_nosorts_GM 0.052 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nosorts_iGM 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nosorts_noand_C 0.147 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nosorts-noand_FR 0.026 0.027 0.027 0.028 0.027 0.028 0.029 0.029 0.03
TRS/TRCSR/MYNAT_nosorts_noand_GM 0.038 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nosorts_noand_iGM 0.229 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/MYNAT_nosorts-noand_Z 0.019 0.021 0.023 0.023 0.025 0.025 0.027 0.026 0.028
TRS/TRCSR/MYNAT_nosorts_Z 0.0 0.0 0.0 0.0 0.0 0.005 0.006 0.007 0.007
TRS/TRCSR/OvConsOS_complete_C 4.524 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete_FR 0.246 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete_GM 9.428 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete_noand_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete-noand_FR 4.146 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete_noand_GM 5.156 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete_noand_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete-noand_Z 3.968 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete_Z 2.11 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_C 0.234 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_FR 0.557 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_GM 0.522 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_iGM 4.341 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_noand_C 2.196 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds-noand_FR 0.54 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_noand_GM 0.58 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_noand_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds-noand_Z 1.26 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_Z 1.844 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_C 0.135 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_FR 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_GM 0.068 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/OvConsOS_nosorts_iGM 0.687 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_noand_C 0.36 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts-noand_FR 0.049 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_noand_GM 0.134 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_noand_iGM 3.063 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts-noand_Z 0.04 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_Z 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_complete_C 2.717 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_complete_FR 0.526 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_complete_GM 7.441 7.193 9.052 7.197 7.146 7.144 9.948 7.144 7.165
TRS/TRCSR/PALINDROME_complete_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_complete_noand_C 40.679 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_complete-noand_FR 1.198 2.044 2.048 0.836 0.838 0.839 0.838 0.83 0.844
TRS/TRCSR/PALINDROME_complete_noand_GM 2.21 2.26 2.26 5.444 2.223 2.213 2.213 2.216 4.446
TRS/TRCSR/PALINDROME_complete_noand_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_complete-noand_L 0.148 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_complete-noand_Z 0.61 0.61 0.62 0.62 0.63 0.62 0.589 0.596 0.594
TRS/TRCSR/PALINDROME_complete_Z 0.283 0.284 0.279 0.281 0.28 0.282 0.28 0.269 0.27
TRS/TRCSR/PALINDROME_nokinds_C 0.073 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nokinds_FR 0.097 0.093 0.095 0.096 0.098 0.099 0.099 0.1 0.1
TRS/TRCSR/PALINDROME_nokinds_GM 0.065 0.065 0.067 0.068 0.069 0.07 0.071 0.071 0.072
TRS/TRCSR/PALINDROME_nokinds_iGM 2.265 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nokinds_noand_C 0.614 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nokinds-noand_FR 0.185 0.071 0.072 0.074 0.075 0.075 0.076 0.077 0.077
TRS/TRCSR/PALINDROME_nokinds_noand_GM 0.32 0.313 0.36 0.37 0.38 0.31 0.31 0.313 0.312
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/PALINDROME_nokinds_noand_iGM 14.31 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nokinds-noand_L 0.044 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nokinds-noand_Z 0.1 0.1 0.083 0.083 0.085 0.085 0.084 0.073 0.074
TRS/TRCSR/PALINDROME_nokinds_Z 0.116 0.118 0.118 0.12 0.12 0.12 0.122 0.122 0.122
TRS/TRCSR/PALINDROME_nosorts_C 0.025 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nosorts_FR 0.005 0.005 0.006 0.007 0.006 0.006 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts_GM 0.065 0.062 0.063 0.063 0.064 0.064 0.065 0.065 0.053
TRS/TRCSR/PALINDROME_nosorts_iGM 0.176 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nosorts_noand_C 0.11 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nosorts-noand_FR 0.007 0.007 0.008 0.009 0.009 0.01 0.01 0.01 0.011
TRS/TRCSR/PALINDROME_nosorts_noand_GM 0.1 0.1 0.066 0.067 0.068 0.068 0.069 0.069 0.071
TRS/TRCSR/PALINDROME_nosorts_noand_iGM 0.36 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nosorts-noand_L 0.007 0.006 0.006 0.006 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts-noand_Z 0.008 0.008 0.009 0.009 0.01 0.01 0.011 0.01 0.011
TRS/TRCSR/PALINDROME_nosorts_Z 0.0 0.0 0.0 0.006 0.006 0.006 0.008 0.008 0.009
TRS/TRCSR/PEANO_complete_C 0.332 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PEANO_complete_FR 0.084 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PEANO_complete_GM 0.424 0.433 0.431 0.431 0.422 0.432 0.433 0.433 0.421
TRS/TRCSR/PEANO_complete_iGM 13.119 9.284 12.506 9.302 9.009 10.896 9.044 9.057 11.543
TRS/TRCSR/PEANO_complete_noand_C 3.059 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PEANO_complete-noand_FR 1.19 1.188 1.191 0.53 0.487 0.488 0.487 0.489 0.49
TRS/TRCSR/PEANO_complete_noand_GM 0.459 0.456 0.458 0.459 0.462 0.462 0.463 0.464 0.464
TRS/TRCSR/PEANO_complete_noand_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PEANO_complete-noand_Z 0.674 0.675 0.672 0.676 0.649 0.664 0.665 0.665 0.666
TRS/TRCSR/PEANO_complete_Z 0.6 0.596 0.597 0.597 0.597 0.579 0.245 0.233 0.235
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/PEANO_nokinds_C 0.073 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PEANO_nokinds_FR 0.07 0.072 0.07 0.072 0.072 0.075 0.073 0.075 0.079
TRS/TRCSR/PEANO_nokinds_GM 0.17 0.112 0.111 0.111 0.112 0.114 0.115 0.115 0.118
TRS/TRCSR/PEANO_nokinds_iGM 1.156 1.167 1.163 1.162 1.161 1.17 1.173 1.162 1.151
TRS/TRCSR/PEANO_nokinds_noand_C 0.155 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PEANO_nokinds-noand_FR 0.083 0.085 0.086 0.087 0.089 0.089 0.09 0.091 0.093
TRS/TRCSR/PEANO_nokinds_noand_GM 0.11 0.19 0.111 0.113 0.114 0.046 0.046 0.047 0.047
TRS/TRCSR/PEANO_nokinds_noand_iGM 3.399 3.377 3.387 3.387 3.422 7.085 3.394 3.392 3.394
TRS/TRCSR/PEANO_nokinds-noand_Z 0.072 0.073 0.073 0.074 0.08 0.075 0.075 0.076 0.076
TRS/TRCSR/PEANO_nokinds_Z 0.054 0.055 0.057 0.057 0.057 0.059 0.059 0.06 0.06
TRS/TRCSR/PEANO_nosorts_C 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PEANO_nosorts_FR 0.005 0.006 0.006 0.006 0.006 0.006 0.0 0.0 0.0
TRS/TRCSR/PEANO_nosorts_GM 0.064 0.064 0.064 0.066 0.066 0.067 0.068 0.068 0.068
TRS/TRCSR/PEANO_nosorts_iGM 0.14 0.17 0.17 0.113 0.112 0.112 0.112 0.112 0.113
TRS/TRCSR/PEANO_nosorts_noand_C 0.043 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PEANO_nosorts-noand_FR 0.013 0.01 0.003 0.004 0.005 0.006 0.007 0.008 0.016
TRS/TRCSR/PEANO_nosorts_noand_GM 0.038 0.041 0.042 0.043 0.044 0.045 0.046 0.047 0.047
TRS/TRCSR/PEANO_nosorts_noand_iGM 0.416 0.422 0.417 0.426 0.428 0.421 0.718 1.061 1.058
TRS/TRCSR/PEANO_nosorts-noand_Z 0.013 0.0 0.002 0.003 0.005 0.006 0.007 0.015 0.016
TRS/TRCSR/PEANO_nosorts_Z 0.0 0.0 0.0 0.0 0.0 0.002 0.003 0.003 0.004
TRS/various/02 0.0 0.0 0.0 0.0 0.0 0.001 0.003 0.003 0.004
TRS/various/03 0.0 0.0 0.0 0.0 0.0 0.0 0.003 0.003 0.005
TRS/various/04 0.05 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/various/05 0.033 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/various/06 0.0 0.0 0.004 0.005 0.006 0.007 0.007 0.008 0.007
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/various/07 0.0 0.0 0.0 0.0 0.002 0.002 0.003 0.004 0.004
TRS/various/08 0.064 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/various/09 0.01 0.011 0.011 0.011 0.0 0.0 0.0 0.0 0.0
TRS/various/10 0.098 0.098 0.099 0.1 0.1 0.1 0.1 0.089 0.09
TRS/various/11 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/various/12 0.05 0.051 0.053 0.054 0.055 0.056 0.056 0.057 0.058
TRS/various/13 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.1
TRS/various/14 0.544 0.545 0.548 0.549 0.548 0.548 0.549 0.549 0.552
TRS/various/15 0.01 60.0 0.009 0.003 0.004 0.005 0.006 0.009 0.009
TRS/various/18 0.0 0.018 0.019 0.02 0.02 0.022 0.023 0.023 0.023
TRS/various/19 0.038 0.038 0.04 0.04 0.041 0.042 0.043 0.043 0.044
TRS/various/20 0.008 0.167 60.0 0.167 60.0 0.032 0.19 0.034 0.113
TRS/various/21 0.1 0.1 0.05 0.051 0.052 0.054 0.056 0.054 0.055
TRS/various/22 0.0 0.0 0.007 0.007 0.009 0.01 0.01 0.017 0.017
TRS/various/23 0.015 0.016 0.017 0.019 0.019 0.02 0.021 0.021 0.023
TRS/various/24 0.043 0.043 0.046 0.047 0.048 0.049 0.05 0.05 0.051
TRS/various/25 0.006 0.007 0.009 0.01 0.011 0.012 0.013 0.013 0.015
TRS/various/26 0.028 0.028 0.03 0.031 0.032 0.033 0.034 0.034 0.034
TRS/various/27 0.004 0.007 0.007 0.008 0.01 0.01 0.012 0.012 0.012
TRS/Waldmann/jwaprove1 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwaprove2 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwcime1 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwcime2 0.008 0.018 3.624 0.013 3.611 0.013 0.018 0.014 0.019
TRS/Waldmann/jwmatchb1 0.003 60.0 0.032 60.0 0.032 0.08 0.009 0.009 0.012
TRS/Waldmann/jwmatchb2 0.002 60.0 0.033 60.0 0.034 0.008 0.009 0.009 0.01
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/Waldmann/jwno1 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno2 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno3 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno4 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno5 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno6 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno7 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno8 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno9 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwteparla1 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwteparla2 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwtpa1 0.019 0.036 0.182 0.017 0.184 0.022 0.032 0.033 0.034
TRS/Waldmann/jwtpa2 0.028 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwttt 0.037 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema06/beans 0.054 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema06/gcdMinMax 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema06/gcd 0.032 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema06/hydra 0.025 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema06/test1 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema06/while2 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema06/while 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/jw01 0.009 0.011 0.013 0.011 0.013 0.013 0.013 0.013 0.014
TRS/Zantema/jw02 0.007 0.009 0.012 0.011 0.013 0.013 0.012 0.013 0.013
TRS/Zantema/jw03 0.007 0.009 0.017 0.01 0.013 0.012 0.012 0.012 0.013
TRS/Zantema/jw04 0.006 0.008 0.012 0.01 0.012 0.011 0.01 0.012 0.012
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/Zantema/jw05 0.008 0.011 0.014 0.012 0.014 0.013 0.013 0.014 0.013
TRS/Zantema/jw06 0.007 0.009 0.014 0.011 0.014 0.012 0.013 0.013 0.013
TRS/Zantema/jw07 0.009 0.012 0.015 0.014 0.015 0.015 0.014 0.015 0.014
TRS/Zantema/jw08 0.008 0.011 0.014 0.012 0.014 0.014 0.014 0.014 0.015
TRS/Zantema/jw09 0.01 0.012 0.019 0.013 0.017 0.015 0.015 0.015 0.015
TRS/Zantema/jw11 0.004 0.005 0.004 0.006 0.006 0.007 0.008 0.008 0.009
TRS/Zantema/jw12 0.0 0.004 0.005 0.006 0.006 0.007 0.008 0.008 0.009
TRS/Zantema/jw13 0.008 0.011 0.018 0.013 0.02 0.014 0.013 0.015 0.015
TRS/Zantema/jw14 0.0 0.002 0.003 0.003 0.004 0.004 0.005 0.006 0.006
TRS/Zantema/jw15 0.008 0.011 0.018 0.012 0.014 0.014 0.013 0.014 0.014
TRS/Zantema/jw16 0.01 0.013 0.029 0.014 0.017 0.016 0.015 0.016 0.016
TRS/Zantema/jw17 0.01 0.013 0.031 0.013 0.018 0.015 0.015 0.016 0.016
TRS/Zantema/jw18 0.009 0.013 0.027 0.015 0.017 0.015 0.015 0.015 0.016
TRS/Zantema/jw19 0.011 0.017 0.038 0.02 0.039 0.021 0.027 0.022 0.029
TRS/Zantema/jw20 0.009 0.012 0.033 0.013 0.017 0.015 0.015 0.015 0.016
TRS/Zantema/jw21 0.01 0.015 0.018 0.014 0.017 0.016 0.015 0.016 0.016
TRS/Zantema/jw22 0.011 0.014 0.019 0.014 0.016 0.015 0.015 0.016 0.016
TRS/Zantema/jw23 0.01 0.014 0.032 0.013 0.016 0.015 0.015 0.015 0.016
TRS/Zantema/jw24 0.01 0.012 0.091 0.014 0.018 0.015 0.015 0.016 0.017
TRS/Zantema/jw25 0.008 0.011 0.016 0.012 0.016 0.013 0.013 0.015 0.013
TRS/Zantema/jw26 0.007 0.01 0.013 0.011 0.013 0.013 0.012 0.013 0.014
TRS/Zantema/jw27 0.011 0.014 0.016 0.015 0.016 0.016 0.016 0.016 0.017
TRS/Zantema/jw28 0.008 0.012 0.015 0.012 0.015 0.014 0.014 0.014 0.014
TRS/Zantema/jw29 0.009 0.012 0.021 0.013 0.017 0.014 0.015 0.015 0.015
TRS/Zantema/jw30 0.01 0.016 0.027 0.018 0.029 0.02 0.022 0.022 0.025
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/Zantema/jw31 0.01 0.014 0.019 0.015 0.017 0.014 0.014 0.015 0.014
TRS/Zantema/jw32 0.011 0.015 0.023 0.015 0.019 0.017 0.016 0.016 0.018
TRS/Zantema/jw33 0.009 0.012 0.023 0.013 0.016 0.014 0.014 0.015 0.015
TRS/Zantema/jw34 0.008 0.011 0.015 0.012 0.014 0.013 0.013 0.014 0.015
TRS/Zantema/jw35 0.002 0.002 0.003 0.004 0.004 0.004 0.006 0.006 0.006
TRS/Zantema/jw36 0.01 0.014 0.02 0.016 0.022 0.015 0.016 0.017 0.017
TRS/Zantema/jw37 0.0 0.004 0.005 0.006 0.006 0.007 0.007 0.008 0.009
TRS/Zantema/jw38 0.0 0.004 0.004 0.007 0.019 0.012 0.008 0.007 0.009
TRS/Zantema/jw39 0.011 0.014 0.041 0.016 0.018 0.017 0.016 0.017 0.018
TRS/Zantema/jw40 0.011 0.014 0.044 0.016 0.018 0.017 0.015 0.017 0.017
TRS/Zantema/jw41 0.012 0.014 0.019 0.014 0.017 0.016 0.016 0.016 0.017
TRS/Zantema/jw42 0.01 0.012 0.022 0.013 0.016 0.015 0.015 0.015 0.015
TRS/Zantema/jw43 0.01 0.012 0.017 0.012 0.015 0.014 0.014 0.014 0.015
TRS/Zantema/jw44 0.0 0.003 0.004 0.005 0.006 0.006 0.007 0.007 0.008
TRS/Zantema/jw47 0.0 0.004 0.005 0.006 0.006 0.007 0.007 0.008 0.008
TRS/Zantema/jw50 0.007 0.011 0.014 0.012 0.013 0.014 0.013 0.013 0.014
TRS/Zantema/z01 0.025 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z02 0.007 0.074 0.027 0.077 0.03 0.017 0.025 0.018 0.026
TRS/Zantema/z03 0.026 0.697 0.08 0.73 0.077 0.032 0.075 0.034 0.076
TRS/Zantema/z04 0.001 0.001 0.001 0.002 0.003 0.004 0.004 0.005 0.008
TRS/Zantema/z05 0.032 60.0 60.0 60.0 60.0 0.037 60.0 0.039 60.0
TRS/Zantema/z06 0.023 60.0 0.075 0.031 0.077 0.036 0.052 0.034 0.054
TRS/Zantema/z07 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z08 0.009 60.0 0.022 60.0 0.024 60.0 0.014 60.0 0.015
TRS/Zantema/z09 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/Zantema/z10 0.018 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z11 0.026 60.0 0.188 0.054 0.125 60.0 0.052 0.054 0.053
TRS/Zantema/z12 0.046 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z13 0.043 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z14 0.036 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z15 0.033 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z16 0.037 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z17 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z18 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z19 0.024 60.0 3.66 60.0 3.62 60.0 0.191 60.0 0.192
TRS/Zantema/z20 0.024 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z21 0.018 60.0 0.51 60.0 0.58 60.0 0.039 60.0 0.041
TRS/Zantema/z22 0.025 60.0 2.529 60.0 2.523 0.378 0.043 0.388 0.043
TRS/Zantema/z23 0.011 60.0 0.315 60.0 0.132 60.0 0.038 60.0 0.039
TRS/Zantema/z24 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z25 0.059 60.0 0.092 60.0 0.092 0.071 0.066 0.071 0.066
TRS/Zantema/z26 0.087 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z27 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z28 0.022 60.0 0.143 60.0 60.0 60.0 0.145 60.0 60.0
TRS/Zantema/z29 0.062 0.064 0.064 0.064 0.065 0.066 0.066 0.028 0.0
TRS/Zantema/z30 0.067 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Yes No Maybe Timeout