TermCOMP 2013: TRS Standard

benchmark	AProVE	AProVE-CeTA	muterm	NaTT	TTT2	TTT2Cert	Wanda
tpdb-8.0/TRS/AG01/#3.10.xml	YES 2408	YES 7341	YES 244	YES 190	YES 2836	YES 5556	YES 1355
tpdb-8.0/TRS/AG01/#3.12.xml	YES 1368	YES 3746	YES 80	YES 78	YES 964	YES 1550	YES 165
tpdb-8.0/TRS/AG01/#3.13.xml	YES 2220	YES 5779	YES 152	YES 133	YES 2019	YES 3702	YES 924
tpdb-8.0/TRS/AG01/#3.15.xml	YES 1119	YES 3363	YES 76	YES 60	YES 828	YES 498	YES 224
tpdb-8.0/TRS/AG01/#3.16.xml	YES 1237	YES 3461	YES 58	YES 98	YES 728	YES 1211	YES 124
tpdb-8.0/TRS/AG01/#3.17a.xml	YES 1702	YES 5109	YES 124	YES 97	YES 1647	YES 4546	YES 1206
tpdb-8.0/TRS/AG01/#3.17.xml	YES 1634	YES 5169	YES 115	YES 87	YES 1623	YES 3470	YES 1024
tpdb-8.0/TRS/AG01/#3.18.xml	YES 1568	YES 4317	YES 83	YES 104	YES 1754	YES 2049	YES 233
tpdb-8.0/TRS/AG01/#3.19.xml	YES 1872	YES 4500	TIMEOUT 60044	YES 165	MAYBE 17245	MAYBE 20545	YES 775
tpdb-8.0/TRS/AG01/#3.1.xml	YES 1477	YES 3917	YES 76	YES 93	YES 992	YES 1279	YES 146
tpdb-8.0/TRS/AG01/#3.21.xml	YES 1365	YES 4027	YES 190	YES 61	YES 983	YES 954	YES 1691
tpdb-8.0/TRS/AG01/#3.22.xml	YES 1628	YES 4712	YES 552	YES 96	YES 1559	YES 2300	YES 8628
tpdb-8.0/TRS/AG01/#3.23.xml	YES 1253	YES 3536	YES 77	YES 61	YES 940	YES 781	YES 57
tpdb-8.0/TRS/AG01/#3.24.xml	YES 1037	YES 3442	YES 78	YES 55	YES 784	YES 723	YES 59
tpdb-8.0/TRS/AG01/#3.26.xml	YES 1528	YES 3660	YES 76	YES 61	YES 813	YES 717	YES 102
tpdb-8.0/TRS/AG01/#3.29.xml	YES 1113	YES 3235	YES 42	YES 51	YES 571	YES 517	YES 34
tpdb-8.0/TRS/AG01/#3.2.xml	YES 1503	YES 3894	YES 77	YES 95	YES 1043	YES 1595	YES 159
tpdb-8.0/TRS/AG01/#3.31.xml	YES 1246	YES 3187	YES 55	YES 97	YES 697	YES 696	YES 81
tpdb-8.0/TRS/AG01/#3.33.xml	YES 1137	YES 3235	YES 55	YES 91	YES 902	YES 1156	YES 157
tpdb-8.0/TRS/AG01/#3.35.xml	YES 1005	YES 3535	YES 61	YES 58	YES 675	YES 509	YES 72
tpdb-8.0/TRS/AG01/#3.36.xml	YES 1586	YES 3804	YES 111	YES 99	YES 1160	YES 1693	YES 203
tpdb-8.0/TRS/AG01/#3.37.xml	YES 1352	YES 3563	YES 58	YES 95	YES 776	YES 970	YES 163
tpdb-8.0/TRS/AG01/#3.38.xml	YES 1655	YES 4366	YES 98	YES 111	YES 1253	YES 1958	YES 272
tpdb-8.0/TRS/AG01/#3.39.xml	YES 1571	YES 5021	YES 757	YES 362	YES 2016	YES 2843	MAYBE 1337
tpdb-8.0/TRS/AG01/#3.40.xml	YES 1996	YES 6779	YES 2240	MAYBE 1131	YES 2540	MAYBE 59539	MAYBE 3151
tpdb-8.0/TRS/AG01/#3.41.xml	YES 1331	YES 3558	YES 89	YES 61	YES 841	YES 950	MAYBE 194
tpdb-8.0/TRS/AG01/#3.42.xml	YES 1466	YES 4160	YES 97	YES 96	YES 1195	YES 1184	MAYBE 398
tpdb-8.0/TRS/AG01/#3.47.xml	YES 1270	YES 3534	YES 56	YES 92	YES 757	YES 761	YES 105
tpdb-8.0/TRS/AG01/#3.48.xml	YES 1430	YES 4406	YES 59	YES 95	YES 1183	YES 1951	YES 174
tpdb-8.0/TRS/AG01/#3.49.xml	YES 1467	YES 3873	YES 115	YES 71	YES 1047	YES 1133	YES 210
tpdb-8.0/TRS/AG01/#3.4.xml	YES 1547	YES 4342	YES 80	YES 103	YES 1201	YES 1853	YES 227
tpdb-8.0/TRS/AG01/#3.51.xml	YES 1047	YES 3402	YES 57	YES 85	YES 854	YES 1941	YES 233
tpdb-8.0/TRS/AG01/#3.52.xml	YES 1288	YES 3734	YES 55	YES 90	YES 688	YES 839	YES 77
tpdb-8.0/TRS/AG01/#3.53a.xml	YES 1118	YES 3364	YES 72	YES 53	YES 572	YES 679	YES 37
tpdb-8.0/TRS/AG01/#3.53b.xml	YES 1289	YES 3612	YES 57	YES 89	YES 693	YES 840	YES 90
tpdb-8.0/TRS/AG01/#3.53.xml	YES 1781	YES 5637	YES 133	YES 131	YES 2261	YES 4920	YES 815
tpdb-8.0/TRS/AG01/#3.54.xml	YES 1887	YES 3687	YES 77	YES 68	YES 784	YES 969	YES 137
tpdb-8.0/TRS/AG01/#3.55.xml	YES 2150	YES 6492	YES 166	YES 178	YES 2504	YES 6741	YES 982
tpdb-8.0/TRS/AG01/#3.56.xml	YES 1492	YES 3957	YES 88	YES 80	YES 1044	YES 1603	YES 222
tpdb-8.0/TRS/AG01/#3.57.xml	YES 1834	YES 5705	YES 134	YES 138	YES 2413	YES 4990	YES 1005
tpdb-8.0/TRS/AG01/#3.5a.xml	YES 1720	YES 4760	YES 92	YES 105	YES 1282	YES 1887	YES 326
tpdb-8.0/TRS/AG01/#3.5b.xml	YES 1800	YES 4950	YES 103	YES 131	YES 1363	YES 2505	YES 424
tpdb-8.0/TRS/AG01/#3.5.xml	YES 1687	YES 4700	YES 90	YES 106	YES 1230	YES 1858	YES 299
tpdb-8.0/TRS/AG01/#3.6a.xml	YES 1787	YES 4649	YES 92	YES 105	YES 1547	YES 2107	YES 428
tpdb-8.0/TRS/AG01/#3.6b.xml	YES 1861	YES 5053	YES 103	YES 132	YES 1425	YES 2420	YES 496
tpdb-8.0/TRS/AG01/#3.6.xml	YES 1763	YES 4825	YES 96	YES 106	YES 1647	YES 2277	YES 367
tpdb-8.0/TRS/AG01/#3.7.xml	YES 1009	YES 3573	YES 76	YES 54	YES 956	YES 503	YES 162
tpdb-8.0/TRS/AG01/#3.8a.xml	YES 1591	YES 4740	YES 104	YES 116	YES 1568	YES 2270	YES 625
tpdb-8.0/TRS/AG01/#3.8b.xml	YES 1812	YES 5271	YES 131	YES 132	YES 1809	YES 2699	YES 940
tpdb-8.0/TRS/AG01/#4.30c.xml	YES 8394	YES 49076	YES 4417	MAYBE 321	MAYBE 19348	MAYBE 59454	MAYBE 2551
tpdb-8.0/TRS/AotoYamada_05/001.xml	NO 1747	NO 4141	NO 40025	NO 138	NO 499	NO 389	MAYBE 4534
tpdb-8.0/TRS/AotoYamada_05/002.xml	YES 1635	YES 5074	YES 65	YES 86	YES 896	YES 1485	TIMEOUT 60042
tpdb-8.0/TRS/AotoYamada_05/003.xml	NO 2011	NO 5249	NO 2396	NO 211	NO 501	NO 399	TIMEOUT 60049
tpdb-8.0/TRS/AotoYamada_05/004.xml	YES 1527	YES 4583	MAYBE 626	YES 107	YES 862	YES 1433	MAYBE 33307
tpdb-8.0/TRS/AotoYamada_05/005.xml	YES 1088	YES 3420	YES 101	YES 53	YES 532	YES 509	YES 171
tpdb-8.0/TRS/AotoYamada_05/006.xml	YES 1560	YES 4375	YES 66	YES 101	YES 853	YES 1500	TIMEOUT 60036
tpdb-8.0/TRS/AotoYamada_05/007.xml	YES 1524	YES 4439	YES 195	YES 109	YES 893	YES 1590	YES 29068
tpdb-8.0/TRS/AotoYamada_05/009.xml	YES 1764	YES 4964	YES 80	YES 108	YES 968	YES 1431	YES 7526
tpdb-8.0/TRS/AotoYamada_05/010.xml	YES 23193	YES 7599	MAYBE 730	YES 156	YES 2718	MAYBE 18878	MAYBE 18706
tpdb-8.0/TRS/AotoYamada_05/011.xml	YES 21800	YES 5784	YES 656	YES 139	YES 2449	MAYBE 22635	YES 8826
tpdb-8.0/TRS/AotoYamada_05/012.xml	YES 1670	YES 4818	YES 78	YES 108	YES 1002	YES 1468	YES 7282
tpdb-8.0/TRS/AotoYamada_05/013.xml	YES 1690	YES 4716	MAYBE 890	YES 121	YES 977	YES 1742	MAYBE 59940
tpdb-8.0/TRS/AotoYamada_05/014.xml	YES 1895	YES 5841	MAYBE 696	YES 115	YES 1033	YES 2041	MAYBE 36421
tpdb-8.0/TRS/AotoYamada_05/015.xml	YES 1538	YES 4840	YES 64	YES 114	YES 915	YES 1876	TIMEOUT 60033
tpdb-8.0/TRS/AotoYamada_05/016.xml	YES 1847	YES 6254	YES 79	YES 147	YES 1081	YES 1880	TIMEOUT 60046
tpdb-8.0/TRS/AotoYamada_05/017.xml	YES 1081	YES 3220	YES 75	YES 51	YES 513	YES 497	YES 31
tpdb-8.0/TRS/AotoYamada_05/019.xml	YES 1301	YES 3692	YES 58	YES 72	YES 979	YES 887	MAYBE 535
tpdb-8.0/TRS/AotoYamada_05/020.xml	YES 1583	YES 5006	MAYBE 564	YES 124	YES 1261	YES 1717	MAYBE 3456
tpdb-8.0/TRS/AotoYamada_05/021.xml	YES 1783	YES 5920	MAYBE 1106	YES 123	YES 1033	YES 2126	TIMEOUT 60047
tpdb-8.0/TRS/AotoYamada_05/022.xml	YES 1631	YES 4443	YES 64	YES 110	YES 891	YES 1308	YES 25616
tpdb-8.0/TRS/AotoYamada_05/023.xml	YES 1128	YES 3406	YES 76	YES 52	YES 525	YES 503	YES 104
tpdb-8.0/TRS/AotoYamada_05/024.xml	YES 1401	YES 3814	YES 59	YES 100	YES 723	YES 1101	YES 7258
tpdb-8.0/TRS/AotoYamada_05/025.xml	YES 1063	YES 3223	YES 42	YES 51	YES 517	YES 507	YES 31
tpdb-8.0/TRS/AotoYamada_05/026.xml	YES 1539	YES 4509	YES 65	YES 100	YES 1179	YES 1446	MAYBE 8631
tpdb-8.0/TRS/AotoYamada_05/027.xml	YES 1586	YES 4616	YES 231	YES 111	YES 903	YES 1588	YES 58731
tpdb-8.0/TRS/AotoYamada_05/028.xml	YES 1502	YES 4637	YES 62	YES 102	YES 837	YES 1525	MAYBE 22787
tpdb-8.0/TRS/AotoYamada_05/Ex1SimplyTyped.xml	YES 1612	YES 4308	YES 203	YES 79	YES 921	YES 1524	YES 30051
tpdb-8.0/TRS/AotoYamada_05/Ex5TermProof.xml	TIMEOUT 60523	TIMEOUT 60032	MAYBE 864	MAYBE 514	MAYBE 43910	MAYBE 10751	MAYBE 25512
tpdb-8.0/TRS/Applicative_05/BTreeMember.xml	YES 1821	YES 5582	YES 103	YES 116	YES 1124	YES 2313	YES 2812
tpdb-8.0/TRS/Applicative_05/Ex10Functional.xml	TIMEOUT 60559	TIMEOUT 61581	MAYBE 44993	MAYBE 1261	TIMEOUT 60039	MAYBE 20651	TIMEOUT 60050
tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml	YES 1074	YES 3215	YES 57	YES 51	YES 515	YES 503	YES 44
tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml	NO 5318	NO 4645	TIMEOUT 60057	MAYBE 305	NO 4164	NO 494	MAYBE 847
tpdb-8.0/TRS/Applicative_05/Ex2PrimRec.xml	TIMEOUT 60486	TIMEOUT 60697	MAYBE 1358	MAYBE 3571	MAYBE 19265	MAYBE 21793	MAYBE 7621
tpdb-8.0/TRS/Applicative_05/Ex3Lists.xml	YES 1794	YES 5671	MAYBE 1409	YES 86	YES 999	YES 2201	MAYBE 30017
tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml	YES 1443	YES 4162	YES 283	YES 97	YES 749	YES 1482	YES 3816
tpdb-8.0/TRS/Applicative_05/Ex5Folding.xml	TIMEOUT 60604	TIMEOUT 61136	MAYBE 712	MAYBE 892	MAYBE 47572	MAYBE 10804	MAYBE 9241
tpdb-8.0/TRS/Applicative_05/Ex5Sorting.xml	TIMEOUT 60571	TIMEOUT 61703	TIMEOUT 60060	MAYBE 1080	TIMEOUT 60043	MAYBE 27320	TIMEOUT 60037
tpdb-8.0/TRS/Applicative_05/Ex6_11.xml	YES 1354	YES 4174	YES 60	YES 99	YES 1296	YES 5136	YES 13688
tpdb-8.0/TRS/Applicative_05/Ex6Folding.xml	TIMEOUT 60547	TIMEOUT 61041	MAYBE 12287	MAYBE 383	MAYBE 27506	MAYBE 10073	MAYBE 8287
tpdb-8.0/TRS/Applicative_05/Ex6Recursor.xml	TIMEOUT 60506	TIMEOUT 61141	TIMEOUT 60085	MAYBE 340	MAYBE 19580	MAYBE 7420	MAYBE 21062
tpdb-8.0/TRS/Applicative_05/Ex7_9.xml	YES 2289	TIMEOUT 60719	TIMEOUT 60060	YES 147	YES 1625	MAYBE 7477	TIMEOUT 60036
tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml	TIMEOUT 60545	TIMEOUT 60952	TIMEOUT 60080	MAYBE 802	TIMEOUT 60077	MAYBE 23703	TIMEOUT 60055
tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml	TIMEOUT 60831	TIMEOUT 62552	TIMEOUT 60116	MAYBE 1193	TIMEOUT 60043	MAYBE 26735	TIMEOUT 60038
tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml	YES 1678	YES 4957	YES 71	YES 124	YES 935	YES 1604	MAYBE 3100
tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml	YES 13021	YES 38900	TIMEOUT 60087	YES 435	TIMEOUT 60040	MAYBE 26297	TIMEOUT 60037
tpdb-8.0/TRS/Applicative_05/Hamming.xml	NO 4114	NO 9751	TIMEOUT 60072	NO 308	NO 1734	NO 634	TIMEOUT 60040
tpdb-8.0/TRS/Applicative_05/mapDivMinusHard.xml	YES 1904	TIMEOUT 60838	MAYBE 11751	YES 245	YES 1653	MAYBE 59507	TIMEOUT 60071
tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml	YES 1795	TIMEOUT 60610	MAYBE 2980	YES 117	YES 1230	MAYBE 7436	MAYBE 57639
tpdb-8.0/TRS/Applicative_05/nonTermF.xml	NO 7486	NO 5496	TIMEOUT 60041	MAYBE 483	MAYBE 25831	NO 515	MAYBE 34197
tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml	YES 1105	YES 3465	YES 91	YES 63	YES 1022	YES 953	YES 556
tpdb-8.0/TRS/Applicative_05/TakeDropWhile.xml	YES 1742	YES 5884	YES 69	YES 109	YES 1027	YES 1979	TIMEOUT 60033
tpdb-8.0/TRS/Applicative_05/termMonTypes.xml	NO 2382	NO 4518	TIMEOUT 60049	NO 227	NO 799	NO 492	MAYBE 3219
tpdb-8.0/TRS/Applicative_05/TreeFlatten.xml	YES 1752	YES 5280	MAYBE 1054	YES 111	YES 1031	YES 2051	MAYBE 43801
tpdb-8.0/TRS/Applicative_05/TreeHeight.xml	YES 1848	YES 6226	YES 80	YES 119	YES 1147	YES 2152	MAYBE 45433
tpdb-8.0/TRS/Applicative_05/TreeLevels.xml	YES 2090	YES 6003	MAYBE 1979	YES 134	YES 1287	YES 2553	TIMEOUT 60067
tpdb-8.0/TRS/Applicative_05/TreeMap.xml	YES 1604	YES 4419	YES 65	YES 118	YES 913	YES 1331	MAYBE 53961
tpdb-8.0/TRS/Applicative_05/TreeSize.xml	YES 1697	YES 4976	MAYBE 829	YES 118	YES 1045	YES 2047	MAYBE 51244
tpdb-8.0/TRS/Applicative_05/TypeEx1.xml	YES 1246	YES 3533	YES 55	YES 139	YES 1401	YES 1285	YES 3122
tpdb-8.0/TRS/Applicative_05/TypeEx3.xml	NO 4350	NO 6684	NO 58	NO 1262	NO 504	NO 403	MAYBE 39854
tpdb-8.0/TRS/Applicative_05/TypeEx5.xml	NO 2140	NO 3884	NO 402	NO 194	NO 492	NO 390	MAYBE 113
tpdb-8.0/TRS/Applicative_first_order_05/01.xml	YES 2015	YES 5858	YES 75	YES 122	YES 1351	YES 2560	MAYBE 19184
tpdb-8.0/TRS/Applicative_first_order_05/02.xml	YES 1921	YES 5578	YES 72	YES 121	YES 1201	YES 2186	MAYBE 21087
tpdb-8.0/TRS/Applicative_first_order_05/06.xml	YES 1816	YES 5506	YES 72	YES 143	YES 1170	YES 2396	MAYBE 22524
tpdb-8.0/TRS/Applicative_first_order_05/08.xml	YES 2278	YES 8014	YES 132	YES 165	YES 1393	YES 2903	TIMEOUT 60068
tpdb-8.0/TRS/Applicative_first_order_05/11.xml	YES 3258	YES 9822	YES 385	YES 336	YES 1746	YES 6341	TIMEOUT 60047
tpdb-8.0/TRS/Applicative_first_order_05/12.xml	YES 2104	YES 7304	MAYBE 2681	YES 157	YES 1656	YES 2958	MAYBE 51926
tpdb-8.0/TRS/Applicative_first_order_05/13.xml	YES 13590	YES 9085	MAYBE 1447	MAYBE 1057	TIMEOUT 60243	MAYBE 11762	MAYBE 54571
tpdb-8.0/TRS/Applicative_first_order_05/17.xml	YES 2297	YES 7272	MAYBE 1446	YES 174	YES 1297	YES 3071	MAYBE 24016
tpdb-8.0/TRS/Applicative_first_order_05/18.xml	YES 1853	YES 5500	YES 88	YES 145	YES 1159	YES 2309	MAYBE 44671
tpdb-8.0/TRS/Applicative_first_order_05/21.xml	YES 2283	YES 8366	MAYBE 3129	YES 206	YES 1616	MAYBE 7474	TIMEOUT 60064
tpdb-8.0/TRS/Applicative_first_order_05/29.xml	YES 2018	YES 6681	MAYBE 12577	YES 148	YES 1160	MAYBE 28394	MAYBE 41870
tpdb-8.0/TRS/Applicative_first_order_05/30.xml	YES 2770	YES 8391	TIMEOUT 60062	YES 789	TIMEOUT 60041	MAYBE 59515	TIMEOUT 60037
tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml	YES 4219	TIMEOUT 60979	TIMEOUT 60073	YES 297	YES 3442	MAYBE 30488	TIMEOUT 60048
tpdb-8.0/TRS/Applicative_first_order_05/#3.13.xml	YES 3897	TIMEOUT 62072	MAYBE 58248	YES 279	YES 3360	MAYBE 10829	TIMEOUT 60057
tpdb-8.0/TRS/Applicative_first_order_05/#3.16.xml	YES 2065	YES 6658	MAYBE 1660	YES 173	YES 1239	YES 2696	MAYBE 22019
tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml	YES 2653	YES 7806	TIMEOUT 60045	YES 168	YES 1910	MAYBE 13129	TIMEOUT 60064
tpdb-8.0/TRS/Applicative_first_order_05/31.xml	YES 2392	YES 7233	MAYBE 3498	YES 284	YES 8078	MAYBE 13993	TIMEOUT 60049
tpdb-8.0/TRS/Applicative_first_order_05/#3.22.xml	YES 2269	YES 7538	TIMEOUT 60045	YES 171	YES 1737	MAYBE 7480	TIMEOUT 60039
tpdb-8.0/TRS/Applicative_first_order_05/#3.25.xml	YES 2293	YES 18726	MAYBE 4113	YES 144	YES 1422	MAYBE 7456	MAYBE 22891
tpdb-8.0/TRS/Applicative_first_order_05/#3.27.xml	YES 1736	YES 5616	YES 69	YES 141	YES 1093	YES 2226	MAYBE 22190
tpdb-8.0/TRS/Applicative_first_order_05/#3.2.xml	YES 2177	TIMEOUT 60630	MAYBE 4031	YES 164	YES 1613	MAYBE 7467	TIMEOUT 60054
tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml	YES 1804	YES 5691	YES 81	YES 110	YES 1072	YES 2309	MAYBE 21211
tpdb-8.0/TRS/Applicative_first_order_05/#3.36.xml	YES 2227	TIMEOUT 60662	TIMEOUT 60060	YES 174	YES 1999	MAYBE 7847	TIMEOUT 60060
tpdb-8.0/TRS/Applicative_first_order_05/#3.38.xml	YES 2556	YES 38129	MAYBE 6496	YES 173	YES 1739	MAYBE 10125	TIMEOUT 60070
tpdb-8.0/TRS/Applicative_first_order_05/33.xml	TIMEOUT 60460	TIMEOUT 60815	TIMEOUT 60059	MAYBE 1276	TIMEOUT 60041	MAYBE 59574	TIMEOUT 60042
tpdb-8.0/TRS/Applicative_first_order_05/#3.40.xml	YES 3210	YES 10412	TIMEOUT 60062	MAYBE 3518	YES 3465	MAYBE 59591	TIMEOUT 60045
tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml	YES 1909	YES 5615	YES 130	YES 164	YES 1294	YES 2907	MAYBE 26843
tpdb-8.0/TRS/Applicative_first_order_05/#3.48.xml	YES 2213	YES 8587	YES 92	YES 166	YES 1712	YES 3729	TIMEOUT 60037
tpdb-8.0/TRS/Applicative_first_order_05/#3.52.xml	YES 1981	YES 6987	YES 73	YES 146	YES 1155	YES 2553	MAYBE 31393
tpdb-8.0/TRS/Applicative_first_order_05/#3.55.xml	YES 3776	TIMEOUT 60033	TIMEOUT 60064	YES 293	YES 3133	MAYBE 10173	TIMEOUT 60044
tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml	YES 2832	YES 10259	MAYBE 1986	YES 216	YES 2857	MAYBE 11478	TIMEOUT 60045
tpdb-8.0/TRS/Applicative_first_order_05/#3.6.xml	YES 2973	TIMEOUT 60759	MAYBE 16644	YES 212	YES 2239	MAYBE 8783	TIMEOUT 60074
tpdb-8.0/TRS/Applicative_first_order_05/#3.8.xml	YES 2457	TIMEOUT 60116	MAYBE 5892	YES 175	YES 2109	MAYBE 33070	TIMEOUT 60064
tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml	YES 2194	YES 7943	MAYBE 7686	YES 152	YES 1596	YES 3215	TIMEOUT 60064
tpdb-8.0/TRS/Applicative_first_order_05/minsort.xml	TIMEOUT 60584	TIMEOUT 61042	TIMEOUT 60075	MAYBE 1055	TIMEOUT 60046	MAYBE 28558	TIMEOUT 60044
tpdb-8.0/TRS/Applicative_first_order_05/motivation.xml	YES 1983	YES 6434	YES 101	YES 158	YES 1222	YES 2552	MAYBE 24059
tpdb-8.0/TRS/Applicative_first_order_05/perfect2.xml	YES 3380	TIMEOUT 61152	TIMEOUT 60066	YES 205	YES 1977	MAYBE 59608	TIMEOUT 60047
tpdb-8.0/TRS/Applicative_first_order_05/perfect.xml	YES 2674	YES 9617	TIMEOUT 60060	YES 187	YES 1674	YES 5540	TIMEOUT 60045
tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml	YES 33047	TIMEOUT 61773	TIMEOUT 60113	MAYBE 27187	TIMEOUT 60045	MAYBE 59714	TIMEOUT 60066
tpdb-8.0/TRS/AProVE_04/AAECC.xml	YES 24700	YES 47464	TIMEOUT 60037	MAYBE 2598	TIMEOUT 60080	MAYBE 46563	MAYBE 12325
tpdb-8.0/TRS/AProVE_04/fac.xml	YES 2036	YES 4730	YES 294	YES 110	YES 1259	YES 2015	MAYBE 453
tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml	YES 1620	YES 3770	YES 479	MAYBE 290	YES 849	MAYBE 7415	MAYBE 207
tpdb-8.0/TRS/AProVE_04/forward_instantiation.xml	YES 1614	YES 3710	YES 265	MAYBE 290	YES 788	MAYBE 7413	MAYBE 189
tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml	YES 1804	YES 4387	YES 88	YES 112	YES 1149	YES 2076	YES 277
tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml	YES 1985	YES 5647	YES 96	YES 160	YES 1527	YES 3809	YES 691
tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml	YES 1491	YES 3843	YES 77	YES 96	YES 946	YES 1177	YES 155
tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml	YES 2075	YES 6064	YES 225	YES 221	YES 2485	YES 4800	MAYBE 1751
tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml	YES 2028	YES 6020	YES 222	YES 218	YES 2500	YES 4446	MAYBE 1689
tpdb-8.0/TRS/AProVE_04/improved_usable2.xml	YES 1381	YES 3327	YES 74	YES 90	YES 709	YES 994	YES 60
tpdb-8.0/TRS/AProVE_04/improved_usable.xml	YES 1396	YES 3423	YES 192	YES 289	YES 743	YES 1074	YES 66
tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml	TIMEOUT 60465	TIMEOUT 61404	TIMEOUT 60042	MAYBE 2465	MAYBE 17514	MAYBE 59551	MAYBE 1297
tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml	YES 2682	YES 5972	YES 220	YES 162	YES 4003	YES 8366	YES 833
tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml	YES 1814	YES 4499	TIMEOUT 60052	YES 234	YES 1418	YES 1198	MAYBE 459
tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml	YES 1519	YES 4194	YES 5340	YES 157	YES 1072	YES 1349	MAYBE 337
tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml	YES 2151	YES 13523	TIMEOUT 60030	YES 342	YES 2163	YES 2195	MAYBE 865
tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml	YES 27813	YES 35836	TIMEOUT 60032	MAYBE 677	MAYBE 15595	MAYBE 59503	MAYBE 1431
tpdb-8.0/TRS/AProVE_04/Liveness8.xml	YES 1944	YES 4685	YES 172	YES 182	YES 1666	YES 1830	YES 803
tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	YES 2105	YES 26273	TIMEOUT 60053	YES 27698	YES 1524	YES 3207	MAYBE 13254
tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml	YES 1484	YES 4195	YES 59	YES 177	YES 1140	YES 1925	YES 279
tpdb-8.0/TRS/AProVE_04/rta1.xml	YES 1462	YES 4443	YES 80	YES 124	YES 1276	YES 2123	YES 277
tpdb-8.0/TRS/AProVE_04/rta2.xml	YES 1109	YES 3309	YES 87	YES 51	YES 577	YES 628	YES 34
tpdb-8.0/TRS/AProVE_04/rta3.xml	YES 1388	YES 3839	MAYBE 26913	YES 98	YES 1076	YES 1102	MAYBE 604
tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml	YES 12640	YES 40324	TIMEOUT 60048	MAYBE 760	MAYBE 27754	MAYBE 59497	MAYBE 1641
tpdb-8.0/TRS/AProVE_06/div_notTermin.xml	TIMEOUT 60447	TIMEOUT 61044	TIMEOUT 60031	MAYBE 786	MAYBE 29662	MAYBE 59502	MAYBE 3175
tpdb-8.0/TRS/AProVE_06/factorial1.xml	YES 1822	YES 4790	TIMEOUT 60082	YES 132	YES 2267	YES 2950	MAYBE 1102
tpdb-8.0/TRS/AProVE_06/factorial2.xml	YES 2672	YES 27246	MAYBE 2136	MAYBE 272	MAYBE 17797	MAYBE 16022	MAYBE 2304
tpdb-8.0/TRS/AProVE_06/identity.xml	YES 2078	YES 4731	YES 513	YES 158	MAYBE 13111	MAYBE 59466	MAYBE 1829
tpdb-8.0/TRS/AProVE_06/logarithm.xml	YES 13200	YES 42745	TIMEOUT 60050	MAYBE 831	MAYBE 24176	MAYBE 59489	MAYBE 32663
tpdb-8.0/TRS/AProVE_06/mapHard.xml	YES 3474	YES 28771	MAYBE 20777	YES 244	YES 1963	MAYBE 59516	TIMEOUT 60064
tpdb-8.0/TRS/AProVE_06/modulo.xml	YES 2390	YES 33568	MAYBE 2377	MAYBE 251	MAYBE 16424	MAYBE 7441	MAYBE 1012
tpdb-8.0/TRS/AProVE_06/nonterm.xml	NO 2454	TIMEOUT 61838	TIMEOUT 60080	MAYBE 507	NO 1225	NO 529	MAYBE 8556
tpdb-8.0/TRS/AProVE_06/quicksort.xml	YES 2706	YES 7328	YES 834	YES 313	YES 3008	YES 5554	MAYBE 2436
tpdb-8.0/TRS/AProVE_06/quot.xml	YES 7140	YES 24051	MAYBE 1632	MAYBE 242	MAYBE 15226	MAYBE 7432	MAYBE 1812
tpdb-8.0/TRS/AProVE_06/sizeChange.xml	YES 1540	YES 4386	YES 2024	MAYBE 1269	YES 1097	YES 1272	MAYBE 2701
tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml	YES 14409	YES 31991	TIMEOUT 60031	YES 217	YES 8587	MAYBE 27973	MAYBE 1084
tpdb-8.0/TRS/AProVE_06/tower.xml	YES 1896	YES 5521	TIMEOUT 60074	YES 135	YES 2373	YES 3049	MAYBE 1036
tpdb-8.0/TRS/AProVE_07/kabasci01.xml	YES 8302	YES 16341	TIMEOUT 60038	YES 5480	MAYBE 59877	YES 20138	MAYBE 4793
tpdb-8.0/TRS/AProVE_07/kabasci02.xml	YES 2455	YES 7286	TIMEOUT 60057	YES 233	YES 5014	YES 6854	TIMEOUT 60055
tpdb-8.0/TRS/AProVE_07/kabasci03.xml	YES 2672	YES 6750	TIMEOUT 60094	YES 1238	YES 3817	YES 5234	MAYBE 13797
tpdb-8.0/TRS/AProVE_07/kabasci04.xml	YES 1762	YES 4717	YES 600	YES 133	YES 1590	YES 6444	MAYBE 5162
tpdb-8.0/TRS/AProVE_07/kabasci05.xml	YES 2002	YES 5472	MAYBE 3067	YES 172	YES 3028	YES 5781	MAYBE 1684
tpdb-8.0/TRS/AProVE_07/kabasci06.xml	YES 1921	YES 6202	MAYBE 7602	YES 255	YES 2232	MAYBE 59524	TIMEOUT 60062
tpdb-8.0/TRS/AProVE_07/otto01.xml	YES 3178	YES 23431	TIMEOUT 60096	YES 215	YES 1377	MAYBE 31976	TIMEOUT 60032
tpdb-8.0/TRS/AProVE_07/otto02.xml	YES 2648	YES 8989	TIMEOUT 60036	MAYBE 328	MAYBE 40066	MAYBE 20465	MAYBE 2713
tpdb-8.0/TRS/AProVE_07/otto03.xml	YES 2221	YES 7473	MAYBE 38275	MAYBE 204	MAYBE 16620	MAYBE 17660	YES 243
tpdb-8.0/TRS/AProVE_07/otto04.xml	YES 3337	TIMEOUT 61391	TIMEOUT 60103	MAYBE 458	MAYBE 27477	MAYBE 20044	MAYBE 4889
tpdb-8.0/TRS/AProVE_07/otto05.xml	YES 2002	YES 5180	YES 146	YES 152	YES 1241	YES 1889	MAYBE 938
tpdb-8.0/TRS/AProVE_07/otto06.xml	YES 4823	TIMEOUT 61636	TIMEOUT 60041	MAYBE 527	MAYBE 46362	MAYBE 23320	MAYBE 2462
tpdb-8.0/TRS/AProVE_07/otto07.xml	YES 2154	YES 6887	MAYBE 37730	MAYBE 207	MAYBE 13971	MAYBE 17615	MAYBE 456
tpdb-8.0/TRS/AProVE_07/otto08.xml	YES 4978	TIMEOUT 61089	TIMEOUT 60032	MAYBE 385	MAYBE 30665	MAYBE 7444	MAYBE 1458
tpdb-8.0/TRS/AProVE_07/otto09.xml	YES 4934	TIMEOUT 61585	TIMEOUT 60031	MAYBE 396	MAYBE 25271	MAYBE 7433	MAYBE 1418
tpdb-8.0/TRS/AProVE_07/otto10.xml	YES 3173	YES 24653	TIMEOUT 60055	MAYBE 832	MAYBE 32555	MAYBE 25604	MAYBE 7609
tpdb-8.0/TRS/AProVE_07/otto11.xml	YES 2427	YES 8817	MAYBE 2634	MAYBE 239	MAYBE 18288	MAYBE 18299	YES 346
tpdb-8.0/TRS/AProVE_07/otto12.xml	YES 2965	YES 12823	MAYBE 36424	MAYBE 429	MAYBE 20115	MAYBE 23604	MAYBE 1346
tpdb-8.0/TRS/AProVE_07/otto13.xml	YES 8866	TIMEOUT 61415	TIMEOUT 60077	MAYBE 386	MAYBE 32518	MAYBE 32557	MAYBE 3432
tpdb-8.0/TRS/AProVE_07/thiemann01.xml	YES 1959	YES 38969	TIMEOUT 60033	MAYBE 317	MAYBE 21245	MAYBE 8512	MAYBE 9409
tpdb-8.0/TRS/AProVE_07/thiemann02.xml	YES 8014	YES 22528	TIMEOUT 60039	MAYBE 1377	TIMEOUT 60043	MAYBE 49094	MAYBE 13085
tpdb-8.0/TRS/AProVE_07/thiemann03.xml	YES 3589	YES 15906	YES 1355	MAYBE 402	MAYBE 22084	MAYBE 59463	MAYBE 1739
tpdb-8.0/TRS/AProVE_07/thiemann04.xml	YES 14697	YES 43898	TIMEOUT 60064	MAYBE 1632	TIMEOUT 60078	MAYBE 51785	MAYBE 15713
tpdb-8.0/TRS/AProVE_07/thiemann05.xml	YES 2904	YES 13385	TIMEOUT 60035	MAYBE 334	MAYBE 20140	MAYBE 16825	MAYBE 1476
tpdb-8.0/TRS/AProVE_07/thiemann06.xml	YES 7968	YES 33410	TIMEOUT 60067	MAYBE 598	MAYBE 30446	MAYBE 59479	MAYBE 23983
tpdb-8.0/TRS/AProVE_07/thiemann07.xml	YES 14339	YES 50277	TIMEOUT 60041	YES 418	MAYBE 31087	MAYBE 59498	MAYBE 3624
tpdb-8.0/TRS/AProVE_07/thiemann08.xml	YES 1932	YES 5065	YES 153	YES 248	YES 1622	YES 2482	MAYBE 784
tpdb-8.0/TRS/AProVE_07/thiemann09.xml	YES 1890	YES 5644	TIMEOUT 60047	MAYBE 485	MAYBE 27475	MAYBE 24020	MAYBE 2415
tpdb-8.0/TRS/AProVE_07/thiemann10.xml	YES 1987	YES 4887	YES 145	YES 162	YES 1307	YES 2471	MAYBE 816
tpdb-8.0/TRS/AProVE_07/thiemann11.xml	YES 14396	YES 46752	TIMEOUT 60030	MAYBE 1532	MAYBE 23558	MAYBE 59489	MAYBE 3026
tpdb-8.0/TRS/AProVE_07/thiemann12.xml	YES 2051	YES 5226	YES 154	YES 171	YES 1321	YES 3043	MAYBE 1358
tpdb-8.0/TRS/AProVE_07/thiemann13.xml	YES 7872	YES 34381	TIMEOUT 60037	MAYBE 1112	MAYBE 24640	MAYBE 59493	TIMEOUT 60052
tpdb-8.0/TRS/AProVE_07/thiemann14.xml	YES 10768	YES 16388	TIMEOUT 60033	YES 365	YES 2423	YES 3800	MAYBE 1836
tpdb-8.0/TRS/AProVE_07/thiemann15.xml	YES 2092	YES 4992	YES 136	YES 153	YES 1260	YES 2701	MAYBE 728
tpdb-8.0/TRS/AProVE_07/thiemann16.xml	YES 2643	YES 6752	YES 5098	YES 220	YES 2250	YES 3577	MAYBE 3071
tpdb-8.0/TRS/AProVE_07/thiemann17.xml	YES 2308	YES 6130	YES 4281	YES 222	YES 2193	YES 2937	MAYBE 2484
tpdb-8.0/TRS/AProVE_07/thiemann18.xml	YES 3147	YES 9204	TIMEOUT 60055	YES 432	YES 3060	YES 7104	MAYBE 3836
tpdb-8.0/TRS/AProVE_07/thiemann19.xml	YES 6929	TIMEOUT 60746	TIMEOUT 60043	MAYBE 253	MAYBE 14257	MAYBE 29522	MAYBE 1504
tpdb-8.0/TRS/AProVE_07/thiemann20.xml	TIMEOUT 60536	TIMEOUT 60848	TIMEOUT 60082	MAYBE 237	MAYBE 16548	MAYBE 59462	MAYBE 812
tpdb-8.0/TRS/AProVE_07/thiemann21.xml	TIMEOUT 60431	TIMEOUT 61236	TIMEOUT 60111	MAYBE 1155	MAYBE 47516	MAYBE 59532	MAYBE 5635
tpdb-8.0/TRS/AProVE_07/thiemann22.xml	YES 5937	YES 30898	TIMEOUT 60042	MAYBE 545	MAYBE 19490	MAYBE 59483	MAYBE 1409
tpdb-8.0/TRS/AProVE_07/thiemann23.xml	YES 3484	YES 36372	TIMEOUT 60047	MAYBE 345	MAYBE 14689	MAYBE 18900	MAYBE 6010
tpdb-8.0/TRS/AProVE_07/thiemann24.xml	YES 2703	YES 10710	MAYBE 33542	MAYBE 349	MAYBE 18311	MAYBE 21546	MAYBE 1064
tpdb-8.0/TRS/AProVE_07/thiemann25.xml	YES 2752	YES 9665	TIMEOUT 60038	MAYBE 326	MAYBE 18152	MAYBE 19396	MAYBE 1024
tpdb-8.0/TRS/AProVE_07/thiemann26.xml	TIMEOUT 60578	TIMEOUT 61155	MAYBE 2363	MAYBE 339	MAYBE 21027	MAYBE 46376	MAYBE 15646
tpdb-8.0/TRS/AProVE_07/thiemann27.xml	YES 2182	YES 6242	MAYBE 33858	MAYBE 196	MAYBE 15675	MAYBE 17627	YES 213
tpdb-8.0/TRS/AProVE_07/thiemann28.xml	NO 26061	TIMEOUT 62384	MAYBE 1330	MAYBE 265	MAYBE 19295	MAYBE 27247	MAYBE 5996
tpdb-8.0/TRS/AProVE_07/thiemann29.xml	YES 27823	TIMEOUT 60033	TIMEOUT 60052	MAYBE 1159	MAYBE 34589	MAYBE 59472	MAYBE 3660
tpdb-8.0/TRS/AProVE_07/thiemann30.xml	TIMEOUT 60337	TIMEOUT 61938	MAYBE 55009	MAYBE 1006	TIMEOUT 60041	MAYBE 8168	MAYBE 2448
tpdb-8.0/TRS/AProVE_07/thiemann31.xml	YES 7351	TIMEOUT 61413	TIMEOUT 60035	MAYBE 927	MAYBE 27870	MAYBE 24589	MAYBE 2971
tpdb-8.0/TRS/AProVE_07/thiemann32.xml	YES 11632	TIMEOUT 60032	TIMEOUT 60051	MAYBE 488	MAYBE 22905	MAYBE 59488	MAYBE 2937
tpdb-8.0/TRS/AProVE_07/thiemann33.xml	YES 15550	TIMEOUT 61343	TIMEOUT 60051	MAYBE 280	MAYBE 17595	MAYBE 19611	MAYBE 3735
tpdb-8.0/TRS/AProVE_07/thiemann34.xml	YES 5979	TIMEOUT 61865	TIMEOUT 60031	MAYBE 417	MAYBE 19478	MAYBE 33042	MAYBE 924
tpdb-8.0/TRS/AProVE_07/thiemann35.xml	YES 2497	TIMEOUT 61027	TIMEOUT 60048	YES 160	YES 3604	MAYBE 30832	TIMEOUT 60043
tpdb-8.0/TRS/AProVE_07/thiemann36.xml	YES 11636	TIMEOUT 60035	TIMEOUT 60042	MAYBE 1616	MAYBE 29817	MAYBE 24813	MAYBE 3629
tpdb-8.0/TRS/AProVE_07/thiemann37.xml	YES 8103	TIMEOUT 61044	TIMEOUT 60035	MAYBE 770	MAYBE 59890	MAYBE 24819	TIMEOUT 60035
tpdb-8.0/TRS/AProVE_07/thiemann38.xml	YES 3117	YES 23989	TIMEOUT 60068	MAYBE 436	MAYBE 20231	MAYBE 25423	MAYBE 1634
tpdb-8.0/TRS/AProVE_07/thiemann39.xml	YES 2428	TIMEOUT 60835	MAYBE 47431	YES 153	YES 3263	MAYBE 37353	TIMEOUT 60074
tpdb-8.0/TRS/AProVE_07/thiemann40.xml	YES 1758	YES 4307	YES 117	YES 97	YES 1032	YES 1136	MAYBE 645
tpdb-8.0/TRS/AProVE_07/thiemann41.xml	YES 2408	YES 8343	MAYBE 56007	MAYBE 272	MAYBE 20265	MAYBE 18752	MAYBE 1000
tpdb-8.0/TRS/AProVE_07/wiehe01.xml	YES 2224	YES 9824	TIMEOUT 60045	YES 148	YES 2978	YES 4491	TIMEOUT 60035
tpdb-8.0/TRS/AProVE_07/wiehe02.xml	YES 2681	YES 11144	TIMEOUT 60045	YES 291	YES 5364	YES 8051	TIMEOUT 60037
tpdb-8.0/TRS/AProVE_07/wiehe03.xml	YES 2641	YES 12512	TIMEOUT 60059	YES 318	YES 5301	YES 8010	YES 2723
tpdb-8.0/TRS/AProVE_07/wiehe05.xml	YES 2270	YES 9643	TIMEOUT 60042	YES 198	YES 3061	YES 6925	TIMEOUT 60036
tpdb-8.0/TRS/AProVE_07/wiehe06.xml	YES 2430	YES 10024	TIMEOUT 60044	YES 191	YES 3860	YES 5031	TIMEOUT 60036
tpdb-8.0/TRS/AProVE_07/wiehe07.xml	YES 23572	TIMEOUT 61460	TIMEOUT 60041	MAYBE 1071	MAYBE 55122	MAYBE 16414	TIMEOUT 60033
tpdb-8.0/TRS/AProVE_07/wiehe08.xml	YES 2258	YES 10172	TIMEOUT 60048	YES 225	YES 3439	YES 7038	TIMEOUT 60037
tpdb-8.0/TRS/AProVE_07/wiehe09.xml	YES 2261	YES 10429	TIMEOUT 60048	YES 230	YES 3951	YES 7375	TIMEOUT 60037
tpdb-8.0/TRS/AProVE_07/wiehe11.xml	YES 2746	YES 10805	TIMEOUT 60043	YES 384	YES 6245	YES 8510	TIMEOUT 60036
tpdb-8.0/TRS/AProVE_07/wiehe12.xml	YES 2760	YES 13718	TIMEOUT 60050	YES 301	YES 4983	YES 8561	TIMEOUT 60038
tpdb-8.0/TRS/AProVE_08/id_inc.xml	YES 2201	YES 5171	YES 258	MAYBE 330	YES 2220	YES 6281	MAYBE 710
tpdb-8.0/TRS/AProVE_08/log.xml	YES 2750	TIMEOUT 60576	MAYBE 1092	MAYBE 751	MAYBE 24137	MAYBE 59493	MAYBE 4840
tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml	YES 6622	TIMEOUT 61922	TIMEOUT 60059	MAYBE 348	MAYBE 29530	MAYBE 59500	MAYBE 1946
tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml	YES 8073	TIMEOUT 61547	TIMEOUT 60060	MAYBE 327	MAYBE 26516	MAYBE 59495	MAYBE 1720
tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml	YES 4730	TIMEOUT 60033	TIMEOUT 60053	MAYBE 435	MAYBE 31800	MAYBE 50547	MAYBE 1806
tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml	YES 7679	TIMEOUT 61422	TIMEOUT 60094	MAYBE 596	MAYBE 42543	MAYBE 59506	MAYBE 3689
tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml	YES 7138	TIMEOUT 62199	TIMEOUT 60059	MAYBE 477	MAYBE 37263	MAYBE 55459	MAYBE 2576
tpdb-8.0/TRS/AProVE_08/round_nonterm.xml	NO 1729	NO 3909	MAYBE 362	MAYBE 136	NO 1073	NO 496	MAYBE 233
tpdb-8.0/TRS/AProVE_08/round.xml	YES 2187	TIMEOUT 60755	MAYBE 383	MAYBE 118	MAYBE 11337	MAYBE 8981	MAYBE 222
tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml	YES 12902	YES 14827	YES 1680	YES 141	YES 1285	YES 1888	MAYBE 779
tpdb-8.0/TRS/AProVE_09_Inductive/divhard.xml	TIMEOUT 60395	TIMEOUT 60596	MAYBE 48581	MAYBE 550	MAYBE 21734	MAYBE 21505	MAYBE 1256
tpdb-8.0/TRS/AProVE_09_Inductive/div.xml	YES 11637	TIMEOUT 61278	TIMEOUT 60032	MAYBE 524	MAYBE 23999	MAYBE 21433	MAYBE 1292
tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml	YES 28698	TIMEOUT 61288	TIMEOUT 60033	MAYBE 862	MAYBE 26615	MAYBE 30711	MAYBE 1896
tpdb-8.0/TRS/AProVE_09_Inductive/gcdhard.xml	TIMEOUT 60434	TIMEOUT 60692	TIMEOUT 60062	MAYBE 354	MAYBE 27505	MAYBE 20251	MAYBE 3602
tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml	YES 12959	TIMEOUT 61050	TIMEOUT 60030	MAYBE 419	MAYBE 22230	MAYBE 12374	MAYBE 1313
tpdb-8.0/TRS/AProVE_09_Inductive/log.xml	TIMEOUT 60528	TIMEOUT 60623	TIMEOUT 60055	MAYBE 268	MAYBE 14547	MAYBE 59450	MAYBE 1104
tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml	YES 5654	TIMEOUT 61242	TIMEOUT 60059	MAYBE 491	MAYBE 31855	MAYBE 28131	MAYBE 1923
tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml	YES 7697	TIMEOUT 61833	TIMEOUT 60059	MAYBE 469	MAYBE 37870	MAYBE 59489	MAYBE 2597
tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml	YES 7279	TIMEOUT 61223	TIMEOUT 60054	MAYBE 548	MAYBE 38224	MAYBE 37500	MAYBE 2699
tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml	YES 11784	TIMEOUT 60922	TIMEOUT 60033	MAYBE 389	MAYBE 22719	MAYBE 20135	MAYBE 1242
tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml	YES 15138	TIMEOUT 61778	TIMEOUT 60056	MAYBE 775	MAYBE 54201	MAYBE 59512	TIMEOUT 60035
tpdb-8.0/TRS/AProVE_09_Inductive/qsortmiddle.xml	YES 46796	TIMEOUT 61543	TIMEOUT 60049	MAYBE 1290	TIMEOUT 60043	MAYBE 59534	TIMEOUT 60056
tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml	YES 15219	TIMEOUT 61405	TIMEOUT 60058	MAYBE 680	MAYBE 46461	MAYBE 41739	MAYBE 2865
tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml	YES 2721	TIMEOUT 60643	TIMEOUT 60031	MAYBE 225	MAYBE 20830	MAYBE 7440	MAYBE 882
tpdb-8.0/TRS/AProVE_10/andIsNat.xml	NO 23095	TIMEOUT 60640	TIMEOUT 60038	MAYBE 267	MAYBE 13912	MAYBE 59438	MAYBE 1202
tpdb-8.0/TRS/AProVE_10/challenge_fab.xml	TIMEOUT 60445	TIMEOUT 60718	TIMEOUT 60050	MAYBE 575	MAYBE 15056	MAYBE 59492	MAYBE 848
tpdb-8.0/TRS/AProVE_10/double.xml	NO 11674	TIMEOUT 60697	TIMEOUT 60105	MAYBE 174	MAYBE 11764	MAYBE 14486	MAYBE 268
tpdb-8.0/TRS/AProVE_10/downfrom.xml	TIMEOUT 60359	TIMEOUT 60528	TIMEOUT 60031	MAYBE 191	MAYBE 12812	MAYBE 59445	MAYBE 494
tpdb-8.0/TRS/AProVE_10/ex1.xml	NO 11638	NO 35190	MAYBE 24191	MAYBE 211	MAYBE 12960	MAYBE 17625	MAYBE 421
tpdb-8.0/TRS/AProVE_10/ex2.xml	NO 11690	TIMEOUT 60614	TIMEOUT 60068	MAYBE 177	MAYBE 12984	MAYBE 59445	MAYBE 487
tpdb-8.0/TRS/AProVE_10/ex3.xml	NO 11838	TIMEOUT 60861	TIMEOUT 60091	MAYBE 658	MAYBE 13577	MAYBE 20901	YES 161
tpdb-8.0/TRS/AProVE_10/ex4.xml	NO 17569	TIMEOUT 61016	TIMEOUT 60047	MAYBE 229	MAYBE 15781	MAYBE 20459	MAYBE 794
tpdb-8.0/TRS/AProVE_10/ex5.xml	YES 988	YES 3132	YES 55	YES 52	YES 630	YES 501	YES 37
tpdb-8.0/TRS/AProVE_10/halfdouble.xml	NO 13553	TIMEOUT 60589	TIMEOUT 60088	MAYBE 357	MAYBE 14157	MAYBE 59483	MAYBE 1114
tpdb-8.0/TRS/AProVE_10/isList.xml	NO 2382	NO 3825	MAYBE 292	NO 103	NO 650	NO 492	MAYBE 165
tpdb-8.0/TRS/AProVE_10/isNat.xml	NO 11411	NO 23365	MAYBE 4742	MAYBE 156	MAYBE 11388	MAYBE 7865	MAYBE 211
tpdb-8.0/TRS/AProVE_10/scnp.xml	YES 1140	YES 3330	YES 105	YES 53	YES 644	YES 831	YES 53
tpdb-8.0/TRS/AProVE_10/Zantema06-03-modified.xml	TIMEOUT 60719	TIMEOUT 60677	TIMEOUT 60093	MAYBE 625	MAYBE 13554	MAYBE 59505	MAYBE 1778
tpdb-8.0/TRS/Beerendonk_07/10.xml	YES 2448	YES 5654	YES 190	YES 160	YES 1476	YES 2515	MAYBE 2043
tpdb-8.0/TRS/Beerendonk_07/11.xml	YES 3634	TIMEOUT 60762	MAYBE 44652	MAYBE 303	MAYBE 18229	MAYBE 13248	MAYBE 1242
tpdb-8.0/TRS/Beerendonk_07/12.xml	YES 3156	TIMEOUT 60030	MAYBE 35375	MAYBE 514	MAYBE 14928	MAYBE 12462	MAYBE 659
tpdb-8.0/TRS/Beerendonk_07/13.xml	YES 3153	YES 26267	MAYBE 35145	MAYBE 269	MAYBE 16309	MAYBE 8746	MAYBE 758
tpdb-8.0/TRS/Beerendonk_07/14.xml	YES 4893	TIMEOUT 60828	MAYBE 23370	MAYBE 498	MAYBE 17624	MAYBE 7429	MAYBE 998
tpdb-8.0/TRS/Beerendonk_07/15.xml	YES 5946	YES 18428	TIMEOUT 60033	MAYBE 913	MAYBE 28837	MAYBE 59510	MAYBE 4210
tpdb-8.0/TRS/Beerendonk_07/16.xml	YES 14545	YES 48481	TIMEOUT 60041	MAYBE 696	MAYBE 34212	MAYBE 59510	MAYBE 2463
tpdb-8.0/TRS/Beerendonk_07/17.xml	YES 16599	YES 40260	TIMEOUT 60036	MAYBE 651	MAYBE 29804	MAYBE 59488	MAYBE 5547
tpdb-8.0/TRS/Beerendonk_07/18.xml	YES 2205	YES 21032	TIMEOUT 60033	MAYBE 746	MAYBE 29107	MAYBE 59500	MAYBE 28322
tpdb-8.0/TRS/Beerendonk_07/19.xml	YES 9648	YES 49317	TIMEOUT 60034	MAYBE 1051	MAYBE 38789	MAYBE 59495	MAYBE 8827
tpdb-8.0/TRS/Beerendonk_07/1.xml	YES 1652	YES 4194	YES 101	YES 117	YES 1014	YES 1168	MAYBE 354
tpdb-8.0/TRS/Beerendonk_07/20.xml	YES 1919	YES 16925	TIMEOUT 60033	MAYBE 512	MAYBE 25795	MAYBE 18308	MAYBE 9541
tpdb-8.0/TRS/Beerendonk_07/21.xml	TIMEOUT 60360	TIMEOUT 61215	TIMEOUT 60039	MAYBE 623	MAYBE 25397	MAYBE 25948	MAYBE 3924
tpdb-8.0/TRS/Beerendonk_07/22.xml	YES 2047	YES 4885	YES 216	YES 170	YES 1450	YES 1668	MAYBE 1049
tpdb-8.0/TRS/Beerendonk_07/23.xml	YES 2355	YES 5046	YES 201	YES 201	YES 1556	YES 1846	MAYBE 871
tpdb-8.0/TRS/Beerendonk_07/24.xml	YES 9835	YES 53352	YES 57554	MAYBE 1681	MAYBE 27124	MAYBE 59494	MAYBE 11942
tpdb-8.0/TRS/Beerendonk_07/2.xml	YES 1689	YES 4295	YES 102	YES 124	YES 1067	YES 1253	MAYBE 577
tpdb-8.0/TRS/Beerendonk_07/3.xml	YES 2155	YES 11406	TIMEOUT 60070	MAYBE 246	MAYBE 14196	MAYBE 7420	MAYBE 461
tpdb-8.0/TRS/Beerendonk_07/4.xml	YES 1951	YES 7895	MAYBE 3137	MAYBE 195	MAYBE 12563	MAYBE 7419	MAYBE 306
tpdb-8.0/TRS/Beerendonk_07/5.xml	YES 2172	YES 4879	YES 157	YES 138	YES 1293	YES 1909	MAYBE 3069
tpdb-8.0/TRS/Beerendonk_07/6.xml	YES 1630	YES 4037	YES 97	YES 111	YES 1031	YES 1184	MAYBE 307
tpdb-8.0/TRS/Beerendonk_07/7.xml	YES 1691	YES 4373	YES 100	YES 115	YES 1164	YES 1484	MAYBE 531
tpdb-8.0/TRS/Beerendonk_07/8.xml	YES 1754	YES 4671	YES 134	YES 123	YES 1232	YES 1591	MAYBE 12667
tpdb-8.0/TRS/Beerendonk_07/9.xml	YES 2057	YES 4765	YES 115	YES 156	YES 1284	YES 1749	MAYBE 4020
tpdb-8.0/TRS/CiME_04/ack_prolog.xml	YES 1338	YES 3684	YES 61	YES 91	YES 818	YES 1456	YES 228
tpdb-8.0/TRS/CiME_04/append-hard.xml	YES 1694	YES 4136	YES 115	YES 94	YES 1098	YES 1368	MAYBE 408
tpdb-8.0/TRS/CiME_04/append-wrong.xml	NO 2438	NO 14605	MAYBE 3403	MAYBE 148	NO 1035	NO 531	MAYBE 481
tpdb-8.0/TRS/CiME_04/append.xml	YES 1304	YES 3671	YES 58	YES 91	YES 742	YES 1161	YES 147
tpdb-8.0/TRS/CiME_04/big.xml	YES 2553	YES 10899	YES 696	YES 267	YES 5388	YES 10916	YES 4111
tpdb-8.0/TRS/CiME_04/boolean_rings.xml	YES 1334	YES 3603	YES 61	YES 90	YES 789	YES 1189	YES 229
tpdb-8.0/TRS/CiME_04/dpqs.xml	YES 1043	YES 3465	YES 57	YES 80	YES 1062	YES 1567	YES 146
tpdb-8.0/TRS/CiME_04/fact-hard.xml	YES 3349	YES 27406	YES 5890	MAYBE 234	MAYBE 14317	MAYBE 59453	MAYBE 1187
tpdb-8.0/TRS/CiME_04/filliatre2.xml	YES 1411	YES 4371	YES 163	YES 134	YES 1619	YES 2466	YES 473
tpdb-8.0/TRS/CiME_04/filliatre3.xml	YES 2580	YES 6412	YES 160	YES 133	YES 2086	YES 4309	YES 898
tpdb-8.0/TRS/CiME_04/filliatre.xml	YES 1579	YES 4841	YES 150	YES 115	YES 1605	YES 2360	YES 777
tpdb-8.0/TRS/CiME_04/intersect.xml	YES 1668	YES 5042	YES 151	YES 137	YES 1557	YES 2937	YES 721
tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml	YES 1436	YES 4087	YES 72	YES 141	YES 1307	YES 4276	YES 605
tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml	YES 1414	YES 3794	YES 66	YES 120	YES 1082	YES 2809	YES 351
tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml	YES 1776	YES 5898	YES 355	YES 156	YES 2768	YES 4978	YES 812
tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml	YES 1649	YES 5265	YES 342	YES 139	YES 2347	YES 3458	YES 559
tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml	YES 1603	YES 5432	YES 177	YES 125	YES 1516	YES 3380	YES 618
tpdb-8.0/TRS/CiME_04/list-sum-prod.xml	YES 1338	YES 3677	YES 64	YES 105	YES 1042	YES 6043	YES 262
tpdb-8.0/TRS/CiME_04/log2.xml	YES 2151	YES 8656	YES 465	YES 258	YES 4074	YES 8063	YES 1830
tpdb-8.0/TRS/CiME_04/lse.xml	YES 1849	YES 6010	YES 38412	YES 151	YES 2734	YES 5107	YES 3128
tpdb-8.0/TRS/CiME_04/maude2.xml	TIMEOUT 61062	TIMEOUT 61335	MAYBE 1380	MAYBE 355	MAYBE 35735	MAYBE 22395	MAYBE 2844
tpdb-8.0/TRS/CiME_04/mucrl1.xml	YES 11409	YES 26424	YES 614	YES 611	YES 3114	YES 8920	YES 60065
tpdb-8.0/TRS/CiME_04/ternary-hard.xml	YES 1986	YES 7073	YES 1128	YES 205	YES 2974	YES 5008	YES 1049
tpdb-8.0/TRS/CiME_04/ternary.xml	YES 1947	YES 6659	YES 1061	YES 180	YES 2951	YES 4477	YES 936
tpdb-8.0/TRS/CiME_04/tree.xml	YES 2342	YES 8800	YES 349	YES 237	YES 4082	YES 8035	YES 2462
tpdb-8.0/TRS/Der95/01.xml	YES 1089	YES 3277	YES 58	YES 55	YES 774	YES 541	YES 46
tpdb-8.0/TRS/Der95/02.xml	YES 1083	YES 3245	YES 55	YES 54	YES 675	YES 507	YES 41
tpdb-8.0/TRS/Der95/03.xml	YES 1002	YES 3137	YES 42	YES 50	YES 715	YES 540	YES 30
tpdb-8.0/TRS/Der95/04.xml	YES 1144	YES 3154	YES 56	YES 52	YES 937	YES 549	YES 37
tpdb-8.0/TRS/Der95/06.xml	YES 1014	YES 3476	YES 43	YES 88	YES 1080	YES 723	YES 62
tpdb-8.0/TRS/Der95/07.xml	YES 1388	YES 3472	YES 55	YES 52	YES 833	YES 630	YES 35
tpdb-8.0/TRS/Der95/08.xml	YES 1283	YES 3583	YES 60	YES 98	YES 990	YES 5583	YES 162
tpdb-8.0/TRS/Der95/09.xml	YES 1051	YES 3297	YES 55	YES 51	YES 520	YES 504	YES 34
tpdb-8.0/TRS/Der95/11.xml	YES 1520	YES 4472	YES 75	YES 120	YES 1556	YES 5653	YES 584
tpdb-8.0/TRS/Der95/12.xml	YES 1282	YES 3596	YES 176	YES 101	YES 1110	YES 1896	YES 180
tpdb-8.0/TRS/Der95/13.xml	YES 12716	YES 5088	YES 745	MAYBE 388	MAYBE 11909	MAYBE 13402	YES 484
tpdb-8.0/TRS/Der95/17.xml	YES 1085	YES 3682	YES 77	YES 64	YES 803	YES 503	YES 131
tpdb-8.0/TRS/Der95/18.xml	YES 1171	YES 3287	YES 56	YES 85	YES 706	YES 878	YES 68
tpdb-8.0/TRS/Der95/20.xml	YES 1110	YES 4266	YES 334	YES 71	YES 839	YES 504	YES 355
tpdb-8.0/TRS/Der95/21.xml	YES 1412	YES 4108	YES 92	YES 113	YES 1089	YES 1465	MAYBE 374
tpdb-8.0/TRS/Der95/27.xml	YES 1069	YES 3327	YES 55	YES 52	YES 631	YES 496	YES 46
tpdb-8.0/TRS/Der95/28.xml	YES 1199	YES 3447	YES 57	YES 62	YES 697	YES 983	YES 133
tpdb-8.0/TRS/Der95/30.xml	YES 1303	YES 3589	YES 3513	YES 448	YES 563	MAYBE 12235	YES 220
tpdb-8.0/TRS/Der95/31.xml	YES 1372	YES 3756	YES 58	YES 68	YES 1145	YES 1372	YES 154
tpdb-8.0/TRS/Der95/32.xml	YES 1559	YES 4348	YES 63	YES 104	YES 867	YES 1501	YES 312
tpdb-8.0/TRS/Der95/33.xml	TIMEOUT 60448	TIMEOUT 60754	TIMEOUT 60053	MAYBE 682	MAYBE 21750	MAYBE 59514	MAYBE 4442
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex1_1.xml	NO 12033	TIMEOUT 60590	TIMEOUT 60076	MAYBE 240	MAYBE 13869	MAYBE 19428	MAYBE 603
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex1_2.xml	TIMEOUT 60416	TIMEOUT 60684	TIMEOUT 60035	MAYBE 299	MAYBE 16159	MAYBE 59468	MAYBE 927
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex1_3.xml	TIMEOUT 60463	TIMEOUT 60853	TIMEOUT 60035	MAYBE 323	MAYBE 16121	MAYBE 59465	MAYBE 902
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex1_4.xml	NO 12175	NO 21720	TIMEOUT 60072	MAYBE 299	MAYBE 15992	MAYBE 7427	MAYBE 857
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex1_5.xml	NO 12401	TIMEOUT 60768	TIMEOUT 60056	MAYBE 302	MAYBE 15706	MAYBE 7429	MAYBE 899
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex2_1.xml	TIMEOUT 60456	TIMEOUT 60705	TIMEOUT 60063	MAYBE 275	MAYBE 15752	MAYBE 23014	MAYBE 710
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex2_2.xml	NO 12027	TIMEOUT 60701	TIMEOUT 60074	MAYBE 263	MAYBE 14204	MAYBE 59468	MAYBE 642
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex2_3.xml	TIMEOUT 60508	TIMEOUT 60795	TIMEOUT 60061	MAYBE 253	MAYBE 14594	MAYBE 18312	MAYBE 631
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex2_4.xml	NO 25593	TIMEOUT 60953	TIMEOUT 60067	MAYBE 307	MAYBE 16061	MAYBE 28098	MAYBE 948
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex2_5.xml	NO 25532	TIMEOUT 61318	TIMEOUT 60076	MAYBE 314	MAYBE 15837	MAYBE 27249	MAYBE 959
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex3_1.xml	NO 12412	TIMEOUT 60631	TIMEOUT 60083	MAYBE 180	MAYBE 14309	MAYBE 10294	MAYBE 639
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex3_2.xml	NO 13143	TIMEOUT 60686	MAYBE 3429	MAYBE 159	MAYBE 13687	MAYBE 7422	MAYBE 543
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex3_3.xml	NO 12985	TIMEOUT 60492	MAYBE 4276	MAYBE 221	MAYBE 15799	MAYBE 7783	MAYBE 869
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex3_4.xml	TIMEOUT 60399	TIMEOUT 60496	MAYBE 4203	MAYBE 236	MAYBE 15529	MAYBE 21060	YES 342
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex4_1.xml	NO 12056	TIMEOUT 60679	MAYBE 24565	MAYBE 204	MAYBE 15593	MAYBE 7427	MAYBE 1117
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex4_2.xml	NO 14599	TIMEOUT 60535	TIMEOUT 60035	MAYBE 256	MAYBE 16342	MAYBE 59466	MAYBE 4210
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex4_3.xml	NO 15037	TIMEOUT 60657	TIMEOUT 60036	MAYBE 256	MAYBE 16422	MAYBE 59453	MAYBE 4669
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex4_4.xml	NO 12463	TIMEOUT 60622	MAYBE 17857	MAYBE 243	MAYBE 16782	MAYBE 7532	MAYBE 4300
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex5_1.xml	NO 15781	TIMEOUT 60641	TIMEOUT 60047	MAYBE 317	MAYBE 18218	MAYBE 59463	MAYBE 4318
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex5_2.xml	NO 17088	TIMEOUT 61391	TIMEOUT 60061	MAYBE 325	MAYBE 16467	MAYBE 59499	MAYBE 2141
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex5_3.xml	NO 15852	TIMEOUT 60678	TIMEOUT 60055	MAYBE 279	MAYBE 16926	MAYBE 10337	MAYBE 4368
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex6_1.xml	NO 12354	TIMEOUT 60653	TIMEOUT 60035	MAYBE 261	MAYBE 14039	MAYBE 7424	MAYBE 677
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex6_2.xml	NO 11916	NO 22064	TIMEOUT 60039	MAYBE 297	MAYBE 17837	MAYBE 11797	MAYBE 1152
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex7_1.xml	NO 27046	TIMEOUT 60793	TIMEOUT 60069	MAYBE 455	MAYBE 16197	MAYBE 59487	MAYBE 2814
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex7_2.xml	NO 36392	TIMEOUT 60760	TIMEOUT 60052	MAYBE 569	MAYBE 19132	MAYBE 59512	MAYBE 13651
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex7_3.xml	TIMEOUT 60463	TIMEOUT 60878	TIMEOUT 60052	MAYBE 1702	MAYBE 20161	MAYBE 59539	MAYBE 16609
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex7_4.xml	NO 42096	TIMEOUT 60967	TIMEOUT 60054	MAYBE 638	MAYBE 24163	MAYBE 59486	MAYBE 15389
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex7_5.xml	TIMEOUT 60495	TIMEOUT 60036	TIMEOUT 60055	MAYBE 3652	MAYBE 25513	MAYBE 59532	MAYBE 16914
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex7_6.xml	TIMEOUT 60445	TIMEOUT 60813	TIMEOUT 60048	MAYBE 3541	MAYBE 23477	MAYBE 59524	MAYBE 17819
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex7_7.xml	NO 35285	TIMEOUT 60917	TIMEOUT 60051	MAYBE 813	MAYBE 21859	MAYBE 59482	MAYBE 14458
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex7_8.xml	TIMEOUT 60409	TIMEOUT 60705	TIMEOUT 60043	MAYBE 1644	MAYBE 20564	MAYBE 59501	MAYBE 16131
tpdb-8.0/TRS/EEG_IJCAR_12/emmes-nonloop-ex7_9.xml	NO 43523	TIMEOUT 60948	TIMEOUT 60050	MAYBE 668	MAYBE 24836	MAYBE 59488	MAYBE 15771
tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-addTrue.xml	NO 15573	TIMEOUT 60884	TIMEOUT 60043	MAYBE 225	MAYBE 14826	MAYBE 20268	MAYBE 748
tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-add.xml	NO 16476	TIMEOUT 60763	TIMEOUT 60051	MAYBE 228	MAYBE 15011	MAYBE 20473	MAYBE 722
tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-ex_payet.xml	TIMEOUT 60412	TIMEOUT 60846	TIMEOUT 60035	MAYBE 361	MAYBE 19172	MAYBE 18912	MAYBE 1883
tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-isDNat.xml	NO 11681	TIMEOUT 60590	TIMEOUT 60104	MAYBE 169	MAYBE 11724	MAYBE 17235	MAYBE 251
tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-isList-List.xml	TIMEOUT 60356	TIMEOUT 60037	MAYBE 40986	MAYBE 173	MAYBE 11641	MAYBE 9223	MAYBE 217
tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-isList.xml	NO 11441	NO 28768	MAYBE 4479	MAYBE 171	MAYBE 12001	MAYBE 9907	MAYBE 238
tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-isTrueList.xml	NO 11400	NO 20885	MAYBE 5123	MAYBE 171	MAYBE 12468	MAYBE 8256	MAYBE 277
tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-swap_decr.xml	NO 11934	TIMEOUT 60630	MAYBE 8888	MAYBE 189	MAYBE 13466	MAYBE 18711	MAYBE 472
tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-swapX.xml	NO 11606	NO 48172	MAYBE 18057	MAYBE 197	MAYBE 12300	MAYBE 7421	MAYBE 297
tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-swapXY2.xml	NO 11518	NO 29201	MAYBE 7219	MAYBE 200	MAYBE 12790	MAYBE 7585	MAYBE 276
tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-swapXY.xml	NO 11843	NO 24728	TIMEOUT 60084	MAYBE 207	MAYBE 13673	MAYBE 9242	MAYBE 427
tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-toOne.xml	NO 11765	TIMEOUT 60846	TIMEOUT 60079	MAYBE 401	MAYBE 13712	MAYBE 59465	MAYBE 1720
tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-unbounded.xml	NO 11574	TIMEOUT 60701	TIMEOUT 60086	MAYBE 226	MAYBE 13957	MAYBE 18332	MAYBE 512
tpdb-8.0/TRS/EEG_IJCAR_12/enger-nonloop-while-lt.xml	NO 11539	NO 33577	TIMEOUT 60085	MAYBE 211	MAYBE 13233	MAYBE 10604	MAYBE 425
tpdb-8.0/TRS/EEG_IJCAR_12/rybalchenko-nonloop-popl08.xml	NO 25598	TIMEOUT 61344	MAYBE 7311	MAYBE 628	MAYBE 25026	MAYBE 59514	MAYBE 2805
tpdb-8.0/TRS/EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.xml	TIMEOUT 60498	TIMEOUT 60620	TIMEOUT 60095	MAYBE 684	MAYBE 24736	MAYBE 59482	MAYBE 24030
tpdb-8.0/TRS/EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.xml	NO 12782	TIMEOUT 60033	TIMEOUT 60069	MAYBE 525	MAYBE 24037	MAYBE 59503	MAYBE 20276
tpdb-8.0/TRS/Endrullis_06/direct.xml	YES 2164	YES 3755	YES 128	YES 974	YES 771	YES 927	MAYBE 2659
tpdb-8.0/TRS/Endrullis_06/labeling.xml	YES 9681	YES 8176	TIMEOUT 60078	MAYBE 160	MAYBE 12461	MAYBE 7413	MAYBE 431
tpdb-8.0/TRS/Endrullis_06/linear1.xml	YES 2674	YES 5421	YES 1995	YES 193	YES 1825	YES 1323	MAYBE 2181
tpdb-8.0/TRS/Endrullis_06/linear2.xml	YES 19844	YES 10536	TIMEOUT 60031	MAYBE 2562	YES 3010	YES 8060	MAYBE 41717
tpdb-8.0/TRS/Endrullis_06/pair2hard.xml	TIMEOUT 60624	YES 6588	TIMEOUT 60042	MAYBE 573	YES 2582	YES 6747	MAYBE 1537
tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml	YES 1322	YES 3569	YES 2317	YES 72	YES 1044	YES 2094	YES 145
tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml	YES 1822	YES 4371	TIMEOUT 60076	YES 153	MAYBE 15372	MAYBE 59451	YES 365
tpdb-8.0/TRS/Endrullis_06/pair3hard.xml	YES 3508	YES 8649	TIMEOUT 60032	MAYBE 430	MAYBE 15810	MAYBE 59447	MAYBE 759
tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml	YES 2201	YES 12987	YES 137	YES 86	YES 2191	YES 6283	YES 3622
tpdb-8.0/TRS/Endrullis_06/pair3swap.xml	YES 2289	YES 13311	YES 238	MAYBE 1401	YES 3219	YES 7447	MAYBE 7498
tpdb-8.0/TRS/Endrullis_06/quadruple1.xml	YES 2671	YES 3526	TIMEOUT 60081	YES 1372	YES 1007	YES 5810	MAYBE 13050
tpdb-8.0/TRS/Endrullis_06/quadruple2.xml	YES 10702	YES 3846	TIMEOUT 60097	MAYBE 820	YES 850	YES 796	MAYBE 10015
tpdb-8.0/TRS/GTSSK07/cade01.xml	YES 2185	YES 7561	MAYBE 37617	MAYBE 202	MAYBE 13882	MAYBE 17765	MAYBE 462
tpdb-8.0/TRS/GTSSK07/cade03.xml	YES 2447	YES 8193	MAYBE 9245	MAYBE 198	MAYBE 14573	MAYBE 16359	MAYBE 525
tpdb-8.0/TRS/GTSSK07/cade04t.xml	TIMEOUT 60387	TIMEOUT 60539	TIMEOUT 60064	MAYBE 168	MAYBE 9688	MAYBE 7421	MAYBE 373
tpdb-8.0/TRS/GTSSK07/cade05t.xml	YES 3122	YES 27595	TIMEOUT 60067	MAYBE 258	MAYBE 17113	MAYBE 43222	MAYBE 2269
tpdb-8.0/TRS/GTSSK07/cade06.xml	YES 3620	TIMEOUT 60885	TIMEOUT 60095	MAYBE 321	MAYBE 21041	MAYBE 20291	MAYBE 911
tpdb-8.0/TRS/GTSSK07/cade07.xml	YES 3698	TIMEOUT 61282	MAYBE 22815	MAYBE 414	MAYBE 17428	MAYBE 19673	MAYBE 941
tpdb-8.0/TRS/GTSSK07/cade08.xml	TIMEOUT 60441	TIMEOUT 60032	TIMEOUT 60080	MAYBE 285	MAYBE 20955	MAYBE 19997	MAYBE 2618
tpdb-8.0/TRS/GTSSK07/cade09.xml	YES 2477	YES 25637	TIMEOUT 60036	MAYBE 286	MAYBE 14879	MAYBE 59477	MAYBE 621
tpdb-8.0/TRS/GTSSK07/cade10.xml	YES 2506	YES 17280	TIMEOUT 60074	MAYBE 275	MAYBE 14875	MAYBE 59444	MAYBE 783
tpdb-8.0/TRS/GTSSK07/cade11.xml	YES 2220	YES 15502	TIMEOUT 60090	MAYBE 239	MAYBE 13772	MAYBE 20116	MAYBE 702
tpdb-8.0/TRS/GTSSK07/cade12t.xml	TIMEOUT 60404	TIMEOUT 60512	TIMEOUT 60045	MAYBE 431	MAYBE 22546	MAYBE 59472	MAYBE 42126
tpdb-8.0/TRS/GTSSK07/cade13t.xml	YES 2588	YES 18358	TIMEOUT 60030	MAYBE 341	MAYBE 22423	MAYBE 8638	MAYBE 1074
tpdb-8.0/TRS/GTSSK07/cade14.xml	YES 6633	YES 23716	TIMEOUT 60037	MAYBE 341	MAYBE 20454	MAYBE 26453	MAYBE 1009
tpdb-8.0/TRS/GTSSK07/cade15.xml	YES 4070	YES 30444	TIMEOUT 60042	MAYBE 544	MAYBE 35057	MAYBE 33509	MAYBE 2128
tpdb-8.0/TRS/GTSSK07/cade16.xml	YES 2547	YES 19758	MAYBE 53591	MAYBE 226	MAYBE 16220	MAYBE 23760	MAYBE 772
tpdb-8.0/TRS/GTSSK07/cade17.xml	TIMEOUT 60582	TIMEOUT 60927	TIMEOUT 60045	MAYBE 716	MAYBE 20862	MAYBE 59496	MAYBE 1661
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml	NO 970	NO 3718	NO 43	NO 67	NO 488	NO 391	MAYBE 47
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml	NO 1309	NO 3657	NO 137	NO 122	NO 492	NO 390	MAYBE 49
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml	NO 1581	NO 3703	NO 42	NO 72	NO 487	NO 387	MAYBE 60
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml	NO 976	NO 13787	NO 154	NO 70	NO 490	NO 388	MAYBE 54
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml	NO 980	NO 3701	NO 711	NO 124	NO 486	NO 388	MAYBE 53
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml	NO 1593	NO 3497	NO 42	NO 189	NO 527	NO 384	MAYBE 98
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml	NO 1372	NO 3729	NO 42	NO 74	NO 494	NO 390	MAYBE 68
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml	YES 1468	YES 5176	YES 463	YES 141	YES 2672	YES 842	YES 1155
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml	YES 1859	YES 5300	YES 158	YES 135	YES 1789	YES 3294	MAYBE 9098
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml	YES 2188	YES 4968	YES 240	MAYBE 464	YES 7788	MAYBE 7433	MAYBE 1117
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml	YES 1845	YES 5018	YES 106	YES 128	YES 1331	YES 2574	YES 378
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml	YES 1023	YES 3758	TIMEOUT 60078	YES 70	YES 1135	YES 2948	MAYBE 390
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml	YES 3158	YES 13995	YES 528	YES 253	YES 4100	YES 6117	YES 3859
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml	YES 1097	YES 3227	YES 55	YES 51	YES 580	YES 505	YES 35
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml	YES 1202	YES 3188	YES 43	YES 60	YES 667	YES 580	YES 61
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t008.xml	YES 1431	YES 3959	YES 99	YES 69	YES 1130	YES 1384	MAYBE 366
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml	YES 9443	YES 27252	TIMEOUT 60052	YES 3570	TIMEOUT 60069	YES 50110	TIMEOUT 60037
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml	YES 1152	YES 3166	YES 41	YES 51	YES 623	YES 609	YES 52
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml	YES 1239	YES 3238	YES 56	YES 87	YES 632	YES 654	YES 49
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml	YES 1530	YES 4961	YES 337	YES 103	YES 1195	YES 1274	YES 470
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml	YES 1626	YES 3846	YES 114	YES 107	YES 1137	YES 1471	YES 210
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml	YES 1665	YES 4485	YES 82	YES 104	YES 1207	YES 1981	YES 261
tpdb-8.0/TRS/Mixed_TRS/1.xml	YES 1594	YES 3200	YES 157	YES 133	YES 686	YES 1168	MAYBE 7652
tpdb-8.0/TRS/Mixed_TRS/2.xml	YES 1817	YES 3677	YES 581	YES 71	YES 804	YES 1338	MAYBE 6527
tpdb-8.0/TRS/Mixed_TRS/3.xml	YES 1651	YES 3966	YES 96	YES 214	YES 922	YES 877	MAYBE 1931
tpdb-8.0/TRS/Mixed_TRS/4.xml	YES 1617	YES 3238	YES 198	YES 793	YES 717	YES 1047	MAYBE 5201
tpdb-8.0/TRS/Mixed_TRS/5.xml	YES 1534	YES 3443	YES 92	YES 192	YES 847	YES 755	MAYBE 283
tpdb-8.0/TRS/Mixed_TRS/6.xml	TIMEOUT 60306	TIMEOUT 60410	MAYBE 24020	MAYBE 152	MAYBE 13137	MAYBE 8950	MAYBE 983
tpdb-8.0/TRS/Mixed_TRS/7.xml	TIMEOUT 60625	TIMEOUT 60709	MAYBE 2497	MAYBE 1334	MAYBE 16525	MAYBE 28173	MAYBE 1373
tpdb-8.0/TRS/Mixed_TRS/beans.xml	YES 1890	YES 12993	YES 4880	YES 494	MAYBE 16205	MAYBE 59506	MAYBE 5792
tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml	YES 2189	YES 5573	YES 888	YES 128	YES 3219	YES 4492	YES 1145
tpdb-8.0/TRS/Mixed_TRS/fossacs.xml	TIMEOUT 60425	TIMEOUT 60785	MAYBE 892	MAYBE 262	MAYBE 17652	MAYBE 59451	MAYBE 681
tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml	YES 2000	YES 5653	TIMEOUT 60070	MAYBE 381	MAYBE 21087	MAYBE 59470	MAYBE 10758
tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml	YES 2438	YES 6613	YES 238	MAYBE 841	YES 1746	YES 4350	YES 590
tpdb-8.0/TRS/Mixed_TRS/gcd.xml	YES 1850	YES 4667	YES 90	YES 124	YES 1453	YES 2841	YES 319
tpdb-8.0/TRS/Mixed_TRS/hydra.xml	YES 1343	YES 3829	YES 57	YES 74	YES 1019	YES 1156	YES 156
tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml	TIMEOUT 60553	TIMEOUT 60821	TIMEOUT 60041	MAYBE 534	MAYBE 25814	MAYBE 59469	MAYBE 3578
tpdb-8.0/TRS/Mixed_TRS/jones1.xml	YES 1084	YES 3241	YES 57	YES 54	YES 634	YES 499	YES 51
tpdb-8.0/TRS/Mixed_TRS/jones2.xml	YES 1281	YES 3321	YES 77	YES 89	YES 670	YES 733	YES 103
tpdb-8.0/TRS/Mixed_TRS/jones4.xml	YES 1098	YES 3247	YES 89	YES 53	YES 647	YES 504	YES 40
tpdb-8.0/TRS/Mixed_TRS/jones5.xml	YES 1134	YES 3356	YES 583	YES 51	YES 588	YES 661	YES 49
tpdb-8.0/TRS/Mixed_TRS/jones6.xml	YES 1213	YES 3416	YES 58	YES 62	YES 822	YES 1067	YES 70
tpdb-8.0/TRS/Mixed_TRS/minsort.xml	TIMEOUT 60496	TIMEOUT 60035	TIMEOUT 60050	MAYBE 360	MAYBE 32570	MAYBE 25323	MAYBE 1986
tpdb-8.0/TRS/Mixed_TRS/motivation.xml	YES 1435	YES 3664	YES 76	YES 62	YES 756	YES 820	YES 118
tpdb-8.0/TRS/Mixed_TRS/perfect2.xml	YES 1881	YES 5100	YES 95	YES 120	YES 1356	YES 2738	YES 391
tpdb-8.0/TRS/Mixed_TRS/perfect.xml	YES 1545	YES 4415	YES 61	YES 104	YES 1003	YES 1907	YES 277
tpdb-8.0/TRS/Mixed_TRS/test1.xml	YES 1532	YES 3314	YES 116	YES 124	YES 585	YES 710	MAYBE 230
tpdb-8.0/TRS/Mixed_TRS/while2.xml	TIMEOUT 60468	TIMEOUT 60582	TIMEOUT 60098	MAYBE 2688	MAYBE 18849	MAYBE 59440	MAYBE 1925
tpdb-8.0/TRS/Mixed_TRS/while.xml	YES 2010	YES 14949	MAYBE 7369	MAYBE 205	MAYBE 12731	MAYBE 9459	MAYBE 306
tpdb-8.0/TRS/MNZ_10/0.xml	YES 58319	YES 48310	YES 46777	MAYBE 1646	YES 2468	YES 20248	MAYBE 6303
tpdb-8.0/TRS/MNZ_10/1.xml	TIMEOUT 60436	TIMEOUT 60030	TIMEOUT 60052	MAYBE 1466	YES 3098	YES 5785	MAYBE 4783
tpdb-8.0/TRS/MNZ_10/2.xml	YES 33512	YES 31656	TIMEOUT 60050	MAYBE 1724	YES 2783	YES 5890	MAYBE 6585
tpdb-8.0/TRS/MNZ_10/3.xml	YES 52901	YES 55513	TIMEOUT 60044	MAYBE 2112	YES 3447	YES 8660	MAYBE 9490
tpdb-8.0/TRS/MNZ_10/4.xml	TIMEOUT 60434	TIMEOUT 61038	TIMEOUT 60047	MAYBE 2839	YES 6605	MAYBE 59543	MAYBE 11079
tpdb-8.0/TRS/MNZ_10/5.xml	TIMEOUT 60554	TIMEOUT 62199	TIMEOUT 60041	MAYBE 3835	YES 7455	MAYBE 59505	MAYBE 12998
tpdb-8.0/TRS/MNZ_10/6.xml	TIMEOUT 60338	TIMEOUT 61342	TIMEOUT 60035	MAYBE 4175	YES 7078	MAYBE 59531	MAYBE 17328
tpdb-8.0/TRS/MNZ_10/7.xml	TIMEOUT 60355	TIMEOUT 60799	TIMEOUT 60048	MAYBE 1837	YES 7802	MAYBE 59491	MAYBE 9148
tpdb-8.0/TRS/MNZ_10/8.xml	TIMEOUT 60405	TIMEOUT 62098	TIMEOUT 60046	MAYBE 2079	YES 7209	YES 6392	MAYBE 9568
tpdb-8.0/TRS/MNZ_10/9.xml	TIMEOUT 60332	TIMEOUT 61305	TIMEOUT 60046	MAYBE 2701	YES 6739	MAYBE 59522	MAYBE 11399
tpdb-8.0/TRS/MNZ_10/labelled.xml	YES 32348	TIMEOUT 60032	TIMEOUT 60029	TIMEOUT 60029	TIMEOUT 60043	TIMEOUT 60044	TIMEOUT 60031
tpdb-8.0/TRS/MNZ_10/nrvsq.xml	TIMEOUT 60695	TIMEOUT 60938	TIMEOUT 60052	MAYBE 4581	MAYBE 22835	MAYBE 59573	MAYBE 6071
tpdb-8.0/TRS/MNZ_10/nvsr.xml	TIMEOUT 60513	TIMEOUT 61070	TIMEOUT 60052	MAYBE 2006	YES 5324	MAYBE 59541	MAYBE 6176
tpdb-8.0/TRS/Rubio_04/aoto.xml	YES 1241	YES 3451	YES 73	YES 85	YES 1107	YES 988	YES 119
tpdb-8.0/TRS/Rubio_04/bintrees.xml	YES 1084	YES 3331	YES 80	YES 55	YES 805	YES 508	YES 74
tpdb-8.0/TRS/Rubio_04/bn122.xml	YES 1156	YES 3389	YES 73	YES 57	YES 657	YES 607	YES 55
tpdb-8.0/TRS/Rubio_04/bn129.xml	YES 1104	YES 3885	YES 206	YES 67	YES 773	YES 496	YES 267
tpdb-8.0/TRS/Rubio_04/division.xml	YES 1660	YES 4644	YES 88	YES 111	YES 1310	YES 2150	YES 332
tpdb-8.0/TRS/Rubio_04/elimdupl.xml	YES 1775	YES 4846	YES 92	YES 112	YES 1317	YES 2103	YES 373
tpdb-8.0/TRS/Rubio_04/enno.xml	YES 1969	YES 5312	YES 160	YES 125	YES 1533	YES 2808	YES 705
tpdb-8.0/TRS/Rubio_04/gcd.xml	YES 1769	YES 4692	YES 169	YES 105	YES 1672	YES 2495	YES 509
tpdb-8.0/TRS/Rubio_04/gmnp.xml	YES 1041	YES 3502	YES 58	YES 72	YES 786	YES 986	YES 114
tpdb-8.0/TRS/Rubio_04/gm.xml	YES 1480	YES 4116	YES 79	YES 102	YES 1078	YES 1408	YES 169
tpdb-8.0/TRS/Rubio_04/koen.xml	YES 1081	YES 3305	YES 55	YES 53	YES 713	YES 502	YES 47
tpdb-8.0/TRS/Rubio_04/lescanne.xml	YES 1076	YES 3396	YES 84	YES 56	YES 610	YES 506	YES 48
tpdb-8.0/TRS/Rubio_04/lindau.xml	YES 1039	YES 3242	YES 120	YES 99	YES 693	YES 820	YES 196
tpdb-8.0/TRS/Rubio_04/logarquot.xml	YES 1581	YES 4614	YES 99	YES 131	YES 1539	YES 2262	YES 592
tpdb-8.0/TRS/Rubio_04/ma96.xml	YES 2484	YES 8169	YES 349	YES 190	YES 3716	YES 6661	YES 2184
tpdb-8.0/TRS/Rubio_04/mfp90b.xml	YES 1072	YES 3184	YES 74	YES 52	YES 638	YES 494	YES 38
tpdb-8.0/TRS/Rubio_04/mfp95.xml	YES 1134	YES 3248	YES 43	YES 54	YES 608	YES 629	YES 37
tpdb-8.0/TRS/Rubio_04/nestrec.xml	YES 1000	YES 3489	YES 75	YES 61	YES 827	YES 863	YES 103
tpdb-8.0/TRS/Rubio_04/p266.xml	YES 1008	YES 3396	YES 55	YES 59	YES 1298	YES 1148	YES 101
tpdb-8.0/TRS/Rubio_04/polo2.xml	YES 1516	YES 4686	YES 65	YES 125	YES 1589	YES 5686	YES 528
tpdb-8.0/TRS/Rubio_04/prov.xml	YES 1250	YES 3441	YES 64	YES 74	YES 737	YES 966	YES 119
tpdb-8.0/TRS/Rubio_04/quick.xml	YES 2102	YES 5730	YES 142	YES 149	YES 2020	YES 5555	YES 728
tpdb-8.0/TRS/Rubio_04/quotminus.xml	YES 1535	YES 4148	YES 81	YES 104	YES 1199	YES 2146	YES 241
tpdb-8.0/TRS/Rubio_04/revlist.xml	YES 1702	YES 4144	YES 94	YES 115	YES 1324	YES 2052	YES 401
tpdb-8.0/TRS/Rubio_04/selsort.xml	YES 2307	YES 7582	YES 188	YES 163	YES 3622	YES 5863	YES 1375
tpdb-8.0/TRS/Rubio_04/test4.xml	YES 1443	YES 3402	YES 107	YES 132	YES 776	YES 659	YES 137
tpdb-8.0/TRS/Rubio_04/test829.xml	YES 1203	YES 3321	YES 80	YES 58	YES 697	YES 858	YES 52
tpdb-8.0/TRS/Rubio_04/wst99.xml	YES 2179	YES 5246	YES 429	YES 137	YES 1919	YES 7111	YES 773
tpdb-8.0/TRS/Secret_05_TRS/aprove1.xml	YES 3691	YES 29016	MAYBE 17819	YES 276	YES 1690	MAYBE 59514	TIMEOUT 60062
tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml	YES 4233	YES 27921	TIMEOUT 60030	MAYBE 407	MAYBE 19627	MAYBE 26120	MAYBE 915
tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml	YES 4192	YES 16475	TIMEOUT 60047	YES 243	MAYBE 22596	MAYBE 16718	MAYBE 5935
tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml	YES 2821	YES 10169	MAYBE 1904	MAYBE 272	MAYBE 15463	MAYBE 20950	MAYBE 796
tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml	YES 1875	YES 6097	TIMEOUT 60040	MAYBE 291	YES 3076	MAYBE 13027	MAYBE 1511
tpdb-8.0/TRS/Secret_05_TRS/cime1.xml	YES 21181	TIMEOUT 62195	TIMEOUT 60106	YES 28398	TIMEOUT 60043	MAYBE 59737	TIMEOUT 60074
tpdb-8.0/TRS/Secret_05_TRS/cime2.xml	YES 18089	YES 6721	YES 4337	YES 337	MAYBE 30354	MAYBE 21642	YES 2784
tpdb-8.0/TRS/Secret_05_TRS/cime3.xml	TIMEOUT 60720	TIMEOUT 61261	TIMEOUT 60042	MAYBE 618	MAYBE 17401	MAYBE 59486	TIMEOUT 60073
tpdb-8.0/TRS/Secret_05_TRS/cime4.xml	NO 1694	NO 3877	MAYBE 175	MAYBE 203	MAYBE 12062	MAYBE 7423	MAYBE 277
tpdb-8.0/TRS/Secret_05_TRS/cime5.xml	YES 7739	YES 30679	YES 4052	YES 16438	YES 7719	YES 17010	YES 13430
tpdb-8.0/TRS/Secret_05_TRS/matchbox1.xml	YES 2072	YES 3913	YES 577	MAYBE 125	YES 1768	MAYBE 7411	MAYBE 238
tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml	YES 1567	YES 3223	YES 198	YES 700	YES 772	YES 1259	MAYBE 502
tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml	YES 1507	YES 5638	YES 1538	MAYBE 1088	YES 1095	MAYBE 59451	MAYBE 18216
tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml	YES 3599	YES 7922	MAYBE 3473	MAYBE 442	MAYBE 15116	MAYBE 42187	MAYBE 19405
tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml	YES 18340	YES 6366	MAYBE 2408	MAYBE 397	YES 2597	MAYBE 27022	MAYBE 7256
tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml	YES 1969	YES 5429	TIMEOUT 60066	MAYBE 383	MAYBE 20045	MAYBE 59482	MAYBE 10927
tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml	YES 1817	YES 4865	YES 198	YES 150	YES 1804	YES 2723	MAYBE 1264
tpdb-8.0/TRS/Secret_05_TRS/tpa3.xml	TIMEOUT 60427	TIMEOUT 60672	TIMEOUT 60061	MAYBE 215	MAYBE 15569	MAYBE 25674	MAYBE 4724
tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml	TIMEOUT 60525	TIMEOUT 60912	TIMEOUT 60057	MAYBE 237	MAYBE 15602	MAYBE 39988	MAYBE 2907
tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml	TIMEOUT 60647	TIMEOUT 60753	MAYBE 4194	MAYBE 575	MAYBE 22776	MAYBE 59514	MAYBE 2250
tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml	NO 1971	NO 3959	MAYBE 175	MAYBE 202	NO 1058	NO 666	MAYBE 301
tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml	NO 2073	NO 3757	NO 310	NO 88	NO 732	NO 488	MAYBE 247
tpdb-8.0/TRS/Secret_06_TRS/10.xml	YES 4958	YES 4794	TIMEOUT 60030	MAYBE 618	YES 1240	YES 7080	MAYBE 1079
tpdb-8.0/TRS/Secret_06_TRS/2.xml	TIMEOUT 60466	YES 3801	TIMEOUT 60044	MAYBE 417	YES 1170	YES 3168	MAYBE 1720
tpdb-8.0/TRS/Secret_06_TRS/3.xml	TIMEOUT 60420	YES 47199	TIMEOUT 60031	MAYBE 600	MAYBE 28365	MAYBE 59488	MAYBE 22585
tpdb-8.0/TRS/Secret_06_TRS/4.xml	YES 2301	YES 4497	YES 4155	YES 210	YES 1726	YES 1238	MAYBE 813
tpdb-8.0/TRS/Secret_06_TRS/5.xml	YES 1828	YES 13075	TIMEOUT 60061	MAYBE 289	YES 2214	YES 6523	MAYBE 1729
tpdb-8.0/TRS/Secret_06_TRS/6.xml	YES 8382	YES 4217	YES 41729	YES 1284	YES 842	YES 919	MAYBE 18163
tpdb-8.0/TRS/Secret_06_TRS/7.xml	YES 3300	YES 3865	YES 828	YES 59	YES 759	YES 1409	YES 276
tpdb-8.0/TRS/Secret_06_TRS/8.xml	YES 1617	YES 3566	YES 131	YES 199	YES 807	YES 1339	MAYBE 4752
tpdb-8.0/TRS/Secret_06_TRS/9.xml	YES 2126	YES 3567	YES 22417	YES 199	YES 769	YES 1207	MAYBE 4220
tpdb-8.0/TRS/Secret_06_TRS/addList.xml	YES 7581	YES 18772	TIMEOUT 60095	YES 427	MAYBE 43775	YES 8958	MAYBE 25433
tpdb-8.0/TRS/Secret_06_TRS/cime1.xml	TIMEOUT 60628	TIMEOUT 60711	MAYBE 48185	MAYBE 476	MAYBE 33014	MAYBE 29105	MAYBE 1828
tpdb-8.0/TRS/Secret_06_TRS/divExp.xml	YES 1944	YES 15212	YES 290	MAYBE 220	MAYBE 15805	MAYBE 7429	MAYBE 1072
tpdb-8.0/TRS/Secret_06_TRS/division.xml	YES 5237	YES 27683	TIMEOUT 60033	MAYBE 345	MAYBE 21857	MAYBE 10836	MAYBE 1122
tpdb-8.0/TRS/Secret_06_TRS/double.xml	YES 2673	YES 10700	TIMEOUT 60034	MAYBE 325	MAYBE 20128	MAYBE 20240	MAYBE 1680
tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml	YES 1693	YES 4627	TIMEOUT 60060	YES 384	YES 1180	YES 2385	MAYBE 6694
tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml	YES 1976	YES 5202	TIMEOUT 60096	YES 262	YES 2201	YES 3611	MAYBE 1643
tpdb-8.0/TRS/Secret_06_TRS/gen-15.xml	YES 1801	YES 5079	YES 376	YES 244	YES 2117	YES 2631	MAYBE 1314
tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml	YES 1443	YES 4069	YES 243	YES 127	YES 1661	YES 5700	YES 370
tpdb-8.0/TRS/Secret_06_TRS/gen-18.xml	YES 13460	YES 8614	MAYBE 1901	YES 154	YES 1843	YES 6231	MAYBE 1088
tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml	YES 2262	YES 3881	YES 283	YES 79	YES 979	YES 1167	MAYBE 955
tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml	YES 2445	YES 6155	TIMEOUT 60085	YES 1380	YES 2785	YES 4885	MAYBE 2926
tpdb-8.0/TRS/Secret_06_TRS/gen-25.xml	YES 26974	YES 5354	TIMEOUT 60091	MAYBE 497	YES 2384	YES 5466	MAYBE 2208
tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml	YES 14844	YES 16568	TIMEOUT 60034	YES 336	YES 1278	YES 3367	YES 295
tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml	YES 1927	YES 5018	YES 481	YES 435	YES 2136	YES 2770	MAYBE 1599
tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml	YES 10929	TIMEOUT 61326	MAYBE 36682	YES 201	YES 9217	MAYBE 59476	MAYBE 13027
tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml	YES 8081	YES 17389	TIMEOUT 60104	MAYBE 388	MAYBE 20684	MAYBE 24530	MAYBE 10215
tpdb-8.0/TRS/Secret_06_TRS/reverse.xml	YES 3101	YES 15572	TIMEOUT 60085	YES 196	YES 1702	YES 3677	MAYBE 1224
tpdb-8.0/TRS/Secret_06_TRS/sumList.xml	YES 3698	YES 17027	TIMEOUT 60084	YES 263	MAYBE 21651	YES 4506	MAYBE 2817
tpdb-8.0/TRS/Secret_06_TRS/times.xml	YES 2828	TIMEOUT 61169	MAYBE 2507	MAYBE 353	MAYBE 22173	MAYBE 17528	MAYBE 25710
tpdb-8.0/TRS/Secret_06_TRS/toList.xml	YES 15232	YES 44135	TIMEOUT 60049	MAYBE 520	MAYBE 27558	MAYBE 59481	TIMEOUT 60031
tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml	YES 2676	YES 4678	MAYBE 924	MAYBE 151	MAYBE 8467	MAYBE 7418	MAYBE 165
tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml	YES 2844	YES 4648	MAYBE 5804	MAYBE 169	MAYBE 8927	MAYBE 7418	MAYBE 231
tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml	YES 9935	YES 14934	MAYBE 5229	MAYBE 169	MAYBE 8702	MAYBE 7411	MAYBE 263
tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml	TIMEOUT 60546	TIMEOUT 60612	TIMEOUT 60099	MAYBE 593	MAYBE 23043	MAYBE 59474	TIMEOUT 60048
tpdb-8.0/TRS/Secret_06_TRS/tpa05.xml	TIMEOUT 60712	TIMEOUT 61120	TIMEOUT 60056	MAYBE 257	MAYBE 19168	MAYBE 37516	TIMEOUT 60053
tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml	YES 3858	TIMEOUT 60699	TIMEOUT 60095	MAYBE 1070	MAYBE 38734	MAYBE 59503	TIMEOUT 60032
tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml	TIMEOUT 60480	TIMEOUT 60767	TIMEOUT 60063	MAYBE 295	MAYBE 19319	MAYBE 33245	MAYBE 26095
tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml	TIMEOUT 60932	TIMEOUT 61087	TIMEOUT 60056	MAYBE 278	MAYBE 19137	MAYBE 39014	TIMEOUT 60051
tpdb-8.0/TRS/Secret_06_TRS/tpa09.xml	TIMEOUT 60682	TIMEOUT 61184	TIMEOUT 60059	MAYBE 473	MAYBE 25192	MAYBE 36036	TIMEOUT 60034
tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml	YES 2242	YES 11435	TIMEOUT 60063	MAYBE 509	YES 9633	MAYBE 40516	TIMEOUT 60047
tpdb-8.0/TRS/Secret_07_TRS/1.xml	YES 14101	TIMEOUT 60608	TIMEOUT 60032	MAYBE 245	YES 1421	MAYBE 12460	MAYBE 1031
tpdb-8.0/TRS/Secret_07_TRS/2.xml	YES 30110	TIMEOUT 60554	MAYBE 37759	MAYBE 248	YES 4518	MAYBE 59571	MAYBE 13109
tpdb-8.0/TRS/Secret_07_TRS/3.xml	YES 42930	YES 22364	TIMEOUT 60096	MAYBE 261	MAYBE 19802	MAYBE 59492	TIMEOUT 60042
tpdb-8.0/TRS/Secret_07_TRS/4.xml	YES 19038	TIMEOUT 60492	TIMEOUT 60031	MAYBE 617	YES 3962	MAYBE 59535	MAYBE 1226
tpdb-8.0/TRS/Secret_07_TRS/5.xml	YES 17592	YES 35696	MAYBE 13086	MAYBE 1314	YES 4977	MAYBE 59627	MAYBE 35442
tpdb-8.0/TRS/Secret_07_TRS/7.xml	TIMEOUT 60351	TIMEOUT 61250	TIMEOUT 60038	MAYBE 3690	MAYBE 35855	MAYBE 59452	TIMEOUT 60049
tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml	YES 6404	TIMEOUT 61169	TIMEOUT 60060	MAYBE 681	MAYBE 29788	MAYBE 59591	MAYBE 16999
tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml	YES 3101	TIMEOUT 61428	MAYBE 2535	MAYBE 539	MAYBE 22320	MAYBE 26037	MAYBE 1761
tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml	TIMEOUT 60335	TIMEOUT 61387	MAYBE 30372	MAYBE 1432	TIMEOUT 60043	MAYBE 59542	TIMEOUT 60056
tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml	YES 4089	TIMEOUT 61101	MAYBE 1160	MAYBE 720	MAYBE 45858	MAYBE 28866	MAYBE 2720
tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml	YES 2713	TIMEOUT 61802	MAYBE 5925	MAYBE 887	MAYBE 24125	MAYBE 20586	MAYBE 2637
tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml	YES 6358	TIMEOUT 61147	TIMEOUT 60077	MAYBE 1092	MAYBE 34703	MAYBE 59530	MAYBE 4210
tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml	YES 2510	TIMEOUT 61078	MAYBE 3476	MAYBE 799	MAYBE 19603	MAYBE 19299	MAYBE 14475
tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml	YES 6014	TIMEOUT 61840	TIMEOUT 60047	MAYBE 902	MAYBE 39567	MAYBE 21094	TIMEOUT 60050
tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml	YES 3469	TIMEOUT 61768	MAYBE 3005	MAYBE 807	MAYBE 30884	MAYBE 36513	MAYBE 2364
tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml	YES 21528	TIMEOUT 61418	TIMEOUT 60049	MAYBE 680	MAYBE 27140	MAYBE 59499	MAYBE 31878
tpdb-8.0/TRS/Secret_07_TRS/secret1.xml	YES 1554	YES 4755	YES 71	YES 93	YES 1703	YES 5976	YES 1012
tpdb-8.0/TRS/Secret_07_TRS/secret2.xml	YES 1476	YES 4229	YES 82	YES 151	YES 1173	YES 2969	YES 435
tpdb-8.0/TRS/Secret_07_TRS/secret3.xml	YES 1409	YES 4040	YES 90	YES 129	YES 1348	YES 2662	YES 321
tpdb-8.0/TRS/Secret_07_TRS/secret4.xml	YES 1548	YES 4142	YES 103	YES 171	YES 1576	YES 3919	YES 580
tpdb-8.0/TRS/Secret_07_TRS/secret5.xml	YES 1911	YES 5260	YES 221	YES 141	YES 2255	YES 7107	YES 756
tpdb-8.0/TRS/SK90/2.01.xml	YES 1239	YES 3544	YES 60	YES 56	YES 751	YES 1474	YES 64
tpdb-8.0/TRS/SK90/2.02.xml	YES 1073	YES 3289	YES 149	YES 56	YES 703	YES 499	YES 66
tpdb-8.0/TRS/SK90/2.03.xml	YES 1086	YES 3283	YES 56	YES 52	YES 711	YES 506	YES 67
tpdb-8.0/TRS/SK90/2.04.xml	YES 1126	YES 3327	YES 55	YES 52	YES 593	YES 709	YES 52
tpdb-8.0/TRS/SK90/2.05.xml	NO 2380	NO 8533	TIMEOUT 60090	NO 484	NO 822	NO 490	MAYBE 1324
tpdb-8.0/TRS/SK90/2.06.xml	YES 1163	YES 3346	YES 59	YES 57	YES 749	YES 1026	YES 57
tpdb-8.0/TRS/SK90/2.07.xml	YES 1231	YES 3530	YES 59	YES 68	YES 787	YES 1258	YES 150
tpdb-8.0/TRS/SK90/2.08.xml	YES 1298	YES 3654	YES 60	YES 104	YES 817	YES 1510	YES 214
tpdb-8.0/TRS/SK90/2.09.xml	YES 1077	YES 3387	YES 56	YES 56	YES 664	YES 502	YES 56
tpdb-8.0/TRS/SK90/2.10.xml	YES 1376	YES 3491	YES 60	YES 93	YES 922	YES 1356	YES 171
tpdb-8.0/TRS/SK90/2.11.xml	YES 1077	YES 3249	YES 58	YES 57	YES 668	YES 500	YES 46
tpdb-8.0/TRS/SK90/2.12.xml	YES 1306	YES 3786	YES 63	YES 99	YES 968	YES 1726	YES 208
tpdb-8.0/TRS/SK90/2.13.xml	YES 1305	YES 3549	YES 58	YES 102	YES 763	YES 672	YES 71
tpdb-8.0/TRS/SK90/2.14.xml	YES 1266	YES 3498	YES 65	YES 95	YES 1051	YES 1492	YES 111
tpdb-8.0/TRS/SK90/2.15.xml	YES 1207	YES 3491	YES 56	YES 88	YES 889	YES 1214	YES 93
tpdb-8.0/TRS/SK90/2.16.xml	YES 1279	YES 3575	YES 58	YES 93	YES 794	YES 1392	YES 164
tpdb-8.0/TRS/SK90/2.17.xml	YES 1223	YES 3364	YES 56	YES 90	YES 770	YES 769	YES 96
tpdb-8.0/TRS/SK90/2.18.xml	YES 1198	YES 3384	YES 57	YES 90	YES 694	YES 1100	YES 94
tpdb-8.0/TRS/SK90/2.19.xml	YES 1272	YES 3612	YES 58	YES 98	YES 884	YES 1920	YES 153
tpdb-8.0/TRS/SK90/2.20.xml	YES 1233	YES 3421	YES 56	YES 90	YES 666	YES 991	YES 67
tpdb-8.0/TRS/SK90/2.21.xml	YES 1221	YES 3430	YES 57	YES 87	YES 704	YES 1117	YES 118
tpdb-8.0/TRS/SK90/2.22.xml	YES 1252	YES 3502	YES 59	YES 94	YES 748	YES 1309	YES 138
tpdb-8.0/TRS/SK90/2.23.xml	YES 1286	YES 3670	YES 67	YES 105	YES 865	YES 1725	YES 201
tpdb-8.0/TRS/SK90/2.24.xml	YES 1166	YES 3469	YES 58	YES 54	YES 673	YES 848	YES 47
tpdb-8.0/TRS/SK90/2.25.xml	YES 1214	YES 3487	YES 59	YES 100	YES 770	YES 1718	YES 137
tpdb-8.0/TRS/SK90/2.26.xml	YES 1387	YES 4150	YES 71	YES 105	YES 1357	YES 2773	YES 322
tpdb-8.0/TRS/SK90/2.27.xml	YES 1338	YES 3748	YES 59	YES 94	YES 1630	YES 1805	YES 264
tpdb-8.0/TRS/SK90/2.28.xml	YES 1120	YES 3309	YES 56	YES 107	YES 594	YES 582	YES 37
tpdb-8.0/TRS/SK90/2.29.xml	YES 1361	YES 3808	YES 59	YES 94	YES 1009	YES 2424	YES 275
tpdb-8.0/TRS/SK90/2.30.xml	YES 1205	YES 3470	YES 56	YES 58	YES 797	YES 865	YES 38
tpdb-8.0/TRS/SK90/2.31.xml	YES 1086	YES 3355	YES 58	YES 55	YES 880	YES 507	YES 97
tpdb-8.0/TRS/SK90/2.32.xml	YES 1378	YES 3644	YES 58	YES 60	YES 758	YES 958	YES 110
tpdb-8.0/TRS/SK90/2.33.xml	YES 1116	YES 3394	YES 58	YES 53	YES 862	YES 498	YES 84
tpdb-8.0/TRS/SK90/2.34.xml	YES 1441	YES 3356	YES 62	YES 69	YES 797	YES 786	YES 118
tpdb-8.0/TRS/SK90/2.35.xml	YES 1213	YES 3440	YES 76	YES 54	YES 633	YES 868	YES 62
tpdb-8.0/TRS/SK90/2.36.xml	YES 1106	YES 3248	YES 82	YES 53	YES 758	YES 497	YES 40
tpdb-8.0/TRS/SK90/2.37.xml	YES 1144	YES 3288	YES 73	YES 53	YES 591	YES 590	YES 33
tpdb-8.0/TRS/SK90/2.38.xml	YES 1095	YES 3357	YES 58	YES 54	YES 676	YES 509	YES 43
tpdb-8.0/TRS/SK90/2.39.xml	YES 1362	YES 3501	YES 59	YES 61	YES 932	YES 2365	YES 78
tpdb-8.0/TRS/SK90/2.40.xml	YES 1277	YES 3452	YES 57	YES 86	YES 716	YES 1013	YES 162
tpdb-8.0/TRS/SK90/2.41.xml	YES 1086	YES 3316	YES 60	YES 56	YES 693	YES 503	YES 69
tpdb-8.0/TRS/SK90/2.42.xml	YES 1239	YES 3971	YES 71	YES 64	YES 1505	YES 946	YES 304
tpdb-8.0/TRS/SK90/2.43.xml	YES 1375	YES 3894	YES 61	YES 107	YES 1018	YES 2587	YES 296
tpdb-8.0/TRS/SK90/2.44.xml	YES 1622	YES 4604	YES 88	YES 80	YES 1394	YES 1862	YES 422
tpdb-8.0/TRS/SK90/2.45.xml	YES 1445	YES 4548	YES 57	YES 106	YES 1571	YES 5640	YES 534
tpdb-8.0/TRS/SK90/2.46.xml	YES 1442	YES 3487	YES 116	YES 94	YES 1201	YES 583	YES 44
tpdb-8.0/TRS/SK90/2.47.xml	YES 1004	YES 3431	YES 42	YES 51	YES 988	YES 548	YES 30
tpdb-8.0/TRS/SK90/2.48.xml	YES 1035	YES 3307	YES 55	YES 56	YES 1220	YES 663	YES 42
tpdb-8.0/TRS/SK90/2.49.xml	YES 1037	YES 3500	YES 59	YES 60	YES 1529	YES 698	YES 125
tpdb-8.0/TRS/SK90/2.50.xml	YES 1016	YES 3440	YES 42	YES 84	YES 764	YES 626	YES 38
tpdb-8.0/TRS/SK90/2.51.xml	YES 1203	YES 3417	YES 58	YES 77	YES 685	YES 1069	YES 120
tpdb-8.0/TRS/SK90/2.52.xml	YES 1484	YES 4389	YES 73	YES 132	YES 951	YES 2458	YES 707
tpdb-8.0/TRS/SK90/2.53.xml	YES 1065	YES 3304	YES 56	YES 54	YES 592	YES 507	YES 52
tpdb-8.0/TRS/SK90/2.54.xml	YES 1170	YES 3284	YES 55	YES 52	YES 573	YES 625	YES 47
tpdb-8.0/TRS/SK90/2.55.xml	YES 1131	YES 3202	YES 55	YES 52	YES 581	YES 638	YES 47
tpdb-8.0/TRS/SK90/2.56.xml	YES 1087	YES 3195	YES 42	YES 52	YES 619	YES 497	YES 36
tpdb-8.0/TRS/SK90/2.57.xml	YES 1143	YES 3396	YES 42	YES 55	YES 676	YES 702	YES 78
tpdb-8.0/TRS/SK90/2.58.xml	YES 1271	YES 3404	YES 55	YES 94	YES 664	YES 629	YES 46
tpdb-8.0/TRS/SK90/2.59.xml	YES 1152	YES 3302	YES 43	YES 87	YES 650	YES 1587	YES 54
tpdb-8.0/TRS/SK90/2.60.xml	YES 1179	YES 3247	YES 42	YES 78	YES 611	YES 585	YES 77
tpdb-8.0/TRS/SK90/2.61.xml	YES 1104	YES 3302	YES 63	YES 64	YES 897	YES 546	YES 143
tpdb-8.0/TRS/SK90/4.01.xml	YES 1075	YES 3259	YES 55	YES 53	YES 678	YES 503	YES 47
tpdb-8.0/TRS/SK90/4.02.xml	YES 1390	YES 3731	YES 3610	YES 360	YES 1174	MAYBE 48057	YES 453
tpdb-8.0/TRS/SK90/4.03.xml	YES 1353	YES 3553	YES 60	YES 94	YES 832	YES 1632	YES 174
tpdb-8.0/TRS/SK90/4.04.xml	YES 1133	YES 3291	YES 56	YES 54	YES 699	YES 497	YES 40
tpdb-8.0/TRS/SK90/4.05.xml	YES 1342	YES 3446	YES 58	YES 86	YES 722	YES 1170	YES 111
tpdb-8.0/TRS/SK90/4.06.xml	NO 2056	NO 4152	NO 578	NO 815	NO 833	NO 502	MAYBE 321
tpdb-8.0/TRS/SK90/4.07.xml	YES 1103	YES 3315	YES 56	YES 57	YES 638	YES 539	YES 43
tpdb-8.0/TRS/SK90/4.08.xml	YES 1123	YES 3278	YES 55	YES 54	YES 578	YES 693	YES 35
tpdb-8.0/TRS/SK90/4.09.xml	YES 1300	YES 3421	YES 60	YES 68	YES 856	YES 1435	YES 174
tpdb-8.0/TRS/SK90/4.10.xml	YES 1365	YES 3576	YES 58	YES 94	YES 758	YES 1331	YES 162
tpdb-8.0/TRS/SK90/4.11.xml	YES 1079	YES 3315	YES 57	YES 53	YES 652	YES 513	YES 44
tpdb-8.0/TRS/SK90/4.12.xml	YES 1207	YES 3437	YES 77	YES 53	YES 730	YES 864	YES 79
tpdb-8.0/TRS/SK90/4.13.xml	YES 1391	YES 3915	YES 96	YES 72	YES 1102	YES 2253	MAYBE 467
tpdb-8.0/TRS/SK90/4.14.xml	YES 1308	YES 3680	YES 63	YES 99	YES 1030	YES 2079	YES 214
tpdb-8.0/TRS/SK90/4.15.xml	YES 1091	YES 3254	YES 55	YES 52	YES 639	YES 500	YES 36
tpdb-8.0/TRS/SK90/4.16.xml	YES 1266	YES 3720	YES 65	YES 79	YES 831	YES 1119	YES 113
tpdb-8.0/TRS/SK90/4.17.xml	YES 1821	YES 3679	YES 297	YES 73	YES 928	YES 816	MAYBE 258
tpdb-8.0/TRS/SK90/4.18.xml	YES 1313	YES 3829	YES 55	YES 62	YES 852	YES 1375	YES 137
tpdb-8.0/TRS/SK90/4.19.xml	YES 1075	YES 3224	YES 99	YES 53	YES 622	YES 515	YES 32
tpdb-8.0/TRS/SK90/4.20.xml	YES 1311	YES 3487	YES 59	YES 89	YES 754	YES 1207	YES 187
tpdb-8.0/TRS/SK90/4.21.xml	YES 1271	YES 3411	YES 60	YES 94	YES 787	YES 1412	YES 199
tpdb-8.0/TRS/SK90/4.22.xml	YES 1265	YES 3610	YES 65	YES 93	YES 778	YES 1462	YES 152
tpdb-8.0/TRS/SK90/4.23.xml	YES 1232	YES 3411	YES 59	YES 64	YES 745	YES 1077	YES 199
tpdb-8.0/TRS/SK90/4.24.xml	YES 1683	YES 4451	TIMEOUT 60085	YES 109	YES 1260	YES 3147	MAYBE 888
tpdb-8.0/TRS/SK90/4.25.xml	YES 1101	YES 3311	YES 56	YES 53	YES 714	YES 509	YES 91
tpdb-8.0/TRS/SK90/4.26.xml	YES 1402	YES 3748	YES 61	YES 65	YES 999	YES 1838	YES 207
tpdb-8.0/TRS/SK90/4.27.xml	YES 1475	YES 4163	YES 59	YES 142	YES 1197	YES 1688	YES 221
tpdb-8.0/TRS/SK90/4.28.xml	YES 1448	YES 4014	YES 63	YES 221	YES 1276	YES 6071	YES 557
tpdb-8.0/TRS/SK90/4.29.xml	YES 1086	YES 3825	YES 57	YES 55	YES 829	YES 502	YES 153
tpdb-8.0/TRS/SK90/4.30.xml	YES 1691	YES 3972	YES 95	YES 90	YES 1352	YES 2407	YES 392
tpdb-8.0/TRS/SK90/4.31.xml	YES 1352	YES 3746	YES 83	YES 75	YES 916	YES 1895	YES 166
tpdb-8.0/TRS/SK90/4.32.xml	YES 2464	YES 4662	YES 8690	YES 92	YES 2096	YES 2158	YES 358
tpdb-8.0/TRS/SK90/4.33.xml	YES 996	YES 3160	YES 160	YES 50	YES 775	YES 546	YES 42
tpdb-8.0/TRS/SK90/4.34.xml	NO 992	NO 13327	TIMEOUT 60093	NO 105	NO 782	NO 723	MAYBE 254
tpdb-8.0/TRS/SK90/4.35.xml	YES 1006	YES 3079	YES 43	YES 58	YES 768	YES 677	YES 48
tpdb-8.0/TRS/SK90/4.36.xml	YES 1002	YES 3146	YES 42	YES 52	YES 796	YES 660	YES 52
tpdb-8.0/TRS/SK90/4.37.xml	YES 1005	YES 3170	YES 41	YES 51	YES 722	YES 573	YES 38
tpdb-8.0/TRS/SK90/4.38.xml	YES 1107	YES 3359	YES 58	YES 59	YES 684	YES 504	YES 59
tpdb-8.0/TRS/SK90/4.39.xml	YES 1144	YES 3301	YES 76	YES 52	YES 607	YES 603	YES 39
tpdb-8.0/TRS/SK90/4.40.xml	NO 3521	NO 5028	MAYBE 1109	MAYBE 14338	MAYBE 13756	NO 499	MAYBE 533
tpdb-8.0/TRS/SK90/4.41.xml	YES 1391	YES 3277	YES 79	YES 61	YES 884	YES 751	YES 79
tpdb-8.0/TRS/SK90/4.42.xml	YES 1345	YES 3943	YES 60	YES 89	YES 794	YES 1249	YES 169
tpdb-8.0/TRS/SK90/4.43.xml	YES 1355	YES 3604	YES 83	YES 71	YES 877	YES 2884	YES 157
tpdb-8.0/TRS/SK90/4.44.xml	YES 999	YES 3197	YES 89	YES 67	YES 660	YES 848	YES 78
tpdb-8.0/TRS/SK90/4.45.xml	YES 1062	YES 3171	YES 43	YES 51	YES 565	YES 507	YES 31
tpdb-8.0/TRS/SK90/4.46.xml	YES 998	YES 3149	YES 45	YES 59	YES 630	YES 604	YES 48
tpdb-8.0/TRS/SK90/4.47.xml	YES 2245	YES 3919	YES 57	YES 125	YES 686	YES 849	YES 240
tpdb-8.0/TRS/SK90/4.48.xml	YES 1100	YES 3256	YES 57	YES 52	YES 602	YES 502	YES 45
tpdb-8.0/TRS/SK90/4.49.xml	NO 1762	NO 3890	NO 55	NO 208	NO 493	NO 397	MAYBE 701
tpdb-8.0/TRS/SK90/4.50.xml	YES 1163	YES 3180	YES 46	MAYBE 191	YES 636	YES 513	MAYBE 95
tpdb-8.0/TRS/SK90/4.51.xml	YES 1422	YES 3510	YES 94	YES 74	YES 779	YES 890	MAYBE 269
tpdb-8.0/TRS/SK90/4.52.xml	YES 1105	YES 3499	YES 62	YES 55	YES 869	YES 498	YES 133
tpdb-8.0/TRS/SK90/4.53.xml	YES 1276	YES 3425	YES 57	YES 95	YES 837	YES 5612	YES 160
tpdb-8.0/TRS/SK90/4.54.xml	NO 7888	NO 5490	TIMEOUT 60079	MAYBE 255	NO 795	NO 497	MAYBE 10734
tpdb-8.0/TRS/SK90/4.55.xml	YES 1314	YES 3440	YES 159	MAYBE 73	YES 665	MAYBE 7412	MAYBE 79
tpdb-8.0/TRS/SK90/4.56.xml	YES 1206	YES 3215	YES 43	YES 58	YES 643	YES 515	YES 61
tpdb-8.0/TRS/SK90/4.57.xml	YES 1359	YES 3999	YES 58	YES 67	YES 880	YES 1260	YES 208
tpdb-8.0/TRS/SK90/4.59.xml	YES 1473	YES 4599	YES 116	YES 108	YES 1174	YES 2652	YES 281
tpdb-8.0/TRS/SK90/4.60.xml	YES 1761	YES 4919	YES 90	YES 118	YES 1180	YES 6091	YES 277
tpdb-8.0/TRS/SK90/4.61.xml	YES 1882	YES 5745	YES 13217	YES 220	YES 2136	YES 6567	MAYBE 2259
tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml	NO 1711	NO 3811	MAYBE 254	MAYBE 277	NO 794	NO 501	MAYBE 170
tpdb-8.0/TRS/Strategy_removed_AG01/#4.13.xml	NO 3661	NO 6648	MAYBE 146	MAYBE 193	MAYBE 10980	MAYBE 7415	MAYBE 121
tpdb-8.0/TRS/Strategy_removed_AG01/#4.14.xml	NO 1731	NO 4295	MAYBE 409	NO 112	NO 686	NO 500	MAYBE 236
tpdb-8.0/TRS/Strategy_removed_AG01/#4.15.xml	NO 1912	NO 6556	MAYBE 1069	NO 207	NO 750	NO 496	MAYBE 944
tpdb-8.0/TRS/Strategy_removed_AG01/#4.16.xml	NO 1947	NO 3700	NO 159	NO 88	NO 651	NO 493	MAYBE 161
tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml	NO 2244	NO 15247	MAYBE 7018	MAYBE 212	NO 1512	NO 492	MAYBE 1425
tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml	NO 997	NO 13354	TIMEOUT 60091	MAYBE 180	NO 841	NO 751	MAYBE 1136
tpdb-8.0/TRS/Strategy_removed_AG01/#4.19.xml	TIMEOUT 60562	TIMEOUT 60501	TIMEOUT 60090	MAYBE 248	MAYBE 9883	MAYBE 7612	MAYBE 514
tpdb-8.0/TRS/Strategy_removed_AG01/#4.20a.xml	YES 1008	YES 3420	YES 74	YES 59	YES 663	YES 691	YES 111
tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml	YES 984	YES 3487	YES 42	YES 53	YES 584	YES 622	YES 60
tpdb-8.0/TRS/Strategy_removed_AG01/#4.21.xml	YES 1008	YES 3476	YES 43	YES 54	YES 615	YES 675	YES 85
tpdb-8.0/TRS/Strategy_removed_AG01/#4.22.xml	YES 1295	YES 3803	YES 57	YES 86	YES 724	YES 973	YES 127
tpdb-8.0/TRS/Strategy_removed_AG01/#4.23.xml	YES 1593	YES 4137	YES 78	YES 98	YES 822	YES 1484	YES 249
tpdb-8.0/TRS/Strategy_removed_AG01/#4.25.xml	YES 1325	YES 3661	YES 155	MAYBE 92	MAYBE 6881	MAYBE 7420	MAYBE 84
tpdb-8.0/TRS/Strategy_removed_AG01/#4.26.xml	YES 2227	YES 4436	YES 118	YES 130	YES 1101	YES 1393	MAYBE 505
tpdb-8.0/TRS/Strategy_removed_AG01/#4.27.xml	YES 1449	YES 4273	YES 94	YES 102	YES 1168	YES 1556	MAYBE 655
tpdb-8.0/TRS/Strategy_removed_AG01/#4.28.xml	YES 1027	YES 4072	YES 98	YES 69	YES 1124	YES 1400	MAYBE 366
tpdb-8.0/TRS/Strategy_removed_AG01/#4.29.xml	YES 1944	YES 5552	YES 179	YES 131	YES 1847	YES 2923	MAYBE 1562
tpdb-8.0/TRS/Strategy_removed_AG01/#4.2.xml	NO 2028	NO 10408	MAYBE 1139	MAYBE 121	NO 689	NO 498	MAYBE 721
tpdb-8.0/TRS/Strategy_removed_AG01/#4.30a.xml	YES 2086	YES 4783	YES 242	MAYBE 479	YES 7659	MAYBE 7423	MAYBE 790
tpdb-8.0/TRS/Strategy_removed_AG01/#4.30b.xml	YES 4488	YES 33918	YES 3400	MAYBE 818	YES 8552	MAYBE 11972	MAYBE 3161
tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml	YES 2041	YES 48408	YES 3709	MAYBE 370	YES 8881	MAYBE 49820	MAYBE 2540
tpdb-8.0/TRS/Strategy_removed_AG01/#4.30.xml	YES 4687	YES 26991	YES 5429	MAYBE 260	MAYBE 18448	MAYBE 7425	MAYBE 744
tpdb-8.0/TRS/Strategy_removed_AG01/#4.32.xml	YES 1310	YES 3875	YES 58	YES 96	YES 838	YES 867	YES 131
tpdb-8.0/TRS/Strategy_removed_AG01/#4.33.xml	YES 1667	YES 5064	YES 121	YES 78	YES 2124	YES 2566	YES 418
tpdb-8.0/TRS/Strategy_removed_AG01/#4.34.xml	YES 1642	YES 4130	YES 114	YES 106	YES 1169	YES 2254	YES 282
tpdb-8.0/TRS/Strategy_removed_AG01/#4.35.xml	YES 2528	YES 7370	YES 333	YES 127	YES 3212	YES 7182	YES 4165
tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml	YES 2105	YES 6236	YES 175	YES 181	YES 2690	YES 4150	YES 1161
tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml	YES 1432	YES 3399	YES 90	YES 67	YES 907	YES 1153	YES 199
tpdb-8.0/TRS/Strategy_removed_AG01/#4.37.xml	YES 1347	YES 3317	YES 88	YES 61	YES 783	YES 828	YES 166
tpdb-8.0/TRS/Strategy_removed_AG01/#4.3.xml	NO 1512	NO 3562	MAYBE 143	MAYBE 198	MAYBE 11091	MAYBE 7413	MAYBE 112
tpdb-8.0/TRS/Strategy_removed_AG01/#4.4.xml	NO 1616	NO 3613	MAYBE 167	MAYBE 89	NO 659	NO 495	MAYBE 190
tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml	NO 1857	NO 14264	MAYBE 864	NO 117	NO 1561	NO 502	MAYBE 232
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml	NO 2382	NO 4849	NO 925	NO 134	NO 507	NO 405	MAYBE 1392
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml	NO 2134	NO 3612	NO 704	NO 127	NO 495	NO 391	MAYBE 132
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex14_AEGL02.xml	NO 2125	NO 3762	NO 823	NO 126	NO 492	NO 389	MAYBE 193
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex15_Luc98.xml	NO 2344	NO 4035	NO 712	NO 164	NO 501	NO 398	MAYBE 399
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GL02a.xml	NO 2348	NO 3996	NO 58	NO 163	NO 504	NO 397	MAYBE 465
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM03.xml	NO 1780	NO 4143	NO 264	NO 117	NO 500	NO 400	MAYBE 410
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml	NO 1497	NO 3518	MAYBE 144	MAYBE 193	NO 597	NO 506	MAYBE 100
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml	NO 2235	NO 4004	NO 824	NO 127	NO 495	NO 395	MAYBE 376
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml	NO 1439	NO 3873	NO 473	NO 74	NO 610	NO 492	MAYBE 138
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex24_GM04.xml	NO 1624	NO 3519	MAYBE 261	MAYBE 192	MAYBE 7074	MAYBE 7411	MAYBE 103
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml	NO 2356	NO 4425	NO 1114	NO 169	NO 503	NO 401	MAYBE 564
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex2_Luc03b.xml	NO 2378	NO 4088	NO 946	NO 159	NO 501	NO 398	MAYBE 385
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml	NO 2126	NO 3765	NO 907	NO 127	NO 494	NO 391	MAYBE 230
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml	NO 2397	NO 4389	NO 931	NO 173	NO 504	NO 403	MAYBE 563
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml	NO 2419	NO 4137	NO 726	NO 163	NO 501	NO 399	MAYBE 484
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml	NO 1615	NO 3643	TIMEOUT 60037	NO 79	NO 489	NO 389	MAYBE 156
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml	NO 2615	NO 14470	NO 3240	NO 95	NO 683	NO 503	MAYBE 280
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml	NO 2476	NO 4463	NO 2003	NO 129	NO 508	NO 411	MAYBE 744
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml	NO 2131	NO 3766	NO 726	NO 127	NO 528	NO 391	MAYBE 205
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml	NO 1825	NO 3533	NO 45	NO 72	NO 485	NO 387	MAYBE 70
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml	YES 1419	YES 4438	YES 81	YES 106	YES 1055	YES 2155	YES 225
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_Zan97.xml	NO 1869	NO 4205	NO 421	NO 119	NO 497	NO 400	MAYBE 328
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml	NO 2528	NO 5119	NO 62	NO 184	NO 514	NO 416	MAYBE 1083
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml	NO 2233	NO 3598	NO 139	NO 127	NO 492	NO 391	MAYBE 128
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_15_AEL02.xml	NO 2600	NO 6276	NO 64	NO 178	NO 513	NO 419	MAYBE 1877
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml	NO 2189	NO 3698	NO 726	NO 135	NO 498	NO 393	MAYBE 186
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml	NO 1389	NO 3618	NO 43	NO 76	NO 490	NO 432	MAYBE 91
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml	NO 2168	NO 3824	NO 719	NO 161	NO 497	NO 396	MAYBE 222
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex7_BLR02.xml	NO 2324	NO 4120	NO 1049	NO 127	NO 496	NO 399	MAYBE 454
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex8_BLR02.xml	NO 1852	NO 4233	NO 379	NO 132	NO 500	NO 399	MAYBE 488
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex9_BLR02.xml	NO 2433	NO 5027	NO 726	NO 133	NO 504	NO 401	MAYBE 767
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml	NO 2513	NO 5124	NO 934	NO 148	NO 517	NO 417	MAYBE 1746
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml	NO 977	NO 3748	NO 42	NO 67	NO 490	NO 392	MAYBE 88
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml	NO 2010	NO 4114	NO 59	NO 125	NO 503	NO 400	MAYBE 285
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml	NO 1980	NO 3973	NO 58	NO 87	NO 492	NO 393	MAYBE 248
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM99.xml	NO 2498	NO 5111	NO 732	NO 144	NO 505	NO 408	MAYBE 4195
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml	NO 2295	NO 4314	NO 346	NO 113	NO 501	NO 398	MAYBE 521
tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml	YES 12792	TIMEOUT 60875	MAYBE 476	MAYBE 208	MAYBE 7848	MAYBE 7413	MAYBE 247
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml	NO 1432	NO 3742	NO 43	NO 70	NO 493	NO 393	MAYBE 112
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml	NO 2123	NO 3634	NO 42	NO 124	NO 496	NO 392	MAYBE 119
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml	NO 1425	NO 3749	NO 42	NO 71	NO 492	NO 390	MAYBE 114
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml	NO 1379	NO 4155	NO 170	NO 73	NO 684	NO 493	MAYBE 129
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml	NO 1458	NO 3861	NO 43	NO 69	NO 487	NO 390	MAYBE 96
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml	NO 2000	NO 4864	TIMEOUT 60064	NO 109	NO 897	NO 500	MAYBE 139
tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml	NO 2467	NO 4868	NO 61	NO 170	NO 508	NO 404	MAYBE 694
tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml	NO 1626	NO 3616	NO 149	NO 79	NO 707	NO 496	MAYBE 102
tpdb-8.0/TRS/Strategy_removed_mixed_05/muladd.xml	NO 1675	NO 6262	NO 332	NO 146	NO 697	NO 495	MAYBE 1876
tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml	NO 1002	NO 13429	NO 1197	NO 87	NO 831	NO 807	MAYBE 308
tpdb-8.0/TRS/Strategy_removed_mixed_05/test10.xml	NO 8590	NO 4560	MAYBE 22418	NO 177	NO 921	NO 491	MAYBE 366
tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml	NO 1712	NO 3962	MAYBE 166	NO 464	NO 832	NO 501	MAYBE 141
tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml	NO 4061	NO 7846	MAYBE 295	MAYBE 143	MAYBE 12507	MAYBE 7420	MAYBE 254
tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml	NO 9183	NO 15110	MAYBE 296	MAYBE 145	MAYBE 12184	MAYBE 7422	MAYBE 290
tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml	YES 1306	YES 3501	YES 77	YES 66	YES 853	YES 887	YES 103
tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml	NO 1819	NO 4108	MAYBE 262	MAYBE 276	NO 790	NO 495	MAYBE 213
tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml	NO 1555	NO 3600	MAYBE 150	MAYBE 192	MAYBE 10843	MAYBE 7411	MAYBE 109
tpdb-8.0/TRS/Strategy_removed_mixed_05/tricky1.xml	YES 1289	YES 3605	YES 57	YES 57	YES 840	YES 1183	YES 213
tpdb-8.0/TRS/TCT_12/polycounter-10.xml	YES 1870	YES 4598	YES 168	YES 206	YES 737	YES 934	YES 2794
tpdb-8.0/TRS/TCT_12/polycounter-5.xml	YES 1337	YES 3698	YES 69	YES 117	YES 686	YES 675	YES 72
tpdb-8.0/TRS/TCT_12/recursion-10.xml	YES 1681	YES 4512	YES 90	YES 132	YES 1360	YES 4590	YES 1178
tpdb-8.0/TRS/TCT_12/recursion-5.xml	YES 1401	YES 3967	YES 68	YES 105	YES 979	YES 2796	YES 393
tpdb-8.0/TRS/TCT_12/sat.xml	YES 1502	YES 4256	YES 77	YES 114	YES 1133	YES 2864	YES 665
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml	YES 1797	TIMEOUT 61516	TIMEOUT 60058	YES 3678	TIMEOUT 60043	MAYBE 59777	MAYBE 9532
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml	YES 1627	YES 4547	YES 71	YES 126	YES 1299	YES 3593	YES 1049
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml	YES 32246	TIMEOUT 61492	TIMEOUT 60055	YES 1188	TIMEOUT 60092	MAYBE 59640	MAYBE 29449
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml	YES 24662	TIMEOUT 62427	TIMEOUT 60056	YES 2259	TIMEOUT 60041	MAYBE 59870	MAYBE 9296
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml	NO 915	NO 3000	NO 57	NO 45	NO 498	NO 403	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_Z.xml	YES 1573	YES 4492	YES 68	YES 112	YES 1224	YES 3261	YES 935
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml	YES 1783	YES 5790	YES 156	YES 171	YES 1624	YES 4703	YES 392
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml	YES 1295	YES 3649	YES 60	YES 99	YES 859	YES 3275	YES 223
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml	YES 2808	YES 5068	YES 500	YES 93	YES 2423	YES 3982	MAYBE 691
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml	YES 3599	YES 6028	YES 1120	YES 202	YES 2522	YES 4120	MAYBE 1196
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml	NO 880	NO 2988	NO 41	NO 44	NO 483	NO 385	NO 19
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml	YES 1221	YES 3598	YES 57	YES 59	YES 813	YES 1044	YES 79
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml	YES 1293	YES 8775	TIMEOUT 60035	YES 2176	YES 4965	YES 9924	MAYBE 1827
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_FR.xml	NO 3227	NO 5784	TIMEOUT 60031	NO 207	MAYBE 13366	MAYBE 33801	MAYBE 784
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_GM.xml	YES 1683	YES 4311	YES 94	YES 135	YES 1945	YES 3085	YES 368
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_iGM.xml	YES 2996	YES 5465	YES 913	YES 223	YES 3462	YES 5808	YES 1023
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_L.xml	NO 1375	NO 3636	NO 217	NO 230	NO 640	NO 498	MAYBE 97
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_Z.xml	NO 2427	NO 4917	MAYBE 16996	NO 168	NO 1443	NO 1000	MAYBE 611
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml	YES 1649	TIMEOUT 60930	TIMEOUT 60030	MAYBE 12489	MAYBE 24871	MAYBE 59573	MAYBE 1590
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml	NO 2104	NO 3908	MAYBE 2173	NO 107	NO 844	NO 501	MAYBE 196
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_GM.xml	TIMEOUT 60672	NO 25756	TIMEOUT 60037	NO 243	NO 1313	MAYBE 7429	MAYBE 455
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_iGM.xml	TIMEOUT 60556	TIMEOUT 60809	TIMEOUT 60036	MAYBE 1495	MAYBE 18268	MAYBE 59576	MAYBE 1562
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_L.xml	NO 1405	NO 3955	NO 367	NO 268	NO 664	NO 487	MAYBE 147
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml	YES 1272	YES 5144	YES 27051	YES 461	YES 1606	YES 984	MAYBE 1507
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml	YES 1036	YES 3470	YES 58	YES 73	YES 741	YES 854	YES 165
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml	YES 1024	YES 3522	YES 73	YES 67	YES 721	YES 980	YES 77
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml	YES 1096	YES 3972	YES 84	YES 118	YES 908	YES 1763	YES 304
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_L.xml	NO 1323	NO 3707	NO 42	NO 65	NO 492	NO 388	MAYBE 24
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml	YES 1030	YES 3318	YES 58	YES 62	YES 676	YES 682	YES 130
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml	YES 1340	YES 14263	YES 278	YES 458	YES 4188	YES 11118	YES 2484
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml	YES 2618	YES 6741	YES 2124	YES 121	YES 3825	YES 8371	MAYBE 2646
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml	YES 1781	YES 4249	YES 267	YES 90	YES 977	YES 1436	YES 876
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml	YES 4130	YES 8409	YES 1043	YES 257	YES 4357	YES 7171	YES 2902
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml	NO 901	NO 2966	NO 43	NO 46	NO 497	NO 398	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml	YES 1535	YES 4687	YES 215	YES 106	YES 1456	YES 5714	YES 596
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml	YES 1257	YES 35999	TIMEOUT 60034	MAYBE 2000	MAYBE 12854	MAYBE 59538	MAYBE 930
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_FR.xml	YES 1214	YES 3571	YES 42	MAYBE 244	YES 694	YES 602	MAYBE 85
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml	YES 1248	YES 3686	YES 58	MAYBE 246	YES 765	YES 957	MAYBE 125
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml	YES 2370	YES 8985	TIMEOUT 60033	MAYBE 517	YES 2090	MAYBE 12538	MAYBE 709
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_L.xml	NO 1425	NO 3788	NO 139	NO 124	NO 490	NO 390	MAYBE 55
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml	YES 1261	YES 4325	YES 111	YES 169	YES 1597	YES 947	YES 591
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml	YES 1075	YES 3437	YES 64	YES 54	YES 773	YES 502	YES 90
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml	YES 1025	YES 3516	YES 56	YES 65	YES 755	YES 833	YES 94
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml	YES 1142	YES 4289	YES 94	YES 116	YES 975	YES 1853	YES 408
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_L.xml	YES 989	YES 3038	YES 43	YES 51	YES 574	YES 500	YES 28
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml	YES 1012	YES 3413	YES 55	YES 53	YES 649	YES 517	YES 57
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml	YES 1341	YES 13514	YES 11066	YES 3077	YES 8003	YES 12237	MAYBE 3449
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml	TIMEOUT 60429	TIMEOUT 61899	TIMEOUT 60034	MAYBE 824	MAYBE 20111	MAYBE 59547	MAYBE 2429
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml	YES 1458	YES 4248	YES 66	YES 118	YES 1127	YES 4874	YES 621
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_iGM.xml	YES 3157	YES 7601	YES 1717	YES 318	YES 4109	YES 15112	YES 1113
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml	NO 1774	NO 3458	NO 43	NO 72	NO 489	NO 389	MAYBE 42
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_Z.xml	NO 15559	TIMEOUT 63300	TIMEOUT 60033	MAYBE 1809	MAYBE 18361	MAYBE 59540	MAYBE 2012
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_C.xml	TIMEOUT 60721	TIMEOUT 61502	TIMEOUT 60060	MAYBE 4983	TIMEOUT 60091	MAYBE 59661	MAYBE 6338
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_FR.xml	TIMEOUT 60503	TIMEOUT 61233	TIMEOUT 60034	MAYBE 643	MAYBE 18237	MAYBE 59493	MAYBE 44298
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml	TIMEOUT 60520	TIMEOUT 62454	TIMEOUT 60041	MAYBE 902	MAYBE 23774	MAYBE 59488	TIMEOUT 60058
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml	TIMEOUT 60329	TIMEOUT 61535	TIMEOUT 60056	MAYBE 3548	MAYBE 50976	MAYBE 59662	MAYBE 7276
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml	NO 899	NO 2963	NO 55	NO 45	NO 498	NO 396	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml	NO 1780	NO 4281	NO 58	NO 114	NO 506	NO 403	MAYBE 590
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_C.xml	YES 1287	TIMEOUT 61562	TIMEOUT 60048	MAYBE 2850	MAYBE 17454	MAYBE 59562	MAYBE 1272
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_FR.xml	NO 1624	NO 3814	MAYBE 151	MAYBE 196	NO 817	NO 510	MAYBE 252
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml	NO 2869	NO 7458	MAYBE 3815	MAYBE 165	MAYBE 12157	MAYBE 25002	MAYBE 438
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_iGM.xml	NO 8561	NO 17294	TIMEOUT 60040	TIMEOUT 60031	MAYBE 15761	MAYBE 59482	MAYBE 1117
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml	NO 1367	NO 3728	NO 42	NO 70	NO 489	NO 391	MAYBE 52
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml	YES 1533	TIMEOUT 61436	TIMEOUT 60038	YES 949	TIMEOUT 60076	MAYBE 59668	MAYBE 2970
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_FR.xml	YES 1798	YES 4554	YES 169	YES 103	YES 2525	YES 7067	YES 509
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml	TIMEOUT 60368	TIMEOUT 61192	TIMEOUT 60038	YES 277	MAYBE 22913	MAYBE 59499	MAYBE 2675
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_iGM.xml	TIMEOUT 60370	TIMEOUT 60032	TIMEOUT 60038	YES 790	MAYBE 42679	MAYBE 59604	MAYBE 3076
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml	NO 896	NO 2975	NO 42	NO 47	NO 493	NO 396	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml	YES 1441	YES 3878	YES 61	YES 88	YES 1005	YES 5775	YES 303
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml	YES 1348	YES 9636	YES 2815	YES 411	YES 3341	YES 8729	YES 2127
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_FR.xml	NO 4420	NO 15084	NO 2853	MAYBE 337	NO 1271	NO 518	MAYBE 896
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml	YES 2230	YES 5657	YES 869	YES 162	YES 3406	YES 6138	YES 1228
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_iGM.xml	YES 4842	YES 16891	YES 5192	YES 267	YES 5811	YES 13486	YES 2395
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml	NO 908	NO 3029	NO 43	NO 45	NO 495	NO 392	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml	NO 2019	NO 4017	NO 59	NO 88	NO 498	NO 399	MAYBE 347
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml	YES 2360	YES 21531	YES 16626	YES 458	YES 1298	YES 1063	MAYBE 895
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_FR.xml	NO 1514	NO 4238	MAYBE 4251	NO 99	NO 1027	NO 495	MAYBE 252
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml	YES 1029	YES 3246	YES 74	YES 55	YES 690	YES 517	YES 60
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml	YES 1077	YES 3880	YES 108	YES 89	YES 1017	YES 1560	YES 285
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml	NO 1314	NO 3608	NO 378	NO 232	NO 628	NO 495	MAYBE 86
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml	YES 1415	YES 4668	YES 133	YES 206	YES 1637	YES 1296	YES 1009
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml	YES 1125	YES 3642	YES 59	YES 64	YES 984	YES 506	YES 182
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml	YES 1022	YES 3542	YES 62	YES 57	YES 768	YES 1291	YES 120
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml	YES 1190	YES 4009	YES 88	YES 116	YES 1305	YES 2360	YES 449
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_L.xml	YES 989	YES 3059	YES 41	YES 50	YES 570	YES 504	YES 29
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml	YES 1036	YES 3434	YES 42	YES 53	YES 640	YES 551	YES 47
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_C.xml	YES 1276	TIMEOUT 60969	TIMEOUT 60056	MAYBE 4845	MAYBE 16959	MAYBE 59565	MAYBE 1095
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_FR.xml	TIMEOUT 60459	TIMEOUT 60713	MAYBE 331	MAYBE 149	MAYBE 8132	MAYBE 7417	MAYBE 307
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_GM.xml	NO 30699	NO 43635	MAYBE 143	MAYBE 198	MAYBE 7790	MAYBE 7421	MAYBE 254
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_iGM.xml	TIMEOUT 60588	TIMEOUT 60666	TIMEOUT 60034	TIMEOUT 60031	MAYBE 16546	MAYBE 39964	MAYBE 878
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_L.xml	NO 1336	NO 3728	NO 42	NO 69	NO 494	NO 392	MAYBE 35
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml	NO 13816	NO 21139	MAYBE 204	MAYBE 114	NO 1616	NO 1319	MAYBE 277
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml	YES 1218	YES 6018	TIMEOUT 60043	YES 1261	YES 5009	YES 9355	MAYBE 1445
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml	NO 1732	NO 4391	MAYBE 195	MAYBE 94	NO 766	NO 496	MAYBE 244
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml	NO 1789	NO 4655	MAYBE 189	MAYBE 94	NO 881	NO 490	MAYBE 252
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_iGM.xml	NO 9238	NO 19319	TIMEOUT 60033	TIMEOUT 60030	MAYBE 15748	MAYBE 59545	MAYBE 1880
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_L.xml	NO 1359	NO 3764	NO 139	NO 69	NO 491	NO 391	MAYBE 65
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml	YES 1353	YES 4646	YES 149	YES 245	YES 3585	YES 691	YES 590
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml	YES 1719	YES 4106	YES 241	YES 87	YES 3931	YES 1158	YES 255
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml	YES 1049	YES 3826	YES 65	YES 60	YES 1694	YES 2268	YES 258
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_iGM.xml	YES 4838	YES 7026	YES 221	YES 175	YES 2058	YES 4135	YES 559
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_L.xml	YES 987	YES 3061	YES 42	YES 51	YES 570	YES 494	YES 37
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml	YES 1164	YES 3236	YES 84	YES 60	YES 1471	YES 674	YES 108
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml	YES 1388	YES 16111	YES 320	YES 672	YES 6559	YES 13517	YES 3050
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml	YES 3514	YES 51325	TIMEOUT 60042	YES 270	MAYBE 25329	MAYBE 59543	MAYBE 3935
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_GM.xml	YES 2523	YES 7950	YES 280	YES 118	YES 4388	YES 9414	YES 1177
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_iGM.xml	YES 6301	YES 14546	YES 945	YES 277	YES 7530	YES 23265	YES 2169
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml	YES 1087	YES 3790	YES 74	YES 64	YES 702	YES 519	YES 42
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml	YES 4028	YES 7099	TIMEOUT 60039	YES 209	YES 3870	YES 8024	MAYBE 3246
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml	YES 1593	YES 15142	TIMEOUT 60346	YES 956	TIMEOUT 60043	MAYBE 59736	YES 4352
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml	YES 1910	YES 5154	YES 210	YES 140	YES 2626	YES 5646	YES 708
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml	YES 3175	YES 7426	TIMEOUT 60042	YES 458	MAYBE 25564	MAYBE 59514	YES 9037
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml	YES 4959	YES 12449	TIMEOUT 60052	YES 741	MAYBE 56901	MAYBE 59706	YES 3374
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml	YES 1299	YES 3616	YES 67	YES 97	YES 915	YES 2208	YES 216
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml	YES 1414	YES 4192	YES 64	YES 112	YES 1129	YES 3152	YES 414
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml	YES 1376	YES 8278	YES 297	YES 541	YES 3852	YES 8944	YES 2041
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_FR.xml	YES 2091	YES 5463	YES 558	YES 101	YES 4486	YES 8194	YES 1118
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml	YES 2124	YES 5365	YES 238	YES 96	YES 3840	YES 8861	YES 709
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_iGM.xml	YES 2902	YES 9657	YES 561	YES 220	YES 5175	YES 15725	YES 1465
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml	YES 1105	YES 3255	YES 57	YES 54	YES 597	YES 497	YES 46
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml	YES 1627	YES 4139	YES 111	YES 79	YES 1048	YES 2008	YES 525
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_C.xml	YES 1407	TIMEOUT 60843	TIMEOUT 60032	YES 564	MAYBE 33809	MAYBE 59595	MAYBE 2002
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml	YES 1277	YES 3645	YES 59	YES 77	YES 780	YES 1936	YES 206
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml	TIMEOUT 60457	TIMEOUT 60834	TIMEOUT 60041	YES 179	MAYBE 16596	MAYBE 59469	MAYBE 1180
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml	TIMEOUT 60422	TIMEOUT 60704	TIMEOUT 60038	YES 515	MAYBE 25034	MAYBE 59562	MAYBE 1908
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml	NO 895	NO 3018	NO 42	NO 45	NO 496	NO 394	NO 31
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml	YES 1270	YES 3440	YES 57	YES 66	YES 764	YES 5630	YES 148
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_C.xml	TIMEOUT 60796	TIMEOUT 62309	TIMEOUT 60043	YES 1131	TIMEOUT 60083	MAYBE 59731	MAYBE 3956
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml	TIMEOUT 60333	TIMEOUT 61584	TIMEOUT 60042	YES 535	MAYBE 32604	MAYBE 55818	MAYBE 8258
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_GM.xml	TIMEOUT 60371	TIMEOUT 61299	TIMEOUT 60039	YES 406	MAYBE 30726	MAYBE 59492	MAYBE 2194
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml	TIMEOUT 60466	TIMEOUT 61219	TIMEOUT 60049	YES 1020	MAYBE 56182	MAYBE 59683	MAYBE 3664
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml	NO 908	NO 3046	NO 42	NO 45	NO 497	NO 395	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_Z.xml	TIMEOUT 60411	TIMEOUT 62764	TIMEOUT 60042	YES 492	MAYBE 30499	MAYBE 59500	MAYBE 7918
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml	YES 1354	YES 15276	YES 271	YES 542	YES 4025	YES 10597	YES 2822
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml	NO 55724	TIMEOUT 61328	TIMEOUT 60064	MAYBE 1235	MAYBE 29144	MAYBE 59578	MAYBE 8305
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml	YES 2463	YES 6274	YES 403	YES 120	YES 3023	YES 10405	YES 1233
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml	YES 5078	YES 11451	YES 581	YES 215	YES 5305	YES 17321	YES 3479
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml	YES 1119	YES 3284	YES 62	YES 55	YES 697	YES 510	YES 62
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml	NO 2135	NO 4821	NO 62	NO 98	NO 514	NO 409	MAYBE 1146
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_C.xml	YES 1395	YES 4250	YES 138	YES 91	YES 1166	YES 1253	YES 197
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml	NO 3597	NO 6433	MAYBE 48849	MAYBE 314	NO 1097	NO 514	MAYBE 629
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml	YES 1654	YES 4091	YES 108	YES 71	YES 1940	YES 6052	YES 178
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml	YES 2203	YES 4313	YES 96	YES 112	YES 1094	YES 1967	YES 372
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml	YES 986	YES 3067	YES 42	YES 50	YES 688	YES 539	YES 30
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml	NO 2000	NO 4378	MAYBE 12805	NO 186	NO 791	NO 498	MAYBE 513
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml	YES 1298	YES 9231	YES 37510	YES 898	YES 3246	YES 9549	MAYBE 3847
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml	YES 1531	YES 4049	YES 78	YES 69	YES 978	YES 1398	YES 266
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml	YES 1571	YES 4541	YES 164	YES 77	YES 1298	YES 2196	YES 432
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml	YES 2929	YES 7529	YES 628	YES 199	YES 2419	YES 5266	YES 2478
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml	YES 1008	YES 3195	YES 73	YES 63	YES 705	YES 735	YES 97
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml	YES 1339	YES 3491	YES 75	YES 65	YES 750	YES 902	YES 148
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml	YES 1922	TIMEOUT 61595	TIMEOUT 60069	MAYBE 7753	TIMEOUT 60040	MAYBE 59752	MAYBE 7230
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml	YES 1886	YES 5736	YES 322	YES 157	YES 3220	YES 8437	YES 858
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml	TIMEOUT 60412	TIMEOUT 62762	TIMEOUT 60054	YES 630	MAYBE 40198	MAYBE 59574	MAYBE 7647
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml	TIMEOUT 60449	TIMEOUT 60564	TIMEOUT 60062	YES 2071	TIMEOUT 60045	MAYBE 59779	MAYBE 6339
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml	NO 910	NO 3053	NO 62	NO 45	NO 503	NO 403	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml	YES 1665	YES 4857	YES 101	YES 137	YES 1399	YES 5800	YES 537
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml	YES 1407	TIMEOUT 61088	TIMEOUT 60043	YES 557	MAYBE 31007	MAYBE 59591	MAYBE 1946
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml	YES 1265	YES 3569	YES 59	YES 76	YES 778	YES 5405	YES 179
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml	YES 4749	YES 21968	TIMEOUT 60049	YES 116	YES 2487	YES 3953	MAYBE 1114
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml	YES 5298	YES 56930	TIMEOUT 60039	YES 218	YES 5890	YES 12159	MAYBE 1786
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml	NO 885	NO 2940	NO 41	NO 44	NO 491	NO 415	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml	YES 1256	YES 3463	YES 62	YES 68	YES 750	YES 5590	YES 132
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml	YES 1224	YES 4736	YES 210	YES 195	YES 1688	YES 5410	YES 644
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml	YES 1083	YES 3226	YES 42	YES 53	YES 635	YES 507	YES 46
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml	YES 1092	YES 3416	YES 83	YES 56	YES 731	YES 506	YES 126
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml	YES 1655	YES 4966	YES 385	YES 158	YES 1328	YES 3307	YES 344
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml	NO 884	NO 2984	NO 41	NO 44	NO 492	NO 390	NO 19
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml	YES 1444	YES 10941	YES 4883	YES 594	TIMEOUT 60073	YES 17502	YES 3463
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_FR.xml	YES 6400	YES 57876	TIMEOUT 60086	YES 235	YES 6255	YES 10591	MAYBE 42822
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_GM.xml	YES 2738	YES 6102	YES 228	YES 200	YES 5385	YES 9402	YES 1085
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_iGM.xml	YES 5126	YES 12680	YES 581	YES 337	YES 10001	YES 15637	YES 4358
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml	NO 922	NO 2962	NO 42	NO 45	NO 494	NO 393	NO 22
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml	YES 1714	YES 5162	YES 123	YES 92	YES 1730	YES 2697	YES 607
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_C.xml	YES 2618	TIMEOUT 60034	TIMEOUT 60070	MAYBE 10896	TIMEOUT 60040	MAYBE 59814	MAYBE 15971
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_FR.xml	NO 7224	NO 19841	TIMEOUT 60042	NO 2476	NO 3406	NO 1911	MAYBE 14990
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_GM.xml	YES 10325	TIMEOUT 61484	TIMEOUT 60174	YES 2853	MAYBE 45231	YES 34644	MAYBE 11375
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml	YES 28758	TIMEOUT 61737	TIMEOUT 60053	MAYBE 31323	TIMEOUT 60046	MAYBE 59725	MAYBE 26537
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml	NO 932	NO 3038	NO 59	NO 45	NO 500	NO 405	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_Z.xml	NO 5354	NO 18229	TIMEOUT 60038	NO 1538	NO 3334	NO 1910	MAYBE 14336
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml	YES 1467	TIMEOUT 60836	TIMEOUT 60036	YES 714	MAYBE 42819	MAYBE 59610	MAYBE 2683
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml	YES 1294	YES 3632	YES 59	YES 110	YES 899	YES 2481	YES 255
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml	TIMEOUT 60543	TIMEOUT 60836	TIMEOUT 60038	YES 343	MAYBE 18364	MAYBE 59476	MAYBE 1708
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml	TIMEOUT 60427	TIMEOUT 60803	TIMEOUT 60044	YES 712	MAYBE 26293	MAYBE 59611	MAYBE 2572
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml	NO 902	NO 3142	NO 42	NO 45	NO 545	NO 391	NO 19
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml	YES 1297	YES 3614	YES 60	YES 109	YES 830	YES 5724	YES 205
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_C.xml	TIMEOUT 60987	TIMEOUT 62284	TIMEOUT 60057	YES 2170	TIMEOUT 60042	MAYBE 59821	MAYBE 6858
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_FR.xml	TIMEOUT 60628	TIMEOUT 61572	TIMEOUT 60046	YES 843	MAYBE 49805	MAYBE 59507	MAYBE 7724
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml	TIMEOUT 60456	TIMEOUT 60031	TIMEOUT 60043	YES 979	MAYBE 47644	MAYBE 59538	MAYBE 5018
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml	TIMEOUT 60435	TIMEOUT 61615	TIMEOUT 60047	YES 2739	TIMEOUT 60039	MAYBE 59838	MAYBE 6671
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml	NO 940	NO 3001	NO 58	NO 45	NO 510	NO 409	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_Z.xml	TIMEOUT 61443	TIMEOUT 61174	TIMEOUT 60041	YES 769	MAYBE 37649	MAYBE 59536	MAYBE 7480
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_C.xml	YES 1544	YES 20788	TIMEOUT 60045	YES 1393	TIMEOUT 60042	MAYBE 59743	YES 9279
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml	NO 8258	NO 19450	TIMEOUT 60037	MAYBE 885	MAYBE 17720	MAYBE 59520	MAYBE 3778
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml	YES 3046	YES 6418	YES 4468	YES 241	YES 3672	YES 9888	YES 3259
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml	YES 9781	YES 22330	YES 24391	YES 458	MAYBE 33422	YES 30720	YES 17501
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml	NO 910	NO 2982	NO 56	NO 45	NO 499	NO 401	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_Z.xml	NO 2896	NO 6654	NO 338	NO 340	NO 1621	NO 538	MAYBE 1109
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml	YES 1239	YES 8928	YES 4259	YES 266	YES 2926	YES 7189	YES 1003
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml	YES 1331	YES 3411	YES 106	YES 65	YES 1008	YES 1260	YES 127
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml	YES 1345	YES 3865	YES 1758	YES 113	YES 1363	YES 1298	YES 267
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml	YES 2432	YES 5287	YES 4895	YES 195	YES 1676	YES 3783	YES 888
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml	NO 893	NO 2936	NO 42	NO 44	NO 492	NO 385	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml	YES 1090	YES 3200	YES 76	YES 55	YES 668	YES 511	YES 100
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml	TIMEOUT 60853	TIMEOUT 61824	TIMEOUT 60055	MAYBE 15547	TIMEOUT 60047	MAYBE 59835	MAYBE 9854
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml	TIMEOUT 60371	NO 18014	TIMEOUT 60038	NO 629	TIMEOUT 60072	MAYBE 59513	MAYBE 4871
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml	TIMEOUT 60843	TIMEOUT 61347	TIMEOUT 60041	MAYBE 2257	TIMEOUT 60056	MAYBE 59682	MAYBE 12766
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml	TIMEOUT 60419	TIMEOUT 63493	TIMEOUT 60051	MAYBE 12603	TIMEOUT 60045	MAYBE 59744	MAYBE 10678
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml	NO 924	NO 3077	NO 80	NO 45	NO 514	NO 413	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_Z.xml	NO 8982	NO 14116	TIMEOUT 60034	NO 598	MAYBE 58807	MAYBE 59505	MAYBE 4328
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml	YES 1732	YES 5705	YES 194	YES 168	YES 2220	YES 2311	YES 612
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml	YES 1343	YES 3998	YES 64	YES 101	YES 936	YES 2378	YES 164
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml	YES 3076	YES 7254	YES 47675	YES 126	YES 3012	YES 5167	MAYBE 1647
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml	YES 7200	YES 14783	TIMEOUT 60041	YES 402	YES 5051	YES 11975	MAYBE 1815
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml	NO 899	NO 2943	NO 46	NO 45	NO 530	NO 393	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml	YES 1264	YES 3494	YES 57	YES 83	YES 1152	YES 2688	YES 115
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml	YES 1249	YES 4428	YES 113	YES 139	YES 1240	YES 1594	YES 290
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml	NO 1515	NO 4204	NO 414	NO 262	NO 770	NO 486	MAYBE 235
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml	YES 1007	YES 3209	YES 55	YES 53	YES 663	YES 510	YES 58
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml	YES 1046	YES 3445	YES 103	YES 83	YES 1204	YES 1590	YES 155
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml	YES 978	YES 3039	YES 42	YES 50	YES 571	YES 500	YES 35
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml	YES 1224	YES 7748	YES 183	YES 287	YES 2951	YES 7290	YES 1250
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_FR.xml	YES 1798	YES 4393	YES 171	YES 90	YES 2953	YES 3942	YES 388
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml	YES 2057	YES 4383	YES 140	YES 82	YES 2133	YES 4352	YES 545
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_iGM.xml	YES 2250	YES 5409	YES 334	YES 155	YES 3586	YES 5157	YES 867
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml	YES 1098	YES 3173	YES 42	YES 53	YES 581	YES 504	YES 34
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml	YES 1346	YES 3605	YES 58	YES 73	YES 775	YES 847	YES 203
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_C.xml	YES 1551	TIMEOUT 61277	TIMEOUT 60042	YES 1202	TIMEOUT 60053	MAYBE 59699	MAYBE 3695
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml	YES 1798	YES 4738	YES 318	YES 108	YES 2622	YES 6146	YES 625
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml	TIMEOUT 60353	TIMEOUT 61212	TIMEOUT 60040	YES 294	MAYBE 23599	MAYBE 59523	MAYBE 3443
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_iGM.xml	TIMEOUT 60496	TIMEOUT 61137	TIMEOUT 60046	YES 921	MAYBE 49544	MAYBE 59698	MAYBE 3655
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml	NO 899	NO 3019	NO 54	NO 45	NO 496	NO 392	NO 31
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_Z.xml	YES 1377	YES 3794	YES 62	YES 89	YES 1218	YES 5766	YES 381
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_C.xml	YES 1596	TIMEOUT 61483	TIMEOUT 60040	YES 1276	TIMEOUT 60041	MAYBE 59683	MAYBE 5509
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_FR.xml	YES 1389	YES 4122	YES 64	YES 126	YES 1017	YES 3401	YES 390
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml	TIMEOUT 60534	TIMEOUT 61189	TIMEOUT 60044	YES 598	MAYBE 27748	MAYBE 59502	TIMEOUT 60051
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_iGM.xml	TIMEOUT 60348	TIMEOUT 61113	TIMEOUT 60041	YES 1516	MAYBE 54755	MAYBE 59657	MAYBE 6294
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml	NO 920	NO 2984	NO 53	NO 44	NO 499	NO 425	NO 19
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml	YES 1306	YES 3695	YES 65	YES 100	YES 968	YES 5738	YES 281
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml	YES 1437	YES 13764	YES 464	YES 424	YES 5615	YES 11133	YES 3250
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_FR.xml	YES 3984	YES 39636	TIMEOUT 60066	YES 157	YES 5228	YES 8156	MAYBE 3539
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml	YES 2628	YES 6742	YES 261	YES 99	YES 5320	YES 7569	YES 2051
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_iGM.xml	YES 5031	YES 13367	YES 777	YES 205	YES 6132	YES 17920	YES 3868
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml	YES 1091	YES 3293	YES 56	YES 56	YES 773	YES 501	YES 115
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml	YES 1940	YES 5125	YES 150	YES 110	YES 2209	YES 6142	YES 777
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml	YES 1448	TIMEOUT 61194	TIMEOUT 60066	MAYBE 1205	MAYBE 18958	MAYBE 59538	MAYBE 1414
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml	NO 1585	NO 3712	MAYBE 152	MAYBE 194	NO 782	NO 507	MAYBE 122
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml	NO 4116	NO 10269	TIMEOUT 60048	MAYBE 203	MAYBE 12601	MAYBE 38937	MAYBE 673
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_iGM.xml	TIMEOUT 60417	TIMEOUT 60834	TIMEOUT 60091	TIMEOUT 60030	MAYBE 16137	MAYBE 59486	MAYBE 1165
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml	NO 1526	NO 3406	MAYBE 147	NO 209	NO 591	NO 493	MAYBE 79
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml	YES 1438	YES 4278	TIMEOUT 60040	YES 800	YES 1669	YES 3097	MAYBE 1355
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml	NO 1704	NO 12452	TIMEOUT 60045	MAYBE 104	NO 1054	NO 500	MAYBE 372
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml	YES 1344	YES 3333	YES 76	YES 60	YES 749	YES 692	YES 62
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_iGM.xml	YES 1872	YES 4568	YES 12783	YES 108	YES 1640	YES 2615	MAYBE 1769
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_C.xml	YES 2077	TIMEOUT 62313	TIMEOUT 60058	MAYBE 10229	TIMEOUT 60045	MAYBE 59915	MAYBE 10200
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml	YES 1701	YES 5102	YES 72	YES 118	YES 1511	YES 4555	YES 1005
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml	YES 45859	TIMEOUT 62205	TIMEOUT 60044	YES 1262	TIMEOUT 60040	MAYBE 59709	MAYBE 34811
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml	YES 43070	TIMEOUT 60036	TIMEOUT 60055	YES 2460	TIMEOUT 60043	MAYBE 59769	MAYBE 11126
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml	NO 923	NO 3049	NO 59	NO 46	NO 507	NO 411	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml	YES 1714	YES 4926	YES 77	YES 132	YES 1286	YES 5695	YES 884
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml	YES 1212	YES 4270	YES 123	YES 78	YES 2456	YES 688	YES 332
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml	YES 1039	YES 3636	YES 58	YES 55	YES 1160	YES 828	YES 95
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml	YES 1005	YES 3479	YES 57	YES 56	YES 1409	YES 1550	YES 76
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml	YES 1213	YES 4863	YES 106	YES 123	YES 1169	YES 3105	YES 195
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml	YES 998	YES 3053	YES 41	YES 51	YES 556	YES 501	YES 30
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_Z.xml	NO 982	NO 3748	NO 76	NO 73	NO 495	NO 399	MAYBE 110
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml	YES 1391	YES 14193	YES 2905	YES 489	YES 6130	MAYBE 59642	YES 3601
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml	NO 7921	NO 16025	TIMEOUT 60031	MAYBE 529	NO 2157	NO 1077	MAYBE 1165
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml	YES 2627	YES 7222	YES 1147	YES 150	YES 2675	YES 6336	YES 1731
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml	YES 5013	YES 18204	YES 4692	YES 292	YES 4235	YES 14927	YES 3208
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml	NO 893	NO 2950	NO 42	NO 45	NO 494	NO 393	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_Z.xml	NO 4698	NO 17508	TIMEOUT 60032	NO 567	NO 1671	NO 549	MAYBE 1098
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml	YES 1355	YES 14947	TIMEOUT 60034	YES 462	YES 5063	YES 8852	YES 2073
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml	NO 12725	NO 18878	TIMEOUT 60036	MAYBE 814	MAYBE 13707	MAYBE 59513	MAYBE 1721
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml	YES 1703	YES 4037	YES 159	YES 76	YES 1329	YES 4454	YES 777
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml	YES 4842	YES 9935	YES 3280	YES 299	YES 5756	YES 10639	YES 1897
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml	NO 896	NO 3020	NO 42	NO 46	NO 498	NO 426	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_Z.xml	NO 8656	NO 18220	TIMEOUT 60034	NO 629	NO 2715	NO 1426	MAYBE 1680
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml	YES 1751	TIMEOUT 61655	TIMEOUT 60077	MAYBE 8874	TIMEOUT 60040	MAYBE 59746	MAYBE 36662
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_FR.xml	TIMEOUT 60468	TIMEOUT 61662	TIMEOUT 60055	MAYBE 1784	MAYBE 33991	MAYBE 59615	MAYBE 8636
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml	YES 16312	TIMEOUT 61205	TIMEOUT 60081	YES 240	YES 9139	YES 11573	TIMEOUT 60052
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_iGM.xml	TIMEOUT 60399	TIMEOUT 61640	TIMEOUT 60046	MAYBE 7045	TIMEOUT 60043	MAYBE 59769	TIMEOUT 60046
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml	NO 906	NO 3055	NO 55	NO 45	NO 498	NO 399	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml	NO 2990	NO 12750	TIMEOUT 60052	NO 608	NO 1621	NO 539	MAYBE 7404
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_C.xml	TIMEOUT 60554	TIMEOUT 61744	TIMEOUT 60054	MAYBE 4402	TIMEOUT 60042	MAYBE 59726	MAYBE 8601
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml	TIMEOUT 60548	TIMEOUT 61506	TIMEOUT 60035	MAYBE 581	MAYBE 17741	MAYBE 59495	MAYBE 10653
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_GM.xml	TIMEOUT 60379	TIMEOUT 61727	TIMEOUT 60039	MAYBE 1576	MAYBE 25776	MAYBE 59527	MAYBE 26362
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml	TIMEOUT 60493	TIMEOUT 62187	TIMEOUT 60055	MAYBE 1881	MAYBE 57346	MAYBE 59700	MAYBE 10186
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml	NO 903	NO 2977	NO 62	NO 46	NO 543	NO 433	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_Z.xml	NO 2423	NO 4388	NO 60	NO 110	NO 507	NO 414	MAYBE 786
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml	YES 1290	YES 16873	YES 36226	YES 1180	YES 5013	YES 10087	MAYBE 3597
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml	YES 1429	YES 3982	YES 99	YES 72	YES 1280	YES 1524	YES 219
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml	YES 1695	YES 4082	YES 277	YES 110	YES 1229	YES 1661	YES 363
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_iGM.xml	YES 6637	YES 6384	YES 806	YES 303	YES 2333	YES 6259	MAYBE 5407
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml	YES 1022	YES 3263	YES 90	YES 64	YES 718	YES 671	YES 94
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml	YES 1320	YES 3418	YES 89	YES 67	YES 765	YES 845	YES 107
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml	YES 1658	YES 16078	TIMEOUT 60065	YES 1061	TIMEOUT 60041	MAYBE 59757	YES 5250
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml	YES 1948	YES 5680	YES 214	YES 146	YES 3257	YES 6011	YES 845
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml	YES 3501	YES 8420	TIMEOUT 60047	YES 567	MAYBE 27949	MAYBE 59533	YES 5931
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml	YES 5973	YES 15579	TIMEOUT 60051	YES 738	TIMEOUT 60080	MAYBE 59739	YES 22503
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml	YES 1347	YES 3864	YES 468	YES 101	YES 996	YES 2943	YES 296
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml	YES 1515	YES 4241	YES 68	YES 128	YES 1242	YES 4185	YES 595
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml	YES 1746	TIMEOUT 61598	TIMEOUT 60051	YES 3393	TIMEOUT 60042	MAYBE 59763	MAYBE 8450
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml	YES 1501	YES 4116	YES 66	YES 79	YES 1225	YES 5833	YES 715
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml	TIMEOUT 60420	TIMEOUT 61679	TIMEOUT 60041	YES 886	MAYBE 52781	MAYBE 59647	MAYBE 20117
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml	TIMEOUT 60371	TIMEOUT 61288	TIMEOUT 60054	YES 3084	TIMEOUT 60039	TIMEOUT 60048	MAYBE 8545
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml	NO 915	NO 3002	NO 63	NO 46	NO 505	NO 405	NO 22
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml	YES 1486	YES 4107	YES 64	YES 71	YES 1590	YES 5691	YES 629
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml	YES 18832	TIMEOUT 61784	TIMEOUT 60068	MAYBE 23376	TIMEOUT 60048	MAYBE 59911	MAYBE 44318
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml	TIMEOUT 60677	TIMEOUT 61161	TIMEOUT 60062	MAYBE 24624	TIMEOUT 60051	MAYBE 59675	TIMEOUT 60053
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml	YES 7196	YES 19216	YES 20725	YES 3005	TIMEOUT 60053	TIMEOUT 60033	YES 60044
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml	TIMEOUT 60377	TIMEOUT 61210	TIMEOUT 60064	MAYBE 56498	TIMEOUT 60068	MAYBE 59852	TIMEOUT 60067
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml	NO 934	NO 3053	NO 60	NO 68	NO 514	NO 415	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml	YES 5338	TIMEOUT 61789	TIMEOUT 60085	TIMEOUT 60031	TIMEOUT 60050	TIMEOUT 60042	MAYBE 44415
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml	TIMEOUT 60599	TIMEOUT 61742	TIMEOUT 60049	TIMEOUT 60030	TIMEOUT 60038	MAYBE 59780	MAYBE 34410
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml	YES 10335	YES 25132	YES 1375	YES 7592	TIMEOUT 60044	MAYBE 59979	YES 43233
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml	TIMEOUT 60497	TIMEOUT 61077	TIMEOUT 60110	TIMEOUT 60030	TIMEOUT 60047	TIMEOUT 60034	TIMEOUT 60068
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml	NO 967	NO 3180	NO 62	NO 67	NO 523	NO 438	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml	TIMEOUT 60480	TIMEOUT 62488	TIMEOUT 60047	TIMEOUT 60031	TIMEOUT 60044	MAYBE 59749	MAYBE 30817
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml	TIMEOUT 60499	TIMEOUT 61270	TIMEOUT 60057	MAYBE 22878	TIMEOUT 60076	MAYBE 59661	TIMEOUT 60060
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml	YES 1988	TIMEOUT 61284	TIMEOUT 60043	MAYBE 6565	TIMEOUT 60081	MAYBE 59695	MAYBE 5602
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml	NO 19420	TIMEOUT 61037	TIMEOUT 60042	MAYBE 8723	MAYBE 30141	MAYBE 59618	MAYBE 21072
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml	YES 2395	YES 7638	YES 444	YES 275	YES 8485	YES 7195	YES 2696
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml	TIMEOUT 60396	YES 39362	TIMEOUT 60046	YES 1303	TIMEOUT 60038	MAYBE 59780	MAYBE 8516
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml	NO 934	NO 3035	NO 55	NO 46	NO 508	NO 433	NO 19
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml	YES 2619	TIMEOUT 61689	TIMEOUT 60051	MAYBE 37687	TIMEOUT 60044	MAYBE 59866	MAYBE 10794
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml	NO 21881	NO 21147	TIMEOUT 60033	NO 1077	MAYBE 33988	MAYBE 59545	MAYBE 4958
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml	YES 3681	YES 7182	YES 275	YES 269	YES 3879	YES 10142	YES 4775
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml	YES 22487	YES 35498	TIMEOUT 60055	YES 1870	TIMEOUT 60042	MAYBE 59779	MAYBE 20954
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml	NO 918	NO 3056	NO 59	NO 45	NO 498	NO 402	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml	NO 15979	NO 21245	TIMEOUT 60034	NO 1180	MAYBE 34079	MAYBE 59530	MAYBE 4724
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml	NO 22386	NO 30618	TIMEOUT 60033	MAYBE 7691	MAYBE 28574	MAYBE 59618	MAYBE 19365
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml	NO 1347	TIMEOUT 60858	TIMEOUT 60038	MAYBE 8286	MAYBE 22032	MAYBE 59609	MAYBE 2101
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml	NO 2074	NO 6110	NO 1329	NO 104	NO 1590	NO 497	MAYBE 264
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml	NO 2198	NO 7596	TIMEOUT 60031	NO 158	NO 1604	NO 525	MAYBE 404
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml	NO 15566	NO 22012	TIMEOUT 60036	MAYBE 1208	MAYBE 17173	MAYBE 59583	MAYBE 2068
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml	NO 891	NO 2996	NO 41	NO 45	NO 496	NO 390	NO 19
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml	NO 1397	TIMEOUT 60838	TIMEOUT 60035	MAYBE 10342	MAYBE 22247	MAYBE 59632	MAYBE 2916
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml	NO 2410	NO 5891	MAYBE 3244	MAYBE 179	NO 922	NO 506	MAYBE 562
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml	NO 3002	NO 6867	TIMEOUT 60030	NO 233	NO 1639	NO 3732	MAYBE 888
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml	TIMEOUT 60468	TIMEOUT 60968	TIMEOUT 60035	MAYBE 3330	MAYBE 18211	MAYBE 59656	MAYBE 4150
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml	NO 899	NO 3038	NO 42	NO 47	NO 495	NO 392	NO 23
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_C.xml	TIMEOUT 61169	TIMEOUT 61619	TIMEOUT 60088	TIMEOUT 60029	TIMEOUT 60046	TIMEOUT 60062	TIMEOUT 60065
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml	TIMEOUT 60415	TIMEOUT 61244	TIMEOUT 60072	TIMEOUT 60030	TIMEOUT 60046	MAYBE 59863	TIMEOUT 60069
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml	TIMEOUT 60396	TIMEOUT 61285	TIMEOUT 60068	YES 32013	TIMEOUT 60047	MAYBE 59956	TIMEOUT 60130
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml	TIMEOUT 60452	TIMEOUT 61429	TIMEOUT 60098	TIMEOUT 60033	TIMEOUT 60051	TIMEOUT 60066	TIMEOUT 60076
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml	NO 1016	NO 3303	NO 69	NO 50	NO 563	NO 481	NO 23
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml	YES 13593	TIMEOUT 61051	TIMEOUT 60117	TIMEOUT 60032	TIMEOUT 60043	TIMEOUT 60104	TIMEOUT 60159
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml	TIMEOUT 60422	TIMEOUT 61064	TIMEOUT 60090	TIMEOUT 60031	TIMEOUT 60044	TIMEOUT 60044	TIMEOUT 60152
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml	TIMEOUT 60549	TIMEOUT 61624	TIMEOUT 60099	TIMEOUT 60029	TIMEOUT 60047	TIMEOUT 60106	TIMEOUT 60199
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml	TIMEOUT 60357	TIMEOUT 61003	TIMEOUT 60089	TIMEOUT 60031	TIMEOUT 60045	TIMEOUT 60115	TIMEOUT 60151
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml	NO 1198	NO 3531	NO 88	NO 57	NO 621	NO 566	NO 27
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml	TIMEOUT 60455	TIMEOUT 61487	TIMEOUT 60093	TIMEOUT 60030	TIMEOUT 60048	TIMEOUT 60085	TIMEOUT 60187
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml	TIMEOUT 60455	TIMEOUT 61280	TIMEOUT 60063	TIMEOUT 60030	TIMEOUT 60045	MAYBE 59942	TIMEOUT 60073
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml	TIMEOUT 60797	TIMEOUT 61604	TIMEOUT 60088	MAYBE 38355	TIMEOUT 60045	MAYBE 60011	MAYBE 45590
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml	TIMEOUT 60401	TIMEOUT 62239	TIMEOUT 60065	MAYBE 10059	TIMEOUT 60047	MAYBE 59910	TIMEOUT 60088
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml	TIMEOUT 60353	TIMEOUT 62167	TIMEOUT 60054	YES 6509	TIMEOUT 60039	MAYBE 59883	TIMEOUT 60076
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml	TIMEOUT 60455	TIMEOUT 61241	TIMEOUT 60086	YES 16058	TIMEOUT 60049	MAYBE 59943	MAYBE 58045
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml	NO 949	NO 3113	NO 65	NO 47	NO 519	NO 431	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml	YES 4139	TIMEOUT 61380	TIMEOUT 60085	TIMEOUT 60030	TIMEOUT 60044	TIMEOUT 60093	TIMEOUT 60092
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml	TIMEOUT 60415	TIMEOUT 61654	TIMEOUT 60071	MAYBE 13081	TIMEOUT 60083	MAYBE 59854	TIMEOUT 60135
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml	TIMEOUT 60377	TIMEOUT 62409	TIMEOUT 60066	YES 19151	TIMEOUT 60043	TIMEOUT 60045	TIMEOUT 60105
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml	TIMEOUT 60561	TIMEOUT 61157	TIMEOUT 60108	YES 38373	TIMEOUT 60047	TIMEOUT 60085	TIMEOUT 60100
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml	NO 994	NO 3235	NO 68	NO 48	NO 541	NO 466	NO 23
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml	TIMEOUT 60359	TIMEOUT 61240	TIMEOUT 60070	MAYBE 27692	TIMEOUT 60045	MAYBE 59663	TIMEOUT 60128
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml	TIMEOUT 60345	TIMEOUT 61613	TIMEOUT 60059	MAYBE 10361	TIMEOUT 60043	MAYBE 59806	TIMEOUT 60079
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml	YES 1799	TIMEOUT 62521	TIMEOUT 60052	YES 3714	TIMEOUT 60041	MAYBE 59615	MAYBE 10207
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml	YES 1793	YES 5052	YES 96	YES 152	YES 1762	YES 5926	YES 895
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml	TIMEOUT 60371	TIMEOUT 61937	TIMEOUT 60040	YES 1351	MAYBE 52927	MAYBE 59688	MAYBE 22461
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml	TIMEOUT 60470	TIMEOUT 61649	TIMEOUT 60056	YES 3881	TIMEOUT 60041	MAYBE 59766	MAYBE 10265
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml	NO 930	NO 2997	NO 58	NO 46	NO 503	NO 407	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml	YES 2341	TIMEOUT 61342	TIMEOUT 60072	MAYBE 38841	TIMEOUT 60047	TIMEOUT 60033	MAYBE 29829
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml	YES 2374	YES 6818	YES 135	YES 242	YES 2162	YES 6603	YES 3698
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml	TIMEOUT 60292	TIMEOUT 61697	TIMEOUT 60057	YES 6079	TIMEOUT 60041	MAYBE 59911	TIMEOUT 60089
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml	TIMEOUT 60519	TIMEOUT 61319	TIMEOUT 60097	YES 15385	TIMEOUT 60048	TIMEOUT 60034	MAYBE 37957
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml	NO 943	NO 3070	NO 61	NO 47	NO 519	NO 441	NO 22
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml	YES 2588	YES 6657	YES 126	YES 232	YES 2117	YES 5991	YES 3309
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml	YES 1692	YES 4863	YES 91	YES 105	YES 1775	YES 5730	YES 791
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_C.xml	YES 5046	YES 26523	TIMEOUT 60056	YES 5086	TIMEOUT 60042	MAYBE 59839	YES 51874
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_FR.xml	YES 2100	YES 6634	TIMEOUT 60050	YES 1729	TIMEOUT 60041	MAYBE 59769	YES 3801
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_GM.xml	YES 2990	YES 9097	TIMEOUT 60052	YES 5130	TIMEOUT 60040	MAYBE 59763	YES 8895
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_iGM.xml	YES 3616	YES 24749	TIMEOUT 60059	YES 6819	TIMEOUT 60059	MAYBE 59925	YES 32198
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml	NO 948	NO 3066	NO 59	NO 46	NO 518	NO 414	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_C.xml	YES 3781	TIMEOUT 61228	TIMEOUT 60084	MAYBE 50227	TIMEOUT 60046	TIMEOUT 60049	MAYBE 48126
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml	YES 47498	TIMEOUT 61267	TIMEOUT 60061	YES 4751	TIMEOUT 60043	MAYBE 59820	YES 60080
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_GM.xml	TIMEOUT 60285	YES 45507	TIMEOUT 60058	YES 17394	TIMEOUT 60047	MAYBE 59976	TIMEOUT 60084
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml	TIMEOUT 60476	TIMEOUT 61742	TIMEOUT 60100	YES 45474	TIMEOUT 60047	TIMEOUT 60049	TIMEOUT 60078
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml	NO 985	NO 3208	NO 62	NO 46	NO 524	NO 439	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml	YES 45020	TIMEOUT 61632	TIMEOUT 60061	YES 4306	TIMEOUT 60041	MAYBE 59860	YES 34803
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_Z.xml	YES 2027	YES 5959	TIMEOUT 60040	YES 1681	TIMEOUT 60048	MAYBE 59714	YES 2657
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_C.xml	YES 2504	YES 16500	TIMEOUT 60053	YES 1484	TIMEOUT 60046	MAYBE 59834	YES 4832
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml	YES 1694	YES 5098	TIMEOUT 60038	YES 716	MAYBE 32363	MAYBE 59519	YES 1306
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_GM.xml	YES 1822	YES 6359	TIMEOUT 60038	YES 1445	MAYBE 40459	MAYBE 59683	YES 2031
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_iGM.xml	YES 2311	YES 7335	TIMEOUT 60062	YES 1734	TIMEOUT 60045	MAYBE 59810	YES 7054
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml	NO 906	NO 2991	NO 55	NO 45	NO 500	NO 401	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml	YES 2116	TIMEOUT 61206	TIMEOUT 60058	MAYBE 10977	TIMEOUT 60041	MAYBE 59658	MAYBE 10541
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml	YES 4956	YES 9138	TIMEOUT 60039	YES 818	MAYBE 45374	MAYBE 59640	YES 10771
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml	YES 8751	YES 10752	TIMEOUT 60041	YES 2918	MAYBE 58463	MAYBE 59721	YES 8500
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml	YES 21773	TIMEOUT 61704	TIMEOUT 60054	YES 3331	TIMEOUT 60043	MAYBE 59788	YES 60059
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml	NO 948	NO 2999	NO 66	NO 45	NO 504	NO 440	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml	YES 4375	YES 9133	TIMEOUT 60034	YES 672	MAYBE 41295	MAYBE 59666	YES 9456
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_Z.xml	YES 1679	YES 4629	TIMEOUT 60037	YES 711	MAYBE 30290	MAYBE 59512	YES 1023
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml	YES 1453	YES 6103	YES 5526	YES 436	MAYBE 47672	MAYBE 59610	YES 1807
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml	YES 1224	YES 3456	YES 59	YES 89	YES 702	YES 1059	YES 135
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_GM.xml	YES 1455	YES 4347	YES 37604	YES 288	MAYBE 17937	MAYBE 59482	YES 508
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_iGM.xml	YES 1688	YES 4881	YES 18401	YES 415	MAYBE 32198	MAYBE 59614	YES 916
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_L.xml	NO 888	NO 3021	NO 42	NO 45	NO 498	NO 421	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml	YES 1603	YES 7447	YES 16004	MAYBE 5702	TIMEOUT 60042	MAYBE 59755	YES 5048
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml	YES 1456	YES 4180	YES 104	YES 91	YES 1509	YES 2096	YES 355
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml	YES 1765	YES 5500	TIMEOUT 60033	YES 744	MAYBE 26611	MAYBE 59570	YES 1382
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml	YES 3176	YES 7781	TIMEOUT 60046	YES 1155	TIMEOUT 60040	MAYBE 59744	YES 4853
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml	NO 903	NO 3009	NO 55	NO 45	NO 494	NO 398	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_C.xml	TIMEOUT 60760	TIMEOUT 61563	TIMEOUT 60070	MAYBE 34667	TIMEOUT 60050	TIMEOUT 60035	TIMEOUT 60060
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_FR.xml	TIMEOUT 60464	TIMEOUT 62920	TIMEOUT 60059	MAYBE 25851	TIMEOUT 60044	MAYBE 59792	TIMEOUT 60050
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml	TIMEOUT 60454	TIMEOUT 61488	TIMEOUT 60062	TIMEOUT 60031	TIMEOUT 60043	MAYBE 59908	TIMEOUT 60067
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_iGM.xml	TIMEOUT 60492	TIMEOUT 61181	TIMEOUT 60076	MAYBE 52173	TIMEOUT 60042	TIMEOUT 60035	TIMEOUT 60054
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml	NO 951	NO 3143	NO 65	NO 46	NO 523	NO 431	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml	YES 6484	TIMEOUT 61303	TIMEOUT 60110	TIMEOUT 60028	TIMEOUT 60049	TIMEOUT 60076	TIMEOUT 60092
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml	TIMEOUT 60374	TIMEOUT 61222	TIMEOUT 60055	TIMEOUT 60030	TIMEOUT 60048	MAYBE 59916	TIMEOUT 60068
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml	YES 19870	YES 34564	YES 8928	TIMEOUT 60030	TIMEOUT 60043	MAYBE 59891	TIMEOUT 60105
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml	TIMEOUT 60422	TIMEOUT 61090	TIMEOUT 60101	TIMEOUT 60031	TIMEOUT 60047	TIMEOUT 60065	TIMEOUT 60080
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml	NO 1003	NO 3278	NO 67	NO 48	NO 547	NO 496	NO 23
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml	NO 60462	TIMEOUT 61089	TIMEOUT 60050	TIMEOUT 60030	TIMEOUT 60045	MAYBE 59881	TIMEOUT 60075
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml	TIMEOUT 60631	TIMEOUT 61582	TIMEOUT 60044	TIMEOUT 60029	TIMEOUT 60041	MAYBE 59789	TIMEOUT 60049
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_C.xml	TIMEOUT 60901	TIMEOUT 61450	TIMEOUT 60067	MAYBE 15456	TIMEOUT 60044	MAYBE 59839	MAYBE 18397
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml	TIMEOUT 60664	TIMEOUT 60204	TIMEOUT 60050	MAYBE 4414	TIMEOUT 60087	MAYBE 59666	MAYBE 25858
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_GM.xml	TIMEOUT 60345	TIMEOUT 61498	TIMEOUT 60042	MAYBE 25193	MAYBE 50398	MAYBE 59657	MAYBE 14981
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml	TIMEOUT 60475	TIMEOUT 61788	TIMEOUT 60067	MAYBE 27302	TIMEOUT 60045	MAYBE 59941	MAYBE 27769
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml	NO 921	NO 3044	NO 56	NO 46	NO 506	NO 406	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml	YES 3414	TIMEOUT 61583	TIMEOUT 60133	MAYBE 29284	TIMEOUT 60046	MAYBE 59951	MAYBE 19156
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml	NO 35961	TIMEOUT 61652	TIMEOUT 60046	NO 5565	TIMEOUT 60047	MAYBE 59604	MAYBE 15371
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml	YES 6348	YES 11645	YES 1605	YES 4322	TIMEOUT 60049	YES 19028	YES 10662
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml	YES 43074	TIMEOUT 61827	TIMEOUT 60066	YES 28923	TIMEOUT 60044	MAYBE 59899	TIMEOUT 60059
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml	NO 937	NO 3052	NO 61	NO 53	NO 514	NO 419	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml	NO 24529	TIMEOUT 61761	TIMEOUT 60048	NO 14194	TIMEOUT 60063	MAYBE 59601	MAYBE 14712
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml	TIMEOUT 60890	TIMEOUT 62180	TIMEOUT 60045	MAYBE 38082	TIMEOUT 60039	MAYBE 59662	MAYBE 25503
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml	NO 1506	TIMEOUT 61432	TIMEOUT 60037	MAYBE 4500	MAYBE 30719	MAYBE 59648	MAYBE 3699
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml	NO 2330	NO 7193	NO 7529	NO 252	NO 1606	NO 507	MAYBE 991
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml	NO 3775	NO 11875	TIMEOUT 60034	NO 341	NO 1677	NO 533	MAYBE 1702
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml	NO 22904	NO 31703	TIMEOUT 60039	MAYBE 2190	MAYBE 20521	MAYBE 59623	MAYBE 4099
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml	NO 892	NO 3034	NO 43	NO 45	NO 494	NO 393	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml	NO 1719	TIMEOUT 61093	TIMEOUT 60051	MAYBE 10664	TIMEOUT 60045	MAYBE 59816	MAYBE 9410
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml	NO 3719	NO 8273	TIMEOUT 60036	MAYBE 571	MAYBE 18089	MAYBE 33827	MAYBE 3730
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml	NO 14035	NO 21694	TIMEOUT 60042	NO 838	MAYBE 17616	MAYBE 59547	MAYBE 4702
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml	TIMEOUT 60457	TIMEOUT 62529	TIMEOUT 60057	MAYBE 4890	MAYBE 50512	MAYBE 59882	MAYBE 12637
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml	NO 905	NO 2975	NO 54	NO 46	NO 504	NO 411	NO 19
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml	NO 2963	NO 7827	TIMEOUT 60033	MAYBE 546	MAYBE 17587	MAYBE 28477	MAYBE 3649
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml	NO 2562	NO 16822	NO 7093	NO 225	NO 1886	NO 540	MAYBE 934
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_C.xml	YES 3017	YES 36444	TIMEOUT 60069	MAYBE 57	TIMEOUT 60044	MAYBE 59888	YES 60044
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml	YES 2257	YES 7622	YES 2413	MAYBE 45	TIMEOUT 60039	YES 19600	YES 6609
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_GM.xml	YES 3591	YES 8569	YES 27422	MAYBE 43	TIMEOUT 60045	YES 51636	YES 22372
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_iGM.xml	YES 5226	YES 54269	YES 41051	MAYBE 65	TIMEOUT 60045	MAYBE 59898	YES 35508
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml	NO 947	NO 3182	NO 61	MAYBE 44	NO 519	NO 419	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml	YES 5910	TIMEOUT 60037	TIMEOUT 60083	MAYBE 144	TIMEOUT 60046	TIMEOUT 60065	YES 60058
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml	YES 3424	YES 7984	YES 1986	MAYBE 43	TIMEOUT 60045	YES 18339	YES 13328
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml	YES 7372	YES 20480	YES 7596	MAYBE 60	TIMEOUT 60042	MAYBE 59855	YES 60081
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml	TIMEOUT 60471	TIMEOUT 61389	TIMEOUT 60090	MAYBE 288	TIMEOUT 60046	TIMEOUT 60065	YES 60050
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml	NO 31292	NO 10173	NO 84	MAYBE 44	NO 578	NO 447	MAYBE 5487
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml	YES 2915	YES 6983	YES 2051	MAYBE 44	TIMEOUT 60043	YES 11965	YES 12451
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml	YES 2209	YES 6972	YES 1087	MAYBE 45	YES 6455	YES 18906	YES 6247
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml	YES 1560	YES 18322	YES 276	MAYBE 45	YES 4053	YES 10087	YES 12353
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml	YES 1229	YES 4624	YES 1097	MAYBE 45	YES 2086	YES 773	YES 1426
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml	YES 1273	YES 5039	YES 1047	MAYBE 45	YES 2184	YES 750	YES 1848
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml	YES 2809	YES 7306	YES 1456	MAYBE 44	YES 9677	YES 25377	YES 4936
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml	NO 927	NO 3065	NO 55	MAYBE 44	NO 498	NO 397	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml	YES 1931	YES 32045	YES 1283	MAYBE 44	YES 30850	MAYBE 59643	YES 60041
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml	YES 1319	YES 4237	YES 474	MAYBE 45	YES 2031	YES 1025	YES 1177
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml	YES 1661	YES 6602	YES 1448	MAYBE 44	YES 1902	YES 1770	YES 19758
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml	YES 3591	YES 27051	YES 5034	MAYBE 43	TIMEOUT 60046	MAYBE 59789	YES 60039
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml	NO 8567	NO 6314	NO 64	MAYBE 313	NO 511	NO 413	MAYBE 889
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml	YES 1363	YES 3762	YES 460	MAYBE 44	YES 1651	YES 1051	YES 686
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml	YES 1235	YES 3677	YES 549	MAYBE 64	YES 1805	YES 743	YES 1606
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml	YES 1241	YES 4727	YES 164	MAYBE 45	YES 2356	YES 7808	YES 960
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml	YES 1105	YES 3469	YES 58	MAYBE 44	YES 847	YES 508	YES 51
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml	YES 1116	YES 3966	YES 371	MAYBE 44	YES 1595	YES 540	YES 410
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml	YES 1598	YES 4726	YES 264	MAYBE 45	YES 1668	YES 6488	YES 580
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml	NO 895	NO 2962	NO 42	MAYBE 45	NO 495	NO 395	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml	YES 1328	YES 5770	YES 190	MAYBE 45	YES 2929	YES 8394	YES 1736
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml	YES 1088	YES 3364	YES 58	MAYBE 44	YES 692	YES 509	YES 54
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml	YES 1117	YES 4485	YES 379	MAYBE 45	YES 1598	YES 568	YES 618
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml	YES 1631	YES 4695	YES 459	MAYBE 44	YES 1488	YES 6580	YES 1389
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml	YES 1092	YES 3361	YES 58	MAYBE 45	YES 857	YES 501	YES 54
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_C.xml	YES 2038	YES 18034	TIMEOUT 60070	YES 1742	TIMEOUT 60043	MAYBE 59840	YES 17191
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_FR.xml	YES 1740	YES 5687	YES 2986	YES 480	MAYBE 49700	YES 18123	YES 2240
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_GM.xml	YES 2028	YES 6406	YES 19865	YES 383	MAYBE 53705	YES 22312	YES 3882
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_iGM.xml	YES 2970	YES 28249	YES 20878	YES 853	TIMEOUT 60041	MAYBE 59745	YES 8880
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml	NO 909	NO 3119	NO 57	NO 45	NO 505	NO 401	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_C.xml	YES 2881	TIMEOUT 61921	TIMEOUT 60060	MAYBE 27449	TIMEOUT 60047	MAYBE 59976	MAYBE 18258
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_FR.xml	YES 5241	YES 16421	YES 5259	YES 230	YES 7654	YES 21777	YES 6504
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_GM.xml	YES 5258	YES 11901	YES 2264	YES 618	YES 9564	YES 27063	YES 10800
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_iGM.xml	YES 37034	YES 43621	TIMEOUT 60067	YES 2652	TIMEOUT 60045	MAYBE 59921	YES 60056
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml	NO 935	NO 3100	NO 60	NO 46	NO 519	NO 414	NO 21
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml	YES 5423	YES 15516	YES 4902	YES 334	YES 7665	YES 24048	YES 3440
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml	YES 1748	YES 5109	YES 2754	YES 176	YES 4127	YES 10682	YES 1336
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml	YES 1498	YES 6750	TIMEOUT 60041	YES 693	TIMEOUT 60061	MAYBE 59686	YES 2783
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml	YES 1485	YES 4522	YES 722	YES 100	YES 4596	YES 5805	YES 728
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_GM.xml	YES 1594	YES 4938	YES 1786	YES 179	YES 7657	YES 7649	YES 965
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_iGM.xml	YES 1943	YES 5500	YES 2171	YES 314	YES 8797	YES 22052	YES 2642
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml	NO 922	NO 3045	NO 43	NO 46	NO 501	NO 397	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_C.xml	YES 1608	TIMEOUT 60498	TIMEOUT 60040	MAYBE 8040	TIMEOUT 60044	MAYBE 59754	MAYBE 5285
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml	YES 2882	YES 5911	YES 872	YES 116	YES 6230	YES 4816	YES 1335
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml	YES 2710	YES 6475	YES 363	YES 244	YES 9479	YES 9541	YES 1424
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml	YES 9361	YES 20953	YES 7011	YES 539	TIMEOUT 60044	YES 40494	YES 12531
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml	NO 904	NO 2975	NO 55	NO 47	NO 492	NO 396	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml	YES 3009	YES 6690	YES 731	YES 111	YES 4930	YES 5496	YES 857
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml	YES 1523	YES 4199	YES 616	YES 107	YES 3435	YES 5458	YES 547
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml	YES 1229	YES 5397	YES 173	YES 397	YES 2890	YES 6709	YES 926
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml	YES 1081	YES 3301	YES 57	YES 57	YES 713	YES 502	YES 44
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml	YES 1107	YES 3922	YES 229	YES 121	YES 1335	YES 531	YES 318
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_iGM.xml	YES 1661	YES 4555	YES 217	YES 162	YES 1450	YES 5271	YES 404
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml	NO 892	NO 3037	NO 42	NO 45	NO 490	NO 386	NO 20
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml	YES 1327	YES 5915	YES 367	YES 470	YES 3674	YES 9305	YES 2382
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml	YES 1355	YES 3570	YES 80	YES 59	YES 896	YES 510	YES 126
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml	YES 1153	YES 4291	YES 309	YES 117	YES 1575	YES 536	YES 608
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml	YES 2098	YES 6589	YES 391	YES 223	YES 1751	YES 7367	YES 1317
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml	NO 893	NO 2995	NO 41	NO 46	NO 488	NO 390	NO 21
tpdb-8.0/TRS/Various_04/02.xml	YES 1180	YES 3424	YES 146	MAYBE 190	YES 639	YES 524	MAYBE 104
tpdb-8.0/TRS/Various_04/03.xml	YES 1256	YES 3460	YES 158	MAYBE 212	YES 695	YES 661	MAYBE 172
tpdb-8.0/TRS/Various_04/04.xml	TIMEOUT 60442	TIMEOUT 61354	TIMEOUT 60062	MAYBE 1955	MAYBE 16447	MAYBE 7469	MAYBE 3188
tpdb-8.0/TRS/Various_04/05.xml	TIMEOUT 60391	TIMEOUT 61551	TIMEOUT 60063	MAYBE 1988	MAYBE 13178	MAYBE 7438	MAYBE 2486
tpdb-8.0/TRS/Various_04/06.xml	YES 1300	YES 3351	YES 59	YES 57	YES 602	YES 622	YES 55
tpdb-8.0/TRS/Various_04/07.xml	YES 1069	YES 3261	YES 43	YES 51	YES 663	YES 506	YES 39
tpdb-8.0/TRS/Various_04/08.xml	TIMEOUT 60504	TIMEOUT 61179	TIMEOUT 60084	MAYBE 2760	MAYBE 25856	MAYBE 7474	MAYBE 7802
tpdb-8.0/TRS/Various_04/09.xml	YES 1327	YES 3691	YES 58	YES 196	YES 664	YES 707	YES 62
tpdb-8.0/TRS/Various_04/10.xml	YES 1812	YES 5521	YES 140	YES 141	YES 2633	YES 4965	YES 1204
tpdb-8.0/TRS/Various_04/11.xml	YES 1710	YES 3961	YES 840	MAYBE 118	MAYBE 11473	MAYBE 7449	MAYBE 143
tpdb-8.0/TRS/Various_04/12.xml	YES 1472	YES 4919	YES 187	YES 106	YES 1396	YES 2961	YES 458
tpdb-8.0/TRS/Various_04/13.xml	YES 1606	YES 6067	YES 226	YES 141	YES 2251	YES 4684	YES 779
tpdb-8.0/TRS/Various_04/14.xml	YES 2854	YES 10796	YES 343	YES 349	YES 4472	YES 9029	YES 3823
tpdb-8.0/TRS/Various_04/15.xml	YES 1528	YES 3576	YES 88	YES 72	YES 878	YES 5621	MAYBE 352
tpdb-8.0/TRS/Various_04/18.xml	YES 1084	YES 3292	YES 72	YES 58	YES 722	YES 503	YES 76
tpdb-8.0/TRS/Various_04/19.xml	YES 1109	YES 4035	YES 552	YES 76	YES 980	YES 518	YES 241
tpdb-8.0/TRS/Various_04/21.xml	YES 1150	YES 5977	YES 384	YES 71	YES 1718	YES 592	YES 419
tpdb-8.0/TRS/Various_04/22.xml	YES 1302	YES 3750	YES 77	YES 96	YES 735	YES 952	YES 79
tpdb-8.0/TRS/Various_04/23.xml	YES 1220	YES 3379	YES 93	YES 55	YES 789	YES 954	YES 64
tpdb-8.0/TRS/Various_04/24.xml	YES 1504	YES 4372	YES 77	YES 83	YES 1239	YES 1620	YES 369
tpdb-8.0/TRS/Various_04/25.xml	YES 1195	YES 3837	YES 74	YES 71	YES 703	YES 608	YES 97
tpdb-8.0/TRS/Various_04/26.xml	YES 1484	YES 3524	YES 101	YES 65	YES 1150	YES 1208	YES 105
tpdb-8.0/TRS/Various_04/27.xml	YES 1067	YES 3224	YES 45	YES 51	YES 577	YES 508	YES 38
tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml	YES 6851	YES 4159	MAYBE 13838	MAYBE 234	MAYBE 10855	MAYBE 59449	MAYBE 823
tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml	YES 6405	YES 4212	MAYBE 13496	MAYBE 185	MAYBE 14608	MAYBE 59451	MAYBE 807
tpdb-8.0/TRS/Waldmann_06/jwcime1.xml	YES 1892	YES 3338	YES 468	MAYBE 207	MAYBE 12151	MAYBE 59442	YES 1036
tpdb-8.0/TRS/Waldmann_06/jwcime2.xml	YES 2033	YES 3326	YES 1119	MAYBE 277	YES 1015	MAYBE 8107	YES 1666
tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml	YES 14677	YES 5602	MAYBE 16848	MAYBE 148	YES 991	YES 3644	MAYBE 316
tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml	YES 14594	YES 5661	MAYBE 16854	MAYBE 144	YES 1005	YES 2765	MAYBE 314
tpdb-8.0/TRS/Waldmann_06/jwno1.xml	NO 3562	NO 7154	TIMEOUT 60040	MAYBE 186	NO 740	NO 520	MAYBE 717
tpdb-8.0/TRS/Waldmann_06/jwno2.xml	TIMEOUT 60354	TIMEOUT 60573	MAYBE 35672	MAYBE 223	MAYBE 13695	MAYBE 13372	MAYBE 6088
tpdb-8.0/TRS/Waldmann_06/jwno3.xml	TIMEOUT 60319	TIMEOUT 60822	TIMEOUT 60068	MAYBE 162	MAYBE 14337	MAYBE 11607	MAYBE 812
tpdb-8.0/TRS/Waldmann_06/jwno4.xml	NO 2467	NO 4738	MAYBE 9077	MAYBE 148	NO 880	NO 507	MAYBE 397
tpdb-8.0/TRS/Waldmann_06/jwno5.xml	TIMEOUT 60303	TIMEOUT 60418	MAYBE 24110	MAYBE 197	MAYBE 13164	MAYBE 7413	MAYBE 1035
tpdb-8.0/TRS/Waldmann_06/jwno6.xml	NO 2445	NO 4783	MAYBE 8990	MAYBE 144	NO 724	NO 511	MAYBE 398
tpdb-8.0/TRS/Waldmann_06/jwno7.xml	TIMEOUT 60271	TIMEOUT 60059	MAYBE 57152	MAYBE 221	MAYBE 10216	MAYBE 9830	MAYBE 772
tpdb-8.0/TRS/Waldmann_06/jwno8.xml	TIMEOUT 60434	TIMEOUT 60817	TIMEOUT 60047	MAYBE 284	MAYBE 14324	MAYBE 18580	MAYBE 5801
tpdb-8.0/TRS/Waldmann_06/jwno9.xml	NO 2767	NO 4626	TIMEOUT 60045	MAYBE 314	NO 722	NO 539	MAYBE 4720
tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml	YES 1464	YES 4274	TIMEOUT 60034	MAYBE 254	MAYBE 12494	MAYBE 9033	MAYBE 2449
tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml	YES 1452	YES 4346	TIMEOUT 60030	MAYBE 255	MAYBE 12506	MAYBE 15229	MAYBE 2772
tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml	YES 4447	YES 3986	YES 2506	YES 137	YES 1089	MAYBE 7417	MAYBE 3241
tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml	YES 2055	YES 4286	YES 260	YES 305	YES 1757	YES 1821	MAYBE 2779
tpdb-8.0/TRS/Waldmann_06/jwttt.xml	YES 1897	YES 4166	YES 190	YES 326	YES 1827	YES 1836	MAYBE 1527
tpdb-8.0/TRS/Zantema_05/jw01.xml	YES 1436	YES 3211	YES 208	YES 218	YES 595	YES 933	MAYBE 1691
tpdb-8.0/TRS/Zantema_05/jw02.xml	YES 1530	YES 3169	YES 137	YES 733	YES 1095	YES 1572	MAYBE 1433
tpdb-8.0/TRS/Zantema_05/jw03.xml	YES 1467	YES 3216	YES 162	YES 198	YES 662	YES 792	MAYBE 1791
tpdb-8.0/TRS/Zantema_05/jw04.xml	YES 1453	YES 3171	YES 171	YES 210	YES 660	YES 800	MAYBE 1752
tpdb-8.0/TRS/Zantema_05/jw05.xml	YES 1565	YES 3193	YES 133	YES 184	YES 1111	YES 1423	MAYBE 1318
tpdb-8.0/TRS/Zantema_05/jw06.xml	YES 1533	YES 3223	YES 218	YES 96	YES 596	YES 899	MAYBE 1716
tpdb-8.0/TRS/Zantema_05/jw07.xml	YES 1470	YES 3283	YES 148	YES 164	YES 812	YES 980	MAYBE 6263
tpdb-8.0/TRS/Zantema_05/jw08.xml	YES 1544	YES 3192	YES 834	YES 343	YES 1066	YES 1548	MAYBE 4613
tpdb-8.0/TRS/Zantema_05/jw09.xml	YES 1474	YES 3227	YES 149	YES 94	YES 1157	YES 885	MAYBE 7734
tpdb-8.0/TRS/Zantema_05/jw11.xml	YES 1282	YES 3244	YES 770	YES 255	YES 828	YES 1209	MAYBE 9033
tpdb-8.0/TRS/Zantema_05/jw12.xml	YES 1268	YES 3198	YES 691	YES 279	YES 1092	YES 1427	MAYBE 7872
tpdb-8.0/TRS/Zantema_05/jw13.xml	YES 1654	YES 3334	YES 125	YES 85	YES 720	YES 1021	MAYBE 8618
tpdb-8.0/TRS/Zantema_05/jw14.xml	YES 1216	YES 3277	YES 54	YES 58	YES 732	YES 685	MAYBE 7464
tpdb-8.0/TRS/Zantema_05/jw15.xml	YES 1504	YES 3202	YES 1103	MAYBE 261	YES 887	YES 874	MAYBE 8519
tpdb-8.0/TRS/Zantema_05/jw16.xml	YES 1463	YES 3185	YES 366	YES 252	YES 601	YES 1032	MAYBE 5562
tpdb-8.0/TRS/Zantema_05/jw17.xml	YES 1581	YES 3231	YES 136	YES 774	YES 1159	YES 1404	MAYBE 4574
tpdb-8.0/TRS/Zantema_05/jw18.xml	YES 1495	YES 3245	YES 250	YES 216	YES 598	YES 1016	MAYBE 8121
tpdb-8.0/TRS/Zantema_05/jw19.xml	YES 1400	YES 3351	YES 1260	YES 201	YES 1099	YES 1174	MAYBE 9050
tpdb-8.0/TRS/Zantema_05/jw20.xml	YES 1500	YES 3276	YES 228	YES 228	YES 659	YES 845	MAYBE 7928
tpdb-8.0/TRS/Zantema_05/jw21.xml	YES 1471	YES 3249	YES 226	YES 218	YES 668	YES 989	MAYBE 4983
tpdb-8.0/TRS/Zantema_05/jw22.xml	YES 1590	YES 3255	YES 197	YES 730	YES 1196	YES 1741	MAYBE 6095
tpdb-8.0/TRS/Zantema_05/jw23.xml	YES 1464	YES 3231	YES 2821	YES 199	YES 672	YES 949	MAYBE 5296
tpdb-8.0/TRS/Zantema_05/jw24.xml	YES 1512	YES 3270	YES 197	YES 219	YES 653	YES 862	MAYBE 6304
tpdb-8.0/TRS/Zantema_05/jw25.xml	YES 1483	YES 3237	YES 175	YES 215	YES 654	YES 844	MAYBE 5710
tpdb-8.0/TRS/Zantema_05/jw26.xml	YES 1792	YES 3252	YES 5357	YES 214	YES 660	YES 892	MAYBE 5249
tpdb-8.0/TRS/Zantema_05/jw27.xml	YES 1587	YES 3196	YES 185	YES 190	YES 1176	YES 1610	MAYBE 6158
tpdb-8.0/TRS/Zantema_05/jw28.xml	YES 1547	YES 3241	YES 186	YES 99	YES 671	YES 909	MAYBE 4849
tpdb-8.0/TRS/Zantema_05/jw29.xml	YES 1620	YES 3231	YES 284	YES 99	YES 659	YES 867	MAYBE 8075
tpdb-8.0/TRS/Zantema_05/jw30.xml	YES 1413	YES 3284	YES 1236	YES 219	YES 1144	YES 1197	MAYBE 8945
tpdb-8.0/TRS/Zantema_05/jw31.xml	YES 1580	YES 3249	YES 242	YES 96	YES 597	YES 952	MAYBE 8396
tpdb-8.0/TRS/Zantema_05/jw32.xml	YES 1624	YES 3236	YES 137	YES 209	YES 1137	YES 1209	MAYBE 4753
tpdb-8.0/TRS/Zantema_05/jw33.xml	YES 1600	YES 3187	YES 550	YES 100	YES 601	YES 945	MAYBE 5619
tpdb-8.0/TRS/Zantema_05/jw34.xml	YES 1478	YES 3209	YES 1090	YES 279	YES 882	YES 876	MAYBE 8591
tpdb-8.0/TRS/Zantema_05/jw35.xml	YES 1205	YES 3333	YES 55	YES 53	YES 729	YES 680	MAYBE 7646
tpdb-8.0/TRS/Zantema_05/jw36.xml	YES 1501	YES 3316	YES 134	YES 117	YES 723	YES 1196	MAYBE 8696
tpdb-8.0/TRS/Zantema_05/jw37.xml	YES 1274	YES 3248	YES 683	YES 257	YES 840	YES 1499	MAYBE 8095
tpdb-8.0/TRS/Zantema_05/jw38.xml	YES 1291	YES 3253	YES 779	YES 82	YES 828	YES 981	MAYBE 9253
tpdb-8.0/TRS/Zantema_05/jw39.xml	YES 1638	YES 3216	YES 205	YES 772	YES 791	YES 1148	MAYBE 7645
tpdb-8.0/TRS/Zantema_05/jw40.xml	YES 1463	YES 3208	YES 129	YES 244	YES 907	YES 938	MAYBE 7887
tpdb-8.0/TRS/Zantema_05/jw41.xml	YES 1575	YES 3257	YES 1026	YES 313	YES 1101	YES 1602	MAYBE 4714
tpdb-8.0/TRS/Zantema_05/jw42.xml	YES 1512	YES 3248	YES 149	YES 79	YES 818	YES 915	MAYBE 6110
tpdb-8.0/TRS/Zantema_05/jw43.xml	YES 1350	YES 3364	YES 2574	YES 85	YES 662	YES 536	MAYBE 2746
tpdb-8.0/TRS/Zantema_05/jw44.xml	YES 1364	YES 3274	YES 56	YES 53	YES 738	YES 627	YES 42
tpdb-8.0/TRS/Zantema_05/jw47.xml	YES 1070	YES 3258	YES 56	YES 52	YES 524	YES 505	YES 42
tpdb-8.0/TRS/Zantema_05/jw50.xml	YES 1321	YES 3419	YES 2700	YES 77	YES 660	YES 539	MAYBE 2511
tpdb-8.0/TRS/Zantema_05/z01.xml	YES 2775	TIMEOUT 60791	YES 46561	MAYBE 413	YES 1606	MAYBE 42771	MAYBE 48743
tpdb-8.0/TRS/Zantema_05/z02.xml	YES 2914	YES 4283	MAYBE 21976	MAYBE 171	YES 937	MAYBE 7419	MAYBE 1807
tpdb-8.0/TRS/Zantema_05/z03.xml	YES 1590	YES 4699	TIMEOUT 60059	YES 104	YES 937	MAYBE 7426	MAYBE 10555
tpdb-8.0/TRS/Zantema_05/z04.xml	YES 1253	YES 3532	YES 57	YES 93	YES 822	YES 830	MAYBE 375
tpdb-8.0/TRS/Zantema_05/z05.xml	YES 1587	YES 18781	TIMEOUT 60030	MAYBE 487	YES 1116	MAYBE 16737	MAYBE 2062
tpdb-8.0/TRS/Zantema_05/z06.xml	YES 1371	YES 3931	MAYBE 4528	YES 105	YES 879	YES 1196	MAYBE 2271
tpdb-8.0/TRS/Zantema_05/z07.xml	YES 1947	YES 4201	MAYBE 4728	YES 81	YES 984	MAYBE 7421	MAYBE 691
tpdb-8.0/TRS/Zantema_05/z08.xml	YES 1464	YES 4120	YES 367	YES 110	YES 757	YES 1184	MAYBE 6554
tpdb-8.0/TRS/Zantema_05/z09.xml	YES 6703	TIMEOUT 60855	MAYBE 15525	YES 150	MAYBE 16220	MAYBE 11280	MAYBE 594
tpdb-8.0/TRS/Zantema_05/z10.xml	YES 2444	TIMEOUT 60660	TIMEOUT 60047	YES 161	MAYBE 19559	MAYBE 26693	MAYBE 1506
tpdb-8.0/TRS/Zantema_05/z11.xml	YES 1572	YES 4672	YES 2230	YES 97	YES 1544	MAYBE 7425	MAYBE 32754
tpdb-8.0/TRS/Zantema_05/z12.xml	YES 1583	TIMEOUT 60905	TIMEOUT 60093	MAYBE 1278	MAYBE 9302	MAYBE 59456	MAYBE 2057
tpdb-8.0/TRS/Zantema_05/z13.xml	YES 1457	TIMEOUT 61187	TIMEOUT 60047	MAYBE 829	MAYBE 9360	MAYBE 59442	MAYBE 582
tpdb-8.0/TRS/Zantema_05/z14.xml	YES 1398	TIMEOUT 61737	TIMEOUT 60109	MAYBE 742	MAYBE 8534	MAYBE 59447	MAYBE 505
tpdb-8.0/TRS/Zantema_05/z15.xml	YES 1379	TIMEOUT 60799	TIMEOUT 60084	MAYBE 699	MAYBE 8401	MAYBE 59441	MAYBE 359
tpdb-8.0/TRS/Zantema_05/z16.xml	YES 1393	TIMEOUT 60803	TIMEOUT 60094	MAYBE 759	MAYBE 8781	MAYBE 59448	MAYBE 481
tpdb-8.0/TRS/Zantema_05/z17.xml	TIMEOUT 60524	TIMEOUT 60844	TIMEOUT 60069	MAYBE 1000	MAYBE 8806	MAYBE 59459	MAYBE 444
tpdb-8.0/TRS/Zantema_05/z18.xml	MAYBE 21	TIMEOUT 62158	TIMEOUT 60107	MAYBE 699	MAYBE 8620	MAYBE 59441	MAYBE 467
tpdb-8.0/TRS/Zantema_05/z19.xml	YES 13782	YES 20441	TIMEOUT 60031	MAYBE 403	YES 2275	MAYBE 59446	MAYBE 1149
tpdb-8.0/TRS/Zantema_05/z20.xml	TIMEOUT 60593	TIMEOUT 60767	TIMEOUT 60033	MAYBE 480	MAYBE 13253	MAYBE 59444	MAYBE 10472
tpdb-8.0/TRS/Zantema_05/z21.xml	YES 14440	YES 18068	TIMEOUT 60031	MAYBE 382	YES 2500	MAYBE 59462	MAYBE 1167
tpdb-8.0/TRS/Zantema_05/z22.xml	YES 14400	YES 28562	TIMEOUT 60029	MAYBE 744	YES 1671	MAYBE 59443	MAYBE 11360
tpdb-8.0/TRS/Zantema_05/z23.xml	YES 1449	YES 5706	TIMEOUT 60074	MAYBE 900	YES 3177	MAYBE 59487	MAYBE 1008
tpdb-8.0/TRS/Zantema_05/z24.xml	YES 1626	TIMEOUT 61032	TIMEOUT 60069	MAYBE 796	MAYBE 10823	MAYBE 59455	MAYBE 787
tpdb-8.0/TRS/Zantema_05/z25.xml	YES 1569	YES 4588	TIMEOUT 60030	YES 68	YES 1009	MAYBE 11563	MAYBE 1833
tpdb-8.0/TRS/Zantema_05/z26.xml	YES 5018	YES 4279	TIMEOUT 60088	YES 787	YES 1139	YES 1017	MAYBE 12576
tpdb-8.0/TRS/Zantema_05/z27.xml	YES 13414	YES 9320	TIMEOUT 60031	MAYBE 580	MAYBE 8902	MAYBE 7422	MAYBE 337
tpdb-8.0/TRS/Zantema_05/z28.xml	YES 2329	YES 15688	MAYBE 14037	MAYBE 228	YES 3632	MAYBE 35411	MAYBE 370
tpdb-8.0/TRS/Zantema_05/z29.xml	YES 1441	YES 3975	YES 249	YES 76	YES 1696	YES 1645	YES 184
tpdb-8.0/TRS/Zantema_05/z30.xml	YES 1875	TIMEOUT 61400	TIMEOUT 60039	MAYBE 1286	YES 1978	MAYBE 59474	TIMEOUT 60064
	1289	1128	834	982	975	918	624