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.07 0.071 0.071 0.071 0.047 0.06 0.061 0.062
TRS/AG01/#3.12 0.009 0.011 0.011 0.012 0.013 0.012 0.0 0.009 0.01
TRS/AG01/#3.13 0.098 0.098 0.099 0.1 0.1 0.1 0.076 0.088 0.09
TRS/AG01/#3.14 0.011 0.015 0.015 0.015 0.016 0.016 0.017 0.017 0.017
TRS/AG01/#3.15 0.014 0.014 0.015 0.016 0.017 0.017 0.018 0.018 0.018
TRS/AG01/#3.16 0.007 0.009 0.01 0.01 0.011 0.012 0.012 0.012 0.013
TRS/AG01/#3.17a 0.037 0.036 0.038 0.038 0.039 0.04 0.04 0.041 0.041
TRS/AG01/#3.17 0.036 0.035 0.035 0.037 0.039 0.038 0.038 0.039 0.04
TRS/AG01/#3.18 0.019 0.02 0.021 0.022 0.023 0.022 0.023 0.024 0.024
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.004 0.006 0.012 0.013 0.014 0.015 0.014 0.016
TRS/AG01/#3.21 0.009 60.0 60.0 0.013 0.038 60.0 60.0 0.013 0.014
TRS/AG01/#3.22 0.017 60.0 60.0 60.0 0.26 60.0 60.0 0.013 0.026
TRS/AG01/#3.23 0.0 0.0 0.0 0.0 0.002 0.003 0.005 0.006 0.007
TRS/AG01/#3.24 0.006 0.007 0.008 0.009 0.009 0.011 0.012 0.012 0.012
TRS/AG01/#3.26 0.007 0.005 0.007 0.008 0.009 0.009 0.01 0.01 0.011
TRS/AG01/#3.29 0.005 0.006 0.005 0.007 0.007 0.009 0.009 0.009 0.01
TRS/AG01/#3.2 0.012 0.012 0.012 0.014 0.014 0.015 0.016 0.017 0.016
TRS/AG01/#3.31 0.002 0.003 0.003 0.004 0.005 0.006 0.006 0.007 0.007
TRS/AG01/#3.33 0.0 0.0 0.003 0.004 0.005 0.005 0.006 0.007 0.007
TRS/AG01/#3.35 0.003 0.003 0.005 0.005 0.007 0.007 0.007 0.008 0.009
TRS/AG01/#3.36 0.023 0.023 0.024 0.024 0.026 0.027 0.027 0.028 0.028
TRS/AG01/#3.37 0.006 0.006 0.006 0.006 0.008 0.008 0.009 0.009 0.01
TRS/AG01/#3.38 0.016 0.016 0.016 0.018 0.019 0.019 0.02 0.02 0.02
TRS/AG01/#3.39 0.054 60.0 60.0 0.072 0.897 60.0 60.0 0.043 0.043
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.606 60.0 60.0 60.0 0.085
TRS/AG01/#3.41 0.0 0.005 60.0 0.002 0.004 0.008 60.0 0.005 0.008
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.01 0.01 0.011 0.011 0.011 0.0
TRS/AG01/#3.48 0.016 0.014 0.014 0.014 0.016 0.016 0.017 0.017 0.017
TRS/AG01/#3.49 0.03 0.037 0.038 0.035 0.039 0.035 0.04 0.037 0.041
TRS/AG01/#3.4 0.019 0.02 0.022 0.022 0.023 0.023 0.025 0.024 0.025
TRS/AG01/#3.51 0.005 0.005 0.007 0.008 0.007 0.009 0.009 0.009 0.01
TRS/AG01/#3.52 0.004 0.004 0.006 0.006 0.007 0.007 0.008 0.008 0.009
TRS/AG01/#3.53a 0.006 0.006 0.007 0.008 0.008 0.009 0.009 0.01 0.01
TRS/AG01/#3.53b 0.005 0.005 0.006 0.007 0.007 0.008 0.009 0.009 0.009
TRS/AG01/#3.53 0.073 0.072 0.072 0.074 0.074 0.076 0.075 0.076 0.076
TRS/AG01/#3.54 0.014 0.013 0.015 0.015 0.017 0.016 0.018 0.017 0.018
TRS/AG01/#3.55 0.099 0.099 0.099 0.1 0.1 0.1 0.1 0.1 0.1
TRS/AG01/#3.56 0.016 0.016 0.017 0.017 0.019 0.02 0.02 0.02 0.02
TRS/AG01/#3.57 0.078 0.078 0.078 0.081 0.08 0.081 0.081 0.082 0.082
TRS/AG01/#3.5a 0.028 0.028 0.029 0.031 0.03 0.032 0.034 0.035 0.033
TRS/AG01/#3.5b 0.033 0.043 0.034 0.036 0.036 0.039 0.037 0.037 0.038
TRS/AG01/#3.5 0.027 0.028 0.029 0.029 0.03 0.03 0.031 0.031 0.031
TRS/AG01/#3.6a 0.033 0.033 0.034 0.035 0.035 0.036 0.038 0.037 0.037
TRS/AG01/#3.6b 0.066 0.065 0.066 0.067 0.068 0.067 0.069 0.069 0.069
TRS/AG01/#3.6 0.035 0.034 0.035 0.036 0.038 0.037 0.037 0.039 0.04
TRS/AG01/#3.7 0.011 0.011 0.011 0.013 0.014 0.014 0.014 0.015 0.016
TRS/AG01/#3.8a 0.032 0.032 0.034 0.033 0.034 0.034 0.035 0.035 0.035
TRS/AG01/#3.8b 0.046 0.046 0.047 0.048 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.035 0.024 60.0 60.0 0.037 0.025 60.0 60.0
TRS/AProVE/forward_instantiation 0.0 0.034 0.023 60.0 60.0 0.035 0.025 60.0 60.0
TRS/AProVE/IJCAR_12 0.028 0.032 0.032 0.021 0.014 0.03 0.015 0.015 0.015
TRS/AProVE/IJCAR_18 0.068 0.023 0.024 0.024 0.025 0.026 0.026 0.026 0.027
TRS/AProVE/IJCAR_1 0.015 0.008 0.015 0.016 0.016 0.017 0.018 0.018 0.019
TRS/AProVE/IJCAR_26a 0.099 60.0 60.0 0.099 0.107 60.0 60.0 0.081 0.101
TRS/AProVE/IJCAR_26 0.088 60.0 60.0 0.078 0.104 60.0 60.0 0.079 0.097
TRS/AProVE/improved_usable2 0.005 0.004 0.005 0.005 0.006 0.006 0.011 0.011 0.013
TRS/AProVE/improved_usable 0.01 0.01 0.011 0.011 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.1 0.098 0.099 0.1 0.111 0.103 0.104 0.103
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.037 0.039 0.041 0.042 0.042 0.043 0.044
TRS/AProVE/Liveness_WRS 0.122 60.0 1.745 60.0 0.494 60.0 0.123 60.0 0.122
TRS/AProVE/LPAR_intlist 0.0 0.001 0.002 0.003 0.004 0.004 0.005 0.006 0.013
TRS/AProVE/rta1 0.028 0.029 0.028 0.029 0.031 0.031 0.031 0.031 0.032
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.012 0.014 0.014 0.015 0.016 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.006 0.006 0.007 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.342 0.356 0.356 0.345 0.357 0.359 0.361
TRS/Cime/boolean_rings 0.004 0.005 0.005 0.005 0.006 0.006 0.015 0.016 0.016
TRS/Cime/dpqs 0.005 0.005 0.007 0.007 0.008 0.008 0.007 0.008 0.008
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.06 0.061 0.062 0.063 0.063 0.065 0.065 0.065
TRS/Cime/filliatre3 0.099 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.1
TRS/Cime/filliatre 0.036 0.059 0.059 0.059 0.06 0.06 0.061 0.062 0.062
TRS/Cime/intersect 0.03 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.117
TRS/Cime/list-sum-prod-assoc-append 0.011 0.079 0.079 0.08 0.082 0.08 0.082 0.082 0.081
TRS/Cime/list-sum-prod-assoc 0.008 0.039 0.041 0.041 0.041 0.043 0.042 0.043 0.044
TRS/Cime/list-sum-prod-bin-assoc-distr-app 0.044 0.099 0.044 0.046 0.046 0.047 0.047 0.048 0.048
TRS/Cime/list-sum-prod-bin-assoc 0.027 0.029 0.028 0.029 0.029 0.03 0.03 0.031 0.006
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.021 0.021 0.022 0.022 0.023 0.023 0.024 0.024
TRS/Cime/list-sum-prod 0.0 0.006 0.006 0.007 0.007 0.008 0.008 0.0 0.02
TRS/Cime/log2 0.099 0.098 0.099 0.1 0.1 0.101 0.107 0.101 0.076
TRS/Cime/lse 0.168 0.169 0.169 0.17 0.171 0.171 0.172 0.16 0.16
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.088 0.09 0.09 0.066 0.08 0.082 0.085 0.087
TRS/Cime/quick 0.018 0.018 0.019 0.021 0.021 0.022 0.022 0.023 0.023
TRS/Cime/ternary-hard 0.066 0.064 0.066 0.066 0.067 0.068 0.068 0.069 0.056
TRS/Cime/ternary 0.05 0.052 0.052 0.053 0.054 0.04 0.042 0.044 0.046
TRS/Cime/tree 0.352 0.343 0.346 0.347 0.352 0.349 0.349 0.349 0.351
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.056 0.057 60.0 60.0 0.054 0.042
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.536 60.0 60.0 0.096 0.087
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.01 0.01 0.012 0.012 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.01 0.011 0.012 0.012 0.013 0.014 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.036 0.039 0.04 0.042 0.043 0.048
TRS/currying/AG01/#3.48 0.039 0.04 0.041 0.043 0.042 0.044 0.044 0.045 0.044
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.021 0.022 0.024 0.024 0.024 0.025 0.026 0.026
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.019 0.02 0.02 0.02 0.008 0.01 0.011 0.013
TRS/currying/D33/02 0.009 0.011 0.013 0.013 0.014 0.015 0.015 0.016 0.016
TRS/currying/D33/06 0.017 0.016 0.018 0.017 0.019 0.019 0.02 0.02 0.02
TRS/currying/D33/08 0.045 0.045 0.046 0.047 0.047 0.047 0.048 0.048 0.035
TRS/currying/D33/11 0.31 0.323 0.324 0.323 0.31 0.312 0.314 0.316 0.318
TRS/currying/D33/12 0.077 60.0 60.0 0.086 0.267 60.0 60.0 0.075 0.181
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.098
TRS/currying/D33/18 0.014 0.013 0.014 0.015 0.016 0.017 0.018 0.019 0.019
TRS/currying/D33/21 0.096 60.0 60.0 0.092 0.113 60.0 60.0 0.092 0.092
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.127 0.041 0.041 0.042 0.043 0.043 0.044 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.0 0.0 0.002 0.002 0.003 0.003 0.004 0.006
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/D33/02 0.005 0.005 0.006 0.006 0.007 0.006 0.006 0.007 0.007
TRS/D33/03 0.005 0.005 0.006 0.006 0.005 0.007 0.007 0.007 0.007
TRS/D33/04 0.007 0.008 0.007 0.008 0.009 0.009 0.009 0.009 0.0
TRS/D33/06 0.006 0.008 0.008 0.0 0.0 0.0 0.0 0.0 0.002
TRS/D33/07 0.012 0.005 0.007 0.007 0.007 0.009 0.009 0.009 0.01
TRS/D33/08 0.028 0.032 0.032 0.033 0.034 0.034 0.034 0.035 0.034
TRS/D33/09 0.007 0.009 0.008 0.009 0.01 0.01 0.011 0.011 0.011
TRS/D33/11 0.1 0.1 0.026 0.026 0.026 0.027 0.027 0.014 0.018
TRS/D33/12 0.015 0.005 0.006 0.007 0.009 0.01 0.011 0.011 0.031
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.013 0.013 0.015 0.015 0.017 0.017 0.018 0.019
TRS/D33/18 0.008 0.007 0.008 0.009 0.009 0.009 0.011 0.01 0.0
TRS/D33/20 0.05 0.05 0.049 0.049 0.051 0.05 0.051 0.039 0.04
TRS/D33/21 0.02 60.0 60.0 0.011 0.014 60.0 60.0 0.013 0.014
TRS/D33/27 0.0 0.003 0.003 0.004 0.005 0.005 0.006 0.006 0.008
TRS/D33/28 0.012 0.012 0.013 0.014 0.014 0.014 0.015 0.015 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.018 0.019 0.02 0.02 0.021 0.021 0.021 0.022
TRS/D33/32 0.0 0.017 0.018 0.018 0.019 0.019 0.02 0.02 0.02
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.102 2.558 0.03 0.885 0.062 0.025 0.039 0.026
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.248 60.0 0.252 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.189 3.389 0.135 0.027 0.015 0.015 0.015 0.015
TRS/Endrullis/quadruple2 0.022 0.103 60.0 0.104 60.0 0.027 0.026 0.029 0.027
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.029 0.03 0.03 0.031 0.031 0.031 0.032 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.036 60.0 60.0 0.031 0.031
TRS/higher-order/AotoYam/005 0.013 0.013 0.014 0.014 0.015 0.015 0.016 0.016 0.016
TRS/higher-order/AotoYam/006 0.044 0.043 0.043 0.044 0.045 0.045 0.045 0.0 0.0
TRS/higher-order/AotoYam/007 0.026 60.0 60.0 0.03 0.035 60.0 60.0 0.123 0.041
TRS/higher-order/AotoYam/009 0.045 0.008 0.008 0.009 0.01 0.01 0.011 0.012 0.012
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.007 0.007 0.008 0.008 0.009 0.01 0.01 0.011
TRS/higher-order/AotoYam/013 0.058 60.0 60.0 0.062 0.071 60.0 60.0 0.059 0.059
TRS/higher-order/AotoYam/014 0.072 60.0 60.0 0.081 0.085 60.0 60.0 0.079 0.075
TRS/higher-order/AotoYam/015 0.02 0.021 0.02 0.02 0.021 0.022 0.022 0.022 0.0
TRS/higher-order/AotoYam/016 0.058 0.047 0.048 0.05 0.05 0.053 0.052 0.054 0.054
TRS/higher-order/AotoYam/017 0.003 0.004 0.005 0.005 0.006 0.006 0.006 0.007 0.007
TRS/higher-order/AotoYam/019 0.012 0.012 0.013 0.013 0.013 0.013 0.013 0.0 0.0
TRS/higher-order/AotoYam/020 0.043 60.0 60.0 0.049 0.057 60.0 60.0 0.049 0.049
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.029 0.03 0.03 0.03 0.031 0.031 0.032 0.032
TRS/higher-order/AotoYam/023 0.014 0.014 0.014 0.015 0.016 0.016 0.0 0.0 0.005
TRS/higher-order/AotoYam/024 0.0 0.0 0.0 0.01 0.011 0.012 0.011 0.013 0.013
TRS/higher-order/AotoYam/025 0.004 0.004 0.005 0.005 0.006 0.006 0.005 0.007 0.007
TRS/higher-order/AotoYam/026 0.031 0.031 0.033 0.033 0.034 0.033 0.0 0.0 0.0
TRS/higher-order/AotoYam/027 0.033 60.0 60.0 0.039 0.042 60.0 60.0 0.039 0.04
TRS/higher-order/AotoYam/028 0.016 0.016 0.017 0.018 0.018 0.019 0.02 0.021 0.021
TRS/higher-order/AotoYam/Ex1SimplyTyped 0.034 60.0 60.0 0.043 0.061 60.0 60.0 0.038 0.037
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.017 0.019 0.019 0.019 0.02
TRS/higher-order/AProVE_HO/TakeDropWhile 0.05 0.049 0.05 0.05 0.052 0.051 0.052 0.05 0.039
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.169 60.0 60.0 60.0 0.173 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.04 0.041 0.042 0.044 0.045 0.045 0.046 0.046
TRS/higher-order/Bird/Ex2_6_1Composition 0.005 0.005 0.005 0.005 0.006 0.006 0.006 0.007 0.007
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.029 0.036 60.0 60.0 0.026 0.026
TRS/higher-order/Bird/TreeHeight 0.008 0.014 0.014 0.015 0.015 0.015 0.016 0.016 0.017
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.063 0.069 60.0 60.0 0.047 0.047
TRS/higher-order/Bird/TreeMap 0.009 0.002 0.003 0.004 0.005 0.005 0.006 0.008 0.008
TRS/higher-order/Bird/TreeSize 0.057 60.0 60.0 0.025 0.028 60.0 60.0 0.025 0.025
TRS/higher-order/Kusakari/Ex6_11 0.008 0.012 0.011 0.012 0.012 0.012 0.0 0.0 0.0
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 8.701 60.0 60.0 0.099 0.099
TRS/higher-order/Lifantsev/Ex4MapList 0.011 60.0 60.0 0.026 0.099 60.0 60.0 0.02 0.028
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.05 0.05 0.051 0.052 0.052 0.052 0.053 0.054
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.106 0.107 0.108 0.11 0.111 0.111 0.112
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.021 0.028 0.022 0.022 0.022 0.022 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.42 0.42 0.422 0.427 0.409 0.409 0.413
TRS/HM/t006 0.001 0.001 0.001 0.002 0.003 0.004 0.007 0.007 0.007
TRS/HM/t007 0.007 0.007 0.007 0.008 0.008 0.008 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.933 60.0 6.617 60.0 6.098 8.37 5.931
TRS/HM/t010 0.0 0.007 0.007 0.0 0.0 0.0 0.0 0.0 0.002
TRS/HM/t011 0.008 0.005 0.005 0.006 0.006 0.007 0.007 0.008 0.009
TRS/HM/t012 0.053 0.061 0.061 0.049 0.051 0.052 0.054 0.055 0.056
TRS/HM/t013 0.028 0.027 0.027 0.029 0.029 0.029 0.029 0.029 0.03
TRS/HM/t014 0.019 0.029 0.029 0.029 0.016 0.018 0.019 0.021 0.021
TRS/HofWald/1 0.015 0.015 0.024 0.016 0.018 0.017 0.016 0.018 0.017
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.049 0.036 0.026 0.113 0.051 0.037 0.013 0.101
TRS/HofWald/4 0.015 0.01 0.144 0.012 0.018 0.014 0.014 0.015 0.015
TRS/HofWald/5 0.0 0.013 0.014 0.013 0.018 0.014 0.015 0.014 0.0
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.007 0.008 0.008 0.007 0.008 0.009 0.009 0.009
TRS/LJB01/jones2 0.0 0.0 0.0 0.0 0.0 0.005 0.006 0.005 0.006
TRS/LJB01/jones4 0.006 0.013 0.006 0.006 0.007 0.007 0.008 0.008 0.008
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.011 0.012 0.012 0.012 0.0 0.0 0.0 0.0
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.005 0.005 0.006 0.006 0.007 0.007 0.008 0.008
TRS/nontermin/AG01/#4.20 0.0 0.008 0.008 0.0 0.0 0.0 0.0 0.0 0.002
TRS/nontermin/AG01/#4.21 0.006 0.005 0.005 0.006 0.007 0.006 0.007 0.008 0.008
TRS/nontermin/AG01/#4.22 0.0 0.0 0.0 0.0 0.004 0.006 0.007 0.007 0.007
TRS/nontermin/AG01/#4.23 0.023 0.023 0.023 0.024 0.025 0.025 0.025 0.012 0.013
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.017 0.019 60.0 60.0 0.017 0.02
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.309 60.0 0.308 0.015 0.015 0.016 0.024
TRS/nontermin/AG01/#4.32 0.0 0.0 0.0 0.0 0.005 0.006 0.007 0.009 0.009
TRS/nontermin/AG01/#4.33 0.046 0.045 0.043 0.045 0.045 0.045 0.02 0.033 0.034
TRS/nontermin/AG01/#4.34 0.017 0.015 0.016 0.017 0.017 0.019 0.019 0.019 0.021
TRS/nontermin/AG01/#4.35 0.099 0.101 0.051 0.026 0.039 0.04 0.041 0.043 0.044
TRS/nontermin/AG01/#4.36 0.055 0.054 0.055 0.055 0.055 0.056 0.056 0.056 0.057
TRS/nontermin/AG01/#4.37a 0.008 0.006 0.008 0.009 0.01 0.011 0.012 0.013 0.018
TRS/nontermin/AG01/#4.37 0.019 0.017 0.017 0.018 0.019 0.018 0.007 0.008 0.01
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.008 0.01 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.026 0.026 0.027 0.027 0.028 0.028 0.015 0.017
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.0 0.0 0.005 0.006 0.006 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.006 0.008 0.009 0.009 0.011 0.01 0.011 0.012
TRS/Rubio/bintrees 0.006 0.007 0.009 0.01 0.01 0.012 0.012 0.013 0.014
TRS/Rubio/bn122 0.016 0.016 0.016 0.0 0.0 0.006 0.008 0.009 0.01
TRS/Rubio/bn129 0.031 0.031 0.031 0.031 0.031 0.032 0.033 0.033 0.033
TRS/Rubio/division 0.018 0.02 0.021 0.021 0.022 0.025 0.024 0.025 0.025
TRS/Rubio/elimdupl 0.034 0.022 0.023 0.025 0.026 0.028 0.028 0.029 0.029
TRS/Rubio/enno 0.039 0.041 0.04 0.041 0.028 0.03 0.032 0.033 0.034
TRS/Rubio/gcd 0.052 0.054 0.053 0.054 0.054 0.054 0.055 0.056 0.05
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.004 0.004 0.006 0.006 0.007 0.008
TRS/Rubio/gm 0.007 0.01 0.01 0.011 0.013 0.014 0.014 0.016 0.016
TRS/Rubio/koen 0.011 0.01 0.0 0.0 0.0 0.0 0.004 0.005 0.006
TRS/Rubio/lescanne 0.016 0.017 0.018 0.019 0.018 0.0 0.0 0.008 0.009
TRS/Rubio/lindau 0.0 0.006 0.007 0.007 0.008 0.008 0.009 0.009 0.01
TRS/Rubio/logarquot 0.025 0.027 0.027 0.03 0.029 0.031 0.031 0.032 0.033
TRS/Rubio/ma96 0.099 0.099 0.05 0.051 0.052 0.053 0.054 0.054 0.056
TRS/Rubio/mfp90b 0.01 0.0 0.0 0.002 0.003 0.004 0.005 0.006 0.009
TRS/Rubio/mfp95 0.007 0.008 0.008 0.0 0.0 0.0 0.0 0.0 0.002
TRS/Rubio/nestrec 0.007 0.011 0.01 0.011 0.012 0.012 0.013 0.0 0.0
TRS/Rubio/p266 0.0 0.003 0.003 0.004 0.005 0.005 0.005 0.006 0.007
TRS/Rubio/polo2 0.017 0.099 0.032 0.021 0.022 0.023 0.024 0.024 0.025
TRS/Rubio/prov 0.0 0.0 0.0 0.0 0.0 0.001 0.003 0.004 0.007
TRS/Rubio/quick 0.05 0.05 0.055 0.056 0.057 0.059 0.06 0.061 0.062
TRS/Rubio/quotminus 0.027 0.028 0.028 0.028 0.015 0.017 0.018 0.02 0.021
TRS/Rubio/revlist 0.02 0.022 0.024 0.024 0.024 0.025 0.025 0.025 0.025
TRS/Rubio/selsort 0.099 0.099 0.099 0.099 0.099 0.099 0.1 0.1 0.1
TRS/Rubio/test4 0.01 0.013 0.014 0.014 0.016 0.017 0.018 0.019 0.019
TRS/Rubio/test829 0.0 0.0 0.004 0.004 0.006 0.006 0.008 0.01 0.009
TRS/Rubio/wst99 0.099 0.099 0.078 0.074 0.076 0.077 0.078 0.078 0.08
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.146 0.182 60.0 60.0 0.149 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.837 60.0 60.0 60.0 0.85
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.977 60.0 2.367 60.0 2.966 60.0 2.35
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 2.715 60.0 5.91 60.0 1.542 60.0 3.415
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.01 60.0 0.023 60.0 0.016 60.0 0.025
TRS/secret05/matchbox2 0.014 0.007 0.01 0.008 0.01 0.01 0.011 0.011 0.012
TRS/secret05/teparla1 0.01 60.0 60.0 29.995 60.0 0.03 0.018 0.019 0.019
TRS/secret05/teparla2 0.026 60.0 29.714 60.0 29.685 60.0 25.958 60.0 29.682
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.031 0.037
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.347 60.0 0.347 60.0 0.031 60.0 0.032
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.12 60.0 2.106 60.0 0.061 60.0 0.061 60.0
TRS/secret06/jambox/7 0.017 60.0 60.0 60.0 60.0 60.0 0.497 60.0 0.497
TRS/secret06/jambox/8 0.025 0.033 0.506 0.034 0.496 0.019 0.018 0.022 0.021
TRS/secret06/jambox/9 0.016 0.036 0.139 0.012 0.139 0.013 0.02 0.018 0.023
TRS/secret06/matchbox/gen-10 0.016 0.05 0.18 0.042 0.311 0.038 0.171 0.033 0.327
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.071 60.0 0.072 60.0 0.074 60.0 0.073
TRS/secret06/matchbox/gen-17 0.01 60.0 60.0 0.014 60.0 60.0 60.0 0.016 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.426 60.0 0.689 60.0 0.683 60.0 0.69
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.099 0.025 0.027 0.027 0.028 0.028 0.028 0.03
TRS/secret07/cime/secret2 0.013 0.008 0.009 0.01 0.011 0.011 0.012 0.012 0.014
TRS/secret07/cime/secret3 0.013 0.012 0.014 0.016 0.016 0.016 0.017 0.018 0.018
TRS/secret07/cime/secret4 0.024 0.023 0.024 0.025 0.027 0.027 0.028 0.028 0.03
TRS/secret07/cime/secret5 0.035 0.036 0.036 0.037 0.039 0.039 0.04 0.041 0.04
TRS/secret07/others/dj 0.0 0.0 0.002 0.002 0.003 0.004 0.008 0.008 0.01
TRS/secret07/TTT2/1 0.054 60.0 60.0 60.0 60.0 0.109 60.0 0.099 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.199 60.0
TRS/secret07/TTT2/4 0.046 60.0 60.0 60.0 60.0 8.089 60.0 7.333 60.0
TRS/secret07/TTT2/5 0.14 60.0 60.0 60.0 60.0 60.0 60.0 7.691 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.0 0.002 0.002 0.015 0.016 0.016 0.016 0.018
TRS/SK90/2.02 0.031 0.032 0.033 0.037 0.035 0.037 0.036 0.036 0.037
TRS/SK90/2.03 0.0 0.007 0.008 0.009 0.01 0.01 0.011 0.011 0.012
TRS/SK90/2.04 0.0 0.004 0.006 0.007 0.007 0.007 0.009 0.009 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.036 0.037 0.037 0.0 0.0 0.027 0.029
TRS/SK90/2.07 0.021 0.023 0.023 0.0 0.0 0.0 0.015 0.016 0.017
TRS/SK90/2.08 0.023 0.0 0.017 0.018 0.018 0.021 0.023 0.022 0.022
TRS/SK90/2.09 0.009 0.005 0.006 0.005 0.007 0.007 0.008 0.009 0.009
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.012 0.013 0.015 0.015 0.015 0.016 0.016 0.017
TRS/SK90/2.11 0.006 0.005 0.006 0.007 0.007 0.007 0.008 0.009 0.01
TRS/SK90/2.12 0.019 0.019 0.019 0.021 0.021 0.022 0.023 0.023 0.023
TRS/SK90/2.13 0.007 0.008 0.009 0.009 0.01 0.011 0.011 0.012 0.012
TRS/SK90/2.14 0.007 0.008 0.01 0.01 0.011 0.011 0.012 0.013 0.013
TRS/SK90/2.15 0.005 0.004 0.005 0.005 0.006 0.006 0.007 0.007 0.008
TRS/SK90/2.16 0.012 0.011 0.013 0.012 0.014 0.014 0.015 0.015 0.016
TRS/SK90/2.17 0.004 0.004 0.005 0.006 0.006 0.008 0.008 0.008 0.009
TRS/SK90/2.18 0.004 0.005 0.006 0.006 0.007 0.007 0.008 0.008 0.009
TRS/SK90/2.19 0.008 0.008 0.009 0.01 0.01 0.011 0.012 0.012 0.013
TRS/SK90/2.20 0.003 0.004 0.004 0.006 0.006 0.007 0.007 0.007 0.008
TRS/SK90/2.21 0.005 0.005 0.006 0.008 0.008 0.009 0.009 0.009 0.01
TRS/SK90/2.22 0.008 0.007 0.008 0.01 0.011 0.011 0.011 0.012 0.012
TRS/SK90/2.23 0.012 0.013 0.013 0.014 0.015 0.016 0.016 0.016 0.017
TRS/SK90/2.24 0.005 0.005 0.006 0.007 0.008 0.009 0.008 0.01 0.01
TRS/SK90/2.25 0.007 0.009 0.009 0.01 0.011 0.011 0.012 0.013 0.012
TRS/SK90/2.26 0.013 0.016 0.016 0.043 0.031 0.017 0.017 0.018 0.018
TRS/SK90/2.27 0.009 0.01 0.011 0.012 0.013 0.013 0.014 0.013 0.014
TRS/SK90/2.28 0.005 0.006 0.007 0.008 0.008 0.009 0.009 0.01 0.01
TRS/SK90/2.29 0.006 0.006 0.007 0.008 0.009 0.009 0.009 0.01 0.01
TRS/SK90/2.30 0.0 0.003 0.003 0.003 0.004 0.006 0.006 0.006 0.006
TRS/SK90/2.31 0.007 0.009 0.009 0.01 0.01 0.011 0.011 0.012 0.012
TRS/SK90/2.32 0.005 0.004 0.006 0.007 0.007 0.008 0.008 0.009 0.009
TRS/SK90/2.33 0.016 0.015 0.015 0.016 0.017 0.018 0.018 0.018 0.019
TRS/SK90/2.34 0.014 0.015 0.015 0.017 0.017 0.017 0.018 0.019 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.012 0.012 0.013 0.013 0.014 0.014
TRS/SK90/2.36 0.003 0.004 0.004 0.006 0.007 0.006 0.007 0.007 0.008
TRS/SK90/2.37 0.007 0.008 0.008 0.009 0.009 0.01 0.01 0.011 0.011
TRS/SK90/2.38 0.01 0.01 0.01 0.011 0.012 0.012 0.012 0.014 0.013
TRS/SK90/2.39 0.006 0.007 0.007 0.009 0.009 0.009 0.009 0.011 0.011
TRS/SK90/2.40 0.007 0.008 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.011 0.011 0.012 0.013 0.013
TRS/SK90/2.42 0.043 0.044 0.046 0.045 0.047 0.046 0.048 0.047 0.049
TRS/SK90/2.43 0.011 0.012 0.013 0.014 0.014 0.014 0.016 0.017 0.016
TRS/SK90/2.44 0.034 0.034 0.035 0.036 0.038 0.038 0.038 0.038 0.038
TRS/SK90/2.45 0.005 0.006 0.006 0.008 0.009 0.009 0.01 0.01 0.01
TRS/SK90/2.46 0.012 0.012 0.013 0.013 0.015 0.014 0.016 0.015 0.016
TRS/SK90/2.47 0.005 0.004 0.004 0.004 0.006 0.005 0.007 0.006 0.007
TRS/SK90/2.48 0.003 0.003 0.003 0.004 0.004 0.005 0.006 0.006 0.006
TRS/SK90/2.49 0.003 0.003 0.004 0.005 0.005 0.006 0.005 0.007 0.007
TRS/SK90/2.50 0.003 0.003 0.004 0.005 0.005 0.005 0.007 0.007 0.006
TRS/SK90/2.51 0.01 0.01 0.011 0.012 0.014 0.013 0.015 0.014 0.014
TRS/SK90/2.52 0.057 0.057 0.057 0.059 0.059 0.059 0.06 0.06 0.061
TRS/SK90/2.53 0.007 0.007 0.008 0.009 0.009 0.009 0.011 0.011 0.011
TRS/SK90/2.54 0.003 0.004 0.004 0.005 0.006 0.006 0.007 0.007 0.007
TRS/SK90/2.55 0.003 0.003 0.005 0.005 0.005 0.006 0.007 0.006 0.007
TRS/SK90/2.56 0.003 0.003 0.004 0.005 0.005 0.006 0.006 0.007 0.007
TRS/SK90/2.57 0.002 0.005 0.003 0.005 0.006 0.006 0.007 0.006 0.008
TRS/SK90/2.58 0.004 0.004 0.005 0.005 0.006 0.006 0.007 0.007 0.008
TRS/SK90/2.59 0.003 0.004 0.005 0.004 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.004 0.004 0.006 0.005 0.007 0.007 0.008
TRS/SK90/2.61 0.003 0.004 0.005 0.006 0.006 0.007 0.007 0.008 0.008
TRS/SK90/4.01 0.003 0.003 0.004 0.005 0.006 0.006 0.006 0.007 0.007
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.016 0.017 0.018 0.019 0.02 0.02 0.022
TRS/SK90/4.04 0.021 0.006 0.007 0.007 0.008 0.009 0.009 0.01 0.01
TRS/SK90/4.05 0.016 0.015 0.016 0.018 0.017 0.018 0.019 0.018 0.019
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.0 0.005 0.006 0.007 0.008 0.009
TRS/SK90/4.08 0.0 0.005 0.006 0.006 0.007 0.008 0.008 0.01 0.009
TRS/SK90/4.09 0.023 0.024 0.025 0.026 0.026 0.027 0.028 0.028 0.029
TRS/SK90/4.10 0.023 0.024 0.025 0.026 0.026 0.028 0.027 0.027 0.028
TRS/SK90/4.11 0.003 0.005 0.006 0.005 0.006 0.006 0.007 0.007 0.008
TRS/SK90/4.12 0.009 0.01 0.011 0.012 0.012 0.013 0.012 0.013 0.013
TRS/SK90/4.13 0.01 60.0 60.0 0.013 0.015 60.0 60.0 0.013 0.014
TRS/SK90/4.14 0.023 0.025 0.025 0.027 0.027 0.056 0.046 0.029 0.029
TRS/SK90/4.15 0.004 0.005 0.006 0.007 0.008 0.007 0.007 0.008 0.009
TRS/SK90/4.16 0.012 0.014 0.016 0.015 0.141 0.424 0.014 0.017 0.008
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.002 0.003 0.004 0.004 0.005 0.006
TRS/SK90/4.19 0.001 0.002 0.003 0.004 0.004 0.004 0.005 0.005 0.006
TRS/SK90/4.20 0.011 0.011 0.012 0.013 0.012 0.013 0.015 0.014 0.016
TRS/SK90/4.21 0.018 0.017 0.017 0.019 0.019 0.019 0.019 0.02 0.021
TRS/SK90/4.22 0.02 0.019 0.02 0.021 0.021 0.022 0.022 0.023 0.024
TRS/SK90/4.23 0.014 0.015 0.014 0.016 0.017 0.017 0.016 0.018 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.019 0.019 0.02 0.022 0.021 0.022 0.022 0.022
TRS/SK90/4.25 0.01 0.01 0.011 0.011 0.012 0.013 0.012 0.013 0.014
TRS/SK90/4.26 0.019 0.018 0.019 0.02 0.02 0.021 0.021 0.022 0.022
TRS/SK90/4.27 0.01 0.011 0.012 0.013 0.012 0.013 0.013 0.015 0.015
TRS/SK90/4.28 0.015 0.017 0.017 0.018 0.018 0.019 0.019 0.02 0.02
TRS/SK90/4.29 0.007 0.008 0.008 0.009 0.009 0.01 0.009 0.011 0.011
TRS/SK90/4.30 0.043 0.043 0.044 0.044 0.045 0.046 0.046 0.047 0.047
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.036 0.037 0.037 0.037 0.038
TRS/SK90/4.33 0.007 0.007 0.008 0.008 0.009 0.01 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.0 0.0 0.002 0.002 0.003 0.004 0.004 0.005
TRS/SK90/4.36 0.004 0.003 0.003 0.004 0.004 0.005 0.006 0.006 0.006
TRS/SK90/4.37 0.003 0.003 0.003 0.005 0.004 0.006 0.005 0.006 0.007
TRS/SK90/4.38 0.01 0.012 0.012 0.012 0.013 0.013 0.013 0.014 0.014
TRS/SK90/4.39 0.015 0.015 0.015 0.016 0.017 0.016 0.017 0.017 0.018
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.008 0.007 0.008 0.009 0.01
TRS/SK90/4.42 0.014 0.013 0.014 0.015 0.016 0.017 0.017 0.017 0.018
TRS/SK90/4.43 0.028 0.029 0.029 0.03 0.071 0.042 0.031 0.031 0.032
TRS/SK90/4.44 0.004 0.006 0.005 0.005 0.007 0.007 0.007 0.007 0.008
TRS/SK90/4.45 0.004 0.004 0.005 0.005 0.006 0.006 0.006 0.007 0.007
TRS/SK90/4.46 0.004 0.004 0.005 0.006 0.006 0.007 0.007 0.007 0.008
TRS/SK90/4.47 0.006 0.006 0.007 0.007 0.008 0.008 0.008 0.01 0.01
TRS/SK90/4.48 0.011 0.01 0.011 0.011 0.012 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.002 0.002 0.003 0.004 0.004 0.005 0.006
TRS/SK90/4.51 0.007 0.01 0.012 0.011 0.012 0.012 0.012 0.012 0.013
TRS/SK90/4.52 0.044 0.026 0.027 0.027 0.028 0.028 0.028 0.03 0.03
TRS/SK90/4.53 0.0 0.018 0.019 0.019 0.019 0.02 0.021 0.021 0.021
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.006 0.008 0.006 0.008 0.008 0.009 0.009
TRS/SK90/4.56 0.003 0.003 0.005 0.005 0.005 0.005 0.006 0.006 0.008
TRS/SK90/4.57 0.006 0.007 0.008 0.008 0.009 0.009 0.008 0.01 0.01
TRS/SK90/4.59 0.01 0.01 0.011 0.011 0.011 0.012 0.013 0.013 0.012
TRS/SK90/4.60 0.026 0.026 0.026 0.028 0.027 0.027 0.029 0.029 0.032
TRS/SK90/4.61 0.05 60.0 0.222 60.0 0.191 60.0 0.223 60.0 0.193
TRS/Ste92/hydra 0.002 0.004 0.003 0.004 0.006 0.01 0.01 0.011 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.008 0.01 0.011 0.011 0.012
TRS/Ste92/perfect2 0.052 0.05 0.051 0.052 0.052 0.054 0.053 0.053 0.055
TRS/Ste92/perfect 0.014 0.013 0.014 0.015 0.015 0.015 0.016 0.016 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.001 0.003 0.004 0.005 0.006 0.006 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.001 0.003 0.005 0.022 0.023 0.024
TRS/TRCSR/Ex1_2_Luc02c_C 0.099 0.099 0.056 0.057 0.057 0.058 0.057 0.058 0.059
TRS/TRCSR/Ex1_2_Luc02c_FR 0.005 0.006 0.006 0.006 0.007 0.008 0.008 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.003 0.004 0.005 0.006 0.006 0.007 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.028 0.028 0.029 0.03
TRS/TRCSR/Ex14_AEGL02_iGM 0.166 0.166 0.165 0.167 0.168 0.169 0.168 0.17 0.169
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.277 60.0 0.201 0.303 0.036 0.267 0.039
TRS/TRCSR/Ex15_Luc06_FR 0.003 0.0 0.0 0.002 0.003 0.003 0.004 0.004 0.008
TRS/TRCSR/Ex15_Luc06_GM 0.008 0.006 0.007 0.007 0.008 0.009 0.008 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.02
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.006 0.006 0.007 0.007 0.008 0.008 0.009
TRS/TRCSR/Ex15_Luc98_C 0.178 0.178 0.18 0.18 0.182 0.181 0.183 0.17 0.172
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.033 0.033 0.033 0.033 0.033 0.021 0.022 0.025
TRS/TRCSR/Ex15_Luc98_iGM 0.553 0.542 0.546 1.353 1.355 0.552 0.549 0.549 0.571
TRS/TRCSR/Ex15_Luc98_Z 0.027 0.036 0.038 0.036 0.037 0.038 0.039 0.038 0.039
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.001 0.002 0.003 0.003 0.004 0.005 0.007 0.006
TRS/TRCSR/Ex16_Luc06_GM 0.007 0.008 0.008 0.009 0.009 0.009 0.01 0.011 0.011
TRS/TRCSR/Ex16_Luc06_iGM 0.046 60.0 0.054 60.0 0.056 0.117 0.094 0.117 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.003 0.003 0.003 0.005 0.005 0.005 0.006 0.006
TRS/TRCSR/Ex18_Luc06_C 0.049 0.05 0.049 0.05 0.049 0.051 0.051 0.051 0.05
TRS/TRCSR/Ex18_Luc06_FR 0.011 0.009 0.009 0.009 0.009 0.01 0.01 0.01 0.0
TRS/TRCSR/Ex18_Luc06_GM 0.004 0.01 0.0 0.0 0.0 0.0 0.005 0.005 0.006
TRS/TRCSR/Ex18_Luc06_iGM 0.033 0.033 0.031 0.032 0.032 0.033 0.033 0.033 0.035
TRS/TRCSR/Ex18_Luc06_L 0.006 0.004 0.006 0.005 0.006 0.007 0.008 0.007 0.008
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.006 0.007 0.008 0.008 0.008 0.008 0.009 0.0
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.031 0.031 0.032 0.033 0.034 0.033 0.035 0.035
TRS/TRCSR/Ex1_GL02a_iGM 0.169 0.167 0.167 0.168 0.169 0.169 0.17 0.205 0.161
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.014 0.015 0.015 0.016 0.017 0.017 0.018 0.018
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.001 0.003 0.004 0.003 0.004 0.005 0.013 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.547 60.0 0.462 1.141 0.09 0.937 0.08
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.007 0.007 0.0 0.0 0.0 0.0 0.0 0.003
TRS/TRCSR/Ex1_Zan97_iGM 0.04 0.037 0.038 0.04 0.04 0.04 0.041 0.042 0.042
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.077 0.078 0.08 0.08 0.081 0.081 0.083 0.081
TRS/TRCSR/Ex23_Luc06_FR 0.011 0.011 0.013 0.012 0.013 0.013 0.014 0.013 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.05 0.05 0.051 0.051 0.051
TRS/TRCSR/Ex23_Luc06_L 0.006 0.006 0.007 0.007 0.008 0.007 0.007 0.0 0.0
TRS/TRCSR/Ex23_Luc06_Z 0.0 0.0 0.0 0.002 0.002 0.003 0.004 0.004 0.005
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.137 0.101 0.143 0.099 0.099 0.1 0.099 0.099
TRS/TRCSR/Ex25_Luc06_FR 0.018 0.025 0.025 0.026 0.026 0.027 0.027 0.028 0.029
TRS/TRCSR/Ex25_Luc06_GM 0.0 0.013 0.014 0.015 0.015 0.0 0.0 0.0 0.007
TRS/TRCSR/Ex25_Luc06_iGM 0.12 0.115 0.117 0.119 0.118 0.119 0.12 0.12 0.121
TRS/TRCSR/Ex25_Luc06_L 0.0 0.005 0.005 0.006 0.006 0.0 0.006 0.0 0.0
TRS/TRCSR/Ex25_Luc06_Z 0.015 0.008 0.01 0.011 0.012 0.013 0.013 0.015 0.015
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.059 0.06 0.061 0.061 0.061 0.062 0.062
TRS/TRCSR/Ex26_Luc03b_iGM 0.747 0.756 0.758 0.743 0.749 1.863 1.858 0.78 0.764
TRS/TRCSR/Ex26_Luc03b_L 0.005 0.003 0.003 0.004 0.004 0.005 0.006 0.006 0.007
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.054 0.051 0.055 0.055 0.056 0.055 0.057 0.057
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.004 0.005 0.006 0.006 0.006 0.014 0.015 0.014
TRS/TRCSR/Ex2_Luc02a_Z 0.019 0.02 0.021 0.021 0.021 0.0 0.0 0.0 0.015
TRS/TRCSR/Ex2_Luc03b_C 0.143 0.146 0.148 0.148 0.148 0.15 0.15 0.152 0.159
TRS/TRCSR/Ex2_Luc03b_FR 0.076 0.078 0.077 0.077 0.065 0.066 0.067 0.069 0.07
TRS/TRCSR/Ex2_Luc03b_GM 0.041 0.042 0.044 0.043 0.044 0.044 0.045 0.045 0.046
TRS/TRCSR/Ex2_Luc03b_iGM 0.361 0.36 0.363 0.349 0.352 0.353 0.355 0.357 0.356
TRS/TRCSR/Ex2_Luc03b_L 0.002 0.003 0.004 0.005 0.005 0.005 0.006 0.006 0.008
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.036 0.035 0.035 0.022 0.024 0.027 0.028 0.029
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.012 0.013 0.014 0.013 0.014 0.014 0.015 0.015
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.007 0.008 0.008 0.009 0.009 0.01 0.01 0.01
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.078 0.083 0.079 0.08 0.081 0.082 0.083 0.083
TRS/TRCSR/Ex3_3_25_Bor03_iGM 0.337 0.339 0.338 0.337 0.323 0.328 0.329 0.329 0.332
TRS/TRCSR/Ex3_3_25_Bor03_L 0.001 0.003 0.003 0.004 0.004 0.005 0.005 0.005 0.008
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.066 0.07 0.069 0.069 0.07 0.079 0.072 0.072
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.031 0.033 0.035 0.037 0.036 0.038 0.039 0.039
TRS/TRCSR/Ex4_4_Luc96b_iGM 0.075 0.03 0.03 0.032 0.032 0.034 0.036 0.035 0.035
TRS/TRCSR/Ex4_4_Luc96b_L 0.0 0.003 0.005 0.005 0.007 0.006 0.0 0.0 0.0
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.015 0.016 0.017 0.017 0.018 0.019 0.02 0.02
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.033 0.034 0.034 0.034 0.034 0.034 0.022
TRS/TRCSR/Ex4_7_15_Bor03_iGM 0.107 0.102 0.103 0.105 0.105 0.107 0.108 0.107 0.109
TRS/TRCSR/Ex4_7_15_Bor03_L 0.0 0.006 0.006 0.006 0.007 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex4_7_15_Bor03_Z 0.007 0.003 0.004 0.004 0.005 0.005 0.006 0.006 0.008
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.04 0.041 0.042 0.041 0.017 0.041 0.029 0.031
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.025 0.027 0.028 0.028 0.03 0.03 0.03 0.03
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.006 0.007 0.006 0.008 0.008 0.015 0.015 0.0
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.0 0.0 0.004 0.004 0.007 0.006 0.007 0.008
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.006 0.006 0.006 0.006 0.007 0.008 0.008 0.008
TRS/TRCSR/Ex4_7_77_Bor03_GM 0.019 0.015 0.017 0.018 0.019 0.02 0.021 0.022 0.023
TRS/TRCSR/Ex4_7_77_Bor03_iGM 0.092 0.09 0.092 0.096 0.092 0.093 0.092 0.079 0.081
TRS/TRCSR/Ex4_7_77_Bor03_Z 0.004 0.0 0.0 0.002 0.004 0.005 0.005 0.006 0.006
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.106 0.106 0.107 0.108 0.109 0.083 0.096 0.097
TRS/TRCSR/Ex49_GM04_iGM 0.501 0.493 0.495 0.493 0.496 0.497 0.499 0.498 0.501
TRS/TRCSR/Ex49_GM04_Z 0.049 0.043 0.045 0.047 0.044 0.048 0.049 0.047 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.005 0.007 0.007 0.008 0.007 0.008 0.008 0.0
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.006 0.006 0.007 0.007 0.008 0.009 0.01 0.01
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.003 0.003 0.003 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.004 0.005 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.085 0.085 0.086 0.088 0.087 0.087 0.088 0.091
TRS/TRCSR/Ex6_9_Luc02c_FR 0.0 0.0 0.0 0.0 0.001 0.002 0.003 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.008 0.009 0.007 0.009 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_C 0.023 60.0 0.434 60.0 0.344 0.672 0.096 0.576 0.097
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.007 0.007 0.0 0.0 0.0 0.0 0.0
TRS/TRCSR/Ex6_GM04_iGM 0.015 0.018 0.019 0.019 0.02 0.019 0.021 0.021 0.022
TRS/TRCSR/Ex6_GM04_L 0.0 0.0 0.0 0.0 0.002 0.003 0.003 0.003 0.005
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.101 0.079 0.079 0.054 0.066 0.068 0.07 0.071
TRS/TRCSR/Ex6_Luc98_FR 0.013 0.014 0.014 0.015 0.015 0.016 0.016 0.017 0.033
TRS/TRCSR/Ex6_Luc98_GM 0.063 0.064 0.066 0.066 0.068 0.068 0.071 0.071 0.071
TRS/TRCSR/Ex6_Luc98_iGM 0.113 0.114 0.113 0.088 0.101 0.103 0.11 0.106 0.107
TRS/TRCSR/Ex6_Luc98_L 0.005 0.004 0.004 0.005 0.005 0.006 0.006 0.007 0.007
TRS/TRCSR/Ex6_Luc98_Z 0.0 0.0 0.0 0.005 0.006 0.007 0.007 0.008 0.009
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.022 0.021 0.021 0.009 0.011 0.013 0.014 0.015
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.008 0.008 0.008 0.0 0.0 0.0 0.009 0.01
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.008 0.008 0.032 0.031 0.033 0.033 0.033 0.033
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.001 0.002 0.003 0.01 0.011 0.013 0.013 0.013
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.076 0.077 0.079 0.079 0.08 0.082 0.081
TRS/TRCSR/Ex9_BLR02_iGM 0.391 0.393 0.394 0.394 0.395 0.398 0.401 0.986 0.988
TRS/TRCSR/Ex9_BLR02_L 0.0 0.004 0.005 0.01 0.008 0.01 0.01 0.015 0.016
TRS/TRCSR/Ex9_BLR02_Z 0.046 0.046 0.033 0.035 0.036 0.038 0.038 0.04 0.041
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.01 0.01 0.012 0.013 0.013 0.015 0.015 0.016
TRS/TRCSR/Ex9_Luc06_iGM 0.072 0.072 0.074 0.077 0.076 0.078 0.079 0.079 0.081
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.003 0.004 0.006 0.007 0.008 0.009 0.008 0.01
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.004 0.005 0.006 0.007 0.007 0.028 0.029 0.029
TRS/TRCSR/ExConc_Zan97_C 0.062 0.064 0.065 0.066 0.067 0.068 0.068 0.07 0.07
TRS/TRCSR/ExConc_Zan97_FR 0.0 0.0 0.0 0.0 0.005 0.006 0.007 0.008 0.008
TRS/TRCSR/ExConc_Zan97_GM 0.0 0.0 0.0 0.0 0.0 0.0 0.005 0.005 0.006
TRS/TRCSR/ExConc_Zan97_iGM 0.034 0.044 0.046 0.047 0.046 0.034 0.036 0.037 0.039
TRS/TRCSR/ExConc_Zan97_L 0.008 0.004 0.004 0.004 0.006 0.006 0.006 0.007 0.007
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.043 0.044 0.044 0.045 0.047 0.046 0.047 0.047
TRS/TRCSR/ExIntrod_GM04_iGM 0.402 0.396 0.403 0.407 0.406 0.401 0.402 0.402 0.404
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.003 0.006 0.007 0.013 0.009 0.01 0.02
TRS/TRCSR/ExProp7_Luc06_GM 0.102 60.0 0.076 60.0 0.08 60.0 0.077 60.0 0.054
TRS/TRCSR/ExProp7_Luc06_iGM 0.114 60.0 0.129 60.0 0.132 60.0 0.113 60.0 0.115
TRS/TRCSR/ExProp7_Luc06_L 0.0 0.008 0.008 0.009 0.009 0.013 0.0 0.013 0.0
TRS/TRCSR/ExProp7_Luc06_Z 0.006 0.01 0.009 0.011 0.01 0.013 0.012 0.012 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.046 0.046 0.046 0.047 0.047 0.047
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.005 0.004 0.006 0.006 0.007 0.018 0.019 0.019
TRS/TRCSR/ExSec11_1_Luc02a_Z 0.021 0.019 0.019 0.021 0.021 0.022 0.023 0.024 0.024
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.003 0.003 0.005 0.005 0.006 0.022 0.024 0.023
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.012 0.013 0.014 0.015 0.015 0.015 0.016 0.016
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.019 0.022 0.021 0.022 0.022
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.055 0.057 0.058 0.063 0.061 0.061 0.062 0.062
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.125 0.126 0.13 0.13 0.13 0.131 0.054 0.054
TRS/TRCSR/LISTUTILITIES_nosorts_Z 0.012 0.018 0.018 0.019 0.019 0.02 0.02 0.021 0.02
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.002 0.002 0.003 0.004 0.005 0.005 0.01 0.011
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.026 0.026 0.027 0.027 0.029 0.03 0.03
TRS/TRCSR/MYNAT_nosorts_noand_GM 0.038 60.0 60.0 60.0 60.0 60.0 60.0 60.0 60.0
TRS/TRCSR/MYNAT_nosorts_noand_iGM 0.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.031 0.032 0.02 0.022 0.023 0.024 0.025 0.027
TRS/TRCSR/MYNAT_nosorts_Z 0.0 0.0 0.0 0.0 0.001 0.006 0.008 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.0 1.006 1.04 1.006 1.005 1.026 0.997 0.996
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.548 0.548 0.549 0.555 0.553 0.553 0.554 0.561
TRS/TRCSR/PALINDROME_complete_noand_GM 4.084 4.106 4.095 4.099 4.949 4.105 4.085 4.881 4.095
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.493 0.507 0.507 0.511 0.511 0.513 0.517 0.515
TRS/TRCSR/PALINDROME_complete_Z 0.33 0.329 0.331 0.333 0.332 0.334 0.337 0.335 0.336
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.134 0.129 0.104 0.136 0.117 0.119 0.12
TRS/TRCSR/PALINDROME_nokinds_GM 0.095 0.107 0.107 0.107 0.083 0.108 0.1 0.253 0.252
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.095 0.096 0.096 0.099 0.098 0.098 0.099 0.086
TRS/TRCSR/PALINDROME_nokinds_noand_GM 1.356 0.548 0.55 0.553 0.552 0.554 0.554 0.552 0.54
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.121 0.122 0.122 0.123 0.125 0.098
TRS/TRCSR/PALINDROME_nokinds_Z 0.103 0.156 0.26 0.261 0.261 0.264 0.237 0.263 0.249
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.014 0.015 0.015 0.003 0.004 0.006 0.018 0.018
TRS/TRCSR/PALINDROME_nosorts_GM 0.099 0.057 0.057 0.058 0.059 0.1 0.059 0.06 0.06
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.005 0.005 0.006 0.008 0.008 0.009 0.01 0.01
TRS/TRCSR/PALINDROME_nosorts_noand_GM 0.099 0.099 0.099 0.099 0.1 0.1 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.01 0.011 0.011 0.012 0.012 0.0 0.0 0.0
TRS/TRCSR/PALINDROME_nosorts-noand_Z 0.012 0.027 0.0 0.0 0.0 0.0 0.0 0.005 0.006
TRS/TRCSR/PALINDROME_nosorts_Z 0.0 0.0 0.0 0.005 0.006 0.006 0.007 0.008 0.009
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.399 0.4 0.402 0.4 0.402 0.403 0.402 0.406
TRS/TRCSR/PEANO_complete_iGM 6.667 2.989 3.253 3.108 3.01 2.974 3.005 3.001 6.687
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.587 0.586 0.588 0.591 0.591 0.593 0.594 0.595
TRS/TRCSR/PEANO_complete_noand_GM 0.697 0.678 1.682 0.926 0.682 0.686 0.685 0.685 0.674
TRS/TRCSR/PEANO_complete_noand_iGM 19.839 19.695 19.746 19.733 18.599 17.937 17.532 16.802 16.062
TRS/TRCSR/PEANO_complete-noand_Z 0.389 0.397 0.398 0.399 0.401 0.4 0.4 0.401 0.391
TRS/TRCSR/PEANO_complete_Z 0.182 0.189 0.189 0.189 0.19 0.177 0.178 0.179 0.182
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.049 0.049 0.05 0.052 0.051 0.052 0.052 0.039
TRS/TRCSR/PEANO_nokinds_GM 0.085 0.094 0.094 0.095 0.095 0.096 0.082 0.084 0.087
TRS/TRCSR/PEANO_nokinds_iGM 0.372 0.373 0.376 0.374 0.359 0.365 0.365 0.365 0.372
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.108 0.109 0.11 0.11 0.11 0.111 0.085 0.098
TRS/TRCSR/PEANO_nokinds_noand_GM 0.194 0.082 0.082 0.083 0.083 0.084 0.085 0.085 0.072
TRS/TRCSR/PEANO_nokinds_noand_iGM 1.372 2.861 1.389 1.381 1.37 1.373 1.374 1.374 1.381
TRS/TRCSR/PEANO_nokinds-noand_Z 0.048 0.066 0.067 0.068 0.069 0.07 0.07 0.07 0.071
TRS/TRCSR/PEANO_nokinds_Z 0.045 0.049 0.049 0.05 0.05 0.05 0.051 0.053 0.054
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.001 0.002 0.004 0.005 0.006
TRS/TRCSR/PEANO_nosorts_GM 0.069 0.071 0.072 0.074 0.074 0.073 0.075 0.076 0.083
TRS/TRCSR/PEANO_nosorts_iGM 0.099 0.099 0.096 0.096 0.097 0.098 0.098 0.098 0.099
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.008 0.009 0.009 0.011 0.012 0.012 0.012 0.019
TRS/TRCSR/PEANO_nosorts_noand_GM 0.097 0.099 0.1 0.1 0.1 0.1 0.1 0.1 0.0
TRS/TRCSR/PEANO_nosorts_noand_iGM 0.239 0.24 0.241 0.242 0.246 0.243 0.244 0.244 0.232
TRS/TRCSR/PEANO_nosorts-noand_Z 0.009 0.012 0.012 0.014 0.013 0.014 0.014 0.002 0.011
TRS/TRCSR/PEANO_nosorts_Z 0.004 0.007 0.009 0.009 0.009 0.009 0.009 0.0 0.0
TRS/various/02 0.003 0.007 0.008 0.008 0.008 0.0 0.0 0.0 0.0
TRS/various/03 0.003 0.009 0.008 0.0 0.0 0.0 0.0 0.002 0.003
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.004 0.006 0.006 0.007 0.009 0.009 0.009 0.01
TRS/various/07 0.004 0.003 0.004 0.004 0.005 0.005 0.006 0.007 0.009
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.006 0.008 0.009 0.01
TRS/various/10 0.093 0.141 0.147 0.145 0.145 0.143 0.146 0.146 0.147
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.037 0.039 0.04 0.041 0.042 0.042 0.045 0.045
TRS/various/13 0.099 0.135 0.139 0.142 0.103 0.058 0.057 0.061 0.06
TRS/various/14 0.369 0.369 0.372 0.377 0.373 0.373 0.374 0.373 0.375
TRS/various/15 0.006 60.0 0.01 0.007 0.008 0.008 0.008 0.008 0.009
TRS/various/18 0.022 0.021 0.022 0.022 0.024 0.024 0.025 0.025 0.025
TRS/various/19 0.041 0.042 0.042 0.043 0.043 0.044 0.044 0.045 0.121
TRS/various/20 0.012 0.181 0.193 0.169 0.183 0.03 0.078 0.033 0.079
TRS/various/21 0.099 0.057 0.058 0.058 0.059 0.061 0.062 0.062 0.062
TRS/various/22 0.002 0.002 0.003 0.003 0.003 0.004 0.004 0.008 0.008
TRS/various/23 0.008 0.008 0.02 0.009 0.01 0.009 0.011 0.011 0.011
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.021 0.022 0.022 0.022 0.024 0.024
TRS/various/25 0.005 0.004 0.005 0.007 0.006 0.006 0.007 0.008 0.009
TRS/various/26 0.03 0.015 0.016 0.016 0.017 0.018 0.017 0.018 0.018
TRS/various/27 0.005 0.004 0.004 0.005 0.005 0.006 0.006 0.008 0.008
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.021 5.882 0.016 5.874 0.014 0.02 0.015 0.021
TRS/Waldmann/jwmatchb1 0.003 60.0 0.034 60.0 0.034 0.007 0.012 0.013 0.014
TRS/Waldmann/jwmatchb2 0.005 60.0 0.041 60.0 0.042 0.01 0.012 0.026 0.032
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.041 0.244 0.032 0.237 0.032 0.023 0.024 0.025
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.016 0.021 0.017 0.018 0.0 0.0 0.006 0.007
TRS/Zantema/jw02 0.011 0.006 0.011 0.008 0.011 0.011 0.011 0.012 0.012
TRS/Zantema/jw03 0.01 0.011 0.021 0.011 0.014 0.013 0.013 0.014 0.014
TRS/Zantema/jw04 0.013 0.012 0.014 0.012 0.014 0.014 0.013 0.014 0.014
TRS/Zantema/jw05 0.004 0.014 0.017 0.015 0.016 0.016 0.015 0.016 0.016
TRS/Zantema/jw06 0.009 0.013 0.017 0.014 0.015 0.015 0.015 0.015 0.015
TRS/Zantema/jw07 0.013 0.015 0.019 0.015 0.018 0.018 0.017 0.018 0.019
TRS/Zantema/jw08 0.012 0.015 0.018 0.016 0.017 0.017 0.017 0.021 0.018
TRS/Zantema/jw09 0.013 0.0 0.021 0.001 0.011 0.01 0.011 0.012 0.013
TRS/Zantema/jw11 0.007 0.0 0.004 0.005 0.006 0.008 0.008 0.008 0.008
TRS/Zantema/jw12 0.007 0.005 0.007 0.007 0.008 0.008 0.009 0.009 0.01
TRS/Zantema/jw13 0.012 0.015 0.022 0.016 0.023 0.016 0.016 0.018 0.019
TRS/Zantema/jw14 0.005 0.005 0.005 0.006 0.007 0.007 0.007 0.007 0.009
TRS/Zantema/jw15 0.012 0.015 0.025 0.015 0.017 0.016 0.016 0.019 0.018
TRS/Zantema/jw16 0.014 0.017 0.046 0.017 0.022 0.018 0.019 0.019 0.02
TRS/Zantema/jw17 0.016 0.016 0.044 0.017 0.02 0.018 0.018 0.018 0.019
TRS/Zantema/jw18 0.017 0.016 0.037 0.016 0.02 0.017 0.017 0.019 0.019
TRS/Zantema/jw19 0.01 0.021 0.051 0.023 0.053 0.026 0.031 0.027 0.033
TRS/Zantema/jw20 0.011 0.014 0.052 0.0 0.009 0.008 0.007 0.01 0.011
problem sp spb spd spb ur spd ur spb rfc spd rfc spb ur rfc spd ur rfc
TRS/Zantema/jw21 0.014 0.012 0.016 0.014 0.016 0.015 0.015 0.017 0.016
TRS/Zantema/jw22 0.014 0.015 0.017 0.015 0.017 0.016 0.016 0.017 0.018
TRS/Zantema/jw23 0.014 0.016 0.025 0.016 0.018 0.017 0.017 0.017 0.018
TRS/Zantema/jw24 0.014 0.016 0.14 0.017 0.02 0.017 0.018 0.018 0.018
TRS/Zantema/jw25 0.012 0.015 0.021 0.014 0.019 0.016 0.016 0.016 0.017
TRS/Zantema/jw26 0.012 0.014 0.018 0.015 0.016 0.016 0.016 0.016 0.0
TRS/Zantema/jw27 0.017 0.018 0.02 0.017 0.019 0.019 0.019 0.019 0.019
TRS/Zantema/jw28 0.017 0.016 0.02 0.015 0.018 0.017 0.017 0.017 0.018
TRS/Zantema/jw29 0.007 0.012 0.03 0.017 0.022 0.018 0.017 0.018 0.0
TRS/Zantema/jw30 0.013 0.022 0.035 0.023 0.036 0.024 0.014 0.014 0.019
TRS/Zantema/jw31 0.013 0.008 0.017 0.01 0.014 0.013 0.013 0.014 0.014
TRS/Zantema/jw32 0.015 0.017 0.027 0.017 0.02 0.018 0.018 0.018 0.0
TRS/Zantema/jw33 0.015 0.015 0.032 0.016 0.019 0.018 0.017 0.018 0.018
TRS/Zantema/jw34 0.005 0.016 0.018 0.015 0.017 0.017 0.016 0.018 0.0
TRS/Zantema/jw35 0.003 0.005 0.006 0.007 0.007 0.008 0.008 0.008 0.0
TRS/Zantema/jw36 0.015 0.019 0.026 0.021 0.028 0.02 0.007 0.01 0.01
TRS/Zantema/jw37 0.008 0.0 0.0 0.004 0.004 0.005 0.006 0.007 0.008
TRS/Zantema/jw38 0.0 0.006 0.008 0.008 0.008 0.008 0.009 0.01 0.01
TRS/Zantema/jw39 0.013 0.018 0.06 0.018 0.021 0.021 0.021 0.02 0.021
TRS/Zantema/jw40 0.014 0.011 0.101 0.03 0.017 0.015 0.014 0.016 0.016
TRS/Zantema/jw41 0.015 0.015 0.019 0.017 0.018 0.018 0.018 0.019 0.02
TRS/Zantema/jw42 0.014 0.016 0.021 0.016 0.018 0.018 0.016 0.018 0.018
TRS/Zantema/jw43 0.013 0.016 0.022 0.016 0.019 0.017 0.017 0.018 0.005
TRS/Zantema/jw44 0.008 0.011 0.0 0.0 0.0 0.0 0.004 0.005 0.006
TRS/Zantema/jw47 0.008 0.005 0.005 0.006 0.007 0.007 0.008 0.008 0.009
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.02 0.015 0.018 0.017 0.017 0.017 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.097 0.031 0.098 0.033 0.02 0.028 0.02 0.029
TRS/Zantema/z03 0.031 0.413 0.08 0.42 0.081 0.033 0.065 0.035 0.068
TRS/Zantema/z04 0.0 0.005 0.005 0.005 0.006 0.01 0.011 0.012 0.012
TRS/Zantema/z05 0.034 60.0 60.0 60.0 60.0 0.04 60.0 0.041 60.0
TRS/Zantema/z06 0.025 60.0 0.08 0.035 0.079 0.039 0.055 0.037 0.059
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.025 60.0 0.026 60.0 0.015 60.0 0.017
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.184 0.041 0.076 60.0 0.039 0.041 0.044
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.216 60.0 4.205 60.0 0.23 60.0 0.217
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 0.549 60.0 0.548 60.0 0.053 60.0 0.055
TRS/Zantema/z22 0.12 60.0 5.278 60.0 4.106 0.365 0.066 0.365 0.067
TRS/Zantema/z23 0.011 60.0 0.839 60.0 0.391 60.0 0.307 60.0 0.308
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.041 60.0 0.042 0.034 0.032 0.036 0.034
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.058 60.0 60.0 60.0 0.059 60.0 60.0
TRS/Zantema/z29 0.011 0.008 0.009 0.01 0.026 0.026 0.027 0.027 0.027
TRS/Zantema/z30 0.083 60.0 1.535 60.0 1.521 60.0 0.666 60.0 0.651
Yes No Maybe Timeout