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.072 0.069 0.069 0.07 0.071 0.071 0.071 0.071 0.074
TRS/AG01/#3.12 0.009 0.01 0.01 0.01 0.011 0.012 0.012 0.02 0.0
TRS/AG01/#3.13 0.098 0.098 0.098 0.098 0.099 0.099 0.099 0.1 0.1
TRS/AG01/#3.14 0.011 0.012 0.013 0.014 0.014 0.015 0.015 0.015 0.017
TRS/AG01/#3.15 0.014 0.014 0.015 0.016 0.016 0.018 0.018 0.018 0.019
TRS/AG01/#3.16 0.007 0.008 0.009 0.01 0.012 0.012 0.012 0.013 0.013
TRS/AG01/#3.17a 0.037 0.037 0.041 0.04 0.04 0.041 0.043 0.042 0.044
TRS/AG01/#3.17 0.036 0.056 0.051 0.037 0.039 0.039 0.039 0.04 0.039
TRS/AG01/#3.18 0.019 0.021 0.02 0.022 0.022 0.023 0.024 0.024 0.025
TRS/AG01/#3.19 0.027 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AG01/#3.1 0.008 0.009 0.01 0.011 0.012 0.013 0.013 0.014 0.015
TRS/AG01/#3.21 0.009 60.0 60.0 0.012 0.036 60.0 60.0 0.013 0.014
TRS/AG01/#3.22 0.017 60.0 60.0 60.0 0.259 60.0 60.0 0.012 0.026
TRS/AG01/#3.23 0.0 0.0 0.0 0.0 0.003 0.004 0.005 0.006 0.006
TRS/AG01/#3.24 0.006 0.007 0.008 0.01 0.01 0.01 0.012 0.012 0.013
TRS/AG01/#3.26 0.007 0.006 0.008 0.008 0.01 0.01 0.011 0.011 0.012
TRS/AG01/#3.29 0.005 0.006 0.006 0.007 0.008 0.009 0.009 0.01 0.01
TRS/AG01/#3.2 0.012 0.013 0.013 0.014 0.015 0.016 0.016 0.017 0.017
TRS/AG01/#3.31 0.002 0.003 0.004 0.004 0.005 0.007 0.007 0.007 0.007
TRS/AG01/#3.33 0.0 0.003 0.004 0.005 0.006 0.006 0.006 0.008 0.008
TRS/AG01/#3.35 0.003 0.004 0.004 0.005 0.006 0.008 0.008 0.008 0.009
TRS/AG01/#3.36 0.023 0.024 0.024 0.025 0.026 0.027 0.027 0.028 0.028
TRS/AG01/#3.37 0.006 0.006 0.007 0.008 0.008 0.008 0.009 0.01 0.01
TRS/AG01/#3.38 0.016 0.016 0.017 0.017 0.019 0.02 0.02 0.02 0.021
TRS/AG01/#3.39 0.054 60.0 60.0 0.072 0.891 60.0 60.0 0.043 0.046
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/AG01/#3.40 0.062 60.0 60.0 60.0 7.397 60.0 60.0 60.0 0.581
TRS/AG01/#3.41 0.0 0.003 60.0 0.002 0.004 0.008 60.0 0.005 0.006
TRS/AG01/#3.42 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AG01/#3.47 0.01 0.009 0.009 0.011 0.01 0.0 0.0 0.0 0.0
TRS/AG01/#3.48 0.016 0.017 0.018 0.018 0.0 0.0 0.0 0.009 0.011
TRS/AG01/#3.49 0.03 0.029 0.033 0.034 0.033 0.033 0.035 0.035 0.036
TRS/AG01/#3.4 0.019 0.02 0.021 0.022 0.022 0.023 0.024 0.024 0.026
TRS/AG01/#3.51 0.005 0.006 0.007 0.007 0.007 0.009 0.009 0.01 0.009
TRS/AG01/#3.52 0.004 0.005 0.006 0.006 0.007 0.008 0.008 0.009 0.01
TRS/AG01/#3.53a 0.006 0.006 0.007 0.009 0.008 0.009 0.01 0.01 0.01
TRS/AG01/#3.53b 0.005 0.006 0.006 0.007 0.008 0.008 0.009 0.009 0.009
TRS/AG01/#3.53 0.073 0.074 0.073 0.074 0.075 0.076 0.075 0.076 0.077
TRS/AG01/#3.54 0.014 0.014 0.015 0.016 0.016 0.017 0.018 0.018 0.018
TRS/AG01/#3.55 0.099 0.099 0.099 0.1 0.101 0.1 0.1 0.1 0.1
TRS/AG01/#3.56 0.016 0.016 0.017 0.019 0.018 0.019 0.02 0.02 0.02
TRS/AG01/#3.57 0.078 0.078 0.08 0.081 0.08 0.082 0.082 0.082 0.082
TRS/AG01/#3.5a 0.028 0.029 0.03 0.031 0.032 0.032 0.032 0.034 0.033
TRS/AG01/#3.5b 0.033 0.034 0.035 0.036 0.037 0.037 0.038 0.039 0.039
TRS/AG01/#3.5 0.027 0.028 0.029 0.029 0.031 0.031 0.032 0.032 0.032
TRS/AG01/#3.6a 0.033 0.034 0.034 0.036 0.036 0.036 0.037 0.038 0.037
TRS/AG01/#3.6b 0.066 0.066 0.066 0.068 0.068 0.068 0.069 0.07 0.07
TRS/AG01/#3.6 0.035 0.035 0.036 0.036 0.038 0.038 0.038 0.038 0.04
TRS/AG01/#3.7 0.011 0.011 0.012 0.012 0.014 0.013 0.015 0.014 0.015
TRS/AG01/#3.8a 0.032 0.032 0.032 0.034 0.035 0.036 0.038 0.037 0.037
TRS/AG01/#3.8b 0.046 0.047 0.047 0.049 0.049 0.049 0.05 0.05 0.051
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/AG01/#4.30c 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/aprove08/id_inc 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/aprove08/log 0.05 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/aprove08/parting01_reverse 0.028 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/aprove08/parting02_doublelist 0.037 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/aprove08/parting03_minsort 0.04 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/aprove08/parting04_maxsort_h 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/aprove08/parting05_maxsort 0.095 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/aprove08/round_nonterm 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/aprove08/round 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/aprove08/thiemann40_modified 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/AAECC-ring 0.165 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/AAECC 0.042 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/fac 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/forward_instantiation2 0.0 0.032 0.023 60.0 60.0 0.035 0.025 60.0 60.0
TRS/AProVE/forward_instantiation 0.0 0.033 0.022 60.0 60.0 0.035 0.025 60.0 60.0
TRS/AProVE/IJCAR_12 0.028 0.03 0.031 0.031 0.034 0.033 0.035 0.035 0.036
TRS/AProVE/IJCAR_18 0.068 0.069 0.071 0.07 0.071 0.072 0.072 0.073 0.073
TRS/AProVE/IJCAR_1 0.015 0.015 0.015 0.017 0.017 0.017 0.018 0.018 0.019
TRS/AProVE/IJCAR_26a 0.099 60.0 60.0 0.099 0.111 60.0 60.0 0.082 0.101
TRS/AProVE/IJCAR_26 0.088 60.0 60.0 0.08 0.11 60.0 60.0 0.08 0.1
TRS/AProVE/improved_usable2 0.005 0.004 0.005 0.006 0.007 0.007 0.012 0.012 0.012
TRS/AProVE/improved_usable 0.01 0.01 0.011 0.012 0.013 0.013 0.014 0.014 0.014
TRS/AProVE/JFP_Ex31 0.045 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/JFP_Ex51 0.099 0.099 0.099 0.105 0.101 0.102 0.104 0.103 0.104
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/AProVE/Liveness6.1 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/Liveness6.2 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/Liveness6.3 0.046 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/Liveness6.4 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/Liveness8 0.036 0.037 0.038 0.039 0.041 0.043 0.042 0.043 0.044
TRS/AProVE/Liveness_WRS 0.122 60.0 1.566 60.0 0.477 60.0 0.123 60.0 0.123
TRS/AProVE/LPAR_intlist 0.0 0.001 0.002 0.004 0.004 0.004 0.006 0.006 0.013
TRS/AProVE/rta1 0.028 0.028 0.029 0.031 0.031 0.031 0.031 0.032 0.033
TRS/AProVE/rta2 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/AProVE/rta3 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/10 0.034 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/11 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/12 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/13 0.024 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/14 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/15 0.034 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/16 0.045 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/17 0.047 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/18 0.037 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/19 0.048 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/1 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/20 0.031 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/21 0.043 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/22 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/23 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/24 0.068 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/2 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/3 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/4 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/5 0.021 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/6 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/7 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/8 0.024 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Beerendonk/9 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Cime/ack_prolog 0.0 0.0 0.0 0.013 0.014 0.015 0.016 0.017 0.017
TRS/Cime/append-hard 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Cime/append 0.0 0.0 0.0 0.005 0.005 0.007 0.007 0.008 0.008
TRS/Cime/append-wrong 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Cime/big 0.352 0.352 0.354 0.343 0.357 0.345 0.345 0.358 0.36
TRS/Cime/boolean_rings 0.004 0.004 0.006 0.005 0.007 0.006 0.016 0.017 0.017
TRS/Cime/dpqs 0.005 0.005 0.007 0.007 0.007 0.008 0.008 0.008 0.009
TRS/Cime/fact-hard 0.032 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Cime/filliatre2 0.06 0.061 0.062 0.062 0.063 0.064 0.065 0.065 0.067
TRS/Cime/filliatre3 0.099 0.099 0.099 0.1 0.101 0.099 0.082 0.071 0.07
TRS/Cime/filliatre 0.036 0.036 0.036 0.037 0.041 0.038 0.038 0.039 0.039
TRS/Cime/intersect 0.03 0.029 0.031 0.031 0.031 0.032 0.033 0.034 0.033
TRS/Cime/list-sum-prod-assoc-append 0.011 0.011 0.012 0.012 0.014 0.013 0.014 0.014 0.015
TRS/Cime/list-sum-prod-assoc 0.008 0.009 0.009 0.01 0.01 0.01 0.011 0.011 0.011
TRS/Cime/list-sum-prod-bin-assoc-distr-app 0.044 0.045 0.045 0.047 0.047 0.047 0.047 0.049 0.048
TRS/Cime/list-sum-prod-bin-assoc 0.027 0.029 0.028 0.031 0.031 0.031 0.032 0.031 0.019
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/Cime/list-sum-prod-bin 0.023 0.023 0.023 0.024 0.024 0.024 0.012 0.013 0.016
TRS/Cime/list-sum-prod 0.0 0.0 0.0 0.002 0.002 0.003 0.005 0.006 0.017
TRS/Cime/log2 0.099 0.099 0.098 0.098 0.099 0.1 0.1 0.101 0.102
TRS/Cime/lse 0.168 0.17 0.171 0.171 0.171 0.172 0.172 0.16 0.162
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.09 0.091 0.092 0.096 0.066 0.079 0.082 0.084 0.087
TRS/Cime/quick 0.018 0.019 0.019 0.021 0.021 0.022 0.023 0.023 0.023
TRS/Cime/ternary-hard 0.066 0.065 0.066 0.067 0.068 0.067 0.069 0.069 0.069
TRS/Cime/ternary 0.05 0.05 0.051 0.052 0.052 0.053 0.053 0.03 0.041
TRS/Cime/tree 0.352 0.352 0.353 0.353 0.354 0.329 0.342 0.343 0.345
TRS/CSR/Ex1_Luc04b_GM 0.051 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.10 0.636 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.13 0.493 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.16 0.046 60.0 60.0 0.048 0.052 60.0 60.0 0.051 0.051
TRS/currying/AG01/#3.18 0.076 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.22 0.073 60.0 60.0 60.0 12.201 60.0 60.0 0.094 0.085
TRS/currying/AG01/#3.25 0.032 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.27 0.006 0.008 0.009 0.01 0.013 0.014 0.014 0.015 0.015
TRS/currying/AG01/#3.2 0.051 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.32 0.009 0.009 0.011 0.011 0.013 0.013 0.015 0.014 0.015
TRS/currying/AG01/#3.36 0.055 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.38 0.064 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.40 0.166 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.45 0.049 0.049 0.049 0.05 0.036 0.039 0.041 0.042 0.042
TRS/currying/AG01/#3.48 0.039 0.04 0.043 0.043 0.043 0.044 0.044 0.045 0.045
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/currying/AG01/#3.52 0.022 0.024 0.024 0.024 0.025 0.025 0.025 0.026 0.027
TRS/currying/AG01/#3.55 0.505 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.57 0.461 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.6 0.111 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/AG01/#3.8 0.111 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/D33/01 0.02 0.02 0.02 0.02 0.02 0.009 0.01 0.012 0.015
TRS/currying/D33/02 0.009 0.01 0.011 0.012 0.013 0.014 0.015 0.016 0.016
TRS/currying/D33/06 0.017 0.016 0.017 0.018 0.018 0.019 0.019 0.02 0.02
TRS/currying/D33/08 0.045 0.046 0.048 0.047 0.048 0.049 0.048 0.037 0.037
TRS/currying/D33/11 0.31 0.313 0.313 0.317 0.318 0.319 0.318 0.342 0.32
TRS/currying/D33/12 0.077 60.0 60.0 0.091 0.278 60.0 60.0 0.078 0.183
TRS/currying/D33/13 0.105 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/D33/17 0.052 60.0 60.0 60.0 60.0 60.0 60.0 0.072 0.107
TRS/currying/D33/18 0.014 0.015 0.015 0.016 0.017 0.018 0.018 0.019 0.019
TRS/currying/D33/21 0.096 60.0 60.0 0.093 0.114 60.0 60.0 0.092 0.093
TRS/currying/D33/29 0.048 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/D33/30 0.07 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/D33/31 0.063 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/D33/33 0.097 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/Ste92/hydra 0.063 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/Ste92/minsort 0.194 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/Ste92/motivation 0.04 0.039 0.041 0.042 0.042 0.043 0.044 0.045 0.044
TRS/currying/Ste92/perfect2 0.244 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/currying/Ste92/perfect 0.169 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/D33/01 0.0 0.007 0.002 0.002 0.003 0.004 0.004 0.005 0.007
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/D33/02 0.005 0.004 0.006 0.006 0.006 0.007 0.007 0.007 0.008
TRS/D33/03 0.005 0.005 0.006 0.006 0.007 0.007 0.006 0.008 0.008
TRS/D33/04 0.007 0.007 0.008 0.007 0.009 0.009 0.009 0.009 0.009
TRS/D33/06 0.006 0.006 0.007 0.007 0.009 0.008 0.009 0.009 0.0
TRS/D33/07 0.012 0.012 0.012 0.012 0.0 0.0 0.0 0.005 0.005
TRS/D33/08 0.028 0.029 0.031 0.031 0.031 0.032 0.033 0.033 0.034
TRS/D33/09 0.007 0.007 0.008 0.008 0.009 0.009 0.01 0.011 0.009
TRS/D33/11 0.1 0.1 0.026 0.026 0.027 0.027 0.027 0.027 0.015
TRS/D33/12 0.015 0.015 0.015 0.002 0.004 0.005 0.007 0.008 0.009
TRS/D33/13 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/D33/17 0.0 0.011 0.013 0.013 0.015 0.015 0.016 0.017 0.017
TRS/D33/18 0.008 0.007 0.008 0.008 0.009 0.009 0.01 0.01 0.011
TRS/D33/20 0.05 0.049 0.05 0.05 0.051 0.051 0.05 0.052 0.039
TRS/D33/21 0.02 60.0 60.0 0.022 0.025 60.0 60.0 0.008 0.011
TRS/D33/27 0.0 0.0 0.0 0.003 0.004 0.004 0.006 0.006 0.006
TRS/D33/28 0.012 0.012 0.013 0.013 0.015 0.014 0.015 0.016 0.016
TRS/D33/30 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/D33/31 0.019 0.019 0.02 0.021 0.021 0.021 0.022 0.022 0.022
TRS/D33/32 0.0 0.007 0.001 0.013 0.014 0.014 0.016 0.016 0.017
TRS/D33/33 0.034 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/direct 0.013 0.099 2.201 0.028 0.821 0.058 0.023 0.034 0.024
TRS/Endrullis/labeling 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/linear1 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/linear2 0.061 60.0 0.239 60.0 0.239 60.0 60.0 60.0 60.0
TRS/Endrullis/pair2hard 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/Endrullis/pair2simple1 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/pair2simple2 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/pair3hard 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/pair3rotate 0.02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/pair3swap 0.021 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Endrullis/quadruple1 0.013 0.187 2.722 0.082 0.024 0.016 0.017 0.015 0.015
TRS/Endrullis/quadruple2 0.022 0.102 60.0 0.103 60.0 0.036 0.035 0.037 0.036
TRS/higher-order/AotoYam/001 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AotoYam/002 0.029 0.028 0.029 0.03 0.03 0.031 0.031 0.031 0.032
TRS/higher-order/AotoYam/003 0.033 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AotoYam/004 0.029 60.0 60.0 0.033 0.037 60.0 60.0 0.031 0.032
TRS/higher-order/AotoYam/005 0.013 0.013 0.013 0.014 0.015 0.015 0.016 0.015 0.016
TRS/higher-order/AotoYam/006 0.044 0.044 0.045 0.044 0.045 0.045 0.0 0.0 0.036
TRS/higher-order/AotoYam/007 0.026 60.0 60.0 0.03 0.034 60.0 60.0 0.031 0.031
TRS/higher-order/AotoYam/009 0.045 0.046 0.047 0.048 0.049 0.049 0.049 0.05 0.05
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.055 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AotoYam/012 0.041 0.041 0.043 0.043 0.044 0.044 0.045 0.045 0.046
TRS/higher-order/AotoYam/013 0.058 60.0 60.0 0.062 0.071 60.0 60.0 0.059 0.058
TRS/higher-order/AotoYam/014 0.072 60.0 60.0 0.079 0.084 60.0 60.0 0.078 0.074
TRS/higher-order/AotoYam/015 0.02 0.019 0.02 0.021 0.021 0.022 0.023 0.025 0.022
TRS/higher-order/AotoYam/016 0.058 0.056 0.045 0.046 0.048 0.049 0.05 0.052 0.052
TRS/higher-order/AotoYam/017 0.003 0.003 0.004 0.004 0.005 0.005 0.006 0.006 0.007
TRS/higher-order/AotoYam/019 0.012 0.012 0.012 0.013 0.013 0.013 0.014 0.0 0.0
TRS/higher-order/AotoYam/020 0.043 60.0 60.0 0.05 0.058 60.0 60.0 0.049 0.05
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/higher-order/AotoYam/021 0.096 60.0 60.0 0.099 0.099 60.0 60.0 0.099 0.1
TRS/higher-order/AotoYam/022 0.028 0.028 0.03 0.03 0.031 0.031 0.031 0.032 0.033
TRS/higher-order/AotoYam/023 0.014 0.014 0.015 0.015 0.016 0.016 0.016 0.016 0.0
TRS/higher-order/AotoYam/024 0.0 0.0 0.0 0.0 0.01 0.01 0.011 0.012 0.012
TRS/higher-order/AotoYam/025 0.004 0.004 0.005 0.005 0.006 0.006 0.006 0.007 0.007
TRS/higher-order/AotoYam/026 0.031 0.032 0.031 0.034 0.034 0.033 0.0 0.024 0.0
TRS/higher-order/AotoYam/027 0.033 60.0 60.0 0.038 0.042 60.0 60.0 0.04 0.039
TRS/higher-order/AotoYam/028 0.016 0.016 0.017 0.018 0.019 0.019 0.02 0.02 0.02
TRS/higher-order/AotoYam/Ex1SimplyTyped 0.034 60.0 60.0 0.041 0.058 60.0 60.0 0.036 0.036
TRS/higher-order/AotoYam/Ex5TermProof 0.088 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AProVE_HO/mapDivMinusHard 0.093 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AProVE_HO/mapDivMinus 0.053 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AProVE_HO/nonTermF 0.039 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AProVE_HO/ReverseLastInit 0.014 0.015 0.016 0.017 0.018 0.018 0.019 0.019 0.02
TRS/higher-order/AProVE_HO/TakeDropWhile 0.05 0.049 0.05 0.05 0.052 0.052 0.051 0.039 0.041
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.011 60.0 0.154 60.0 60.0 60.0 0.155 60.0 60.0
TRS/higher-order/AProVE_HO/TypeEx3 0.049 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/AProVE_HO/TypeEx5 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Bird/BTreeMember 0.04 0.042 0.043 0.043 0.045 0.045 0.046 0.047 0.047
TRS/higher-order/Bird/Ex2_6_1Composition 0.005 0.005 0.005 0.006 0.005 0.007 0.007 0.006 0.0
TRS/higher-order/Bird/Ex2_8_1ConstSubstFix 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Bird/Hamming 0.549 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Bird/TreeFlatten 0.004 60.0 60.0 0.02 0.029 60.0 60.0 0.019 0.021
TRS/higher-order/Bird/TreeHeight 0.008 0.009 0.011 0.011 0.012 0.012 0.014 0.015 0.014
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/higher-order/Bird/TreeLevels 0.055 60.0 60.0 0.062 0.067 60.0 60.0 0.059 0.058
TRS/higher-order/Bird/TreeMap 0.009 0.008 0.01 0.038 0.01 0.01 0.0 0.0 0.001
TRS/higher-order/Bird/TreeSize 0.057 60.0 60.0 0.055 0.06 60.0 60.0 0.055 0.055
TRS/higher-order/Kusakari/Ex6_11 0.008 0.008 0.008 0.009 0.009 0.011 0.011 0.011 0.012
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.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Lifantsev/Ex3Lists 0.094 60.0 60.0 60.0 7.925 60.0 60.0 0.036 0.063
TRS/higher-order/Lifantsev/Ex4MapList 0.011 60.0 60.0 0.022 0.095 60.0 60.0 0.015 0.02
TRS/higher-order/Lifantsev/Ex5Sorting 0.068 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Lifantsev/Ex6Folding 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Lifantsev/Ex7OrdinalRec 0.024 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/Lifantsev/Ex8Polymorphic 0.001 0.003 0.004 0.005 0.006 0.007 0.008 0.009 0.009
TRS/higher-order/Lifantsev/Ex9Maps 0.041 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/ToyamaRTA04/Ex5Folding 0.059 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/ToyamaRTA04/Ex6Recursor 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/higher-order/ToyamaRTA04/Ex7Sorting 0.07 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/n002 0.001 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.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/n005 0.0 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.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/t000 0.104 0.105 0.107 0.108 0.109 0.11 0.11 0.11 0.111
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/HM/t001 0.039 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/t002 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/t003 0.02 0.02 0.022 0.022 0.022 0.023 0.023 0.023 0.024
TRS/HM/t004 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/t005 0.421 0.42 0.421 0.422 0.423 0.409 0.41 0.414 0.414
TRS/HM/t006 0.001 0.001 0.002 0.003 0.003 0.004 0.007 0.007 0.007
TRS/HM/t007 0.007 0.007 0.008 0.008 0.008 0.0 0.0 0.0 0.0
TRS/HM/t008 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HM/t009 1.241 60.0 7.383 60.0 6.567 60.0 6.163 7.954 5.857
TRS/HM/t010 0.0 0.0 0.0 0.001 0.001 0.002 0.004 0.005 0.005
TRS/HM/t011 0.008 0.007 0.008 0.008 0.009 0.009 0.009 0.0 0.0
TRS/HM/t012 0.053 0.054 0.054 0.056 0.057 0.057 0.059 0.059 0.059
TRS/HM/t013 0.028 0.029 0.029 0.03 0.03 0.031 0.032 0.031 0.018
TRS/HM/t014 0.019 0.019 0.021 0.022 0.023 0.024 0.024 0.025 0.025
TRS/HofWald/1 0.015 0.018 0.024 0.018 0.021 0.018 0.018 0.019 0.006
TRS/HofWald/2 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HofWald/3 0.007 0.041 0.029 0.018 0.108 0.046 0.032 0.022 0.11
TRS/HofWald/4 0.015 0.016 0.1 0.017 0.022 0.018 0.017 0.0 0.005
TRS/HofWald/5 0.0 0.005 0.007 0.008 0.013 0.011 0.012 0.011 0.017
TRS/HofWald/6 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/HofWald/7 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Koprowski/gcd_triple 0.064 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/LJB01/jones1 0.006 0.008 0.007 0.007 0.008 0.008 0.008 0.036 0.02
TRS/LJB01/jones2 0.0 0.0 0.0 0.0 0.004 0.004 0.006 0.006 0.007
TRS/LJB01/jones4 0.006 0.006 0.006 0.006 0.007 0.008 0.008 0.0 0.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/LJB01/jones5 0.0 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.005 0.006 0.007 0.007 0.008 0.009
TRS/nontermin/AG01/#4.12a 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.13 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.14 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.15 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.16 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.17 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.18 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.19 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.20a 0.006 0.007 0.007 0.006 0.008 0.008 0.008 0.009 0.009
TRS/nontermin/AG01/#4.20 0.0 0.0 0.0 0.0 0.0 0.002 0.003 0.004 0.005
TRS/nontermin/AG01/#4.21 0.006 0.006 0.007 0.007 0.007 0.009 0.008 0.008 0.0
TRS/nontermin/AG01/#4.22 0.0 0.0 0.0 0.004 0.005 0.006 0.008 0.008 0.008
TRS/nontermin/AG01/#4.23 0.023 0.023 0.023 0.024 0.025 0.025 0.025 0.012 0.014
TRS/nontermin/AG01/#4.25 0.002 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.014 60.0 60.0 0.016 0.019 60.0 60.0 0.018 0.018
TRS/nontermin/AG01/#4.28 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.29 0.051 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.2 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.30a 0.02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.30b 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.30c 0.028 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.30 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/nontermin/AG01/#4.31 0.014 60.0 0.302 60.0 0.304 0.015 0.015 0.016 0.025
TRS/nontermin/AG01/#4.32 0.0 0.005 0.005 0.006 0.007 0.008 0.009 0.008 0.01
TRS/nontermin/AG01/#4.33 0.046 0.044 0.046 0.045 0.045 0.032 0.034 0.035 0.038
TRS/nontermin/AG01/#4.34 0.017 0.017 0.018 0.018 0.019 0.019 0.021 0.021 0.021
TRS/nontermin/AG01/#4.35 0.099 0.099 0.038 0.04 0.042 0.043 0.044 0.045 0.046
TRS/nontermin/AG01/#4.36 0.055 0.055 0.056 0.058 0.057 0.057 0.033 0.045 0.047
TRS/nontermin/AG01/#4.37a 0.008 0.009 0.01 0.011 0.012 0.013 0.015 0.014 0.02
TRS/nontermin/AG01/#4.37 0.019 0.019 0.019 0.006 0.008 0.009 0.011 0.012 0.013
TRS/nontermin/AG01/#4.3 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.4 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/AG01/#4.7 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/cariboo/ex1 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/cariboo/ex2 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/cariboo/ex3 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/cariboo/ex4 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/cariboo/ex5 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/cariboo/ex6 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/cariboo/tricky1 0.008 0.009 0.009 0.009 0.009 0.0 0.0 0.0 0.0
TRS/nontermin/CSR/Ex1_2_AEL03 0.024 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex1_2_Luc02c 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex14_AEGL02 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex15_Luc98 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex1_GL02a 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex1_GM03 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex1_GM99 0.009 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/Ex1_Luc02b 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex1_Zan97 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex24_GM04 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex26_Luc03b 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex2_Luc03b 0.02 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.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex3_3_25_Bor03 0.018 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.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex4_7_37_Bor03 0.033 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex4_7_56_Bor03 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex4_7_77_Bor03 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex49_GM04 0.025 0.025 0.025 0.026 0.027 0.027 0.027 0.0 0.027
TRS/nontermin/CSR/Ex4_Zan97 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex5_7_Luc97 0.036 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex5_Zan97 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex6_15_AEL02 0.059 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex6_9_Luc02c 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex6_GM04 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex6_Luc98 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex7_BLR02 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex8_BLR02 0.021 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/Ex9_BLR02 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/ExAppendixB_AEL03 0.027 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/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.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/ExIntrod_GM04 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/ExIntrod_GM99 0.042 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/CSR/ExIntrod_Zan97 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/HM/n001 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/bn111 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/gkg 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/muladd 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/test10 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/test75 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/test76 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/test77 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/test830 0.0 0.0 0.0 0.004 0.005 0.005 0.006 0.007 0.007
TRS/nontermin/Rubio-inn/test9 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/Rubio-inn/toyama 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/nontermin/TRCSR/ExSec11_1_Luc02a 0.025 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Rubio/aoto 0.007 0.007 0.009 0.009 0.01 0.01 0.01 0.012 0.012
TRS/Rubio/bintrees 0.006 0.008 0.008 0.01 0.011 0.012 0.013 0.013 0.014
TRS/Rubio/bn122 0.016 0.015 0.015 0.0 0.0 0.006 0.008 0.009 0.01
TRS/Rubio/bn129 0.031 0.03 0.031 0.031 0.031 0.032 0.032 0.033 0.033
TRS/Rubio/division 0.018 0.02 0.02 0.022 0.023 0.023 0.025 0.025 0.026
TRS/Rubio/elimdupl 0.034 0.02 0.022 0.023 0.024 0.026 0.028 0.029 0.028
TRS/Rubio/enno 0.039 0.04 0.04 0.04 0.028 0.03 0.031 0.033 0.034
TRS/Rubio/gcd 0.052 0.054 0.053 0.054 0.058 0.071 0.056 0.058 0.058
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/Rubio/gmnp 0.0 0.0 0.0 0.003 0.004 0.005 0.006 0.007 0.008
TRS/Rubio/gm 0.007 0.008 0.009 0.012 0.013 0.013 0.014 0.015 0.016
TRS/Rubio/koen 0.011 0.01 0.01 0.0 0.0 0.0 0.003 0.004 0.005
TRS/Rubio/lescanne 0.016 0.016 0.017 0.017 0.018 0.018 0.018 0.018 0.0
TRS/Rubio/lindau 0.0 0.0 0.004 0.005 0.006 0.007 0.008 0.008 0.009
TRS/Rubio/logarquot 0.025 0.026 0.027 0.028 0.03 0.031 0.031 0.033 0.032
TRS/Rubio/ma96 0.099 0.1 0.049 0.051 0.052 0.053 0.054 0.055 0.056
TRS/Rubio/mfp90b 0.01 0.0 0.0 0.0 0.002 0.003 0.004 0.005 0.009
TRS/Rubio/mfp95 0.007 0.008 0.007 0.008 0.0 0.008 0.0 0.0 0.0
TRS/Rubio/nestrec 0.007 0.008 0.009 0.009 0.01 0.01 0.01 0.011 0.012
TRS/Rubio/p266 0.0 0.0 0.0 0.002 0.002 0.003 0.003 0.005 0.005
TRS/Rubio/polo2 0.017 0.019 0.019 0.021 0.022 0.022 0.024 0.025 0.025
TRS/Rubio/prov 0.0 0.0 0.0 0.0 0.0 0.001 0.002 0.004 0.008
TRS/Rubio/quick 0.05 0.067 0.055 0.056 0.058 0.059 0.06 0.062 0.063
TRS/Rubio/quotminus 0.027 0.027 0.027 0.027 0.028 0.028 0.015 0.016 0.018
TRS/Rubio/revlist 0.02 0.02 0.021 0.023 0.023 0.024 0.023 0.024 0.025
TRS/Rubio/selsort 0.099 0.1 0.1 0.099 0.099 0.1 0.1 0.1 0.1
TRS/Rubio/test4 0.01 0.012 0.014 0.014 0.016 0.016 0.018 0.018 0.019
TRS/Rubio/test829 0.0 0.0 0.004 0.005 0.007 0.007 0.008 0.008 0.01
TRS/Rubio/wst99 0.099 0.1 0.099 0.099 0.099 0.099 0.099 0.1 0.1
TRS/SchneiderKamp/trs/cade01 0.018 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade03 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade04t 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade05t 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade06 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/SchneiderKamp/trs/cade07 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade08 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade09 0.015 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.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade12t 0.037 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade13t 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade14 0.024 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade15 0.048 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade16 0.021 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/cade17 0.04 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/kabasci01 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/kabasci02 0.152 60.0 60.0 0.148 0.182 60.0 60.0 0.191 0.176
TRS/SchneiderKamp/trs/kabasci03 0.079 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/kabasci04 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/kabasci05 0.029 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/kabasci06 0.077 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto01 0.033 60.0 60.0 60.0 0.841 60.0 60.0 60.0 0.835
TRS/SchneiderKamp/trs/otto02 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto03 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto04 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto05 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto06 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto07 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto08 0.016 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/otto09 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto10 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto11 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto12 0.035 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/otto13 0.049 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann01 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann02 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann03 0.03 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann04 0.083 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann05 0.02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann06 0.048 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann07 0.085 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann08 0.035 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann09 0.076 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann10 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann11 0.042 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann12 0.031 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann13 0.055 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann14 0.053 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann15 0.024 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann16 0.037 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann17 0.058 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann18 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann19 0.027 60.0 2.974 60.0 2.366 60.0 2.972 60.0 2.353
TRS/SchneiderKamp/trs/thiemann20 0.009 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/thiemann21 0.061 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann22 0.02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann23 0.015 60.0 1.499 60.0 3.417 60.0 1.502 60.0 3.403
TRS/SchneiderKamp/trs/thiemann24 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann25 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann26 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann27 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann28 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann29 0.021 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann30 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann31 0.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann32 0.053 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann33 0.038 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann34 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann35 0.102 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann36 0.033 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.022 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann39 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann40 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/thiemann41 0.028 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe01 0.067 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe02 0.106 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe03 0.129 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe05 0.07 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/wiehe06 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe07 0.101 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe08 0.099 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.174 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SchneiderKamp/trs/wiehe12 0.211 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/aprove1 0.038 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/aprove2 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/aprove3 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/aprove4 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/aprove5 0.091 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/cime1 0.113 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/cime2 0.048 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/cime3 0.087 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/cime4 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/cime5 0.194 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/matchbox1 0.0 60.0 0.005 60.0 0.021 60.0 0.012 60.0 0.023
TRS/secret05/matchbox2 0.014 0.016 0.017 0.018 0.004 0.005 0.007 0.008 0.008
TRS/secret05/teparla1 0.01 60.0 60.0 60.0 60.0 0.03 0.016 0.016 0.017
TRS/secret05/teparla2 0.026 60.0 22.983 60.0 22.989 60.0 22.983 60.0 22.947
TRS/secret05/teparla3 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/tpa1 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/tpa2 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/tpa3 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/tpa4 0.016 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/tpa5 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/ttt1 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret05/ttt2 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/addList 0.082 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/divExp 0.029 60.0 60.0 60.0 60.0 60.0 60.0 0.038 0.042
TRS/secret06/aprove/division 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/double 0.066 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/logarithm 0.041 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/nrOfNodes 0.035 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/reverse 0.031 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/sumList 0.036 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/times 0.059 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/aprove/toList 0.061 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/cime1 0.093 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/jambox/10 0.02 60.0 0.1 60.0 0.1 60.0 0.057 60.0 0.059
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.073 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/jambox/4 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/jambox/5 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/jambox/6 0.028 2.335 60.0 2.332 60.0 0.06 60.0 0.061 60.0
TRS/secret06/jambox/7 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/jambox/8 0.025 0.031 0.441 0.032 0.445 0.028 0.028 0.029 0.028
TRS/secret06/jambox/9 0.016 0.029 0.119 0.031 0.122 0.024 0.028 0.024 0.029
TRS/secret06/matchbox/gen-10 0.016 0.042 0.169 0.037 0.327 0.046 0.172 0.04 0.333
TRS/secret06/matchbox/gen-14 0.009 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/matchbox/gen-15 0.014 60.0 0.072 60.0 0.07 60.0 0.073 60.0 0.07
TRS/secret06/matchbox/gen-17 0.01 60.0 60.0 0.016 60.0 60.0 60.0 0.018 60.0
TRS/secret06/matchbox/gen-18 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/matchbox/gen-1 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/matchbox/gen-22 0.03 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.267 60.0 0.27 60.0 0.269 60.0 0.271
TRS/secret06/matchbox/gen-28 0.018 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/matchbox/gen-9 0.018 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa01 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa02 0.001 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa03 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa04 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa05 0.017 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa06 0.052 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa07 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa08 0.038 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa09 0.06 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret06/tpa10 0.05 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove01 0.08 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove02 0.085 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.086 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove05 0.05 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove06 0.075 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove07 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/secret07/aprove/aprove08 0.067 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove09 0.068 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/aprove/aprove10 0.042 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/cime/secret1 0.099 0.1 0.03 0.031 0.032 0.032 0.007 0.019 0.021
TRS/secret07/cime/secret2 0.013 0.013 0.013 0.013 0.014 0.014 0.014 0.015 0.0
TRS/secret07/cime/secret3 0.013 0.014 0.015 0.016 0.016 0.016 0.019 0.018 0.019
TRS/secret07/cime/secret4 0.024 0.024 0.025 0.026 0.028 0.043 0.028 0.028 0.029
TRS/secret07/cime/secret5 0.035 0.036 0.037 0.037 0.038 0.04 0.039 0.041 0.04
TRS/secret07/others/dj 0.0 0.001 0.001 0.003 0.003 0.003 0.005 0.009 0.01
TRS/secret07/TTT2/1 0.054 60.0 60.0 60.0 60.0 0.143 60.0 0.123 60.0
TRS/secret07/TTT2/2 0.047 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/TTT2/3 0.099 60.0 60.0 60.0 60.0 60.0 60.0 0.204 60.0
TRS/secret07/TTT2/4 0.046 60.0 60.0 60.0 60.0 8.294 60.0 7.561 60.0
TRS/secret07/TTT2/5 0.14 60.0 60.0 60.0 60.0 60.0 60.0 7.376 60.0
TRS/secret07/TTT2/6 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/secret07/TTT2/7 0.021 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/2.01 0.0 0.001 0.002 0.003 0.003 0.004 0.016 0.017 0.017
TRS/SK90/2.02 0.031 0.032 0.033 0.035 0.034 0.034 0.036 0.036 0.036
TRS/SK90/2.03 0.0 0.007 0.007 0.009 0.01 0.01 0.011 0.011 0.012
TRS/SK90/2.04 0.0 0.004 0.005 0.007 0.008 0.008 0.008 0.008 0.009
TRS/SK90/2.05 0.037 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/2.06 0.035 0.036 0.037 0.037 0.0 0.037 0.0 0.0 0.028
TRS/SK90/2.07 0.021 0.021 0.022 0.022 0.023 0.023 0.0 0.0 0.015
TRS/SK90/2.08 0.023 0.023 0.024 0.024 0.024 0.024 0.025 0.0 0.0
TRS/SK90/2.09 0.009 0.008 0.01 0.01 0.01 0.01 0.01 0.011 0.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/SK90/2.10 0.015 0.015 0.015 0.017 0.018 0.017 0.017 0.018 0.019
TRS/SK90/2.11 0.006 0.005 0.006 0.007 0.008 0.009 0.01 0.009 0.01
TRS/SK90/2.12 0.019 0.019 0.021 0.02 0.022 0.022 0.022 0.024 0.024
TRS/SK90/2.13 0.007 0.007 0.008 0.009 0.01 0.011 0.011 0.012 0.012
TRS/SK90/2.14 0.007 0.008 0.009 0.01 0.011 0.012 0.011 0.013 0.013
TRS/SK90/2.15 0.005 0.005 0.006 0.007 0.007 0.008 0.008 0.008 0.009
TRS/SK90/2.16 0.012 0.012 0.013 0.013 0.015 0.014 0.016 0.015 0.016
TRS/SK90/2.17 0.004 0.005 0.005 0.006 0.006 0.008 0.008 0.008 0.009
TRS/SK90/2.18 0.004 0.004 0.006 0.006 0.007 0.007 0.008 0.009 0.009
TRS/SK90/2.19 0.008 0.009 0.009 0.009 0.011 0.011 0.011 0.012 0.013
TRS/SK90/2.20 0.003 0.003 0.005 0.005 0.006 0.007 0.007 0.008 0.008
TRS/SK90/2.21 0.005 0.007 0.008 0.008 0.009 0.009 0.01 0.011 0.01
TRS/SK90/2.22 0.008 0.009 0.009 0.009 0.01 0.012 0.012 0.012 0.013
TRS/SK90/2.23 0.012 0.013 0.014 0.014 0.016 0.016 0.016 0.017 0.017
TRS/SK90/2.24 0.005 0.005 0.006 0.007 0.007 0.009 0.008 0.01 0.01
TRS/SK90/2.25 0.007 0.009 0.009 0.009 0.011 0.011 0.011 0.013 0.012
TRS/SK90/2.26 0.013 0.013 0.014 0.014 0.016 0.017 0.017 0.017 0.018
TRS/SK90/2.27 0.009 0.01 0.011 0.012 0.012 0.013 0.013 0.013 0.014
TRS/SK90/2.28 0.005 0.006 0.006 0.007 0.008 0.008 0.009 0.009 0.01
TRS/SK90/2.29 0.006 0.006 0.007 0.009 0.009 0.009 0.009 0.011 0.01
TRS/SK90/2.30 0.0 0.003 0.004 0.004 0.004 0.005 0.005 0.006 0.007
TRS/SK90/2.31 0.007 0.008 0.009 0.009 0.01 0.011 0.011 0.012 0.012
TRS/SK90/2.32 0.005 0.004 0.006 0.007 0.008 0.009 0.008 0.009 0.008
TRS/SK90/2.33 0.016 0.016 0.016 0.018 0.017 0.019 0.019 0.019 0.019
TRS/SK90/2.34 0.014 0.015 0.016 0.017 0.018 0.017 0.019 0.018 0.019
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/SK90/2.35 0.01 0.01 0.011 0.013 0.012 0.013 0.013 0.014 0.015
TRS/SK90/2.36 0.003 0.004 0.004 0.005 0.006 0.007 0.007 0.007 0.007
TRS/SK90/2.37 0.007 0.008 0.008 0.009 0.009 0.01 0.011 0.011 0.011
TRS/SK90/2.38 0.01 0.01 0.01 0.01 0.012 0.013 0.012 0.013 0.014
TRS/SK90/2.39 0.006 0.006 0.007 0.009 0.009 0.009 0.009 0.01 0.01
TRS/SK90/2.40 0.007 0.007 0.008 0.008 0.01 0.01 0.01 0.011 0.012
TRS/SK90/2.41 0.008 0.008 0.009 0.01 0.01 0.011 0.011 0.012 0.013
TRS/SK90/2.42 0.043 0.042 0.044 0.044 0.045 0.045 0.046 0.047 0.046
TRS/SK90/2.43 0.011 0.012 0.013 0.013 0.014 0.014 0.014 0.016 0.016
TRS/SK90/2.44 0.034 0.035 0.036 0.036 0.037 0.037 0.039 0.039 0.039
TRS/SK90/2.45 0.005 0.006 0.007 0.008 0.008 0.009 0.009 0.01 0.01
TRS/SK90/2.46 0.012 0.012 0.012 0.014 0.014 0.015 0.015 0.016 0.016
TRS/SK90/2.47 0.005 0.005 0.006 0.006 0.057 0.016 0.009 0.008 0.007
TRS/SK90/2.48 0.003 0.003 0.004 0.004 0.005 0.005 0.006 0.006 0.007
TRS/SK90/2.49 0.003 0.002 0.004 0.005 0.006 0.005 0.007 0.006 0.007
TRS/SK90/2.50 0.003 0.003 0.003 0.005 0.005 0.005 0.006 0.006 0.007
TRS/SK90/2.51 0.01 0.01 0.012 0.012 0.013 0.014 0.014 0.015 0.015
TRS/SK90/2.52 0.057 0.056 0.057 0.058 0.06 0.059 0.06 0.06 0.062
TRS/SK90/2.53 0.007 0.007 0.008 0.008 0.009 0.01 0.01 0.01 0.012
TRS/SK90/2.54 0.003 0.004 0.004 0.005 0.006 0.006 0.007 0.007 0.008
TRS/SK90/2.55 0.003 0.003 0.004 0.005 0.006 0.006 0.007 0.007 0.007
TRS/SK90/2.56 0.003 0.003 0.004 0.004 0.005 0.006 0.006 0.006 0.007
TRS/SK90/2.57 0.002 0.004 0.004 0.004 0.006 0.006 0.006 0.006 0.006
TRS/SK90/2.58 0.004 0.003 0.004 0.004 0.006 0.006 0.006 0.007 0.008
TRS/SK90/2.59 0.003 0.004 0.005 0.005 0.006 0.006 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/2.60 0.004 0.004 0.005 0.005 0.005 0.006 0.006 0.007 0.007
TRS/SK90/2.61 0.003 0.004 0.005 0.006 0.007 0.006 0.007 0.007 0.008
TRS/SK90/4.01 0.003 0.004 0.004 0.004 0.005 0.005 0.006 0.006 0.006
TRS/SK90/4.02 0.046 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/4.03 0.0 0.0 0.0 0.018 0.018 0.02 0.02 0.021 0.023
TRS/SK90/4.04 0.021 0.013 0.009 0.008 0.009 0.009 0.01 0.011 0.012
TRS/SK90/4.05 0.016 0.015 0.017 0.017 0.018 0.017 0.019 0.018 0.02
TRS/SK90/4.06 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/4.07 0.0 0.0 0.0 0.006 0.006 0.006 0.007 0.008 0.009
TRS/SK90/4.08 0.0 0.005 0.005 0.006 0.008 0.009 0.009 0.009 0.009
TRS/SK90/4.09 0.023 0.024 0.025 0.027 0.027 0.027 0.028 0.027 0.028
TRS/SK90/4.10 0.023 0.024 0.026 0.025 0.026 0.026 0.027 0.027 0.028
TRS/SK90/4.11 0.003 0.004 0.005 0.006 0.006 0.007 0.007 0.008 0.008
TRS/SK90/4.12 0.009 0.01 0.01 0.012 0.011 0.013 0.012 0.013 0.014
TRS/SK90/4.13 0.01 60.0 60.0 0.012 0.015 60.0 60.0 0.014 0.013
TRS/SK90/4.14 0.023 0.024 0.025 0.026 0.026 0.027 0.028 0.029 0.028
TRS/SK90/4.15 0.004 0.005 0.004 0.006 0.007 0.007 0.007 0.007 0.008
TRS/SK90/4.16 0.012 0.012 0.014 0.015 0.015 0.015 0.015 0.017 0.017
TRS/SK90/4.17 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/4.18 0.0 0.0 0.0 0.0 0.002 0.005 0.004 0.005 0.006
TRS/SK90/4.19 0.001 0.002 0.002 0.003 0.003 0.005 0.004 0.006 0.006
TRS/SK90/4.20 0.011 0.013 0.013 0.012 0.014 0.014 0.014 0.015 0.015
TRS/SK90/4.21 0.018 0.017 0.019 0.018 0.021 0.019 0.019 0.021 0.021
TRS/SK90/4.22 0.02 0.02 0.021 0.021 0.021 0.022 0.022 0.024 0.024
TRS/SK90/4.23 0.014 0.015 0.014 0.016 0.016 0.016 0.017 0.017 0.018
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/SK90/4.24 0.019 0.018 0.019 0.021 0.021 0.022 0.022 0.023 0.022
TRS/SK90/4.25 0.01 0.01 0.011 0.011 0.012 0.012 0.013 0.014 0.015
TRS/SK90/4.26 0.019 0.019 0.019 0.02 0.02 0.021 0.021 0.022 0.023
TRS/SK90/4.27 0.01 0.011 0.01 0.012 0.011 0.013 0.013 0.013 0.014
TRS/SK90/4.28 0.015 0.016 0.018 0.018 0.019 0.019 0.018 0.02 0.02
TRS/SK90/4.29 0.007 0.008 0.008 0.009 0.009 0.009 0.01 0.011 0.012
TRS/SK90/4.30 0.043 0.043 0.044 0.044 0.045 0.046 0.046 0.045 0.046
TRS/SK90/4.31 0.013 0.014 0.014 0.015 0.016 0.016 0.016 0.017 0.017
TRS/SK90/4.32 0.035 0.035 0.035 0.036 0.037 0.037 0.038 0.039 0.039
TRS/SK90/4.33 0.007 0.008 0.008 0.009 0.009 0.009 0.01 0.011 0.011
TRS/SK90/4.34 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/4.35 0.0 0.002 0.002 0.003 0.004 0.005 0.005 0.005 0.006
TRS/SK90/4.36 0.004 0.004 0.004 0.005 0.005 0.006 0.006 0.006 0.007
TRS/SK90/4.37 0.003 0.003 0.004 0.005 0.005 0.005 0.006 0.007 0.007
TRS/SK90/4.38 0.01 0.011 0.011 0.012 0.013 0.013 0.014 0.014 0.015
TRS/SK90/4.39 0.015 0.014 0.016 0.016 0.016 0.017 0.017 0.018 0.019
TRS/SK90/4.40 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/4.41 0.004 0.004 0.005 0.006 0.007 0.008 0.008 0.009 0.009
TRS/SK90/4.42 0.014 0.014 0.014 0.015 0.017 0.017 0.017 0.017 0.017
TRS/SK90/4.43 0.028 0.028 0.028 0.03 0.03 0.03 0.031 0.032 0.033
TRS/SK90/4.44 0.004 0.005 0.006 0.006 0.006 0.006 0.007 0.008 0.008
TRS/SK90/4.45 0.004 0.004 0.004 0.005 0.006 0.006 0.006 0.007 0.007
TRS/SK90/4.46 0.004 0.004 0.005 0.005 0.006 0.006 0.006 0.007 0.008
TRS/SK90/4.47 0.006 0.007 0.008 0.007 0.008 0.008 0.009 0.009 0.01
TRS/SK90/4.48 0.011 0.01 0.01 0.01 0.011 0.011 0.012 0.012 0.013
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/SK90/4.49 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/4.50 0.0 0.0 0.001 0.002 0.003 0.004 0.004 0.005 0.006
TRS/SK90/4.51 0.007 0.013 0.013 0.025 0.013 0.014 0.012 0.013 0.013
TRS/SK90/4.52 0.044 0.029 0.029 0.029 0.03 0.03 0.0 0.0 0.0
TRS/SK90/4.53 0.0 0.0 0.0 0.014 0.015 0.016 0.017 0.018 0.019
TRS/SK90/4.54 0.011 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/SK90/4.55 0.0 0.008 0.004 0.008 0.006 0.007 0.007 0.007 0.008
TRS/SK90/4.56 0.003 0.002 0.003 0.004 0.006 0.006 0.006 0.006 0.006
TRS/SK90/4.57 0.006 0.007 0.007 0.007 0.009 0.008 0.009 0.01 0.01
TRS/SK90/4.59 0.01 0.01 0.01 0.011 0.011 0.011 0.012 0.013 0.013
TRS/SK90/4.60 0.026 0.025 0.027 0.027 0.027 0.028 0.029 0.029 0.029
TRS/SK90/4.61 0.05 60.0 0.215 60.0 0.189 60.0 0.216 60.0 0.19
TRS/Ste92/hydra 0.002 0.002 0.003 0.004 0.009 0.009 0.01 0.009 0.011
TRS/Ste92/minsort 0.043 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Ste92/motivation 0.005 0.006 0.007 0.008 0.009 0.009 0.01 0.011 0.011
TRS/Ste92/perfect2 0.052 0.054 0.053 0.131 0.07 0.053 0.054 0.055 0.05
TRS/Ste92/perfect 0.014 0.013 0.014 0.015 0.015 0.016 0.017 0.017 0.017
TRS/Thiemann/div_notCeTermin 0.062 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/div_notTermin 0.095 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/factorial1 0.035 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/factorial2 0.033 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/identity 0.018 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/logarithm 0.064 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/mapHard 0.073 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/modulo 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/Thiemann/nonterm 0.018 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/quicksort 0.084 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/quot 0.025 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/sizeChange 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/tower_sizeChange 0.032 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Thiemann/tower 0.049 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_2_AEL03_C 0.975 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_2_AEL03_FR 0.001 0.002 0.003 0.005 0.006 0.006 0.007 0.007 0.008
TRS/TRCSR/Ex1_2_AEL03_GM 0.088 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_2_AEL03_iGM 1.114 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_2_AEL03_Z 0.0 0.0 0.001 0.002 0.002 0.004 0.021 0.023 0.024
TRS/TRCSR/Ex1_2_Luc02c_C 0.099 0.099 0.055 0.057 0.058 0.059 0.058 0.059 0.059
TRS/TRCSR/Ex1_2_Luc02c_FR 0.005 0.005 0.006 0.006 0.007 0.007 0.007 0.019 0.019
TRS/TRCSR/Ex1_2_Luc02c_GM 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_2_Luc02c_iGM 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_2_Luc02c_Z 0.0 0.0 0.0 0.003 0.004 0.004 0.006 0.006 0.007
TRS/TRCSR/Ex14_AEGL02_C 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_AEGL02_FR 0.024 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_AEGL02_GM 0.022 0.023 0.024 0.025 0.027 0.027 0.029 0.029 0.029
TRS/TRCSR/Ex14_AEGL02_iGM 0.166 0.17 0.166 0.168 0.167 0.168 0.17 0.17 0.17
TRS/TRCSR/Ex14_AEGL02_L 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_AEGL02_Z 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_Luc06_C 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_Luc06_FR 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_Luc06_GM 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/TRCSR/Ex14_Luc06_iGM 0.066 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_Luc06_L 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex14_Luc06_Z 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex15_Luc06_C 0.015 60.0 0.267 60.0 0.205 0.485 0.042 0.433 0.044
TRS/TRCSR/Ex15_Luc06_FR 0.003 0.003 0.004 0.004 0.004 0.005 0.005 0.006 0.01
TRS/TRCSR/Ex15_Luc06_GM 0.008 0.007 0.007 0.008 0.008 0.009 0.01 0.01 0.01
TRS/TRCSR/Ex15_Luc06_iGM 0.03 0.03 0.03 0.031 0.032 0.032 0.033 0.032 0.021
TRS/TRCSR/Ex15_Luc06_L 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex15_Luc06_Z 0.005 0.005 0.005 0.007 0.006 0.007 0.007 0.008 0.008
TRS/TRCSR/Ex15_Luc98_C 0.178 0.18 0.18 0.181 0.181 0.169 0.17 0.173 0.175
TRS/TRCSR/Ex15_Luc98_FR 0.016 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex15_Luc98_GM 0.022 0.024 0.025 0.026 0.028 0.028 0.028 0.031 0.031
TRS/TRCSR/Ex15_Luc98_iGM 0.553 0.548 0.545 0.547 0.56 0.551 0.553 0.55 0.539
TRS/TRCSR/Ex15_Luc98_Z 0.027 0.028 0.03 0.031 0.032 0.033 0.034 0.035 0.035
TRS/TRCSR/Ex16_Luc06_C 0.013 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.002 0.002 0.003 0.004 0.006 0.006
TRS/TRCSR/Ex16_Luc06_GM 0.007 0.007 0.008 0.009 0.009 0.009 0.01 0.01 0.011
TRS/TRCSR/Ex16_Luc06_iGM 0.046 60.0 0.06 60.0 0.056 0.303 0.069 0.305 0.071
TRS/TRCSR/Ex16_Luc06_L 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex16_Luc06_Z 0.0 0.001 0.002 0.003 0.005 0.005 0.006 0.007 0.007
TRS/TRCSR/Ex18_Luc06_C 0.049 0.048 0.049 0.051 0.05 0.051 0.051 0.051 0.039
TRS/TRCSR/Ex18_Luc06_FR 0.011 0.01 0.01 0.0 0.0 0.0 0.0 0.003 0.004
TRS/TRCSR/Ex18_Luc06_GM 0.004 0.004 0.005 0.005 0.006 0.007 0.007 0.009 0.008
TRS/TRCSR/Ex18_Luc06_iGM 0.033 0.032 0.032 0.034 0.034 0.034 0.035 0.035 0.035
TRS/TRCSR/Ex18_Luc06_L 0.006 0.005 0.006 0.006 0.006 0.007 0.007 0.008 0.0
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/Ex18_Luc06_Z 0.009 0.008 0.008 0.0 0.0 0.0 0.0 0.002 0.002
TRS/TRCSR/Ex1_GL02a_C 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GL02a_FR 0.059 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.028 0.029 0.03 0.031 0.032 0.033 0.035
TRS/TRCSR/Ex1_GL02a_iGM 0.169 0.168 0.17 0.17 0.17 0.158 0.16 0.161 0.163
TRS/TRCSR/Ex1_GL02a_L 0.0 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.106 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GM03_FR 0.051 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GM03_GM 0.034 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GM03_iGM 0.133 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.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_GM99_GM 0.013 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.093 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Luc02b_FR 0.016 0.016 0.018 0.018 0.018 0.018 0.019 0.02 0.02
TRS/TRCSR/Ex1_Luc02b_GM 0.027 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Luc02b_iGM 0.151 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Luc02b_Z 0.0 0.002 0.002 0.003 0.011 0.011 0.013 0.014 0.013
TRS/TRCSR/Ex1_Luc04b_C 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Luc04b_FR 0.018 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_Luc04b_GM 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Luc04b_iGM 0.247 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Luc04b_Z 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Zan97_C 0.0 60.0 0.532 60.0 0.44 1.224 0.074 1.002 0.078
TRS/TRCSR/Ex1_Zan97_FR 0.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Zan97_GM 0.0 0.0 0.0 0.001 0.002 0.003 0.003 0.006 0.006
TRS/TRCSR/Ex1_Zan97_iGM 0.04 0.041 0.041 0.041 0.042 0.043 0.043 0.043 0.043
TRS/TRCSR/Ex1_Zan97_L 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex1_Zan97_Z 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex23_Luc06_C 0.077 0.079 0.078 0.08 0.08 0.08 0.081 0.081 0.082
TRS/TRCSR/Ex23_Luc06_FR 0.011 0.011 0.012 0.013 0.013 0.013 0.0 0.0 0.0
TRS/TRCSR/Ex23_Luc06_GM 0.0 0.0 0.0 0.005 0.005 0.006 0.008 0.008 0.009
TRS/TRCSR/Ex23_Luc06_iGM 0.047 0.048 0.048 0.049 0.048 0.049 0.05 0.05 0.051
TRS/TRCSR/Ex23_Luc06_L 0.006 0.006 0.007 0.007 0.007 0.007 0.0 0.0 0.0
TRS/TRCSR/Ex23_Luc06_Z 0.0 0.0 0.0 0.002 0.003 0.004 0.004 0.006 0.006
TRS/TRCSR/Ex24_GM04_C 0.056 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_GM04_FR 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_GM04_GM 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_GM04_iGM 0.099 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.004 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_Luc06_C 0.035 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_Luc06_FR 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_Luc06_GM 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_Luc06_iGM 0.08 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/Ex24_Luc06_L 0.003 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex24_Luc06_Z 0.003 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex25_Luc06_C 0.049 0.051 0.051 0.053 0.053 0.054 0.055 0.055 0.056
TRS/TRCSR/Ex25_Luc06_FR 0.018 0.018 0.019 0.029 0.029 0.03 0.03 0.03 0.017
TRS/TRCSR/Ex25_Luc06_GM 0.0 0.0 0.0 0.007 0.008 0.009 0.01 0.011 0.012
TRS/TRCSR/Ex25_Luc06_iGM 0.12 0.123 0.121 0.12 0.121 0.122 0.124 0.122 0.11
TRS/TRCSR/Ex25_Luc06_L 0.0 0.0 0.0 0.0 0.001 0.001 0.002 0.003 0.004
TRS/TRCSR/Ex25_Luc06_Z 0.015 0.014 0.015 0.015 0.017 0.017 0.017 0.017 0.017
TRS/TRCSR/Ex26_Luc03b_C 0.23 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex26_Luc03b_FR 0.034 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex26_Luc03b_GM 0.058 0.058 0.06 0.06 0.06 0.062 0.063 0.063 0.101
TRS/TRCSR/Ex26_Luc03b_iGM 0.747 0.748 0.749 0.746 0.765 0.754 0.755 0.747 0.768
TRS/TRCSR/Ex26_Luc03b_L 0.005 0.006 0.006 0.007 0.007 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex26_Luc03b_Z 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex2_Luc02a_C 0.226 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex2_Luc02a_FR 0.047 0.046 0.051 0.052 0.052 0.05 0.054 0.051 0.054
TRS/TRCSR/Ex2_Luc02a_GM 0.049 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex2_Luc02a_iGM 0.35 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex2_Luc02a_L 0.002 0.002 0.003 0.004 0.005 0.005 0.014 0.013 0.014
TRS/TRCSR/Ex2_Luc02a_Z 0.019 0.02 0.021 0.02 0.022 0.021 0.0 0.0 0.0
TRS/TRCSR/Ex2_Luc03b_C 0.143 0.145 0.147 0.147 0.147 0.149 0.149 0.151 0.155
TRS/TRCSR/Ex2_Luc03b_FR 0.076 0.077 0.076 0.077 0.065 0.066 0.068 0.069 0.07
TRS/TRCSR/Ex2_Luc03b_GM 0.041 0.042 0.043 0.043 0.044 0.044 0.046 0.045 0.046
TRS/TRCSR/Ex2_Luc03b_iGM 0.361 0.363 0.361 0.364 0.349 0.353 0.354 0.355 0.357
TRS/TRCSR/Ex2_Luc03b_L 0.002 0.002 0.003 0.003 0.004 0.005 0.005 0.005 0.007
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/Ex2_Luc03b_Z 0.035 0.035 0.035 0.035 0.0 0.023 0.025 0.026 0.027
TRS/TRCSR/Ex3_12_Luc96a_C 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_12_Luc96a_FR 0.011 0.011 0.012 0.013 0.013 0.014 0.014 0.014 0.144
TRS/TRCSR/Ex3_12_Luc96a_GM 0.029 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_12_Luc96a_iGM 0.082 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.0 0.0 0.004 0.005 0.006 0.007 0.007 0.008
TRS/TRCSR/Ex3_2_Luc97_C 0.117 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_2_Luc97_FR 0.033 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_2_Luc97_GM 0.021 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_2_Luc97_iGM 0.173 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_2_Luc97_Z 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex3_3_25_Bor03_C 0.125 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.075 0.077 0.079 0.079 0.079 0.081 0.081 0.082 0.083
TRS/TRCSR/Ex3_3_25_Bor03_iGM 0.337 0.337 0.338 0.337 0.345 0.327 0.327 0.328 0.329
TRS/TRCSR/Ex3_3_25_Bor03_L 0.001 0.002 0.002 0.004 0.003 0.004 0.005 0.005 0.006
TRS/TRCSR/Ex3_3_25_Bor03_Z 0.049 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_4_Luc96b_C 0.066 0.067 0.067 0.066 0.069 0.069 0.069 0.068 0.056
TRS/TRCSR/Ex4_4_Luc96b_FR 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_4_Luc96b_GM 0.016 0.017 0.018 0.02 0.022 0.023 0.026 0.024 0.024
TRS/TRCSR/Ex4_4_Luc96b_iGM 0.075 0.075 0.074 0.075 0.077 0.077 0.051 0.076 0.064
TRS/TRCSR/Ex4_4_Luc96b_L 0.0 0.0 0.0 0.001 0.002 0.003 0.002 0.004 0.004
TRS/TRCSR/Ex4_4_Luc96b_Z 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_15_Bor03_C 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_15_Bor03_FR 0.019 0.02 0.02 0.021 0.021 0.022 0.022 0.023 0.023
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/TRCSR/Ex4_7_15_Bor03_GM 0.034 0.033 0.021 0.024 0.025 0.027 0.028 0.029 0.03
TRS/TRCSR/Ex4_7_15_Bor03_iGM 0.107 0.107 0.107 0.108 0.108 0.109 0.11 0.111 0.086
TRS/TRCSR/Ex4_7_15_Bor03_L 0.0 0.0 0.0 0.0 0.0 0.001 0.002 0.003 0.006
TRS/TRCSR/Ex4_7_15_Bor03_Z 0.007 0.007 0.007 0.007 0.009 0.009 0.009 0.009 0.0
TRS/TRCSR/Ex4_7_37_Bor03_C 0.238 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_37_Bor03_FR 0.031 0.033 0.034 0.035 0.036 0.037 0.038 0.039 0.039
TRS/TRCSR/Ex4_7_37_Bor03_GM 0.112 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_37_Bor03_iGM 0.354 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_37_Bor03_Z 0.029 0.03 0.03 0.03 0.031 0.031 0.033 0.033 0.034
TRS/TRCSR/Ex4_7_56_Bor03_C 0.042 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_56_Bor03_FR 0.0 0.0 0.0 0.001 0.002 0.003 0.004 0.012 0.013
TRS/TRCSR/Ex4_7_56_Bor03_GM 0.036 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.008 0.008 0.008 0.008 0.009 0.009 0.01 0.011 0.01
TRS/TRCSR/Ex4_7_77_Bor03_C 0.061 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_7_77_Bor03_FR 0.007 0.007 0.007 0.008 0.008 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_77_Bor03_GM 0.019 0.02 0.02 0.021 0.022 0.024 0.024 0.024 0.025
TRS/TRCSR/Ex4_7_77_Bor03_iGM 0.092 0.092 0.092 0.08 0.081 0.082 0.085 0.085 0.086
TRS/TRCSR/Ex4_7_77_Bor03_Z 0.004 0.005 0.006 0.006 0.006 0.007 0.007 0.008 0.008
TRS/TRCSR/Ex49_GM04_C 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex49_GM04_FR 0.055 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex49_GM04_GM 0.1 0.1 0.102 0.1 0.101 0.104 0.104 0.105 0.106
TRS/TRCSR/Ex49_GM04_iGM 0.501 0.497 0.5 0.476 0.508 0.497 0.49 0.493 0.494
TRS/TRCSR/Ex49_GM04_Z 0.049 0.049 0.05 0.05 0.051 0.054 0.053 0.052 0.051
TRS/TRCSR/Ex4_DLMMU04_C 0.61 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_DLMMU04_FR 0.237 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_DLMMU04_GM 0.348 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_DLMMU04_iGM 2.194 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_DLMMU04_Z 0.199 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_Zan97_C 0.072 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_Zan97_FR 0.0 0.001 0.002 0.004 0.004 0.005 0.005 0.017 0.017
TRS/TRCSR/Ex4_Zan97_GM 0.053 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_Zan97_iGM 0.105 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex4_Zan97_Z 0.014 0.013 0.013 0.013 0.013 0.014 0.015 0.0 0.0
TRS/TRCSR/Ex5_7_Luc97_C 0.475 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_7_Luc97_FR 0.125 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_7_Luc97_GM 0.059 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_7_Luc97_iGM 0.696 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_7_Luc97_Z 0.115 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_DLMMU04_C 0.256 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_DLMMU04_FR 0.032 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_DLMMU04_GM 0.045 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_DLMMU04_iGM 0.496 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_DLMMU04_Z 0.036 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.002 0.002 0.003 0.005 0.005 0.005 0.005 0.005 0.011
TRS/TRCSR/Ex5_Zan97_GM 0.068 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex5_Zan97_iGM 0.099 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.003 0.004 0.005 0.006
TRS/TRCSR/Ex6_15_AEL02_C 1.431 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/Ex6_15_AEL02_FR 0.111 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_15_AEL02_GM 0.124 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_15_AEL02_iGM 2.068 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_15_AEL02_Z 0.089 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_9_Luc02c_C 0.083 0.084 0.085 0.088 0.089 0.09 0.088 0.088 0.09
TRS/TRCSR/Ex6_9_Luc02c_FR 0.0 0.0 0.0 0.0 0.001 0.001 0.002 0.004 0.01
TRS/TRCSR/Ex6_9_Luc02c_GM 0.039 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_9_Luc02c_iGM 0.143 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.008 0.007 0.008 0.009 0.009 0.009 0.0 0.0
TRS/TRCSR/Ex6_GM04_C 0.023 60.0 0.43 60.0 0.344 0.646 0.093 0.549 0.094
TRS/TRCSR/Ex6_GM04_FR 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex6_GM04_GM 0.005 0.006 0.006 0.006 0.007 0.007 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_iGM 0.015 0.016 0.017 0.019 0.018 0.019 0.02 0.02 0.02
TRS/TRCSR/Ex6_GM04_L 0.0 0.0 0.0 0.0 0.001 0.002 0.002 0.003 0.004
TRS/TRCSR/Ex6_GM04_Z 0.013 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.078 0.079 0.079 0.067 0.068 0.071 0.073
TRS/TRCSR/Ex6_Luc98_FR 0.013 0.014 0.014 0.016 0.015 0.016 0.016 0.019 0.018
TRS/TRCSR/Ex6_Luc98_GM 0.063 0.065 0.065 0.067 0.069 0.069 0.07 0.071 0.071
TRS/TRCSR/Ex6_Luc98_iGM 0.113 0.113 0.113 0.101 0.104 0.104 0.106 0.108 0.107
TRS/TRCSR/Ex6_Luc98_L 0.005 0.005 0.005 0.005 0.006 0.007 0.007 0.007 0.007
TRS/TRCSR/Ex6_Luc98_Z 0.0 0.0 0.0 0.0 0.006 0.007 0.007 0.007 0.008
TRS/TRCSR/Ex7_BLR02_C 0.157 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex7_BLR02_FR 0.021 0.021 0.021 0.009 0.011 0.012 0.014 0.014 0.016
TRS/TRCSR/Ex7_BLR02_GM 0.092 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex7_BLR02_iGM 0.239 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/Ex7_BLR02_Z 0.006 0.007 0.006 0.008 0.016 0.016 0.016 0.0 0.0
TRS/TRCSR/Ex8_BLR02_C 0.142 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex8_BLR02_FR 0.004 0.004 0.005 0.029 0.03 0.031 0.031 0.031 0.032
TRS/TRCSR/Ex8_BLR02_GM 0.087 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex8_BLR02_iGM 0.213 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex8_BLR02_Z 0.001 0.002 0.004 0.004 0.012 0.013 0.013 0.013 0.014
TRS/TRCSR/Ex9_BLR02_C 0.111 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_BLR02_FR 0.018 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_BLR02_GM 0.075 0.076 0.077 0.079 0.078 0.079 0.081 0.08 0.081
TRS/TRCSR/Ex9_BLR02_iGM 0.391 0.391 0.393 0.395 0.397 0.398 0.398 0.398 0.401
TRS/TRCSR/Ex9_BLR02_L 0.0 0.0 0.0 0.0 0.0 0.001 0.002 0.003 0.005
TRS/TRCSR/Ex9_BLR02_Z 0.046 0.034 0.035 0.037 0.038 0.039 0.04 0.042 0.042
TRS/TRCSR/Ex9_Luc04_C 0.064 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc04_FR 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc04_GM 0.021 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc04_iGM 0.05 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc04_L 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc04_Z 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc06_C 0.036 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc06_FR 0.006 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc06_GM 0.011 0.011 0.012 0.012 0.014 0.013 0.015 0.015 0.015
TRS/TRCSR/Ex9_Luc06_iGM 0.072 0.074 0.074 0.077 0.077 0.077 0.079 0.081 0.08
TRS/TRCSR/Ex9_Luc06_L 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/Ex9_Luc06_Z 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExAppendixB_AEL03_C 1.151 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/ExAppendixB_AEL03_FR 0.004 0.005 0.006 0.006 0.008 0.008 0.009 0.01 0.009
TRS/TRCSR/ExAppendixB_AEL03_GM 0.111 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExAppendixB_AEL03_iGM 1.834 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExAppendixB_AEL03_Z 0.004 0.025 0.026 0.027 0.028 0.028 0.029 0.029 0.03
TRS/TRCSR/ExConc_Zan97_C 0.062 0.063 0.065 0.066 0.068 0.069 0.068 0.07 0.07
TRS/TRCSR/ExConc_Zan97_FR 0.0 0.0 0.0 0.0 0.005 0.006 0.006 0.008 0.008
TRS/TRCSR/ExConc_Zan97_GM 0.0 0.0 0.0 0.005 0.006 0.006 0.007 0.007 0.008
TRS/TRCSR/ExConc_Zan97_iGM 0.034 0.036 0.039 0.039 0.04 0.04 0.042 0.042 0.045
TRS/TRCSR/ExConc_Zan97_L 0.008 0.0 0.0 0.0 0.0 0.001 0.001 0.002 0.003
TRS/TRCSR/ExConc_Zan97_Z 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM01_C 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM01_FR 0.032 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM01_GM 0.111 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM01_iGM 0.404 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM01_Z 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM04_C 0.069 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM04_FR 0.031 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM04_GM 0.048 0.048 0.048 0.051 0.05 0.038 0.038 0.04 0.041
TRS/TRCSR/ExIntrod_GM04_iGM 0.402 0.402 0.402 0.404 0.406 0.406 0.414 0.405 0.394
TRS/TRCSR/ExIntrod_GM04_Z 0.02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM99_C 0.343 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM99_FR 0.031 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM99_GM 0.058 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM99_iGM 0.478 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_GM99_Z 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/TRCSR/ExIntrod_Zan97_C 0.174 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_Zan97_FR 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_Zan97_GM 0.112 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_Zan97_iGM 0.746 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExIntrod_Zan97_Z 0.036 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExProp7_Luc06_C 0.107 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExProp7_Luc06_FR 0.024 60.0 0.026 0.028 0.028 0.04 0.029 0.03 0.03
TRS/TRCSR/ExProp7_Luc06_GM 0.102 60.0 0.104 60.0 0.043 60.0 0.041 60.0 0.043
TRS/TRCSR/ExProp7_Luc06_iGM 0.114 60.0 0.135 60.0 0.137 60.0 0.118 60.0 0.12
TRS/TRCSR/ExProp7_Luc06_L 0.0 0.001 0.001 0.003 0.003 0.006 0.005 0.007 0.01
TRS/TRCSR/ExProp7_Luc06_Z 0.006 0.009 0.008 0.01 0.01 0.012 0.011 0.013 0.014
TRS/TRCSR/ExSec11_1_Luc02a_C 0.353 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExSec11_1_Luc02a_FR 0.042 0.043 0.044 0.045 0.045 0.047 0.047 0.047 0.049
TRS/TRCSR/ExSec11_1_Luc02a_GM 0.053 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExSec11_1_Luc02a_iGM 0.575 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExSec11_1_Luc02a_L 0.005 0.004 0.005 0.005 0.006 0.007 0.339 0.017 0.008
TRS/TRCSR/ExSec11_1_Luc02a_Z 0.021 0.022 0.023 0.023 0.024 0.025 0.025 0.026 0.026
TRS/TRCSR/ExSec4_2_DLMMU04_C 1.153 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExSec4_2_DLMMU04_FR 0.004 0.004 0.005 0.005 0.006 0.007 0.025 0.026 0.025
TRS/TRCSR/ExSec4_2_DLMMU04_GM 0.105 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExSec4_2_DLMMU04_iGM 1.356 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/ExSec4_2_DLMMU04_Z 0.005 0.005 0.005 0.006 0.007 0.007 0.016 0.017 0.017
TRS/TRCSR/LengthOfFiniteLists_complete_C 4.272 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete_FR 0.184 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete_GM 0.871 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_complete_iGM 10.394 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete_noand_C 53.074 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete-noand_FR 0.78 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete_noand_GM 1.855 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 1.473 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_complete_Z 1.376 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_C 0.352 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_FR 0.273 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_GM 0.155 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_iGM 0.631 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_C 1.028 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_FR 0.142 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_GM 0.121 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_iGM 3.835 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_Z 0.138 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nokinds_Z 0.203 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_C 0.039 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_FR 0.003 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_GM 0.041 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_iGM 0.178 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_C 0.065 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR 0.007 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_GM 0.094 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_iGM 0.217 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_nosorts-noand_Z 0.002 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LengthOfFiniteLists_nosorts_Z 0.002 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 0.93 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete_GM 2.709 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete_iGM 60.0 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 2.953 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete_noand_GM 34.128 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
TRS/TRCSR/LISTUTILITIES_complete-noand_Z 2.612 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_complete_Z 0.731 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_C 25.816 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_FR 0.305 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_GM 0.475 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_iGM 20.117 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.525 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_noand_GM 2.188 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_noand_iGM 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds-noand_Z 0.402 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nokinds_Z 0.208 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nosorts_C 1.792 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nosorts_FR 0.014 0.015 0.017 0.018 0.02 0.02 0.021 0.022 0.023
TRS/TRCSR/LISTUTILITIES_nosorts_GM 0.132 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_nosorts_iGM 1.9 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nosorts_noand_C 30.397 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR 0.055 0.056 0.058 0.059 0.059 0.061 0.062 0.062 0.063
TRS/TRCSR/LISTUTILITIES_nosorts_noand_GM 0.499 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nosorts_noand_iGM 20.332 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/LISTUTILITIES_nosorts-noand_Z 0.044 0.046 0.049 0.049 0.05 0.051 0.052 0.053 0.054
TRS/TRCSR/LISTUTILITIES_nosorts_Z 0.012 0.014 0.016 0.016 0.017 0.018 0.018 0.019 0.032
TRS/TRCSR/MYNAT_complete_C 3.284 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete_FR 0.137 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete_GM 0.193 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete_iGM 4.72 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete_noand_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete-noand_FR 0.551 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete_noand_GM 3.326 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete_noand_iGM 55.625 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete-noand_Z 0.267 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_complete_Z 0.119 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_C 0.44 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_FR 0.041 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_GM 0.065 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_iGM 0.608 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_noand_C 1.866 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds-noand_FR 0.178 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_noand_GM 0.307 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_noand_iGM 3.913 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_nokinds-noand_Z 0.057 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nokinds_Z 0.041 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nosorts_C 0.065 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nosorts_FR 0.0 0.0 0.0 0.0 0.001 0.002 0.003 0.004 0.009
TRS/TRCSR/MYNAT_nosorts_GM 0.051 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nosorts_iGM 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nosorts_noand_C 0.266 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nosorts-noand_FR 0.022 0.024 0.024 0.026 0.027 0.027 0.028 0.029 0.029
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.293 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nosorts-noand_Z 0.032 0.032 0.032 0.02 0.021 0.023 0.025 0.025 0.027
TRS/TRCSR/MYNAT_nosorts_Z 0.0 0.0 0.0 0.0 0.005 0.006 0.007 0.008 0.009
TRS/TRCSR/OvConsOS_complete_C 19.249 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete_FR 0.242 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete_GM 1.494 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete_iGM 33.554 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 2.315 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete_noand_GM 7.121 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 1.91 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_complete_Z 1.032 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_C 0.554 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_FR 0.364 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_GM 0.346 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_nokinds_iGM 2.219 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_noand_C 5.669 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds-noand_FR 0.985 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_noand_GM 1.15 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_noand_iGM 13.248 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds-noand_Z 0.33 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nokinds_Z 0.437 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_C 0.072 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_FR 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_GM 0.067 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_iGM 0.425 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_noand_C 0.491 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts-noand_FR 0.046 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_noand_GM 0.164 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_noand_iGM 1.55 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts-noand_Z 0.044 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/OvConsOS_nosorts_Z 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_complete_C 10.242 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_complete_FR 0.219 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_complete_GM 0.995 1.013 0.999 1.003 1.035 1.003 1.006 1.04 1.004
TRS/TRCSR/PALINDROME_complete_iGM 27.551 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_complete_noand_C 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_complete-noand_FR 0.553 0.552 0.553 0.554 0.554 0.558 0.558 0.532 0.557
TRS/TRCSR/PALINDROME_complete_noand_GM 4.084 4.115 4.109 4.114 7.808 4.107 4.094 4.093 4.299
TRS/TRCSR/PALINDROME_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/PALINDROME_complete-noand_L 0.133 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_complete-noand_Z 0.511 0.508 0.511 0.512 0.513 0.513 0.514 0.516 0.516
TRS/TRCSR/PALINDROME_complete_Z 0.33 0.331 0.341 0.334 0.334 0.334 0.338 0.335 0.338
TRS/TRCSR/PALINDROME_nokinds_C 0.111 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nokinds_FR 0.133 0.134 0.14 0.129 0.105 0.123 0.123 0.12 0.122
TRS/TRCSR/PALINDROME_nokinds_GM 0.095 0.098 0.099 0.1 0.101 0.103 0.104 0.105 0.105
TRS/TRCSR/PALINDROME_nokinds_iGM 0.891 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nokinds_noand_C 1.628 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nokinds-noand_FR 0.089 0.094 0.091 0.092 0.093 0.094 0.095 0.095 0.097
TRS/TRCSR/PALINDROME_nokinds_noand_GM 1.356 1.366 0.69 0.55 0.55 0.552 0.551 0.553 0.556
TRS/TRCSR/PALINDROME_nokinds_noand_iGM 4.967 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nokinds-noand_L 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nokinds-noand_Z 0.12 0.12 0.12 0.125 0.126 0.122 0.124 0.123 0.124
TRS/TRCSR/PALINDROME_nokinds_Z 0.103 0.102 0.105 0.103 0.104 0.106 0.106 0.106 0.11
TRS/TRCSR/PALINDROME_nosorts_C 0.035 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nosorts_FR 0.007 0.007 0.008 0.007 0.007 0.0 0.0 0.0 0.005
TRS/TRCSR/PALINDROME_nosorts_GM 0.099 0.099 0.099 0.099 0.099 0.099 0.099 0.1 0.1
TRS/TRCSR/PALINDROME_nosorts_iGM 0.099 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nosorts_noand_C 0.1 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nosorts-noand_FR 0.0 0.0 0.0 0.006 0.006 0.007 0.008 0.008 0.009
TRS/TRCSR/PALINDROME_nosorts_noand_GM 0.099 0.099 0.099 0.099 0.099 0.099 0.1 0.1 0.1
TRS/TRCSR/PALINDROME_nosorts_noand_iGM 0.188 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PALINDROME_nosorts-noand_L 0.006 0.012 0.012 0.012 0.012 0.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts-noand_Z 0.012 0.011 0.012 0.012 0.012 0.0 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts_Z 0.0 0.0 0.0 0.0 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/TRCSR/PEANO_complete_C 0.79 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PEANO_complete_FR 0.081 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PEANO_complete_GM 0.395 0.397 0.398 0.408 0.4 0.401 0.403 0.404 0.404
TRS/TRCSR/PEANO_complete_iGM 6.667 3.015 2.996 2.995 2.992 3.002 3.547 2.999 3.002
TRS/TRCSR/PEANO_complete_noand_C 8.817 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PEANO_complete-noand_FR 0.584 0.585 0.591 0.59 0.592 0.597 0.593 0.593 0.594
TRS/TRCSR/PEANO_complete_noand_GM 0.697 0.679 0.68 0.682 0.683 0.684 0.671 0.675 0.678
TRS/TRCSR/PEANO_complete_noand_iGM 19.839 19.752 19.676 19.747 16.481 16.093 19.753 19.73 19.75
TRS/TRCSR/PEANO_complete-noand_Z 0.389 0.391 0.391 0.392 0.394 0.395 0.395 0.397 0.396
TRS/TRCSR/PEANO_complete_Z 0.182 0.187 0.183 0.185 0.185 0.185 0.187 0.188 0.187
TRS/TRCSR/PEANO_nokinds_C 0.122 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PEANO_nokinds_FR 0.052 0.051 0.039 0.041 0.041 0.043 0.045 0.045 0.046
TRS/TRCSR/PEANO_nokinds_GM 0.085 0.086 0.088 0.089 0.09 0.091 0.095 0.094 0.093
TRS/TRCSR/PEANO_nokinds_iGM 0.372 0.367 0.368 0.373 0.369 0.374 0.372 0.371 0.37
TRS/TRCSR/PEANO_nokinds_noand_C 0.3 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PEANO_nokinds-noand_FR 0.099 0.099 0.249 0.26 0.261 0.263 0.263 0.265 0.266
TRS/TRCSR/PEANO_nokinds_noand_GM 0.194 0.194 0.205 0.196 0.078 0.08 0.08 0.082 0.082
TRS/TRCSR/PEANO_nokinds_noand_iGM 1.372 1.38 1.378 1.38 1.381 1.383 1.381 1.363 1.371
TRS/TRCSR/PEANO_nokinds-noand_Z 0.048 0.06 0.061 0.064 0.064 0.065 0.066 0.067 0.068
TRS/TRCSR/PEANO_nokinds_Z 0.045 0.045 0.047 0.048 0.049 0.049 0.049 0.05 0.051
TRS/TRCSR/PEANO_nosorts_C 0.033 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/PEANO_nosorts_FR 0.007 0.0 0.0 0.0 0.0 0.001 0.001 0.002 0.005
TRS/TRCSR/PEANO_nosorts_GM 0.069 0.069 0.07 0.071 0.072 0.074 0.073 0.075 0.075
TRS/TRCSR/PEANO_nosorts_iGM 0.099 0.099 0.094 0.097 0.096 0.098 0.098 0.098 0.098
TRS/TRCSR/PEANO_nosorts_noand_C 0.07 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/PEANO_nosorts-noand_FR 0.005 0.007 0.008 0.009 0.01 0.01 0.011 0.012 0.019
TRS/TRCSR/PEANO_nosorts_noand_GM 0.097 0.099 0.099 0.099 0.1 0.1 0.1 0.1 0.099
TRS/TRCSR/PEANO_nosorts_noand_iGM 0.239 0.238 0.24 0.24 0.241 0.241 0.243 0.244 0.245
TRS/TRCSR/PEANO_nosorts-noand_Z 0.009 0.01 0.011 0.012 0.012 0.012 0.013 0.014 0.026
TRS/TRCSR/PEANO_nosorts_Z 0.004 0.005 0.006 0.005 0.007 0.007 0.008 0.008 0.009
TRS/various/02 0.003 0.003 0.004 0.004 0.005 0.005 0.006 0.006 0.008
TRS/various/03 0.003 0.004 0.003 0.005 0.005 0.006 0.007 0.007 0.007
TRS/various/04 0.051 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/various/05 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/various/06 0.007 0.006 0.007 0.008 0.008 0.009 0.008 0.01 0.01
TRS/various/07 0.004 0.004 0.005 0.004 0.006 0.006 0.007 0.008 0.008
TRS/various/08 0.08 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/various/09 0.0 0.0 0.0 0.0 0.006 0.007 0.008 0.009 0.009
TRS/various/10 0.093 0.094 0.094 0.096 0.095 0.096 0.096 0.098 0.099
TRS/various/11 0.008 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/various/12 0.031 0.032 0.034 0.035 0.036 0.036 0.038 0.038 0.039
TRS/various/13 0.099 0.099 0.099 0.099 0.099 0.1 0.1 0.1 0.1
TRS/various/14 0.369 0.372 0.371 0.372 0.373 0.374 0.374 0.376 0.376
TRS/various/15 0.006 60.0 0.01 0.007 0.009 0.008 0.008 0.009 0.009
TRS/various/18 0.022 0.023 0.021 0.024 0.024 0.025 0.025 0.027 0.03
TRS/various/19 0.041 0.042 0.042 0.042 0.044 0.044 0.045 0.044 0.045
TRS/various/20 0.012 0.168 60.0 0.169 60.0 0.036 0.116 0.037 0.117
TRS/various/21 0.099 0.099 0.099 0.1 0.061 0.062 0.062 0.063 0.066
TRS/various/22 0.002 0.003 0.005 0.005 0.005 0.008 0.008 0.009 0.009
TRS/various/23 0.008 0.007 0.009 0.009 0.01 0.011 0.01 0.011 0.012
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/various/24 0.018 0.019 0.02 0.02 0.021 0.022 0.022 0.022 0.024
TRS/various/25 0.005 0.007 0.006 0.008 0.007 0.007 0.009 0.008 0.012
TRS/various/26 0.03 0.031 0.032 0.033 0.034 0.035 0.036 0.036 0.037
TRS/various/27 0.005 0.006 0.008 0.009 0.01 0.011 0.012 0.013 0.013
TRS/Waldmann/jwaprove1 0.139 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwaprove2 0.026 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwcime1 0.029 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwcime2 0.033 0.057 4.58 0.022 3.645 0.014 0.02 0.015 0.02
TRS/Waldmann/jwmatchb1 0.003 60.0 0.032 60.0 0.033 0.007 0.012 0.011 0.013
TRS/Waldmann/jwmatchb2 0.005 60.0 0.039 60.0 0.039 0.009 0.011 0.011 0.012
TRS/Waldmann/jwno1 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno2 0.019 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno3 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno4 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno5 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno6 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno7 0.012 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno8 0.009 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwno9 0.018 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.024 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwtpa1 0.015 0.035 0.199 0.029 0.2 0.029 0.028 0.029 0.03
TRS/Waldmann/jwtpa2 0.035 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Waldmann/jwttt 0.03 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema06/beans 0.072 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/Zantema06/gcdMinMax 0.025 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.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema06/test1 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema06/while2 0.018 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema06/while 0.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/jw01 0.012 0.014 0.017 0.014 0.016 0.015 0.016 0.016 0.016
TRS/Zantema/jw02 0.011 0.013 0.016 0.014 0.016 0.015 0.015 0.016 0.016
TRS/Zantema/jw03 0.01 0.012 0.019 0.012 0.016 0.015 0.014 0.015 0.015
TRS/Zantema/jw04 0.013 0.015 0.017 0.015 0.017 0.0 0.0 0.004 0.006
TRS/Zantema/jw05 0.004 0.007 0.012 0.01 0.012 0.012 0.013 0.014 0.014
TRS/Zantema/jw06 0.009 0.011 0.014 0.012 0.014 0.014 0.014 0.014 0.014
TRS/Zantema/jw07 0.013 0.015 0.018 0.015 0.018 0.018 0.017 0.018 0.018
TRS/Zantema/jw08 0.012 0.015 0.017 0.015 0.017 0.017 0.016 0.018 0.017
TRS/Zantema/jw09 0.013 0.016 0.022 0.016 0.019 0.017 0.017 0.018 0.019
TRS/Zantema/jw11 0.007 0.008 0.008 0.008 0.009 0.009 0.01 0.01 0.011
TRS/Zantema/jw12 0.007 0.007 0.009 0.009 0.009 0.009 0.01 0.011 0.011
TRS/Zantema/jw13 0.012 0.015 0.021 0.016 0.022 0.016 0.016 0.017 0.018
TRS/Zantema/jw14 0.005 0.004 0.006 0.006 0.007 0.007 0.007 0.007 0.008
TRS/Zantema/jw15 0.012 0.014 0.022 0.015 0.018 0.017 0.016 0.016 0.016
TRS/Zantema/jw16 0.014 0.017 0.037 0.021 0.023 0.019 0.019 0.02 0.02
TRS/Zantema/jw17 0.016 0.018 0.037 0.019 0.022 0.019 0.019 0.006 0.008
TRS/Zantema/jw18 0.017 0.019 0.033 0.019 0.009 0.009 0.009 0.011 0.011
TRS/Zantema/jw19 0.01 0.016 0.037 0.02 0.041 0.021 0.028 0.023 0.03
TRS/Zantema/jw20 0.011 0.014 0.035 0.015 0.018 0.015 0.016 0.016 0.018
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/Zantema/jw21 0.014 0.017 0.019 0.016 0.018 0.018 0.017 0.018 0.02
TRS/Zantema/jw22 0.014 0.016 0.018 0.016 0.018 0.018 0.017 0.018 0.019
TRS/Zantema/jw23 0.014 0.015 0.023 0.016 0.018 0.018 0.017 0.018 0.0
TRS/Zantema/jw24 0.014 0.016 0.095 0.017 0.02 0.018 0.018 0.018 0.02
TRS/Zantema/jw25 0.012 0.014 0.02 0.014 0.019 0.016 0.016 0.017 0.017
TRS/Zantema/jw26 0.012 0.015 0.017 0.014 0.017 0.016 0.016 0.017 0.017
TRS/Zantema/jw27 0.017 0.019 0.022 0.12 0.037 0.0 0.019 0.007 0.008
TRS/Zantema/jw28 0.017 0.019 0.0 0.018 0.007 0.008 0.007 0.01 0.01
TRS/Zantema/jw29 0.007 0.011 0.021 0.012 0.016 0.014 0.014 0.016 0.015
TRS/Zantema/jw30 0.013 0.019 0.03 0.02 0.032 0.021 0.026 0.023 0.026
TRS/Zantema/jw31 0.013 0.014 0.02 0.015 0.018 0.016 0.016 0.017 0.017
TRS/Zantema/jw32 0.015 0.017 0.026 0.018 0.021 0.019 0.019 0.02 0.007
TRS/Zantema/jw33 0.015 0.017 0.027 0.018 0.021 0.019 0.018 0.005 0.008
TRS/Zantema/jw34 0.005 0.009 0.012 0.011 0.013 0.012 0.013 0.014 0.014
TRS/Zantema/jw35 0.003 0.004 0.005 0.005 0.006 0.006 0.006 0.007 0.009
TRS/Zantema/jw36 0.015 0.017 0.024 0.019 0.025 0.018 0.019 0.021 0.02
TRS/Zantema/jw37 0.008 0.01 0.008 0.009 0.009 0.021 0.011 0.011 0.0
TRS/Zantema/jw38 0.0 0.0 0.0 0.0 0.0 0.001 0.006 0.008 0.007
TRS/Zantema/jw39 0.013 0.015 0.042 0.017 0.019 0.018 0.018 0.018 0.018
TRS/Zantema/jw40 0.014 0.016 0.047 0.016 0.021 0.018 0.017 0.018 0.019
TRS/Zantema/jw41 0.015 0.018 0.02 0.018 0.02 0.019 0.019 0.02 0.02
TRS/Zantema/jw42 0.014 0.016 0.019 0.017 0.018 0.018 0.017 0.018 0.017
TRS/Zantema/jw43 0.013 0.016 0.02 0.016 0.018 0.017 0.016 0.018 0.017
TRS/Zantema/jw44 0.008 0.007 0.008 0.009 0.009 0.01 0.01 0.011 0.011
TRS/Zantema/jw47 0.008 0.008 0.008 0.009 0.008 0.01 0.01 0.011 0.012
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/Zantema/jw50 0.013 0.015 0.019 0.016 0.017 0.017 0.018 0.018 0.0
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.015 0.085 0.035 0.085 0.036 0.022 0.03 0.022 0.018
TRS/Zantema/z03 0.031 0.78 0.078 0.782 0.054 0.022 0.069 0.025 0.07
TRS/Zantema/z04 0.0 0.0 0.0 0.001 0.002 0.003 0.008 0.008 0.009
TRS/Zantema/z05 0.034 60.0 60.0 60.0 60.0 0.038 60.0 0.039 60.0
TRS/Zantema/z06 0.025 60.0 0.077 0.033 0.08 0.038 0.053 0.037 0.056
TRS/Zantema/z07 0.023 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z08 0.01 60.0 0.024 60.0 0.026 60.0 0.015 60.0 0.016
TRS/Zantema/z09 0.025 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
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.036 60.0 0.172 0.042 0.077 60.0 0.041 0.041 0.041
TRS/Zantema/z12 0.02 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z13 0.013 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z14 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z15 0.014 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z16 0.01 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z17 0.005 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z18 0.015 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z19 0.041 60.0 4.082 60.0 4.065 60.0 0.221 60.0 0.222
TRS/Zantema/z20 0.061 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z21 0.074 60.0 1.428 60.0 1.417 60.0 0.132 60.0 0.132
TRS/Zantema/z22 0.12 60.0 3.23 60.0 2.734 0.394 0.063 0.394 0.065
TRS/Zantema/z23 0.011 60.0 0.342 60.0 0.143 60.0 0.041 60.0 0.042
TRS/Zantema/z24 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/Zantema/z25 0.026 60.0 0.039 60.0 0.04 0.032 0.031 0.034 0.033
TRS/Zantema/z26 0.03 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z27 0.002 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/Zantema/z28 0.01 60.0 0.061 60.0 60.0 60.0 0.062 60.0 60.0
TRS/Zantema/z29 0.011 0.026 0.026 0.027 0.027 0.029 0.029 0.03 0.031
TRS/Zantema/z30 0.083 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
Yes No Maybe Timeout