Configuration	Yes	TO	Time
AProVE-SAT (MiniSAT)	434	0	118.6
AProVE-SAT (SAT4J)	434	0	158.6
AProVE-PB (Pueblo)	434	0	689.6
AProVE-PB (MiniSAT+)	434	1	817.5
AProVE 1.2	415	53	38286.4
APROVE-CLP	420	51	41493.8
APROVE-CiME	407	46	33873.6
TTT	340	91	61209.2

Example AProVE-SAT (MiniSAT) AProVE-SAT (SAT4J) AProVE-PB (Pueblo) AProVE-PB (MiniSAT+) AProVE 1.2 APROVE-CLP APROVE-CiME TTT

TPDB06/TRS/AG01/#3.1.trs YES 0.04 YES 0.01 YES 0.04 YES 0.04 YES 0.01 YES 0.13 YES 0.05 YES 0.01

TPDB06/TRS/AG01/#3.10.trs YES 0.36 YES 0.46 YES 0.37 YES 0.36 KILLED 600.00 KILLED 600.00 KILLED 600.00 YES 0.06

TPDB06/TRS/AG01/#3.12.trs YES 0.07 YES 0.02 YES 0.07 YES 0.06 YES 0.01 YES 0.21 YES 0.25 YES 0.01

TPDB06/TRS/AG01/#3.13.trs YES 0.23 YES 0.14 YES 0.12 YES 0.17 KILLED 600.00 YES 3.22 KILLED 600.00 YES 0.12

TPDB06/TRS/AG01/#3.14.trs YES 0.05 YES 0.01 YES 0.04 YES 0.04 YES 0.01 YES 0.13 YES 0.19 YES 0.01

TPDB06/TRS/AG01/#3.15.trs YES 0.02 YES 0.02 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.06 YES 0.01

TPDB06/TRS/AG01/#3.16.trs YES 0.04 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.21 YES 0.07 YES 0.01

TPDB06/TRS/AG01/#3.17.trs YES 0.13 YES 0.06 YES 0.13 YES 0.10 YES 18.46 YES 0.28 YES 22.47 YES 0.02

TPDB06/TRS/AG01/#3.17a.trs YES 0.13 YES 0.07 YES 0.13 YES 0.12 YES 18.41 YES 0.28 YES 22.96 YES 0.03

TPDB06/TRS/AG01/#3.18.trs YES 0.07 YES 0.04 YES 0.07 YES 0.06 YES 0.01 YES 0.20 YES 0.09 YES 0.03

TPDB06/TRS/AG01/#3.19.trs MAYBE 0.09 MAYBE 0.19 MAYBE 0.09 MAYBE 0.08 MAYBE 0.14 MAYBE 0.31 MAYBE 0.21 MAYBE 0.06

TPDB06/TRS/AG01/#3.2.trs YES 0.04 YES 0.01 YES 0.04 YES 0.04 YES 0.01 YES 0.13 YES 0.05 YES 0.01

TPDB06/TRS/AG01/#3.21.trs YES 0.03 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.03 MAYBE 0.01

TPDB06/TRS/AG01/#3.22.trs YES 0.06 YES 0.02 YES 0.09 YES 0.07 YES 0.01 YES 0.14 YES 0.14 MAYBE 0.02

TPDB06/TRS/AG01/#3.23.trs YES 0.07 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/AG01/#3.24.trs YES 0.04 YES 0.01 YES 0.03 YES 0.07 YES 0.03 YES 0.12 YES 0.04 YES 0.01

TPDB06/TRS/AG01/#3.26.trs YES 0.03 YES 0.01 YES 0.03 YES 0.05 YES 0.01 YES 0.17 YES 0.03 YES 0.01

TPDB06/TRS/AG01/#3.29.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.02 YES 0.01

TPDB06/TRS/AG01/#3.31.trs YES 0.02 YES 0.01 YES 0.09 YES 0.02 YES 0.00 YES 0.06 YES 0.02 YES 0.01

TPDB06/TRS/AG01/#3.33.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/AG01/#3.35.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/AG01/#3.36.trs YES 0.07 YES 0.04 YES 0.06 YES 0.05 YES 0.03 YES 0.18 YES 0.07 YES 0.02

TPDB06/TRS/AG01/#3.37.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/AG01/#3.38.trs YES 0.08 YES 0.06 YES 0.07 YES 0.06 YES 0.02 YES 0.28 YES 0.13 YES 0.02

TPDB06/TRS/AG01/#3.39.trs MAYBE 0.12 MAYBE 0.07 MAYBE 0.12 MAYBE 0.12 MAYBE 0.07 MAYBE 0.53 MAYBE 0.58 MAYBE 0.03

TPDB06/TRS/AG01/#3.4.trs YES 0.16 YES 0.03 YES 0.09 YES 0.06 YES 0.02 YES 0.46 YES 0.18 YES 0.02

TPDB06/TRS/AG01/#3.40.trs MAYBE 0.45 MAYBE 0.42 MAYBE 0.38 MAYBE 0.43 MAYBE 0.83 MAYBE 1.29 MAYBE 1.46 MAYBE 0.05

TPDB06/TRS/AG01/#3.41.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/AG01/#3.42.trs MAYBE 0.07 MAYBE 0.03 MAYBE 0.07 MAYBE 0.05 MAYBE 0.02 MAYBE 0.19 MAYBE 0.08 MAYBE 0.03

TPDB06/TRS/AG01/#3.47.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/AG01/#3.48.trs YES 0.04 YES 0.01 YES 0.05 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.47

TPDB06/TRS/AG01/#3.49.trs YES 0.08 YES 0.03 YES 0.07 YES 0.06 YES 0.01 YES 0.20 YES 0.09 YES 0.01

TPDB06/TRS/AG01/#3.5.trs YES 0.09 YES 0.03 YES 0.07 YES 0.06 YES 0.02 YES 0.21 YES 0.09 YES 0.01

TPDB06/TRS/AG01/#3.51.trs YES 0.02 YES 0.03 YES 0.04 YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/AG01/#3.52.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/AG01/#3.53.trs YES 0.18 YES 0.04 YES 0.16 YES 0.13 YES 0.03 YES 0.47 YES 0.19 YES 0.01

TPDB06/TRS/AG01/#3.53a.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/AG01/#3.53b.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/AG01/#3.54.trs YES 0.08 YES 0.21 YES 0.04 YES 0.04 YES 0.01 YES 0.13 YES 0.06 YES 0.01

TPDB06/TRS/AG01/#3.55.trs YES 0.22 YES 0.15 YES 0.20 YES 0.20 YES 91.25 YES 7.53 MAYBE 0.23 YES 0.03

TPDB06/TRS/AG01/#3.56.trs YES 0.04 YES 0.01 YES 0.04 YES 0.04 YES 0.01 YES 0.13 YES 0.05 YES 0.01

TPDB06/TRS/AG01/#3.57.trs YES 0.21 YES 0.08 YES 0.20 YES 0.17 YES 18.61 YES 0.66 YES 22.93 YES 0.02

TPDB06/TRS/AG01/#3.5a.trs YES 0.15 YES 0.03 YES 0.07 YES 0.06 YES 53.19 YES 0.21 YES 45.12 YES 0.01

TPDB06/TRS/AG01/#3.5b.trs YES 0.11 YES 0.11 YES 0.21 YES 0.08 YES 570.23 YES 0.36 YES 525.30 YES 0.05

TPDB06/TRS/AG01/#3.6.trs YES 0.14 YES 0.05 YES 0.08 YES 0.09 KILLED 600.00 KILLED 600.00 KILLED 600.00 YES 0.01

TPDB06/TRS/AG01/#3.6a.trs YES 0.13 YES 0.04 YES 0.07 YES 0.06 YES 0.46 YES 173.18 YES 354.66 YES 0.01

TPDB06/TRS/AG01/#3.6b.trs YES 0.14 YES 0.12 YES 0.11 YES 0.09 KILLED 600.00 KILLED 600.00 KILLED 600.00 YES 0.03

TPDB06/TRS/AG01/#3.7.trs YES 0.05 YES 0.01 YES 0.06 YES 0.04 YES 0.01 YES 0.24 YES 0.07 YES 0.01

TPDB06/TRS/AG01/#3.8a.trs YES 0.10 YES 0.05 YES 0.09 YES 0.08 YES 0.03 YES 0.34 YES 0.34 YES 0.01

TPDB06/TRS/AG01/#3.8b.trs YES 0.18 YES 0.18 YES 0.16 YES 0.13 YES 6.84 YES 2.43 YES 0.52 YES 0.02

TPDB06/TRS/AG01/#4.30c.trs MAYBE 0.14 MAYBE 0.24 MAYBE 0.10 MAYBE 0.10 MAYBE 78.58 MAYBE 225.62 MAYBE 51.51 KILLED 600.00

TPDB06/TRS/AProVE/AAECC-ring.trs MAYBE 3.84 MAYBE 13.11 MAYBE 527.55 KILLED 600.00 KILLED 600.00 MAYBE 2.66 MAYBE 0.41 KILLED 600.00

TPDB06/TRS/AProVE/AAECC.trs MAYBE 0.72 MAYBE 2.00 MAYBE 0.35 MAYBE 1.74 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/AProVE/IJCAR_1.trs YES 0.05 YES 0.01 YES 0.04 YES 0.04 YES 0.02 YES 0.14 YES 0.08 YES 0.01

TPDB06/TRS/AProVE/IJCAR_12.trs YES 0.13 YES 0.04 YES 0.12 YES 0.23 YES 0.05 YES 0.37 YES 0.18 MAYBE 0.01

TPDB06/TRS/AProVE/IJCAR_18.trs YES 0.22 YES 0.16 YES 0.20 YES 0.17 KILLED 600.00 YES 0.59 KILLED 600.00 MAYBE 0.10

TPDB06/TRS/AProVE/IJCAR_26.trs MAYBE 0.32 MAYBE 0.31 MAYBE 0.51 MAYBE 0.33 KILLED 600.00 MAYBE 0.73 MAYBE 0.48 MAYBE 0.04

TPDB06/TRS/AProVE/IJCAR_26a.trs MAYBE 0.34 MAYBE 0.24 MAYBE 0.49 MAYBE 0.23 KILLED 600.00 MAYBE 0.74 KILLED 600.00 MAYBE 0.04

TPDB06/TRS/AProVE/JFP_Ex31.trs MAYBE 0.21 MAYBE 0.38 MAYBE 0.21 MAYBE 0.14 MAYBE 7.46 MAYBE 161.74 MAYBE 8.40 KILLED 600.00

TPDB06/TRS/AProVE/JFP_Ex51.trs YES 0.41 YES 0.53 YES 0.67 YES 0.31 KILLED 600.00 YES 0.93 KILLED 600.00 YES 39.89

TPDB06/TRS/AProVE/LPAR_intlist.trs YES 0.04 YES 0.03 YES 0.13 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/AProVE/Liveness6.1.trs MAYBE 0.10 MAYBE 0.09 MAYBE 0.13 MAYBE 0.10 MAYBE 0.07 MAYBE 0.40 MAYBE 0.21 MAYBE 0.97

TPDB06/TRS/AProVE/Liveness6.2.trs MAYBE 0.07 MAYBE 0.05 MAYBE 0.09 MAYBE 0.07 MAYBE 0.16 MAYBE 0.31 MAYBE 0.27 MAYBE 2.30

TPDB06/TRS/AProVE/Liveness6.3.trs MAYBE 0.33 MAYBE 0.46 MAYBE 0.34 MAYBE 0.26 MAYBE 0.56 MAYBE 1.50 MAYBE 0.86 MAYBE 3.91

TPDB06/TRS/AProVE/Liveness6.4.trs MAYBE 0.17 MAYBE 0.24 MAYBE 0.17 MAYBE 0.18 MAYBE 0.66 MAYBE 1.50 MAYBE 0.76 MAYBE 20.78

TPDB06/TRS/AProVE/Liveness8.trs YES 0.27 YES 0.25 YES 0.30 YES 0.23 YES 163.84 YES 96.73 YES 124.35 YES 1.89

TPDB06/TRS/AProVE/Liveness_WRS.trs MAYBE 1.39 MAYBE 2.61 MAYBE 0.43 MAYBE 0.44 MAYBE 28.67 MAYBE 27.11 MAYBE 24.07 MAYBE 54.25

TPDB06/TRS/AProVE/fac.trs MAYBE 0.08 MAYBE 0.02 MAYBE 0.08 MAYBE 0.07 MAYBE 0.02 MAYBE 0.24 MAYBE 0.54 MAYBE 0.02

TPDB06/TRS/AProVE/forward_instantiation.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.02 MAYBE 0.01

TPDB06/TRS/AProVE/forward_instantiation2.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/AProVE/improved_usable.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.13 YES 0.05 MAYBE 0.01

TPDB06/TRS/AProVE/improved_usable2.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/AProVE/rta1.trs YES 0.11 YES 0.06 YES 0.10 YES 0.09 YES 0.03 YES 0.24 YES 0.12 MAYBE 0.04

TPDB06/TRS/AProVE/rta2.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/AProVE/rta3.trs YES 0.10 YES 0.04 YES 0.06 YES 0.05 YES 0.02 YES 0.16 YES 0.07 MAYBE 0.04

TPDB06/TRS/CSR/Ex1_Luc04b_GM.trs MAYBE 0.43 MAYBE 1.06 MAYBE 0.42 MAYBE 0.34 MAYBE 17.68 MAYBE 38.80 MAYBE 9.07 KILLED 600.00

TPDB06/TRS/Cime/ack_prolog.trs YES 0.08 YES 0.06 YES 0.07 YES 0.06 YES 0.02 YES 0.18 YES 0.08 YES 0.02

TPDB06/TRS/Cime/append-hard.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.07 MAYBE 0.08 MAYBE 0.10 MAYBE 38.38

TPDB06/TRS/Cime/append-wrong.trs MAYBE 0.03 MAYBE 0.03 MAYBE 0.02 MAYBE 0.09 MAYBE 0.26 MAYBE 0.08 MAYBE 0.27 MAYBE 39.84

TPDB06/TRS/Cime/append.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/Cime/big.trs YES 0.91 YES 0.44 YES 0.92 YES 0.61 YES 0.40 YES 2.15 YES 0.97 MAYBE 0.14

TPDB06/TRS/Cime/boolean_rings.trs YES 0.02 YES 0.48 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/Cime/dpqs.trs YES 0.00 YES 0.01 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/Cime/fact-hard.trs MAYBE 0.13 MAYBE 0.10 MAYBE 0.11 MAYBE 0.09 MAYBE 0.23 MAYBE 0.95 MAYBE 0.29 MAYBE 51.06

TPDB06/TRS/Cime/filliatre.trs YES 0.17 YES 0.54 YES 0.34 YES 0.23 KILLED 600.00 YES 1.77 KILLED 600.00 YES 0.07

TPDB06/TRS/Cime/filliatre2.trs YES 0.18 YES 0.61 YES 0.34 YES 0.20 KILLED 600.00 KILLED 600.00 KILLED 600.00 YES 0.24

TPDB06/TRS/Cime/filliatre3.trs YES 0.19 YES 1.91 YES 0.36 YES 0.36 KILLED 600.00 KILLED 600.00 KILLED 600.00 YES 0.24

TPDB06/TRS/Cime/intersect.trs YES 0.14 YES 0.06 YES 0.26 YES 0.14 YES 0.05 YES 0.65 YES 0.38 YES 0.02

TPDB06/TRS/Cime/list-sum-prod-assoc-append.trs YES 0.19 YES 0.11 YES 0.26 YES 0.17 YES 0.04 YES 0.63 YES 0.25 MAYBE 0.04

TPDB06/TRS/Cime/list-sum-prod-assoc.trs YES 0.23 YES 0.16 YES 0.17 YES 0.10 YES 0.03 YES 0.43 YES 0.28 MAYBE 0.03

TPDB06/TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs YES 0.29 YES 0.34 YES 0.53 YES 0.24 YES 0.14 YES 0.88 YES 0.46 MAYBE 0.05

TPDB06/TRS/Cime/list-sum-prod-bin-assoc.trs YES 0.36 YES 0.22 YES 0.27 YES 0.17 YES 0.09 YES 0.77 YES 0.36 MAYBE 0.30

TPDB06/TRS/Cime/list-sum-prod-bin.trs YES 0.40 YES 0.27 YES 0.22 YES 0.28 YES 0.07 YES 0.58 YES 0.24 YES 0.01

TPDB06/TRS/Cime/list-sum-prod.trs YES 0.08 YES 0.01 YES 0.09 YES 0.06 YES 0.02 YES 0.24 YES 0.10 YES 0.01

TPDB06/TRS/Cime/log2.trs YES 0.42 YES 0.10 YES 0.33 YES 0.24 YES 0.11 YES 0.80 YES 0.42 YES 0.04

TPDB06/TRS/Cime/lse.trs YES 0.27 YES 0.29 YES 1.62 YES 0.74 KILLED 600.00 YES 2.25 MAYBE 0.19 KILLED 600.00

TPDB06/TRS/Cime/maude2.trs MAYBE 0.20 MAYBE 0.18 MAYBE 0.16 MAYBE 0.13 MAYBE 64.24 MAYBE 6.76 MAYBE 54.78 KILLED 600.00

TPDB06/TRS/Cime/mucrl1.trs YES 0.32 YES 0.24 YES 0.39 YES 0.34 YES 0.12 YES 0.92 YES 0.42 YES 1.01

TPDB06/TRS/Cime/quick.trs YES 0.12 YES 0.09 YES 0.11 YES 0.08 YES 0.03 YES 0.33 YES 2.05 YES 0.02

TPDB06/TRS/Cime/ternary-hard.trs YES 0.58 YES 0.34 YES 0.48 YES 0.32 YES 0.13 YES 0.99 YES 0.54 MAYBE 1.66

TPDB06/TRS/Cime/ternary.trs YES 0.32 YES 0.37 YES 0.58 YES 0.28 YES 0.11 YES 1.14 YES 0.47 MAYBE 13.97

TPDB06/TRS/Cime/tree.trs YES 0.34 YES 0.17 YES 0.46 YES 0.29 YES 0.12 YES 1.07 YES 0.58 YES 0.05

TPDB06/TRS/D33/01.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/D33/02.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/D33/03.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/D33/04.trs YES 0.03 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/D33/06.trs YES 0.02 YES 0.00 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.02 YES 0.01

TPDB06/TRS/D33/07.trs YES 0.04 YES 0.01 YES 0.07 YES 0.05 YES 0.01 YES 0.18 YES 0.07 YES 0.01

TPDB06/TRS/D33/08.trs YES 0.15 YES 0.01 YES 0.07 YES 0.05 YES 0.01 YES 0.19 YES 0.08 YES 0.01

TPDB06/TRS/D33/09.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/D33/11.trs YES 0.03 YES 0.01 YES 0.17 YES 0.14 YES 0.04 YES 0.66 YES 0.19 YES 0.01

TPDB06/TRS/D33/12.trs YES 0.04 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.19 YES 0.08 YES 0.01

TPDB06/TRS/D33/13.trs MAYBE 0.06 MAYBE 0.03 MAYBE 0.06 MAYBE 0.06 MAYBE 0.02 MAYBE 0.16 MAYBE 0.07 MAYBE 0.02

TPDB06/TRS/D33/17.trs YES 0.05 YES 0.01 YES 0.04 YES 0.04 YES 0.03 YES 0.15 YES 0.06 YES 0.01

TPDB06/TRS/D33/18.trs YES 0.02 YES 0.00 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/D33/20.trs YES 0.07 YES 0.05 YES 0.05 YES 0.05 YES 0.04 YES 0.10 YES 0.44 YES 0.01

TPDB06/TRS/D33/21.trs MAYBE 0.06 MAYBE 0.02 MAYBE 0.06 MAYBE 0.05 MAYBE 0.01 MAYBE 0.18 MAYBE 0.07 MAYBE 0.01

TPDB06/TRS/D33/27.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/D33/28.trs YES 0.03 YES 0.01 YES 0.03 YES 0.02 YES 0.01 YES 0.07 YES 0.04 MAYBE 0.01

TPDB06/TRS/D33/30.trs MAYBE 0.49 MAYBE 0.01 MAYBE 0.03 MAYBE 0.03 MAYBE 0.01 MAYBE 0.08 MAYBE 0.12 MAYBE 0.02

TPDB06/TRS/D33/31.trs YES 0.04 YES 0.02 YES 0.07 YES 0.03 YES 0.02 YES 0.16 YES 0.07 MAYBE 0.24

TPDB06/TRS/D33/32.trs YES 0.05 YES 0.02 YES 0.04 YES 0.05 YES 0.03 YES 0.20 YES 0.08 YES 0.01

TPDB06/TRS/D33/33.trs MAYBE 0.11 MAYBE 0.09 MAYBE 0.13 MAYBE 0.10 MAYBE 0.62 MAYBE 0.33 MAYBE 0.65 MAYBE 1.20

TPDB06/TRS/Endrullis/direct.trs MAYBE 0.06 MAYBE 0.10 MAYBE 0.04 MAYBE 0.06 MAYBE 0.06 MAYBE 0.09 MAYBE 0.07 MAYBE 0.01

TPDB06/TRS/Endrullis/labeling.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/Endrullis/linear1.trs MAYBE 0.13 MAYBE 0.14 MAYBE 0.10 MAYBE 0.10 MAYBE 0.04 MAYBE 0.16 MAYBE 0.11 MAYBE 0.02

TPDB06/TRS/Endrullis/linear2.trs MAYBE 0.39 MAYBE 0.55 MAYBE 0.18 MAYBE 0.18 MAYBE 0.15 MAYBE 0.38 MAYBE 0.25 MAYBE 0.04

TPDB06/TRS/Endrullis/pair2hard.trs MAYBE 0.14 MAYBE 0.13 MAYBE 0.14 MAYBE 0.12 MAYBE 0.03 MAYBE 0.26 MAYBE 0.12 MAYBE 0.02

TPDB06/TRS/Endrullis/pair2simple1.trs MAYBE 0.06 MAYBE 0.02 MAYBE 0.07 MAYBE 0.06 MAYBE 0.01 MAYBE 0.14 MAYBE 0.06 MAYBE 0.03

TPDB06/TRS/Endrullis/pair2simple2.trs MAYBE 0.05 MAYBE 0.01 MAYBE 0.05 MAYBE 0.05 MAYBE 0.01 MAYBE 0.13 MAYBE 0.07 MAYBE 0.01

TPDB06/TRS/Endrullis/pair3hard.trs MAYBE 0.06 MAYBE 0.03 MAYBE 0.06 MAYBE 0.05 MAYBE 0.01 MAYBE 0.14 MAYBE 0.06 MAYBE 0.01

TPDB06/TRS/Endrullis/pair3rotate.trs MAYBE 0.11 MAYBE 0.09 MAYBE 0.09 MAYBE 0.09 MAYBE 0.12 MAYBE 0.20 MAYBE 0.14 MAYBE 0.02

TPDB06/TRS/Endrullis/pair3swap.trs MAYBE 0.12 MAYBE 0.10 MAYBE 0.15 MAYBE 0.14 MAYBE 0.04 MAYBE 0.17 MAYBE 0.11 MAYBE 0.04

TPDB06/TRS/Endrullis/quadruple1.trs MAYBE 0.08 MAYBE 0.06 MAYBE 0.05 MAYBE 0.08 MAYBE 0.02 MAYBE 0.07 MAYBE 0.04 MAYBE 0.03

TPDB06/TRS/Endrullis/quadruple2.trs MAYBE 0.09 MAYBE 0.07 MAYBE 0.11 MAYBE 0.12 MAYBE 0.02 MAYBE 0.15 MAYBE 0.09 MAYBE 0.01

TPDB06/TRS/HM/n002.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/HM/n003.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/HM/n004.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/HM/n005.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/HM/n006.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/HM/n007.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/HM/n008.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/HM/t000.trs YES 0.36 YES 0.45 YES 0.29 YES 0.27 YES 0.20 YES 250.27 YES 0.19 YES 0.42

TPDB06/TRS/HM/t001.trs MAYBE 0.16 MAYBE 0.05 MAYBE 0.15 MAYBE 0.12 MAYBE 2.45 MAYBE 0.58 MAYBE 1.20 MAYBE 31.43

TPDB06/TRS/HM/t002.trs MAYBE 0.06 MAYBE 0.01 MAYBE 0.06 MAYBE 0.05 MAYBE 0.01 MAYBE 0.19 MAYBE 0.07 MAYBE 0.01

TPDB06/TRS/HM/t003.trs YES 0.09 YES 0.02 YES 0.09 YES 0.07 YES 0.04 YES 0.26 YES 0.65 YES 0.01

TPDB06/TRS/HM/t004.trs MAYBE 0.04 MAYBE 0.04 MAYBE 0.04 MAYBE 0.04 MAYBE 0.01 MAYBE 0.45 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/HM/t005.trs YES 0.40 YES 0.43 YES 0.33 YES 0.31 YES 0.38 YES 258.08 YES 0.25 YES 0.65

TPDB06/TRS/HM/t006.trs YES 0.02 YES 0.06 YES 0.02 YES 0.02 YES 0.05 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/HM/t007.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/HM/t008.trs MAYBE 0.05 MAYBE 0.03 MAYBE 0.04 MAYBE 0.04 MAYBE 0.04 MAYBE 0.13 MAYBE 0.10 MAYBE 0.16

TPDB06/TRS/HM/t009.trs MAYBE 3.50 MAYBE 23.69 MAYBE 8.40 MAYBE 4.00 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/HM/t010.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/HM/t011.trs YES 0.02 YES 0.12 YES 0.02 YES 0.02 YES 0.01 YES 0.08 YES 0.03 YES 0.01

TPDB06/TRS/HM/t012.trs YES 0.08 YES 0.05 YES 0.08 YES 0.07 YES 0.03 YES 0.16 YES 0.09 YES 0.01

TPDB06/TRS/HM/t013.trs YES 0.08 YES 0.04 YES 0.29 YES 0.05 YES 0.02 YES 0.20 YES 0.07 YES 0.01

TPDB06/TRS/HM/t014.trs YES 0.07 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.19 YES 0.08 YES 0.01

TPDB06/TRS/HofWald/1.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.02

TPDB06/TRS/HofWald/2.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.03 MAYBE 0.02 MAYBE 0.01 MAYBE 0.09 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/HofWald/3.trs MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 0.02 MAYBE 0.06 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/HofWald/4.trs MAYBE 0.04 MAYBE 0.04 MAYBE 0.03 MAYBE 0.04 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/HofWald/5.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/HofWald/6.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.03 MAYBE 0.03 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/HofWald/7.trs MAYBE 0.04 MAYBE 0.03 MAYBE 0.04 MAYBE 0.04 MAYBE 0.02 MAYBE 0.08 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/Koprowski/gcd_triple.trs YES 0.18 YES 0.23 YES 0.13 YES 0.12 YES 0.22 YES 0.62 YES 0.14 YES 36.21

TPDB06/TRS/LJB01/jones1.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.05 YES 0.01

TPDB06/TRS/LJB01/jones2.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/LJB01/jones4.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/LJB01/jones5.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/LJB01/jones6.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/Rubio/aoto.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/Rubio/bintrees.trs YES 0.05 YES 0.01 YES 0.04 YES 0.04 YES 0.01 YES 0.13 YES 0.06 YES 0.01

TPDB06/TRS/Rubio/bn122.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.13 YES 0.06 YES 0.01

TPDB06/TRS/Rubio/bn129.trs YES 0.07 YES 0.03 YES 0.07 YES 0.06 YES 0.02 YES 0.15 YES 0.07 YES 0.01

TPDB06/TRS/Rubio/division.trs YES 0.10 YES 0.04 YES 0.09 YES 0.07 YES 0.52 YES 0.22 YES 0.46 YES 0.01

TPDB06/TRS/Rubio/elimdupl.trs YES 0.11 YES 0.06 YES 0.09 YES 0.08 YES 0.03 YES 1.34 YES 0.11 YES 0.03

TPDB06/TRS/Rubio/enno.trs YES 0.13 YES 0.09 YES 0.11 YES 0.09 YES 26.63 YES 0.42 YES 15.37 YES 0.96

TPDB06/TRS/Rubio/gcd.trs YES 0.09 YES 0.03 YES 0.11 YES 0.06 KILLED 600.00 KILLED 600.00 KILLED 600.00 YES 0.05

TPDB06/TRS/Rubio/gm.trs YES 0.05 YES 0.01 YES 0.04 YES 0.04 YES 0.01 YES 0.21 YES 0.21 YES 0.01

TPDB06/TRS/Rubio/gmnp.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/Rubio/koen.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/Rubio/lescanne.trs YES 0.08 YES 0.02 YES 0.04 YES 0.06 YES 0.01 YES 0.17 YES 0.04 YES 0.01

TPDB06/TRS/Rubio/lindau.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 MAYBE 0.06

TPDB06/TRS/Rubio/logarquot.trs YES 0.09 YES 0.03 YES 0.08 YES 0.07 YES 0.02 YES 0.21 YES 0.30 YES 0.01

TPDB06/TRS/Rubio/ma96.trs YES 0.40 YES 1.44 YES 1.67 YES 0.85 YES 0.16 KILLED 600.00 YES 0.39 YES 1.09

TPDB06/TRS/Rubio/mfp90b.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/Rubio/mfp95.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/Rubio/nestrec.trs YES 0.03 YES 0.01 YES 0.03 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/Rubio/p266.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/Rubio/polo2.trs YES 0.03 YES 0.01 YES 0.17 YES 0.14 YES 0.04 YES 0.49 YES 0.20 YES 0.01

TPDB06/TRS/Rubio/prov.trs YES 0.02 YES 0.01 YES 0.06 YES 0.02 YES 0.00 YES 0.08 YES 0.02 YES 0.01

TPDB06/TRS/Rubio/quick.trs YES 0.18 YES 0.12 YES 0.16 YES 0.17 YES 94.70 KILLED 600.00 MAYBE 0.18 YES 0.03

TPDB06/TRS/Rubio/quotminus.trs YES 0.08 YES 0.03 YES 0.09 YES 0.06 YES 0.02 YES 0.28 YES 0.11 YES 0.02

TPDB06/TRS/Rubio/revlist.trs YES 0.10 YES 0.06 YES 0.08 YES 0.07 YES 0.28 YES 0.18 YES 0.29 YES 0.02

TPDB06/TRS/Rubio/selsort.trs YES 0.27 YES 0.25 YES 0.30 YES 0.37 KILLED 600.00 KILLED 600.00 MAYBE 22.32 YES 0.12

TPDB06/TRS/Rubio/test4.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.14 YES 0.05 YES 0.01

TPDB06/TRS/Rubio/test829.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/Rubio/wst99.trs YES 0.31 YES 0.61 YES 0.47 YES 0.26 KILLED 600.00 YES 1.35 KILLED 600.00 KILLED 600.00

TPDB06/TRS/SK90/2.01.trs YES 0.05 YES 0.01 YES 0.04 YES 0.04 YES 0.01 YES 0.13 YES 0.06 YES 0.01

TPDB06/TRS/SK90/2.02.trs YES 0.07 YES 0.04 YES 0.14 YES 0.06 YES 0.04 YES 0.30 YES 0.15 YES 0.01

TPDB06/TRS/SK90/2.03.trs YES 0.02 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/2.04.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.13 YES 0.05 YES 0.01

TPDB06/TRS/SK90/2.05.trs MAYBE 0.11 MAYBE 0.09 MAYBE 0.09 MAYBE 0.07 MAYBE 0.04 MAYBE 0.19 MAYBE 0.10 MAYBE 0.02

TPDB06/TRS/SK90/2.06.trs YES 0.04 YES 0.02 YES 0.07 YES 0.03 YES 0.02 YES 0.08 YES 0.09 YES 0.01

TPDB06/TRS/SK90/2.07.trs YES 0.04 YES 0.03 YES 0.07 YES 0.03 YES 0.02 YES 0.14 YES 0.07 MAYBE 0.01

TPDB06/TRS/SK90/2.08.trs YES 0.07 YES 0.02 YES 0.07 YES 0.06 YES 0.02 YES 0.20 YES 0.08 YES 0.01

TPDB06/TRS/SK90/2.09.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/SK90/2.10.trs YES 0.09 YES 0.02 YES 0.08 YES 0.03 YES 0.02 YES 0.16 YES 0.07 YES 0.01

TPDB06/TRS/SK90/2.11.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/2.12.trs YES 0.06 YES 0.01 YES 0.12 YES 0.10 YES 0.02 YES 0.36 YES 0.14 YES 0.01

TPDB06/TRS/SK90/2.13.trs YES 0.04 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.18 YES 0.07 YES 0.01

TPDB06/TRS/SK90/2.14.trs YES 0.06 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.18 YES 0.07 YES 0.01

TPDB06/TRS/SK90/2.15.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.02 YES 0.01

TPDB06/TRS/SK90/2.16.trs YES 0.05 YES 0.01 YES 0.05 YES 0.04 YES 0.01 YES 0.13 YES 0.06 YES 0.01

TPDB06/TRS/SK90/2.17.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/2.18.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/2.19.trs YES 0.06 YES 0.01 YES 0.05 YES 0.05 YES 0.01 YES 0.18 YES 0.07 YES 0.01

TPDB06/TRS/SK90/2.20.trs YES 0.02 YES 0.00 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/SK90/2.21.trs YES 0.02 YES 0.00 YES 0.04 YES 0.02 YES 0.00 YES 0.12 YES 0.02 YES 0.01

TPDB06/TRS/SK90/2.22.trs YES 0.06 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.18 YES 0.07 YES 0.01

TPDB06/TRS/SK90/2.23.trs YES 0.09 YES 0.03 YES 0.09 YES 0.07 YES 0.01 YES 0.25 YES 0.10 MAYBE 0.03

TPDB06/TRS/SK90/2.24.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/SK90/2.25.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/2.26.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/2.27.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/2.28.trs YES 0.03 YES 0.02 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/SK90/2.29.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/SK90/2.30.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/2.31.trs YES 0.04 YES 0.01 YES 0.13 YES 0.05 YES 0.01 YES 0.18 YES 0.07 YES 0.01

TPDB06/TRS/SK90/2.32.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/2.33.trs YES 0.02 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/2.34.trs YES 0.05 YES 0.04 YES 0.04 YES 0.03 YES 0.01 YES 0.08 YES 0.04 YES 0.28

TPDB06/TRS/SK90/2.35.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/SK90/2.36.trs YES 0.02 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/2.37.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/SK90/2.38.trs YES 0.03 YES 0.37 YES 0.05 YES 0.02 YES 0.01 YES 0.14 YES 0.16 YES 0.01

TPDB06/TRS/SK90/2.39.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/2.40.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/SK90/2.41.trs YES 0.06 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.18 YES 0.07 YES 0.01

TPDB06/TRS/SK90/2.42.trs YES 0.07 YES 0.02 YES 0.08 YES 0.07 YES 0.02 YES 0.26 YES 0.19 YES 0.02

TPDB06/TRS/SK90/2.43.trs YES 0.04 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.18 YES 0.07 YES 0.01

TPDB06/TRS/SK90/2.44.trs YES 0.05 YES 0.04 YES 0.04 YES 0.03 YES 0.04 YES 0.79 YES 0.05 YES 0.02

TPDB06/TRS/SK90/2.45.trs YES 0.16 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/SK90/2.46.trs YES 0.04 YES 0.02 YES 0.03 YES 0.03 YES 0.01 YES 0.07 YES 0.04 YES 0.01

TPDB06/TRS/SK90/2.47.trs YES 0.02 YES 0.00 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.02 YES 0.01

TPDB06/TRS/SK90/2.48.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/2.49.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/2.50.trs YES 0.02 YES 0.00 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.02 YES 0.01

TPDB06/TRS/SK90/2.51.trs YES 0.06 YES 0.18 YES 0.06 YES 0.05 YES 0.04 YES 0.14 YES 0.06 MAYBE 0.02

TPDB06/TRS/SK90/2.52.trs YES 0.24 YES 0.23 YES 0.23 YES 0.20 YES 0.51 YES 0.45 YES 0.39 MAYBE 0.14

TPDB06/TRS/SK90/2.53.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/SK90/2.54.trs YES 0.02 YES 0.00 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.02 YES 0.01

TPDB06/TRS/SK90/2.55.trs YES 0.02 YES 0.00 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.02 YES 0.01

TPDB06/TRS/SK90/2.56.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/2.57.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/2.58.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/2.59.trs YES 0.02 YES 0.00 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.02 YES 0.01

TPDB06/TRS/SK90/2.60.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/2.61.trs YES 0.05 YES 0.02 YES 0.05 YES 0.04 YES 0.01 YES 0.15 YES 0.06 YES 0.02

TPDB06/TRS/SK90/4.01.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/4.02.trs MAYBE 0.10 MAYBE 0.09 MAYBE 0.09 MAYBE 0.07 MAYBE 0.04 MAYBE 0.19 MAYBE 0.10 MAYBE 0.28

TPDB06/TRS/SK90/4.03.trs YES 0.04 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.18 YES 0.07 YES 0.01

TPDB06/TRS/SK90/4.04.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/SK90/4.05.trs YES 0.02 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/4.06.trs MAYBE 0.04 MAYBE 0.03 MAYBE 0.07 MAYBE 0.03 MAYBE 0.02 MAYBE 0.14 MAYBE 0.08 MAYBE 0.12

TPDB06/TRS/SK90/4.07.trs YES 0.03 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/SK90/4.08.trs YES 0.05 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.04 YES 0.01

TPDB06/TRS/SK90/4.09.trs YES 0.05 YES 0.01 YES 0.07 YES 0.06 YES 0.01 YES 0.19 YES 0.08 YES 0.01

TPDB06/TRS/SK90/4.10.trs YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01 YES 0.20 YES 0.08 YES 0.01

TPDB06/TRS/SK90/4.11.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/4.12.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/SK90/4.13.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/SK90/4.14.trs YES 0.06 YES 0.01 YES 0.12 YES 0.10 YES 0.02 YES 0.36 YES 0.14 YES 0.01

TPDB06/TRS/SK90/4.15.trs YES 0.02 YES 0.00 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.02 YES 0.01

TPDB06/TRS/SK90/4.16.trs YES 0.02 YES 0.01 YES 0.04 YES 0.02 YES 0.01 YES 0.12 YES 0.03 YES 0.01

TPDB06/TRS/SK90/4.17.trs MAYBE 0.04 MAYBE 0.01 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.12 MAYBE 0.06 MAYBE 0.02

TPDB06/TRS/SK90/4.18.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/4.19.trs YES 0.04 YES 0.02 YES 0.07 YES 0.06 YES 0.03 YES 0.07 YES 0.07 YES 0.01

TPDB06/TRS/SK90/4.20.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/SK90/4.21.trs YES 0.04 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.18 YES 0.07 YES 0.01

TPDB06/TRS/SK90/4.22.trs YES 0.04 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.18 YES 0.07 YES 0.01

TPDB06/TRS/SK90/4.23.trs YES 0.04 YES 0.02 YES 0.03 YES 0.03 YES 0.01 YES 0.08 YES 0.04 MAYBE 0.02

TPDB06/TRS/SK90/4.24.trs YES 0.09 YES 0.07 YES 0.08 YES 0.07 YES 0.06 YES 0.17 YES 0.11 MAYBE 0.20

TPDB06/TRS/SK90/4.25.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/SK90/4.26.trs YES 0.08 YES 0.01 YES 0.27 YES 0.06 YES 0.01 YES 0.19 YES 0.08 YES 0.01

TPDB06/TRS/SK90/4.27.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/4.28.trs YES 0.08 YES 0.01 YES 0.08 YES 0.07 YES 0.01 YES 0.24 YES 0.10 YES 0.01

TPDB06/TRS/SK90/4.29.trs YES 0.02 YES 0.01 YES 0.05 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/SK90/4.30.trs YES 0.07 YES 0.01 YES 0.09 YES 0.04 YES 0.02 YES 0.25 YES 0.11 YES 0.01

TPDB06/TRS/SK90/4.31.trs YES 0.06 YES 0.02 YES 0.06 YES 0.06 YES 0.01 YES 0.13 YES 0.06 YES 0.01

TPDB06/TRS/SK90/4.32.trs MAYBE 0.05 MAYBE 0.07 MAYBE 0.04 MAYBE 0.04 MAYBE 0.02 MAYBE 0.42 MAYBE 0.06 MAYBE 0.14

TPDB06/TRS/SK90/4.33.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.22 YES 0.01

TPDB06/TRS/SK90/4.34.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.02 MAYBE 0.03 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/SK90/4.35.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/4.36.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/4.37.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/4.38.trs YES 0.04 YES 0.01 YES 0.06 YES 0.03 YES 0.01 YES 0.19 YES 0.07 YES 0.01

TPDB06/TRS/SK90/4.39.trs YES 0.03 YES 0.01 YES 0.22 YES 0.02 YES 0.01 YES 0.14 YES 0.07 YES 0.01

TPDB06/TRS/SK90/4.40.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.03 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/SK90/4.41.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/SK90/4.42.trs YES 0.07 YES 0.03 YES 0.06 YES 0.05 YES 0.03 YES 0.16 YES 0.07 MAYBE 0.17

TPDB06/TRS/SK90/4.43.trs YES 0.09 YES 0.03 YES 0.12 YES 0.07 YES 0.02 YES 0.27 YES 0.12 YES 0.01

TPDB06/TRS/SK90/4.44.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/4.45.trs YES 0.02 YES 0.00 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.02 YES 0.01

TPDB06/TRS/SK90/4.46.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/4.47.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/4.48.trs YES 0.03 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/SK90/4.49.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/SK90/4.50.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 MAYBE 0.01

TPDB06/TRS/SK90/4.51.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.02 YES 0.06 YES 0.04 MAYBE 0.06

TPDB06/TRS/SK90/4.52.trs YES 0.04 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.19 YES 0.07 YES 0.01

TPDB06/TRS/SK90/4.53.trs YES 0.02 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/SK90/4.54.trs MAYBE 0.06 MAYBE 0.07 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/SK90/4.55.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.01 MAYBE 0.03 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/SK90/4.56.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/SK90/4.57.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01 YES 0.00 YES 0.01

TPDB06/TRS/SK90/4.59.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.22 YES 0.40 YES 0.01

TPDB06/TRS/SK90/4.60.trs YES 0.10 YES 0.04 YES 0.09 YES 0.07 YES 0.02 YES 0.22 YES 0.09 YES 0.35

TPDB06/TRS/SK90/4.61.trs MAYBE 0.14 MAYBE 0.12 MAYBE 0.14 MAYBE 0.11 MAYBE 65.00 MAYBE 95.66 MAYBE 41.73 MAYBE 330.82

TPDB06/TRS/Ste92/hydra.trs YES 0.29 YES 0.02 YES 0.04 YES 0.03 YES 0.01 YES 0.09 YES 0.03 YES 0.01

TPDB06/TRS/Ste92/minsort.trs MAYBE 0.15 MAYBE 0.07 MAYBE 0.15 MAYBE 0.12 MAYBE 0.03 MAYBE 56.65 MAYBE 490.82 MAYBE 14.63

TPDB06/TRS/Ste92/motivation.trs YES 0.03 YES 0.01 YES 0.42 YES 0.02 YES 0.01 YES 0.07 YES 0.04 YES 0.01

TPDB06/TRS/Ste92/perfect.trs YES 0.02 YES 0.01 YES 0.41 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/Ste92/perfect2.trs YES 0.10 YES 0.03 YES 0.10 YES 0.08 YES 0.02 YES 0.26 YES 0.12 YES 0.01

TPDB06/TRS/TRCSR/Ex14_AEGL02_C.trs MAYBE 0.42 MAYBE 0.90 MAYBE 0.45 MAYBE 0.37 MAYBE 4.05 MAYBE 258.17 MAYBE 2.72 KILLED 600.00

TPDB06/TRS/TRCSR/Ex14_AEGL02_FR.trs MAYBE 0.06 MAYBE 0.05 MAYBE 0.10 MAYBE 0.08 MAYBE 0.06 MAYBE 0.41 MAYBE 0.14 KILLED 600.00

TPDB06/TRS/TRCSR/Ex14_AEGL02_GM.trs YES 0.11 YES 0.06 YES 0.11 YES 0.09 YES 0.03 YES 0.70 YES 0.14 YES 0.03

TPDB06/TRS/TRCSR/Ex14_AEGL02_Z.trs MAYBE 0.04 MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 0.04 MAYBE 0.20 MAYBE 0.06 MAYBE 351.24

TPDB06/TRS/TRCSR/Ex15_Luc98_C.trs YES 0.73 YES 0.79 YES 0.88 YES 0.83 YES 0.20 YES 77.37 KILLED 600.00 YES 145.54

TPDB06/TRS/TRCSR/Ex15_Luc98_FR.trs MAYBE 0.09 MAYBE 0.12 MAYBE 0.09 MAYBE 0.07 MAYBE 0.21 MAYBE 10.49 MAYBE 0.25 KILLED 600.00

TPDB06/TRS/TRCSR/Ex15_Luc98_GM.trs YES 0.12 YES 0.18 YES 0.46 YES 0.08 YES 0.11 YES 80.43 YES 0.26 YES 530.89

TPDB06/TRS/TRCSR/Ex15_Luc98_Z.trs YES 0.05 YES 0.01 YES 0.10 YES 0.02 YES 0.02 YES 0.31 YES 0.13 YES 0.01

TPDB06/TRS/TRCSR/Ex1_2_AEL03_C.trs MAYBE 0.90 MAYBE 1.21 MAYBE 1.89 MAYBE 1.55 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/Ex1_2_AEL03_FR.trs YES 0.12 YES 0.04 YES 0.16 YES 0.12 YES 0.02 YES 0.43 YES 0.41 YES 0.03

TPDB06/TRS/TRCSR/Ex1_2_AEL03_GM.trs MAYBE 0.59 MAYBE 1.24 MAYBE 0.51 MAYBE 1.48 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/Ex1_2_AEL03_Z.trs YES 0.09 YES 0.02 YES 0.07 YES 0.06 YES 0.02 YES 0.30 YES 0.18 YES 0.01

TPDB06/TRS/TRCSR/Ex1_2_Luc02c_C.trs YES 0.27 YES 0.15 YES 0.45 YES 0.36 YES 0.07 YES 4.59 YES 0.51 YES 0.03

TPDB06/TRS/TRCSR/Ex1_2_Luc02c_FR.trs YES 0.02 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.18 YES 0.07 YES 0.01

TPDB06/TRS/TRCSR/Ex1_2_Luc02c_GM.trs MAYBE 0.06 MAYBE 0.07 MAYBE 0.04 MAYBE 0.04 MAYBE 0.13 MAYBE 0.17 MAYBE 0.11 MAYBE 7.60

TPDB06/TRS/TRCSR/Ex1_2_Luc02c_Z.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/TRCSR/Ex1_GL02a_C.trs MAYBE 0.84 MAYBE 0.79 MAYBE 0.65 MAYBE 0.59 MAYBE 127.19 KILLED 600.00 MAYBE 59.41 KILLED 600.00

TPDB06/TRS/TRCSR/Ex1_GL02a_FR.trs MAYBE 0.17 MAYBE 0.32 MAYBE 0.16 MAYBE 0.11 MAYBE 198.69 MAYBE 89.18 MAYBE 118.63 KILLED 600.00

TPDB06/TRS/TRCSR/Ex1_GL02a_GM.trs YES 0.04 YES 0.01 YES 0.08 YES 0.07 YES 0.01 YES 0.26 YES 0.10 YES 0.01

TPDB06/TRS/TRCSR/Ex1_GL02a_Z.trs MAYBE 0.12 MAYBE 0.16 MAYBE 0.14 MAYBE 0.08 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/Ex1_GM03_C.trs MAYBE 0.85 MAYBE 1.08 MAYBE 0.75 MAYBE 0.54 MAYBE 7.66 MAYBE 450.48 MAYBE 5.07 KILLED 600.00

TPDB06/TRS/TRCSR/Ex1_GM03_FR.trs MAYBE 0.74 MAYBE 0.98 MAYBE 0.32 MAYBE 0.59 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/Ex1_GM03_GM.trs MAYBE 0.27 MAYBE 0.81 MAYBE 0.15 MAYBE 0.19 MAYBE 174.35 MAYBE 0.56 MAYBE 143.49 KILLED 600.00

TPDB06/TRS/TRCSR/Ex1_GM03_Z.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/TRCSR/Ex1_Luc02b_C.trs MAYBE 0.69 MAYBE 0.62 MAYBE 0.61 MAYBE 0.61 MAYBE 3.24 MAYBE 360.25 MAYBE 3.08 KILLED 600.00

TPDB06/TRS/TRCSR/Ex1_Luc02b_FR.trs YES 0.15 YES 0.19 YES 0.21 YES 0.21 YES 0.07 YES 0.47 YES 0.22 YES 0.04

TPDB06/TRS/TRCSR/Ex1_Luc02b_GM.trs MAYBE 0.14 MAYBE 0.24 MAYBE 0.13 MAYBE 0.11 MAYBE 43.33 KILLED 600.00 MAYBE 37.99 KILLED 600.00

TPDB06/TRS/TRCSR/Ex1_Luc02b_Z.trs YES 0.07 YES 0.03 YES 0.06 YES 0.05 YES 0.02 YES 0.25 YES 0.07 YES 0.01

TPDB06/TRS/TRCSR/Ex1_Zan97_C.trs MAYBE 0.21 MAYBE 0.42 MAYBE 0.22 MAYBE 0.13 MAYBE 0.76 MAYBE 3.25 MAYBE 0.89 MAYBE 594.76

TPDB06/TRS/TRCSR/Ex1_Zan97_GM.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/TRCSR/Ex24_GM04_C.trs MAYBE 0.22 MAYBE 0.29 MAYBE 0.23 MAYBE 0.17 MAYBE 3.69 MAYBE 44.64 MAYBE 2.94 KILLED 600.00

TPDB06/TRS/TRCSR/Ex26_Luc03b_C.trs YES 0.87 YES 0.93 YES 1.28 YES 1.12 YES 74.11 YES 309.04 YES 61.78 KILLED 600.00

TPDB06/TRS/TRCSR/Ex26_Luc03b_FR.trs MAYBE 0.15 MAYBE 0.21 MAYBE 0.16 MAYBE 0.12 KILLED 600.00 KILLED 600.00 MAYBE 156.96 KILLED 600.00

TPDB06/TRS/TRCSR/Ex26_Luc03b_GM.trs YES 0.63 YES 0.37 YES 0.67 YES 0.18 KILLED 600.00 YES 38.59 KILLED 600.00 YES 18.27

TPDB06/TRS/TRCSR/Ex26_Luc03b_L.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/TRCSR/Ex26_Luc03b_Z.trs YES 0.48 YES 0.61 YES 0.85 YES 0.29 KILLED 600.00 YES 0.71 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/Ex2_Luc02a_C.trs MAYBE 0.63 MAYBE 0.72 MAYBE 1.12 MAYBE 1.04 MAYBE 103.93 KILLED 600.00 MAYBE 77.87 KILLED 600.00

TPDB06/TRS/TRCSR/Ex2_Luc02a_FR.trs YES 0.20 YES 0.17 YES 0.46 YES 0.19 YES 0.08 YES 0.55 MAYBE 0.15 YES 0.03

TPDB06/TRS/TRCSR/Ex2_Luc02a_L.trs YES 0.06 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.18 YES 0.07 YES 0.01

TPDB06/TRS/TRCSR/Ex2_Luc02a_Z.trs YES 0.08 YES 0.01 YES 0.07 YES 0.06 YES 0.01 YES 0.24 YES 0.10 YES 0.01

TPDB06/TRS/TRCSR/Ex2_Luc03b_C.trs YES 0.63 YES 0.74 YES 0.88 YES 0.86 YES 9.49 YES 99.25 YES 9.33 YES 1.07

TPDB06/TRS/TRCSR/Ex2_Luc03b_FR.trs YES 0.23 YES 0.28 YES 0.47 YES 0.24 YES 0.15 YES 64.08 YES 0.30 YES 0.22

TPDB06/TRS/TRCSR/Ex2_Luc03b_GM.trs YES 0.13 YES 0.15 YES 0.42 YES 0.11 YES 118.39 YES 202.65 YES 57.36 YES 0.32

TPDB06/TRS/TRCSR/Ex2_Luc03b_L.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/TRCSR/Ex2_Luc03b_Z.trs YES 0.03 YES 0.01 YES 0.07 YES 0.02 YES 0.01 YES 0.15 YES 0.09 YES 0.01

TPDB06/TRS/TRCSR/Ex3_12_Luc96a_C.trs MAYBE 0.29 MAYBE 0.37 MAYBE 0.44 MAYBE 0.37 MAYBE 0.83 MAYBE 288.30 MAYBE 1.14 KILLED 600.00

TPDB06/TRS/TRCSR/Ex3_12_Luc96a_FR.trs YES 0.06 YES 0.02 YES 0.07 YES 0.06 YES 0.01 YES 0.21 YES 0.08 YES 0.01

TPDB06/TRS/TRCSR/Ex3_12_Luc96a_GM.trs MAYBE 0.09 MAYBE 0.16 MAYBE 0.06 MAYBE 0.05 MAYBE 0.45 MAYBE 74.80 MAYBE 0.56 MAYBE 67.25

TPDB06/TRS/TRCSR/Ex3_12_Luc96a_Z.trs YES 0.03 YES 0.01 YES 0.03 YES 0.02 YES 0.01 YES 0.08 YES 0.03 YES 0.01

TPDB06/TRS/TRCSR/Ex3_2_Luc97_C.trs MAYBE 0.55 MAYBE 1.37 MAYBE 0.77 MAYBE 0.70 MAYBE 25.44 MAYBE 520.50 MAYBE 12.78 KILLED 600.00

TPDB06/TRS/TRCSR/Ex3_2_Luc97_FR.trs MAYBE 0.16 MAYBE 0.27 MAYBE 0.13 MAYBE 0.12 MAYBE 1.83 MAYBE 17.66 MAYBE 1.67 KILLED 600.00

TPDB06/TRS/TRCSR/Ex3_2_Luc97_GM.trs MAYBE 0.13 MAYBE 0.27 MAYBE 0.09 MAYBE 0.09 MAYBE 94.56 KILLED 600.00 MAYBE 59.44 KILLED 600.00

TPDB06/TRS/TRCSR/Ex3_2_Luc97_Z.trs MAYBE 0.13 MAYBE 0.20 MAYBE 0.13 MAYBE 0.11 MAYBE 1.15 MAYBE 5.77 MAYBE 1.17 KILLED 600.00

TPDB06/TRS/TRCSR/Ex3_3_25_Bor03_C.trs YES 0.70 YES 0.59 YES 1.15 YES 0.85 YES 13.40 YES 123.74 YES 7.71 KILLED 600.00

TPDB06/TRS/TRCSR/Ex3_3_25_Bor03_FR.trs MAYBE 0.11 MAYBE 0.19 MAYBE 0.11 MAYBE 0.09 MAYBE 0.48 MAYBE 0.27 MAYBE 0.52 KILLED 600.00

TPDB06/TRS/TRCSR/Ex3_3_25_Bor03_GM.trs YES 0.28 YES 0.22 YES 0.95 YES 0.23 YES 37.57 YES 30.14 YES 27.71 YES 8.90

TPDB06/TRS/TRCSR/Ex3_3_25_Bor03_L.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/TRCSR/Ex3_3_25_Bor03_Z.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.05 MAYBE 0.03 MAYBE 0.01 MAYBE 0.15 MAYBE 0.06 MAYBE 0.01

TPDB06/TRS/TRCSR/Ex49_GM04_C.trs MAYBE 0.87 MAYBE 1.82 MAYBE 0.79 MAYBE 0.87 MAYBE 130.58 MAYBE 582.90 MAYBE 58.29 KILLED 600.00

TPDB06/TRS/TRCSR/Ex49_GM04_FR.trs MAYBE 0.31 MAYBE 0.50 MAYBE 0.26 MAYBE 0.46 KILLED 600.00 KILLED 600.00 MAYBE 0.81 KILLED 600.00

TPDB06/TRS/TRCSR/Ex49_GM04_GM.trs YES 0.36 YES 0.51 YES 0.85 YES 0.29 KILLED 600.00 KILLED 600.00 KILLED 600.00 YES 41.75

TPDB06/TRS/TRCSR/Ex49_GM04_Z.trs YES 0.11 YES 0.04 YES 0.10 YES 0.07 YES 0.02 YES 0.26 YES 0.22 YES 0.01

TPDB06/TRS/TRCSR/Ex4_4_Luc96b_C.trs YES 0.15 YES 0.05 YES 0.23 YES 0.22 YES 0.04 YES 0.65 YES 0.28 YES 0.01

TPDB06/TRS/TRCSR/Ex4_4_Luc96b_FR.trs MAYBE 0.05 MAYBE 0.05 MAYBE 0.04 MAYBE 0.03 MAYBE 0.04 MAYBE 0.17 MAYBE 0.07 MAYBE 3.06

TPDB06/TRS/TRCSR/Ex4_4_Luc96b_GM.trs YES 0.04 YES 0.03 YES 0.10 YES 0.03 YES 0.03 YES 0.27 YES 0.11 YES 0.01

TPDB06/TRS/TRCSR/Ex4_4_Luc96b_L.trs YES 0.02 YES 0.00 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.02 YES 0.01

TPDB06/TRS/TRCSR/Ex4_4_Luc96b_Z.trs MAYBE 0.04 MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 1.23 MAYBE 0.07 MAYBE 1.87

TPDB06/TRS/TRCSR/Ex4_7_15_Bor03_C.trs MAYBE 1.50 MAYBE 3.88 MAYBE 1.05 MAYBE 1.40 MAYBE 25.30 MAYBE 308.43 MAYBE 22.70 KILLED 600.00

TPDB06/TRS/TRCSR/Ex4_7_15_Bor03_FR.trs YES 0.05 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.20 YES 0.08 YES 0.01

TPDB06/TRS/TRCSR/Ex4_7_15_Bor03_GM.trs YES 0.05 YES 0.01 YES 0.10 YES 0.09 YES 0.02 YES 0.31 YES 0.13 YES 0.01

TPDB06/TRS/TRCSR/Ex4_7_15_Bor03_L.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/TRCSR/Ex4_7_15_Bor03_Z.trs YES 0.03 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/TRCSR/Ex4_7_37_Bor03_C.trs MAYBE 1.56 MAYBE 1.12 MAYBE 1.14 MAYBE 0.87 MAYBE 81.36 KILLED 600.00 MAYBE 46.23 KILLED 600.00

TPDB06/TRS/TRCSR/Ex4_7_37_Bor03_FR.trs YES 0.41 YES 0.67 YES 0.39 YES 0.20 YES 0.13 YES 0.61 MAYBE 0.17 YES 1.62

TPDB06/TRS/TRCSR/Ex4_7_37_Bor03_GM.trs MAYBE 0.74 MAYBE 1.41 MAYBE 1.24 MAYBE 6.02 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/Ex4_7_37_Bor03_Z.trs YES 0.14 YES 0.07 YES 0.14 YES 0.11 YES 0.03 YES 0.36 MAYBE 0.23 YES 0.09

TPDB06/TRS/TRCSR/Ex4_7_56_Bor03_C.trs MAYBE 0.26 MAYBE 0.39 MAYBE 0.45 MAYBE 0.37 MAYBE 1.08 MAYBE 286.23 MAYBE 1.38 KILLED 600.00

TPDB06/TRS/TRCSR/Ex4_7_56_Bor03_FR.trs YES 0.06 YES 0.02 YES 0.07 YES 0.06 YES 0.01 YES 0.21 YES 0.08 YES 0.01

TPDB06/TRS/TRCSR/Ex4_7_56_Bor03_GM.trs MAYBE 0.08 MAYBE 0.12 MAYBE 0.07 MAYBE 0.06 MAYBE 0.37 MAYBE 9.73 MAYBE 0.30 MAYBE 78.42

TPDB06/TRS/TRCSR/Ex4_7_56_Bor03_Z.trs YES 0.03 YES 0.07 YES 0.03 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/TRCSR/Ex4_7_77_Bor03_C.trs MAYBE 0.18 MAYBE 0.19 MAYBE 0.22 MAYBE 0.19 MAYBE 0.43 MAYBE 11.73 MAYBE 0.51 MAYBE 413.80

TPDB06/TRS/TRCSR/Ex4_7_77_Bor03_GM.trs YES 0.06 YES 0.02 YES 0.06 YES 0.05 YES 0.02 YES 0.15 YES 0.06 YES 0.01

TPDB06/TRS/TRCSR/Ex4_7_77_Bor03_Z.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/TRCSR/Ex4_Zan97_C.trs MAYBE 0.36 MAYBE 0.56 MAYBE 0.56 MAYBE 0.48 MAYBE 2.09 MAYBE 352.31 MAYBE 3.06 KILLED 600.00

TPDB06/TRS/TRCSR/Ex4_Zan97_FR.trs YES 0.09 YES 0.03 YES 0.09 YES 0.07 YES 0.02 YES 0.28 YES 0.11 YES 0.09

TPDB06/TRS/TRCSR/Ex4_Zan97_GM.trs MAYBE 0.13 MAYBE 0.24 MAYBE 0.09 MAYBE 0.09 MAYBE 8.44 MAYBE 0.75 MAYBE 7.03 KILLED 600.00

TPDB06/TRS/TRCSR/Ex4_Zan97_Z.trs YES 0.06 YES 0.02 YES 0.06 YES 0.05 YES 0.01 YES 0.14 YES 0.06 YES 0.05

TPDB06/TRS/TRCSR/Ex5_7_Luc97_C.trs MAYBE 0.88 MAYBE 1.04 MAYBE 1.43 MAYBE 1.26 KILLED 600.00 KILLED 600.00 MAYBE 350.00 KILLED 600.00

TPDB06/TRS/TRCSR/Ex5_7_Luc97_FR.trs MAYBE 0.59 MAYBE 0.53 MAYBE 0.46 MAYBE 0.42 MAYBE 2.31 MAYBE 66.67 MAYBE 2.24 KILLED 600.00

TPDB06/TRS/TRCSR/Ex5_7_Luc97_GM.trs MAYBE 0.43 MAYBE 0.69 MAYBE 0.42 MAYBE 1.80 KILLED 600.00 MAYBE 32.22 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/Ex5_7_Luc97_Z.trs MAYBE 0.56 MAYBE 0.59 MAYBE 0.53 MAYBE 0.55 MAYBE 1.76 MAYBE 49.79 MAYBE 2.05 KILLED 600.00

TPDB06/TRS/TRCSR/Ex5_Zan97_C.trs MAYBE 0.20 MAYBE 0.26 MAYBE 0.26 MAYBE 0.22 MAYBE 0.65 MAYBE 220.16 MAYBE 0.76 KILLED 600.00

TPDB06/TRS/TRCSR/Ex5_Zan97_FR.trs YES 0.05 YES 0.02 YES 0.06 YES 0.04 YES 9.39 YES 0.17 YES 4.30 YES 0.02

TPDB06/TRS/TRCSR/Ex5_Zan97_GM.trs MAYBE 0.18 MAYBE 0.33 MAYBE 0.14 MAYBE 0.12 MAYBE 0.55 MAYBE 15.88 MAYBE 0.48 MAYBE 23.60

TPDB06/TRS/TRCSR/Ex5_Zan97_Z.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/TRCSR/Ex6_15_AEL02_C.trs MAYBE 1.27 MAYBE 1.69 MAYBE 2.02 MAYBE 1.75 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/Ex6_15_AEL02_FR.trs MAYBE 0.37 MAYBE 0.36 MAYBE 0.35 MAYBE 0.25 MAYBE 5.85 MAYBE 93.80 MAYBE 8.51 KILLED 600.00

TPDB06/TRS/TRCSR/Ex6_15_AEL02_GM.trs MAYBE 0.76 MAYBE 1.52 MAYBE 15.02 MAYBE 99.96 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/Ex6_15_AEL02_Z.trs MAYBE 0.43 MAYBE 0.31 MAYBE 0.51 MAYBE 0.49 MAYBE 18.15 MAYBE 1.46 MAYBE 18.94 KILLED 600.00

TPDB06/TRS/TRCSR/Ex6_9_Luc02c_C.trs YES 0.34 YES 0.34 YES 0.65 YES 0.57 YES 0.10 YES 8.99 YES 0.65 YES 0.06

TPDB06/TRS/TRCSR/Ex6_9_Luc02c_FR.trs YES 0.02 YES 0.01 YES 0.04 YES 0.22 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/TRCSR/Ex6_9_Luc02c_GM.trs MAYBE 0.09 MAYBE 0.18 MAYBE 0.07 MAYBE 0.07 MAYBE 0.56 MAYBE 43.63 MAYBE 0.31 MAYBE 28.23

TPDB06/TRS/TRCSR/Ex6_9_Luc02c_Z.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/TRCSR/Ex6_GM04_C.trs YES 0.15 YES 0.17 YES 0.14 YES 0.13 YES 0.22 YES 0.62 YES 0.27 YES 4.32

TPDB06/TRS/TRCSR/Ex6_GM04_GM.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/TRCSR/Ex6_GM04_L.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/TRCSR/Ex6_Luc98_C.trs YES 0.33 YES 0.35 YES 0.59 YES 0.52 YES 0.11 YES 92.43 YES 0.55 YES 0.17

TPDB06/TRS/TRCSR/Ex6_Luc98_FR.trs YES 0.09 YES 0.07 YES 0.15 YES 0.07 YES 0.03 YES 0.26 YES 0.18 YES 0.02

TPDB06/TRS/TRCSR/Ex6_Luc98_GM.trs YES 0.07 YES 0.09 YES 0.20 YES 0.06 YES 0.06 KILLED 600.00 YES 0.16 YES 0.04

TPDB06/TRS/TRCSR/Ex6_Luc98_L.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/TRCSR/Ex6_Luc98_Z.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.08 YES 0.03 YES 0.01

TPDB06/TRS/TRCSR/Ex7_BLR02_C.trs MAYBE 0.58 MAYBE 0.73 MAYBE 0.89 MAYBE 0.77 MAYBE 15.02 MAYBE 486.86 MAYBE 8.13 KILLED 600.00

TPDB06/TRS/TRCSR/Ex7_BLR02_FR.trs YES 0.27 YES 0.08 YES 0.21 YES 0.12 YES 0.20 YES 1.59 YES 0.24 YES 0.04

TPDB06/TRS/TRCSR/Ex7_BLR02_GM.trs MAYBE 0.33 MAYBE 0.55 MAYBE 0.19 MAYBE 0.28 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/Ex7_BLR02_Z.trs YES 0.07 YES 0.03 YES 0.10 YES 0.05 YES 0.01 YES 0.21 YES 0.26 YES 0.01

TPDB06/TRS/TRCSR/Ex8_BLR02_C.trs MAYBE 0.59 MAYBE 0.70 MAYBE 0.88 MAYBE 0.72 MAYBE 4.10 MAYBE 495.57 MAYBE 3.04 KILLED 600.00

TPDB06/TRS/TRCSR/Ex8_BLR02_FR.trs YES 0.09 YES 0.15 YES 0.10 YES 0.08 YES 0.02 YES 0.30 YES 0.12 YES 0.02

TPDB06/TRS/TRCSR/Ex8_BLR02_GM.trs MAYBE 0.32 MAYBE 0.64 MAYBE 0.15 MAYBE 0.31 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/Ex8_BLR02_Z.trs YES 0.06 YES 0.02 YES 0.19 YES 0.05 YES 0.01 YES 0.23 YES 0.19 YES 0.01

TPDB06/TRS/TRCSR/Ex9_BLR02_C.trs YES 0.95 YES 1.03 YES 1.59 YES 1.02 YES 18.08 YES 104.04 YES 10.94 KILLED 600.00

TPDB06/TRS/TRCSR/Ex9_BLR02_FR.trs MAYBE 0.11 MAYBE 0.18 MAYBE 0.10 MAYBE 0.11 MAYBE 3.78 MAYBE 8.73 MAYBE 5.50 KILLED 600.00

TPDB06/TRS/TRCSR/Ex9_BLR02_GM.trs YES 0.88 YES 0.80 YES 0.62 YES 0.17 KILLED 600.00 KILLED 600.00 KILLED 600.00 YES 20.48

TPDB06/TRS/TRCSR/Ex9_BLR02_L.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/TRCSR/Ex9_BLR02_Z.trs YES 0.14 YES 0.34 YES 0.15 YES 0.11 YES 0.07 YES 0.25 YES 0.30 YES 0.21

TPDB06/TRS/TRCSR/Ex9_Luc04_C.trs MAYBE 0.17 MAYBE 0.24 MAYBE 0.16 MAYBE 0.14 MAYBE 0.32 MAYBE 13.40 MAYBE 0.40 KILLED 600.00

TPDB06/TRS/TRCSR/ExAppendixB_AEL03_C.trs MAYBE 1.29 MAYBE 1.85 MAYBE 1.95 MAYBE 1.84 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/ExAppendixB_AEL03_FR.trs YES 0.13 YES 0.04 YES 0.14 YES 0.10 YES 0.03 YES 0.38 YES 0.16 YES 0.04

TPDB06/TRS/TRCSR/ExAppendixB_AEL03_GM.trs MAYBE 0.66 MAYBE 1.80 MAYBE 0.89 MAYBE 3.19 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/ExAppendixB_AEL03_Z.trs YES 0.08 YES 0.02 YES 0.07 YES 0.06 YES 0.02 YES 0.30 YES 0.28 YES 0.03

TPDB06/TRS/TRCSR/ExConc_Zan97_C.trs YES 0.20 YES 0.07 YES 0.27 YES 0.21 YES 0.04 YES 0.80 YES 0.33 YES 0.02

TPDB06/TRS/TRCSR/ExConc_Zan97_FR.trs YES 0.02 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/TRCSR/ExConc_Zan97_GM.trs YES 0.02 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/TRCSR/ExConc_Zan97_L.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/TRCSR/ExIntrod_GM01_C.trs MAYBE 0.63 MAYBE 0.56 MAYBE 0.74 MAYBE 0.65 MAYBE 62.58 KILLED 600.00 MAYBE 31.62 KILLED 600.00

TPDB06/TRS/TRCSR/ExIntrod_GM01_GM.trs MAYBE 0.69 MAYBE 0.99 MAYBE 0.66 MAYBE 0.19 KILLED 600.00 MAYBE 566.72 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/ExIntrod_GM04_C.trs MAYBE 0.42 MAYBE 0.95 MAYBE 0.59 MAYBE 0.49 MAYBE 32.66 MAYBE 464.89 MAYBE 19.42 KILLED 600.00

TPDB06/TRS/TRCSR/ExIntrod_GM04_GM.trs YES 0.23 YES 0.14 YES 0.20 YES 0.06 YES 105.94 YES 0.56 YES 63.27 YES 13.20

TPDB06/TRS/TRCSR/ExIntrod_GM99_C.trs MAYBE 0.83 MAYBE 0.99 MAYBE 1.32 MAYBE 1.08 MAYBE 524.88 KILLED 600.00 MAYBE 428.96 KILLED 600.00

TPDB06/TRS/TRCSR/ExIntrod_GM99_FR.trs MAYBE 0.10 MAYBE 0.18 MAYBE 0.11 MAYBE 0.07 MAYBE 181.36 MAYBE 0.86 MAYBE 128.19 KILLED 600.00

TPDB06/TRS/TRCSR/ExIntrod_GM99_GM.trs MAYBE 0.51 MAYBE 0.80 MAYBE 0.43 MAYBE 0.78 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/ExIntrod_GM99_Z.trs MAYBE 0.27 MAYBE 0.18 MAYBE 0.28 MAYBE 0.24 KILLED 600.00 MAYBE 2.32 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/ExIntrod_Zan97_C.trs MAYBE 0.61 MAYBE 0.74 MAYBE 0.93 MAYBE 0.81 MAYBE 35.76 MAYBE 555.21 MAYBE 18.38 KILLED 600.00

TPDB06/TRS/TRCSR/ExIntrod_Zan97_FR.trs MAYBE 0.15 MAYBE 0.21 MAYBE 0.14 MAYBE 0.11 KILLED 600.00 MAYBE 0.49 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/ExIntrod_Zan97_GM.trs MAYBE 0.38 MAYBE 0.85 MAYBE 0.23 MAYBE 0.23 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/ExIntrod_Zan97_Z.trs MAYBE 0.04 MAYBE 0.01 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.20 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/TRCSR/ExSec11_1_Luc02a_C.trs MAYBE 0.82 MAYBE 1.40 MAYBE 1.32 MAYBE 1.08 MAYBE 240.39 KILLED 600.00 MAYBE 127.91 KILLED 600.00

TPDB06/TRS/TRCSR/ExSec11_1_Luc02a_FR.trs YES 0.44 YES 0.15 YES 0.36 YES 0.20 YES 0.08 YES 0.71 MAYBE 0.18 YES 0.04

TPDB06/TRS/TRCSR/ExSec11_1_Luc02a_GM.trs MAYBE 0.45 MAYBE 0.97 MAYBE 0.50 MAYBE 1.51 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/TRCSR/ExSec11_1_Luc02a_L.trs YES 0.08 YES 0.01 YES 0.07 YES 0.06 YES 0.01 YES 0.32 YES 0.23 YES 0.01

TPDB06/TRS/TRCSR/ExSec11_1_Luc02a_Z.trs YES 0.10 YES 0.02 YES 0.10 YES 0.08 YES 0.01 YES 0.30 YES 0.13 YES 0.01

TPDB06/TRS/Thiemann/div_notCeTermin.trs MAYBE 0.25 MAYBE 0.15 MAYBE 0.20 MAYBE 0.16 MAYBE 18.08 MAYBE 1.39 MAYBE 14.54 KILLED 600.00

TPDB06/TRS/Thiemann/div_notTermin.trs MAYBE 0.29 MAYBE 0.20 MAYBE 0.24 MAYBE 0.21 MAYBE 403.14 MAYBE 1.50 MAYBE 290.44 KILLED 600.00

TPDB06/TRS/Thiemann/factorial1.trs MAYBE 0.12 MAYBE 0.09 MAYBE 0.11 MAYBE 0.09 MAYBE 10.04 MAYBE 0.94 MAYBE 5.98 MAYBE 0.14

TPDB06/TRS/Thiemann/factorial2.trs MAYBE 0.11 MAYBE 0.04 MAYBE 0.09 MAYBE 0.08 MAYBE 49.62 MAYBE 39.48 MAYBE 31.72 MAYBE 86.51

TPDB06/TRS/Thiemann/identity.trs MAYBE 0.08 MAYBE 0.05 MAYBE 0.08 MAYBE 0.07 MAYBE 0.46 MAYBE 0.25 MAYBE 0.32 MAYBE 6.68

TPDB06/TRS/Thiemann/logarithm.trs MAYBE 0.19 MAYBE 0.22 MAYBE 0.15 MAYBE 0.13 MAYBE 153.38 MAYBE 35.11 MAYBE 111.91 KILLED 600.00

TPDB06/TRS/Thiemann/mapHard.trs MAYBE 0.19 MAYBE 0.14 MAYBE 0.12 MAYBE 0.11 MAYBE 0.05 MAYBE 0.27 MAYBE 0.13 MAYBE 0.03

TPDB06/TRS/Thiemann/modulo.trs MAYBE 0.09 MAYBE 0.05 MAYBE 0.07 MAYBE 0.06 MAYBE 5.86 MAYBE 579.41 MAYBE 3.33 KILLED 600.00

TPDB06/TRS/Thiemann/nonterm.trs MAYBE 0.13 MAYBE 0.17 MAYBE 0.06 MAYBE 0.05 MAYBE 0.19 MAYBE 0.16 MAYBE 0.39 MAYBE 0.02

TPDB06/TRS/Thiemann/quicksort.trs MAYBE 0.25 MAYBE 0.52 MAYBE 0.17 MAYBE 0.16 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/Thiemann/quot.trs MAYBE 0.08 MAYBE 0.05 MAYBE 0.07 MAYBE 0.06 MAYBE 1.40 MAYBE 28.44 MAYBE 1.04 MAYBE 393.54

TPDB06/TRS/Thiemann/sizeChange.trs MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 0.18 MAYBE 0.20 MAYBE 0.21 MAYBE 0.21

TPDB06/TRS/Thiemann/tower.trs MAYBE 0.15 MAYBE 0.08 MAYBE 0.14 MAYBE 0.12 MAYBE 139.13 MAYBE 139.44 MAYBE 53.15 MAYBE 0.80

TPDB06/TRS/Thiemann/tower_sizeChange.trs MAYBE 0.11 MAYBE 0.06 MAYBE 0.09 MAYBE 0.08 MAYBE 0.07 MAYBE 0.28 MAYBE 0.16 MAYBE 2.90

TPDB06/TRS/Waldmann/jwaprove1.trs MAYBE 0.04 MAYBE 0.03 MAYBE 0.03 MAYBE 0.02 MAYBE 0.02 MAYBE 0.09 MAYBE 0.05 MAYBE 0.02

TPDB06/TRS/Waldmann/jwaprove2.trs MAYBE 0.04 MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 0.02 MAYBE 0.08 MAYBE 0.05 MAYBE 0.02

TPDB06/TRS/Waldmann/jwcime1.trs MAYBE 0.04 MAYBE 0.04 MAYBE 0.03 MAYBE 0.03 MAYBE 0.02 MAYBE 0.07 MAYBE 0.04 MAYBE 0.02

TPDB06/TRS/Waldmann/jwcime2.trs MAYBE 0.07 MAYBE 0.06 MAYBE 0.04 MAYBE 0.06 MAYBE 0.03 MAYBE 0.08 MAYBE 0.06 MAYBE 0.01

TPDB06/TRS/Waldmann/jwmatchb1.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.03 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Waldmann/jwmatchb2.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.03 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Waldmann/jwno1.trs MAYBE 0.06 MAYBE 0.07 MAYBE 0.05 MAYBE 0.05 MAYBE 0.02 MAYBE 0.08 MAYBE 0.05 MAYBE 0.03

TPDB06/TRS/Waldmann/jwno2.trs MAYBE 0.04 MAYBE 0.03 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/Waldmann/jwno3.trs MAYBE 0.05 MAYBE 0.04 MAYBE 0.05 MAYBE 0.04 MAYBE 0.03 MAYBE 0.07 MAYBE 0.05 MAYBE 0.05

TPDB06/TRS/Waldmann/jwno4.trs MAYBE 0.04 MAYBE 0.04 MAYBE 0.03 MAYBE 0.03 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.02

TPDB06/TRS/Waldmann/jwno5.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.03 MAYBE 0.03 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/Waldmann/jwno6.trs MAYBE 0.04 MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.02

TPDB06/TRS/Waldmann/jwno7.trs MAYBE 0.05 MAYBE 0.04 MAYBE 0.04 MAYBE 0.04 MAYBE 0.03 MAYBE 0.07 MAYBE 0.05 MAYBE 0.05

TPDB06/TRS/Waldmann/jwno8.trs MAYBE 0.05 MAYBE 0.05 MAYBE 0.04 MAYBE 0.05 MAYBE 0.01 MAYBE 0.08 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/Waldmann/jwno9.trs MAYBE 0.05 MAYBE 0.05 MAYBE 0.04 MAYBE 0.03 MAYBE 0.02 MAYBE 0.08 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/Waldmann/jwteparla1.trs MAYBE 0.10 MAYBE 0.08 MAYBE 0.08 MAYBE 0.07 MAYBE 0.03 MAYBE 0.14 MAYBE 0.08 MAYBE 0.01

TPDB06/TRS/Waldmann/jwteparla2.trs MAYBE 0.09 MAYBE 0.07 MAYBE 0.08 MAYBE 0.07 MAYBE 0.03 MAYBE 0.14 MAYBE 0.08 MAYBE 0.01

TPDB06/TRS/Waldmann/jwtpa1.trs MAYBE 0.09 MAYBE 0.14 MAYBE 0.05 MAYBE 0.10 MAYBE 0.04 MAYBE 0.08 MAYBE 0.07 MAYBE 0.02

TPDB06/TRS/Waldmann/jwtpa2.trs MAYBE 0.16 MAYBE 0.19 MAYBE 0.13 MAYBE 0.10 MAYBE 0.03 MAYBE 0.22 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/Waldmann/jwttt.trs MAYBE 0.17 MAYBE 0.12 MAYBE 0.28 MAYBE 0.23 MAYBE 0.03 MAYBE 0.23 MAYBE 0.15 MAYBE 0.02

TPDB06/TRS/Zantema/jw01.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw02.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw03.trs MAYBE 0.05 MAYBE 0.06 MAYBE 0.04 MAYBE 0.08 MAYBE 0.03 MAYBE 0.07 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/Zantema/jw04.trs MAYBE 0.05 MAYBE 0.06 MAYBE 0.03 MAYBE 0.07 MAYBE 0.03 MAYBE 0.07 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/Zantema/jw05.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw06.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw07.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.02

TPDB06/TRS/Zantema/jw08.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw09.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.02

TPDB06/TRS/Zantema/jw11.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw12.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw13.trs MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw14.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 MAYBE 0.01

TPDB06/TRS/Zantema/jw15.trs MAYBE 0.05 MAYBE 0.06 MAYBE 0.03 MAYBE 0.08 MAYBE 0.03 MAYBE 0.07 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/Zantema/jw16.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw17.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw18.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw19.trs MAYBE 0.04 MAYBE 0.03 MAYBE 0.03 MAYBE 0.04 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/Zantema/jw20.trs MAYBE 0.08 MAYBE 0.09 MAYBE 0.04 MAYBE 0.08 MAYBE 0.04 MAYBE 0.07 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/Zantema/jw21.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw22.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw23.trs MAYBE 0.05 MAYBE 0.06 MAYBE 0.03 MAYBE 0.08 MAYBE 0.03 MAYBE 0.07 MAYBE 0.05 MAYBE 0.02

TPDB06/TRS/Zantema/jw24.trs MAYBE 0.06 MAYBE 0.08 MAYBE 0.03 MAYBE 0.05 MAYBE 0.03 MAYBE 0.07 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/Zantema/jw25.trs MAYBE 0.06 MAYBE 0.07 MAYBE 0.03 MAYBE 0.04 MAYBE 0.03 MAYBE 0.07 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/Zantema/jw26.trs MAYBE 0.05 MAYBE 0.06 MAYBE 0.03 MAYBE 0.07 MAYBE 0.02 MAYBE 0.07 MAYBE 0.04 MAYBE 0.02

TPDB06/TRS/Zantema/jw27.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw28.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw29.trs MAYBE 0.07 MAYBE 0.08 MAYBE 0.04 MAYBE 0.08 MAYBE 0.04 MAYBE 0.07 MAYBE 0.06 MAYBE 0.02

TPDB06/TRS/Zantema/jw30.trs MAYBE 0.04 MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/Zantema/jw31.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw32.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw33.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw34.trs MAYBE 0.05 MAYBE 0.06 MAYBE 0.03 MAYBE 0.07 MAYBE 0.03 MAYBE 0.07 MAYBE 0.04 MAYBE 0.02

TPDB06/TRS/Zantema/jw35.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 MAYBE 0.01

TPDB06/TRS/Zantema/jw36.trs MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw37.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw38.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw39.trs MAYBE 0.04 MAYBE 0.02 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.02

TPDB06/TRS/Zantema/jw40.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.02

TPDB06/TRS/Zantema/jw41.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw42.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.02

TPDB06/TRS/Zantema/jw43.trs YES 0.03 YES 0.02 YES 0.03 YES 0.03 YES 0.02 YES 0.06 YES 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/jw44.trs YES 0.03 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/Zantema/jw47.trs YES 0.03 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/Zantema/jw50.trs YES 0.03 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/z01.trs MAYBE 0.05 MAYBE 0.06 MAYBE 0.04 MAYBE 0.04 MAYBE 0.03 MAYBE 0.12 MAYBE 0.07 MAYBE 0.01

TPDB06/TRS/Zantema/z02.trs MAYBE 0.04 MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/Zantema/z03.trs MAYBE 0.05 MAYBE 0.05 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.02

TPDB06/TRS/Zantema/z04.trs YES 0.02 YES 0.01 YES 0.02 YES 0.03 YES 0.01 YES 0.06 YES 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/z05.trs MAYBE 0.11 MAYBE 0.11 MAYBE 0.04 MAYBE 0.04 MAYBE 0.02 MAYBE 0.08 MAYBE 0.05 MAYBE 0.02

TPDB06/TRS/Zantema/z06.trs YES 0.07 YES 0.04 YES 0.07 YES 0.09 YES 0.02 YES 0.15 YES 0.08 MAYBE 0.02

TPDB06/TRS/Zantema/z07.trs MAYBE 0.06 MAYBE 0.03 MAYBE 0.07 MAYBE 0.04 MAYBE 0.05 MAYBE 0.21 MAYBE 0.08 MAYBE 0.02

TPDB06/TRS/Zantema/z08.trs MAYBE 0.04 MAYBE 0.02 MAYBE 0.04 MAYBE 0.02 MAYBE 0.03 MAYBE 0.08 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/Zantema/z09.trs MAYBE 0.04 MAYBE 0.05 MAYBE 0.06 MAYBE 0.05 MAYBE 0.01 MAYBE 0.10 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/Zantema/z10.trs MAYBE 0.05 MAYBE 0.05 MAYBE 0.06 MAYBE 0.05 MAYBE 0.02 MAYBE 0.11 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/Zantema/z11.trs MAYBE 0.05 MAYBE 0.02 MAYBE 0.05 MAYBE 0.04 MAYBE 0.02 MAYBE 0.13 MAYBE 0.07 MAYBE 0.02

TPDB06/TRS/Zantema/z12.trs MAYBE 0.06 MAYBE 0.06 MAYBE 0.04 MAYBE 0.05 MAYBE 0.02 MAYBE 0.07 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/Zantema/z13.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/Zantema/z14.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/Zantema/z15.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/Zantema/z16.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/Zantema/z17.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.03

TPDB06/TRS/Zantema/z18.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/z19.trs MAYBE 0.15 MAYBE 0.11 MAYBE 0.10 MAYBE 0.10 MAYBE 0.06 MAYBE 0.24 MAYBE 0.14 MAYBE 0.01

TPDB06/TRS/Zantema/z20.trs MAYBE 0.31 MAYBE 0.27 MAYBE 0.11 MAYBE 0.12 MAYBE 0.08 MAYBE 0.18 MAYBE 0.13 MAYBE 0.02

TPDB06/TRS/Zantema/z21.trs MAYBE 0.16 MAYBE 0.16 MAYBE 0.39 MAYBE 0.08 MAYBE 0.06 MAYBE 0.26 MAYBE 0.18 MAYBE 0.01

TPDB06/TRS/Zantema/z22.trs MAYBE 0.15 MAYBE 0.46 MAYBE 0.14 MAYBE 0.12 MAYBE 0.12 MAYBE 0.19 MAYBE 0.20 MAYBE 0.02

TPDB06/TRS/Zantema/z23.trs MAYBE 0.05 MAYBE 0.07 MAYBE 0.04 MAYBE 0.06 MAYBE 0.03 MAYBE 0.08 MAYBE 0.06 MAYBE 0.01

TPDB06/TRS/Zantema/z24.trs MAYBE 0.05 MAYBE 0.05 MAYBE 0.04 MAYBE 0.03 MAYBE 0.04 MAYBE 0.08 MAYBE 0.06 MAYBE 0.01

TPDB06/TRS/Zantema/z25.trs MAYBE 0.12 MAYBE 0.16 MAYBE 0.04 MAYBE 0.09 MAYBE 0.02 MAYBE 0.08 MAYBE 0.05 MAYBE 0.09

TPDB06/TRS/Zantema/z26.trs MAYBE 0.43 MAYBE 0.69 MAYBE 0.34 MAYBE 0.73 MAYBE 1.45 MAYBE 1.17 MAYBE 0.36 MAYBE 0.42

TPDB06/TRS/Zantema/z27.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema/z28.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.03 MAYBE 0.02 MAYBE 0.02 MAYBE 0.07 MAYBE 0.04 MAYBE 0.06

TPDB06/TRS/Zantema/z29.trs YES 0.08 YES 0.04 YES 0.07 YES 0.06 YES 0.02 YES 0.16 YES 0.08 MAYBE 0.01

TPDB06/TRS/Zantema/z30.trs MAYBE 0.13 MAYBE 0.25 MAYBE 0.07 MAYBE 0.06 MAYBE 0.10 MAYBE 0.42 MAYBE 0.13 MAYBE 0.06

TPDB06/TRS/Zantema06/beans.trs MAYBE 0.16 MAYBE 0.19 MAYBE 0.11 MAYBE 0.11 MAYBE 0.10 MAYBE 0.17 MAYBE 0.15 MAYBE 0.03

TPDB06/TRS/Zantema06/gcd.trs YES 0.12 YES 0.05 YES 0.09 YES 0.08 YES 0.02 YES 0.27 YES 0.12 YES 10.67

TPDB06/TRS/Zantema06/gcdMinMax.trs MAYBE 0.15 MAYBE 0.05 MAYBE 0.11 MAYBE 0.09 MAYBE 0.02 MAYBE 0.29 MAYBE 0.11 MAYBE 14.26

TPDB06/TRS/Zantema06/hydra.trs MAYBE 0.11 MAYBE 0.09 MAYBE 0.11 MAYBE 0.09 MAYBE 0.48 MAYBE 0.39 MAYBE 0.25 MAYBE 2.26

TPDB06/TRS/Zantema06/test1.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/Zantema06/while.trs MAYBE 0.04 MAYBE 0.01 MAYBE 0.04 MAYBE 0.03 MAYBE 0.02 MAYBE 0.13 MAYBE 0.06 MAYBE 0.27

TPDB06/TRS/Zantema06/while2.trs MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01

TPDB06/TRS/currying/AG01/#3.10.trs MAYBE 0.53 MAYBE 0.46 MAYBE 0.45 MAYBE 0.41 MAYBE 0.52 MAYBE 1.10 MAYBE 0.56 MAYBE 0.34

TPDB06/TRS/currying/AG01/#3.13.trs MAYBE 0.43 MAYBE 0.53 MAYBE 0.64 MAYBE 0.48 MAYBE 406.46 KILLED 600.00 MAYBE 461.64 MAYBE 0.48

TPDB06/TRS/currying/AG01/#3.16.trs YES 0.21 YES 0.13 YES 0.20 YES 0.16 YES 0.07 YES 0.57 YES 0.20 MAYBE 0.04

TPDB06/TRS/currying/AG01/#3.18.trs MAYBE 0.26 MAYBE 0.19 MAYBE 0.38 MAYBE 0.45 MAYBE 0.09 MAYBE 0.49 MAYBE 0.23 MAYBE 0.07

TPDB06/TRS/currying/AG01/#3.2.trs MAYBE 0.18 MAYBE 0.38 MAYBE 0.17 MAYBE 0.12 MAYBE 0.06 MAYBE 0.22 MAYBE 0.36 MAYBE 0.05

TPDB06/TRS/currying/AG01/#3.22.trs MAYBE 0.24 MAYBE 0.18 MAYBE 0.23 MAYBE 0.19 MAYBE 0.09 MAYBE 0.48 MAYBE 0.26 MAYBE 0.09

TPDB06/TRS/currying/AG01/#3.25.trs MAYBE 0.10 MAYBE 0.05 MAYBE 0.08 MAYBE 0.07 MAYBE 0.05 MAYBE 0.18 MAYBE 0.19 MAYBE 2.17

TPDB06/TRS/currying/AG01/#3.27.trs YES 0.10 YES 0.04 YES 0.08 YES 0.07 YES 0.03 YES 0.17 YES 0.17 MAYBE 0.36

TPDB06/TRS/currying/AG01/#3.32.trs YES 0.07 YES 0.03 YES 0.04 YES 0.05 YES 0.03 YES 0.09 YES 0.14 MAYBE 0.10

TPDB06/TRS/currying/AG01/#3.36.trs MAYBE 0.23 MAYBE 0.27 MAYBE 0.21 MAYBE 0.15 MAYBE 0.08 MAYBE 1.17 MAYBE 0.20 MAYBE 0.05

TPDB06/TRS/currying/AG01/#3.38.trs MAYBE 0.18 MAYBE 0.10 MAYBE 0.20 MAYBE 0.13 MAYBE 0.09 MAYBE 0.60 MAYBE 0.24 MAYBE 10.80

TPDB06/TRS/currying/AG01/#3.40.trs MAYBE 0.74 MAYBE 0.54 MAYBE 0.46 MAYBE 0.48 MAYBE 0.25 MAYBE 0.56 MAYBE 0.46 MAYBE 0.09

TPDB06/TRS/currying/AG01/#3.45.trs YES 0.15 YES 0.17 YES 0.13 YES 0.12 YES 0.05 YES 0.28 YES 0.24 MAYBE 0.39

TPDB06/TRS/currying/AG01/#3.48.trs YES 0.14 YES 0.09 YES 0.13 YES 0.11 YES 0.07 YES 0.27 YES 0.15 MAYBE 445.09

TPDB06/TRS/currying/AG01/#3.52.trs YES 0.10 YES 0.05 YES 0.08 YES 0.07 YES 0.05 YES 0.16 YES 0.20 MAYBE 0.40

TPDB06/TRS/currying/AG01/#3.55.trs MAYBE 0.41 MAYBE 0.66 MAYBE 0.39 MAYBE 0.54 MAYBE 19.02 KILLED 600.00 MAYBE 0.70 MAYBE 0.32

TPDB06/TRS/currying/AG01/#3.57.trs MAYBE 0.59 MAYBE 1.00 MAYBE 0.56 MAYBE 0.44 MAYBE 0.51 MAYBE 4.88 MAYBE 0.77 MAYBE 0.14

TPDB06/TRS/currying/AG01/#3.6.trs MAYBE 0.21 MAYBE 0.14 MAYBE 0.18 MAYBE 0.14 MAYBE 40.30 MAYBE 78.51 MAYBE 26.98 MAYBE 0.09

TPDB06/TRS/currying/AG01/#3.8.trs MAYBE 0.45 MAYBE 0.35 MAYBE 0.37 MAYBE 0.18 MAYBE 0.10 MAYBE 0.39 MAYBE 0.21 MAYBE 0.06

TPDB06/TRS/currying/D33/01.trs YES 0.30 YES 0.09 YES 0.10 YES 0.07 YES 0.05 YES 0.14 YES 0.09 MAYBE 0.04

TPDB06/TRS/currying/D33/02.trs YES 0.12 YES 0.14 YES 0.11 YES 0.07 YES 0.04 YES 0.14 YES 0.09 MAYBE 0.03

TPDB06/TRS/currying/D33/06.trs YES 0.10 YES 0.03 YES 0.07 YES 0.07 YES 0.03 YES 0.15 YES 0.16 MAYBE 0.42

TPDB06/TRS/currying/D33/08.trs YES 0.12 YES 0.06 YES 0.15 YES 0.10 YES 0.07 YES 0.31 YES 0.25 MAYBE 18.37

TPDB06/TRS/currying/D33/11.trs YES 0.25 YES 0.19 YES 1.52 YES 0.23 YES 0.25 YES 1.39 YES 0.53 MAYBE 407.74

TPDB06/TRS/currying/D33/12.trs YES 0.22 YES 0.27 YES 0.23 YES 0.17 YES 0.09 YES 0.61 YES 0.22 MAYBE 0.08

TPDB06/TRS/currying/D33/13.trs MAYBE 0.20 MAYBE 0.13 MAYBE 0.18 MAYBE 0.17 MAYBE 0.08 MAYBE 0.32 MAYBE 0.27 MAYBE 1.04

TPDB06/TRS/currying/D33/17.trs YES 0.22 YES 0.15 YES 0.20 YES 0.24 YES 0.08 YES 0.30 YES 0.19 MAYBE 0.05

TPDB06/TRS/currying/D33/18.trs YES 0.10 YES 0.03 YES 0.08 YES 0.07 YES 0.04 YES 0.16 YES 0.17 MAYBE 0.43

TPDB06/TRS/currying/D33/21.trs MAYBE 0.13 MAYBE 0.05 MAYBE 0.14 MAYBE 0.11 MAYBE 0.06 MAYBE 0.29 MAYBE 0.17 MAYBE 0.07

TPDB06/TRS/currying/D33/29.trs YES 0.32 YES 0.10 YES 0.13 YES 0.13 YES 0.05 YES 0.24 YES 0.22 MAYBE 0.42

TPDB06/TRS/currying/D33/30.trs MAYBE 0.15 MAYBE 0.12 MAYBE 0.15 MAYBE 0.15 MAYBE 0.07 MAYBE 0.31 MAYBE 0.22 MAYBE 0.19

TPDB06/TRS/currying/D33/31.trs YES 0.15 YES 0.08 YES 0.17 YES 0.12 YES 0.08 YES 0.31 YES 0.24 MAYBE 0.85

TPDB06/TRS/currying/D33/33.trs MAYBE 0.22 MAYBE 0.12 MAYBE 0.25 MAYBE 0.22 MAYBE 0.15 MAYBE 0.36 MAYBE 0.63 MAYBE 3.16

TPDB06/TRS/currying/Ste92/hydra.trs YES 0.14 YES 0.12 YES 0.12 YES 0.12 YES 0.07 YES 0.20 YES 0.13 MAYBE 0.07

TPDB06/TRS/currying/Ste92/minsort.trs MAYBE 0.22 MAYBE 0.13 MAYBE 0.29 MAYBE 0.22 MAYBE 0.14 MAYBE 0.45 MAYBE 0.24 MAYBE 0.17

TPDB06/TRS/currying/Ste92/motivation.trs YES 0.11 YES 0.04 YES 0.08 YES 0.08 YES 0.04 YES 0.17 YES 0.20 MAYBE 0.14

TPDB06/TRS/currying/Ste92/perfect.trs MAYBE 0.14 MAYBE 0.12 MAYBE 0.13 MAYBE 0.12 MAYBE 0.14 MAYBE 0.19 MAYBE 0.14 MAYBE 7.93

TPDB06/TRS/currying/Ste92/perfect2.trs MAYBE 0.18 MAYBE 0.13 MAYBE 0.19 MAYBE 0.17 MAYBE 0.14 MAYBE 0.32 MAYBE 0.20 MAYBE 0.28

TPDB06/TRS/higher-order/AProVE_HO/ReverseLastInit.trs YES 0.08 YES 0.04 YES 0.07 YES 0.06 YES 0.02 YES 0.15 YES 0.08 YES 0.02

TPDB06/TRS/higher-order/AProVE_HO/TakeDropWhile.trs YES 0.03 YES 0.01 YES 0.08 YES 0.03 YES 0.03 YES 0.07 YES 0.09 MAYBE 0.02

TPDB06/TRS/higher-order/AProVE_HO/TypeEx1.trs MAYBE 0.04 MAYBE 0.03 MAYBE 0.04 MAYBE 0.05 MAYBE 0.01 MAYBE 0.08 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/higher-order/AProVE_HO/TypeEx3.trs MAYBE 0.08 MAYBE 0.09 MAYBE 0.08 MAYBE 0.07 MAYBE 0.03 MAYBE 0.11 MAYBE 0.08 MAYBE 0.23

TPDB06/TRS/higher-order/AProVE_HO/TypeEx5.trs MAYBE 0.00 MAYBE 0.01 MAYBE 0.00 MAYBE 0.01 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/higher-order/AProVE_HO/mapDivMinus.trs MAYBE 0.06 MAYBE 0.02 MAYBE 0.06 MAYBE 0.06 MAYBE 0.02 MAYBE 0.15 MAYBE 0.06 MAYBE 0.02

TPDB06/TRS/higher-order/AProVE_HO/mapDivMinusHard.trs MAYBE 0.09 MAYBE 0.07 MAYBE 0.06 MAYBE 0.09 MAYBE 0.07 MAYBE 0.17 MAYBE 0.13 MAYBE 0.02

TPDB06/TRS/higher-order/AProVE_HO/nonTermF.trs MAYBE 0.06 MAYBE 0.06 MAYBE 0.05 MAYBE 0.05 MAYBE 0.02 MAYBE 0.10 MAYBE 0.06 MAYBE 0.01

TPDB06/TRS/higher-order/AProVE_HO/termMonTypes.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.03 MAYBE 0.03 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/higher-order/AotoYam/001.trs MAYBE 0.04 MAYBE 0.02 MAYBE 0.03 MAYBE 0.03 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/higher-order/AotoYam/002.trs YES 0.03 YES 0.02 YES 0.03 YES 0.03 YES 0.02 YES 0.08 YES 0.04 MAYBE 0.07

TPDB06/TRS/higher-order/AotoYam/003.trs MAYBE 0.05 MAYBE 0.03 MAYBE 0.04 MAYBE 0.03 MAYBE 0.02 MAYBE 0.08 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/higher-order/AotoYam/004.trs YES 0.05 YES 0.01 YES 0.05 YES 0.06 YES 0.01 YES 0.13 YES 0.05 MAYBE 0.01

TPDB06/TRS/higher-order/AotoYam/005.trs YES 0.06 YES 0.02 YES 0.05 YES 0.04 YES 0.01 YES 0.14 YES 0.06 YES 0.01

TPDB06/TRS/higher-order/AotoYam/006.trs YES 0.03 YES 0.01 YES 0.05 YES 0.04 YES 0.02 YES 0.14 YES 0.07 MAYBE 0.05

TPDB06/TRS/higher-order/AotoYam/007.trs YES 0.05 YES 0.01 YES 0.05 YES 0.06 YES 0.01 YES 0.14 YES 0.05 MAYBE 0.01

TPDB06/TRS/higher-order/AotoYam/009.trs YES 0.03 YES 0.01 YES 0.03 YES 0.08 YES 0.02 YES 0.07 YES 0.09 MAYBE 2.03

TPDB06/TRS/higher-order/AotoYam/010.trs MAYBE 0.08 MAYBE 0.03 MAYBE 0.08 MAYBE 0.07 MAYBE 0.03 MAYBE 0.21 MAYBE 0.10 MAYBE 0.02

TPDB06/TRS/higher-order/AotoYam/011.trs MAYBE 0.07 MAYBE 0.04 MAYBE 0.07 MAYBE 0.06 MAYBE 0.03 MAYBE 0.74 MAYBE 0.24 MAYBE 0.01

TPDB06/TRS/higher-order/AotoYam/012.trs YES 0.03 YES 0.01 YES 0.03 YES 0.08 YES 0.02 YES 0.07 YES 0.09 MAYBE 2.00

TPDB06/TRS/higher-order/AotoYam/013.trs YES 0.06 YES 0.02 YES 0.09 YES 0.05 YES 0.03 YES 0.26 YES 0.15 MAYBE 0.02

TPDB06/TRS/higher-order/AotoYam/014.trs YES 0.12 YES 0.02 YES 0.07 YES 0.08 YES 0.05 YES 0.20 YES 0.08 MAYBE 0.01

TPDB06/TRS/higher-order/AotoYam/015.trs YES 0.03 YES 0.01 YES 0.03 YES 0.04 YES 0.02 YES 0.07 YES 0.03 MAYBE 0.02

TPDB06/TRS/higher-order/AotoYam/016.trs YES 0.09 YES 0.04 YES 0.08 YES 0.07 YES 0.04 YES 0.16 YES 0.14 MAYBE 3.27

TPDB06/TRS/higher-order/AotoYam/017.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/higher-order/AotoYam/019.trs YES 0.03 YES 0.01 YES 0.03 YES 0.02 YES 0.01 YES 0.07 YES 0.03 MAYBE 0.01

TPDB06/TRS/higher-order/AotoYam/020.trs YES 0.08 YES 0.03 YES 0.08 YES 0.07 YES 0.03 YES 0.20 YES 0.09 MAYBE 0.01

TPDB06/TRS/higher-order/AotoYam/021.trs YES 0.12 YES 0.04 YES 0.09 YES 0.09 YES 0.09 YES 0.24 YES 0.15 MAYBE 0.02

TPDB06/TRS/higher-order/AotoYam/022.trs YES 0.03 YES 0.01 YES 0.06 YES 0.03 YES 0.02 YES 0.14 YES 0.07 MAYBE 3.70

TPDB06/TRS/higher-order/AotoYam/023.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/higher-order/AotoYam/024.trs YES 0.02 YES 0.01 YES 0.02 YES 0.04 YES 0.02 YES 0.07 YES 0.03 MAYBE 0.02

TPDB06/TRS/higher-order/AotoYam/025.trs YES 0.02 YES 0.00 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.02 YES 0.01

TPDB06/TRS/higher-order/AotoYam/026.trs YES 0.06 YES 0.02 YES 0.09 YES 0.04 YES 0.02 YES 0.14 YES 0.07 MAYBE 0.01

TPDB06/TRS/higher-order/AotoYam/027.trs YES 0.08 YES 0.02 YES 0.06 YES 0.05 YES 0.02 YES 0.14 YES 0.10 MAYBE 0.01

TPDB06/TRS/higher-order/AotoYam/028.trs YES 0.02 YES 0.01 YES 0.03 YES 0.04 YES 0.01 YES 0.07 YES 0.03 MAYBE 0.01

TPDB06/TRS/higher-order/AotoYam/Ex1SimplyTyped.trs YES 0.03 YES 0.01 YES 0.06 YES 0.04 YES 0.01 YES 0.14 YES 0.06 MAYBE 0.01

TPDB06/TRS/higher-order/AotoYam/Ex5TermProof.trs MAYBE 0.06 MAYBE 0.02 MAYBE 0.06 MAYBE 0.05 MAYBE 0.02 MAYBE 0.14 MAYBE 0.06 MAYBE 0.01

TPDB06/TRS/higher-order/Bird/BTreeMember.trs YES 0.06 YES 0.03 YES 0.06 YES 0.05 YES 0.02 YES 0.14 YES 0.07 MAYBE 0.57

TPDB06/TRS/higher-order/Bird/Ex2_6_1Composition.trs YES 0.03 YES 0.01 YES 0.03 YES 0.02 YES 0.01 YES 0.07 YES 0.03 YES 0.01

TPDB06/TRS/higher-order/Bird/Ex2_8_1ConstSubstFix.trs MAYBE 0.04 MAYBE 0.02 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.08 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/higher-order/Bird/Hamming.trs MAYBE 0.21 MAYBE 0.12 MAYBE 0.22 MAYBE 0.20 MAYBE 0.12 MAYBE 0.45 MAYBE 0.23 MAYBE 0.34

TPDB06/TRS/higher-order/Bird/TreeFlatten.trs YES 0.08 YES 0.03 YES 0.08 YES 0.07 YES 0.02 YES 0.20 YES 0.12 MAYBE 0.03

TPDB06/TRS/higher-order/Bird/TreeHeight.trs YES 0.09 YES 0.03 YES 0.08 YES 0.07 YES 0.03 YES 0.27 YES 0.12 MAYBE 0.03

TPDB06/TRS/higher-order/Bird/TreeLevels.trs YES 0.16 YES 0.09 YES 0.16 YES 0.14 YES 0.06 YES 0.30 YES 0.19 MAYBE 0.07

TPDB06/TRS/higher-order/Bird/TreeMap.trs YES 0.03 YES 0.02 YES 0.05 YES 0.03 YES 0.02 YES 0.14 YES 0.07 MAYBE 0.24

TPDB06/TRS/higher-order/Bird/TreeSize.trs YES 0.08 YES 0.03 YES 0.08 YES 0.07 YES 0.02 YES 0.20 YES 0.12 MAYBE 9.09

TPDB06/TRS/higher-order/Kusakari/Ex6_11.trs YES 0.02 YES 0.01 YES 0.03 YES 0.02 YES 0.01 YES 0.06 YES 0.03 MAYBE 0.01

TPDB06/TRS/higher-order/Kusakari/Ex7_9.trs MAYBE 0.16 MAYBE 0.05 MAYBE 0.14 MAYBE 0.13 MAYBE 0.05 MAYBE 0.34 MAYBE 0.16 MAYBE 0.05

TPDB06/TRS/higher-order/Lifantsev/Ex10Functional.trs MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 0.05 MAYBE 0.03 MAYBE 0.03 MAYBE 0.04

TPDB06/TRS/higher-order/Lifantsev/Ex2PrimRec.trs MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01

TPDB06/TRS/higher-order/Lifantsev/Ex3Lists.trs YES 0.11 YES 0.05 YES 0.17 YES 0.08 YES 0.04 YES 0.30 YES 0.17 MAYBE 0.03

TPDB06/TRS/higher-order/Lifantsev/Ex4MapList.trs YES 0.02 YES 0.01 YES 0.05 YES 0.04 YES 0.01 YES 0.07 YES 0.03 MAYBE 0.06

TPDB06/TRS/higher-order/Lifantsev/Ex5Sorting.trs MAYBE 0.09 MAYBE 0.06 MAYBE 0.12 MAYBE 0.08 MAYBE 0.07 MAYBE 0.17 MAYBE 0.10 MAYBE 0.12

TPDB06/TRS/higher-order/Lifantsev/Ex6Folding.trs MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.04 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01

TPDB06/TRS/higher-order/Lifantsev/Ex7OrdinalRec.trs MAYBE 0.02 MAYBE 0.02 MAYBE 0.02 MAYBE 0.02 MAYBE 0.09 MAYBE 0.02 MAYBE 0.02 MAYBE 0.04

TPDB06/TRS/higher-order/Lifantsev/Ex8Polymorphic.trs YES 0.13 YES 0.03 YES 0.13 YES 0.10 YES 0.04 YES 0.29 YES 0.11 MAYBE 0.02

TPDB06/TRS/higher-order/Lifantsev/Ex9Maps.trs MAYBE 0.09 MAYBE 0.09 MAYBE 0.08 MAYBE 0.08 MAYBE 0.05 MAYBE 0.43 MAYBE 0.08 MAYBE 0.11

TPDB06/TRS/higher-order/ToyamaRTA04/Ex5Folding.trs MAYBE 0.06 MAYBE 0.02 MAYBE 0.06 MAYBE 0.05 MAYBE 0.02 MAYBE 0.14 MAYBE 0.07 MAYBE 0.02

TPDB06/TRS/higher-order/ToyamaRTA04/Ex6Recursor.trs MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01 MAYBE 0.01

TPDB06/TRS/higher-order/ToyamaRTA04/Ex7Sorting.trs MAYBE 0.09 MAYBE 0.05 MAYBE 0.09 MAYBE 0.08 MAYBE 0.05 MAYBE 0.17 MAYBE 0.10 MAYBE 0.09

TPDB06/TRS/nontermin/AG01/#4.12a.trs MAYBE 0.02 MAYBE 0.00 MAYBE 0.02 MAYBE 0.01 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/nontermin/AG01/#4.13.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/AG01/#4.14.trs MAYBE 0.04 MAYBE 0.02 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.13 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/nontermin/AG01/#4.15.trs MAYBE 0.05 MAYBE 0.02 MAYBE 0.05 MAYBE 0.04 MAYBE 0.23 MAYBE 0.29 MAYBE 0.27 MAYBE 0.18

TPDB06/TRS/nontermin/AG01/#4.16.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/nontermin/AG01/#4.17.trs MAYBE 0.08 MAYBE 0.07 MAYBE 0.05 MAYBE 0.05 MAYBE 0.03 MAYBE 0.14 MAYBE 0.07 MAYBE 0.06

TPDB06/TRS/nontermin/AG01/#4.18.trs MAYBE 0.07 MAYBE 0.09 MAYBE 0.04 MAYBE 0.04 MAYBE 0.02 MAYBE 0.11 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/nontermin/AG01/#4.19.trs MAYBE 0.06 MAYBE 0.03 MAYBE 0.05 MAYBE 0.04 MAYBE 0.01 MAYBE 0.16 MAYBE 0.06 MAYBE 0.01

TPDB06/TRS/nontermin/AG01/#4.2.trs MAYBE 0.05 MAYBE 0.02 MAYBE 0.04 MAYBE 0.03 MAYBE 0.03 MAYBE 0.13 MAYBE 0.07 MAYBE 0.05

TPDB06/TRS/nontermin/AG01/#4.20.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/nontermin/AG01/#4.20a.trs YES 0.02 YES 0.00 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/nontermin/AG01/#4.21.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/nontermin/AG01/#4.22.trs YES 0.02 YES 0.00 YES 0.02 YES 0.02 YES 0.01 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/nontermin/AG01/#4.23.trs YES 0.07 YES 0.02 YES 0.07 YES 0.06 YES 0.01 YES 0.19 YES 0.09 YES 0.01

TPDB06/TRS/nontermin/AG01/#4.25.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/AG01/#4.26.trs MAYBE 0.06 MAYBE 0.03 MAYBE 0.04 MAYBE 0.04 MAYBE 0.10 MAYBE 0.43 MAYBE 0.13 MAYBE 189.21

TPDB06/TRS/nontermin/AG01/#4.27.trs MAYBE 0.04 MAYBE 0.01 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.12 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/nontermin/AG01/#4.28.trs MAYBE 0.05 MAYBE 0.02 MAYBE 0.47 MAYBE 0.04 MAYBE 0.02 MAYBE 0.13 MAYBE 0.06 MAYBE 0.02

TPDB06/TRS/nontermin/AG01/#4.29.trs MAYBE 0.30 MAYBE 0.33 MAYBE 0.16 MAYBE 0.13 MAYBE 36.97 MAYBE 27.15 MAYBE 14.38 MAYBE 309.93

TPDB06/TRS/nontermin/AG01/#4.3.trs MAYBE 0.01 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/AG01/#4.30.trs MAYBE 0.11 MAYBE 0.07 MAYBE 0.07 MAYBE 0.08 MAYBE 478.49 MAYBE 22.31 MAYBE 309.19 MAYBE 225.82

TPDB06/TRS/nontermin/AG01/#4.30a.trs MAYBE 0.06 MAYBE 0.01 MAYBE 0.06 MAYBE 0.05 MAYBE 0.01 MAYBE 0.18 MAYBE 0.08 MAYBE 0.01

TPDB06/TRS/nontermin/AG01/#4.30b.trs MAYBE 0.12 MAYBE 0.25 MAYBE 0.09 MAYBE 0.07 MAYBE 559.08 MAYBE 41.94 MAYBE 353.54 MAYBE 417.80

TPDB06/TRS/nontermin/AG01/#4.30c.trs MAYBE 0.15 MAYBE 0.15 MAYBE 0.10 MAYBE 0.09 MAYBE 47.97 MAYBE 32.81 MAYBE 37.22 MAYBE 100.16

TPDB06/TRS/nontermin/AG01/#4.31.trs MAYBE 0.06 MAYBE 0.08 MAYBE 0.05 MAYBE 0.04 MAYBE 0.04 MAYBE 0.12 MAYBE 0.04 MAYBE 0.02

TPDB06/TRS/nontermin/AG01/#4.32.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/nontermin/AG01/#4.33.trs YES 0.06 YES 0.02 YES 0.08 YES 0.05 YES 0.02 YES 0.20 YES 0.09 YES 0.01

TPDB06/TRS/nontermin/AG01/#4.34.trs YES 0.12 YES 0.06 YES 0.07 YES 0.05 YES 0.02 YES 0.15 YES 0.07 YES 0.02

TPDB06/TRS/nontermin/AG01/#4.35.trs YES 0.68 YES 0.53 YES 1.71 YES 0.85 YES 0.15 KILLED 600.00 YES 0.37 YES 1.78

TPDB06/TRS/nontermin/AG01/#4.36.trs YES 0.23 YES 0.13 YES 0.18 YES 0.14 KILLED 600.00 YES 0.47 KILLED 600.00 YES 0.03

TPDB06/TRS/nontermin/AG01/#4.37.trs YES 0.04 YES 0.01 YES 0.04 YES 0.04 YES 0.01 YES 0.12 YES 0.17 YES 0.01

TPDB06/TRS/nontermin/AG01/#4.37a.trs YES 0.04 YES 0.01 YES 0.05 YES 0.04 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/nontermin/AG01/#4.4.trs MAYBE 0.02 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/nontermin/AG01/#4.7.trs MAYBE 0.04 MAYBE 0.04 MAYBE 0.03 MAYBE 0.02 MAYBE 0.04 MAYBE 0.07 MAYBE 0.07 MAYBE 0.21

TPDB06/TRS/nontermin/CSR/Ex14_AEGL02.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex15_Luc98.trs MAYBE 0.04 MAYBE 0.01 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.12 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex1_2_AEL03.trs MAYBE 0.07 MAYBE 0.01 MAYBE 0.06 MAYBE 0.05 MAYBE 0.01 MAYBE 0.19 MAYBE 0.12 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex1_2_Luc02c.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex1_GL02a.trs MAYBE 0.06 MAYBE 0.01 MAYBE 0.06 MAYBE 0.05 MAYBE 0.01 MAYBE 0.18 MAYBE 0.07 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex1_GM03.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex1_GM99.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex1_Luc02b.trs MAYBE 0.04 MAYBE 0.01 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.12 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex1_Zan97.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex24_GM04.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex26_Luc03b.trs MAYBE 0.08 MAYBE 0.01 MAYBE 0.08 MAYBE 0.06 MAYBE 0.01 MAYBE 0.24 MAYBE 0.10 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex2_Luc03b.trs MAYBE 0.06 MAYBE 0.01 MAYBE 0.06 MAYBE 0.05 MAYBE 0.01 MAYBE 0.18 MAYBE 0.07 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex3_12_Luc96a.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex3_2_Luc97.trs MAYBE 0.08 MAYBE 0.01 MAYBE 0.07 MAYBE 0.06 MAYBE 0.01 MAYBE 0.25 MAYBE 0.10 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex3_3_25_Bor03.trs MAYBE 0.10 MAYBE 0.01 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.12 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex49_GM04.trs YES 0.07 YES 0.01 YES 0.06 YES 0.05 YES 0.01 YES 0.19 YES 0.08 YES 0.01

TPDB06/TRS/nontermin/CSR/Ex4_4_Luc96b.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex4_7_15_Bor03.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.03

TPDB06/TRS/nontermin/CSR/Ex4_7_37_Bor03.trs MAYBE 0.09 MAYBE 0.02 MAYBE 0.08 MAYBE 0.07 MAYBE 0.01 MAYBE 0.25 MAYBE 0.10 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex4_7_56_Bor03.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex4_7_77_Bor03.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex4_Zan97.trs MAYBE 0.04 MAYBE 0.14 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.12 MAYBE 0.05 MAYBE 0.02

TPDB06/TRS/nontermin/CSR/Ex5_7_Luc97.trs MAYBE 0.14 MAYBE 0.03 MAYBE 0.14 MAYBE 0.11 MAYBE 0.02 MAYBE 0.42 MAYBE 0.17 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex5_Zan97.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex6_15_AEL02.trs MAYBE 0.15 MAYBE 0.03 MAYBE 0.16 MAYBE 0.15 MAYBE 0.03 MAYBE 0.57 MAYBE 0.23 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex6_9_Luc02c.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex6_GM04.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex6_Luc98.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex7_BLR02.trs MAYBE 0.04 MAYBE 0.01 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.12 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/Ex8_BLR02.trs MAYBE 0.04 MAYBE 0.01 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.12 MAYBE 0.05 MAYBE 0.02

TPDB06/TRS/nontermin/CSR/Ex9_BLR02.trs MAYBE 0.06 MAYBE 0.03 MAYBE 0.07 MAYBE 0.06 MAYBE 0.02 MAYBE 0.20 MAYBE 0.09 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/ExAppendixB_AEL03.trs MAYBE 0.14 MAYBE 0.02 MAYBE 0.07 MAYBE 0.06 MAYBE 0.01 MAYBE 0.20 MAYBE 0.09 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/ExConc_Zan97.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/ExIntrod_GM01.trs MAYBE 0.04 MAYBE 0.02 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.12 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/ExIntrod_GM04.trs MAYBE 0.04 MAYBE 0.01 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.12 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/nontermin/CSR/ExIntrod_GM99.trs MAYBE 0.11 MAYBE 0.11 MAYBE 0.07 MAYBE 0.08 MAYBE 0.06 MAYBE 0.28 MAYBE 0.11 MAYBE 11.85

TPDB06/TRS/nontermin/CSR/ExIntrod_Zan97.trs MAYBE 0.04 MAYBE 0.01 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.13 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/nontermin/HM/n001.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/nontermin/Rubio-inn/bn111.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/nontermin/Rubio-inn/gkg.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/Rubio-inn/muladd.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.10

TPDB06/TRS/nontermin/Rubio-inn/test10.trs MAYBE 0.04 MAYBE 0.01 MAYBE 0.04 MAYBE 0.03 MAYBE 0.94 MAYBE 0.13 MAYBE 0.97 MAYBE 1.79

TPDB06/TRS/nontermin/Rubio-inn/test75.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/nontermin/Rubio-inn/test76.trs MAYBE 0.04 MAYBE 0.01 MAYBE 0.04 MAYBE 0.03 MAYBE 0.01 MAYBE 0.12 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/nontermin/Rubio-inn/test77.trs MAYBE 0.13 MAYBE 0.01 MAYBE 0.04 MAYBE 0.03 MAYBE 0.02 MAYBE 0.13 MAYBE 0.05 MAYBE 0.04

TPDB06/TRS/nontermin/Rubio-inn/test830.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/nontermin/Rubio-inn/test9.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.01 MAYBE 0.00 MAYBE 0.07 MAYBE 0.03 MAYBE 0.03

TPDB06/TRS/nontermin/Rubio-inn/toyama.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/TRCSR/ExSec11_1_Luc02a.trs MAYBE 0.10 MAYBE 0.02 MAYBE 0.10 MAYBE 0.08 MAYBE 0.01 MAYBE 0.30 MAYBE 0.12 MAYBE 0.01

TPDB06/TRS/nontermin/cariboo/ex1.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/cariboo/ex2.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/cariboo/ex3.trs MAYBE 0.03 MAYBE 0.01 MAYBE 0.03 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/nontermin/cariboo/ex4.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/nontermin/cariboo/ex5.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/cariboo/ex6.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.01

TPDB06/TRS/nontermin/cariboo/tricky1.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.02

TPDB06/TRS/secret05/aprove1.trs MAYBE 0.17 MAYBE 0.16 MAYBE 0.13 MAYBE 0.10 MAYBE 0.04 MAYBE 0.24 MAYBE 0.13 MAYBE 0.03

TPDB06/TRS/secret05/aprove2.trs MAYBE 0.09 MAYBE 0.05 MAYBE 0.07 MAYBE 0.06 MAYBE 4.65 MAYBE 0.70 MAYBE 3.81 KILLED 600.00

TPDB06/TRS/secret05/aprove3.trs MAYBE 0.06 MAYBE 0.04 MAYBE 0.06 MAYBE 0.05 MAYBE 0.01 MAYBE 0.15 MAYBE 0.07 MAYBE 37.62

TPDB06/TRS/secret05/aprove4.trs MAYBE 0.07 MAYBE 0.03 MAYBE 0.09 MAYBE 0.07 MAYBE 0.19 MAYBE 0.34 MAYBE 0.33 MAYBE 135.75

TPDB06/TRS/secret05/aprove5.trs MAYBE 0.23 MAYBE 0.14 MAYBE 0.21 MAYBE 0.15 MAYBE 0.30 MAYBE 0.68 MAYBE 0.36 MAYBE 1.38

TPDB06/TRS/secret05/cime1.trs MAYBE 1.01 MAYBE 1.89 MAYBE 9.01 MAYBE 1.16 MAYBE 2.58 KILLED 600.00 MAYBE 1.27 MAYBE 558.06

TPDB06/TRS/secret05/cime2.trs MAYBE 0.07 MAYBE 0.09 MAYBE 0.05 MAYBE 0.04 MAYBE 0.03 MAYBE 0.18 MAYBE 0.06 MAYBE 0.78

TPDB06/TRS/secret05/cime3.trs MAYBE 0.42 MAYBE 1.02 MAYBE 0.58 MAYBE 0.40 KILLED 600.00 MAYBE 7.18 KILLED 600.00 KILLED 600.00

TPDB06/TRS/secret05/cime4.trs MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.00 MAYBE 0.15 MAYBE 0.01

TPDB06/TRS/secret05/cime5.trs YES 3.91 YES 5.38 YES 11.82 YES 5.95 KILLED 600.00 KILLED 600.00 MAYBE 0.34 KILLED 600.00

TPDB06/TRS/secret05/matchbox1.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.03 MAYBE 0.02 MAYBE 0.00 MAYBE 0.08 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/secret05/matchbox2.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/secret05/teparla1.trs MAYBE 0.03 MAYBE 0.02 MAYBE 0.03 MAYBE 0.03 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/secret05/teparla2.trs MAYBE 0.05 MAYBE 0.06 MAYBE 0.04 MAYBE 0.05 MAYBE 0.02 MAYBE 0.09 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/secret05/teparla3.trs MAYBE 0.05 MAYBE 0.04 MAYBE 0.04 MAYBE 0.05 MAYBE 0.02 MAYBE 0.08 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/secret05/tpa1.trs MAYBE 0.12 MAYBE 0.08 MAYBE 0.11 MAYBE 0.09 MAYBE 0.02 MAYBE 0.30 MAYBE 0.11 MAYBE 14.12

TPDB06/TRS/secret05/tpa2.trs MAYBE 0.07 MAYBE 0.05 MAYBE 0.06 MAYBE 0.07 MAYBE 0.04 MAYBE 0.15 MAYBE 0.09 MAYBE 0.04

TPDB06/TRS/secret05/tpa3.trs MAYBE 0.10 MAYBE 0.07 MAYBE 0.11 MAYBE 0.09 MAYBE 0.02 MAYBE 0.27 MAYBE 0.11 MAYBE 0.03

TPDB06/TRS/secret05/tpa4.trs MAYBE 0.12 MAYBE 0.11 MAYBE 0.12 MAYBE 0.10 MAYBE 0.02 MAYBE 0.28 MAYBE 0.11 MAYBE 0.12

TPDB06/TRS/secret05/tpa5.trs MAYBE 0.12 MAYBE 0.09 MAYBE 0.11 MAYBE 0.09 MAYBE 0.04 MAYBE 0.29 MAYBE 0.14 MAYBE 1.95

TPDB06/TRS/secret05/ttt1.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/secret05/ttt2.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.02 MAYBE 0.01

TPDB06/TRS/secret06/addList.trs MAYBE 0.19 MAYBE 0.17 MAYBE 0.14 MAYBE 0.14 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/secret06/cime1.trs MAYBE 0.14 MAYBE 0.14 MAYBE 0.12 MAYBE 0.11 MAYBE 0.04 MAYBE 77.12 MAYBE 0.25 MAYBE 2.67

TPDB06/TRS/secret06/divExp.trs MAYBE 0.07 MAYBE 0.02 MAYBE 0.07 MAYBE 0.05 MAYBE 0.01 MAYBE 0.19 MAYBE 0.08 MAYBE 0.02

TPDB06/TRS/secret06/division.trs MAYBE 0.10 MAYBE 0.08 MAYBE 0.09 MAYBE 0.07 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/secret06/double.trs MAYBE 0.15 MAYBE 0.10 MAYBE 0.15 MAYBE 0.12 MAYBE 0.04 MAYBE 0.52 MAYBE 0.36 MAYBE 1.30

TPDB06/TRS/secret06/jambox1.trs MAYBE 0.06 MAYBE 0.10 MAYBE 0.04 MAYBE 0.06 MAYBE 0.04 MAYBE 0.08 MAYBE 0.07 MAYBE 0.01

TPDB06/TRS/secret06/jambox10.trs MAYBE 0.10 MAYBE 0.22 MAYBE 0.05 MAYBE 0.09 MAYBE 0.07 MAYBE 0.10 MAYBE 0.10 MAYBE 0.04

TPDB06/TRS/secret06/jambox2.trs MAYBE 0.18 MAYBE 0.21 MAYBE 0.13 MAYBE 0.13 MAYBE 1.82 MAYBE 8.43 MAYBE 0.06 MAYBE 1.41

TPDB06/TRS/secret06/jambox3.trs MAYBE 0.43 MAYBE 0.88 MAYBE 0.17 MAYBE 0.19 MAYBE 58.77 MAYBE 1.32 MAYBE 36.40 MAYBE 13.60

TPDB06/TRS/secret06/jambox4.trs MAYBE 0.12 MAYBE 0.14 MAYBE 0.08 MAYBE 0.09 MAYBE 0.53 MAYBE 2.25 MAYBE 0.36 MAYBE 1.60

TPDB06/TRS/secret06/jambox5.trs MAYBE 0.09 MAYBE 0.07 MAYBE 0.09 MAYBE 0.07 MAYBE 0.03 MAYBE 0.15 MAYBE 0.08 MAYBE 0.01

TPDB06/TRS/secret06/jambox6.trs MAYBE 0.13 MAYBE 0.25 MAYBE 0.10 MAYBE 0.18 MAYBE 0.07 MAYBE 0.92 MAYBE 0.17 MAYBE 2.10

TPDB06/TRS/secret06/jambox7.trs YES 0.09 YES 0.09 YES 0.08 YES 0.09 YES 0.04 YES 0.09 YES 0.11 YES 0.20

TPDB06/TRS/secret06/jambox8.trs MAYBE 0.16 MAYBE 0.34 MAYBE 0.27 MAYBE 0.29 MAYBE 0.07 MAYBE 0.17 MAYBE 0.14 MAYBE 0.17

TPDB06/TRS/secret06/jambox9.trs MAYBE 0.13 MAYBE 0.18 MAYBE 0.14 MAYBE 0.14 MAYBE 0.05 MAYBE 0.19 MAYBE 0.11 MAYBE 0.38

TPDB06/TRS/secret06/logarithm.trs MAYBE 0.15 MAYBE 0.17 MAYBE 0.11 MAYBE 0.09 MAYBE 7.21 MAYBE 35.72 MAYBE 5.09 KILLED 600.00

TPDB06/TRS/secret06/matchbox-gen-1.trs MAYBE 0.06 MAYBE 0.06 MAYBE 0.04 MAYBE 0.04 MAYBE 0.39 MAYBE 0.10 MAYBE 0.44 MAYBE 0.53

TPDB06/TRS/secret06/matchbox-gen-10.trs MAYBE 0.12 MAYBE 0.10 MAYBE 0.15 MAYBE 0.10 MAYBE 0.03 MAYBE 0.17 MAYBE 0.12 MAYBE 0.12

TPDB06/TRS/secret06/matchbox-gen-14.trs MAYBE 0.04 MAYBE 0.02 MAYBE 0.04 MAYBE 0.03 MAYBE 0.02 MAYBE 0.08 MAYBE 0.04 MAYBE 0.01

TPDB06/TRS/secret06/matchbox-gen-15.trs MAYBE 0.08 MAYBE 0.11 MAYBE 0.06 MAYBE 0.05 MAYBE 0.08 MAYBE 0.53 MAYBE 0.12 MAYBE 1.16

TPDB06/TRS/secret06/matchbox-gen-17.trs YES 0.03 YES 0.01 YES 0.03 YES 0.03 YES 0.01 YES 0.06 YES 0.03 YES 0.09

TPDB06/TRS/secret06/matchbox-gen-18.trs MAYBE 0.05 MAYBE 0.04 MAYBE 0.04 MAYBE 0.04 MAYBE 0.15 MAYBE 43.86 MAYBE 0.16 MAYBE 0.01

TPDB06/TRS/secret06/matchbox-gen-22.trs MAYBE 0.10 MAYBE 0.11 MAYBE 0.11 MAYBE 0.09 MAYBE 0.07 MAYBE 0.22 MAYBE 0.12 MAYBE 0.13

TPDB06/TRS/secret06/matchbox-gen-25.trs MAYBE 0.05 MAYBE 0.04 MAYBE 0.07 MAYBE 0.04 MAYBE 0.02 MAYBE 0.14 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/secret06/matchbox-gen-28.trs MAYBE 0.08 MAYBE 0.11 MAYBE 0.07 MAYBE 0.07 MAYBE 0.07 MAYBE 11.81 MAYBE 0.05 MAYBE 2.43

TPDB06/TRS/secret06/matchbox-gen-9.trs MAYBE 0.10 MAYBE 0.08 MAYBE 0.12 MAYBE 0.09 MAYBE 0.05 MAYBE 0.29 MAYBE 0.13 MAYBE 0.10

TPDB06/TRS/secret06/nrOfNodes.trs MAYBE 0.17 MAYBE 0.12 MAYBE 0.08 MAYBE 0.07 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/secret06/reverse.trs MAYBE 0.12 MAYBE 0.06 MAYBE 0.11 MAYBE 0.08 MAYBE 19.66 MAYBE 3.27 MAYBE 10.33 KILLED 600.00

TPDB06/TRS/secret06/sumList.trs MAYBE 0.12 MAYBE 0.10 MAYBE 0.10 MAYBE 0.09 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/secret06/times.trs MAYBE 0.17 MAYBE 0.12 MAYBE 0.15 MAYBE 0.12 KILLED 600.00 MAYBE 0.52 KILLED 600.00 KILLED 600.00

TPDB06/TRS/secret06/toList.trs MAYBE 0.15 MAYBE 0.30 MAYBE 0.10 MAYBE 0.08 KILLED 600.00 KILLED 600.00 KILLED 600.00 KILLED 600.00

TPDB06/TRS/secret06/tpa01.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.01 MAYBE 0.10 MAYBE 0.12 MAYBE 0.01

TPDB06/TRS/secret06/tpa02.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.03 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/secret06/tpa03.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.03 MAYBE 0.02 MAYBE 0.01 MAYBE 0.07 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/secret06/tpa04.trs MAYBE 0.17 MAYBE 0.17 MAYBE 0.15 MAYBE 0.16 MAYBE 6.88 MAYBE 84.12 MAYBE 6.03 MAYBE 38.44

TPDB06/TRS/secret06/tpa05.trs MAYBE 0.15 MAYBE 0.10 MAYBE 0.19 MAYBE 0.14 MAYBE 0.03 MAYBE 0.35 MAYBE 0.14 MAYBE 0.11

TPDB06/TRS/secret06/tpa06.trs MAYBE 0.58 MAYBE 0.92 MAYBE 0.21 MAYBE 0.56 MAYBE 67.31 MAYBE 8.04 MAYBE 45.20 MAYBE 9.61

TPDB06/TRS/secret06/tpa07.trs MAYBE 0.11 MAYBE 0.06 MAYBE 0.11 MAYBE 0.10 MAYBE 0.02 MAYBE 0.27 MAYBE 0.12 MAYBE 0.06

TPDB06/TRS/secret06/tpa08.trs MAYBE 0.14 MAYBE 0.09 MAYBE 0.19 MAYBE 0.16 MAYBE 0.04 MAYBE 0.28 MAYBE 0.14 MAYBE 0.06

TPDB06/TRS/secret06/tpa09.trs MAYBE 0.39 MAYBE 0.76 MAYBE 0.60 MAYBE 0.84 MAYBE 0.04 MAYBE 0.44 MAYBE 0.19 MAYBE 0.72

TPDB06/TRS/secret06/tpa10.trs MAYBE 0.21 MAYBE 0.16 MAYBE 0.17 MAYBE 0.18 MAYBE 0.28 KILLED 600.00 MAYBE 165.88 MAYBE 23.95

TPDB06/TRS/various/02.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 MAYBE 0.01

TPDB06/TRS/various/03.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 MAYBE 0.01

TPDB06/TRS/various/04.trs MAYBE 0.04 MAYBE 0.03 MAYBE 0.02 MAYBE 0.02 MAYBE 0.15 MAYBE 0.14 MAYBE 0.09 KILLED 600.00

TPDB06/TRS/various/05.trs MAYBE 0.03 MAYBE 0.03 MAYBE 0.02 MAYBE 0.02 MAYBE 0.15 MAYBE 0.13 MAYBE 0.08 KILLED 600.00

TPDB06/TRS/various/06.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/various/07.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/various/08.trs MAYBE 0.04 MAYBE 0.03 MAYBE 0.03 MAYBE 0.03 MAYBE 11.17 MAYBE 0.17 MAYBE 124.67 KILLED 600.00

TPDB06/TRS/various/09.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/various/10.trs YES 0.19 YES 0.08 YES 0.19 YES 0.17 YES 22.68 YES 0.47 YES 21.19 YES 0.02

TPDB06/TRS/various/11.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/various/12.trs YES 0.14 YES 0.03 YES 0.14 YES 0.10 YES 0.04 YES 0.37 YES 0.19 YES 0.01

TPDB06/TRS/various/13.trs YES 0.22 YES 0.12 YES 0.25 YES 0.18 YES 0.08 YES 0.62 YES 0.33 YES 0.02

TPDB06/TRS/various/14.trs YES 0.42 YES 0.15 YES 0.39 YES 0.23 YES 0.12 YES 0.89 YES 0.47 YES 0.07

TPDB06/TRS/various/15.trs MAYBE 0.02 MAYBE 0.01 MAYBE 0.02 MAYBE 0.02 MAYBE 0.00 MAYBE 0.06 MAYBE 0.03 MAYBE 0.01

TPDB06/TRS/various/18.trs YES 0.08 YES 0.04 YES 0.07 YES 0.19 YES 0.01 YES 0.15 YES 0.07 YES 0.01

TPDB06/TRS/various/19.trs YES 0.11 YES 0.07 YES 0.09 YES 0.07 YES 0.04 YES 0.20 YES 0.10 YES 0.02

TPDB06/TRS/various/20.trs MAYBE 0.04 MAYBE 0.04 MAYBE 0.04 MAYBE 0.04 MAYBE 0.01 MAYBE 0.08 MAYBE 0.05 MAYBE 0.01

TPDB06/TRS/various/21.trs YES 0.28 YES 0.24 YES 0.11 YES 0.11 YES 0.06 YES 0.14 YES 0.10 YES 0.03

TPDB06/TRS/various/22.trs YES 0.02 YES 0.01 YES 0.02 YES 0.02 YES 0.00 YES 0.06 YES 0.03 YES 0.01

TPDB06/TRS/various/23.trs YES 0.04 YES 0.01 YES 0.04 YES 0.03 YES 0.01 YES 0.12 YES 0.05 YES 0.01

TPDB06/TRS/various/24.trs YES 0.04 YES 0.01 YES 0.04 YES 0.04 YES 0.01 YES 0.12 YES 0.06 YES 0.01

TPDB06/TRS/various/25.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01

TPDB06/TRS/various/26.trs YES 0.04 YES 0.02 YES 0.04 YES 0.04 YES 0.01 YES 0.08 MAYBE 0.04 YES 0.01

TPDB06/TRS/various/27.trs YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.00 YES 0.01