file MINTER_TRI_D_A MINTER_TRI_D_B MINTER_TRI_D_C MINTER_TRI_D_D
tpdb-4.0/TRS/AG01/#3.1 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.10 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.12 0.19 1.30 11.39 20.55
tpdb-4.0/TRS/AG01/#3.13 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.14 0.09 0.08 0.09 0.09
tpdb-4.0/TRS/AG01/#3.15 0.22 0.20 0.24 0.23
tpdb-4.0/TRS/AG01/#3.16 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.17 0.61 16.23 60.03 60.03
tpdb-4.0/TRS/AG01/#3.17a 1.34 22.21 60.03 60.03
tpdb-4.0/TRS/AG01/#3.18 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.19 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.2 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.21 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.22 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.23 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.24 0.09 0.08 0.08 0.09
tpdb-4.0/TRS/AG01/#3.26 0.22 60.02 60.02 60.02
tpdb-4.0/TRS/AG01/#3.29 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.31 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.33 0.23 0.24 0.26 0.27
tpdb-4.0/TRS/AG01/#3.35 0.06 0.06 0.06 0.06
tpdb-4.0/TRS/AG01/#3.36 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.37 0.48 3.46 3.33 3.76
tpdb-4.0/TRS/AG01/#3.38 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.39 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/AG01/#3.4 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.40 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.41 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.42 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/AG01/#3.47 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.48 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.49 7.70 60.02 60.03 60.02
tpdb-4.0/TRS/AG01/#3.5 0.03 0.05 0.03 0.03
tpdb-4.0/TRS/AG01/#3.51 0.19 7.93 60.03 60.07
tpdb-4.0/TRS/AG01/#3.52 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.53 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.53a 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/AG01/#3.53b 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.54 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.55 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.56 0.12 0.12 0.14 0.14
tpdb-4.0/TRS/AG01/#3.57 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.5a 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.5b 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.6 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.6a 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/AG01/#3.6b 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/AG01/#3.7 0.16 0.19 0.19 0.20
tpdb-4.0/TRS/AG01/#3.8a 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#3.8b 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AG01/#4.30c 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AProVE/AAECC-ring 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/AProVE/AAECC 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AProVE/IJCAR_1 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AProVE/IJCAR_12 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/AProVE/IJCAR_18 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AProVE/IJCAR_26 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/AProVE/IJCAR_26a 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/AProVE/JFP_Ex31 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AProVE/JFP_Ex51 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/AProVE/LPAR_intlist 4.23 60.03 60.02 60.02
tpdb-4.0/TRS/AProVE/Liveness6.1 0.71 60.02 60.02 60.02
tpdb-4.0/TRS/AProVE/Liveness6.2 0.36 60.02 60.02 60.02
tpdb-4.0/TRS/AProVE/Liveness6.3 1.04 60.03 60.02 60.02
tpdb-4.0/TRS/AProVE/Liveness6.4 0.83 60.02 60.02 60.02
tpdb-4.0/TRS/AProVE/Liveness8 0.40 60.03 60.03 60.02
tpdb-4.0/TRS/AProVE/Liveness_WRS 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/AProVE/fac 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/AProVE/forward_instantiation 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AProVE/forward_instantiation2 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AProVE/improved_usable 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AProVE/improved_usable2 0.03 0.05 0.03 0.03
tpdb-4.0/TRS/AProVE/rta1 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AProVE/rta2 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/AProVE/rta3 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/1 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/10 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/11 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/12 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/13 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/14 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/15 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/16 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/17 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/18 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/19 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/2 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/20 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/21 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/22 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/23 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/24 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/3 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/4 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/5 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/6 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/7 0.05 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/8 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Beerendonk/9 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/CSR/Ex1_Luc04b_GM 0.25 54.74 60.02 60.03
tpdb-4.0/TRS/Cime/ack_prolog 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/append-hard 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/append-wrong 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/append 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/big 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/Cime/boolean_rings 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/dpqs 0.13 5.37 60.03 60.03
tpdb-4.0/TRS/Cime/fact-hard 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/filliatre 0.52 60.03 60.03 60.03
tpdb-4.0/TRS/Cime/filliatre2 0.38 60.03 60.02 60.02
tpdb-4.0/TRS/Cime/filliatre3 0.03 0.03 0.04 0.04
tpdb-4.0/TRS/Cime/intersect 0.06 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/list-sum-prod-assoc-append 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/list-sum-prod-assoc 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/list-sum-prod-bin-assoc-distr-app 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/list-sum-prod-bin-assoc 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/list-sum-prod-bin 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/list-sum-prod 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/log2 0.04 0.03 0.04 0.04
tpdb-4.0/TRS/Cime/lse 0.04 0.04 0.03 0.03
tpdb-4.0/TRS/Cime/maude2 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/mucrl1 0.12 0.11 0.11 0.11
tpdb-4.0/TRS/Cime/quick 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/ternary-hard 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/ternary 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Cime/tree 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/D33/01 0.11 0.10 0.11 0.10
tpdb-4.0/TRS/D33/02 0.09 0.09 0.10 0.09
tpdb-4.0/TRS/D33/03 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/D33/04 0.04 0.04 0.05 0.04
tpdb-4.0/TRS/D33/06 0.13 60.02 60.02 60.02
tpdb-4.0/TRS/D33/07 0.06 0.06 0.06 0.06
tpdb-4.0/TRS/D33/08 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/D33/09 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/D33/11 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/D33/12 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/D33/13 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/D33/17 0.12 0.51 1.82 2.82
tpdb-4.0/TRS/D33/18 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/D33/20 0.78 35.66 60.03 60.03
tpdb-4.0/TRS/D33/21 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/D33/27 0.05 0.04 0.04 0.04
tpdb-4.0/TRS/D33/28 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/D33/30 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/D33/31 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/D33/32 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/D33/33 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Endrullis/direct 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Endrullis/labeling 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Endrullis/linear1 12.30 60.02 60.02 60.03
tpdb-4.0/TRS/Endrullis/linear2 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Endrullis/pair2hard 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Endrullis/pair2simple1 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Endrullis/pair2simple2 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Endrullis/pair3hard 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Endrullis/pair3rotate 13.26 60.03 60.03 60.03
tpdb-4.0/TRS/Endrullis/pair3swap 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Endrullis/quadruple1 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Endrullis/quadruple2 0.44 0.51 0.60 0.53
tpdb-4.0/TRS/HM/n002 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/HM/n003 0.03 0.04 0.06 0.09
tpdb-4.0/TRS/HM/n004 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/HM/n005 0.03 0.04 0.08 0.15
tpdb-4.0/TRS/HM/n006 0.03 0.04 0.08 0.15
tpdb-4.0/TRS/HM/n007 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/HM/n008 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/HM/t000 1.52 8.56 27.60 57.73
tpdb-4.0/TRS/HM/t001 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/HM/t002 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/HM/t003 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/HM/t004 0.79 10.51 60.03 60.02
tpdb-4.0/TRS/HM/t005 0.07 0.07 0.07 0.07
tpdb-4.0/TRS/HM/t006 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/HM/t007 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/HM/t008 0.57 60.02 60.03 60.02
tpdb-4.0/TRS/HM/t009 1.83 60.04 60.04 60.03
tpdb-4.0/TRS/HM/t010 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/HM/t011 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/HM/t012 0.46 32.64 52.55 60.03
tpdb-4.0/TRS/HM/t013 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/HM/t014 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/HofWald/1 26.86 60.02 60.02 60.02
tpdb-4.0/TRS/HofWald/2 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/HofWald/3 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/HofWald/4 8.35 60.03 60.03 60.02
tpdb-4.0/TRS/HofWald/5 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/HofWald/6 0.19 24.09 60.02 60.02
tpdb-4.0/TRS/HofWald/7 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Koprowski/gcd_triple 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/LJB01/jones1 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/LJB01/jones2 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/LJB01/jones4 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/LJB01/jones5 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/LJB01/jones6 0.07 0.07 0.06 0.07
tpdb-4.0/TRS/Rubio/aoto 0.52 0.54 0.53 0.56
tpdb-4.0/TRS/Rubio/bintrees 0.09 0.09 0.09 0.09
tpdb-4.0/TRS/Rubio/bn122 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Rubio/bn129 0.19 4.64 60.02 60.02
tpdb-4.0/TRS/Rubio/division 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Rubio/elimdupl 0.03 0.05 0.03 0.03
tpdb-4.0/TRS/Rubio/enno 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Rubio/gcd 0.05 0.03 0.03 0.03
tpdb-4.0/TRS/Rubio/gm 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Rubio/gmnp 0.12 4.17 60.02 60.02
tpdb-4.0/TRS/Rubio/koen 0.05 0.06 0.05 0.05
tpdb-4.0/TRS/Rubio/lescanne 0.07 0.07 0.06 0.07
tpdb-4.0/TRS/Rubio/lindau 42.97 60.02 60.02 45.56
tpdb-4.0/TRS/Rubio/logarquot 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Rubio/ma96 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/Rubio/mfp90b 0.04 0.05 0.04 0.04
tpdb-4.0/TRS/Rubio/mfp95 0.10 0.10 0.10 0.10
tpdb-4.0/TRS/Rubio/nestrec 0.21 60.02 60.02 60.02
tpdb-4.0/TRS/Rubio/p266 0.13 0.14 0.13 0.13
tpdb-4.0/TRS/Rubio/polo2 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/Rubio/prov 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Rubio/quick 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Rubio/quotminus 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Rubio/revlist 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Rubio/selsort 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/Rubio/test4 0.30 0.55 0.50 0.51
tpdb-4.0/TRS/Rubio/test829 0.12 0.13 0.12 0.12
tpdb-4.0/TRS/Rubio/wst99 0.03 0.05 0.03 0.03
tpdb-4.0/TRS/SK90/2.01 0.13 0.14 0.14 0.12
tpdb-4.0/TRS/SK90/2.02 0.14 16.52 60.02 60.02
tpdb-4.0/TRS/SK90/2.03 0.06 0.06 0.06 0.06
tpdb-4.0/TRS/SK90/2.04 0.05 0.05 0.06 0.05
tpdb-4.0/TRS/SK90/2.05 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.06 0.12 0.13 0.11 0.12
tpdb-4.0/TRS/SK90/2.07 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.08 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.09 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/SK90/2.10 0.16 0.93 2.33 5.46
tpdb-4.0/TRS/SK90/2.11 0.06 0.06 0.06 0.06
tpdb-4.0/TRS/SK90/2.12 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.13 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.14 0.14 0.75 4.73 8.47
tpdb-4.0/TRS/SK90/2.15 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.16 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.17 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.18 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.19 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.20 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.21 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.22 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.23 0.03 0.23 0.03 0.03
tpdb-4.0/TRS/SK90/2.24 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.25 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.26 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.27 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.28 0.03 0.07 0.03 0.03
tpdb-4.0/TRS/SK90/2.29 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.30 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.31 0.07 0.07 0.07 0.07
tpdb-4.0/TRS/SK90/2.32 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.33 0.08 0.08 0.07 0.08
tpdb-4.0/TRS/SK90/2.34 0.12 0.76 2.52 5.45
tpdb-4.0/TRS/SK90/2.35 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.36 0.05 0.05 0.06 0.05
tpdb-4.0/TRS/SK90/2.37 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.38 0.06 0.06 0.06 0.06
tpdb-4.0/TRS/SK90/2.39 0.11 0.56 1.44 2.87
tpdb-4.0/TRS/SK90/2.40 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.41 0.10 0.10 0.10 0.10
tpdb-4.0/TRS/SK90/2.42 0.14 0.59 2.34 4.49
tpdb-4.0/TRS/SK90/2.43 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/SK90/2.44 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.45 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.46 0.08 0.08 0.08 0.08
tpdb-4.0/TRS/SK90/2.47 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/SK90/2.48 0.06 0.06 0.07 0.06
tpdb-4.0/TRS/SK90/2.49 0.28 0.31 0.32 0.28
tpdb-4.0/TRS/SK90/2.50 0.13 60.02 60.02 60.02
tpdb-4.0/TRS/SK90/2.51 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.52 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.53 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/SK90/2.54 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/SK90/2.55 0.04 0.04 0.05 0.04
tpdb-4.0/TRS/SK90/2.56 0.05 0.05 0.05 0.04
tpdb-4.0/TRS/SK90/2.57 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.58 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.59 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/2.60 0.61 0.65 0.62 0.60
tpdb-4.0/TRS/SK90/2.61 0.42 0.43 0.42 0.41
tpdb-4.0/TRS/SK90/4.01 0.09 0.09 0.08 0.08
tpdb-4.0/TRS/SK90/4.02 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SK90/4.03 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.04 0.08 0.08 0.08 0.08
tpdb-4.0/TRS/SK90/4.05 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.06 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.07 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/SK90/4.08 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/SK90/4.09 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.10 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.11 0.06 0.06 0.06 0.06
tpdb-4.0/TRS/SK90/4.12 0.13 0.14 0.12 0.13
tpdb-4.0/TRS/SK90/4.13 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.14 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.15 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/SK90/4.16 0.35 0.38 0.39 0.35
tpdb-4.0/TRS/SK90/4.17 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.18 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.19 0.15 0.15 0.15 0.15
tpdb-4.0/TRS/SK90/4.20 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.21 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.22 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.23 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.24 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.25 0.06 0.06 0.06 0.06
tpdb-4.0/TRS/SK90/4.26 0.09 0.44 1.25 2.27
tpdb-4.0/TRS/SK90/4.27 2.54 60.03 60.03 60.03
tpdb-4.0/TRS/SK90/4.28 0.17 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.29 0.22 0.23 0.22 0.22
tpdb-4.0/TRS/SK90/4.30 0.27 0.28 0.28 0.25
tpdb-4.0/TRS/SK90/4.31 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.32 0.16 1.25 3.08 7.03
tpdb-4.0/TRS/SK90/4.33 0.06 0.07 0.07 0.06
tpdb-4.0/TRS/SK90/4.34 0.92 60.02 60.02 60.02
tpdb-4.0/TRS/SK90/4.35 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/SK90/4.36 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/SK90/4.37 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/SK90/4.38 0.08 0.08 0.09 0.07
tpdb-4.0/TRS/SK90/4.39 0.09 0.09 0.09 0.09
tpdb-4.0/TRS/SK90/4.40 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.41 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.42 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.43 0.26 1.22 4.79 7.86
tpdb-4.0/TRS/SK90/4.44 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/SK90/4.45 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/SK90/4.46 0.04 0.04 0.04 0.24
tpdb-4.0/TRS/SK90/4.47 1.64 1.51 1.78 1.70
tpdb-4.0/TRS/SK90/4.48 0.08 0.07 0.07 0.07
tpdb-4.0/TRS/SK90/4.49 0.05 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.50 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.51 0.11 0.11 0.12 0.11
tpdb-4.0/TRS/SK90/4.52 0.13 0.14 0.14 0.14
tpdb-4.0/TRS/SK90/4.53 0.05 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.54 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.55 0.04 0.06 0.11 0.22
tpdb-4.0/TRS/SK90/4.56 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/SK90/4.57 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.59 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.60 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SK90/4.61 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade01 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade03 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade04t 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade05t 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade06 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade07 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade08 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade09 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade10 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade11 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade12t 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade13t 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade14 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade15 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade16 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/cade17 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/kabasci01 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/SchneiderKamp/trs/kabasci02 0.04 0.04 0.03 0.04
tpdb-4.0/TRS/SchneiderKamp/trs/kabasci03 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/kabasci04 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/kabasci05 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/kabasci06 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto01 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto02 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto03 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto04 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto05 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto06 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto07 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto08 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto09 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto10 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/SchneiderKamp/trs/otto11 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto12 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/otto13 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann01 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann02 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann03 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann04 0.03 0.04 0.03 0.04
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann05 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann06 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann07 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann08 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann09 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann10 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann11 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann12 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann13 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann14 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann15 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann16 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann17 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann18 0.03 0.04 0.03 0.04
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann19 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann20 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann21 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann22 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann23 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann24 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann25 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann26 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann27 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann28 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann29 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann30 0.03 0.04 0.04 0.04
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann31 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann32 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann33 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann34 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann35 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann36 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann37 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann38 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann39 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann40 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/thiemann41 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe01 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe02 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe03 0.04 0.04 0.04 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe05 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe06 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe07 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe08 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe09 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe11 0.03 0.04 0.03 0.04
tpdb-4.0/TRS/SchneiderKamp/trs/wiehe12 0.03 0.04 0.04 0.04
tpdb-4.0/TRS/Ste92/hydra 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Ste92/minsort 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Ste92/motivation 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Ste92/perfect 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Ste92/perfect2 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex14_AEGL02_C 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex14_AEGL02_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex14_AEGL02_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex14_AEGL02_L 0.03 0.04 0.09 0.12
tpdb-4.0/TRS/TRCSR/Ex14_AEGL02_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex14_AEGL02_iGM 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/TRCSR/Ex14_Luc06_C 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex14_Luc06_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex14_Luc06_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex14_Luc06_L 0.04 0.07 0.26 3.90
tpdb-4.0/TRS/TRCSR/Ex14_Luc06_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex14_Luc06_iGM 0.03 0.04 0.04 0.03
tpdb-4.0/TRS/TRCSR/Ex15_Luc06_C 3.08 60.02 60.03 60.02
tpdb-4.0/TRS/TRCSR/Ex15_Luc06_FR 0.10 0.09 0.09 0.09
tpdb-4.0/TRS/TRCSR/Ex15_Luc06_GM 0.10 0.10 0.10 0.10
tpdb-4.0/TRS/TRCSR/Ex15_Luc06_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex15_Luc06_Z 0.08 0.10 0.09 0.09
tpdb-4.0/TRS/TRCSR/Ex15_Luc06_iGM 7.17 8.15 5.66 7.38
tpdb-4.0/TRS/TRCSR/Ex15_Luc98_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex15_Luc98_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex15_Luc98_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex15_Luc98_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex15_Luc98_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex15_Luc98_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex16_Luc06_C 0.38 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex16_Luc06_FR 0.04 0.07 0.16 0.33
tpdb-4.0/TRS/TRCSR/Ex16_Luc06_GM 0.06 0.17 0.53 1.24
tpdb-4.0/TRS/TRCSR/Ex16_Luc06_L 0.03 0.04 0.05 0.09
tpdb-4.0/TRS/TRCSR/Ex16_Luc06_Z 0.04 0.07 0.14 0.33
tpdb-4.0/TRS/TRCSR/Ex16_Luc06_iGM 0.84 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex18_Luc06_C 5.36 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex18_Luc06_FR 0.09 0.08 0.08 0.08
tpdb-4.0/TRS/TRCSR/Ex18_Luc06_GM 0.12 0.11 0.12 0.12
tpdb-4.0/TRS/TRCSR/Ex18_Luc06_L 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex18_Luc06_Z 0.08 0.07 0.08 0.07
tpdb-4.0/TRS/TRCSR/Ex18_Luc06_iGM 8.32 7.17 8.73 8.53
tpdb-4.0/TRS/TRCSR/Ex1_2_AEL03_C 0.04 0.05 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex1_2_AEL03_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_AEL03_GM 0.04 0.04 0.04 0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_AEL03_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_AEL03_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_AEL03_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex1_2_Luc02c_C 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_Luc02c_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_Luc02c_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_Luc02c_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_Luc02c_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_2_Luc02c_iGM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GL02a_C 0.04 0.04 0.04 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GL02a_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GL02a_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GL02a_L 0.03 0.03 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex1_GL02a_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GL02a_iGM 0.04 0.04 0.04 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM03_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex1_GM03_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM03_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM03_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM03_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM03_iGM 0.04 0.04 0.04 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM99_C 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM99_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM99_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM99_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM99_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_GM99_iGM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc02b_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex1_Luc02b_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc02b_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc02b_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc02b_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc02b_iGM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc04b_C 6.42 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc04b_FR 0.15 1.50 6.61 24.58
tpdb-4.0/TRS/TRCSR/Ex1_Luc04b_GM 0.21 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex1_Luc04b_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc04b_Z 0.14 0.68 3.02 60.03
tpdb-4.0/TRS/TRCSR/Ex1_Luc04b_iGM 5.48 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/Ex1_Zan97_C 40.11 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex1_Zan97_FR 0.04 2.08 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex1_Zan97_GM 0.05 0.14 0.15 0.14
tpdb-4.0/TRS/TRCSR/Ex1_Zan97_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex1_Zan97_Z 0.04 1.92 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex1_Zan97_iGM 0.97 3.05 3.99 3.14
tpdb-4.0/TRS/TRCSR/Ex23_Luc06_C 4.52 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/Ex23_Luc06_FR 0.17 0.15 0.17 0.16
tpdb-4.0/TRS/TRCSR/Ex23_Luc06_GM 0.19 0.16 0.19 0.18
tpdb-4.0/TRS/TRCSR/Ex23_Luc06_L 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex23_Luc06_Z 0.14 0.13 0.14 0.14
tpdb-4.0/TRS/TRCSR/Ex23_Luc06_iGM 60.03 52.26 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex24_GM04_C 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex24_GM04_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex24_GM04_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex24_GM04_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex24_GM04_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex24_GM04_iGM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex24_Luc06_C 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex24_Luc06_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex24_Luc06_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex24_Luc06_L 0.03 0.04 0.06 0.09
tpdb-4.0/TRS/TRCSR/Ex24_Luc06_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex24_Luc06_iGM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex25_Luc06_C 12.53 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/Ex25_Luc06_FR 0.13 0.65 5.59 5.64
tpdb-4.0/TRS/TRCSR/Ex25_Luc06_GM 0.15 0.64 0.68 0.66
tpdb-4.0/TRS/TRCSR/Ex25_Luc06_L 0.04 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/Ex25_Luc06_Z 0.11 0.59 1.65 1.67
tpdb-4.0/TRS/TRCSR/Ex25_Luc06_iGM 0.81 5.17 5.23 7.16
tpdb-4.0/TRS/TRCSR/Ex26_Luc03b_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex26_Luc03b_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex26_Luc03b_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex26_Luc03b_L 0.08 0.09 0.08 0.08
tpdb-4.0/TRS/TRCSR/Ex26_Luc03b_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex26_Luc03b_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex2_Luc02a_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex2_Luc02a_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex2_Luc02a_GM 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex2_Luc02a_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex2_Luc02a_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex2_Luc02a_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex2_Luc03b_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex2_Luc03b_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex2_Luc03b_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex2_Luc03b_L 0.06 0.05 0.06 0.05
tpdb-4.0/TRS/TRCSR/Ex2_Luc03b_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex2_Luc03b_iGM 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/TRCSR/Ex3_12_Luc96a_C 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex3_12_Luc96a_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex3_12_Luc96a_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex3_12_Luc96a_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex3_12_Luc96a_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex3_12_Luc96a_iGM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex3_2_Luc97_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex3_2_Luc97_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex3_2_Luc97_GM 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex3_2_Luc97_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex3_2_Luc97_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex3_2_Luc97_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex3_3_25_Bor03_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex3_3_25_Bor03_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex3_3_25_Bor03_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex3_3_25_Bor03_L 0.09 0.08 0.09 0.08
tpdb-4.0/TRS/TRCSR/Ex3_3_25_Bor03_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex3_3_25_Bor03_iGM 0.04 0.04 0.04 0.03
tpdb-4.0/TRS/TRCSR/Ex49_GM04_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex49_GM04_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex49_GM04_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex49_GM04_L 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex49_GM04_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex49_GM04_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex4_4_Luc96b_C 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_4_Luc96b_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_4_Luc96b_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_4_Luc96b_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_4_Luc96b_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_4_Luc96b_iGM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_15_Bor03_C 1.35 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/Ex4_7_15_Bor03_FR 0.21 0.23 0.23 0.21
tpdb-4.0/TRS/TRCSR/Ex4_7_15_Bor03_GM 0.49 0.49 0.51 0.47
tpdb-4.0/TRS/TRCSR/Ex4_7_15_Bor03_L 0.09 0.09 0.09 0.09
tpdb-4.0/TRS/TRCSR/Ex4_7_15_Bor03_Z 0.18 0.18 0.18 0.17
tpdb-4.0/TRS/TRCSR/Ex4_7_15_Bor03_iGM 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex4_7_37_Bor03_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex4_7_37_Bor03_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_37_Bor03_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_37_Bor03_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_37_Bor03_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_37_Bor03_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex4_7_56_Bor03_C 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_56_Bor03_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_56_Bor03_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_56_Bor03_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_56_Bor03_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_56_Bor03_iGM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_77_Bor03_C 0.69 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex4_7_77_Bor03_FR 0.05 0.05 0.04 0.05
tpdb-4.0/TRS/TRCSR/Ex4_7_77_Bor03_GM 0.08 0.08 0.08 0.08
tpdb-4.0/TRS/TRCSR/Ex4_7_77_Bor03_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_7_77_Bor03_Z 0.05 0.04 0.05 0.04
tpdb-4.0/TRS/TRCSR/Ex4_7_77_Bor03_iGM 0.49 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex4_DLMMU04_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex4_DLMMU04_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_DLMMU04_GM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex4_DLMMU04_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_DLMMU04_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_DLMMU04_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex4_Zan97_C 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_Zan97_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_Zan97_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_Zan97_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_Zan97_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex4_Zan97_iGM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex5_7_Luc97_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex5_7_Luc97_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex5_7_Luc97_GM 0.03 0.03 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex5_7_Luc97_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex5_7_Luc97_Z 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex5_7_Luc97_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex5_DLMMU04_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex5_DLMMU04_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex5_DLMMU04_GM 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex5_DLMMU04_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex5_DLMMU04_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex5_DLMMU04_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex5_Zan97_C 0.66 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex5_Zan97_FR 0.08 0.38 1.78 27.78
tpdb-4.0/TRS/TRCSR/Ex5_Zan97_GM 0.12 35.03 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex5_Zan97_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex5_Zan97_Z 0.07 0.27 0.26 0.27
tpdb-4.0/TRS/TRCSR/Ex5_Zan97_iGM 1.63 60.03 60.02 60.03
tpdb-4.0/TRS/TRCSR/Ex6_15_AEL02_C 0.05 0.04 0.04 0.05
tpdb-4.0/TRS/TRCSR/Ex6_15_AEL02_FR 0.03 0.03 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex6_15_AEL02_GM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex6_15_AEL02_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex6_15_AEL02_Z 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/TRCSR/Ex6_15_AEL02_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex6_9_Luc02c_C 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex6_9_Luc02c_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex6_9_Luc02c_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex6_9_Luc02c_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex6_9_Luc02c_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex6_9_Luc02c_iGM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex6_GM04_C 45.16 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex6_GM04_FR 0.06 0.26 44.26 60.02
tpdb-4.0/TRS/TRCSR/Ex6_GM04_GM 0.06 0.20 0.20 0.19
tpdb-4.0/TRS/TRCSR/Ex6_GM04_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex6_GM04_Z 0.06 0.26 44.49 60.02
tpdb-4.0/TRS/TRCSR/Ex6_GM04_iGM 0.56 1.09 1.18 1.17
tpdb-4.0/TRS/TRCSR/Ex6_Luc98_C 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex6_Luc98_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex6_Luc98_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex6_Luc98_L 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex6_Luc98_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex6_Luc98_iGM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex7_BLR02_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex7_BLR02_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex7_BLR02_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex7_BLR02_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex7_BLR02_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex7_BLR02_iGM 0.04 0.04 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex8_BLR02_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex8_BLR02_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex8_BLR02_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex8_BLR02_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex8_BLR02_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex8_BLR02_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex9_BLR02_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/Ex9_BLR02_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex9_BLR02_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex9_BLR02_L 0.58 1.50 1.32 1.33
tpdb-4.0/TRS/TRCSR/Ex9_BLR02_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex9_BLR02_iGM 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex9_Luc04_C 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex9_Luc04_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex9_Luc04_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex9_Luc04_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex9_Luc04_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex9_Luc04_iGM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/Ex9_Luc06_C 0.97 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex9_Luc06_FR 0.05 47.61 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex9_Luc06_GM 0.06 0.07 0.06 0.07
tpdb-4.0/TRS/TRCSR/Ex9_Luc06_L 0.03 0.04 0.06 0.09
tpdb-4.0/TRS/TRCSR/Ex9_Luc06_Z 0.05 48.47 60.02 60.02
tpdb-4.0/TRS/TRCSR/Ex9_Luc06_iGM 2.92 60.03 60.02 60.03
tpdb-4.0/TRS/TRCSR/ExAppendixB_AEL03_C 0.04 0.04 0.05 0.04
tpdb-4.0/TRS/TRCSR/ExAppendixB_AEL03_FR 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExAppendixB_AEL03_GM 0.03 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/ExAppendixB_AEL03_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExAppendixB_AEL03_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExAppendixB_AEL03_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/ExConc_Zan97_C 3.99 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/ExConc_Zan97_FR 0.07 0.07 0.08 0.07
tpdb-4.0/TRS/TRCSR/ExConc_Zan97_GM 0.08 0.08 0.08 0.08
tpdb-4.0/TRS/TRCSR/ExConc_Zan97_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExConc_Zan97_Z 0.06 0.19 0.53 1.15
tpdb-4.0/TRS/TRCSR/ExConc_Zan97_iGM 1.10 2.05 1.95 2.31
tpdb-4.0/TRS/TRCSR/ExIntrod_GM01_C 2.46 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM01_FR 0.22 5.00 23.89 60.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM01_GM 0.25 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/ExIntrod_GM01_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM01_Z 0.20 2.64 60.03 60.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM01_iGM 3.07 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM04_C 6.87 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM04_FR 0.28 4.58 18.00 60.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM04_GM 0.20 11.44 60.03 60.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM04_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM04_Z 0.40 60.02 60.03 60.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM04_iGM 4.32 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM99_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/ExIntrod_GM99_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM99_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM99_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM99_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_GM99_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/ExIntrod_Zan97_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/ExIntrod_Zan97_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_Zan97_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_Zan97_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_Zan97_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExIntrod_Zan97_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/ExProp7_Luc06_C 1.44 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/ExProp7_Luc06_FR 2.37 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/ExProp7_Luc06_GM 10.92 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/ExProp7_Luc06_L 2.34 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/ExProp7_Luc06_Z 3.33 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/ExProp7_Luc06_iGM 45.04 60.02 60.03 60.03
tpdb-4.0/TRS/TRCSR/ExSec11_1_Luc02a_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/ExSec11_1_Luc02a_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExSec11_1_Luc02a_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExSec11_1_Luc02a_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExSec11_1_Luc02a_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExSec11_1_Luc02a_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/ExSec4_2_DLMMU04_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/ExSec4_2_DLMMU04_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExSec4_2_DLMMU04_GM 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/TRCSR/ExSec4_2_DLMMU04_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExSec4_2_DLMMU04_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/ExSec4_2_DLMMU04_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete-noand_FR 0.06 0.06 0.06 0.06
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete-noand_L 0.05 0.04 0.05 0.05
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete-noand_Z 0.07 0.07 0.06 0.07
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_C 0.11 0.10 0.11 0.10
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_FR 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_GM 0.06 0.06 0.07 0.07
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_L 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_Z 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_iGM 0.10 0.10 0.10 0.10
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_noand_C 0.19 0.18 0.19 0.19
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_noand_GM 0.10 0.10 0.10 0.11
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_complete_noand_iGM 0.21 0.20 0.21 0.21
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds-noand_FR 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds-noand_L 0.04 0.03 0.04 0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds-noand_Z 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_C 0.06 0.06 0.06 0.06
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_FR 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_GM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_Z 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_iGM 0.06 0.06 0.06 0.06
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_noand_C 0.08 0.08 0.09 0.09
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_noand_GM 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nokinds_noand_iGM 0.09 0.08 0.09 0.09
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR 0.03 0.03 0.04 0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts-noand_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts-noand_Z 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_GM 0.04 0.03 0.04 0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_noand_C 0.06 0.07 0.07 0.07
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_noand_GM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LISTUTILITIES_nosorts_noand_iGM 0.06 0.07 0.06 0.06
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete-noand_FR 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete-noand_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete-noand_Z 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_C 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_FR 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_GM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_Z 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_iGM 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_noand_C 0.07 0.07 0.07 0.07
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_noand_GM 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_complete_noand_iGM 0.07 0.07 0.07 0.07
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_Z 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_GM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR 0.10 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_Z 0.10 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_C 1.12 60.02 60.03 60.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_FR 0.11 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_GM 0.34 60.02 60.02 60.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_Z 0.11 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_iGM 16.00 60.03 60.02 60.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_C 1.70 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_GM 0.30 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_iGM 5.75 60.02 60.03 60.03
tpdb-4.0/TRS/TRCSR/MYNAT_complete-noand_FR 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/MYNAT_complete-noand_L 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/TRCSR/MYNAT_complete-noand_Z 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/MYNAT_complete_C 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/MYNAT_complete_FR 0.04 0.03 0.04 0.04
tpdb-4.0/TRS/TRCSR/MYNAT_complete_GM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/MYNAT_complete_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_complete_Z 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_complete_iGM 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/MYNAT_complete_noand_C 0.07 0.08 0.07 0.07
tpdb-4.0/TRS/TRCSR/MYNAT_complete_noand_GM 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/MYNAT_complete_noand_iGM 0.07 0.07 0.07 0.07
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds-noand_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds-noand_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds-noand_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_noand_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_noand_GM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nokinds_noand_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts-noand_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts-noand_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts-noand_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_C 0.03 0.04 0.03 0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_GM 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_iGM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_noand_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_noand_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/MYNAT_nosorts_noand_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_complete-noand_FR 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_complete-noand_L 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_complete-noand_Z 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_C 0.06 0.06 0.06 0.06
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_FR 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_GM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_Z 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_iGM 0.06 0.06 0.06 0.06
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_noand_C 0.09 0.09 0.09 0.09
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_noand_GM 0.05 0.05 0.06 0.06
tpdb-4.0/TRS/TRCSR/OvConsOS_complete_noand_iGM 0.11 0.10 0.11 0.10
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds-noand_FR 0.04 0.03 0.04 0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds-noand_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds-noand_Z 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_FR 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_GM 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_noand_C 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_noand_GM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/OvConsOS_nokinds_noand_iGM 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts-noand_FR 0.32 60.02 60.03 60.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts-noand_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts-noand_Z 0.31 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_C 1.58 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_FR 0.15 50.63 60.02 60.02
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_GM 0.44 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_Z 0.23 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_iGM 3.34 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_noand_C 5.55 60.04 60.04 60.04
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_noand_GM 0.93 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/OvConsOS_nosorts_noand_iGM 6.27 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/PALINDROME_complete-noand_FR 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_complete-noand_L 0.34 2.49 60.03 60.03
tpdb-4.0/TRS/TRCSR/PALINDROME_complete-noand_Z 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_C 0.05 0.05 0.05 0.06
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_FR 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_GM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_Z 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_iGM 0.06 0.05 0.06 0.06
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_noand_C 0.07 0.07 0.07 0.08
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_noand_GM 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/PALINDROME_complete_noand_iGM 0.08 0.08 0.08 0.08
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds-noand_FR 0.69 3.58 13.43 39.00
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds-noand_L 0.12 0.56 1.57 3.82
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds-noand_Z 0.69 10.50 60.04 60.04
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_C 3.49 60.03 60.03 60.04
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_FR 0.49 3.81 11.64 30.81
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_GM 0.40 47.52 60.02 60.02
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_Z 0.45 5.64 18.14 21.39
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_iGM 1.94 60.03 60.04 60.03
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_noand_C 15.33 60.05 60.05 60.05
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_noand_GM 0.82 60.03 60.02 60.03
tpdb-4.0/TRS/TRCSR/PALINDROME_nokinds_noand_iGM 6.25 60.04 60.05 60.05
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts-noand_FR 0.10 0.10 0.10 0.10
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts-noand_L 0.10 0.10 0.12 0.09
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts-noand_Z 0.10 0.10 0.10 0.09
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_C 1.17 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_FR 0.09 0.08 0.09 0.08
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_GM 0.23 18.62 60.02 60.02
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_Z 0.09 0.09 0.13 0.08
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_iGM 1.81 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_noand_C 1.63 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_noand_GM 0.24 60.02 60.02 60.02
tpdb-4.0/TRS/TRCSR/PALINDROME_nosorts_noand_iGM 2.24 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/PEANO_complete-noand_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PEANO_complete-noand_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PEANO_complete-noand_Z 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/TRCSR/PEANO_complete_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/PEANO_complete_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PEANO_complete_GM 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/TRCSR/PEANO_complete_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PEANO_complete_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PEANO_complete_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/PEANO_complete_noand_C 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/PEANO_complete_noand_GM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/PEANO_complete_noand_iGM 0.05 0.05 0.06 0.05
tpdb-4.0/TRS/TRCSR/PEANO_nokinds-noand_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds-noand_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds-noand_Z 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_C 0.04 0.04 0.05 0.04
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_FR 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_GM 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_Z 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_iGM 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_noand_C 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_noand_GM 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/TRCSR/PEANO_nokinds_noand_iGM 0.04 0.04 0.05 0.04
tpdb-4.0/TRS/TRCSR/PEANO_nosorts-noand_FR 0.14 0.86 0.89 0.86
tpdb-4.0/TRS/TRCSR/PEANO_nosorts-noand_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PEANO_nosorts-noand_Z 0.14 0.74 0.95 0.88
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_C 1.42 60.02 60.02 60.03
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_FR 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_GM 0.16 18.06 60.02 60.02
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_L 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_Z 0.05 0.05 0.05 0.05
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_iGM 1.45 60.03 60.02 60.03
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_noand_C 1.42 60.03 60.03 60.03
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_noand_GM 0.25 47.07 60.02 60.02
tpdb-4.0/TRS/TRCSR/PEANO_nosorts_noand_iGM 1.85 60.03 60.05 60.03
tpdb-4.0/TRS/Thiemann/div_notCeTermin 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Thiemann/div_notTermin 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Thiemann/factorial1 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Thiemann/factorial2 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Thiemann/identity 0.34 60.03 60.03 60.03
tpdb-4.0/TRS/Thiemann/logarithm 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Thiemann/mapHard 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Thiemann/modulo 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Thiemann/nonterm 60.03 60.03 60.03 60.03
tpdb-4.0/TRS/Thiemann/quicksort 0.04 0.04 0.03 0.04
tpdb-4.0/TRS/Thiemann/quot 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/Thiemann/sizeChange 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Thiemann/tower 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Thiemann/tower_sizeChange 0.61 60.02 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwaprove1 8.12 60.02 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwaprove2 7.51 60.02 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwcime1 27.07 60.02 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwcime2 24.23 60.02 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwmatchb1 1.22 60.02 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwmatchb2 1.48 60.02 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwno1 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwno2 0.82 60.02 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwno3 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwno4 1.30 60.02 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwno5 0.21 26.64 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwno6 1.39 60.03 60.03 60.02
tpdb-4.0/TRS/Waldmann/jwno7 31.86 60.02 60.03 60.03
tpdb-4.0/TRS/Waldmann/jwno8 1.70 60.02 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwno9 12.42 60.03 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwteparla1 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Waldmann/jwteparla2 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Waldmann/jwtpa1 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Waldmann/jwtpa2 8.10 60.02 60.03 60.03
tpdb-4.0/TRS/Waldmann/jwttt 45.85 60.02 60.03 60.02
tpdb-4.0/TRS/Zantema/jw01 0.45 23.29 60.02 60.02
tpdb-4.0/TRS/Zantema/jw02 2.32 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw03 21.30 60.02 60.03 60.02
tpdb-4.0/TRS/Zantema/jw04 19.42 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw05 2.16 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw06 0.38 18.95 60.02 60.02
tpdb-4.0/TRS/Zantema/jw07 45.69 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw08 12.77 60.03 60.03 60.02
tpdb-4.0/TRS/Zantema/jw09 23.58 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw11 21.21 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw12 6.56 60.02 60.03 60.02
tpdb-4.0/TRS/Zantema/jw13 51.98 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw14 8.74 60.02 60.03 60.02
tpdb-4.0/TRS/Zantema/jw15 36.57 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw16 12.23 60.02 60.02 60.03
tpdb-4.0/TRS/Zantema/jw17 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw18 3.27 32.29 60.02 60.03
tpdb-4.0/TRS/Zantema/jw19 5.05 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw20 60.03 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw21 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw22 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw23 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw24 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw25 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw26 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw27 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw28 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw29 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw30 1.28 60.03 60.03 60.03
tpdb-4.0/TRS/Zantema/jw31 2.53 47.85 60.02 60.02
tpdb-4.0/TRS/Zantema/jw32 47.75 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw33 10.48 60.02 60.03 60.03
tpdb-4.0/TRS/Zantema/jw34 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw35 26.75 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw36 12.84 60.02 60.02 60.03
tpdb-4.0/TRS/Zantema/jw37 8.42 60.03 60.02 60.03
tpdb-4.0/TRS/Zantema/jw38 7.12 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw39 27.76 60.02 60.03 60.02
tpdb-4.0/TRS/Zantema/jw40 5.21 60.03 60.03 60.03
tpdb-4.0/TRS/Zantema/jw41 8.94 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw42 32.27 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/jw43 0.20 0.19 0.19 0.20
tpdb-4.0/TRS/Zantema/jw44 0.13 0.15 0.13 0.13
tpdb-4.0/TRS/Zantema/jw47 0.15 0.16 0.15 0.15
tpdb-4.0/TRS/Zantema/jw50 0.17 0.19 0.17 0.18
tpdb-4.0/TRS/Zantema/z01 60.02 60.02 60.02 60.03
tpdb-4.0/TRS/Zantema/z02 0.76 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/z03 31.10 60.02 60.03 60.03
tpdb-4.0/TRS/Zantema/z04 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Zantema/z05 8.59 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/z06 7.49 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/z07 0.19 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/z08 22.89 60.02 60.03 60.02
tpdb-4.0/TRS/Zantema/z09 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Zantema/z10 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Zantema/z11 1.35 23.47 60.03 60.04
tpdb-4.0/TRS/Zantema/z12 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/z13 0.31 60.03 60.02 60.02
tpdb-4.0/TRS/Zantema/z14 0.77 60.03 60.02 60.02
tpdb-4.0/TRS/Zantema/z15 0.26 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/z16 2.07 60.03 60.03 60.02
tpdb-4.0/TRS/Zantema/z17 0.92 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/z18 1.23 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/z19 0.15 16.11 60.02 60.02
tpdb-4.0/TRS/Zantema/z20 0.72 45.05 60.02 60.03
tpdb-4.0/TRS/Zantema/z21 0.14 31.57 60.02 60.02
tpdb-4.0/TRS/Zantema/z22 0.43 36.94 60.03 60.03
tpdb-4.0/TRS/Zantema/z23 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/z24 0.64 60.03 60.02 60.02
tpdb-4.0/TRS/Zantema/z25 11.63 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/z26 60.03 60.02 60.02 60.02
tpdb-4.0/TRS/Zantema/z27 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Zantema/z28 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Zantema/z29 0.10 0.50 1.52 3.19
tpdb-4.0/TRS/Zantema/z30 60.03 60.03 60.03 60.03
tpdb-4.0/TRS/Zantema06/beans 22.31 60.03 60.03 60.03
tpdb-4.0/TRS/Zantema06/gcd 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Zantema06/gcdMinMax 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Zantema06/hydra 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Zantema06/test1 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Zantema06/while 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/Zantema06/while2 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/currying/AG01/#3.10 0.05 0.04 0.05 0.04
tpdb-4.0/TRS/currying/AG01/#3.13 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/currying/AG01/#3.16 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/currying/AG01/#3.18 0.05 0.03 0.04 0.03
tpdb-4.0/TRS/currying/AG01/#3.2 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/currying/AG01/#3.22 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/currying/AG01/#3.25 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/currying/AG01/#3.27 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/currying/AG01/#3.32 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/currying/AG01/#3.36 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/currying/AG01/#3.38 0.04 0.03 0.04 0.04
tpdb-4.0/TRS/currying/AG01/#3.40 0.04 0.04 0.05 0.04
tpdb-4.0/TRS/currying/AG01/#3.45 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/currying/AG01/#3.48 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/currying/AG01/#3.52 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/currying/AG01/#3.55 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/currying/AG01/#3.57 0.04 0.04 0.05 0.04
tpdb-4.0/TRS/currying/AG01/#3.6 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/currying/AG01/#3.8 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/currying/D33/01 0.04 0.04 0.04 0.03
tpdb-4.0/TRS/currying/D33/02 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/currying/D33/06 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/currying/D33/08 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/currying/D33/11 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/currying/D33/12 0.04 0.03 0.04 0.04
tpdb-4.0/TRS/currying/D33/13 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/currying/D33/17 0.04 0.04 0.04 0.03
tpdb-4.0/TRS/currying/D33/18 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/currying/D33/21 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/currying/D33/29 0.05 0.03 0.05 0.03
tpdb-4.0/TRS/currying/D33/30 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/currying/D33/31 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/currying/D33/33 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/currying/Ste92/hydra 0.04 0.03 0.04 0.03
tpdb-4.0/TRS/currying/Ste92/minsort 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/currying/Ste92/motivation 0.03 0.03 0.05 0.03
tpdb-4.0/TRS/currying/Ste92/perfect 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/currying/Ste92/perfect2 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/higher-order/AProVE_HO/ReverseLastInit 0.65 2.66 6.93 15.28
tpdb-4.0/TRS/higher-order/AProVE_HO/TakeDropWhile 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AProVE_HO/TypeEx1 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AProVE_HO/TypeEx3 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AProVE_HO/TypeEx5 0.05 0.21 0.54 0.94
tpdb-4.0/TRS/higher-order/AProVE_HO/mapDivMinus 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AProVE_HO/mapDivMinusHard 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AProVE_HO/nonTermF 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AProVE_HO/termMonTypes 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AotoYam/001 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AotoYam/002 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AotoYam/003 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/higher-order/AotoYam/004 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AotoYam/005 0.21 0.22 0.26 0.23
tpdb-4.0/TRS/higher-order/AotoYam/006 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AotoYam/007 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AotoYam/009 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/higher-order/AotoYam/010 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AotoYam/011 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/higher-order/AotoYam/012 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/higher-order/AotoYam/013 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/higher-order/AotoYam/014 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/higher-order/AotoYam/015 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AotoYam/016 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/higher-order/AotoYam/017 0.06 0.06 0.07 0.06
tpdb-4.0/TRS/higher-order/AotoYam/019 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AotoYam/020 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/higher-order/AotoYam/021 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/higher-order/AotoYam/022 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/higher-order/AotoYam/023 0.14 0.15 0.16 0.16
tpdb-4.0/TRS/higher-order/AotoYam/024 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AotoYam/025 0.04 0.04 0.05 0.05
tpdb-4.0/TRS/higher-order/AotoYam/026 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/higher-order/AotoYam/027 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AotoYam/028 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AotoYam/Ex1SimplyTyped 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/AotoYam/Ex5TermProof 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/Bird/BTreeMember 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/higher-order/Bird/Ex2_6_1Composition 0.08 0.08 0.08 0.07
tpdb-4.0/TRS/higher-order/Bird/Ex2_8_1ConstSubstFix 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/Bird/Hamming 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/higher-order/Bird/TreeFlatten 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/higher-order/Bird/TreeHeight 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/higher-order/Bird/TreeLevels 0.03 0.04 0.04 0.04
tpdb-4.0/TRS/higher-order/Bird/TreeMap 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/Bird/TreeSize 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/higher-order/Kusakari/Ex6_11 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/Kusakari/Ex7_9 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/higher-order/Lifantsev/Ex10Functional 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/higher-order/Lifantsev/Ex2PrimRec 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/Lifantsev/Ex3Lists 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/higher-order/Lifantsev/Ex4MapList 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/Lifantsev/Ex5Sorting 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/higher-order/Lifantsev/Ex6Folding 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/Lifantsev/Ex7OrdinalRec 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/higher-order/Lifantsev/Ex8Polymorphic 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/higher-order/Lifantsev/Ex9Maps 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/higher-order/ToyamaRTA04/Ex5Folding 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/ToyamaRTA04/Ex6Recursor 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/higher-order/ToyamaRTA04/Ex7Sorting 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/nontermin/AG01/#4.12a 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.13 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.14 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.15 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.16 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.17 26.64 60.02 60.02 60.02
tpdb-4.0/TRS/nontermin/AG01/#4.18 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/nontermin/AG01/#4.19 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.2 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.20 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/nontermin/AG01/#4.20a 0.09 0.09 0.09 0.09
tpdb-4.0/TRS/nontermin/AG01/#4.21 0.06 0.06 0.06 0.06
tpdb-4.0/TRS/nontermin/AG01/#4.22 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.23 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.25 0.04 0.05 0.08 0.16
tpdb-4.0/TRS/nontermin/AG01/#4.26 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.27 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.28 0.64 60.02 60.02 60.02
tpdb-4.0/TRS/nontermin/AG01/#4.29 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.3 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.30 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.30a 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.30b 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.30c 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.31 0.17 1.08 4.32 13.49
tpdb-4.0/TRS/nontermin/AG01/#4.32 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.33 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.34 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.35 0.04 0.03 0.04 0.04
tpdb-4.0/TRS/nontermin/AG01/#4.36 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.37 0.10 0.10 0.10 0.10
tpdb-4.0/TRS/nontermin/AG01/#4.37a 0.13 0.13 0.13 0.13
tpdb-4.0/TRS/nontermin/AG01/#4.4 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/AG01/#4.7 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex14_AEGL02 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex15_Luc98 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex1_2_AEL03 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex1_2_Luc02c 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex1_GL02a 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex1_GM03 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex1_GM99 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex1_Luc02b 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex1_Zan97 0.04 0.33 60.02 60.02
tpdb-4.0/TRS/nontermin/CSR/Ex24_GM04 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex26_Luc03b 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex2_Luc03b 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex3_12_Luc96a 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex3_2_Luc97 0.03 0.05 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex3_3_25_Bor03 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex49_GM04 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex4_4_Luc96b 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex4_7_15_Bor03 5.98 60.03 60.02 60.02
tpdb-4.0/TRS/nontermin/CSR/Ex4_7_37_Bor03 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex4_7_56_Bor03 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex4_7_77_Bor03 0.04 0.10 0.23 0.49
tpdb-4.0/TRS/nontermin/CSR/Ex4_Zan97 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex5_7_Luc97 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex5_Zan97 0.06 0.21 0.46 0.93
tpdb-4.0/TRS/nontermin/CSR/Ex6_15_AEL02 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/nontermin/CSR/Ex6_9_Luc02c 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex6_GM04 0.05 0.18 0.35 0.78
tpdb-4.0/TRS/nontermin/CSR/Ex6_Luc98 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex7_BLR02 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex8_BLR02 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/Ex9_BLR02 0.04 0.04 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/ExAppendixB_AEL03 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/ExConc_Zan97 0.05 0.14 0.41 0.87
tpdb-4.0/TRS/nontermin/CSR/ExIntrod_GM01 0.11 0.98 2.17 3.28
tpdb-4.0/TRS/nontermin/CSR/ExIntrod_GM04 0.11 0.48 2.11 7.15
tpdb-4.0/TRS/nontermin/CSR/ExIntrod_GM99 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/CSR/ExIntrod_Zan97 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/HM/n001 8.55 60.02 60.02 60.02
tpdb-4.0/TRS/nontermin/Rubio-inn/bn111 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/nontermin/Rubio-inn/gkg 0.04 0.06 0.11 0.21
tpdb-4.0/TRS/nontermin/Rubio-inn/muladd 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/Rubio-inn/test10 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/Rubio-inn/test75 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/Rubio-inn/test76 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/Rubio-inn/test77 0.04 0.04 0.03 0.03
tpdb-4.0/TRS/nontermin/Rubio-inn/test830 0.11 0.11 0.10 0.10
tpdb-4.0/TRS/nontermin/Rubio-inn/test9 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/Rubio-inn/toyama 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/TRCSR/ExSec11_1_Luc02a 0.05 0.04 0.03 0.03
tpdb-4.0/TRS/nontermin/cariboo/ex1 0.05 0.14 0.34 0.72
tpdb-4.0/TRS/nontermin/cariboo/ex2 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/nontermin/cariboo/ex3 0.08 0.37 0.84 1.57
tpdb-4.0/TRS/nontermin/cariboo/ex4 0.04 0.37 60.02 60.02
tpdb-4.0/TRS/nontermin/cariboo/ex5 0.04 0.06 0.14 0.25
tpdb-4.0/TRS/nontermin/cariboo/ex6 0.11 0.51 2.27 3.65
tpdb-4.0/TRS/nontermin/cariboo/tricky1 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/aprove1 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/aprove2 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/aprove3 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/aprove4 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/aprove5 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/cime1 0.03 0.04 0.03 0.04
tpdb-4.0/TRS/secret05/cime2 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/cime3 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/cime4 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/cime5 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/secret05/matchbox1 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/matchbox2 0.13 22.92 60.02 60.02
tpdb-4.0/TRS/secret05/teparla1 15.84 60.03 60.02 60.02
tpdb-4.0/TRS/secret05/teparla2 1.71 60.03 60.03 60.02
tpdb-4.0/TRS/secret05/teparla3 2.24 60.02 60.03 60.02
tpdb-4.0/TRS/secret05/tpa1 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/tpa2 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/tpa3 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/tpa4 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/tpa5 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/ttt1 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret05/ttt2 0.09 4.61 60.02 60.02
tpdb-4.0/TRS/secret06/aprove/addList 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/secret06/aprove/divExp 0.04 0.03 0.03 0.03
tpdb-4.0/TRS/secret06/aprove/division 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret06/aprove/double 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret06/aprove/logarithm 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/secret06/aprove/nrOfNodes 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret06/aprove/reverse 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret06/aprove/sumList 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/secret06/aprove/times 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/secret06/aprove/toList 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret06/cime1 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/secret06/jambox/10 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/secret06/jambox/2 22.79 60.03 60.02 60.02
tpdb-4.0/TRS/secret06/jambox/3 6.82 60.02 60.02 60.02
tpdb-4.0/TRS/secret06/jambox/4 2.29 60.03 60.03 60.03
tpdb-4.0/TRS/secret06/jambox/5 0.38 60.03 60.03 60.03
tpdb-4.0/TRS/secret06/jambox/6 0.70 16.89 15.85 14.60
tpdb-4.0/TRS/secret06/jambox/7 60.02 60.02 60.03 60.02
tpdb-4.0/TRS/secret06/jambox/8 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/secret06/jambox/9 0.33 8.82 5.03 5.40
tpdb-4.0/TRS/secret06/matchbox/gen-1 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/secret06/matchbox/gen-10 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret06/matchbox/gen-14 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret06/matchbox/gen-15 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret06/matchbox/gen-17 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/secret06/matchbox/gen-18 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/secret06/matchbox/gen-22 0.06 0.04 0.03 0.03
tpdb-4.0/TRS/secret06/matchbox/gen-25 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret06/matchbox/gen-28 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/secret06/matchbox/gen-9 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/secret06/tpa01 0.09 0.48 1.47 2.54
tpdb-4.0/TRS/secret06/tpa02 0.08 0.37 1.30 2.44
tpdb-4.0/TRS/secret06/tpa03 0.06 0.20 0.48 1.05
tpdb-4.0/TRS/secret06/tpa04 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret06/tpa05 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/secret06/tpa06 0.03 0.04 0.03 0.03
tpdb-4.0/TRS/secret06/tpa07 0.03 0.03 0.03 0.04
tpdb-4.0/TRS/secret06/tpa08 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret06/tpa09 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret06/tpa10 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/secret07/TTT2/1 16.57 60.03 60.03 60.02
tpdb-4.0/TRS/secret07/TTT2/2 0.92 2.92 60.03 60.03
tpdb-4.0/TRS/secret07/TTT2/3 9.08 60.03 60.03 60.03
tpdb-4.0/TRS/secret07/TTT2/4 7.56 9.52 60.03 60.03
tpdb-4.0/TRS/secret07/TTT2/5 0.94 4.57 12.36 30.58
tpdb-4.0/TRS/secret07/TTT2/6 39.26 60.02 60.02 60.02
tpdb-4.0/TRS/secret07/TTT2/7 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/secret07/aprove/aprove01 0.03 0.04 0.04 0.04
tpdb-4.0/TRS/secret07/aprove/aprove02 0.03 0.04 0.05 0.03
tpdb-4.0/TRS/secret07/aprove/aprove03 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/secret07/aprove/aprove04 0.03 0.04 0.04 0.03
tpdb-4.0/TRS/secret07/aprove/aprove05 0.03 0.04 0.04 0.04
tpdb-4.0/TRS/secret07/aprove/aprove06 0.03 0.04 0.04 0.03
tpdb-4.0/TRS/secret07/aprove/aprove07 0.03 0.05 0.04 0.03
tpdb-4.0/TRS/secret07/aprove/aprove08 0.03 0.04 0.04 0.03
tpdb-4.0/TRS/secret07/aprove/aprove09 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/secret07/aprove/aprove10 0.03 0.03 0.05 0.03
tpdb-4.0/TRS/secret07/cime/1 0.03 0.05 0.04 0.03
tpdb-4.0/TRS/secret07/cime/2 0.03 0.04 0.04 0.03
tpdb-4.0/TRS/secret07/cime/3 0.03 0.03 0.05 0.03
tpdb-4.0/TRS/secret07/cime/4 0.03 0.04 0.04 0.03
tpdb-4.0/TRS/secret07/cime/5 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/secret07/others/dj 0.24 54.01 60.03 60.02
tpdb-4.0/TRS/various/02 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/various/03 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/various/04 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/various/05 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/various/06 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/various/07 0.03 0.04 0.04 0.04
tpdb-4.0/TRS/various/08 0.03 0.03 0.04 0.03
tpdb-4.0/TRS/various/09 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/various/10 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/various/11 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/various/12 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/various/13 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/various/14 0.04 0.04 0.04 0.04
tpdb-4.0/TRS/various/15 0.64 23.88 60.03 60.03
tpdb-4.0/TRS/various/18 0.18 31.31 60.02 60.02
tpdb-4.0/TRS/various/19 0.23 1.11 2.49 7.88
tpdb-4.0/TRS/various/20 60.02 60.02 60.02 60.02
tpdb-4.0/TRS/various/21 3.00 60.02 60.02 60.03
tpdb-4.0/TRS/various/22 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/various/23 0.11 0.11 0.12 0.11
tpdb-4.0/TRS/various/24 1.63 60.03 60.03 60.03
tpdb-4.0/TRS/various/25 0.05 0.13 0.13 0.12
tpdb-4.0/TRS/various/26 0.03 0.03 0.03 0.03
tpdb-4.0/TRS/various/27 0.04 0.04 0.04 0.04