Example	TTT, strict, Thm. 5, 60s		TTT, strict, Thm. 5, 10min		APR, strict, Thm. 5, 60s		APR, strict, Thm. 5, 10min		SAT, strict, Thm. 5, 60s		SAT, strict, Thm. 5, 10min
TPDB05/AG01/#3.1.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/AG01/#3.10.trs	MAYBE	10.31	MAYBE	10.31	KILLED	60.00	KILLED	600.00	MAYBE	0.34	MAYBE	0.34
TPDB05/AG01/#3.11.trs	YES	0.85	YES	0.85	KILLED	60.00	KILLED	600.00	YES	0.13	YES	0.13
TPDB05/AG01/#3.12.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.02	MAYBE	0.02	MAYBE	0.03	MAYBE	0.03
TPDB05/AG01/#3.13.trs	MAYBE	48.71	MAYBE	48.71	MAYBE	14.88	MAYBE	14.88	MAYBE	0.13	MAYBE	0.13
TPDB05/AG01/#3.14.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.02	MAYBE	0.02	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.09	MAYBE	0.09	MAYBE	0.55	MAYBE	0.55	MAYBE	0.11	MAYBE	0.11
TPDB05/AG01/#3.17a.trs	MAYBE	0.37	MAYBE	0.37	MAYBE	0.41	MAYBE	0.41	MAYBE	0.13	MAYBE	0.13
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.10	YES	0.10	YES	0.17	YES	0.17	YES	0.04	YES	0.04
TPDB05/AG01/#3.2.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/AG01/#3.21.trs	MAYBE	0.04	MAYBE	0.04	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/AG01/#3.22.trs	MAYBE	0.10	MAYBE	0.10	YES	0.03	YES	0.03	YES	0.03	YES	0.03
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.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/AG01/#3.26.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/AG01/#3.29.trs	YES	0.00	YES	0.00	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.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/AG01/#3.33.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/AG01/#3.35.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/AG01/#3.36.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.14	MAYBE	0.14	MAYBE	0.03	MAYBE	0.03
TPDB05/AG01/#3.37.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/AG01/#3.38.trs	YES	0.07	YES	0.07	YES	1.79	YES	1.79	YES	0.03	YES	0.03
TPDB05/AG01/#3.39.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.01	MAYBE	0.01	MAYBE	0.04	MAYBE	0.04
TPDB05/AG01/#3.4.trs	YES	0.02	YES	0.02	YES	0.03	YES	0.03	YES	0.03	YES	0.03
TPDB05/AG01/#3.40.trs	MAYBE	0.12	MAYBE	0.12	MAYBE	0.03	MAYBE	0.03	MAYBE	0.17	MAYBE	0.17
TPDB05/AG01/#3.41.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.15	MAYBE	0.15
TPDB05/AG01/#3.42.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01
TPDB05/AG01/#3.47.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.00	YES	0.00
TPDB05/AG01/#3.48.trs	YES	0.20	YES	0.20	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/AG01/#3.49.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.04	MAYBE	0.04	MAYBE	0.04	MAYBE	0.04
TPDB05/AG01/#3.5.trs	YES	0.19	YES	0.19	YES	0.61	YES	0.61	YES	0.04	YES	0.04
TPDB05/AG01/#3.51.trs	YES	0.00	YES	0.00	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.00	YES	0.00
TPDB05/AG01/#3.53.trs	MAYBE	0.07	MAYBE	0.07	MAYBE	0.05	MAYBE	0.05	MAYBE	0.06	MAYBE	0.06
TPDB05/AG01/#3.53a.trs	MAYBE	0.00	MAYBE	0.00	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.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/AG01/#3.54.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/AG01/#3.55.trs	YES	0.91	YES	0.91	KILLED	60.00	KILLED	600.00	YES	0.33	YES	0.33
TPDB05/AG01/#3.56.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/AG01/#3.57.trs	MAYBE	0.09	MAYBE	0.09	MAYBE	0.59	MAYBE	0.59	MAYBE	0.09	MAYBE	0.09
TPDB05/AG01/#3.5a.trs	YES	0.18	YES	0.18	YES	1.48	YES	1.48	YES	0.04	YES	0.04
TPDB05/AG01/#3.5b.trs	YES	0.44	YES	0.44	YES	6.15	YES	6.15	YES	0.15	YES	0.15
TPDB05/AG01/#3.6.trs	MAYBE	0.26	MAYBE	0.26	MAYBE	0.82	MAYBE	0.82	MAYBE	0.06	MAYBE	0.06
TPDB05/AG01/#3.6a.trs	MAYBE	0.26	MAYBE	0.26	MAYBE	0.29	MAYBE	0.29	MAYBE	0.06	MAYBE	0.06
TPDB05/AG01/#3.6b.trs	MAYBE	0.71	MAYBE	0.71	MAYBE	5.54	MAYBE	5.54	MAYBE	0.22	MAYBE	0.22
TPDB05/AG01/#3.7.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/AG01/#3.8a.trs	YES	0.04	YES	0.04	YES	0.13	YES	0.13	YES	0.11	YES	0.11
TPDB05/AG01/#3.8b.trs	YES	0.53	YES	0.53	YES	4.14	YES	4.14	YES	0.10	YES	0.10
TPDB05/AProVE/AAECC-ring.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.22	MAYBE	1.22
TPDB05/AProVE/AAECC.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.18	MAYBE	0.18
TPDB05/AProVE/IJCAR_1.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/AProVE/IJCAR_12.trs	YES	0.07	YES	0.07	YES	0.26	YES	0.26	YES	0.04	YES	0.04
TPDB05/AProVE/IJCAR_18.trs	MAYBE	0.25	MAYBE	0.25	KILLED	60.00	KILLED	600.00	MAYBE	0.11	MAYBE	0.11
TPDB05/AProVE/IJCAR_26.trs	MAYBE	0.34	MAYBE	0.34	KILLED	60.00	KILLED	600.00	MAYBE	0.16	MAYBE	0.16
TPDB05/AProVE/IJCAR_26a.trs	MAYBE	2.08	MAYBE	2.08	KILLED	60.00	KILLED	600.00	MAYBE	0.17	MAYBE	0.17
TPDB05/AProVE/JFP_Ex17.trs	MAYBE	0.30	MAYBE	0.30	KILLED	60.00	KILLED	600.00	MAYBE	0.20	MAYBE	0.20
TPDB05/AProVE/JFP_Ex31.trs	MAYBE	0.97	MAYBE	0.97	MAYBE	1.16	MAYBE	1.16	MAYBE	0.05	MAYBE	0.05
TPDB05/AProVE/JFP_Ex51.trs	MAYBE	2.84	MAYBE	2.84	KILLED	60.00	KILLED	600.00	MAYBE	0.15	MAYBE	0.15
TPDB05/AProVE/LPAR_intlist.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/AProVE/Liveness6.1.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.04	MAYBE	0.04	MAYBE	0.07	MAYBE	0.07
TPDB05/AProVE/Liveness6.2.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.04	MAYBE	0.04	MAYBE	0.02	MAYBE	0.02
TPDB05/AProVE/Liveness6.3.trs	MAYBE	0.65	MAYBE	0.65	MAYBE	0.36	MAYBE	0.36	MAYBE	0.18	MAYBE	0.18
TPDB05/AProVE/Liveness6.4.trs	MAYBE	0.49	MAYBE	0.49	MAYBE	0.57	MAYBE	0.57	MAYBE	0.71	MAYBE	0.71
TPDB05/AProVE/Liveness8.trs	MAYBE	2.18	MAYBE	2.18	MAYBE	13.99	MAYBE	13.99	MAYBE	0.09	MAYBE	0.09
TPDB05/AProVE/Liveness_WRS.trs	MAYBE	1.74	MAYBE	1.74	MAYBE	0.65	MAYBE	0.65	MAYBE	0.32	MAYBE	0.32
TPDB05/AProVE/fac.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/AProVE/forward_instantiation.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/AProVE/forward_instantiation2.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/AProVE/improved_usable.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	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.00	YES	0.00
TPDB05/AProVE/rta1.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.10	MAYBE	0.10	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.02	MAYBE	0.02	MAYBE	0.13	MAYBE	0.13	MAYBE	0.03	MAYBE	0.03
TPDB05/Cime/ack_prolog.trs	YES	0.15	YES	0.15	YES	1.79	YES	1.79	YES	0.11	YES	0.11
TPDB05/Cime/append-hard.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.13	MAYBE	0.13	MAYBE	0.01	MAYBE	0.01
TPDB05/Cime/append-wrong.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.24	MAYBE	0.24	MAYBE	0.02	MAYBE	0.02
TPDB05/Cime/append.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Cime/big.trs	MAYBE	0.95	MAYBE	0.95	KILLED	60.00	MAYBE	119.55	MAYBE	0.51	MAYBE	0.51
TPDB05/Cime/boolean_rings.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Cime/dpqs.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Cime/fact-hard.trs	MAYBE	0.11	MAYBE	0.11	MAYBE	0.15	MAYBE	0.15	MAYBE	0.05	MAYBE	0.05
TPDB05/Cime/filliatre.trs	MAYBE	10.81	MAYBE	10.81	KILLED	60.00	KILLED	600.00	MAYBE	0.33	MAYBE	0.33
TPDB05/Cime/filliatre2.trs	MAYBE	8.10	MAYBE	8.10	KILLED	60.00	KILLED	600.00	MAYBE	0.23	MAYBE	0.23
TPDB05/Cime/filliatre3.trs	MAYBE	7.36	MAYBE	7.36	KILLED	60.00	KILLED	600.00	MAYBE	0.25	MAYBE	0.25
TPDB05/Cime/intersect.trs	MAYBE	0.43	MAYBE	0.43	MAYBE	12.93	MAYBE	12.93	MAYBE	0.08	MAYBE	0.08
TPDB05/Cime/list-sum-prod-assoc-append.trs	YES	0.05	YES	0.05	YES	0.03	YES	0.03	YES	0.04	YES	0.04
TPDB05/Cime/list-sum-prod-assoc.trs	YES	0.04	YES	0.04	YES	0.02	YES	0.02	YES	0.04	YES	0.04
TPDB05/Cime/list-sum-prod-bin-assoc-distr-app.trs	MAYBE	0.12	MAYBE	0.12	MAYBE	0.27	MAYBE	0.27	MAYBE	0.23	MAYBE	0.23
TPDB05/Cime/list-sum-prod-bin-assoc.trs	MAYBE	0.08	MAYBE	0.08	MAYBE	0.26	MAYBE	0.26	MAYBE	0.08	MAYBE	0.08
TPDB05/Cime/list-sum-prod-bin.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.04	MAYBE	0.04	MAYBE	0.04	MAYBE	0.04
TPDB05/Cime/list-sum-prod.trs	YES	0.00	YES	0.00	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/Cime/log2.trs	MAYBE	0.13	MAYBE	0.13	MAYBE	0.07	MAYBE	0.07	MAYBE	0.15	MAYBE	0.15
TPDB05/Cime/lse.trs	MAYBE	9.72	MAYBE	9.72	KILLED	60.00	KILLED	600.00	MAYBE	0.33	MAYBE	0.33
TPDB05/Cime/maude2.trs	MAYBE	1.17	MAYBE	1.17	MAYBE	43.72	MAYBE	43.72	MAYBE	0.11	MAYBE	0.11
TPDB05/Cime/mucrl1.trs	MAYBE	15.01	MAYBE	15.01	YES	1.36	YES	1.36	YES	1.48	YES	1.48
TPDB05/Cime/quick.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.08	MAYBE	0.08
TPDB05/Cime/ternary-hard.trs	MAYBE	0.58	MAYBE	0.58	MAYBE	5.03	MAYBE	5.03	MAYBE	0.19	MAYBE	0.19
TPDB05/Cime/ternary.trs	MAYBE	0.58	MAYBE	0.58	MAYBE	5.91	MAYBE	5.91	MAYBE	0.18	MAYBE	0.18
TPDB05/Cime/tree.trs	MAYBE	0.15	MAYBE	0.15	MAYBE	0.07	MAYBE	0.07	MAYBE	0.10	MAYBE	0.10
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	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	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.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/D33/09.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/D33/11.trs	YES	0.14	YES	0.14	YES	0.02	YES	0.02	YES	0.05	YES	0.05
TPDB05/D33/12.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/D33/13.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/D33/17.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/D33/18.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/D33/20.trs	MAYBE	0.37	MAYBE	0.37	MAYBE	0.03	MAYBE	0.03	MAYBE	0.05	MAYBE	0.05
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.05	YES	0.05	YES	0.01	YES	0.01	YES	0.03	YES	0.03
TPDB05/D33/31.trs	YES	0.07	YES	0.07	YES	0.04	YES	0.04	YES	0.03	YES	0.03
TPDB05/D33/32.trs	YES	0.21	YES	0.21	YES	0.42	YES	0.42	YES	0.03	YES	0.03
TPDB05/D33/33.trs	MAYBE	0.11	MAYBE	0.11	MAYBE	0.28	MAYBE	0.28	MAYBE	0.06	MAYBE	0.06
TPDB05/HM/n002.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/HM/n003.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
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.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/HM/n008.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/HM/t000.trs	KILLED	60.00	MAYBE	315.36	KILLED	60.00	MAYBE	95.50	MAYBE	0.82	MAYBE	0.82
TPDB05/HM/t001.trs	MAYBE	0.12	MAYBE	0.12	MAYBE	0.59	MAYBE	0.59	MAYBE	0.27	MAYBE	0.27
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	KILLED	60.00	KILLED	600.00	KILLED	60.00	MAYBE	94.74	MAYBE	0.41	MAYBE	0.41
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.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/HM/t009.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	2.41	MAYBE	2.41
TPDB05/HM/t010.trs	YES	0.00	YES	0.00	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.00	YES	0.00
TPDB05/HM/t012.trs	MAYBE	0.40	MAYBE	0.40	MAYBE	0.02	MAYBE	0.02	MAYBE	0.05	MAYBE	0.05
TPDB05/HM/t013.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.10	MAYBE	0.10	MAYBE	0.03	MAYBE	0.03
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.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
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.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/HofWald/4.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/HofWald/5.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/HofWald/6.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/HofWald/7.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.05	MAYBE	0.05	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.02	YES	0.02	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/LJB01/jones4.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/LJB01/jones5.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/LJB01/jones6.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/Rubio/ackclaude.trs	YES	0.15	YES	0.15	YES	1.85	YES	1.85	YES	0.10	YES	0.10
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.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Rubio/bn122.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Rubio/bn129.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.05	YES	0.05
TPDB05/Rubio/division.trs	YES	0.16	YES	0.16	YES	0.85	YES	0.85	YES	0.06	YES	0.06
TPDB05/Rubio/elimdupl.trs	YES	0.20	YES	0.20	YES	1.09	YES	1.09	YES	0.07	YES	0.07
TPDB05/Rubio/enno.trs	MAYBE	12.58	MAYBE	12.58	KILLED	60.00	KILLED	600.00	MAYBE	0.15	MAYBE	0.15
TPDB05/Rubio/gcd.trs	MAYBE	0.26	MAYBE	0.26	MAYBE	0.66	MAYBE	0.66	MAYBE	0.05	MAYBE	0.05
TPDB05/Rubio/gm.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/Rubio/gmnp.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Rubio/koen.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Rubio/lescanne.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.07	MAYBE	0.07	MAYBE	0.01	MAYBE	0.01
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.03	YES	0.03	YES	0.03	YES	0.03	YES	0.03	YES	0.03
TPDB05/Rubio/ma96.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.37	YES	0.37
TPDB05/Rubio/mfp90b.trs	MAYBE	0.00	MAYBE	0.00	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.01	YES	0.01	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.02	YES	0.02	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	0.85	YES	0.85	KILLED	60.00	KILLED	600.00	YES	0.26	YES	0.26
TPDB05/Rubio/quotminus.trs	YES	0.03	YES	0.03	YES	0.03	YES	0.03	YES	0.03	YES	0.03
TPDB05/Rubio/revlist.trs	YES	0.14	YES	0.14	YES	1.25	YES	1.25	YES	0.06	YES	0.06
TPDB05/Rubio/selsort.trs	YES	1.78	YES	1.78	KILLED	60.00	KILLED	600.00	YES	0.41	YES	0.41
TPDB05/Rubio/test4.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/Rubio/test829.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Rubio/wst99.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.40	YES	0.40
TPDB05/SK90/2.01.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.01	MAYBE	0.01	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.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.04.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/SK90/2.05.trs	MAYBE	0.07	MAYBE	0.07	MAYBE	0.05	MAYBE	0.05	MAYBE	0.06	MAYBE	0.06
TPDB05/SK90/2.06.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.03	MAYBE	0.03	MAYBE	0.06	MAYBE	0.06
TPDB05/SK90/2.07.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/SK90/2.08.trs	YES	0.01	YES	0.01	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.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/2.11.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.12.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.01	YES	0.01
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.08	YES	0.08	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.01	YES	0.01	YES	0.01	YES	0.01	YES	0.03	YES	0.03
TPDB05/SK90/2.17.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.18.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	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.04	YES	0.04
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.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/2.23.trs	YES	0.02	YES	0.02	YES	0.03	YES	0.03	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.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.28.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/2.29.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	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.00	YES	0.00	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/2.32.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.33.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.34.trs	YES	0.03	YES	0.03	YES	0.00	YES	0.00	YES	0.02	YES	0.02
TPDB05/SK90/2.35.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
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.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	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.15	YES	0.15	YES	0.00	YES	0.00
TPDB05/SK90/2.40.trs	YES	0.01	YES	0.01	YES	0.02	YES	0.02	YES	0.00	YES	0.00
TPDB05/SK90/2.41.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.03	YES	0.03
TPDB05/SK90/2.42.trs	YES	0.02	YES	0.02	YES	0.02	YES	0.02	YES	0.02	YES	0.02
TPDB05/SK90/2.43.trs	YES	0.01	YES	0.01	YES	0.29	YES	0.29	YES	0.01	YES	0.01
TPDB05/SK90/2.44.trs	MAYBE	0.23	MAYBE	0.23	MAYBE	1.65	MAYBE	1.65	MAYBE	0.06	MAYBE	0.06
TPDB05/SK90/2.45.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/SK90/2.46.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/SK90/2.47.trs	YES	0.01	YES	0.01	YES	0.02	YES	0.02	YES	0.00	YES	0.00
TPDB05/SK90/2.48.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	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.00	YES	0.00	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.02	YES	0.02	YES	0.02	YES	0.02
TPDB05/SK90/2.52.trs	YES	0.14	YES	0.14	YES	0.13	YES	0.13	YES	0.23	YES	0.23
TPDB05/SK90/2.53.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.54.trs	YES	0.00	YES	0.00	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.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.57.trs	YES	0.01	YES	0.01	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.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/2.60.trs	YES	0.01	YES	0.01	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.03	YES	0.03	YES	0.03	YES	0.03
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.09	MAYBE	0.09	MAYBE	0.05	MAYBE	0.05	MAYBE	0.11	MAYBE	0.11
TPDB05/SK90/4.03.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	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.02	MAYBE	0.02	MAYBE	0.17	MAYBE	0.17	MAYBE	0.03	MAYBE	0.03
TPDB05/SK90/4.07.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.08.trs	MAYBE	0.00	MAYBE	0.00	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.01	YES	0.01
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.01	MAYBE	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/SK90/4.13.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/SK90/4.14.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.01	YES	0.01
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.00	MAYBE	0.00	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.03	YES	0.03	YES	0.00	YES	0.00	YES	0.04	YES	0.04
TPDB05/SK90/4.20.trs	YES	0.01	YES	0.01	YES	0.01	YES	0.01	YES	0.00	YES	0.00
TPDB05/SK90/4.21.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/4.22.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/4.23.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/4.24.trs	MAYBE	0.12	MAYBE	0.12	MAYBE	0.63	MAYBE	0.63	MAYBE	0.04	MAYBE	0.04
TPDB05/SK90/4.25.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	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.02	YES	0.02	YES	0.04	YES	0.04	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.01	YES	0.01
TPDB05/SK90/4.29.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/4.30.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.17	MAYBE	0.17
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.08	MAYBE	0.08	MAYBE	0.54	MAYBE	0.54	MAYBE	0.03	MAYBE	0.03
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.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/SK90/4.35.trs	YES	0.01	YES	0.01	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.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.38.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/4.39.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/4.40.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.21	MAYBE	0.21	MAYBE	0.01	MAYBE	0.01
TPDB05/SK90/4.41.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/SK90/4.42.trs	MAYBE	0.08	MAYBE	0.08	MAYBE	0.49	MAYBE	0.49	MAYBE	0.43	MAYBE	0.43
TPDB05/SK90/4.43.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.03	MAYBE	0.03
TPDB05/SK90/4.44.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.45.trs	YES	0.01	YES	0.01	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.00	YES	0.00	YES	0.01	YES	0.01	YES	0.00	YES	0.00
TPDB05/SK90/4.48.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/SK90/4.49.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.04	MAYBE	0.04	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.02	YES	0.02	YES	0.00	YES	0.00
TPDB05/SK90/4.52.trs	YES	0.01	YES	0.01	YES	0.10	YES	0.10	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.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	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.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/SK90/4.57.trs	YES	0.02	YES	0.02	YES	0.02	YES	0.02	YES	0.00	YES	0.00
TPDB05/SK90/4.58.trs	MAYBE	0.09	MAYBE	0.09	MAYBE	0.27	MAYBE	0.27	MAYBE	0.05	MAYBE	0.05
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.74	YES	0.74	YES	7.43	YES	7.43	YES	0.04	YES	0.04
TPDB05/SK90/4.61.trs	MAYBE	0.27	MAYBE	0.27	MAYBE	0.29	MAYBE	0.29	MAYBE	0.05	MAYBE	0.05
TPDB05/Ste92/hydra.trs	YES	0.03	YES	0.03	YES	0.02	YES	0.02	YES	0.01	YES	0.01
TPDB05/Ste92/minsort.trs	MAYBE	0.71	MAYBE	0.71	KILLED	60.00	KILLED	600.00	MAYBE	0.13	MAYBE	0.13
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.04	YES	0.04	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/Ste92/perfect2.trs	YES	0.11	YES	0.11	YES	0.04	YES	0.04	YES	0.04	YES	0.04
TPDB05/TRCSR/Ex14_AEGL02_C.trs	MAYBE	25.66	MAYBE	25.66	MAYBE	33.54	MAYBE	33.54	MAYBE	0.22	MAYBE	0.22
TPDB05/TRCSR/Ex14_AEGL02_FR.trs	MAYBE	0.21	MAYBE	0.21	MAYBE	4.83	MAYBE	4.83	MAYBE	0.04	MAYBE	0.04
TPDB05/TRCSR/Ex14_AEGL02_GM.trs	MAYBE	0.16	MAYBE	0.16	MAYBE	26.75	MAYBE	26.75	MAYBE	0.04	MAYBE	0.04
TPDB05/TRCSR/Ex14_AEGL02_Z.trs	MAYBE	0.09	MAYBE	0.09	MAYBE	0.93	MAYBE	0.93	MAYBE	0.02	MAYBE	0.02
TPDB05/TRCSR/Ex15_Luc98_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.67	YES	0.67
TPDB05/TRCSR/Ex15_Luc98_FR.trs	MAYBE	3.64	MAYBE	3.64	KILLED	60.00	KILLED	600.00	MAYBE	0.14	MAYBE	0.14
TPDB05/TRCSR/Ex15_Luc98_GM.trs	MAYBE	0.52	MAYBE	0.52	KILLED	60.00	KILLED	600.00	MAYBE	0.12	MAYBE	0.12
TPDB05/TRCSR/Ex15_Luc98_Z.trs	YES	0.05	YES	0.05	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/TRCSR/Ex1_2_AEL03_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.37	MAYBE	1.37
TPDB05/TRCSR/Ex1_2_AEL03_FR.trs	YES	1.01	YES	1.01	YES	3.86	YES	3.86	YES	0.06	YES	0.06
TPDB05/TRCSR/Ex1_2_AEL03_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.46	MAYBE	0.46
TPDB05/TRCSR/Ex1_2_AEL03_Z.trs	YES	1.01	YES	1.01	YES	0.69	YES	0.69	YES	0.05	YES	0.05
TPDB05/TRCSR/Ex1_2_Luc02c_C.trs	YES	2.29	YES	2.29	YES	2.70	YES	2.70	YES	0.18	YES	0.18
TPDB05/TRCSR/Ex1_2_Luc02c_FR.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.02	YES	0.02
TPDB05/TRCSR/Ex1_2_Luc02c_GM.trs	MAYBE	0.07	MAYBE	0.07	MAYBE	5.47	MAYBE	5.47	MAYBE	0.05	MAYBE	0.05
TPDB05/TRCSR/Ex1_2_Luc02c_Z.trs	YES	0.00	YES	0.00	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.39	MAYBE	0.39
TPDB05/TRCSR/Ex1_GL02a_FR.trs	MAYBE	1.83	MAYBE	1.83	KILLED	60.00	KILLED	600.00	MAYBE	0.34	MAYBE	0.34
TPDB05/TRCSR/Ex1_GL02a_GM.trs	YES	0.03	YES	0.03	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/TRCSR/Ex1_GL02a_Z.trs	MAYBE	1.53	MAYBE	1.53	KILLED	60.00	KILLED	600.00	MAYBE	0.08	MAYBE	0.08
TPDB05/TRCSR/Ex1_GM03_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.32	MAYBE	0.32
TPDB05/TRCSR/Ex1_GM03_FR.trs	MAYBE	3.10	MAYBE	3.10	KILLED	60.00	KILLED	600.00	MAYBE	0.08	MAYBE	0.08
TPDB05/TRCSR/Ex1_GM03_GM.trs	MAYBE	2.38	MAYBE	2.38	KILLED	60.00	KILLED	600.00	MAYBE	0.16	MAYBE	0.16
TPDB05/TRCSR/Ex1_GM03_Z.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/TRCSR/Ex1_Luc02b_C.trs	KILLED	60.00	MAYBE	114.56	KILLED	60.00	KILLED	600.00	MAYBE	0.69	MAYBE	0.69
TPDB05/TRCSR/Ex1_Luc02b_FR.trs	MAYBE	1.55	MAYBE	1.55	MAYBE	34.65	MAYBE	34.65	MAYBE	0.10	MAYBE	0.10
TPDB05/TRCSR/Ex1_Luc02b_GM.trs	MAYBE	1.90	MAYBE	1.90	KILLED	60.00	KILLED	600.00	MAYBE	0.21	MAYBE	0.21
TPDB05/TRCSR/Ex1_Luc02b_Z.trs	YES	0.47	YES	0.47	YES	1.58	YES	1.58	YES	0.03	YES	0.03
TPDB05/TRCSR/Ex1_Zan97_C.trs	MAYBE	0.37	MAYBE	0.37	MAYBE	0.32	MAYBE	0.32	MAYBE	0.05	MAYBE	0.05
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	0.74	MAYBE	0.74	MAYBE	1.65	MAYBE	1.65	MAYBE	0.07	MAYBE	0.07
TPDB05/TRCSR/Ex26_Luc03b_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.86	YES	0.86
TPDB05/TRCSR/Ex26_Luc03b_FR.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.21	MAYBE	0.21
TPDB05/TRCSR/Ex26_Luc03b_GM.trs	MAYBE	14.12	MAYBE	14.12	KILLED	60.00	KILLED	600.00	MAYBE	0.21	MAYBE	0.21
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.31	MAYBE	0.31
TPDB05/TRCSR/Ex2_Luc02a_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.69	YES	0.69
TPDB05/TRCSR/Ex2_Luc02a_FR.trs	MAYBE	9.80	MAYBE	9.80	KILLED	60.00	KILLED	600.00	MAYBE	0.08	MAYBE	0.08
TPDB05/TRCSR/Ex2_Luc02a_L.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	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.01	YES	0.01
TPDB05/TRCSR/Ex2_Luc03b_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.58	YES	0.58
TPDB05/TRCSR/Ex2_Luc03b_FR.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.15	MAYBE	0.15
TPDB05/TRCSR/Ex2_Luc03b_GM.trs	MAYBE	1.05	MAYBE	1.05	KILLED	60.00	KILLED	600.00	MAYBE	0.12	MAYBE	0.12
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.11	YES	0.11	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/TRCSR/Ex3_12_Luc96a_C.trs	MAYBE	4.53	MAYBE	4.53	MAYBE	8.89	MAYBE	8.89	MAYBE	0.23	MAYBE	0.23
TPDB05/TRCSR/Ex3_12_Luc96a_FR.trs	YES	0.06	YES	0.06	YES	0.28	YES	0.28	YES	0.02	YES	0.02
TPDB05/TRCSR/Ex3_12_Luc96a_GM.trs	MAYBE	0.28	MAYBE	0.28	MAYBE	51.95	MAYBE	51.95	MAYBE	0.08	MAYBE	0.08
TPDB05/TRCSR/Ex3_12_Luc96a_Z.trs	YES	0.04	YES	0.04	YES	0.03	YES	0.03	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.48	MAYBE	0.48
TPDB05/TRCSR/Ex3_2_Luc97_FR.trs	MAYBE	9.16	MAYBE	9.16	KILLED	60.00	KILLED	600.00	MAYBE	0.19	MAYBE	0.19
TPDB05/TRCSR/Ex3_2_Luc97_GM.trs	MAYBE	17.05	MAYBE	17.05	KILLED	60.00	KILLED	600.00	MAYBE	0.16	MAYBE	0.16
TPDB05/TRCSR/Ex3_2_Luc97_Z.trs	MAYBE	6.48	MAYBE	6.48	KILLED	60.00	KILLED	600.00	MAYBE	0.31	MAYBE	0.31
TPDB05/TRCSR/Ex3_3_25_Bor03_C.trs	KILLED	60.00	YES	425.79	KILLED	60.00	KILLED	600.00	YES	0.60	YES	0.60
TPDB05/TRCSR/Ex3_3_25_Bor03_FR.trs	MAYBE	13.20	MAYBE	13.20	KILLED	60.00	KILLED	600.00	MAYBE	0.16	MAYBE	0.16
TPDB05/TRCSR/Ex3_3_25_Bor03_GM.trs	MAYBE	2.89	MAYBE	2.89	KILLED	60.00	KILLED	600.00	MAYBE	0.18	MAYBE	0.18
TPDB05/TRCSR/Ex3_3_25_Bor03_L.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex3_3_25_Bor03_Z.trs	MAYBE	0.06	MAYBE	0.06	MAYBE	0.00	MAYBE	0.00	MAYBE	0.03	MAYBE	0.03
TPDB05/TRCSR/Ex49_GM04_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.81	YES	0.81
TPDB05/TRCSR/Ex49_GM04_FR.trs	KILLED	60.00	MAYBE	194.51	KILLED	60.00	KILLED	600.00	MAYBE	0.64	MAYBE	0.64
TPDB05/TRCSR/Ex49_GM04_GM.trs	MAYBE	2.78	MAYBE	2.78	KILLED	60.00	KILLED	600.00	MAYBE	0.15	MAYBE	0.15
TPDB05/TRCSR/Ex49_GM04_Z.trs	MAYBE	0.08	MAYBE	0.08	MAYBE	0.07	MAYBE	0.07	MAYBE	0.04	MAYBE	0.04
TPDB05/TRCSR/Ex4_4_Luc96b_C.trs	YES	0.24	YES	0.24	YES	0.21	YES	0.21	YES	0.05	YES	0.05
TPDB05/TRCSR/Ex4_4_Luc96b_FR.trs	MAYBE	0.10	MAYBE	0.10	MAYBE	0.22	MAYBE	0.22	MAYBE	0.03	MAYBE	0.03
TPDB05/TRCSR/Ex4_4_Luc96b_GM.trs	YES	0.06	YES	0.06	YES	0.15	YES	0.15	YES	0.03	YES	0.03
TPDB05/TRCSR/Ex4_4_Luc96b_L.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex4_4_Luc96b_Z.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.08	MAYBE	0.08	MAYBE	0.01	MAYBE	0.01
TPDB05/TRCSR/Ex4_7_15_Bor03_C.trs	MAYBE	6.63	MAYBE	6.63	MAYBE	12.61	MAYBE	12.61	MAYBE	0.31	MAYBE	0.31
TPDB05/TRCSR/Ex4_7_15_Bor03_FR.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/TRCSR/Ex4_7_15_Bor03_GM.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.08	YES	0.08
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.00	YES	0.00
TPDB05/TRCSR/Ex4_7_37_Bor03_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.61	MAYBE	0.61
TPDB05/TRCSR/Ex4_7_37_Bor03_FR.trs	MAYBE	2.90	MAYBE	2.90	KILLED	60.00	KILLED	600.00	MAYBE	1.20	MAYBE	1.20
TPDB05/TRCSR/Ex4_7_37_Bor03_GM.trs	KILLED	60.00	MAYBE	383.35	KILLED	60.00	KILLED	600.00	MAYBE	0.25	MAYBE	0.25
TPDB05/TRCSR/Ex4_7_37_Bor03_Z.trs	YES	1.90	YES	1.90	KILLED	60.00	KILLED	600.00	YES	0.07	YES	0.07
TPDB05/TRCSR/Ex4_7_56_Bor03_C.trs	MAYBE	5.92	MAYBE	5.92	MAYBE	7.44	MAYBE	7.44	MAYBE	0.21	MAYBE	0.21
TPDB05/TRCSR/Ex4_7_56_Bor03_FR.trs	YES	0.05	YES	0.05	YES	0.10	YES	0.10	YES	0.02	YES	0.02
TPDB05/TRCSR/Ex4_7_56_Bor03_GM.trs	MAYBE	0.31	MAYBE	0.31	MAYBE	28.79	MAYBE	28.79	MAYBE	0.08	MAYBE	0.08
TPDB05/TRCSR/Ex4_7_56_Bor03_Z.trs	YES	0.04	YES	0.04	YES	0.03	YES	0.03	YES	0.01	YES	0.01
TPDB05/TRCSR/Ex4_7_77_Bor03_C.trs	MAYBE	0.29	MAYBE	0.29	MAYBE	0.61	MAYBE	0.61	MAYBE	0.07	MAYBE	0.07
TPDB05/TRCSR/Ex4_7_77_Bor03_GM.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.12	MAYBE	0.12	MAYBE	0.03	MAYBE	0.03
TPDB05/TRCSR/Ex4_7_77_Bor03_Z.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex4_Zan97_C.trs	MAYBE	43.62	MAYBE	43.62	KILLED	60.00	MAYBE	300.45	MAYBE	0.32	MAYBE	0.32
TPDB05/TRCSR/Ex4_Zan97_FR.trs	YES	0.12	YES	0.12	YES	0.42	YES	0.42	YES	0.03	YES	0.03
TPDB05/TRCSR/Ex4_Zan97_GM.trs	MAYBE	0.88	MAYBE	0.88	KILLED	60.00	KILLED	600.00	MAYBE	0.09	MAYBE	0.09
TPDB05/TRCSR/Ex4_Zan97_Z.trs	YES	0.09	YES	0.09	YES	0.11	YES	0.11	YES	0.02	YES	0.02
TPDB05/TRCSR/Ex5_7_Luc97_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.96	MAYBE	0.96
TPDB05/TRCSR/Ex5_7_Luc97_FR.trs	MAYBE	4.46	MAYBE	4.46	KILLED	60.00	KILLED	600.00	MAYBE	0.53	MAYBE	0.53
TPDB05/TRCSR/Ex5_7_Luc97_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.28	MAYBE	0.28
TPDB05/TRCSR/Ex5_7_Luc97_Z.trs	MAYBE	4.94	MAYBE	4.94	KILLED	60.00	KILLED	600.00	MAYBE	0.70	MAYBE	0.70
TPDB05/TRCSR/Ex5_Zan97_C.trs	MAYBE	0.64	MAYBE	0.64	MAYBE	0.54	MAYBE	0.54	MAYBE	0.09	MAYBE	0.09
TPDB05/TRCSR/Ex5_Zan97_FR.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	1.65	MAYBE	1.65	MAYBE	0.02	MAYBE	0.02
TPDB05/TRCSR/Ex5_Zan97_GM.trs	MAYBE	0.13	MAYBE	0.13	MAYBE	4.52	MAYBE	4.52	MAYBE	0.05	MAYBE	0.05
TPDB05/TRCSR/Ex5_Zan97_Z.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00
TPDB05/TRCSR/Ex6_15_AEL02_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.61	MAYBE	1.61
TPDB05/TRCSR/Ex6_15_AEL02_FR.trs	MAYBE	0.82	MAYBE	0.82	KILLED	60.00	KILLED	600.00	MAYBE	0.39	MAYBE	0.39
TPDB05/TRCSR/Ex6_15_AEL02_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.59	MAYBE	0.59
TPDB05/TRCSR/Ex6_15_AEL02_Z.trs	MAYBE	0.65	MAYBE	0.65	KILLED	60.00	KILLED	600.00	MAYBE	0.57	MAYBE	0.57
TPDB05/TRCSR/Ex6_9_Luc02c_C.trs	MAYBE	37.35	MAYBE	37.35	KILLED	60.00	MAYBE	141.57	MAYBE	0.17	MAYBE	0.17
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	0.52	MAYBE	0.52	MAYBE	37.51	MAYBE	37.51	MAYBE	0.07	MAYBE	0.07
TPDB05/TRCSR/Ex6_9_Luc02c_Z.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex6_GM04_C.trs	YES	0.20	YES	0.20	YES	0.19	YES	0.19	YES	0.06	YES	0.06
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	12.56	YES	12.56	YES	26.69	YES	26.69	YES	0.50	YES	0.50
TPDB05/TRCSR/Ex6_Luc98_FR.trs	MAYBE	1.50	MAYBE	1.50	MAYBE	22.56	MAYBE	22.56	MAYBE	0.05	MAYBE	0.05
TPDB05/TRCSR/Ex6_Luc98_GM.trs	MAYBE	0.70	MAYBE	0.70	MAYBE	30.34	MAYBE	30.34	MAYBE	0.08	MAYBE	0.08
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.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex7_BLR02_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.57	MAYBE	0.57
TPDB05/TRCSR/Ex7_BLR02_FR.trs	MAYBE	0.96	MAYBE	0.96	MAYBE	33.95	MAYBE	33.95	MAYBE	0.08	MAYBE	0.08
TPDB05/TRCSR/Ex7_BLR02_GM.trs	MAYBE	17.44	MAYBE	17.44	KILLED	60.00	KILLED	600.00	MAYBE	0.18	MAYBE	0.18
TPDB05/TRCSR/Ex7_BLR02_Z.trs	YES	0.50	YES	0.50	YES	1.58	YES	1.58	YES	0.04	YES	0.04
TPDB05/TRCSR/Ex8_BLR02_C.trs	KILLED	60.00	MAYBE	414.23	KILLED	60.00	KILLED	600.00	MAYBE	0.41	MAYBE	0.41
TPDB05/TRCSR/Ex8_BLR02_FR.trs	YES	0.23	YES	0.23	YES	20.88	YES	20.88	YES	0.03	YES	0.03
TPDB05/TRCSR/Ex8_BLR02_GM.trs	MAYBE	3.58	MAYBE	3.58	KILLED	60.00	KILLED	600.00	MAYBE	0.28	MAYBE	0.28
TPDB05/TRCSR/Ex8_BLR02_Z.trs	YES	0.15	YES	0.15	YES	0.55	YES	0.55	YES	0.01	YES	0.01
TPDB05/TRCSR/Ex9_BLR02_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	YES	0.64	YES	0.64
TPDB05/TRCSR/Ex9_BLR02_FR.trs	KILLED	60.00	MAYBE	92.05	KILLED	60.00	KILLED	600.00	MAYBE	0.14	MAYBE	0.14
TPDB05/TRCSR/Ex9_BLR02_GM.trs	MAYBE	7.49	MAYBE	7.49	KILLED	60.00	KILLED	600.00	MAYBE	0.33	MAYBE	0.33
TPDB05/TRCSR/Ex9_BLR02_L.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/Ex9_BLR02_Z.trs	MAYBE	17.97	MAYBE	17.97	KILLED	60.00	KILLED	600.00	MAYBE	0.12	MAYBE	0.12
TPDB05/TRCSR/Ex9_Luc04_C.trs	MAYBE	0.26	MAYBE	0.26	MAYBE	0.17	MAYBE	0.17	MAYBE	0.06	MAYBE	0.06
TPDB05/TRCSR/ExAppendixB_AEL03_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.75	MAYBE	1.75
TPDB05/TRCSR/ExAppendixB_AEL03_FR.trs	YES	2.40	YES	2.40	YES	1.53	YES	1.53	YES	0.06	YES	0.06
TPDB05/TRCSR/ExAppendixB_AEL03_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.75	MAYBE	0.75
TPDB05/TRCSR/ExAppendixB_AEL03_Z.trs	YES	2.28	YES	2.28	YES	0.53	YES	0.53	YES	0.07	YES	0.07
TPDB05/TRCSR/ExConc_Zan97_C.trs	YES	0.51	YES	0.51	YES	0.39	YES	0.39	YES	0.07	YES	0.07
TPDB05/TRCSR/ExConc_Zan97_FR.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/ExConc_Zan97_GM.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/TRCSR/ExConc_Zan97_L.trs	YES	0.01	YES	0.01	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.39	MAYBE	0.39
TPDB05/TRCSR/ExIntrod_GM01_GM.trs	MAYBE	5.24	MAYBE	5.24	KILLED	60.00	KILLED	600.00	MAYBE	0.17	MAYBE	0.17
TPDB05/TRCSR/ExIntrod_GM04_C.trs	KILLED	60.00	MAYBE	176.78	KILLED	60.00	KILLED	600.00	MAYBE	0.19	MAYBE	0.19
TPDB05/TRCSR/ExIntrod_GM04_GM.trs	MAYBE	0.58	MAYBE	0.58	KILLED	60.00	KILLED	600.00	MAYBE	0.18	MAYBE	0.18
TPDB05/TRCSR/ExIntrod_GM99_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	1.21	MAYBE	1.21
TPDB05/TRCSR/ExIntrod_GM99_FR.trs	KILLED	60.00	MAYBE	219.51	KILLED	60.00	KILLED	600.00	MAYBE	0.19	MAYBE	0.19
TPDB05/TRCSR/ExIntrod_GM99_GM.trs	KILLED	60.00	MAYBE	94.88	KILLED	60.00	KILLED	600.00	MAYBE	0.28	MAYBE	0.28
TPDB05/TRCSR/ExIntrod_GM99_Z.trs	KILLED	60.00	MAYBE	140.04	KILLED	60.00	KILLED	600.00	MAYBE	0.14	MAYBE	0.14
TPDB05/TRCSR/ExIntrod_Zan97_C.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.47	MAYBE	0.47
TPDB05/TRCSR/ExIntrod_Zan97_FR.trs	MAYBE	1.66	MAYBE	1.66	KILLED	60.00	KILLED	600.00	MAYBE	0.08	MAYBE	0.08
TPDB05/TRCSR/ExIntrod_Zan97_GM.trs	MAYBE	26.56	MAYBE	26.56	KILLED	60.00	KILLED	600.00	MAYBE	0.40	MAYBE	0.40
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.08	YES	1.08
TPDB05/TRCSR/ExSec11_1_Luc02a_FR.trs	MAYBE	9.79	MAYBE	9.79	KILLED	60.00	KILLED	600.00	MAYBE	0.24	MAYBE	0.24
TPDB05/TRCSR/ExSec11_1_Luc02a_GM.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.23	MAYBE	0.23
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.03	YES	0.03	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.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw03.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw04.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw05.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw06.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw07.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw08.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
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.01	MAYBE	0.01	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.00	MAYBE	0.00
TPDB05/Zantema/jw14.trs	MAYBE	0.01	MAYBE	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/Zantema/jw15.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw16.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw17.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw18.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw19.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	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.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw22.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
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.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw25.trs	MAYBE	0.02	MAYBE	0.02	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.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw28.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	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.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/jw31.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw32.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw33.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw34.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	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.00	MAYBE	0.00	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.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw40.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw41.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw42.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw43.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw44.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/jw47.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/Zantema/jw50.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/Zantema/z01.trs	MAYBE	0.09	MAYBE	0.09	MAYBE	7.65	MAYBE	7.65	MAYBE	0.03	MAYBE	0.03
TPDB05/Zantema/z02.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z03.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.01	MAYBE	0.01	MAYBE	0.03	MAYBE	0.03
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	0.39	MAYBE	0.39	MAYBE	0.07	MAYBE	0.07	MAYBE	0.12	MAYBE	0.12
TPDB05/Zantema/z06.trs	MAYBE	0.06	MAYBE	0.06	YES	0.01	YES	0.01	YES	0.03	YES	0.03
TPDB05/Zantema/z07.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.03	MAYBE	0.03
TPDB05/Zantema/z08.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z09.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.03	MAYBE	0.03	MAYBE	0.03	MAYBE	0.03
TPDB05/Zantema/z10.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.03	MAYBE	0.03	MAYBE	0.03	MAYBE	0.03
TPDB05/Zantema/z11.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.04	MAYBE	0.04
TPDB05/Zantema/z12.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/Zantema/z13.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/Zantema/z14.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z15.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z16.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z17.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/Zantema/z18.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z19.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.01	MAYBE	0.01	MAYBE	0.36	MAYBE	0.36
TPDB05/Zantema/z20.trs	MAYBE	0.17	MAYBE	0.17	MAYBE	0.02	MAYBE	0.02	MAYBE	0.06	MAYBE	0.06
TPDB05/Zantema/z21.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/Zantema/z22.trs	MAYBE	0.47	MAYBE	0.47	MAYBE	0.02	MAYBE	0.02	MAYBE	0.12	MAYBE	0.12
TPDB05/Zantema/z23.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.03	MAYBE	0.03
TPDB05/Zantema/z24.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.03	MAYBE	0.03
TPDB05/Zantema/z25.trs	MAYBE	0.10	MAYBE	0.10	MAYBE	0.04	MAYBE	0.04	MAYBE	0.13	MAYBE	0.13
TPDB05/Zantema/z26.trs	MAYBE	0.24	MAYBE	0.24	MAYBE	0.03	MAYBE	0.03	MAYBE	0.18	MAYBE	0.18
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.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z29.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01
TPDB05/Zantema/z30.trs	MAYBE	11.98	MAYBE	11.98	KILLED	60.00	MAYBE	147.23	MAYBE	0.07	MAYBE	0.07
TPDB05/currying/AG01/#3.10.trs	MAYBE	24.76	MAYBE	24.76	MAYBE	3.84	MAYBE	3.84	MAYBE	0.86	MAYBE	0.86
TPDB05/currying/AG01/#3.13.trs	KILLED	60.00	MAYBE	153.10	KILLED	60.00	MAYBE	67.08	MAYBE	0.39	MAYBE	0.39
TPDB05/currying/AG01/#3.16.trs	MAYBE	0.03	MAYBE	0.03	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/currying/AG01/#3.18.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.13	MAYBE	0.13	MAYBE	0.05	MAYBE	0.05
TPDB05/currying/AG01/#3.2.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.05	MAYBE	0.05	MAYBE	0.03	MAYBE	0.03
TPDB05/currying/AG01/#3.22.trs	MAYBE	0.18	MAYBE	0.18	MAYBE	0.03	MAYBE	0.03	MAYBE	0.06	MAYBE	0.06
TPDB05/currying/AG01/#3.25.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01
TPDB05/currying/AG01/#3.27.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/currying/AG01/#3.32.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/currying/AG01/#3.36.trs	MAYBE	0.10	MAYBE	0.10	MAYBE	0.05	MAYBE	0.05	MAYBE	0.05	MAYBE	0.05
TPDB05/currying/AG01/#3.38.trs	MAYBE	0.24	MAYBE	0.24	MAYBE	0.34	MAYBE	0.34	MAYBE	0.15	MAYBE	0.15
TPDB05/currying/AG01/#3.40.trs	MAYBE	0.26	MAYBE	0.26	MAYBE	1.09	MAYBE	1.09	MAYBE	0.22	MAYBE	0.22
TPDB05/currying/AG01/#3.45.trs	YES	0.02	YES	0.02	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/currying/AG01/#3.48.trs	MAYBE	0.56	MAYBE	0.56	YES	0.02	YES	0.02	YES	0.03	YES	0.03
TPDB05/currying/AG01/#3.52.trs	MAYBE	0.07	MAYBE	0.07	YES	0.00	YES	0.00	YES	0.02	YES	0.02
TPDB05/currying/AG01/#3.55.trs	MAYBE	22.70	MAYBE	22.70	MAYBE	2.68	MAYBE	2.68	MAYBE	0.79	MAYBE	0.79
TPDB05/currying/AG01/#3.57.trs	MAYBE	11.64	MAYBE	11.64	MAYBE	0.11	MAYBE	0.11	MAYBE	0.59	MAYBE	0.59
TPDB05/currying/AG01/#3.6.trs	MAYBE	0.54	MAYBE	0.54	MAYBE	0.40	MAYBE	0.40	MAYBE	0.20	MAYBE	0.20
TPDB05/currying/AG01/#3.8.trs	MAYBE	0.16	MAYBE	0.16	MAYBE	0.19	MAYBE	0.19	MAYBE	0.06	MAYBE	0.06
TPDB05/currying/D33/01.trs	YES	0.02	YES	0.02	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.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/currying/D33/08.trs	YES	0.10	YES	0.10	YES	0.02	YES	0.02	YES	0.26	YES	0.26
TPDB05/currying/D33/11.trs	YES	1.28	YES	1.28	YES	0.41	YES	0.41	YES	0.90	YES	0.90
TPDB05/currying/D33/12.trs	MAYBE	0.13	MAYBE	0.13	MAYBE	0.60	MAYBE	0.60	MAYBE	0.07	MAYBE	0.07
TPDB05/currying/D33/13.trs	MAYBE	0.12	MAYBE	0.12	MAYBE	0.53	MAYBE	0.53	MAYBE	0.09	MAYBE	0.09
TPDB05/currying/D33/17.trs	MAYBE	0.04	MAYBE	0.04	YES	0.09	YES	0.09	YES	0.03	YES	0.03
TPDB05/currying/D33/18.trs	MAYBE	0.04	MAYBE	0.04	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/currying/D33/21.trs	MAYBE	0.08	MAYBE	0.08	MAYBE	0.01	MAYBE	0.01	MAYBE	0.03	MAYBE	0.03
TPDB05/currying/D33/29.trs	YES	0.09	YES	0.09	YES	0.03	YES	0.03	YES	0.05	YES	0.05
TPDB05/currying/D33/30.trs	YES	2.98	YES	2.98	YES	0.02	YES	0.02	YES	0.14	YES	0.14
TPDB05/currying/D33/31.trs	MAYBE	0.14	MAYBE	0.14	MAYBE	0.26	MAYBE	0.26	MAYBE	0.05	MAYBE	0.05
TPDB05/currying/D33/33.trs	MAYBE	0.58	MAYBE	0.58	MAYBE	0.05	MAYBE	0.05	MAYBE	0.22	MAYBE	0.22
TPDB05/currying/Ste92/hydra.trs	KILLED	60.00	KILLED	600.00	YES	0.52	YES	0.52	YES	0.05	YES	0.05
TPDB05/currying/Ste92/minsort.trs	MAYBE	1.23	MAYBE	1.23	MAYBE	0.08	MAYBE	0.08	MAYBE	0.16	MAYBE	0.16
TPDB05/currying/Ste92/motivation.trs	YES	0.03	YES	0.03	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/currying/Ste92/perfect.trs	KILLED	60.00	MAYBE	413.17	MAYBE	0.44	MAYBE	0.44	MAYBE	0.07	MAYBE	0.07
TPDB05/currying/Ste92/perfect2.trs	KILLED	60.00	MAYBE	222.45	MAYBE	1.00	MAYBE	1.00	MAYBE	0.14	MAYBE	0.14
TPDB05/higher-order/AProVE_HO/ReverseLastInit.trs	MAYBE	0.07	MAYBE	0.07	MAYBE	0.06	MAYBE	0.06	MAYBE	0.03	MAYBE	0.03
TPDB05/higher-order/AProVE_HO/TakeDropWhile.trs	MAYBE	0.11	MAYBE	0.11	YES	0.01	YES	0.01	YES	0.03	YES	0.03
TPDB05/higher-order/AProVE_HO/TypeEx1.trs	MAYBE	0.02	MAYBE	0.02	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/higher-order/AProVE_HO/TypeEx3.trs	MAYBE	0.08	MAYBE	0.08	MAYBE	0.03	MAYBE	0.03	MAYBE	0.06	MAYBE	0.06
TPDB05/higher-order/AProVE_HO/TypeEx5.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/higher-order/AProVE_HO/mapDivMinus.trs	MAYBE	0.13	MAYBE	0.13	MAYBE	0.06	MAYBE	0.06	MAYBE	0.05	MAYBE	0.05
TPDB05/higher-order/AProVE_HO/mapDivMinusHard.trs	MAYBE	0.18	MAYBE	0.18	MAYBE	0.07	MAYBE	0.07	MAYBE	0.13	MAYBE	0.13
TPDB05/higher-order/AProVE_HO/nonTermF.trs	MAYBE	0.07	MAYBE	0.07	MAYBE	0.09	MAYBE	0.09	MAYBE	0.04	MAYBE	0.04
TPDB05/higher-order/AProVE_HO/termMonTypes.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.04	MAYBE	0.04	MAYBE	0.01	MAYBE	0.01
TPDB05/higher-order/AotoYam/001.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/higher-order/AotoYam/002.trs	MAYBE	0.15	MAYBE	0.15	YES	0.01	YES	0.01	YES	0.03	YES	0.03
TPDB05/higher-order/AotoYam/003.trs	MAYBE	0.06	MAYBE	0.06	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/higher-order/AotoYam/004.trs	MAYBE	0.07	MAYBE	0.07	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/higher-order/AotoYam/005.trs	YES	0.03	YES	0.03	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/higher-order/AotoYam/006.trs	MAYBE	0.13	MAYBE	0.13	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/higher-order/AotoYam/007.trs	MAYBE	0.05	MAYBE	0.05	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/higher-order/AotoYam/009.trs	MAYBE	0.33	MAYBE	0.33	YES	0.02	YES	0.02	YES	0.04	YES	0.04
TPDB05/higher-order/AotoYam/010.trs	MAYBE	0.26	MAYBE	0.26	MAYBE	0.48	MAYBE	0.48	MAYBE	0.07	MAYBE	0.07
TPDB05/higher-order/AotoYam/011.trs	MAYBE	0.11	MAYBE	0.11	MAYBE	0.09	MAYBE	0.09	MAYBE	0.05	MAYBE	0.05
TPDB05/higher-order/AotoYam/012.trs	MAYBE	0.26	MAYBE	0.26	YES	0.07	YES	0.07	YES	0.04	YES	0.04
TPDB05/higher-order/AotoYam/013.trs	MAYBE	0.18	MAYBE	0.18	YES	0.14	YES	0.14	YES	0.05	YES	0.05
TPDB05/higher-order/AotoYam/014.trs	MAYBE	0.15	MAYBE	0.15	YES	0.02	YES	0.02	YES	0.03	YES	0.03
TPDB05/higher-order/AotoYam/015.trs	MAYBE	0.09	MAYBE	0.09	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/higher-order/AotoYam/016.trs	MAYBE	0.23	MAYBE	0.23	YES	0.32	YES	0.32	YES	0.31	YES	0.31
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.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/higher-order/AotoYam/020.trs	MAYBE	0.10	MAYBE	0.10	MAYBE	0.26	MAYBE	0.26	MAYBE	0.04	MAYBE	0.04
TPDB05/higher-order/AotoYam/021.trs	MAYBE	0.64	MAYBE	0.64	YES	0.02	YES	0.02	YES	0.07	YES	0.07
TPDB05/higher-order/AotoYam/022.trs	MAYBE	0.17	MAYBE	0.17	YES	0.01	YES	0.01	YES	0.03	YES	0.03
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.04	MAYBE	0.04	YES	0.00	YES	0.00	YES	0.01	YES	0.01
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.07	MAYBE	0.07	MAYBE	0.08	MAYBE	0.08	MAYBE	0.03	MAYBE	0.03
TPDB05/higher-order/AotoYam/027.trs	MAYBE	0.14	MAYBE	0.14	YES	0.01	YES	0.01	YES	0.05	YES	0.05
TPDB05/higher-order/AotoYam/028.trs	MAYBE	0.10	MAYBE	0.10	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/higher-order/AotoYam/Ex1SimplyTyped.trs	MAYBE	0.06	MAYBE	0.06	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/higher-order/AotoYam/Ex5TermProof.trs	MAYBE	0.11	MAYBE	0.11	MAYBE	0.11	MAYBE	0.11	MAYBE	0.06	MAYBE	0.06
TPDB05/higher-order/Bird/BTreeMember.trs	MAYBE	36.31	MAYBE	36.31	YES	0.02	YES	0.02	YES	0.04	YES	0.04
TPDB05/higher-order/Bird/Ex2_6_1Composition.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.01	YES	0.01
TPDB05/higher-order/Bird/Ex2_8_1ConstSubstFix.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/higher-order/Bird/Hamming.trs	KILLED	60.00	MAYBE	104.90	MAYBE	0.10	MAYBE	0.10	MAYBE	0.23	MAYBE	0.23
TPDB05/higher-order/Bird/TreeFlatten.trs	MAYBE	42.38	MAYBE	42.38	YES	0.02	YES	0.02	YES	0.04	YES	0.04
TPDB05/higher-order/Bird/TreeHeight.trs	MAYBE	5.53	MAYBE	5.53	YES	0.02	YES	0.02	YES	0.05	YES	0.05
TPDB05/higher-order/Bird/TreeLevels.trs	KILLED	60.00	MAYBE	156.91	MAYBE	0.52	MAYBE	0.52	MAYBE	0.11	MAYBE	0.11
TPDB05/higher-order/Bird/TreeMap.trs	MAYBE	0.12	MAYBE	0.12	YES	0.01	YES	0.01	YES	0.03	YES	0.03
TPDB05/higher-order/Bird/TreeSize.trs	MAYBE	2.41	MAYBE	2.41	YES	0.02	YES	0.02	YES	0.04	YES	0.04
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	0.68	MAYBE	0.68	MAYBE	0.06	MAYBE	0.06	MAYBE	0.09	MAYBE	0.09
TPDB05/higher-order/Lifantsev/Ex10Functional.trs	MAYBE	0.15	MAYBE	0.15	MAYBE	1.41	MAYBE	1.41	MAYBE	0.27	MAYBE	0.27
TPDB05/higher-order/Lifantsev/Ex2PrimRec.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.05	MAYBE	0.05	MAYBE	0.02	MAYBE	0.02
TPDB05/higher-order/Lifantsev/Ex3Lists.trs	MAYBE	0.09	MAYBE	0.09	YES	0.02	YES	0.02	YES	0.07	YES	0.07
TPDB05/higher-order/Lifantsev/Ex4MapList.trs	MAYBE	0.02	MAYBE	0.02	YES	0.00	YES	0.00	YES	0.14	YES	0.14
TPDB05/higher-order/Lifantsev/Ex5Sorting.trs	KILLED	60.00	MAYBE	112.48	MAYBE	2.31	MAYBE	2.31	MAYBE	0.33	MAYBE	0.33
TPDB05/higher-order/Lifantsev/Ex6Folding.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.09	MAYBE	0.09	MAYBE	0.04	MAYBE	0.04
TPDB05/higher-order/Lifantsev/Ex7OrdinalRec.trs	MAYBE	0.68	MAYBE	0.68	MAYBE	3.05	MAYBE	3.05	MAYBE	0.07	MAYBE	0.07
TPDB05/higher-order/Lifantsev/Ex8Polymorphic.trs	MAYBE	0.13	MAYBE	0.13	MAYBE	0.10	MAYBE	0.10	MAYBE	0.03	MAYBE	0.03
TPDB05/higher-order/Lifantsev/Ex9Maps.trs	MAYBE	0.51	MAYBE	0.51	MAYBE	0.09	MAYBE	0.09	MAYBE	0.09	MAYBE	0.09
TPDB05/higher-order/ToyamaRTA04/Ex4Filter.trs	MAYBE	0.09	MAYBE	0.09	YES	0.01	YES	0.01	YES	0.01	YES	0.01
TPDB05/higher-order/ToyamaRTA04/Ex5Folding.trs	MAYBE	0.15	MAYBE	0.15	MAYBE	0.12	MAYBE	0.12	MAYBE	0.07	MAYBE	0.07
TPDB05/higher-order/ToyamaRTA04/Ex6Recursor.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02
TPDB05/higher-order/ToyamaRTA04/Ex7Sorting.trs	KILLED	60.00	MAYBE	114.58	MAYBE	2.90	MAYBE	2.90	MAYBE	0.25	MAYBE	0.25
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.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/AG01/#4.15.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.06	MAYBE	0.06	MAYBE	0.01	MAYBE	0.01
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.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/AG01/#4.18.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/AG01/#4.19.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.05	MAYBE	0.05	MAYBE	0.02	MAYBE	0.02
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.01	YES	0.01	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.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/nontermin/AG01/#4.23.trs	YES	0.02	YES	0.02	YES	0.01	YES	0.01	YES	0.02	YES	0.02
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.04	MAYBE	0.04	MAYBE	0.29	MAYBE	0.29	MAYBE	0.02	MAYBE	0.02
TPDB05/nontermin/AG01/#4.27.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/AG01/#4.28.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/AG01/#4.29.trs	MAYBE	0.14	MAYBE	0.14	MAYBE	0.50	MAYBE	0.50	MAYBE	0.14	MAYBE	0.14
TPDB05/nontermin/AG01/#4.3.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/AG01/#4.30.trs	MAYBE	0.11	MAYBE	0.11	MAYBE	0.37	MAYBE	0.37	MAYBE	0.04	MAYBE	0.04
TPDB05/nontermin/AG01/#4.30a.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/AG01/#4.30b.trs	MAYBE	0.11	MAYBE	0.11	MAYBE	0.52	MAYBE	0.52	MAYBE	0.03	MAYBE	0.03
TPDB05/nontermin/AG01/#4.30c.trs	MAYBE	0.13	MAYBE	0.13	MAYBE	0.26	MAYBE	0.26	MAYBE	0.04	MAYBE	0.04
TPDB05/nontermin/AG01/#4.31.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.04	MAYBE	0.04	MAYBE	0.02	MAYBE	0.02
TPDB05/nontermin/AG01/#4.32.trs	YES	0.01	YES	0.01	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.05	YES	0.05
TPDB05/nontermin/AG01/#4.34.trs	YES	0.05	YES	0.05	YES	0.30	YES	0.30	YES	0.03	YES	0.03
TPDB05/nontermin/AG01/#4.35.trs	MAYBE	35.63	MAYBE	35.63	KILLED	60.00	KILLED	600.00	YES	0.64	YES	0.64
TPDB05/nontermin/AG01/#4.36.trs	YES	1.33	YES	1.33	KILLED	60.00	KILLED	600.00	YES	0.14	YES	0.14
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.01	YES	0.01	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.00	MAYBE	0.00	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.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/Ex1_2_AEL03.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/nontermin/CSR/Ex1_2_Luc02c.trs	MAYBE	0.00	MAYBE	0.00	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.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/Ex1_Zan97.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex24_GM04.trs	MAYBE	0.01	MAYBE	0.01	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.01	MAYBE	0.01	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.01	MAYBE	0.01
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.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex4_7_37_Bor03.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
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.00	MAYBE	0.00	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.01	MAYBE	0.01	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.02	MAYBE	0.02
TPDB05/nontermin/CSR/Ex5_Zan97.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/Ex6_15_AEL02.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.02	MAYBE	0.02	MAYBE	0.03	MAYBE	0.03
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.02	MAYBE	0.02	MAYBE	0.00	MAYBE	0.00	MAYBE	0.03	MAYBE	0.03
TPDB05/nontermin/CSR/Ex8_BLR02.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/Ex9_BLR02.trs	MAYBE	0.06	MAYBE	0.06	MAYBE	0.02	MAYBE	0.02	MAYBE	0.03	MAYBE	0.03
TPDB05/nontermin/CSR/ExAppendixB_AEL03.trs	MAYBE	0.30	MAYBE	0.30	MAYBE	0.01	MAYBE	0.01	MAYBE	0.04	MAYBE	0.04
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.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/CSR/ExIntrod_GM04.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/CSR/ExIntrod_GM99.trs	MAYBE	0.46	MAYBE	0.46	MAYBE	4.49	MAYBE	4.49	MAYBE	0.16	MAYBE	0.16
TPDB05/nontermin/CSR/ExIntrod_Zan97.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/HM/n001.trs	MAYBE	0.00	MAYBE	0.00	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.04	MAYBE	0.04	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/Rubio-inn/test10.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.09	MAYBE	0.09	MAYBE	0.01	MAYBE	0.01
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.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/Rubio-inn/test77.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.03	MAYBE	0.03	MAYBE	0.01	MAYBE	0.01
TPDB05/nontermin/Rubio-inn/test830.trs	YES	0.01	YES	0.01	YES	0.17	YES	0.17	YES	0.00	YES	0.00
TPDB05/nontermin/Rubio-inn/test9.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00
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.07	MAYBE	0.07	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.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01
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.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/nontermin/cariboo/tricky1.trs	MAYBE	0.05	MAYBE	0.05	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/secret2005/aprove1.trs	MAYBE	0.31	MAYBE	0.31	MAYBE	0.08	MAYBE	0.08	MAYBE	0.16	MAYBE	0.16
TPDB05/secret2005/aprove2.trs	MAYBE	0.47	MAYBE	0.47	MAYBE	1.77	MAYBE	1.77	MAYBE	0.05	MAYBE	0.05
TPDB05/secret2005/aprove3.trs	MAYBE	1.11	MAYBE	1.11	MAYBE	0.96	MAYBE	0.96	MAYBE	0.05	MAYBE	0.05
TPDB05/secret2005/aprove4.trs	MAYBE	0.04	MAYBE	0.04	MAYBE	0.18	MAYBE	0.18	MAYBE	0.05	MAYBE	0.05
TPDB05/secret2005/aprove5.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.26	MAYBE	0.26	MAYBE	0.06	MAYBE	0.06
TPDB05/secret2005/cime1.trs	MAYBE	9.42	MAYBE	9.42	MAYBE	28.75	MAYBE	28.75	MAYBE	3.72	MAYBE	3.72
TPDB05/secret2005/cime2.trs	MAYBE	0.08	MAYBE	0.08	MAYBE	0.06	MAYBE	0.06	MAYBE	0.03	MAYBE	0.03
TPDB05/secret2005/cime3.trs	MAYBE	10.09	MAYBE	10.09	KILLED	60.00	KILLED	600.00	MAYBE	0.23	MAYBE	0.23
TPDB05/secret2005/cime4.trs	MAYBE	0.00	MAYBE	0.00	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	8.91	MAYBE	8.91
TPDB05/secret2005/mb1.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/secret2005/mb2.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/secret2005/teparla1.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/secret2005/teparla2.trs	MAYBE	0.02	MAYBE	0.02	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/secret2005/teparla3.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01	MAYBE	0.01
TPDB05/secret2005/tpa1.trs	MAYBE	0.10	MAYBE	0.10	MAYBE	0.34	MAYBE	0.34	MAYBE	0.04	MAYBE	0.04
TPDB05/secret2005/tpa2.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.01	MAYBE	0.01	MAYBE	0.03	MAYBE	0.03
TPDB05/secret2005/tpa3.trs	MAYBE	0.03	MAYBE	0.03	MAYBE	0.08	MAYBE	0.08	MAYBE	0.03	MAYBE	0.03
TPDB05/secret2005/tpa4.trs	MAYBE	0.06	MAYBE	0.06	MAYBE	0.49	MAYBE	0.49	MAYBE	0.03	MAYBE	0.03
TPDB05/secret2005/tpa5.trs	MAYBE	0.16	MAYBE	0.16	MAYBE	0.22	MAYBE	0.22	MAYBE	0.04	MAYBE	0.04
TPDB05/secret2005/ttt1.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.01	MAYBE	0.01
TPDB05/secret2005/ttt2.trs	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/various/02.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/various/03.trs	YES	0.00	YES	0.00	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.05	MAYBE	0.05
TPDB05/various/05.trs	KILLED	60.00	KILLED	600.00	KILLED	60.00	KILLED	600.00	MAYBE	0.04	MAYBE	0.04
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	0.15	MAYBE	0.15
TPDB05/various/09.trs	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/various/10.trs	MAYBE	0.11	MAYBE	0.11	MAYBE	0.17	MAYBE	0.17	MAYBE	0.08	MAYBE	0.08
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.04	MAYBE	0.04	MAYBE	0.04	MAYBE	0.04	MAYBE	0.03	MAYBE	0.03
TPDB05/various/13.trs	MAYBE	0.10	MAYBE	0.10	MAYBE	0.09	MAYBE	0.09	MAYBE	0.13	MAYBE	0.13
TPDB05/various/14.trs	MAYBE	0.15	MAYBE	0.15	MAYBE	0.08	MAYBE	0.08	MAYBE	0.15	MAYBE	0.15
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.01	MAYBE	0.01	MAYBE	0.02	MAYBE	0.02
TPDB05/various/19.trs	MAYBE	0.05	MAYBE	0.05	MAYBE	0.05	MAYBE	0.05	MAYBE	0.04	MAYBE	0.04
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	32.25	MAYBE	32.25	YES	0.04	YES	0.04	YES	0.17	YES	0.17
TPDB05/various/22.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00
TPDB05/various/23.trs	MAYBE	0.01	MAYBE	0.01	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00	MAYBE	0.00
TPDB05/various/24.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.04	YES	0.04
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.02	YES	0.02	YES	0.01	YES	0.01	YES	0.02	YES	0.02
TPDB05/various/27.trs	YES	0.01	YES	0.01	YES	0.00	YES	0.00	YES	0.00	YES	0.00