DI Martin Korp  
Home Teaching Research
Research
Publications Talks TTT2 TTTbox

Results for TRSs

problem e c r *
tpdb-5.0/TRS/AG01/#3.10.trs 0.629 0.015 0.015 0.021
tpdb-5.0/TRS/AG01/#3.12.trs 0.003 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.13.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.14.trs 0.002 0.0 0.0 0.012
tpdb-5.0/TRS/AG01/#3.15.trs 0.003 0.0 0.003 0.0
tpdb-5.0/TRS/AG01/#3.16.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.17a.trs 0.0 0.0 0.004 0.024
tpdb-5.0/TRS/AG01/#3.17.trs 0.0 0.002 0.0 0.005
tpdb-5.0/TRS/AG01/#3.18.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.19.trs 0.003 0.0 0.0 0.002
tpdb-5.0/TRS/AG01/#3.1.trs 0.004 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.21.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.22.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.23.trs 0.0 0.0 0.018 0.016
tpdb-5.0/TRS/AG01/#3.24.trs 0.015 0.009 0.015 0.012
tpdb-5.0/TRS/AG01/#3.26.trs 0.028 0.002 0.007 0.011
tpdb-5.0/TRS/AG01/#3.29.trs 0.0 0.001 0.002 0.008
tpdb-5.0/TRS/AG01/#3.2.trs 0.007 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.31.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.33.trs 0.01 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.35.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.36.trs 0.0 0.001 0.0 0.0
tpdb-5.0/TRS/AG01/#3.37.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.38.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.39.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/AG01/#3.40.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.41.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.42.trs 0.01 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.47.trs 0.0 0.013 0.0 0.0
tpdb-5.0/TRS/AG01/#3.48.trs 0.012 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.49.trs 0.003 0.004 0.0 0.002
tpdb-5.0/TRS/AG01/#3.4.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.51.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.52.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.53a.trs 0.003 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.53b.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.53.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.54.trs 0.0 0.0 0.0 0.005
tpdb-5.0/TRS/AG01/#3.55.trs 0.012 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.56.trs 0.003 0.0 0.0 0.003
tpdb-5.0/TRS/AG01/#3.57.trs 0.016 0.0 0.0 0.002
tpdb-5.0/TRS/AG01/#3.5a.trs 0.0 0.0 0.0 0.001
tpdb-5.0/TRS/AG01/#3.5b.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.5.trs 0.004 0.009 0.0 0.001
tpdb-5.0/TRS/AG01/#3.6a.trs 0.0 0.0 0.0 0.003
tpdb-5.0/TRS/AG01/#3.6b.trs 0.004 0.0 0.0 0.001
tpdb-5.0/TRS/AG01/#3.6.trs 0.0 0.0 0.0 0.003
tpdb-5.0/TRS/AG01/#3.7.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AG01/#3.8a.trs 0.0 0.002 0.0 0.0
tpdb-5.0/TRS/AG01/#3.8b.trs 0.0 0.002 0.0 0.0
problem e c r *
tpdb-5.0/TRS/AG01/#4.30c.trs 0.004 0.006 0.0 0.002
tpdb-5.0/TRS/aprove08/id_inc.trs 0.0 0.009 0.017 0.02
tpdb-5.0/TRS/aprove08/log.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/aprove08/parting01_reverse.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/aprove08/parting02_doublelist.trs 0.0 0.0 0.001 0.0
tpdb-5.0/TRS/aprove08/parting03_minsort.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/aprove08/parting04_maxsort_h.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/aprove08/parting05_maxsort.trs 0.0 0.0 0.0 0.011
tpdb-5.0/TRS/aprove08/round_nonterm.trs 0.0 0.0 0.0 0.012
tpdb-5.0/TRS/aprove08/round.trs 0.0 0.0 0.0 0.006
tpdb-5.0/TRS/aprove08/thiemann40_modified.trs 0.0 0.0 0.001 0.0
tpdb-5.0/TRS/AProVE/AAECC-ring.trs 0.043 0.058 0.056 0.138
tpdb-5.0/TRS/AProVE/AAECC.trs 0.012 0.008 0.0 0.013
tpdb-5.0/TRS/AProVE/fac.trs 0.0 0.0 0.0 0.002
tpdb-5.0/TRS/AProVE/forward_instantiation2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AProVE/forward_instantiation.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AProVE/IJCAR_12.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AProVE/IJCAR_18.trs 0.0 0.0 0.0 0.019
tpdb-5.0/TRS/AProVE/IJCAR_1.trs 0.0 0.015 0.0 0.0
tpdb-5.0/TRS/AProVE/IJCAR_26a.trs 0.009 0.012 0.0 0.006
tpdb-5.0/TRS/AProVE/IJCAR_26.trs 0.006 0.0 0.0 0.005
tpdb-5.0/TRS/AProVE/improved_usable2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AProVE/improved_usable.trs 0.003 0.0 0.0 0.0
tpdb-5.0/TRS/AProVE/JFP_Ex31.trs 0.011 0.0 0.0 0.006
tpdb-5.0/TRS/AProVE/JFP_Ex51.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/AProVE/Liveness6.1.trs 0.0 0.0 0.004 0.006
tpdb-5.0/TRS/AProVE/Liveness6.2.trs 0.0 0.0 0.0 0.004
tpdb-5.0/TRS/AProVE/Liveness6.3.trs 0.02 0.0 0.008 0.013
tpdb-5.0/TRS/AProVE/Liveness6.4.trs 0.009 0.0 60.0 0.497
tpdb-5.0/TRS/AProVE/Liveness8.trs 0.005 0.0 0.009 0.011
tpdb-5.0/TRS/AProVE/Liveness_WRS.trs 0.022 0.009 0.014 0.012
tpdb-5.0/TRS/AProVE/LPAR_intlist.trs 0.0 0.017 0.0 0.0
tpdb-5.0/TRS/AProVE/rta1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/AProVE/rta2.trs 0.003 0.0 0.0 0.0
tpdb-5.0/TRS/AProVE/rta3.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/Beerendonk/10.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/11.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/12.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/13.trs 0.003 0.0 0.003 0.014
tpdb-5.0/TRS/Beerendonk/14.trs 0.0 0.0 0.001 0.0
tpdb-5.0/TRS/Beerendonk/15.trs 0.0 0.0 0.0 0.002
tpdb-5.0/TRS/Beerendonk/16.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/17.trs 0.006 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/18.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/19.trs 0.008 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/1.trs 0.003 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/20.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/21.trs 0.013 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/22.trs 0.004 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/23.trs 0.005 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/Beerendonk/24.trs 0.0 0.0 0.0 0.001
tpdb-5.0/TRS/Beerendonk/2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/3.trs 0.002 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/4.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/5.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Beerendonk/6.trs 0.0 0.0 0.01 0.0
tpdb-5.0/TRS/Beerendonk/7.trs 0.003 0.0 0.0 0.008
tpdb-5.0/TRS/Beerendonk/8.trs 0.004 0.0 0.0 0.001
tpdb-5.0/TRS/Beerendonk/9.trs 0.004 0.0 0.013 0.009
tpdb-5.0/TRS/Cime/ack_prolog.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Cime/append-hard.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Cime/append.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Cime/append-wrong.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/Cime/big.trs 0.023 0.06 0.063 0.135
tpdb-5.0/TRS/Cime/boolean_rings.trs 0.0 0.0 0.0 0.01
tpdb-5.0/TRS/Cime/dpqs.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Cime/fact-hard.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Cime/filliatre2.trs 0.0 0.0 0.042 0.047
tpdb-5.0/TRS/Cime/filliatre3.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Cime/filliatre.trs 0.0 0.0 0.002 0.001
tpdb-5.0/TRS/Cime/intersect.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Cime/list-sum-prod-assoc-append.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Cime/list-sum-prod-assoc.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs 0.0 0.001 0.001 0.018
tpdb-5.0/TRS/Cime/list-sum-prod-bin-assoc.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/Cime/list-sum-prod-bin.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Cime/list-sum-prod.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Cime/log2.trs 0.0 0.0 0.0 0.01
tpdb-5.0/TRS/Cime/lse.trs 0.0 0.0 0.0 0.005
tpdb-5.0/TRS/Cime/maude2.trs 0.0 0.522 0.503 0.986
tpdb-5.0/TRS/Cime/mucrl1.trs 0.047 60.0 60.0 1.045
tpdb-5.0/TRS/Cime/quick.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Cime/ternary-hard.trs 0.006 0.009 0.009 0.035
tpdb-5.0/TRS/Cime/ternary.trs 0.0 0.001 0.001 0.015
tpdb-5.0/TRS/Cime/tree.trs 0.027 0.025 0.026 0.065
tpdb-5.0/TRS/CSR/Ex1_Luc04b_GM.trs 0.0 0.0 0.051 0.056
tpdb-5.0/TRS/currying/AG01/#3.10.trs 0.28 0.458 0.442 0.365
tpdb-5.0/TRS/currying/AG01/#3.13.trs 0.248 20.341 20.264 0.284
tpdb-5.0/TRS/currying/AG01/#3.16.trs 0.007 0.015 0.014 0.015
tpdb-5.0/TRS/currying/AG01/#3.18.trs 0.031 0.059 0.06 0.038
tpdb-5.0/TRS/currying/AG01/#3.22.trs 0.024 0.045 0.045 0.044
tpdb-5.0/TRS/currying/AG01/#3.25.trs 0.0 0.004 0.004 0.002
tpdb-5.0/TRS/currying/AG01/#3.27.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/currying/AG01/#3.2.trs 0.005 0.019 0.016 0.012
tpdb-5.0/TRS/currying/AG01/#3.32.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/currying/AG01/#3.36.trs 0.035 0.023 0.024 0.029
tpdb-5.0/TRS/currying/AG01/#3.38.trs 0.017 0.028 0.028 0.029
tpdb-5.0/TRS/currying/AG01/#3.40.trs 0.034 1.652 1.631 0.08
tpdb-5.0/TRS/currying/AG01/#3.45.trs 0.0 0.005 0.009 0.005
tpdb-5.0/TRS/currying/AG01/#3.48.trs 0.024 0.514 0.515 0.036
problem e c r *
tpdb-5.0/TRS/currying/AG01/#3.52.trs 0.005 0.01 0.01 0.007
tpdb-5.0/TRS/currying/AG01/#3.55.trs 0.214 0.187 0.186 0.285
tpdb-5.0/TRS/currying/AG01/#3.57.trs 0.082 0.113 0.11 0.114
tpdb-5.0/TRS/currying/AG01/#3.6.trs 0.039 0.05 0.05 0.063
tpdb-5.0/TRS/currying/AG01/#3.8.trs 0.029 60.0 60.0 0.042
tpdb-5.0/TRS/currying/D33/01.trs 0.005 60.0 60.0 0.995
tpdb-5.0/TRS/currying/D33/02.trs 0.0 60.0 60.0 0.994
tpdb-5.0/TRS/currying/D33/06.trs 0.0 0.004 0.004 0.003
tpdb-5.0/TRS/currying/D33/08.trs 0.022 0.036 0.037 0.03
tpdb-5.0/TRS/currying/D33/11.trs 0.255 0.227 0.235 0.286
tpdb-5.0/TRS/currying/D33/12.trs 0.023 0.034 0.033 0.042
tpdb-5.0/TRS/currying/D33/13.trs 0.023 0.028 0.028 0.045
tpdb-5.0/TRS/currying/D33/17.trs 0.009 60.0 60.0 1.005
tpdb-5.0/TRS/currying/D33/18.trs 0.0 0.005 0.004 0.001
tpdb-5.0/TRS/currying/D33/21.trs 0.013 0.027 0.025 0.027
tpdb-5.0/TRS/currying/D33/29.trs 0.002 0.009 0.009 0.014
tpdb-5.0/TRS/currying/D33/30.trs 0.02 0.021 0.023 0.026
tpdb-5.0/TRS/currying/D33/31.trs 0.018 0.027 0.027 0.026
tpdb-5.0/TRS/currying/D33/33.trs 0.036 0.06 0.063 0.059
tpdb-5.0/TRS/currying/Ste92/hydra.trs 0.008 0.019 0.018 0.016
tpdb-5.0/TRS/currying/Ste92/minsort.trs 0.108 60.0 60.0 0.147
tpdb-5.0/TRS/currying/Ste92/motivation.trs 0.0 0.004 0.005 0.003
tpdb-5.0/TRS/currying/Ste92/perfect2.trs 0.152 0.137 0.145 0.182
tpdb-5.0/TRS/currying/Ste92/perfect.trs 0.089 0.078 0.076 0.105
tpdb-5.0/TRS/D33/01.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/D33/02.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/03.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/04.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/06.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/07.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/08.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/09.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/11.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/12.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/13.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/17.trs 0.0 0.0 0.004 0.002
tpdb-5.0/TRS/D33/18.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/20.trs 0.0 0.0 0.004 0.009
tpdb-5.0/TRS/D33/21.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/27.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/28.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/30.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/31.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/32.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/D33/33.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Endrullis/direct.trs 0.0 0.004 0.014 0.001
tpdb-5.0/TRS/Endrullis/labeling.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Endrullis/linear1.trs 0.0 0.0 60.0 0.0
tpdb-5.0/TRS/Endrullis/linear2.trs 0.0 0.0 0.097 0.049
tpdb-5.0/TRS/Endrullis/pair2hard.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/Endrullis/pair2simple1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Endrullis/pair2simple2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Endrullis/pair3hard.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/Endrullis/pair3rotate.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Endrullis/pair3swap.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Endrullis/quadruple1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Endrullis/quadruple2.trs 0.0 0.0 0.007 0.0
tpdb-5.0/TRS/higher-order/AotoYam/001.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/002.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/003.trs 0.0 0.135 0.123 0.0
tpdb-5.0/TRS/higher-order/AotoYam/004.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/005.trs 0.0 0.0 0.013 0.001
tpdb-5.0/TRS/higher-order/AotoYam/006.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/007.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/009.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/010.trs 0.0 0.004 0.004 0.0
tpdb-5.0/TRS/higher-order/AotoYam/011.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/012.trs 0.015 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/013.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/014.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/015.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/016.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/017.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/019.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/020.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/higher-order/AotoYam/021.trs 0.0 0.003 0.004 0.003
tpdb-5.0/TRS/higher-order/AotoYam/022.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/023.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/024.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/025.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/026.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/027.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/028.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/Ex1SimplyTyped.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AotoYam/Ex5TermProof.trs 0.0 0.196 0.0 0.0
tpdb-5.0/TRS/higher-order/AProVE_HO/mapDivMinusHard.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AProVE_HO/mapDivMinus.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AProVE_HO/nonTermF.trs 0.0 60.0 60.0 0.985
tpdb-5.0/TRS/higher-order/AProVE_HO/ReverseLastInit.trs 0.0 0.0 0.046 0.032
tpdb-5.0/TRS/higher-order/AProVE_HO/TakeDropWhile.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/AProVE_HO/termMonTypes.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/higher-order/AProVE_HO/TypeEx1.trs 0.0 0.713 0.701 0.983
tpdb-5.0/TRS/higher-order/AProVE_HO/TypeEx3.trs 0.0 60.0 60.0 0.987
tpdb-5.0/TRS/higher-order/AProVE_HO/TypeEx5.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/Bird/BTreeMember.trs 0.003 60.0 60.0 0.056
tpdb-5.0/TRS/higher-order/Bird/Ex2_6_1Composition.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/Bird/Ex2_8_1ConstSubstFix.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/Bird/Hamming.trs 0.152 60.0 60.0 1.139
tpdb-5.0/TRS/higher-order/Bird/TreeFlatten.trs 0.0 0.086 0.087 0.0
tpdb-5.0/TRS/higher-order/Bird/TreeHeight.trs 0.0 60.0 60.0 0.0
problem e c r *
tpdb-5.0/TRS/higher-order/Bird/TreeLevels.trs 0.016 44.659 44.258 0.022
tpdb-5.0/TRS/higher-order/Bird/TreeMap.trs 0.0 0.009 0.01 0.0
tpdb-5.0/TRS/higher-order/Bird/TreeSize.trs 0.0 0.095 0.099 0.0
tpdb-5.0/TRS/higher-order/Kusakari/Ex6_11.trs 0.0 1.161 1.189 0.0
tpdb-5.0/TRS/higher-order/Kusakari/Ex7_9.trs 0.014 0.024 0.022 0.013
tpdb-5.0/TRS/higher-order/Lifantsev/Ex10Functional.trs 0.016 0.024 0.025 0.036
tpdb-5.0/TRS/higher-order/Lifantsev/Ex2PrimRec.trs 0.004 0.0 0.001 0.006
tpdb-5.0/TRS/higher-order/Lifantsev/Ex3Lists.trs 0.003 0.003 0.009 0.012
tpdb-5.0/TRS/higher-order/Lifantsev/Ex4MapList.trs 0.0 0.0 0.006 0.0
tpdb-5.0/TRS/higher-order/Lifantsev/Ex5Sorting.trs 0.025 0.111 0.104 0.048
tpdb-5.0/TRS/higher-order/Lifantsev/Ex6Folding.trs 0.0 0.0 0.003 0.0
tpdb-5.0/TRS/higher-order/Lifantsev/Ex7OrdinalRec.trs 0.015 0.005 0.005 0.004
tpdb-5.0/TRS/higher-order/Lifantsev/Ex8Polymorphic.trs 0.009 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/Lifantsev/Ex9Maps.trs 0.016 60.0 60.0 0.01
tpdb-5.0/TRS/higher-order/ToyamaRTA04/Ex5Folding.trs 0.005 0.011 0.0 0.004
tpdb-5.0/TRS/higher-order/ToyamaRTA04/Ex6Recursor.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/higher-order/ToyamaRTA04/Ex7Sorting.trs 0.028 10.693 10.8 0.047
tpdb-5.0/TRS/HM/n002.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/HM/n003.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/HM/n004.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/HM/n005.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/HM/n006.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/HM/n007.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/HM/n008.trs 0.0 0.006 0.0 0.0
tpdb-5.0/TRS/HM/t000.trs 0.037 0.028 0.163 0.158
problem e c r *
tpdb-5.0/TRS/HM/t001.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/HM/t002.trs 0.001 0.0 0.0 0.0
tpdb-5.0/TRS/HM/t003.trs 0.002 0.0 0.0 0.009
tpdb-5.0/TRS/HM/t004.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/HM/t005.trs 0.118 0.199 0.193 0.177
tpdb-5.0/TRS/HM/t006.trs 0.004 0.0 0.0 0.0
tpdb-5.0/TRS/HM/t007.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/HM/t008.trs 0.009 0.008 0.0 0.0
tpdb-5.0/TRS/HM/t009.trs 0.039 0.045 60.0 0.572
tpdb-5.0/TRS/HM/t010.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/HM/t011.trs 0.004 0.0 0.0 0.0
tpdb-5.0/TRS/HM/t012.trs 0.007 0.0 0.014 0.022
tpdb-5.0/TRS/HM/t013.trs 0.005 0.0 0.0 0.002
tpdb-5.0/TRS/HM/t014.trs 0.006 0.0 0.0 0.0
tpdb-5.0/TRS/HofWald/1.trs 0.0 0.007 0.0 0.0
tpdb-5.0/TRS/HofWald/2.trs 0.009 0.0 60.0 0.0
tpdb-5.0/TRS/HofWald/3.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/HofWald/4.trs 0.0 0.0 0.001 0.0
tpdb-5.0/TRS/HofWald/5.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/HofWald/6.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/HofWald/7.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/Koprowski/gcd_triple.trs 0.008 0.0 0.0 0.008
tpdb-5.0/TRS/LJB01/jones1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/LJB01/jones2.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/LJB01/jones4.trs 0.005 0.009 0.0 0.0
problem e c r *
tpdb-5.0/TRS/LJB01/jones5.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/LJB01/jones6.trs 0.005 0.008 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.12a.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.13.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.14.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.15.trs 0.001 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.16.trs 0.002 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.17.trs 0.0 0.007 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.18.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.19.trs 0.005 0.092 0.083 0.01
tpdb-5.0/TRS/nontermin/AG01/#4.20a.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.20.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.21.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.22.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.23.trs 0.01 0.002 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.25.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.26.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.27.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.28.trs 0.0 0.007 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.29.trs 0.006 0.0 0.001 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.2.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.30a.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.30b.trs 0.005 0.0 0.0 0.003
tpdb-5.0/TRS/nontermin/AG01/#4.30c.trs 0.011 0.007 0.0 0.003
tpdb-5.0/TRS/nontermin/AG01/#4.30.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/nontermin/AG01/#4.31.trs 0.005 0.0 0.0 0.002
tpdb-5.0/TRS/nontermin/AG01/#4.32.trs 0.004 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.33.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.34.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.35.trs 0.005 60.0 60.0 0.996
tpdb-5.0/TRS/nontermin/AG01/#4.36.trs 0.007 0.0 0.0 0.002
tpdb-5.0/TRS/nontermin/AG01/#4.37a.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.37.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.3.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.4.trs 0.009 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/AG01/#4.7.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/cariboo/ex1.trs 0.0 0.0 0.003 0.0
tpdb-5.0/TRS/nontermin/cariboo/ex2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/cariboo/ex3.trs 0.004 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/cariboo/ex4.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/cariboo/ex5.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/cariboo/ex6.trs 0.005 0.019 0.002 0.018
tpdb-5.0/TRS/nontermin/cariboo/tricky1.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex1_2_AEL03.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex1_2_Luc02c.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex14_AEGL02.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex15_Luc98.trs 0.009 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex1_GL02a.trs 0.01 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex1_GM03.trs 0.009 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex1_GM99.trs 0.005 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/nontermin/CSR/Ex1_Luc02b.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex1_Zan97.trs 0.009 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex24_GM04.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex26_Luc03b.trs 0.01 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex2_Luc03b.trs 0.006 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex3_12_Luc96a.trs 0.013 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex3_2_Luc97.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex3_3_25_Bor03.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex4_4_Luc96b.trs 0.009 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex4_7_15_Bor03.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex4_7_37_Bor03.trs 0.01 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex4_7_56_Bor03.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex4_7_77_Bor03.trs 0.01 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex49_GM04.trs 0.01 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex4_Zan97.trs 0.01 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex5_7_Luc97.trs 0.011 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex5_Zan97.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex6_15_AEL02.trs 0.007 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex6_9_Luc02c.trs 0.004 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex6_GM04.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex6_Luc98.trs 0.0 0.0 0.0 0.007
tpdb-5.0/TRS/nontermin/CSR/Ex7_BLR02.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex8_BLR02.trs 0.009 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/Ex9_BLR02.trs 0.01 60.0 60.0 0.988
tpdb-5.0/TRS/nontermin/CSR/ExAppendixB_AEL03.trs 0.011 60.0 60.0 0.992
problem e c r *
tpdb-5.0/TRS/nontermin/CSR/ExConc_Zan97.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/ExIntrod_GM01.trs 0.01 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/CSR/ExIntrod_GM04.trs 0.0 0.0 0.0 0.001
tpdb-5.0/TRS/nontermin/CSR/ExIntrod_GM99.trs 0.0 0.0 0.0 0.001
tpdb-5.0/TRS/nontermin/CSR/ExIntrod_Zan97.trs 0.009 0.0 0.0 0.002
tpdb-5.0/TRS/nontermin/HM/n001.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/Rubio-inn/bn111.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/Rubio-inn/gkg.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/Rubio-inn/muladd.trs 0.0 0.002 0.0 0.0
tpdb-5.0/TRS/nontermin/Rubio-inn/test10.trs 0.0 0.004 0.0 0.002
tpdb-5.0/TRS/nontermin/Rubio-inn/test75.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/Rubio-inn/test76.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/Rubio-inn/test77.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/Rubio-inn/test830.trs 0.0 0.006 0.0 0.0
tpdb-5.0/TRS/nontermin/Rubio-inn/test9.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/Rubio-inn/toyama.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/nontermin/TRCSR/ExSec11_1_Luc02a.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/aoto.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/bintrees.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/bn122.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/bn129.trs 0.0 0.0 0.002 0.0
tpdb-5.0/TRS/Rubio/division.trs 0.008 0.0 0.0 0.001
tpdb-5.0/TRS/Rubio/elimdupl.trs 0.011 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/enno.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/gcd.trs 0.005 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/Rubio/gmnp.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/gm.trs 0.0 0.007 0.0 0.0
tpdb-5.0/TRS/Rubio/koen.trs 0.0 0.002 0.0 0.0
tpdb-5.0/TRS/Rubio/lescanne.trs 0.0 0.0 0.023 0.0
tpdb-5.0/TRS/Rubio/lindau.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/logarquot.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/ma96.trs 0.017 0.0 0.0 0.009
tpdb-5.0/TRS/Rubio/mfp90b.trs 0.01 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/mfp95.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/nestrec.trs 0.004 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/p266.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/polo2.trs 0.006 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/prov.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/quick.trs 0.0 0.0 0.0 0.005
tpdb-5.0/TRS/Rubio/quotminus.trs 0.006 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/revlist.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/selsort.trs 0.001 0.0 0.0 0.006
tpdb-5.0/TRS/Rubio/test4.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/test829.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/Rubio/wst99.trs 0.002 0.0 0.0 0.001
tpdb-5.0/TRS/SchneiderKamp/trs/cade01.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/cade03.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/cade04t.trs 0.0 0.0 0.0 0.002
tpdb-5.0/TRS/SchneiderKamp/trs/cade05t.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/cade06.trs 0.006 0.0 0.0 0.002
problem e c r *
tpdb-5.0/TRS/SchneiderKamp/trs/cade07.trs 0.0 0.0 0.0 0.001
tpdb-5.0/TRS/SchneiderKamp/trs/cade08.trs 0.0 0.0 0.0 0.001
tpdb-5.0/TRS/SchneiderKamp/trs/cade09.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/cade10.trs 0.011 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/cade11.trs 0.0 0.006 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/cade12t.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/cade13t.trs 0.0 0.0 0.0 0.001
tpdb-5.0/TRS/SchneiderKamp/trs/cade14.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/cade15.trs 0.002 0.0 0.0 0.004
tpdb-5.0/TRS/SchneiderKamp/trs/cade16.trs 0.0 0.0 0.0 0.001
tpdb-5.0/TRS/SchneiderKamp/trs/cade17.trs 0.001 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/kabasci01.trs 0.019 0.05 0.046 0.105
tpdb-5.0/TRS/SchneiderKamp/trs/kabasci02.trs 0.0 60.0 60.0 0.997
tpdb-5.0/TRS/SchneiderKamp/trs/kabasci03.trs 0.01 60.0 60.0 0.192
tpdb-5.0/TRS/SchneiderKamp/trs/kabasci04.trs 0.009 0.0 0.0 0.009
tpdb-5.0/TRS/SchneiderKamp/trs/kabasci05.trs 0.006 0.0 0.0 0.013
tpdb-5.0/TRS/SchneiderKamp/trs/kabasci06.trs 0.013 0.022 0.024 0.019
tpdb-5.0/TRS/SchneiderKamp/trs/otto01.trs 0.0 0.002 0.002 0.01
tpdb-5.0/TRS/SchneiderKamp/trs/otto02.trs 0.0 0.0 0.0 0.004
tpdb-5.0/TRS/SchneiderKamp/trs/otto03.trs 0.001 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/otto04.trs 0.007 0.0 0.0 0.003
tpdb-5.0/TRS/SchneiderKamp/trs/otto05.trs 0.0 0.0 0.0 0.002
tpdb-5.0/TRS/SchneiderKamp/trs/otto06.trs 0.0 0.0 0.0 0.003
tpdb-5.0/TRS/SchneiderKamp/trs/otto07.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/otto08.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/SchneiderKamp/trs/otto09.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/otto10.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/otto11.trs 0.0 0.0 0.0 0.002
tpdb-5.0/TRS/SchneiderKamp/trs/otto12.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/otto13.trs 0.0 0.0 0.0 0.002
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann01.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann02.trs 0.0 0.004 0.007 0.023
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann03.trs 0.006 0.0 0.002 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann04.trs 0.0 0.0 0.0 0.008
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann05.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann06.trs 0.0 0.0 0.0 0.001
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann07.trs 0.007 0.0 0.0 0.004
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann08.trs 0.005 0.0 0.0 0.002
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann09.trs 0.003 0.0 0.0 0.006
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann10.trs 0.001 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann11.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann12.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann13.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann14.trs 0.001 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann15.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann16.trs 0.002 0.0 0.0 0.005
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann17.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann18.trs 0.0 0.0 0.0 0.007
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann19.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann20.trs 0.006 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann21.trs 0.003 0.001 0.004 0.012
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann22.trs 0.001 0.004 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann23.trs 0.001 0.0 0.0 0.001
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann24.trs 0.006 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann25.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann26.trs 0.001 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann27.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann28.trs 0.0 0.0 0.0 0.001
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann29.trs 0.001 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann30.trs 0.001 0.005 0.005 0.018
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann31.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann32.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann33.trs 0.001 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann34.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann35.trs 0.046 60.0 60.0 1.026
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann36.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann37.trs 0.002 0.002 0.003 0.001
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann38.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann39.trs 0.028 33.124 31.057 0.023
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann40.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/thiemann41.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe01.trs 0.0 60.0 60.0 0.987
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe02.trs 0.0 60.0 60.0 0.988
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe03.trs 0.0 60.0 60.0 0.99
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe05.trs 0.0 60.0 60.0 0.987
problem e c r *
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe06.trs 0.0 60.0 60.0 0.989
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe07.trs 0.001 60.0 60.0 0.987
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe08.trs 0.0 60.0 60.0 0.987
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe09.trs 0.0 60.0 60.0 0.988
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe11.trs 0.001 60.0 60.0 0.991
tpdb-5.0/TRS/SchneiderKamp/trs/wiehe12.trs 0.023 60.0 60.0 0.994
tpdb-5.0/TRS/secret05/aprove1.trs 0.003 0.117 0.117 0.001
tpdb-5.0/TRS/secret05/aprove2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret05/aprove3.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret05/aprove4.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret05/aprove5.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret05/cime1.trs 0.008 0.006 0.006 0.012
tpdb-5.0/TRS/secret05/cime2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret05/cime3.trs 0.005 60.0 60.0 0.995
tpdb-5.0/TRS/secret05/cime4.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret05/cime5.trs 0.046 60.0 60.0 1.035
tpdb-5.0/TRS/secret05/matchbox1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret05/matchbox2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret05/teparla1.trs 0.0 1.192 0.021 0.025
tpdb-5.0/TRS/secret05/teparla2.trs 0.0 60.0 60.0 0.984
tpdb-5.0/TRS/secret05/teparla3.trs 0.0 12.546 0.005 0.502
tpdb-5.0/TRS/secret05/tpa1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret05/tpa2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret05/tpa3.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret05/tpa4.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/secret05/tpa5.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret05/ttt1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret05/ttt2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/aprove/addList.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/aprove/divExp.trs 0.0 60.0 60.0 0.984
tpdb-5.0/TRS/secret06/aprove/division.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/aprove/double.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/aprove/logarithm.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/aprove/nrOfNodes.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/aprove/reverse.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/aprove/sumList.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/aprove/times.trs 0.0 60.0 60.0 0.997
tpdb-5.0/TRS/secret06/aprove/toList.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/cime1.trs 0.0 60.0 60.0 0.988
tpdb-5.0/TRS/secret06/jambox/10.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/jambox/2.trs 0.0 0.0 0.002 0.0
tpdb-5.0/TRS/secret06/jambox/3.trs 0.0 0.0 60.0 0.0
tpdb-5.0/TRS/secret06/jambox/4.trs 0.0 0.0 60.0 0.0
tpdb-5.0/TRS/secret06/jambox/5.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/jambox/6.trs 0.0 0.0 60.0 0.491
tpdb-5.0/TRS/secret06/jambox/7.trs 0.0 0.0 0.02 0.026
tpdb-5.0/TRS/secret06/jambox/8.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/jambox/9.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/matchbox/gen-10.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/matchbox/gen-14.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/secret06/matchbox/gen-15.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/matchbox/gen-17.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/matchbox/gen-18.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/matchbox/gen-1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/matchbox/gen-22.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/matchbox/gen-25.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/matchbox/gen-28.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/matchbox/gen-9.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/tpa01.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/tpa02.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/tpa03.trs 0.0 0.006 0.0 0.0
tpdb-5.0/TRS/secret06/tpa04.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/tpa05.trs 0.0 0.0 0.0 0.006
tpdb-5.0/TRS/secret06/tpa06.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/tpa07.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret06/tpa08.trs 0.0 0.0 0.0 0.009
tpdb-5.0/TRS/secret06/tpa09.trs 0.0 0.004 0.004 0.027
tpdb-5.0/TRS/secret06/tpa10.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret07/aprove/aprove01.trs 0.0 0.0 0.0 0.001
tpdb-5.0/TRS/secret07/aprove/aprove02.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret07/aprove/aprove03.trs 0.0 0.003 0.014 0.018
tpdb-5.0/TRS/secret07/aprove/aprove04.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret07/aprove/aprove05.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret07/aprove/aprove06.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret07/aprove/aprove07.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/secret07/aprove/aprove08.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret07/aprove/aprove09.trs 0.0 0.009 0.0 0.009
tpdb-5.0/TRS/secret07/aprove/aprove10.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret07/cime/secret1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret07/cime/secret2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret07/cime/secret3.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret07/cime/secret4.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret07/cime/secret5.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret07/others/dj.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret07/TTT2/1.trs 0.0 60.0 0.016 0.07
tpdb-5.0/TRS/secret07/TTT2/2.trs 0.0 60.0 0.076 0.575
tpdb-5.0/TRS/secret07/TTT2/3.trs 0.0 60.0 60.0 0.986
tpdb-5.0/TRS/secret07/TTT2/4.trs 0.0 60.0 0.648 0.205
tpdb-5.0/TRS/secret07/TTT2/5.trs 0.0 60.0 60.0 0.772
tpdb-5.0/TRS/secret07/TTT2/6.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/secret07/TTT2/7.trs 0.0 0.0 0.046 0.0
tpdb-5.0/TRS/SK90/2.01.trs 0.0 0.0 0.11 0.115
tpdb-5.0/TRS/SK90/2.02.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.03.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.04.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.05.trs 0.0 0.323 0.324 0.658
tpdb-5.0/TRS/SK90/2.06.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.07.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.08.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.09.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/SK90/2.10.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.11.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.12.trs 0.012 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.13.trs 0.0 0.004 0.0 0.0
tpdb-5.0/TRS/SK90/2.14.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.15.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.16.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.17.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.18.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.19.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.20.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.21.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.22.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.23.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.24.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.25.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.26.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.27.trs 0.0 0.0 0.007 0.0
tpdb-5.0/TRS/SK90/2.28.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.29.trs 0.0 0.004 0.0 0.0
tpdb-5.0/TRS/SK90/2.30.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.31.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.32.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.33.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.34.trs 0.0 0.065 0.0 0.002
problem e c r *
tpdb-5.0/TRS/SK90/2.35.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.36.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.37.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.38.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.39.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.40.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.41.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.42.trs 0.0 0.0 0.0 0.005
tpdb-5.0/TRS/SK90/2.43.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.44.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.45.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.46.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.47.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.48.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.49.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.50.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.51.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.52.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.53.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.54.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.55.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.56.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.57.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.58.trs 0.0 0.005 0.005 0.0
tpdb-5.0/TRS/SK90/2.59.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/SK90/2.60.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/2.61.trs 0.0 13.529 0.0 0.499
tpdb-5.0/TRS/SK90/4.01.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.02.trs 0.0 0.002 0.003 0.023
tpdb-5.0/TRS/SK90/4.03.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.04.trs 0.0 0.001 0.0 0.0
tpdb-5.0/TRS/SK90/4.05.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.06.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.07.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.08.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.09.trs 0.0 0.0 0.0 0.015
tpdb-5.0/TRS/SK90/4.10.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.11.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.12.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.13.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.14.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.15.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.16.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.17.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.18.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.19.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.20.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.21.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.22.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.23.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/SK90/4.24.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.25.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.26.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.27.trs 0.0 0.0 60.0 0.0
tpdb-5.0/TRS/SK90/4.28.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.29.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.30.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.31.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.32.trs 0.0 0.0 60.0 0.493
tpdb-5.0/TRS/SK90/4.33.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.34.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.35.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.36.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.37.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.38.trs 0.013 0.005 0.0 0.0
tpdb-5.0/TRS/SK90/4.39.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.40.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.41.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.42.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.43.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.44.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.45.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.46.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.47.trs 0.0 0.0 0.011 0.0
tpdb-5.0/TRS/SK90/4.48.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/SK90/4.49.trs 0.0 0.004 0.0 0.0
tpdb-5.0/TRS/SK90/4.50.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.51.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.52.trs 0.0 0.001 0.0 0.0
tpdb-5.0/TRS/SK90/4.53.trs 0.012 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.54.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.55.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.56.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.57.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.59.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.60.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/SK90/4.61.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Ste92/hydra.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Ste92/minsort.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Ste92/motivation.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Ste92/perfect2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Ste92/perfect.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Thiemann/div_notCeTermin.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Thiemann/div_notTermin.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Thiemann/factorial1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Thiemann/factorial2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Thiemann/identity.trs 0.0 0.0 60.0 0.491
tpdb-5.0/TRS/Thiemann/logarithm.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Thiemann/mapHard.trs 0.002 24.004 24.03 0.0
tpdb-5.0/TRS/Thiemann/modulo.trs 0.0 60.0 60.0 0.984
problem e c r *
tpdb-5.0/TRS/Thiemann/nonterm.trs 0.0 60.0 60.0 0.985
tpdb-5.0/TRS/Thiemann/quicksort.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Thiemann/quot.trs 0.0 36.497 36.798 0.984
tpdb-5.0/TRS/Thiemann/sizeChange.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Thiemann/tower_sizeChange.trs 0.0 0.0 60.0 0.493
tpdb-5.0/TRS/Thiemann/tower.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_2_AEL03_C.trs 0.151 0.222 0.217 0.508
tpdb-5.0/TRS/TRCSR/Ex1_2_AEL03_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_2_AEL03_GM.trs 0.045 0.037 0.036 0.091
tpdb-5.0/TRS/TRCSR/Ex1_2_AEL03_iGM.trs 0.172 0.155 0.154 0.345
tpdb-5.0/TRS/TRCSR/Ex1_2_AEL03_Z.trs 0.01 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_2_Luc02c_C.trs 0.0 0.002 0.002 0.032
tpdb-5.0/TRS/TRCSR/Ex1_2_Luc02c_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_2_Luc02c_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_2_Luc02c_iGM.trs 0.0 0.0 0.0 0.003
tpdb-5.0/TRS/TRCSR/Ex1_2_Luc02c_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex14_AEGL02_C.trs 0.002 0.006 0.006 0.029
tpdb-5.0/TRS/TRCSR/Ex14_AEGL02_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex14_AEGL02_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex14_AEGL02_iGM.trs 0.004 0.002 0.002 0.015
tpdb-5.0/TRS/TRCSR/Ex14_AEGL02_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex14_AEGL02_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex14_Luc06_C.trs 0.0 0.045 0.049 0.1
tpdb-5.0/TRS/TRCSR/Ex14_Luc06_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex14_Luc06_GM.trs 0.0 0.003 0.008 0.025
problem e c r *
tpdb-5.0/TRS/TRCSR/Ex14_Luc06_iGM.trs 0.0 0.181 0.179 0.224
tpdb-5.0/TRS/TRCSR/Ex14_Luc06_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex14_Luc06_Z.trs 0.0 0.0 0.0 0.002
tpdb-5.0/TRS/TRCSR/Ex15_Luc06_C.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex15_Luc06_FR.trs 0.0 0.0 0.006 0.0
tpdb-5.0/TRS/TRCSR/Ex15_Luc06_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex15_Luc06_iGM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex15_Luc06_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex15_Luc06_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex15_Luc98_C.trs 0.023 0.036 0.035 0.099
tpdb-5.0/TRS/TRCSR/Ex15_Luc98_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex15_Luc98_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex15_Luc98_iGM.trs 0.041 0.033 0.034 0.081
tpdb-5.0/TRS/TRCSR/Ex15_Luc98_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex16_Luc06_C.trs 0.0 0.002 0.001 0.015
tpdb-5.0/TRS/TRCSR/Ex16_Luc06_FR.trs 0.005 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex16_Luc06_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex16_Luc06_iGM.trs 0.0 0.013 0.006 0.0
tpdb-5.0/TRS/TRCSR/Ex16_Luc06_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex16_Luc06_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex18_Luc06_C.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex18_Luc06_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex18_Luc06_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex18_Luc06_iGM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex18_Luc06_L.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/TRCSR/Ex18_Luc06_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_GL02a_C.trs 0.01 0.021 0.02 0.063
tpdb-5.0/TRS/TRCSR/Ex1_GL02a_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_GL02a_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_GL02a_iGM.trs 0.02 0.023 0.023 0.053
tpdb-5.0/TRS/TRCSR/Ex1_GL02a_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_GL02a_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_GM03_C.trs 0.015 0.031 0.03 0.082
tpdb-5.0/TRS/TRCSR/Ex1_GM03_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_GM03_GM.trs 0.002 0.0 0.0 0.004
tpdb-5.0/TRS/TRCSR/Ex1_GM03_iGM.trs 0.023 0.027 0.027 0.059
tpdb-5.0/TRS/TRCSR/Ex1_GM03_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_GM99_C.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_GM99_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_GM99_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_GM99_iGM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_GM99_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_GM99_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_Luc02b_C.trs 0.014 0.024 0.024 0.067
tpdb-5.0/TRS/TRCSR/Ex1_Luc02b_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_Luc02b_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_Luc02b_iGM.trs 0.015 0.014 0.015 0.047
tpdb-5.0/TRS/TRCSR/Ex1_Luc02b_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_Luc04b_C.trs 0.007 0.019 0.349 0.357
tpdb-5.0/TRS/TRCSR/Ex1_Luc04b_FR.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/TRCSR/Ex1_Luc04b_GM.trs 0.0 0.0 0.047 0.055
tpdb-5.0/TRS/TRCSR/Ex1_Luc04b_iGM.trs 0.014 0.017 0.562 0.515
tpdb-5.0/TRS/TRCSR/Ex1_Luc04b_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_Zan97_C.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_Zan97_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_Zan97_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_Zan97_iGM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_Zan97_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex1_Zan97_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex23_Luc06_C.trs 0.0 0.0 0.007 0.009
tpdb-5.0/TRS/TRCSR/Ex23_Luc06_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex23_Luc06_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex23_Luc06_iGM.trs 0.001 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex23_Luc06_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex23_Luc06_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex24_GM04_C.trs 0.0 0.035 0.031 0.074
tpdb-5.0/TRS/TRCSR/Ex24_GM04_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex24_GM04_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex24_GM04_iGM.trs 0.0 0.357 0.355 0.72
tpdb-5.0/TRS/TRCSR/Ex24_GM04_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex24_GM04_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex24_Luc06_C.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex24_Luc06_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex24_Luc06_GM.trs 0.0 0.004 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex24_Luc06_iGM.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/TRCSR/Ex24_Luc06_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex24_Luc06_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex25_Luc06_C.trs 0.0 0.002 60.0 0.498
tpdb-5.0/TRS/TRCSR/Ex25_Luc06_FR.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex25_Luc06_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex25_Luc06_iGM.trs 0.0 0.0 0.028 0.043
tpdb-5.0/TRS/TRCSR/Ex25_Luc06_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex25_Luc06_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex26_Luc03b_C.trs 0.04 0.083 0.076 0.192
tpdb-5.0/TRS/TRCSR/Ex26_Luc03b_FR.trs 0.0 0.0 0.0 0.002
tpdb-5.0/TRS/TRCSR/Ex26_Luc03b_GM.trs 0.001 0.0 0.0 0.001
tpdb-5.0/TRS/TRCSR/Ex26_Luc03b_iGM.trs 0.052 0.056 0.055 0.125
tpdb-5.0/TRS/TRCSR/Ex26_Luc03b_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex26_Luc03b_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex2_Luc02a_C.trs 0.045 0.083 0.088 0.204
tpdb-5.0/TRS/TRCSR/Ex2_Luc02a_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex2_Luc02a_GM.trs 0.008 0.001 0.0 0.017
tpdb-5.0/TRS/TRCSR/Ex2_Luc02a_iGM.trs 0.058 0.062 0.061 0.135
tpdb-5.0/TRS/TRCSR/Ex2_Luc02a_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex2_Luc02a_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex2_Luc03b_C.trs 0.017 0.036 0.036 0.095
tpdb-5.0/TRS/TRCSR/Ex2_Luc03b_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex2_Luc03b_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex2_Luc03b_iGM.trs 0.024 0.026 0.026 0.063
tpdb-5.0/TRS/TRCSR/Ex2_Luc03b_L.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/TRCSR/Ex2_Luc03b_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex3_12_Luc96a_C.trs 0.003 0.008 0.007 0.032
tpdb-5.0/TRS/TRCSR/Ex3_12_Luc96a_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex3_12_Luc96a_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex3_12_Luc96a_iGM.trs 0.002 0.001 0.0 0.013
tpdb-5.0/TRS/TRCSR/Ex3_12_Luc96a_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex3_2_Luc97_C.trs 0.017 0.034 0.037 0.096
tpdb-5.0/TRS/TRCSR/Ex3_2_Luc97_FR.trs 0.001 0.0 0.0 0.003
tpdb-5.0/TRS/TRCSR/Ex3_2_Luc97_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex3_2_Luc97_iGM.trs 0.029 0.032 0.033 0.077
tpdb-5.0/TRS/TRCSR/Ex3_2_Luc97_Z.trs 0.0 0.0 0.005 0.0
tpdb-5.0/TRS/TRCSR/Ex3_3_25_Bor03_C.trs 0.024 0.045 0.046 0.113
tpdb-5.0/TRS/TRCSR/Ex3_3_25_Bor03_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex3_3_25_Bor03_GM.trs 0.001 0.0 0.0 0.001
tpdb-5.0/TRS/TRCSR/Ex3_3_25_Bor03_iGM.trs 0.028 0.031 0.03 0.073
tpdb-5.0/TRS/TRCSR/Ex3_3_25_Bor03_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex3_3_25_Bor03_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_4_Luc96b_C.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_4_Luc96b_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_4_Luc96b_GM.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_4_Luc96b_iGM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_4_Luc96b_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_4_Luc96b_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_7_15_Bor03_C.trs 0.001 0.007 0.04 0.049
tpdb-5.0/TRS/TRCSR/Ex4_7_15_Bor03_FR.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/TRCSR/Ex4_7_15_Bor03_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_7_15_Bor03_iGM.trs 0.001 0.0 0.107 0.106
tpdb-5.0/TRS/TRCSR/Ex4_7_15_Bor03_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_7_15_Bor03_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_7_37_Bor03_C.trs 0.048 0.078 0.077 0.196
tpdb-5.0/TRS/TRCSR/Ex4_7_37_Bor03_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_7_37_Bor03_GM.trs 0.012 0.008 0.006 0.028
tpdb-5.0/TRS/TRCSR/Ex4_7_37_Bor03_iGM.trs 0.056 0.056 0.056 0.131
tpdb-5.0/TRS/TRCSR/Ex4_7_37_Bor03_Z.trs 0.005 0.0 0.009 0.0
tpdb-5.0/TRS/TRCSR/Ex4_7_56_Bor03_C.trs 0.003 0.007 0.008 0.031
tpdb-5.0/TRS/TRCSR/Ex4_7_56_Bor03_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_7_56_Bor03_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_7_56_Bor03_iGM.trs 0.003 0.001 0.0 0.014
tpdb-5.0/TRS/TRCSR/Ex4_7_56_Bor03_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_7_77_Bor03_C.trs 0.0 0.0 0.01 0.018
tpdb-5.0/TRS/TRCSR/Ex4_7_77_Bor03_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_7_77_Bor03_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_7_77_Bor03_iGM.trs 0.0 0.0 0.017 0.019
tpdb-5.0/TRS/TRCSR/Ex4_7_77_Bor03_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex49_GM04_C.trs 0.008 0.021 0.02 0.051
tpdb-5.0/TRS/TRCSR/Ex49_GM04_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex49_GM04_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex49_GM04_iGM.trs 0.019 0.019 0.017 0.049
tpdb-5.0/TRS/TRCSR/Ex49_GM04_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_DLMMU04_C.trs 0.106 0.158 0.157 0.364
problem e c r *
tpdb-5.0/TRS/TRCSR/Ex4_DLMMU04_FR.trs 0.007 0.012 0.012 0.049
tpdb-5.0/TRS/TRCSR/Ex4_DLMMU04_GM.trs 0.017 0.02 0.021 0.064
tpdb-5.0/TRS/TRCSR/Ex4_DLMMU04_iGM.trs 0.187 0.152 0.151 0.358
tpdb-5.0/TRS/TRCSR/Ex4_DLMMU04_Z.trs 0.003 0.005 0.005 0.026
tpdb-5.0/TRS/TRCSR/Ex4_Zan97_C.trs 0.01 0.02 0.022 0.061
tpdb-5.0/TRS/TRCSR/Ex4_Zan97_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_Zan97_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex4_Zan97_iGM.trs 0.011 0.011 0.011 0.034
tpdb-5.0/TRS/TRCSR/Ex4_Zan97_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex5_7_Luc97_C.trs 0.079 0.132 0.13 0.317
tpdb-5.0/TRS/TRCSR/Ex5_7_Luc97_FR.trs 0.003 0.001 0.0 0.018
tpdb-5.0/TRS/TRCSR/Ex5_7_Luc97_GM.trs 0.019 0.009 0.008 0.04
tpdb-5.0/TRS/TRCSR/Ex5_7_Luc97_iGM.trs 0.147 0.123 0.122 0.288
tpdb-5.0/TRS/TRCSR/Ex5_7_Luc97_Z.trs 0.0 0.0 0.0 0.005
tpdb-5.0/TRS/TRCSR/Ex5_DLMMU04_C.trs 0.052 0.094 0.093 0.217
tpdb-5.0/TRS/TRCSR/Ex5_DLMMU04_FR.trs 0.0 0.0 0.0 0.007
tpdb-5.0/TRS/TRCSR/Ex5_DLMMU04_GM.trs 0.011 0.0 0.001 0.021
tpdb-5.0/TRS/TRCSR/Ex5_DLMMU04_iGM.trs 0.074 0.079 0.076 0.171
tpdb-5.0/TRS/TRCSR/Ex5_DLMMU04_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex5_Zan97_C.trs 0.0 0.0 60.0 0.494
tpdb-5.0/TRS/TRCSR/Ex5_Zan97_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex5_Zan97_GM.trs 0.0 0.0 0.001 0.0
tpdb-5.0/TRS/TRCSR/Ex5_Zan97_iGM.trs 0.005 0.0 0.146 0.136
tpdb-5.0/TRS/TRCSR/Ex5_Zan97_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex6_15_AEL02_C.trs 0.23 0.302 0.293 0.711
problem e c r *
tpdb-5.0/TRS/TRCSR/Ex6_15_AEL02_FR.trs 0.006 0.006 0.005 0.032
tpdb-5.0/TRS/TRCSR/Ex6_15_AEL02_GM.trs 0.085 0.058 0.059 0.147
tpdb-5.0/TRS/TRCSR/Ex6_15_AEL02_iGM.trs 0.344 0.254 0.255 0.603
tpdb-5.0/TRS/TRCSR/Ex6_15_AEL02_Z.trs 0.0 0.002 0.0 0.015
tpdb-5.0/TRS/TRCSR/Ex6_9_Luc02c_C.trs 0.006 0.016 0.019 0.049
tpdb-5.0/TRS/TRCSR/Ex6_9_Luc02c_FR.trs 0.0 0.0 0.0 0.003
tpdb-5.0/TRS/TRCSR/Ex6_9_Luc02c_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex6_9_Luc02c_iGM.trs 0.006 0.003 0.004 0.021
tpdb-5.0/TRS/TRCSR/Ex6_9_Luc02c_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex6_GM04_C.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex6_GM04_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex6_GM04_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex6_GM04_iGM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex6_GM04_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex6_GM04_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex6_Luc98_C.trs 0.004 0.009 0.008 0.04
tpdb-5.0/TRS/TRCSR/Ex6_Luc98_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex6_Luc98_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex6_Luc98_iGM.trs 0.004 0.002 0.002 0.016
tpdb-5.0/TRS/TRCSR/Ex6_Luc98_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex6_Luc98_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex7_BLR02_C.trs 0.027 0.05 0.05 0.129
tpdb-5.0/TRS/TRCSR/Ex7_BLR02_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex7_BLR02_GM.trs 0.004 0.0 0.0 0.01
tpdb-5.0/TRS/TRCSR/Ex7_BLR02_iGM.trs 0.034 0.033 0.034 0.083
problem e c r *
tpdb-5.0/TRS/TRCSR/Ex7_BLR02_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex8_BLR02_C.trs 0.027 0.046 0.046 0.115
tpdb-5.0/TRS/TRCSR/Ex8_BLR02_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex8_BLR02_GM.trs 0.004 0.0 0.0 0.007
tpdb-5.0/TRS/TRCSR/Ex8_BLR02_iGM.trs 0.03 0.028 0.03 0.07
tpdb-5.0/TRS/TRCSR/Ex8_BLR02_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex9_BLR02_C.trs 0.02 0.048 0.045 0.107
tpdb-5.0/TRS/TRCSR/Ex9_BLR02_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex9_BLR02_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex9_BLR02_iGM.trs 0.025 0.032 0.033 0.071
tpdb-5.0/TRS/TRCSR/Ex9_BLR02_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex9_BLR02_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex9_Luc04_C.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex9_Luc04_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex9_Luc04_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex9_Luc04_iGM.trs 0.0 0.0 0.0 0.012
tpdb-5.0/TRS/TRCSR/Ex9_Luc04_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex9_Luc04_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex9_Luc06_C.trs 0.0 0.044 0.008 0.058
tpdb-5.0/TRS/TRCSR/Ex9_Luc06_FR.trs 0.0 0.044 0.0 0.044
tpdb-5.0/TRS/TRCSR/Ex9_Luc06_GM.trs 0.0 0.073 0.0 0.094
tpdb-5.0/TRS/TRCSR/Ex9_Luc06_iGM.trs 0.0 0.413 60.0 0.501
tpdb-5.0/TRS/TRCSR/Ex9_Luc06_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/Ex9_Luc06_Z.trs 0.0 0.044 0.0 0.043
tpdb-5.0/TRS/TRCSR/ExAppendixB_AEL03_C.trs 0.193 0.266 0.269 0.618
problem e c r *
tpdb-5.0/TRS/TRCSR/ExAppendixB_AEL03_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExAppendixB_AEL03_GM.trs 0.062 0.057 0.056 0.126
tpdb-5.0/TRS/TRCSR/ExAppendixB_AEL03_iGM.trs 0.236 0.2 0.2 0.446
tpdb-5.0/TRS/TRCSR/ExAppendixB_AEL03_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExConc_Zan97_C.trs 0.0 0.0 0.003 0.008
tpdb-5.0/TRS/TRCSR/ExConc_Zan97_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExConc_Zan97_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExConc_Zan97_iGM.trs 0.0 0.0 0.0 0.001
tpdb-5.0/TRS/TRCSR/ExConc_Zan97_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExConc_Zan97_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExIntrod_GM01_C.trs 0.012 0.031 60.0 0.538
tpdb-5.0/TRS/TRCSR/ExIntrod_GM01_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExIntrod_GM01_GM.trs 0.0 0.0 0.111 0.115
tpdb-5.0/TRS/TRCSR/ExIntrod_GM01_iGM.trs 0.023 0.027 1.548 0.539
tpdb-5.0/TRS/TRCSR/ExIntrod_GM01_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExIntrod_GM04_C.trs 0.006 0.019 60.0 0.522
tpdb-5.0/TRS/TRCSR/ExIntrod_GM04_FR.trs 0.0 0.0 0.001 0.004
tpdb-5.0/TRS/TRCSR/ExIntrod_GM04_GM.trs 0.0 0.0 0.05 0.055
tpdb-5.0/TRS/TRCSR/ExIntrod_GM04_iGM.trs 0.013 0.014 0.346 0.349
tpdb-5.0/TRS/TRCSR/ExIntrod_GM04_Z.trs 0.0 0.0 0.002 0.0
tpdb-5.0/TRS/TRCSR/ExIntrod_GM99_C.trs 0.063 0.118 0.12 0.259
tpdb-5.0/TRS/TRCSR/ExIntrod_GM99_FR.trs 0.0 0.0 0.0 0.002
tpdb-5.0/TRS/TRCSR/ExIntrod_GM99_GM.trs 0.018 0.005 0.006 0.03
tpdb-5.0/TRS/TRCSR/ExIntrod_GM99_iGM.trs 0.086 0.089 0.089 0.19
tpdb-5.0/TRS/TRCSR/ExIntrod_GM99_Z.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/TRCSR/ExIntrod_Zan97_C.trs 0.035 0.063 0.063 0.148
tpdb-5.0/TRS/TRCSR/ExIntrod_Zan97_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExIntrod_Zan97_GM.trs 0.008 0.001 0.001 0.021
tpdb-5.0/TRS/TRCSR/ExIntrod_Zan97_iGM.trs 0.049 0.049 0.059 0.116
tpdb-5.0/TRS/TRCSR/ExIntrod_Zan97_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExProp7_Luc06_C.trs 0.001 0.006 0.051 0.065
tpdb-5.0/TRS/TRCSR/ExProp7_Luc06_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExProp7_Luc06_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExProp7_Luc06_iGM.trs 0.001 0.0 0.111 0.113
tpdb-5.0/TRS/TRCSR/ExProp7_Luc06_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExProp7_Luc06_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExSec11_1_Luc02a_C.trs 0.062 0.112 0.111 0.258
tpdb-5.0/TRS/TRCSR/ExSec11_1_Luc02a_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExSec11_1_Luc02a_GM.trs 0.014 0.007 0.007 0.038
tpdb-5.0/TRS/TRCSR/ExSec11_1_Luc02a_iGM.trs 0.09 0.084 0.089 0.194
tpdb-5.0/TRS/TRCSR/ExSec11_1_Luc02a_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExSec11_1_Luc02a_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExSec4_2_DLMMU04_C.trs 0.186 0.254 0.257 0.578
tpdb-5.0/TRS/TRCSR/ExSec4_2_DLMMU04_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/ExSec4_2_DLMMU04_GM.trs 0.064 0.059 0.058 0.143
tpdb-5.0/TRS/TRCSR/ExSec4_2_DLMMU04_iGM.trs 0.217 0.183 0.184 0.41
tpdb-5.0/TRS/TRCSR/ExSec4_2_DLMMU04_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_C.trs 0.528 0.638 0.663 1.487
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_FR.trs 0.021 0.072 0.072 0.168
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_GM.trs 0.087 0.115 0.119 0.274
problem e c r *
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_iGM.trs 0.97 0.573 0.579 1.549
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_noand_C.trs 3.364 3.044 3.034 4.34
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete-noand_FR.trs 0.035 0.114 0.113 0.258
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_noand_GM.trs 0.384 0.368 0.366 0.859
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_noand_iGM.trs 4.662 2.106 2.105 5.151
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete-noand_Z.trs 0.025 0.106 0.104 0.239
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_complete_Z.trs 0.012 0.06 0.06 0.133
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_C.trs 0.024 0.052 0.053 0.127
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_FR.trs 0.002 0.006 0.011 0.03
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_GM.trs 0.001 0.0 0.0 0.015
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_iGM.trs 0.057 0.058 0.058 0.128
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_C.trs 0.155 0.237 0.24 0.554
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_FR.trs 0.002 0.006 0.007 0.035
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_GM.trs 0.021 0.018 0.018 0.059
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_iGM.trs 0.274 0.209 0.211 0.508
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_Z.trs 0.001 0.002 0.008 0.024
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_Z.trs 0.0 0.002 0.003 0.021
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_C.trs 0.002 0.005 0.05 0.065
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_GM.trs 0.0 0.0 0.0 0.009
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_iGM.trs 0.005 0.003 0.194 0.195
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_C.trs 0.009 0.02 0.087 0.104
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_GM.trs 0.0 0.0 0.001 0.007
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_iGM.trs 0.014 0.015 0.492 0.28
problem e c r *
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_C.trs 17.569 16.78 13.42 18.435
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_FR.trs 0.563 1.156 1.16 1.555
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_GM.trs 3.741 3.734 3.735 4.696
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_iGM.trs 32.204 9.026 9.17 26.983
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_noand_C.trs 60.0 60.0 60.0 60.0
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete-noand_FR.trs 1.41 3.134 3.128 2.421
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_noand_GM.trs 46.766 37.759 37.695 45.304
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_noand_iGM.trs 60.0 60.0 60.0 60.0
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete-noand_Z.trs 0.763 2.539 2.476 1.782
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_complete_Z.trs 0.284 0.853 0.845 1.277
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_C.trs 1.768 1.668 1.661 2.763
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_FR.trs 0.475 0.759 0.45 0.575
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_GM.trs 0.405 0.448 0.454 0.95
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_iGM.trs 2.663 1.199 1.187 3.274
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_noand_C.trs 11.294 9.095 9.111 14.061
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds-noand_FR.trs 0.299 0.483 0.491 0.943
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_noand_GM.trs 2.368 1.919 1.923 3.373
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_noand_iGM.trs 18.589 5.8 5.816 19.579
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds-noand_Z.trs 0.134 0.339 0.335 0.703
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nokinds_Z.trs 0.066 0.173 0.173 0.367
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_C.trs 0.27 0.345 0.345 0.767
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_GM.trs 0.091 0.082 0.083 0.191
problem e c r *
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_iGM.trs 0.333 0.258 0.256 0.588
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_noand_C.trs 5.053 2.295 2.277 3.52
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR.trs 0.001 0.019 0.021 0.055
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_noand_GM.trs 0.567 0.506 0.497 0.965
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_noand_iGM.trs 2.839 1.531 1.503 3.656
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts-noand_Z.trs 0.016 0.07 0.071 0.16
tpdb-5.0/TRS/TRCSR/LISTUTILITIES_nosorts_Z.trs 0.002 0.001 0.001 0.01
tpdb-5.0/TRS/TRCSR/MYNAT_complete_C.trs 1.252 0.58 0.584 1.306
tpdb-5.0/TRS/TRCSR/MYNAT_complete_FR.trs 0.028 0.073 0.072 0.165
tpdb-5.0/TRS/TRCSR/MYNAT_complete_GM.trs 0.097 0.127 0.132 0.301
tpdb-5.0/TRS/TRCSR/MYNAT_complete_iGM.trs 0.787 0.469 0.462 1.259
tpdb-5.0/TRS/TRCSR/MYNAT_complete_noand_C.trs 4.749 4.121 4.558 5.748
tpdb-5.0/TRS/TRCSR/MYNAT_complete-noand_FR.trs 0.054 0.137 0.146 0.299
tpdb-5.0/TRS/TRCSR/MYNAT_complete_noand_GM.trs 0.638 0.589 0.602 1.248
tpdb-5.0/TRS/TRCSR/MYNAT_complete_noand_iGM.trs 5.641 2.542 3.749 6.596
tpdb-5.0/TRS/TRCSR/MYNAT_complete-noand_Z.trs 0.037 0.117 0.122 0.258
tpdb-5.0/TRS/TRCSR/MYNAT_complete_Z.trs 0.018 0.054 0.052 0.127
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_C.trs 0.078 0.118 0.117 0.281
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_FR.trs 0.004 0.01 0.007 0.033
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_GM.trs 0.014 0.015 0.016 0.054
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_iGM.trs 0.122 0.098 0.1 0.251
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_noand_C.trs 0.272 0.341 0.337 0.779
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds-noand_FR.trs 0.008 0.015 0.016 0.047
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_noand_GM.trs 0.051 0.048 0.047 0.124
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_noand_iGM.trs 0.384 0.275 0.284 0.685
problem e c r *
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds-noand_Z.trs 0.004 0.009 0.009 0.036
tpdb-5.0/TRS/TRCSR/MYNAT_nokinds_Z.trs 0.001 0.002 0.001 0.019
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_C.trs 0.006 0.013 0.013 0.047
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_iGM.trs 0.008 0.006 0.006 0.025
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_noand_C.trs 0.048 0.073 0.073 0.166
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts-noand_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_noand_GM.trs 0.005 0.0 0.0 0.019
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_noand_iGM.trs 0.063 0.059 0.06 0.14
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts-noand_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/MYNAT_nosorts_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_C.trs 1.41 1.472 3.305 2.398
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_FR.trs 0.055 0.203 0.201 0.442
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_GM.trs 0.224 0.293 0.298 0.643
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_iGM.trs 2.419 1.224 1.185 3.124
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_noand_C.trs 18.427 11.8 11.833 19.359
tpdb-5.0/TRS/TRCSR/OvConsOS_complete-noand_FR.trs 0.111 0.323 0.321 0.688
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_noand_GM.trs 1.601 1.378 1.388 2.609
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_noand_iGM.trs 20.597 6.259 6.09 19.81
tpdb-5.0/TRS/TRCSR/OvConsOS_complete-noand_Z.trs 0.082 0.286 0.289 0.609
tpdb-5.0/TRS/TRCSR/OvConsOS_complete_Z.trs 0.036 0.163 0.165 0.345
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_C.trs 0.094 0.157 0.16 0.368
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_FR.trs 0.017 0.038 0.038 0.099
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_GM.trs 0.013 0.021 0.02 0.065
problem e c r *
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_iGM.trs 0.189 0.16 0.157 0.37
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_noand_C.trs 0.666 0.753 1.914 1.655
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds-noand_FR.trs 0.02 0.045 0.047 0.112
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_noand_GM.trs 0.096 0.087 0.087 0.229
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_noand_iGM.trs 1.01 0.62 0.62 1.657
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds-noand_Z.trs 0.011 0.035 0.034 0.104
tpdb-5.0/TRS/TRCSR/OvConsOS_nokinds_Z.trs 0.007 0.033 0.027 0.079
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_C.trs 0.009 0.021 60.0 0.537
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_FR.trs 0.0 0.0 0.002 0.0
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_GM.trs 0.008 0.0 0.024 0.025
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_iGM.trs 0.016 0.018 1.188 0.519
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_noand_C.trs 0.087 0.12 0.568 0.605
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts-noand_FR.trs 0.0 0.0 0.029 0.035
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_noand_GM.trs 0.006 0.002 0.086 0.106
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_noand_iGM.trs 0.124 0.114 60.0 0.689
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts-noand_Z.trs 0.0 0.0 0.01 0.014
tpdb-5.0/TRS/TRCSR/OvConsOS_nosorts_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_C.trs 0.866 60.0 60.0 1.866
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_FR.trs 0.021 60.0 60.0 1.011
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_GM.trs 0.174 60.0 60.0 1.166
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_iGM.trs 1.688 60.0 60.0 4.696
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_noand_C.trs 5.931 51.462 55.222 10.338
tpdb-5.0/TRS/TRCSR/PALINDROME_complete-noand_FR.trs 0.037 60.0 60.0 1.028
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_noand_GM.trs 0.797 60.0 60.0 1.783
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_noand_iGM.trs 8.327 60.0 60.0 9.174
problem e c r *
tpdb-5.0/TRS/TRCSR/PALINDROME_complete-noand_L.trs 0.004 0.042 0.197 0.255
tpdb-5.0/TRS/TRCSR/PALINDROME_complete-noand_Z.trs 0.031 60.0 60.0 1.022
tpdb-5.0/TRS/TRCSR/PALINDROME_complete_Z.trs 0.014 60.0 60.0 1.004
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_C.trs 0.017 0.728 0.239 0.756
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_FR.trs 0.004 10.282 0.251 0.758
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_GM.trs 0.002 17.643 0.188 0.662
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_iGM.trs 0.068 60.0 60.0 1.056
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_noand_C.trs 0.245 1.488 1.663 1.219
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds-noand_FR.trs 0.004 1.0 0.168 0.672
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_noand_GM.trs 0.058 19.249 1.217 1.046
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_noand_iGM.trs 0.521 60.0 60.0 1.5
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds-noand_L.trs 0.0 0.0 0.01 0.027
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds-noand_Z.trs 0.002 0.972 0.142 0.647
tpdb-5.0/TRS/TRCSR/PALINDROME_nokinds_Z.trs 0.001 10.193 0.205 0.713
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_C.trs 0.001 0.082 0.091 0.18
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_GM.trs 0.0 11.902 0.018 0.521
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_iGM.trs 0.02 60.0 8.311 0.991
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_noand_C.trs 0.004 0.104 0.103 0.2
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts-noand_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_noand_GM.trs 0.0 11.393 0.034 0.535
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_noand_iGM.trs 0.006 60.0 5.867 0.994
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts-noand_L.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts-noand_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/PALINDROME_nosorts_Z.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/TRCSR/PEANO_complete_C.trs 0.132 0.196 0.201 0.454
tpdb-5.0/TRS/TRCSR/PEANO_complete_FR.trs 0.007 0.022 0.022 0.061
tpdb-5.0/TRS/TRCSR/PEANO_complete_GM.trs 0.023 0.038 0.038 0.1
tpdb-5.0/TRS/TRCSR/PEANO_complete_iGM.trs 0.214 0.169 0.165 0.412
tpdb-5.0/TRS/TRCSR/PEANO_complete_noand_C.trs 0.858 0.898 0.893 3.166
tpdb-5.0/TRS/TRCSR/PEANO_complete-noand_FR.trs 0.012 0.037 0.037 0.092
tpdb-5.0/TRS/TRCSR/PEANO_complete_noand_GM.trs 0.112 0.114 0.123 0.292
tpdb-5.0/TRS/TRCSR/PEANO_complete_noand_iGM.trs 1.122 0.666 0.659 1.752
tpdb-5.0/TRS/TRCSR/PEANO_complete-noand_Z.trs 0.008 0.029 0.03 0.081
tpdb-5.0/TRS/TRCSR/PEANO_complete_Z.trs 0.002 0.013 0.014 0.05
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_C.trs 0.019 0.038 0.039 0.105
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_FR.trs 0.0 0.0 0.0 0.004
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_GM.trs 0.0 0.0 0.0 0.01
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_iGM.trs 0.033 0.035 0.031 0.078
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_noand_C.trs 0.058 0.094 0.095 0.227
tpdb-5.0/TRS/TRCSR/PEANO_nokinds-noand_FR.trs 0.0 0.0 0.0 0.008
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_noand_GM.trs 0.007 0.003 0.003 0.026
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_noand_iGM.trs 0.083 0.077 0.077 0.188
tpdb-5.0/TRS/TRCSR/PEANO_nokinds-noand_Z.trs 0.0 0.0 0.0 0.003
tpdb-5.0/TRS/TRCSR/PEANO_nokinds_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_C.trs 0.001 0.003 0.046 0.058
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_GM.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_iGM.trs 0.001 0.0 0.678 0.497
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_noand_C.trs 0.008 0.013 0.112 0.132
problem e c r *
tpdb-5.0/TRS/TRCSR/PEANO_nosorts-noand_FR.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_noand_GM.trs 0.0 0.0 0.002 0.007
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_noand_iGM.trs 0.012 0.009 13.07 0.577
tpdb-5.0/TRS/TRCSR/PEANO_nosorts-noand_Z.trs 0.001 0.0 0.0 0.0
tpdb-5.0/TRS/TRCSR/PEANO_nosorts_Z.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/02.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/03.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/04.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/05.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/06.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/07.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/08.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/09.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/10.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/11.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/12.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/13.trs 0.003 0.0 0.0 0.0
tpdb-5.0/TRS/various/14.trs 0.012 0.037 0.039 0.034
tpdb-5.0/TRS/various/15.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/18.trs 0.0 0.195 0.0 0.0
tpdb-5.0/TRS/various/19.trs 0.0 0.011 0.013 0.044
tpdb-5.0/TRS/various/20.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/21.trs 0.018 0.014 0.519 0.228
tpdb-5.0/TRS/various/22.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/23.trs 0.0 0.015 0.0 0.0
problem e c r *
tpdb-5.0/TRS/various/24.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/25.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/various/26.trs 0.0 0.014 0.0 0.004
tpdb-5.0/TRS/various/27.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Waldmann/jwaprove1.trs 0.0 60.0 60.0 0.0
tpdb-5.0/TRS/Waldmann/jwaprove2.trs 0.0 60.0 60.0 0.0
tpdb-5.0/TRS/Waldmann/jwcime1.trs 0.0 0.0 60.0 0.0
tpdb-5.0/TRS/Waldmann/jwcime2.trs 0.0 0.0 0.01 0.0
tpdb-5.0/TRS/Waldmann/jwmatchb1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Waldmann/jwmatchb2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Waldmann/jwno1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Waldmann/jwno2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Waldmann/jwno3.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/Waldmann/jwno4.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Waldmann/jwno5.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/Waldmann/jwno6.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Waldmann/jwno7.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Waldmann/jwno8.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Waldmann/jwno9.trs 0.0 0.0 0.0 0.014
tpdb-5.0/TRS/Waldmann/jwteparla1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Waldmann/jwteparla2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Waldmann/jwtpa1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Waldmann/jwtpa2.trs 0.0 60.0 60.0 0.0
tpdb-5.0/TRS/Waldmann/jwttt.trs 0.0 60.0 60.0 0.0
tpdb-5.0/TRS/Zantema06/beans.trs 0.0 0.0 0.326 0.047
problem e c r *
tpdb-5.0/TRS/Zantema06/gcdMinMax.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema06/gcd.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema06/hydra.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema06/test1.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema06/while2.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema06/while.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw01.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw02.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw03.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw04.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw05.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw06.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw07.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw08.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw09.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/Zantema/jw11.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw12.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw13.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw14.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw15.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw16.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/Zantema/jw17.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw18.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw19.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw20.trs 0.0 0.0 0.0 0.0
problem e c r *
tpdb-5.0/TRS/Zantema/jw21.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/Zantema/jw22.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw23.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw24.trs 0.0 0.004 0.0 0.0
tpdb-5.0/TRS/Zantema/jw25.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw26.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw27.trs 0.0 0.007 0.001 0.0
tpdb-5.0/TRS/Zantema/jw28.trs 0.013 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw29.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw30.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw31.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw32.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw33.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/Zantema/jw34.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw35.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw36.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw37.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw38.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw39.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/Zantema/jw40.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw41.trs 0.0 0.006 0.0 0.0
tpdb-5.0/TRS/Zantema/jw42.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/Zantema/jw43.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/jw44.trs 0.0 0.0 60.0 0.0
tpdb-5.0/TRS/Zantema/jw47.trs 0.0 0.0 60.0 0.0
problem e c r *
tpdb-5.0/TRS/Zantema/jw50.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z01.trs 0.0 0.0 0.052 0.0
tpdb-5.0/TRS/Zantema/z02.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z03.trs 0.0 0.0 0.01 0.001
tpdb-5.0/TRS/Zantema/z04.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z05.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z06.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z07.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z08.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z09.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z10.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z11.trs 0.0 0.0 0.009 0.0
tpdb-5.0/TRS/Zantema/z12.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z13.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z14.trs 0.0 0.004 0.0 0.0
tpdb-5.0/TRS/Zantema/z15.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z16.trs 0.0 0.005 0.0 0.0
tpdb-5.0/TRS/Zantema/z17.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z18.trs 0.0 0.004 0.0 0.0
tpdb-5.0/TRS/Zantema/z19.trs 0.0 0.0 0.038 0.0
tpdb-5.0/TRS/Zantema/z20.trs 0.0 0.0 60.0 0.0
tpdb-5.0/TRS/Zantema/z21.trs 0.0 0.0 0.019 0.0
tpdb-5.0/TRS/Zantema/z22.trs 0.0 0.0 0.116 0.06
tpdb-5.0/TRS/Zantema/z23.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z24.trs 0.0 0.0 0.007 0.001
problem e c r *
tpdb-5.0/TRS/Zantema/z25.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z26.trs 0.0 0.0 60.0 0.0
tpdb-5.0/TRS/Zantema/z27.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z28.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z29.trs 0.0 0.0 0.0 0.0
tpdb-5.0/TRS/Zantema/z30.trs 0.0 0.0 1.234 0.2
Yes No Maybe Timeout