Example	TTT, quasi, Thm. 5, 60s		TTT, quasi, Thm. 5, 10min		APR, quasi, Thm. 5, 60s		APR, quasi, Thm. 5, 10min		SAT, quasi, Thm. 5, 60s		SAT, quasi, Thm. 5, 10min
TPDB05/AG01/#3.1.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/AG01/#3.10.trs	KILLED	60.00	MAYBE	67.99	KILLED	60.00	KILLED	600.00	MAYBE	0.56	MAYBE	0.56
TPDB05/AG01/#3.11.trs	YES	1.64	YES	1.64	KILLED	60.00	KILLED	600.00	YES	0.22	YES	0.22
TPDB05/AG01/#3.12.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.03	MAYBE	0.03	MAYBE	0.02	MAYBE	0.02
TPDB05/AG01/#3.13.trs	KILLED	60.00	MAYBE	60.52	KILLED	60.00	MAYBE	357.65	MAYBE	1.05	MAYBE	1.05
TPDB05/AG01/#3.14.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/AG01/#3.15.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/AG01/#3.16.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/AG01/#3.17.trs	MAYBE	0.14	MAYBE	0.14	MAYBE	0.62	MAYBE	0.62	MAYBE	0.14	MAYBE	0.14
TPDB05/AG01/#3.17a.trs	MAYBE	5.32	MAYBE	5.32	MAYBE	0.37	MAYBE	0.37	MAYBE	0.09	MAYBE	0.09
TPDB05/AG01/#3.18.trs	YES	0.03	YES	0.03	YES	0.02	YES	0.02	YES	0.02	YES	0.02
TPDB05/AG01/#3.19.trs	YES	0.05	YES	0.05	YES	0.16	YES	0.16	YES	0.04	YES	0.04
TPDB05/AG01/#3.2.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/AG01/#3.21.trs	MAYBE	0.09	MAYBE	0.09	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/AG01/#3.22.trs	MAYBE	0.26	MAYBE	0.26	YES	0.03	YES	0.03	YES	0.12	YES	0.12
TPDB05/AG01/#3.23.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/AG01/#3.24.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/AG01/#3.26.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/AG01/#3.29.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/AG01/#3.31.trs	YES	0.00	YES	0.00	YES	0.01	YES	0.01	YES	0.00	YES	0.00
TPDB05/AG01/#3.33.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/AG01/#3.35.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/AG01/#3.36.trs	YES	0.02	YES	0.02	YES	0.20	YES	0.20	YES	0.05	YES	0.05
TPDB05/AG01/#3.37.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.14	YES	0.14
TPDB05/AG01/#3.38.trs	YES	0.09	YES	0.09	YES	6.93	YES	6.93	YES	0.15	YES	0.15
TPDB05/AG01/#3.39.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.02	MAYBE	0.02	MAYBE	0.07	MAYBE	0.07
TPDB05/AG01/#3.4.trs	YES	0.02	YES	0.02	YES	0.05	YES	0.05	YES	0.03	YES	0.03
TPDB05/AG01/#3.40.trs	MAYBE	0.13	MAYBE	0.13	MAYBE	0.06	MAYBE	0.06	MAYBE	0.27	MAYBE	0.27
TPDB05/AG01/#3.41.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/AG01/#3.42.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/AG01/#3.47.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/AG01/#3.48.trs	YES	0.28	YES	0.28	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/AG01/#3.49.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.04	MAYBE	0.04	MAYBE	0.06	MAYBE	0.06
TPDB05/AG01/#3.5.trs	YES	0.19	YES	0.19	YES	0.89	YES	0.89	YES	0.16	YES	0.16
TPDB05/AG01/#3.51.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/AG01/#3.52.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/AG01/#3.53.trs	MAYBE	0.10	MAYBE	0.10	MAYBE	0.07	MAYBE	0.07	MAYBE	0.07	MAYBE	0.07
TPDB05/AG01/#3.53a.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/AG01/#3.53b.trs	YES	0.01	YES	0.01	YES	0.11	YES	0.11	YES	0.01	YES	0.01
TPDB05/AG01/#3.54.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/AG01/#3.55.trs	YES	1.63	YES	1.63	KILLED	60.00	KILLED	600.00	YES	0.48	YES	0.48
TPDB05/AG01/#3.56.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.02	YES	0.02
TPDB05/AG01/#3.57.trs	MAYBE	0.16	MAYBE	0.16	MAYBE	0.58	MAYBE	0.58	MAYBE	0.11	MAYBE	0.11
TPDB05/AG01/#3.5a.trs	YES	0.19	YES	0.19	YES	7.02	YES	7.02	YES	0.07	YES	0.07
TPDB05/AG01/#3.5b.trs	YES	0.42	YES	0.42	KILLED	60.00	YES	101.92	YES	0.26	YES	0.26
TPDB05/AG01/#3.6.trs	MAYBE	0.33	MAYBE	0.33	MAYBE	7.65	MAYBE	7.65	MAYBE	0.11	MAYBE	0.11
TPDB05/AG01/#3.6a.trs	MAYBE	0.34	MAYBE	0.34	MAYBE	2.65	MAYBE	2.65	MAYBE	0.12	MAYBE	0.12
TPDB05/AG01/#3.6b.trs	MAYBE	21.58	MAYBE	21.58	KILLED	60.00	MAYBE	242.35	MAYBE	0.73	MAYBE	0.73
TPDB05/AG01/#3.7.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/AG01/#3.8a.trs	YES	0.04	YES	0.04	YES	0.07	YES	0.07	YES	0.05	YES	0.05
TPDB05/AG01/#3.8b.trs	YES	0.29	YES	0.29	YES	4.28	YES	4.28	YES	0.33	YES	0.33
TPDB05/AProVE/AAECC-ring.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	17.99	MAYBE	17.99
TPDB05/AProVE/AAECC.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.75	MAYBE	0.75
TPDB05/AProVE/IJCAR_1.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/AProVE/IJCAR_12.trs	YES	0.05	YES	0.05	YES	0.61	YES	0.61	YES	0.05	YES	0.05
TPDB05/AProVE/IJCAR_18.trs	MAYBE	2.28	MAYBE	2.28	KILLED	60.00	KILLED	600.00	MAYBE	0.28	MAYBE	0.28
TPDB05/AProVE/IJCAR_26.trs	MAYBE	0.17	MAYBE	0.17	KILLED	60.00	KILLED	600.00	MAYBE	0.22	MAYBE	0.22
TPDB05/AProVE/IJCAR_26a.trs	MAYBE	0.63	MAYBE	0.63	KILLED	60.00	KILLED	600.00	MAYBE	0.24	MAYBE	0.24
TPDB05/AProVE/JFP_Ex17.trs	YES	9.17	YES	9.17	KILLED	60.00	KILLED	600.00	YES	0.35	YES	0.35
TPDB05/AProVE/JFP_Ex31.trs	MAYBE	20.23	MAYBE	20.23	MAYBE	17.39	MAYBE	17.39	MAYBE	0.11	MAYBE	0.11
TPDB05/AProVE/JFP_Ex51.trs	YES	20.27	YES	20.27	KILLED	60.00	KILLED	600.00	YES	0.68	YES	0.68
TPDB05/AProVE/LPAR_intlist.trs	YES	0.01	YES	0.01	YES	0.02	YES	0.02	YES	0.01	YES	0.01
TPDB05/AProVE/Liveness6.1.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.03	MAYBE	0.03	MAYBE	0.03	MAYBE	0.03
TPDB05/AProVE/Liveness6.2.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.05	MAYBE	0.05	MAYBE	0.03	MAYBE	0.03
TPDB05/AProVE/Liveness6.3.trs	MAYBE	0.32	MAYBE	0.32	MAYBE	0.60	MAYBE	0.60	MAYBE	0.36	MAYBE	0.36
TPDB05/AProVE/Liveness6.4.trs	MAYBE	0.44	MAYBE	0.44	MAYBE	2.11	MAYBE	2.11	MAYBE	0.16	MAYBE	0.16
TPDB05/AProVE/Liveness8.trs	YES	2.83	YES	2.83	YES	36.19	YES	36.19	YES	0.46	YES	0.46
TPDB05/AProVE/Liveness_WRS.trs	MAYBE	12.72	MAYBE	12.72	MAYBE	3.13	MAYBE	3.13	MAYBE	0.55	MAYBE	0.55
TPDB05/AProVE/fac.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/AProVE/forward_instantiation.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/AProVE/forward_instantiation2.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/AProVE/improved_usable.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/AProVE/improved_usable2.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/AProVE/rta1.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.17	MAYBE	0.17	MAYBE	0.05	MAYBE	0.05
TPDB05/AProVE/rta2.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/AProVE/rta3.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.27	MAYBE	0.27	MAYBE	0.04	MAYBE	0.04
TPDB05/Cime/ack_prolog.trs	YES	0.11	YES	0.11	YES	10.97	YES	10.97	YES	0.16	YES	0.16
TPDB05/Cime/append-hard.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.57	MAYBE	0.57	MAYBE	0.03	MAYBE	0.03
TPDB05/Cime/append-wrong.trs	MAYBE	0.07	MAYBE	0.07	MAYBE	1.19	MAYBE	1.19	MAYBE	0.04	MAYBE	0.04
TPDB05/Cime/append.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Cime/big.trs	MAYBE	24.53	MAYBE	24.53	KILLED	60.00	KILLED	600.00	MAYBE	0.56	MAYBE	0.56
TPDB05/Cime/boolean_rings.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.21	YES	0.21
TPDB05/Cime/dpqs.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/Cime/fact-hard.trs	MAYBE	0.11	MAYBE	0.11	MAYBE	0.92	MAYBE	0.92	MAYBE	0.15	MAYBE	0.15
TPDB05/Cime/filliatre.trs	KILLED	60.00	MAYBE	63.21	KILLED	60.00	KILLED	600.00	MAYBE	0.85	MAYBE	0.85
TPDB05/Cime/filliatre2.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.39	MAYBE	1.39
TPDB05/Cime/filliatre3.trs	KILLED	60.00	MAYBE	333.28	KILLED	60.00	KILLED	600.00	MAYBE	1.39	MAYBE	1.39
TPDB05/Cime/intersect.trs	MAYBE	1.70	MAYBE	1.70	KILLED	60.00	KILLED	600.00	MAYBE	0.25	MAYBE	0.25
TPDB05/Cime/list-sum-prod-assoc-append.trs	YES	0.04	YES	0.04	YES	0.05	YES	0.05	YES	0.07	YES	0.07
TPDB05/Cime/list-sum-prod-assoc.trs	YES	0.03	YES	0.03	YES	0.04	YES	0.04	YES	0.05	YES	0.05
TPDB05/Cime/list-sum-prod-bin-assoc-distr-app.trs	MAYBE	0.11	MAYBE	0.11	MAYBE	0.19	MAYBE	0.19	MAYBE	0.25	MAYBE	0.25
TPDB05/Cime/list-sum-prod-bin-assoc.trs	MAYBE	0.07	MAYBE	0.07	MAYBE	0.29	MAYBE	0.29	MAYBE	0.10	MAYBE	0.10
TPDB05/Cime/list-sum-prod-bin.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.05	MAYBE	0.05	MAYBE	0.06	MAYBE	0.06
TPDB05/Cime/list-sum-prod.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/Cime/log2.trs	MAYBE	0.13	MAYBE	0.13	MAYBE	0.16	MAYBE	0.16	MAYBE	0.72	MAYBE	0.72
TPDB05/Cime/lse.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.45	MAYBE	0.45
TPDB05/Cime/maude2.trs	MAYBE	4.53	MAYBE	4.53	KILLED	60.00	KILLED	600.00	MAYBE	0.30	MAYBE	0.30
TPDB05/Cime/mucrl1.trs	YES	16.83	YES	16.83	YES	1.40	YES	1.40	YES	1.67	YES	1.67
TPDB05/Cime/quick.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.18	MAYBE	1.18
TPDB05/Cime/ternary-hard.trs	MAYBE	3.64	MAYBE	3.64	MAYBE	6.43	MAYBE	6.43	MAYBE	0.81	MAYBE	0.81
TPDB05/Cime/ternary.trs	MAYBE	3.16	MAYBE	3.16	MAYBE	10.85	MAYBE	10.85	MAYBE	0.25	MAYBE	0.25
TPDB05/Cime/tree.trs	MAYBE	0.15	MAYBE	0.15	MAYBE	0.07	MAYBE	0.07	MAYBE	0.19	MAYBE	0.19
TPDB05/D33/01.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/D33/02.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/D33/03.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/D33/04.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.00	YES	0.00
TPDB05/D33/06.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/D33/07.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/D33/08.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.36	YES	0.36
TPDB05/D33/09.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/D33/11.trs	YES	0.14	YES	0.14	YES	0.02	YES	0.02	YES	0.06	YES	0.06
TPDB05/D33/12.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.02	MAYBE	0.02
TPDB05/D33/13.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02	MAYBE	0.03	MAYBE	0.03
TPDB05/D33/17.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/D33/18.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.07	YES	0.07
TPDB05/D33/20.trs	YES	0.07	YES	0.07	YES	0.02	YES	0.02	YES	0.08	YES	0.08
TPDB05/D33/21.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/D33/27.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/D33/28.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/D33/30.trs	YES	0.04	YES	0.04	YES	0.01	YES	0.01	YES	0.03	YES	0.03
TPDB05/D33/31.trs	YES	0.08	YES	0.08	YES	0.04	YES	0.04	YES	0.04	YES	0.04
TPDB05/D33/32.trs	YES	0.22	YES	0.22	YES	0.01	YES	0.01	YES	0.04	YES	0.04
TPDB05/D33/33.trs	MAYBE	0.09	MAYBE	0.09	MAYBE	0.36	MAYBE	0.36	MAYBE	0.15	MAYBE	0.15
TPDB05/HM/n002.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/HM/n003.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/HM/n004.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/HM/n005.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/HM/n006.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/HM/n007.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/HM/n008.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.08	MAYBE	0.08	MAYBE	0.00	MAYBE	0.00
TPDB05/HM/t000.trs	MAYBE	37.19	MAYBE	37.19	KILLED	60.00	KILLED	600.00	MAYBE	0.86	MAYBE	0.86
TPDB05/HM/t001.trs	MAYBE	0.12	MAYBE	0.12	MAYBE	0.72	MAYBE	0.72	MAYBE	0.11	MAYBE	0.11
TPDB05/HM/t002.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/HM/t003.trs	YES	0.10	YES	0.10	YES	0.02	YES	0.02	YES	0.03	YES	0.03
TPDB05/HM/t004.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/HM/t005.trs	MAYBE	39.60	MAYBE	39.60	KILLED	60.00	KILLED	600.00	MAYBE	0.67	MAYBE	0.67
TPDB05/HM/t006.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/HM/t007.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/HM/t008.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/HM/t009.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	6.93	MAYBE	6.93
TPDB05/HM/t010.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/HM/t011.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.03	YES	0.03
TPDB05/HM/t012.trs	YES	0.06	YES	0.06	YES	0.01	YES	0.01	YES	0.06	YES	0.06
TPDB05/HM/t013.trs	YES	0.04	YES	0.04	YES	0.17	YES	0.17	YES	0.05	YES	0.05
TPDB05/HM/t014.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/HofWald/1.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/HofWald/2.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/HofWald/3.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/HofWald/4.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/HofWald/5.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/HofWald/6.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/HofWald/7.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.07	MAYBE	0.07	MAYBE	0.02	MAYBE	0.02
TPDB05/LJB01/jones1.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/LJB01/jones2.trs	YES	0.03	YES	0.03	YES	0.08	YES	0.08	YES	0.01	YES	0.01
TPDB05/LJB01/jones4.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.03	MAYBE	0.03	MAYBE	0.02	MAYBE	0.02
TPDB05/LJB01/jones5.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/LJB01/jones6.trs	YES	0.01	YES	0.01	YES	0.02	YES	0.02	YES	0.01	YES	0.01
TPDB05/Rubio/ackclaude.trs	YES	0.12	YES	0.12	YES	11.23	YES	11.23	YES	0.13	YES	0.13
TPDB05/Rubio/aoto.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Rubio/bintrees.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/Rubio/bn122.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/Rubio/bn129.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.06	YES	0.06
TPDB05/Rubio/division.trs	YES	0.13	YES	0.13	YES	1.05	YES	1.05	YES	0.16	YES	0.16
TPDB05/Rubio/elimdupl.trs	YES	0.25	YES	0.25	YES	2.67	YES	2.67	YES	0.26	YES	0.26
TPDB05/Rubio/enno.trs	MAYBE	47.20	MAYBE	47.20	KILLED	60.00	KILLED	600.00	MAYBE	0.22	MAYBE	0.22
TPDB05/Rubio/gcd.trs	MAYBE	0.36	MAYBE	0.36	MAYBE	2.50	MAYBE	2.50	MAYBE	0.12	MAYBE	0.12
TPDB05/Rubio/gm.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.14	YES	0.14
TPDB05/Rubio/gmnp.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.33	YES	0.33
TPDB05/Rubio/koen.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/Rubio/lescanne.trs	YES	0.02	YES	0.02	YES	0.03	YES	0.03	YES	0.02	YES	0.02
TPDB05/Rubio/lindau.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Rubio/logarquot.trs	YES	0.04	YES	0.04	YES	0.03	YES	0.03	YES	0.04	YES	0.04
TPDB05/Rubio/ma96.trs	YES	26.91	YES	26.91	KILLED	60.00	KILLED	600.00	YES	1.11	YES	1.11
TPDB05/Rubio/mfp90b.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Rubio/mfp95.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Rubio/nestrec.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/Rubio/p266.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Rubio/polo2.trs	YES	0.03	YES	0.03	YES	0.01	YES	0.01	YES	0.03	YES	0.03
TPDB05/Rubio/prov.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Rubio/quick.trs	YES	1.63	YES	1.63	KILLED	60.00	KILLED	600.00	YES	0.65	YES	0.65
TPDB05/Rubio/quotminus.trs	YES	0.03	YES	0.03	YES	0.04	YES	0.04	YES	0.04	YES	0.04
TPDB05/Rubio/revlist.trs	YES	0.13	YES	0.13	YES	5.42	YES	5.42	YES	0.10	YES	0.10
TPDB05/Rubio/selsort.trs	YES	5.99	YES	5.99	KILLED	60.00	KILLED	600.00	YES	0.57	YES	0.57
TPDB05/Rubio/test4.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/Rubio/test829.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/Rubio/wst99.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.97	YES	0.97
TPDB05/SK90/2.01.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/2.02.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/SK90/2.03.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.04.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/2.05.trs	MAYBE	0.09	MAYBE	0.09	MAYBE	0.11	MAYBE	0.11	MAYBE	0.17	MAYBE	0.17
TPDB05/SK90/2.06.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.05	MAYBE	0.05	MAYBE	0.07	MAYBE	0.07
TPDB05/SK90/2.07.trs	YES	0.01	YES	0.01	YES	0.02	YES	0.02	YES	0.01	YES	0.01
TPDB05/SK90/2.08.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/SK90/2.09.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.10.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/2.11.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.12.trs	YES	0.03	YES	0.03	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/SK90/2.13.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/2.14.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/2.15.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.16.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/SK90/2.17.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.04	YES	0.04
TPDB05/SK90/2.18.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.19.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/2.20.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.21.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.22.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/SK90/2.23.trs	YES	0.02	YES	0.02	YES	0.05	YES	0.05	YES	0.02	YES	0.02
TPDB05/SK90/2.24.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.25.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/2.26.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/2.27.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/2.28.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/2.29.trs	YES	0.01	YES	0.01	YES	0.02	YES	0.02	YES	0.00	YES	0.00
TPDB05/SK90/2.30.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.31.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/2.32.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.33.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.34.trs	YES	0.04	YES	0.04	YES	0.00	YES	0.00	YES	0.03	YES	0.03
TPDB05/SK90/2.35.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/2.36.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/2.37.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00
TPDB05/SK90/2.38.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/2.39.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.04	YES	0.04
TPDB05/SK90/2.40.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.41.trs	YES	0.00	YES	0.00	YES	0.12	YES	0.12	YES	0.01	YES	0.01
TPDB05/SK90/2.42.trs	YES	0.02	YES	0.02	YES	0.08	YES	0.08	YES	0.02	YES	0.02
TPDB05/SK90/2.43.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/SK90/2.44.trs	YES	0.30	YES	0.30	YES	4.67	YES	4.67	YES	0.16	YES	0.16
TPDB05/SK90/2.45.trs	YES	0.02	YES	0.02	YES	0.12	YES	0.12	YES	0.02	YES	0.02
TPDB05/SK90/2.46.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.05	YES	0.05
TPDB05/SK90/2.47.trs	YES	0.00	YES	0.00	YES	0.01	YES	0.01	YES	0.00	YES	0.00
TPDB05/SK90/2.48.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.00	YES	0.00
TPDB05/SK90/2.49.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.00	YES	0.00
TPDB05/SK90/2.50.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.51.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/SK90/2.52.trs	YES	0.13	YES	0.13	YES	0.18	YES	0.18	YES	0.35	YES	0.35
TPDB05/SK90/2.53.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.54.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.55.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.56.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.57.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.58.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.59.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.60.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.61.trs	YES	0.07	YES	0.07	YES	0.02	YES	0.02	YES	0.05	YES	0.05
TPDB05/SK90/4.01.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.02.trs	MAYBE	0.11	MAYBE	0.11	MAYBE	0.08	MAYBE	0.08	MAYBE	0.15	MAYBE	0.15
TPDB05/SK90/4.03.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/4.04.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.05.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/4.06.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.45	MAYBE	0.45	MAYBE	0.05	MAYBE	0.05
TPDB05/SK90/4.07.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/4.08.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/SK90/4.09.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/SK90/4.10.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.03	YES	0.03
TPDB05/SK90/4.11.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.12.trs	MAYBE	0.02	MAYBE	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/4.13.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/4.14.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/SK90/4.15.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.16.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.17.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/4.18.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.19.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.03	YES	0.03
TPDB05/SK90/4.20.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.21.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.02	YES	0.02
TPDB05/SK90/4.22.trs	YES	0.00	YES	0.00	YES	0.05	YES	0.05	YES	0.01	YES	0.01
TPDB05/SK90/4.23.trs	YES	0.03	YES	0.03	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/4.24.trs	MAYBE	0.12	MAYBE	0.12	MAYBE	1.84	MAYBE	1.84	MAYBE	0.15	MAYBE	0.15
TPDB05/SK90/4.25.trs	YES	0.00	YES	0.00	YES	0.01	YES	0.01	YES	0.00	YES	0.00
TPDB05/SK90/4.26.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/4.27.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/4.28.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/SK90/4.29.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.30.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/4.31.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.32.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.87	MAYBE	0.87	MAYBE	0.05	MAYBE	0.05
TPDB05/SK90/4.33.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.34.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/SK90/4.35.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.36.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.37.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.38.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.02	YES	0.02
TPDB05/SK90/4.39.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/4.40.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/4.41.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/SK90/4.42.trs	MAYBE	0.09	MAYBE	0.09	MAYBE	0.79	MAYBE	0.79	MAYBE	0.16	MAYBE	0.16
TPDB05/SK90/4.43.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.02	MAYBE	0.02	MAYBE	0.03	MAYBE	0.03
TPDB05/SK90/4.44.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.45.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.46.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.47.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.48.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.02	YES	0.02
TPDB05/SK90/4.49.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/4.50.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.51.trs	MAYBE	0.02	MAYBE	0.02	YES	0.03	YES	0.03	YES	0.01	YES	0.01
TPDB05/SK90/4.52.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/4.53.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.54.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/4.55.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/SK90/4.56.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.57.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.58.trs	MAYBE	0.08	MAYBE	0.08	MAYBE	0.35	MAYBE	0.35	MAYBE	0.13	MAYBE	0.13
TPDB05/SK90/4.59.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/4.60.trs	YES	0.37	YES	0.37	YES	7.16	YES	7.16	YES	0.15	YES	0.15
TPDB05/SK90/4.61.trs	MAYBE	0.29	MAYBE	0.29	MAYBE	0.48	MAYBE	0.48	MAYBE	0.07	MAYBE	0.07
TPDB05/Ste92/hydra.trs	YES	0.06	YES	0.06	YES	0.03	YES	0.03	YES	0.02	YES	0.02
TPDB05/Ste92/minsort.trs	MAYBE	6.32	MAYBE	6.32	KILLED	60.00	KILLED	600.00	MAYBE	0.19	MAYBE	0.19
TPDB05/Ste92/motivation.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Ste92/perfect.trs	YES	0.03	YES	0.03	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/Ste92/perfect2.trs	YES	0.10	YES	0.10	YES	0.06	YES	0.06	YES	0.04	YES	0.04
TPDB05/TRCSR/Ex14_AEGL02_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	MAYBE	90.62	MAYBE	0.45	MAYBE	0.45
TPDB05/TRCSR/Ex14_AEGL02_FR.trs	MAYBE	1.24	MAYBE	1.24	KILLED	60.00	MAYBE	72.00	MAYBE	0.07	MAYBE	0.07
TPDB05/TRCSR/Ex14_AEGL02_GM.trs	YES	0.58	YES	0.58	KILLED	60.00	KILLED	600.00	YES	0.16	YES	0.16
TPDB05/TRCSR/Ex14_AEGL02_Z.trs	MAYBE	0.39	MAYBE	0.39	MAYBE	7.57	MAYBE	7.57	MAYBE	0.04	MAYBE	0.04
TPDB05/TRCSR/Ex15_Luc98_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	1.11	YES	1.11
TPDB05/TRCSR/Ex15_Luc98_FR.trs	KILLED	60.00	MAYBE	63.80	KILLED	60.00	KILLED	600.00	MAYBE	0.28	MAYBE	0.28
TPDB05/TRCSR/Ex15_Luc98_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.42	YES	0.42
TPDB05/TRCSR/Ex15_Luc98_Z.trs	YES	0.06	YES	0.06	YES	0.02	YES	0.02	YES	0.04	YES	0.04
TPDB05/TRCSR/Ex1_2_AEL03_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.68	MAYBE	1.68
TPDB05/TRCSR/Ex1_2_AEL03_FR.trs	YES	1.08	YES	1.08	YES	17.21	YES	17.21	YES	0.10	YES	0.10
TPDB05/TRCSR/Ex1_2_AEL03_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	4.21	MAYBE	4.21
TPDB05/TRCSR/Ex1_2_AEL03_Z.trs	YES	1.04	YES	1.04	YES	1.27	YES	1.27	YES	0.06	YES	0.06
TPDB05/TRCSR/Ex1_2_Luc02c_C.trs	YES	1.31	YES	1.31	YES	3.15	YES	3.15	YES	0.17	YES	0.17
TPDB05/TRCSR/Ex1_2_Luc02c_FR.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/TRCSR/Ex1_2_Luc02c_GM.trs	MAYBE	0.49	MAYBE	0.49	MAYBE	17.14	MAYBE	17.14	MAYBE	0.19	MAYBE	0.19
TPDB05/TRCSR/Ex1_2_Luc02c_Z.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex1_GL02a_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.62	MAYBE	0.62
TPDB05/TRCSR/Ex1_GL02a_FR.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.49	MAYBE	0.49
TPDB05/TRCSR/Ex1_GL02a_GM.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/TRCSR/Ex1_GL02a_Z.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.17	MAYBE	0.17
TPDB05/TRCSR/Ex1_GM03_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.61	MAYBE	0.61
TPDB05/TRCSR/Ex1_GM03_FR.trs	MAYBE	26.31	MAYBE	26.31	KILLED	60.00	KILLED	600.00	MAYBE	0.22	MAYBE	0.22
TPDB05/TRCSR/Ex1_GM03_GM.trs	MAYBE	28.05	MAYBE	28.05	KILLED	60.00	KILLED	600.00	MAYBE	0.92	MAYBE	0.92
TPDB05/TRCSR/Ex1_GM03_Z.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/TRCSR/Ex1_Luc02b_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.33	MAYBE	0.33
TPDB05/TRCSR/Ex1_Luc02b_FR.trs	YES	1.88	YES	1.88	KILLED	60.00	YES	218.89	YES	0.21	YES	0.21
TPDB05/TRCSR/Ex1_Luc02b_GM.trs	MAYBE	36.36	MAYBE	36.36	KILLED	60.00	KILLED	600.00	MAYBE	0.68	MAYBE	0.68
TPDB05/TRCSR/Ex1_Luc02b_Z.trs	YES	0.26	YES	0.26	YES	3.18	YES	3.18	YES	0.12	YES	0.12
TPDB05/TRCSR/Ex1_Zan97_C.trs	MAYBE	6.59	MAYBE	6.59	MAYBE	1.00	MAYBE	1.00	MAYBE	0.15	MAYBE	0.15
TPDB05/TRCSR/Ex1_Zan97_GM.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex24_GM04_C.trs	MAYBE	8.23	MAYBE	8.23	MAYBE	5.06	MAYBE	5.06	MAYBE	0.15	MAYBE	0.15
TPDB05/TRCSR/Ex26_Luc03b_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	1.38	YES	1.38
TPDB05/TRCSR/Ex26_Luc03b_FR.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.50	MAYBE	0.50
TPDB05/TRCSR/Ex26_Luc03b_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.52	YES	0.52
TPDB05/TRCSR/Ex26_Luc03b_L.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex26_Luc03b_Z.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.58	MAYBE	0.58
TPDB05/TRCSR/Ex2_Luc02a_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	1.19	YES	1.19
TPDB05/TRCSR/Ex2_Luc02a_FR.trs	YES	17.14	YES	17.14	KILLED	60.00	KILLED	600.00	YES	0.20	YES	0.20
TPDB05/TRCSR/Ex2_Luc02a_L.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/TRCSR/Ex2_Luc02a_Z.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/TRCSR/Ex2_Luc03b_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.95	YES	0.95
TPDB05/TRCSR/Ex2_Luc03b_FR.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.34	YES	0.34
TPDB05/TRCSR/Ex2_Luc03b_GM.trs	YES	38.57	YES	38.57	KILLED	60.00	KILLED	600.00	YES	0.45	YES	0.45
TPDB05/TRCSR/Ex2_Luc03b_L.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex2_Luc03b_Z.trs	YES	0.05	YES	0.05	YES	0.01	YES	0.01	YES	0.05	YES	0.05
TPDB05/TRCSR/Ex3_12_Luc96a_C.trs	MAYBE	52.88	MAYBE	52.88	MAYBE	8.74	MAYBE	8.74	MAYBE	0.37	MAYBE	0.37
TPDB05/TRCSR/Ex3_12_Luc96a_FR.trs	YES	0.03	YES	0.03	YES	0.39	YES	0.39	YES	0.03	YES	0.03
TPDB05/TRCSR/Ex3_12_Luc96a_GM.trs	MAYBE	0.87	MAYBE	0.87	KILLED	60.00	MAYBE	200.13	MAYBE	0.25	MAYBE	0.25
TPDB05/TRCSR/Ex3_12_Luc96a_Z.trs	YES	0.03	YES	0.03	YES	0.05	YES	0.05	YES	0.01	YES	0.01
TPDB05/TRCSR/Ex3_2_Luc97_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.76	MAYBE	0.76
TPDB05/TRCSR/Ex3_2_Luc97_FR.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.41	MAYBE	0.41
TPDB05/TRCSR/Ex3_2_Luc97_GM.trs	MAYBE	51.00	MAYBE	51.00	KILLED	60.00	KILLED	600.00	MAYBE	0.36	MAYBE	0.36
TPDB05/TRCSR/Ex3_2_Luc97_Z.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.48	MAYBE	0.48
TPDB05/TRCSR/Ex3_3_25_Bor03_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.79	YES	0.79
TPDB05/TRCSR/Ex3_3_25_Bor03_FR.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.33	MAYBE	0.33
TPDB05/TRCSR/Ex3_3_25_Bor03_GM.trs	YES	58.71	YES	58.71	KILLED	60.00	KILLED	600.00	YES	0.99	YES	0.99
TPDB05/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
TPDB05/TRCSR/Ex3_3_25_Bor03_Z.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.01	MAYBE	0.01	MAYBE	0.04	MAYBE	0.04
TPDB05/TRCSR/Ex49_GM04_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	1.44	YES	1.44
TPDB05/TRCSR/Ex49_GM04_FR.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.88	MAYBE	0.88
TPDB05/TRCSR/Ex49_GM04_GM.trs	YES	36.26	YES	36.26	KILLED	60.00	KILLED	600.00	YES	0.38	YES	0.38
TPDB05/TRCSR/Ex49_GM04_Z.trs	YES	0.15	YES	0.15	YES	0.09	YES	0.09	YES	0.04	YES	0.04
TPDB05/TRCSR/Ex4_4_Luc96b_C.trs	YES	0.10	YES	0.10	YES	0.35	YES	0.35	YES	0.10	YES	0.10
TPDB05/TRCSR/Ex4_4_Luc96b_FR.trs	MAYBE	0.10	MAYBE	0.10	MAYBE	1.16	MAYBE	1.16	MAYBE	0.06	MAYBE	0.06
TPDB05/TRCSR/Ex4_4_Luc96b_GM.trs	YES	0.05	YES	0.05	YES	0.23	YES	0.23	YES	0.06	YES	0.06
TPDB05/TRCSR/Ex4_4_Luc96b_L.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex4_4_Luc96b_Z.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.14	MAYBE	0.14	MAYBE	0.03	MAYBE	0.03
TPDB05/TRCSR/Ex4_7_15_Bor03_C.trs	KILLED	60.00	MAYBE	65.06	MAYBE	28.42	MAYBE	28.42	MAYBE	0.45	MAYBE	0.45
TPDB05/TRCSR/Ex4_7_15_Bor03_FR.trs	YES	0.03	YES	0.03	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/TRCSR/Ex4_7_15_Bor03_GM.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.03	YES	0.03
TPDB05/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
TPDB05/TRCSR/Ex4_7_15_Bor03_Z.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/TRCSR/Ex4_7_37_Bor03_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.41	MAYBE	1.41
TPDB05/TRCSR/Ex4_7_37_Bor03_FR.trs	YES	11.46	YES	11.46	KILLED	60.00	KILLED	600.00	YES	0.27	YES	0.27
TPDB05/TRCSR/Ex4_7_37_Bor03_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	3.17	MAYBE	3.17
TPDB05/TRCSR/Ex4_7_37_Bor03_Z.trs	YES	1.75	YES	1.75	KILLED	60.00	KILLED	600.00	YES	0.10	YES	0.10
TPDB05/TRCSR/Ex4_7_56_Bor03_C.trs	MAYBE	48.60	MAYBE	48.60	MAYBE	33.28	MAYBE	33.28	MAYBE	0.19	MAYBE	0.19
TPDB05/TRCSR/Ex4_7_56_Bor03_FR.trs	YES	0.04	YES	0.04	YES	0.18	YES	0.18	YES	0.02	YES	0.02
TPDB05/TRCSR/Ex4_7_56_Bor03_GM.trs	MAYBE	0.49	MAYBE	0.49	KILLED	60.00	MAYBE	116.08	MAYBE	0.31	MAYBE	0.31
TPDB05/TRCSR/Ex4_7_56_Bor03_Z.trs	YES	0.03	YES	0.03	YES	0.06	YES	0.06	YES	0.01	YES	0.01
TPDB05/TRCSR/Ex4_7_77_Bor03_C.trs	MAYBE	1.01	MAYBE	1.01	MAYBE	0.97	MAYBE	0.97	MAYBE	0.11	MAYBE	0.11
TPDB05/TRCSR/Ex4_7_77_Bor03_GM.trs	YES	0.04	YES	0.04	YES	0.40	YES	0.40	YES	0.06	YES	0.06
TPDB05/TRCSR/Ex4_7_77_Bor03_Z.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex4_Zan97_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	MAYBE	320.74	MAYBE	0.43	MAYBE	0.43
TPDB05/TRCSR/Ex4_Zan97_FR.trs	YES	0.09	YES	0.09	YES	1.10	YES	1.10	YES	0.03	YES	0.03
TPDB05/TRCSR/Ex4_Zan97_GM.trs	MAYBE	54.50	MAYBE	54.50	KILLED	60.00	KILLED	600.00	MAYBE	0.47	MAYBE	0.47
TPDB05/TRCSR/Ex4_Zan97_Z.trs	YES	0.05	YES	0.05	YES	0.20	YES	0.20	YES	0.04	YES	0.04
TPDB05/TRCSR/Ex5_7_Luc97_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.15	MAYBE	1.15
TPDB05/TRCSR/Ex5_7_Luc97_FR.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.04	MAYBE	1.04
TPDB05/TRCSR/Ex5_7_Luc97_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	2.30	MAYBE	2.30
TPDB05/TRCSR/Ex5_7_Luc97_Z.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.18	MAYBE	1.18
TPDB05/TRCSR/Ex5_Zan97_C.trs	MAYBE	11.97	MAYBE	11.97	MAYBE	4.13	MAYBE	4.13	MAYBE	0.14	MAYBE	0.14
TPDB05/TRCSR/Ex5_Zan97_FR.trs	MAYBE	0.08	MAYBE	0.08	MAYBE	7.60	MAYBE	7.60	MAYBE	0.04	MAYBE	0.04
TPDB05/TRCSR/Ex5_Zan97_GM.trs	MAYBE	0.17	MAYBE	0.17	MAYBE	20.04	MAYBE	20.04	MAYBE	0.21	MAYBE	0.21
TPDB05/TRCSR/Ex5_Zan97_Z.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.06	MAYBE	0.06	MAYBE	0.01	MAYBE	0.01
TPDB05/TRCSR/Ex6_15_AEL02_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	2.37	MAYBE	2.37
TPDB05/TRCSR/Ex6_15_AEL02_FR.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.63	MAYBE	0.63
TPDB05/TRCSR/Ex6_15_AEL02_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	6.77	MAYBE	6.77
TPDB05/TRCSR/Ex6_15_AEL02_Z.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.88	MAYBE	0.88
TPDB05/TRCSR/Ex6_9_Luc02c_C.trs	KILLED	60.00	MAYBE	118.83	KILLED	60.00	YES	448.40	YES	0.30	YES	0.30
TPDB05/TRCSR/Ex6_9_Luc02c_FR.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex6_9_Luc02c_GM.trs	MAYBE	6.12	MAYBE	6.12	KILLED	60.00	MAYBE	145.80	MAYBE	0.28	MAYBE	0.28
TPDB05/TRCSR/Ex6_9_Luc02c_Z.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex6_GM04_C.trs	YES	0.09	YES	0.09	YES	0.36	YES	0.36	YES	0.10	YES	0.10
TPDB05/TRCSR/Ex6_GM04_GM.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex6_GM04_L.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex6_Luc98_C.trs	YES	25.65	YES	25.65	YES	35.55	YES	35.55	YES	0.78	YES	0.78
TPDB05/TRCSR/Ex6_Luc98_FR.trs	YES	1.73	YES	1.73	KILLED	60.00	YES	106.73	YES	0.15	YES	0.15
TPDB05/TRCSR/Ex6_Luc98_GM.trs	YES	1.27	YES	1.27	KILLED	60.00	YES	265.70	YES	0.14	YES	0.14
TPDB05/TRCSR/Ex6_Luc98_L.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex6_Luc98_Z.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/TRCSR/Ex7_BLR02_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.83	MAYBE	0.83
TPDB05/TRCSR/Ex7_BLR02_FR.trs	YES	1.23	YES	1.23	KILLED	60.00	YES	217.08	YES	0.18	YES	0.18
TPDB05/TRCSR/Ex7_BLR02_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.20	MAYBE	1.20
TPDB05/TRCSR/Ex7_BLR02_Z.trs	YES	0.37	YES	0.37	YES	3.20	YES	3.20	YES	0.07	YES	0.07
TPDB05/TRCSR/Ex8_BLR02_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.67	MAYBE	0.67
TPDB05/TRCSR/Ex8_BLR02_FR.trs	YES	0.14	YES	0.14	YES	16.06	YES	16.06	YES	0.05	YES	0.05
TPDB05/TRCSR/Ex8_BLR02_GM.trs	MAYBE	51.71	MAYBE	51.71	KILLED	60.00	KILLED	600.00	MAYBE	0.81	MAYBE	0.81
TPDB05/TRCSR/Ex8_BLR02_Z.trs	YES	0.10	YES	0.10	YES	1.58	YES	1.58	YES	0.03	YES	0.03
TPDB05/TRCSR/Ex9_BLR02_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	1.29	YES	1.29
TPDB05/TRCSR/Ex9_BLR02_FR.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.32	MAYBE	0.32
TPDB05/TRCSR/Ex9_BLR02_GM.trs	YES	59.95	YES	59.95	KILLED	60.00	KILLED	600.00	YES	0.56	YES	0.56
TPDB05/TRCSR/Ex9_BLR02_L.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex9_BLR02_Z.trs	YES	20.43	YES	20.43	KILLED	60.00	KILLED	600.00	YES	0.35	YES	0.35
TPDB05/TRCSR/Ex9_Luc04_C.trs	MAYBE	1.71	MAYBE	1.71	MAYBE	0.39	MAYBE	0.39	MAYBE	0.12	MAYBE	0.12
TPDB05/TRCSR/ExAppendixB_AEL03_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	2.94	MAYBE	2.94
TPDB05/TRCSR/ExAppendixB_AEL03_FR.trs	YES	1.75	YES	1.75	YES	7.68	YES	7.68	YES	0.09	YES	0.09
TPDB05/TRCSR/ExAppendixB_AEL03_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	6.03	MAYBE	6.03
TPDB05/TRCSR/ExAppendixB_AEL03_Z.trs	YES	1.71	YES	1.71	YES	2.15	YES	2.15	YES	0.10	YES	0.10
TPDB05/TRCSR/ExConc_Zan97_C.trs	YES	0.25	YES	0.25	YES	0.95	YES	0.95	YES	0.11	YES	0.11
TPDB05/TRCSR/ExConc_Zan97_FR.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/ExConc_Zan97_GM.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/ExConc_Zan97_L.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/ExIntrod_GM01_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.72	MAYBE	0.72
TPDB05/TRCSR/ExIntrod_GM01_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.91	MAYBE	0.91
TPDB05/TRCSR/ExIntrod_GM04_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.32	MAYBE	0.32
TPDB05/TRCSR/ExIntrod_GM04_GM.trs	YES	33.30	YES	33.30	KILLED	60.00	KILLED	600.00	YES	0.39	YES	0.39
TPDB05/TRCSR/ExIntrod_GM99_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.97	MAYBE	1.97
TPDB05/TRCSR/ExIntrod_GM99_FR.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.46	MAYBE	0.46
TPDB05/TRCSR/ExIntrod_GM99_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.68	MAYBE	1.68
TPDB05/TRCSR/ExIntrod_GM99_Z.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.30	MAYBE	0.30
TPDB05/TRCSR/ExIntrod_Zan97_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.58	MAYBE	0.58
TPDB05/TRCSR/ExIntrod_Zan97_FR.trs	MAYBE	52.10	MAYBE	52.10	KILLED	60.00	KILLED	600.00	MAYBE	0.23	MAYBE	0.23
TPDB05/TRCSR/ExIntrod_Zan97_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.73	MAYBE	1.73
TPDB05/TRCSR/ExIntrod_Zan97_Z.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/TRCSR/ExSec11_1_Luc02a_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	1.17	YES	1.17
TPDB05/TRCSR/ExSec11_1_Luc02a_FR.trs	YES	18.03	YES	18.03	KILLED	60.00	KILLED	600.00	YES	0.36	YES	0.36
TPDB05/TRCSR/ExSec11_1_Luc02a_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.87	YES	0.87
TPDB05/TRCSR/ExSec11_1_Luc02a_L.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/TRCSR/ExSec11_1_Luc02a_Z.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/Zantema/jw01.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw02.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw03.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw04.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw05.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw06.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw07.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw08.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw09.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw11.trs	MAYBE	0.01	MAYBE	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Zantema/jw12.trs	MAYBE	0.02	MAYBE	0.02	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Zantema/jw13.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw14.trs	MAYBE	0.02	MAYBE	0.02	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Zantema/jw15.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw16.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw17.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw18.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw19.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw20.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw21.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw22.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw23.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw24.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw25.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw26.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw27.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw28.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw29.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw30.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw31.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw32.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw33.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw34.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.03	MAYBE	0.03	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw35.trs	MAYBE	0.01	MAYBE	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Zantema/jw36.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw37.trs	MAYBE	0.01	MAYBE	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Zantema/jw38.trs	MAYBE	0.01	MAYBE	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Zantema/jw39.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw40.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw41.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw42.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw43.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw44.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw47.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/Zantema/jw50.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/z01.trs	MAYBE	0.18	MAYBE	0.18	MAYBE	33.99	MAYBE	33.99	MAYBE	0.04	MAYBE	0.04
TPDB05/Zantema/z02.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z03.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.07	MAYBE	0.07	MAYBE	0.04	MAYBE	0.04
TPDB05/Zantema/z04.trs	MAYBE	0.02	MAYBE	0.02	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Zantema/z05.trs	MAYBE	10.73	MAYBE	10.73	MAYBE	0.25	MAYBE	0.25	MAYBE	0.15	MAYBE	0.15
TPDB05/Zantema/z06.trs	MAYBE	0.24	MAYBE	0.24	YES	0.02	YES	0.02	YES	0.04	YES	0.04
TPDB05/Zantema/z07.trs	MAYBE	0.16	MAYBE	0.16	MAYBE	0.04	MAYBE	0.04	MAYBE	0.04	MAYBE	0.04
TPDB05/Zantema/z08.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z09.trs	MAYBE	0.08	MAYBE	0.08	MAYBE	0.10	MAYBE	0.10	MAYBE	0.03	MAYBE	0.03
TPDB05/Zantema/z10.trs	MAYBE	0.08	MAYBE	0.08	MAYBE	0.12	MAYBE	0.12	MAYBE	0.05	MAYBE	0.05
TPDB05/Zantema/z11.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.01	MAYBE	0.01	MAYBE	0.03	MAYBE	0.03
TPDB05/Zantema/z12.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.04	MAYBE	0.04	MAYBE	0.02	MAYBE	0.02
TPDB05/Zantema/z13.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z14.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z15.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z16.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z17.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.04	MAYBE	0.04	MAYBE	0.02	MAYBE	0.02
TPDB05/Zantema/z18.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z19.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.04	MAYBE	0.04
TPDB05/Zantema/z20.trs	MAYBE	0.08	MAYBE	0.08	MAYBE	0.04	MAYBE	0.04	MAYBE	0.16	MAYBE	0.16
TPDB05/Zantema/z21.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/Zantema/z22.trs	MAYBE	0.13	MAYBE	0.13	MAYBE	0.05	MAYBE	0.05	MAYBE	0.17	MAYBE	0.17
TPDB05/Zantema/z23.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.07	MAYBE	0.07	MAYBE	0.03	MAYBE	0.03
TPDB05/Zantema/z24.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.04	MAYBE	0.04	MAYBE	0.03	MAYBE	0.03
TPDB05/Zantema/z25.trs	MAYBE	0.99	MAYBE	0.99	MAYBE	0.09	MAYBE	0.09	MAYBE	0.09	MAYBE	0.09
TPDB05/Zantema/z26.trs	MAYBE	0.70	MAYBE	0.70	MAYBE	0.24	MAYBE	0.24	MAYBE	0.66	MAYBE	0.66
TPDB05/Zantema/z27.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z28.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02
TPDB05/Zantema/z29.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.04	MAYBE	0.04	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z30.trs	MAYBE	18.07	MAYBE	18.07	KILLED	60.00	MAYBE	385.86	MAYBE	0.16	MAYBE	0.16
TPDB05/currying/AG01/#3.10.trs	KILLED	60.00	KILLED	600.00	MAYBE	41.81	MAYBE	41.81	MAYBE	1.05	MAYBE	1.05
TPDB05/currying/AG01/#3.13.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.61	MAYBE	0.61
TPDB05/currying/AG01/#3.16.trs	MAYBE	0.04	MAYBE	0.04	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/currying/AG01/#3.18.trs	MAYBE	0.20	MAYBE	0.20	MAYBE	1.33	MAYBE	1.33	MAYBE	0.06	MAYBE	0.06
TPDB05/currying/AG01/#3.2.trs	MAYBE	0.15	MAYBE	0.15	MAYBE	0.41	MAYBE	0.41	MAYBE	0.04	MAYBE	0.04
TPDB05/currying/AG01/#3.22.trs	MAYBE	2.12	MAYBE	2.12	MAYBE	0.03	MAYBE	0.03	MAYBE	0.07	MAYBE	0.07
TPDB05/currying/AG01/#3.25.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.04	MAYBE	0.04	MAYBE	0.02	MAYBE	0.02
TPDB05/currying/AG01/#3.27.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/currying/AG01/#3.32.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/currying/AG01/#3.36.trs	MAYBE	0.43	MAYBE	0.43	MAYBE	0.19	MAYBE	0.19	MAYBE	0.06	MAYBE	0.06
TPDB05/currying/AG01/#3.38.trs	MAYBE	0.84	MAYBE	0.84	MAYBE	1.24	MAYBE	1.24	MAYBE	0.18	MAYBE	0.18
TPDB05/currying/AG01/#3.40.trs	MAYBE	0.52	MAYBE	0.52	MAYBE	3.05	MAYBE	3.05	MAYBE	0.29	MAYBE	0.29
TPDB05/currying/AG01/#3.45.trs	YES	0.09	YES	0.09	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/currying/AG01/#3.48.trs	MAYBE	3.58	MAYBE	3.58	YES	0.02	YES	0.02	YES	0.04	YES	0.04
TPDB05/currying/AG01/#3.52.trs	MAYBE	0.33	MAYBE	0.33	YES	0.00	YES	0.00	YES	0.03	YES	0.03
TPDB05/currying/AG01/#3.55.trs	MAYBE	6.64	MAYBE	6.64	MAYBE	8.83	MAYBE	8.83	MAYBE	0.67	MAYBE	0.67
TPDB05/currying/AG01/#3.57.trs	MAYBE	0.84	MAYBE	0.84	MAYBE	0.47	MAYBE	0.47	MAYBE	0.73	MAYBE	0.73
TPDB05/currying/AG01/#3.6.trs	KILLED	60.00	MAYBE	128.09	MAYBE	4.00	MAYBE	4.00	MAYBE	0.27	MAYBE	0.27
TPDB05/currying/AG01/#3.8.trs	MAYBE	0.45	MAYBE	0.45	MAYBE	1.49	MAYBE	1.49	MAYBE	0.06	MAYBE	0.06
TPDB05/currying/D33/01.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/currying/D33/02.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/currying/D33/06.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/currying/D33/08.trs	YES	0.11	YES	0.11	YES	0.13	YES	0.13	YES	0.04	YES	0.04
TPDB05/currying/D33/11.trs	YES	1.28	YES	1.28	YES	0.20	YES	0.20	YES	0.58	YES	0.58
TPDB05/currying/D33/12.trs	MAYBE	0.83	MAYBE	0.83	MAYBE	0.15	MAYBE	0.15	MAYBE	0.24	MAYBE	0.24
TPDB05/currying/D33/13.trs	MAYBE	0.17	MAYBE	0.17	MAYBE	0.10	MAYBE	0.10	MAYBE	0.08	MAYBE	0.08
TPDB05/currying/D33/17.trs	MAYBE	0.08	MAYBE	0.08	YES	0.01	YES	0.01	YES	0.04	YES	0.04
TPDB05/currying/D33/18.trs	MAYBE	0.08	MAYBE	0.08	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/currying/D33/21.trs	MAYBE	0.13	MAYBE	0.13	MAYBE	0.03	MAYBE	0.03	MAYBE	0.04	MAYBE	0.04
TPDB05/currying/D33/29.trs	YES	0.10	YES	0.10	YES	0.09	YES	0.09	YES	0.05	YES	0.05
TPDB05/currying/D33/30.trs	YES	1.36	YES	1.36	YES	0.04	YES	0.04	YES	0.17	YES	0.17
TPDB05/currying/D33/31.trs	MAYBE	0.21	MAYBE	0.21	MAYBE	0.94	MAYBE	0.94	MAYBE	0.07	MAYBE	0.07
TPDB05/currying/D33/33.trs	MAYBE	0.46	MAYBE	0.46	MAYBE	0.16	MAYBE	0.16	MAYBE	0.28	MAYBE	0.28
TPDB05/currying/Ste92/hydra.trs	KILLED	60.00	KILLED	600.00	YES	2.46	YES	2.46	YES	0.08	YES	0.08
TPDB05/currying/Ste92/minsort.trs	MAYBE	3.10	MAYBE	3.10	MAYBE	0.09	MAYBE	0.09	MAYBE	0.25	MAYBE	0.25
TPDB05/currying/Ste92/motivation.trs	YES	0.04	YES	0.04	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/currying/Ste92/perfect.trs	KILLED	60.00	MAYBE	84.86	MAYBE	2.87	MAYBE	2.87	MAYBE	0.08	MAYBE	0.08
TPDB05/currying/Ste92/perfect2.trs	KILLED	60.00	MAYBE	85.15	MAYBE	8.01	MAYBE	8.01	MAYBE	0.16	MAYBE	0.16
TPDB05/higher-order/AProVE_HO/ReverseLastInit.trs	MAYBE	0.08	MAYBE	0.08	MAYBE	0.04	MAYBE	0.04	MAYBE	0.04	MAYBE	0.04
TPDB05/higher-order/AProVE_HO/TakeDropWhile.trs	MAYBE	0.62	MAYBE	0.62	YES	0.02	YES	0.02	YES	0.04	YES	0.04
TPDB05/higher-order/AProVE_HO/TypeEx1.trs	MAYBE	0.09	MAYBE	0.09	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/higher-order/AProVE_HO/TypeEx3.trs	MAYBE	1.01	MAYBE	1.01	MAYBE	0.11	MAYBE	0.11	MAYBE	0.14	MAYBE	0.14
TPDB05/higher-order/AProVE_HO/TypeEx5.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/higher-order/AProVE_HO/mapDivMinus.trs	MAYBE	0.27	MAYBE	0.27	MAYBE	0.40	MAYBE	0.40	MAYBE	0.07	MAYBE	0.07
TPDB05/higher-order/AProVE_HO/mapDivMinusHard.trs	MAYBE	0.38	MAYBE	0.38	MAYBE	0.44	MAYBE	0.44	MAYBE	0.10	MAYBE	0.10
TPDB05/higher-order/AProVE_HO/nonTermF.trs	MAYBE	0.18	MAYBE	0.18	MAYBE	0.26	MAYBE	0.26	MAYBE	0.05	MAYBE	0.05
TPDB05/higher-order/AProVE_HO/termMonTypes.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.10	MAYBE	0.10	MAYBE	0.02	MAYBE	0.02
TPDB05/higher-order/AotoYam/001.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/higher-order/AotoYam/002.trs	MAYBE	0.74	MAYBE	0.74	YES	0.01	YES	0.01	YES	0.03	YES	0.03
TPDB05/higher-order/AotoYam/003.trs	MAYBE	0.14	MAYBE	0.14	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/higher-order/AotoYam/004.trs	MAYBE	0.51	MAYBE	0.51	YES	0.01	YES	0.01	YES	0.03	YES	0.03
TPDB05/higher-order/AotoYam/005.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/higher-order/AotoYam/006.trs	MAYBE	0.36	MAYBE	0.36	YES	0.01	YES	0.01	YES	0.03	YES	0.03
TPDB05/higher-order/AotoYam/007.trs	MAYBE	0.10	MAYBE	0.10	YES	0.01	YES	0.01	YES	0.03	YES	0.03
TPDB05/higher-order/AotoYam/009.trs	MAYBE	3.96	MAYBE	3.96	YES	0.02	YES	0.02	YES	0.05	YES	0.05
TPDB05/higher-order/AotoYam/010.trs	MAYBE	0.29	MAYBE	0.29	MAYBE	1.47	MAYBE	1.47	MAYBE	0.08	MAYBE	0.08
TPDB05/higher-order/AotoYam/011.trs	MAYBE	0.14	MAYBE	0.14	MAYBE	0.20	MAYBE	0.20	MAYBE	0.05	MAYBE	0.05
TPDB05/higher-order/AotoYam/012.trs	MAYBE	3.93	MAYBE	3.93	YES	0.01	YES	0.01	YES	0.04	YES	0.04
TPDB05/higher-order/AotoYam/013.trs	MAYBE	1.01	MAYBE	1.01	YES	0.03	YES	0.03	YES	0.06	YES	0.06
TPDB05/higher-order/AotoYam/014.trs	MAYBE	0.19	MAYBE	0.19	YES	0.01	YES	0.01	YES	0.05	YES	0.05
TPDB05/higher-order/AotoYam/015.trs	MAYBE	0.25	MAYBE	0.25	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/higher-order/AotoYam/016.trs	MAYBE	0.84	MAYBE	0.84	YES	1.18	YES	1.18	YES	0.34	YES	0.34
TPDB05/higher-order/AotoYam/017.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/higher-order/AotoYam/019.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01
TPDB05/higher-order/AotoYam/020.trs	MAYBE	0.09	MAYBE	0.09	MAYBE	0.69	MAYBE	0.69	MAYBE	0.11	MAYBE	0.11
TPDB05/higher-order/AotoYam/021.trs	MAYBE	0.94	MAYBE	0.94	YES	0.11	YES	0.11	YES	0.16	YES	0.16
TPDB05/higher-order/AotoYam/022.trs	MAYBE	0.42	MAYBE	0.42	YES	0.01	YES	0.01	YES	0.04	YES	0.04
TPDB05/higher-order/AotoYam/023.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/higher-order/AotoYam/024.trs	MAYBE	0.06	MAYBE	0.06	YES	0.00	YES	0.00	YES	0.02	YES	0.02
TPDB05/higher-order/AotoYam/025.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/higher-order/AotoYam/026.trs	MAYBE	0.11	MAYBE	0.11	MAYBE	0.16	MAYBE	0.16	MAYBE	0.04	MAYBE	0.04
TPDB05/higher-order/AotoYam/027.trs	MAYBE	0.35	MAYBE	0.35	YES	0.01	YES	0.01	YES	0.11	YES	0.11
TPDB05/higher-order/AotoYam/028.trs	MAYBE	0.46	MAYBE	0.46	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/higher-order/AotoYam/Ex1SimplyTyped.trs	MAYBE	0.09	MAYBE	0.09	YES	0.01	YES	0.01	YES	0.04	YES	0.04
TPDB05/higher-order/AotoYam/Ex5TermProof.trs	MAYBE	0.14	MAYBE	0.14	MAYBE	0.28	MAYBE	0.28	MAYBE	0.14	MAYBE	0.14
TPDB05/higher-order/Bird/BTreeMember.trs	MAYBE	7.69	MAYBE	7.69	YES	0.12	YES	0.12	YES	0.04	YES	0.04
TPDB05/higher-order/Bird/Ex2_6_1Composition.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/higher-order/Bird/Ex2_8_1ConstSubstFix.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/higher-order/Bird/Hamming.trs	MAYBE	11.44	MAYBE	11.44	MAYBE	0.10	MAYBE	0.10	MAYBE	0.25	MAYBE	0.25
TPDB05/higher-order/Bird/TreeFlatten.trs	KILLED	60.00	MAYBE	130.67	YES	0.02	YES	0.02	YES	0.05	YES	0.05
TPDB05/higher-order/Bird/TreeHeight.trs	MAYBE	19.54	MAYBE	19.54	YES	0.02	YES	0.02	YES	0.06	YES	0.06
TPDB05/higher-order/Bird/TreeLevels.trs	MAYBE	53.05	MAYBE	53.05	MAYBE	1.74	MAYBE	1.74	MAYBE	0.19	MAYBE	0.19
TPDB05/higher-order/Bird/TreeMap.trs	MAYBE	0.27	MAYBE	0.27	YES	0.01	YES	0.01	YES	0.04	YES	0.04
TPDB05/higher-order/Bird/TreeSize.trs	KILLED	60.00	MAYBE	94.16	YES	0.02	YES	0.02	YES	0.05	YES	0.05
TPDB05/higher-order/Kusakari/Ex6_11.trs	MAYBE	0.03	MAYBE	0.03	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/higher-order/Kusakari/Ex7_9.trs	MAYBE	2.83	MAYBE	2.83	MAYBE	0.21	MAYBE	0.21	MAYBE	0.12	MAYBE	0.12
TPDB05/higher-order/Lifantsev/Ex10Functional.trs	MAYBE	0.54	MAYBE	0.54	MAYBE	5.92	MAYBE	5.92	MAYBE	0.30	MAYBE	0.30
TPDB05/higher-order/Lifantsev/Ex2PrimRec.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.12	MAYBE	0.12	MAYBE	0.02	MAYBE	0.02
TPDB05/higher-order/Lifantsev/Ex3Lists.trs	MAYBE	0.18	MAYBE	0.18	YES	0.02	YES	0.02	YES	0.08	YES	0.08
TPDB05/higher-order/Lifantsev/Ex4MapList.trs	MAYBE	0.04	MAYBE	0.04	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/higher-order/Lifantsev/Ex5Sorting.trs	MAYBE	1.46	MAYBE	1.46	MAYBE	2.55	MAYBE	2.55	MAYBE	0.47	MAYBE	0.47
TPDB05/higher-order/Lifantsev/Ex6Folding.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.31	MAYBE	0.31	MAYBE	0.05	MAYBE	0.05
TPDB05/higher-order/Lifantsev/Ex7OrdinalRec.trs	MAYBE	2.48	MAYBE	2.48	MAYBE	12.13	MAYBE	12.13	MAYBE	0.08	MAYBE	0.08
TPDB05/higher-order/Lifantsev/Ex8Polymorphic.trs	MAYBE	0.19	MAYBE	0.19	MAYBE	0.21	MAYBE	0.21	MAYBE	0.04	MAYBE	0.04
TPDB05/higher-order/Lifantsev/Ex9Maps.trs	MAYBE	0.79	MAYBE	0.79	MAYBE	0.23	MAYBE	0.23	MAYBE	0.19	MAYBE	0.19
TPDB05/higher-order/ToyamaRTA04/Ex4Filter.trs	MAYBE	0.25	MAYBE	0.25	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/higher-order/ToyamaRTA04/Ex5Folding.trs	MAYBE	0.20	MAYBE	0.20	MAYBE	0.37	MAYBE	0.37	MAYBE	0.09	MAYBE	0.09
TPDB05/higher-order/ToyamaRTA04/Ex6Recursor.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.05	MAYBE	0.05	MAYBE	0.03	MAYBE	0.03
TPDB05/higher-order/ToyamaRTA04/Ex7Sorting.trs	MAYBE	1.45	MAYBE	1.45	MAYBE	10.62	MAYBE	10.62	MAYBE	0.37	MAYBE	0.37
TPDB05/nontermin/AG01/#4.12a.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/AG01/#4.13.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/AG01/#4.14.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/AG01/#4.15.trs	MAYBE	0.06	MAYBE	0.06	MAYBE	0.13	MAYBE	0.13	MAYBE	0.02	MAYBE	0.02
TPDB05/nontermin/AG01/#4.16.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/AG01/#4.17.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.04	MAYBE	0.04	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/AG01/#4.18.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.02	MAYBE	0.02
TPDB05/nontermin/AG01/#4.19.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.09	MAYBE	0.09	MAYBE	0.03	MAYBE	0.03
TPDB05/nontermin/AG01/#4.2.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/AG01/#4.20.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/nontermin/AG01/#4.20a.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/nontermin/AG01/#4.21.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/nontermin/AG01/#4.22.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/nontermin/AG01/#4.23.trs	YES	0.03	YES	0.03	YES	0.02	YES	0.02	YES	0.03	YES	0.03
TPDB05/nontermin/AG01/#4.25.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/AG01/#4.26.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.75	MAYBE	0.75	MAYBE	0.03	MAYBE	0.03
TPDB05/nontermin/AG01/#4.27.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/AG01/#4.28.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/AG01/#4.29.trs	MAYBE	0.26	MAYBE	0.26	MAYBE	3.14	MAYBE	3.14	MAYBE	0.26	MAYBE	0.26
TPDB05/nontermin/AG01/#4.3.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/AG01/#4.30.trs	MAYBE	0.13	MAYBE	0.13	MAYBE	1.72	MAYBE	1.72	MAYBE	0.06	MAYBE	0.06
TPDB05/nontermin/AG01/#4.30a.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/nontermin/AG01/#4.30b.trs	MAYBE	0.13	MAYBE	0.13	MAYBE	2.74	MAYBE	2.74	MAYBE	0.07	MAYBE	0.07
TPDB05/nontermin/AG01/#4.30c.trs	MAYBE	0.17	MAYBE	0.17	MAYBE	2.11	MAYBE	2.11	MAYBE	0.16	MAYBE	0.16
TPDB05/nontermin/AG01/#4.31.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.09	MAYBE	0.09	MAYBE	0.03	MAYBE	0.03
TPDB05/nontermin/AG01/#4.32.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/nontermin/AG01/#4.33.trs	YES	0.03	YES	0.03	YES	0.02	YES	0.02	YES	0.06	YES	0.06
TPDB05/nontermin/AG01/#4.34.trs	YES	0.05	YES	0.05	YES	0.30	YES	0.30	YES	0.04	YES	0.04
TPDB05/nontermin/AG01/#4.35.trs	MAYBE	3.33	MAYBE	3.33	KILLED	60.00	KILLED	600.00	YES	1.23	YES	1.23
TPDB05/nontermin/AG01/#4.36.trs	YES	2.11	YES	2.11	KILLED	60.00	KILLED	600.00	YES	0.30	YES	0.30
TPDB05/nontermin/AG01/#4.37.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/nontermin/AG01/#4.37a.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/nontermin/AG01/#4.4.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/AG01/#4.7.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/Ex14_AEGL02.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex15_Luc98.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/Ex1_2_AEL03.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.01	MAYBE	0.01	MAYBE	0.03	MAYBE	0.03
TPDB05/nontermin/CSR/Ex1_2_Luc02c.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex1_GL02a.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/Ex1_GM03.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex1_GM99.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex1_Luc02b.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/Ex1_Zan97.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex24_GM04.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex26_Luc03b.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/Ex2_Luc03b.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/Ex3_12_Luc96a.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex3_2_Luc97.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/nontermin/CSR/Ex3_3_25_Bor03.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/Ex49_GM04.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/nontermin/CSR/Ex4_4_Luc96b.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex4_7_15_Bor03.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/Ex4_7_37_Bor03.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.03	MAYBE	0.03
TPDB05/nontermin/CSR/Ex4_7_56_Bor03.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex4_7_77_Bor03.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex4_Zan97.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/Ex5_7_Luc97.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.03	MAYBE	0.03
TPDB05/nontermin/CSR/Ex5_Zan97.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex6_15_AEL02.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.02	MAYBE	0.02	MAYBE	0.04	MAYBE	0.04
TPDB05/nontermin/CSR/Ex6_9_Luc02c.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex6_GM04.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex6_Luc98.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex7_BLR02.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/Ex8_BLR02.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/Ex9_BLR02.trs	MAYBE	0.06	MAYBE	0.06	MAYBE	0.03	MAYBE	0.03	MAYBE	0.04	MAYBE	0.04
TPDB05/nontermin/CSR/ExAppendixB_AEL03.trs	MAYBE	0.26	MAYBE	0.26	MAYBE	0.02	MAYBE	0.02	MAYBE	0.06	MAYBE	0.06
TPDB05/nontermin/CSR/ExConc_Zan97.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/ExIntrod_GM01.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/ExIntrod_GM04.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/ExIntrod_GM99.trs	MAYBE	1.31	MAYBE	1.31	MAYBE	15.80	MAYBE	15.80	MAYBE	0.31	MAYBE	0.31
TPDB05/nontermin/CSR/ExIntrod_Zan97.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/HM/n001.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/Rubio-inn/bn111.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/Rubio-inn/gkg.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/Rubio-inn/muladd.trs	MAYBE	0.09	MAYBE	0.09	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/nontermin/Rubio-inn/test10.trs	MAYBE	0.06	MAYBE	0.06	MAYBE	0.30	MAYBE	0.30	MAYBE	0.03	MAYBE	0.03
TPDB05/nontermin/Rubio-inn/test75.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/Rubio-inn/test76.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/Rubio-inn/test77.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.05	MAYBE	0.05	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/Rubio-inn/test830.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/nontermin/Rubio-inn/test9.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/Rubio-inn/toyama.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/TRCSR/ExSec11_1_Luc02a.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/nontermin/cariboo/ex1.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/cariboo/ex2.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/cariboo/ex3.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.11	MAYBE	0.11	MAYBE	0.02	MAYBE	0.02
TPDB05/nontermin/cariboo/ex4.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/cariboo/ex5.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/cariboo/ex6.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/cariboo/tricky1.trs	MAYBE	0.19	MAYBE	0.19	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/secret2005/aprove1.trs	MAYBE	8.20	MAYBE	8.20	MAYBE	1.25	MAYBE	1.25	MAYBE	0.27	MAYBE	0.27
TPDB05/secret2005/aprove2.trs	MAYBE	0.45	MAYBE	0.45	MAYBE	6.54	MAYBE	6.54	MAYBE	0.13	MAYBE	0.13
TPDB05/secret2005/aprove3.trs	MAYBE	28.27	MAYBE	28.27	KILLED	60.00	KILLED	600.00	MAYBE	0.06	MAYBE	0.06
TPDB05/secret2005/aprove4.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.47	MAYBE	0.47	MAYBE	0.04	MAYBE	0.04
TPDB05/secret2005/aprove5.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.20	MAYBE	0.20	MAYBE	0.15	MAYBE	0.15
TPDB05/secret2005/cime1.trs	KILLED	60.00	MAYBE	63.09	KILLED	60.00	MAYBE	280.96	MAYBE	6.19	MAYBE	6.19
TPDB05/secret2005/cime2.trs	MAYBE	0.09	MAYBE	0.09	MAYBE	0.21	MAYBE	0.21	MAYBE	0.04	MAYBE	0.04
TPDB05/secret2005/cime3.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.84	MAYBE	0.84
TPDB05/secret2005/cime4.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/secret2005/cime5.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	17.99	MAYBE	17.99
TPDB05/secret2005/mb1.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.02	MAYBE	0.02
TPDB05/secret2005/mb2.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/secret2005/teparla1.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.04	MAYBE	0.04	MAYBE	0.01	MAYBE	0.01
TPDB05/secret2005/teparla2.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01
TPDB05/secret2005/teparla3.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01
TPDB05/secret2005/tpa1.trs	MAYBE	0.17	MAYBE	0.17	MAYBE	0.33	MAYBE	0.33	MAYBE	0.05	MAYBE	0.05
TPDB05/secret2005/tpa2.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.01	MAYBE	0.01	MAYBE	0.03	MAYBE	0.03
TPDB05/secret2005/tpa3.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.08	MAYBE	0.08	MAYBE	0.04	MAYBE	0.04
TPDB05/secret2005/tpa4.trs	MAYBE	0.09	MAYBE	0.09	MAYBE	0.32	MAYBE	0.32	MAYBE	0.05	MAYBE	0.05
TPDB05/secret2005/tpa5.trs	MAYBE	0.27	MAYBE	0.27	MAYBE	1.03	MAYBE	1.03	MAYBE	0.06	MAYBE	0.06
TPDB05/secret2005/ttt1.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/secret2005/ttt2.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/various/02.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/various/03.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/various/04.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.30	MAYBE	0.30
TPDB05/various/05.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.22	MAYBE	0.22
TPDB05/various/06.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/various/07.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/various/08.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.08	MAYBE	1.08
TPDB05/various/09.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/various/10.trs	MAYBE	0.19	MAYBE	0.19	MAYBE	0.36	MAYBE	0.36	MAYBE	0.10	MAYBE	0.10
TPDB05/various/11.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/various/12.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.06	MAYBE	0.06	MAYBE	0.05	MAYBE	0.05
TPDB05/various/13.trs	MAYBE	0.10	MAYBE	0.10	MAYBE	0.14	MAYBE	0.14	MAYBE	0.15	MAYBE	0.15
TPDB05/various/14.trs	MAYBE	0.17	MAYBE	0.17	MAYBE	0.15	MAYBE	0.15	MAYBE	0.18	MAYBE	0.18
TPDB05/various/15.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/various/18.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.03	MAYBE	0.03
TPDB05/various/19.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.10	MAYBE	0.10	MAYBE	0.13	MAYBE	0.13
TPDB05/various/20.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/various/21.trs	MAYBE	48.79	MAYBE	48.79	YES	0.05	YES	0.05	YES	0.12	YES	0.12
TPDB05/various/22.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/various/23.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.06	MAYBE	0.06	MAYBE	0.01	MAYBE	0.01
TPDB05/various/24.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.05	YES	0.05
TPDB05/various/25.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/various/26.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/various/27.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00