TermCOMP 2011: SRS Standard Certifying

benchmark	AProVE-A3PAT	AProVE-CeTA	cime3beta	cime3finder	TTT2Cert
tpdb-8.0/TRS/Bouchare_06/01.xml	YES 26320	YES 2662	UNCERTIFIED 288	UNCERTIFIED 1829	YES 7000
tpdb-8.0/TRS/Bouchare_06/02.xml	YES 2696	YES 2600	UNCERTIFIED 236	YES 495	YES 1066
tpdb-8.0/TRS/Bouchare_06/03.xml	UNCERTIFIED 60111	YES 4634	UNCERTIFIED 245	UNCERTIFIED 965	YES 6845
tpdb-8.0/TRS/Bouchare_06/04.xml	YES 2976	YES 2696	UNCERTIFIED 360	UNCERTIFIED 3960	YES 6883
tpdb-8.0/TRS/Bouchare_06/05.xml	UNCERTIFIED 60123	YES 6052	UNCERTIFIED 298	UNCERTIFIED 1163	YES 7334
tpdb-8.0/TRS/Bouchare_06/06.xml	UNCERTIFIED 60162	YES 5661	UNCERTIFIED 2743	UNCERTIFIED 60032	YES 6789
tpdb-8.0/TRS/Bouchare_06/07.xml	YES 3012	YES 3984	UNCERTIFIED 281	YES 545	YES 6796
tpdb-8.0/TRS/Bouchare_06/08.xml	UNCERTIFIED 60129	NO 5163	UNCERTIFIED 1604	UNCERTIFIED 11229	NO 479
tpdb-8.0/TRS/Bouchare_06/09.xml	UNCERTIFIED 60122	NO 5386	UNCERTIFIED 257	UNCERTIFIED 425	NO 557
tpdb-8.0/TRS/Bouchare_06/10.xml	UNCERTIFIED 60147	YES 6180	UNCERTIFIED 370	UNCERTIFIED 6555	YES 8508
tpdb-8.0/TRS/Bouchare_06/11.xml	UNCERTIFIED 60094	YES 5402	UNCERTIFIED 192	UNCERTIFIED 653	YES 2868
tpdb-8.0/TRS/Bouchare_06/12.xml	UNCERTIFIED 60102	YES 4833	UNCERTIFIED 165	UNCERTIFIED 575	YES 7234
tpdb-8.0/TRS/Bouchare_06/13.xml	UNCERTIFIED 60123	YES 4680	UNCERTIFIED 349	UNCERTIFIED 2112	YES 7179
tpdb-8.0/TRS/Bouchare_06/14.xml	UNCERTIFIED 60093	YES 2712	UNCERTIFIED 192	UNCERTIFIED 712	YES 52518
tpdb-8.0/TRS/Bouchare_06/15.xml	UNCERTIFIED 60117	YES 2662	UNCERTIFIED 299	UNCERTIFIED 1349	YES 7375
tpdb-8.0/TRS/Bouchare_06/16.xml	UNCERTIFIED 60102	YES 2626	UNCERTIFIED 196	UNCERTIFIED 580	YES 3004
tpdb-8.0/TRS/Bouchare_06/17.xml	YES 14872	YES 2740	UNCERTIFIED 240	UNCERTIFIED 986	YES 3899
tpdb-8.0/TRS/Bouchare_06/18.xml	UNCERTIFIED 60130	YES 4691	UNCERTIFIED 333	UNCERTIFIED 3510	YES 6875
tpdb-8.0/TRS/Gebhardt_06/01.xml	UNCERTIFIED 60403	UNCERTIFIED 61324	UNCERTIFIED 548	UNCERTIFIED 60030	UNCERTIFIED 60055
tpdb-8.0/TRS/Gebhardt_06/02.xml	UNCERTIFIED 60420	UNCERTIFIED 61967	UNCERTIFIED 450	UNCERTIFIED 60030	UNCERTIFIED 60058
tpdb-8.0/TRS/Gebhardt_06/03.xml	UNCERTIFIED 60537	UNCERTIFIED 61295	UNCERTIFIED 679	UNCERTIFIED 60030	UNCERTIFIED 60064
tpdb-8.0/TRS/Gebhardt_06/04.xml	UNCERTIFIED 60515	UNCERTIFIED 61140	UNCERTIFIED 1888	UNCERTIFIED 60031	UNCERTIFIED 60049
tpdb-8.0/TRS/Gebhardt_06/05.xml	UNCERTIFIED 60434	UNCERTIFIED 61060	UNCERTIFIED 804	UNCERTIFIED 60030	UNCERTIFIED 60071
tpdb-8.0/TRS/Gebhardt_06/06.xml	UNCERTIFIED 60433	UNCERTIFIED 61512	UNCERTIFIED 971	UNCERTIFIED 60029	UNCERTIFIED 60059
tpdb-8.0/TRS/Gebhardt_06/07.xml	UNCERTIFIED 60549	YES 5647	UNCERTIFIED 1036	UNCERTIFIED 60030	UNCERTIFIED 60059
tpdb-8.0/TRS/Gebhardt_06/08.xml	UNCERTIFIED 60443	UNCERTIFIED 61560	UNCERTIFIED 1147	UNCERTIFIED 60031	UNCERTIFIED 60060
tpdb-8.0/TRS/Gebhardt_06/09.xml	UNCERTIFIED 60490	YES 32739	UNCERTIFIED 725	UNCERTIFIED 60030	YES 15837
tpdb-8.0/TRS/Gebhardt_06/10.xml	UNCERTIFIED 60488	UNCERTIFIED 61662	UNCERTIFIED 1129	UNCERTIFIED 60030	UNCERTIFIED 60061
tpdb-8.0/TRS/Gebhardt_06/11.xml	UNCERTIFIED 60522	YES 5295	UNCERTIFIED 826	UNCERTIFIED 60030	YES 18219
tpdb-8.0/TRS/Gebhardt_06/12.xml	UNCERTIFIED 60508	UNCERTIFIED 61215	UNCERTIFIED 817	UNCERTIFIED 60031	UNCERTIFIED 60064
tpdb-8.0/TRS/Gebhardt_06/13.xml	UNCERTIFIED 60497	UNCERTIFIED 60991	UNCERTIFIED 971	UNCERTIFIED 60029	UNCERTIFIED 60067
tpdb-8.0/TRS/Gebhardt_06/14.xml	UNCERTIFIED 60416	YES 6760	UNCERTIFIED 682	UNCERTIFIED 60039	UNCERTIFIED 60062
tpdb-8.0/TRS/Gebhardt_06/15.xml	UNCERTIFIED 60537	UNCERTIFIED 61210	UNCERTIFIED 959	UNCERTIFIED 60030	UNCERTIFIED 60070
tpdb-8.0/TRS/Gebhardt_06/16.xml	UNCERTIFIED 60484	YES 5443	UNCERTIFIED 838	UNCERTIFIED 60030	UNCERTIFIED 60061
tpdb-8.0/TRS/Gebhardt_06/17.xml	UNCERTIFIED 60557	UNCERTIFIED 61948	UNCERTIFIED 974	UNCERTIFIED 60031	UNCERTIFIED 60062
tpdb-8.0/TRS/Gebhardt_06/18.xml	UNCERTIFIED 60573	UNCERTIFIED 62137	UNCERTIFIED 4448	UNCERTIFIED 60029	UNCERTIFIED 60055
tpdb-8.0/TRS/Gebhardt_06/19.xml	UNCERTIFIED 60585	UNCERTIFIED 62975	UNCERTIFIED 7738	UNCERTIFIED 60030	UNCERTIFIED 60073
tpdb-8.0/TRS/Gebhardt_06/20.xml	UNCERTIFIED 60616	UNCERTIFIED 61506	UNCERTIFIED 6873	UNCERTIFIED 60030	UNCERTIFIED 60061
tpdb-8.0/TRS/ICFP_2010/107193.xml	UNCERTIFIED 60548	UNCERTIFIED 61280	UNCERTIFIED 60042	UNCERTIFIED 60047	UNCERTIFIED 60179
tpdb-8.0/TRS/ICFP_2010/107220.xml	UNCERTIFIED 60890	UNCERTIFIED 61351	UNCERTIFIED 60044	UNCERTIFIED 60040	UNCERTIFIED 60207
tpdb-8.0/TRS/ICFP_2010/107236.xml	UNCERTIFIED 60789	UNCERTIFIED 61308	UNCERTIFIED 60044	UNCERTIFIED 60045	UNCERTIFIED 60166
tpdb-8.0/TRS/ICFP_2010/123759.xml	UNCERTIFIED 60840	UNCERTIFIED 61208	UNCERTIFIED 60038	UNCERTIFIED 60036	UNCERTIFIED 60171
tpdb-8.0/TRS/ICFP_2010/124211.xml	UNCERTIFIED 61251	UNCERTIFIED 61744	UNCERTIFIED 60037	UNCERTIFIED 60035	UNCERTIFIED 60120
tpdb-8.0/TRS/ICFP_2010/124269.xml	UNCERTIFIED 61091	UNCERTIFIED 61738	UNCERTIFIED 60035	UNCERTIFIED 60057	UNCERTIFIED 60215
tpdb-8.0/TRS/ICFP_2010/124791.xml	UNCERTIFIED 61199	UNCERTIFIED 61671	UNCERTIFIED 60036	UNCERTIFIED 60037	UNCERTIFIED 60180
tpdb-8.0/TRS/ICFP_2010/127538.xml	UNCERTIFIED 61195	YES 16636	UNCERTIFIED 60037	UNCERTIFIED 60036	UNCERTIFIED 60134
tpdb-8.0/TRS/ICFP_2010/128056.xml	UNCERTIFIED 61071	UNCERTIFIED 61006	UNCERTIFIED 60039	UNCERTIFIED 60038	UNCERTIFIED 60103
tpdb-8.0/TRS/ICFP_2010/128182.xml	UNCERTIFIED 61077	YES 13674	UNCERTIFIED 60035	UNCERTIFIED 60037	UNCERTIFIED 60120
tpdb-8.0/TRS/ICFP_2010/128280.xml	UNCERTIFIED 60931	UNCERTIFIED 61099	UNCERTIFIED 60034	UNCERTIFIED 60035	UNCERTIFIED 60159
tpdb-8.0/TRS/ICFP_2010/128430.xml	UNCERTIFIED 60854	YES 15390	UNCERTIFIED 60036	UNCERTIFIED 60037	UNCERTIFIED 60155
tpdb-8.0/TRS/ICFP_2010/128486.xml	UNCERTIFIED 60937	YES 13992	UNCERTIFIED 60036	UNCERTIFIED 60035	UNCERTIFIED 60172
tpdb-8.0/TRS/ICFP_2010/128515.xml	UNCERTIFIED 61071	YES 16280	UNCERTIFIED 60036	UNCERTIFIED 60038	UNCERTIFIED 60138
tpdb-8.0/TRS/ICFP_2010/128550.xml	UNCERTIFIED 61252	YES 17187	UNCERTIFIED 60037	UNCERTIFIED 60036	UNCERTIFIED 60182
tpdb-8.0/TRS/ICFP_2010/128620.xml	UNCERTIFIED 61107	YES 14367	UNCERTIFIED 60038	UNCERTIFIED 60037	UNCERTIFIED 60186
tpdb-8.0/TRS/ICFP_2010/128691.xml	UNCERTIFIED 60816	UNCERTIFIED 60963	UNCERTIFIED 60037	UNCERTIFIED 60036	UNCERTIFIED 60106
tpdb-8.0/TRS/ICFP_2010/130161.xml	UNCERTIFIED 61042	UNCERTIFIED 60809	UNCERTIFIED 60040	UNCERTIFIED 60039	UNCERTIFIED 60174
tpdb-8.0/TRS/ICFP_2010/130304.xml	UNCERTIFIED 61014	UNCERTIFIED 61011	UNCERTIFIED 60038	UNCERTIFIED 60037	UNCERTIFIED 60195
tpdb-8.0/TRS/ICFP_2010/130472.xml	UNCERTIFIED 60840	UNCERTIFIED 60876	UNCERTIFIED 60038	UNCERTIFIED 60041	UNCERTIFIED 60189
tpdb-8.0/TRS/ICFP_2010/130962.xml	UNCERTIFIED 60758	UNCERTIFIED 61419	UNCERTIFIED 60041	UNCERTIFIED 60037	UNCERTIFIED 60151
tpdb-8.0/TRS/ICFP_2010/131633.xml	UNCERTIFIED 60957	UNCERTIFIED 61362	UNCERTIFIED 60036	UNCERTIFIED 60036	UNCERTIFIED 60203
tpdb-8.0/TRS/ICFP_2010/131982.xml	UNCERTIFIED 61072	UNCERTIFIED 61447	UNCERTIFIED 60036	UNCERTIFIED 60037	UNCERTIFIED 60137
tpdb-8.0/TRS/ICFP_2010/132235.xml	UNCERTIFIED 61316	UNCERTIFIED 61569	UNCERTIFIED 60037	UNCERTIFIED 60037	UNCERTIFIED 60224
tpdb-8.0/TRS/ICFP_2010/132478.xml	UNCERTIFIED 60923	YES 16552	UNCERTIFIED 60037	UNCERTIFIED 60039	UNCERTIFIED 60165
tpdb-8.0/TRS/ICFP_2010/132540.xml	UNCERTIFIED 60931	YES 14556	UNCERTIFIED 60035	UNCERTIFIED 60038	UNCERTIFIED 60117
tpdb-8.0/TRS/ICFP_2010/132611.xml	UNCERTIFIED 61160	YES 11322	UNCERTIFIED 60033	UNCERTIFIED 60033	UNCERTIFIED 60187
tpdb-8.0/TRS/ICFP_2010/132622.xml	UNCERTIFIED 60950	UNCERTIFIED 61352	UNCERTIFIED 60036	UNCERTIFIED 60035	UNCERTIFIED 60174
tpdb-8.0/TRS/ICFP_2010/132720.xml	UNCERTIFIED 61300	YES 16452	UNCERTIFIED 60036	UNCERTIFIED 60037	UNCERTIFIED 60154
tpdb-8.0/TRS/ICFP_2010/132738.xml	UNCERTIFIED 61039	YES 15946	UNCERTIFIED 60037	UNCERTIFIED 60036	UNCERTIFIED 60135
tpdb-8.0/TRS/ICFP_2010/132782.xml	UNCERTIFIED 61149	YES 15280	UNCERTIFIED 60036	UNCERTIFIED 60036	UNCERTIFIED 60109
tpdb-8.0/TRS/ICFP_2010/132833.xml	UNCERTIFIED 61092	YES 16203	UNCERTIFIED 60035	UNCERTIFIED 60039	UNCERTIFIED 60185
tpdb-8.0/TRS/ICFP_2010/132848.xml	UNCERTIFIED 61028	UNCERTIFIED 60982	UNCERTIFIED 60041	UNCERTIFIED 60039	UNCERTIFIED 60221
tpdb-8.0/TRS/ICFP_2010/132864.xml	UNCERTIFIED 60973	YES 14966	UNCERTIFIED 60036	UNCERTIFIED 60035	UNCERTIFIED 60144
tpdb-8.0/TRS/ICFP_2010/132920.xml	UNCERTIFIED 60866	YES 15155	UNCERTIFIED 60036	UNCERTIFIED 60035	UNCERTIFIED 60160
tpdb-8.0/TRS/ICFP_2010/132957.xml	UNCERTIFIED 61140	YES 21039	UNCERTIFIED 60036	UNCERTIFIED 60037	UNCERTIFIED 60099
tpdb-8.0/TRS/ICFP_2010/132969.xml	UNCERTIFIED 61216	UNCERTIFIED 61480	UNCERTIFIED 60036	UNCERTIFIED 60035	UNCERTIFIED 60198
tpdb-8.0/TRS/ICFP_2010/133010.xml	UNCERTIFIED 61060	YES 16469	UNCERTIFIED 60036	UNCERTIFIED 60037	UNCERTIFIED 60185
tpdb-8.0/TRS/ICFP_2010/133079.xml	UNCERTIFIED 60657	UNCERTIFIED 60968	UNCERTIFIED 60040	UNCERTIFIED 60045	UNCERTIFIED 60187
tpdb-8.0/TRS/ICFP_2010/133159.xml	UNCERTIFIED 61011	UNCERTIFIED 62944	UNCERTIFIED 60033	UNCERTIFIED 60037	UNCERTIFIED 60219
tpdb-8.0/TRS/ICFP_2010/133236.xml	UNCERTIFIED 61061	UNCERTIFIED 61050	UNCERTIFIED 60040	UNCERTIFIED 60040	UNCERTIFIED 60236
tpdb-8.0/TRS/ICFP_2010/133432.xml	UNCERTIFIED 61025	UNCERTIFIED 60906	UNCERTIFIED 60036	UNCERTIFIED 60040	UNCERTIFIED 60156
tpdb-8.0/TRS/ICFP_2010/133486.xml	UNCERTIFIED 61188	UNCERTIFIED 61311	UNCERTIFIED 60034	UNCERTIFIED 60036	UNCERTIFIED 60193
tpdb-8.0/TRS/ICFP_2010/133532.xml	UNCERTIFIED 60769	UNCERTIFIED 61098	UNCERTIFIED 60042	UNCERTIFIED 60040	UNCERTIFIED 60190
tpdb-8.0/TRS/ICFP_2010/133827.xml	UNCERTIFIED 61126	YES 8551	UNCERTIFIED 60037	UNCERTIFIED 60036	UNCERTIFIED 60182
tpdb-8.0/TRS/ICFP_2010/133881.xml	UNCERTIFIED 60939	UNCERTIFIED 61683	UNCERTIFIED 60037	UNCERTIFIED 60035	UNCERTIFIED 60146
tpdb-8.0/TRS/ICFP_2010/134918.xml	UNCERTIFIED 61066	UNCERTIFIED 61367	UNCERTIFIED 60035	UNCERTIFIED 60036	UNCERTIFIED 60182
tpdb-8.0/TRS/ICFP_2010/135115.xml	UNCERTIFIED 60917	UNCERTIFIED 62124	UNCERTIFIED 60035	UNCERTIFIED 60034	UNCERTIFIED 60225
tpdb-8.0/TRS/ICFP_2010/135328.xml	UNCERTIFIED 61197	UNCERTIFIED 61733	UNCERTIFIED 60030	UNCERTIFIED 60031	UNCERTIFIED 60197
tpdb-8.0/TRS/ICFP_2010/135410.xml	UNCERTIFIED 60861	UNCERTIFIED 60836	UNCERTIFIED 60038	UNCERTIFIED 60040	UNCERTIFIED 60184
tpdb-8.0/TRS/ICFP_2010/135505.xml	UNCERTIFIED 60865	UNCERTIFIED 60775	UNCERTIFIED 60040	UNCERTIFIED 60039	UNCERTIFIED 60221
tpdb-8.0/TRS/ICFP_2010/135601.xml	UNCERTIFIED 60607	UNCERTIFIED 60874	UNCERTIFIED 60046	UNCERTIFIED 60045	UNCERTIFIED 60151
tpdb-8.0/TRS/ICFP_2010/135604.xml	UNCERTIFIED 60863	UNCERTIFIED 61774	UNCERTIFIED 60034	UNCERTIFIED 60034	UNCERTIFIED 60164
tpdb-8.0/TRS/ICFP_2010/135652.xml	UNCERTIFIED 60943	UNCERTIFIED 61465	UNCERTIFIED 60035	UNCERTIFIED 60037	UNCERTIFIED 60179
tpdb-8.0/TRS/ICFP_2010/135659.xml	UNCERTIFIED 60569	UNCERTIFIED 61340	UNCERTIFIED 60047	UNCERTIFIED 60058	UNCERTIFIED 60158
tpdb-8.0/TRS/ICFP_2010/135714.xml	UNCERTIFIED 61035	UNCERTIFIED 60960	UNCERTIFIED 60039	UNCERTIFIED 60038	UNCERTIFIED 60189
tpdb-8.0/TRS/ICFP_2010/135782.xml	UNCERTIFIED 60818	UNCERTIFIED 61588	UNCERTIFIED 60036	UNCERTIFIED 60037	UNCERTIFIED 60193
tpdb-8.0/TRS/ICFP_2010/135936.xml	UNCERTIFIED 61345	UNCERTIFIED 61310	UNCERTIFIED 60035	UNCERTIFIED 60035	UNCERTIFIED 60141
tpdb-8.0/TRS/ICFP_2010/136051.xml	UNCERTIFIED 60921	UNCERTIFIED 61629	UNCERTIFIED 60035	UNCERTIFIED 60036	UNCERTIFIED 60147
tpdb-8.0/TRS/ICFP_2010/136280.xml	UNCERTIFIED 60923	UNCERTIFIED 61031	UNCERTIFIED 60040	UNCERTIFIED 60040	UNCERTIFIED 60154
tpdb-8.0/TRS/ICFP_2010/136323.xml	UNCERTIFIED 60995	UNCERTIFIED 60874	UNCERTIFIED 60039	UNCERTIFIED 60060	UNCERTIFIED 60218
tpdb-8.0/TRS/ICFP_2010/136354.xml	UNCERTIFIED 60530	UNCERTIFIED 61152	UNCERTIFIED 60041	UNCERTIFIED 60043	UNCERTIFIED 60115
tpdb-8.0/TRS/ICFP_2010/136463.xml	UNCERTIFIED 60800	UNCERTIFIED 60901	UNCERTIFIED 60040	UNCERTIFIED 60042	UNCERTIFIED 60253
tpdb-8.0/TRS/ICFP_2010/136497.xml	UNCERTIFIED 60487	UNCERTIFIED 61051	UNCERTIFIED 60048	UNCERTIFIED 60050	UNCERTIFIED 60159
tpdb-8.0/TRS/ICFP_2010/136534.xml	UNCERTIFIED 60740	UNCERTIFIED 61088	UNCERTIFIED 60039	UNCERTIFIED 60040	UNCERTIFIED 60141
tpdb-8.0/TRS/ICFP_2010/136562.xml	UNCERTIFIED 60908	UNCERTIFIED 61420	UNCERTIFIED 60036	UNCERTIFIED 60035	UNCERTIFIED 60177
tpdb-8.0/TRS/ICFP_2010/136571.xml	UNCERTIFIED 60603	UNCERTIFIED 60847	UNCERTIFIED 60042	UNCERTIFIED 60045	UNCERTIFIED 60145
tpdb-8.0/TRS/ICFP_2010/136601.xml	UNCERTIFIED 60819	UNCERTIFIED 60927	UNCERTIFIED 60038	UNCERTIFIED 60059	UNCERTIFIED 60149
tpdb-8.0/TRS/ICFP_2010/136623.xml	UNCERTIFIED 60926	UNCERTIFIED 61265	UNCERTIFIED 60034	UNCERTIFIED 60033	UNCERTIFIED 60134
tpdb-8.0/TRS/ICFP_2010/136693.xml	UNCERTIFIED 60804	UNCERTIFIED 60803	UNCERTIFIED 60037	UNCERTIFIED 60036	UNCERTIFIED 60152
tpdb-8.0/TRS/ICFP_2010/136934.xml	UNCERTIFIED 60840	UNCERTIFIED 61135	UNCERTIFIED 60036	UNCERTIFIED 60037	UNCERTIFIED 60177
tpdb-8.0/TRS/ICFP_2010/137087.xml	UNCERTIFIED 60669	UNCERTIFIED 60841	UNCERTIFIED 60040	UNCERTIFIED 60041	UNCERTIFIED 60182
tpdb-8.0/TRS/ICFP_2010/137136.xml	UNCERTIFIED 60819	UNCERTIFIED 61022	UNCERTIFIED 60039	UNCERTIFIED 60039	UNCERTIFIED 60186
tpdb-8.0/TRS/ICFP_2010/137316.xml	UNCERTIFIED 60694	UNCERTIFIED 60871	UNCERTIFIED 60041	UNCERTIFIED 60043	UNCERTIFIED 60166
tpdb-8.0/TRS/ICFP_2010/137404.xml	UNCERTIFIED 60903	UNCERTIFIED 61844	UNCERTIFIED 60035	UNCERTIFIED 60037	UNCERTIFIED 60211
tpdb-8.0/TRS/ICFP_2010/137621.xml	UNCERTIFIED 61048	UNCERTIFIED 61075	UNCERTIFIED 60038	UNCERTIFIED 60037	UNCERTIFIED 60213
tpdb-8.0/TRS/ICFP_2010/137623.xml	UNCERTIFIED 61020	YES 7232	UNCERTIFIED 60034	UNCERTIFIED 60035	UNCERTIFIED 60158
tpdb-8.0/TRS/ICFP_2010/137715.xml	UNCERTIFIED 60748	UNCERTIFIED 60898	UNCERTIFIED 60048	UNCERTIFIED 60342	UNCERTIFIED 60208
tpdb-8.0/TRS/ICFP_2010/137799.xml	UNCERTIFIED 60851	UNCERTIFIED 61050	UNCERTIFIED 60040	UNCERTIFIED 60041	UNCERTIFIED 60152
tpdb-8.0/TRS/ICFP_2010/137809.xml	UNCERTIFIED 60933	UNCERTIFIED 61687	UNCERTIFIED 60036	UNCERTIFIED 60035	UNCERTIFIED 60179
tpdb-8.0/TRS/ICFP_2010/137956.xml	UNCERTIFIED 60909	UNCERTIFIED 61120	UNCERTIFIED 60041	UNCERTIFIED 60040	UNCERTIFIED 60135
tpdb-8.0/TRS/ICFP_2010/138089.xml	UNCERTIFIED 61140	UNCERTIFIED 61034	UNCERTIFIED 60036	UNCERTIFIED 60037	UNCERTIFIED 60161
tpdb-8.0/TRS/ICFP_2010/138142.xml	UNCERTIFIED 61250	YES 9636	UNCERTIFIED 60036	UNCERTIFIED 60035	UNCERTIFIED 60219
tpdb-8.0/TRS/ICFP_2010/138194.xml	UNCERTIFIED 60864	UNCERTIFIED 61374	UNCERTIFIED 60034	UNCERTIFIED 60034	UNCERTIFIED 60204
tpdb-8.0/TRS/ICFP_2010/138254.xml	UNCERTIFIED 60936	YES 11441	UNCERTIFIED 60036	UNCERTIFIED 60036	UNCERTIFIED 60226
tpdb-8.0/TRS/ICFP_2010/138269.xml	UNCERTIFIED 60872	UNCERTIFIED 61491	UNCERTIFIED 60035	UNCERTIFIED 60034	UNCERTIFIED 60174
tpdb-8.0/TRS/ICFP_2010/138330.xml	UNCERTIFIED 60983	UNCERTIFIED 61645	UNCERTIFIED 60032	UNCERTIFIED 60032	UNCERTIFIED 60205
tpdb-8.0/TRS/ICFP_2010/138468.xml	UNCERTIFIED 60535	UNCERTIFIED 62126	UNCERTIFIED 60044	UNCERTIFIED 60043	UNCERTIFIED 60167
tpdb-8.0/TRS/ICFP_2010/138477.xml	UNCERTIFIED 60893	UNCERTIFIED 61552	UNCERTIFIED 60036	UNCERTIFIED 60037	UNCERTIFIED 60168
tpdb-8.0/TRS/ICFP_2010/138993.xml	UNCERTIFIED 61196	YES 15148	UNCERTIFIED 60034	UNCERTIFIED 60039	UNCERTIFIED 60118
tpdb-8.0/TRS/ICFP_2010/139004.xml	UNCERTIFIED 60978	YES 16623	UNCERTIFIED 60037	UNCERTIFIED 60038	UNCERTIFIED 60109
tpdb-8.0/TRS/ICFP_2010/139018.xml	UNCERTIFIED 61121	YES 14362	UNCERTIFIED 60036	UNCERTIFIED 60035	UNCERTIFIED 60142
tpdb-8.0/TRS/ICFP_2010/139025.xml	UNCERTIFIED 61164	YES 14198	UNCERTIFIED 60037	UNCERTIFIED 60036	UNCERTIFIED 60211
tpdb-8.0/TRS/ICFP_2010/139036.xml	UNCERTIFIED 61030	YES 16788	UNCERTIFIED 60036	UNCERTIFIED 60036	UNCERTIFIED 60123
tpdb-8.0/TRS/ICFP_2010/139100.xml	UNCERTIFIED 60883	YES 15335	UNCERTIFIED 60036	UNCERTIFIED 60036	UNCERTIFIED 60149
tpdb-8.0/TRS/ICFP_2010/139163.xml	UNCERTIFIED 60994	YES 44657	UNCERTIFIED 60036	UNCERTIFIED 60037	UNCERTIFIED 60153
tpdb-8.0/TRS/ICFP_2010/139167.xml	UNCERTIFIED 61129	UNCERTIFIED 60968	UNCERTIFIED 60036	UNCERTIFIED 60037	UNCERTIFIED 60152
tpdb-8.0/TRS/ICFP_2010/139174.xml	UNCERTIFIED 61003	YES 15587	UNCERTIFIED 60037	UNCERTIFIED 60037	UNCERTIFIED 60109
tpdb-8.0/TRS/ICFP_2010/139180.xml	UNCERTIFIED 61164	YES 15746	UNCERTIFIED 60037	UNCERTIFIED 60037	UNCERTIFIED 60145
tpdb-8.0/TRS/ICFP_2010/139185.xml	UNCERTIFIED 60912	YES 14840	UNCERTIFIED 60037	UNCERTIFIED 60034	UNCERTIFIED 60150
tpdb-8.0/TRS/ICFP_2010/139190.xml	UNCERTIFIED 60889	YES 14080	UNCERTIFIED 60036	UNCERTIFIED 60035	UNCERTIFIED 60092
tpdb-8.0/TRS/ICFP_2010/139214.xml	UNCERTIFIED 61108	UNCERTIFIED 61450	UNCERTIFIED 60037	UNCERTIFIED 60035	UNCERTIFIED 60143
tpdb-8.0/TRS/ICFP_2010/139236.xml	UNCERTIFIED 61121	YES 13657	UNCERTIFIED 60036	UNCERTIFIED 60035	UNCERTIFIED 60108
tpdb-8.0/TRS/ICFP_2010/139256.xml	UNCERTIFIED 61216	YES 15135	UNCERTIFIED 60037	UNCERTIFIED 60036	UNCERTIFIED 60131
tpdb-8.0/TRS/ICFP_2010/139282.xml	UNCERTIFIED 61028	YES 15563	UNCERTIFIED 60059	UNCERTIFIED 60036	UNCERTIFIED 60186
tpdb-8.0/TRS/ICFP_2010/139310.xml	UNCERTIFIED 61102	YES 14015	UNCERTIFIED 60036	UNCERTIFIED 60037	UNCERTIFIED 60129
tpdb-8.0/TRS/ICFP_2010/139378.xml	UNCERTIFIED 60986	UNCERTIFIED 61233	UNCERTIFIED 60035	UNCERTIFIED 60037	UNCERTIFIED 60163
tpdb-8.0/TRS/ICFP_2010/140287.xml	UNCERTIFIED 61215	UNCERTIFIED 61078	UNCERTIFIED 60036	UNCERTIFIED 60035	UNCERTIFIED 60150
tpdb-8.0/TRS/ICFP_2010/140318.xml	UNCERTIFIED 60907	YES 16315	UNCERTIFIED 60037	UNCERTIFIED 60037	UNCERTIFIED 60117
tpdb-8.0/TRS/ICFP_2010/140359.xml	UNCERTIFIED 61183	YES 15590	UNCERTIFIED 60037	UNCERTIFIED 60036	UNCERTIFIED 60129
tpdb-8.0/TRS/ICFP_2010/140631.xml	UNCERTIFIED 61181	UNCERTIFIED 61939	UNCERTIFIED 60031	UNCERTIFIED 60031	UNCERTIFIED 60223
tpdb-8.0/TRS/ICFP_2010/140639.xml	UNCERTIFIED 61243	YES 10815	UNCERTIFIED 60031	UNCERTIFIED 60032	UNCERTIFIED 60214
tpdb-8.0/TRS/ICFP_2010/140654.xml	UNCERTIFIED 61434	YES 34318	UNCERTIFIED 60063	UNCERTIFIED 60098	UNCERTIFIED 60240
tpdb-8.0/TRS/ICFP_2010/140659.xml	UNCERTIFIED 61011	UNCERTIFIED 61386	UNCERTIFIED 60033	UNCERTIFIED 60036	UNCERTIFIED 60169
tpdb-8.0/TRS/ICFP_2010/140664.xml	UNCERTIFIED 61044	UNCERTIFIED 61379	UNCERTIFIED 60037	UNCERTIFIED 60036	UNCERTIFIED 60186
tpdb-8.0/TRS/ICFP_2010/142142.xml	UNCERTIFIED 61014	YES 11621	UNCERTIFIED 60033	UNCERTIFIED 60031	UNCERTIFIED 60114
tpdb-8.0/TRS/ICFP_2010/142146.xml	UNCERTIFIED 61184	YES 13510	UNCERTIFIED 60036	UNCERTIFIED 60036	UNCERTIFIED 60123
tpdb-8.0/TRS/ICFP_2010/142150.xml	UNCERTIFIED 61258	UNCERTIFIED 61576	UNCERTIFIED 60033	UNCERTIFIED 60031	UNCERTIFIED 60175
tpdb-8.0/TRS/ICFP_2010/142157.xml	UNCERTIFIED 60993	UNCERTIFIED 61745	UNCERTIFIED 60033	UNCERTIFIED 60034	UNCERTIFIED 60163
tpdb-8.0/TRS/ICFP_2010/147437.xml	UNCERTIFIED 60563	UNCERTIFIED 60765	UNCERTIFIED 60044	UNCERTIFIED 60048	UNCERTIFIED 60156
tpdb-8.0/TRS/ICFP_2010/148543.xml	UNCERTIFIED 60516	UNCERTIFIED 60771	UNCERTIFIED 60044	UNCERTIFIED 60046	UNCERTIFIED 60206
tpdb-8.0/TRS/ICFP_2010/149251.xml	UNCERTIFIED 60691	UNCERTIFIED 60829	UNCERTIFIED 60048	UNCERTIFIED 60048	UNCERTIFIED 60181
tpdb-8.0/TRS/ICFP_2010/149277.xml	UNCERTIFIED 60537	UNCERTIFIED 60808	UNCERTIFIED 60044	UNCERTIFIED 60048	UNCERTIFIED 60188
tpdb-8.0/TRS/ICFP_2010/149297.xml	UNCERTIFIED 60703	UNCERTIFIED 60789	UNCERTIFIED 60046	UNCERTIFIED 60052	UNCERTIFIED 60170
tpdb-8.0/TRS/ICFP_2010/149319.xml	UNCERTIFIED 60562	UNCERTIFIED 60851	UNCERTIFIED 60042	UNCERTIFIED 60046	UNCERTIFIED 60182
tpdb-8.0/TRS/ICFP_2010/149361.xml	UNCERTIFIED 60695	UNCERTIFIED 60968	UNCERTIFIED 60047	UNCERTIFIED 60052	UNCERTIFIED 60243
tpdb-8.0/TRS/ICFP_2010/149415.xml	UNCERTIFIED 60637	UNCERTIFIED 60956	UNCERTIFIED 60051	UNCERTIFIED 60051	UNCERTIFIED 60184
tpdb-8.0/TRS/ICFP_2010/149633.xml	UNCERTIFIED 60762	UNCERTIFIED 60880	UNCERTIFIED 60044	UNCERTIFIED 60044	UNCERTIFIED 60233
tpdb-8.0/TRS/ICFP_2010/149713.xml	UNCERTIFIED 60681	UNCERTIFIED 60772	UNCERTIFIED 60048	UNCERTIFIED 60048	UNCERTIFIED 60217
tpdb-8.0/TRS/ICFP_2010/149849.xml	UNCERTIFIED 60574	UNCERTIFIED 60854	UNCERTIFIED 60044	UNCERTIFIED 60051	UNCERTIFIED 60197
tpdb-8.0/TRS/ICFP_2010/149915.xml	UNCERTIFIED 60742	UNCERTIFIED 60975	UNCERTIFIED 60044	UNCERTIFIED 60062	UNCERTIFIED 60247
tpdb-8.0/TRS/ICFP_2010/150067.xml	UNCERTIFIED 60586	UNCERTIFIED 60869	UNCERTIFIED 60048	UNCERTIFIED 60045	UNCERTIFIED 60159
tpdb-8.0/TRS/ICFP_2010/150188.xml	UNCERTIFIED 60476	UNCERTIFIED 60946	UNCERTIFIED 60046	UNCERTIFIED 60051	UNCERTIFIED 60254
tpdb-8.0/TRS/ICFP_2010/150258.xml	UNCERTIFIED 60680	UNCERTIFIED 60782	UNCERTIFIED 60049	UNCERTIFIED 60049	UNCERTIFIED 60201
tpdb-8.0/TRS/ICFP_2010/150468.xml	UNCERTIFIED 60527	UNCERTIFIED 60837	UNCERTIFIED 60051	UNCERTIFIED 60045	UNCERTIFIED 60217
tpdb-8.0/TRS/ICFP_2010/150630.xml	UNCERTIFIED 60554	UNCERTIFIED 61165	UNCERTIFIED 60051	UNCERTIFIED 60050	UNCERTIFIED 60248
tpdb-8.0/TRS/ICFP_2010/150725.xml	UNCERTIFIED 60516	UNCERTIFIED 60934	UNCERTIFIED 60046	UNCERTIFIED 60050	UNCERTIFIED 60231
tpdb-8.0/TRS/ICFP_2010/150815.xml	UNCERTIFIED 60739	UNCERTIFIED 60952	UNCERTIFIED 60042	UNCERTIFIED 60047	UNCERTIFIED 60237
tpdb-8.0/TRS/ICFP_2010/150839.xml	UNCERTIFIED 60617	UNCERTIFIED 61210	UNCERTIFIED 60043	UNCERTIFIED 60043	UNCERTIFIED 60217
tpdb-8.0/TRS/ICFP_2010/150877.xml	UNCERTIFIED 60623	UNCERTIFIED 60893	UNCERTIFIED 60044	UNCERTIFIED 60044	UNCERTIFIED 60276
tpdb-8.0/TRS/ICFP_2010/151247.xml	UNCERTIFIED 60564	UNCERTIFIED 60985	UNCERTIFIED 60045	UNCERTIFIED 60048	UNCERTIFIED 60214
tpdb-8.0/TRS/ICFP_2010/152694.xml	UNCERTIFIED 60863	UNCERTIFIED 60845	UNCERTIFIED 60038	UNCERTIFIED 60042	UNCERTIFIED 60187
tpdb-8.0/TRS/ICFP_2010/152786.xml	UNCERTIFIED 60838	UNCERTIFIED 60885	UNCERTIFIED 60038	UNCERTIFIED 60040	UNCERTIFIED 60205
tpdb-8.0/TRS/ICFP_2010/152865.xml	UNCERTIFIED 60533	UNCERTIFIED 62128	UNCERTIFIED 60043	UNCERTIFIED 60048	UNCERTIFIED 60132
tpdb-8.0/TRS/ICFP_2010/152949.xml	UNCERTIFIED 60807	UNCERTIFIED 60837	UNCERTIFIED 60037	UNCERTIFIED 60039	UNCERTIFIED 60138
tpdb-8.0/TRS/ICFP_2010/153034.xml	UNCERTIFIED 61029	UNCERTIFIED 60864	UNCERTIFIED 60037	UNCERTIFIED 60038	UNCERTIFIED 60220
tpdb-8.0/TRS/ICFP_2010/153090.xml	UNCERTIFIED 60597	YES 15584	UNCERTIFIED 60046	UNCERTIFIED 60044	UNCERTIFIED 60131
tpdb-8.0/TRS/ICFP_2010/153170.xml	UNCERTIFIED 60901	UNCERTIFIED 60976	UNCERTIFIED 60040	UNCERTIFIED 60037	UNCERTIFIED 60149
tpdb-8.0/TRS/ICFP_2010/153243.xml	UNCERTIFIED 61091	UNCERTIFIED 60776	UNCERTIFIED 60039	UNCERTIFIED 60039	UNCERTIFIED 60201
tpdb-8.0/TRS/ICFP_2010/153288.xml	UNCERTIFIED 60564	UNCERTIFIED 61815	UNCERTIFIED 60050	UNCERTIFIED 60049	UNCERTIFIED 60203
tpdb-8.0/TRS/ICFP_2010/153371.xml	UNCERTIFIED 60811	UNCERTIFIED 60891	UNCERTIFIED 60045	UNCERTIFIED 60044	UNCERTIFIED 60161
tpdb-8.0/TRS/ICFP_2010/153444.xml	UNCERTIFIED 60775	UNCERTIFIED 60859	UNCERTIFIED 60040	UNCERTIFIED 60039	UNCERTIFIED 60176
tpdb-8.0/TRS/ICFP_2010/157150.xml	UNCERTIFIED 61370	UNCERTIFIED 61270	UNCERTIFIED 60030	UNCERTIFIED 60031	UNCERTIFIED 60140
tpdb-8.0/TRS/ICFP_2010/157161.xml	UNCERTIFIED 61158	UNCERTIFIED 61613	UNCERTIFIED 60031	UNCERTIFIED 60033	UNCERTIFIED 60256
tpdb-8.0/TRS/ICFP_2010/157275.xml	UNCERTIFIED 60756	YES 17612	UNCERTIFIED 60042	UNCERTIFIED 60046	UNCERTIFIED 60135
tpdb-8.0/TRS/ICFP_2010/157388.xml	UNCERTIFIED 61309	YES 33248	UNCERTIFIED 60038	UNCERTIFIED 60092	UNCERTIFIED 60194
tpdb-8.0/TRS/ICFP_2010/157436.xml	UNCERTIFIED 61492	UNCERTIFIED 61552	UNCERTIFIED 60045	UNCERTIFIED 60097	UNCERTIFIED 60124
tpdb-8.0/TRS/ICFP_2010/157466.xml	UNCERTIFIED 60779	UNCERTIFIED 61035	UNCERTIFIED 60041	UNCERTIFIED 60040	UNCERTIFIED 60199
tpdb-8.0/TRS/ICFP_2010/157593.xml	UNCERTIFIED 61108	YES 35447	UNCERTIFIED 60038	UNCERTIFIED 60073	UNCERTIFIED 60046
tpdb-8.0/TRS/ICFP_2010/157603.xml	UNCERTIFIED 60461	UNCERTIFIED 61110	UNCERTIFIED 60046	UNCERTIFIED 60044	UNCERTIFIED 60219
tpdb-8.0/TRS/ICFP_2010/157713.xml	UNCERTIFIED 60565	UNCERTIFIED 60901	UNCERTIFIED 60046	UNCERTIFIED 60048	UNCERTIFIED 60193
tpdb-8.0/TRS/ICFP_2010/158152.xml	UNCERTIFIED 61645	UNCERTIFIED 61296	UNCERTIFIED 60040	UNCERTIFIED 60083	UNCERTIFIED 60115
tpdb-8.0/TRS/ICFP_2010/158208.xml	UNCERTIFIED 60903	UNCERTIFIED 60835	UNCERTIFIED 60041	UNCERTIFIED 60038	UNCERTIFIED 60133
tpdb-8.0/TRS/ICFP_2010/158342.xml	UNCERTIFIED 60947	UNCERTIFIED 61125	UNCERTIFIED 60039	UNCERTIFIED 60040	UNCERTIFIED 60188
tpdb-8.0/TRS/ICFP_2010/158477.xml	UNCERTIFIED 60697	UNCERTIFIED 60874	UNCERTIFIED 60039	UNCERTIFIED 60040	UNCERTIFIED 60135
tpdb-8.0/TRS/ICFP_2010/158620.xml	UNCERTIFIED 60654	YES 18735	UNCERTIFIED 60044	UNCERTIFIED 60045	UNCERTIFIED 60189
tpdb-8.0/TRS/ICFP_2010/159731.xml	UNCERTIFIED 60842	UNCERTIFIED 61206	UNCERTIFIED 49892	UNCERTIFIED 60067	YES 27095
tpdb-8.0/TRS/ICFP_2010/160068.xml	UNCERTIFIED 60642	UNCERTIFIED 60776	UNCERTIFIED 60044	UNCERTIFIED 60043	UNCERTIFIED 60157
tpdb-8.0/TRS/ICFP_2010/160210.xml	UNCERTIFIED 60527	UNCERTIFIED 61060	UNCERTIFIED 60049	UNCERTIFIED 60047	UNCERTIFIED 60252
tpdb-8.0/TRS/ICFP_2010/160234.xml	YES 33940	YES 25101	UNCERTIFIED 42700	UNCERTIFIED 56667	UNCERTIFIED 60040
tpdb-8.0/TRS/ICFP_2010/160254.xml	UNCERTIFIED 60660	UNCERTIFIED 60783	UNCERTIFIED 60044	UNCERTIFIED 60046	UNCERTIFIED 60189
tpdb-8.0/TRS/ICFP_2010/160263.xml	UNCERTIFIED 61476	YES 24287	UNCERTIFIED 48917	UNCERTIFIED 60086	YES 13526
tpdb-8.0/TRS/ICFP_2010/160324.xml	UNCERTIFIED 60611	UNCERTIFIED 60945	UNCERTIFIED 60041	UNCERTIFIED 60045	UNCERTIFIED 60171
tpdb-8.0/TRS/ICFP_2010/160364.xml	UNCERTIFIED 60477	UNCERTIFIED 60784	UNCERTIFIED 60048	UNCERTIFIED 60052	UNCERTIFIED 60166
tpdb-8.0/TRS/ICFP_2010/160398.xml	UNCERTIFIED 60657	UNCERTIFIED 60984	UNCERTIFIED 60047	UNCERTIFIED 60049	UNCERTIFIED 60240
tpdb-8.0/TRS/ICFP_2010/160427.xml	UNCERTIFIED 60534	UNCERTIFIED 60796	UNCERTIFIED 60045	UNCERTIFIED 60044	UNCERTIFIED 60139
tpdb-8.0/TRS/ICFP_2010/160462.xml	UNCERTIFIED 60689	UNCERTIFIED 60878	UNCERTIFIED 60045	UNCERTIFIED 60045	UNCERTIFIED 60246
tpdb-8.0/TRS/ICFP_2010/160475.xml	UNCERTIFIED 60682	UNCERTIFIED 60941	UNCERTIFIED 60044	UNCERTIFIED 60044	UNCERTIFIED 60186
tpdb-8.0/TRS/ICFP_2010/160660.xml	UNCERTIFIED 60592	UNCERTIFIED 61029	UNCERTIFIED 60044	UNCERTIFIED 60043	UNCERTIFIED 60152
tpdb-8.0/TRS/ICFP_2010/161519.xml	UNCERTIFIED 60453	UNCERTIFIED 61616	UNCERTIFIED 60045	UNCERTIFIED 60046	UNCERTIFIED 60168
tpdb-8.0/TRS/ICFP_2010/161533.xml	UNCERTIFIED 60545	UNCERTIFIED 60917	UNCERTIFIED 60046	UNCERTIFIED 60152	UNCERTIFIED 60172
tpdb-8.0/TRS/ICFP_2010/161593.xml	UNCERTIFIED 60679	UNCERTIFIED 61011	UNCERTIFIED 60048	UNCERTIFIED 60048	UNCERTIFIED 60215
tpdb-8.0/TRS/ICFP_2010/161864.xml	UNCERTIFIED 60702	UNCERTIFIED 60915	UNCERTIFIED 60046	UNCERTIFIED 60047	UNCERTIFIED 60178
tpdb-8.0/TRS/ICFP_2010/161917.xml	UNCERTIFIED 60609	UNCERTIFIED 60746	UNCERTIFIED 60045	UNCERTIFIED 60044	UNCERTIFIED 60177
tpdb-8.0/TRS/ICFP_2010/161930.xml	UNCERTIFIED 60533	YES 14368	UNCERTIFIED 60045	UNCERTIFIED 60045	UNCERTIFIED 60202
tpdb-8.0/TRS/ICFP_2010/162016.xml	UNCERTIFIED 60532	UNCERTIFIED 60782	UNCERTIFIED 60044	UNCERTIFIED 60044	UNCERTIFIED 60230
tpdb-8.0/TRS/ICFP_2010/162075.xml	UNCERTIFIED 60682	UNCERTIFIED 61132	UNCERTIFIED 60047	UNCERTIFIED 60048	UNCERTIFIED 60156
tpdb-8.0/TRS/ICFP_2010/162095.xml	UNCERTIFIED 60687	UNCERTIFIED 60917	UNCERTIFIED 60047	UNCERTIFIED 60047	UNCERTIFIED 60225
tpdb-8.0/TRS/ICFP_2010/162244.xml	UNCERTIFIED 60510	UNCERTIFIED 60887	UNCERTIFIED 60045	UNCERTIFIED 60042	UNCERTIFIED 60223
tpdb-8.0/TRS/ICFP_2010/165713.xml	UNCERTIFIED 60495	UNCERTIFIED 61093	UNCERTIFIED 60045	UNCERTIFIED 60044	UNCERTIFIED 60186
tpdb-8.0/TRS/ICFP_2010/165755.xml	UNCERTIFIED 60662	UNCERTIFIED 60844	UNCERTIFIED 60048	UNCERTIFIED 60047	UNCERTIFIED 60163
tpdb-8.0/TRS/ICFP_2010/165904.xml	UNCERTIFIED 60664	UNCERTIFIED 60856	UNCERTIFIED 60041	UNCERTIFIED 60047	UNCERTIFIED 60240
tpdb-8.0/TRS/ICFP_2010/165936.xml	UNCERTIFIED 60641	UNCERTIFIED 61016	UNCERTIFIED 60045	UNCERTIFIED 60046	UNCERTIFIED 60241
tpdb-8.0/TRS/ICFP_2010/165975.xml	UNCERTIFIED 60542	UNCERTIFIED 60958	UNCERTIFIED 60043	UNCERTIFIED 60042	UNCERTIFIED 60166
tpdb-8.0/TRS/ICFP_2010/166001.xml	UNCERTIFIED 60569	UNCERTIFIED 60980	UNCERTIFIED 60047	UNCERTIFIED 60051	UNCERTIFIED 60231
tpdb-8.0/TRS/ICFP_2010/166465.xml	UNCERTIFIED 60488	UNCERTIFIED 60819	UNCERTIFIED 60043	UNCERTIFIED 60044	UNCERTIFIED 60163
tpdb-8.0/TRS/ICFP_2010/166493.xml	UNCERTIFIED 60631	UNCERTIFIED 60867	UNCERTIFIED 60048	UNCERTIFIED 60054	UNCERTIFIED 60205
tpdb-8.0/TRS/ICFP_2010/166558.xml	UNCERTIFIED 60687	UNCERTIFIED 60999	UNCERTIFIED 60047	UNCERTIFIED 60044	UNCERTIFIED 60241
tpdb-8.0/TRS/ICFP_2010/166848.xml	UNCERTIFIED 60534	UNCERTIFIED 60940	UNCERTIFIED 60045	UNCERTIFIED 60051	UNCERTIFIED 60171
tpdb-8.0/TRS/ICFP_2010/167041.xml	UNCERTIFIED 60542	UNCERTIFIED 60907	UNCERTIFIED 60042	UNCERTIFIED 60049	UNCERTIFIED 60188
tpdb-8.0/TRS/ICFP_2010/167087.xml	UNCERTIFIED 60590	UNCERTIFIED 60874	UNCERTIFIED 60048	UNCERTIFIED 60047	UNCERTIFIED 60231
tpdb-8.0/TRS/ICFP_2010/167240.xml	UNCERTIFIED 60529	UNCERTIFIED 60952	UNCERTIFIED 60043	UNCERTIFIED 60047	UNCERTIFIED 60203
tpdb-8.0/TRS/ICFP_2010/167294.xml	UNCERTIFIED 60469	UNCERTIFIED 60806	UNCERTIFIED 60045	UNCERTIFIED 60047	UNCERTIFIED 60179
tpdb-8.0/TRS/ICFP_2010/167310.xml	UNCERTIFIED 60532	UNCERTIFIED 60868	UNCERTIFIED 60043	UNCERTIFIED 60046	UNCERTIFIED 60172
tpdb-8.0/TRS/ICFP_2010/167391.xml	UNCERTIFIED 60535	UNCERTIFIED 61282	UNCERTIFIED 60048	UNCERTIFIED 60046	UNCERTIFIED 60187
tpdb-8.0/TRS/ICFP_2010/167433.xml	UNCERTIFIED 60687	UNCERTIFIED 60789	UNCERTIFIED 60046	UNCERTIFIED 60049	UNCERTIFIED 60170
tpdb-8.0/TRS/ICFP_2010/167452.xml	UNCERTIFIED 60573	UNCERTIFIED 60771	UNCERTIFIED 60047	UNCERTIFIED 60045	UNCERTIFIED 60228
tpdb-8.0/TRS/ICFP_2010/167526.xml	UNCERTIFIED 60669	UNCERTIFIED 60793	UNCERTIFIED 60041	UNCERTIFIED 60042	UNCERTIFIED 75113
tpdb-8.0/TRS/ICFP_2010/167636.xml	UNCERTIFIED 60547	UNCERTIFIED 60106	UNCERTIFIED 60044	UNCERTIFIED 60049	UNCERTIFIED 60209
tpdb-8.0/TRS/ICFP_2010/167742.xml	UNCERTIFIED 60668	YES 15815	UNCERTIFIED 60052	UNCERTIFIED 60044	UNCERTIFIED 60224
tpdb-8.0/TRS/ICFP_2010/180915.xml	UNCERTIFIED 60837	UNCERTIFIED 60725	UNCERTIFIED 60043	UNCERTIFIED 60046	UNCERTIFIED 60221
tpdb-8.0/TRS/ICFP_2010/182946.xml	UNCERTIFIED 60864	UNCERTIFIED 60720	UNCERTIFIED 60045	UNCERTIFIED 60046	UNCERTIFIED 60257
tpdb-8.0/TRS/ICFP_2010/183803.xml	UNCERTIFIED 60833	UNCERTIFIED 60901	UNCERTIFIED 60042	UNCERTIFIED 60046	UNCERTIFIED 60246
tpdb-8.0/TRS/ICFP_2010/184957.xml	UNCERTIFIED 60910	UNCERTIFIED 60712	UNCERTIFIED 60044	UNCERTIFIED 60041	UNCERTIFIED 60245
tpdb-8.0/TRS/ICFP_2010/185453.xml	UNCERTIFIED 60791	UNCERTIFIED 60724	UNCERTIFIED 60043	UNCERTIFIED 60043	UNCERTIFIED 60240
tpdb-8.0/TRS/ICFP_2010/185628.xml	UNCERTIFIED 60837	UNCERTIFIED 60723	UNCERTIFIED 60043	UNCERTIFIED 60041	UNCERTIFIED 60241
tpdb-8.0/TRS/ICFP_2010/186023.xml	UNCERTIFIED 60710	YES 10770	UNCERTIFIED 60044	UNCERTIFIED 60045	UNCERTIFIED 60178
tpdb-8.0/TRS/ICFP_2010/186222.xml	UNCERTIFIED 60749	UNCERTIFIED 60816	UNCERTIFIED 60044	UNCERTIFIED 60046	UNCERTIFIED 60190
tpdb-8.0/TRS/ICFP_2010/186333.xml	UNCERTIFIED 60657	UNCERTIFIED 60918	UNCERTIFIED 60043	UNCERTIFIED 60046	UNCERTIFIED 60224
tpdb-8.0/TRS/ICFP_2010/186617.xml	UNCERTIFIED 60618	UNCERTIFIED 60754	UNCERTIFIED 60043	UNCERTIFIED 60044	UNCERTIFIED 60209
tpdb-8.0/TRS/ICFP_2010/186775.xml	UNCERTIFIED 60807	UNCERTIFIED 60772	UNCERTIFIED 60043	UNCERTIFIED 60047	UNCERTIFIED 60175
tpdb-8.0/TRS/ICFP_2010/186810.xml	UNCERTIFIED 61002	UNCERTIFIED 60893	UNCERTIFIED 60041	UNCERTIFIED 60046	UNCERTIFIED 60190
tpdb-8.0/TRS/ICFP_2010/186919.xml	UNCERTIFIED 60712	UNCERTIFIED 60895	UNCERTIFIED 60047	UNCERTIFIED 60047	UNCERTIFIED 60200
tpdb-8.0/TRS/ICFP_2010/186973.xml	UNCERTIFIED 60846	UNCERTIFIED 60876	UNCERTIFIED 60042	UNCERTIFIED 60043	UNCERTIFIED 60273
tpdb-8.0/TRS/ICFP_2010/187254.xml	UNCERTIFIED 60850	YES 10859	UNCERTIFIED 60044	UNCERTIFIED 60047	UNCERTIFIED 60194
tpdb-8.0/TRS/ICFP_2010/187837.xml	UNCERTIFIED 60738	UNCERTIFIED 60729	UNCERTIFIED 60043	UNCERTIFIED 60048	UNCERTIFIED 60259
tpdb-8.0/TRS/ICFP_2010/188004.xml	UNCERTIFIED 60840	UNCERTIFIED 60727	UNCERTIFIED 60044	UNCERTIFIED 60051	UNCERTIFIED 60204
tpdb-8.0/TRS/ICFP_2010/188238.xml	UNCERTIFIED 60711	UNCERTIFIED 60723	UNCERTIFIED 60045	UNCERTIFIED 60047	UNCERTIFIED 60237
tpdb-8.0/TRS/ICFP_2010/188261.xml	UNCERTIFIED 60876	UNCERTIFIED 60983	UNCERTIFIED 60043	UNCERTIFIED 60044	UNCERTIFIED 60264
tpdb-8.0/TRS/ICFP_2010/188296.xml	UNCERTIFIED 60824	UNCERTIFIED 60942	UNCERTIFIED 60045	UNCERTIFIED 60046	UNCERTIFIED 60248
tpdb-8.0/TRS/ICFP_2010/188674.xml	UNCERTIFIED 60678	YES 14601	UNCERTIFIED 60043	UNCERTIFIED 60042	UNCERTIFIED 60260
tpdb-8.0/TRS/ICFP_2010/188696.xml	UNCERTIFIED 60869	UNCERTIFIED 60902	UNCERTIFIED 60046	UNCERTIFIED 60042	UNCERTIFIED 60254
tpdb-8.0/TRS/ICFP_2010/211471.xml	YES 33112	YES 3678	UNCERTIFIED 60041	UNCERTIFIED 60088	UNCERTIFIED 60229
tpdb-8.0/TRS/ICFP_2010/211639.xml	UNCERTIFIED 61057	YES 4851	UNCERTIFIED 60044	UNCERTIFIED 60043	UNCERTIFIED 60257
tpdb-8.0/TRS/ICFP_2010/211857.xml	YES 22444	YES 17119	YES 2459	YES 10558	YES 7967
tpdb-8.0/TRS/ICFP_2010/211915.xml	UNCERTIFIED 61635	YES 28119	UNCERTIFIED 60034	UNCERTIFIED 60086	YES 54214
tpdb-8.0/TRS/ICFP_2010/211960.xml	UNCERTIFIED 61278	YES 28771	UNCERTIFIED 60038	UNCERTIFIED 60078	UNCERTIFIED 60038
tpdb-8.0/TRS/ICFP_2010/211978.xml	UNCERTIFIED 60728	YES 9651	YES 12662	YES 25609	YES 6885
tpdb-8.0/TRS/ICFP_2010/212026.xml	UNCERTIFIED 60855	UNCERTIFIED 61637	UNCERTIFIED 60035	UNCERTIFIED 60063	UNCERTIFIED 60040
tpdb-8.0/TRS/ICFP_2010/212037.xml	UNCERTIFIED 61733	YES 44145	UNCERTIFIED 60037	UNCERTIFIED 60084	UNCERTIFIED 60043
tpdb-8.0/TRS/ICFP_2010/212043.xml	UNCERTIFIED 61705	YES 44426	UNCERTIFIED 60038	UNCERTIFIED 60093	UNCERTIFIED 60044
tpdb-8.0/TRS/ICFP_2010/212062.xml	UNCERTIFIED 60035	YES 7827	UNCERTIFIED 60036	UNCERTIFIED 60072	YES 6373
tpdb-8.0/TRS/ICFP_2010/212094.xml	UNCERTIFIED 61619	UNCERTIFIED 61190	UNCERTIFIED 38925	UNCERTIFIED 60082	UNCERTIFIED 60040
tpdb-8.0/TRS/ICFP_2010/212117.xml	UNCERTIFIED 61481	YES 30594	UNCERTIFIED 60034	UNCERTIFIED 60083	UNCERTIFIED 60076
tpdb-8.0/TRS/ICFP_2010/212189.xml	UNCERTIFIED 61842	UNCERTIFIED 61634	UNCERTIFIED 40574	UNCERTIFIED 60083	YES 33691
tpdb-8.0/TRS/ICFP_2010/212263.xml	UNCERTIFIED 60685	YES 9538	UNCERTIFIED 60063	UNCERTIFIED 60076	YES 6379
tpdb-8.0/TRS/ICFP_2010/212308.xml	UNCERTIFIED 61014	UNCERTIFIED 61344	UNCERTIFIED 60039	UNCERTIFIED 60033	UNCERTIFIED 60042
tpdb-8.0/TRS/ICFP_2010/212364.xml	UNCERTIFIED 61483	UNCERTIFIED 61573	UNCERTIFIED 60041	UNCERTIFIED 60084	UNCERTIFIED 60075
tpdb-8.0/TRS/ICFP_2010/212421.xml	UNCERTIFIED 61758	UNCERTIFIED 61684	UNCERTIFIED 28000	UNCERTIFIED 60084	UNCERTIFIED 60043
tpdb-8.0/TRS/ICFP_2010/212480.xml	UNCERTIFIED 61123	YES 19411	UNCERTIFIED 60037	UNCERTIFIED 60081	UNCERTIFIED 60039
tpdb-8.0/TRS/ICFP_2010/212534.xml	YES 48132	YES 56705	UNCERTIFIED 34358	YES 43633	UNCERTIFIED 60045
tpdb-8.0/TRS/ICFP_2010/212612.xml	UNCERTIFIED 61811	UNCERTIFIED 61508	UNCERTIFIED 43247	UNCERTIFIED 60081	UNCERTIFIED 60041
tpdb-8.0/TRS/ICFP_2010/212693.xml	UNCERTIFIED 61461	YES 12876	UNCERTIFIED 36968	UNCERTIFIED 60082	YES 6599
tpdb-8.0/TRS/ICFP_2010/212774.xml	UNCERTIFIED 61798	YES 29559	UNCERTIFIED 60042	UNCERTIFIED 60089	UNCERTIFIED 60068
tpdb-8.0/TRS/ICFP_2010/212795.xml	UNCERTIFIED 61562	UNCERTIFIED 61054	UNCERTIFIED 60062	UNCERTIFIED 60100	YES 52700
tpdb-8.0/TRS/ICFP_2010/212892.xml	UNCERTIFIED 61444	YES 42985	UNCERTIFIED 45324	UNCERTIFIED 60076	YES 33203
tpdb-8.0/TRS/ICFP_2010/213051.xml	UNCERTIFIED 60837	YES 26279	UNCERTIFIED 60033	UNCERTIFIED 60060	UNCERTIFIED 60042
tpdb-8.0/TRS/ICFP_2010/213147.xml	UNCERTIFIED 61271	YES 34898	UNCERTIFIED 60049	UNCERTIFIED 60075	YES 38491
tpdb-8.0/TRS/ICFP_2010/213218.xml	UNCERTIFIED 61632	YES 9882	UNCERTIFIED 60042	UNCERTIFIED 60078	YES 7397
tpdb-8.0/TRS/ICFP_2010/213281.xml	UNCERTIFIED 61328	YES 22649	UNCERTIFIED 45007	UNCERTIFIED 60069	YES 9668
tpdb-8.0/TRS/ICFP_2010/213407.xml	UNCERTIFIED 61754	YES 21016	UNCERTIFIED 60039	UNCERTIFIED 60078	YES 9977
tpdb-8.0/TRS/ICFP_2010/213437.xml	UNCERTIFIED 61639	YES 37217	UNCERTIFIED 60038	UNCERTIFIED 60077	UNCERTIFIED 60046
tpdb-8.0/TRS/ICFP_2010/213537.xml	YES 56801	YES 33802	YES 35826	UNCERTIFIED 32165	UNCERTIFIED 60040
tpdb-8.0/TRS/ICFP_2010/213560.xml	UNCERTIFIED 61057	YES 35117	UNCERTIFIED 60040	UNCERTIFIED 60065	UNCERTIFIED 60047
tpdb-8.0/TRS/ICFP_2010/213611.xml	UNCERTIFIED 60995	YES 4826	UNCERTIFIED 60049	UNCERTIFIED 60050	UNCERTIFIED 60205
tpdb-8.0/TRS/ICFP_2010/213719.xml	UNCERTIFIED 61925	UNCERTIFIED 61297	UNCERTIFIED 60038	UNCERTIFIED 60076	UNCERTIFIED 60068
tpdb-8.0/TRS/ICFP_2010/213865.xml	UNCERTIFIED 61191	YES 26387	UNCERTIFIED 60039	UNCERTIFIED 60036	UNCERTIFIED 60041
tpdb-8.0/TRS/ICFP_2010/214011.xml	UNCERTIFIED 61443	YES 12988	UNCERTIFIED 60037	UNCERTIFIED 60069	YES 8719
tpdb-8.0/TRS/ICFP_2010/214091.xml	UNCERTIFIED 61312	YES 8913	UNCERTIFIED 30942	UNCERTIFIED 60078	YES 6726
tpdb-8.0/TRS/ICFP_2010/214169.xml	UNCERTIFIED 61415	YES 28657	UNCERTIFIED 60042	UNCERTIFIED 60068	YES 21617
tpdb-8.0/TRS/ICFP_2010/214183.xml	UNCERTIFIED 61138	YES 22430	UNCERTIFIED 60038	UNCERTIFIED 60078	UNCERTIFIED 60042
tpdb-8.0/TRS/ICFP_2010/214261.xml	UNCERTIFIED 61737	YES 30595	UNCERTIFIED 60042	UNCERTIFIED 60079	UNCERTIFIED 60077
tpdb-8.0/TRS/ICFP_2010/214320.xml	UNCERTIFIED 61785	YES 23089	UNCERTIFIED 43692	UNCERTIFIED 60072	YES 12693
tpdb-8.0/TRS/ICFP_2010/230780.xml	UNCERTIFIED 60453	YES 6051	UNCERTIFIED 60040	UNCERTIFIED 60058	UNCERTIFIED 60156
tpdb-8.0/TRS/ICFP_2010/230819.xml	UNCERTIFIED 61459	YES 3660	UNCERTIFIED 60027	UNCERTIFIED 60029	UNCERTIFIED 60240
tpdb-8.0/TRS/ICFP_2010/230948.xml	UNCERTIFIED 61331	YES 4538	UNCERTIFIED 60037	UNCERTIFIED 60037	UNCERTIFIED 60189
tpdb-8.0/TRS/ICFP_2010/231043.xml	UNCERTIFIED 60686	YES 5138	UNCERTIFIED 60040	UNCERTIFIED 60042	UNCERTIFIED 60127
tpdb-8.0/TRS/ICFP_2010/231149.xml	UNCERTIFIED 61094	YES 4467	UNCERTIFIED 60037	UNCERTIFIED 60036	UNCERTIFIED 60268
tpdb-8.0/TRS/ICFP_2010/231230.xml	UNCERTIFIED 60563	YES 5730	UNCERTIFIED 60038	UNCERTIFIED 60039	UNCERTIFIED 60050
tpdb-8.0/TRS/ICFP_2010/231300.xml	UNCERTIFIED 60973	YES 4809	UNCERTIFIED 60035	UNCERTIFIED 60035	UNCERTIFIED 60168
tpdb-8.0/TRS/ICFP_2010/231378.xml	UNCERTIFIED 61023	YES 4917	UNCERTIFIED 60037	UNCERTIFIED 60042	UNCERTIFIED 60181
tpdb-8.0/TRS/ICFP_2010/231480.xml	UNCERTIFIED 60469	YES 5098	UNCERTIFIED 60039	UNCERTIFIED 60039	UNCERTIFIED 60102
tpdb-8.0/TRS/ICFP_2010/231604.xml	UNCERTIFIED 60519	YES 5930	UNCERTIFIED 60039	UNCERTIFIED 60037	UNCERTIFIED 60142
tpdb-8.0/TRS/ICFP_2010/24100.xml	UNCERTIFIED 61149	UNCERTIFIED 62062	UNCERTIFIED 60056	UNCERTIFIED 60076	UNCERTIFIED 60262
tpdb-8.0/TRS/ICFP_2010/246924.xml	UNCERTIFIED 61085	YES 4709	UNCERTIFIED 60041	UNCERTIFIED 60042	UNCERTIFIED 60252
tpdb-8.0/TRS/ICFP_2010/247020.xml	UNCERTIFIED 60830	YES 13884	UNCERTIFIED 60041	UNCERTIFIED 60035	UNCERTIFIED 60098
tpdb-8.0/TRS/ICFP_2010/247254.xml	UNCERTIFIED 60480	YES 6001	UNCERTIFIED 60041	UNCERTIFIED 60043	UNCERTIFIED 60098
tpdb-8.0/TRS/ICFP_2010/247504.xml	UNCERTIFIED 61123	YES 4815	UNCERTIFIED 60037	UNCERTIFIED 60042	UNCERTIFIED 60118
tpdb-8.0/TRS/ICFP_2010/247906.xml	UNCERTIFIED 60721	YES 23265	UNCERTIFIED 60040	UNCERTIFIED 60043	UNCERTIFIED 60185
tpdb-8.0/TRS/ICFP_2010/247992.xml	UNCERTIFIED 60924	YES 6005	UNCERTIFIED 60038	UNCERTIFIED 60036	UNCERTIFIED 60188
tpdb-8.0/TRS/ICFP_2010/248060.xml	UNCERTIFIED 61225	YES 5069	UNCERTIFIED 60037	UNCERTIFIED 60037	UNCERTIFIED 60191
tpdb-8.0/TRS/ICFP_2010/249386.xml	UNCERTIFIED 61196	YES 4944	UNCERTIFIED 60035	UNCERTIFIED 60041	UNCERTIFIED 60162
tpdb-8.0/TRS/ICFP_2010/249459.xml	UNCERTIFIED 60969	YES 5556	UNCERTIFIED 60028	UNCERTIFIED 60029	UNCERTIFIED 60154
tpdb-8.0/TRS/ICFP_2010/249663.xml	UNCERTIFIED 13124	YES 5217	UNCERTIFIED 60037	UNCERTIFIED 60040	UNCERTIFIED 60047
tpdb-8.0/TRS/ICFP_2010/25192.xml	YES 2215	YES 2462	YES 284	YES 1521	YES 2096
tpdb-8.0/TRS/ICFP_2010/25388.xml	UNCERTIFIED 61000	UNCERTIFIED 61479	UNCERTIFIED 60032	UNCERTIFIED 60032	UNCERTIFIED 60162
tpdb-8.0/TRS/ICFP_2010/25395.xml	UNCERTIFIED 60961	UNCERTIFIED 61311	UNCERTIFIED 60032	UNCERTIFIED 60033	UNCERTIFIED 60120
tpdb-8.0/TRS/ICFP_2010/25409.xml	UNCERTIFIED 60919	UNCERTIFIED 61158	UNCERTIFIED 60033	UNCERTIFIED 60034	UNCERTIFIED 60138
tpdb-8.0/TRS/ICFP_2010/25416.xml	UNCERTIFIED 61010	UNCERTIFIED 61570	UNCERTIFIED 60032	UNCERTIFIED 60033	UNCERTIFIED 60194
tpdb-8.0/TRS/ICFP_2010/25422.xml	UNCERTIFIED 61343	UNCERTIFIED 61848	UNCERTIFIED 60033	UNCERTIFIED 60143	UNCERTIFIED 60145
tpdb-8.0/TRS/ICFP_2010/254704.xml	UNCERTIFIED 60531	UNCERTIFIED 60956	UNCERTIFIED 60054	UNCERTIFIED 60053	UNCERTIFIED 60111
tpdb-8.0/TRS/ICFP_2010/25711.xml	UNCERTIFIED 61188	UNCERTIFIED 61314	UNCERTIFIED 60033	UNCERTIFIED 60032	UNCERTIFIED 60189
tpdb-8.0/TRS/ICFP_2010/25726.xml	UNCERTIFIED 61452	UNCERTIFIED 62395	UNCERTIFIED 60031	UNCERTIFIED 60032	UNCERTIFIED 60219
tpdb-8.0/TRS/ICFP_2010/25731.xml	YES 11072	YES 13830	UNCERTIFIED 5794	UNCERTIFIED 60110	YES 6618
tpdb-8.0/TRS/ICFP_2010/25734.xml	UNCERTIFIED 61099	UNCERTIFIED 61932	UNCERTIFIED 60029	UNCERTIFIED 60031	UNCERTIFIED 60200
tpdb-8.0/TRS/ICFP_2010/25736.xml	UNCERTIFIED 61039	UNCERTIFIED 62350	UNCERTIFIED 60031	UNCERTIFIED 60032	UNCERTIFIED 60217
tpdb-8.0/TRS/ICFP_2010/25743.xml	UNCERTIFIED 61235	UNCERTIFIED 61505	UNCERTIFIED 60032	UNCERTIFIED 60032	UNCERTIFIED 60178
tpdb-8.0/TRS/ICFP_2010/25775.xml	UNCERTIFIED 61255	UNCERTIFIED 61811	UNCERTIFIED 60032	UNCERTIFIED 60033	UNCERTIFIED 60156
tpdb-8.0/TRS/ICFP_2010/25808.xml	UNCERTIFIED 61313	UNCERTIFIED 61864	UNCERTIFIED 60033	UNCERTIFIED 60032	UNCERTIFIED 60160
tpdb-8.0/TRS/ICFP_2010/25849.xml	UNCERTIFIED 61148	UNCERTIFIED 61637	UNCERTIFIED 60032	UNCERTIFIED 60032	UNCERTIFIED 60201
tpdb-8.0/TRS/ICFP_2010/259405.xml	UNCERTIFIED 60562	YES 14225	UNCERTIFIED 60071	UNCERTIFIED 60050	UNCERTIFIED 60201
tpdb-8.0/TRS/ICFP_2010/259625.xml	UNCERTIFIED 60723	YES 12816	UNCERTIFIED 60222	UNCERTIFIED 60055	UNCERTIFIED 60176
tpdb-8.0/TRS/ICFP_2010/26069.xml	UNCERTIFIED 61282	UNCERTIFIED 61890	UNCERTIFIED 11882	UNCERTIFIED 60087	YES 7542
tpdb-8.0/TRS/ICFP_2010/26103.xml	UNCERTIFIED 61713	UNCERTIFIED 61567	UNCERTIFIED 11815	UNCERTIFIED 60101	YES 7023
tpdb-8.0/TRS/ICFP_2010/26105.xml	UNCERTIFIED 61229	UNCERTIFIED 61451	UNCERTIFIED 60031	UNCERTIFIED 60032	UNCERTIFIED 60220
tpdb-8.0/TRS/ICFP_2010/26110.xml	UNCERTIFIED 61270	UNCERTIFIED 61938	UNCERTIFIED 60032	UNCERTIFIED 60032	UNCERTIFIED 60182
tpdb-8.0/TRS/ICFP_2010/26116.xml	UNCERTIFIED 61021	UNCERTIFIED 61929	UNCERTIFIED 60031	UNCERTIFIED 60032	UNCERTIFIED 60157
tpdb-8.0/TRS/ICFP_2010/26123.xml	UNCERTIFIED 61367	UNCERTIFIED 61792	UNCERTIFIED 20945	UNCERTIFIED 60100	YES 7573
tpdb-8.0/TRS/ICFP_2010/26127.xml	UNCERTIFIED 61006	UNCERTIFIED 61906	UNCERTIFIED 60033	UNCERTIFIED 60033	UNCERTIFIED 60193
tpdb-8.0/TRS/ICFP_2010/26130.xml	UNCERTIFIED 61319	UNCERTIFIED 61996	UNCERTIFIED 10610	UNCERTIFIED 60094	YES 8830
tpdb-8.0/TRS/ICFP_2010/26132.xml	UNCERTIFIED 61571	UNCERTIFIED 61576	UNCERTIFIED 60032	UNCERTIFIED 60033	UNCERTIFIED 60199
tpdb-8.0/TRS/ICFP_2010/26186.xml	UNCERTIFIED 61754	UNCERTIFIED 61565	UNCERTIFIED 15624	UNCERTIFIED 60103	YES 7361
tpdb-8.0/TRS/ICFP_2010/26226.xml	UNCERTIFIED 61318	UNCERTIFIED 61942	UNCERTIFIED 11116	UNCERTIFIED 60087	YES 8235
tpdb-8.0/TRS/ICFP_2010/26291.xml	UNCERTIFIED 61248	UNCERTIFIED 62109	UNCERTIFIED 14696	UNCERTIFIED 60092	YES 9451
tpdb-8.0/TRS/ICFP_2010/262998.xml	UNCERTIFIED 60549	YES 12274	UNCERTIFIED 60052	UNCERTIFIED 60059	UNCERTIFIED 60223
tpdb-8.0/TRS/ICFP_2010/263745.xml	UNCERTIFIED 60714	YES 13848	UNCERTIFIED 60046	UNCERTIFIED 60060	UNCERTIFIED 60240
tpdb-8.0/TRS/ICFP_2010/264033.xml	UNCERTIFIED 61033	YES 12316	UNCERTIFIED 20714	YES 49478	YES 18779
tpdb-8.0/TRS/ICFP_2010/264370.xml	YES 3349	YES 2497	YES 66	YES 66	YES 3471
tpdb-8.0/TRS/ICFP_2010/264405.xml	YES 2718	YES 2521	YES 64	YES 98	YES 2214
tpdb-8.0/TRS/ICFP_2010/26555.xml	YES 2251	YES 2473	YES 281	YES 1522	YES 2122
tpdb-8.0/TRS/ICFP_2010/26683.xml	UNCERTIFIED 61770	UNCERTIFIED 61475	UNCERTIFIED 21279	UNCERTIFIED 60099	YES 9475
tpdb-8.0/TRS/ICFP_2010/26741.xml	UNCERTIFIED 61151	UNCERTIFIED 62030	UNCERTIFIED 60031	UNCERTIFIED 60033	UNCERTIFIED 60131
tpdb-8.0/TRS/ICFP_2010/26845.xml	UNCERTIFIED 61023	UNCERTIFIED 61999	UNCERTIFIED 60032	UNCERTIFIED 60033	UNCERTIFIED 60112
tpdb-8.0/TRS/ICFP_2010/26862.xml	UNCERTIFIED 61293	UNCERTIFIED 61332	UNCERTIFIED 60028	UNCERTIFIED 60029	UNCERTIFIED 60179
tpdb-8.0/TRS/ICFP_2010/26871.xml	UNCERTIFIED 60930	UNCERTIFIED 61766	UNCERTIFIED 60032	UNCERTIFIED 60033	UNCERTIFIED 60202
tpdb-8.0/TRS/ICFP_2010/26875.xml	UNCERTIFIED 61272	UNCERTIFIED 61248	UNCERTIFIED 60032	UNCERTIFIED 60033	UNCERTIFIED 60214
tpdb-8.0/TRS/ICFP_2010/26879.xml	UNCERTIFIED 61151	UNCERTIFIED 61515	UNCERTIFIED 60035	UNCERTIFIED 60031	UNCERTIFIED 60173
tpdb-8.0/TRS/ICFP_2010/26882.xml	UNCERTIFIED 60922	UNCERTIFIED 61882	UNCERTIFIED 60032	UNCERTIFIED 60031	UNCERTIFIED 60223
tpdb-8.0/TRS/ICFP_2010/26886.xml	UNCERTIFIED 61156	UNCERTIFIED 62526	UNCERTIFIED 60029	UNCERTIFIED 60029	UNCERTIFIED 60222
tpdb-8.0/TRS/ICFP_2010/26896.xml	UNCERTIFIED 61132	UNCERTIFIED 62084	UNCERTIFIED 60032	UNCERTIFIED 60033	UNCERTIFIED 60152
tpdb-8.0/TRS/ICFP_2010/26903.xml	UNCERTIFIED 61254	UNCERTIFIED 61879	UNCERTIFIED 60033	UNCERTIFIED 60032	UNCERTIFIED 60214
tpdb-8.0/TRS/ICFP_2010/26910.xml	UNCERTIFIED 61242	UNCERTIFIED 61916	UNCERTIFIED 60032	UNCERTIFIED 60032	UNCERTIFIED 60152
tpdb-8.0/TRS/ICFP_2010/26916.xml	UNCERTIFIED 61236	UNCERTIFIED 61340	UNCERTIFIED 60034	UNCERTIFIED 60032	UNCERTIFIED 60187
tpdb-8.0/TRS/ICFP_2010/26919.xml	UNCERTIFIED 60911	UNCERTIFIED 61248	UNCERTIFIED 60032	UNCERTIFIED 60032	UNCERTIFIED 60186
tpdb-8.0/TRS/ICFP_2010/26923.xml	UNCERTIFIED 61235	UNCERTIFIED 61539	UNCERTIFIED 60034	UNCERTIFIED 60031	UNCERTIFIED 60182
tpdb-8.0/TRS/ICFP_2010/26927.xml	UNCERTIFIED 60937	UNCERTIFIED 62228	UNCERTIFIED 60032	UNCERTIFIED 60031	UNCERTIFIED 60134
tpdb-8.0/TRS/ICFP_2010/26931.xml	UNCERTIFIED 61297	UNCERTIFIED 61917	UNCERTIFIED 60033	UNCERTIFIED 60033	UNCERTIFIED 60140
tpdb-8.0/TRS/ICFP_2010/26933.xml	UNCERTIFIED 61058	UNCERTIFIED 61655	UNCERTIFIED 60033	UNCERTIFIED 60032	UNCERTIFIED 60194
tpdb-8.0/TRS/ICFP_2010/26940.xml	UNCERTIFIED 61279	UNCERTIFIED 61417	UNCERTIFIED 60031	UNCERTIFIED 60034	UNCERTIFIED 60177
tpdb-8.0/TRS/ICFP_2010/26943.xml	UNCERTIFIED 60969	UNCERTIFIED 61650	UNCERTIFIED 60031	UNCERTIFIED 60032	UNCERTIFIED 60211
tpdb-8.0/TRS/ICFP_2010/26946.xml	UNCERTIFIED 61126	UNCERTIFIED 61390	UNCERTIFIED 60033	UNCERTIFIED 60033	UNCERTIFIED 60163
tpdb-8.0/TRS/ICFP_2010/26949.xml	UNCERTIFIED 61332	UNCERTIFIED 61586	UNCERTIFIED 60031	UNCERTIFIED 60032	UNCERTIFIED 60177
tpdb-8.0/TRS/ICFP_2010/26951.xml	UNCERTIFIED 61007	UNCERTIFIED 61792	UNCERTIFIED 60028	UNCERTIFIED 60028	UNCERTIFIED 60242
tpdb-8.0/TRS/ICFP_2010/26954.xml	UNCERTIFIED 61019	UNCERTIFIED 62501	UNCERTIFIED 60031	UNCERTIFIED 60033	UNCERTIFIED 60171
tpdb-8.0/TRS/ICFP_2010/26957.xml	UNCERTIFIED 60950	UNCERTIFIED 61586	UNCERTIFIED 60032	UNCERTIFIED 60032	UNCERTIFIED 60230
tpdb-8.0/TRS/ICFP_2010/26960.xml	UNCERTIFIED 60933	UNCERTIFIED 61650	UNCERTIFIED 60031	UNCERTIFIED 60033	UNCERTIFIED 60202
tpdb-8.0/TRS/ICFP_2010/26965.xml	UNCERTIFIED 61371	UNCERTIFIED 62428	UNCERTIFIED 60031	UNCERTIFIED 60032	UNCERTIFIED 60178
tpdb-8.0/TRS/ICFP_2010/26969.xml	UNCERTIFIED 60931	UNCERTIFIED 61482	UNCERTIFIED 60032	UNCERTIFIED 60032	UNCERTIFIED 60193
tpdb-8.0/TRS/ICFP_2010/26972.xml	UNCERTIFIED 60922	UNCERTIFIED 61882	UNCERTIFIED 60032	UNCERTIFIED 60033	UNCERTIFIED 60221
tpdb-8.0/TRS/ICFP_2010/26974.xml	UNCERTIFIED 61223	UNCERTIFIED 61873	UNCERTIFIED 60033	UNCERTIFIED 60032	UNCERTIFIED 60131
tpdb-8.0/TRS/ICFP_2010/26976.xml	UNCERTIFIED 60887	UNCERTIFIED 61479	UNCERTIFIED 60032	UNCERTIFIED 60032	UNCERTIFIED 60198
tpdb-8.0/TRS/ICFP_2010/26978.xml	UNCERTIFIED 61010	UNCERTIFIED 61988	UNCERTIFIED 60031	UNCERTIFIED 60031	UNCERTIFIED 60146
tpdb-8.0/TRS/ICFP_2010/26980.xml	UNCERTIFIED 61077	UNCERTIFIED 62454	UNCERTIFIED 60031	UNCERTIFIED 60032	UNCERTIFIED 60185
tpdb-8.0/TRS/ICFP_2010/26986.xml	UNCERTIFIED 60984	UNCERTIFIED 61917	UNCERTIFIED 60031	UNCERTIFIED 60031	UNCERTIFIED 60106
tpdb-8.0/TRS/ICFP_2010/26993.xml	UNCERTIFIED 61073	UNCERTIFIED 61355	UNCERTIFIED 60032	UNCERTIFIED 60032	UNCERTIFIED 60106
tpdb-8.0/TRS/ICFP_2010/26998.xml	UNCERTIFIED 61128	UNCERTIFIED 61379	UNCERTIFIED 60033	UNCERTIFIED 60031	UNCERTIFIED 60165
tpdb-8.0/TRS/ICFP_2010/27001.xml	UNCERTIFIED 61113	UNCERTIFIED 62535	UNCERTIFIED 60033	UNCERTIFIED 60032	UNCERTIFIED 60177
tpdb-8.0/TRS/ICFP_2010/27003.xml	UNCERTIFIED 61308	UNCERTIFIED 61503	UNCERTIFIED 60033	UNCERTIFIED 60031	UNCERTIFIED 60156
tpdb-8.0/TRS/ICFP_2010/27006.xml	UNCERTIFIED 61009	UNCERTIFIED 61425	UNCERTIFIED 60032	UNCERTIFIED 60032	UNCERTIFIED 60240
tpdb-8.0/TRS/ICFP_2010/27009.xml	UNCERTIFIED 61050	UNCERTIFIED 61804	UNCERTIFIED 60032	UNCERTIFIED 60032	UNCERTIFIED 60134
tpdb-8.0/TRS/ICFP_2010/27013.xml	UNCERTIFIED 61244	UNCERTIFIED 61294	UNCERTIFIED 60031	UNCERTIFIED 60033	UNCERTIFIED 60174
tpdb-8.0/TRS/ICFP_2010/27015.xml	UNCERTIFIED 61300	UNCERTIFIED 62063	UNCERTIFIED 60030	UNCERTIFIED 60028	UNCERTIFIED 60197
tpdb-8.0/TRS/ICFP_2010/27019.xml	UNCERTIFIED 61046	UNCERTIFIED 61488	UNCERTIFIED 60032	UNCERTIFIED 60033	UNCERTIFIED 60125
tpdb-8.0/TRS/ICFP_2010/27023.xml	UNCERTIFIED 61142	UNCERTIFIED 62524	UNCERTIFIED 60032	UNCERTIFIED 60031	UNCERTIFIED 60180
tpdb-8.0/TRS/ICFP_2010/27026.xml	UNCERTIFIED 61223	UNCERTIFIED 61538	UNCERTIFIED 60033	UNCERTIFIED 60033	UNCERTIFIED 60212
tpdb-8.0/TRS/ICFP_2010/27028.xml	UNCERTIFIED 61212	UNCERTIFIED 61514	UNCERTIFIED 60031	UNCERTIFIED 60031	UNCERTIFIED 60141
tpdb-8.0/TRS/ICFP_2010/27030.xml	UNCERTIFIED 61700	UNCERTIFIED 61972	UNCERTIFIED 27846	UNCERTIFIED 60105	YES 8607
tpdb-8.0/TRS/ICFP_2010/27034.xml	UNCERTIFIED 60946	UNCERTIFIED 62326	UNCERTIFIED 60031	UNCERTIFIED 60032	UNCERTIFIED 60162
tpdb-8.0/TRS/ICFP_2010/27036.xml	UNCERTIFIED 61211	UNCERTIFIED 61427	UNCERTIFIED 60032	UNCERTIFIED 60031	UNCERTIFIED 60168
tpdb-8.0/TRS/ICFP_2010/27039.xml	UNCERTIFIED 61052	UNCERTIFIED 62322	UNCERTIFIED 60034	UNCERTIFIED 60031	UNCERTIFIED 60146
tpdb-8.0/TRS/ICFP_2010/27131.xml	UNCERTIFIED 61659	UNCERTIFIED 61518	UNCERTIFIED 37785	UNCERTIFIED 60081	YES 10145
tpdb-8.0/TRS/ICFP_2010/27134.xml	UNCERTIFIED 61299	UNCERTIFIED 61923	UNCERTIFIED 48964	UNCERTIFIED 60099	YES 9328
tpdb-8.0/TRS/ICFP_2010/27213.xml	UNCERTIFIED 61348	UNCERTIFIED 61617	UNCERTIFIED 9472	UNCERTIFIED 60106	YES 8972
tpdb-8.0/TRS/ICFP_2010/27235.xml	UNCERTIFIED 61626	UNCERTIFIED 62038	UNCERTIFIED 11865	UNCERTIFIED 60087	YES 9570
tpdb-8.0/TRS/ICFP_2010/27280.xml	UNCERTIFIED 61661	UNCERTIFIED 61640	UNCERTIFIED 16224	UNCERTIFIED 60099	YES 11900
tpdb-8.0/TRS/ICFP_2010/28293.xml	UNCERTIFIED 61666	UNCERTIFIED 61874	UNCERTIFIED 21046	UNCERTIFIED 60084	YES 10828
tpdb-8.0/TRS/ICFP_2010/28464.xml	UNCERTIFIED 61365	UNCERTIFIED 61392	UNCERTIFIED 28438	UNCERTIFIED 60077	YES 14167
tpdb-8.0/TRS/ICFP_2010/28643.xml	UNCERTIFIED 61566	UNCERTIFIED 61928	UNCERTIFIED 37827	UNCERTIFIED 60071	YES 13487
tpdb-8.0/TRS/ICFP_2010/28838.xml	UNCERTIFIED 61638	UNCERTIFIED 62017	UNCERTIFIED 49771	UNCERTIFIED 60083	YES 12075
tpdb-8.0/TRS/ICFP_2010/29415.xml	UNCERTIFIED 60698	YES 19421	UNCERTIFIED 60049	UNCERTIFIED 60053	UNCERTIFIED 60228
tpdb-8.0/TRS/ICFP_2010/3268.xml	YES 27320	YES 19659	UNCERTIFIED 60039	UNCERTIFIED 60069	YES 28349
tpdb-8.0/TRS/ICFP_2010/3336.xml	YES 11167	YES 26042	UNCERTIFIED 3885	UNCERTIFIED 10755	YES 9806
tpdb-8.0/TRS/ICFP_2010/3385.xml	UNCERTIFIED 62421	YES 31466	UNCERTIFIED 60039	UNCERTIFIED 60075	UNCERTIFIED 60079
tpdb-8.0/TRS/ICFP_2010/3450.xml	UNCERTIFIED 61497	UNCERTIFIED 61565	UNCERTIFIED 60069	UNCERTIFIED 60097	UNCERTIFIED 60167
tpdb-8.0/TRS/ICFP_2010/3467.xml	UNCERTIFIED 61313	UNCERTIFIED 61330	UNCERTIFIED 60056	UNCERTIFIED 60074	UNCERTIFIED 60130
tpdb-8.0/TRS/ICFP_2010/3498.xml	UNCERTIFIED 61235	UNCERTIFIED 61585	UNCERTIFIED 60050	UNCERTIFIED 60069	UNCERTIFIED 60075
tpdb-8.0/TRS/ICFP_2010/3533.xml	UNCERTIFIED 61711	UNCERTIFIED 61495	UNCERTIFIED 60074	UNCERTIFIED 60117	UNCERTIFIED 60118
tpdb-8.0/TRS/ICFP_2010/3562.xml	UNCERTIFIED 61779	UNCERTIFIED 61341	UNCERTIFIED 60028	UNCERTIFIED 60029	UNCERTIFIED 60180
tpdb-8.0/TRS/ICFP_2010/3589.xml	UNCERTIFIED 61347	UNCERTIFIED 62424	UNCERTIFIED 60064	UNCERTIFIED 60092	UNCERTIFIED 60148
tpdb-8.0/TRS/ICFP_2010/3633.xml	UNCERTIFIED 61580	UNCERTIFIED 61836	UNCERTIFIED 60059	UNCERTIFIED 60083	UNCERTIFIED 60194
tpdb-8.0/TRS/ICFP_2010/3680.xml	UNCERTIFIED 61456	UNCERTIFIED 61424	UNCERTIFIED 60054	UNCERTIFIED 60082	UNCERTIFIED 60227
tpdb-8.0/TRS/ICFP_2010/3705.xml	UNCERTIFIED 61444	UNCERTIFIED 61404	UNCERTIFIED 60062	UNCERTIFIED 60077	UNCERTIFIED 60154
tpdb-8.0/TRS/ICFP_2010/3729.xml	UNCERTIFIED 61558	UNCERTIFIED 61634	UNCERTIFIED 60084	UNCERTIFIED 60080	UNCERTIFIED 60189
tpdb-8.0/TRS/ICFP_2010/3746.xml	UNCERTIFIED 61420	YES 12090	UNCERTIFIED 60043	UNCERTIFIED 60043	UNCERTIFIED 60046
tpdb-8.0/TRS/ICFP_2010/3762.xml	UNCERTIFIED 61643	UNCERTIFIED 61650	UNCERTIFIED 60066	UNCERTIFIED 60031	UNCERTIFIED 60149
tpdb-8.0/TRS/ICFP_2010/3770.xml	UNCERTIFIED 60985	UNCERTIFIED 61997	UNCERTIFIED 60042	UNCERTIFIED 60053	UNCERTIFIED 60076
tpdb-8.0/TRS/ICFP_2010/3786.xml	UNCERTIFIED 61947	UNCERTIFIED 61384	UNCERTIFIED 60076	UNCERTIFIED 60099	UNCERTIFIED 60127
tpdb-8.0/TRS/ICFP_2010/3817.xml	UNCERTIFIED 61672	UNCERTIFIED 62439	UNCERTIFIED 60073	UNCERTIFIED 60084	UNCERTIFIED 60178
tpdb-8.0/TRS/ICFP_2010/3831.xml	UNCERTIFIED 61328	UNCERTIFIED 61639	UNCERTIFIED 60058	UNCERTIFIED 60075	UNCERTIFIED 60197
tpdb-8.0/TRS/ICFP_2010/3842.xml	UNCERTIFIED 61769	UNCERTIFIED 61478	UNCERTIFIED 60060	UNCERTIFIED 60085	UNCERTIFIED 60199
tpdb-8.0/TRS/ICFP_2010/3856.xml	UNCERTIFIED 61673	UNCERTIFIED 61404	UNCERTIFIED 60061	UNCERTIFIED 60076	UNCERTIFIED 60196
tpdb-8.0/TRS/ICFP_2010/3861.xml	UNCERTIFIED 61404	UNCERTIFIED 61446	UNCERTIFIED 60479	UNCERTIFIED 60105	UNCERTIFIED 60185
tpdb-8.0/TRS/ICFP_2010/3865.xml	UNCERTIFIED 61330	UNCERTIFIED 61613	UNCERTIFIED 60058	UNCERTIFIED 60072	UNCERTIFIED 60198
tpdb-8.0/TRS/ICFP_2010/3916.xml	UNCERTIFIED 61760	UNCERTIFIED 61865	UNCERTIFIED 60063	UNCERTIFIED 60075	UNCERTIFIED 60182
tpdb-8.0/TRS/ICFP_2010/3927.xml	UNCERTIFIED 60733	UNCERTIFIED 60963	UNCERTIFIED 60039	UNCERTIFIED 60037	UNCERTIFIED 60217
tpdb-8.0/TRS/ICFP_2010/3930.xml	UNCERTIFIED 61783	UNCERTIFIED 61937	UNCERTIFIED 60076	UNCERTIFIED 60110	UNCERTIFIED 60144
tpdb-8.0/TRS/ICFP_2010/3939.xml	UNCERTIFIED 61778	UNCERTIFIED 61398	UNCERTIFIED 60062	UNCERTIFIED 60074	UNCERTIFIED 60194
tpdb-8.0/TRS/ICFP_2010/39830.xml	UNCERTIFIED 60831	UNCERTIFIED 61131	UNCERTIFIED 60045	UNCERTIFIED 60042	UNCERTIFIED 60126
tpdb-8.0/TRS/ICFP_2010/39849.xml	UNCERTIFIED 60782	YES 31366	UNCERTIFIED 60032	UNCERTIFIED 60069	UNCERTIFIED 60046
tpdb-8.0/TRS/ICFP_2010/3989.xml	UNCERTIFIED 61763	UNCERTIFIED 61857	UNCERTIFIED 60060	UNCERTIFIED 60087	UNCERTIFIED 60154
tpdb-8.0/TRS/ICFP_2010/3995.xml	UNCERTIFIED 61228	UNCERTIFIED 62060	UNCERTIFIED 60060	UNCERTIFIED 60087	UNCERTIFIED 60219
tpdb-8.0/TRS/ICFP_2010/4002.xml	UNCERTIFIED 61284	YES 23821	UNCERTIFIED 60056	UNCERTIFIED 60090	UNCERTIFIED 60037
tpdb-8.0/TRS/ICFP_2010/40033.xml	UNCERTIFIED 60868	UNCERTIFIED 60849	UNCERTIFIED 60040	UNCERTIFIED 60037	UNCERTIFIED 60206
tpdb-8.0/TRS/ICFP_2010/40093.xml	UNCERTIFIED 61304	UNCERTIFIED 61715	UNCERTIFIED 49257	UNCERTIFIED 60092	YES 11082
tpdb-8.0/TRS/ICFP_2010/4017.xml	UNCERTIFIED 61594	UNCERTIFIED 62538	UNCERTIFIED 60049	UNCERTIFIED 60080	UNCERTIFIED 60210
tpdb-8.0/TRS/ICFP_2010/4029.xml	UNCERTIFIED 61346	UNCERTIFIED 61784	UNCERTIFIED 60062	UNCERTIFIED 60097	UNCERTIFIED 60162
tpdb-8.0/TRS/ICFP_2010/4036.xml	UNCERTIFIED 61830	UNCERTIFIED 61498	UNCERTIFIED 60136	UNCERTIFIED 60081	UNCERTIFIED 60189
tpdb-8.0/TRS/ICFP_2010/4046.xml	UNCERTIFIED 61039	YES 6027	UNCERTIFIED 60040	UNCERTIFIED 60093	YES 6005
tpdb-8.0/TRS/ICFP_2010/4051.xml	UNCERTIFIED 61618	UNCERTIFIED 61962	UNCERTIFIED 60058	UNCERTIFIED 60085	UNCERTIFIED 60155
tpdb-8.0/TRS/ICFP_2010/40540.xml	UNCERTIFIED 60634	YES 15239	UNCERTIFIED 60042	UNCERTIFIED 60042	UNCERTIFIED 60217
tpdb-8.0/TRS/ICFP_2010/4057.xml	UNCERTIFIED 61784	UNCERTIFIED 61437	UNCERTIFIED 60049	UNCERTIFIED 60078	UNCERTIFIED 60197
tpdb-8.0/TRS/ICFP_2010/40708.xml	UNCERTIFIED 61376	UNCERTIFIED 61846	UNCERTIFIED 17161	UNCERTIFIED 60100	YES 9797
tpdb-8.0/TRS/ICFP_2010/4074.xml	UNCERTIFIED 61334	UNCERTIFIED 61313	UNCERTIFIED 60069	UNCERTIFIED 60087	UNCERTIFIED 60113
tpdb-8.0/TRS/ICFP_2010/40976.xml	UNCERTIFIED 60666	YES 36626	UNCERTIFIED 60039	UNCERTIFIED 60040	UNCERTIFIED 60122
tpdb-8.0/TRS/ICFP_2010/4106.xml	UNCERTIFIED 61379	UNCERTIFIED 61715	UNCERTIFIED 60050	UNCERTIFIED 60028	UNCERTIFIED 60191
tpdb-8.0/TRS/ICFP_2010/41378.xml	UNCERTIFIED 60525	UNCERTIFIED 61033	UNCERTIFIED 60047	UNCERTIFIED 60043	UNCERTIFIED 60152
tpdb-8.0/TRS/ICFP_2010/4141.xml	UNCERTIFIED 61750	UNCERTIFIED 61562	UNCERTIFIED 60030	UNCERTIFIED 60028	UNCERTIFIED 60148
tpdb-8.0/TRS/ICFP_2010/41427.xml	UNCERTIFIED 60853	UNCERTIFIED 61060	UNCERTIFIED 60040	UNCERTIFIED 60042	UNCERTIFIED 60167
tpdb-8.0/TRS/ICFP_2010/4157.xml	UNCERTIFIED 61556	UNCERTIFIED 61485	UNCERTIFIED 60054	UNCERTIFIED 60085	UNCERTIFIED 60167
tpdb-8.0/TRS/ICFP_2010/41688.xml	UNCERTIFIED 60991	UNCERTIFIED 60809	UNCERTIFIED 60038	UNCERTIFIED 60039	UNCERTIFIED 60191
tpdb-8.0/TRS/ICFP_2010/4181.xml	YES 39210	YES 4943	UNCERTIFIED 60079	UNCERTIFIED 60099	UNCERTIFIED 60195
tpdb-8.0/TRS/ICFP_2010/41838.xml	UNCERTIFIED 61183	UNCERTIFIED 61618	UNCERTIFIED 60055	UNCERTIFIED 60066	UNCERTIFIED 60139
tpdb-8.0/TRS/ICFP_2010/41843.xml	UNCERTIFIED 61599	UNCERTIFIED 61293	UNCERTIFIED 60060	UNCERTIFIED 60081	UNCERTIFIED 60057
tpdb-8.0/TRS/ICFP_2010/41865.xml	UNCERTIFIED 60673	UNCERTIFIED 60954	UNCERTIFIED 60041	UNCERTIFIED 60043	UNCERTIFIED 60210
tpdb-8.0/TRS/ICFP_2010/4200.xml	UNCERTIFIED 61311	UNCERTIFIED 61549	UNCERTIFIED 60058	UNCERTIFIED 60083	UNCERTIFIED 60211
tpdb-8.0/TRS/ICFP_2010/4206.xml	UNCERTIFIED 60535	UNCERTIFIED 61241	UNCERTIFIED 60040	UNCERTIFIED 60036	UNCERTIFIED 60158
tpdb-8.0/TRS/ICFP_2010/42170.xml	UNCERTIFIED 60893	UNCERTIFIED 61050	UNCERTIFIED 60040	UNCERTIFIED 60038	UNCERTIFIED 60198
tpdb-8.0/TRS/ICFP_2010/42321.xml	UNCERTIFIED 60597	YES 16305	UNCERTIFIED 60046	UNCERTIFIED 60044	UNCERTIFIED 60177
tpdb-8.0/TRS/ICFP_2010/42466.xml	UNCERTIFIED 60818	UNCERTIFIED 60943	UNCERTIFIED 60039	UNCERTIFIED 60041	UNCERTIFIED 60233
tpdb-8.0/TRS/ICFP_2010/4248.xml	UNCERTIFIED 61236	UNCERTIFIED 61601	UNCERTIFIED 60073	UNCERTIFIED 60083	UNCERTIFIED 60135
tpdb-8.0/TRS/ICFP_2010/42683.xml	UNCERTIFIED 60879	YES 14860	UNCERTIFIED 60045	UNCERTIFIED 60044	UNCERTIFIED 60208
tpdb-8.0/TRS/ICFP_2010/4282.xml	UNCERTIFIED 61337	UNCERTIFIED 62020	UNCERTIFIED 60069	UNCERTIFIED 60093	UNCERTIFIED 60160
tpdb-8.0/TRS/ICFP_2010/4314.xml	UNCERTIFIED 61731	UNCERTIFIED 61866	UNCERTIFIED 60063	UNCERTIFIED 60079	UNCERTIFIED 60166
tpdb-8.0/TRS/ICFP_2010/43266.xml	UNCERTIFIED 60794	UNCERTIFIED 61004	UNCERTIFIED 60040	UNCERTIFIED 60038	UNCERTIFIED 60161
tpdb-8.0/TRS/ICFP_2010/43603.xml	UNCERTIFIED 60747	UNCERTIFIED 61356	UNCERTIFIED 60046	UNCERTIFIED 60052	UNCERTIFIED 60128
tpdb-8.0/TRS/ICFP_2010/43621.xml	UNCERTIFIED 60609	UNCERTIFIED 61315	UNCERTIFIED 60052	UNCERTIFIED 60051	UNCERTIFIED 60176
tpdb-8.0/TRS/ICFP_2010/43650.xml	UNCERTIFIED 60560	UNCERTIFIED 61170	UNCERTIFIED 60070	UNCERTIFIED 60050	UNCERTIFIED 60171
tpdb-8.0/TRS/ICFP_2010/4374.xml	UNCERTIFIED 61585	UNCERTIFIED 62590	UNCERTIFIED 60073	UNCERTIFIED 60096	UNCERTIFIED 60179
tpdb-8.0/TRS/ICFP_2010/43987.xml	UNCERTIFIED 61208	UNCERTIFIED 60862	UNCERTIFIED 60039	UNCERTIFIED 60039	UNCERTIFIED 60189
tpdb-8.0/TRS/ICFP_2010/4412.xml	UNCERTIFIED 61284	UNCERTIFIED 61435	UNCERTIFIED 60063	UNCERTIFIED 60076	UNCERTIFIED 60131
tpdb-8.0/TRS/ICFP_2010/44332.xml	UNCERTIFIED 60716	YES 17180	UNCERTIFIED 60042	UNCERTIFIED 60047	UNCERTIFIED 60238
tpdb-8.0/TRS/ICFP_2010/4484.xml	UNCERTIFIED 61807	UNCERTIFIED 62033	UNCERTIFIED 60072	UNCERTIFIED 60096	UNCERTIFIED 60146
tpdb-8.0/TRS/ICFP_2010/4487.xml	UNCERTIFIED 61432	UNCERTIFIED 61406	UNCERTIFIED 60062	UNCERTIFIED 60087	UNCERTIFIED 60188
tpdb-8.0/TRS/ICFP_2010/45720.xml	UNCERTIFIED 61196	UNCERTIFIED 61718	UNCERTIFIED 60069	UNCERTIFIED 60089	UNCERTIFIED 60181
tpdb-8.0/TRS/ICFP_2010/45757.xml	UNCERTIFIED 61793	UNCERTIFIED 62155	UNCERTIFIED 60066	UNCERTIFIED 60098	UNCERTIFIED 60158
tpdb-8.0/TRS/ICFP_2010/45970.xml	UNCERTIFIED 61134	UNCERTIFIED 60977	UNCERTIFIED 60035	UNCERTIFIED 60035	UNCERTIFIED 60170
tpdb-8.0/TRS/ICFP_2010/4816.xml	UNCERTIFIED 61408	UNCERTIFIED 61771	UNCERTIFIED 60055	UNCERTIFIED 60085	UNCERTIFIED 60175
tpdb-8.0/TRS/ICFP_2010/4819.xml	UNCERTIFIED 61345	UNCERTIFIED 61737	UNCERTIFIED 60059	UNCERTIFIED 60088	UNCERTIFIED 60163
tpdb-8.0/TRS/ICFP_2010/4824.xml	UNCERTIFIED 61264	UNCERTIFIED 61744	UNCERTIFIED 60063	UNCERTIFIED 60080	UNCERTIFIED 60158
tpdb-8.0/TRS/ICFP_2010/48262.xml	UNCERTIFIED 61860	UNCERTIFIED 61468	UNCERTIFIED 60072	UNCERTIFIED 60111	UNCERTIFIED 60193
tpdb-8.0/TRS/ICFP_2010/48267.xml	UNCERTIFIED 61449	UNCERTIFIED 61667	UNCERTIFIED 60030	UNCERTIFIED 60031	UNCERTIFIED 60182
tpdb-8.0/TRS/ICFP_2010/4827.xml	UNCERTIFIED 61592	UNCERTIFIED 61401	UNCERTIFIED 60029	UNCERTIFIED 60038	UNCERTIFIED 60097
tpdb-8.0/TRS/ICFP_2010/48328.xml	UNCERTIFIED 61004	UNCERTIFIED 62104	UNCERTIFIED 60030	UNCERTIFIED 60029	UNCERTIFIED 60228
tpdb-8.0/TRS/ICFP_2010/48374.xml	UNCERTIFIED 61460	UNCERTIFIED 61312	UNCERTIFIED 60058	UNCERTIFIED 60088	UNCERTIFIED 60250
tpdb-8.0/TRS/ICFP_2010/4840.xml	UNCERTIFIED 61625	UNCERTIFIED 61750	UNCERTIFIED 60088	UNCERTIFIED 60105	UNCERTIFIED 60123
tpdb-8.0/TRS/ICFP_2010/4847.xml	UNCERTIFIED 61608	UNCERTIFIED 61911	UNCERTIFIED 60064	UNCERTIFIED 60070	UNCERTIFIED 60155
tpdb-8.0/TRS/ICFP_2010/4854.xml	UNCERTIFIED 61661	UNCERTIFIED 61890	UNCERTIFIED 60058	UNCERTIFIED 60085	UNCERTIFIED 60207
tpdb-8.0/TRS/ICFP_2010/48686.xml	UNCERTIFIED 60789	UNCERTIFIED 61337	UNCERTIFIED 60033	UNCERTIFIED 60035	UNCERTIFIED 60196
tpdb-8.0/TRS/ICFP_2010/4893.xml	UNCERTIFIED 61601	UNCERTIFIED 61655	UNCERTIFIED 60061	UNCERTIFIED 60086	UNCERTIFIED 60162
tpdb-8.0/TRS/ICFP_2010/4920.xml	UNCERTIFIED 61548	UNCERTIFIED 61466	UNCERTIFIED 60032	UNCERTIFIED 60045	UNCERTIFIED 60136
tpdb-8.0/TRS/ICFP_2010/4934.xml	UNCERTIFIED 61448	UNCERTIFIED 61456	UNCERTIFIED 60075	UNCERTIFIED 60099	UNCERTIFIED 60148
tpdb-8.0/TRS/ICFP_2010/4938.xml	UNCERTIFIED 61265	UNCERTIFIED 61260	UNCERTIFIED 60057	UNCERTIFIED 60077	UNCERTIFIED 60167
tpdb-8.0/TRS/ICFP_2010/4943.xml	UNCERTIFIED 61340	UNCERTIFIED 61228	UNCERTIFIED 60053	UNCERTIFIED 60083	UNCERTIFIED 60134
tpdb-8.0/TRS/ICFP_2010/4953.xml	UNCERTIFIED 61630	UNCERTIFIED 61446	UNCERTIFIED 60058	UNCERTIFIED 60096	UNCERTIFIED 60171
tpdb-8.0/TRS/ICFP_2010/4964.xml	UNCERTIFIED 61693	UNCERTIFIED 61445	UNCERTIFIED 60064	UNCERTIFIED 60094	UNCERTIFIED 60177
tpdb-8.0/TRS/ICFP_2010/4970.xml	UNCERTIFIED 61521	UNCERTIFIED 61800	UNCERTIFIED 60059	UNCERTIFIED 60082	UNCERTIFIED 60046
tpdb-8.0/TRS/ICFP_2010/4979.xml	UNCERTIFIED 61649	UNCERTIFIED 61789	UNCERTIFIED 60076	UNCERTIFIED 60100	UNCERTIFIED 60119
tpdb-8.0/TRS/ICFP_2010/4991.xml	UNCERTIFIED 61330	UNCERTIFIED 61280	UNCERTIFIED 60075	UNCERTIFIED 60095	UNCERTIFIED 60153
tpdb-8.0/TRS/ICFP_2010/5011.xml	UNCERTIFIED 61507	UNCERTIFIED 61396	UNCERTIFIED 60071	UNCERTIFIED 60088	UNCERTIFIED 60128
tpdb-8.0/TRS/ICFP_2010/5076.xml	UNCERTIFIED 61397	UNCERTIFIED 61721	UNCERTIFIED 60077	UNCERTIFIED 60100	UNCERTIFIED 60143
tpdb-8.0/TRS/ICFP_2010/50904.xml	UNCERTIFIED 60754	UNCERTIFIED 60959	UNCERTIFIED 60036	UNCERTIFIED 60037	UNCERTIFIED 60182
tpdb-8.0/TRS/ICFP_2010/5109.xml	UNCERTIFIED 61304	UNCERTIFIED 61564	UNCERTIFIED 60070	UNCERTIFIED 60100	UNCERTIFIED 60214
tpdb-8.0/TRS/ICFP_2010/5130.xml	UNCERTIFIED 61658	UNCERTIFIED 61437	UNCERTIFIED 60058	UNCERTIFIED 60074	UNCERTIFIED 60180
tpdb-8.0/TRS/ICFP_2010/51424.xml	UNCERTIFIED 60690	UNCERTIFIED 61004	UNCERTIFIED 60047	UNCERTIFIED 60039	UNCERTIFIED 60155
tpdb-8.0/TRS/ICFP_2010/51577.xml	UNCERTIFIED 60540	UNCERTIFIED 61306	UNCERTIFIED 60052	UNCERTIFIED 60045	UNCERTIFIED 60230
tpdb-8.0/TRS/ICFP_2010/51842.xml	UNCERTIFIED 60535	UNCERTIFIED 61060	UNCERTIFIED 60053	UNCERTIFIED 60043	UNCERTIFIED 60184
tpdb-8.0/TRS/ICFP_2010/53216.xml	UNCERTIFIED 60539	UNCERTIFIED 61334	UNCERTIFIED 60050	UNCERTIFIED 60041	UNCERTIFIED 60176
tpdb-8.0/TRS/ICFP_2010/54097.xml	UNCERTIFIED 60611	UNCERTIFIED 60969	UNCERTIFIED 60050	UNCERTIFIED 60044	UNCERTIFIED 60099
tpdb-8.0/TRS/ICFP_2010/54532.xml	YES 19287	YES 5192	UNCERTIFIED 60028	UNCERTIFIED 60028	YES 35167
tpdb-8.0/TRS/ICFP_2010/54622.xml	YES 20981	YES 4603	UNCERTIFIED 60028	UNCERTIFIED 60028	YES 35182
tpdb-8.0/TRS/ICFP_2010/56144.xml	UNCERTIFIED 60504	UNCERTIFIED 61002	UNCERTIFIED 60051	UNCERTIFIED 60043	UNCERTIFIED 60293
tpdb-8.0/TRS/ICFP_2010/57132.xml	UNCERTIFIED 61082	UNCERTIFIED 62044	UNCERTIFIED 60047	UNCERTIFIED 60064	UNCERTIFIED 60214
tpdb-8.0/TRS/ICFP_2010/57278.xml	UNCERTIFIED 61384	UNCERTIFIED 61709	UNCERTIFIED 60055	UNCERTIFIED 60077	UNCERTIFIED 60284
tpdb-8.0/TRS/ICFP_2010/57355.xml	UNCERTIFIED 61435	UNCERTIFIED 61772	UNCERTIFIED 60040	UNCERTIFIED 60076	UNCERTIFIED 60187
tpdb-8.0/TRS/ICFP_2010/57453.xml	UNCERTIFIED 61305	UNCERTIFIED 61938	UNCERTIFIED 60052	UNCERTIFIED 60077	UNCERTIFIED 60297
tpdb-8.0/TRS/ICFP_2010/57799.xml	UNCERTIFIED 61182	YES 39465	UNCERTIFIED 60041	UNCERTIFIED 60076	UNCERTIFIED 60086
tpdb-8.0/TRS/ICFP_2010/57852.xml	UNCERTIFIED 60544	YES 27644	UNCERTIFIED 60046	UNCERTIFIED 60051	UNCERTIFIED 60202
tpdb-8.0/TRS/ICFP_2010/58125.xml	UNCERTIFIED 60727	UNCERTIFIED 60955	UNCERTIFIED 60051	UNCERTIFIED 60047	UNCERTIFIED 60171
tpdb-8.0/TRS/ICFP_2010/58194.xml	UNCERTIFIED 61590	UNCERTIFIED 61493	UNCERTIFIED 60044	UNCERTIFIED 60098	UNCERTIFIED 60254
tpdb-8.0/TRS/ICFP_2010/58221.xml	UNCERTIFIED 61346	UNCERTIFIED 62012	UNCERTIFIED 60052	UNCERTIFIED 60069	UNCERTIFIED 60248
tpdb-8.0/TRS/ICFP_2010/58301.xml	YES 49959	YES 36976	YES 29797	YES 39931	UNCERTIFIED 60075
tpdb-8.0/TRS/ICFP_2010/63142.xml	UNCERTIFIED 61397	YES 10011	UNCERTIFIED 60070	UNCERTIFIED 60096	UNCERTIFIED 60254
tpdb-8.0/TRS/ICFP_2010/64160.xml	UNCERTIFIED 61600	UNCERTIFIED 61959	UNCERTIFIED 60074	UNCERTIFIED 60095	UNCERTIFIED 60155
tpdb-8.0/TRS/ICFP_2010/65081.xml	UNCERTIFIED 61564	YES 4094	UNCERTIFIED 60050	UNCERTIFIED 60070	UNCERTIFIED 60116
tpdb-8.0/TRS/ICFP_2010/68322.xml	UNCERTIFIED 61052	UNCERTIFIED 62434	UNCERTIFIED 60053	UNCERTIFIED 60098	UNCERTIFIED 60233
tpdb-8.0/TRS/ICFP_2010/68535.xml	UNCERTIFIED 61204	UNCERTIFIED 61313	UNCERTIFIED 60029	UNCERTIFIED 60028	UNCERTIFIED 60149
tpdb-8.0/TRS/ICFP_2010/68989.xml	YES 46715	YES 7544	UNCERTIFIED 60069	UNCERTIFIED 60109	UNCERTIFIED 60116
tpdb-8.0/TRS/ICFP_2010/81452.xml	UNCERTIFIED 61462	UNCERTIFIED 61786	UNCERTIFIED 60075	UNCERTIFIED 60111	UNCERTIFIED 60179
tpdb-8.0/TRS/ICFP_2010/84886.xml	UNCERTIFIED 61448	UNCERTIFIED 61814	UNCERTIFIED 60029	UNCERTIFIED 60029	UNCERTIFIED 60294
tpdb-8.0/TRS/ICFP_2010/84977.xml	UNCERTIFIED 61351	UNCERTIFIED 61963	UNCERTIFIED 60050	UNCERTIFIED 60064	UNCERTIFIED 60249
tpdb-8.0/TRS/ICFP_2010/85039.xml	UNCERTIFIED 61059	UNCERTIFIED 61639	UNCERTIFIED 60047	UNCERTIFIED 60059	UNCERTIFIED 60254
tpdb-8.0/TRS/ICFP_2010/85079.xml	UNCERTIFIED 61051	UNCERTIFIED 62112	UNCERTIFIED 60029	UNCERTIFIED 60029	UNCERTIFIED 60275
tpdb-8.0/TRS/ICFP_2010/85267.xml	UNCERTIFIED 61403	UNCERTIFIED 62175	UNCERTIFIED 60054	UNCERTIFIED 60071	UNCERTIFIED 60187
tpdb-8.0/TRS/ICFP_2010/85294.xml	UNCERTIFIED 61389	UNCERTIFIED 62096	UNCERTIFIED 60052	UNCERTIFIED 60064	UNCERTIFIED 60267
tpdb-8.0/TRS/ICFP_2010/85345.xml	UNCERTIFIED 61049	UNCERTIFIED 62132	UNCERTIFIED 60043	UNCERTIFIED 60053	UNCERTIFIED 60190
tpdb-8.0/TRS/ICFP_2010/85380.xml	UNCERTIFIED 61106	UNCERTIFIED 61784	UNCERTIFIED 60060	UNCERTIFIED 60073	UNCERTIFIED 60265
tpdb-8.0/TRS/ICFP_2010/85477.xml	UNCERTIFIED 61037	YES 26361	UNCERTIFIED 60244	UNCERTIFIED 60029	UNCERTIFIED 60184
tpdb-8.0/TRS/ICFP_2010/85590.xml	UNCERTIFIED 61418	UNCERTIFIED 62247	UNCERTIFIED 60079	UNCERTIFIED 60085	UNCERTIFIED 60205
tpdb-8.0/TRS/ICFP_2010/85650.xml	UNCERTIFIED 61241	YES 23933	UNCERTIFIED 60028	UNCERTIFIED 60027	UNCERTIFIED 60265
tpdb-8.0/TRS/ICFP_2010/85675.xml	UNCERTIFIED 61027	YES 5696	UNCERTIFIED 60028	UNCERTIFIED 60028	UNCERTIFIED 60050
tpdb-8.0/TRS/ICFP_2010/85721.xml	UNCERTIFIED 61390	UNCERTIFIED 61874	UNCERTIFIED 60066	UNCERTIFIED 60093	UNCERTIFIED 60261
tpdb-8.0/TRS/ICFP_2010/85749.xml	UNCERTIFIED 61546	YES 4673	UNCERTIFIED 60059	UNCERTIFIED 60099	UNCERTIFIED 60243
tpdb-8.0/TRS/ICFP_2010/85782.xml	UNCERTIFIED 61312	UNCERTIFIED 61959	UNCERTIFIED 60067	UNCERTIFIED 60097	UNCERTIFIED 60176
tpdb-8.0/TRS/ICFP_2010/85834.xml	UNCERTIFIED 61549	YES 8757	UNCERTIFIED 60068	UNCERTIFIED 60099	UNCERTIFIED 60155
tpdb-8.0/TRS/ICFP_2010/85874.xml	UNCERTIFIED 61486	UNCERTIFIED 61835	UNCERTIFIED 60070	UNCERTIFIED 60083	UNCERTIFIED 60195
tpdb-8.0/TRS/ICFP_2010/85920.xml	UNCERTIFIED 61079	UNCERTIFIED 61871	UNCERTIFIED 60063	UNCERTIFIED 60105	UNCERTIFIED 60242
tpdb-8.0/TRS/ICFP_2010/86025.xml	UNCERTIFIED 61472	UNCERTIFIED 62662	UNCERTIFIED 60075	UNCERTIFIED 60082	UNCERTIFIED 60151
tpdb-8.0/TRS/ICFP_2010/86052.xml	UNCERTIFIED 61085	UNCERTIFIED 61972	UNCERTIFIED 60066	UNCERTIFIED 60092	UNCERTIFIED 60183
tpdb-8.0/TRS/ICFP_2010/86452.xml	UNCERTIFIED 61110	UNCERTIFIED 61841	UNCERTIFIED 60070	UNCERTIFIED 60090	UNCERTIFIED 60206
tpdb-8.0/TRS/ICFP_2010/86499.xml	UNCERTIFIED 61418	UNCERTIFIED 62001	UNCERTIFIED 60062	UNCERTIFIED 60081	UNCERTIFIED 60192
tpdb-8.0/TRS/ICFP_2010/86526.xml	UNCERTIFIED 61438	UNCERTIFIED 61371	UNCERTIFIED 60075	UNCERTIFIED 60107	UNCERTIFIED 60218
tpdb-8.0/TRS/ICFP_2010/86559.xml	UNCERTIFIED 61206	YES 8849	UNCERTIFIED 60029	UNCERTIFIED 60029	UNCERTIFIED 60274
tpdb-8.0/TRS/ICFP_2010/86577.xml	UNCERTIFIED 61083	UNCERTIFIED 62178	UNCERTIFIED 60070	UNCERTIFIED 60107	UNCERTIFIED 60185
tpdb-8.0/TRS/ICFP_2010/86617.xml	UNCERTIFIED 61532	UNCERTIFIED 61667	UNCERTIFIED 60070	UNCERTIFIED 60101	UNCERTIFIED 60198
tpdb-8.0/TRS/ICFP_2010/86636.xml	UNCERTIFIED 61418	UNCERTIFIED 61705	UNCERTIFIED 60081	UNCERTIFIED 60088	UNCERTIFIED 60202
tpdb-8.0/TRS/ICFP_2010/86745.xml	UNCERTIFIED 61014	YES 9149	UNCERTIFIED 60066	UNCERTIFIED 60100	UNCERTIFIED 60210
tpdb-8.0/TRS/ICFP_2010/86816.xml	UNCERTIFIED 61064	UNCERTIFIED 62085	UNCERTIFIED 60054	UNCERTIFIED 60067	UNCERTIFIED 60248
tpdb-8.0/TRS/ICFP_2010/86857.xml	UNCERTIFIED 61292	UNCERTIFIED 62011	UNCERTIFIED 60029	UNCERTIFIED 60028	UNCERTIFIED 60175
tpdb-8.0/TRS/ICFP_2010/88143.xml	UNCERTIFIED 61067	YES 21026	UNCERTIFIED 60030	UNCERTIFIED 60031	UNCERTIFIED 60310
tpdb-8.0/TRS/ICFP_2010/88156.xml	UNCERTIFIED 61394	UNCERTIFIED 61609	UNCERTIFIED 60029	UNCERTIFIED 60030	UNCERTIFIED 60288
tpdb-8.0/TRS/ICFP_2010/88172.xml	UNCERTIFIED 61272	YES 14911	UNCERTIFIED 60029	UNCERTIFIED 60030	UNCERTIFIED 60240
tpdb-8.0/TRS/ICFP_2010/88183.xml	UNCERTIFIED 61105	UNCERTIFIED 61982	UNCERTIFIED 60030	UNCERTIFIED 60030	UNCERTIFIED 60329
tpdb-8.0/TRS/ICFP_2010/88208.xml	UNCERTIFIED 61310	UNCERTIFIED 62229	UNCERTIFIED 60029	UNCERTIFIED 60029	UNCERTIFIED 60276
tpdb-8.0/TRS/ICFP_2010/88283.xml	UNCERTIFIED 61073	UNCERTIFIED 62446	UNCERTIFIED 60029	UNCERTIFIED 60030	UNCERTIFIED 60303
tpdb-8.0/TRS/ICFP_2010/91210.xml	UNCERTIFIED 61337	YES 14800	UNCERTIFIED 60036	UNCERTIFIED 60034	UNCERTIFIED 60102
tpdb-8.0/TRS/ICFP_2010/91218.xml	UNCERTIFIED 61160	UNCERTIFIED 61176	UNCERTIFIED 60033	UNCERTIFIED 60033	UNCERTIFIED 60137
tpdb-8.0/TRS/ICFP_2010/91233.xml	UNCERTIFIED 60954	YES 12923	UNCERTIFIED 60036	UNCERTIFIED 60034	UNCERTIFIED 60178
tpdb-8.0/TRS/ICFP_2010/91242.xml	UNCERTIFIED 60843	UNCERTIFIED 61237	UNCERTIFIED 60033	UNCERTIFIED 60052	UNCERTIFIED 60164
tpdb-8.0/TRS/ICFP_2010/91254.xml	UNCERTIFIED 61236	UNCERTIFIED 61263	UNCERTIFIED 60035	UNCERTIFIED 60033	UNCERTIFIED 60178
tpdb-8.0/TRS/ICFP_2010/95858.xml	UNCERTIFIED 61184	UNCERTIFIED 62027	UNCERTIFIED 60067	UNCERTIFIED 60094	UNCERTIFIED 60222
tpdb-8.0/TRS/ICFP_2010/95899.xml	UNCERTIFIED 61373	UNCERTIFIED 61604	UNCERTIFIED 60062	UNCERTIFIED 60091	UNCERTIFIED 60158
tpdb-8.0/TRS/ICFP_2010/95952.xml	UNCERTIFIED 61010	UNCERTIFIED 61964	UNCERTIFIED 60055	UNCERTIFIED 60082	UNCERTIFIED 60211
tpdb-8.0/TRS/ICFP_2010/95978.xml	UNCERTIFIED 61076	UNCERTIFIED 62135	UNCERTIFIED 60060	UNCERTIFIED 60084	UNCERTIFIED 60282
tpdb-8.0/TRS/ICFP_2010/96029.xml	UNCERTIFIED 61263	UNCERTIFIED 61356	UNCERTIFIED 60156	UNCERTIFIED 60108	UNCERTIFIED 60130
tpdb-8.0/TRS/ICFP_2010/96065.xml	UNCERTIFIED 61199	UNCERTIFIED 61332	UNCERTIFIED 60077	UNCERTIFIED 60106	UNCERTIFIED 60195
tpdb-8.0/TRS/ICFP_2010/96086.xml	YES 12307	YES 4729	UNCERTIFIED 60029	UNCERTIFIED 60048	UNCERTIFIED 60040
tpdb-8.0/TRS/ICFP_2010/96104.xml	UNCERTIFIED 61412	UNCERTIFIED 62475	UNCERTIFIED 60066	UNCERTIFIED 60101	UNCERTIFIED 60173
tpdb-8.0/TRS/ICFP_2010/96119.xml	UNCERTIFIED 61429	UNCERTIFIED 61712	UNCERTIFIED 60076	UNCERTIFIED 60116	UNCERTIFIED 60183
tpdb-8.0/TRS/ICFP_2010/96156.xml	UNCERTIFIED 61063	UNCERTIFIED 61454	UNCERTIFIED 60066	UNCERTIFIED 60093	UNCERTIFIED 60237
tpdb-8.0/TRS/ICFP_2010/96176.xml	UNCERTIFIED 61261	UNCERTIFIED 61949	UNCERTIFIED 60080	UNCERTIFIED 60242	UNCERTIFIED 60149
tpdb-8.0/TRS/ICFP_2010/96198.xml	UNCERTIFIED 61409	UNCERTIFIED 61520	UNCERTIFIED 60072	UNCERTIFIED 60110	UNCERTIFIED 60165
tpdb-8.0/TRS/ICFP_2010/96224.xml	YES 33792	YES 4113	UNCERTIFIED 60029	UNCERTIFIED 60030	YES 51767
tpdb-8.0/TRS/ICFP_2010/96239.xml	UNCERTIFIED 61343	UNCERTIFIED 61987	UNCERTIFIED 60080	UNCERTIFIED 60093	UNCERTIFIED 60169
tpdb-8.0/TRS/ICFP_2010/96256.xml	UNCERTIFIED 61344	UNCERTIFIED 62186	UNCERTIFIED 60079	UNCERTIFIED 60108	UNCERTIFIED 60133
tpdb-8.0/TRS/ICFP_2010/96274.xml	UNCERTIFIED 61391	YES 4039	UNCERTIFIED 60201	UNCERTIFIED 60029	UNCERTIFIED 60180
tpdb-8.0/TRS/ICFP_2010/96289.xml	UNCERTIFIED 61300	UNCERTIFIED 61466	UNCERTIFIED 60073	UNCERTIFIED 60103	UNCERTIFIED 60134
tpdb-8.0/TRS/ICFP_2010/96302.xml	UNCERTIFIED 61189	UNCERTIFIED 61334	UNCERTIFIED 60080	UNCERTIFIED 60028	UNCERTIFIED 60140
tpdb-8.0/TRS/ICFP_2010/96334.xml	UNCERTIFIED 61095	UNCERTIFIED 61910	UNCERTIFIED 60070	UNCERTIFIED 60109	UNCERTIFIED 60192
tpdb-8.0/TRS/ICFP_2010/96370.xml	UNCERTIFIED 61465	YES 22825	UNCERTIFIED 60028	UNCERTIFIED 60029	UNCERTIFIED 60212
tpdb-8.0/TRS/ICFP_2010/96403.xml	UNCERTIFIED 61288	UNCERTIFIED 61866	UNCERTIFIED 60073	UNCERTIFIED 60111	UNCERTIFIED 60167
tpdb-8.0/TRS/ICFP_2010/96417.xml	UNCERTIFIED 61384	UNCERTIFIED 61433	UNCERTIFIED 60078	UNCERTIFIED 60095	UNCERTIFIED 60199
tpdb-8.0/TRS/ICFP_2010/96438.xml	UNCERTIFIED 61471	UNCERTIFIED 62163	UNCERTIFIED 60089	UNCERTIFIED 60107	UNCERTIFIED 60055
tpdb-8.0/TRS/ICFP_2010/96464.xml	UNCERTIFIED 61378	YES 28797	UNCERTIFIED 60028	UNCERTIFIED 60028	UNCERTIFIED 60052
tpdb-8.0/TRS/ICFP_2010/96485.xml	YES 29909	YES 4388	UNCERTIFIED 60071	UNCERTIFIED 60105	UNCERTIFIED 60219
tpdb-8.0/TRS/ICFP_2010/96523.xml	UNCERTIFIED 61459	UNCERTIFIED 61565	UNCERTIFIED 60074	UNCERTIFIED 60112	UNCERTIFIED 60137
tpdb-8.0/TRS/ICFP_2010/96563.xml	UNCERTIFIED 61503	YES 9365	UNCERTIFIED 60029	UNCERTIFIED 60028	UNCERTIFIED 60150
tpdb-8.0/TRS/ICFP_2010/96612.xml	UNCERTIFIED 61328	UNCERTIFIED 61374	UNCERTIFIED 60075	UNCERTIFIED 60090	UNCERTIFIED 60050
tpdb-8.0/TRS/ICFP_2010/96642.xml	UNCERTIFIED 61239	YES 29116	UNCERTIFIED 60029	UNCERTIFIED 60028	UNCERTIFIED 60210
tpdb-8.0/TRS/ICFP_2010/96673.xml	UNCERTIFIED 61333	UNCERTIFIED 61848	UNCERTIFIED 60066	UNCERTIFIED 60090	UNCERTIFIED 60286
tpdb-8.0/TRS/ICFP_2010/97885.xml	UNCERTIFIED 60555	UNCERTIFIED 61021	UNCERTIFIED 60054	UNCERTIFIED 60050	UNCERTIFIED 60268
tpdb-8.0/TRS/ICFP_2010/97888.xml	UNCERTIFIED 60574	UNCERTIFIED 61041	UNCERTIFIED 60053	UNCERTIFIED 60049	UNCERTIFIED 60250
tpdb-8.0/TRS/ICFP_2010/97901.xml	UNCERTIFIED 60889	UNCERTIFIED 60978	UNCERTIFIED 60036	UNCERTIFIED 60036	UNCERTIFIED 60141
tpdb-8.0/TRS/ICFP_2010/97917.xml	UNCERTIFIED 60508	UNCERTIFIED 61240	UNCERTIFIED 60056	UNCERTIFIED 60050	UNCERTIFIED 60239
tpdb-8.0/TRS/ICFP_2010/97929.xml	UNCERTIFIED 60576	UNCERTIFIED 61083	UNCERTIFIED 60052	UNCERTIFIED 60050	UNCERTIFIED 60188
tpdb-8.0/TRS/ICFP_2010/98362.xml	UNCERTIFIED 61292	UNCERTIFIED 61389	UNCERTIFIED 60028	UNCERTIFIED 60028	UNCERTIFIED 60212
tpdb-8.0/TRS/ICFP_2010/98623.xml	UNCERTIFIED 60519	YES 16467	UNCERTIFIED 60043	UNCERTIFIED 60045	UNCERTIFIED 60151
tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml	UNCERTIFIED 60177	UNCERTIFIED 61044	UNCERTIFIED 1028	UNCERTIFIED 60029	UNCERTIFIED 60066
tpdb-8.0/TRS/Mixed_SRS/01.xml	UNCERTIFIED 60380	UNCERTIFIED 62359	UNCERTIFIED 863	UNCERTIFIED 60031	UNCERTIFIED 60059
tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml	UNCERTIFIED 60136	UNCERTIFIED 60937	UNCERTIFIED 388	UNCERTIFIED 2873	UNCERTIFIED 60062
tpdb-8.0/TRS/Mixed_SRS/02.xml	UNCERTIFIED 60404	UNCERTIFIED 61302	UNCERTIFIED 4686	UNCERTIFIED 60028	UNCERTIFIED 60061
tpdb-8.0/TRS/Mixed_SRS/03-oppelt08.xml	UNCERTIFIED 60111	UNCERTIFIED 61054	UNCERTIFIED 441	UNCERTIFIED 2572	UNCERTIFIED 60068
tpdb-8.0/TRS/Mixed_SRS/03.xml	UNCERTIFIED 60130	YES 9652	UNCERTIFIED 581	UNCERTIFIED 24886	UNCERTIFIED 60059
tpdb-8.0/TRS/Mixed_SRS/04-oppelt08.xml	UNCERTIFIED 60122	UNCERTIFIED 61379	UNCERTIFIED 396	UNCERTIFIED 6445	UNCERTIFIED 60071
tpdb-8.0/TRS/Mixed_SRS/04.xml	UNCERTIFIED 60152	YES 13354	UNCERTIFIED 381	UNCERTIFIED 24027	YES 15845
tpdb-8.0/TRS/Mixed_SRS/05-oppelt08.xml	UNCERTIFIED 60114	UNCERTIFIED 61258	UNCERTIFIED 810	UNCERTIFIED 6300	UNCERTIFIED 60079
tpdb-8.0/TRS/Mixed_SRS/05.xml	UNCERTIFIED 60196	YES 8137	UNCERTIFIED 473	UNCERTIFIED 60031	YES 9852
tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml	UNCERTIFIED 60097	UNCERTIFIED 60863	UNCERTIFIED 243	UNCERTIFIED 653	UNCERTIFIED 60069
tpdb-8.0/TRS/Mixed_SRS/06.xml	UNCERTIFIED 60162	YES 4420	UNCERTIFIED 367	UNCERTIFIED 18059	YES 7277
tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml	UNCERTIFIED 60115	UNCERTIFIED 60938	UNCERTIFIED 413	UNCERTIFIED 5962	UNCERTIFIED 60057
tpdb-8.0/TRS/Mixed_SRS/07.xml	UNCERTIFIED 60147	YES 6802	UNCERTIFIED 215	UNCERTIFIED 4392	YES 6099
tpdb-8.0/TRS/Mixed_SRS/08-oppelt08.xml	UNCERTIFIED 61135	UNCERTIFIED 61264	UNCERTIFIED 2588	UNCERTIFIED 60063	UNCERTIFIED 60068
tpdb-8.0/TRS/Mixed_SRS/08.xml	UNCERTIFIED 60179	UNCERTIFIED 61100	UNCERTIFIED 576	UNCERTIFIED 50517	UNCERTIFIED 60060
tpdb-8.0/TRS/Mixed_SRS/09.xml	YES 40845	YES 22048	UNCERTIFIED 893	UNCERTIFIED 56528	YES 6746
tpdb-8.0/TRS/Mixed_SRS/1.xml	UNCERTIFIED 60090	UNCERTIFIED 61619	UNCERTIFIED 159	UNCERTIFIED 2176	NO 653
tpdb-8.0/TRS/Mixed_SRS/2.xml	UNCERTIFIED 60129	YES 6866	UNCERTIFIED 244	UNCERTIFIED 8195	UNCERTIFIED 60047
tpdb-8.0/TRS/Mixed_SRS/3.xml	YES 2606	YES 3553	UNCERTIFIED 208	YES 398	YES 819
tpdb-8.0/TRS/Mixed_SRS/4.xml	UNCERTIFIED 61429	UNCERTIFIED 61905	UNCERTIFIED 8428	UNCERTIFIED 60087	UNCERTIFIED 60065
tpdb-8.0/TRS/Mixed_SRS/s6.xml	YES 2727	YES 3135	YES 115	YES 2967	YES 6190
tpdb-8.0/TRS/Mixed_SRS/touzet.xml	UNCERTIFIED 60106	YES 2926	UNCERTIFIED 186	UNCERTIFIED 524	YES 1541
tpdb-8.0/TRS/Mixed_SRS/turing_add.xml	YES 3677	YES 3588	YES 72	YES 72	YES 2447
tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml	UNCERTIFIED 60758	NO 2777	UNCERTIFIED 60030	UNCERTIFIED 60032	NO 398
tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml	UNCERTIFIED 60775	NO 4158	UNCERTIFIED 60030	UNCERTIFIED 60033	NO 608
tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml	UNCERTIFIED 60786	YES 6165	UNCERTIFIED 934	UNCERTIFIED 60033	YES 6907
tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml	UNCERTIFIED 60416	YES 5294	UNCERTIFIED 1419	UNCERTIFIED 60029	YES 7807
tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml	UNCERTIFIED 60561	UNCERTIFIED 62168	UNCERTIFIED 1216	UNCERTIFIED 24308	YES 4768
tpdb-8.0/TRS/Secret_05_SRS/aprove4.xml	UNCERTIFIED 60893	YES 5621	UNCERTIFIED 864	UNCERTIFIED 60040	YES 8354
tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml	UNCERTIFIED 60388	YES 11301	UNCERTIFIED 1266	UNCERTIFIED 45514	YES 7877
tpdb-8.0/TRS/Secret_05_SRS/jambox1.xml	UNCERTIFIED 60158	YES 8316	UNCERTIFIED 556	UNCERTIFIED 60029	UNCERTIFIED 60069
tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml	UNCERTIFIED 60360	UNCERTIFIED 61350	UNCERTIFIED 1637	UNCERTIFIED 60031	UNCERTIFIED 60058
tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml	UNCERTIFIED 60183	UNCERTIFIED 61770	UNCERTIFIED 832	UNCERTIFIED 60030	UNCERTIFIED 60065
tpdb-8.0/TRS/Secret_05_SRS/jambox4.xml	YES 54561	YES 6019	UNCERTIFIED 362	UNCERTIFIED 1963	YES 7265
tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml	UNCERTIFIED 60224	UNCERTIFIED 61399	UNCERTIFIED 495	UNCERTIFIED 1960	UNCERTIFIED 60049
tpdb-8.0/TRS/Secret_05_SRS/matchbox1.xml	YES 5085	YES 7777	UNCERTIFIED 5519	YES 17769	YES 2069
tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml	YES 9140	YES 9001	UNCERTIFIED 6824	UNCERTIFIED 60078	YES 3711
tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml	YES 3530	YES 3744	YES 671	YES 1645	YES 2465
tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml	UNCERTIFIED 60134	YES 34172	UNCERTIFIED 259	UNCERTIFIED 7747	YES 8647
tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml	YES 3108	YES 14630	YES 215	YES 251	YES 2636
tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml	UNCERTIFIED 60616	YES 3403	UNCERTIFIED 1921	YES 15385	YES 5415
tpdb-8.0/TRS/Secret_06_SRS/10.xml	YES 3002	YES 4104	UNCERTIFIED 167	UNCERTIFIED 9205	YES 6842
tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml	UNCERTIFIED 60670	UNCERTIFIED 61571	UNCERTIFIED 354	UNCERTIFIED 60032	UNCERTIFIED 60060
tpdb-8.0/TRS/Secret_06_SRS/1.xml	UNCERTIFIED 60151	UNCERTIFIED 61289	UNCERTIFIED 376	UNCERTIFIED 5653	UNCERTIFIED 60075
tpdb-8.0/TRS/Secret_06_SRS/2-matchbox.xml	UNCERTIFIED 60948	UNCERTIFIED 61496	UNCERTIFIED 4113	UNCERTIFIED 60068	YES 37760
tpdb-8.0/TRS/Secret_06_SRS/2.xml	UNCERTIFIED 60199	YES 6958	UNCERTIFIED 816	UNCERTIFIED 60031	YES 9940
tpdb-8.0/TRS/Secret_06_SRS/3-matchbox.xml	YES 3989	YES 34234	UNCERTIFIED 60030	YES 10322	YES 3605
tpdb-8.0/TRS/Secret_06_SRS/3.xml	UNCERTIFIED 60293	UNCERTIFIED 61646	UNCERTIFIED 566	UNCERTIFIED 31562	UNCERTIFIED 60065
tpdb-8.0/TRS/Secret_06_SRS/5-matchbox.xml	YES 15897	YES 6547	UNCERTIFIED 328	YES 3051	YES 7527
tpdb-8.0/TRS/Secret_06_SRS/5.xml	UNCERTIFIED 60363	YES 19509	UNCERTIFIED 610	UNCERTIFIED 35313	YES 24556
tpdb-8.0/TRS/Secret_06_SRS/6.xml	YES 4634	YES 5266	UNCERTIFIED 9090	YES 5262	YES 1866
tpdb-8.0/TRS/Secret_06_SRS/7.xml	YES 3088	YES 4992	UNCERTIFIED 230	YES 2002	YES 6445
tpdb-8.0/TRS/Secret_06_SRS/8.xml	YES 4281	YES 23113	UNCERTIFIED 1693	YES 7236	YES 2566
tpdb-8.0/TRS/Secret_06_SRS/9.xml	YES 3461	YES 4612	UNCERTIFIED 215	UNCERTIFIED 4397	YES 6659
tpdb-8.0/TRS/Secret_06_SRS/aprove00.xml	UNCERTIFIED 61277	YES 3672	UNCERTIFIED 5553	UNCERTIFIED 60113	YES 6251
tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml	UNCERTIFIED 61614	YES 6370	UNCERTIFIED 7459	UNCERTIFIED 60099	YES 6715
tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml	UNCERTIFIED 61157	UNCERTIFIED 61508	UNCERTIFIED 17373	UNCERTIFIED 60108	YES 6959
tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml	UNCERTIFIED 61283	YES 12724	UNCERTIFIED 47184	UNCERTIFIED 60100	UNCERTIFIED 60089
tpdb-8.0/TRS/Secret_06_SRS/aprove04.xml	UNCERTIFIED 61515	YES 52821	UNCERTIFIED 6699	UNCERTIFIED 60099	YES 12162
tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml	UNCERTIFIED 61613	YES 4991	UNCERTIFIED 18134	UNCERTIFIED 60118	YES 6680
tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml	UNCERTIFIED 61378	YES 20621	UNCERTIFIED 4037	UNCERTIFIED 60128	YES 11390
tpdb-8.0/TRS/Secret_06_SRS/aprove07.xml	UNCERTIFIED 61248	UNCERTIFIED 61976	UNCERTIFIED 6185	UNCERTIFIED 60102	YES 7421
tpdb-8.0/TRS/Secret_06_SRS/aprove08.xml	UNCERTIFIED 61527	UNCERTIFIED 62044	UNCERTIFIED 10953	UNCERTIFIED 60106	YES 9940
tpdb-8.0/TRS/Secret_06_SRS/aprove09.xml	UNCERTIFIED 61470	YES 4290	UNCERTIFIED 5534	UNCERTIFIED 60083	YES 6203
tpdb-8.0/TRS/Secret_06_SRS/multum1.xml	UNCERTIFIED 60197	UNCERTIFIED 61569	UNCERTIFIED 1846	UNCERTIFIED 60029	YES 3314
tpdb-8.0/TRS/Secret_06_SRS/multum2.xml	UNCERTIFIED 60238	YES 21174	UNCERTIFIED 521	UNCERTIFIED 27324	YES 1345
tpdb-8.0/TRS/Secret_06_SRS/multum3.xml	YES 54548	YES 4194	UNCERTIFIED 518	UNCERTIFIED 31414	YES 6497
tpdb-8.0/TRS/Secret_06_SRS/multum4.xml	UNCERTIFIED 61244	UNCERTIFIED 61982	UNCERTIFIED 56191	UNCERTIFIED 60087	YES 3267
tpdb-8.0/TRS/Secret_06_SRS/multum5.xml	YES 4150	YES 6476	UNCERTIFIED 2043	YES 2748	YES 1336
tpdb-8.0/TRS/Secret_06_SRS/multum6.xml	YES 8910	YES 5692	UNCERTIFIED 1517	YES 8496	YES 3297
tpdb-8.0/TRS/Secret_06_SRS/secr10.xml	UNCERTIFIED 60488	YES 8221	UNCERTIFIED 4510	UNCERTIFIED 60031	YES 6827
tpdb-8.0/TRS/Secret_06_SRS/secr1.xml	UNCERTIFIED 60146	YES 3062	UNCERTIFIED 321	UNCERTIFIED 2106	YES 2443
tpdb-8.0/TRS/Secret_06_SRS/secr2.xml	UNCERTIFIED 60135	YES 3696	UNCERTIFIED 315	UNCERTIFIED 860	YES 3444
tpdb-8.0/TRS/Secret_06_SRS/secr3.xml	UNCERTIFIED 60141	YES 5158	UNCERTIFIED 537	UNCERTIFIED 4398	UNCERTIFIED 60063
tpdb-8.0/TRS/Secret_06_SRS/secr4.xml	UNCERTIFIED 60312	YES 19369	UNCERTIFIED 600	UNCERTIFIED 8088	YES 1917
tpdb-8.0/TRS/Secret_06_SRS/secr5.xml	UNCERTIFIED 60382	UNCERTIFIED 61106	UNCERTIFIED 808	UNCERTIFIED 60030	UNCERTIFIED 60063
tpdb-8.0/TRS/Secret_06_SRS/secr6.xml	UNCERTIFIED 62608	YES 11338	UNCERTIFIED 3273	UNCERTIFIED 60084	YES 6881
tpdb-8.0/TRS/Secret_06_SRS/secr7.xml	UNCERTIFIED 60712	YES 4494	UNCERTIFIED 578	UNCERTIFIED 60032	YES 6091
tpdb-8.0/TRS/Secret_06_SRS/secr8.xml	YES 16678	YES 5324	UNCERTIFIED 534	UNCERTIFIED 3014	YES 7833
tpdb-8.0/TRS/Secret_06_SRS/secr9.xml	UNCERTIFIED 60696	YES 9918	UNCERTIFIED 1480	UNCERTIFIED 60034	YES 9588
tpdb-8.0/TRS/Secret_07_SRS/dj.xml	YES 2127	YES 2612	YES 44	YES 136	YES 1206
tpdb-8.0/TRS/Secret_07_SRS/num-514.xml	UNCERTIFIED 60237	UNCERTIFIED 62242	UNCERTIFIED 323	UNCERTIFIED 60030	UNCERTIFIED 60058
tpdb-8.0/TRS/Secret_07_SRS/num-515.xml	UNCERTIFIED 60643	UNCERTIFIED 61070	UNCERTIFIED 345	UNCERTIFIED 60032	UNCERTIFIED 60056
tpdb-8.0/TRS/Secret_07_SRS/num-518.xml	UNCERTIFIED 60121	UNCERTIFIED 61448	UNCERTIFIED 343	UNCERTIFIED 49724	UNCERTIFIED 60068
tpdb-8.0/TRS/Secret_07_SRS/num-519.xml	UNCERTIFIED 60561	UNCERTIFIED 61281	UNCERTIFIED 577	UNCERTIFIED 44267	UNCERTIFIED 60077
tpdb-8.0/TRS/Secret_07_SRS/num-520.xml	UNCERTIFIED 60138	UNCERTIFIED 61033	UNCERTIFIED 212	UNCERTIFIED 19538	UNCERTIFIED 60061
tpdb-8.0/TRS/Secret_07_SRS/num-521.xml	UNCERTIFIED 60471	UNCERTIFIED 61354	UNCERTIFIED 276	UNCERTIFIED 60029	UNCERTIFIED 60062
tpdb-8.0/TRS/Secret_07_SRS/num-525.xml	UNCERTIFIED 60347	UNCERTIFIED 61191	UNCERTIFIED 533	UNCERTIFIED 60029	NO 1360
tpdb-8.0/TRS/Secret_07_SRS/num-527.xml	UNCERTIFIED 60281	UNCERTIFIED 60899	UNCERTIFIED 266	UNCERTIFIED 60030	UNCERTIFIED 60058
tpdb-8.0/TRS/Secret_07_SRS/num-530.xml	UNCERTIFIED 60635	UNCERTIFIED 61479	UNCERTIFIED 356	UNCERTIFIED 60033	NO 4709
tpdb-8.0/TRS/Secret_07_SRS/num-539.xml	UNCERTIFIED 60183	UNCERTIFIED 61699	UNCERTIFIED 467	UNCERTIFIED 60029	NO 646
tpdb-8.0/TRS/Secret_07_SRS/x01.xml	UNCERTIFIED 60099	YES 4503	UNCERTIFIED 212	UNCERTIFIED 381	UNCERTIFIED 60070
tpdb-8.0/TRS/Secret_07_SRS/x02.xml	UNCERTIFIED 60103	UNCERTIFIED 61856	UNCERTIFIED 199	UNCERTIFIED 380	YES 5074
tpdb-8.0/TRS/Secret_07_SRS/x03.xml	UNCERTIFIED 60135	YES 4212	UNCERTIFIED 477	YES 1536	YES 6333
tpdb-8.0/TRS/Secret_07_SRS/x04.xml	UNCERTIFIED 60523	YES 29338	UNCERTIFIED 1369	UNCERTIFIED 60032	YES 9026
tpdb-8.0/TRS/Secret_07_SRS/x05.xml	UNCERTIFIED 60113	YES 3490	UNCERTIFIED 247	UNCERTIFIED 1366	YES 6501
tpdb-8.0/TRS/Secret_07_SRS/x06.xml	UNCERTIFIED 60119	UNCERTIFIED 61215	UNCERTIFIED 433	UNCERTIFIED 795	UNCERTIFIED 60069
tpdb-8.0/TRS/Secret_07_SRS/x07.xml	UNCERTIFIED 60205	UNCERTIFIED 62036	UNCERTIFIED 581	UNCERTIFIED 3510	UNCERTIFIED 60070
tpdb-8.0/TRS/Secret_07_SRS/x08.xml	UNCERTIFIED 60731	YES 10222	UNCERTIFIED 1071	UNCERTIFIED 60075	UNCERTIFIED 60068
tpdb-8.0/TRS/Secret_07_SRS/x09.xml	UNCERTIFIED 60920	UNCERTIFIED 61570	UNCERTIFIED 766	UNCERTIFIED 60073	UNCERTIFIED 60069
tpdb-8.0/TRS/Secret_07_SRS/x10.xml	UNCERTIFIED 60163	UNCERTIFIED 61313	UNCERTIFIED 447	UNCERTIFIED 6165	YES 7434
tpdb-8.0/TRS/Trafo_06/dup01.xml	YES 3332	YES 5842	YES 4215	YES 1283	YES 9353
tpdb-8.0/TRS/Trafo_06/dup05.xml	UNCERTIFIED 61081	YES 6686	UNCERTIFIED 60031	UNCERTIFIED 60074	YES 7939
tpdb-8.0/TRS/Trafo_06/dup06.xml	YES 7256	YES 3561	UNCERTIFIED 1241	YES 22323	YES 6111
tpdb-8.0/TRS/Trafo_06/dup07.xml	UNCERTIFIED 60814	YES 6023	UNCERTIFIED 2303	UNCERTIFIED 60043	YES 7361
tpdb-8.0/TRS/Trafo_06/dup08.xml	YES 10506	YES 33258	UNCERTIFIED 8045	UNCERTIFIED 60088	YES 4005
tpdb-8.0/TRS/Trafo_06/dup09.xml	YES 3263	YES 4077	UNCERTIFIED 27	UNCERTIFIED 26	YES 3870
tpdb-8.0/TRS/Trafo_06/dup10.xml	UNCERTIFIED 61375	UNCERTIFIED 61472	UNCERTIFIED 29174	UNCERTIFIED 60103	YES 11157
tpdb-8.0/TRS/Trafo_06/dup11.xml	YES 18926	YES 10683	YES 11431	YES 17610	YES 17571
tpdb-8.0/TRS/Trafo_06/dup12.xml	UNCERTIFIED 60756	UNCERTIFIED 60845	UNCERTIFIED 6609	UNCERTIFIED 60048	UNCERTIFIED 60068
tpdb-8.0/TRS/Trafo_06/dup13.xml	UNCERTIFIED 61271	UNCERTIFIED 61707	UNCERTIFIED 7203	UNCERTIFIED 60078	YES 14528
tpdb-8.0/TRS/Trafo_06/dup14.xml	YES 43825	YES 32061	UNCERTIFIED 14749	UNCERTIFIED 60089	YES 3933
tpdb-8.0/TRS/Trafo_06/dup15.xml	YES 4715	UNCERTIFIED 61252	YES 1080	YES 598	YES 3001
tpdb-8.0/TRS/Trafo_06/dup16.xml	YES 13373	YES 2417	UNCERTIFIED 2505	UNCERTIFIED 60048	YES 2982
tpdb-8.0/TRS/Trafo_06/dup17.xml	YES 7660	UNCERTIFIED 61232	YES 159	YES 1036	YES 3410
tpdb-8.0/TRS/Trafo_06/hom01.xml	YES 39668	YES 9043	UNCERTIFIED 5281	UNCERTIFIED 60073	YES 2439
tpdb-8.0/TRS/Trafo_06/hom02.xml	YES 2962	YES 4480	YES 181	YES 862	YES 1522
tpdb-8.0/TRS/Trafo_06/hom03.xml	UNCERTIFIED 61618	UNCERTIFIED 61525	UNCERTIFIED 8973	UNCERTIFIED 60109	YES 24201
tpdb-8.0/TRS/Trafo_06/un02.xml	UNCERTIFIED 61375	UNCERTIFIED 61475	UNCERTIFIED 9632	UNCERTIFIED 60092	UNCERTIFIED 60085
tpdb-8.0/TRS/Trafo_06/un04.xml	UNCERTIFIED 60830	UNCERTIFIED 61461	UNCERTIFIED 1190	UNCERTIFIED 60055	UNCERTIFIED 60058
tpdb-8.0/TRS/Trafo_06/un05.xml	UNCERTIFIED 60610	UNCERTIFIED 61648	UNCERTIFIED 675	UNCERTIFIED 60035	UNCERTIFIED 60054
tpdb-8.0/TRS/Trafo_06/un06.xml	YES 17637	YES 7372	UNCERTIFIED 3248	UNCERTIFIED 60084	YES 3941
tpdb-8.0/TRS/Trafo_06/un07.xml	YES 8817	YES 7129	UNCERTIFIED 2339	UNCERTIFIED 60055	YES 7558
tpdb-8.0/TRS/Trafo_06/un08.xml	UNCERTIFIED 60793	YES 7153	UNCERTIFIED 2545	UNCERTIFIED 60051	YES 26437
tpdb-8.0/TRS/Trafo_06/un09.xml	UNCERTIFIED 61354	UNCERTIFIED 61635	UNCERTIFIED 6890	UNCERTIFIED 60300	YES 15547
tpdb-8.0/TRS/Trafo_06/un10.xml	UNCERTIFIED 61217	UNCERTIFIED 61858	UNCERTIFIED 12820	UNCERTIFIED 60085	YES 24551
tpdb-8.0/TRS/Trafo_06/un11.xml	UNCERTIFIED 61659	UNCERTIFIED 61978	UNCERTIFIED 2433	UNCERTIFIED 60103	UNCERTIFIED 60056
tpdb-8.0/TRS/Trafo_06/un12.xml	UNCERTIFIED 61170	UNCERTIFIED 61973	UNCERTIFIED 5260	UNCERTIFIED 60101	UNCERTIFIED 60068
tpdb-8.0/TRS/Trafo_06/un13.xml	UNCERTIFIED 61572	UNCERTIFIED 61402	UNCERTIFIED 7822	UNCERTIFIED 60088	UNCERTIFIED 60067
tpdb-8.0/TRS/Trafo_06/un14.xml	UNCERTIFIED 61195	YES 55430	UNCERTIFIED 4292	UNCERTIFIED 60101	YES 10609
tpdb-8.0/TRS/Trafo_06/un15.xml	UNCERTIFIED 60966	UNCERTIFIED 61587	UNCERTIFIED 7322	UNCERTIFIED 60092	UNCERTIFIED 60083
tpdb-8.0/TRS/Trafo_06/un16.xml	UNCERTIFIED 61098	UNCERTIFIED 61461	UNCERTIFIED 5527	UNCERTIFIED 60055	UNCERTIFIED 60073
tpdb-8.0/TRS/Trafo_06/un17.xml	UNCERTIFIED 60883	UNCERTIFIED 61635	UNCERTIFIED 6006	UNCERTIFIED 60103	UNCERTIFIED 60064
tpdb-8.0/TRS/Trafo_06/un18.xml	UNCERTIFIED 60884	UNCERTIFIED 62504	UNCERTIFIED 5745	UNCERTIFIED 60101	UNCERTIFIED 60061
tpdb-8.0/TRS/Waldmann_06_SRS/e.xml	UNCERTIFIED 60293	YES 14592	UNCERTIFIED 2740	YES 4457	YES 6426
tpdb-8.0/TRS/Waldmann_06_SRS/jw1.xml	UNCERTIFIED 60121	UNCERTIFIED 61954	UNCERTIFIED 1000	UNCERTIFIED 7387	UNCERTIFIED 60058
tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml	UNCERTIFIED 60145	UNCERTIFIED 63123	UNCERTIFIED 905	UNCERTIFIED 60030	YES 17907
tpdb-8.0/TRS/Waldmann_06_SRS/jw4.xml	UNCERTIFIED 61260	UNCERTIFIED 61673	UNCERTIFIED 1714	UNCERTIFIED 60092	YES 12270
tpdb-8.0/TRS/Waldmann_06_SRS/jw5.xml	UNCERTIFIED 61405	UNCERTIFIED 60881	UNCERTIFIED 3982	UNCERTIFIED 60089	YES 31058
tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml	YES 8656	YES 12524	UNCERTIFIED 1109	YES 2942	YES 5249
tpdb-8.0/TRS/Waldmann_06_SRS/sym-1.xml	UNCERTIFIED 60104	YES 2641	UNCERTIFIED 163	UNCERTIFIED 463	YES 3926
tpdb-8.0/TRS/Waldmann_06_SRS/sym-2.xml	UNCERTIFIED 60487	YES 6626	UNCERTIFIED 477	UNCERTIFIED 19413	UNCERTIFIED 60060
tpdb-8.0/TRS/Waldmann_06_SRS/sym-4.xml	UNCERTIFIED 60102	YES 2734	UNCERTIFIED 202	UNCERTIFIED 692	YES 4074
tpdb-8.0/TRS/Waldmann_06_SRS/sym-5.xml	UNCERTIFIED 60496	UNCERTIFIED 61126	UNCERTIFIED 5966	UNCERTIFIED 60030	UNCERTIFIED 60062
tpdb-8.0/TRS/Waldmann_06_SRS/sym-6.xml	UNCERTIFIED 60381	UNCERTIFIED 61747	UNCERTIFIED 403	UNCERTIFIED 3612	UNCERTIFIED 60067
tpdb-8.0/TRS/Waldmann_06_SRS/uni-1.xml	UNCERTIFIED 60149	YES 2709	UNCERTIFIED 257	UNCERTIFIED 1400	YES 2156
tpdb-8.0/TRS/Waldmann_06_SRS/uni-2.xml	UNCERTIFIED 60562	NO 17952	UNCERTIFIED 665	UNCERTIFIED 60032	NO 657
tpdb-8.0/TRS/Waldmann_06_SRS/uni-3.xml	UNCERTIFIED 60439	UNCERTIFIED 61029	UNCERTIFIED 1208	UNCERTIFIED 60031	UNCERTIFIED 60082
tpdb-8.0/TRS/Waldmann_06_SRS/uni-4.xml	UNCERTIFIED 60308	UNCERTIFIED 60789	UNCERTIFIED 958	UNCERTIFIED 27995	NO 732
tpdb-8.0/TRS/Waldmann_06_SRS/uni-5.xml	YES 22007	YES 4191	UNCERTIFIED 275	UNCERTIFIED 2741	YES 5962
tpdb-8.0/TRS/Waldmann_06_SRS/uni-6.xml	UNCERTIFIED 60147	UNCERTIFIED 61260	UNCERTIFIED 4263	UNCERTIFIED 60029	UNCERTIFIED 60061
tpdb-8.0/TRS/Waldmann_06_SRS/uni-7.xml	UNCERTIFIED 60700	UNCERTIFIED 61645	UNCERTIFIED 13965	UNCERTIFIED 60034	UNCERTIFIED 60045
tpdb-8.0/TRS/Waldmann_06_SRS/z086-variant.xml	UNCERTIFIED 60171	YES 8645	UNCERTIFIED 534	UNCERTIFIED 7950	YES 16605
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml	UNCERTIFIED 60587	YES 4894	UNCERTIFIED 421	UNCERTIFIED 60033	YES 9524
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml	UNCERTIFIED 60707	YES 6198	UNCERTIFIED 1316	UNCERTIFIED 60037	UNCERTIFIED 60059
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-3.xml	UNCERTIFIED 60483	UNCERTIFIED 62581	UNCERTIFIED 524	UNCERTIFIED 43436	YES 9523
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-4.xml	UNCERTIFIED 60552	YES 5004	UNCERTIFIED 469	UNCERTIFIED 41108	YES 7432
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml	UNCERTIFIED 60150	YES 3437	UNCERTIFIED 297	UNCERTIFIED 5554	YES 5176
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-11.xml	UNCERTIFIED 60101	YES 3438	UNCERTIFIED 160	UNCERTIFIED 2844	YES 6333
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml	UNCERTIFIED 60116	YES 4096	UNCERTIFIED 166	UNCERTIFIED 3631	YES 5095
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-13.xml	UNCERTIFIED 60155	YES 3504	UNCERTIFIED 194	UNCERTIFIED 1375	YES 6303
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml	UNCERTIFIED 60099	YES 3532	UNCERTIFIED 135	UNCERTIFIED 330	YES 6245
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml	UNCERTIFIED 60765	UNCERTIFIED 61184	UNCERTIFIED 361	UNCERTIFIED 60032	NO 2298
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml	UNCERTIFIED 60150	YES 2448	UNCERTIFIED 177	UNCERTIFIED 853	YES 4488
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-17.xml	UNCERTIFIED 60097	YES 3700	UNCERTIFIED 132	UNCERTIFIED 314	YES 3623
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-18.xml	UNCERTIFIED 60352	UNCERTIFIED 61406	UNCERTIFIED 296	UNCERTIFIED 5313	UNCERTIFIED 60078
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-19.xml	UNCERTIFIED 60418	YES 3503	UNCERTIFIED 217	UNCERTIFIED 5676	YES 2180
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml	UNCERTIFIED 60233	UNCERTIFIED 61146	UNCERTIFIED 224	UNCERTIFIED 49075	UNCERTIFIED 60071
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-20.xml	UNCERTIFIED 60112	YES 3230	UNCERTIFIED 210	UNCERTIFIED 610	YES 2162
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-21.xml	UNCERTIFIED 60109	UNCERTIFIED 61811	UNCERTIFIED 226	UNCERTIFIED 1089	UNCERTIFIED 60075
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml	UNCERTIFIED 60116	YES 5709	UNCERTIFIED 185	UNCERTIFIED 2777	UNCERTIFIED 60071
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-3.xml	UNCERTIFIED 60090	YES 8642	UNCERTIFIED 149	UNCERTIFIED 364	YES 2885
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml	UNCERTIFIED 60115	UNCERTIFIED 61242	UNCERTIFIED 280	UNCERTIFIED 6129	UNCERTIFIED 60073
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml	UNCERTIFIED 60118	YES 4404	UNCERTIFIED 254	UNCERTIFIED 3074	YES 7125
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml	UNCERTIFIED 60238	YES 3884	UNCERTIFIED 292	UNCERTIFIED 13838	YES 6265
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-7.xml	UNCERTIFIED 60224	YES 3655	UNCERTIFIED 292	UNCERTIFIED 24386	YES 6059
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml	UNCERTIFIED 60253	YES 3973	UNCERTIFIED 281	UNCERTIFIED 23036	YES 6318
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-9.xml	UNCERTIFIED 60415	YES 4301	UNCERTIFIED 203	UNCERTIFIED 29485	YES 6232
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-10.xml	UNCERTIFIED 60691	UNCERTIFIED 61497	UNCERTIFIED 509	UNCERTIFIED 60042	UNCERTIFIED 60051
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-11.xml	UNCERTIFIED 60699	UNCERTIFIED 61699	UNCERTIFIED 764	UNCERTIFIED 60038	UNCERTIFIED 60065
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-12.xml	UNCERTIFIED 61177	UNCERTIFIED 62430	UNCERTIFIED 554	UNCERTIFIED 60064	UNCERTIFIED 60059
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-13.xml	UNCERTIFIED 60596	YES 4840	UNCERTIFIED 370	UNCERTIFIED 60032	YES 6591
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-14.xml	UNCERTIFIED 60585	YES 4661	UNCERTIFIED 480	UNCERTIFIED 60032	YES 8813
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-15.xml	UNCERTIFIED 60152	YES 4004	UNCERTIFIED 332	UNCERTIFIED 3208	UNCERTIFIED 60053
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-16.xml	UNCERTIFIED 60238	YES 12765	UNCERTIFIED 490	UNCERTIFIED 23354	YES 6938
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-17.xml	UNCERTIFIED 60845	UNCERTIFIED 62045	UNCERTIFIED 457	UNCERTIFIED 60040	UNCERTIFIED 60062
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-18.xml	UNCERTIFIED 60622	UNCERTIFIED 61960	UNCERTIFIED 483	UNCERTIFIED 60038	UNCERTIFIED 60062
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-19.xml	UNCERTIFIED 60129	YES 4093	UNCERTIFIED 322	UNCERTIFIED 1933	UNCERTIFIED 60054
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-1.xml	UNCERTIFIED 60267	YES 4528	UNCERTIFIED 267	UNCERTIFIED 17315	YES 6602
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-20.xml	UNCERTIFIED 60138	UNCERTIFIED 61525	UNCERTIFIED 294	UNCERTIFIED 2105	UNCERTIFIED 60061
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-21.xml	UNCERTIFIED 60263	YES 3951	UNCERTIFIED 293	UNCERTIFIED 11781	YES 6628
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-22.xml	UNCERTIFIED 60261	YES 5603	UNCERTIFIED 460	UNCERTIFIED 6668	YES 2833
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-2.xml	UNCERTIFIED 60213	YES 4280	UNCERTIFIED 235	UNCERTIFIED 10631	YES 4440
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-3.xml	UNCERTIFIED 60216	YES 3860	UNCERTIFIED 285	UNCERTIFIED 10405	YES 6358
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-4.xml	YES 34547	UNCERTIFIED 60923	UNCERTIFIED 398	UNCERTIFIED 60033	YES 7220
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-5.xml	UNCERTIFIED 60584	YES 4726	UNCERTIFIED 1283	UNCERTIFIED 60036	UNCERTIFIED 60063
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-6.xml	UNCERTIFIED 60724	YES 4558	UNCERTIFIED 349	UNCERTIFIED 60033	UNCERTIFIED 60060
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-7.xml	UNCERTIFIED 60311	UNCERTIFIED 61486	UNCERTIFIED 382	UNCERTIFIED 60032	UNCERTIFIED 60057
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-8.xml	UNCERTIFIED 60267	UNCERTIFIED 61029	UNCERTIFIED 322	UNCERTIFIED 35448	UNCERTIFIED 60062
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-100.xml	UNCERTIFIED 60138	UNCERTIFIED 61296	UNCERTIFIED 230	UNCERTIFIED 1235	UNCERTIFIED 60105
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-101.xml	UNCERTIFIED 60124	UNCERTIFIED 61160	UNCERTIFIED 187	UNCERTIFIED 1191	UNCERTIFIED 60081
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-104.xml	UNCERTIFIED 60140	YES 3920	UNCERTIFIED 315	UNCERTIFIED 5569	YES 7035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-105.xml	UNCERTIFIED 60518	YES 3998	UNCERTIFIED 340	UNCERTIFIED 60033	YES 29371
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-106.xml	UNCERTIFIED 60427	YES 3889	UNCERTIFIED 256	UNCERTIFIED 60031	YES 7074
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-107.xml	UNCERTIFIED 60136	YES 3536	UNCERTIFIED 307	UNCERTIFIED 5578	YES 3469
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-108.xml	UNCERTIFIED 60136	YES 3734	UNCERTIFIED 340	UNCERTIFIED 4121	YES 5123
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-109.xml	UNCERTIFIED 60147	YES 4142	UNCERTIFIED 295	UNCERTIFIED 6453	YES 6803
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml	UNCERTIFIED 60267	YES 3823	UNCERTIFIED 285	UNCERTIFIED 46742	YES 6294
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-110.xml	UNCERTIFIED 60114	YES 4062	UNCERTIFIED 143	UNCERTIFIED 1910	YES 6832
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-111.xml	UNCERTIFIED 60393	YES 4714	UNCERTIFIED 571	UNCERTIFIED 29484	YES 4851
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-112.xml	UNCERTIFIED 60671	YES 3719	UNCERTIFIED 341	UNCERTIFIED 60033	YES 6882
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-113.xml	UNCERTIFIED 60591	YES 4385	UNCERTIFIED 333	UNCERTIFIED 60032	YES 6270
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-114.xml	UNCERTIFIED 60184	UNCERTIFIED 61399	UNCERTIFIED 344	UNCERTIFIED 36761	YES 10498
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-11.xml	UNCERTIFIED 60215	UNCERTIFIED 61211	UNCERTIFIED 259	UNCERTIFIED 43489	UNCERTIFIED 60064
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-120.xml	UNCERTIFIED 60108	UNCERTIFIED 61158	UNCERTIFIED 208	UNCERTIFIED 3951	UNCERTIFIED 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-121.xml	UNCERTIFIED 60112	YES 5315	UNCERTIFIED 185	UNCERTIFIED 1241	YES 8525
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-122.xml	UNCERTIFIED 60641	YES 4149	UNCERTIFIED 545	UNCERTIFIED 60034	YES 12465
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-123.xml	UNCERTIFIED 60120	YES 3853	UNCERTIFIED 359	UNCERTIFIED 3535	YES 8473
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-124.xml	UNCERTIFIED 60486	UNCERTIFIED 61715	UNCERTIFIED 354	UNCERTIFIED 43453	YES 14996
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-125.xml	UNCERTIFIED 60164	UNCERTIFIED 61252	UNCERTIFIED 369	UNCERTIFIED 6926	YES 6927
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-126.xml	UNCERTIFIED 60179	YES 3915	UNCERTIFIED 322	UNCERTIFIED 9549	YES 7769
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-127.xml	UNCERTIFIED 60092	UNCERTIFIED 61353	UNCERTIFIED 176	UNCERTIFIED 498	UNCERTIFIED 60078
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-128.xml	UNCERTIFIED 60145	UNCERTIFIED 61183	UNCERTIFIED 308	UNCERTIFIED 11340	YES 7560
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-129.xml	UNCERTIFIED 60095	UNCERTIFIED 61080	UNCERTIFIED 153	UNCERTIFIED 1671	NO 5964
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-131.xml	UNCERTIFIED 60316	YES 3584	UNCERTIFIED 208	UNCERTIFIED 30084	YES 6105
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-132.xml	UNCERTIFIED 60724	YES 5720	UNCERTIFIED 368	UNCERTIFIED 60032	YES 45076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-133.xml	UNCERTIFIED 60541	YES 7225	UNCERTIFIED 342	UNCERTIFIED 60032	YES 12986
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-134.xml	UNCERTIFIED 60114	YES 3223	UNCERTIFIED 154	UNCERTIFIED 718	YES 3040
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-135.xml	UNCERTIFIED 60103	UNCERTIFIED 61218	UNCERTIFIED 162	UNCERTIFIED 1325	UNCERTIFIED 60079
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-13.xml	UNCERTIFIED 60420	YES 3670	UNCERTIFIED 199	UNCERTIFIED 20800	YES 6002
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-140.xml	UNCERTIFIED 60592	NO 46096	UNCERTIFIED 636	UNCERTIFIED 60039	NO 616
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-146.xml	UNCERTIFIED 60723	NO 40857	UNCERTIFIED 461	UNCERTIFIED 60035	NO 614
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-149.xml	UNCERTIFIED 60368	YES 4583	UNCERTIFIED 430	UNCERTIFIED 15040	YES 4666
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-14.xml	UNCERTIFIED 60117	YES 3306	UNCERTIFIED 153	UNCERTIFIED 1421	YES 6052
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-152.xml	UNCERTIFIED 60113	YES 3647	UNCERTIFIED 221	UNCERTIFIED 857	YES 4692
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-158.xml	UNCERTIFIED 60549	UNCERTIFIED 61388	UNCERTIFIED 514	UNCERTIFIED 58503	NO 642
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-159.xml	UNCERTIFIED 60616	NO 19134	UNCERTIFIED 534	UNCERTIFIED 8257	NO 632
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-15.xml	UNCERTIFIED 60108	YES 3339	UNCERTIFIED 164	UNCERTIFIED 1463	YES 2803
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-160.xml	UNCERTIFIED 60716	UNCERTIFIED 61207	UNCERTIFIED 507	UNCERTIFIED 60033	NO 918
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-163.xml	UNCERTIFIED 60091	YES 3558	UNCERTIFIED 156	UNCERTIFIED 398	YES 3192
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-164.xml	UNCERTIFIED 60095	YES 8180	UNCERTIFIED 182	UNCERTIFIED 578	YES 6369
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-165.xml	UNCERTIFIED 60091	YES 3264	UNCERTIFIED 142	UNCERTIFIED 325	YES 6648
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-168.xml	UNCERTIFIED 60114	YES 3671	UNCERTIFIED 205	UNCERTIFIED 788	YES 6505
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-16.xml	UNCERTIFIED 60239	YES 3524	UNCERTIFIED 285	UNCERTIFIED 22584	YES 6353
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-170.xml	UNCERTIFIED 60101	UNCERTIFIED 61289	UNCERTIFIED 188	UNCERTIFIED 1299	UNCERTIFIED 60083
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-174.xml	UNCERTIFIED 60244	UNCERTIFIED 61841	UNCERTIFIED 337	UNCERTIFIED 14941	UNCERTIFIED 60069
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-176.xml	UNCERTIFIED 60284	YES 4346	UNCERTIFIED 286	UNCERTIFIED 7658	YES 5939
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-177.xml	UNCERTIFIED 60510	NO 35318	UNCERTIFIED 456	UNCERTIFIED 7627	NO 2510
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-178.xml	UNCERTIFIED 60546	UNCERTIFIED 61775	UNCERTIFIED 458	UNCERTIFIED 60032	NO 4134
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-179.xml	UNCERTIFIED 60501	UNCERTIFIED 61557	UNCERTIFIED 471	UNCERTIFIED 60031	NO 662
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-17.xml	UNCERTIFIED 60201	YES 3595	UNCERTIFIED 286	UNCERTIFIED 42580	YES 6144
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-180.xml	UNCERTIFIED 60555	YES 11336	UNCERTIFIED 451	UNCERTIFIED 60035	YES 5560
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-181.xml	UNCERTIFIED 60469	UNCERTIFIED 61757	UNCERTIFIED 438	UNCERTIFIED 8565	NO 1188
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-186.xml	UNCERTIFIED 60090	YES 3511	UNCERTIFIED 166	UNCERTIFIED 454	YES 2055
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-190.xml	UNCERTIFIED 60338	YES 3614	UNCERTIFIED 230	UNCERTIFIED 5083	YES 2495
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-191.xml	UNCERTIFIED 60336	YES 4005	UNCERTIFIED 228	UNCERTIFIED 4938	YES 2551
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-194.xml	UNCERTIFIED 60349	YES 3581	UNCERTIFIED 227	UNCERTIFIED 8896	YES 3297
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-195.xml	UNCERTIFIED 60519	UNCERTIFIED 61181	UNCERTIFIED 356	UNCERTIFIED 60034	NO 6222
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-198.xml	UNCERTIFIED 60535	YES 3990	UNCERTIFIED 382	UNCERTIFIED 60034	YES 7799
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-199.xml	UNCERTIFIED 60688	UNCERTIFIED 61806	UNCERTIFIED 411	UNCERTIFIED 60033	UNCERTIFIED 60077
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-19.xml	UNCERTIFIED 60129	YES 3417	UNCERTIFIED 392	UNCERTIFIED 4304	YES 6004
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-1.xml	UNCERTIFIED 60082	YES 8625	UNCERTIFIED 178	UNCERTIFIED 273	YES 2747
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-200.xml	UNCERTIFIED 60120	YES 6269	UNCERTIFIED 201	UNCERTIFIED 882	YES 3290
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-201.xml	UNCERTIFIED 60099	YES 4363	UNCERTIFIED 155	UNCERTIFIED 608	YES 2366
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-202.xml	UNCERTIFIED 60129	YES 5555	UNCERTIFIED 235	UNCERTIFIED 1100	UNCERTIFIED 60078
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-203.xml	UNCERTIFIED 60097	YES 3217	UNCERTIFIED 157	UNCERTIFIED 993	YES 5979
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-204.xml	UNCERTIFIED 60136	YES 5057	UNCERTIFIED 244	UNCERTIFIED 2184	UNCERTIFIED 60079
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-206.xml	UNCERTIFIED 60293	UNCERTIFIED 61216	UNCERTIFIED 220	UNCERTIFIED 4737	UNCERTIFIED 60081
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-207.xml	UNCERTIFIED 60272	UNCERTIFIED 61128	UNCERTIFIED 215	UNCERTIFIED 5171	UNCERTIFIED 60081
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-209.xml	UNCERTIFIED 60306	UNCERTIFIED 61435	UNCERTIFIED 211	UNCERTIFIED 7131	UNCERTIFIED 60086
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-20.xml	UNCERTIFIED 60297	UNCERTIFIED 61197	UNCERTIFIED 328	UNCERTIFIED 40428	UNCERTIFIED 60074
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-210.xml	UNCERTIFIED 60295	UNCERTIFIED 62322	UNCERTIFIED 225	UNCERTIFIED 4492	UNCERTIFIED 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-211.xml	UNCERTIFIED 60232	UNCERTIFIED 61087	UNCERTIFIED 303	UNCERTIFIED 33362	UNCERTIFIED 60065
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-213.xml	UNCERTIFIED 60662	YES 4063	UNCERTIFIED 325	UNCERTIFIED 47326	YES 2034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-215.xml	UNCERTIFIED 60336	YES 3839	UNCERTIFIED 279	UNCERTIFIED 2502	YES 2129
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-217.xml	UNCERTIFIED 60137	UNCERTIFIED 61143	UNCERTIFIED 310	UNCERTIFIED 1869	NO 4951
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-219.xml	UNCERTIFIED 60113	UNCERTIFIED 61446	UNCERTIFIED 190	UNCERTIFIED 1101	UNCERTIFIED 60083
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-21.xml	UNCERTIFIED 60682	UNCERTIFIED 62060	UNCERTIFIED 543	UNCERTIFIED 60038	UNCERTIFIED 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-220.xml	UNCERTIFIED 60107	UNCERTIFIED 61059	UNCERTIFIED 180	UNCERTIFIED 824	UNCERTIFIED 60086
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-221.xml	UNCERTIFIED 60131	YES 4414	UNCERTIFIED 235	UNCERTIFIED 1902	YES 4595
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-222.xml	UNCERTIFIED 60141	UNCERTIFIED 61019	UNCERTIFIED 445	UNCERTIFIED 21414	UNCERTIFIED 60074
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-223.xml	UNCERTIFIED 60278	YES 17973	UNCERTIFIED 253	UNCERTIFIED 6303	UNCERTIFIED 60088
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-224.xml	UNCERTIFIED 60231	UNCERTIFIED 61316	UNCERTIFIED 268	UNCERTIFIED 21540	UNCERTIFIED 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-225.xml	UNCERTIFIED 60621	YES 4014	UNCERTIFIED 286	UNCERTIFIED 60033	YES 4287
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-226.xml	UNCERTIFIED 60130	UNCERTIFIED 61091	UNCERTIFIED 343	UNCERTIFIED 2215	YES 7435
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-227.xml	UNCERTIFIED 60260	UNCERTIFIED 61481	UNCERTIFIED 491	UNCERTIFIED 8311	UNCERTIFIED 60075
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-22.xml	UNCERTIFIED 60687	UNCERTIFIED 61985	UNCERTIFIED 875	UNCERTIFIED 60032	UNCERTIFIED 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-231.xml	UNCERTIFIED 60112	UNCERTIFIED 61435	UNCERTIFIED 203	UNCERTIFIED 1995	UNCERTIFIED 60065
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-232.xml	UNCERTIFIED 60093	YES 3600	UNCERTIFIED 166	UNCERTIFIED 358	YES 5362
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-233.xml	UNCERTIFIED 60112	UNCERTIFIED 61369	UNCERTIFIED 289	UNCERTIFIED 1364	UNCERTIFIED 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-236.xml	UNCERTIFIED 60111	YES 4232	UNCERTIFIED 275	UNCERTIFIED 3273	YES 7601
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-237.xml	UNCERTIFIED 60110	YES 5895	UNCERTIFIED 235	UNCERTIFIED 1899	YES 7991
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-238.xml	UNCERTIFIED 60104	UNCERTIFIED 61201	UNCERTIFIED 220	UNCERTIFIED 4359	UNCERTIFIED 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-239.xml	UNCERTIFIED 60123	UNCERTIFIED 61105	UNCERTIFIED 286	UNCERTIFIED 1234	UNCERTIFIED 60082
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-23.xml	UNCERTIFIED 60208	UNCERTIFIED 63117	UNCERTIFIED 288	UNCERTIFIED 4096	UNCERTIFIED 60077
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-241.xml	UNCERTIFIED 60094	UNCERTIFIED 61213	UNCERTIFIED 162	UNCERTIFIED 809	UNCERTIFIED 60079
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-243.xml	UNCERTIFIED 60102	UNCERTIFIED 61344	UNCERTIFIED 162	UNCERTIFIED 1298	UNCERTIFIED 60084
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-247.xml	UNCERTIFIED 60118	UNCERTIFIED 61262	UNCERTIFIED 336	UNCERTIFIED 4896	UNCERTIFIED 60067
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-248.xml	UNCERTIFIED 60127	UNCERTIFIED 61115	UNCERTIFIED 232	UNCERTIFIED 3959	UNCERTIFIED 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-249.xml	UNCERTIFIED 60163	UNCERTIFIED 60987	UNCERTIFIED 276	UNCERTIFIED 5790	UNCERTIFIED 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-255.xml	UNCERTIFIED 60124	YES 6498	UNCERTIFIED 241	UNCERTIFIED 1084	YES 2931
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-257.xml	UNCERTIFIED 60431	UNCERTIFIED 61315	UNCERTIFIED 373	UNCERTIFIED 6399	UNCERTIFIED 60087
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-260.xml	UNCERTIFIED 60733	UNCERTIFIED 61844	UNCERTIFIED 487	UNCERTIFIED 60042	UNCERTIFIED 60079
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-263.xml	UNCERTIFIED 60291	YES 4997	UNCERTIFIED 287	UNCERTIFIED 60029	YES 10146
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-265.xml	UNCERTIFIED 60401	YES 7108	UNCERTIFIED 265	UNCERTIFIED 20291	YES 6079
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-267.xml	UNCERTIFIED 60582	UNCERTIFIED 61260	UNCERTIFIED 507	UNCERTIFIED 60033	UNCERTIFIED 60075
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-270.xml	UNCERTIFIED 60259	UNCERTIFIED 61372	UNCERTIFIED 250	UNCERTIFIED 15439	UNCERTIFIED 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-271.xml	UNCERTIFIED 60478	YES 7291	UNCERTIFIED 208	UNCERTIFIED 21199	YES 6242
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-272.xml	UNCERTIFIED 60111	UNCERTIFIED 61393	UNCERTIFIED 255	UNCERTIFIED 2297	UNCERTIFIED 60074
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-273.xml	UNCERTIFIED 60109	YES 3894	UNCERTIFIED 182	UNCERTIFIED 732	YES 4178
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-274.xml	UNCERTIFIED 60109	UNCERTIFIED 61149	UNCERTIFIED 254	UNCERTIFIED 1946	UNCERTIFIED 60088
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-275.xml	UNCERTIFIED 60116	YES 3661	UNCERTIFIED 179	UNCERTIFIED 2855	YES 6115
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-279.xml	UNCERTIFIED 60086	YES 3630	UNCERTIFIED 192	UNCERTIFIED 407	YES 2163
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-281.xml	UNCERTIFIED 60097	YES 3287	UNCERTIFIED 161	UNCERTIFIED 947	YES 2530
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-282.xml	UNCERTIFIED 60270	YES 4049	UNCERTIFIED 266	UNCERTIFIED 5198	YES 3942
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-283.xml	UNCERTIFIED 60093	UNCERTIFIED 60752	UNCERTIFIED 200	UNCERTIFIED 467	YES 2039
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-284.xml	UNCERTIFIED 60234	YES 3482	UNCERTIFIED 194	UNCERTIFIED 6837	YES 2563
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-285.xml	UNCERTIFIED 60228	YES 3703	UNCERTIFIED 196	UNCERTIFIED 9504	YES 3655
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-286.xml	UNCERTIFIED 60149	YES 4539	UNCERTIFIED 179	UNCERTIFIED 4247	YES 6330
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-287.xml	UNCERTIFIED 60093	YES 6011	UNCERTIFIED 200	UNCERTIFIED 609	YES 2158
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-288.xml	UNCERTIFIED 60299	YES 10827	UNCERTIFIED 305	UNCERTIFIED 6459	YES 4541
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-289.xml	UNCERTIFIED 60569	YES 3970	UNCERTIFIED 328	UNCERTIFIED 60031	YES 6621
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-291.xml	UNCERTIFIED 60132	UNCERTIFIED 61660	UNCERTIFIED 277	UNCERTIFIED 2776	UNCERTIFIED 60082
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-292.xml	UNCERTIFIED 60164	UNCERTIFIED 61475	UNCERTIFIED 397	UNCERTIFIED 9350	UNCERTIFIED 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-293.xml	UNCERTIFIED 60643	YES 7224	UNCERTIFIED 651	UNCERTIFIED 20263	YES 6844
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-294.xml	UNCERTIFIED 60513	YES 5159	UNCERTIFIED 420	UNCERTIFIED 60031	YES 6472
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-296.xml	UNCERTIFIED 60505	YES 4019	UNCERTIFIED 397	UNCERTIFIED 60033	YES 6907
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-297.xml	UNCERTIFIED 60463	YES 4281	UNCERTIFIED 278	UNCERTIFIED 12225	YES 6531
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-298.xml	UNCERTIFIED 60572	UNCERTIFIED 61845	UNCERTIFIED 369	UNCERTIFIED 60033	UNCERTIFIED 60086
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-299.xml	UNCERTIFIED 60144	YES 5500	UNCERTIFIED 331	UNCERTIFIED 2605	YES 4119
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-300.xml	UNCERTIFIED 60107	YES 4301	UNCERTIFIED 201	UNCERTIFIED 1395	YES 3767
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-301.xml	UNCERTIFIED 60577	YES 7202	UNCERTIFIED 546	UNCERTIFIED 18813	YES 5160
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-303.xml	UNCERTIFIED 60686	YES 3980	UNCERTIFIED 352	UNCERTIFIED 60032	YES 4855
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-304.xml	UNCERTIFIED 60685	YES 4993	UNCERTIFIED 346	UNCERTIFIED 60032	YES 5142
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-309.xml	UNCERTIFIED 60178	YES 5395	UNCERTIFIED 423	UNCERTIFIED 20565	UNCERTIFIED 60061
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-30.xml	UNCERTIFIED 60109	YES 7689	UNCERTIFIED 198	UNCERTIFIED 935	YES 2681
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-31.xml	UNCERTIFIED 60106	YES 3513	UNCERTIFIED 199	UNCERTIFIED 905	YES 3497
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml	UNCERTIFIED 60234	YES 5395	UNCERTIFIED 232	UNCERTIFIED 24627	YES 6607
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-328.xml	UNCERTIFIED 60101	UNCERTIFIED 61103	UNCERTIFIED 219	UNCERTIFIED 5118	UNCERTIFIED 60069
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-32.xml	UNCERTIFIED 60116	UNCERTIFIED 61133	UNCERTIFIED 249	UNCERTIFIED 11419	UNCERTIFIED 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-330.xml	UNCERTIFIED 60073	YES 4330	UNCERTIFIED 136	UNCERTIFIED 341	YES 5942
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-335.xml	UNCERTIFIED 60125	YES 4374	UNCERTIFIED 195	UNCERTIFIED 4864	YES 5364
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-337.xml	UNCERTIFIED 60619	YES 4298	UNCERTIFIED 287	UNCERTIFIED 60029	YES 5027
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-338.xml	UNCERTIFIED 60588	UNCERTIFIED 61593	UNCERTIFIED 422	UNCERTIFIED 60033	UNCERTIFIED 60060
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-339.xml	UNCERTIFIED 60547	UNCERTIFIED 61789	UNCERTIFIED 462	UNCERTIFIED 60033	UNCERTIFIED 60071
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-340.xml	UNCERTIFIED 60518	UNCERTIFIED 61924	UNCERTIFIED 513	UNCERTIFIED 60034	UNCERTIFIED 60066
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-341.xml	UNCERTIFIED 60209	YES 3926	UNCERTIFIED 310	UNCERTIFIED 29983	YES 6931
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-343.xml	UNCERTIFIED 60135	YES 3709	UNCERTIFIED 215	UNCERTIFIED 2139	YES 2333
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-345.xml	UNCERTIFIED 60471	YES 3786	UNCERTIFIED 258	UNCERTIFIED 32962	YES 6890
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-346.xml	UNCERTIFIED 60215	YES 3994	UNCERTIFIED 292	UNCERTIFIED 45602	YES 6527
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-347.xml	UNCERTIFIED 60259	YES 3954	UNCERTIFIED 320	UNCERTIFIED 59636	YES 6490
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-348.xml	UNCERTIFIED 60283	YES 3925	UNCERTIFIED 377	UNCERTIFIED 60029	YES 7028
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-350.xml	UNCERTIFIED 60091	YES 3728	UNCERTIFIED 142	UNCERTIFIED 335	YES 6944
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-351.xml	UNCERTIFIED 60108	YES 3349	UNCERTIFIED 170	UNCERTIFIED 653	YES 1676
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-352.xml	UNCERTIFIED 60110	YES 3567	UNCERTIFIED 169	UNCERTIFIED 1080	YES 4750
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-353.xml	UNCERTIFIED 60517	UNCERTIFIED 61340	UNCERTIFIED 310	UNCERTIFIED 60033	UNCERTIFIED 60075
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-354.xml	UNCERTIFIED 60106	YES 7796	UNCERTIFIED 228	UNCERTIFIED 1310	YES 7381
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-355.xml	UNCERTIFIED 60603	UNCERTIFIED 61298	UNCERTIFIED 420	UNCERTIFIED 60033	UNCERTIFIED 60055
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-356.xml	UNCERTIFIED 60646	UNCERTIFIED 61889	UNCERTIFIED 493	UNCERTIFIED 60034	UNCERTIFIED 60058
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-359.xml	UNCERTIFIED 60105	YES 5341	UNCERTIFIED 166	UNCERTIFIED 4245	YES 8361
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-35.xml	UNCERTIFIED 60093	YES 4319	UNCERTIFIED 178	UNCERTIFIED 501	YES 5462
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-360.xml	YES 3347	YES 4124	UNCERTIFIED 410	YES 1083	YES 6358
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-361.xml	UNCERTIFIED 60736	UNCERTIFIED 61285	UNCERTIFIED 397	UNCERTIFIED 60034	UNCERTIFIED 60054
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-362.xml	UNCERTIFIED 60743	UNCERTIFIED 62087	UNCERTIFIED 444	UNCERTIFIED 60034	UNCERTIFIED 60079
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-363.xml	UNCERTIFIED 60510	UNCERTIFIED 61244	UNCERTIFIED 489	UNCERTIFIED 60032	UNCERTIFIED 60064
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-366.xml	UNCERTIFIED 60252	YES 3983	UNCERTIFIED 300	UNCERTIFIED 55523	YES 6326
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-367.xml	UNCERTIFIED 60228	YES 4665	UNCERTIFIED 341	UNCERTIFIED 39145	YES 6700
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-368.xml	UNCERTIFIED 60103	UNCERTIFIED 61389	UNCERTIFIED 168	UNCERTIFIED 9812	UNCERTIFIED 60083
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-369.xml	UNCERTIFIED 60223	UNCERTIFIED 61047	UNCERTIFIED 219	UNCERTIFIED 60030	UNCERTIFIED 60062
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-373.xml	UNCERTIFIED 60340	UNCERTIFIED 61172	UNCERTIFIED 226	UNCERTIFIED 8357	UNCERTIFIED 60078
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-374.xml	UNCERTIFIED 60113	UNCERTIFIED 61312	UNCERTIFIED 324	UNCERTIFIED 54608	UNCERTIFIED 60079
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-375.xml	UNCERTIFIED 60579	YES 4164	UNCERTIFIED 225	UNCERTIFIED 60032	YES 6378
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-376.xml	UNCERTIFIED 60677	YES 4026	UNCERTIFIED 288	UNCERTIFIED 60031	YES 6463
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-377.xml	UNCERTIFIED 60473	YES 3916	UNCERTIFIED 231	UNCERTIFIED 19067	YES 6591
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-378.xml	UNCERTIFIED 60326	UNCERTIFIED 61476	UNCERTIFIED 336	UNCERTIFIED 30448	UNCERTIFIED 60071
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-382.xml	UNCERTIFIED 60712	UNCERTIFIED 61987	UNCERTIFIED 858	UNCERTIFIED 60034	UNCERTIFIED 60071
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-383.xml	UNCERTIFIED 60530	UNCERTIFIED 61671	UNCERTIFIED 478	UNCERTIFIED 60031	UNCERTIFIED 60062
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-384.xml	UNCERTIFIED 60615	UNCERTIFIED 61824	UNCERTIFIED 734	UNCERTIFIED 60037	UNCERTIFIED 60085
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-385.xml	UNCERTIFIED 60677	UNCERTIFIED 61310	UNCERTIFIED 486	UNCERTIFIED 60032	UNCERTIFIED 60060
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-386.xml	UNCERTIFIED 60573	UNCERTIFIED 61503	UNCERTIFIED 621	UNCERTIFIED 60033	UNCERTIFIED 60053
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-389.xml	UNCERTIFIED 60216	YES 4387	UNCERTIFIED 407	UNCERTIFIED 33574	YES 6565
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-391.xml	UNCERTIFIED 60119	YES 4842	UNCERTIFIED 234	UNCERTIFIED 4426	YES 7650
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-392.xml	UNCERTIFIED 60229	YES 3703	UNCERTIFIED 259	UNCERTIFIED 27343	YES 6233
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-395.xml	UNCERTIFIED 60496	YES 4454	UNCERTIFIED 290	UNCERTIFIED 60029	YES 7017
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-396.xml	UNCERTIFIED 60443	YES 4730	UNCERTIFIED 245	UNCERTIFIED 48542	YES 6594
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-399.xml	UNCERTIFIED 60170	YES 4269	UNCERTIFIED 443	UNCERTIFIED 39761	YES 6787
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-3.xml	UNCERTIFIED 60095	UNCERTIFIED 61154	UNCERTIFIED 172	UNCERTIFIED 642	UNCERTIFIED 60082
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-400.xml	UNCERTIFIED 60547	UNCERTIFIED 61365	UNCERTIFIED 714	UNCERTIFIED 60037	UNCERTIFIED 60065
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-401.xml	UNCERTIFIED 60741	UNCERTIFIED 61152	UNCERTIFIED 865	UNCERTIFIED 60036	UNCERTIFIED 60078
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-402.xml	UNCERTIFIED 60647	UNCERTIFIED 62336	UNCERTIFIED 881	UNCERTIFIED 60036	UNCERTIFIED 60074
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-403.xml	UNCERTIFIED 60651	UNCERTIFIED 61506	UNCERTIFIED 561	UNCERTIFIED 60033	UNCERTIFIED 60048
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-406.xml	UNCERTIFIED 60680	UNCERTIFIED 61628	UNCERTIFIED 916	UNCERTIFIED 60036	UNCERTIFIED 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-408.xml	UNCERTIFIED 60556	UNCERTIFIED 61901	UNCERTIFIED 615	UNCERTIFIED 60033	UNCERTIFIED 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-409.xml	UNCERTIFIED 60787	UNCERTIFIED 61243	UNCERTIFIED 576	UNCERTIFIED 60034	UNCERTIFIED 60051
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-40.xml	UNCERTIFIED 60138	YES 4254	UNCERTIFIED 366	UNCERTIFIED 12167	YES 6120
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-410.xml	UNCERTIFIED 60639	UNCERTIFIED 61699	UNCERTIFIED 556	UNCERTIFIED 60033	UNCERTIFIED 60056
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-412.xml	UNCERTIFIED 60286	YES 4070	UNCERTIFIED 313	UNCERTIFIED 39662	YES 6540
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-413.xml	UNCERTIFIED 60495	YES 3971	UNCERTIFIED 407	UNCERTIFIED 60030	YES 6442
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-414.xml	UNCERTIFIED 60345	YES 4377	UNCERTIFIED 358	UNCERTIFIED 60029	YES 7368
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-415.xml	UNCERTIFIED 60345	YES 4448	UNCERTIFIED 340	UNCERTIFIED 60030	YES 7512
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-416.xml	UNCERTIFIED 60357	YES 4481	UNCERTIFIED 366	UNCERTIFIED 60029	YES 7362
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-417.xml	UNCERTIFIED 60317	YES 4186	UNCERTIFIED 349	UNCERTIFIED 60029	YES 7546
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-418.xml	UNCERTIFIED 60400	YES 4172	UNCERTIFIED 295	UNCERTIFIED 60030	YES 7195
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-41.xml	UNCERTIFIED 60106	YES 4143	UNCERTIFIED 165	UNCERTIFIED 1052	YES 2802
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-427.xml	UNCERTIFIED 60111	YES 4832	UNCERTIFIED 204	UNCERTIFIED 12379	YES 6800
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-429.xml	UNCERTIFIED 60097	YES 7245	UNCERTIFIED 200	UNCERTIFIED 727	YES 3116
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-430.xml	UNCERTIFIED 60119	UNCERTIFIED 61491	UNCERTIFIED 230	UNCERTIFIED 1045	UNCERTIFIED 60069
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-431.xml	UNCERTIFIED 60089	UNCERTIFIED 60923	UNCERTIFIED 172	UNCERTIFIED 528	UNCERTIFIED 60064
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-434.xml	UNCERTIFIED 60111	UNCERTIFIED 61878	UNCERTIFIED 192	UNCERTIFIED 1621	UNCERTIFIED 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-435.xml	UNCERTIFIED 60102	UNCERTIFIED 61440	UNCERTIFIED 227	UNCERTIFIED 628	YES 4063
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-436.xml	UNCERTIFIED 60111	YES 4110	UNCERTIFIED 171	UNCERTIFIED 657	YES 6358
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-437.xml	UNCERTIFIED 60107	YES 4276	UNCERTIFIED 182	UNCERTIFIED 2483	YES 6361
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-438.xml	UNCERTIFIED 60236	YES 4243	UNCERTIFIED 244	UNCERTIFIED 19694	YES 6574
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-439.xml	UNCERTIFIED 60097	YES 4045	UNCERTIFIED 149	UNCERTIFIED 8098	YES 6654
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-441.xml	UNCERTIFIED 60105	YES 3558	UNCERTIFIED 155	UNCERTIFIED 5650	YES 6305
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-443.xml	UNCERTIFIED 60095	YES 3753	UNCERTIFIED 257	UNCERTIFIED 689	YES 6808
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-446.xml	UNCERTIFIED 60101	YES 4217	UNCERTIFIED 158	UNCERTIFIED 3220	YES 6651
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-448.xml	UNCERTIFIED 60103	YES 3586	UNCERTIFIED 151	UNCERTIFIED 960	YES 3157
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-44.xml	UNCERTIFIED 60109	YES 3876	UNCERTIFIED 198	UNCERTIFIED 692	YES 4866
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-450.xml	UNCERTIFIED 60109	UNCERTIFIED 61371	UNCERTIFIED 362	UNCERTIFIED 5475	UNCERTIFIED 60077
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-451.xml	UNCERTIFIED 60116	YES 4315	UNCERTIFIED 300	UNCERTIFIED 23974	YES 6485
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-452.xml	UNCERTIFIED 60124	UNCERTIFIED 61213	UNCERTIFIED 235	UNCERTIFIED 1867	UNCERTIFIED 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-453.xml	UNCERTIFIED 60112	YES 7434	UNCERTIFIED 251	UNCERTIFIED 960	YES 4397
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-454.xml	UNCERTIFIED 60147	UNCERTIFIED 61176	UNCERTIFIED 348	UNCERTIFIED 7576	UNCERTIFIED 60083
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-455.xml	UNCERTIFIED 60099	YES 4412	UNCERTIFIED 447	UNCERTIFIED 999	YES 11171
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-456.xml	UNCERTIFIED 60122	YES 4404	UNCERTIFIED 186	UNCERTIFIED 2099	YES 7616
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-45.xml	UNCERTIFIED 60092	YES 4046	UNCERTIFIED 172	UNCERTIFIED 352	YES 2002
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-460.xml	UNCERTIFIED 60142	YES 3837	UNCERTIFIED 342	UNCERTIFIED 5720	YES 6748
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-461.xml	UNCERTIFIED 60124	YES 4212	UNCERTIFIED 274	UNCERTIFIED 8831	YES 7279
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-462.xml	UNCERTIFIED 60128	YES 4154	UNCERTIFIED 266	UNCERTIFIED 3868	YES 6439
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-465.xml	UNCERTIFIED 60105	YES 3460	UNCERTIFIED 163	UNCERTIFIED 856	YES 6469
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-467.xml	UNCERTIFIED 60118	YES 4047	UNCERTIFIED 234	UNCERTIFIED 1432	YES 7054
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-468.xml	UNCERTIFIED 60108	YES 3692	UNCERTIFIED 212	UNCERTIFIED 2689	YES 6790
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-469.xml	UNCERTIFIED 60233	YES 5662	UNCERTIFIED 226	UNCERTIFIED 60030	UNCERTIFIED 60051
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-470.xml	YES 16073	YES 4215	UNCERTIFIED 180	UNCERTIFIED 673	YES 6523
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-472.xml	UNCERTIFIED 60088	YES 5284	UNCERTIFIED 132	UNCERTIFIED 453	UNCERTIFIED 60080
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-473.xml	UNCERTIFIED 60097	YES 4384	UNCERTIFIED 153	UNCERTIFIED 736	YES 6770
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-474.xml	UNCERTIFIED 60175	UNCERTIFIED 61109	UNCERTIFIED 316	UNCERTIFIED 60030	UNCERTIFIED 60066
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-475.xml	UNCERTIFIED 60210	UNCERTIFIED 60946	UNCERTIFIED 288	UNCERTIFIED 60029	UNCERTIFIED 60061
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-476.xml	UNCERTIFIED 60341	YES 4520	UNCERTIFIED 246	UNCERTIFIED 60030	YES 6171
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-477.xml	UNCERTIFIED 60117	YES 3669	UNCERTIFIED 171	UNCERTIFIED 4004	YES 7048
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-478.xml	UNCERTIFIED 60131	YES 4822	UNCERTIFIED 226	UNCERTIFIED 12248	YES 9558
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-479.xml	UNCERTIFIED 60128	YES 4584	UNCERTIFIED 217	UNCERTIFIED 3713	YES 7832
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-47.xml	UNCERTIFIED 60164	UNCERTIFIED 61049	UNCERTIFIED 307	UNCERTIFIED 7101	UNCERTIFIED 60065
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-480.xml	UNCERTIFIED 60119	UNCERTIFIED 61436	UNCERTIFIED 162	UNCERTIFIED 2997	YES 6585
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-482.xml	UNCERTIFIED 60105	YES 8405	UNCERTIFIED 161	UNCERTIFIED 532	YES 7064
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-484.xml	UNCERTIFIED 60129	YES 4327	UNCERTIFIED 325	UNCERTIFIED 6032	YES 6432
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-485.xml	UNCERTIFIED 60116	YES 3736	UNCERTIFIED 177	UNCERTIFIED 4298	YES 6544
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-487.xml	UNCERTIFIED 60098	YES 4566	UNCERTIFIED 156	UNCERTIFIED 660	YES 7095
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-488.xml	UNCERTIFIED 60081	UNCERTIFIED 61246	UNCERTIFIED 158	UNCERTIFIED 635	UNCERTIFIED 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-489.xml	UNCERTIFIED 60089	YES 4528	UNCERTIFIED 150	UNCERTIFIED 432	YES 9792
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-48.xml	UNCERTIFIED 60132	YES 6830	UNCERTIFIED 247	UNCERTIFIED 7489	YES 5995
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-491.xml	UNCERTIFIED 60719	UNCERTIFIED 61258	UNCERTIFIED 324	UNCERTIFIED 60031	UNCERTIFIED 60058
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-492.xml	UNCERTIFIED 60617	UNCERTIFIED 62196	UNCERTIFIED 383	UNCERTIFIED 60033	UNCERTIFIED 60063
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-493.xml	UNCERTIFIED 60600	UNCERTIFIED 61515	UNCERTIFIED 424	UNCERTIFIED 60031	UNCERTIFIED 60052
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-494.xml	UNCERTIFIED 60105	YES 4051	UNCERTIFIED 159	UNCERTIFIED 4066	YES 6218
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-495.xml	UNCERTIFIED 60118	YES 3886	UNCERTIFIED 228	UNCERTIFIED 8504	UNCERTIFIED 60077
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-497.xml	UNCERTIFIED 60220	UNCERTIFIED 61224	UNCERTIFIED 219	UNCERTIFIED 60030	UNCERTIFIED 60079
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-498.xml	UNCERTIFIED 60102	YES 3512	UNCERTIFIED 315	UNCERTIFIED 785	YES 6372
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-499.xml	UNCERTIFIED 60127	YES 11517	UNCERTIFIED 287	UNCERTIFIED 4375	YES 5210
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-49.xml	UNCERTIFIED 60110	YES 3438	UNCERTIFIED 183	UNCERTIFIED 4222	YES 6509
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-4.xml	UNCERTIFIED 60122	YES 4832	UNCERTIFIED 180	UNCERTIFIED 436	YES 3072
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-502.xml	UNCERTIFIED 60085	YES 3627	UNCERTIFIED 191	UNCERTIFIED 477	YES 9142
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-503.xml	UNCERTIFIED 60116	YES 5740	UNCERTIFIED 1000	UNCERTIFIED 17886	YES 12045
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-506.xml	UNCERTIFIED 60100	UNCERTIFIED 61467	UNCERTIFIED 182	UNCERTIFIED 529	UNCERTIFIED 60083
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-507.xml	UNCERTIFIED 60099	YES 4020	UNCERTIFIED 230	UNCERTIFIED 740	YES 4348
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-508.xml	UNCERTIFIED 60081	YES 3683	UNCERTIFIED 274	UNCERTIFIED 460	UNCERTIFIED 60075
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-511.xml	UNCERTIFIED 60184	UNCERTIFIED 61207	UNCERTIFIED 240	UNCERTIFIED 60029	UNCERTIFIED 60052
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-51.xml	UNCERTIFIED 60108	YES 3489	UNCERTIFIED 189	UNCERTIFIED 2505	YES 6067
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-522.xml	UNCERTIFIED 60646	UNCERTIFIED 61026	UNCERTIFIED 288	UNCERTIFIED 60034	NO 2875
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-526.xml	UNCERTIFIED 60662	YES 2985	UNCERTIFIED 340	UNCERTIFIED 60031	YES 6105
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-52.xml	UNCERTIFIED 60107	YES 4448	UNCERTIFIED 173	UNCERTIFIED 2241	YES 6350
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-532.xml	UNCERTIFIED 60107	YES 4052	UNCERTIFIED 155	UNCERTIFIED 2655	YES 6005
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-535.xml	UNCERTIFIED 60270	YES 8900	UNCERTIFIED 412	UNCERTIFIED 60031	YES 6546
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-536.xml	YES 51715	YES 3946	UNCERTIFIED 323	UNCERTIFIED 59915	YES 6670
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-540.xml	UNCERTIFIED 60099	UNCERTIFIED 60917	UNCERTIFIED 177	UNCERTIFIED 846	UNCERTIFIED 60072
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-541.xml	UNCERTIFIED 60100	YES 4233	UNCERTIFIED 163	UNCERTIFIED 9106	YES 5987
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-543.xml	UNCERTIFIED 60661	YES 14986	UNCERTIFIED 536	UNCERTIFIED 60039	YES 6153
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-545.xml	UNCERTIFIED 60567	YES 5914	UNCERTIFIED 430	UNCERTIFIED 60036	YES 5932
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-546.xml	UNCERTIFIED 60097	YES 4029	UNCERTIFIED 135	UNCERTIFIED 1352	YES 8050
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-547.xml	UNCERTIFIED 60113	YES 4178	UNCERTIFIED 182	UNCERTIFIED 1384	YES 8779
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml	UNCERTIFIED 60942	YES 7865	UNCERTIFIED 262	UNCERTIFIED 60033	YES 5934
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-549.xml	UNCERTIFIED 60109	YES 3748	UNCERTIFIED 248	UNCERTIFIED 4050	YES 6340
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-550.xml	UNCERTIFIED 60687	YES 7889	UNCERTIFIED 385	UNCERTIFIED 60031	YES 5905
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-551.xml	UNCERTIFIED 60121	YES 6412	UNCERTIFIED 236	UNCERTIFIED 3271	YES 2713
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-552.xml	UNCERTIFIED 60719	YES 5885	UNCERTIFIED 318	UNCERTIFIED 60033	YES 5771
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-553.xml	UNCERTIFIED 60560	YES 8177	UNCERTIFIED 268	UNCERTIFIED 60032	YES 5945
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-556.xml	UNCERTIFIED 60510	YES 4977	UNCERTIFIED 267	UNCERTIFIED 60031	YES 5925
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml	UNCERTIFIED 60107	UNCERTIFIED 61456	UNCERTIFIED 203	UNCERTIFIED 1416	UNCERTIFIED 60082
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-559.xml	UNCERTIFIED 60103	YES 5380	UNCERTIFIED 208	UNCERTIFIED 1136	YES 4155
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-560.xml	UNCERTIFIED 60101	YES 5739	UNCERTIFIED 137	UNCERTIFIED 1670	YES 5890
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-561.xml	UNCERTIFIED 60103	YES 4290	UNCERTIFIED 168	UNCERTIFIED 1023	YES 5976
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-563.xml	UNCERTIFIED 60116	YES 4348	UNCERTIFIED 189	UNCERTIFIED 3113	YES 6022
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-564.xml	UNCERTIFIED 60095	UNCERTIFIED 61250	UNCERTIFIED 169	UNCERTIFIED 1733	UNCERTIFIED 60089
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-565.xml	UNCERTIFIED 60094	YES 8380	UNCERTIFIED 166	UNCERTIFIED 883	YES 3813
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-566.xml	UNCERTIFIED 60102	UNCERTIFIED 61373	UNCERTIFIED 149	UNCERTIFIED 723	UNCERTIFIED 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-568.xml	UNCERTIFIED 60095	YES 3601	UNCERTIFIED 145	UNCERTIFIED 2252	YES 7166
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml	UNCERTIFIED 60641	YES 2497	YES 72	YES 278	YES 3395
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-59.xml	UNCERTIFIED 60447	YES 4769	UNCERTIFIED 296	UNCERTIFIED 10763	YES 6298
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-61.xml	UNCERTIFIED 60110	YES 3805	UNCERTIFIED 172	UNCERTIFIED 677	YES 7257
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-64.xml	UNCERTIFIED 60133	YES 2521	YES 59	YES 143	YES 5956
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-65.xml	UNCERTIFIED 60383	YES 3834	UNCERTIFIED 347	UNCERTIFIED 15084	YES 7163
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-66.xml	UNCERTIFIED 60521	YES 4128	UNCERTIFIED 452	UNCERTIFIED 36109	YES 7639
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-67.xml	UNCERTIFIED 60112	YES 3502	UNCERTIFIED 158	UNCERTIFIED 712	YES 3012
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-70.xml	UNCERTIFIED 60090	YES 3727	UNCERTIFIED 161	UNCERTIFIED 574	YES 2142
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-71.xml	UNCERTIFIED 60217	YES 4564	UNCERTIFIED 273	UNCERTIFIED 9115	YES 6109
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-72.xml	UNCERTIFIED 60109	YES 3445	UNCERTIFIED 158	UNCERTIFIED 1010	YES 3196
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-74.xml	UNCERTIFIED 60084	YES 7875	UNCERTIFIED 132	UNCERTIFIED 271	YES 2281
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-76.xml	UNCERTIFIED 60097	YES 3300	UNCERTIFIED 152	UNCERTIFIED 675	YES 4401
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-7.xml	UNCERTIFIED 60238	UNCERTIFIED 62164	UNCERTIFIED 298	UNCERTIFIED 23726	UNCERTIFIED 60075
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-82.xml	UNCERTIFIED 60125	YES 4128	UNCERTIFIED 204	UNCERTIFIED 1397	YES 6941
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-83.xml	UNCERTIFIED 60115	UNCERTIFIED 61031	UNCERTIFIED 172	UNCERTIFIED 646	UNCERTIFIED 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-84.xml	UNCERTIFIED 60248	UNCERTIFIED 61408	UNCERTIFIED 229	UNCERTIFIED 12231	UNCERTIFIED 60066
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-85.xml	UNCERTIFIED 60691	UNCERTIFIED 61355	UNCERTIFIED 333	UNCERTIFIED 60032	YES 15125
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-86.xml	UNCERTIFIED 60129	YES 4259	UNCERTIFIED 224	UNCERTIFIED 1349	YES 3773
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-88.xml	UNCERTIFIED 60742	UNCERTIFIED 61490	UNCERTIFIED 435	UNCERTIFIED 60033	UNCERTIFIED 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-90.xml	UNCERTIFIED 60099	UNCERTIFIED 61359	UNCERTIFIED 173	UNCERTIFIED 599	UNCERTIFIED 60079
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-91.xml	UNCERTIFIED 60092	YES 6675	UNCERTIFIED 156	UNCERTIFIED 446	YES 6123
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-92.xml	UNCERTIFIED 60111	YES 4020	UNCERTIFIED 173	UNCERTIFIED 7135	YES 6172
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-94.xml	UNCERTIFIED 60085	YES 3298	UNCERTIFIED 158	UNCERTIFIED 392	YES 3706
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-95.xml	UNCERTIFIED 60098	UNCERTIFIED 61172	UNCERTIFIED 133	UNCERTIFIED 304	UNCERTIFIED 60087
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-98.xml	UNCERTIFIED 60161	UNCERTIFIED 61388	UNCERTIFIED 280	UNCERTIFIED 3833	YES 9774
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml	UNCERTIFIED 60133	UNCERTIFIED 61157	UNCERTIFIED 278	UNCERTIFIED 1581	NO 4267
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-9.xml	UNCERTIFIED 60283	YES 3688	UNCERTIFIED 295	UNCERTIFIED 36827	YES 6055
tpdb-8.0/TRS/Zantema_04/syracuse.xml	UNCERTIFIED 60290	UNCERTIFIED 61101	UNCERTIFIED 2309	UNCERTIFIED 60030	UNCERTIFIED 60049
tpdb-8.0/TRS/Zantema_04/z001.xml	YES 22594	YES 21831	UNCERTIFIED 353	UNCERTIFIED 60033	YES 32527
tpdb-8.0/TRS/Zantema_04/z002.xml	YES 2969	YES 4947	UNCERTIFIED 542	YES 1552	YES 1152
tpdb-8.0/TRS/Zantema_04/z003.xml	YES 4334	YES 2779	UNCERTIFIED 400	YES 2127	YES 1790
tpdb-8.0/TRS/Zantema_04/z004.xml	YES 5408	YES 4252	UNCERTIFIED 829	YES 20605	YES 1386
tpdb-8.0/TRS/Zantema_04/z005.xml	YES 3173	YES 5199	UNCERTIFIED 775	YES 2224	YES 6839
tpdb-8.0/TRS/Zantema_04/z006.xml	YES 2447	YES 2423	YES 49	YES 144	YES 687
tpdb-8.0/TRS/Zantema_04/z007.xml	YES 2441	YES 2582	YES 85	YES 157	YES 737
tpdb-8.0/TRS/Zantema_04/z008.xml	YES 8920	YES 3886	UNCERTIFIED 5640	YES 8847	YES 2559
tpdb-8.0/TRS/Zantema_04/z009.xml	YES 2526	YES 2717	YES 68	YES 158	YES 1003
tpdb-8.0/TRS/Zantema_04/z010.xml	YES 2372	YES 2529	YES 77	YES 165	YES 791
tpdb-8.0/TRS/Zantema_04/z011.xml	YES 2987	YES 2900	YES 143	YES 241	YES 1116
tpdb-8.0/TRS/Zantema_04/z012.xml	YES 2487	YES 8930	YES 84	YES 181	YES 1094
tpdb-8.0/TRS/Zantema_04/z013.xml	YES 3521	YES 4286	UNCERTIFIED 469	YES 1831	YES 1701
tpdb-8.0/TRS/Zantema_04/z014.xml	YES 2539	YES 2578	YES 90	YES 225	YES 1063
tpdb-8.0/TRS/Zantema_04/z015.xml	YES 3187	YES 3054	YES 103	YES 201	YES 1188
tpdb-8.0/TRS/Zantema_04/z017.xml	YES 2660	YES 2703	YES 78	YES 144	YES 1015
tpdb-8.0/TRS/Zantema_04/z018.xml	YES 2813	YES 2813	UNCERTIFIED 197	YES 421	YES 5755
tpdb-8.0/TRS/Zantema_04/z019.xml	YES 3011	YES 2823	UNCERTIFIED 200	YES 348	YES 1011
tpdb-8.0/TRS/Zantema_04/z020.xml	UNCERTIFIED 60097	YES 2789	UNCERTIFIED 197	UNCERTIFIED 1182	YES 5980
tpdb-8.0/TRS/Zantema_04/z021.xml	YES 2749	YES 2692	YES 200	YES 248	YES 865
tpdb-8.0/TRS/Zantema_04/z022.xml	YES 3055	YES 3637	YES 308	YES 545	YES 1281
tpdb-8.0/TRS/Zantema_04/z023.xml	YES 3225	YES 5518	UNCERTIFIED 723	YES 2443	YES 1278
tpdb-8.0/TRS/Zantema_04/z024.xml	YES 3677	YES 2855	UNCERTIFIED 515	YES 5521	YES 965
tpdb-8.0/TRS/Zantema_04/z025.xml	YES 2535	YES 2738	YES 88	YES 268	YES 846
tpdb-8.0/TRS/Zantema_04/z026.xml	YES 2336	YES 2783	YES 74	YES 115	YES 769
tpdb-8.0/TRS/Zantema_04/z027.xml	UNCERTIFIED 61013	UNCERTIFIED 62335	UNCERTIFIED 861	UNCERTIFIED 60071	UNCERTIFIED 60058
tpdb-8.0/TRS/Zantema_04/z028.xml	UNCERTIFIED 61043	YES 11926	UNCERTIFIED 1739	UNCERTIFIED 60077	YES 9640
tpdb-8.0/TRS/Zantema_04/z029.xml	UNCERTIFIED 61168	UNCERTIFIED 61964	UNCERTIFIED 1277	UNCERTIFIED 60089	UNCERTIFIED 60058
tpdb-8.0/TRS/Zantema_04/z030.xml	UNCERTIFIED 61292	UNCERTIFIED 61487	UNCERTIFIED 1672	UNCERTIFIED 60092	UNCERTIFIED 60061
tpdb-8.0/TRS/Zantema_04/z031.xml	UNCERTIFIED 61292	UNCERTIFIED 61908	UNCERTIFIED 2418	UNCERTIFIED 60091	UNCERTIFIED 60076
tpdb-8.0/TRS/Zantema_04/z032.xml	UNCERTIFIED 61239	YES 52103	UNCERTIFIED 2069	UNCERTIFIED 60095	YES 32715
tpdb-8.0/TRS/Zantema_04/z033.xml	YES 6187	YES 3500	UNCERTIFIED 7232	UNCERTIFIED 60079	YES 1741
tpdb-8.0/TRS/Zantema_04/z034.xml	UNCERTIFIED 60830	UNCERTIFIED 62532	UNCERTIFIED 553	UNCERTIFIED 60041	UNCERTIFIED 60065
tpdb-8.0/TRS/Zantema_04/z035.xml	UNCERTIFIED 61353	UNCERTIFIED 62375	UNCERTIFIED 789	UNCERTIFIED 60074	UNCERTIFIED 60051
tpdb-8.0/TRS/Zantema_04/z036.xml	UNCERTIFIED 60948	YES 9767	UNCERTIFIED 1331	UNCERTIFIED 60096	YES 7252
tpdb-8.0/TRS/Zantema_04/z037.xml	UNCERTIFIED 60990	UNCERTIFIED 61856	UNCERTIFIED 1563	UNCERTIFIED 60090	YES 17113
tpdb-8.0/TRS/Zantema_04/z038.xml	UNCERTIFIED 61254	UNCERTIFIED 61998	UNCERTIFIED 1291	UNCERTIFIED 60090	UNCERTIFIED 60063
tpdb-8.0/TRS/Zantema_04/z039.xml	UNCERTIFIED 60958	YES 4257	UNCERTIFIED 1760	UNCERTIFIED 60078	YES 6741
tpdb-8.0/TRS/Zantema_04/z040.xml	UNCERTIFIED 61253	UNCERTIFIED 61912	UNCERTIFIED 2081	UNCERTIFIED 60091	UNCERTIFIED 60056
tpdb-8.0/TRS/Zantema_04/z041.xml	UNCERTIFIED 62725	UNCERTIFIED 61486	UNCERTIFIED 1621	UNCERTIFIED 60079	UNCERTIFIED 60067
tpdb-8.0/TRS/Zantema_04/z042.xml	UNCERTIFIED 60926	NO 2444	UNCERTIFIED 2148	UNCERTIFIED 60075	NO 502
tpdb-8.0/TRS/Zantema_04/z043.xml	YES 11355	YES 9062	UNCERTIFIED 2318	UNCERTIFIED 60084	YES 6606
tpdb-8.0/TRS/Zantema_04/z044.xml	UNCERTIFIED 60778	NO 2392	UNCERTIFIED 1593	UNCERTIFIED 60040	NO 474
tpdb-8.0/TRS/Zantema_04/z045.xml	UNCERTIFIED 61410	YES 5561	UNCERTIFIED 8205	UNCERTIFIED 60091	YES 7847
tpdb-8.0/TRS/Zantema_04/z046.xml	UNCERTIFIED 61001	NO 2435	UNCERTIFIED 23223	UNCERTIFIED 60090	NO 494
tpdb-8.0/TRS/Zantema_04/z047.xml	YES 5511	YES 9723	UNCERTIFIED 1831	UNCERTIFIED 60092	YES 6410
tpdb-8.0/TRS/Zantema_04/z048.xml	UNCERTIFIED 61286	YES 5847	UNCERTIFIED 60030	UNCERTIFIED 60091	YES 8281
tpdb-8.0/TRS/Zantema_04/z049.xml	YES 3743	YES 2470	UNCERTIFIED 1109	YES 23285	YES 912
tpdb-8.0/TRS/Zantema_04/z050.xml	YES 3959	YES 2614	UNCERTIFIED 1250	YES 21705	YES 1069
tpdb-8.0/TRS/Zantema_04/z051.xml	YES 6408	YES 6255	UNCERTIFIED 1443	YES 59727	YES 3249
tpdb-8.0/TRS/Zantema_04/z052.xml	YES 3293	YES 2564	UNCERTIFIED 823	YES 23201	YES 1029
tpdb-8.0/TRS/Zantema_04/z053.xml	YES 6028	YES 2926	UNCERTIFIED 1168	UNCERTIFIED 60045	YES 1060
tpdb-8.0/TRS/Zantema_04/z054.xml	UNCERTIFIED 60859	YES 7764	UNCERTIFIED 914	UNCERTIFIED 60045	YES 30209
tpdb-8.0/TRS/Zantema_04/z055.xml	YES 3327	YES 2407	UNCERTIFIED 934	YES 22276	YES 1109
tpdb-8.0/TRS/Zantema_04/z056.xml	YES 9476	YES 5804	UNCERTIFIED 1190	YES 45396	YES 6842
tpdb-8.0/TRS/Zantema_04/z057.xml	YES 4847	YES 5672	UNCERTIFIED 1388	UNCERTIFIED 60049	YES 2443
tpdb-8.0/TRS/Zantema_04/z058.xml	YES 5801	YES 5662	UNCERTIFIED 1305	YES 45940	YES 2942
tpdb-8.0/TRS/Zantema_04/z059.xml	YES 42449	YES 6112	UNCERTIFIED 2307	YES 41195	YES 7136
tpdb-8.0/TRS/Zantema_04/z060.xml	YES 3569	YES 6717	UNCERTIFIED 2385	YES 19271	YES 6829
tpdb-8.0/TRS/Zantema_04/z061.xml	YES 3222	YES 2323	UNCERTIFIED 60030	YES 28245	YES 927
tpdb-8.0/TRS/Zantema_04/z062.xml	YES 3213	YES 2381	UNCERTIFIED 60029	YES 27901	YES 936
tpdb-8.0/TRS/Zantema_04/z063.xml	YES 2871	YES 2473	YES 206	YES 762	YES 896
tpdb-8.0/TRS/Zantema_04/z064.xml	UNCERTIFIED 60673	YES 5545	UNCERTIFIED 5780	UNCERTIFIED 60041	YES 7226
tpdb-8.0/TRS/Zantema_04/z065.xml	YES 2766	YES 2759	UNCERTIFIED 26	UNCERTIFIED 25	YES 1580
tpdb-8.0/TRS/Zantema_04/z066.xml	YES 4754	YES 6033	YES 189	YES 614	YES 5840
tpdb-8.0/TRS/Zantema_04/z067.xml	YES 2929	YES 3282	YES 119	YES 483	YES 3086
tpdb-8.0/TRS/Zantema_04/z068.xml	UNCERTIFIED 60805	YES 5830	UNCERTIFIED 1588	YES 23227	YES 3189
tpdb-8.0/TRS/Zantema_04/z069.xml	YES 3589	YES 3654	YES 219	YES 3067	YES 6407
tpdb-8.0/TRS/Zantema_04/z070.xml	YES 8926	YES 5216	YES 1514	YES 1829	YES 8340
tpdb-8.0/TRS/Zantema_04/z071.xml	YES 2143	YES 2926	YES 41	YES 174	YES 1766
tpdb-8.0/TRS/Zantema_04/z072.xml	YES 3340	YES 4176	UNCERTIFIED 518	YES 993	YES 1296
tpdb-8.0/TRS/Zantema_04/z073.xml	UNCERTIFIED 60105	UNCERTIFIED 60780	UNCERTIFIED 411	UNCERTIFIED 4890	UNCERTIFIED 60055
tpdb-8.0/TRS/Zantema_04/z074.xml	UNCERTIFIED 60269	YES 3717	UNCERTIFIED 4085	YES 5513	YES 5426
tpdb-8.0/TRS/Zantema_04/z075.xml	UNCERTIFIED 60140	YES 3500	UNCERTIFIED 658	YES 1056	YES 2380
tpdb-8.0/TRS/Zantema_04/z076.xml	UNCERTIFIED 60269	YES 2677	UNCERTIFIED 256	UNCERTIFIED 60030	YES 4476
tpdb-8.0/TRS/Zantema_04/z077.xml	YES 2124	YES 2481	YES 42	YES 43	YES 1204
tpdb-8.0/TRS/Zantema_04/z078.xml	UNCERTIFIED 60340	YES 2760	UNCERTIFIED 398	UNCERTIFIED 60030	YES 5834
tpdb-8.0/TRS/Zantema_04/z079.xml	UNCERTIFIED 60159	UNCERTIFIED 61064	UNCERTIFIED 674	UNCERTIFIED 48325	UNCERTIFIED 60051
tpdb-8.0/TRS/Zantema_04/z080.xml	UNCERTIFIED 60128	YES 3736	UNCERTIFIED 237	UNCERTIFIED 60030	YES 6861
tpdb-8.0/TRS/Zantema_04/z081.xml	YES 3220	YES 3186	YES 135	YES 458	YES 1597
tpdb-8.0/TRS/Zantema_04/z082.xml	UNCERTIFIED 60032	YES 8772	UNCERTIFIED 887	UNCERTIFIED 4180	YES 2578
tpdb-8.0/TRS/Zantema_04/z083.xml	YES 3732	YES 5191	UNCERTIFIED 581	YES 1729	YES 2421
tpdb-8.0/TRS/Zantema_04/z084.xml	YES 2912	YES 2531	YES 77	YES 157	YES 998
tpdb-8.0/TRS/Zantema_04/z085.xml	YES 2339	YES 2321	YES 48	YES 59	YES 611
tpdb-8.0/TRS/Zantema_04/z086.xml	YES 13834	UNCERTIFIED 63952	UNCERTIFIED 463	UNCERTIFIED 1544	YES 6697
tpdb-8.0/TRS/Zantema_04/z087.xml	YES 2949	YES 3688	UNCERTIFIED 463	YES 296	YES 867
tpdb-8.0/TRS/Zantema_04/z088.xml	YES 4139	YES 3596	UNCERTIFIED 752	UNCERTIFIED 60030	YES 7023
tpdb-8.0/TRS/Zantema_04/z089.xml	YES 3533	YES 4233	UNCERTIFIED 1154	YES 1965	YES 1299
tpdb-8.0/TRS/Zantema_04/z090.xml	UNCERTIFIED 60179	YES 58230	UNCERTIFIED 628	UNCERTIFIED 60030	UNCERTIFIED 60061
tpdb-8.0/TRS/Zantema_04/z091.xml	YES 6405	YES 4022	YES 305	YES 5586	YES 6483
tpdb-8.0/TRS/Zantema_04/z092.xml	YES 3824	YES 3242	YES 157	YES 255	YES 4541
tpdb-8.0/TRS/Zantema_04/z093.xml	YES 2664	YES 2539	YES 57	YES 114	YES 773
tpdb-8.0/TRS/Zantema_04/z094.xml	YES 3073	YES 2776	UNCERTIFIED 596	YES 651	YES 1466
tpdb-8.0/TRS/Zantema_04/z095.xml	YES 23818	YES 30217	UNCERTIFIED 825	UNCERTIFIED 60056	YES 19502
tpdb-8.0/TRS/Zantema_04/z096.xml	UNCERTIFIED 61210	NO 2331	UNCERTIFIED 1053	UNCERTIFIED 60093	NO 498
tpdb-8.0/TRS/Zantema_04/z097.xml	UNCERTIFIED 61132	UNCERTIFIED 61816	UNCERTIFIED 1292	UNCERTIFIED 60076	UNCERTIFIED 60062
tpdb-8.0/TRS/Zantema_04/z098.xml	UNCERTIFIED 60929	UNCERTIFIED 61642	UNCERTIFIED 874	UNCERTIFIED 60056	YES 26317
tpdb-8.0/TRS/Zantema_04/z100.xml	YES 5725	YES 5644	UNCERTIFIED 7827	YES 6554	YES 5655
tpdb-8.0/TRS/Zantema_04/z101.xml	YES 2538	YES 2343	YES 69	YES 176	YES 766
tpdb-8.0/TRS/Zantema_04/z102.xml	YES 2865	YES 2530	YES 206	YES 142	YES 1091
tpdb-8.0/TRS/Zantema_04/z103.xml	YES 2653	YES 6062	YES 61	YES 123	YES 1314
tpdb-8.0/TRS/Zantema_04/z104.xml	YES 12624	YES 2473	UNCERTIFIED 1446	YES 504	YES 2360
tpdb-8.0/TRS/Zantema_04/z105.xml	YES 12570	YES 2527	UNCERTIFIED 333	UNCERTIFIED 1805	YES 1963
tpdb-8.0/TRS/Zantema_04/z106.xml	YES 3183	YES 2534	YES 88	YES 270	YES 1436
tpdb-8.0/TRS/Zantema_04/z107.xml	YES 12496	YES 2377	UNCERTIFIED 322	UNCERTIFIED 1614	YES 1499
tpdb-8.0/TRS/Zantema_04/z108.xml	YES 2839	YES 2381	YES 75	YES 124	YES 1190
tpdb-8.0/TRS/Zantema_04/z109.xml	YES 3817	YES 2378	YES 179	YES 98	YES 1028
tpdb-8.0/TRS/Zantema_04/z110.xml	YES 3426	YES 3504	YES 112	YES 161	YES 1096
tpdb-8.0/TRS/Zantema_04/z111.xml	YES 12628	YES 35592	YES 511	YES 687	YES 2360
tpdb-8.0/TRS/Zantema_04/z112.xml	YES 4515	YES 2405	UNCERTIFIED 558	YES 2651	YES 1686
tpdb-8.0/TRS/Zantema_04/z113.xml	YES 12969	UNCERTIFIED 61063	UNCERTIFIED 601	UNCERTIFIED 2271	YES 2376
tpdb-8.0/TRS/Zantema_04/z114.xml	YES 2651	YES 3166	UNCERTIFIED 53	YES 112	YES 821
tpdb-8.0/TRS/Zantema_04/z115.xml	YES 3300	YES 2716	YES 91	YES 302	YES 1344
tpdb-8.0/TRS/Zantema_04/z116.xml	YES 2753	YES 2345	YES 118	YES 102	YES 1124
tpdb-8.0/TRS/Zantema_04/z117.xml	UNCERTIFIED 60321	YES 18258	UNCERTIFIED 1501	UNCERTIFIED 60029	YES 1475
tpdb-8.0/TRS/Zantema_04/z118.xml	YES 3352	YES 2891	YES 177	YES 356	YES 1587
tpdb-8.0/TRS/Zantema_04/z119.xml	YES 19160	UNCERTIFIED 62730	YES 213	YES 517	YES 1887
tpdb-8.0/TRS/Zantema_04/z120.xml	UNCERTIFIED 60196	YES 3344	UNCERTIFIED 584	YES 1988	YES 5938
tpdb-8.0/TRS/Zantema_04/z121.xml	UNCERTIFIED 60168	YES 2651	UNCERTIFIED 1496	UNCERTIFIED 39250	YES 3272
tpdb-8.0/TRS/Zantema_04/z122.xml	YES 5573	YES 3683	UNCERTIFIED 266	YES 313	YES 1492
tpdb-8.0/TRS/Zantema_04/z123.xml	YES 13598	YES 4762	UNCERTIFIED 425	UNCERTIFIED 2617	YES 2935
tpdb-8.0/TRS/Zantema_04/z124.xml	YES 3844	YES 3091	YES 152	YES 161	YES 4333
tpdb-8.0/TRS/Zantema_04/z125.xml	YES 3679	YES 2852	UNCERTIFIED 1050	YES 2809	YES 1964
tpdb-8.0/TRS/Zantema_04/z126.xml	YES 2559	YES 2587	UNCERTIFIED 205	YES 811	YES 814
tpdb-8.0/TRS/Zantema_04/z127.xml	UNCERTIFIED 60124	UNCERTIFIED 61102	UNCERTIFIED 328	UNCERTIFIED 18531	NO 487
tpdb-8.0/TRS/Zantema_04/z128.xml	UNCERTIFIED 60129	NO 5594	UNCERTIFIED 958	UNCERTIFIED 16668	NO 476
tpdb-8.0/TRS/Zantema_06/01.xml	YES 2592	YES 2950	YES 96	YES 161	YES 2814
tpdb-8.0/TRS/Zantema_06/02.xml	YES 2847	YES 3538	UNCERTIFIED 319	YES 569	YES 968
tpdb-8.0/TRS/Zantema_06/03.xml	UNCERTIFIED 60725	UNCERTIFIED 60038	UNCERTIFIED 440	UNCERTIFIED 60031	YES 10846
tpdb-8.0/TRS/Zantema_06/04.xml	YES 2922	UNCERTIFIED 61157	YES 161	YES 289	YES 6818
tpdb-8.0/TRS/Zantema_06/05.xml	UNCERTIFIED 60802	YES 46222	UNCERTIFIED 459	UNCERTIFIED 60032	YES 12736
tpdb-8.0/TRS/Zantema_06/06.xml	UNCERTIFIED 60119	YES 34822	UNCERTIFIED 273	UNCERTIFIED 6784	YES 9118
tpdb-8.0/TRS/Zantema_06/07.xml	UNCERTIFIED 60705	UNCERTIFIED 62277	UNCERTIFIED 1088	UNCERTIFIED 60037	UNCERTIFIED 60074
tpdb-8.0/TRS/Zantema_06/08.xml	UNCERTIFIED 60742	UNCERTIFIED 61955	UNCERTIFIED 982	UNCERTIFIED 60033	UNCERTIFIED 60083
tpdb-8.0/TRS/Zantema_06/09.xml	UNCERTIFIED 60348	YES 8725	UNCERTIFIED 3465	YES 5621	YES 3401
tpdb-8.0/TRS/Zantema_06/10.xml	YES 3182	YES 3832	YES 307	YES 387	YES 5620
tpdb-8.0/TRS/Zantema_06/11.xml	YES 4658	UNCERTIFIED 61577	UNCERTIFIED 60028	UNCERTIFIED 60031	YES 6893
tpdb-8.0/TRS/Zantema_06/12.xml	UNCERTIFIED 60678	UNCERTIFIED 62776	UNCERTIFIED 60029	UNCERTIFIED 60057	YES 11852
tpdb-8.0/TRS/Zantema_06/13.xml	UNCERTIFIED 60790	YES 23702	UNCERTIFIED 4924	UNCERTIFIED 60052	YES 15643
tpdb-8.0/TRS/Zantema_06/14.xml	UNCERTIFIED 60137	YES 6121	UNCERTIFIED 451	UNCERTIFIED 2258	UNCERTIFIED 60079
tpdb-8.0/TRS/Zantema_06/15.xml	YES 28567	YES 30545	UNCERTIFIED 6652	UNCERTIFIED 60092	YES 18994
tpdb-8.0/TRS/Zantema_06/16.xml	YES 8473	YES 9961	UNCERTIFIED 1842	YES 35088	YES 3411
tpdb-8.0/TRS/Zantema_06/17.xml	YES 19350	YES 7544	UNCERTIFIED 7300	UNCERTIFIED 60076	YES 5990
tpdb-8.0/TRS/Zantema_06/18.xml	YES 57150	YES 9008	UNCERTIFIED 19103	UNCERTIFIED 60093	YES 8498
tpdb-8.0/TRS/Zantema_06/abc.xml	UNCERTIFIED 60529	YES 7419	UNCERTIFIED 304	UNCERTIFIED 60032	YES 5177
tpdb-8.0/TRS/Zantema_06/beans1.xml	YES 4826	YES 4721	YES 291	YES 1610	YES 2975
tpdb-8.0/TRS/Zantema_06/beans2.xml	UNCERTIFIED 60268	YES 26906	UNCERTIFIED 761	UNCERTIFIED 60029	YES 6554
tpdb-8.0/TRS/Zantema_06/beans3.xml	UNCERTIFIED 60310	YES 4182	UNCERTIFIED 607	UNCERTIFIED 21878	YES 7883
tpdb-8.0/TRS/Zantema_06/beans4.xml	YES 3343	YES 2915	YES 71	YES 213	YES 1087
tpdb-8.0/TRS/Zantema_06/beans5.xml	UNCERTIFIED 60139	YES 3350	UNCERTIFIED 237	UNCERTIFIED 1218	YES 6381
tpdb-8.0/TRS/Zantema_06/beans6.xml	UNCERTIFIED 60173	YES 8464	UNCERTIFIED 332	UNCERTIFIED 1671	YES 6870
tpdb-8.0/TRS/Zantema_06/beans7.xml	UNCERTIFIED 60161	YES 4364	UNCERTIFIED 1010	UNCERTIFIED 7754	YES 7643
tpdb-8.0/TRS/Zantema_06/loop1.xml	UNCERTIFIED 60102	NO 5168	UNCERTIFIED 147	UNCERTIFIED 4978	NO 509
tpdb-8.0/TRS/Zantema_06/loop2.xml	UNCERTIFIED 60108	NO 3549	UNCERTIFIED 197	UNCERTIFIED 737	NO 479
tpdb-8.0/TRS/Zantema_06/while1.xml	UNCERTIFIED 60239	UNCERTIFIED 61162	UNCERTIFIED 23480	UNCERTIFIED 60044	UNCERTIFIED 60055
tpdb-8.0/TRS/Zantema_06/while2.xml	YES 5272	YES 3157	UNCERTIFIED 1687	YES 8236	YES 1852
	163	636	64	123	558