file	DC	DC innermost	RC	RC innermost
TRS/AG01/#3.1	-	0.05	3.19	2.20
TRS/AG01/#3.10	-	0.05	60.14	59.51
TRS/AG01/#3.12	60.24	60.28	3.65	3.33
TRS/AG01/#3.13	-	0.05	60.13	60.02
TRS/AG01/#3.14	1.10	1.10	1.65	1.44
TRS/AG01/#3.15	1.14	1.13	1.23	1.25
TRS/AG01/#3.16	-	0.05	2.11	2.30
TRS/AG01/#3.17	91.88	93.08	8.29	9.96
TRS/AG01/#3.17a	65.09	65.02	12.64	15.56
TRS/AG01/#3.18	-	0.05	7.32	5.96
TRS/AG01/#3.19	-	0.05	14.34	13.82
TRS/AG01/#3.2	-	0.05	5.21	3.62
TRS/AG01/#3.21	-	0.05	60.39	58.75
TRS/AG01/#3.22	-	0.05	10.16	11.27
TRS/AG01/#3.23	-	0.05	1.53	1.60
TRS/AG01/#3.24	0.08	0.07	0.15	0.15
TRS/AG01/#3.26	60.22	60.10	1.60	1.57
TRS/AG01/#3.29	-	0.05	0.12	0.12
TRS/AG01/#3.31	-	0.05	3.37	3.45
TRS/AG01/#3.33	0.09	0.09	0.12	0.12
TRS/AG01/#3.35	1.08	1.08	1.18	1.20
TRS/AG01/#3.36	-	0.05	60.14	58.22
TRS/AG01/#3.37	0.08	0.08	0.16	0.16
TRS/AG01/#3.38	-	0.05	2.61	3.20
TRS/AG01/#3.39	-	0.05	60.13	58.58
TRS/AG01/#3.4	-	0.05	6.76	6.01
TRS/AG01/#3.40	-	0.05	60.12	58.90
TRS/AG01/#3.41	-	0.05	2.87	2.54
TRS/AG01/#3.42	-	0.05	4.36	2.18
TRS/AG01/#3.47	-	0.05	4.13	3.93
TRS/AG01/#3.48	-	0.05	4.45	4.84
TRS/AG01/#3.49	60.35	60.33	5.29	5.90
TRS/AG01/#3.5	-	0.05	60.12	50.74
TRS/AG01/#3.51	0.08	0.08	0.14	0.14
TRS/AG01/#3.52	-	0.05	0.84	0.17
TRS/AG01/#3.53	-	0.05	14.61	8.36
TRS/AG01/#3.53a	-	0.05	0.13	0.12
TRS/AG01/#3.53b	-	0.05	0.79	0.18
TRS/AG01/#3.54	-	0.05	0.64	0.64
TRS/AG01/#3.55	-	0.05	60.13	59.12
TRS/AG01/#3.56	1.09	1.10	1.66	1.59
TRS/AG01/#3.57	-	0.05	8.85	8.47
TRS/AG01/#3.5a	-	0.05	20.25	9.74
TRS/AG01/#3.5b	-	0.05	60.13	58.47
TRS/AG01/#3.6	-	0.05	25.05	14.80
TRS/AG01/#3.6a	-	0.05	23.33	10.92
TRS/AG01/#3.6b	-	0.05	60.12	40.12
TRS/AG01/#3.7	1.13	1.13	1.24	1.24
TRS/AG01/#3.8a	-	0.05	60.12	33.98
TRS/AG01/#3.8b	-	0.05	60.12	58.51
TRS/AG01/#4.12a	-	0.05	0.38	0.29
TRS/AG01/#4.13	-	0.05	0.40	0.30
TRS/AG01/#4.14	-	0.05	1.97	1.09
TRS/AG01/#4.15	-	0.05	60.12	58.50
TRS/AG01/#4.16	-	0.05	0.74	0.56
TRS/AG01/#4.17	60.36	60.32	61.13	59.23
TRS/AG01/#4.18	60.10	60.11	61.19	59.30
TRS/AG01/#4.19	-	0.05	15.79	14.83
TRS/AG01/#4.2	-	0.05	4.60	21.42
TRS/AG01/#4.20	0.10	0.11	1.14	1.15
TRS/AG01/#4.20a	0.10	0.09	1.15	1.17
TRS/AG01/#4.21	0.09	0.09	8.35	7.52
TRS/AG01/#4.22	-	0.05	1.38	0.77
TRS/AG01/#4.23	-	0.05	60.12	33.46
TRS/AG01/#4.24	60.32	60.26	6.76	8.68
TRS/AG01/#4.25	60.25	60.25	1.26	1.29
TRS/AG01/#4.26	-	0.05	4.03	2.49
TRS/AG01/#4.27	-	0.05	60.30	58.62
TRS/AG01/#4.28	5.91	6.02	1.55	1.56
TRS/AG01/#4.29	-	0.05	60.13	58.49
TRS/AG01/#4.3	-	0.05	1.46	1.03
TRS/AG01/#4.30	-	0.05	29.44	13.56
TRS/AG01/#4.30a	-	0.05	60.12	38.26
TRS/AG01/#4.30b	-	0.05	60.12	9.40
TRS/AG01/#4.30c	-	0.05	13.37	16.22
TRS/AG01/#4.31	73.86	73.47	2.23	2.29
TRS/AG01/#4.32	-	0.05	5.19	5.25
TRS/AG01/#4.33	-	0.05	60.12	58.77
TRS/AG01/#4.34	-	0.05	57.45	57.42
TRS/AG01/#4.35	-	0.05	60.12	60.02
TRS/AG01/#4.36	-	0.05	60.13	59.81
TRS/AG01/#4.37	0.07	0.07	0.12	0.12
TRS/AG01/#4.37a	0.07	0.07	0.12	0.13
TRS/AG01/#4.4	-	0.05	1.00	0.95
TRS/AG01/#4.5	60.05	60.05	1.13	1.12
TRS/AG01/#4.7	-	0.05	1.80	2.31
TRS/AProVE/AAECC-ring	-	0.06	60.13	60.02
TRS/AProVE/AAECC	-	0.05	60.28	59.84
TRS/AProVE/IJCAR_1	-	0.05	1.29	1.09
TRS/AProVE/IJCAR_12	-	0.05	5.78	4.72
TRS/AProVE/IJCAR_18	-	0.05	60.13	58.91
TRS/AProVE/IJCAR_26	-	0.05	60.13	58.95
TRS/AProVE/IJCAR_26a	-	0.05	60.13	58.93
TRS/AProVE/JFP_Ex31	-	0.05	47.80	46.04
TRS/AProVE/JFP_Ex51	-	0.05	19.22	22.18
TRS/AProVE/LPAR_intlist	60.27	60.30	9.75	7.87
TRS/AProVE/Liveness6.1	60.18	60.21	20.32	16.92
TRS/AProVE/Liveness6.2	60.35	60.35	20.53	11.76
TRS/AProVE/Liveness6.3	60.26	60.25	43.03	31.78
TRS/AProVE/Liveness6.4	69.87	65.86	61.60	59.72
TRS/AProVE/Liveness8	28.15	30.08	62.04	59.58
TRS/AProVE/Liveness_WRS	60.16	60.18	62.00	60.02
TRS/AProVE/fac	-	0.05	60.14	58.28
TRS/AProVE/forward_instantiation	-	0.05	0.41	0.36
TRS/AProVE/forward_instantiation2	-	0.05	0.41	0.38
TRS/AProVE/improved_usable	-	0.05	3.90	0.30
TRS/AProVE/improved_usable2	-	0.05	1.30	0.23
TRS/AProVE/rta1	-	0.05	60.13	58.32
TRS/AProVE/rta2	-	0.05	0.30	0.25
TRS/AProVE/rta3	-	0.05	9.08	10.81
TRS/Beerendonk/1	-	0.05	7.44	19.24
TRS/Beerendonk/10	-	0.05	31.90	58.32
TRS/Beerendonk/11	-	0.05	57.22	58.46
TRS/Beerendonk/12	-	0.05	6.53	58.37
TRS/Beerendonk/13	-	0.05	29.17	58.41
TRS/Beerendonk/14	-	0.05	23.26	29.32
TRS/Beerendonk/15	-	0.05	60.12	58.84
TRS/Beerendonk/16	-	0.05	60.12	60.01
TRS/Beerendonk/17	-	0.05	60.12	58.89
TRS/Beerendonk/18	-	0.05	60.12	58.90
TRS/Beerendonk/19	-	0.05	60.12	60.02
TRS/Beerendonk/2	-	0.05	7.94	33.03
TRS/Beerendonk/20	-	0.05	60.12	58.55
TRS/Beerendonk/21	-	0.05	60.12	59.09
TRS/Beerendonk/22	-	0.05	52.99	58.43
TRS/Beerendonk/23	-	0.05	14.10	18.79
TRS/Beerendonk/24	-	0.05	60.12	58.92
TRS/Beerendonk/3	-	0.05	16.89	37.81
TRS/Beerendonk/4	-	0.05	2.88	2.93
TRS/Beerendonk/5	-	0.05	60.14	58.29
TRS/Beerendonk/6	-	0.05	2.58	2.39
TRS/Beerendonk/7	-	0.05	60.15	58.24
TRS/Beerendonk/8	-	0.05	60.12	58.35
TRS/Beerendonk/9	-	0.05	60.12	58.57
TRS/CSR/Ex1_Luc04b_GM	60.98	60.52	7.34	7.75
TRS/Cime/ack_prolog	-	0.05	59.93	35.52
TRS/Cime/append-hard	-	0.05	1.64	1.22
TRS/Cime/append-wrong	-	0.05	1.74	1.13
TRS/Cime/append	-	0.05	0.39	0.14
TRS/Cime/big	-	0.06	60.16	60.02
TRS/Cime/boolean_rings	-	0.05	57.57	31.39
TRS/Cime/dpqs	0.07	0.07	0.13	0.13
TRS/Cime/fact-hard	-	0.05	60.12	58.41
TRS/Cime/filliatre	60.21	60.19	62.47	59.94
TRS/Cime/filliatre2	60.20	60.20	76.84	59.95
TRS/Cime/filliatre3	-	0.05	60.13	59.21
TRS/Cime/intersect	-	0.05	12.72	14.08
TRS/Cime/list-sum-prod-assoc-append	-	0.05	26.10	25.67
TRS/Cime/list-sum-prod-assoc	-	0.05	18.03	21.05
TRS/Cime/list-sum-prod-bin-assoc-distr-app	-	0.05	60.14	59.49
TRS/Cime/list-sum-prod-bin-assoc	-	0.05	60.14	58.84
TRS/Cime/list-sum-prod-bin	-	0.05	60.14	58.54
TRS/Cime/list-sum-prod	-	0.05	13.55	15.22
TRS/Cime/log2	-	0.05	60.13	59.15
TRS/Cime/lse	-	0.05	5.40	5.15
TRS/Cime/maude2	-	0.05	60.13	59.05
TRS/Cime/mucrl1	-	0.14	60.53	60.02
TRS/Cime/quick	-	0.05	13.70	53.38
TRS/Cime/ternary-hard	-	0.05	60.14	59.94
TRS/Cime/ternary	-	0.05	60.14	59.20
TRS/Cime/tree	-	0.05	60.13	60.02
TRS/D33/01	0.07	0.07	0.15	0.15
TRS/D33/02	0.07	0.07	0.12	0.13
TRS/D33/03	0.06	0.07	0.11	0.11
TRS/D33/04	0.07	0.07	1.15	1.16
TRS/D33/06	60.10	60.09	1.13	1.13
TRS/D33/07	1.08	1.08	1.19	1.19
TRS/D33/08	-	0.05	0.29	0.26
TRS/D33/09	1.07	1.07	1.13	1.13
TRS/D33/11	-	0.05	0.54	0.41
TRS/D33/12	-	0.05	2.77	3.14
TRS/D33/13	-	0.05	5.32	5.63
TRS/D33/17	60.34	60.34	17.96	18.27
TRS/D33/18	-	0.05	0.17	0.12
TRS/D33/20	60.26	60.32	41.20	39.51
TRS/D33/21	-	0.05	60.15	58.25
TRS/D33/27	1.08	1.08	1.13	1.13
TRS/D33/28	-	0.05	15.91	16.04
TRS/D33/30	-	0.05	60.31	60.02
TRS/D33/31	-	0.05	3.04	3.93
TRS/D33/32	-	0.05	3.13	5.52
TRS/D33/33	-	0.05	60.12	58.82
TRS/Endrullis/direct	0.09	0.08	0.20	0.20
TRS/Endrullis/labeling	-	0.05	18.21	22.05
TRS/Endrullis/linear1	60.30	60.34	27.59	28.62
TRS/Endrullis/linear2	61.19	60.48	61.75	60.02
TRS/Endrullis/pair2hard	-	0.05	59.56	59.28
TRS/Endrullis/pair2simple1	-	0.05	51.16	55.15
TRS/Endrullis/pair2simple2	-	0.05	60.12	59.75
TRS/Endrullis/pair3hard	-	0.05	60.11	60.02
TRS/Endrullis/pair3rotate	25.52	25.13	61.16	60.02
TRS/Endrullis/pair3swap	60.27	60.26	9.86	14.72
TRS/Endrullis/quadruple1	0.08	0.08	0.14	0.14
TRS/Endrullis/quadruple2	0.07	0.07	0.14	0.14
TRS/HM/n001	60.13	60.11	61.15	59.23
TRS/HM/n002	60.05	60.05	1.12	1.11
TRS/HM/n003	60.05	60.06	1.13	1.13
TRS/HM/n004	60.05	60.06	1.11	1.11
TRS/HM/n005	60.06	60.06	1.28	1.28
TRS/HM/n006	60.06	60.06	1.14	1.15
TRS/HM/n007	-	0.05	0.12	0.16
TRS/HM/n008	60.06	60.05	1.12	1.12
TRS/HM/t000	60.51	60.48	41.13	36.64
TRS/HM/t001	-	0.05	60.13	58.75
TRS/HM/t002	-	0.05	3.71	4.29
TRS/HM/t003	-	0.05	60.12	59.89
TRS/HM/t004	61.63	62.15	61.23	59.25
TRS/HM/t005	-	0.10	60.30	60.02
TRS/HM/t006	0.07	0.06	0.15	0.15
TRS/HM/t007	0.07	0.07	0.11	0.11
TRS/HM/t008	10.14	12.97	61.30	59.33
TRS/HM/t009	60.07	60.06	62.12	60.02
TRS/HM/t010	0.07	0.08	0.12	0.12
TRS/HM/t011	1.08	1.08	1.13	1.13
TRS/HM/t012	60.20	60.20	61.79	59.45
TRS/HM/t013	-	0.05	60.13	58.22
TRS/HM/t014	-	0.05	60.13	58.35
TRS/HofWald/1	0.07	0.07	0.12	0.12
TRS/HofWald/2	60.12	60.12	61.17	59.28
TRS/HofWald/3	-	0.05	60.32	58.50
TRS/HofWald/4	0.07	0.07	0.11	0.12
TRS/HofWald/5	-	0.05	11.02	12.18
TRS/HofWald/6	60.10	60.12	61.15	59.24
TRS/HofWald/7	-	0.05	60.31	60.02
TRS/Koprowski/gcd_triple	-	0.05	60.13	59.15
TRS/LJB01/jones1	1.07	1.07	1.18	1.20
TRS/LJB01/jones2	-	0.05	0.34	0.13
TRS/LJB01/jones4	0.07	0.07	0.13	0.13
TRS/LJB01/jones5	-	0.05	0.59	0.42
TRS/LJB01/jones6	1.09	1.09	1.25	1.25
TRS/Rubio-inn/test833	0.07	0.07	0.13	0.13
TRS/Rubio/aoto	0.08	0.08	0.29	0.29
TRS/Rubio/bintrees	1.10	1.10	1.65	1.45
TRS/Rubio/bn122	-	0.05	1.54	1.68
TRS/Rubio/bn129	60.25	60.39	61.14	60.02
TRS/Rubio/division	-	0.05	19.92	17.96
TRS/Rubio/elimdupl	-	0.05	6.68	6.11
TRS/Rubio/enno	-	0.05	16.92	22.69
TRS/Rubio/gcd	-	0.05	17.07	18.55
TRS/Rubio/gm	-	0.05	4.38	2.81
TRS/Rubio/gmnp	0.08	0.07	0.14	0.14
TRS/Rubio/koen	0.07	0.07	0.83	0.83
TRS/Rubio/lescanne	1.09	1.09	1.19	1.19
TRS/Rubio/lindau	0.08	0.08	0.13	0.12
TRS/Rubio/logarquot	-	0.05	60.12	39.35
TRS/Rubio/ma96	-	0.05	60.12	60.02
TRS/Rubio/mfp90b	0.07	0.07	0.13	0.12
TRS/Rubio/mfp95	0.07	0.07	0.11	0.11
TRS/Rubio/nestrec	60.11	60.13	1.50	1.54
TRS/Rubio/p266	0.09	0.08	0.25	0.46
TRS/Rubio/polo2	-	0.05	0.51	0.41
TRS/Rubio/prov	-	0.05	11.68	13.64
TRS/Rubio/quick	-	0.05	60.13	58.99
TRS/Rubio/quotminus	-	0.05	9.60	8.02
TRS/Rubio/revlist	-	0.05	60.13	58.41
TRS/Rubio/selsort	-	0.05	60.13	60.02
TRS/Rubio/test4	0.07	0.07	0.16	0.16
TRS/Rubio/test829	0.10	0.10	0.36	0.36
TRS/Rubio/wst99	-	0.05	35.17	42.19
TRS/SK90/2.01	1.13	1.12	2.65	2.52
TRS/SK90/2.02	60.20	60.26	6.50	7.00
TRS/SK90/2.03	1.09	1.09	1.16	1.17
TRS/SK90/2.04	1.08	1.08	1.15	1.14
TRS/SK90/2.05	-	0.05	60.12	59.87
TRS/SK90/2.06	1.09	1.10	1.21	1.23
TRS/SK90/2.07	-	0.05	1.23	1.32
TRS/SK90/2.08	-	0.05	25.77	33.58
TRS/SK90/2.09	1.08	1.07	1.14	1.15
TRS/SK90/2.10	60.37	60.32	2.25	1.87
TRS/SK90/2.11	1.09	1.09	1.20	1.21
TRS/SK90/2.12	-	0.05	5.53	5.58
TRS/SK90/2.13	-	0.05	0.25	0.13
TRS/SK90/2.14	62.78	60.56	1.28	1.37
TRS/SK90/2.15	-	0.05	0.42	0.48
TRS/SK90/2.16	-	0.05	4.26	0.16
TRS/SK90/2.17	-	0.05	0.22	0.16
TRS/SK90/2.18	-	0.05	0.47	0.14
TRS/SK90/2.19	-	0.05	1.56	0.37
TRS/SK90/2.20	-	0.05	0.23	0.13
TRS/SK90/2.21	-	0.05	0.71	0.47
TRS/SK90/2.22	-	0.05	2.52	0.15
TRS/SK90/2.23	-	0.05	13.37	13.36
TRS/SK90/2.24	-	0.05	0.50	0.33
TRS/SK90/2.25	-	0.05	6.89	7.77
TRS/SK90/2.26	-	0.05	60.12	58.38
TRS/SK90/2.27	-	0.05	1.94	1.50
TRS/SK90/2.28	-	0.05	2.04	2.16
TRS/SK90/2.29	-	0.05	1.25	0.17
TRS/SK90/2.30	-	0.05	0.15	0.15
TRS/SK90/2.31	1.10	1.09	1.38	1.39
TRS/SK90/2.32	-	0.05	1.03	0.17
TRS/SK90/2.33	1.10	1.10	1.38	1.38
TRS/SK90/2.34	60.26	60.16	1.60	1.61
TRS/SK90/2.35	-	0.05	0.19	0.35
TRS/SK90/2.36	1.09	1.09	1.16	1.21
TRS/SK90/2.37	-	0.05	0.89	0.12
TRS/SK90/2.38	1.08	1.08	1.24	1.20
TRS/SK90/2.39	162.26	152.00	3.29	3.36
TRS/SK90/2.40	-	0.05	2.45	2.54
TRS/SK90/2.41	1.11	1.11	1.24	1.25
TRS/SK90/2.42	60.26	60.55	8.50	8.06
TRS/SK90/2.43	-	0.05	60.12	58.88
TRS/SK90/2.44	-	0.05	2.77	0.23
TRS/SK90/2.45	-	0.05	60.11	59.16
TRS/SK90/2.46	1.08	1.09	1.21	1.22
TRS/SK90/2.47	1.07	1.07	1.13	1.14
TRS/SK90/2.48	0.07	0.07	0.13	0.13
TRS/SK90/2.49	0.08	0.08	0.15	0.15
TRS/SK90/2.50	60.10	60.09	1.12	1.12
TRS/SK90/2.51	-	0.05	8.62	10.26
TRS/SK90/2.52	-	0.05	60.12	58.73
TRS/SK90/2.53	1.08	1.08	1.13	1.13
TRS/SK90/2.54	1.07	1.07	1.13	1.14
TRS/SK90/2.55	1.07	1.07	1.14	1.14
TRS/SK90/2.56	0.07	0.07	0.11	0.12
TRS/SK90/2.57	-	0.05	29.07	30.65
TRS/SK90/2.58	-	0.05	0.16	0.13
TRS/SK90/2.59	-	0.05	0.18	0.11
TRS/SK90/2.60	0.09	0.09	0.12	0.12
TRS/SK90/2.61	0.08	0.09	1.79	1.61
TRS/SK90/4.01	0.07	0.07	1.23	1.24
TRS/SK90/4.02	-	0.05	10.06	13.22
TRS/SK90/4.03	-	0.05	4.83	4.89
TRS/SK90/4.04	1.10	1.10	1.21	1.20
TRS/SK90/4.05	-	0.05	0.28	0.21
TRS/SK90/4.06	-	0.05	2.64	3.10
TRS/SK90/4.07	1.08	1.08	1.25	1.24
TRS/SK90/4.08	1.07	1.07	1.14	1.14
TRS/SK90/4.09	-	0.05	5.79	6.44
TRS/SK90/4.10	-	0.05	0.79	0.44
TRS/SK90/4.11	1.08	1.09	1.22	1.23
TRS/SK90/4.12	1.11	1.12	1.29	1.29
TRS/SK90/4.13	-	0.05	3.40	6.75
TRS/SK90/4.14	-	0.05	11.12	14.13
TRS/SK90/4.15	1.08	1.09	1.17	1.17
TRS/SK90/4.16	0.12	0.10	0.26	0.26
TRS/SK90/4.17	-	0.05	3.00	0.50
TRS/SK90/4.18	-	0.05	1.75	0.42
TRS/SK90/4.19	0.07	0.07	0.15	0.15
TRS/SK90/4.20	-	0.05	49.75	26.28
TRS/SK90/4.21	-	0.05	8.65	8.39
TRS/SK90/4.22	-	0.05	3.03	3.52
TRS/SK90/4.23	-	0.05	24.20	23.94
TRS/SK90/4.24	-	0.05	60.15	58.37
TRS/SK90/4.25	1.08	1.09	1.20	1.22
TRS/SK90/4.26	60.30	60.27	3.45	3.60
TRS/SK90/4.27	60.17	60.17	4.29	4.37
TRS/SK90/4.28	-	0.06	1.36	0.34
TRS/SK90/4.29	1.19	1.19	1.27	1.19
TRS/SK90/4.30	60.33	60.40	1.44	1.45
TRS/SK90/4.31	-	0.06	1.37	1.15
TRS/SK90/4.32	60.18	60.24	31.85	34.04
TRS/SK90/4.33	0.07	0.07	0.11	0.11
TRS/SK90/4.34	60.10	60.10	1.43	1.45
TRS/SK90/4.35	0.07	0.07	0.11	0.11
TRS/SK90/4.36	0.07	0.07	0.11	0.11
TRS/SK90/4.37	0.06	0.07	0.11	0.11
TRS/SK90/4.38	1.10	1.10	1.15	1.14
TRS/SK90/4.39	1.08	1.09	1.16	1.16
TRS/SK90/4.40	-	0.05	60.15	58.43
TRS/SK90/4.41	-	0.05	0.63	0.13
TRS/SK90/4.42	-	0.05	6.55	7.53
TRS/SK90/4.43	60.23	60.29	7.52	2.01
TRS/SK90/4.44	0.07	0.07	0.12	0.12
TRS/SK90/4.45	0.07	0.07	0.12	0.12
TRS/SK90/4.46	0.07	0.07	0.11	0.11
TRS/SK90/4.47	1.72	1.72	1.26	1.26
TRS/SK90/4.48	0.07	0.07	1.48	1.33
TRS/SK90/4.49	-	0.05	41.20	44.33
TRS/SK90/4.50	-	0.05	0.32	0.24
TRS/SK90/4.51	1.19	1.19	1.63	1.52
TRS/SK90/4.52	1.13	1.13	1.89	1.88
TRS/SK90/4.53	-	0.05	2.29	2.44
TRS/SK90/4.54	-	0.05	1.28	1.41
TRS/SK90/4.55	0.07	0.07	0.13	0.13
TRS/SK90/4.56	0.07	0.07	0.11	0.11
TRS/SK90/4.57	-	0.05	60.12	58.90
TRS/SK90/4.59	-	0.05	3.17	2.30
TRS/SK90/4.60	-	0.05	60.13	58.52
TRS/SK90/4.61	-	0.05	60.28	59.18
TRS/SchneiderKamp/inn/cade04	-	0.05	2.61	1.65
TRS/SchneiderKamp/inn/cade05	-	0.05	60.13	58.36
TRS/SchneiderKamp/inn/cade12	-	0.05	9.67	7.13
TRS/SchneiderKamp/inn/cade13	-	0.05	29.11	38.47
TRS/SchneiderKamp/inn/thiemann26i	-	0.05	60.12	59.04
TRS/SchneiderKamp/inn/thiemann28i	-	0.05	60.13	58.51
TRS/SchneiderKamp/inn/wiehe13	-	0.05	60.29	59.16
TRS/SchneiderKamp/inn/wiehe14	-	0.05	60.80	59.27
TRS/SchneiderKamp/trs/cade01	-	0.05	2.85	6.08
TRS/SchneiderKamp/trs/cade03	-	0.05	14.65	10.60
TRS/SchneiderKamp/trs/cade04t	-	0.05	2.86	1.65
TRS/SchneiderKamp/trs/cade05t	-	0.05	60.13	58.35
TRS/SchneiderKamp/trs/cade06	-	0.05	60.12	58.81
TRS/SchneiderKamp/trs/cade07	-	0.05	10.26	30.51
TRS/SchneiderKamp/trs/cade08	-	0.05	60.12	58.90
TRS/SchneiderKamp/trs/cade09	-	0.05	20.66	35.56
TRS/SchneiderKamp/trs/cade10	-	0.05	12.97	26.03
TRS/SchneiderKamp/trs/cade11	-	0.05	10.14	19.11
TRS/SchneiderKamp/trs/cade12t	-	0.05	9.62	12.20
TRS/SchneiderKamp/trs/cade13t	-	0.05	32.66	27.52
TRS/SchneiderKamp/trs/cade14	-	0.05	7.59	58.47
TRS/SchneiderKamp/trs/cade15	-	0.05	60.14	58.82
TRS/SchneiderKamp/trs/cade16	-	0.05	60.14	58.37
TRS/SchneiderKamp/trs/cade17	-	0.05	60.12	58.50
TRS/SchneiderKamp/trs/kabasci01	-	0.05	60.14	60.02
TRS/SchneiderKamp/trs/kabasci02	-	0.05	60.14	59.16
TRS/SchneiderKamp/trs/kabasci03	-	0.05	60.30	60.02
TRS/SchneiderKamp/trs/kabasci04	-	0.05	60.12	58.38
TRS/SchneiderKamp/trs/kabasci05	-	0.05	5.16	4.44
TRS/SchneiderKamp/trs/kabasci06	-	0.05	60.12	60.02
TRS/SchneiderKamp/trs/otto01	-	0.05	19.58	9.33
TRS/SchneiderKamp/trs/otto02	-	0.05	60.13	60.02
TRS/SchneiderKamp/trs/otto03	-	0.05	2.89	2.01
TRS/SchneiderKamp/trs/otto04	-	0.05	60.12	59.81
TRS/SchneiderKamp/trs/otto05	-	0.05	10.11	5.01
TRS/SchneiderKamp/trs/otto06	-	0.05	60.12	60.02
TRS/SchneiderKamp/trs/otto07	-	0.05	3.16	1.96
TRS/SchneiderKamp/trs/otto08	-	0.05	45.74	21.33
TRS/SchneiderKamp/trs/otto09	-	0.05	35.09	15.72
TRS/SchneiderKamp/trs/otto10	-	0.05	60.13	60.02
TRS/SchneiderKamp/trs/otto11	-	0.05	38.84	48.43
TRS/SchneiderKamp/trs/otto12	-	0.05	19.89	10.89
TRS/SchneiderKamp/trs/otto13	-	0.05	60.12	59.19
TRS/SchneiderKamp/trs/thiemann01	-	0.05	60.13	58.73
TRS/SchneiderKamp/trs/thiemann02	-	0.05	14.82	9.20
TRS/SchneiderKamp/trs/thiemann03	-	0.05	60.13	58.60
TRS/SchneiderKamp/trs/thiemann04	-	0.05	9.20	60.02
TRS/SchneiderKamp/trs/thiemann05	-	0.05	60.13	58.61
TRS/SchneiderKamp/trs/thiemann06	-	0.05	60.12	60.02
TRS/SchneiderKamp/trs/thiemann07	-	0.05	60.13	58.76
TRS/SchneiderKamp/trs/thiemann08	-	0.05	4.68	4.15
TRS/SchneiderKamp/trs/thiemann09	-	0.05	60.27	59.15
TRS/SchneiderKamp/trs/thiemann10	-	0.05	8.52	4.86
TRS/SchneiderKamp/trs/thiemann11	-	0.05	60.13	52.32
TRS/SchneiderKamp/trs/thiemann12	-	0.05	60.13	36.68
TRS/SchneiderKamp/trs/thiemann13	-	0.05	60.13	58.68
TRS/SchneiderKamp/trs/thiemann14	-	0.05	60.14	58.91
TRS/SchneiderKamp/trs/thiemann15	-	0.05	3.61	3.18
TRS/SchneiderKamp/trs/thiemann16	-	0.05	60.13	60.02
TRS/SchneiderKamp/trs/thiemann17	-	0.05	60.12	58.87
TRS/SchneiderKamp/trs/thiemann18	-	0.05	60.13	59.82
TRS/SchneiderKamp/trs/thiemann19	-	0.05	36.56	38.42
TRS/SchneiderKamp/trs/thiemann20	-	0.05	60.13	31.49
TRS/SchneiderKamp/trs/thiemann21	-	0.05	60.14	59.36
TRS/SchneiderKamp/trs/thiemann22	-	0.05	24.31	15.17
TRS/SchneiderKamp/trs/thiemann23	-	0.05	60.11	58.44
TRS/SchneiderKamp/trs/thiemann24	-	0.05	32.64	16.36
TRS/SchneiderKamp/trs/thiemann25	-	0.05	10.81	6.34
TRS/SchneiderKamp/trs/thiemann27	-	0.05	3.03	2.30
TRS/SchneiderKamp/trs/thiemann29	-	0.05	60.13	37.17
TRS/SchneiderKamp/trs/thiemann30	-	0.05	60.14	60.02
TRS/SchneiderKamp/trs/thiemann31	-	0.05	60.13	60.02
TRS/SchneiderKamp/trs/thiemann32	-	0.05	13.14	8.04
TRS/SchneiderKamp/trs/thiemann33	-	0.05	22.29	19.72
TRS/SchneiderKamp/trs/thiemann34	-	0.05	7.70	6.25
TRS/SchneiderKamp/trs/thiemann35	-	0.05	60.31	60.02
TRS/SchneiderKamp/trs/thiemann36	-	0.05	60.14	60.03
TRS/SchneiderKamp/trs/thiemann37	-	0.05	32.72	60.02
TRS/SchneiderKamp/trs/thiemann38	-	0.05	60.14	40.76
TRS/SchneiderKamp/trs/thiemann39	-	0.05	60.28	60.02
TRS/SchneiderKamp/trs/thiemann40	-	0.05	2.42	1.71
TRS/SchneiderKamp/trs/thiemann41	-	0.05	5.03	15.28
TRS/SchneiderKamp/trs/wiehe01	-	0.05	60.30	58.96
TRS/SchneiderKamp/trs/wiehe02	-	0.05	60.13	60.02
TRS/SchneiderKamp/trs/wiehe03	-	0.05	60.13	60.02
TRS/SchneiderKamp/trs/wiehe05	-	0.05	60.28	59.02
TRS/SchneiderKamp/trs/wiehe06	-	0.05	60.31	59.35
TRS/SchneiderKamp/trs/wiehe07	-	0.05	60.28	59.64
TRS/SchneiderKamp/trs/wiehe08	-	0.05	60.31	59.06
TRS/SchneiderKamp/trs/wiehe09	-	0.05	60.31	59.25
TRS/SchneiderKamp/trs/wiehe11	-	0.05	60.31	60.02
TRS/SchneiderKamp/trs/wiehe12	-	0.05	60.31	59.92
TRS/Ste92/hydra	-	0.05	4.64	4.62
TRS/Ste92/minsort	-	0.05	60.13	58.75
TRS/Ste92/motivation	-	0.05	14.65	14.79
TRS/Ste92/perfect	-	0.05	5.18	3.62
TRS/Ste92/perfect2	-	0.05	60.12	59.74
TRS/TRCSR/Ex14_AEGL02_C	-	0.05	60.14	59.24
TRS/TRCSR/Ex14_AEGL02_FR	-	0.05	12.71	15.59
TRS/TRCSR/Ex14_AEGL02_GM	-	0.05	0.91	1.11
TRS/TRCSR/Ex14_AEGL02_L	60.35	60.72	1.14	1.16
TRS/TRCSR/Ex14_AEGL02_Z	-	0.05	1.32	1.16
TRS/TRCSR/Ex14_AEGL02_iGM	-	0.05	60.16	60.02
TRS/TRCSR/Ex14_Luc06_C	-	0.05	18.82	19.93
TRS/TRCSR/Ex14_Luc06_FR	-	0.05	0.78	0.53
TRS/TRCSR/Ex14_Luc06_GM	-	0.05	1.85	2.73
TRS/TRCSR/Ex14_Luc06_L	74.48	73.11	1.21	1.17
TRS/TRCSR/Ex14_Luc06_iGM	-	0.05	60.14	60.02
TRS/TRCSR/Ex15_Luc06_C	60.29	60.42	34.37	43.43
TRS/TRCSR/Ex15_Luc06_FR	1.19	1.18	1.86	1.66
TRS/TRCSR/Ex15_Luc06_GM	1.19	1.18	1.37	1.40
TRS/TRCSR/Ex15_Luc06_L	60.05	60.06	1.12	1.11
TRS/TRCSR/Ex15_Luc06_Z	0.74	0.74	1.71	1.67
TRS/TRCSR/Ex15_Luc06_iGM	2.21	2.33	61.27	59.41
TRS/TRCSR/Ex15_Luc98_C	-	0.06	60.15	60.02
TRS/TRCSR/Ex15_Luc98_FR	-	0.05	4.26	5.06
TRS/TRCSR/Ex15_Luc98_GM	-	0.05	0.44	0.44
TRS/TRCSR/Ex15_Luc98_L	-	0.05	0.11	0.11
TRS/TRCSR/Ex15_Luc98_Z	-	0.05	3.15	3.31
TRS/TRCSR/Ex15_Luc98_iGM	-	0.06	30.69	31.23
TRS/TRCSR/Ex16_Luc06_C	60.12	60.10	7.25	8.39
TRS/TRCSR/Ex16_Luc06_FR	0.08	0.09	0.18	0.18
TRS/TRCSR/Ex16_Luc06_GM	60.35	60.28	1.84	1.95
TRS/TRCSR/Ex16_Luc06_L	60.05	60.06	1.14	1.15
TRS/TRCSR/Ex16_Luc06_iGM	60.10	60.11	61.23	59.54
TRS/TRCSR/Ex18_Luc06_C	32.41	37.14	37.26	41.08
TRS/TRCSR/Ex18_Luc06_FR	1.09	1.10	1.41	1.27
TRS/TRCSR/Ex18_Luc06_GM	1.10	1.10	1.78	1.74
TRS/TRCSR/Ex18_Luc06_L	0.07	0.07	0.11	0.11
TRS/TRCSR/Ex18_Luc06_Z	0.07	0.07	1.19	1.20
TRS/TRCSR/Ex18_Luc06_iGM	1.19	1.19	12.71	12.60
TRS/TRCSR/Ex1_2_AEL03_C	-	0.06	60.36	60.02
TRS/TRCSR/Ex1_2_AEL03_FR	-	0.05	60.14	38.85
TRS/TRCSR/Ex1_2_AEL03_GM	-	0.06	60.14	60.02
TRS/TRCSR/Ex1_2_AEL03_L	-	0.05	0.11	0.58
TRS/TRCSR/Ex1_2_AEL03_Z	-	0.05	60.14	60.02
TRS/TRCSR/Ex1_2_AEL03_iGM	-	0.06	60.32	60.02
TRS/TRCSR/Ex1_2_Luc02c_C	-	0.05	60.29	59.34
TRS/TRCSR/Ex1_2_Luc02c_FR	-	0.05	13.27	0.17
TRS/TRCSR/Ex1_2_Luc02c_GM	-	0.05	1.03	1.28
TRS/TRCSR/Ex1_2_Luc02c_L	-	0.05	0.11	0.10
TRS/TRCSR/Ex1_2_Luc02c_Z	-	0.05	0.18	0.14
TRS/TRCSR/Ex1_2_Luc02c_iGM	-	0.05	60.32	59.64
TRS/TRCSR/Ex1_GL02a_C	-	0.06	60.15	60.02
TRS/TRCSR/Ex1_GL02a_FR	-	0.05	4.67	19.13
TRS/TRCSR/Ex1_GL02a_GM	-	0.05	3.43	4.02
TRS/TRCSR/Ex1_GL02a_L	60.40	60.37	1.21	1.20
TRS/TRCSR/Ex1_GL02a_Z	-	0.05	4.01	9.38
TRS/TRCSR/Ex1_GL02a_iGM	-	0.05	60.13	60.02
TRS/TRCSR/Ex1_GM03_C	-	0.06	13.98	19.96
TRS/TRCSR/Ex1_GM03_FR	-	0.05	16.55	24.23
TRS/TRCSR/Ex1_GM03_GM	-	0.05	60.13	58.68
TRS/TRCSR/Ex1_GM03_L	-	0.05	0.11	0.11
TRS/TRCSR/Ex1_GM03_Z	-	0.05	60.12	58.34
TRS/TRCSR/Ex1_GM03_iGM	-	0.06	42.21	48.11
TRS/TRCSR/Ex1_GM99_C	-	0.05	49.14	51.13
TRS/TRCSR/Ex1_GM99_FR	-	0.05	0.45	0.30
TRS/TRCSR/Ex1_GM99_GM	-	0.05	1.38	1.67
TRS/TRCSR/Ex1_GM99_L	60.06	60.05	1.13	1.13
TRS/TRCSR/Ex1_GM99_iGM	-	0.05	60.14	59.87
TRS/TRCSR/Ex1_Luc02b_C	-	0.06	60.14	60.02
TRS/TRCSR/Ex1_Luc02b_FR	-	0.05	3.71	3.27
TRS/TRCSR/Ex1_Luc02b_GM	-	0.05	3.96	4.22
TRS/TRCSR/Ex1_Luc02b_L	-	0.05	0.11	0.17
TRS/TRCSR/Ex1_Luc02b_Z	-	0.05	1.63	1.43
TRS/TRCSR/Ex1_Luc02b_iGM	-	0.05	60.12	60.02
TRS/TRCSR/Ex1_Luc04b_C	60.60	60.73	66.60	60.02
TRS/TRCSR/Ex1_Luc04b_FR	262.79	262.85	2.90	3.02
TRS/TRCSR/Ex1_Luc04b_GM	278.45	284.44	6.64	7.17
TRS/TRCSR/Ex1_Luc04b_L	-	0.05	0.11	0.11
TRS/TRCSR/Ex1_Luc04b_Z	123.35	123.74	1.58	1.73
TRS/TRCSR/Ex1_Luc04b_iGM	75.23	75.79	61.79	60.02
TRS/TRCSR/Ex1_Zan97_C	60.33	60.35	8.46	8.32
TRS/TRCSR/Ex1_Zan97_FR	79.23	78.82	3.29	3.52
TRS/TRCSR/Ex1_Zan97_GM	0.08	0.08	1.42	1.50
TRS/TRCSR/Ex1_Zan97_L	60.05	60.06	1.13	1.13
TRS/TRCSR/Ex1_Zan97_iGM	0.95	0.95	1.27	1.63
TRS/TRCSR/Ex23_Luc06_C	60.32	60.21	62.28	59.69
TRS/TRCSR/Ex23_Luc06_FR	1.12	1.12	1.58	1.44
TRS/TRCSR/Ex23_Luc06_GM	1.13	1.13	1.62	1.41
TRS/TRCSR/Ex23_Luc06_L	0.07	0.07	0.11	0.11
TRS/TRCSR/Ex23_Luc06_Z	0.08	0.07	1.18	1.19
TRS/TRCSR/Ex23_Luc06_iGM	2.87	2.85	29.55	29.92
TRS/TRCSR/Ex24_GM04_C	-	0.05	60.12	59.15
TRS/TRCSR/Ex24_GM04_FR	-	0.05	5.18	4.34
TRS/TRCSR/Ex24_GM04_GM	-	0.05	0.84	1.02
TRS/TRCSR/Ex24_GM04_L	60.05	60.05	1.14	1.13
TRS/TRCSR/Ex24_GM04_Z	-	0.05	6.82	3.33
TRS/TRCSR/Ex24_GM04_iGM	-	0.05	60.13	59.55
TRS/TRCSR/Ex24_Luc06_C	-	0.05	44.49	55.53
TRS/TRCSR/Ex24_Luc06_FR	-	0.05	42.07	27.21
TRS/TRCSR/Ex24_Luc06_GM	-	0.05	60.11	1.42
TRS/TRCSR/Ex24_Luc06_L	60.05	60.05	1.15	1.15
TRS/TRCSR/Ex24_Luc06_iGM	-	0.05	60.14	60.02
TRS/TRCSR/Ex25_Luc06_C	2.76	2.75	63.15	60.02
TRS/TRCSR/Ex25_Luc06_FR	1.17	1.17	3.00	3.08
TRS/TRCSR/Ex25_Luc06_GM	1.13	1.14	2.46	2.38
TRS/TRCSR/Ex25_Luc06_L	0.07	0.07	0.11	0.11
TRS/TRCSR/Ex25_Luc06_Z	1.13	1.13	1.61	1.41
TRS/TRCSR/Ex25_Luc06_iGM	2.74	2.75	23.68	28.84
TRS/TRCSR/Ex26_Luc03b_C	-	0.06	60.15	60.02
TRS/TRCSR/Ex26_Luc03b_FR	-	0.05	9.41	10.81
TRS/TRCSR/Ex26_Luc03b_GM	-	0.05	4.62	4.82
TRS/TRCSR/Ex26_Luc03b_L	0.08	0.08	0.14	0.14
TRS/TRCSR/Ex26_Luc03b_Z	-	0.05	60.13	60.02
TRS/TRCSR/Ex26_Luc03b_iGM	-	0.06	60.14	60.02
TRS/TRCSR/Ex2_Luc02a_C	-	0.06	60.15	60.02
TRS/TRCSR/Ex2_Luc02a_FR	-	0.05	60.13	58.62
TRS/TRCSR/Ex2_Luc02a_GM	-	0.05	60.13	58.71
TRS/TRCSR/Ex2_Luc02a_L	-	0.05	2.43	2.30
TRS/TRCSR/Ex2_Luc02a_Z	-	0.05	2.86	2.66
TRS/TRCSR/Ex2_Luc02a_iGM	-	0.06	59.73	60.02
TRS/TRCSR/Ex2_Luc03b_C	-	0.06	60.15	60.02
TRS/TRCSR/Ex2_Luc03b_FR	-	0.05	4.85	5.38
TRS/TRCSR/Ex2_Luc03b_GM	-	0.05	3.63	4.33
TRS/TRCSR/Ex2_Luc03b_L	0.07	0.07	0.13	0.13
TRS/TRCSR/Ex2_Luc03b_Z	-	0.05	0.28	1.31
TRS/TRCSR/Ex2_Luc03b_iGM	-	0.05	60.13	60.02
TRS/TRCSR/Ex3_12_Luc96a_C	-	0.05	60.14	59.65
TRS/TRCSR/Ex3_12_Luc96a_FR	-	0.05	1.77	1.43
TRS/TRCSR/Ex3_12_Luc96a_GM	-	0.05	2.25	2.60
TRS/TRCSR/Ex3_12_Luc96a_L	-	0.05	0.11	0.15
TRS/TRCSR/Ex3_12_Luc96a_Z	-	0.05	1.02	0.71
TRS/TRCSR/Ex3_12_Luc96a_iGM	-	0.05	60.13	60.02
TRS/TRCSR/Ex3_2_Luc97_C	-	0.06	60.14	60.02
TRS/TRCSR/Ex3_2_Luc97_FR	-	0.05	4.68	6.05
TRS/TRCSR/Ex3_2_Luc97_GM	-	0.05	3.83	4.75
TRS/TRCSR/Ex3_2_Luc97_L	-	0.05	0.11	0.11
TRS/TRCSR/Ex3_2_Luc97_Z	-	0.05	3.72	4.45
TRS/TRCSR/Ex3_2_Luc97_iGM	-	0.06	60.13	60.02
TRS/TRCSR/Ex3_3_25_Bor03_C	-	0.06	60.12	60.02
TRS/TRCSR/Ex3_3_25_Bor03_FR	-	0.05	4.24	5.09
TRS/TRCSR/Ex3_3_25_Bor03_GM	-	0.05	6.06	6.89
TRS/TRCSR/Ex3_3_25_Bor03_L	0.07	0.07	0.13	0.13
TRS/TRCSR/Ex3_3_25_Bor03_Z	-	0.05	1.45	1.61
TRS/TRCSR/Ex3_3_25_Bor03_iGM	-	0.05	60.30	60.02
TRS/TRCSR/Ex49_GM04_C	-	0.05	60.27	60.02
TRS/TRCSR/Ex49_GM04_FR	-	0.05	60.13	58.85
TRS/TRCSR/Ex49_GM04_GM	-	0.05	18.45	22.15
TRS/TRCSR/Ex49_GM04_L	-	0.05	0.11	0.11
TRS/TRCSR/Ex49_GM04_Z	-	0.05	12.99	13.04
TRS/TRCSR/Ex49_GM04_iGM	-	0.06	60.30	60.02
TRS/TRCSR/Ex4_4_Luc96b_C	-	0.05	60.13	58.60
TRS/TRCSR/Ex4_4_Luc96b_FR	-	0.05	2.45	2.91
TRS/TRCSR/Ex4_4_Luc96b_GM	-	0.05	1.91	2.53
TRS/TRCSR/Ex4_4_Luc96b_L	0.06	0.07	0.11	0.11
TRS/TRCSR/Ex4_4_Luc96b_Z	-	0.05	1.18	1.57
TRS/TRCSR/Ex4_4_Luc96b_iGM	-	0.05	13.92	14.87
TRS/TRCSR/Ex4_7_15_Bor03_C	166.93	169.97	64.43	60.02
TRS/TRCSR/Ex4_7_15_Bor03_FR	1.16	1.16	3.62	3.17
TRS/TRCSR/Ex4_7_15_Bor03_GM	3.66	3.66	5.83	4.90
TRS/TRCSR/Ex4_7_15_Bor03_L	0.08	0.08	0.13	0.12
TRS/TRCSR/Ex4_7_15_Bor03_Z	0.08	0.08	0.12	0.12
TRS/TRCSR/Ex4_7_15_Bor03_iGM	60.33	60.33	63.79	60.02
TRS/TRCSR/Ex4_7_37_Bor03_C	-	0.06	60.13	60.02
TRS/TRCSR/Ex4_7_37_Bor03_FR	-	0.05	60.14	58.84
TRS/TRCSR/Ex4_7_37_Bor03_GM	-	0.05	60.14	59.23
TRS/TRCSR/Ex4_7_37_Bor03_L	-	0.05	0.11	0.29
TRS/TRCSR/Ex4_7_37_Bor03_Z	-	0.05	5.18	5.83
TRS/TRCSR/Ex4_7_37_Bor03_iGM	-	0.06	60.28	60.02
TRS/TRCSR/Ex4_7_56_Bor03_C	-	0.05	60.13	59.74
TRS/TRCSR/Ex4_7_56_Bor03_FR	-	0.05	1.74	1.35
TRS/TRCSR/Ex4_7_56_Bor03_GM	-	0.05	2.13	2.62
TRS/TRCSR/Ex4_7_56_Bor03_L	-	0.05	0.10	0.15
TRS/TRCSR/Ex4_7_56_Bor03_Z	-	0.05	0.84	0.61
TRS/TRCSR/Ex4_7_56_Bor03_iGM	-	0.05	60.13	59.69
TRS/TRCSR/Ex4_7_77_Bor03_C	95.24	96.07	61.97	59.71
TRS/TRCSR/Ex4_7_77_Bor03_FR	0.07	0.07	0.12	0.12
TRS/TRCSR/Ex4_7_77_Bor03_GM	1.10	1.10	2.03	2.00
TRS/TRCSR/Ex4_7_77_Bor03_L	-	0.05	0.10	0.11
TRS/TRCSR/Ex4_7_77_Bor03_iGM	60.39	60.36	61.32	59.75
TRS/TRCSR/Ex4_DLMMU04_C	-	0.06	45.91	60.03
TRS/TRCSR/Ex4_DLMMU04_FR	-	0.05	23.85	29.66
TRS/TRCSR/Ex4_DLMMU04_GM	-	0.06	28.87	35.81
TRS/TRCSR/Ex4_DLMMU04_L	-	0.05	0.11	0.12
TRS/TRCSR/Ex4_DLMMU04_Z	-	0.05	25.16	26.77
TRS/TRCSR/Ex4_DLMMU04_iGM	-	0.06	60.15	60.02
TRS/TRCSR/Ex4_Zan97_C	-	0.05	60.13	60.02
TRS/TRCSR/Ex4_Zan97_FR	-	0.05	1.70	1.32
TRS/TRCSR/Ex4_Zan97_GM	-	0.05	2.71	3.06
TRS/TRCSR/Ex4_Zan97_L	-	0.05	0.11	0.18
TRS/TRCSR/Ex4_Zan97_Z	-	0.05	1.15	0.87
TRS/TRCSR/Ex4_Zan97_iGM	-	0.05	60.13	60.02
TRS/TRCSR/Ex5_7_Luc97_C	-	0.06	60.15	60.02
TRS/TRCSR/Ex5_7_Luc97_FR	-	0.05	9.59	8.52
TRS/TRCSR/Ex5_7_Luc97_GM	-	0.05	7.37	8.21
TRS/TRCSR/Ex5_7_Luc97_L	-	0.05	0.11	0.12
TRS/TRCSR/Ex5_7_Luc97_Z	-	0.05	8.70	8.03
TRS/TRCSR/Ex5_7_Luc97_iGM	-	0.06	60.15	60.02
TRS/TRCSR/Ex5_DLMMU04_C	-	0.06	60.14	60.02
TRS/TRCSR/Ex5_DLMMU04_FR	-	0.05	25.36	31.35
TRS/TRCSR/Ex5_DLMMU04_GM	-	0.05	5.04	6.47
TRS/TRCSR/Ex5_DLMMU04_L	-	0.05	0.11	0.12
TRS/TRCSR/Ex5_DLMMU04_Z	-	0.05	28.34	32.31
TRS/TRCSR/Ex5_DLMMU04_iGM	-	0.06	60.14	60.02
TRS/TRCSR/Ex5_Zan97_C	60.18	60.20	56.13	60.02
TRS/TRCSR/Ex5_Zan97_FR	60.49	60.76	3.72	3.15
TRS/TRCSR/Ex5_Zan97_GM	60.27	60.25	5.53	6.25
TRS/TRCSR/Ex5_Zan97_L	-	0.05	0.10	0.11
TRS/TRCSR/Ex5_Zan97_Z	0.07	0.07	0.19	0.19
TRS/TRCSR/Ex5_Zan97_iGM	116.10	116.75	61.98	60.02
TRS/TRCSR/Ex6_15_AEL02_C	-	0.07	60.17	60.02
TRS/TRCSR/Ex6_15_AEL02_FR	-	0.05	28.34	28.67
TRS/TRCSR/Ex6_15_AEL02_GM	-	0.06	60.15	59.91
TRS/TRCSR/Ex6_15_AEL02_L	-	0.05	0.12	0.13
TRS/TRCSR/Ex6_15_AEL02_Z	-	0.05	26.60	22.28
TRS/TRCSR/Ex6_15_AEL02_iGM	-	0.06	60.18	60.02
TRS/TRCSR/Ex6_9_Luc02c_C	-	0.05	60.33	60.02
TRS/TRCSR/Ex6_9_Luc02c_FR	-	0.05	1.41	0.17
TRS/TRCSR/Ex6_9_Luc02c_GM	-	0.05	2.37	2.68
TRS/TRCSR/Ex6_9_Luc02c_L	-	0.05	0.10	0.10
TRS/TRCSR/Ex6_9_Luc02c_Z	-	0.05	0.89	0.15
TRS/TRCSR/Ex6_9_Luc02c_iGM	-	0.05	60.33	60.02
TRS/TRCSR/Ex6_GM04_C	60.36	60.36	12.34	13.60
TRS/TRCSR/Ex6_GM04_FR	60.15	60.18	2.01	2.28
TRS/TRCSR/Ex6_GM04_GM	0.07	0.07	1.28	1.43
TRS/TRCSR/Ex6_GM04_L	0.07	0.07	0.11	0.11
TRS/TRCSR/Ex6_GM04_iGM	0.65	0.66	1.26	1.23
TRS/TRCSR/Ex6_Luc98_C	-	0.05	60.14	60.02
TRS/TRCSR/Ex6_Luc98_FR	-	0.05	2.29	2.64
TRS/TRCSR/Ex6_Luc98_GM	-	0.05	2.03	2.31
TRS/TRCSR/Ex6_Luc98_L	0.07	0.07	0.12	0.13
TRS/TRCSR/Ex6_Luc98_Z	-	0.05	0.19	0.37
TRS/TRCSR/Ex6_Luc98_iGM	-	0.05	60.13	60.02
TRS/TRCSR/Ex7_BLR02_C	-	0.06	60.14	60.02
TRS/TRCSR/Ex7_BLR02_FR	-	0.05	4.32	3.94
TRS/TRCSR/Ex7_BLR02_GM	-	0.05	4.76	5.51
TRS/TRCSR/Ex7_BLR02_L	-	0.05	0.11	0.18
TRS/TRCSR/Ex7_BLR02_Z	-	0.05	2.08	1.65
TRS/TRCSR/Ex7_BLR02_iGM	-	0.06	60.12	60.02
TRS/TRCSR/Ex8_BLR02_C	-	0.06	60.14	60.02
TRS/TRCSR/Ex8_BLR02_FR	-	0.05	60.12	1.19
TRS/TRCSR/Ex8_BLR02_GM	-	0.05	60.12	58.65
TRS/TRCSR/Ex8_BLR02_L	-	0.05	0.11	0.21
TRS/TRCSR/Ex8_BLR02_Z	-	0.05	60.11	0.20
TRS/TRCSR/Ex8_BLR02_iGM	-	0.06	60.28	60.02
TRS/TRCSR/Ex9_BLR02_C	-	0.06	30.23	37.63
TRS/TRCSR/Ex9_BLR02_FR	-	0.05	60.11	58.97
TRS/TRCSR/Ex9_BLR02_GM	-	0.05	20.93	21.62
TRS/TRCSR/Ex9_BLR02_L	0.08	0.08	0.19	0.19
TRS/TRCSR/Ex9_BLR02_Z	-	0.05	17.01	10.84
TRS/TRCSR/Ex9_BLR02_iGM	-	0.06	60.29	60.02
TRS/TRCSR/Ex9_Luc04_C	-	0.05	46.69	55.12
TRS/TRCSR/Ex9_Luc04_FR	-	0.05	0.39	0.28
TRS/TRCSR/Ex9_Luc04_GM	-	0.05	3.45	3.27
TRS/TRCSR/Ex9_Luc04_L	-	0.05	0.17	0.15
TRS/TRCSR/Ex9_Luc04_iGM	-	0.05	60.13	60.02
TRS/TRCSR/Ex9_Luc06_C	60.18	60.32	35.76	42.14
TRS/TRCSR/Ex9_Luc06_FR	60.23	60.18	61.21	59.17
TRS/TRCSR/Ex9_Luc06_GM	1.09	1.09	1.36	1.35
TRS/TRCSR/Ex9_Luc06_L	60.06	60.06	1.14	1.15
TRS/TRCSR/Ex9_Luc06_iGM	333.60	331.89	5.82	7.68
TRS/TRCSR/ExAppendixB_AEL03_C	-	0.27	60.32	60.02
TRS/TRCSR/ExAppendixB_AEL03_FR	-	0.05	14.56	11.83
TRS/TRCSR/ExAppendixB_AEL03_GM	-	0.06	60.14	60.02
TRS/TRCSR/ExAppendixB_AEL03_L	-	0.05	0.11	0.14
TRS/TRCSR/ExAppendixB_AEL03_Z	-	0.05	8.61	7.47
TRS/TRCSR/ExAppendixB_AEL03_iGM	-	0.06	60.30	60.02
TRS/TRCSR/ExConc_Zan97_C	1.94	1.95	14.00	16.59
TRS/TRCSR/ExConc_Zan97_FR	1.09	1.09	1.50	1.41
TRS/TRCSR/ExConc_Zan97_GM	1.10	1.10	1.35	1.29
TRS/TRCSR/ExConc_Zan97_L	0.06	0.07	0.10	0.10
TRS/TRCSR/ExConc_Zan97_Z	60.80	61.74	1.15	1.16
TRS/TRCSR/ExConc_Zan97_iGM	1.68	1.69	10.25	10.56
TRS/TRCSR/ExIntrod_GM01_C	72.33	74.30	68.84	60.02
TRS/TRCSR/ExIntrod_GM01_FR	154.85	156.59	6.50	6.73
TRS/TRCSR/ExIntrod_GM01_GM	68.68	68.59	8.96	9.57
TRS/TRCSR/ExIntrod_GM01_L	-	0.05	0.11	0.12
TRS/TRCSR/ExIntrod_GM01_Z	161.10	160.11	8.60	8.66
TRS/TRCSR/ExIntrod_GM01_iGM	144.26	140.18	55.56	60.02
TRS/TRCSR/ExIntrod_GM04_C	60.56	60.73	66.44	60.02
TRS/TRCSR/ExIntrod_GM04_FR	274.29	263.48	10.99	11.46
TRS/TRCSR/ExIntrod_GM04_GM	60.51	60.73	11.22	11.91
TRS/TRCSR/ExIntrod_GM04_L	-	0.05	0.11	0.11
TRS/TRCSR/ExIntrod_GM04_Z	268.05	274.56	18.50	23.14
TRS/TRCSR/ExIntrod_GM04_iGM	92.95	91.06	39.57	54.68
TRS/TRCSR/ExIntrod_GM99_C	-	0.06	60.15	60.02
TRS/TRCSR/ExIntrod_GM99_FR	-	0.05	60.12	59.36
TRS/TRCSR/ExIntrod_GM99_GM	-	0.05	60.13	59.43
TRS/TRCSR/ExIntrod_GM99_L	-	0.05	0.11	0.11
TRS/TRCSR/ExIntrod_GM99_Z	-	0.05	60.12	59.16
TRS/TRCSR/ExIntrod_GM99_iGM	-	0.06	60.14	60.02
TRS/TRCSR/ExIntrod_Zan97_C	-	0.06	60.16	60.02
TRS/TRCSR/ExIntrod_Zan97_FR	-	0.05	14.79	17.36
TRS/TRCSR/ExIntrod_Zan97_GM	-	0.05	60.13	58.82
TRS/TRCSR/ExIntrod_Zan97_L	-	0.05	0.11	0.11
TRS/TRCSR/ExIntrod_Zan97_Z	-	0.05	60.16	58.36
TRS/TRCSR/ExIntrod_Zan97_iGM	-	0.06	60.32	60.02
TRS/TRCSR/ExProp7_Luc06_C	170.62	170.18	64.33	60.02
TRS/TRCSR/ExProp7_Luc06_FR	60.33	60.34	4.09	4.31
TRS/TRCSR/ExProp7_Luc06_GM	60.30	60.29	12.10	9.65
TRS/TRCSR/ExProp7_Luc06_L	0.07	0.08	0.12	0.11
TRS/TRCSR/ExProp7_Luc06_Z	0.08	0.08	0.12	0.12
TRS/TRCSR/ExProp7_Luc06_iGM	60.35	60.34	61.50	60.02
TRS/TRCSR/ExSec11_1_Luc02a_C	-	0.06	60.14	60.02
TRS/TRCSR/ExSec11_1_Luc02a_FR	-	0.05	60.13	58.71
TRS/TRCSR/ExSec11_1_Luc02a_GM	-	0.05	60.14	58.78
TRS/TRCSR/ExSec11_1_Luc02a_L	-	0.05	3.02	2.97
TRS/TRCSR/ExSec11_1_Luc02a_Z	-	0.05	4.06	3.09
TRS/TRCSR/ExSec11_1_Luc02a_iGM	-	0.06	60.15	60.02
TRS/TRCSR/ExSec4_2_DLMMU04_C	-	0.06	60.17	60.02
TRS/TRCSR/ExSec4_2_DLMMU04_FR	-	0.05	60.14	59.10
TRS/TRCSR/ExSec4_2_DLMMU04_GM	-	0.06	60.15	60.02
TRS/TRCSR/ExSec4_2_DLMMU04_L	-	0.05	0.11	0.14
TRS/TRCSR/ExSec4_2_DLMMU04_Z	-	0.05	60.14	58.98
TRS/TRCSR/ExSec4_2_DLMMU04_iGM	-	0.06	60.15	60.02
TRS/TRCSR/LISTUTILITIES_complete-noand_FR	-	0.09	60.58	60.02
TRS/TRCSR/LISTUTILITIES_complete-noand_L	-	0.08	0.20	0.33
TRS/TRCSR/LISTUTILITIES_complete-noand_Z	-	0.09	60.55	60.02
TRS/TRCSR/LISTUTILITIES_complete_FR	-	0.08	60.28	60.02
TRS/TRCSR/LISTUTILITIES_complete_L	-	0.06	0.15	0.22
TRS/TRCSR/LISTUTILITIES_complete_Z	-	0.08	60.26	60.02
TRS/TRCSR/LISTUTILITIES_nokinds-noand_FR	-	0.07	60.22	60.02
TRS/TRCSR/LISTUTILITIES_nokinds-noand_L	-	0.06	0.14	0.16
TRS/TRCSR/LISTUTILITIES_nokinds-noand_Z	-	0.07	60.21	60.02
TRS/TRCSR/LISTUTILITIES_nokinds_FR	-	0.06	60.17	60.02
TRS/TRCSR/LISTUTILITIES_nokinds_L	-	0.05	0.12	0.15
TRS/TRCSR/LISTUTILITIES_nokinds_Z	-	0.06	60.17	60.02
TRS/TRCSR/LISTUTILITIES_nosorts-noand_FR	-	0.06	60.14	60.02
TRS/TRCSR/LISTUTILITIES_nosorts-noand_L	-	0.05	0.12	0.13
TRS/TRCSR/LISTUTILITIES_nosorts-noand_Z	-	0.06	60.14	60.02
TRS/TRCSR/LISTUTILITIES_nosorts_FR	-	0.05	60.14	58.96
TRS/TRCSR/LISTUTILITIES_nosorts_L	-	0.05	0.11	0.13
TRS/TRCSR/LISTUTILITIES_nosorts_Z	-	0.05	60.14	58.92
TRS/TRCSR/LengthOfFiniteLists_complete-noand_FR	-	0.06	60.17	60.02
TRS/TRCSR/LengthOfFiniteLists_complete-noand_L	-	0.06	0.13	0.17
TRS/TRCSR/LengthOfFiniteLists_complete-noand_Z	-	0.06	60.17	60.02
TRS/TRCSR/LengthOfFiniteLists_complete_FR	-	0.06	60.15	60.02
TRS/TRCSR/LengthOfFiniteLists_complete_L	-	0.05	0.12	0.14
TRS/TRCSR/LengthOfFiniteLists_complete_Z	-	0.06	60.14	60.02
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_FR	-	0.05	60.14	59.04
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_L	-	0.05	0.11	0.12
TRS/TRCSR/LengthOfFiniteLists_nokinds-noand_Z	-	0.06	60.14	59.01
TRS/TRCSR/LengthOfFiniteLists_nokinds_FR	-	0.05	60.13	59.05
TRS/TRCSR/LengthOfFiniteLists_nokinds_L	-	0.05	0.11	0.11
TRS/TRCSR/LengthOfFiniteLists_nokinds_Z	-	0.05	60.14	59.04
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_FR	66.68	61.39	7.82	8.11
TRS/TRCSR/LengthOfFiniteLists_nosorts-noand_L	-	0.05	0.11	0.11
TRS/TRCSR/LengthOfFiniteLists_nosorts_FR	76.13	77.20	1.63	1.64
TRS/TRCSR/LengthOfFiniteLists_nosorts_L	-	0.05	0.10	0.11
TRS/TRCSR/MYNAT_complete-noand_FR	-	0.06	60.17	60.02
TRS/TRCSR/MYNAT_complete-noand_L	-	0.06	0.13	0.14
TRS/TRCSR/MYNAT_complete-noand_Z	-	0.06	60.17	60.02
TRS/TRCSR/MYNAT_complete_FR	-	0.06	60.15	60.02
TRS/TRCSR/MYNAT_complete_L	-	0.05	0.12	0.13
TRS/TRCSR/MYNAT_complete_Z	-	0.06	60.14	60.02
TRS/TRCSR/MYNAT_nokinds-noand_FR	-	0.06	60.14	59.19
TRS/TRCSR/MYNAT_nokinds-noand_L	-	0.05	0.12	0.12
TRS/TRCSR/MYNAT_nokinds-noand_Z	-	0.06	60.14	59.18
TRS/TRCSR/MYNAT_nokinds_FR	-	0.06	60.14	59.03
TRS/TRCSR/MYNAT_nokinds_L	-	0.05	0.11	0.11
TRS/TRCSR/MYNAT_nokinds_Z	-	0.06	60.14	58.98
TRS/TRCSR/MYNAT_nosorts-noand_FR	-	0.05	60.13	58.63
TRS/TRCSR/MYNAT_nosorts-noand_L	-	0.05	0.11	0.11
TRS/TRCSR/MYNAT_nosorts_FR	-	0.05	0.84	0.23
TRS/TRCSR/MYNAT_nosorts_L	-	0.05	0.11	0.11
TRS/TRCSR/OvConsOS_complete-noand_FR	-	0.07	60.22	60.02
TRS/TRCSR/OvConsOS_complete-noand_L	-	0.06	0.14	0.18
TRS/TRCSR/OvConsOS_complete-noand_Z	-	0.08	60.22	60.02
TRS/TRCSR/OvConsOS_complete_FR	-	0.06	60.16	60.02
TRS/TRCSR/OvConsOS_complete_L	-	0.05	0.12	0.15
TRS/TRCSR/OvConsOS_complete_Z	-	0.06	60.15	60.02
TRS/TRCSR/OvConsOS_nokinds-noand_FR	-	0.06	60.16	60.02
TRS/TRCSR/OvConsOS_nokinds-noand_L	-	0.05	0.12	0.13
TRS/TRCSR/OvConsOS_nokinds-noand_Z	-	0.06	60.15	60.02
TRS/TRCSR/OvConsOS_nokinds_FR	-	0.06	60.15	60.02
TRS/TRCSR/OvConsOS_nokinds_L	-	0.05	0.11	0.12
TRS/TRCSR/OvConsOS_nokinds_Z	-	0.06	12.97	15.23
TRS/TRCSR/OvConsOS_nosorts-noand_FR	60.29	60.46	19.07	20.16
TRS/TRCSR/OvConsOS_nosorts-noand_L	-	0.05	0.11	0.11
TRS/TRCSR/OvConsOS_nosorts-noand_Z	60.37	60.33	29.77	35.26
TRS/TRCSR/OvConsOS_nosorts_FR	60.49	60.54	4.05	4.03
TRS/TRCSR/OvConsOS_nosorts_L	-	0.06	0.11	0.11
TRS/TRCSR/OvConsOS_nosorts_Z	60.55	60.60	2.49	2.59
TRS/TRCSR/PALINDROME_complete-noand_FR	-	0.06	60.18	60.02
TRS/TRCSR/PALINDROME_complete-noand_L	60.19	60.17	15.58	16.63
TRS/TRCSR/PALINDROME_complete-noand_Z	-	0.07	60.18	60.02
TRS/TRCSR/PALINDROME_complete_FR	-	0.06	60.18	60.02
TRS/TRCSR/PALINDROME_complete_L	-	0.06	0.12	0.17
TRS/TRCSR/PALINDROME_complete_Z	-	0.06	60.17	60.02
TRS/TRCSR/PALINDROME_nokinds-noand_FR	60.17	60.17	67.15	60.02
TRS/TRCSR/PALINDROME_nokinds-noand_L	166.31	166.69	6.67	7.56
TRS/TRCSR/PALINDROME_nokinds-noand_Z	2.20	2.19	66.07	60.02
TRS/TRCSR/PALINDROME_nokinds_FR	60.27	60.39	86.75	59.98
TRS/TRCSR/PALINDROME_nokinds_L	-	0.05	0.11	0.14
TRS/TRCSR/PALINDROME_nokinds_Z	1.57	1.57	84.48	60.02
TRS/TRCSR/PALINDROME_nosorts-noand_FR	1.10	1.10	1.25	1.22
TRS/TRCSR/PALINDROME_nosorts-noand_L	1.10	1.10	1.25	1.21
TRS/TRCSR/PALINDROME_nosorts_FR	1.09	1.10	1.24	1.21
TRS/TRCSR/PALINDROME_nosorts_L	-	0.05	0.11	0.13
TRS/TRCSR/PEANO_complete-noand_FR	-	0.06	60.15	59.73
TRS/TRCSR/PEANO_complete-noand_L	-	0.05	0.12	0.13
TRS/TRCSR/PEANO_complete-noand_Z	-	0.06	60.15	59.74
TRS/TRCSR/PEANO_complete_FR	-	0.06	24.43	23.89
TRS/TRCSR/PEANO_complete_L	-	0.05	0.11	0.12
TRS/TRCSR/PEANO_complete_Z	-	0.06	23.83	23.34
TRS/TRCSR/PEANO_nokinds-noand_FR	-	0.05	60.13	58.64
TRS/TRCSR/PEANO_nokinds-noand_L	-	0.05	0.11	0.11
TRS/TRCSR/PEANO_nokinds-noand_Z	-	0.05	60.13	58.61
TRS/TRCSR/PEANO_nokinds_FR	-	0.05	60.14	58.59
TRS/TRCSR/PEANO_nokinds_L	-	0.05	0.11	0.11
TRS/TRCSR/PEANO_nokinds_Z	-	0.05	60.13	58.56
TRS/TRCSR/PEANO_nosorts-noand_FR	1.13	1.13	1.20	1.20
TRS/TRCSR/PEANO_nosorts-noand_L	-	0.05	0.10	0.10
TRS/TRCSR/PEANO_nosorts_FR	1.08	1.08	1.16	1.17
TRS/TRCSR/PEANO_nosorts_L	-	0.05	0.10	0.10
TRS/TRCSR/inn/LISTUTILITIES_complete_C	-	0.14	60.98	60.02
TRS/TRCSR/inn/LISTUTILITIES_complete_GM	-	0.09	60.34	60.02
TRS/TRCSR/inn/LISTUTILITIES_complete_iGM	-	0.14	60.68	60.02
TRS/TRCSR/inn/LISTUTILITIES_complete_noand_C	-	0.24	63.04	60.02
TRS/TRCSR/inn/LISTUTILITIES_complete_noand_GM	-	0.14	60.92	60.02
TRS/TRCSR/inn/LISTUTILITIES_complete_noand_iGM	-	0.26	62.65	60.02
TRS/TRCSR/inn/LISTUTILITIES_nokinds_C	-	0.09	60.28	60.02
TRS/TRCSR/inn/LISTUTILITIES_nokinds_GM	-	0.07	60.19	60.02
TRS/TRCSR/inn/LISTUTILITIES_nokinds_iGM	-	0.09	60.26	60.02
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_C	-	0.12	60.63	60.02
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_GM	-	0.08	60.29	60.02
TRS/TRCSR/inn/LISTUTILITIES_nokinds_noand_iGM	-	0.12	60.54	60.02
TRS/TRCSR/inn/LISTUTILITIES_nosorts_C	-	0.07	60.18	60.02
TRS/TRCSR/inn/LISTUTILITIES_nosorts_GM	-	0.06	60.16	60.02
TRS/TRCSR/inn/LISTUTILITIES_nosorts_iGM	-	0.06	60.18	60.02
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_C	-	0.09	60.31	60.02
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_GM	-	0.07	60.19	60.02
TRS/TRCSR/inn/LISTUTILITIES_nosorts_noand_iGM	-	0.09	60.29	60.02
TRS/TRCSR/inn/LengthOfFiniteLists_complete_C	-	0.07	60.40	60.02
TRS/TRCSR/inn/LengthOfFiniteLists_complete_GM	-	0.06	14.66	16.95
TRS/TRCSR/inn/LengthOfFiniteLists_complete_iGM	-	0.07	60.21	60.02
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_C	-	0.09	60.36	60.02
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_GM	-	0.07	60.22	60.02
TRS/TRCSR/inn/LengthOfFiniteLists_complete_noand_iGM	-	0.10	60.35	60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_C	-	0.06	60.16	60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_GM	-	0.06	60.14	58.77
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_iGM	-	0.06	60.14	60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_C	-	0.07	60.18	60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_GM	-	0.06	12.39	19.15
TRS/TRCSR/inn/LengthOfFiniteLists_nokinds_noand_iGM	-	0.06	60.18	60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_C	97.03	97.01	64.71	60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_GM	359.60	363.53	5.79	6.11
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_iGM	98.23	98.86	63.03	60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_C	60.44	60.52	66.80	60.02
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_GM	60.44	60.54	9.79	9.74
TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_noand_iGM	85.02	77.82	62.01	60.02
TRS/TRCSR/inn/MYNAT_complete_C	-	0.07	60.35	60.02
TRS/TRCSR/inn/MYNAT_complete_GM	-	0.06	34.09	36.48
TRS/TRCSR/inn/MYNAT_complete_iGM	-	0.07	60.19	60.01
TRS/TRCSR/inn/MYNAT_complete_noand_C	-	0.10	60.39	60.02
TRS/TRCSR/inn/MYNAT_complete_noand_GM	-	0.07	60.22	60.02
TRS/TRCSR/inn/MYNAT_complete_noand_iGM	-	0.10	60.37	60.02
TRS/TRCSR/inn/MYNAT_nokinds_C	-	0.06	60.16	60.02
TRS/TRCSR/inn/MYNAT_nokinds_GM	-	0.06	60.15	59.28
TRS/TRCSR/inn/MYNAT_nokinds_iGM	-	0.06	57.14	60.02
TRS/TRCSR/inn/MYNAT_nokinds_noand_C	-	0.07	60.19	60.02
TRS/TRCSR/inn/MYNAT_nokinds_noand_GM	-	0.06	60.15	60.02
TRS/TRCSR/inn/MYNAT_nokinds_noand_iGM	-	0.07	60.18	60.02
TRS/TRCSR/inn/MYNAT_nosorts_C	-	0.06	60.15	60.02
TRS/TRCSR/inn/MYNAT_nosorts_GM	-	0.05	60.13	58.48
TRS/TRCSR/inn/MYNAT_nosorts_iGM	-	0.05	60.14	60.02
TRS/TRCSR/inn/MYNAT_nosorts_noand_C	-	0.06	60.16	60.02
TRS/TRCSR/inn/MYNAT_nosorts_noand_GM	-	0.05	60.14	59.30
TRS/TRCSR/inn/MYNAT_nosorts_noand_iGM	-	0.06	60.15	60.02
TRS/TRCSR/inn/OvConsOS_complete_C	-	0.09	60.44	60.02
TRS/TRCSR/inn/OvConsOS_complete_GM	-	0.07	54.00	59.56
TRS/TRCSR/inn/OvConsOS_complete_iGM	-	0.09	60.26	60.02
TRS/TRCSR/inn/OvConsOS_complete_noand_C	-	0.12	60.64	60.02
TRS/TRCSR/inn/OvConsOS_complete_noand_GM	-	0.08	60.29	60.02
TRS/TRCSR/inn/OvConsOS_complete_noand_iGM	-	0.13	60.62	60.02
TRS/TRCSR/inn/OvConsOS_nokinds_C	-	0.06	46.76	60.02
TRS/TRCSR/inn/OvConsOS_nokinds_GM	-	0.06	60.14	59.82
TRS/TRCSR/inn/OvConsOS_nokinds_iGM	-	0.06	60.16	60.02
TRS/TRCSR/inn/OvConsOS_nokinds_noand_C	-	0.07	60.23	60.02
TRS/TRCSR/inn/OvConsOS_nokinds_noand_GM	-	0.06	22.35	34.42
TRS/TRCSR/inn/OvConsOS_nokinds_noand_iGM	-	0.08	60.27	60.02
TRS/TRCSR/inn/OvConsOS_nosorts_C	60.53	60.52	67.94	60.02
TRS/TRCSR/inn/OvConsOS_nosorts_GM	60.52	60.56	9.19	9.30
TRS/TRCSR/inn/OvConsOS_nosorts_iGM	60.56	60.52	64.42	60.02
TRS/TRCSR/inn/OvConsOS_nosorts_noand_C	60.78	61.43	84.84	60.02
TRS/TRCSR/inn/OvConsOS_nosorts_noand_GM	60.06	60.06	31.29	34.79
TRS/TRCSR/inn/OvConsOS_nosorts_noand_iGM	61.31	61.39	65.04	60.02
TRS/TRCSR/inn/PALINDROME_complete_C	-	0.09	60.42	60.02
TRS/TRCSR/inn/PALINDROME_complete_GM	-	0.07	60.18	60.02
TRS/TRCSR/inn/PALINDROME_complete_iGM	-	0.08	60.25	60.02
TRS/TRCSR/inn/PALINDROME_complete_noand_C	-	0.10	60.65	60.02
TRS/TRCSR/inn/PALINDROME_complete_noand_GM	-	0.08	60.25	60.02
TRS/TRCSR/inn/PALINDROME_complete_noand_iGM	-	0.11	60.62	60.02
TRS/TRCSR/inn/PALINDROME_nokinds_C	60.42	60.35	69.18	60.02
TRS/TRCSR/inn/PALINDROME_nokinds_GM	60.34	60.40	84.85	59.91
TRS/TRCSR/inn/PALINDROME_nokinds_iGM	60.47	60.53	79.14	60.02
TRS/TRCSR/inn/PALINDROME_nokinds_noand_C	60.07	60.08	60.02	60.02
TRS/TRCSR/inn/PALINDROME_nokinds_noand_GM	60.18	60.21	60.02	60.02
TRS/TRCSR/inn/PALINDROME_nokinds_noand_iGM	60.34	60.24	60.02	60.02
TRS/TRCSR/inn/PALINDROME_nosorts_C	92.31	93.16	63.96	60.02
TRS/TRCSR/inn/PALINDROME_nosorts_GM	198.91	197.80	62.47	59.50
TRS/TRCSR/inn/PALINDROME_nosorts_iGM	80.37	82.47	62.45	60.02
TRS/TRCSR/inn/PALINDROME_nosorts_noand_C	60.60	60.65	65.48	60.02
TRS/TRCSR/inn/PALINDROME_nosorts_noand_GM	130.88	130.70	65.76	59.52
TRS/TRCSR/inn/PALINDROME_nosorts_noand_iGM	63.05	63.12	62.91	60.02
TRS/TRCSR/inn/PEANO_complete_C	-	0.07	60.32	60.02
TRS/TRCSR/inn/PEANO_complete_GM	-	0.06	11.68	13.02
TRS/TRCSR/inn/PEANO_complete_iGM	-	0.06	60.15	60.02
TRS/TRCSR/inn/PEANO_complete_noand_C	-	0.07	60.22	60.02
TRS/TRCSR/inn/PEANO_complete_noand_GM	-	0.06	39.64	48.10
TRS/TRCSR/inn/PEANO_complete_noand_iGM	-	0.08	60.22	60.02
TRS/TRCSR/inn/PEANO_nokinds_C	-	0.06	60.14	60.02
TRS/TRCSR/inn/PEANO_nokinds_GM	-	0.05	60.13	58.73
TRS/TRCSR/inn/PEANO_nokinds_iGM	-	0.06	25.13	38.72
TRS/TRCSR/inn/PEANO_nokinds_noand_C	-	0.06	60.16	60.02
TRS/TRCSR/inn/PEANO_nokinds_noand_GM	-	0.06	8.52	10.45
TRS/TRCSR/inn/PEANO_nokinds_noand_iGM	-	0.06	60.16	60.02
TRS/TRCSR/inn/PEANO_nosorts_C	60.70	60.71	55.09	60.02
TRS/TRCSR/inn/PEANO_nosorts_GM	114.39	550.14	4.20	4.55
TRS/TRCSR/inn/PEANO_nosorts_iGM	85.58	86.41	61.76	60.02
TRS/TRCSR/inn/PEANO_nosorts_noand_C	60.15	60.16	65.74	60.02
TRS/TRCSR/inn/PEANO_nosorts_noand_GM	60.17	60.16	5.62	6.67
TRS/TRCSR/inn/PEANO_nosorts_noand_iGM	60.22	60.20	61.95	60.02
TRS/Thiemann/div_notCeTermin	-	0.05	60.14	58.64
TRS/Thiemann/div_notTermin	-	0.05	60.15	58.88
TRS/Thiemann/factorial1	-	0.05	60.13	58.37
TRS/Thiemann/factorial2	-	0.05	60.12	58.52
TRS/Thiemann/identity	60.37	60.32	14.91	11.68
TRS/Thiemann/innermost1	-	0.05	0.49	0.34
TRS/Thiemann/innermost2	60.37	60.36	61.17	59.64
TRS/Thiemann/innermost3	-	0.05	0.50	0.46
TRS/Thiemann/innermost4	-	0.05	60.12	59.49
TRS/Thiemann/innermost5	-	0.05	60.13	58.25
TRS/Thiemann/logarithm	-	0.05	60.12	58.55
TRS/Thiemann/mapHard	-	0.05	57.84	59.44
TRS/Thiemann/modulo	-	0.05	52.14	38.02
TRS/Thiemann/nonterm	60.39	60.42	61.13	60.02
TRS/Thiemann/quicksort	-	0.06	60.13	59.28
TRS/Thiemann/quot	-	0.05	60.12	58.46
TRS/Thiemann/sizeChange	-	0.05	6.48	43.82
TRS/Thiemann/tower	-	0.06	60.14	58.60
TRS/Thiemann/tower_sizeChange	206.58	194.60	5.72	4.73
TRS/Waldmann/jwaprove1	60.21	60.21	61.16	59.22
TRS/Waldmann/jwaprove2	60.18	60.19	61.16	59.22
TRS/Waldmann/jwcime1	2.11	2.18	61.35	59.58
TRS/Waldmann/jwcime2	0.07	0.08	0.13	0.13
TRS/Waldmann/jwmatchb1	60.37	60.35	1.51	1.57
TRS/Waldmann/jwmatchb2	60.30	60.44	1.49	1.48
TRS/Waldmann/jwno1	60.35	60.37	61.17	59.24
TRS/Waldmann/jwno2	60.12	60.11	61.16	59.28
TRS/Waldmann/jwno3	60.45	60.43	61.20	59.27
TRS/Waldmann/jwno4	60.36	60.36	25.74	25.97
TRS/Waldmann/jwno5	60.10	60.12	61.16	59.24
TRS/Waldmann/jwno6	60.38	60.38	24.68	24.89
TRS/Waldmann/jwno7	60.40	60.43	61.23	59.26
TRS/Waldmann/jwno8	60.13	60.11	61.35	59.60
TRS/Waldmann/jwno9	60.13	60.11	61.33	59.68
TRS/Waldmann/jwteparla1	-	0.05	60.30	58.51
TRS/Waldmann/jwteparla2	-	0.05	60.33	58.53
TRS/Waldmann/jwtpa1	0.08	0.08	0.15	0.15
TRS/Waldmann/jwtpa2	2.30	2.45	61.31	59.69
TRS/Waldmann/jwttt	60.23	60.29	61.32	59.72
TRS/Zantema/jw01	0.07	0.07	0.11	0.11
TRS/Zantema/jw02	0.07	0.07	0.11	0.11
TRS/Zantema/jw03	0.07	0.07	0.11	0.11
TRS/Zantema/jw04	0.07	0.07	0.11	0.11
TRS/Zantema/jw05	0.07	0.07	0.11	0.11
TRS/Zantema/jw06	0.07	0.07	0.11	0.11
TRS/Zantema/jw07	0.07	0.07	0.11	0.11
TRS/Zantema/jw08	0.07	0.07	0.11	0.11
TRS/Zantema/jw09	0.07	0.07	0.11	0.11
TRS/Zantema/jw11	0.07	0.07	0.11	0.11
TRS/Zantema/jw12	0.07	0.07	0.11	0.11
TRS/Zantema/jw13	0.07	0.07	0.12	0.12
TRS/Zantema/jw14	0.07	0.08	0.12	0.12
TRS/Zantema/jw15	0.07	0.07	0.11	0.11
TRS/Zantema/jw16	0.07	0.07	0.11	0.11
TRS/Zantema/jw17	0.07	0.07	0.11	0.11
TRS/Zantema/jw18	0.07	0.07	0.11	0.11
TRS/Zantema/jw19	0.07	0.07	0.13	0.12
TRS/Zantema/jw20	0.07	0.08	0.11	0.11
TRS/Zantema/jw21	0.08	0.08	0.11	0.12
TRS/Zantema/jw22	0.07	0.08	0.12	0.12
TRS/Zantema/jw23	0.08	0.08	0.11	0.11
TRS/Zantema/jw24	0.07	0.08	0.11	0.11
TRS/Zantema/jw25	0.07	0.07	0.11	0.11
TRS/Zantema/jw26	0.08	0.08	0.11	0.11
TRS/Zantema/jw27	0.08	0.08	0.12	0.12
TRS/Zantema/jw28	0.08	0.08	0.12	0.12
TRS/Zantema/jw29	0.08	0.08	0.12	0.11
TRS/Zantema/jw30	0.07	0.07	0.12	0.12
TRS/Zantema/jw31	0.07	0.07	0.11	0.11
TRS/Zantema/jw32	0.07	0.07	0.11	0.11
TRS/Zantema/jw33	0.07	0.07	0.11	0.11
TRS/Zantema/jw34	0.07	0.08	0.11	0.11
TRS/Zantema/jw35	0.07	0.07	0.12	0.12
TRS/Zantema/jw36	0.07	0.07	0.12	0.12
TRS/Zantema/jw37	0.07	0.07	0.11	0.11
TRS/Zantema/jw38	0.07	0.08	0.11	0.11
TRS/Zantema/jw39	0.07	0.07	0.12	0.12
TRS/Zantema/jw40	0.07	0.07	0.12	0.12
TRS/Zantema/jw41	0.07	0.07	0.11	0.11
TRS/Zantema/jw42	0.07	0.07	0.11	0.11
TRS/Zantema/jw43	0.06	0.07	0.11	0.12
TRS/Zantema/jw44	1.10	1.10	1.22	1.22
TRS/Zantema/jw47	1.10	1.10	1.23	1.22
TRS/Zantema/jw50	0.07	0.07	0.11	0.11
TRS/Zantema/z01	60.10	60.12	61.37	60.02
TRS/Zantema/z02	0.08	0.08	0.18	0.18
TRS/Zantema/z03	0.42	0.42	61.34	60.01
TRS/Zantema/z04	-	0.05	60.16	58.23
TRS/Zantema/z05	60.19	60.18	61.17	59.42
TRS/Zantema/z06	60.10	60.10	61.20	59.50
TRS/Zantema/z07	60.14	60.15	61.27	59.42
TRS/Zantema/z08	16.56	18.37	61.35	59.77
TRS/Zantema/z09	-	0.05	60.32	59.03
TRS/Zantema/z10	-	0.05	11.89	14.00
TRS/Zantema/z11	60.37	60.30	61.71	60.01
TRS/Zantema/z12	60.36	60.30	15.56	60.02
TRS/Zantema/z13	60.29	60.36	7.31	8.28
TRS/Zantema/z14	60.25	60.30	4.53	5.01
TRS/Zantema/z15	60.29	60.27	10.25	11.66
TRS/Zantema/z16	60.21	60.30	5.85	6.56
TRS/Zantema/z17	60.36	60.39	61.11	59.22
TRS/Zantema/z18	60.36	60.29	10.25	14.06
TRS/Zantema/z19	60.38	60.35	61.19	59.36
TRS/Zantema/z20	60.25	60.22	61.37	59.71
TRS/Zantema/z21	60.32	60.44	61.17	59.33
TRS/Zantema/z22	60.30	60.24	61.35	59.71
TRS/Zantema/z23	60.26	60.34	61.11	59.41
TRS/Zantema/z24	60.33	60.37	16.46	19.81
TRS/Zantema/z25	10.76	10.73	61.15	59.40
TRS/Zantema/z26	1.72	1.71	61.28	60.02
TRS/Zantema/z27	-	0.05	0.88	0.89
TRS/Zantema/z28	-	0.05	9.95	12.42
TRS/Zantema/z29	60.37	60.35	61.45	59.48
TRS/Zantema/z30	0.15	0.15	0.88	0.88
TRS/Zantema06/beans	60.09	60.10	61.40	60.02
TRS/Zantema06/gcd	-	0.05	60.12	58.34
TRS/Zantema06/gcdMinMax	-	0.05	60.12	58.33
TRS/Zantema06/hydra	-	0.05	60.29	58.95
TRS/Zantema06/test1	-	0.05	0.52	0.38
TRS/Zantema06/while	-	0.05	3.43	9.61
TRS/Zantema06/while2	-	0.05	60.12	59.36
TRS/cariboo/tricky1	-	0.05	5.72	5.80
TRS/currying/AG01/#3.10	-	0.06	60.34	60.02
TRS/currying/AG01/#3.13	-	0.06	60.33	60.02
TRS/currying/AG01/#3.16	-	0.05	60.29	60.02
TRS/currying/AG01/#3.18	-	0.05	60.30	60.02
TRS/currying/AG01/#3.2	-	0.05	60.30	60.02
TRS/currying/AG01/#3.22	-	0.05	60.32	60.02
TRS/currying/AG01/#3.25	-	0.05	60.32	60.02
TRS/currying/AG01/#3.27	-	0.05	60.29	60.02
TRS/currying/AG01/#3.32	-	0.05	60.31	60.02
TRS/currying/AG01/#3.36	-	0.05	60.28	60.02
TRS/currying/AG01/#3.38	-	0.05	60.32	60.02
TRS/currying/AG01/#3.40	-	0.06	60.29	60.02
TRS/currying/AG01/#3.45	-	0.05	60.32	60.02
TRS/currying/AG01/#3.48	-	0.05	60.29	60.02
TRS/currying/AG01/#3.52	-	0.05	60.32	60.02
TRS/currying/AG01/#3.55	-	0.06	60.31	60.02
TRS/currying/AG01/#3.57	-	0.06	60.30	60.02
TRS/currying/AG01/#3.6	-	0.06	60.29	60.02
TRS/currying/AG01/#3.8	-	0.05	60.31	60.02
TRS/currying/AG01/#4.10	-	0.05	60.28	60.02
TRS/currying/AG01/#4.13	-	0.05	60.32	60.02
TRS/currying/AG01/#4.15	-	0.05	60.12	60.02
TRS/currying/AG01/#4.17	-	0.05	60.29	60.02
TRS/currying/AG01/#4.19	-	0.05	60.32	60.02
TRS/currying/AG01/#4.2	-	0.05	60.29	60.02
TRS/currying/AG01/#4.22	-	0.05	60.29	60.02
TRS/currying/AG01/#4.24	-	0.05	60.32	60.02
TRS/currying/AG01/#4.26	-	0.05	60.29	60.02
TRS/currying/AG01/#4.28	-	0.05	60.32	60.02
TRS/currying/AG01/#4.3	-	0.05	60.32	60.02
TRS/currying/AG01/#4.34	-	0.05	60.32	60.02
TRS/currying/AG01/#4.36	-	0.06	60.14	60.02
TRS/currying/AG01/#4.5	-	0.05	60.31	58.51
TRS/currying/AG01/#4.7	-	0.05	60.29	60.02
TRS/currying/AG01/#4.8	-	0.05	60.29	60.02
TRS/currying/D33/01	-	0.05	60.32	60.02
TRS/currying/D33/02	-	0.05	60.29	60.02
TRS/currying/D33/06	-	0.05	60.29	60.02
TRS/currying/D33/08	-	0.05	60.31	60.02
TRS/currying/D33/11	-	0.06	60.33	60.02
TRS/currying/D33/12	-	0.05	60.29	60.02
TRS/currying/D33/13	-	0.05	60.32	60.02
TRS/currying/D33/17	-	0.05	60.32	60.02
TRS/currying/D33/18	-	0.05	60.32	60.02
TRS/currying/D33/21	-	0.05	60.32	60.02
TRS/currying/D33/29	-	0.05	60.29	60.02
TRS/currying/D33/30	-	0.05	60.32	60.02
TRS/currying/D33/31	-	0.05	60.31	60.02
TRS/currying/D33/33	-	0.05	60.29	60.02
TRS/currying/Ste92/hydra	-	0.05	60.32	60.02
TRS/currying/Ste92/minsort	-	0.06	60.29	60.02
TRS/currying/Ste92/motivation	-	0.05	60.31	60.02
TRS/currying/Ste92/perfect	-	0.05	60.31	60.02
TRS/currying/Ste92/perfect2	-	0.06	60.33	60.02
TRS/higher-order/AProVE_HO/ReverseLastInit	82.03	85.16	62.53	60.02
TRS/higher-order/AProVE_HO/TakeDropWhile	-	0.05	60.29	60.02
TRS/higher-order/AProVE_HO/TypeEx1	-	0.05	60.13	58.32
TRS/higher-order/AProVE_HO/TypeEx3	-	0.05	60.29	60.02
TRS/higher-order/AProVE_HO/TypeEx5	60.10	60.10	1.29	1.32
TRS/higher-order/AProVE_HO/mapDivMinus	-	0.05	60.31	60.02
TRS/higher-order/AProVE_HO/mapDivMinusHard	-	0.05	60.12	60.02
TRS/higher-order/AProVE_HO/nonTermF	-	0.05	60.30	60.02
TRS/higher-order/AProVE_HO/termMonTypes	-	0.05	60.13	59.25
TRS/higher-order/AotoYam/001	-	0.05	60.12	58.25
TRS/higher-order/AotoYam/002	-	0.05	11.61	15.46
TRS/higher-order/AotoYam/003	-	0.05	60.31	59.42
TRS/higher-order/AotoYam/004	-	0.05	60.11	59.44
TRS/higher-order/AotoYam/005	1.13	1.13	1.63	1.63
TRS/higher-order/AotoYam/006	-	0.05	19.71	45.62
TRS/higher-order/AotoYam/007	-	0.05	60.11	59.43
TRS/higher-order/AotoYam/009	-	0.05	60.12	60.02
TRS/higher-order/AotoYam/010	-	0.05	60.28	60.02
TRS/higher-order/AotoYam/011	-	0.05	60.12	59.81
TRS/higher-order/AotoYam/012	-	0.05	60.11	60.02
TRS/higher-order/AotoYam/013	-	0.05	60.31	60.02
TRS/higher-order/AotoYam/014	-	0.05	60.32	60.02
TRS/higher-order/AotoYam/015	-	0.05	60.31	60.02
TRS/higher-order/AotoYam/016	-	0.05	20.40	24.21
TRS/higher-order/AotoYam/017	0.07	0.07	0.14	0.14
TRS/higher-order/AotoYam/019	-	0.05	60.15	58.36
TRS/higher-order/AotoYam/020	-	0.05	60.28	59.38
TRS/higher-order/AotoYam/021	-	0.05	60.31	60.02
TRS/higher-order/AotoYam/022	-	0.05	9.01	12.00
TRS/higher-order/AotoYam/023	1.11	1.11	1.31	1.31
TRS/higher-order/AotoYam/024	-	0.05	60.11	59.12
TRS/higher-order/AotoYam/025	0.07	0.06	0.11	0.12
TRS/higher-order/AotoYam/026	-	0.05	60.11	59.45
TRS/higher-order/AotoYam/027	-	0.05	60.31	59.91
TRS/higher-order/AotoYam/028	-	0.05	11.69	13.07
TRS/higher-order/AotoYam/Ex1SimplyTyped	-	0.05	60.11	59.42
TRS/higher-order/AotoYam/Ex5TermProof	-	0.05	60.30	59.92
TRS/higher-order/Bird/BTreeMember	-	0.05	60.11	60.02
TRS/higher-order/Bird/Ex2_6_1Composition	0.07	0.07	0.18	0.18
TRS/higher-order/Bird/Ex2_8_1ConstSubstFix	-	0.05	60.15	58.55
TRS/higher-order/Bird/Hamming	-	0.06	60.32	60.02
TRS/higher-order/Bird/TreeFlatten	-	0.05	60.28	60.02
TRS/higher-order/Bird/TreeHeight	-	0.05	39.10	50.18
TRS/higher-order/Bird/TreeLevels	-	0.05	60.28	60.02
TRS/higher-order/Bird/TreeMap	-	0.05	60.30	60.02
TRS/higher-order/Bird/TreeSize	-	0.05	60.31	60.02
TRS/higher-order/Kusakari/Ex6_11	-	0.05	60.32	60.02
TRS/higher-order/Kusakari/Ex7_9	-	0.05	60.32	60.02
TRS/higher-order/Lifantsev/Ex10Functional	-	0.05	60.30	60.02
TRS/higher-order/Lifantsev/Ex2PrimRec	-	0.05	60.11	58.69
TRS/higher-order/Lifantsev/Ex3Lists	-	0.05	60.29	60.02
TRS/higher-order/Lifantsev/Ex4MapList	-	0.05	60.30	60.02
TRS/higher-order/Lifantsev/Ex5Sorting	-	0.05	60.29	60.02
TRS/higher-order/Lifantsev/Ex6Folding	-	0.05	60.31	60.02
TRS/higher-order/Lifantsev/Ex7OrdinalRec	-	0.05	60.29	60.02
TRS/higher-order/Lifantsev/Ex8Polymorphic	-	0.05	60.28	60.02
TRS/higher-order/Lifantsev/Ex9Maps	-	0.05	60.29	60.02
TRS/higher-order/ToyamaRTA04/Ex5Folding	-	0.05	60.32	60.02
TRS/higher-order/ToyamaRTA04/Ex6Recursor	-	0.05	60.32	59.21
TRS/higher-order/ToyamaRTA04/Ex7Sorting	-	0.05	60.30	60.02
TRS/nontermin/AG01/#4.30c	-	0.05	9.86	7.37
TRS/nontermin/CSR/Ex14_AEGL02	-	0.05	0.31	0.20
TRS/nontermin/CSR/Ex15_Luc98	-	0.05	1.07	0.36
TRS/nontermin/CSR/Ex1_2_AEL03	-	0.05	5.17	3.91
TRS/nontermin/CSR/Ex1_2_Luc02c	-	0.05	0.41	0.17
TRS/nontermin/CSR/Ex1_GL02a	-	0.05	1.18	0.40
TRS/nontermin/CSR/Ex1_GM03	-	0.05	60.12	58.29
TRS/nontermin/CSR/Ex1_GM99	-	0.05	0.35	0.24
TRS/nontermin/CSR/Ex1_Luc02b	-	0.05	1.11	0.33
TRS/nontermin/CSR/Ex1_Zan97	60.11	60.11	1.54	1.55
TRS/nontermin/CSR/Ex24_GM04	-	0.05	0.57	0.38
TRS/nontermin/CSR/Ex26_Luc03b	-	0.05	2.45	3.59
TRS/nontermin/CSR/Ex2_Luc03b	-	0.05	0.85	0.36
TRS/nontermin/CSR/Ex3_12_Luc96a	-	0.05	0.67	0.22
TRS/nontermin/CSR/Ex3_2_Luc97	-	0.05	1.15	0.84
TRS/nontermin/CSR/Ex3_3_25_Bor03	-	0.05	1.60	1.85
TRS/nontermin/CSR/Ex49_GM04	-	0.05	60.13	58.36
TRS/nontermin/CSR/Ex4_4_Luc96b	-	0.05	11.82	11.97
TRS/nontermin/CSR/Ex4_7_15_Bor03	60.30	60.39	12.67	12.76
TRS/nontermin/CSR/Ex4_7_37_Bor03	-	0.05	5.15	2.69
TRS/nontermin/CSR/Ex4_7_56_Bor03	-	0.05	0.55	0.21
TRS/nontermin/CSR/Ex4_7_77_Bor03	60.21	60.21	1.13	1.13
TRS/nontermin/CSR/Ex4_Zan97	-	0.05	0.98	0.67
TRS/nontermin/CSR/Ex5_7_Luc97	-	0.05	3.32	2.07
TRS/nontermin/CSR/Ex5_Zan97	60.32	60.38	3.45	4.32
TRS/nontermin/CSR/Ex6_15_AEL02	-	0.05	6.88	1.68
TRS/nontermin/CSR/Ex6_9_Luc02c	-	0.05	0.54	0.22
TRS/nontermin/CSR/Ex6_GM04	60.11	60.10	1.33	1.31
TRS/nontermin/CSR/Ex6_Luc98	-	0.05	0.56	0.24
TRS/nontermin/CSR/Ex7_BLR02	-	0.05	1.29	0.38
TRS/nontermin/CSR/Ex8_BLR02	-	0.05	60.11	44.28
TRS/nontermin/CSR/Ex9_BLR02	-	0.05	23.92	10.11
TRS/nontermin/CSR/ExAppendixB_AEL03	-	0.05	6.26	4.44
TRS/nontermin/CSR/ExConc_Zan97	60.19	60.10	1.12	1.12
TRS/nontermin/CSR/ExIntrod_GM01	89.67	90.90	1.35	1.44
TRS/nontermin/CSR/ExIntrod_GM04	61.55	61.56	1.28	1.39
TRS/nontermin/CSR/ExIntrod_GM99	-	0.05	60.12	58.60
TRS/nontermin/CSR/ExIntrod_Zan97	-	0.05	60.15	58.33
TRS/nontermin/Rubio-inn/bn111	-	0.05	1.13	1.13
TRS/nontermin/Rubio-inn/gkg	60.11	60.10	1.28	1.29
TRS/nontermin/Rubio-inn/muladd	-	0.05	46.90	19.79
TRS/nontermin/Rubio-inn/test10	-	0.05	7.54	6.48
TRS/nontermin/Rubio-inn/test75	-	0.05	2.83	1.81
TRS/nontermin/Rubio-inn/test76	-	0.05	3.84	4.72
TRS/nontermin/Rubio-inn/test77	-	0.05	1.48	1.04
TRS/nontermin/Rubio-inn/test830	0.08	0.07	0.14	0.14
TRS/nontermin/Rubio-inn/test9	-	0.05	0.54	0.43
TRS/nontermin/Rubio-inn/toyama	-	0.05	0.34	0.24
TRS/nontermin/TRCSR/ExSec11_1_Luc02a	-	0.05	2.76	3.60
TRS/nontermin/cariboo/ex1	60.11	60.11	2.28	2.32
TRS/nontermin/cariboo/ex2	-	0.05	4.20	4.57
TRS/nontermin/cariboo/ex3	60.11	60.10	3.55	3.59
TRS/nontermin/cariboo/ex4	60.11	60.12	1.38	1.39
TRS/nontermin/cariboo/ex5	60.10	60.10	1.45	1.42
TRS/nontermin/cariboo/ex6	60.20	60.18	11.80	6.51
TRS/secret05/aprove1	-	0.05	48.96	53.04
TRS/secret05/aprove2	-	0.05	60.12	43.57
TRS/secret05/aprove3	-	0.05	60.12	59.16
TRS/secret05/aprove4	-	0.05	9.55	9.43
TRS/secret05/aprove5	-	0.05	60.13	58.76
TRS/secret05/cime1	-	0.05	60.31	60.02
TRS/secret05/cime2	-	0.05	21.94	22.60
TRS/secret05/cime3	-	0.05	23.47	26.72
TRS/secret05/cime4	-	0.05	3.88	1.75
TRS/secret05/cime5	-	0.06	60.14	60.02
TRS/secret05/matchbox1	-	0.05	5.07	4.75
TRS/secret05/matchbox2	0.07	0.07	0.11	0.11
TRS/secret05/teparla1	22.45	21.97	61.13	60.02
TRS/secret05/teparla2	167.00	164.08	61.21	60.00
TRS/secret05/teparla3	25.48	24.58	61.22	59.99
TRS/secret05/tpa1	-	0.05	60.12	58.32
TRS/secret05/tpa2	-	0.05	8.89	4.53
TRS/secret05/tpa3	-	0.05	9.13	7.64
TRS/secret05/tpa4	-	0.05	29.00	9.59
TRS/secret05/tpa5	-	0.05	60.12	58.41
TRS/secret05/ttt1	-	0.05	60.12	48.51
TRS/secret05/ttt2	60.17	60.18	56.93	59.14
TRS/secret06/aprove/addList	-	0.05	60.13	60.02
TRS/secret06/aprove/divExp	-	0.05	3.55	4.04
TRS/secret06/aprove/division	-	0.05	32.84	58.70
TRS/secret06/aprove/double	-	0.05	25.40	19.62
TRS/secret06/aprove/logarithm	-	0.05	60.12	58.60
TRS/secret06/aprove/nrOfNodes	-	0.05	60.13	59.75
TRS/secret06/aprove/reverse	-	0.05	60.14	58.60
TRS/secret06/aprove/sumList	-	0.05	60.12	59.79
TRS/secret06/aprove/times	-	0.05	60.12	59.35
TRS/secret06/aprove/toList	-	0.05	60.13	60.00
TRS/secret06/cime1	-	0.05	60.14	59.23
TRS/secret06/jambox/10	60.42	60.34	61.26	59.32
TRS/secret06/jambox/2	60.27	60.33	62.50	60.02
TRS/secret06/jambox/3	60.24	60.40	61.56	60.02
TRS/secret06/jambox/4	60.37	60.37	27.80	29.56
TRS/secret06/jambox/5	60.30	60.36	61.37	60.02
TRS/secret06/jambox/6	2.01	2.00	8.31	8.59
TRS/secret06/jambox/7	0.39	0.38	61.65	60.02
TRS/secret06/jambox/8	0.08	0.08	0.13	0.13
TRS/secret06/jambox/9	0.08	0.08	0.13	0.13
TRS/secret06/matchbox/gen-1	-	0.05	2.50	2.61
TRS/secret06/matchbox/gen-10	-	0.05	4.42	4.71
TRS/secret06/matchbox/gen-14	-	0.05	60.32	59.54
TRS/secret06/matchbox/gen-15	-	0.05	9.70	10.32
TRS/secret06/matchbox/gen-17	-	0.05	60.11	60.02
TRS/secret06/matchbox/gen-18	-	0.05	4.42	4.47
TRS/secret06/matchbox/gen-22	-	0.05	60.28	60.02
TRS/secret06/matchbox/gen-25	-	0.05	60.27	59.07
TRS/secret06/matchbox/gen-28	-	0.05	60.13	58.58
TRS/secret06/matchbox/gen-9	-	0.05	5.57	6.93
TRS/secret06/tpa01	60.13	60.02	23.64	24.80
TRS/secret06/tpa02	60.14	60.12	23.11	25.56
TRS/secret06/tpa03	60.13	60.11	16.17	16.74
TRS/secret06/tpa04	-	0.05	60.29	58.76
TRS/secret06/tpa05	-	0.05	60.11	45.23
TRS/secret06/tpa06	-	0.05	60.03	29.48
TRS/secret06/tpa07	-	0.05	8.96	9.19
TRS/secret06/tpa08	-	0.05	60.11	58.35
TRS/secret06/tpa09	-	0.05	60.29	58.89
TRS/secret06/tpa10	-	0.05	17.47	18.38
TRS/secret07/TTT2/1	60.30	60.31	61.41	59.74
TRS/secret07/TTT2/2	60.34	60.33	17.47	43.13
TRS/secret07/TTT2/3	82.32	81.68	61.85	60.02
TRS/secret07/TTT2/4	60.28	60.29	61.32	60.02
TRS/secret07/TTT2/5	60.43	60.54	18.04	21.58
TRS/secret07/TTT2/6	60.12	60.13	11.37	11.67
TRS/secret07/TTT2/7	60.38	60.35	61.44	60.01
TRS/secret07/aprove/aprove01	-	0.06	60.13	59.19
TRS/secret07/aprove/aprove02	-	0.05	15.54	10.74
TRS/secret07/aprove/aprove03	-	0.06	53.25	57.33
TRS/secret07/aprove/aprove04	-	0.05	60.13	60.02
TRS/secret07/aprove/aprove05	-	0.05	60.13	56.09
TRS/secret07/aprove/aprove06	-	0.05	60.14	57.71
TRS/secret07/aprove/aprove07	-	0.05	60.13	58.93
TRS/secret07/aprove/aprove08	-	0.05	60.12	60.02
TRS/secret07/aprove/aprove09	-	0.05	60.13	60.02
TRS/secret07/aprove/aprove10	-	0.05	60.13	59.23
TRS/secret07/cime/1	-	0.05	-	-
TRS/secret07/cime/2	-	0.05	-	-
TRS/secret07/cime/3	-	0.05	-	-
TRS/secret07/cime/4	-	0.05	-	-
TRS/secret07/cime/5	-	0.05	-	-
TRS/secret07/others/dj	60.12	60.11	3.91	1.57
TRS/various/02	-	0.05	0.35	0.26
TRS/various/03	-	0.05	2.31	1.23
TRS/various/04	-	0.05	60.12	60.03
TRS/various/05	-	0.05	27.67	60.04
TRS/various/06	-	0.05	0.16	0.14
TRS/various/07	0.07	0.07	0.11	0.11
TRS/various/08	-	0.06	60.12	60.02
TRS/various/09	-	0.05	0.21	0.16
TRS/various/10	-	0.05	7.42	8.47
TRS/various/11	-	0.05	2.53	1.28
TRS/various/12	-	0.05	60.13	58.45
TRS/various/13	-	0.05	60.14	58.66
TRS/various/14	-	0.06	60.13	60.02
TRS/various/15	62.22	61.11	3.25	3.52
TRS/various/18	60.09	60.11	23.28	22.58
TRS/various/19	60.37	60.40	4.79	6.46
TRS/various/20	60.11	60.10	18.18	18.71
TRS/various/21	60.18	60.16	70.21	60.02
TRS/various/22	-	0.05	2.33	1.63
TRS/various/23	1.12	1.12	1.19	1.19
TRS/various/24	24.46	24.62	12.77	14.69
TRS/various/25	0.07	0.07	0.12	0.12
TRS/various/26	-	0.05	1.33	1.48
TRS/various/27	0.07	0.07	0.11	0.11