TermCOMP 2011: TRS Standard Certifying

benchmark	AProVE-A3PAT	AProVE-CeTA	cime3beta	cime3finder	TTT2Cert	CeTA
tpdb-8.0/TRS/AG01/#3.10.xml	YES 9571	YES 5562	YES 7071	YES 906	YES 5888	MISSING
tpdb-8.0/TRS/AG01/#3.12.xml	YES 2614	YES 2944	YES 166	YES 278	YES 1717	MISSING
tpdb-8.0/TRS/AG01/#3.13.xml	YES 7988	YES 4706	YES 34811	YES 498	YES 3677	MISSING
tpdb-8.0/TRS/AG01/#3.15.xml	YES 2449	YES 2557	YES 137	YES 301	YES 855	MISSING
tpdb-8.0/TRS/AG01/#3.16.xml	YES 2341	YES 2717	YES 44	YES 44	YES 1247	MISSING
tpdb-8.0/TRS/AG01/#3.17a.xml	YES 4151	YES 4827	YES 1291	YES 3856	YES 4570	MISSING
tpdb-8.0/TRS/AG01/#3.17.xml	YES 3875	YES 4652	YES 875	YES 2364	YES 3829	MISSING
tpdb-8.0/TRS/AG01/#3.18.xml	YES 3864	YES 3242	YES 189	YES 283	YES 2216	MISSING
tpdb-8.0/TRS/AG01/#3.19.xml	YES 4743	YES 3568	YES 229	YES 324	YES 2548	MISSING
tpdb-8.0/TRS/AG01/#3.1.xml	YES 2856	YES 3010	YES 159	YES 176	YES 1194	MISSING
tpdb-8.0/TRS/AG01/#3.21.xml	YES 3249	YES 3050	YES 585	YES 526	YES 890	MISSING
tpdb-8.0/TRS/AG01/#3.22.xml	YES 6575	YES 3664	YES 3441	YES 1538	YES 1654	MISSING
tpdb-8.0/TRS/AG01/#3.23.xml	YES 2659	YES 2618	YES 71	UNCERTIFIED 76	YES 727	MISSING
tpdb-8.0/TRS/AG01/#3.24.xml	YES 2346	YES 2613	YES 61	YES 111	YES 636	MISSING
tpdb-8.0/TRS/AG01/#3.26.xml	YES 2456	YES 2656	YES 66	YES 136	YES 792	MISSING
tpdb-8.0/TRS/AG01/#3.29.xml	YES 2270	YES 2361	YES 41	YES 50	YES 469	MISSING
tpdb-8.0/TRS/AG01/#3.2.xml	YES 3141	YES 2838	YES 181	YES 201	YES 1383	MISSING
tpdb-8.0/TRS/AG01/#3.31.xml	YES 2668	YES 2669	YES 155	YES 238	YES 596	MISSING
tpdb-8.0/TRS/AG01/#3.33.xml	YES 3177	YES 2380	YES 85	YES 5132	YES 1402	MISSING
tpdb-8.0/TRS/AG01/#3.35.xml	YES 2399	YES 2444	YES 39	YES 41	YES 665	MISSING
tpdb-8.0/TRS/AG01/#3.36.xml	YES 2783	YES 2941	YES 220	YES 181	YES 1018	MISSING
tpdb-8.0/TRS/AG01/#3.37.xml	YES 2668	YES 2693	YES 125	YES 331	YES 938	MISSING
tpdb-8.0/TRS/AG01/#3.38.xml	YES 3121	YES 3112	YES 236	YES 221	YES 1487	MISSING
tpdb-8.0/TRS/AG01/#3.39.xml	UNCERTIFIED 7092	YES 3912	UNCERTIFIED 60029	YES 2758	YES 2593	MISSING
tpdb-8.0/TRS/AG01/#3.40.xml	UNCERTIFIED 60285	YES 6312	UNCERTIFIED 60030	UNCERTIFIED 60031	UNCERTIFIED 59452	MISSING
tpdb-8.0/TRS/AG01/#3.41.xml	YES 3206	YES 2879	UNCERTIFIED 426	YES 547	YES 975	MISSING
tpdb-8.0/TRS/AG01/#3.42.xml	YES 3165	YES 3368	UNCERTIFIED 985	YES 1068	YES 1541	MISSING
tpdb-8.0/TRS/AG01/#3.47.xml	YES 2562	YES 2845	YES 66	YES 125	YES 711	MISSING
tpdb-8.0/TRS/AG01/#3.48.xml	YES 4070	YES 3083	YES 1818	YES 505	YES 1884	MISSING
tpdb-8.0/TRS/AG01/#3.49.xml	YES 2859	YES 3163	YES 171	YES 650	YES 1223	MISSING
tpdb-8.0/TRS/AG01/#3.4.xml	YES 3631	YES 3045	YES 208	YES 232	YES 1976	MISSING
tpdb-8.0/TRS/AG01/#3.51.xml	YES 3009	YES 2483	YES 145	YES 1045	YES 1023	MISSING
tpdb-8.0/TRS/AG01/#3.52.xml	YES 2712	YES 2672	YES 67	YES 67	YES 785	MISSING
tpdb-8.0/TRS/AG01/#3.53a.xml	YES 2292	YES 2402	YES 45	YES 53	YES 588	MISSING
tpdb-8.0/TRS/AG01/#3.53b.xml	YES 2724	YES 2704	YES 70	YES 68	YES 798	MISSING
tpdb-8.0/TRS/AG01/#3.53.xml	YES 5672	YES 4467	YES 525	YES 519	YES 4444	MISSING
tpdb-8.0/TRS/AG01/#3.54.xml	YES 2674	YES 2749	YES 92	YES 189	YES 888	MISSING
tpdb-8.0/TRS/AG01/#3.55.xml	YES 10862	YES 4870	UNCERTIFIED 1615	UNCERTIFIED 943	YES 5641	MISSING
tpdb-8.0/TRS/AG01/#3.56.xml	YES 2997	YES 3257	YES 149	YES 876	YES 1640	MISSING
tpdb-8.0/TRS/AG01/#3.57.xml	YES 9059	YES 4578	YES 664	YES 717	YES 4693	MISSING
tpdb-8.0/TRS/AG01/#3.5a.xml	YES 3998	YES 3631	UNCERTIFIED 471	YES 282	YES 1762	MISSING
tpdb-8.0/TRS/AG01/#3.5b.xml	YES 4862	YES 3734	UNCERTIFIED 632	YES 388	YES 1963	MISSING
tpdb-8.0/TRS/AG01/#3.5.xml	YES 4482	YES 3396	UNCERTIFIED 459	YES 269	YES 1659	MISSING
tpdb-8.0/TRS/AG01/#3.6a.xml	YES 3901	YES 3671	YES 1135	YES 351	YES 1945	MISSING
tpdb-8.0/TRS/AG01/#3.6b.xml	YES 4992	YES 3994	YES 1224	YES 466	YES 2505	MISSING
tpdb-8.0/TRS/AG01/#3.6.xml	YES 4377	YES 3610	YES 729	YES 295	YES 2125	MISSING
tpdb-8.0/TRS/AG01/#3.7.xml	YES 2247	YES 2596	YES 40	YES 41	YES 1078	MISSING
tpdb-8.0/TRS/AG01/#3.8a.xml	YES 4732	YES 3099	YES 280	YES 595	YES 2113	MISSING
tpdb-8.0/TRS/AG01/#3.8b.xml	YES 5697	YES 4191	UNCERTIFIED 513	YES 688	YES 2511	MISSING
tpdb-8.0/TRS/AG01/#4.30c.xml	UNCERTIFIED 60156	UNCERTIFIED 60752	UNCERTIFIED 60030	UNCERTIFIED 60029	UNCERTIFIED 59409	MISSING
tpdb-8.0/TRS/AotoYamada_05/001.xml	UNCERTIFIED 2475	NO 2861	UNCERTIFIED 2840	UNCERTIFIED 1582	NO 341	MISSING
tpdb-8.0/TRS/AotoYamada_05/002.xml	YES 5604	YES 4131	UNCERTIFIED 60042	YES 7785	YES 1361	MISSING
tpdb-8.0/TRS/AotoYamada_05/003.xml	UNCERTIFIED 60690	NO 3190	UNCERTIFIED 60063	UNCERTIFIED 33780	NO 349	MISSING
tpdb-8.0/TRS/AotoYamada_05/004.xml	UNCERTIFIED 60150	YES 3646	UNCERTIFIED 10440	UNCERTIFIED 5461	YES 1377	MISSING
tpdb-8.0/TRS/AotoYamada_05/005.xml	YES 2323	YES 2517	YES 49	YES 50	YES 639	MISSING
tpdb-8.0/TRS/AotoYamada_05/006.xml	UNCERTIFIED 60455	YES 3837	YES 24495	YES 16961	YES 1369	MISSING
tpdb-8.0/TRS/AotoYamada_05/007.xml	YES 7110	YES 3866	YES 6115	YES 5400	YES 1427	MISSING
tpdb-8.0/TRS/AotoYamada_05/009.xml	YES 3969	YES 3821	YES 5682	YES 3630	YES 1411	MISSING
tpdb-8.0/TRS/AotoYamada_05/010.xml	UNCERTIFIED 60436	YES 6446	UNCERTIFIED 60040	UNCERTIFIED 16138	UNCERTIFIED 16844	MISSING
tpdb-8.0/TRS/AotoYamada_05/011.xml	UNCERTIFIED 10026	YES 4564	YES 16593	UNCERTIFIED 9998	UNCERTIFIED 21847	MISSING
tpdb-8.0/TRS/AotoYamada_05/012.xml	YES 4134	YES 3817	YES 5406	YES 3487	YES 1605	MISSING
tpdb-8.0/TRS/AotoYamada_05/013.xml	UNCERTIFIED 44461	YES 4225	UNCERTIFIED 60042	UNCERTIFIED 18024	YES 1552	MISSING
tpdb-8.0/TRS/AotoYamada_05/014.xml	UNCERTIFIED 41920	YES 5087	UNCERTIFIED 33283	UNCERTIFIED 17136	YES 1885	MISSING
tpdb-8.0/TRS/AotoYamada_05/015.xml	UNCERTIFIED 60632	YES 3830	UNCERTIFIED 60083	UNCERTIFIED 60087	YES 1719	MISSING
tpdb-8.0/TRS/AotoYamada_05/016.xml	YES 11483	YES 4813	UNCERTIFIED 60042	YES 10125	YES 1723	MISSING
tpdb-8.0/TRS/AotoYamada_05/017.xml	YES 2207	YES 2338	YES 40	YES 39	YES 506	UNCERTIFIED 0
tpdb-8.0/TRS/AotoYamada_05/019.xml	UNCERTIFIED 3081	YES 2828	UNCERTIFIED 557	UNCERTIFIED 635	YES 855	MISSING
tpdb-8.0/TRS/AotoYamada_05/020.xml	UNCERTIFIED 13570	YES 4711	UNCERTIFIED 4073	UNCERTIFIED 3149	YES 1620	MISSING
tpdb-8.0/TRS/AotoYamada_05/021.xml	UNCERTIFIED 60547	YES 5126	UNCERTIFIED 60036	UNCERTIFIED 39296	YES 2134	MISSING
tpdb-8.0/TRS/AotoYamada_05/022.xml	UNCERTIFIED 60216	YES 3987	YES 5718	YES 3726	YES 1225	MISSING
tpdb-8.0/TRS/AotoYamada_05/023.xml	YES 2237	YES 2467	YES 46	YES 47	YES 563	MISSING
tpdb-8.0/TRS/AotoYamada_05/024.xml	YES 3204	YES 3046	YES 2031	YES 1370	YES 1058	MISSING
tpdb-8.0/TRS/AotoYamada_05/025.xml	YES 2218	YES 2313	YES 37	YES 40	YES 458	UNCERTIFIED 0
tpdb-8.0/TRS/AotoYamada_05/026.xml	UNCERTIFIED 5919	YES 3439	UNCERTIFIED 10900	UNCERTIFIED 4816	YES 1362	MISSING
tpdb-8.0/TRS/AotoYamada_05/027.xml	YES 6759	YES 3936	YES 10107	YES 8850	YES 1441	MISSING
tpdb-8.0/TRS/AotoYamada_05/028.xml	UNCERTIFIED 53666	YES 3498	UNCERTIFIED 60038	UNCERTIFIED 17037	YES 1349	MISSING
tpdb-8.0/TRS/AotoYamada_05/Ex1SimplyTyped.xml	YES 4143	YES 3604	YES 3731	YES 3285	YES 1368	MISSING
tpdb-8.0/TRS/Applicative_05/BTreeMember.xml	YES 11711	YES 5657	YES 5797	YES 1332	YES 2155	MISSING
tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml	YES 2171	YES 2358	YES 36	YES 38	YES 517	UNCERTIFIED 0
tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml	UNCERTIFIED 3369	NO 2766	UNCERTIFIED 753	UNCERTIFIED 1171	NO 475	MISSING
tpdb-8.0/TRS/Applicative_05/Ex3Lists.xml	UNCERTIFIED 52814	YES 4390	UNCERTIFIED 41753	UNCERTIFIED 16332	YES 1791	MISSING
tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml	YES 3337	YES 3276	YES 2419	YES 1735	YES 1177	MISSING
tpdb-8.0/TRS/Applicative_05/Ex6_11.xml	YES 6446	YES 3479	YES 5553	YES 3591	YES 4496	MISSING
tpdb-8.0/TRS/Applicative_05/Ex7_9.xml	UNCERTIFIED 60849	YES 7478	UNCERTIFIED 60092	UNCERTIFIED 60083	UNCERTIFIED 38227	MISSING
tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml	UNCERTIFIED 29274	YES 4037	UNCERTIFIED 8882	UNCERTIFIED 8547	YES 1552	MISSING
tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml	UNCERTIFIED 60614	YES 8162	UNCERTIFIED 60079	UNCERTIFIED 60076	UNCERTIFIED 38100	MISSING
tpdb-8.0/TRS/Applicative_05/Hamming.xml	UNCERTIFIED 61403	NO 9484	UNCERTIFIED 60097	UNCERTIFIED 60084	NO 560	MISSING
tpdb-8.0/TRS/Applicative_05/mapDivMinusHard.xml	UNCERTIFIED 60476	UNCERTIFIED 60980	UNCERTIFIED 60060	UNCERTIFIED 57907	UNCERTIFIED 59469	MISSING
tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml	UNCERTIFIED 60497	YES 4252	UNCERTIFIED 60045	UNCERTIFIED 28230	UNCERTIFIED 5800	MISSING
tpdb-8.0/TRS/Applicative_05/nonTermF.xml	UNCERTIFIED 60405	NO 4036	UNCERTIFIED 28657	UNCERTIFIED 10846	NO 448	MISSING
tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml	YES 2611	YES 2628	YES 1612	YES 823	YES 2456	UNCERTIFIED 0
tpdb-8.0/TRS/Applicative_05/TakeDropWhile.xml	UNCERTIFIED 60542	YES 4361	UNCERTIFIED 60087	UNCERTIFIED 60063	YES 1805	MISSING
tpdb-8.0/TRS/Applicative_05/termMonTypes.xml	UNCERTIFIED 30331	NO 2905	UNCERTIFIED 13909	UNCERTIFIED 4789	NO 442	MISSING
tpdb-8.0/TRS/Applicative_05/TreeFlatten.xml	UNCERTIFIED 60487	YES 4465	UNCERTIFIED 60042	UNCERTIFIED 18088	YES 1854	MISSING
tpdb-8.0/TRS/Applicative_05/TreeHeight.xml	UNCERTIFIED 60515	YES 5579	UNCERTIFIED 60059	UNCERTIFIED 33232	YES 2183	MISSING
tpdb-8.0/TRS/Applicative_05/TreeLevels.xml	UNCERTIFIED 60616	YES 6903	UNCERTIFIED 60087	UNCERTIFIED 60092	YES 2328	MISSING
tpdb-8.0/TRS/Applicative_05/TreeMap.xml	UNCERTIFIED 60502	YES 3649	UNCERTIFIED 60050	UNCERTIFIED 47005	YES 1347	MISSING
tpdb-8.0/TRS/Applicative_05/TreeSize.xml	UNCERTIFIED 60599	YES 4801	UNCERTIFIED 60035	UNCERTIFIED 18262	YES 1891	MISSING
tpdb-8.0/TRS/Applicative_05/TypeEx1.xml	YES 3025	YES 3942	YES 2894	YES 2772	YES 1262	MISSING
tpdb-8.0/TRS/Applicative_05/TypeEx3.xml	UNCERTIFIED 60433	NO 3407	UNCERTIFIED 60057	UNCERTIFIED 42053	NO 356	MISSING
tpdb-8.0/TRS/Applicative_05/TypeEx5.xml	UNCERTIFIED 1552	NO 2663	UNCERTIFIED 169	UNCERTIFIED 143	NO 340	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/01.xml	UNCERTIFIED 60464	YES 5609	UNCERTIFIED 39661	UNCERTIFIED 19274	YES 2225	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/02.xml	UNCERTIFIED 60539	YES 5404	UNCERTIFIED 40004	UNCERTIFIED 14002	YES 1981	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/06.xml	UNCERTIFIED 60600	YES 5127	UNCERTIFIED 46507	UNCERTIFIED 31523	YES 2211	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/08.xml	UNCERTIFIED 60675	YES 8158	UNCERTIFIED 60077	UNCERTIFIED 60069	YES 2767	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/11.xml	UNCERTIFIED 61293	YES 11583	UNCERTIFIED 60072	UNCERTIFIED 60087	YES 5643	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/12.xml	UNCERTIFIED 60705	YES 7813	UNCERTIFIED 60050	UNCERTIFIED 41446	YES 3025	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/13.xml	UNCERTIFIED 60564	YES 9505	UNCERTIFIED 60048	UNCERTIFIED 60047	UNCERTIFIED 10712	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/17.xml	UNCERTIFIED 60638	YES 6357	UNCERTIFIED 36063	UNCERTIFIED 18854	YES 2650	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/18.xml	UNCERTIFIED 60596	YES 5605	UNCERTIFIED 60043	UNCERTIFIED 38018	YES 2193	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/21.xml	UNCERTIFIED 60635	UNCERTIFIED 60890	UNCERTIFIED 60064	UNCERTIFIED 48023	UNCERTIFIED 3940	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/29.xml	UNCERTIFIED 60602	YES 6142	UNCERTIFIED 53198	UNCERTIFIED 38699	YES 2630	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/30.xml	UNCERTIFIED 60894	YES 7007	UNCERTIFIED 60091	UNCERTIFIED 60097	YES 3103	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml	UNCERTIFIED 61327	UNCERTIFIED 60943	UNCERTIFIED 60087	UNCERTIFIED 60087	UNCERTIFIED 32686	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.13.xml	UNCERTIFIED 60856	UNCERTIFIED 61397	UNCERTIFIED 60081	UNCERTIFIED 60098	UNCERTIFIED 12322	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.16.xml	UNCERTIFIED 60506	YES 6719	UNCERTIFIED 47678	UNCERTIFIED 21426	YES 2630	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml	UNCERTIFIED 60631	YES 8232	UNCERTIFIED 60048	UNCERTIFIED 50106	UNCERTIFIED 12682	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/31.xml	UNCERTIFIED 60662	YES 7418	UNCERTIFIED 60060	UNCERTIFIED 60051	UNCERTIFIED 14959	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.22.xml	UNCERTIFIED 60965	YES 7639	UNCERTIFIED 60086	UNCERTIFIED 60088	UNCERTIFIED 6935	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.25.xml	UNCERTIFIED 60688	YES 5348	UNCERTIFIED 37421	UNCERTIFIED 48252	UNCERTIFIED 4823	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.27.xml	UNCERTIFIED 60716	YES 4659	UNCERTIFIED 59103	UNCERTIFIED 29799	YES 2019	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.2.xml	UNCERTIFIED 60567	YES 7461	UNCERTIFIED 60043	UNCERTIFIED 24689	UNCERTIFIED 5153	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml	UNCERTIFIED 60717	YES 4347	UNCERTIFIED 42196	UNCERTIFIED 27445	YES 1895	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.36.xml	UNCERTIFIED 60552	UNCERTIFIED 60763	UNCERTIFIED 60048	UNCERTIFIED 33941	UNCERTIFIED 5911	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.38.xml	UNCERTIFIED 60562	UNCERTIFIED 60734	UNCERTIFIED 60061	UNCERTIFIED 38138	UNCERTIFIED 12035	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.40.xml	UNCERTIFIED 60664	YES 11752	UNCERTIFIED 60071	UNCERTIFIED 60050	UNCERTIFIED 59529	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml	UNCERTIFIED 60785	UNCERTIFIED 60632	UNCERTIFIED 40235	UNCERTIFIED 37096	YES 2767	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.48.xml	UNCERTIFIED 60905	YES 8786	UNCERTIFIED 60088	UNCERTIFIED 60088	YES 3526	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.52.xml	UNCERTIFIED 60545	YES 6223	UNCERTIFIED 35419	UNCERTIFIED 39882	YES 2284	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.55.xml	UNCERTIFIED 60731	YES 15878	UNCERTIFIED 60090	UNCERTIFIED 60081	UNCERTIFIED 10826	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml	UNCERTIFIED 60735	YES 12659	UNCERTIFIED 60089	UNCERTIFIED 60078	UNCERTIFIED 11626	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.6.xml	UNCERTIFIED 60729	UNCERTIFIED 60746	UNCERTIFIED 60100	UNCERTIFIED 60056	UNCERTIFIED 10354	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/#3.8.xml	UNCERTIFIED 60592	YES 7883	UNCERTIFIED 60079	UNCERTIFIED 60051	UNCERTIFIED 31242	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml	UNCERTIFIED 60586	YES 6937	UNCERTIFIED 60054	UNCERTIFIED 60065	YES 2884	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/motivation.xml	UNCERTIFIED 60566	YES 6409	UNCERTIFIED 52358	UNCERTIFIED 38099	YES 2315	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/perfect2.xml	UNCERTIFIED 60888	YES 11443	UNCERTIFIED 60079	UNCERTIFIED 60082	UNCERTIFIED 59548	MISSING
tpdb-8.0/TRS/Applicative_first_order_05/perfect.xml	UNCERTIFIED 61089	YES 9085	UNCERTIFIED 60091	UNCERTIFIED 60082	YES 4872	MISSING
tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml	UNCERTIFIED 60961	UNCERTIFIED 63363	UNCERTIFIED 60049	UNCERTIFIED 60057	UNCERTIFIED 59637	MISSING
tpdb-8.0/TRS/AProVE_04/AAECC.xml	UNCERTIFIED 60572	UNCERTIFIED 61281	UNCERTIFIED 60043	UNCERTIFIED 60042	UNCERTIFIED 51110	MISSING
tpdb-8.0/TRS/AProVE_04/fac.xml	UNCERTIFIED 60172	YES 3215	UNCERTIFIED 627	UNCERTIFIED 1174	YES 2079	MISSING
tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml	UNCERTIFIED 1618	UNCERTIFIED 2418	UNCERTIFIED 138	UNCERTIFIED 121	UNCERTIFIED 744	MISSING
tpdb-8.0/TRS/AProVE_04/forward_instantiation.xml	UNCERTIFIED 1590	YES 2728	UNCERTIFIED 133	UNCERTIFIED 115	UNCERTIFIED 762	MISSING
tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml	UNCERTIFIED 60204	YES 3742	UNCERTIFIED 687	UNCERTIFIED 589	YES 2037	MISSING
tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml	UNCERTIFIED 60710	YES 4915	UNCERTIFIED 3496	UNCERTIFIED 2025	YES 3429	MISSING
tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml	UNCERTIFIED 60094	YES 2948	YES 154	YES 159	YES 1109	MISSING
tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml	UNCERTIFIED 60665	YES 5474	UNCERTIFIED 3262	UNCERTIFIED 3390	YES 4306	MISSING
tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml	UNCERTIFIED 58552	YES 5638	UNCERTIFIED 3435	UNCERTIFIED 3725	YES 4616	MISSING
tpdb-8.0/TRS/AProVE_04/improved_usable2.xml	YES 2896	YES 2466	UNCERTIFIED 113	YES 119	YES 949	MISSING
tpdb-8.0/TRS/AProVE_04/improved_usable.xml	YES 2896	YES 2738	UNCERTIFIED 479	YES 118	YES 1101	MISSING
tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml	YES 8857	YES 5569	YES 3127	YES 899	YES 8807	MISSING
tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml	YES 3116	YES 3991	UNCERTIFIED 493	YES 1025	YES 1803	MISSING
tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml	YES 3158	YES 3213	UNCERTIFIED 475	YES 1466	YES 2211	MISSING
tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml	YES 3727	YES 27805	UNCERTIFIED 2522	YES 4888	YES 4741	MISSING
tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml	UNCERTIFIED 11308	YES 33086	UNCERTIFIED 10621	UNCERTIFIED 13246	UNCERTIFIED 59455	MISSING
tpdb-8.0/TRS/AProVE_04/Liveness8.xml	YES 6714	YES 4288	YES 400	YES 5339	YES 5095	MISSING
tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	UNCERTIFIED 10893	YES 23894	UNCERTIFIED 60036	UNCERTIFIED 60096	YES 4260	MISSING
tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml	YES 3749	YES 3408	YES 567	YES 1448	YES 1402	MISSING
tpdb-8.0/TRS/AProVE_04/rta1.xml	UNCERTIFIED 60276	YES 3206	UNCERTIFIED 1219	UNCERTIFIED 1772	YES 2601	MISSING
tpdb-8.0/TRS/AProVE_04/rta2.xml	YES 2294	YES 2407	YES 41	YES 52	YES 574	MISSING
tpdb-8.0/TRS/AProVE_04/rta3.xml	UNCERTIFIED 60118	YES 2972	UNCERTIFIED 484	UNCERTIFIED 674	YES 1124	MISSING
tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml	UNCERTIFIED 60735	UNCERTIFIED 61871	UNCERTIFIED 60030	UNCERTIFIED 5067	UNCERTIFIED 59455	MISSING
tpdb-8.0/TRS/AProVE_06/factorial1.xml	UNCERTIFIED 60456	YES 3819	UNCERTIFIED 3422	UNCERTIFIED 3271	YES 2701	MISSING
tpdb-8.0/TRS/AProVE_06/factorial2.xml	UNCERTIFIED 60409	UNCERTIFIED 61227	UNCERTIFIED 60036	UNCERTIFIED 20185	UNCERTIFIED 16368	MISSING
tpdb-8.0/TRS/AProVE_06/identity.xml	UNCERTIFIED 60155	YES 4236	UNCERTIFIED 1855	UNCERTIFIED 3040	UNCERTIFIED 59425	MISSING
tpdb-8.0/TRS/AProVE_06/logarithm.xml	UNCERTIFIED 60902	UNCERTIFIED 61046	UNCERTIFIED 60082	UNCERTIFIED 60064	UNCERTIFIED 59442	MISSING
tpdb-8.0/TRS/AProVE_06/mapHard.xml	UNCERTIFIED 60814	UNCERTIFIED 60827	UNCERTIFIED 60074	UNCERTIFIED 60049	UNCERTIFIED 59463	MISSING
tpdb-8.0/TRS/AProVE_06/modulo.xml	UNCERTIFIED 15905	UNCERTIFIED 61197	UNCERTIFIED 60036	UNCERTIFIED 44511	UNCERTIFIED 6157	MISSING
tpdb-8.0/TRS/AProVE_06/nonterm.xml	UNCERTIFIED 10928	UNCERTIFIED 61212	UNCERTIFIED 33434	UNCERTIFIED 60083	NO 469	MISSING
tpdb-8.0/TRS/AProVE_06/quicksort.xml	UNCERTIFIED 60766	YES 7221	UNCERTIFIED 60054	UNCERTIFIED 60046	YES 7355	MISSING
tpdb-8.0/TRS/AProVE_06/quot.xml	UNCERTIFIED 60226	UNCERTIFIED 61023	UNCERTIFIED 60034	UNCERTIFIED 21593	UNCERTIFIED 5647	MISSING
tpdb-8.0/TRS/AProVE_06/sizeChange.xml	UNCERTIFIED 16411	YES 3239	UNCERTIFIED 60042	UNCERTIFIED 40380	YES 1193	MISSING
tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml	UNCERTIFIED 10015	UNCERTIFIED 60657	UNCERTIFIED 60030	UNCERTIFIED 3328	UNCERTIFIED 24266	MISSING
tpdb-8.0/TRS/AProVE_06/tower.xml	UNCERTIFIED 60712	YES 4302	UNCERTIFIED 12186	UNCERTIFIED 3132	YES 4131	MISSING
tpdb-8.0/TRS/AProVE_07/kabasci01.xml	UNCERTIFIED 11053	YES 13502	UNCERTIFIED 15864	YES 9399	YES 16913	MISSING
tpdb-8.0/TRS/AProVE_07/kabasci02.xml	UNCERTIFIED 44563	YES 6772	UNCERTIFIED 60072	UNCERTIFIED 60045	YES 6225	MISSING
tpdb-8.0/TRS/AProVE_07/kabasci03.xml	UNCERTIFIED 60705	YES 6366	UNCERTIFIED 60064	UNCERTIFIED 60048	YES 6264	MISSING
tpdb-8.0/TRS/AProVE_07/kabasci04.xml	YES 18231	YES 3972	UNCERTIFIED 60036	UNCERTIFIED 20132	YES 3873	MISSING
tpdb-8.0/TRS/AProVE_07/kabasci05.xml	UNCERTIFIED 60516	YES 4893	UNCERTIFIED 60042	UNCERTIFIED 48454	YES 6924	MISSING
tpdb-8.0/TRS/AProVE_07/kabasci06.xml	UNCERTIFIED 60619	UNCERTIFIED 60960	UNCERTIFIED 60082	UNCERTIFIED 60057	UNCERTIFIED 59451	MISSING
tpdb-8.0/TRS/AProVE_07/otto01.xml	UNCERTIFIED 61783	UNCERTIFIED 61223	UNCERTIFIED 60072	UNCERTIFIED 60060	UNCERTIFIED 29156	MISSING
tpdb-8.0/TRS/AProVE_07/otto02.xml	UNCERTIFIED 60593	UNCERTIFIED 61331	UNCERTIFIED 60034	UNCERTIFIED 6452	UNCERTIFIED 20826	MISSING
tpdb-8.0/TRS/AProVE_07/otto03.xml	UNCERTIFIED 9933	UNCERTIFIED 60751	UNCERTIFIED 1430	UNCERTIFIED 485	UNCERTIFIED 17674	MISSING
tpdb-8.0/TRS/AProVE_07/otto04.xml	UNCERTIFIED 60557	UNCERTIFIED 61073	UNCERTIFIED 60050	UNCERTIFIED 60039	UNCERTIFIED 20361	MISSING
tpdb-8.0/TRS/AProVE_07/otto05.xml	UNCERTIFIED 60249	YES 4139	UNCERTIFIED 3437	UNCERTIFIED 986	YES 1813	MISSING
tpdb-8.0/TRS/AProVE_07/otto06.xml	UNCERTIFIED 60543	UNCERTIFIED 61220	UNCERTIFIED 60033	UNCERTIFIED 15261	UNCERTIFIED 23534	MISSING
tpdb-8.0/TRS/AProVE_07/otto07.xml	UNCERTIFIED 60149	UNCERTIFIED 60754	UNCERTIFIED 857	UNCERTIFIED 389	UNCERTIFIED 17666	MISSING
tpdb-8.0/TRS/AProVE_07/otto08.xml	UNCERTIFIED 60223	UNCERTIFIED 60953	UNCERTIFIED 60031	UNCERTIFIED 7294	UNCERTIFIED 7387	MISSING
tpdb-8.0/TRS/AProVE_07/otto09.xml	UNCERTIFIED 60368	UNCERTIFIED 61101	UNCERTIFIED 60031	UNCERTIFIED 24317	UNCERTIFIED 6607	MISSING
tpdb-8.0/TRS/AProVE_07/otto10.xml	UNCERTIFIED 60582	UNCERTIFIED 61133	UNCERTIFIED 60052	UNCERTIFIED 60046	UNCERTIFIED 22928	MISSING
tpdb-8.0/TRS/AProVE_07/otto11.xml	UNCERTIFIED 5756	UNCERTIFIED 61055	UNCERTIFIED 10696	UNCERTIFIED 658	UNCERTIFIED 18269	MISSING
tpdb-8.0/TRS/AProVE_07/otto12.xml	UNCERTIFIED 60362	UNCERTIFIED 61263	UNCERTIFIED 6743	UNCERTIFIED 1892	UNCERTIFIED 22430	MISSING
tpdb-8.0/TRS/AProVE_07/otto13.xml	UNCERTIFIED 60270	UNCERTIFIED 61068	UNCERTIFIED 60044	UNCERTIFIED 60035	UNCERTIFIED 35435	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann01.xml	UNCERTIFIED 60264	UNCERTIFIED 61165	UNCERTIFIED 60033	UNCERTIFIED 14073	UNCERTIFIED 8679	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann02.xml	UNCERTIFIED 61282	UNCERTIFIED 61128	UNCERTIFIED 60088	UNCERTIFIED 60063	UNCERTIFIED 47734	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann03.xml	UNCERTIFIED 21964	UNCERTIFIED 61176	UNCERTIFIED 54054	UNCERTIFIED 16012	UNCERTIFIED 59417	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann04.xml	UNCERTIFIED 60656	UNCERTIFIED 61338	UNCERTIFIED 60051	UNCERTIFIED 60045	UNCERTIFIED 53810	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann05.xml	UNCERTIFIED 60271	UNCERTIFIED 61115	UNCERTIFIED 60033	UNCERTIFIED 18650	UNCERTIFIED 15699	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann06.xml	UNCERTIFIED 60613	UNCERTIFIED 61062	UNCERTIFIED 60065	UNCERTIFIED 60053	UNCERTIFIED 59451	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann07.xml	UNCERTIFIED 60792	UNCERTIFIED 62327	UNCERTIFIED 60033	UNCERTIFIED 33476	UNCERTIFIED 59439	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann08.xml	UNCERTIFIED 60186	YES 3888	UNCERTIFIED 910	UNCERTIFIED 928	YES 1739	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann09.xml	UNCERTIFIED 60636	YES 4753	UNCERTIFIED 42142	UNCERTIFIED 10547	UNCERTIFIED 21494	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann10.xml	UNCERTIFIED 60190	YES 3988	UNCERTIFIED 3396	UNCERTIFIED 1385	YES 2496	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann11.xml	UNCERTIFIED 60342	UNCERTIFIED 61335	UNCERTIFIED 60048	UNCERTIFIED 60036	UNCERTIFIED 59458	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann12.xml	UNCERTIFIED 60176	YES 3954	UNCERTIFIED 17610	UNCERTIFIED 5957	YES 2264	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann13.xml	UNCERTIFIED 60256	UNCERTIFIED 61040	UNCERTIFIED 60040	UNCERTIFIED 60031	UNCERTIFIED 59451	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann14.xml	UNCERTIFIED 60452	YES 15708	UNCERTIFIED 19020	UNCERTIFIED 4020	YES 3776	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann15.xml	UNCERTIFIED 60134	YES 3811	UNCERTIFIED 900	UNCERTIFIED 735	YES 2121	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann16.xml	UNCERTIFIED 17610	YES 5782	UNCERTIFIED 46364	UNCERTIFIED 15367	YES 4231	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann17.xml	UNCERTIFIED 60720	YES 5735	UNCERTIFIED 16876	UNCERTIFIED 60031	YES 2848	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann18.xml	UNCERTIFIED 60555	YES 9259	UNCERTIFIED 60043	UNCERTIFIED 60030	YES 6044	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann19.xml	UNCERTIFIED 60580	UNCERTIFIED 60792	UNCERTIFIED 964	UNCERTIFIED 24204	UNCERTIFIED 26196	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann20.xml	UNCERTIFIED 60316	UNCERTIFIED 60890	UNCERTIFIED 3650	UNCERTIFIED 1462	UNCERTIFIED 59410	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann22.xml	UNCERTIFIED 60255	UNCERTIFIED 61026	UNCERTIFIED 60031	UNCERTIFIED 14241	UNCERTIFIED 59456	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann23.xml	UNCERTIFIED 61147	UNCERTIFIED 60959	UNCERTIFIED 38176	UNCERTIFIED 60096	UNCERTIFIED 18793	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann24.xml	UNCERTIFIED 60336	UNCERTIFIED 61220	UNCERTIFIED 2430	UNCERTIFIED 1115	UNCERTIFIED 20298	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann25.xml	UNCERTIFIED 5007	UNCERTIFIED 61197	UNCERTIFIED 60032	UNCERTIFIED 1513	UNCERTIFIED 18896	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann27.xml	UNCERTIFIED 6429	UNCERTIFIED 50293	UNCERTIFIED 566	UNCERTIFIED 383	UNCERTIFIED 17533	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann28.xml	UNCERTIFIED 60270	UNCERTIFIED 61014	UNCERTIFIED 51631	UNCERTIFIED 5381	UNCERTIFIED 59416	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann29.xml	UNCERTIFIED 60724	UNCERTIFIED 62072	UNCERTIFIED 60045	UNCERTIFIED 60034	UNCERTIFIED 59426	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann31.xml	UNCERTIFIED 60319	UNCERTIFIED 62124	UNCERTIFIED 60037	UNCERTIFIED 60032	UNCERTIFIED 26792	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann32.xml	UNCERTIFIED 60988	UNCERTIFIED 61717	UNCERTIFIED 44013	UNCERTIFIED 60087	UNCERTIFIED 59444	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann33.xml	UNCERTIFIED 60606	UNCERTIFIED 60667	UNCERTIFIED 1970	UNCERTIFIED 60042	UNCERTIFIED 19791	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann34.xml	UNCERTIFIED 29498	UNCERTIFIED 61114	UNCERTIFIED 21619	UNCERTIFIED 1441	UNCERTIFIED 25663	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann35.xml	UNCERTIFIED 60854	YES 7921	UNCERTIFIED 60083	UNCERTIFIED 60083	UNCERTIFIED 32806	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann36.xml	UNCERTIFIED 60447	UNCERTIFIED 62558	UNCERTIFIED 60047	UNCERTIFIED 60036	UNCERTIFIED 26869	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann37.xml	UNCERTIFIED 60750	UNCERTIFIED 61047	UNCERTIFIED 60052	UNCERTIFIED 60043	UNCERTIFIED 23096	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann38.xml	UNCERTIFIED 60339	UNCERTIFIED 61028	UNCERTIFIED 28738	UNCERTIFIED 12536	UNCERTIFIED 24362	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann39.xml	UNCERTIFIED 60542	UNCERTIFIED 60672	UNCERTIFIED 60101	UNCERTIFIED 60063	UNCERTIFIED 43830	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann40.xml	UNCERTIFIED 4364	YES 3178	UNCERTIFIED 419	UNCERTIFIED 292	YES 1127	MISSING
tpdb-8.0/TRS/AProVE_07/thiemann41.xml	UNCERTIFIED 60290	UNCERTIFIED 61017	UNCERTIFIED 14442	UNCERTIFIED 17476	UNCERTIFIED 18854	MISSING
tpdb-8.0/TRS/AProVE_07/wiehe01.xml	UNCERTIFIED 60967	YES 8918	UNCERTIFIED 60050	UNCERTIFIED 60043	YES 4758	MISSING
tpdb-8.0/TRS/AProVE_07/wiehe02.xml	UNCERTIFIED 61304	YES 11177	UNCERTIFIED 60047	UNCERTIFIED 60047	YES 7801	MISSING
tpdb-8.0/TRS/AProVE_07/wiehe03.xml	UNCERTIFIED 61241	YES 11101	UNCERTIFIED 60048	UNCERTIFIED 60049	YES 7865	MISSING
tpdb-8.0/TRS/AProVE_07/wiehe05.xml	UNCERTIFIED 61322	YES 9258	UNCERTIFIED 60050	UNCERTIFIED 60045	YES 6946	MISSING
tpdb-8.0/TRS/AProVE_07/wiehe06.xml	UNCERTIFIED 60979	YES 9037	UNCERTIFIED 60046	UNCERTIFIED 60047	YES 4878	MISSING
tpdb-8.0/TRS/AProVE_07/wiehe07.xml	UNCERTIFIED 61377	UNCERTIFIED 61173	UNCERTIFIED 60059	UNCERTIFIED 60046	UNCERTIFIED 15727	MISSING
tpdb-8.0/TRS/AProVE_07/wiehe08.xml	UNCERTIFIED 61314	YES 9891	UNCERTIFIED 60055	UNCERTIFIED 60049	YES 6702	MISSING
tpdb-8.0/TRS/AProVE_07/wiehe09.xml	UNCERTIFIED 61389	YES 10227	UNCERTIFIED 60057	UNCERTIFIED 60050	YES 5790	MISSING
tpdb-8.0/TRS/AProVE_07/wiehe11.xml	UNCERTIFIED 62341	YES 10987	UNCERTIFIED 60084	UNCERTIFIED 60056	YES 8216	MISSING
tpdb-8.0/TRS/AProVE_07/wiehe12.xml	UNCERTIFIED 62582	YES 12172	UNCERTIFIED 60158	UNCERTIFIED 60169	YES 8832	MISSING
tpdb-8.0/TRS/AProVE_08/id_inc.xml	UNCERTIFIED 10953	YES 4646	UNCERTIFIED 1386	UNCERTIFIED 10039	YES 6237	MISSING
tpdb-8.0/TRS/AProVE_08/log.xml	UNCERTIFIED 60916	UNCERTIFIED 60883	UNCERTIFIED 31520	UNCERTIFIED 60032	UNCERTIFIED 59417	MISSING
tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml	UNCERTIFIED 60874	UNCERTIFIED 61311	UNCERTIFIED 29892	UNCERTIFIED 60031	UNCERTIFIED 59428	MISSING
tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml	UNCERTIFIED 60938	UNCERTIFIED 61248	UNCERTIFIED 8516	UNCERTIFIED 41903	UNCERTIFIED 55326	MISSING
tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml	UNCERTIFIED 61162	UNCERTIFIED 60985	UNCERTIFIED 13716	UNCERTIFIED 60030	UNCERTIFIED 40243	MISSING
tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml	UNCERTIFIED 62273	UNCERTIFIED 61311	UNCERTIFIED 60035	UNCERTIFIED 60040	UNCERTIFIED 59452	MISSING
tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml	UNCERTIFIED 61380	UNCERTIFIED 61818	UNCERTIFIED 59271	UNCERTIFIED 60030	UNCERTIFIED 59432	MISSING
tpdb-8.0/TRS/AProVE_08/round_nonterm.xml	UNCERTIFIED 3188	NO 2747	UNCERTIFIED 158	UNCERTIFIED 229	NO 443	MISSING
tpdb-8.0/TRS/AProVE_08/round.xml	UNCERTIFIED 3547	UNCERTIFIED 5177	UNCERTIFIED 217	UNCERTIFIED 320	UNCERTIFIED 8384	MISSING
tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml	UNCERTIFIED 60188	YES 14574	UNCERTIFIED 1117	UNCERTIFIED 829	YES 2023	MISSING
tpdb-8.0/TRS/AProVE_09_Inductive/div.xml	UNCERTIFIED 60384	UNCERTIFIED 61016	UNCERTIFIED 19421	UNCERTIFIED 1421	UNCERTIFIED 20922	MISSING
tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml	UNCERTIFIED 50685	UNCERTIFIED 61126	UNCERTIFIED 60029	UNCERTIFIED 16073	UNCERTIFIED 31826	MISSING
tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml	UNCERTIFIED 15781	UNCERTIFIED 61126	UNCERTIFIED 11009	UNCERTIFIED 1532	UNCERTIFIED 12064	MISSING
tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml	UNCERTIFIED 60232	UNCERTIFIED 61074	UNCERTIFIED 1511	UNCERTIFIED 1183	UNCERTIFIED 28632	MISSING
tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml	UNCERTIFIED 61186	UNCERTIFIED 61288	UNCERTIFIED 26302	UNCERTIFIED 60030	UNCERTIFIED 59433	MISSING
tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml	UNCERTIFIED 61000	UNCERTIFIED 62262	UNCERTIFIED 60034	UNCERTIFIED 60032	UNCERTIFIED 32702	MISSING
tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml	UNCERTIFIED 60227	UNCERTIFIED 61045	UNCERTIFIED 32066	UNCERTIFIED 3459	UNCERTIFIED 16558	MISSING
tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml	UNCERTIFIED 60756	UNCERTIFIED 61146	UNCERTIFIED 60067	UNCERTIFIED 60062	UNCERTIFIED 59442	MISSING
tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml	UNCERTIFIED 60644	UNCERTIFIED 61160	UNCERTIFIED 60035	UNCERTIFIED 60031	UNCERTIFIED 41346	MISSING
tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml	UNCERTIFIED 14837	UNCERTIFIED 60662	UNCERTIFIED 50877	UNCERTIFIED 2317	UNCERTIFIED 3709	MISSING
tpdb-8.0/TRS/AProVE_10/ex5.xml	YES 2160	YES 2270	YES 39	YES 38	YES 574	MISSING
tpdb-8.0/TRS/AProVE_10/isList.xml	UNCERTIFIED 2714	NO 2695	UNCERTIFIED 132	UNCERTIFIED 177	NO 435	MISSING
tpdb-8.0/TRS/AProVE_10/scnp.xml	YES 2294	YES 2438	YES 55	YES 84	YES 599	MISSING
tpdb-8.0/TRS/Beerendonk_07/10.xml	UNCERTIFIED 60227	YES 4692	UNCERTIFIED 60029	UNCERTIFIED 13270	YES 2454	MISSING
tpdb-8.0/TRS/Beerendonk_07/11.xml	UNCERTIFIED 60178	UNCERTIFIED 60739	UNCERTIFIED 60029	UNCERTIFIED 14983	UNCERTIFIED 13802	MISSING
tpdb-8.0/TRS/Beerendonk_07/12.xml	UNCERTIFIED 60129	UNCERTIFIED 60886	UNCERTIFIED 12473	UNCERTIFIED 1136	UNCERTIFIED 12336	MISSING
tpdb-8.0/TRS/Beerendonk_07/13.xml	UNCERTIFIED 60136	UNCERTIFIED 60902	UNCERTIFIED 28440	UNCERTIFIED 1791	UNCERTIFIED 11302	MISSING
tpdb-8.0/TRS/Beerendonk_07/14.xml	UNCERTIFIED 12993	UNCERTIFIED 60824	UNCERTIFIED 16234	UNCERTIFIED 2775	UNCERTIFIED 4612	MISSING
tpdb-8.0/TRS/Beerendonk_07/15.xml	UNCERTIFIED 60237	UNCERTIFIED 61111	UNCERTIFIED 60034	UNCERTIFIED 38801	UNCERTIFIED 59424	MISSING
tpdb-8.0/TRS/Beerendonk_07/16.xml	UNCERTIFIED 60264	UNCERTIFIED 61080	UNCERTIFIED 60038	UNCERTIFIED 38628	UNCERTIFIED 59430	MISSING
tpdb-8.0/TRS/Beerendonk_07/17.xml	UNCERTIFIED 60272	UNCERTIFIED 61131	UNCERTIFIED 60033	UNCERTIFIED 60031	UNCERTIFIED 59434	MISSING
tpdb-8.0/TRS/Beerendonk_07/18.xml	UNCERTIFIED 60311	UNCERTIFIED 60995	UNCERTIFIED 60043	UNCERTIFIED 60034	UNCERTIFIED 59447	MISSING
tpdb-8.0/TRS/Beerendonk_07/19.xml	UNCERTIFIED 60406	UNCERTIFIED 61533	UNCERTIFIED 60047	UNCERTIFIED 60036	UNCERTIFIED 59445	MISSING
tpdb-8.0/TRS/Beerendonk_07/1.xml	UNCERTIFIED 15207	YES 3060	UNCERTIFIED 1799	UNCERTIFIED 481	YES 1140	MISSING
tpdb-8.0/TRS/Beerendonk_07/20.xml	UNCERTIFIED 60260	UNCERTIFIED 60782	UNCERTIFIED 60034	UNCERTIFIED 60031	UNCERTIFIED 25248	MISSING
tpdb-8.0/TRS/Beerendonk_07/22.xml	UNCERTIFIED 60131	YES 4535	UNCERTIFIED 60029	UNCERTIFIED 5903	YES 1551	MISSING
tpdb-8.0/TRS/Beerendonk_07/23.xml	UNCERTIFIED 60158	YES 4786	UNCERTIFIED 50476	UNCERTIFIED 3769	YES 1731	MISSING
tpdb-8.0/TRS/Beerendonk_07/24.xml	UNCERTIFIED 60306	UNCERTIFIED 61226	UNCERTIFIED 60033	UNCERTIFIED 60032	UNCERTIFIED 59449	MISSING
tpdb-8.0/TRS/Beerendonk_07/2.xml	UNCERTIFIED 25020	YES 3238	UNCERTIFIED 15443	UNCERTIFIED 1343	YES 1226	MISSING
tpdb-8.0/TRS/Beerendonk_07/3.xml	UNCERTIFIED 13727	UNCERTIFIED 60661	UNCERTIFIED 5055	UNCERTIFIED 773	UNCERTIFIED 5551	MISSING
tpdb-8.0/TRS/Beerendonk_07/4.xml	UNCERTIFIED 9407	UNCERTIFIED 61133	UNCERTIFIED 459	UNCERTIFIED 212	UNCERTIFIED 2338	MISSING
tpdb-8.0/TRS/Beerendonk_07/5.xml	UNCERTIFIED 60178	YES 3809	UNCERTIFIED 60031	UNCERTIFIED 35698	YES 1884	MISSING
tpdb-8.0/TRS/Beerendonk_07/6.xml	UNCERTIFIED 8087	YES 2993	UNCERTIFIED 311	UNCERTIFIED 327	YES 1219	MISSING
tpdb-8.0/TRS/Beerendonk_07/7.xml	UNCERTIFIED 60154	YES 3180	UNCERTIFIED 1054	UNCERTIFIED 1580	YES 1433	MISSING
tpdb-8.0/TRS/Beerendonk_07/8.xml	UNCERTIFIED 60188	YES 3856	UNCERTIFIED 60042	UNCERTIFIED 60037	YES 1566	MISSING
tpdb-8.0/TRS/Beerendonk_07/9.xml	UNCERTIFIED 60236	YES 3690	UNCERTIFIED 60043	UNCERTIFIED 60036	YES 1687	MISSING
tpdb-8.0/TRS/CiME_04/ack_prolog.xml	YES 4121	YES 2881	YES 54	YES 53	YES 1424	MISSING
tpdb-8.0/TRS/CiME_04/append-hard.xml	UNCERTIFIED 8546	YES 3053	UNCERTIFIED 736	UNCERTIFIED 381	YES 1216	MISSING
tpdb-8.0/TRS/CiME_04/append-wrong.xml	UNCERTIFIED 60109	NO 3114	UNCERTIFIED 650	UNCERTIFIED 438	NO 467	MISSING
tpdb-8.0/TRS/CiME_04/append.xml	YES 2887	YES 2643	YES 70	YES 114	YES 936	MISSING
tpdb-8.0/TRS/CiME_04/big.xml	UNCERTIFIED 61314	YES 12037	UNCERTIFIED 41208	UNCERTIFIED 10935	YES 10664	MISSING
tpdb-8.0/TRS/CiME_04/boolean_rings.xml	YES 2528	YES 2844	YES 65	YES 67	YES 1124	MISSING
tpdb-8.0/TRS/CiME_04/dpqs.xml	YES 3123	YES 2420	YES 87	YES 369	YES 1476	MISSING
tpdb-8.0/TRS/CiME_04/fact-hard.xml	UNCERTIFIED 60415	UNCERTIFIED 60784	UNCERTIFIED 2788	UNCERTIFIED 17725	UNCERTIFIED 59418	MISSING
tpdb-8.0/TRS/CiME_04/filliatre2.xml	YES 3118	YES 3513	YES 1539	YES 1832	YES 5516	MISSING
tpdb-8.0/TRS/CiME_04/filliatre3.xml	YES 8310	YES 5765	UNCERTIFIED 1370	YES 790	YES 3958	MISSING
tpdb-8.0/TRS/CiME_04/filliatre.xml	YES 3101	YES 3740	UNCERTIFIED 1355	YES 2086	YES 5087	MISSING
tpdb-8.0/TRS/CiME_04/intersect.xml	YES 7296	YES 4229	UNCERTIFIED 248	YES 774	YES 2751	MISSING
tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml	YES 2615	YES 3208	YES 81	YES 80	YES 3831	MISSING
tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml	YES 2503	YES 2942	YES 65	YES 67	YES 3046	MISSING
tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml	UNCERTIFIED 18447	YES 5024	UNCERTIFIED 761	YES 941	YES 4616	MISSING
tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml	YES 7843	YES 4503	YES 577	YES 715	YES 3257	MISSING
tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml	YES 7182	YES 4138	YES 394	YES 1001	YES 3302	MISSING
tpdb-8.0/TRS/CiME_04/list-sum-prod.xml	YES 2506	YES 2872	YES 63	YES 64	YES 5965	MISSING
tpdb-8.0/TRS/CiME_04/log2.xml	UNCERTIFIED 11672	YES 6665	YES 8468	YES 2699	YES 7029	MISSING
tpdb-8.0/TRS/CiME_04/lse.xml	YES 11690	YES 4885	YES 521	YES 934	YES 6014	MISSING
tpdb-8.0/TRS/CiME_04/mucrl1.xml	UNCERTIFIED 11752	YES 22782	YES 28314	YES 28506	YES 8838	MISSING
tpdb-8.0/TRS/CiME_04/ternary-hard.xml	UNCERTIFIED 18010	YES 7013	YES 840	YES 947	YES 5755	MISSING
tpdb-8.0/TRS/CiME_04/ternary.xml	YES 13320	YES 6357	YES 1593	YES 796	YES 4566	MISSING
tpdb-8.0/TRS/CiME_04/tree.xml	UNCERTIFIED 11775	YES 9547	UNCERTIFIED 60100	YES 9136	YES 9096	MISSING
tpdb-8.0/TRS/Der95/01.xml	YES 2221	YES 2356	YES 40	YES 39	YES 557	MISSING
tpdb-8.0/TRS/Der95/02.xml	YES 2149	YES 2365	YES 38	YES 38	YES 515	MISSING
tpdb-8.0/TRS/Der95/03.xml	YES 2175	YES 2260	YES 35	YES 36	YES 501	MISSING
tpdb-8.0/TRS/Der95/04.xml	YES 2146	YES 2383	YES 43	YES 42	YES 637	MISSING
tpdb-8.0/TRS/Der95/06.xml	YES 2157	YES 2546	YES 40	YES 37	YES 773	MISSING
tpdb-8.0/TRS/Der95/07.xml	YES 2232	YES 2499	YES 48	YES 47	YES 871	MISSING
tpdb-8.0/TRS/Der95/08.xml	YES 2354	YES 2683	YES 65	YES 62	YES 5564	MISSING
tpdb-8.0/TRS/Der95/09.xml	YES 2185	YES 2584	YES 37	YES 37	YES 481	UNCERTIFIED 0
tpdb-8.0/TRS/Der95/11.xml	YES 2617	YES 3578	YES 5121	YES 125	YES 5626	MISSING
tpdb-8.0/TRS/Der95/12.xml	YES 2300	YES 2694	YES 61	YES 48	YES 1812	MISSING
tpdb-8.0/TRS/Der95/13.xml	YES 4475	YES 3991	YES 126	YES 154	UNCERTIFIED 13712	MISSING
tpdb-8.0/TRS/Der95/17.xml	YES 2237	YES 2603	YES 43	YES 43	YES 1087	MISSING
tpdb-8.0/TRS/Der95/18.xml	YES 2209	YES 2414	YES 40	YES 39	YES 845	MISSING
tpdb-8.0/TRS/Der95/20.xml	YES 3849	YES 3134	YES 347	YES 353	YES 1571	MISSING
tpdb-8.0/TRS/Der95/21.xml	UNCERTIFIED 60212	YES 2969	UNCERTIFIED 550	UNCERTIFIED 830	YES 1660	MISSING
tpdb-8.0/TRS/Der95/27.xml	YES 2424	YES 2441	YES 53	YES 52	YES 590	MISSING
tpdb-8.0/TRS/Der95/28.xml	YES 2231	YES 2502	YES 118	YES 41	YES 955	UNCERTIFIED 0
tpdb-8.0/TRS/Der95/30.xml	YES 2273	YES 2473	YES 204	YES 45	YES 1453	UNCERTIFIED 0
tpdb-8.0/TRS/Der95/31.xml	YES 3397	YES 2924	YES 128	YES 94	YES 1308	MISSING
tpdb-8.0/TRS/Der95/32.xml	YES 4744	YES 3285	YES 378	YES 170	YES 1553	MISSING
tpdb-8.0/TRS/Endrullis_06/direct.xml	YES 3069	YES 3102	UNCERTIFIED 60031	YES 8020	YES 864	MISSING
tpdb-8.0/TRS/Endrullis_06/labeling.xml	UNCERTIFIED 3459	YES 6412	UNCERTIFIED 529	UNCERTIFIED 302	UNCERTIFIED 3599	MISSING
tpdb-8.0/TRS/Endrullis_06/linear1.xml	UNCERTIFIED 10806	YES 4556	UNCERTIFIED 3425	YES 2929	YES 1790	MISSING
tpdb-8.0/TRS/Endrullis_06/linear2.xml	UNCERTIFIED 10818	YES 9058	UNCERTIFIED 60037	YES 17878	YES 8037	MISSING
tpdb-8.0/TRS/Endrullis_06/pair2hard.xml	UNCERTIFIED 10817	YES 5644	UNCERTIFIED 4306	YES 8255	YES 6935	MISSING
tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml	YES 2301	YES 2531	UNCERTIFIED 312	YES 49	YES 1997	MISSING
tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml	YES 3325	YES 3687	YES 507	YES 351	UNCERTIFIED 35270	MISSING
tpdb-8.0/TRS/Endrullis_06/pair3hard.xml	UNCERTIFIED 60145	YES 8943	UNCERTIFIED 1728	UNCERTIFIED 642	UNCERTIFIED 59396	MISSING
tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml	UNCERTIFIED 10899	YES 7775	YES 1519	YES 1123	YES 6609	MISSING
tpdb-8.0/TRS/Endrullis_06/pair3swap.xml	UNCERTIFIED 10869	YES 12263	UNCERTIFIED 60035	YES 15479	YES 6462	MISSING
tpdb-8.0/TRS/Endrullis_06/quadruple1.xml	UNCERTIFIED 10821	YES 9332	UNCERTIFIED 60061	YES 2031	YES 5784	MISSING
tpdb-8.0/TRS/Endrullis_06/quadruple2.xml	YES 2829	YES 3137	UNCERTIFIED 26139	YES 4901	YES 744	MISSING
tpdb-8.0/TRS/GTSSK07/cade01.xml	UNCERTIFIED 60128	UNCERTIFIED 60946	UNCERTIFIED 627	UNCERTIFIED 389	UNCERTIFIED 12749	MISSING
tpdb-8.0/TRS/GTSSK07/cade03.xml	UNCERTIFIED 60136	UNCERTIFIED 60920	UNCERTIFIED 1078	UNCERTIFIED 592	UNCERTIFIED 17654	MISSING
tpdb-8.0/TRS/GTSSK07/cade05t.xml	UNCERTIFIED 60239	UNCERTIFIED 60727	UNCERTIFIED 5238	UNCERTIFIED 1054	UNCERTIFIED 54028	MISSING
tpdb-8.0/TRS/GTSSK07/cade06.xml	UNCERTIFIED 34374	UNCERTIFIED 60701	UNCERTIFIED 60033	UNCERTIFIED 13029	UNCERTIFIED 19261	MISSING
tpdb-8.0/TRS/GTSSK07/cade07.xml	UNCERTIFIED 60147	UNCERTIFIED 60865	UNCERTIFIED 33100	UNCERTIFIED 3450	UNCERTIFIED 18698	MISSING
tpdb-8.0/TRS/GTSSK07/cade09.xml	UNCERTIFIED 60175	UNCERTIFIED 61433	UNCERTIFIED 24546	UNCERTIFIED 2525	UNCERTIFIED 59435	MISSING
tpdb-8.0/TRS/GTSSK07/cade10.xml	UNCERTIFIED 60156	UNCERTIFIED 63478	UNCERTIFIED 31525	UNCERTIFIED 1768	UNCERTIFIED 59411	MISSING
tpdb-8.0/TRS/GTSSK07/cade11.xml	UNCERTIFIED 60125	UNCERTIFIED 60829	UNCERTIFIED 10929	UNCERTIFIED 2044	UNCERTIFIED 19715	MISSING
tpdb-8.0/TRS/GTSSK07/cade13t.xml	UNCERTIFIED 60330	UNCERTIFIED 60937	UNCERTIFIED 12618	UNCERTIFIED 2148	UNCERTIFIED 8912	MISSING
tpdb-8.0/TRS/GTSSK07/cade14.xml	UNCERTIFIED 60231	UNCERTIFIED 60789	UNCERTIFIED 32718	UNCERTIFIED 3053	UNCERTIFIED 31382	MISSING
tpdb-8.0/TRS/GTSSK07/cade15.xml	UNCERTIFIED 60674	UNCERTIFIED 61078	UNCERTIFIED 22993	UNCERTIFIED 2446	UNCERTIFIED 46389	MISSING
tpdb-8.0/TRS/GTSSK07/cade16.xml	UNCERTIFIED 60159	UNCERTIFIED 60888	UNCERTIFIED 4203	UNCERTIFIED 760	UNCERTIFIED 20752	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml	UNCERTIFIED 1034	NO 2239	UNCERTIFIED 37	UNCERTIFIED 39	NO 335	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml	UNCERTIFIED 1110	NO 2261	UNCERTIFIED 45	UNCERTIFIED 48	NO 336	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml	UNCERTIFIED 1041	NO 2208	UNCERTIFIED 38	UNCERTIFIED 45	NO 338	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml	UNCERTIFIED 1328	NO 2259	UNCERTIFIED 48	UNCERTIFIED 58	NO 340	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml	UNCERTIFIED 1356	NO 2284	UNCERTIFIED 49	UNCERTIFIED 58	NO 337	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml	UNCERTIFIED 1432	NO 2586	UNCERTIFIED 60	UNCERTIFIED 60	NO 339	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml	UNCERTIFIED 1112	NO 2204	UNCERTIFIED 46	UNCERTIFIED 46	NO 336	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml	YES 3847	YES 4165	YES 898	YES 1039	YES 3538	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml	YES 6446	YES 4437	UNCERTIFIED 60053	YES 1818	YES 3134	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml	UNCERTIFIED 60540	UNCERTIFIED 60929	UNCERTIFIED 60037	UNCERTIFIED 14359	UNCERTIFIED 3590	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml	YES 4156	YES 4091	YES 5297	YES 271	YES 2429	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml	YES 41279	YES 2722	UNCERTIFIED 341	UNCERTIFIED 60031	YES 1530	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml	YES 16573	YES 18478	YES 2110	YES 3339	YES 5822	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml	YES 2200	YES 2363	YES 42	YES 40	YES 484	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml	YES 2461	YES 2584	YES 52	YES 340	YES 544	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t008.xml	YES 3334	YES 2748	UNCERTIFIED 244	YES 1013	YES 1694	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml	UNCERTIFIED 12278	UNCERTIFIED 60976	UNCERTIFIED 60079	UNCERTIFIED 60066	YES 45796	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml	YES 2369	YES 2388	YES 60	YES 74	YES 532	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml	YES 2343	YES 2480	YES 59	YES 78	YES 581	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml	YES 5101	YES 3592	YES 366	UNCERTIFIED 420	YES 2209	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml	YES 2667	YES 2984	YES 230	YES 189	YES 1768	MISSING
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml	YES 4698	YES 3473	YES 2753	YES 394	YES 1921	MISSING
tpdb-8.0/TRS/Mixed_TRS/1.xml	YES 4639	YES 2850	UNCERTIFIED 9533	YES 5286	YES 1118	MISSING
tpdb-8.0/TRS/Mixed_TRS/2.xml	YES 3388	YES 3072	UNCERTIFIED 13351	YES 1188	YES 1275	MISSING
tpdb-8.0/TRS/Mixed_TRS/3.xml	UNCERTIFIED 60224	YES 3113	UNCERTIFIED 14592	UNCERTIFIED 9864	YES 815	MISSING
tpdb-8.0/TRS/Mixed_TRS/4.xml	UNCERTIFIED 60352	YES 3122	UNCERTIFIED 9370	UNCERTIFIED 31426	YES 989	MISSING
tpdb-8.0/TRS/Mixed_TRS/5.xml	YES 2648	YES 2497	UNCERTIFIED 341	YES 272	YES 707	MISSING
tpdb-8.0/TRS/Mixed_TRS/beans.xml	UNCERTIFIED 10833	YES 12218	UNCERTIFIED 60033	UNCERTIFIED 60033	UNCERTIFIED 59468	MISSING
tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml	YES 4440	YES 4489	YES 971	YES 1823	YES 6109	MISSING
tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml	UNCERTIFIED 61042	UNCERTIFIED 60582	UNCERTIFIED 60040	UNCERTIFIED 60030	UNCERTIFIED 38371	MISSING
tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml	YES 6424	YES 5471	UNCERTIFIED 60051	YES 555	YES 6596	MISSING
tpdb-8.0/TRS/Mixed_TRS/gcd.xml	YES 4963	YES 3720	YES 2383	YES 372	YES 6191	MISSING
tpdb-8.0/TRS/Mixed_TRS/hydra.xml	YES 3169	YES 2967	YES 144	YES 224	YES 1079	MISSING
tpdb-8.0/TRS/Mixed_TRS/jones1.xml	YES 2254	YES 2500	YES 41	YES 50	YES 581	MISSING
tpdb-8.0/TRS/Mixed_TRS/jones2.xml	YES 2324	YES 2478	YES 64	YES 141	YES 843	MISSING
tpdb-8.0/TRS/Mixed_TRS/jones4.xml	YES 2251	YES 2470	YES 44	YES 44	YES 481	MISSING
tpdb-8.0/TRS/Mixed_TRS/jones5.xml	YES 2315	YES 2448	YES 57	UNCERTIFIED 110	YES 642	UNCERTIFIED 0
tpdb-8.0/TRS/Mixed_TRS/jones6.xml	YES 2275	YES 2529	YES 44	YES 45	YES 1017	MISSING
tpdb-8.0/TRS/Mixed_TRS/motivation.xml	YES 2674	YES 2832	YES 77	YES 127	YES 931	MISSING
tpdb-8.0/TRS/Mixed_TRS/perfect2.xml	YES 4491	YES 4295	YES 5310	YES 272	YES 2439	MISSING
tpdb-8.0/TRS/Mixed_TRS/perfect.xml	YES 3965	YES 3501	YES 5076	YES 201	YES 1824	MISSING
tpdb-8.0/TRS/Mixed_TRS/test1.xml	YES 2268	YES 2472	YES 117	YES 71	YES 645	MISSING
tpdb-8.0/TRS/Mixed_TRS/while.xml	UNCERTIFIED 37911	UNCERTIFIED 53731	UNCERTIFIED 1714	UNCERTIFIED 420	UNCERTIFIED 9409	MISSING
tpdb-8.0/TRS/MNZ_10/0.xml	UNCERTIFIED 60907	YES 29235	UNCERTIFIED 8147	UNCERTIFIED 60043	YES 19080	MISSING
tpdb-8.0/TRS/MNZ_10/1.xml	YES 19165	UNCERTIFIED 60282	UNCERTIFIED 14346	UNCERTIFIED 60054	YES 6120	MISSING
tpdb-8.0/TRS/MNZ_10/2.xml	YES 18283	YES 43112	UNCERTIFIED 11450	UNCERTIFIED 60040	YES 6318	MISSING
tpdb-8.0/TRS/MNZ_10/3.xml	YES 33908	UNCERTIFIED 60793	UNCERTIFIED 17501	UNCERTIFIED 60094	YES 8234	MISSING
tpdb-8.0/TRS/MNZ_10/4.xml	UNCERTIFIED 61239	UNCERTIFIED 60946	UNCERTIFIED 48009	UNCERTIFIED 60093	UNCERTIFIED 59458	MISSING
tpdb-8.0/TRS/MNZ_10/5.xml	UNCERTIFIED 61129	UNCERTIFIED 61019	UNCERTIFIED 60032	UNCERTIFIED 60086	UNCERTIFIED 59447	MISSING
tpdb-8.0/TRS/MNZ_10/6.xml	UNCERTIFIED 10979	UNCERTIFIED 60923	UNCERTIFIED 35577	UNCERTIFIED 60092	UNCERTIFIED 59477	MISSING
tpdb-8.0/TRS/MNZ_10/7.xml	UNCERTIFIED 61252	UNCERTIFIED 61300	UNCERTIFIED 16441	UNCERTIFIED 60096	YES 42024	MISSING
tpdb-8.0/TRS/MNZ_10/8.xml	YES 29011	UNCERTIFIED 61096	UNCERTIFIED 27477	UNCERTIFIED 60082	YES 7332	MISSING
tpdb-8.0/TRS/MNZ_10/9.xml	UNCERTIFIED 61158	UNCERTIFIED 61044	UNCERTIFIED 27412	UNCERTIFIED 60092	UNCERTIFIED 59444	MISSING
tpdb-8.0/TRS/MNZ_10/labelled.xml	UNCERTIFIED 13132	UNCERTIFIED 61169	UNCERTIFIED 60033	UNCERTIFIED 60032	UNCERTIFIED 60051	MISSING
tpdb-8.0/TRS/MNZ_10/nvsr.xml	UNCERTIFIED 60816	UNCERTIFIED 60980	UNCERTIFIED 8443	UNCERTIFIED 60055	UNCERTIFIED 59441	MISSING
tpdb-8.0/TRS/Rubio_04/aoto.xml	YES 2731	YES 2349	UNCERTIFIED 180	YES 1126	YES 846	MISSING
tpdb-8.0/TRS/Rubio_04/bintrees.xml	YES 2378	YES 2428	YES 67	YES 67	YES 615	MISSING
tpdb-8.0/TRS/Rubio_04/bn122.xml	YES 2215	YES 2470	UNCERTIFIED 39	YES 42	YES 664	MISSING
tpdb-8.0/TRS/Rubio_04/bn129.xml	YES 4902	YES 3162	YES 273	YES 163	YES 1708	MISSING
tpdb-8.0/TRS/Rubio_04/division.xml	YES 4353	YES 3297	UNCERTIFIED 384	YES 317	YES 2109	MISSING
tpdb-8.0/TRS/Rubio_04/elimdupl.xml	YES 4657	YES 3528	UNCERTIFIED 363	YES 284	YES 3809	MISSING
tpdb-8.0/TRS/Rubio_04/enno.xml	YES 6565	YES 4401	YES 826	YES 423	YES 2990	MISSING
tpdb-8.0/TRS/Rubio_04/gcd.xml	YES 4886	YES 4024	YES 1155	YES 375	YES 2175	MISSING
tpdb-8.0/TRS/Rubio_04/gmnp.xml	YES 2805	YES 2416	YES 74	YES 291	YES 854	MISSING
tpdb-8.0/TRS/Rubio_04/gm.xml	YES 3165	YES 2960	YES 179	YES 210	YES 1383	MISSING
tpdb-8.0/TRS/Rubio_04/koen.xml	YES 2276	YES 2333	YES 62	YES 61	YES 746	MISSING
tpdb-8.0/TRS/Rubio_04/lescanne.xml	YES 2421	YES 2525	YES 42	YES 43	YES 749	MISSING
tpdb-8.0/TRS/Rubio_04/lindau.xml	YES 3263	YES 2450	UNCERTIFIED 371	YES 4321	YES 709	MISSING
tpdb-8.0/TRS/Rubio_04/logarquot.xml	YES 4325	YES 3479	YES 258	YES 532	YES 1799	MISSING
tpdb-8.0/TRS/Rubio_04/ma96.xml	UNCERTIFIED 61226	YES 6044	YES 5983	YES 2800	YES 6257	MISSING
tpdb-8.0/TRS/Rubio_04/mfp90b.xml	YES 2263	YES 2321	UNCERTIFIED 44	YES 43	YES 650	MISSING
tpdb-8.0/TRS/Rubio_04/mfp95.xml	YES 2338	YES 2346	YES 54	YES 124	YES 561	MISSING
tpdb-8.0/TRS/Rubio_04/nestrec.xml	YES 2603	YES 2490	YES 64	YES 116	YES 739	MISSING
tpdb-8.0/TRS/Rubio_04/p266.xml	YES 2756	YES 2388	YES 73	YES 217	YES 1014	MISSING
tpdb-8.0/TRS/Rubio_04/polo2.xml	YES 2645	YES 3383	YES 5123	YES 1031	YES 5615	MISSING
tpdb-8.0/TRS/Rubio_04/prov.xml	YES 2839	YES 2595	YES 42	UNCERTIFIED 44	YES 908	MISSING
tpdb-8.0/TRS/Rubio_04/quick.xml	YES 8215	YES 4456	UNCERTIFIED 1318	UNCERTIFIED 726	YES 3505	MISSING
tpdb-8.0/TRS/Rubio_04/quotminus.xml	YES 3444	YES 3076	YES 234	YES 254	YES 1816	MISSING
tpdb-8.0/TRS/Rubio_04/revlist.xml	YES 3940	YES 3169	YES 248	YES 268	YES 3174	MISSING
tpdb-8.0/TRS/Rubio_04/selsort.xml	UNCERTIFIED 63336	YES 5379	UNCERTIFIED 3116	YES 1046	YES 6343	MISSING
tpdb-8.0/TRS/Rubio_04/test4.xml	YES 2622	YES 2534	YES 151	YES 353	YES 847	MISSING
tpdb-8.0/TRS/Rubio_04/test829.xml	YES 2254	YES 2473	YES 44	YES 45	YES 783	MISSING
tpdb-8.0/TRS/Rubio_04/wst99.xml	UNCERTIFIED 10850	YES 5053	YES 1925	YES 1221	YES 6204	MISSING
tpdb-8.0/TRS/Secret_05_TRS/aprove1.xml	UNCERTIFIED 60703	YES 14521	UNCERTIFIED 60047	UNCERTIFIED 24161	UNCERTIFIED 59467	MISSING
tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml	UNCERTIFIED 60224	UNCERTIFIED 60951	UNCERTIFIED 7445	UNCERTIFIED 1963	UNCERTIFIED 21262	MISSING
tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml	UNCERTIFIED 60467	UNCERTIFIED 61309	UNCERTIFIED 60046	UNCERTIFIED 60039	UNCERTIFIED 8394	MISSING
tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml	UNCERTIFIED 60183	UNCERTIFIED 60834	UNCERTIFIED 943	UNCERTIFIED 631	UNCERTIFIED 17197	MISSING
tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml	UNCERTIFIED 60571	YES 19001	UNCERTIFIED 9465	UNCERTIFIED 10586	UNCERTIFIED 12016	MISSING
tpdb-8.0/TRS/Secret_05_TRS/cime1.xml	UNCERTIFIED 61086	UNCERTIFIED 60872	YES 45730	YES 35550	UNCERTIFIED 59676	MISSING
tpdb-8.0/TRS/Secret_05_TRS/cime2.xml	YES 4541	YES 5499	YES 412	YES 940	UNCERTIFIED 23214	MISSING
tpdb-8.0/TRS/Secret_05_TRS/cime4.xml	UNCERTIFIED 2645	NO 2959	UNCERTIFIED 467	UNCERTIFIED 262	UNCERTIFIED 1184	MISSING
tpdb-8.0/TRS/Secret_05_TRS/cime5.xml	YES 38640	YES 23071	UNCERTIFIED 60066	YES 12373	YES 21085	MISSING
tpdb-8.0/TRS/Secret_05_TRS/matchbox1.xml	UNCERTIFIED 4428	YES 3068	UNCERTIFIED 164	UNCERTIFIED 203	UNCERTIFIED 2807	MISSING
tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml	YES 3069	YES 2630	UNCERTIFIED 728	YES 266	YES 1207	MISSING
tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml	UNCERTIFIED 60161	YES 5281	UNCERTIFIED 38692	UNCERTIFIED 32067	UNCERTIFIED 59415	MISSING
tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml	UNCERTIFIED 60176	YES 7249	UNCERTIFIED 27691	UNCERTIFIED 11694	UNCERTIFIED 40597	MISSING
tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml	UNCERTIFIED 60153	YES 6082	UNCERTIFIED 12947	UNCERTIFIED 14748	UNCERTIFIED 28637	MISSING
tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml	UNCERTIFIED 60712	UNCERTIFIED 60685	UNCERTIFIED 60039	UNCERTIFIED 60030	UNCERTIFIED 37677	MISSING
tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml	UNCERTIFIED 60458	YES 3594	UNCERTIFIED 57390	UNCERTIFIED 11086	YES 2623	MISSING
tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml	UNCERTIFIED 5125	NO 2833	UNCERTIFIED 436	UNCERTIFIED 261	NO 608	MISSING
tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml	UNCERTIFIED 2224	NO 2754	UNCERTIFIED 361	UNCERTIFIED 263	NO 432	MISSING
tpdb-8.0/TRS/Secret_06_TRS/10.xml	UNCERTIFIED 10819	YES 8473	UNCERTIFIED 2426	YES 9385	YES 6205	MISSING
tpdb-8.0/TRS/Secret_06_TRS/2.xml	YES 2999	YES 2958	UNCERTIFIED 60028	YES 8911	YES 2816	MISSING
tpdb-8.0/TRS/Secret_06_TRS/4.xml	YES 6143	YES 3737	UNCERTIFIED 13505	YES 1653	YES 1391	MISSING
tpdb-8.0/TRS/Secret_06_TRS/5.xml	UNCERTIFIED 60559	YES 10911	UNCERTIFIED 2314	UNCERTIFIED 60032	YES 6609	MISSING
tpdb-8.0/TRS/Secret_06_TRS/6.xml	YES 2913	YES 3084	UNCERTIFIED 29076	YES 7256	YES 1050	MISSING
tpdb-8.0/TRS/Secret_06_TRS/7.xml	YES 2761	YES 3002	YES 199	YES 507	YES 1477	MISSING
tpdb-8.0/TRS/Secret_06_TRS/8.xml	YES 2956	YES 3026	UNCERTIFIED 25832	YES 29722	YES 1135	MISSING
tpdb-8.0/TRS/Secret_06_TRS/9.xml	YES 2803	YES 2683	UNCERTIFIED 3356	YES 3381	YES 960	MISSING
tpdb-8.0/TRS/Secret_06_TRS/addList.xml	UNCERTIFIED 60884	YES 27927	UNCERTIFIED 60080	UNCERTIFIED 60083	YES 8066	MISSING
tpdb-8.0/TRS/Secret_06_TRS/divExp.xml	UNCERTIFIED 28543	UNCERTIFIED 23634	UNCERTIFIED 7573	UNCERTIFIED 2526	UNCERTIFIED 2022	MISSING
tpdb-8.0/TRS/Secret_06_TRS/division.xml	UNCERTIFIED 60292	UNCERTIFIED 61026	UNCERTIFIED 21579	UNCERTIFIED 2193	UNCERTIFIED 9342	MISSING
tpdb-8.0/TRS/Secret_06_TRS/double.xml	UNCERTIFIED 45012	UNCERTIFIED 61098	UNCERTIFIED 7354	UNCERTIFIED 1939	UNCERTIFIED 11450	MISSING
tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml	YES 4272	YES 3557	UNCERTIFIED 22281	YES 2945	YES 2414	MISSING
tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml	YES 6579	YES 4122	UNCERTIFIED 5301	YES 4317	YES 3015	MISSING
tpdb-8.0/TRS/Secret_06_TRS/gen-15.xml	YES 4816	YES 3270	UNCERTIFIED 6594	YES 3978	YES 2635	MISSING
tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml	UNCERTIFIED 10775	YES 2833	YES 4837	YES 794	YES 5649	MISSING
tpdb-8.0/TRS/Secret_06_TRS/gen-18.xml	YES 5416	YES 6106	UNCERTIFIED 4650	YES 1068	YES 3924	MISSING
tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml	UNCERTIFIED 2897	YES 2948	YES 2194	YES 754	YES 1156	MISSING
tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml	YES 7060	YES 5247	UNCERTIFIED 60035	YES 6993	YES 4111	MISSING
tpdb-8.0/TRS/Secret_06_TRS/gen-25.xml	YES 8060	YES 4842	UNCERTIFIED 10912	YES 9094	YES 5124	MISSING
tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml	YES 33779	YES 14537	UNCERTIFIED 60035	UNCERTIFIED 9384	YES 3301	MISSING
tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml	YES 4955	YES 3810	UNCERTIFIED 26696	YES 2486	YES 2363	MISSING
tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml	UNCERTIFIED 60755	UNCERTIFIED 61335	UNCERTIFIED 60063	UNCERTIFIED 60044	UNCERTIFIED 59451	MISSING
tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml	UNCERTIFIED 60858	UNCERTIFIED 61044	UNCERTIFIED 60085	UNCERTIFIED 60066	UNCERTIFIED 59424	MISSING
tpdb-8.0/TRS/Secret_06_TRS/reverse.xml	UNCERTIFIED 17235	YES 15248	UNCERTIFIED 60033	UNCERTIFIED 5184	YES 3759	MISSING
tpdb-8.0/TRS/Secret_06_TRS/sumList.xml	UNCERTIFIED 60669	YES 25587	UNCERTIFIED 60077	UNCERTIFIED 60056	YES 4234	MISSING
tpdb-8.0/TRS/Secret_06_TRS/times.xml	UNCERTIFIED 60543	UNCERTIFIED 61288	UNCERTIFIED 60065	UNCERTIFIED 60042	UNCERTIFIED 19463	MISSING
tpdb-8.0/TRS/Secret_06_TRS/toList.xml	UNCERTIFIED 60801	UNCERTIFIED 61321	UNCERTIFIED 60094	UNCERTIFIED 60095	UNCERTIFIED 59435	MISSING
tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml	UNCERTIFIED 60075	YES 4004	UNCERTIFIED 631	UNCERTIFIED 311	UNCERTIFIED 2872	MISSING
tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml	UNCERTIFIED 60078	UNCERTIFIED 7372	UNCERTIFIED 649	UNCERTIFIED 321	UNCERTIFIED 2927	MISSING
tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml	UNCERTIFIED 60090	UNCERTIFIED 4772	UNCERTIFIED 611	UNCERTIFIED 309	UNCERTIFIED 3105	MISSING
tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml	UNCERTIFIED 60994	UNCERTIFIED 60832	UNCERTIFIED 60088	UNCERTIFIED 60087	UNCERTIFIED 59448	MISSING
tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml	UNCERTIFIED 60606	UNCERTIFIED 60786	UNCERTIFIED 60080	UNCERTIFIED 60058	UNCERTIFIED 43158	MISSING
tpdb-8.0/TRS/Secret_07_TRS/1.xml	UNCERTIFIED 60137	UNCERTIFIED 60899	UNCERTIFIED 1118	UNCERTIFIED 22926	UNCERTIFIED 22581	MISSING
tpdb-8.0/TRS/Secret_07_TRS/2.xml	UNCERTIFIED 10831	UNCERTIFIED 60900	UNCERTIFIED 21595	UNCERTIFIED 8094	UNCERTIFIED 50277	MISSING
tpdb-8.0/TRS/Secret_07_TRS/3.xml	UNCERTIFIED 60540	UNCERTIFIED 60705	UNCERTIFIED 60052	UNCERTIFIED 60052	UNCERTIFIED 59440	MISSING
tpdb-8.0/TRS/Secret_07_TRS/4.xml	UNCERTIFIED 60229	UNCERTIFIED 60770	UNCERTIFIED 1651	UNCERTIFIED 26487	UNCERTIFIED 53682	MISSING
tpdb-8.0/TRS/Secret_07_TRS/5.xml	UNCERTIFIED 10900	YES 38312	UNCERTIFIED 60039	UNCERTIFIED 60030	UNCERTIFIED 59581	MISSING
tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml	UNCERTIFIED 60645	UNCERTIFIED 61388	UNCERTIFIED 17064	UNCERTIFIED 2904	UNCERTIFIED 59543	MISSING
tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml	UNCERTIFIED 60687	UNCERTIFIED 61071	UNCERTIFIED 10978	UNCERTIFIED 2341	UNCERTIFIED 25282	MISSING
tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml	UNCERTIFIED 60766	UNCERTIFIED 61108	UNCERTIFIED 60050	UNCERTIFIED 60037	UNCERTIFIED 29655	MISSING
tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml	UNCERTIFIED 32624	UNCERTIFIED 60991	UNCERTIFIED 5395	UNCERTIFIED 2056	UNCERTIFIED 20019	MISSING
tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml	UNCERTIFIED 60804	UNCERTIFIED 61841	UNCERTIFIED 60033	UNCERTIFIED 18036	UNCERTIFIED 59462	MISSING
tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml	UNCERTIFIED 16242	UNCERTIFIED 61456	UNCERTIFIED 25870	UNCERTIFIED 2564	UNCERTIFIED 18977	MISSING
tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml	UNCERTIFIED 60516	UNCERTIFIED 61299	UNCERTIFIED 60052	UNCERTIFIED 60047	UNCERTIFIED 17919	MISSING
tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml	UNCERTIFIED 60654	UNCERTIFIED 61008	UNCERTIFIED 60054	UNCERTIFIED 60039	UNCERTIFIED 32656	MISSING
tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml	UNCERTIFIED 60415	UNCERTIFIED 61023	UNCERTIFIED 60049	UNCERTIFIED 60037	UNCERTIFIED 59438	MISSING
tpdb-8.0/TRS/Secret_07_TRS/secret1.xml	YES 2716	YES 3470	YES 5124	YES 141	YES 5926	MISSING
tpdb-8.0/TRS/Secret_07_TRS/secret2.xml	YES 2608	YES 2873	YES 386	YES 77	YES 2829	MISSING
tpdb-8.0/TRS/Secret_07_TRS/secret3.xml	YES 2585	YES 2807	YES 68	YES 67	YES 2575	MISSING
tpdb-8.0/TRS/Secret_07_TRS/secret4.xml	YES 2686	YES 3180	YES 452	YES 99	YES 3493	MISSING
tpdb-8.0/TRS/Secret_07_TRS/secret5.xml	YES 8190	YES 4562	YES 466	YES 659	YES 7674	MISSING
tpdb-8.0/TRS/SK90/2.01.xml	YES 2264	YES 2621	YES 43	YES 43	YES 1130	MISSING
tpdb-8.0/TRS/SK90/2.02.xml	YES 2371	YES 2596	YES 81	YES 101	YES 774	UNCERTIFIED 0
tpdb-8.0/TRS/SK90/2.03.xml	YES 2215	YES 2426	YES 42	YES 41	YES 823	MISSING
tpdb-8.0/TRS/SK90/2.04.xml	YES 2264	YES 2438	YES 40	YES 40	YES 645	MISSING
tpdb-8.0/TRS/SK90/2.05.xml	UNCERTIFIED 60158	NO 3412	UNCERTIFIED 5718	UNCERTIFIED 4031	NO 439	MISSING
tpdb-8.0/TRS/SK90/2.06.xml	YES 2326	YES 2428	YES 144	YES 44	YES 1010	MISSING
tpdb-8.0/TRS/SK90/2.07.xml	YES 2260	YES 2445	YES 45	YES 43	YES 1253	MISSING
tpdb-8.0/TRS/SK90/2.08.xml	YES 2388	YES 2675	YES 50	YES 52	YES 1457	MISSING
tpdb-8.0/TRS/SK90/2.09.xml	YES 2195	YES 2494	YES 37	YES 40	YES 643	MISSING
tpdb-8.0/TRS/SK90/2.10.xml	YES 2282	YES 2573	YES 45	YES 44	YES 1290	MISSING
tpdb-8.0/TRS/SK90/2.11.xml	YES 2259	YES 2491	YES 43	YES 41	YES 811	MISSING
tpdb-8.0/TRS/SK90/2.12.xml	YES 2320	YES 2635	YES 61	YES 62	YES 1668	MISSING
tpdb-8.0/TRS/SK90/2.13.xml	YES 2247	YES 2563	YES 42	YES 44	YES 839	MISSING
tpdb-8.0/TRS/SK90/2.14.xml	YES 2291	YES 2500	YES 42	YES 176	YES 1290	MISSING
tpdb-8.0/TRS/SK90/2.15.xml	YES 2235	YES 2593	YES 46	YES 46	YES 1458	MISSING
tpdb-8.0/TRS/SK90/2.16.xml	YES 2301	YES 2508	YES 49	YES 50	YES 1731	MISSING
tpdb-8.0/TRS/SK90/2.17.xml	YES 2256	YES 2516	YES 46	YES 45	YES 916	MISSING
tpdb-8.0/TRS/SK90/2.18.xml	YES 2245	YES 2490	YES 40	YES 42	YES 1116	MISSING
tpdb-8.0/TRS/SK90/2.19.xml	YES 2272	YES 2560	YES 48	YES 47	YES 1845	MISSING
tpdb-8.0/TRS/SK90/2.20.xml	YES 2252	YES 2505	YES 45	YES 46	YES 720	MISSING
tpdb-8.0/TRS/SK90/2.21.xml	YES 2247	YES 2546	YES 42	YES 46	YES 1057	MISSING
tpdb-8.0/TRS/SK90/2.22.xml	YES 2325	YES 2702	YES 48	YES 50	YES 1323	MISSING
tpdb-8.0/TRS/SK90/2.23.xml	YES 2330	YES 2605	YES 57	YES 55	YES 1666	MISSING
tpdb-8.0/TRS/SK90/2.24.xml	YES 2247	YES 2505	YES 42	YES 41	YES 656	MISSING
tpdb-8.0/TRS/SK90/2.25.xml	YES 2258	YES 2519	YES 44	YES 43	YES 1563	MISSING
tpdb-8.0/TRS/SK90/2.26.xml	YES 2492	YES 3214	YES 827	YES 560	YES 2578	MISSING
tpdb-8.0/TRS/SK90/2.27.xml	YES 2426	YES 3023	YES 61	YES 64	YES 1693	MISSING
tpdb-8.0/TRS/SK90/2.28.xml	YES 2195	YES 2468	YES 37	YES 39	YES 527	MISSING
tpdb-8.0/TRS/SK90/2.29.xml	YES 2480	YES 2850	YES 734	YES 76	YES 2032	MISSING
tpdb-8.0/TRS/SK90/2.30.xml	YES 2322	YES 2597	YES 55	YES 55	YES 913	MISSING
tpdb-8.0/TRS/SK90/2.31.xml	YES 2274	YES 2398	YES 48	YES 49	YES 1152	MISSING
tpdb-8.0/TRS/SK90/2.32.xml	YES 2349	YES 2944	YES 64	YES 65	YES 826	MISSING
tpdb-8.0/TRS/SK90/2.33.xml	YES 2222	YES 2478	YES 44	YES 43	YES 871	MISSING
tpdb-8.0/TRS/SK90/2.34.xml	YES 2251	YES 2518	YES 793	YES 54	YES 799	MISSING
tpdb-8.0/TRS/SK90/2.35.xml	YES 2357	YES 2621	YES 121	YES 180	YES 643	MISSING
tpdb-8.0/TRS/SK90/2.36.xml	YES 2355	YES 2414	YES 119	YES 73	YES 627	MISSING
tpdb-8.0/TRS/SK90/2.37.xml	YES 2294	YES 2457	YES 81	YES 83	YES 523	MISSING
tpdb-8.0/TRS/SK90/2.38.xml	YES 2276	YES 2624	YES 41	YES 41	YES 820	MISSING
tpdb-8.0/TRS/SK90/2.39.xml	YES 2339	YES 2647	YES 68	YES 52	YES 1690	MISSING
tpdb-8.0/TRS/SK90/2.40.xml	YES 2308	YES 2604	YES 47	YES 48	YES 961	MISSING
tpdb-8.0/TRS/SK90/2.41.xml	YES 2326	YES 2460	YES 52	YES 53	YES 1266	MISSING
tpdb-8.0/TRS/SK90/2.42.xml	YES 2321	YES 2991	YES 52	YES 53	YES 2029	MISSING
tpdb-8.0/TRS/SK90/2.43.xml	YES 2526	YES 2825	YES 5074	YES 343	YES 2360	MISSING
tpdb-8.0/TRS/SK90/2.44.xml	UNCERTIFIED 4352	YES 3617	YES 598	YES 376	YES 2010	MISSING
tpdb-8.0/TRS/SK90/2.45.xml	YES 2615	YES 3407	YES 5081	YES 605	YES 5582	MISSING
tpdb-8.0/TRS/SK90/2.46.xml	YES 2267	YES 2586	YES 51	YES 76	YES 796	MISSING
tpdb-8.0/TRS/SK90/2.47.xml	YES 2212	YES 2491	YES 35	YES 36	YES 623	MISSING
tpdb-8.0/TRS/SK90/2.48.xml	YES 2265	YES 2344	YES 43	YES 44	YES 1037	MISSING
tpdb-8.0/TRS/SK90/2.49.xml	YES 2372	YES 2546	YES 55	YES 327	YES 969	MISSING
tpdb-8.0/TRS/SK90/2.50.xml	YES 2146	YES 2475	YES 35	YES 35	YES 541	MISSING
tpdb-8.0/TRS/SK90/2.51.xml	YES 2273	YES 2493	YES 42	YES 42	YES 1026	MISSING
tpdb-8.0/TRS/SK90/2.52.xml	YES 2623	YES 2965	YES 1261	YES 71	YES 2190	MISSING
tpdb-8.0/TRS/SK90/2.53.xml	YES 2360	YES 2662	YES 52	YES 52	YES 625	MISSING
tpdb-8.0/TRS/SK90/2.54.xml	YES 2153	YES 2509	YES 37	YES 38	YES 569	MISSING
tpdb-8.0/TRS/SK90/2.55.xml	YES 2166	YES 2402	YES 37	YES 38	YES 591	MISSING
tpdb-8.0/TRS/SK90/2.56.xml	YES 2283	YES 2571	YES 55	YES 54	YES 542	MISSING
tpdb-8.0/TRS/SK90/2.57.xml	YES 2301	YES 2602	YES 62	YES 50	YES 621	MISSING
tpdb-8.0/TRS/SK90/2.58.xml	YES 2352	YES 2509	YES 43	YES 45	YES 478	MISSING
tpdb-8.0/TRS/SK90/2.59.xml	YES 2193	YES 2393	YES 38	YES 38	YES 1102	MISSING
tpdb-8.0/TRS/SK90/2.60.xml	YES 2331	YES 2461	YES 1098	YES 54	YES 528	MISSING
tpdb-8.0/TRS/SK90/2.61.xml	YES 2642	YES 2459	YES 535	YES 89	YES 2022	MISSING
tpdb-8.0/TRS/SK90/4.01.xml	YES 2238	YES 2399	YES 40	YES 41	YES 670	MISSING
tpdb-8.0/TRS/SK90/4.02.xml	YES 2614	YES 2813	YES 1029	YES 330	UNCERTIFIED 47594	MISSING
tpdb-8.0/TRS/SK90/4.03.xml	YES 2292	YES 2582	YES 47	YES 48	YES 1405	MISSING
tpdb-8.0/TRS/SK90/4.04.xml	YES 2275	YES 2393	YES 43	YES 45	YES 694	MISSING
tpdb-8.0/TRS/SK90/4.05.xml	YES 2291	YES 2488	YES 42	YES 44	YES 1115	MISSING
tpdb-8.0/TRS/SK90/4.06.xml	UNCERTIFIED 60179	NO 2905	UNCERTIFIED 867	UNCERTIFIED 436	NO 446	MISSING
tpdb-8.0/TRS/SK90/4.07.xml	YES 2234	YES 2411	YES 39	YES 41	YES 651	MISSING
tpdb-8.0/TRS/SK90/4.08.xml	YES 2183	YES 2414	YES 39	YES 39	YES 605	UNCERTIFIED 0
tpdb-8.0/TRS/SK90/4.09.xml	YES 2377	YES 2531	YES 45	YES 46	YES 1537	MISSING
tpdb-8.0/TRS/SK90/4.10.xml	YES 2335	YES 2654	YES 44	YES 45	YES 1300	MISSING
tpdb-8.0/TRS/SK90/4.11.xml	YES 2171	YES 2548	YES 39	YES 38	YES 615	MISSING
tpdb-8.0/TRS/SK90/4.12.xml	YES 2425	YES 2514	YES 118	YES 146	YES 757	MISSING
tpdb-8.0/TRS/SK90/4.13.xml	YES 3592	YES 2849	UNCERTIFIED 8352	YES 1798	YES 1983	MISSING
tpdb-8.0/TRS/SK90/4.14.xml	YES 2427	YES 2726	YES 52	YES 53	YES 2067	MISSING
tpdb-8.0/TRS/SK90/4.15.xml	YES 2191	YES 2415	YES 40	YES 39	YES 616	MISSING
tpdb-8.0/TRS/SK90/4.16.xml	YES 2308	YES 2666	YES 50	YES 51	YES 1056	MISSING
tpdb-8.0/TRS/SK90/4.17.xml	YES 2717	YES 2676	UNCERTIFIED 426	YES 670	YES 1026	MISSING
tpdb-8.0/TRS/SK90/4.18.xml	YES 3172	YES 3199	YES 5049	YES 215	YES 1097	MISSING
tpdb-8.0/TRS/SK90/4.19.xml	YES 2245	YES 2431	YES 400	YES 95	YES 592	MISSING
tpdb-8.0/TRS/SK90/4.20.xml	YES 2359	YES 2585	YES 57	YES 59	YES 1087	MISSING
tpdb-8.0/TRS/SK90/4.21.xml	YES 2290	YES 2563	YES 45	YES 46	YES 1328	MISSING
tpdb-8.0/TRS/SK90/4.22.xml	YES 2283	YES 2556	YES 44	YES 45	YES 1365	MISSING
tpdb-8.0/TRS/SK90/4.23.xml	YES 2289	YES 2477	YES 144	YES 46	YES 1065	UNCERTIFIED 0
tpdb-8.0/TRS/SK90/4.24.xml	UNCERTIFIED 60289	YES 3066	UNCERTIFIED 1713	UNCERTIFIED 1635	YES 1663	MISSING
tpdb-8.0/TRS/SK90/4.25.xml	YES 2201	YES 2411	YES 41	YES 43	YES 665	MISSING
tpdb-8.0/TRS/SK90/4.26.xml	YES 2306	YES 3193	YES 64	YES 48	YES 2138	MISSING
tpdb-8.0/TRS/SK90/4.27.xml	YES 3419	YES 3473	YES 481	YES 1721	YES 1625	MISSING
tpdb-8.0/TRS/SK90/4.28.xml	YES 2838	YES 3311	YES 110	YES 112	YES 6006	MISSING
tpdb-8.0/TRS/SK90/4.29.xml	YES 2354	YES 2934	YES 50	YES 52	YES 727	MISSING
tpdb-8.0/TRS/SK90/4.30.xml	YES 3036	YES 3335	YES 172	YES 906	YES 2457	MISSING
tpdb-8.0/TRS/SK90/4.31.xml	YES 3474	YES 3001	YES 1198	YES 232	YES 1646	MISSING
tpdb-8.0/TRS/SK90/4.32.xml	YES 3005	YES 3625	YES 233	YES 690	YES 2027	MISSING
tpdb-8.0/TRS/SK90/4.33.xml	YES 2142	YES 2227	YES 36	YES 39	YES 546	MISSING
tpdb-8.0/TRS/SK90/4.34.xml	UNCERTIFIED 60080	NO 2277	UNCERTIFIED 115	UNCERTIFIED 4430	NO 488	MISSING
tpdb-8.0/TRS/SK90/4.35.xml	YES 2427	YES 2245	YES 42	YES 65	YES 551	MISSING
tpdb-8.0/TRS/SK90/4.36.xml	YES 2375	YES 2369	YES 40	YES 63	YES 513	MISSING
tpdb-8.0/TRS/SK90/4.37.xml	YES 2151	YES 2256	YES 37	YES 36	YES 525	MISSING
tpdb-8.0/TRS/SK90/4.38.xml	YES 2268	YES 2437	YES 44	YES 45	YES 917	MISSING
tpdb-8.0/TRS/SK90/4.39.xml	YES 2216	YES 2432	YES 42	YES 41	YES 546	MISSING
tpdb-8.0/TRS/SK90/4.40.xml	UNCERTIFIED 2846	NO 3185	UNCERTIFIED 432	UNCERTIFIED 559	NO 446	MISSING
tpdb-8.0/TRS/SK90/4.41.xml	YES 2523	YES 2420	YES 67	YES 77	YES 688	MISSING
tpdb-8.0/TRS/SK90/4.42.xml	UNCERTIFIED 60103	YES 2926	YES 103	YES 143	YES 1259	MISSING
tpdb-8.0/TRS/SK90/4.43.xml	YES 2678	YES 2812	YES 59	YES 60	YES 2418	MISSING
tpdb-8.0/TRS/SK90/4.44.xml	YES 2508	YES 2403	YES 57	YES 89	YES 751	MISSING
tpdb-8.0/TRS/SK90/4.45.xml	YES 2141	YES 2305	YES 39	YES 39	YES 452	MISSING
tpdb-8.0/TRS/SK90/4.46.xml	YES 2434	YES 2199	YES 38	YES 58	YES 445	MISSING
tpdb-8.0/TRS/SK90/4.47.xml	UNCERTIFIED 10868	YES 3115	YES 5144	YES 5982	YES 869	MISSING
tpdb-8.0/TRS/SK90/4.48.xml	YES 2241	YES 2407	YES 144	YES 41	YES 777	UNCERTIFIED 0
tpdb-8.0/TRS/SK90/4.49.xml	UNCERTIFIED 7006	NO 2791	UNCERTIFIED 1235	UNCERTIFIED 577	NO 341	MISSING
tpdb-8.0/TRS/SK90/4.50.xml	UNCERTIFIED 1361	YES 2324	UNCERTIFIED 85	UNCERTIFIED 66	YES 454	MISSING
tpdb-8.0/TRS/SK90/4.51.xml	YES 2598	YES 2584	UNCERTIFIED 222	YES 353	YES 1079	MISSING
tpdb-8.0/TRS/SK90/4.52.xml	YES 2311	YES 2604	YES 47	YES 48	YES 1468	MISSING
tpdb-8.0/TRS/SK90/4.53.xml	YES 2353	YES 2537	YES 215	YES 62	YES 5584	MISSING
tpdb-8.0/TRS/SK90/4.54.xml	UNCERTIFIED 60170	NO 2800	UNCERTIFIED 16861	UNCERTIFIED 49750	NO 445	MISSING
tpdb-8.0/TRS/SK90/4.55.xml	UNCERTIFIED 1257	YES 2452	UNCERTIFIED 65	UNCERTIFIED 64	UNCERTIFIED 592	MISSING
tpdb-8.0/TRS/SK90/4.56.xml	YES 2447	YES 2318	YES 53	YES 60	YES 464	MISSING
tpdb-8.0/TRS/SK90/4.57.xml	YES 9101	YES 3138	YES 5250	YES 198	YES 1309	MISSING
tpdb-8.0/TRS/SK90/4.59.xml	YES 4774	YES 3496	YES 3282	YES 495	YES 2930	MISSING
tpdb-8.0/TRS/SK90/4.60.xml	YES 5811	YES 3799	YES 1679	YES 488	YES 5494	MISSING
tpdb-8.0/TRS/SK90/4.61.xml	UNCERTIFIED 61338	YES 4752	UNCERTIFIED 60042	UNCERTIFIED 60038	YES 5732	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml	UNCERTIFIED 1555	NO 2660	UNCERTIFIED 137	UNCERTIFIED 112	NO 441	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.13.xml	UNCERTIFIED 1490	NO 6984	UNCERTIFIED 94	UNCERTIFIED 74	UNCERTIFIED 679	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.14.xml	UNCERTIFIED 60079	NO 2757	UNCERTIFIED 946	UNCERTIFIED 263	NO 428	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.15.xml	UNCERTIFIED 60119	NO 2846	UNCERTIFIED 60036	UNCERTIFIED 60032	NO 443	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.16.xml	UNCERTIFIED 1727	NO 2714	UNCERTIFIED 211	UNCERTIFIED 121	NO 434	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml	UNCERTIFIED 11002	NO 4059	UNCERTIFIED 60030	UNCERTIFIED 60028	NO 441	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml	UNCERTIFIED 10815	NO 2302	UNCERTIFIED 732	UNCERTIFIED 60034	NO 484	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.20a.xml	YES 2628	YES 2613	YES 100	YES 1559	YES 628	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml	YES 2433	YES 2495	YES 58	YES 89	YES 559	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.21.xml	YES 2607	YES 2372	YES 79	YES 146	YES 755	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.22.xml	UNCERTIFIED 60087	YES 2678	YES 120	YES 122	YES 898	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.23.xml	UNCERTIFIED 60301	YES 2920	YES 424	YES 271	YES 1451	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.25.xml	UNCERTIFIED 1557	YES 2964	UNCERTIFIED 66	UNCERTIFIED 68	UNCERTIFIED 840	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.26.xml	UNCERTIFIED 60129	YES 3327	UNCERTIFIED 628	UNCERTIFIED 426	YES 1443	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.27.xml	YES 4835	YES 3222	UNCERTIFIED 13818	YES 1703	YES 1689	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.28.xml	YES 3211	YES 2844	UNCERTIFIED 242	YES 878	YES 1637	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.29.xml	UNCERTIFIED 60389	YES 4558	UNCERTIFIED 60029	UNCERTIFIED 5922	YES 2685	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.2.xml	UNCERTIFIED 60081	NO 2730	UNCERTIFIED 1975	UNCERTIFIED 486	NO 428	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.30a.xml	UNCERTIFIED 60349	UNCERTIFIED 60711	UNCERTIFIED 4847	UNCERTIFIED 1445	UNCERTIFIED 3431	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.30b.xml	UNCERTIFIED 60135	UNCERTIFIED 60622	UNCERTIFIED 60030	UNCERTIFIED 60030	UNCERTIFIED 11654	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml	UNCERTIFIED 60132	UNCERTIFIED 60657	UNCERTIFIED 60032	UNCERTIFIED 60028	UNCERTIFIED 59417	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.30.xml	UNCERTIFIED 60269	UNCERTIFIED 60655	UNCERTIFIED 17585	UNCERTIFIED 1666	UNCERTIFIED 9292	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.32.xml	YES 2680	YES 3047	YES 79	YES 154	YES 823	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.33.xml	YES 3765	YES 4497	UNCERTIFIED 11025	YES 1577	YES 1599	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.34.xml	UNCERTIFIED 3409	YES 3255	YES 253	YES 286	YES 2256	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.35.xml	UNCERTIFIED 61431	YES 5865	UNCERTIFIED 60067	YES 2685	YES 6282	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml	YES 13289	YES 4747	UNCERTIFIED 3279	YES 829	YES 4483	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml	YES 2880	YES 3091	YES 140	YES 670	YES 1230	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.37.xml	YES 2753	YES 2919	YES 105	YES 521	YES 834	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.3.xml	UNCERTIFIED 1808	NO 2560	UNCERTIFIED 92	UNCERTIFIED 71	UNCERTIFIED 656	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.4.xml	UNCERTIFIED 1854	NO 2592	UNCERTIFIED 128	UNCERTIFIED 119	NO 433	MISSING
tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml	UNCERTIFIED 10815	NO 2921	UNCERTIFIED 1830	UNCERTIFIED 9494	NO 430	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml	UNCERTIFIED 5801	NO 3671	UNCERTIFIED 745	UNCERTIFIED 708	NO 354	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml	UNCERTIFIED 2397	NO 2682	UNCERTIFIED 97	UNCERTIFIED 175	NO 341	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex14_AEGL02.xml	UNCERTIFIED 28663	NO 2782	UNCERTIFIED 106	UNCERTIFIED 188	NO 343	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex15_Luc98.xml	UNCERTIFIED 3210	NO 2914	UNCERTIFIED 207	UNCERTIFIED 291	NO 348	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GL02a.xml	UNCERTIFIED 60239	NO 2933	UNCERTIFIED 241	UNCERTIFIED 315	NO 349	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM03.xml	UNCERTIFIED 15343	NO 3057	UNCERTIFIED 1515	UNCERTIFIED 737	NO 349	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml	UNCERTIFIED 1376	NO 2579	UNCERTIFIED 87	UNCERTIFIED 68	NO 437	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml	UNCERTIFIED 60173	NO 2824	UNCERTIFIED 234	UNCERTIFIED 246	NO 346	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml	UNCERTIFIED 1524	NO 2254	UNCERTIFIED 98	UNCERTIFIED 172	NO 453	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex24_GM04.xml	UNCERTIFIED 1611	NO 2643	UNCERTIFIED 76	UNCERTIFIED 67	UNCERTIFIED 644	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml	UNCERTIFIED 5217	NO 3399	UNCERTIFIED 514	UNCERTIFIED 626	NO 388	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex2_Luc03b.xml	UNCERTIFIED 60216	NO 3013	UNCERTIFIED 217	UNCERTIFIED 307	NO 348	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml	UNCERTIFIED 60105	NO 2753	UNCERTIFIED 138	UNCERTIFIED 170	NO 342	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml	UNCERTIFIED 60289	NO 3322	UNCERTIFIED 387	UNCERTIFIED 433	NO 350	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml	UNCERTIFIED 60277	NO 3223	UNCERTIFIED 1044	UNCERTIFIED 593	NO 347	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml	UNCERTIFIED 1759	NO 2633	UNCERTIFIED 66	UNCERTIFIED 82	NO 338	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml	UNCERTIFIED 11536	NO 2700	UNCERTIFIED 529	UNCERTIFIED 2131	NO 433	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml	UNCERTIFIED 60429	NO 3534	UNCERTIFIED 1275	UNCERTIFIED 894	NO 352	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml	UNCERTIFIED 1959	NO 2676	UNCERTIFIED 125	UNCERTIFIED 164	NO 340	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml	UNCERTIFIED 1147	NO 2604	UNCERTIFIED 61	UNCERTIFIED 79	NO 339	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml	YES 4820	YES 3299	YES 2231	YES 382	YES 1816	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_Zan97.xml	UNCERTIFIED 60170	NO 2794	UNCERTIFIED 174	UNCERTIFIED 277	NO 347	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml	UNCERTIFIED 60695	NO 4068	UNCERTIFIED 594	UNCERTIFIED 729	NO 361	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml	UNCERTIFIED 1455	NO 2568	UNCERTIFIED 163	UNCERTIFIED 148	NO 339	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_15_AEL02.xml	UNCERTIFIED 60770	NO 4967	UNCERTIFIED 741	UNCERTIFIED 821	NO 367	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml	UNCERTIFIED 2541	NO 2644	UNCERTIFIED 122	UNCERTIFIED 215	NO 346	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml	UNCERTIFIED 1362	NO 2252	UNCERTIFIED 47	UNCERTIFIED 71	NO 341	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml	UNCERTIFIED 2360	NO 2750	UNCERTIFIED 163	UNCERTIFIED 204	NO 341	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex7_BLR02.xml	UNCERTIFIED 60196	NO 3087	UNCERTIFIED 249	UNCERTIFIED 294	NO 345	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex8_BLR02.xml	UNCERTIFIED 60241	NO 2997	UNCERTIFIED 553	UNCERTIFIED 566	NO 348	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex9_BLR02.xml	UNCERTIFIED 60525	NO 3671	UNCERTIFIED 5276	UNCERTIFIED 4906	NO 351	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml	UNCERTIFIED 6546	NO 4037	UNCERTIFIED 1071	UNCERTIFIED 833	NO 359	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml	UNCERTIFIED 1467	NO 2233	UNCERTIFIED 48	UNCERTIFIED 87	NO 337	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml	UNCERTIFIED 35816	NO 3274	UNCERTIFIED 168	UNCERTIFIED 596	NO 345	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml	UNCERTIFIED 41426	NO 2904	UNCERTIFIED 129	UNCERTIFIED 445	NO 342	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM99.xml	UNCERTIFIED 60770	NO 3878	UNCERTIFIED 60067	UNCERTIFIED 60047	NO 352	MISSING
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml	UNCERTIFIED 60266	NO 3215	UNCERTIFIED 2314	UNCERTIFIED 1070	NO 351	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml	UNCERTIFIED 7359	UNCERTIFIED 61100	UNCERTIFIED 119	UNCERTIFIED 151	UNCERTIFIED 3538	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml	UNCERTIFIED 1448	NO 2248	UNCERTIFIED 60	UNCERTIFIED 98	NO 338	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml	UNCERTIFIED 1772	NO 2638	UNCERTIFIED 88	UNCERTIFIED 137	NO 338	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml	UNCERTIFIED 1470	NO 2278	UNCERTIFIED 65	UNCERTIFIED 131	NO 342	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml	UNCERTIFIED 1805	NO 2258	UNCERTIFIED 89	UNCERTIFIED 125	NO 431	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml	UNCERTIFIED 1308	NO 2219	UNCERTIFIED 54	UNCERTIFIED 70	NO 427	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml	UNCERTIFIED 2750	UNCERTIFIED 3616	UNCERTIFIED 435	UNCERTIFIED 323	NO 446	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml	UNCERTIFIED 7437	NO 3695	UNCERTIFIED 568	UNCERTIFIED 818	NO 356	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml	UNCERTIFIED 1548	NO 2668	UNCERTIFIED 83	UNCERTIFIED 72	NO 434	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/muladd.xml	UNCERTIFIED 60151	NO 2933	UNCERTIFIED 3923	UNCERTIFIED 29871	NO 435	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml	UNCERTIFIED 60164	NO 2346	UNCERTIFIED 327	UNCERTIFIED 10784	NO 485	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/test10.xml	UNCERTIFIED 3111	NO 2874	UNCERTIFIED 640	UNCERTIFIED 428	NO 436	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml	UNCERTIFIED 1975	NO 2796	UNCERTIFIED 288	UNCERTIFIED 156	NO 432	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml	UNCERTIFIED 3248	NO 7093	UNCERTIFIED 564	UNCERTIFIED 263	UNCERTIFIED 2913	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml	UNCERTIFIED 2968	NO 23423	UNCERTIFIED 400	UNCERTIFIED 241	UNCERTIFIED 2640	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml	YES 2564	YES 2526	YES 95	YES 375	YES 623	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml	UNCERTIFIED 1601	NO 2898	UNCERTIFIED 210	UNCERTIFIED 142	NO 430	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml	UNCERTIFIED 1368	NO 2575	UNCERTIFIED 87	UNCERTIFIED 68	UNCERTIFIED 682	MISSING
tpdb-8.0/TRS/Strategy_removed_mixed_05/tricky1.xml	YES 4013	YES 2909	YES 1610	YES 344	YES 1107	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml	UNCERTIFIED 11265	UNCERTIFIED 61157	UNCERTIFIED 12546	UNCERTIFIED 60035	UNCERTIFIED 59843	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml	YES 7666	YES 3623	YES 206	YES 203	YES 4449	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml	UNCERTIFIED 60533	UNCERTIFIED 61259	UNCERTIFIED 47893	UNCERTIFIED 25506	UNCERTIFIED 59565	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml	UNCERTIFIED 11223	UNCERTIFIED 61566	UNCERTIFIED 20526	UNCERTIFIED 39273	YES 30118	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml	UNCERTIFIED 616	NO 2123	UNCERTIFIED 28	UNCERTIFIED 27	NO 352	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_Z.xml	YES 7103	YES 3500	YES 174	YES 172	YES 5909	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml	YES 3373	YES 4085	YES 472	YES 1256	YES 6066	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml	YES 2436	YES 2730	YES 70	YES 78	YES 2167	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml	YES 4750	YES 3853	UNCERTIFIED 764	YES 968	YES 3274	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml	YES 3798	YES 4527	UNCERTIFIED 1689	YES 6764	YES 4874	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml	UNCERTIFIED 587	NO 2066	UNCERTIFIED 25	UNCERTIFIED 26	NO 337	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml	YES 2300	YES 2642	YES 51	YES 50	YES 874	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml	UNCERTIFIED 10909	YES 8099	UNCERTIFIED 6883	YES 2878	YES 9162	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_FR.xml	UNCERTIFIED 60223	NO 3525	UNCERTIFIED 403	UNCERTIFIED 749	UNCERTIFIED 35767	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_GM.xml	YES 4436	YES 3269	YES 155	YES 253	YES 2786	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_iGM.xml	YES 3777	YES 4423	UNCERTIFIED 2904	YES 3684	YES 6427	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_L.xml	UNCERTIFIED 1099	NO 2245	UNCERTIFIED 62	UNCERTIFIED 91	NO 430	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_Z.xml	UNCERTIFIED 60114	NO 3043	UNCERTIFIED 312	UNCERTIFIED 607	NO 862	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml	UNCERTIFIED 10912	UNCERTIFIED 60719	UNCERTIFIED 15013	UNCERTIFIED 60031	UNCERTIFIED 59536	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml	UNCERTIFIED 1846	NO 2802	UNCERTIFIED 181	UNCERTIFIED 188	NO 446	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_GM.xml	UNCERTIFIED 12497	UNCERTIFIED 34961	UNCERTIFIED 316	UNCERTIFIED 477	UNCERTIFIED 2734	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_L.xml	UNCERTIFIED 1399	NO 2272	UNCERTIFIED 96	UNCERTIFIED 149	NO 439	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml	YES 4669	YES 5014	UNCERTIFIED 51461	YES 6487	YES 3000	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml	YES 2679	YES 2452	YES 130	YES 908	YES 791	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml	YES 2610	YES 2667	YES 96	YES 914	YES 927	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml	YES 5434	YES 5362	YES 288	YES 4000	YES 1906	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_L.xml	UNCERTIFIED 948	NO 2221	UNCERTIFIED 38	UNCERTIFIED 38	NO 335	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml	YES 2610	YES 2385	YES 94	YES 466	YES 786	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml	UNCERTIFIED 11126	YES 12625	YES 1158	YES 2198	YES 8747	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml	UNCERTIFIED 60250	YES 5390	UNCERTIFIED 2800	UNCERTIFIED 22564	YES 8401	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml	YES 3048	YES 3415	UNCERTIFIED 212	YES 236	YES 1860	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml	UNCERTIFIED 6117	YES 6665	YES 6202	YES 2236	YES 8974	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml	UNCERTIFIED 665	NO 2082	UNCERTIFIED 30	UNCERTIFIED 27	NO 344	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml	YES 11952	YES 4173	UNCERTIFIED 2633	YES 3280	YES 5637	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml	UNCERTIFIED 11133	YES 36225	UNCERTIFIED 8083	UNCERTIFIED 60029	UNCERTIFIED 59504	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_FR.xml	UNCERTIFIED 1261	YES 2444	UNCERTIFIED 78	UNCERTIFIED 84	YES 642	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml	UNCERTIFIED 1422	YES 2547	UNCERTIFIED 142	UNCERTIFIED 142	YES 836	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml	UNCERTIFIED 60121	YES 16196	UNCERTIFIED 515	UNCERTIFIED 854	UNCERTIFIED 11645	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_L.xml	UNCERTIFIED 1123	NO 2268	UNCERTIFIED 52	UNCERTIFIED 60	NO 336	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml	YES 4244	YES 3168	UNCERTIFIED 230	YES 5259	YES 3433	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml	YES 2261	YES 2494	YES 56	YES 54	YES 793	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml	YES 2601	YES 2551	YES 112	YES 739	YES 889	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml	YES 3911	YES 3158	YES 228	YES 2032	YES 1921	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_L.xml	YES 2177	YES 2188	YES 36	YES 38	YES 451	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml	YES 2193	YES 2360	YES 41	YES 42	YES 602	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml	UNCERTIFIED 11140	YES 12724	UNCERTIFIED 11127	YES 4402	YES 11997	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml	YES 2640	YES 3227	YES 133	YES 123	YES 4085	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_iGM.xml	UNCERTIFIED 4878	YES 5538	UNCERTIFIED 7189	YES 7319	YES 7087	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml	UNCERTIFIED 1108	NO 2474	UNCERTIFIED 77	UNCERTIFIED 78	NO 340	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_Z.xml	UNCERTIFIED 10892	UNCERTIFIED 61852	UNCERTIFIED 7563	UNCERTIFIED 60029	UNCERTIFIED 59496	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml	UNCERTIFIED 680	NO 2167	UNCERTIFIED 26	UNCERTIFIED 26	NO 347	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml	UNCERTIFIED 60202	NO 3256	UNCERTIFIED 2314	UNCERTIFIED 1074	NO 353	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_C.xml	UNCERTIFIED 10871	UNCERTIFIED 60888	UNCERTIFIED 15456	UNCERTIFIED 60028	UNCERTIFIED 59524	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_FR.xml	UNCERTIFIED 1483	NO 2880	UNCERTIFIED 99	UNCERTIFIED 177	NO 454	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml	UNCERTIFIED 60090	NO 3833	UNCERTIFIED 2958	UNCERTIFIED 342	UNCERTIFIED 21051	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_iGM.xml	UNCERTIFIED 60177	NO 14132	UNCERTIFIED 1034	UNCERTIFIED 2187	UNCERTIFIED 59418	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml	UNCERTIFIED 1083	NO 2231	UNCERTIFIED 47	UNCERTIFIED 56	NO 339	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml	UNCERTIFIED 11079	UNCERTIFIED 61169	UNCERTIFIED 6731	UNCERTIFIED 60030	UNCERTIFIED 59625	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_FR.xml	UNCERTIFIED 60251	YES 3762	UNCERTIFIED 1181	UNCERTIFIED 2224	YES 5663	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml	UNCERTIFIED 593	NO 2094	UNCERTIFIED 26	UNCERTIFIED 28	NO 347	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml	UNCERTIFIED 60142	YES 3056	YES 78	YES 80	YES 5741	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml	YES 7555	YES 11413	YES 1150	YES 3445	YES 7802	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_FR.xml	UNCERTIFIED 10968	NO 3284	UNCERTIFIED 890	UNCERTIFIED 3117	NO 444	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml	YES 4400	YES 4437	YES 865	YES 1856	YES 6003	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_iGM.xml	YES 9295	YES 13819	YES 2460	YES 3225	YES 6832	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml	UNCERTIFIED 592	NO 2129	UNCERTIFIED 26	UNCERTIFIED 26	NO 384	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml	UNCERTIFIED 60145	NO 3050	UNCERTIFIED 518	UNCERTIFIED 701	NO 347	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml	YES 4097	YES 43945	UNCERTIFIED 5766	YES 5496	YES 2720	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_FR.xml	UNCERTIFIED 60064	NO 2554	UNCERTIFIED 244	UNCERTIFIED 730	NO 444	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml	YES 2348	YES 2327	YES 71	YES 64	YES 703	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml	YES 3688	YES 2755	YES 162	YES 5142	YES 1267	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml	UNCERTIFIED 1211	NO 2361	UNCERTIFIED 53	UNCERTIFIED 68	NO 415	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml	YES 5818	YES 3873	YES 340	YES 5341	YES 5676	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml	YES 2402	YES 2477	YES 64	YES 63	YES 1280	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml	YES 2306	YES 2512	YES 46	YES 46	YES 1250	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml	YES 7233	YES 9278	YES 338	YES 5483	YES 2090	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_L.xml	YES 2118	YES 2187	YES 36	YES 36	YES 438	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml	YES 2252	YES 2541	YES 43	YES 45	YES 622	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_C.xml	UNCERTIFIED 10986	UNCERTIFIED 61039	UNCERTIFIED 14260	UNCERTIFIED 60030	UNCERTIFIED 59515	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_GM.xml	UNCERTIFIED 3155	NO 51743	UNCERTIFIED 134	UNCERTIFIED 154	UNCERTIFIED 1111	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_L.xml	UNCERTIFIED 989	NO 2209	UNCERTIFIED 54	UNCERTIFIED 55	NO 339	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml	UNCERTIFIED 2620	UNCERTIFIED 60807	UNCERTIFIED 629	UNCERTIFIED 312	NO 1205	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml	UNCERTIFIED 11044	YES 4764	UNCERTIFIED 36154	YES 2625	YES 7574	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml	UNCERTIFIED 31553	NO 2957	UNCERTIFIED 2756	UNCERTIFIED 240	NO 433	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml	UNCERTIFIED 28740	NO 2926	UNCERTIFIED 2478	UNCERTIFIED 366	NO 436	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_iGM.xml	UNCERTIFIED 10936	NO 6903	UNCERTIFIED 60029	UNCERTIFIED 60030	UNCERTIFIED 59490	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_L.xml	UNCERTIFIED 1132	NO 2247	UNCERTIFIED 46	UNCERTIFIED 53	NO 339	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml	YES 3099	YES 3523	YES 459	YES 637	YES 6690	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml	YES 3267	YES 3226	YES 186	YES 472	YES 1874	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml	YES 2411	YES 2680	YES 67	YES 60	YES 2003	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_iGM.xml	YES 6266	YES 5175	YES 694	YES 1653	YES 3624	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_L.xml	YES 2144	YES 2260	YES 38	YES 40	YES 576	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml	YES 2433	YES 2344	YES 99	YES 177	YES 1562	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml	UNCERTIFIED 11178	YES 15169	YES 1338	YES 3030	YES 10564	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml	UNCERTIFIED 11011	YES 21717	UNCERTIFIED 4386	UNCERTIFIED 9854	UNCERTIFIED 59464	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_GM.xml	UNCERTIFIED 10907	YES 6009	YES 2266	YES 743	YES 8837	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_iGM.xml	UNCERTIFIED 11092	YES 11771	UNCERTIFIED 4068	YES 5300	YES 11548	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml	YES 2294	YES 2387	YES 60	YES 59	YES 927	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml	UNCERTIFIED 60536	YES 6514	UNCERTIFIED 5309	UNCERTIFIED 60030	YES 8935	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml	UNCERTIFIED 11113	YES 13194	YES 1641	YES 3685	YES 10940	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml	YES 7161	YES 4457	YES 641	YES 579	YES 4150	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml	YES 34584	YES 5708	YES 1014	YES 1428	UNCERTIFIED 59497	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml	UNCERTIFIED 11073	YES 12834	UNCERTIFIED 1713	UNCERTIFIED 3555	YES 10300	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml	YES 2351	YES 2753	YES 63	YES 63	YES 2096	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml	YES 6022	YES 3180	YES 102	YES 103	YES 3786	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml	UNCERTIFIED 6795	YES 7321	YES 844	YES 1849	YES 6172	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_FR.xml	YES 7356	YES 4350	YES 952	YES 773	YES 8610	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml	YES 6272	YES 4273	YES 1088	YES 627	YES 8817	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_iGM.xml	UNCERTIFIED 7836	YES 7309	YES 3486	YES 2854	YES 8890	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml	YES 2235	YES 2359	YES 49	YES 51	YES 566	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml	YES 2921	YES 3375	YES 100	YES 100	YES 1884	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_C.xml	UNCERTIFIED 10993	UNCERTIFIED 60939	UNCERTIFIED 5972	UNCERTIFIED 60028	UNCERTIFIED 59549	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml	YES 2342	YES 2661	YES 57	YES 59	YES 2738	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml	UNCERTIFIED 589	NO 2131	UNCERTIFIED 25	UNCERTIFIED 27	NO 342	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml	YES 2292	YES 2640	YES 45	YES 47	YES 5585	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml	UNCERTIFIED 598	NO 2116	UNCERTIFIED 25	UNCERTIFIED 26	NO 343	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml	UNCERTIFIED 11055	YES 13882	UNCERTIFIED 1925	YES 2129	YES 9070	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml	YES 7162	YES 5730	UNCERTIFIED 2070	YES 1258	YES 10513	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml	UNCERTIFIED 11031	YES 8405	UNCERTIFIED 3734	YES 3116	YES 8755	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml	YES 2272	YES 2390	YES 45	YES 46	YES 920	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml	UNCERTIFIED 60256	NO 3617	UNCERTIFIED 15575	UNCERTIFIED 7404	NO 359	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_C.xml	YES 2918	YES 3186	YES 326	YES 591	YES 3562	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml	UNCERTIFIED 60117	NO 3421	UNCERTIFIED 1843	UNCERTIFIED 1002	NO 469	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml	YES 5138	YES 3065	YES 276	YES 205	YES 5717	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml	YES 2963	YES 3222	YES 236	YES 483	YES 2464	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml	YES 2149	YES 2221	YES 35	YES 48	YES 486	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml	UNCERTIFIED 60111	NO 2785	UNCERTIFIED 1948	UNCERTIFIED 801	NO 442	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml	YES 9708	YES 11639	UNCERTIFIED 60028	YES 10949	YES 8897	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml	YES 3034	YES 3003	YES 308	YES 2124	YES 1622	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml	YES 3332	YES 3580	YES 366	YES 2768	YES 2595	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml	YES 9665	YES 6765	YES 1751	YES 4366	YES 5667	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml	YES 2714	YES 2242	YES 70	YES 291	YES 678	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml	YES 2489	YES 2510	YES 219	YES 1800	YES 944	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml	UNCERTIFIED 11121	UNCERTIFIED 61899	UNCERTIFIED 22788	UNCERTIFIED 60033	UNCERTIFIED 59712	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml	UNCERTIFIED 60508	YES 4542	UNCERTIFIED 5815	UNCERTIFIED 11135	YES 7065	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml	UNCERTIFIED 611	NO 2110	UNCERTIFIED 27	UNCERTIFIED 27	NO 352	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml	UNCERTIFIED 60367	YES 3998	YES 621	UNCERTIFIED 590	YES 6079	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml	UNCERTIFIED 11024	UNCERTIFIED 60985	UNCERTIFIED 5468	UNCERTIFIED 60029	UNCERTIFIED 59564	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml	YES 2316	YES 2682	YES 56	YES 58	YES 2664	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml	UNCERTIFIED 60150	YES 28336	UNCERTIFIED 1670	UNCERTIFIED 2899	YES 4194	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml	UNCERTIFIED 60357	UNCERTIFIED 60792	UNCERTIFIED 4685	UNCERTIFIED 60030	YES 9997	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml	UNCERTIFIED 589	NO 2126	UNCERTIFIED 25	UNCERTIFIED 26	NO 339	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml	YES 2259	YES 2591	YES 50	YES 47	YES 5573	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml	YES 3628	YES 4140	YES 304	YES 904	YES 5192	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml	YES 2181	YES 2380	YES 43	YES 44	YES 561	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml	YES 2405	YES 2501	YES 67	YES 67	YES 1747	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml	YES 3319	YES 4166	YES 303	YES 810	YES 2015	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml	UNCERTIFIED 581	NO 2075	UNCERTIFIED 26	UNCERTIFIED 25	NO 338	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml	UNCERTIFIED 11042	YES 10502	YES 3845	UNCERTIFIED 4691	YES 7870	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_FR.xml	UNCERTIFIED 60775	YES 37103	UNCERTIFIED 60057	UNCERTIFIED 60044	YES 10403	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_GM.xml	YES 9656	YES 5669	YES 2556	YES 996	YES 9198	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_iGM.xml	UNCERTIFIED 11075	YES 10135	UNCERTIFIED 4483	YES 3844	YES 8688	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml	UNCERTIFIED 593	NO 2139	UNCERTIFIED 27	UNCERTIFIED 27	NO 344	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml	YES 6019	YES 4606	YES 8038	YES 784	YES 3249	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_C.xml	UNCERTIFIED 11131	UNCERTIFIED 62334	UNCERTIFIED 60035	UNCERTIFIED 60035	UNCERTIFIED 59819	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_FR.xml	UNCERTIFIED 61033	NO 10646	UNCERTIFIED 41151	UNCERTIFIED 11120	NO 1777	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_GM.xml	UNCERTIFIED 11058	YES 41440	UNCERTIFIED 60037	UNCERTIFIED 60031	YES 28680	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml	UNCERTIFIED 11158	UNCERTIFIED 60994	UNCERTIFIED 60037	UNCERTIFIED 60036	YES 53197	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml	UNCERTIFIED 614	NO 2129	UNCERTIFIED 26	UNCERTIFIED 27	NO 354	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_Z.xml	UNCERTIFIED 60827	NO 9582	UNCERTIFIED 60044	UNCERTIFIED 17674	NO 1787	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml	UNCERTIFIED 11084	UNCERTIFIED 60790	UNCERTIFIED 5452	UNCERTIFIED 60029	UNCERTIFIED 59594	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml	YES 2387	YES 2799	YES 72	YES 61	YES 2930	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml	UNCERTIFIED 596	NO 2148	UNCERTIFIED 26	UNCERTIFIED 39	NO 343	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml	YES 2313	YES 2724	YES 55	YES 54	YES 5722	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml	UNCERTIFIED 624	NO 2155	UNCERTIFIED 27	UNCERTIFIED 27	NO 353	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_C.xml	UNCERTIFIED 11954	YES 17006	UNCERTIFIED 4362	YES 13598	YES 11937	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml	UNCERTIFIED 11697	NO 9956	UNCERTIFIED 9213	UNCERTIFIED 15181	UNCERTIFIED 59460	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml	YES 4959	YES 8966	YES 5376	YES 2465	YES 6232	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml	UNCERTIFIED 12056	YES 14720	UNCERTIFIED 10743	YES 9493	YES 11862	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml	UNCERTIFIED 638	NO 2116	UNCERTIFIED 25	UNCERTIFIED 27	NO 352	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_Z.xml	UNCERTIFIED 60151	NO 5509	UNCERTIFIED 2891	UNCERTIFIED 3468	NO 467	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml	YES 6740	YES 6453	YES 800	YES 1266	YES 6791	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml	YES 2387	YES 2501	YES 94	YES 117	YES 1364	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml	YES 2839	YES 2920	UNCERTIFIED 361	YES 313	YES 2297	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml	YES 4232	YES 4819	YES 538	YES 1119	YES 3534	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml	UNCERTIFIED 589	NO 2130	UNCERTIFIED 25	UNCERTIFIED 26	NO 338	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml	YES 2272	YES 2378	YES 117	YES 98	YES 597	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml	UNCERTIFIED 630	NO 2161	UNCERTIFIED 28	UNCERTIFIED 28	NO 363	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_Z.xml	UNCERTIFIED 61013	NO 7995	UNCERTIFIED 3589	UNCERTIFIED 8080	UNCERTIFIED 59451	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml	YES 3568	YES 4311	YES 697	YES 3003	YES 7077	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml	YES 5095	YES 3002	YES 77	YES 196	YES 2952	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml	YES 7715	YES 6260	UNCERTIFIED 1420	YES 3068	YES 5640	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml	UNCERTIFIED 60940	YES 12744	UNCERTIFIED 4975	YES 31975	YES 11694	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml	UNCERTIFIED 585	NO 2109	UNCERTIFIED 26	UNCERTIFIED 26	NO 338	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml	YES 3084	YES 2657	YES 67	YES 159	YES 1474	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml	YES 3684	YES 3803	YES 177	YES 4327	YES 2681	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml	UNCERTIFIED 45639	NO 2321	UNCERTIFIED 187	UNCERTIFIED 366	NO 433	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml	YES 2240	YES 2296	YES 43	YES 43	YES 774	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml	YES 3284	YES 2499	YES 93	YES 584	YES 1657	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml	YES 2104	YES 2179	YES 44	YES 43	YES 486	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml	UNCERTIFIED 5048	YES 5587	YES 596	YES 1048	YES 7317	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_FR.xml	YES 5068	YES 3296	YES 443	YES 333	YES 5640	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml	YES 4887	YES 3371	YES 553	YES 347	YES 4095	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_iGM.xml	YES 3965	YES 4760	YES 1385	YES 1366	YES 4154	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml	YES 2226	YES 2364	YES 41	YES 41	YES 460	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml	YES 2589	YES 2660	YES 63	YES 63	YES 848	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_C.xml	UNCERTIFIED 11086	UNCERTIFIED 61064	UNCERTIFIED 10910	UNCERTIFIED 60119	UNCERTIFIED 59661	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml	UNCERTIFIED 60249	YES 3776	UNCERTIFIED 1197	UNCERTIFIED 2226	YES 6112	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml	UNCERTIFIED 619	NO 2094	UNCERTIFIED 29	UNCERTIFIED 26	NO 345	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_Z.xml	UNCERTIFIED 60158	YES 2932	YES 91	YES 92	YES 5750	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_C.xml	UNCERTIFIED 11081	UNCERTIFIED 61044	UNCERTIFIED 17688	UNCERTIFIED 60032	UNCERTIFIED 59658	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_FR.xml	YES 2561	YES 3001	YES 78	YES 90	YES 5907	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml	UNCERTIFIED 601	NO 2121	UNCERTIFIED 27	UNCERTIFIED 27	NO 380	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml	YES 2428	YES 2834	YES 66	YES 67	YES 5729	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml	UNCERTIFIED 11093	YES 12034	UNCERTIFIED 1886	YES 2452	YES 8734	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_FR.xml	UNCERTIFIED 60398	YES 29384	UNCERTIFIED 7833	UNCERTIFIED 4513	YES 8975	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml	YES 7873	YES 5714	UNCERTIFIED 2467	YES 957	YES 6621	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_iGM.xml	UNCERTIFIED 11087	YES 12040	UNCERTIFIED 2808	YES 4252	YES 8777	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml	YES 2290	YES 2400	YES 49	YES 48	YES 1018	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml	UNCERTIFIED 11283	YES 4334	YES 745	YES 644	YES 6128	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml	UNCERTIFIED 10868	UNCERTIFIED 60950	UNCERTIFIED 8083	UNCERTIFIED 60029	UNCERTIFIED 59511	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml	UNCERTIFIED 1456	NO 2686	UNCERTIFIED 93	UNCERTIFIED 76	NO 424	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml	UNCERTIFIED 60094	NO 6933	UNCERTIFIED 1038	UNCERTIFIED 508	UNCERTIFIED 55906	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml	UNCERTIFIED 1188	NO 2716	UNCERTIFIED 50	UNCERTIFIED 53	NO 426	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml	YES 3455	YES 3818	UNCERTIFIED 35385	YES 2039	YES 4396	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml	UNCERTIFIED 10937	NO 2907	UNCERTIFIED 22413	UNCERTIFIED 694	NO 439	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml	YES 2494	YES 2466	YES 124	YES 112	YES 785	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_iGM.xml	YES 3597	YES 4155	UNCERTIFIED 60029	YES 1868	YES 2466	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_C.xml	UNCERTIFIED 11048	UNCERTIFIED 61463	UNCERTIFIED 20920	UNCERTIFIED 60035	UNCERTIFIED 59888	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml	YES 8694	YES 4573	YES 488	YES 535	YES 4598	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml	UNCERTIFIED 11227	UNCERTIFIED 61464	UNCERTIFIED 29229	UNCERTIFIED 51081	UNCERTIFIED 59725	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml	UNCERTIFIED 625	NO 2192	UNCERTIFIED 27	UNCERTIFIED 28	NO 358	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml	UNCERTIFIED 10923	YES 4576	YES 387	YES 523	YES 5918	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml	YES 2736	YES 3071	YES 158	YES 515	YES 5191	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml	YES 2264	YES 2570	YES 52	YES 45	YES 1210	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml	YES 2251	YES 2469	YES 42	YES 42	YES 856	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml	YES 4696	YES 33758	YES 204	YES 422	YES 2385	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml	YES 2154	YES 2163	YES 40	YES 37	YES 422	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_Z.xml	UNCERTIFIED 1554	NO 2257	UNCERTIFIED 78	UNCERTIFIED 162	NO 339	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml	YES 9196	YES 13537	YES 1428	YES 6473	YES 8108	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml	UNCERTIFIED 11103	NO 5518	UNCERTIFIED 2091	UNCERTIFIED 30545	NO 975	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml	YES 6776	YES 6333	YES 1091	YES 1869	YES 7194	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml	UNCERTIFIED 11583	YES 15800	YES 3598	YES 6809	YES 7733	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml	UNCERTIFIED 600	NO 2136	UNCERTIFIED 25	UNCERTIFIED 27	NO 344	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_Z.xml	UNCERTIFIED 11432	NO 5767	UNCERTIFIED 3164	UNCERTIFIED 60030	NO 486	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml	UNCERTIFIED 11543	YES 12880	YES 1122	YES 8014	YES 7757	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml	UNCERTIFIED 11344	NO 8913	UNCERTIFIED 5769	UNCERTIFIED 60030	UNCERTIFIED 59455	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml	YES 2810	YES 3152	YES 515	YES 180	YES 6090	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml	YES 12586	YES 14997	YES 2663	YES 4579	YES 7284	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml	UNCERTIFIED 586	NO 2114	UNCERTIFIED 25	UNCERTIFIED 26	NO 338	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_Z.xml	UNCERTIFIED 11456	NO 6193	UNCERTIFIED 6007	UNCERTIFIED 60030	NO 1251	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml	UNCERTIFIED 11234	UNCERTIFIED 61227	UNCERTIFIED 60070	UNCERTIFIED 60050	UNCERTIFIED 59742	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml	UNCERTIFIED 60991	UNCERTIFIED 61164	UNCERTIFIED 60074	UNCERTIFIED 60057	YES 11874	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml	UNCERTIFIED 605	NO 2140	UNCERTIFIED 26	UNCERTIFIED 31	NO 350	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml	UNCERTIFIED 10977	NO 5949	UNCERTIFIED 60059	UNCERTIFIED 60056	NO 487	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml	UNCERTIFIED 605	NO 2171	UNCERTIFIED 29	UNCERTIFIED 27	NO 346	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_Z.xml	UNCERTIFIED 60295	NO 3625	UNCERTIFIED 2345	UNCERTIFIED 1127	NO 357	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml	UNCERTIFIED 10862	YES 15561	UNCERTIFIED 60028	YES 7822	YES 9982	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml	YES 3028	YES 3216	YES 218	YES 2177	YES 1943	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml	YES 3077	YES 3498	YES 372	YES 2532	YES 1954	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_iGM.xml	YES 6140	YES 5312	UNCERTIFIED 60032	YES 10137	YES 6233	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml	YES 2493	YES 2305	YES 83	YES 267	YES 674	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml	YES 2554	YES 2484	YES 129	YES 1765	YES 865	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml	UNCERTIFIED 11169	YES 14612	UNCERTIFIED 1862	UNCERTIFIED 4258	YES 12673	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml	YES 8399	YES 4817	YES 670	YES 686	YES 5629	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml	YES 38792	YES 8365	YES 1239	YES 1808	UNCERTIFIED 59476	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml	UNCERTIFIED 11213	YES 12345	UNCERTIFIED 6748	UNCERTIFIED 3705	YES 12067	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml	YES 2462	YES 2915	YES 74	YES 73	YES 2788	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml	YES 6938	YES 3335	YES 109	YES 106	YES 3662	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml	UNCERTIFIED 11168	UNCERTIFIED 61229	UNCERTIFIED 30375	UNCERTIFIED 60033	UNCERTIFIED 59891	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml	YES 2777	YES 3489	YES 194	YES 188	YES 5777	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml	UNCERTIFIED 610	NO 2164	UNCERTIFIED 26	UNCERTIFIED 28	NO 353	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml	YES 2784	YES 3453	YES 161	YES 160	YES 5631	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml	UNCERTIFIED 12282	YES 22425	UNCERTIFIED 60035	YES 34816	YES 30945	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml	UNCERTIFIED 645	NO 2197	UNCERTIFIED 27	UNCERTIFIED 28	NO 363	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml	UNCERTIFIED 11562	UNCERTIFIED 61398	UNCERTIFIED 60039	UNCERTIFIED 60040	UNCERTIFIED 59993	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml	UNCERTIFIED 11518	YES 31384	YES 10509	YES 35128	UNCERTIFIED 59858	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml	UNCERTIFIED 663	NO 2259	UNCERTIFIED 27	UNCERTIFIED 29	NO 375	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml	UNCERTIFIED 12894	UNCERTIFIED 61026	UNCERTIFIED 32577	UNCERTIFIED 60032	UNCERTIFIED 59658	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml	UNCERTIFIED 12686	UNCERTIFIED 62080	UNCERTIFIED 60032	UNCERTIFIED 60031	UNCERTIFIED 59611	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml	YES 5817	YES 10223	YES 1506	YES 3198	YES 5965	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml	UNCERTIFIED 12836	YES 38496	UNCERTIFIED 60031	YES 40430	UNCERTIFIED 59723	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml	UNCERTIFIED 600	NO 2158	UNCERTIFIED 26	UNCERTIFIED 27	NO 345	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml	UNCERTIFIED 12506	UNCERTIFIED 61342	UNCERTIFIED 49257	UNCERTIFIED 60033	UNCERTIFIED 59859	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml	UNCERTIFIED 12420	NO 20324	UNCERTIFIED 53491	UNCERTIFIED 14971	UNCERTIFIED 59486	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml	YES 6383	YES 15314	YES 1472	YES 8642	YES 8052	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml	UNCERTIFIED 12673	YES 38025	UNCERTIFIED 60039	UNCERTIFIED 60032	UNCERTIFIED 59692	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml	UNCERTIFIED 646	NO 2169	UNCERTIFIED 26	UNCERTIFIED 26	NO 351	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml	UNCERTIFIED 12221	NO 19531	UNCERTIFIED 54978	UNCERTIFIED 15425	UNCERTIFIED 59487	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml	UNCERTIFIED 12282	UNCERTIFIED 61058	UNCERTIFIED 60031	UNCERTIFIED 60031	UNCERTIFIED 59586	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml	UNCERTIFIED 10947	UNCERTIFIED 60748	UNCERTIFIED 7420	UNCERTIFIED 60030	UNCERTIFIED 59568	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml	UNCERTIFIED 10854	NO 2803	UNCERTIFIED 272	UNCERTIFIED 898	NO 442	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml	UNCERTIFIED 11107	NO 4013	UNCERTIFIED 539	UNCERTIFIED 1359	NO 448	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml	UNCERTIFIED 12024	NO 13103	UNCERTIFIED 5677	UNCERTIFIED 60029	UNCERTIFIED 59541	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml	UNCERTIFIED 590	NO 2138	UNCERTIFIED 25	UNCERTIFIED 26	NO 375	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml	UNCERTIFIED 11080	UNCERTIFIED 61061	UNCERTIFIED 18697	UNCERTIFIED 60031	UNCERTIFIED 59587	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml	UNCERTIFIED 60096	NO 3275	UNCERTIFIED 2124	UNCERTIFIED 865	NO 461	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml	UNCERTIFIED 11204	NO 4019	UNCERTIFIED 809	UNCERTIFIED 2455	NO 2854	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml	UNCERTIFIED 617	NO 2126	UNCERTIFIED 25	UNCERTIFIED 26	NO 339	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml	UNCERTIFIED 942	NO 2383	UNCERTIFIED 31	UNCERTIFIED 33	NO 418	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml	UNCERTIFIED 11667	UNCERTIFIED 62421	UNCERTIFIED 60044	UNCERTIFIED 60044	UNCERTIFIED 60042	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml	UNCERTIFIED 798	NO 2537	UNCERTIFIED 38	UNCERTIFIED 39	NO 485	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml	UNCERTIFIED 653	NO 2184	UNCERTIFIED 35	UNCERTIFIED 29	NO 373	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml	UNCERTIFIED 11359	UNCERTIFIED 61054	UNCERTIFIED 60138	UNCERTIFIED 60042	UNCERTIFIED 60039	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml	UNCERTIFIED 716	NO 2336	UNCERTIFIED 30	UNCERTIFIED 31	NO 398	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml	UNCERTIFIED 11301	UNCERTIFIED 61002	UNCERTIFIED 37837	UNCERTIFIED 60034	UNCERTIFIED 59927	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml	UNCERTIFIED 60333	YES 4724	UNCERTIFIED 9080	UNCERTIFIED 2951	YES 5868	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml	UNCERTIFIED 613	NO 2155	UNCERTIFIED 26	UNCERTIFIED 27	NO 351	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml	UNCERTIFIED 11234	UNCERTIFIED 61331	UNCERTIFIED 60040	UNCERTIFIED 60038	UNCERTIFIED 59957	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml	UNCERTIFIED 60633	YES 7896	UNCERTIFIED 60033	UNCERTIFIED 8316	YES 6194	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml	UNCERTIFIED 652	NO 2246	UNCERTIFIED 27	UNCERTIFIED 29	NO 372	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml	UNCERTIFIED 60481	YES 7603	UNCERTIFIED 60033	UNCERTIFIED 10208	YES 5802	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml	UNCERTIFIED 60255	YES 4317	UNCERTIFIED 23132	UNCERTIFIED 5573	YES 5625	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_C.xml	UNCERTIFIED 11705	UNCERTIFIED 33462	UNCERTIFIED 10083	UNCERTIFIED 10046	UNCERTIFIED 60035	UNCERTIFIED 0
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_FR.xml	UNCERTIFIED 60972	YES 13292	UNCERTIFIED 9327	UNCERTIFIED 6847	UNCERTIFIED 59670	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_GM.xml	UNCERTIFIED 61113	YES 16914	UNCERTIFIED 13401	UNCERTIFIED 11390	UNCERTIFIED 59669	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_iGM.xml	UNCERTIFIED 11345	UNCERTIFIED 61052	UNCERTIFIED 13326	UNCERTIFIED 11064	UNCERTIFIED 59895	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml	UNCERTIFIED 640	NO 2186	UNCERTIFIED 28	UNCERTIFIED 28	NO 364	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_C.xml	UNCERTIFIED 11599	UNCERTIFIED 61426	UNCERTIFIED 60041	UNCERTIFIED 60039	UNCERTIFIED 60020	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml	UNCERTIFIED 60576	UNCERTIFIED 61222	YES 30670	YES 30578	UNCERTIFIED 59814	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_GM.xml	UNCERTIFIED 11676	UNCERTIFIED 46093	YES 25620	YES 29740	UNCERTIFIED 59824	UNCERTIFIED 0
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml	UNCERTIFIED 670	NO 2317	UNCERTIFIED 27	UNCERTIFIED 29	NO 379	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml	UNCERTIFIED 60794	UNCERTIFIED 61401	YES 21352	YES 11289	UNCERTIFIED 59855	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_Z.xml	UNCERTIFIED 60965	YES 13340	UNCERTIFIED 8830	UNCERTIFIED 6688	UNCERTIFIED 59651	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_C.xml	UNCERTIFIED 11047	YES 18360	UNCERTIFIED 3001	UNCERTIFIED 4808	UNCERTIFIED 59778	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml	YES 30887	YES 4884	YES 1600	YES 1777	UNCERTIFIED 59486	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_GM.xml	UNCERTIFIED 60643	YES 5243	YES 6468	YES 5188	UNCERTIFIED 59638	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_iGM.xml	UNCERTIFIED 11006	YES 15157	UNCERTIFIED 4223	UNCERTIFIED 4194	UNCERTIFIED 59758	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml	UNCERTIFIED 609	NO 2113	UNCERTIFIED 26	UNCERTIFIED 27	NO 351	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml	UNCERTIFIED 11084	UNCERTIFIED 61289	UNCERTIFIED 37349	UNCERTIFIED 60040	UNCERTIFIED 59970	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml	YES 12139	YES 10002	YES 3341	YES 3588	UNCERTIFIED 59590	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml	YES 27845	YES 13350	YES 2502	YES 4829	UNCERTIFIED 59705	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml	UNCERTIFIED 11280	UNCERTIFIED 61207	YES 38092	YES 23230	UNCERTIFIED 59814	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml	UNCERTIFIED 648	NO 2176	UNCERTIFIED 27	UNCERTIFIED 28	NO 354	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml	YES 14357	YES 10261	YES 3189	YES 2998	UNCERTIFIED 59615	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_Z.xml	YES 28712	YES 4300	YES 1543	YES 1705	UNCERTIFIED 59518	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml	UNCERTIFIED 10945	YES 4464	UNCERTIFIED 833	YES 1139	YES 7789	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml	YES 2321	YES 2577	YES 46	YES 50	YES 1079	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_GM.xml	YES 4797	YES 3356	YES 267	YES 626	UNCERTIFIED 59457	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_iGM.xml	UNCERTIFIED 60712	YES 4094	YES 260	YES 2451	YES 7237	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_L.xml	UNCERTIFIED 596	NO 2091	UNCERTIFIED 26	UNCERTIFIED 49	NO 341	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml	UNCERTIFIED 11078	UNCERTIFIED 61162	UNCERTIFIED 8270	YES 4191	UNCERTIFIED 59702	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml	YES 6247	YES 3022	YES 1056	YES 519	YES 2419	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml	YES 8695	YES 4881	UNCERTIFIED 1006	YES 3919	UNCERTIFIED 59515	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml	UNCERTIFIED 61731	YES 13207	UNCERTIFIED 2633	YES 11236	UNCERTIFIED 59715	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml	UNCERTIFIED 602	NO 2095	UNCERTIFIED 25	UNCERTIFIED 27	NO 345	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml	UNCERTIFIED 655	NO 2235	UNCERTIFIED 28	UNCERTIFIED 28	NO 370	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml	UNCERTIFIED 11486	UNCERTIFIED 60898	UNCERTIFIED 60050	UNCERTIFIED 60041	UNCERTIFIED 60041	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml	UNCERTIFIED 11587	UNCERTIFIED 36437	YES 31230	UNCERTIFIED 11393	UNCERTIFIED 59931	UNCERTIFIED 0
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml	UNCERTIFIED 735	NO 2345	UNCERTIFIED 31	UNCERTIFIED 31	NO 423	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml	UNCERTIFIED 612	NO 2153	UNCERTIFIED 26	UNCERTIFIED 27	NO 349	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml	UNCERTIFIED 11101	UNCERTIFIED 61228	UNCERTIFIED 60036	UNCERTIFIED 60034	UNCERTIFIED 60035	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml	UNCERTIFIED 60773	UNCERTIFIED 61498	UNCERTIFIED 60033	UNCERTIFIED 22430	UNCERTIFIED 59546	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml	UNCERTIFIED 11150	YES 15525	YES 4532	YES 2722	YES 34972	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml	UNCERTIFIED 647	NO 2184	UNCERTIFIED 27	UNCERTIFIED 28	NO 361	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml	UNCERTIFIED 60594	UNCERTIFIED 61458	UNCERTIFIED 60034	UNCERTIFIED 21491	UNCERTIFIED 59584	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml	UNCERTIFIED 60782	UNCERTIFIED 61175	UNCERTIFIED 60051	UNCERTIFIED 60039	UNCERTIFIED 59664	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml	UNCERTIFIED 10946	UNCERTIFIED 61392	UNCERTIFIED 16645	UNCERTIFIED 60031	UNCERTIFIED 59607	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml	UNCERTIFIED 10973	NO 3440	UNCERTIFIED 865	UNCERTIFIED 1328	NO 454	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml	UNCERTIFIED 12204	NO 5836	UNCERTIFIED 1693	UNCERTIFIED 1856	NO 471	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml	UNCERTIFIED 12824	NO 18977	UNCERTIFIED 18022	UNCERTIFIED 60030	UNCERTIFIED 59588	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml	UNCERTIFIED 594	NO 2127	UNCERTIFIED 26	UNCERTIFIED 26	NO 345	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml	UNCERTIFIED 11317	UNCERTIFIED 61288	UNCERTIFIED 60035	UNCERTIFIED 60031	UNCERTIFIED 59779	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml	UNCERTIFIED 60226	NO 5552	UNCERTIFIED 14865	UNCERTIFIED 4384	UNCERTIFIED 29301	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml	UNCERTIFIED 11557	NO 7980	UNCERTIFIED 5248	UNCERTIFIED 3785	UNCERTIFIED 59508	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml	UNCERTIFIED 605	NO 2143	UNCERTIFIED 27	UNCERTIFIED 26	NO 349	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml	UNCERTIFIED 11020	NO 6506	UNCERTIFIED 14283	UNCERTIFIED 3882	UNCERTIFIED 29050	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml	UNCERTIFIED 10989	NO 11902	UNCERTIFIED 1035	UNCERTIFIED 2731	NO 441	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_C.xml	UNCERTIFIED 11179	UNCERTIFIED 43775	UNCERTIFIED 24162	UNCERTIFIED 12437	YES 58993	UNCERTIFIED 0
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml	YES 27589	YES 18609	UNCERTIFIED 21709	YES 4917	YES 21759	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_GM.xml	YES 31743	YES 19210	YES 9195	YES 9683	YES 21601	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_iGM.xml	UNCERTIFIED 11296	YES 56979	UNCERTIFIED 15644	UNCERTIFIED 60034	YES 32519	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml	UNCERTIFIED 678	NO 2188	UNCERTIFIED 28	UNCERTIFIED 29	NO 370	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml	UNCERTIFIED 11289	UNCERTIFIED 60099	UNCERTIFIED 26602	UNCERTIFIED 27883	UNCERTIFIED 60037	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml	UNCERTIFIED 11103	YES 28319	YES 9558	YES 4927	YES 22257	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml	UNCERTIFIED 11205	UNCERTIFIED 33830	YES 10485	YES 6918	UNCERTIFIED 59853	UNCERTIFIED 0
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml	UNCERTIFIED 60314	NO 8312	UNCERTIFIED 8311	UNCERTIFIED 14713	NO 385	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml	YES 6517	YES 28298	YES 10223	UNCERTIFIED 10873	YES 24604	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml	YES 3955	YES 15835	UNCERTIFIED 2993	UNCERTIFIED 3082	YES 16108	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml	YES 6083	YES 17098	UNCERTIFIED 3187	UNCERTIFIED 8895	YES 8801	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml	YES 3528	YES 3436	YES 1430	YES 1704	YES 5005	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml	YES 3936	YES 4029	YES 2451	YES 3774	YES 7784	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml	YES 4645	YES 17904	UNCERTIFIED 2178	YES 4519	YES 9722	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml	UNCERTIFIED 611	NO 2121	UNCERTIFIED 26	UNCERTIFIED 27	NO 346	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml	YES 8471	YES 34183	UNCERTIFIED 9033	UNCERTIFIED 38910	YES 41681	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml	YES 3373	YES 3274	YES 544	UNCERTIFIED 6160	YES 6051	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml	YES 9647	YES 13098	UNCERTIFIED 3156	UNCERTIFIED 15496	YES 17709	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml	YES 6613	YES 32774	UNCERTIFIED 7355	YES 22953	YES 35124	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml	UNCERTIFIED 5685	NO 4373	UNCERTIFIED 505	UNCERTIFIED 1244	NO 359	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml	YES 3501	YES 2680	YES 713	YES 1157	YES 5921	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml	YES 3012	YES 2770	YES 560	YES 642	YES 2544	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml	YES 4002	YES 3979	UNCERTIFIED 952	YES 2906	YES 7150	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml	YES 2268	YES 2441	YES 43	YES 43	YES 604	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml	YES 3097	YES 3209	YES 453	YES 690	YES 2145	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml	YES 3346	YES 3660	YES 529	YES 535	YES 6387	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml	UNCERTIFIED 597	NO 2125	UNCERTIFIED 26	UNCERTIFIED 27	NO 342	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml	YES 4417	YES 7718	YES 774	YES 4105	YES 7476	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml	YES 2294	YES 2543	YES 44	YES 45	YES 950	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml	YES 3151	YES 3702	YES 715	YES 1007	YES 3917	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml	YES 3356	YES 4535	YES 645	YES 1467	YES 5712	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml	YES 2259	YES 2509	YES 44	YES 46	YES 960	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_C.xml	UNCERTIFIED 11328	YES 18885	UNCERTIFIED 10100	UNCERTIFIED 7749	UNCERTIFIED 59830	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_FR.xml	UNCERTIFIED 17347	YES 4753	YES 11698	YES 2875	YES 12151	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_GM.xml	YES 24152	YES 8734	YES 9807	YES 4459	YES 14963	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_iGM.xml	UNCERTIFIED 11150	YES 16694	UNCERTIFIED 10018	YES 15909	UNCERTIFIED 59719	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml	UNCERTIFIED 615	NO 2160	UNCERTIFIED 26	UNCERTIFIED 27	NO 353	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_C.xml	UNCERTIFIED 11175	UNCERTIFIED 61857	UNCERTIFIED 60035	UNCERTIFIED 60038	UNCERTIFIED 59985	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_FR.xml	YES 16518	YES 20740	YES 7997	YES 2633	YES 11436	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_GM.xml	YES 32174	YES 15484	YES 4959	YES 3615	YES 44586	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_iGM.xml	UNCERTIFIED 11394	YES 43274	UNCERTIFIED 60037	YES 42164	UNCERTIFIED 59816	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml	UNCERTIFIED 641	NO 2185	UNCERTIFIED 26	UNCERTIFIED 26	NO 359	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml	YES 22498	YES 16842	YES 5779	YES 2224	YES 13939	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml	UNCERTIFIED 14096	YES 4602	UNCERTIFIED 10501	YES 3340	YES 11446	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml	UNCERTIFIED 11074	YES 4707	UNCERTIFIED 1699	UNCERTIFIED 2389	UNCERTIFIED 59643	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml	YES 6954	YES 3665	YES 984	YES 721	YES 4513	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_GM.xml	YES 7198	YES 4411	UNCERTIFIED 2149	YES 964	YES 4597	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_iGM.xml	YES 18295	YES 4258	UNCERTIFIED 1725	YES 4349	YES 20458	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml	UNCERTIFIED 604	NO 2149	UNCERTIFIED 26	UNCERTIFIED 26	NO 344	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_C.xml	UNCERTIFIED 11251	UNCERTIFIED 61032	UNCERTIFIED 35540	UNCERTIFIED 60046	UNCERTIFIED 59722	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml	YES 6636	YES 6326	YES 1526	YES 839	YES 6079	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml	YES 13089	YES 6851	YES 1309	YES 824	YES 11084	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml	UNCERTIFIED 11122	YES 17878	YES 9515	YES 6897	YES 33273	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml	UNCERTIFIED 603	NO 2099	UNCERTIFIED 26	UNCERTIFIED 26	NO 347	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml	YES 6389	YES 6420	YES 1333	YES 699	YES 4721	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml	YES 6029	YES 3599	YES 947	YES 644	YES 4958	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml	YES 3627	YES 4501	UNCERTIFIED 826	YES 1775	YES 7137	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml	YES 2205	YES 2404	YES 41	YES 42	YES 599	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml	YES 2965	YES 3146	YES 240	YES 392	YES 1863	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_iGM.xml	YES 3053	YES 3694	YES 164	YES 1220	YES 5708	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml	UNCERTIFIED 586	NO 2079	UNCERTIFIED 26	UNCERTIFIED 26	NO 341	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml	YES 4340	YES 10106	UNCERTIFIED 3375	YES 4004	YES 7797	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml	YES 2730	YES 2681	YES 204	YES 148	YES 1141	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml	YES 3336	YES 3617	UNCERTIFIED 326	UNCERTIFIED 582	YES 4359	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml	YES 3923	YES 8930	UNCERTIFIED 719	YES 3208	YES 7474	MISSING
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml	UNCERTIFIED 590	NO 2145	UNCERTIFIED 26	UNCERTIFIED 27	NO 340	MISSING
tpdb-8.0/TRS/Various_04/02.xml	UNCERTIFIED 1389	YES 2465	UNCERTIFIED 91	UNCERTIFIED 73	YES 468	MISSING
tpdb-8.0/TRS/Various_04/03.xml	UNCERTIFIED 2256	YES 2588	UNCERTIFIED 298	UNCERTIFIED 172	YES 583	MISSING
tpdb-8.0/TRS/Various_04/06.xml	YES 2329	YES 2505	YES 71	YES 53	YES 632	MISSING
tpdb-8.0/TRS/Various_04/07.xml	YES 2176	YES 2378	YES 40	YES 39	YES 495	MISSING
tpdb-8.0/TRS/Various_04/09.xml	YES 2678	YES 2707	YES 82	YES 83	YES 629	MISSING
tpdb-8.0/TRS/Various_04/10.xml	YES 9060	YES 4827	UNCERTIFIED 19842	YES 8334	YES 6757	MISSING
tpdb-8.0/TRS/Various_04/11.xml	UNCERTIFIED 2480	YES 9331	UNCERTIFIED 391	UNCERTIFIED 218	UNCERTIFIED 1571	MISSING
tpdb-8.0/TRS/Various_04/12.xml	YES 6094	YES 3783	YES 181	YES 480	YES 2846	MISSING
tpdb-8.0/TRS/Various_04/13.xml	YES 7948	YES 5098	YES 1083	YES 1046	YES 4177	MISSING
tpdb-8.0/TRS/Various_04/14.xml	UNCERTIFIED 12196	YES 10272	UNCERTIFIED 60091	YES 12629	YES 8551	MISSING
tpdb-8.0/TRS/Various_04/15.xml	UNCERTIFIED 60262	YES 2632	UNCERTIFIED 234	UNCERTIFIED 48457	YES 5567	MISSING
tpdb-8.0/TRS/Various_04/18.xml	YES 2392	YES 2438	YES 256	YES 127	YES 850	UNCERTIFIED 0
tpdb-8.0/TRS/Various_04/19.xml	YES 3324	YES 3024	YES 273	YES 284	YES 2920	MISSING
tpdb-8.0/TRS/Various_04/21.xml	YES 2795	YES 6652	YES 208	YES 174	YES 2206	MISSING
tpdb-8.0/TRS/Various_04/22.xml	YES 2786	YES 2717	YES 90	YES 102	YES 928	MISSING
tpdb-8.0/TRS/Various_04/23.xml	YES 2533	YES 2519	YES 126	YES 138	YES 953	MISSING
tpdb-8.0/TRS/Various_04/24.xml	YES 3758	YES 3643	YES 604	YES 1273	YES 2740	MISSING
tpdb-8.0/TRS/Various_04/25.xml	YES 2483	YES 2369	YES 64	YES 79	YES 643	MISSING
tpdb-8.0/TRS/Various_04/26.xml	UNCERTIFIED 2700	YES 2591	YES 106	YES 158	YES 914	MISSING
tpdb-8.0/TRS/Various_04/27.xml	YES 2151	YES 2297	YES 42	YES 41	YES 453	MISSING
tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml	UNCERTIFIED 60117	YES 3492	UNCERTIFIED 4016	UNCERTIFIED 17372	UNCERTIFIED 59408	MISSING
tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml	UNCERTIFIED 60143	YES 3750	UNCERTIFIED 4646	UNCERTIFIED 13386	UNCERTIFIED 59406	MISSING
tpdb-8.0/TRS/Waldmann_06/jwcime1.xml	YES 25715	YES 4578	YES 1118	YES 593	UNCERTIFIED 48884	MISSING
tpdb-8.0/TRS/Waldmann_06/jwcime2.xml	YES 15664	YES 3739	YES 3800	YES 3107	UNCERTIFIED 5013	MISSING
tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml	YES 3676	YES 4841	UNCERTIFIED 543	UNCERTIFIED 16982	YES 2745	MISSING
tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml	YES 3718	YES 5022	UNCERTIFIED 567	UNCERTIFIED 25263	YES 1997	MISSING
tpdb-8.0/TRS/Waldmann_06/jwno1.xml	UNCERTIFIED 60460	NO 2862	UNCERTIFIED 4755	UNCERTIFIED 60033	NO 464	MISSING
tpdb-8.0/TRS/Waldmann_06/jwno4.xml	UNCERTIFIED 60098	NO 2827	UNCERTIFIED 823	UNCERTIFIED 5649	NO 444	MISSING
tpdb-8.0/TRS/Waldmann_06/jwno6.xml	UNCERTIFIED 60118	NO 2743	UNCERTIFIED 868	UNCERTIFIED 4851	NO 437	MISSING
tpdb-8.0/TRS/Waldmann_06/jwno9.xml	UNCERTIFIED 60321	NO 2950	UNCERTIFIED 4871	UNCERTIFIED 20854	NO 467	MISSING
tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml	UNCERTIFIED 60216	YES 18019	UNCERTIFIED 12666	UNCERTIFIED 37370	UNCERTIFIED 7960	MISSING
tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml	UNCERTIFIED 60296	YES 17072	UNCERTIFIED 11146	UNCERTIFIED 28338	UNCERTIFIED 16327	MISSING
tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml	UNCERTIFIED 60496	YES 3407	UNCERTIFIED 21458	UNCERTIFIED 60036	UNCERTIFIED 7014	MISSING
tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml	YES 4106	YES 3582	UNCERTIFIED 8856	YES 3144	YES 1612	MISSING
tpdb-8.0/TRS/Waldmann_06/jwttt.xml	YES 6309	YES 3534	UNCERTIFIED 13686	YES 5991	YES 1683	MISSING
tpdb-8.0/TRS/Zantema_05/jw01.xml	YES 4652	YES 2676	UNCERTIFIED 2210	YES 763	YES 929	MISSING
tpdb-8.0/TRS/Zantema_05/jw02.xml	YES 6509	YES 2926	UNCERTIFIED 2423	YES 880	YES 1496	MISSING
tpdb-8.0/TRS/Zantema_05/jw03.xml	YES 3406	YES 2619	UNCERTIFIED 2789	YES 1172	YES 745	MISSING
tpdb-8.0/TRS/Zantema_05/jw04.xml	YES 3306	YES 2702	UNCERTIFIED 2526	YES 1052	YES 764	MISSING
tpdb-8.0/TRS/Zantema_05/jw05.xml	YES 6968	YES 2898	UNCERTIFIED 2023	YES 896	YES 1438	MISSING
tpdb-8.0/TRS/Zantema_05/jw06.xml	YES 4486	YES 2762	UNCERTIFIED 3248	YES 761	YES 1027	MISSING
tpdb-8.0/TRS/Zantema_05/jw07.xml	YES 4087	YES 3022	UNCERTIFIED 21032	YES 6122	YES 881	MISSING
tpdb-8.0/TRS/Zantema_05/jw08.xml	YES 4708	YES 3059	UNCERTIFIED 10528	UNCERTIFIED 5504	YES 1753	MISSING
tpdb-8.0/TRS/Zantema_05/jw09.xml	UNCERTIFIED 60371	YES 2890	UNCERTIFIED 7316	UNCERTIFIED 56723	YES 861	MISSING
tpdb-8.0/TRS/Zantema_05/jw11.xml	YES 5362	YES 2846	UNCERTIFIED 25608	YES 2509	YES 1074	MISSING
tpdb-8.0/TRS/Zantema_05/jw12.xml	YES 4735	YES 2883	UNCERTIFIED 16846	UNCERTIFIED 2466	YES 1424	MISSING
tpdb-8.0/TRS/Zantema_05/jw13.xml	YES 4206	YES 3068	UNCERTIFIED 26315	YES 1359	YES 961	MISSING
tpdb-8.0/TRS/Zantema_05/jw14.xml	YES 3405	YES 2663	UNCERTIFIED 36794	YES 1265	YES 609	MISSING
tpdb-8.0/TRS/Zantema_05/jw15.xml	YES 3850	YES 2935	UNCERTIFIED 11084	YES 8536	YES 836	MISSING
tpdb-8.0/TRS/Zantema_05/jw16.xml	YES 4862	YES 2714	UNCERTIFIED 7536	YES 2814	YES 1024	MISSING
tpdb-8.0/TRS/Zantema_05/jw17.xml	YES 6905	YES 3134	UNCERTIFIED 7799	UNCERTIFIED 2935	YES 1346	MISSING
tpdb-8.0/TRS/Zantema_05/jw18.xml	YES 3338	YES 2684	UNCERTIFIED 6362	YES 888	YES 959	MISSING
tpdb-8.0/TRS/Zantema_05/jw19.xml	YES 3489	YES 3034	UNCERTIFIED 11590	YES 1849	YES 1161	MISSING
tpdb-8.0/TRS/Zantema_05/jw20.xml	YES 4034	YES 2961	UNCERTIFIED 11827	YES 6847	YES 837	MISSING
tpdb-8.0/TRS/Zantema_05/jw21.xml	YES 5008	YES 2841	UNCERTIFIED 7488	YES 2236	YES 942	MISSING
tpdb-8.0/TRS/Zantema_05/jw22.xml	YES 5385	YES 3112	UNCERTIFIED 8405	YES 2106	YES 1589	MISSING
tpdb-8.0/TRS/Zantema_05/jw23.xml	YES 3760	YES 2804	UNCERTIFIED 13922	YES 1995	YES 877	MISSING
tpdb-8.0/TRS/Zantema_05/jw24.xml	YES 3784	YES 2710	UNCERTIFIED 10895	YES 2787	YES 871	MISSING
tpdb-8.0/TRS/Zantema_05/jw25.xml	YES 3470	YES 2756	UNCERTIFIED 10834	YES 3149	YES 791	MISSING
tpdb-8.0/TRS/Zantema_05/jw26.xml	YES 3432	YES 2768	UNCERTIFIED 16092	YES 1981	YES 867	MISSING
tpdb-8.0/TRS/Zantema_05/jw27.xml	YES 6375	YES 3287	UNCERTIFIED 20368	YES 1866	YES 1476	MISSING
tpdb-8.0/TRS/Zantema_05/jw28.xml	YES 4338	YES 2761	UNCERTIFIED 8273	YES 1978	YES 893	MISSING
tpdb-8.0/TRS/Zantema_05/jw29.xml	YES 3987	YES 3233	UNCERTIFIED 10863	YES 7707	YES 839	MISSING
tpdb-8.0/TRS/Zantema_05/jw30.xml	YES 3859	YES 2917	UNCERTIFIED 11107	YES 1941	YES 1161	MISSING
tpdb-8.0/TRS/Zantema_05/jw31.xml	YES 3293	YES 2736	UNCERTIFIED 7092	YES 863	YES 882	MISSING
tpdb-8.0/TRS/Zantema_05/jw32.xml	YES 6088	YES 2966	UNCERTIFIED 14492	UNCERTIFIED 2963	YES 1212	MISSING
tpdb-8.0/TRS/Zantema_05/jw33.xml	YES 4219	YES 2836	UNCERTIFIED 7386	YES 2723	YES 909	MISSING
tpdb-8.0/TRS/Zantema_05/jw34.xml	YES 3729	YES 3092	UNCERTIFIED 13399	YES 9956	YES 862	MISSING
tpdb-8.0/TRS/Zantema_05/jw35.xml	YES 3127	YES 2746	UNCERTIFIED 26647	YES 1258	YES 613	MISSING
tpdb-8.0/TRS/Zantema_05/jw36.xml	YES 5204	YES 2942	UNCERTIFIED 12810	YES 1554	YES 1074	MISSING
tpdb-8.0/TRS/Zantema_05/jw37.xml	YES 6073	YES 2830	UNCERTIFIED 20271	YES 2471	YES 1474	MISSING
tpdb-8.0/TRS/Zantema_05/jw38.xml	YES 6550	YES 2962	UNCERTIFIED 16126	YES 2724	YES 933	MISSING
tpdb-8.0/TRS/Zantema_05/jw39.xml	YES 6316	YES 3161	UNCERTIFIED 10912	YES 5215	YES 1143	MISSING
tpdb-8.0/TRS/Zantema_05/jw40.xml	UNCERTIFIED 60397	YES 2785	UNCERTIFIED 23253	UNCERTIFIED 60031	YES 939	MISSING
tpdb-8.0/TRS/Zantema_05/jw41.xml	YES 7750	YES 2905	UNCERTIFIED 9872	UNCERTIFIED 5519	YES 1755	MISSING
tpdb-8.0/TRS/Zantema_05/jw42.xml	YES 5510	YES 2982	UNCERTIFIED 29730	YES 5899	YES 865	MISSING
tpdb-8.0/TRS/Zantema_05/jw43.xml	YES 2465	YES 2520	UNCERTIFIED 60030	YES 1674	YES 484	MISSING
tpdb-8.0/TRS/Zantema_05/jw44.xml	YES 2221	YES 2544	YES 42	YES 42	YES 551	MISSING
tpdb-8.0/TRS/Zantema_05/jw47.xml	YES 2192	YES 2447	YES 44	YES 44	YES 557	MISSING
tpdb-8.0/TRS/Zantema_05/jw50.xml	YES 2462	YES 2569	UNCERTIFIED 60029	YES 1686	YES 484	MISSING
tpdb-8.0/TRS/Zantema_05/z01.xml	UNCERTIFIED 60634	UNCERTIFIED 60898	UNCERTIFIED 60039	UNCERTIFIED 60038	UNCERTIFIED 36523	MISSING
tpdb-8.0/TRS/Zantema_05/z02.xml	UNCERTIFIED 3126	YES 3751	UNCERTIFIED 10691	UNCERTIFIED 1060	UNCERTIFIED 5655	MISSING
tpdb-8.0/TRS/Zantema_05/z03.xml	UNCERTIFIED 60324	YES 4767	UNCERTIFIED 60033	UNCERTIFIED 60032	UNCERTIFIED 1934	MISSING
tpdb-8.0/TRS/Zantema_05/z04.xml	UNCERTIFIED 16770	YES 2739	UNCERTIFIED 885	UNCERTIFIED 874	YES 766	MISSING
tpdb-8.0/TRS/Zantema_05/z05.xml	UNCERTIFIED 60072	YES 23667	UNCERTIFIED 60028	UNCERTIFIED 8887	UNCERTIFIED 15281	MISSING
tpdb-8.0/TRS/Zantema_05/z06.xml	UNCERTIFIED 60129	YES 3151	UNCERTIFIED 5205	UNCERTIFIED 60029	YES 1030	MISSING
tpdb-8.0/TRS/Zantema_05/z07.xml	UNCERTIFIED 60086	YES 3456	UNCERTIFIED 30083	UNCERTIFIED 1850	UNCERTIFIED 2019	MISSING
tpdb-8.0/TRS/Zantema_05/z08.xml	YES 3676	YES 3729	UNCERTIFIED 60033	YES 1976	YES 1153	MISSING
tpdb-8.0/TRS/Zantema_05/z09.xml	UNCERTIFIED 17646	UNCERTIFIED 60755	UNCERTIFIED 2591	UNCERTIFIED 1840	UNCERTIFIED 14773	MISSING
tpdb-8.0/TRS/Zantema_05/z10.xml	UNCERTIFIED 19554	UNCERTIFIED 60737	UNCERTIFIED 3396	UNCERTIFIED 1931	UNCERTIFIED 26594	MISSING
tpdb-8.0/TRS/Zantema_05/z11.xml	UNCERTIFIED 60649	YES 27616	UNCERTIFIED 60038	UNCERTIFIED 44981	UNCERTIFIED 3587	MISSING
tpdb-8.0/TRS/Zantema_05/z12.xml	UNCERTIFIED 10833	UNCERTIFIED 60638	UNCERTIFIED 9253	UNCERTIFIED 60058	UNCERTIFIED 59400	MISSING
tpdb-8.0/TRS/Zantema_05/z13.xml	UNCERTIFIED 10903	UNCERTIFIED 60753	UNCERTIFIED 2156	UNCERTIFIED 1510	UNCERTIFIED 59394	MISSING
tpdb-8.0/TRS/Zantema_05/z14.xml	UNCERTIFIED 10932	UNCERTIFIED 60633	UNCERTIFIED 829	UNCERTIFIED 2870	UNCERTIFIED 59396	MISSING
tpdb-8.0/TRS/Zantema_05/z15.xml	UNCERTIFIED 10843	UNCERTIFIED 60458	UNCERTIFIED 698	UNCERTIFIED 938	UNCERTIFIED 59397	MISSING
tpdb-8.0/TRS/Zantema_05/z16.xml	UNCERTIFIED 10923	UNCERTIFIED 60583	UNCERTIFIED 1881	UNCERTIFIED 1943	UNCERTIFIED 59399	MISSING
tpdb-8.0/TRS/Zantema_05/z18.xml	UNCERTIFIED 10842	UNCERTIFIED 61342	UNCERTIFIED 1050	UNCERTIFIED 2136	UNCERTIFIED 59396	MISSING
tpdb-8.0/TRS/Zantema_05/z19.xml	UNCERTIFIED 60114	YES 22541	UNCERTIFIED 8711	UNCERTIFIED 12269	UNCERTIFIED 59397	MISSING
tpdb-8.0/TRS/Zantema_05/z21.xml	UNCERTIFIED 60103	YES 21111	UNCERTIFIED 30793	UNCERTIFIED 17289	UNCERTIFIED 59433	MISSING
tpdb-8.0/TRS/Zantema_05/z22.xml	UNCERTIFIED 10926	YES 27558	UNCERTIFIED 60031	UNCERTIFIED 60030	UNCERTIFIED 59410	MISSING
tpdb-8.0/TRS/Zantema_05/z23.xml	UNCERTIFIED 10851	YES 21816	UNCERTIFIED 10275	UNCERTIFIED 60031	UNCERTIFIED 59442	MISSING
tpdb-8.0/TRS/Zantema_05/z24.xml	UNCERTIFIED 10831	UNCERTIFIED 60563	UNCERTIFIED 14631	UNCERTIFIED 5508	UNCERTIFIED 59405	MISSING
tpdb-8.0/TRS/Zantema_05/z25.xml	UNCERTIFIED 27722	YES 4435	UNCERTIFIED 60028	UNCERTIFIED 14093	UNCERTIFIED 12537	MISSING
tpdb-8.0/TRS/Zantema_05/z26.xml	YES 3348	YES 3440	UNCERTIFIED 38561	YES 21677	YES 1158	MISSING
tpdb-8.0/TRS/Zantema_05/z27.xml	UNCERTIFIED 60091	YES 6661	UNCERTIFIED 319	UNCERTIFIED 253	UNCERTIFIED 1405	MISSING
tpdb-8.0/TRS/Zantema_05/z28.xml	UNCERTIFIED 60095	YES 15372	UNCERTIFIED 467	UNCERTIFIED 646	UNCERTIFIED 26889	MISSING
tpdb-8.0/TRS/Zantema_05/z29.xml	YES 3346	YES 3130	YES 176	YES 226	YES 1566	MISSING
tpdb-8.0/TRS/Zantema_05/z30.xml	UNCERTIFIED 10823	UNCERTIFIED 60822	UNCERTIFIED 60088	UNCERTIFIED 60091	UNCERTIFIED 59436	MISSING
	556	1027	465	609	933	0