TermCOMP 2013: SRS Standard

benchmark	AProVE	AProVE-CeTA	muterm	NaTT	TTT2	TTT2Cert
tpdb-8.0/TRS/Bouchare_06/01.xml	YES 1368	YES 3614	TIMEOUT 60097	MAYBE 199	YES 1524	YES 1449
tpdb-8.0/TRS/Bouchare_06/02.xml	YES 1323	YES 3640	TIMEOUT 60192	YES 135	YES 1508	YES 853
tpdb-8.0/TRS/Bouchare_06/03.xml	YES 4314	YES 4993	TIMEOUT 60080	MAYBE 199	YES 6421	YES 6374
tpdb-8.0/TRS/Bouchare_06/04.xml	YES 1445	YES 3743	TIMEOUT 60084	MAYBE 253	YES 1545	YES 1550
tpdb-8.0/TRS/Bouchare_06/05.xml	YES 5324	YES 4599	TIMEOUT 60093	MAYBE 198	YES 1349	YES 1831
tpdb-8.0/TRS/Bouchare_06/06.xml	YES 5068	YES 6091	TIMEOUT 60066	MAYBE 569	YES 5717	YES 6635
tpdb-8.0/TRS/Bouchare_06/07.xml	YES 3380	YES 4904	YES 2368	YES 136	YES 7095	YES 6689
tpdb-8.0/TRS/Bouchare_06/08.xml	NO 1071	NO 15243	TIMEOUT 60033	MAYBE 275	NO 859	NO 753
tpdb-8.0/TRS/Bouchare_06/09.xml	NO 1143	NO 17783	TIMEOUT 60100	MAYBE 253	NO 870	NO 781
tpdb-8.0/TRS/Bouchare_06/10.xml	YES 7254	YES 6786	TIMEOUT 60077	MAYBE 307	YES 2174	YES 1566
tpdb-8.0/TRS/Bouchare_06/11.xml	YES 6803	YES 7031	TIMEOUT 60104	MAYBE 154	YES 1479	YES 1293
tpdb-8.0/TRS/Bouchare_06/12.xml	YES 5541	YES 6598	TIMEOUT 60084	MAYBE 136	YES 1406	YES 1794
tpdb-8.0/TRS/Bouchare_06/13.xml	YES 6604	YES 5656	TIMEOUT 60102	MAYBE 228	YES 8882	YES 6219
tpdb-8.0/TRS/Bouchare_06/14.xml	YES 1481	YES 3796	TIMEOUT 60082	MAYBE 164	YES 1442	YES 1331
tpdb-8.0/TRS/Bouchare_06/15.xml	YES 1419	YES 3622	TIMEOUT 60082	MAYBE 203	YES 1293	YES 1214
tpdb-8.0/TRS/Bouchare_06/16.xml	YES 1293	YES 3652	TIMEOUT 60079	MAYBE 145	YES 1465	YES 1449
tpdb-8.0/TRS/Bouchare_06/17.xml	YES 1430	YES 3714	TIMEOUT 60090	MAYBE 175	YES 1460	YES 1362
tpdb-8.0/TRS/Bouchare_06/18.xml	YES 5856	YES 6884	TIMEOUT 60101	MAYBE 243	YES 7427	YES 7139
tpdb-8.0/TRS/Gebhardt_06/01.xml	TIMEOUT 61296	TIMEOUT 61376	TIMEOUT 60058	MAYBE 237	MAYBE 59963	TIMEOUT 60060
tpdb-8.0/TRS/Gebhardt_06/02.xml	TIMEOUT 61090	TIMEOUT 61887	TIMEOUT 60065	MAYBE 227	MAYBE 59881	TIMEOUT 60053
tpdb-8.0/TRS/Gebhardt_06/03.xml	NO 5010	TIMEOUT 62512	TIMEOUT 60056	MAYBE 304	MAYBE 59920	TIMEOUT 60060
tpdb-8.0/TRS/Gebhardt_06/04.xml	YES 4835	YES 7335	TIMEOUT 60046	MAYBE 378	MAYBE 59878	TIMEOUT 60048
tpdb-8.0/TRS/Gebhardt_06/05.xml	NO 9289	TIMEOUT 60049	TIMEOUT 60052	MAYBE 340	MAYBE 59931	TIMEOUT 60057
tpdb-8.0/TRS/Gebhardt_06/06.xml	TIMEOUT 61156	TIMEOUT 61239	TIMEOUT 60062	MAYBE 317	MAYBE 59905	TIMEOUT 60053
tpdb-8.0/TRS/Gebhardt_06/07.xml	YES 6626	YES 5572	TIMEOUT 60050	MAYBE 400	MAYBE 59908	TIMEOUT 60063
tpdb-8.0/TRS/Gebhardt_06/08.xml	NO 5094	TIMEOUT 61675	TIMEOUT 60056	MAYBE 364	NO 20398	TIMEOUT 60064
tpdb-8.0/TRS/Gebhardt_06/09.xml	YES 32992	YES 37350	TIMEOUT 60058	MAYBE 301	YES 12541	YES 16388
tpdb-8.0/TRS/Gebhardt_06/10.xml	TIMEOUT 61435	TIMEOUT 61412	TIMEOUT 60056	MAYBE 376	MAYBE 59927	TIMEOUT 60062
tpdb-8.0/TRS/Gebhardt_06/11.xml	YES 4342	YES 7086	TIMEOUT 60050	MAYBE 447	YES 9382	YES 22226
tpdb-8.0/TRS/Gebhardt_06/12.xml	NO 8065	TIMEOUT 61527	TIMEOUT 60055	MAYBE 409	MAYBE 59937	TIMEOUT 60155
tpdb-8.0/TRS/Gebhardt_06/13.xml	TIMEOUT 61092	TIMEOUT 61280	TIMEOUT 60055	MAYBE 510	MAYBE 59915	TIMEOUT 60060
tpdb-8.0/TRS/Gebhardt_06/14.xml	YES 6370	YES 6694	TIMEOUT 60051	MAYBE 318	YES 40100	TIMEOUT 60054
tpdb-8.0/TRS/Gebhardt_06/15.xml	NO 10752	TIMEOUT 61121	TIMEOUT 60056	MAYBE 416	MAYBE 59909	TIMEOUT 60051
tpdb-8.0/TRS/Gebhardt_06/16.xml	YES 5934	YES 7614	TIMEOUT 60044	MAYBE 438	MAYBE 59915	TIMEOUT 60059
tpdb-8.0/TRS/Gebhardt_06/17.xml	YES 5777	YES 7535	TIMEOUT 60047	MAYBE 458	MAYBE 59921	TIMEOUT 60058
tpdb-8.0/TRS/Gebhardt_06/18.xml	YES 37525	YES 42804	TIMEOUT 60042	MAYBE 468	MAYBE 59910	TIMEOUT 60056
tpdb-8.0/TRS/Gebhardt_06/19.xml	TIMEOUT 61023	TIMEOUT 62187	TIMEOUT 60045	MAYBE 713	MAYBE 59952	TIMEOUT 60064
tpdb-8.0/TRS/Gebhardt_06/20.xml	TIMEOUT 61140	TIMEOUT 62664	TIMEOUT 60043	MAYBE 946	MAYBE 59940	TIMEOUT 60056
tpdb-8.0/TRS/ICFP_2010/107193.xml	TIMEOUT 60984	TIMEOUT 60928	TIMEOUT 60100	TIMEOUT 60030	TIMEOUT 60045	TIMEOUT 60139
tpdb-8.0/TRS/ICFP_2010/107220.xml	TIMEOUT 60843	TIMEOUT 61091	TIMEOUT 60101	TIMEOUT 60038	TIMEOUT 60046	TIMEOUT 60160
tpdb-8.0/TRS/ICFP_2010/107236.xml	TIMEOUT 60993	TIMEOUT 61015	TIMEOUT 60088	TIMEOUT 60029	TIMEOUT 60048	TIMEOUT 60202
tpdb-8.0/TRS/ICFP_2010/123759.xml	TIMEOUT 60934	TIMEOUT 61182	TIMEOUT 60088	TIMEOUT 60035	TIMEOUT 60039	TIMEOUT 60194
tpdb-8.0/TRS/ICFP_2010/124211.xml	TIMEOUT 60983	TIMEOUT 61328	TIMEOUT 60111	TIMEOUT 60034	TIMEOUT 60046	TIMEOUT 60226
tpdb-8.0/TRS/ICFP_2010/124269.xml	TIMEOUT 60914	TIMEOUT 61269	TIMEOUT 60109	TIMEOUT 60030	TIMEOUT 60039	TIMEOUT 60257
tpdb-8.0/TRS/ICFP_2010/124791.xml	TIMEOUT 61149	TIMEOUT 61616	TIMEOUT 60099	TIMEOUT 60033	TIMEOUT 60041	TIMEOUT 60234
tpdb-8.0/TRS/ICFP_2010/127538.xml	YES 12323	YES 20867	TIMEOUT 60084	TIMEOUT 60031	TIMEOUT 60044	TIMEOUT 60183
tpdb-8.0/TRS/ICFP_2010/128056.xml	TIMEOUT 60920	TIMEOUT 61092	TIMEOUT 60110	TIMEOUT 60029	TIMEOUT 60040	TIMEOUT 60149
tpdb-8.0/TRS/ICFP_2010/128182.xml	YES 9777	YES 16706	TIMEOUT 60091	TIMEOUT 60030	TIMEOUT 60043	TIMEOUT 60130
tpdb-8.0/TRS/ICFP_2010/128280.xml	YES 9901	YES 16615	TIMEOUT 60087	TIMEOUT 60031	TIMEOUT 60043	TIMEOUT 60157
tpdb-8.0/TRS/ICFP_2010/128430.xml	YES 10107	YES 16458	TIMEOUT 60099	TIMEOUT 60029	TIMEOUT 60041	TIMEOUT 60188
tpdb-8.0/TRS/ICFP_2010/128486.xml	YES 9585	YES 16951	TIMEOUT 60099	TIMEOUT 60029	TIMEOUT 60041	TIMEOUT 60161
tpdb-8.0/TRS/ICFP_2010/128515.xml	YES 10710	YES 19189	TIMEOUT 60098	TIMEOUT 60031	TIMEOUT 60042	TIMEOUT 60226
tpdb-8.0/TRS/ICFP_2010/128550.xml	YES 11120	YES 20346	TIMEOUT 60097	TIMEOUT 60029	TIMEOUT 60041	TIMEOUT 60148
tpdb-8.0/TRS/ICFP_2010/128620.xml	YES 9293	YES 15667	TIMEOUT 60073	TIMEOUT 60031	TIMEOUT 60040	TIMEOUT 60116
tpdb-8.0/TRS/ICFP_2010/128691.xml	YES 10841	YES 18817	TIMEOUT 60088	TIMEOUT 60029	TIMEOUT 60040	TIMEOUT 60138
tpdb-8.0/TRS/ICFP_2010/130161.xml	TIMEOUT 60708	TIMEOUT 60863	TIMEOUT 60111	TIMEOUT 60030	TIMEOUT 60043	TIMEOUT 60360
tpdb-8.0/TRS/ICFP_2010/130304.xml	TIMEOUT 60701	TIMEOUT 60772	TIMEOUT 60099	TIMEOUT 60030	TIMEOUT 60047	TIMEOUT 60201
tpdb-8.0/TRS/ICFP_2010/130472.xml	TIMEOUT 60741	TIMEOUT 61011	TIMEOUT 60113	TIMEOUT 60031	TIMEOUT 60042	TIMEOUT 60221
tpdb-8.0/TRS/ICFP_2010/130962.xml	TIMEOUT 61065	TIMEOUT 61362	TIMEOUT 60102	TIMEOUT 60029	TIMEOUT 60043	TIMEOUT 60194
tpdb-8.0/TRS/ICFP_2010/131633.xml	TIMEOUT 60879	TIMEOUT 61194	TIMEOUT 60083	TIMEOUT 60032	TIMEOUT 60038	TIMEOUT 60152
tpdb-8.0/TRS/ICFP_2010/131982.xml	TIMEOUT 61092	TIMEOUT 61416	TIMEOUT 60077	TIMEOUT 60033	TIMEOUT 60041	TIMEOUT 60211
tpdb-8.0/TRS/ICFP_2010/132235.xml	TIMEOUT 60919	TIMEOUT 61543	TIMEOUT 60093	TIMEOUT 60031	TIMEOUT 60040	TIMEOUT 60184
tpdb-8.0/TRS/ICFP_2010/132478.xml	YES 10157	YES 17100	TIMEOUT 60086	TIMEOUT 60032	TIMEOUT 60039	TIMEOUT 60161
tpdb-8.0/TRS/ICFP_2010/132540.xml	YES 11110	YES 17754	TIMEOUT 60102	TIMEOUT 60030	TIMEOUT 60045	TIMEOUT 60196
tpdb-8.0/TRS/ICFP_2010/132611.xml	YES 7048	YES 12188	TIMEOUT 60096	TIMEOUT 60030	TIMEOUT 60039	TIMEOUT 60158
tpdb-8.0/TRS/ICFP_2010/132622.xml	YES 10528	YES 19370	TIMEOUT 60101	TIMEOUT 60029	TIMEOUT 60045	TIMEOUT 60115
tpdb-8.0/TRS/ICFP_2010/132720.xml	YES 11986	YES 20004	TIMEOUT 60102	TIMEOUT 60029	TIMEOUT 60042	TIMEOUT 60153
tpdb-8.0/TRS/ICFP_2010/132738.xml	YES 10183	YES 19076	TIMEOUT 60233	TIMEOUT 60029	TIMEOUT 60042	TIMEOUT 60187
tpdb-8.0/TRS/ICFP_2010/132782.xml	YES 10462	YES 18218	TIMEOUT 60098	TIMEOUT 60030	TIMEOUT 60043	TIMEOUT 60133
tpdb-8.0/TRS/ICFP_2010/132833.xml	YES 10937	YES 18251	TIMEOUT 60099	TIMEOUT 60032	TIMEOUT 60042	TIMEOUT 60130
tpdb-8.0/TRS/ICFP_2010/132848.xml	TIMEOUT 60655	TIMEOUT 60832	TIMEOUT 60088	TIMEOUT 60031	TIMEOUT 60047	TIMEOUT 60163
tpdb-8.0/TRS/ICFP_2010/132864.xml	YES 10524	YES 18820	TIMEOUT 60112	TIMEOUT 60029	TIMEOUT 60037	TIMEOUT 60111
tpdb-8.0/TRS/ICFP_2010/132920.xml	YES 9710	YES 16769	TIMEOUT 60096	TIMEOUT 60031	TIMEOUT 60040	TIMEOUT 60163
tpdb-8.0/TRS/ICFP_2010/132957.xml	YES 11357	YES 20275	TIMEOUT 60184	TIMEOUT 60029	TIMEOUT 60044	TIMEOUT 60097
tpdb-8.0/TRS/ICFP_2010/132969.xml	TIMEOUT 60946	TIMEOUT 61621	TIMEOUT 60102	TIMEOUT 60030	TIMEOUT 60041	TIMEOUT 60114
tpdb-8.0/TRS/ICFP_2010/133010.xml	YES 11800	YES 19541	TIMEOUT 60101	TIMEOUT 60031	TIMEOUT 60041	TIMEOUT 60127
tpdb-8.0/TRS/ICFP_2010/133079.xml	TIMEOUT 60852	TIMEOUT 61200	TIMEOUT 60094	TIMEOUT 60029	TIMEOUT 60044	TIMEOUT 60200
tpdb-8.0/TRS/ICFP_2010/133159.xml	TIMEOUT 61128	TIMEOUT 61693	TIMEOUT 60090	TIMEOUT 60033	TIMEOUT 60040	TIMEOUT 60156
tpdb-8.0/TRS/ICFP_2010/133236.xml	TIMEOUT 60794	TIMEOUT 60776	TIMEOUT 60099	TIMEOUT 60029	TIMEOUT 60041	TIMEOUT 60184
tpdb-8.0/TRS/ICFP_2010/133432.xml	TIMEOUT 60798	TIMEOUT 60830	TIMEOUT 60103	TIMEOUT 60030	TIMEOUT 60039	TIMEOUT 60191
tpdb-8.0/TRS/ICFP_2010/133486.xml	TIMEOUT 61067	TIMEOUT 61429	TIMEOUT 60098	TIMEOUT 60032	TIMEOUT 60041	TIMEOUT 60137
tpdb-8.0/TRS/ICFP_2010/133532.xml	TIMEOUT 60780	TIMEOUT 60857	TIMEOUT 60102	TIMEOUT 60030	TIMEOUT 60046	TIMEOUT 60126
tpdb-8.0/TRS/ICFP_2010/133827.xml	YES 6137	YES 12221	TIMEOUT 60086	TIMEOUT 60030	TIMEOUT 60038	TIMEOUT 60147
tpdb-8.0/TRS/ICFP_2010/133881.xml	TIMEOUT 60965	TIMEOUT 62624	TIMEOUT 60096	TIMEOUT 60030	TIMEOUT 60039	TIMEOUT 60200
tpdb-8.0/TRS/ICFP_2010/134918.xml	TIMEOUT 61042	TIMEOUT 61745	TIMEOUT 60097	TIMEOUT 60033	TIMEOUT 60038	TIMEOUT 60143
tpdb-8.0/TRS/ICFP_2010/135115.xml	TIMEOUT 61161	TIMEOUT 61348	TIMEOUT 60096	TIMEOUT 60032	TIMEOUT 60040	TIMEOUT 60311
tpdb-8.0/TRS/ICFP_2010/135328.xml	TIMEOUT 61086	TIMEOUT 61200	TIMEOUT 60086	TIMEOUT 60029	TIMEOUT 60038	TIMEOUT 60155
tpdb-8.0/TRS/ICFP_2010/135410.xml	TIMEOUT 60784	TIMEOUT 60867	TIMEOUT 60110	TIMEOUT 60030	TIMEOUT 60044	TIMEOUT 60168
tpdb-8.0/TRS/ICFP_2010/135505.xml	TIMEOUT 60811	TIMEOUT 60933	TIMEOUT 60090	TIMEOUT 60030	TIMEOUT 60044	TIMEOUT 60204
tpdb-8.0/TRS/ICFP_2010/135601.xml	TIMEOUT 60927	TIMEOUT 61026	TIMEOUT 60094	TIMEOUT 60029	TIMEOUT 60044	TIMEOUT 60121
tpdb-8.0/TRS/ICFP_2010/135604.xml	TIMEOUT 61164	TIMEOUT 61655	TIMEOUT 60097	TIMEOUT 60033	TIMEOUT 60041	TIMEOUT 60159
tpdb-8.0/TRS/ICFP_2010/135652.xml	TIMEOUT 61175	TIMEOUT 62149	TIMEOUT 60110	TIMEOUT 60031	TIMEOUT 60037	TIMEOUT 60186
tpdb-8.0/TRS/ICFP_2010/135659.xml	TIMEOUT 60958	TIMEOUT 60035	TIMEOUT 60088	TIMEOUT 60029	TIMEOUT 60051	TIMEOUT 60167
tpdb-8.0/TRS/ICFP_2010/135714.xml	TIMEOUT 60922	TIMEOUT 60996	TIMEOUT 60103	TIMEOUT 60029	TIMEOUT 60044	TIMEOUT 60199
tpdb-8.0/TRS/ICFP_2010/135782.xml	TIMEOUT 61051	TIMEOUT 61923	TIMEOUT 60084	TIMEOUT 60032	TIMEOUT 60040	TIMEOUT 60197
tpdb-8.0/TRS/ICFP_2010/135936.xml	TIMEOUT 61052	TIMEOUT 60033	TIMEOUT 60095	TIMEOUT 60030	TIMEOUT 60038	TIMEOUT 60175
tpdb-8.0/TRS/ICFP_2010/136051.xml	TIMEOUT 60894	TIMEOUT 61270	TIMEOUT 60086	TIMEOUT 60030	TIMEOUT 60040	TIMEOUT 60171
tpdb-8.0/TRS/ICFP_2010/136280.xml	TIMEOUT 60703	TIMEOUT 60962	TIMEOUT 60087	TIMEOUT 60029	TIMEOUT 60042	TIMEOUT 60214
tpdb-8.0/TRS/ICFP_2010/136323.xml	TIMEOUT 60726	TIMEOUT 60839	TIMEOUT 60096	TIMEOUT 60030	TIMEOUT 60042	TIMEOUT 60135
tpdb-8.0/TRS/ICFP_2010/136354.xml	TIMEOUT 61058	TIMEOUT 61313	TIMEOUT 60105	TIMEOUT 60030	TIMEOUT 60046	TIMEOUT 60225
tpdb-8.0/TRS/ICFP_2010/136463.xml	TIMEOUT 60653	TIMEOUT 60931	TIMEOUT 60098	TIMEOUT 60031	TIMEOUT 60045	TIMEOUT 60154
tpdb-8.0/TRS/ICFP_2010/136497.xml	TIMEOUT 60892	TIMEOUT 61014	TIMEOUT 60101	TIMEOUT 60030	TIMEOUT 60052	TIMEOUT 60146
tpdb-8.0/TRS/ICFP_2010/136534.xml	TIMEOUT 60651	TIMEOUT 60964	TIMEOUT 60085	TIMEOUT 60030	TIMEOUT 60045	TIMEOUT 60202
tpdb-8.0/TRS/ICFP_2010/136562.xml	TIMEOUT 60873	TIMEOUT 61248	TIMEOUT 60092	TIMEOUT 60033	TIMEOUT 60044	TIMEOUT 60113
tpdb-8.0/TRS/ICFP_2010/136571.xml	TIMEOUT 60907	TIMEOUT 60871	TIMEOUT 60108	TIMEOUT 60030	TIMEOUT 60049	TIMEOUT 60216
tpdb-8.0/TRS/ICFP_2010/136601.xml	TIMEOUT 60678	TIMEOUT 60815	TIMEOUT 60078	TIMEOUT 60029	TIMEOUT 60043	TIMEOUT 60183
tpdb-8.0/TRS/ICFP_2010/136623.xml	TIMEOUT 60924	TIMEOUT 61662	TIMEOUT 60097	TIMEOUT 60033	TIMEOUT 60039	TIMEOUT 60169
tpdb-8.0/TRS/ICFP_2010/136693.xml	TIMEOUT 60852	TIMEOUT 60794	TIMEOUT 60085	TIMEOUT 60030	TIMEOUT 60044	TIMEOUT 119120
tpdb-8.0/TRS/ICFP_2010/136934.xml	TIMEOUT 61018	TIMEOUT 61026	TIMEOUT 60113	TIMEOUT 60031	TIMEOUT 60042	TIMEOUT 60268
tpdb-8.0/TRS/ICFP_2010/137087.xml	TIMEOUT 60673	TIMEOUT 60979	TIMEOUT 60096	TIMEOUT 60029	TIMEOUT 60041	TIMEOUT 60115
tpdb-8.0/TRS/ICFP_2010/137136.xml	TIMEOUT 60803	TIMEOUT 60979	TIMEOUT 60099	TIMEOUT 60028	TIMEOUT 60046	TIMEOUT 60168
tpdb-8.0/TRS/ICFP_2010/137316.xml	TIMEOUT 60820	TIMEOUT 60829	TIMEOUT 60102	TIMEOUT 60030	TIMEOUT 60047	TIMEOUT 60239
tpdb-8.0/TRS/ICFP_2010/137404.xml	TIMEOUT 60907	TIMEOUT 61170	TIMEOUT 60083	TIMEOUT 60032	TIMEOUT 60041	TIMEOUT 60226
tpdb-8.0/TRS/ICFP_2010/137621.xml	TIMEOUT 60931	TIMEOUT 60856	TIMEOUT 60086	TIMEOUT 60030	TIMEOUT 60044	TIMEOUT 60248
tpdb-8.0/TRS/ICFP_2010/137623.xml	YES 6107	YES 9368	TIMEOUT 60084	TIMEOUT 60030	TIMEOUT 60039	TIMEOUT 60149
tpdb-8.0/TRS/ICFP_2010/137715.xml	TIMEOUT 61023	TIMEOUT 61027	TIMEOUT 60079	TIMEOUT 60029	TIMEOUT 60047	TIMEOUT 60159
tpdb-8.0/TRS/ICFP_2010/137799.xml	TIMEOUT 60810	TIMEOUT 60826	TIMEOUT 60092	TIMEOUT 60030	TIMEOUT 60042	TIMEOUT 60119
tpdb-8.0/TRS/ICFP_2010/137809.xml	TIMEOUT 60811	TIMEOUT 62009	TIMEOUT 60099	TIMEOUT 60031	TIMEOUT 60040	TIMEOUT 60116
tpdb-8.0/TRS/ICFP_2010/137956.xml	TIMEOUT 60788	TIMEOUT 60948	TIMEOUT 60088	TIMEOUT 60031	TIMEOUT 60040	TIMEOUT 60154
tpdb-8.0/TRS/ICFP_2010/138089.xml	TIMEOUT 60832	TIMEOUT 61030	TIMEOUT 60097	TIMEOUT 60029	TIMEOUT 60046	TIMEOUT 60205
tpdb-8.0/TRS/ICFP_2010/138142.xml	YES 6265	YES 11005	TIMEOUT 60109	TIMEOUT 60031	TIMEOUT 60039	TIMEOUT 60187
tpdb-8.0/TRS/ICFP_2010/138194.xml	TIMEOUT 61073	TIMEOUT 61477	TIMEOUT 60108	TIMEOUT 60029	TIMEOUT 60039	TIMEOUT 60108
tpdb-8.0/TRS/ICFP_2010/138254.xml	YES 6360	YES 12658	TIMEOUT 60086	TIMEOUT 60030	TIMEOUT 60042	TIMEOUT 60170
tpdb-8.0/TRS/ICFP_2010/138269.xml	TIMEOUT 61078	TIMEOUT 61534	TIMEOUT 60087	TIMEOUT 60032	TIMEOUT 60037	TIMEOUT 60147
tpdb-8.0/TRS/ICFP_2010/138330.xml	TIMEOUT 61038	TIMEOUT 62271	TIMEOUT 60084	TIMEOUT 60029	TIMEOUT 60036	TIMEOUT 60279
tpdb-8.0/TRS/ICFP_2010/138468.xml	YES 11633	YES 18479	TIMEOUT 60086	TIMEOUT 60032	TIMEOUT 60048	TIMEOUT 60219
tpdb-8.0/TRS/ICFP_2010/138477.xml	TIMEOUT 60884	TIMEOUT 61719	TIMEOUT 60094	TIMEOUT 60031	TIMEOUT 60041	TIMEOUT 60177
tpdb-8.0/TRS/ICFP_2010/138993.xml	YES 10572	YES 18747	TIMEOUT 60089	TIMEOUT 60030	TIMEOUT 60044	TIMEOUT 60184
tpdb-8.0/TRS/ICFP_2010/139004.xml	YES 10769	YES 20665	TIMEOUT 60082	TIMEOUT 60030	TIMEOUT 60043	TIMEOUT 60132
tpdb-8.0/TRS/ICFP_2010/139018.xml	YES 10414	YES 19019	TIMEOUT 60100	TIMEOUT 60029	TIMEOUT 60041	TIMEOUT 60106
tpdb-8.0/TRS/ICFP_2010/139025.xml	YES 11651	YES 17330	TIMEOUT 60100	TIMEOUT 60030	TIMEOUT 60041	TIMEOUT 60146
tpdb-8.0/TRS/ICFP_2010/139036.xml	YES 12024	YES 19326	TIMEOUT 60085	TIMEOUT 60029	TIMEOUT 60039	TIMEOUT 60106
tpdb-8.0/TRS/ICFP_2010/139100.xml	YES 9811	YES 16961	TIMEOUT 60093	TIMEOUT 60031	TIMEOUT 60042	TIMEOUT 60112
tpdb-8.0/TRS/ICFP_2010/139163.xml	YES 15890	YES 29497	TIMEOUT 60101	TIMEOUT 60029	TIMEOUT 60041	TIMEOUT 60109
tpdb-8.0/TRS/ICFP_2010/139167.xml	YES 16221	YES 26843	TIMEOUT 60083	TIMEOUT 60030	TIMEOUT 60039	TIMEOUT 60124
tpdb-8.0/TRS/ICFP_2010/139174.xml	YES 11286	YES 19575	TIMEOUT 60106	TIMEOUT 60031	TIMEOUT 60043	TIMEOUT 60169
tpdb-8.0/TRS/ICFP_2010/139180.xml	YES 10683	YES 18511	TIMEOUT 60101	TIMEOUT 60030	TIMEOUT 60046	TIMEOUT 60126
tpdb-8.0/TRS/ICFP_2010/139185.xml	YES 9365	YES 16508	TIMEOUT 60103	TIMEOUT 60030	TIMEOUT 60039	TIMEOUT 60103
tpdb-8.0/TRS/ICFP_2010/139190.xml	YES 9747	YES 16909	TIMEOUT 60092	TIMEOUT 60030	TIMEOUT 60042	TIMEOUT 60189
tpdb-8.0/TRS/ICFP_2010/139214.xml	YES 11808	YES 19073	TIMEOUT 60099	TIMEOUT 60030	TIMEOUT 60043	TIMEOUT 60158
tpdb-8.0/TRS/ICFP_2010/139236.xml	YES 10558	YES 16903	TIMEOUT 60091	TIMEOUT 60030	TIMEOUT 60044	TIMEOUT 60166
tpdb-8.0/TRS/ICFP_2010/139256.xml	YES 10292	YES 18192	TIMEOUT 60098	TIMEOUT 60032	TIMEOUT 60044	TIMEOUT 60125
tpdb-8.0/TRS/ICFP_2010/139282.xml	YES 11614	YES 19094	TIMEOUT 60086	TIMEOUT 60029	TIMEOUT 60044	TIMEOUT 60184
tpdb-8.0/TRS/ICFP_2010/139310.xml	YES 9827	YES 16801	TIMEOUT 60092	TIMEOUT 60030	TIMEOUT 60041	TIMEOUT 60129
tpdb-8.0/TRS/ICFP_2010/139378.xml	YES 11217	YES 19692	TIMEOUT 60100	TIMEOUT 60029	TIMEOUT 60039	TIMEOUT 60110
tpdb-8.0/TRS/ICFP_2010/140287.xml	TIMEOUT 60973	TIMEOUT 61162	TIMEOUT 60091	TIMEOUT 60031	TIMEOUT 60040	TIMEOUT 60200
tpdb-8.0/TRS/ICFP_2010/140318.xml	YES 11843	YES 17081	TIMEOUT 60087	TIMEOUT 60030	TIMEOUT 60041	TIMEOUT 60184
tpdb-8.0/TRS/ICFP_2010/140359.xml	YES 9530	YES 17080	TIMEOUT 60105	TIMEOUT 60030	TIMEOUT 60042	TIMEOUT 60149
tpdb-8.0/TRS/ICFP_2010/140631.xml	TIMEOUT 61073	TIMEOUT 61809	TIMEOUT 60099	TIMEOUT 60030	TIMEOUT 60041	TIMEOUT 60395
tpdb-8.0/TRS/ICFP_2010/140639.xml	YES 6973	YES 13272	TIMEOUT 60094	TIMEOUT 60035	TIMEOUT 60038	TIMEOUT 60220
tpdb-8.0/TRS/ICFP_2010/140654.xml	YES 14144	YES 33461	TIMEOUT 60097	TIMEOUT 60030	TIMEOUT 60265	TIMEOUT 60324
tpdb-8.0/TRS/ICFP_2010/140659.xml	TIMEOUT 60899	TIMEOUT 61769	TIMEOUT 60106	TIMEOUT 60033	TIMEOUT 60038	TIMEOUT 60166
tpdb-8.0/TRS/ICFP_2010/140664.xml	TIMEOUT 60978	TIMEOUT 61414	TIMEOUT 60098	TIMEOUT 60037	TIMEOUT 60043	TIMEOUT 60111
tpdb-8.0/TRS/ICFP_2010/142142.xml	YES 6985	YES 14142	TIMEOUT 60096	TIMEOUT 60032	TIMEOUT 60037	TIMEOUT 60233
tpdb-8.0/TRS/ICFP_2010/142146.xml	YES 11163	YES 18081	TIMEOUT 60096	TIMEOUT 60035	TIMEOUT 60042	TIMEOUT 60146
tpdb-8.0/TRS/ICFP_2010/142150.xml	TIMEOUT 61222	TIMEOUT 61814	TIMEOUT 60088	TIMEOUT 60032	TIMEOUT 60039	TIMEOUT 60219
tpdb-8.0/TRS/ICFP_2010/142157.xml	TIMEOUT 60913	TIMEOUT 61509	TIMEOUT 60079	TIMEOUT 60033	TIMEOUT 60039	TIMEOUT 60225
tpdb-8.0/TRS/ICFP_2010/147437.xml	TIMEOUT 60584	TIMEOUT 61255	TIMEOUT 60084	TIMEOUT 60034	TIMEOUT 60052	TIMEOUT 60157
tpdb-8.0/TRS/ICFP_2010/148543.xml	TIMEOUT 60699	TIMEOUT 61013	TIMEOUT 60086	TIMEOUT 60029	TIMEOUT 60050	TIMEOUT 60227
tpdb-8.0/TRS/ICFP_2010/149251.xml	TIMEOUT 60626	TIMEOUT 61052	TIMEOUT 60087	TIMEOUT 60034	TIMEOUT 60052	TIMEOUT 60295
tpdb-8.0/TRS/ICFP_2010/149277.xml	TIMEOUT 60679	TIMEOUT 61351	TIMEOUT 60087	TIMEOUT 60032	TIMEOUT 60050	TIMEOUT 60250
tpdb-8.0/TRS/ICFP_2010/149297.xml	TIMEOUT 60754	TIMEOUT 61271	TIMEOUT 60100	TIMEOUT 60034	TIMEOUT 60050	TIMEOUT 60165
tpdb-8.0/TRS/ICFP_2010/149319.xml	TIMEOUT 60766	TIMEOUT 61221	TIMEOUT 60083	TIMEOUT 60033	TIMEOUT 60046	TIMEOUT 60228
tpdb-8.0/TRS/ICFP_2010/149361.xml	TIMEOUT 60608	TIMEOUT 61468	TIMEOUT 60098	TIMEOUT 60029	TIMEOUT 60050	TIMEOUT 60175
tpdb-8.0/TRS/ICFP_2010/149415.xml	TIMEOUT 60633	TIMEOUT 61019	TIMEOUT 60099	TIMEOUT 60029	TIMEOUT 60050	TIMEOUT 60172
tpdb-8.0/TRS/ICFP_2010/149633.xml	TIMEOUT 60695	TIMEOUT 60033	TIMEOUT 60089	TIMEOUT 60030	TIMEOUT 60056	TIMEOUT 67144
tpdb-8.0/TRS/ICFP_2010/149713.xml	TIMEOUT 60746	TIMEOUT 61291	TIMEOUT 60101	TIMEOUT 60031	TIMEOUT 60053	TIMEOUT 60349
tpdb-8.0/TRS/ICFP_2010/149849.xml	TIMEOUT 60636	TIMEOUT 61180	TIMEOUT 60098	TIMEOUT 60033	TIMEOUT 60052	TIMEOUT 60287
tpdb-8.0/TRS/ICFP_2010/149915.xml	TIMEOUT 60684	TIMEOUT 61398	TIMEOUT 60106	TIMEOUT 60034	TIMEOUT 60049	TIMEOUT 60230
tpdb-8.0/TRS/ICFP_2010/150067.xml	TIMEOUT 60809	TIMEOUT 61413	TIMEOUT 60087	TIMEOUT 60029	TIMEOUT 60051	TIMEOUT 60251
tpdb-8.0/TRS/ICFP_2010/150188.xml	TIMEOUT 60778	TIMEOUT 61348	TIMEOUT 60095	TIMEOUT 60033	TIMEOUT 60056	TIMEOUT 60220
tpdb-8.0/TRS/ICFP_2010/150258.xml	TIMEOUT 60782	TIMEOUT 61249	TIMEOUT 60111	TIMEOUT 60032	TIMEOUT 60051	TIMEOUT 60315
tpdb-8.0/TRS/ICFP_2010/150468.xml	TIMEOUT 60621	TIMEOUT 60032	TIMEOUT 60082	TIMEOUT 60033	TIMEOUT 60050	TIMEOUT 60206
tpdb-8.0/TRS/ICFP_2010/150630.xml	TIMEOUT 60633	TIMEOUT 60033	TIMEOUT 60102	TIMEOUT 60031	TIMEOUT 60058	TIMEOUT 60169
tpdb-8.0/TRS/ICFP_2010/150725.xml	TIMEOUT 60822	TIMEOUT 61089	TIMEOUT 60095	TIMEOUT 60034	TIMEOUT 60056	TIMEOUT 60250
tpdb-8.0/TRS/ICFP_2010/150815.xml	TIMEOUT 60603	TIMEOUT 61216	TIMEOUT 60084	TIMEOUT 60030	TIMEOUT 60050	TIMEOUT 60244
tpdb-8.0/TRS/ICFP_2010/150839.xml	TIMEOUT 60884	TIMEOUT 61243	TIMEOUT 60102	TIMEOUT 60033	TIMEOUT 60049	TIMEOUT 60223
tpdb-8.0/TRS/ICFP_2010/150877.xml	TIMEOUT 60789	TIMEOUT 60030	TIMEOUT 60104	TIMEOUT 60029	TIMEOUT 60050	TIMEOUT 60205
tpdb-8.0/TRS/ICFP_2010/151247.xml	TIMEOUT 60720	TIMEOUT 61324	TIMEOUT 60094	TIMEOUT 60029	TIMEOUT 60064	TIMEOUT 60370
tpdb-8.0/TRS/ICFP_2010/152694.xml	TIMEOUT 60750	TIMEOUT 60826	TIMEOUT 60087	TIMEOUT 60030	TIMEOUT 60053	TIMEOUT 60183
tpdb-8.0/TRS/ICFP_2010/152786.xml	TIMEOUT 60735	TIMEOUT 60772	TIMEOUT 60094	TIMEOUT 60029	TIMEOUT 60041	TIMEOUT 60138
tpdb-8.0/TRS/ICFP_2010/152865.xml	TIMEOUT 61097	TIMEOUT 60108	TIMEOUT 60098	TIMEOUT 60031	TIMEOUT 60051	TIMEOUT 60198
tpdb-8.0/TRS/ICFP_2010/152949.xml	TIMEOUT 60905	TIMEOUT 60861	TIMEOUT 60087	TIMEOUT 60028	TIMEOUT 60043	TIMEOUT 60300
tpdb-8.0/TRS/ICFP_2010/153034.xml	TIMEOUT 60844	TIMEOUT 60972	TIMEOUT 60094	TIMEOUT 60031	TIMEOUT 60047	TIMEOUT 60221
tpdb-8.0/TRS/ICFP_2010/153090.xml	YES 14513	YES 19404	TIMEOUT 60094	TIMEOUT 60031	TIMEOUT 60050	TIMEOUT 60216
tpdb-8.0/TRS/ICFP_2010/153170.xml	TIMEOUT 60845	TIMEOUT 60803	TIMEOUT 60087	TIMEOUT 60031	TIMEOUT 60045	TIMEOUT 60113
tpdb-8.0/TRS/ICFP_2010/153243.xml	TIMEOUT 60813	TIMEOUT 60993	TIMEOUT 60130	TIMEOUT 60029	TIMEOUT 60042	TIMEOUT 60137
tpdb-8.0/TRS/ICFP_2010/153288.xml	TIMEOUT 60858	TIMEOUT 61238	TIMEOUT 60101	TIMEOUT 60030	TIMEOUT 60051	TIMEOUT 60160
tpdb-8.0/TRS/ICFP_2010/153371.xml	TIMEOUT 60958	TIMEOUT 61019	TIMEOUT 60091	TIMEOUT 60030	TIMEOUT 60043	TIMEOUT 60233
tpdb-8.0/TRS/ICFP_2010/153444.xml	TIMEOUT 60768	TIMEOUT 60746	TIMEOUT 60104	TIMEOUT 60031	TIMEOUT 60046	TIMEOUT 60197
tpdb-8.0/TRS/ICFP_2010/157150.xml	YES 54665	TIMEOUT 60348	TIMEOUT 60095	TIMEOUT 60029	TIMEOUT 60037	TIMEOUT 60229
tpdb-8.0/TRS/ICFP_2010/157161.xml	TIMEOUT 60929	TIMEOUT 61097	TIMEOUT 60090	TIMEOUT 60030	TIMEOUT 60143	TIMEOUT 60246
tpdb-8.0/TRS/ICFP_2010/157275.xml	YES 15022	YES 20448	TIMEOUT 60099	TIMEOUT 60029	TIMEOUT 60047	TIMEOUT 60158
tpdb-8.0/TRS/ICFP_2010/157388.xml	YES 17848	YES 22920	TIMEOUT 60074	TIMEOUT 60034	TIMEOUT 60201	TIMEOUT 60214
tpdb-8.0/TRS/ICFP_2010/157436.xml	TIMEOUT 60926	TIMEOUT 61356	TIMEOUT 60075	TIMEOUT 60030	TIMEOUT 60181	TIMEOUT 60167
tpdb-8.0/TRS/ICFP_2010/157466.xml	TIMEOUT 60671	TIMEOUT 60800	TIMEOUT 60109	TIMEOUT 60031	TIMEOUT 60047	TIMEOUT 60110
tpdb-8.0/TRS/ICFP_2010/157593.xml	YES 17647	YES 21680	YES 8549	YES 47205	TIMEOUT 60036	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/157603.xml	TIMEOUT 60736	TIMEOUT 61173	TIMEOUT 60085	TIMEOUT 60042	TIMEOUT 60042	TIMEOUT 60108
tpdb-8.0/TRS/ICFP_2010/157713.xml	TIMEOUT 60933	TIMEOUT 61202	TIMEOUT 60086	TIMEOUT 60030	TIMEOUT 60044	TIMEOUT 60203
tpdb-8.0/TRS/ICFP_2010/158152.xml	YES 33469	YES 38928	TIMEOUT 60053	TIMEOUT 60030	TIMEOUT 60089	TIMEOUT 60181
tpdb-8.0/TRS/ICFP_2010/158208.xml	TIMEOUT 60841	TIMEOUT 60831	TIMEOUT 60085	TIMEOUT 60029	TIMEOUT 60043	TIMEOUT 60114
tpdb-8.0/TRS/ICFP_2010/158342.xml	TIMEOUT 61204	TIMEOUT 60987	TIMEOUT 60087	TIMEOUT 60029	TIMEOUT 60045	TIMEOUT 346280
tpdb-8.0/TRS/ICFP_2010/158477.xml	TIMEOUT 60784	TIMEOUT 60991	TIMEOUT 60100	TIMEOUT 60030	TIMEOUT 60043	TIMEOUT 60130
tpdb-8.0/TRS/ICFP_2010/158620.xml	YES 13456	YES 18391	TIMEOUT 60094	TIMEOUT 60029	TIMEOUT 60049	TIMEOUT 60226
tpdb-8.0/TRS/ICFP_2010/159731.xml	YES 32052	TIMEOUT 60035	TIMEOUT 60062	YES 23633	YES 2938	YES 32468
tpdb-8.0/TRS/ICFP_2010/160068.xml	TIMEOUT 60681	TIMEOUT 61119	TIMEOUT 60085	TIMEOUT 60035	TIMEOUT 60049	TIMEOUT 60214
tpdb-8.0/TRS/ICFP_2010/160210.xml	TIMEOUT 60795	TIMEOUT 61285	TIMEOUT 60101	TIMEOUT 60039	TIMEOUT 60051	TIMEOUT 60293
tpdb-8.0/TRS/ICFP_2010/160234.xml	YES 15811	YES 17413	YES 21239	TIMEOUT 60029	YES 4033	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/160254.xml	TIMEOUT 60653	TIMEOUT 60997	TIMEOUT 60090	TIMEOUT 60034	TIMEOUT 60053	TIMEOUT 60134
tpdb-8.0/TRS/ICFP_2010/160263.xml	YES 15408	YES 13626	TIMEOUT 60088	YES 1608	YES 3106	YES 16872
tpdb-8.0/TRS/ICFP_2010/160324.xml	TIMEOUT 60811	TIMEOUT 61301	TIMEOUT 60099	TIMEOUT 60037	TIMEOUT 60042	TIMEOUT 60164
tpdb-8.0/TRS/ICFP_2010/160364.xml	TIMEOUT 60647	TIMEOUT 61347	TIMEOUT 60088	TIMEOUT 60039	TIMEOUT 60050	TIMEOUT 60264
tpdb-8.0/TRS/ICFP_2010/160398.xml	TIMEOUT 60841	TIMEOUT 61120	TIMEOUT 60096	TIMEOUT 60033	TIMEOUT 60052	TIMEOUT 60252
tpdb-8.0/TRS/ICFP_2010/160427.xml	TIMEOUT 60651	TIMEOUT 61022	TIMEOUT 60082	TIMEOUT 60030	TIMEOUT 60049	TIMEOUT 60168
tpdb-8.0/TRS/ICFP_2010/160462.xml	TIMEOUT 60815	TIMEOUT 61398	TIMEOUT 60097	TIMEOUT 60038	TIMEOUT 60050	TIMEOUT 60260
tpdb-8.0/TRS/ICFP_2010/160475.xml	TIMEOUT 60798	TIMEOUT 61097	TIMEOUT 60097	TIMEOUT 60030	TIMEOUT 60050	TIMEOUT 60251
tpdb-8.0/TRS/ICFP_2010/160660.xml	TIMEOUT 60901	TIMEOUT 61010	TIMEOUT 60092	TIMEOUT 60034	TIMEOUT 60049	TIMEOUT 60174
tpdb-8.0/TRS/ICFP_2010/161519.xml	TIMEOUT 61118	TIMEOUT 61509	TIMEOUT 60084	TIMEOUT 60033	TIMEOUT 60046	TIMEOUT 60206
tpdb-8.0/TRS/ICFP_2010/161533.xml	TIMEOUT 60703	TIMEOUT 61014	TIMEOUT 60086	TIMEOUT 60036	TIMEOUT 60051	TIMEOUT 60215
tpdb-8.0/TRS/ICFP_2010/161593.xml	TIMEOUT 60739	TIMEOUT 61115	TIMEOUT 60113	TIMEOUT 60040	TIMEOUT 60051	TIMEOUT 60292
tpdb-8.0/TRS/ICFP_2010/161864.xml	TIMEOUT 60791	TIMEOUT 61435	TIMEOUT 60113	TIMEOUT 60034	TIMEOUT 60045	TIMEOUT 60198
tpdb-8.0/TRS/ICFP_2010/161917.xml	TIMEOUT 60763	TIMEOUT 61067	TIMEOUT 60086	TIMEOUT 60039	TIMEOUT 60048	TIMEOUT 60401
tpdb-8.0/TRS/ICFP_2010/161930.xml	YES 10775	YES 18708	TIMEOUT 60101	TIMEOUT 60036	TIMEOUT 60052	TIMEOUT 60278
tpdb-8.0/TRS/ICFP_2010/162016.xml	TIMEOUT 60744	TIMEOUT 61364	TIMEOUT 60087	TIMEOUT 60033	TIMEOUT 60048	TIMEOUT 60251
tpdb-8.0/TRS/ICFP_2010/162075.xml	TIMEOUT 60901	TIMEOUT 61050	TIMEOUT 60100	TIMEOUT 60038	TIMEOUT 60048	TIMEOUT 60379
tpdb-8.0/TRS/ICFP_2010/162095.xml	TIMEOUT 60781	TIMEOUT 61142	TIMEOUT 60089	TIMEOUT 60036	TIMEOUT 60052	TIMEOUT 60251
tpdb-8.0/TRS/ICFP_2010/162244.xml	TIMEOUT 60880	TIMEOUT 61138	TIMEOUT 60098	TIMEOUT 60036	TIMEOUT 60051	TIMEOUT 60214
tpdb-8.0/TRS/ICFP_2010/165713.xml	TIMEOUT 60730	TIMEOUT 60989	TIMEOUT 60085	TIMEOUT 60031	TIMEOUT 60049	TIMEOUT 60198
tpdb-8.0/TRS/ICFP_2010/165755.xml	TIMEOUT 60668	TIMEOUT 61065	TIMEOUT 60107	TIMEOUT 60035	TIMEOUT 60047	TIMEOUT 60194
tpdb-8.0/TRS/ICFP_2010/165904.xml	TIMEOUT 60791	TIMEOUT 60999	TIMEOUT 60097	TIMEOUT 60037	TIMEOUT 60051	TIMEOUT 60145
tpdb-8.0/TRS/ICFP_2010/165936.xml	TIMEOUT 60880	TIMEOUT 60035	TIMEOUT 60093	TIMEOUT 60034	TIMEOUT 60048	TIMEOUT 60246
tpdb-8.0/TRS/ICFP_2010/165975.xml	TIMEOUT 60634	TIMEOUT 61015	TIMEOUT 60097	TIMEOUT 60031	TIMEOUT 60051	TIMEOUT 60295
tpdb-8.0/TRS/ICFP_2010/166001.xml	TIMEOUT 60685	TIMEOUT 61170	TIMEOUT 60083	TIMEOUT 60035	TIMEOUT 60048	TIMEOUT 60204
tpdb-8.0/TRS/ICFP_2010/166465.xml	TIMEOUT 60858	TIMEOUT 61293	TIMEOUT 60092	TIMEOUT 60030	TIMEOUT 60053	TIMEOUT 60211
tpdb-8.0/TRS/ICFP_2010/166493.xml	TIMEOUT 60711	TIMEOUT 61362	TIMEOUT 60086	TIMEOUT 60040	TIMEOUT 60053	TIMEOUT 60324
tpdb-8.0/TRS/ICFP_2010/166558.xml	TIMEOUT 60873	TIMEOUT 60031	TIMEOUT 60099	TIMEOUT 60036	TIMEOUT 60048	TIMEOUT 60329
tpdb-8.0/TRS/ICFP_2010/166848.xml	TIMEOUT 60556	TIMEOUT 61141	TIMEOUT 60089	TIMEOUT 60039	TIMEOUT 60055	TIMEOUT 60230
tpdb-8.0/TRS/ICFP_2010/167041.xml	TIMEOUT 60709	TIMEOUT 61065	TIMEOUT 60101	TIMEOUT 60035	TIMEOUT 60049	TIMEOUT 60276
tpdb-8.0/TRS/ICFP_2010/167087.xml	TIMEOUT 60726	TIMEOUT 61376	TIMEOUT 60082	TIMEOUT 60036	TIMEOUT 60054	TIMEOUT 60427
tpdb-8.0/TRS/ICFP_2010/167240.xml	TIMEOUT 60918	TIMEOUT 61219	TIMEOUT 60110	TIMEOUT 60036	TIMEOUT 60045	TIMEOUT 60220
tpdb-8.0/TRS/ICFP_2010/167294.xml	TIMEOUT 60810	TIMEOUT 60965	TIMEOUT 60095	TIMEOUT 60037	TIMEOUT 60049	TIMEOUT 60190
tpdb-8.0/TRS/ICFP_2010/167310.xml	TIMEOUT 60820	TIMEOUT 61057	TIMEOUT 60100	TIMEOUT 60031	TIMEOUT 60046	TIMEOUT 60234
tpdb-8.0/TRS/ICFP_2010/167391.xml	YES 44090	TIMEOUT 60046	TIMEOUT 60094	TIMEOUT 60037	TIMEOUT 60047	TIMEOUT 60252
tpdb-8.0/TRS/ICFP_2010/167433.xml	TIMEOUT 60678	TIMEOUT 61351	TIMEOUT 60085	TIMEOUT 60037	TIMEOUT 60052	TIMEOUT 60326
tpdb-8.0/TRS/ICFP_2010/167452.xml	TIMEOUT 60699	TIMEOUT 61322	TIMEOUT 60076	TIMEOUT 60035	TIMEOUT 60047	TIMEOUT 60292
tpdb-8.0/TRS/ICFP_2010/167526.xml	TIMEOUT 60893	TIMEOUT 61004	TIMEOUT 60108	TIMEOUT 60037	TIMEOUT 60045	TIMEOUT 60129
tpdb-8.0/TRS/ICFP_2010/167636.xml	YES 29623	YES 53143	TIMEOUT 60097	TIMEOUT 60036	TIMEOUT 60049	TIMEOUT 60241
tpdb-8.0/TRS/ICFP_2010/167742.xml	YES 12047	YES 19422	TIMEOUT 60102	TIMEOUT 60041	TIMEOUT 60051	TIMEOUT 60319
tpdb-8.0/TRS/ICFP_2010/180915.xml	TIMEOUT 60697	TIMEOUT 61061	TIMEOUT 60089	TIMEOUT 60030	TIMEOUT 60042	TIMEOUT 60226
tpdb-8.0/TRS/ICFP_2010/182946.xml	TIMEOUT 60625	TIMEOUT 60031	TIMEOUT 60086	TIMEOUT 60029	TIMEOUT 60049	TIMEOUT 60267
tpdb-8.0/TRS/ICFP_2010/183803.xml	TIMEOUT 60651	TIMEOUT 60880	TIMEOUT 60093	TIMEOUT 60029	TIMEOUT 60043	TIMEOUT 60623
tpdb-8.0/TRS/ICFP_2010/184957.xml	TIMEOUT 60616	TIMEOUT 61118	TIMEOUT 60095	TIMEOUT 60030	TIMEOUT 60047	TIMEOUT 60356
tpdb-8.0/TRS/ICFP_2010/185453.xml	TIMEOUT 60650	TIMEOUT 61130	TIMEOUT 60105	TIMEOUT 60031	TIMEOUT 60045	TIMEOUT 60653
tpdb-8.0/TRS/ICFP_2010/185628.xml	TIMEOUT 60777	TIMEOUT 60033	TIMEOUT 60095	TIMEOUT 60030	TIMEOUT 60045	TIMEOUT 60185
tpdb-8.0/TRS/ICFP_2010/186023.xml	YES 9367	YES 13207	TIMEOUT 60099	TIMEOUT 60030	TIMEOUT 60043	TIMEOUT 60276
tpdb-8.0/TRS/ICFP_2010/186222.xml	TIMEOUT 60687	TIMEOUT 60961	TIMEOUT 60099	TIMEOUT 60030	TIMEOUT 60046	TIMEOUT 60397
tpdb-8.0/TRS/ICFP_2010/186333.xml	TIMEOUT 60584	TIMEOUT 60861	TIMEOUT 60097	TIMEOUT 60028	TIMEOUT 60043	TIMEOUT 60229
tpdb-8.0/TRS/ICFP_2010/186617.xml	TIMEOUT 60765	TIMEOUT 61168	TIMEOUT 60112	TIMEOUT 60030	TIMEOUT 60046	TIMEOUT 60442
tpdb-8.0/TRS/ICFP_2010/186775.xml	TIMEOUT 60738	TIMEOUT 61203	TIMEOUT 60098	TIMEOUT 60030	TIMEOUT 60047	TIMEOUT 60226
tpdb-8.0/TRS/ICFP_2010/186810.xml	TIMEOUT 60590	TIMEOUT 60839	TIMEOUT 60088	TIMEOUT 60030	TIMEOUT 60043	TIMEOUT 60254
tpdb-8.0/TRS/ICFP_2010/186919.xml	TIMEOUT 60617	TIMEOUT 60031	TIMEOUT 60098	TIMEOUT 60030	TIMEOUT 60047	TIMEOUT 60223
tpdb-8.0/TRS/ICFP_2010/186973.xml	TIMEOUT 60750	TIMEOUT 61122	TIMEOUT 60096	TIMEOUT 60030	TIMEOUT 60046	TIMEOUT 60225
tpdb-8.0/TRS/ICFP_2010/187254.xml	YES 8395	YES 13593	TIMEOUT 60100	TIMEOUT 60029	TIMEOUT 60044	TIMEOUT 60246
tpdb-8.0/TRS/ICFP_2010/187837.xml	TIMEOUT 60610	TIMEOUT 61126	TIMEOUT 60085	TIMEOUT 60029	TIMEOUT 60052	TIMEOUT 60413
tpdb-8.0/TRS/ICFP_2010/188004.xml	TIMEOUT 60587	TIMEOUT 60919	TIMEOUT 60092	TIMEOUT 60032	TIMEOUT 60048	TIMEOUT 60479
tpdb-8.0/TRS/ICFP_2010/188238.xml	TIMEOUT 60777	TIMEOUT 60824	TIMEOUT 60089	TIMEOUT 60030	TIMEOUT 60044	TIMEOUT 60196
tpdb-8.0/TRS/ICFP_2010/188261.xml	TIMEOUT 60733	TIMEOUT 60926	TIMEOUT 60090	TIMEOUT 60031	TIMEOUT 60048	TIMEOUT 60550
tpdb-8.0/TRS/ICFP_2010/188296.xml	TIMEOUT 60745	TIMEOUT 60943	TIMEOUT 60102	TIMEOUT 60030	TIMEOUT 60045	TIMEOUT 60410
tpdb-8.0/TRS/ICFP_2010/188674.xml	YES 9235	YES 14181	TIMEOUT 60083	TIMEOUT 60030	TIMEOUT 60044	TIMEOUT 60215
tpdb-8.0/TRS/ICFP_2010/188696.xml	TIMEOUT 60646	TIMEOUT 60941	TIMEOUT 60097	TIMEOUT 60031	TIMEOUT 60046	TIMEOUT 60208
tpdb-8.0/TRS/ICFP_2010/211471.xml	YES 2062	YES 4497	TIMEOUT 60094	YES 17583	TIMEOUT 60352	TIMEOUT 60237
tpdb-8.0/TRS/ICFP_2010/211639.xml	YES 3012	YES 5763	TIMEOUT 60116	TIMEOUT 60031	TIMEOUT 60131	TIMEOUT 60390
tpdb-8.0/TRS/ICFP_2010/211857.xml	YES 8159	YES 10757	YES 1022	YES 975	YES 10769	YES 10169
tpdb-8.0/TRS/ICFP_2010/211915.xml	YES 14869	YES 14900	TIMEOUT 60069	YES 1539	YES 3242	TIMEOUT 60092
tpdb-8.0/TRS/ICFP_2010/211960.xml	YES 21875	YES 18983	TIMEOUT 60063	YES 22597	TIMEOUT 60036	TIMEOUT 60069
tpdb-8.0/TRS/ICFP_2010/211978.xml	YES 4720	YES 7381	YES 163	YES 2104	YES 46973	YES 7051
tpdb-8.0/TRS/ICFP_2010/212026.xml	TIMEOUT 60986	TIMEOUT 61597	TIMEOUT 60062	YES 6012	TIMEOUT 60225	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/212037.xml	YES 28410	YES 37915	TIMEOUT 60054	YES 24948	YES 3324	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/212043.xml	YES 21889	YES 35948	TIMEOUT 60048	YES 25593	YES 2443	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/212062.xml	YES 3643	YES 6956	YES 2675	YES 17706	YES 2884	YES 6462
tpdb-8.0/TRS/ICFP_2010/212094.xml	YES 16565	YES 17279	TIMEOUT 60049	YES 24653	TIMEOUT 60159	TIMEOUT 60074
tpdb-8.0/TRS/ICFP_2010/212117.xml	YES 10366	YES 14374	TIMEOUT 60093	YES 16061	YES 3959	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/212189.xml	TIMEOUT 60958	TIMEOUT 61710	TIMEOUT 60045	YES 11940	YES 4152	YES 22433
tpdb-8.0/TRS/ICFP_2010/212263.xml	YES 3614	YES 7271	TIMEOUT 60063	YES 13571	YES 1823	YES 6836
tpdb-8.0/TRS/ICFP_2010/212308.xml	YES 26234	YES 37197	TIMEOUT 60060	TIMEOUT 60030	TIMEOUT 60110	TIMEOUT 60070
tpdb-8.0/TRS/ICFP_2010/212364.xml	TIMEOUT 61139	TIMEOUT 61715	TIMEOUT 60055	MAYBE 48869	TIMEOUT 60051	TIMEOUT 60124
tpdb-8.0/TRS/ICFP_2010/212421.xml	YES 20783	YES 34503	TIMEOUT 60084	YES 45353	YES 2744	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/212480.xml	YES 9758	YES 12744	TIMEOUT 60096	YES 6796	YES 4546	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/212534.xml	YES 17547	YES 20139	YES 17091	YES 3624	YES 3964	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/212612.xml	TIMEOUT 60916	YES 45154	TIMEOUT 60050	MAYBE 39965	TIMEOUT 60201	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/212693.xml	YES 3197	YES 7146	TIMEOUT 60072	YES 10968	YES 3939	YES 7598
tpdb-8.0/TRS/ICFP_2010/212774.xml	YES 3841	YES 10733	TIMEOUT 60069	TIMEOUT 60029	YES 2115	TIMEOUT 60106
tpdb-8.0/TRS/ICFP_2010/212795.xml	TIMEOUT 61063	TIMEOUT 61399	TIMEOUT 60051	YES 24326	YES 3471	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/212892.xml	YES 17800	YES 16382	TIMEOUT 60051	YES 11152	YES 44141	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/213051.xml	YES 15866	YES 15403	YES 9914	YES 3124	YES 25274	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/213147.xml	YES 25993	YES 39773	TIMEOUT 60059	TIMEOUT 60031	YES 2955	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/213218.xml	YES 3725	YES 8367	YES 146	YES 1986	YES 2721	YES 7529
tpdb-8.0/TRS/ICFP_2010/213281.xml	YES 10573	YES 11018	YES 1621	YES 1955	YES 3111	YES 11841
tpdb-8.0/TRS/ICFP_2010/213407.xml	YES 6866	YES 10124	TIMEOUT 60080	YES 1875	YES 2341	YES 10580
tpdb-8.0/TRS/ICFP_2010/213437.xml	YES 28485	YES 42972	TIMEOUT 60061	YES 23635	YES 3278	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/213537.xml	YES 29109	YES 38248	YES 29656	YES 6888	YES 4770	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/213560.xml	YES 32555	YES 39717	TIMEOUT 60044	TIMEOUT 60031	YES 2631	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/213611.xml	YES 3412	YES 5869	TIMEOUT 60107	TIMEOUT 60030	TIMEOUT 60038	TIMEOUT 60325
tpdb-8.0/TRS/ICFP_2010/213719.xml	TIMEOUT 60974	TIMEOUT 62043	TIMEOUT 60061	TIMEOUT 60030	YES 3257	TIMEOUT 60108
tpdb-8.0/TRS/ICFP_2010/213865.xml	YES 12670	YES 13625	TIMEOUT 60047	YES 41090	YES 3160	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/214011.xml	YES 5595	YES 9667	TIMEOUT 60075	YES 726	YES 4210	YES 9363
tpdb-8.0/TRS/ICFP_2010/214091.xml	YES 3394	YES 7437	YES 118	YES 1070	YES 2652	YES 6816
tpdb-8.0/TRS/ICFP_2010/214169.xml	YES 13392	YES 15456	TIMEOUT 60060	YES 11168	YES 4713	YES 25618
tpdb-8.0/TRS/ICFP_2010/214183.xml	YES 12831	YES 14333	TIMEOUT 60075	TIMEOUT 60031	YES 31048	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/214261.xml	YES 21638	YES 19982	TIMEOUT 60056	TIMEOUT 60031	TIMEOUT 60231	TIMEOUT 60049
tpdb-8.0/TRS/ICFP_2010/214320.xml	YES 7800	YES 11937	YES 694	YES 20821	TIMEOUT 60169	YES 12280
tpdb-8.0/TRS/ICFP_2010/230780.xml	YES 3729	YES 6583	TIMEOUT 60095	TIMEOUT 60031	TIMEOUT 60041	TIMEOUT 60131
tpdb-8.0/TRS/ICFP_2010/230819.xml	YES 2550	YES 4995	TIMEOUT 60093	YES 20825	TIMEOUT 60170	TIMEOUT 60209
tpdb-8.0/TRS/ICFP_2010/230948.xml	YES 2920	YES 5506	TIMEOUT 60087	YES 45146	TIMEOUT 60042	TIMEOUT 60294
tpdb-8.0/TRS/ICFP_2010/231043.xml	YES 3561	YES 6080	TIMEOUT 60092	TIMEOUT 60029	TIMEOUT 60040	TIMEOUT 60136
tpdb-8.0/TRS/ICFP_2010/231149.xml	YES 2740	YES 5257	TIMEOUT 60095	YES 29405	TIMEOUT 60038	TIMEOUT 60309
tpdb-8.0/TRS/ICFP_2010/231230.xml	YES 3532	YES 5794	TIMEOUT 60091	TIMEOUT 60031	TIMEOUT 60040	TIMEOUT 60050
tpdb-8.0/TRS/ICFP_2010/231300.xml	YES 3306	YES 5667	TIMEOUT 60099	TIMEOUT 60030	TIMEOUT 60037	TIMEOUT 60178
tpdb-8.0/TRS/ICFP_2010/231378.xml	YES 3616	YES 5938	TIMEOUT 60116	TIMEOUT 60031	TIMEOUT 60038	TIMEOUT 60272
tpdb-8.0/TRS/ICFP_2010/231480.xml	YES 3921	YES 5908	TIMEOUT 60088	TIMEOUT 60031	TIMEOUT 60039	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/231604.xml	YES 4651	YES 6422	TIMEOUT 60096	TIMEOUT 60030	TIMEOUT 60039	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/24100.xml	TIMEOUT 61046	TIMEOUT 61624	TIMEOUT 60083	TIMEOUT 60031	TIMEOUT 60269	TIMEOUT 60200
tpdb-8.0/TRS/ICFP_2010/246924.xml	YES 3297	YES 5771	TIMEOUT 60100	TIMEOUT 60031	TIMEOUT 60039	TIMEOUT 60283
tpdb-8.0/TRS/ICFP_2010/247020.xml	YES 11806	YES 14326	TIMEOUT 60096	TIMEOUT 60028	TIMEOUT 60039	TIMEOUT 60103
tpdb-8.0/TRS/ICFP_2010/247254.xml	YES 3913	YES 6119	TIMEOUT 60105	TIMEOUT 60030	TIMEOUT 60041	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/247504.xml	YES 3418	YES 5458	TIMEOUT 60092	YES 43023	TIMEOUT 60042	TIMEOUT 60155
tpdb-8.0/TRS/ICFP_2010/247906.xml	YES 16256	YES 22531	TIMEOUT 60108	TIMEOUT 60030	TIMEOUT 60040	TIMEOUT 60134
tpdb-8.0/TRS/ICFP_2010/247992.xml	YES 3705	YES 5828	TIMEOUT 60106	TIMEOUT 60031	TIMEOUT 60043	TIMEOUT 60147
tpdb-8.0/TRS/ICFP_2010/248060.xml	YES 3227	YES 5703	TIMEOUT 60083	TIMEOUT 60030	TIMEOUT 60038	TIMEOUT 60124
tpdb-8.0/TRS/ICFP_2010/249386.xml	YES 3575	YES 5660	TIMEOUT 60100	TIMEOUT 60032	TIMEOUT 60040	TIMEOUT 60105
tpdb-8.0/TRS/ICFP_2010/249459.xml	YES 3276	YES 5587	TIMEOUT 60100	TIMEOUT 60030	TIMEOUT 60044	TIMEOUT 60239
tpdb-8.0/TRS/ICFP_2010/249663.xml	YES 3999	YES 6732	TIMEOUT 60097	TIMEOUT 60029	TIMEOUT 60039	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/25192.xml	YES 1068	YES 3658	YES 99	YES 70	YES 1169	YES 706
tpdb-8.0/TRS/ICFP_2010/25388.xml	TIMEOUT 61064	TIMEOUT 61563	TIMEOUT 60082	TIMEOUT 60030	TIMEOUT 60041	TIMEOUT 60161
tpdb-8.0/TRS/ICFP_2010/25395.xml	TIMEOUT 61059	TIMEOUT 61563	TIMEOUT 60101	TIMEOUT 60030	TIMEOUT 60037	TIMEOUT 60255
tpdb-8.0/TRS/ICFP_2010/25409.xml	TIMEOUT 60917	TIMEOUT 61855	TIMEOUT 60089	TIMEOUT 60029	TIMEOUT 60037	TIMEOUT 60194
tpdb-8.0/TRS/ICFP_2010/25416.xml	TIMEOUT 61109	TIMEOUT 62184	TIMEOUT 60109	TIMEOUT 60030	TIMEOUT 60038	TIMEOUT 60151
tpdb-8.0/TRS/ICFP_2010/25422.xml	TIMEOUT 61093	TIMEOUT 61404	TIMEOUT 60088	TIMEOUT 60030	TIMEOUT 60040	TIMEOUT 60229
tpdb-8.0/TRS/ICFP_2010/254704.xml	TIMEOUT 60718	TIMEOUT 60788	TIMEOUT 60084	TIMEOUT 60030	TIMEOUT 60219	TIMEOUT 60138
tpdb-8.0/TRS/ICFP_2010/25711.xml	TIMEOUT 60877	TIMEOUT 61800	TIMEOUT 60107	TIMEOUT 60030	TIMEOUT 60039	TIMEOUT 60163
tpdb-8.0/TRS/ICFP_2010/25726.xml	TIMEOUT 61057	TIMEOUT 61687	TIMEOUT 60090	TIMEOUT 60030	TIMEOUT 60038	TIMEOUT 60166
tpdb-8.0/TRS/ICFP_2010/25731.xml	YES 1095	YES 6764	TIMEOUT 60090	YES 873	YES 954	YES 6494
tpdb-8.0/TRS/ICFP_2010/25734.xml	TIMEOUT 61060	TIMEOUT 62248	TIMEOUT 60087	TIMEOUT 60030	TIMEOUT 60036	TIMEOUT 60316
tpdb-8.0/TRS/ICFP_2010/25736.xml	TIMEOUT 60923	TIMEOUT 61460	TIMEOUT 60086	TIMEOUT 60032	TIMEOUT 60041	TIMEOUT 60167
tpdb-8.0/TRS/ICFP_2010/25743.xml	TIMEOUT 61155	TIMEOUT 61358	TIMEOUT 60101	TIMEOUT 60029	TIMEOUT 60037	TIMEOUT 60303
tpdb-8.0/TRS/ICFP_2010/25775.xml	TIMEOUT 60884	TIMEOUT 61707	TIMEOUT 60086	TIMEOUT 60030	TIMEOUT 60039	TIMEOUT 60181
tpdb-8.0/TRS/ICFP_2010/25808.xml	TIMEOUT 60864	TIMEOUT 61696	TIMEOUT 60101	TIMEOUT 60029	TIMEOUT 60037	TIMEOUT 60178
tpdb-8.0/TRS/ICFP_2010/25849.xml	TIMEOUT 60871	TIMEOUT 62159	TIMEOUT 60076	TIMEOUT 60030	TIMEOUT 60038	TIMEOUT 60158
tpdb-8.0/TRS/ICFP_2010/259405.xml	YES 11931	YES 15854	TIMEOUT 60100	TIMEOUT 60028	TIMEOUT 60272	TIMEOUT 60121
tpdb-8.0/TRS/ICFP_2010/259625.xml	YES 12112	YES 15052	TIMEOUT 60103	TIMEOUT 60032	TIMEOUT 60171	TIMEOUT 60213
tpdb-8.0/TRS/ICFP_2010/26069.xml	TIMEOUT 61131	YES 9959	TIMEOUT 60085	YES 2870	YES 1384	YES 6892
tpdb-8.0/TRS/ICFP_2010/26103.xml	TIMEOUT 60870	YES 8812	TIMEOUT 60060	YES 8353	YES 1833	YES 7018
tpdb-8.0/TRS/ICFP_2010/26105.xml	TIMEOUT 60921	TIMEOUT 61672	TIMEOUT 60096	TIMEOUT 60030	TIMEOUT 60035	TIMEOUT 60223
tpdb-8.0/TRS/ICFP_2010/26110.xml	TIMEOUT 61069	TIMEOUT 61798	TIMEOUT 60093	TIMEOUT 60046	TIMEOUT 60039	TIMEOUT 60126
tpdb-8.0/TRS/ICFP_2010/26116.xml	TIMEOUT 61029	TIMEOUT 61304	TIMEOUT 60104	TIMEOUT 60032	TIMEOUT 60038	TIMEOUT 60182
tpdb-8.0/TRS/ICFP_2010/26123.xml	TIMEOUT 61117	YES 7891	TIMEOUT 60076	YES 26573	YES 2492	YES 7193
tpdb-8.0/TRS/ICFP_2010/26127.xml	TIMEOUT 60944	TIMEOUT 61901	TIMEOUT 60105	TIMEOUT 60029	TIMEOUT 60037	TIMEOUT 60391
tpdb-8.0/TRS/ICFP_2010/26130.xml	TIMEOUT 60906	YES 7733	TIMEOUT 60062	TIMEOUT 60079	YES 3523	YES 7425
tpdb-8.0/TRS/ICFP_2010/26132.xml	TIMEOUT 61075	TIMEOUT 61576	TIMEOUT 60101	TIMEOUT 60030	TIMEOUT 60036	TIMEOUT 60195
tpdb-8.0/TRS/ICFP_2010/26186.xml	YES 10388	YES 8707	TIMEOUT 60065	TIMEOUT 60149	YES 4771	YES 9377
tpdb-8.0/TRS/ICFP_2010/26226.xml	TIMEOUT 61170	YES 12366	TIMEOUT 60059	TIMEOUT 60318	YES 7634	YES 8122
tpdb-8.0/TRS/ICFP_2010/26291.xml	TIMEOUT 60956	YES 21145	TIMEOUT 60060	TIMEOUT 60253	YES 7659	YES 8314
tpdb-8.0/TRS/ICFP_2010/262998.xml	YES 9021	YES 11623	TIMEOUT 60106	TIMEOUT 60029	TIMEOUT 60053	TIMEOUT 60265
tpdb-8.0/TRS/ICFP_2010/263745.xml	YES 11881	YES 15913	TIMEOUT 60076	TIMEOUT 60029	TIMEOUT 60057	TIMEOUT 60136
tpdb-8.0/TRS/ICFP_2010/264033.xml	YES 10707	YES 13471	TIMEOUT 60099	YES 1505	YES 2848	YES 11314
tpdb-8.0/TRS/ICFP_2010/264370.xml	YES 1052	YES 3398	YES 58	YES 72	YES 872	YES 942
tpdb-8.0/TRS/ICFP_2010/264405.xml	YES 1052	YES 3457	YES 57	YES 61	YES 874	YES 937
tpdb-8.0/TRS/ICFP_2010/26683.xml	TIMEOUT 61121	YES 13337	TIMEOUT 60057	TIMEOUT 60305	YES 8345	YES 8123
tpdb-8.0/TRS/ICFP_2010/26741.xml	TIMEOUT 61096	TIMEOUT 62481	TIMEOUT 60097	TIMEOUT 60030	TIMEOUT 60037	TIMEOUT 60197
tpdb-8.0/TRS/ICFP_2010/26845.xml	TIMEOUT 60957	TIMEOUT 61352	TIMEOUT 60097	TIMEOUT 60030	TIMEOUT 60036	TIMEOUT 60235
tpdb-8.0/TRS/ICFP_2010/26862.xml	TIMEOUT 61157	TIMEOUT 62272	TIMEOUT 60112	TIMEOUT 60029	TIMEOUT 60043	TIMEOUT 60194
tpdb-8.0/TRS/ICFP_2010/26871.xml	TIMEOUT 60899	TIMEOUT 61410	TIMEOUT 60112	TIMEOUT 60029	TIMEOUT 60038	TIMEOUT 60174
tpdb-8.0/TRS/ICFP_2010/26875.xml	TIMEOUT 60952	TIMEOUT 61756	TIMEOUT 60099	TIMEOUT 60029	TIMEOUT 60045	TIMEOUT 60157
tpdb-8.0/TRS/ICFP_2010/26879.xml	TIMEOUT 60860	TIMEOUT 61625	TIMEOUT 60086	TIMEOUT 60030	TIMEOUT 60040	TIMEOUT 60250
tpdb-8.0/TRS/ICFP_2010/26882.xml	TIMEOUT 60868	TIMEOUT 61816	TIMEOUT 60102	TIMEOUT 60031	TIMEOUT 60039	TIMEOUT 60207
tpdb-8.0/TRS/ICFP_2010/26886.xml	TIMEOUT 61105	TIMEOUT 61965	TIMEOUT 60087	TIMEOUT 60030	TIMEOUT 60037	TIMEOUT 60254
tpdb-8.0/TRS/ICFP_2010/26896.xml	TIMEOUT 60912	TIMEOUT 61889	TIMEOUT 60108	TIMEOUT 60030	TIMEOUT 60039	TIMEOUT 60206
tpdb-8.0/TRS/ICFP_2010/26903.xml	TIMEOUT 60873	TIMEOUT 61516	TIMEOUT 60089	TIMEOUT 60029	TIMEOUT 60137	TIMEOUT 60121
tpdb-8.0/TRS/ICFP_2010/26910.xml	TIMEOUT 61048	TIMEOUT 61646	TIMEOUT 60093	TIMEOUT 60032	TIMEOUT 60038	TIMEOUT 60129
tpdb-8.0/TRS/ICFP_2010/26916.xml	TIMEOUT 61115	TIMEOUT 61786	TIMEOUT 60088	TIMEOUT 60032	TIMEOUT 60039	TIMEOUT 60241
tpdb-8.0/TRS/ICFP_2010/26919.xml	TIMEOUT 60967	TIMEOUT 62106	TIMEOUT 60102	TIMEOUT 60030	TIMEOUT 60037	TIMEOUT 60193
tpdb-8.0/TRS/ICFP_2010/26923.xml	TIMEOUT 60882	TIMEOUT 61681	TIMEOUT 60107	TIMEOUT 60030	TIMEOUT 60043	TIMEOUT 60174
tpdb-8.0/TRS/ICFP_2010/26927.xml	TIMEOUT 61041	TIMEOUT 61609	TIMEOUT 60090	TIMEOUT 60029	TIMEOUT 60040	TIMEOUT 60207
tpdb-8.0/TRS/ICFP_2010/26931.xml	TIMEOUT 61078	TIMEOUT 62187	TIMEOUT 60102	TIMEOUT 60028	TIMEOUT 60038	TIMEOUT 60171
tpdb-8.0/TRS/ICFP_2010/26933.xml	TIMEOUT 61068	TIMEOUT 60258	TIMEOUT 60086	TIMEOUT 60031	TIMEOUT 60040	TIMEOUT 60149
tpdb-8.0/TRS/ICFP_2010/26940.xml	TIMEOUT 61080	TIMEOUT 62159	TIMEOUT 60099	TIMEOUT 60030	TIMEOUT 60037	TIMEOUT 60146
tpdb-8.0/TRS/ICFP_2010/26943.xml	TIMEOUT 61102	TIMEOUT 61603	TIMEOUT 60088	TIMEOUT 60030	TIMEOUT 60037	TIMEOUT 60203
tpdb-8.0/TRS/ICFP_2010/26946.xml	TIMEOUT 60863	TIMEOUT 61463	TIMEOUT 60102	TIMEOUT 60031	TIMEOUT 60040	TIMEOUT 60168
tpdb-8.0/TRS/ICFP_2010/26949.xml	TIMEOUT 60895	TIMEOUT 61472	TIMEOUT 60096	TIMEOUT 60029	TIMEOUT 60037	TIMEOUT 60223
tpdb-8.0/TRS/ICFP_2010/26951.xml	TIMEOUT 61099	TIMEOUT 62575	TIMEOUT 60102	TIMEOUT 60029	TIMEOUT 60043	TIMEOUT 60230
tpdb-8.0/TRS/ICFP_2010/26954.xml	TIMEOUT 60919	TIMEOUT 62194	TIMEOUT 60110	TIMEOUT 60030	TIMEOUT 60036	TIMEOUT 60197
tpdb-8.0/TRS/ICFP_2010/26957.xml	TIMEOUT 60949	TIMEOUT 62344	TIMEOUT 60096	TIMEOUT 60031	TIMEOUT 60037	TIMEOUT 60219
tpdb-8.0/TRS/ICFP_2010/26960.xml	TIMEOUT 61057	TIMEOUT 61492	TIMEOUT 60101	TIMEOUT 60030	TIMEOUT 60041	TIMEOUT 60197
tpdb-8.0/TRS/ICFP_2010/26965.xml	TIMEOUT 60936	TIMEOUT 61317	TIMEOUT 60083	TIMEOUT 60030	TIMEOUT 60040	TIMEOUT 60217
tpdb-8.0/TRS/ICFP_2010/26969.xml	TIMEOUT 61061	TIMEOUT 61350	TIMEOUT 60097	TIMEOUT 60030	TIMEOUT 60040	TIMEOUT 60155
tpdb-8.0/TRS/ICFP_2010/26972.xml	TIMEOUT 61098	TIMEOUT 62088	TIMEOUT 60092	TIMEOUT 60030	TIMEOUT 60037	TIMEOUT 60200
tpdb-8.0/TRS/ICFP_2010/26974.xml	TIMEOUT 60855	TIMEOUT 61513	TIMEOUT 60100	TIMEOUT 60029	TIMEOUT 60040	TIMEOUT 60212
tpdb-8.0/TRS/ICFP_2010/26976.xml	TIMEOUT 60888	TIMEOUT 61299	TIMEOUT 60104	TIMEOUT 60028	TIMEOUT 60038	TIMEOUT 60244
tpdb-8.0/TRS/ICFP_2010/26978.xml	TIMEOUT 61058	TIMEOUT 62370	TIMEOUT 60093	TIMEOUT 60029	TIMEOUT 60041	TIMEOUT 60229
tpdb-8.0/TRS/ICFP_2010/26980.xml	TIMEOUT 61017	TIMEOUT 61754	TIMEOUT 60084	TIMEOUT 60030	TIMEOUT 60039	TIMEOUT 60125
tpdb-8.0/TRS/ICFP_2010/26986.xml	TIMEOUT 60887	TIMEOUT 62299	TIMEOUT 60089	TIMEOUT 60031	TIMEOUT 60037	TIMEOUT 60220
tpdb-8.0/TRS/ICFP_2010/26993.xml	TIMEOUT 60867	TIMEOUT 61700	TIMEOUT 60097	TIMEOUT 60029	TIMEOUT 60042	TIMEOUT 60273
tpdb-8.0/TRS/ICFP_2010/26998.xml	TIMEOUT 61054	TIMEOUT 61583	TIMEOUT 60100	TIMEOUT 60028	TIMEOUT 60037	TIMEOUT 60150
tpdb-8.0/TRS/ICFP_2010/27001.xml	TIMEOUT 61148	TIMEOUT 61354	TIMEOUT 60089	TIMEOUT 60031	TIMEOUT 60043	TIMEOUT 60176
tpdb-8.0/TRS/ICFP_2010/27003.xml	TIMEOUT 60841	TIMEOUT 61481	TIMEOUT 60096	TIMEOUT 60030	TIMEOUT 60037	TIMEOUT 60183
tpdb-8.0/TRS/ICFP_2010/27006.xml	TIMEOUT 60925	TIMEOUT 61379	TIMEOUT 60100	TIMEOUT 60030	TIMEOUT 60042	TIMEOUT 60247
tpdb-8.0/TRS/ICFP_2010/27009.xml	TIMEOUT 60911	TIMEOUT 61789	TIMEOUT 60112	TIMEOUT 60031	TIMEOUT 60039	TIMEOUT 60152
tpdb-8.0/TRS/ICFP_2010/27013.xml	TIMEOUT 61179	TIMEOUT 61477	TIMEOUT 60099	TIMEOUT 60030	TIMEOUT 60038	TIMEOUT 60266
tpdb-8.0/TRS/ICFP_2010/27015.xml	TIMEOUT 61033	TIMEOUT 61555	TIMEOUT 60084	TIMEOUT 60028	TIMEOUT 60035	TIMEOUT 60129
tpdb-8.0/TRS/ICFP_2010/27019.xml	TIMEOUT 60863	TIMEOUT 61444	TIMEOUT 60096	TIMEOUT 60029	TIMEOUT 60042	TIMEOUT 60143
tpdb-8.0/TRS/ICFP_2010/27023.xml	TIMEOUT 60920	TIMEOUT 61534	TIMEOUT 60089	TIMEOUT 60031	TIMEOUT 60036	TIMEOUT 60310
tpdb-8.0/TRS/ICFP_2010/27026.xml	TIMEOUT 60926	TIMEOUT 61733	TIMEOUT 60109	TIMEOUT 60030	TIMEOUT 60038	TIMEOUT 60180
tpdb-8.0/TRS/ICFP_2010/27028.xml	TIMEOUT 61131	TIMEOUT 61773	TIMEOUT 60090	TIMEOUT 60030	TIMEOUT 60038	TIMEOUT 60312
tpdb-8.0/TRS/ICFP_2010/27030.xml	TIMEOUT 61073	YES 15197	TIMEOUT 60060	TIMEOUT 60243	YES 8945	YES 9039
tpdb-8.0/TRS/ICFP_2010/27034.xml	TIMEOUT 60890	TIMEOUT 61592	TIMEOUT 60084	TIMEOUT 60028	TIMEOUT 60037	TIMEOUT 60142
tpdb-8.0/TRS/ICFP_2010/27036.xml	TIMEOUT 61095	TIMEOUT 61533	TIMEOUT 60088	TIMEOUT 60030	TIMEOUT 60038	TIMEOUT 60188
tpdb-8.0/TRS/ICFP_2010/27039.xml	TIMEOUT 60902	TIMEOUT 61925	TIMEOUT 60105	TIMEOUT 60030	TIMEOUT 60037	TIMEOUT 60228
tpdb-8.0/TRS/ICFP_2010/27131.xml	TIMEOUT 60873	YES 22010	TIMEOUT 60069	TIMEOUT 60214	YES 14315	YES 8811
tpdb-8.0/TRS/ICFP_2010/27134.xml	TIMEOUT 60880	YES 19845	TIMEOUT 60073	TIMEOUT 60205	YES 9624	YES 9239
tpdb-8.0/TRS/ICFP_2010/27213.xml	TIMEOUT 60928	TIMEOUT 62031	TIMEOUT 60075	TIMEOUT 60234	YES 11275	YES 11267
tpdb-8.0/TRS/ICFP_2010/27235.xml	TIMEOUT 61055	YES 19347	TIMEOUT 60081	TIMEOUT 60170	YES 15812	YES 9892
tpdb-8.0/TRS/ICFP_2010/27280.xml	TIMEOUT 61062	YES 19494	TIMEOUT 60092	TIMEOUT 60173	YES 17064	YES 12711
tpdb-8.0/TRS/ICFP_2010/28293.xml	TIMEOUT 61540	TIMEOUT 61946	TIMEOUT 60090	TIMEOUT 60152	YES 18450	YES 10882
tpdb-8.0/TRS/ICFP_2010/28464.xml	TIMEOUT 60884	TIMEOUT 62453	TIMEOUT 60087	TIMEOUT 60155	YES 21934	YES 11473
tpdb-8.0/TRS/ICFP_2010/28643.xml	TIMEOUT 60919	TIMEOUT 61751	TIMEOUT 60106	TIMEOUT 60111	YES 22560	YES 10687
tpdb-8.0/TRS/ICFP_2010/28838.xml	TIMEOUT 61113	TIMEOUT 61911	TIMEOUT 60086	TIMEOUT 60079	YES 19600	YES 12789
tpdb-8.0/TRS/ICFP_2010/29415.xml	YES 16321	YES 21882	TIMEOUT 60084	TIMEOUT 60030	TIMEOUT 60059	TIMEOUT 60344
tpdb-8.0/TRS/ICFP_2010/3268.xml	YES 15050	YES 21313	TIMEOUT 60051	YES 13430	YES 1511	YES 28650
tpdb-8.0/TRS/ICFP_2010/3336.xml	YES 12373	YES 13958	YES 5577	YES 993	YES 1811	YES 41262
tpdb-8.0/TRS/ICFP_2010/3385.xml	YES 19565	YES 27142	TIMEOUT 60064	YES 29016	YES 1777	TIMEOUT 60072
tpdb-8.0/TRS/ICFP_2010/3450.xml	TIMEOUT 60895	TIMEOUT 62248	TIMEOUT 60093	TIMEOUT 60030	TIMEOUT 60237	TIMEOUT 60176
tpdb-8.0/TRS/ICFP_2010/3467.xml	TIMEOUT 61097	TIMEOUT 61490	TIMEOUT 60098	TIMEOUT 60031	TIMEOUT 60199	TIMEOUT 60307
tpdb-8.0/TRS/ICFP_2010/3498.xml	TIMEOUT 61083	TIMEOUT 61371	TIMEOUT 60082	TIMEOUT 60031	TIMEOUT 60209	TIMEOUT 60150
tpdb-8.0/TRS/ICFP_2010/3533.xml	TIMEOUT 61123	TIMEOUT 62691	TIMEOUT 60083	TIMEOUT 60031	YES 4657	TIMEOUT 60219
tpdb-8.0/TRS/ICFP_2010/3562.xml	TIMEOUT 60987	TIMEOUT 61652	TIMEOUT 60101	TIMEOUT 60030	TIMEOUT 60260	TIMEOUT 60179
tpdb-8.0/TRS/ICFP_2010/3589.xml	TIMEOUT 61125	TIMEOUT 61490	TIMEOUT 60086	TIMEOUT 60031	TIMEOUT 60233	TIMEOUT 60176
tpdb-8.0/TRS/ICFP_2010/3633.xml	TIMEOUT 60917	TIMEOUT 61565	TIMEOUT 60087	TIMEOUT 60030	TIMEOUT 60242	TIMEOUT 60237
tpdb-8.0/TRS/ICFP_2010/3680.xml	TIMEOUT 61124	TIMEOUT 61867	TIMEOUT 60108	TIMEOUT 60035	TIMEOUT 60242	TIMEOUT 60297
tpdb-8.0/TRS/ICFP_2010/3705.xml	TIMEOUT 60872	TIMEOUT 62458	TIMEOUT 60105	TIMEOUT 60032	TIMEOUT 60215	TIMEOUT 60199
tpdb-8.0/TRS/ICFP_2010/3729.xml	TIMEOUT 60945	TIMEOUT 61572	TIMEOUT 60110	TIMEOUT 60030	TIMEOUT 60262	TIMEOUT 60158
tpdb-8.0/TRS/ICFP_2010/3746.xml	YES 7703	YES 10926	TIMEOUT 60097	YES 3024	TIMEOUT 60329	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/3762.xml	TIMEOUT 61051	TIMEOUT 62370	TIMEOUT 60083	TIMEOUT 60029	TIMEOUT 60167	TIMEOUT 60201
tpdb-8.0/TRS/ICFP_2010/3770.xml	YES 28395	YES 24392	TIMEOUT 60040	TIMEOUT 60030	YES 1599	TIMEOUT 60058
tpdb-8.0/TRS/ICFP_2010/3786.xml	TIMEOUT 60819	TIMEOUT 62076	TIMEOUT 60102	TIMEOUT 60032	YES 5015	TIMEOUT 60163
tpdb-8.0/TRS/ICFP_2010/3817.xml	TIMEOUT 61098	TIMEOUT 61837	TIMEOUT 60077	TIMEOUT 60029	TIMEOUT 60207	TIMEOUT 60195
tpdb-8.0/TRS/ICFP_2010/3831.xml	TIMEOUT 61074	TIMEOUT 62113	TIMEOUT 60084	TIMEOUT 60030	TIMEOUT 60327	TIMEOUT 60287
tpdb-8.0/TRS/ICFP_2010/3842.xml	TIMEOUT 61017	TIMEOUT 60046	TIMEOUT 60095	TIMEOUT 60031	TIMEOUT 60191	TIMEOUT 60198
tpdb-8.0/TRS/ICFP_2010/3856.xml	TIMEOUT 61046	TIMEOUT 61877	TIMEOUT 60089	TIMEOUT 60030	TIMEOUT 60250	TIMEOUT 60198
tpdb-8.0/TRS/ICFP_2010/3861.xml	TIMEOUT 61137	TIMEOUT 61441	TIMEOUT 60072	TIMEOUT 60032	TIMEOUT 60194	TIMEOUT 60279
tpdb-8.0/TRS/ICFP_2010/3865.xml	TIMEOUT 60866	TIMEOUT 61571	TIMEOUT 60104	TIMEOUT 60032	TIMEOUT 60205	TIMEOUT 60231
tpdb-8.0/TRS/ICFP_2010/3916.xml	TIMEOUT 61124	TIMEOUT 61952	TIMEOUT 60096	TIMEOUT 60030	TIMEOUT 60289	TIMEOUT 60191
tpdb-8.0/TRS/ICFP_2010/3927.xml	TIMEOUT 60755	TIMEOUT 61045	TIMEOUT 60089	TIMEOUT 60030	TIMEOUT 60040	TIMEOUT 60171
tpdb-8.0/TRS/ICFP_2010/3930.xml	TIMEOUT 60896	TIMEOUT 61349	TIMEOUT 60085	TIMEOUT 60030	TIMEOUT 60269	TIMEOUT 60134
tpdb-8.0/TRS/ICFP_2010/3939.xml	TIMEOUT 60891	TIMEOUT 61525	TIMEOUT 60106	TIMEOUT 60031	TIMEOUT 60275	TIMEOUT 60213
tpdb-8.0/TRS/ICFP_2010/39830.xml	TIMEOUT 60780	TIMEOUT 61147	TIMEOUT 60108	TIMEOUT 60029	TIMEOUT 60050	TIMEOUT 60133
tpdb-8.0/TRS/ICFP_2010/39849.xml	YES 24106	YES 28619	TIMEOUT 60070	YES 3799	TIMEOUT 119041	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/3989.xml	TIMEOUT 60908	TIMEOUT 61365	TIMEOUT 60074	TIMEOUT 60031	YES 3709	TIMEOUT 60166
tpdb-8.0/TRS/ICFP_2010/3995.xml	TIMEOUT 61178	TIMEOUT 61573	TIMEOUT 60110	TIMEOUT 60030	TIMEOUT 60177	TIMEOUT 60229
tpdb-8.0/TRS/ICFP_2010/4002.xml	YES 11192	YES 19543	TIMEOUT 60034	TIMEOUT 60031	YES 1505	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/40033.xml	TIMEOUT 60802	TIMEOUT 60792	TIMEOUT 60087	TIMEOUT 60032	TIMEOUT 60040	TIMEOUT 60206
tpdb-8.0/TRS/ICFP_2010/40093.xml	TIMEOUT 60930	TIMEOUT 61576	TIMEOUT 60084	TIMEOUT 60030	YES 1075	YES 10955
tpdb-8.0/TRS/ICFP_2010/4017.xml	TIMEOUT 60886	TIMEOUT 60049	TIMEOUT 60079	TIMEOUT 60030	TIMEOUT 60228	TIMEOUT 60169
tpdb-8.0/TRS/ICFP_2010/4029.xml	TIMEOUT 60878	TIMEOUT 61395	TIMEOUT 60092	TIMEOUT 60031	TIMEOUT 60239	TIMEOUT 60174
tpdb-8.0/TRS/ICFP_2010/4036.xml	TIMEOUT 61111	TIMEOUT 61843	TIMEOUT 60095	TIMEOUT 60033	TIMEOUT 60377	TIMEOUT 60212
tpdb-8.0/TRS/ICFP_2010/4046.xml	YES 1983	YES 5696	TIMEOUT 60050	TIMEOUT 60030	YES 1195	YES 6050
tpdb-8.0/TRS/ICFP_2010/4051.xml	TIMEOUT 61102	TIMEOUT 62636	TIMEOUT 60106	TIMEOUT 60031	TIMEOUT 60200	TIMEOUT 60181
tpdb-8.0/TRS/ICFP_2010/40540.xml	YES 13325	YES 18735	TIMEOUT 60106	TIMEOUT 60030	TIMEOUT 60043	TIMEOUT 60209
tpdb-8.0/TRS/ICFP_2010/4057.xml	TIMEOUT 60962	TIMEOUT 61640	TIMEOUT 60102	TIMEOUT 60035	TIMEOUT 60241	TIMEOUT 60179
tpdb-8.0/TRS/ICFP_2010/40708.xml	TIMEOUT 61096	TIMEOUT 61549	TIMEOUT 60064	TIMEOUT 60032	YES 1500	YES 10729
tpdb-8.0/TRS/ICFP_2010/4074.xml	TIMEOUT 60943	TIMEOUT 62399	TIMEOUT 60100	TIMEOUT 60030	TIMEOUT 60301	TIMEOUT 60173
tpdb-8.0/TRS/ICFP_2010/40976.xml	YES 22988	YES 31091	TIMEOUT 60090	TIMEOUT 60039	TIMEOUT 60048	TIMEOUT 60097
tpdb-8.0/TRS/ICFP_2010/4106.xml	TIMEOUT 60933	TIMEOUT 61407	TIMEOUT 60077	TIMEOUT 60032	TIMEOUT 60212	TIMEOUT 60127
tpdb-8.0/TRS/ICFP_2010/41378.xml	TIMEOUT 60739	TIMEOUT 60825	TIMEOUT 60100	TIMEOUT 60030	TIMEOUT 60038	TIMEOUT 60137
tpdb-8.0/TRS/ICFP_2010/4141.xml	TIMEOUT 61062	TIMEOUT 61448	TIMEOUT 60103	TIMEOUT 60031	TIMEOUT 60194	TIMEOUT 60169
tpdb-8.0/TRS/ICFP_2010/41427.xml	TIMEOUT 60779	TIMEOUT 60793	TIMEOUT 60087	TIMEOUT 60031	TIMEOUT 60047	TIMEOUT 60216
tpdb-8.0/TRS/ICFP_2010/4157.xml	TIMEOUT 61146	TIMEOUT 61467	TIMEOUT 60081	TIMEOUT 60032	TIMEOUT 60252	TIMEOUT 60180
tpdb-8.0/TRS/ICFP_2010/41688.xml	TIMEOUT 60693	TIMEOUT 60032	TIMEOUT 60097	TIMEOUT 60028	TIMEOUT 60041	TIMEOUT 60192
tpdb-8.0/TRS/ICFP_2010/4181.xml	YES 3799	YES 6732	TIMEOUT 60085	YES 7719	TIMEOUT 60290	TIMEOUT 60261
tpdb-8.0/TRS/ICFP_2010/41838.xml	TIMEOUT 60944	TIMEOUT 61424	TIMEOUT 60070	TIMEOUT 60030	TIMEOUT 60205	TIMEOUT 60185
tpdb-8.0/TRS/ICFP_2010/41843.xml	TIMEOUT 61118	TIMEOUT 61976	TIMEOUT 60059	TIMEOUT 60029	TIMEOUT 60210	TIMEOUT 60073
tpdb-8.0/TRS/ICFP_2010/41865.xml	TIMEOUT 60731	TIMEOUT 60032	TIMEOUT 60103	TIMEOUT 60028	TIMEOUT 60047	TIMEOUT 60180
tpdb-8.0/TRS/ICFP_2010/4200.xml	TIMEOUT 60870	TIMEOUT 61902	TIMEOUT 60093	TIMEOUT 60031	TIMEOUT 60192	TIMEOUT 60273
tpdb-8.0/TRS/ICFP_2010/4206.xml	TIMEOUT 60868	TIMEOUT 61144	TIMEOUT 60112	TIMEOUT 60029	TIMEOUT 60046	TIMEOUT 60234
tpdb-8.0/TRS/ICFP_2010/42170.xml	TIMEOUT 60665	TIMEOUT 60985	TIMEOUT 60100	TIMEOUT 60031	TIMEOUT 60042	TIMEOUT 60226
tpdb-8.0/TRS/ICFP_2010/42321.xml	YES 12914	YES 19018	TIMEOUT 60106	TIMEOUT 60031	TIMEOUT 60044	TIMEOUT 60173
tpdb-8.0/TRS/ICFP_2010/42466.xml	TIMEOUT 60817	TIMEOUT 60917	TIMEOUT 60103	TIMEOUT 60029	TIMEOUT 60044	TIMEOUT 60155
tpdb-8.0/TRS/ICFP_2010/4248.xml	TIMEOUT 60890	TIMEOUT 61843	TIMEOUT 60088	TIMEOUT 60031	TIMEOUT 60224	TIMEOUT 60165
tpdb-8.0/TRS/ICFP_2010/42683.xml	YES 13732	YES 18361	TIMEOUT 60102	TIMEOUT 60029	TIMEOUT 60043	TIMEOUT 60188
tpdb-8.0/TRS/ICFP_2010/4282.xml	TIMEOUT 61155	TIMEOUT 61628	TIMEOUT 60100	TIMEOUT 60032	TIMEOUT 60359	TIMEOUT 60216
tpdb-8.0/TRS/ICFP_2010/4314.xml	TIMEOUT 60936	TIMEOUT 61863	TIMEOUT 60093	TIMEOUT 60031	TIMEOUT 60355	TIMEOUT 60142
tpdb-8.0/TRS/ICFP_2010/43266.xml	TIMEOUT 60893	TIMEOUT 60835	TIMEOUT 60094	TIMEOUT 60030	TIMEOUT 60047	TIMEOUT 60201
tpdb-8.0/TRS/ICFP_2010/43603.xml	TIMEOUT 60783	TIMEOUT 61068	TIMEOUT 60084	TIMEOUT 60030	TIMEOUT 60039	TIMEOUT 60167
tpdb-8.0/TRS/ICFP_2010/43621.xml	TIMEOUT 61166	TIMEOUT 61940	TIMEOUT 60105	TIMEOUT 60030	TIMEOUT 60051	TIMEOUT 60217
tpdb-8.0/TRS/ICFP_2010/43650.xml	TIMEOUT 60703	TIMEOUT 61052	TIMEOUT 60088	TIMEOUT 60030	TIMEOUT 60040	TIMEOUT 60126
tpdb-8.0/TRS/ICFP_2010/4374.xml	TIMEOUT 61055	TIMEOUT 62577	TIMEOUT 60077	TIMEOUT 60030	TIMEOUT 60262	TIMEOUT 60144
tpdb-8.0/TRS/ICFP_2010/43987.xml	TIMEOUT 60716	TIMEOUT 61010	TIMEOUT 60099	TIMEOUT 60031	TIMEOUT 60042	TIMEOUT 60182
tpdb-8.0/TRS/ICFP_2010/4412.xml	TIMEOUT 61087	TIMEOUT 61765	TIMEOUT 60106	TIMEOUT 60030	TIMEOUT 60252	TIMEOUT 60222
tpdb-8.0/TRS/ICFP_2010/44332.xml	YES 14162	YES 19482	TIMEOUT 60199	TIMEOUT 60030	TIMEOUT 60047	TIMEOUT 60254
tpdb-8.0/TRS/ICFP_2010/4484.xml	TIMEOUT 61136	TIMEOUT 61327	TIMEOUT 60097	TIMEOUT 60030	TIMEOUT 60244	TIMEOUT 60135
tpdb-8.0/TRS/ICFP_2010/4487.xml	TIMEOUT 60863	TIMEOUT 62227	TIMEOUT 60090	TIMEOUT 60030	TIMEOUT 60174	TIMEOUT 60194
tpdb-8.0/TRS/ICFP_2010/45720.xml	TIMEOUT 61131	TIMEOUT 61539	TIMEOUT 60052	TIMEOUT 60031	TIMEOUT 60270	TIMEOUT 60204
tpdb-8.0/TRS/ICFP_2010/45757.xml	TIMEOUT 61149	TIMEOUT 61677	TIMEOUT 60057	TIMEOUT 60032	TIMEOUT 60192	TIMEOUT 60289
tpdb-8.0/TRS/ICFP_2010/45970.xml	TIMEOUT 60860	TIMEOUT 61055	TIMEOUT 60091	TIMEOUT 60030	TIMEOUT 60041	TIMEOUT 60131
tpdb-8.0/TRS/ICFP_2010/4816.xml	TIMEOUT 61156	TIMEOUT 61980	TIMEOUT 60100	TIMEOUT 60029	TIMEOUT 60254	TIMEOUT 60250
tpdb-8.0/TRS/ICFP_2010/4819.xml	TIMEOUT 61080	TIMEOUT 61490	TIMEOUT 60091	TIMEOUT 60031	TIMEOUT 60177	TIMEOUT 60205
tpdb-8.0/TRS/ICFP_2010/4824.xml	TIMEOUT 60960	TIMEOUT 61762	TIMEOUT 60095	TIMEOUT 60031	TIMEOUT 60233	TIMEOUT 60250
tpdb-8.0/TRS/ICFP_2010/48262.xml	TIMEOUT 61107	TIMEOUT 61156	TIMEOUT 60077	TIMEOUT 60029	TIMEOUT 60249	TIMEOUT 60273
tpdb-8.0/TRS/ICFP_2010/48267.xml	TIMEOUT 61076	TIMEOUT 61406	TIMEOUT 60089	TIMEOUT 60030	TIMEOUT 60256	TIMEOUT 60270
tpdb-8.0/TRS/ICFP_2010/4827.xml	TIMEOUT 61243	TIMEOUT 61625	TIMEOUT 60100	TIMEOUT 60030	YES 4528	TIMEOUT 60162
tpdb-8.0/TRS/ICFP_2010/48328.xml	TIMEOUT 61097	TIMEOUT 61290	TIMEOUT 60086	TIMEOUT 60031	TIMEOUT 60272	TIMEOUT 60239
tpdb-8.0/TRS/ICFP_2010/48374.xml	TIMEOUT 61114	TIMEOUT 61183	TIMEOUT 60086	TIMEOUT 60039	TIMEOUT 60134	TIMEOUT 60368
tpdb-8.0/TRS/ICFP_2010/4840.xml	TIMEOUT 61081	TIMEOUT 61723	TIMEOUT 60058	TIMEOUT 60030	YES 2894	TIMEOUT 60281
tpdb-8.0/TRS/ICFP_2010/4847.xml	TIMEOUT 61036	TIMEOUT 61574	TIMEOUT 60091	TIMEOUT 60029	TIMEOUT 60201	TIMEOUT 60194
tpdb-8.0/TRS/ICFP_2010/4854.xml	TIMEOUT 61106	TIMEOUT 62005	TIMEOUT 60086	TIMEOUT 60030	TIMEOUT 60272	TIMEOUT 60243
tpdb-8.0/TRS/ICFP_2010/48686.xml	TIMEOUT 61131	TIMEOUT 61206	TIMEOUT 60088	TIMEOUT 60030	TIMEOUT 60041	TIMEOUT 60220
tpdb-8.0/TRS/ICFP_2010/4893.xml	TIMEOUT 60962	TIMEOUT 61632	TIMEOUT 60088	TIMEOUT 60032	TIMEOUT 60183	TIMEOUT 60346
tpdb-8.0/TRS/ICFP_2010/4920.xml	TIMEOUT 61111	TIMEOUT 61696	TIMEOUT 60100	TIMEOUT 60029	TIMEOUT 60254	TIMEOUT 60195
tpdb-8.0/TRS/ICFP_2010/4934.xml	TIMEOUT 61134	TIMEOUT 62594	TIMEOUT 60095	TIMEOUT 60032	TIMEOUT 60287	TIMEOUT 60201
tpdb-8.0/TRS/ICFP_2010/4938.xml	TIMEOUT 60941	TIMEOUT 62040	TIMEOUT 60110	TIMEOUT 60030	TIMEOUT 60180	TIMEOUT 60326
tpdb-8.0/TRS/ICFP_2010/4943.xml	TIMEOUT 60879	TIMEOUT 61920	TIMEOUT 60107	TIMEOUT 60031	TIMEOUT 60249	TIMEOUT 60111
tpdb-8.0/TRS/ICFP_2010/4953.xml	TIMEOUT 60925	TIMEOUT 61986	TIMEOUT 60107	TIMEOUT 60030	TIMEOUT 60208	TIMEOUT 60281
tpdb-8.0/TRS/ICFP_2010/4964.xml	TIMEOUT 60963	TIMEOUT 61969	TIMEOUT 60089	TIMEOUT 60030	TIMEOUT 60253	TIMEOUT 60258
tpdb-8.0/TRS/ICFP_2010/4970.xml	TIMEOUT 60984	TIMEOUT 61723	TIMEOUT 60048	TIMEOUT 60030	YES 2412	TIMEOUT 60130
tpdb-8.0/TRS/ICFP_2010/4979.xml	TIMEOUT 60979	TIMEOUT 62334	TIMEOUT 60095	TIMEOUT 60031	TIMEOUT 60187	TIMEOUT 60187
tpdb-8.0/TRS/ICFP_2010/4991.xml	TIMEOUT 61139	TIMEOUT 61377	TIMEOUT 60097	TIMEOUT 60030	TIMEOUT 60285	TIMEOUT 60178
tpdb-8.0/TRS/ICFP_2010/5011.xml	TIMEOUT 61090	TIMEOUT 61331	TIMEOUT 60042	TIMEOUT 60030	YES 2530	TIMEOUT 60037
tpdb-8.0/TRS/ICFP_2010/5076.xml	TIMEOUT 60943	TIMEOUT 62011	TIMEOUT 60096	TIMEOUT 60030	YES 3754	TIMEOUT 60222
tpdb-8.0/TRS/ICFP_2010/50904.xml	TIMEOUT 60711	TIMEOUT 60031	TIMEOUT 60092	TIMEOUT 60037	TIMEOUT 60043	TIMEOUT 60155
tpdb-8.0/TRS/ICFP_2010/5109.xml	TIMEOUT 61106	TIMEOUT 61808	TIMEOUT 60094	TIMEOUT 60030	TIMEOUT 60248	TIMEOUT 60232
tpdb-8.0/TRS/ICFP_2010/5130.xml	TIMEOUT 61149	TIMEOUT 61993	TIMEOUT 60092	TIMEOUT 60032	TIMEOUT 60196	TIMEOUT 60224
tpdb-8.0/TRS/ICFP_2010/51424.xml	TIMEOUT 60975	TIMEOUT 61115	TIMEOUT 60097	TIMEOUT 60031	TIMEOUT 60041	TIMEOUT 60241
tpdb-8.0/TRS/ICFP_2010/51577.xml	TIMEOUT 60838	TIMEOUT 61069	TIMEOUT 60093	TIMEOUT 60030	TIMEOUT 60040	TIMEOUT 60160
tpdb-8.0/TRS/ICFP_2010/51842.xml	TIMEOUT 60799	TIMEOUT 61085	TIMEOUT 60092	TIMEOUT 60029	TIMEOUT 60049	TIMEOUT 60145
tpdb-8.0/TRS/ICFP_2010/53216.xml	TIMEOUT 60906	TIMEOUT 60859	TIMEOUT 60107	TIMEOUT 60030	TIMEOUT 60040	TIMEOUT 60201
tpdb-8.0/TRS/ICFP_2010/54097.xml	TIMEOUT 60712	TIMEOUT 60031	TIMEOUT 60091	TIMEOUT 60030	TIMEOUT 60046	TIMEOUT 60102
tpdb-8.0/TRS/ICFP_2010/54532.xml	YES 2746	YES 5732	YES 6799	TIMEOUT 60031	YES 34356	YES 38571
tpdb-8.0/TRS/ICFP_2010/54622.xml	YES 2770	YES 5819	YES 8547	TIMEOUT 60029	YES 34048	YES 38556
tpdb-8.0/TRS/ICFP_2010/56144.xml	YES 13283	YES 18377	TIMEOUT 60079	TIMEOUT 60030	TIMEOUT 60043	TIMEOUT 60161
tpdb-8.0/TRS/ICFP_2010/57132.xml	TIMEOUT 61138	TIMEOUT 61506	TIMEOUT 60086	TIMEOUT 60030	TIMEOUT 60286	TIMEOUT 60265
tpdb-8.0/TRS/ICFP_2010/57278.xml	TIMEOUT 61075	TIMEOUT 61727	TIMEOUT 60091	TIMEOUT 60030	TIMEOUT 60137	TIMEOUT 60308
tpdb-8.0/TRS/ICFP_2010/57355.xml	TIMEOUT 60984	TIMEOUT 61466	TIMEOUT 60056	YES 3588	TIMEOUT 60109	TIMEOUT 60302
tpdb-8.0/TRS/ICFP_2010/57453.xml	TIMEOUT 60915	TIMEOUT 61813	TIMEOUT 60099	TIMEOUT 60030	TIMEOUT 60250	TIMEOUT 60385
tpdb-8.0/TRS/ICFP_2010/57799.xml	YES 37425	YES 41552	YES 37316	TIMEOUT 60030	TIMEOUT 60077	TIMEOUT 60095
tpdb-8.0/TRS/ICFP_2010/57852.xml	YES 22210	YES 27380	TIMEOUT 60105	TIMEOUT 60030	TIMEOUT 60050	TIMEOUT 60287
tpdb-8.0/TRS/ICFP_2010/58125.xml	TIMEOUT 60664	TIMEOUT 61366	TIMEOUT 60088	TIMEOUT 60030	TIMEOUT 60050	TIMEOUT 60312
tpdb-8.0/TRS/ICFP_2010/58194.xml	TIMEOUT 61004	TIMEOUT 61232	TIMEOUT 60082	TIMEOUT 60031	TIMEOUT 60312	TIMEOUT 60489
tpdb-8.0/TRS/ICFP_2010/58221.xml	TIMEOUT 60898	TIMEOUT 61577	TIMEOUT 60101	TIMEOUT 60030	TIMEOUT 60271	TIMEOUT 60216
tpdb-8.0/TRS/ICFP_2010/58301.xml	YES 34251	YES 39923	YES 48223	YES 8849	TIMEOUT 60149	TIMEOUT 60088
tpdb-8.0/TRS/ICFP_2010/63142.xml	YES 4560	YES 11025	TIMEOUT 60099	TIMEOUT 60030	TIMEOUT 60245	TIMEOUT 60249
tpdb-8.0/TRS/ICFP_2010/64160.xml	TIMEOUT 60951	TIMEOUT 61619	TIMEOUT 60062	TIMEOUT 60030	YES 1573	TIMEOUT 60277
tpdb-8.0/TRS/ICFP_2010/65081.xml	YES 2356	YES 4936	TIMEOUT 60075	TIMEOUT 60030	YES 2381	TIMEOUT 60082
tpdb-8.0/TRS/ICFP_2010/68322.xml	TIMEOUT 61069	TIMEOUT 61766	TIMEOUT 60107	TIMEOUT 60031	TIMEOUT 60340	TIMEOUT 60320
tpdb-8.0/TRS/ICFP_2010/68535.xml	TIMEOUT 61135	TIMEOUT 60046	TIMEOUT 60100	TIMEOUT 60029	YES 4342	TIMEOUT 60373
tpdb-8.0/TRS/ICFP_2010/68989.xml	YES 4049	YES 8514	TIMEOUT 60098	TIMEOUT 60031	YES 3727	TIMEOUT 60131
tpdb-8.0/TRS/ICFP_2010/81452.xml	TIMEOUT 60864	TIMEOUT 61754	TIMEOUT 60102	TIMEOUT 60030	YES 4160	TIMEOUT 60191
tpdb-8.0/TRS/ICFP_2010/84886.xml	TIMEOUT 61154	TIMEOUT 61695	TIMEOUT 60087	TIMEOUT 60030	TIMEOUT 60230	TIMEOUT 60208
tpdb-8.0/TRS/ICFP_2010/84977.xml	TIMEOUT 61082	TIMEOUT 61846	TIMEOUT 60107	TIMEOUT 60031	TIMEOUT 60273	TIMEOUT 60255
tpdb-8.0/TRS/ICFP_2010/85039.xml	TIMEOUT 60865	TIMEOUT 61499	TIMEOUT 60083	TIMEOUT 60031	TIMEOUT 60262	TIMEOUT 60243
tpdb-8.0/TRS/ICFP_2010/85079.xml	TIMEOUT 60993	TIMEOUT 61439	TIMEOUT 60093	TIMEOUT 60029	TIMEOUT 60183	TIMEOUT 60265
tpdb-8.0/TRS/ICFP_2010/85267.xml	TIMEOUT 60851	TIMEOUT 61814	TIMEOUT 60104	TIMEOUT 60030	TIMEOUT 60312	TIMEOUT 60259
tpdb-8.0/TRS/ICFP_2010/85294.xml	TIMEOUT 61116	TIMEOUT 61956	TIMEOUT 60098	TIMEOUT 60030	TIMEOUT 60261	TIMEOUT 60302
tpdb-8.0/TRS/ICFP_2010/85345.xml	TIMEOUT 60874	TIMEOUT 61934	TIMEOUT 60107	TIMEOUT 60029	TIMEOUT 60385	TIMEOUT 60247
tpdb-8.0/TRS/ICFP_2010/85380.xml	TIMEOUT 60880	TIMEOUT 62157	TIMEOUT 60100	TIMEOUT 60030	TIMEOUT 60190	TIMEOUT 60282
tpdb-8.0/TRS/ICFP_2010/85477.xml	YES 17967	YES 28901	TIMEOUT 60107	TIMEOUT 60030	TIMEOUT 60237	TIMEOUT 60261
tpdb-8.0/TRS/ICFP_2010/85590.xml	TIMEOUT 61058	TIMEOUT 61793	TIMEOUT 60086	TIMEOUT 60030	TIMEOUT 60334	TIMEOUT 60285
tpdb-8.0/TRS/ICFP_2010/85650.xml	YES 17507	YES 28466	TIMEOUT 60099	TIMEOUT 60029	TIMEOUT 60254	TIMEOUT 60243
tpdb-8.0/TRS/ICFP_2010/85675.xml	YES 3163	YES 6942	TIMEOUT 60101	TIMEOUT 60029	TIMEOUT 60184	TIMEOUT 60096
tpdb-8.0/TRS/ICFP_2010/85721.xml	TIMEOUT 61089	TIMEOUT 61880	TIMEOUT 60103	TIMEOUT 60030	TIMEOUT 60201	TIMEOUT 60272
tpdb-8.0/TRS/ICFP_2010/85749.xml	YES 3055	YES 6485	TIMEOUT 60099	TIMEOUT 60030	TIMEOUT 60377	TIMEOUT 60285
tpdb-8.0/TRS/ICFP_2010/85782.xml	TIMEOUT 60899	TIMEOUT 61779	TIMEOUT 60095	TIMEOUT 60030	TIMEOUT 60409	TIMEOUT 60272
tpdb-8.0/TRS/ICFP_2010/85834.xml	YES 3996	YES 9984	TIMEOUT 60100	YES 29442	TIMEOUT 60288	TIMEOUT 60372
tpdb-8.0/TRS/ICFP_2010/85874.xml	TIMEOUT 60877	TIMEOUT 61733	TIMEOUT 60085	TIMEOUT 60030	TIMEOUT 60336	TIMEOUT 60241
tpdb-8.0/TRS/ICFP_2010/85920.xml	TIMEOUT 60951	TIMEOUT 61478	TIMEOUT 60115	TIMEOUT 60032	TIMEOUT 60244	TIMEOUT 60412
tpdb-8.0/TRS/ICFP_2010/86025.xml	TIMEOUT 61094	TIMEOUT 61432	TIMEOUT 60106	TIMEOUT 60032	TIMEOUT 60319	TIMEOUT 60356
tpdb-8.0/TRS/ICFP_2010/86052.xml	TIMEOUT 61026	TIMEOUT 61472	TIMEOUT 60090	TIMEOUT 60031	TIMEOUT 60191	TIMEOUT 60267
tpdb-8.0/TRS/ICFP_2010/86452.xml	TIMEOUT 61164	TIMEOUT 62100	TIMEOUT 60103	TIMEOUT 60029	TIMEOUT 60230	TIMEOUT 60352
tpdb-8.0/TRS/ICFP_2010/86499.xml	TIMEOUT 61062	TIMEOUT 62175	TIMEOUT 60086	TIMEOUT 60030	TIMEOUT 60291	TIMEOUT 60399
tpdb-8.0/TRS/ICFP_2010/86526.xml	TIMEOUT 60887	TIMEOUT 61724	TIMEOUT 60090	TIMEOUT 60029	TIMEOUT 60197	TIMEOUT 60256
tpdb-8.0/TRS/ICFP_2010/86559.xml	YES 3691	YES 9805	TIMEOUT 60100	TIMEOUT 60030	YES 27628	YES 1832
tpdb-8.0/TRS/ICFP_2010/86577.xml	TIMEOUT 61135	TIMEOUT 61857	TIMEOUT 60103	TIMEOUT 60029	TIMEOUT 60282	TIMEOUT 60302
tpdb-8.0/TRS/ICFP_2010/86617.xml	TIMEOUT 60916	TIMEOUT 61839	TIMEOUT 60110	TIMEOUT 60030	TIMEOUT 60312	TIMEOUT 60225
tpdb-8.0/TRS/ICFP_2010/86636.xml	TIMEOUT 61094	TIMEOUT 61711	TIMEOUT 60083	TIMEOUT 60030	YES 4989	TIMEOUT 60275
tpdb-8.0/TRS/ICFP_2010/86745.xml	YES 4008	YES 10179	TIMEOUT 60097	TIMEOUT 60029	TIMEOUT 60256	TIMEOUT 60291
tpdb-8.0/TRS/ICFP_2010/86816.xml	TIMEOUT 60906	TIMEOUT 61875	TIMEOUT 60095	TIMEOUT 60030	TIMEOUT 60250	TIMEOUT 60300
tpdb-8.0/TRS/ICFP_2010/86857.xml	TIMEOUT 60888	TIMEOUT 62363	TIMEOUT 60080	TIMEOUT 60029	YES 4860	TIMEOUT 60179
tpdb-8.0/TRS/ICFP_2010/88143.xml	YES 16879	YES 32680	TIMEOUT 60083	TIMEOUT 60030	TIMEOUT 60115	TIMEOUT 60276
tpdb-8.0/TRS/ICFP_2010/88156.xml	YES 19578	YES 32357	TIMEOUT 60100	TIMEOUT 60031	TIMEOUT 60128	TIMEOUT 60340
tpdb-8.0/TRS/ICFP_2010/88172.xml	YES 9818	YES 17627	TIMEOUT 60096	TIMEOUT 60029	TIMEOUT 119859	TIMEOUT 60262
tpdb-8.0/TRS/ICFP_2010/88183.xml	TIMEOUT 61003	TIMEOUT 61671	TIMEOUT 60102	TIMEOUT 60031	TIMEOUT 60175	TIMEOUT 60259
tpdb-8.0/TRS/ICFP_2010/88208.xml	TIMEOUT 61003	TIMEOUT 62356	TIMEOUT 60090	TIMEOUT 60030	TIMEOUT 60150	TIMEOUT 60249
tpdb-8.0/TRS/ICFP_2010/88283.xml	TIMEOUT 60913	TIMEOUT 61564	TIMEOUT 60088	TIMEOUT 60032	TIMEOUT 60190	TIMEOUT 60247
tpdb-8.0/TRS/ICFP_2010/91210.xml	YES 11090	YES 14458	TIMEOUT 60085	TIMEOUT 60034	TIMEOUT 60041	TIMEOUT 60164
tpdb-8.0/TRS/ICFP_2010/91218.xml	TIMEOUT 61124	TIMEOUT 61021	TIMEOUT 60111	TIMEOUT 60029	TIMEOUT 60042	TIMEOUT 60264
tpdb-8.0/TRS/ICFP_2010/91233.xml	YES 10961	YES 16314	TIMEOUT 60086	TIMEOUT 60032	TIMEOUT 60039	TIMEOUT 60123
tpdb-8.0/TRS/ICFP_2010/91242.xml	TIMEOUT 61112	TIMEOUT 61698	TIMEOUT 60102	TIMEOUT 60034	TIMEOUT 60038	TIMEOUT 60213
tpdb-8.0/TRS/ICFP_2010/91254.xml	TIMEOUT 60968	TIMEOUT 61006	TIMEOUT 60097	TIMEOUT 60035	TIMEOUT 60040	TIMEOUT 60202
tpdb-8.0/TRS/ICFP_2010/95858.xml	TIMEOUT 60954	TIMEOUT 61491	TIMEOUT 60097	TIMEOUT 60030	TIMEOUT 60227	TIMEOUT 60282
tpdb-8.0/TRS/ICFP_2010/95899.xml	TIMEOUT 60934	TIMEOUT 61929	TIMEOUT 60102	TIMEOUT 60030	TIMEOUT 60283	TIMEOUT 60248
tpdb-8.0/TRS/ICFP_2010/95952.xml	TIMEOUT 60854	TIMEOUT 61907	TIMEOUT 60084	TIMEOUT 60031	TIMEOUT 60247	TIMEOUT 60258
tpdb-8.0/TRS/ICFP_2010/95978.xml	TIMEOUT 60880	TIMEOUT 61748	TIMEOUT 60081	TIMEOUT 60030	TIMEOUT 60288	TIMEOUT 60183
tpdb-8.0/TRS/ICFP_2010/96029.xml	TIMEOUT 61086	TIMEOUT 61562	TIMEOUT 60086	TIMEOUT 60030	YES 4329	TIMEOUT 60131
tpdb-8.0/TRS/ICFP_2010/96065.xml	TIMEOUT 61102	TIMEOUT 61774	TIMEOUT 60089	TIMEOUT 60029	YES 4324	TIMEOUT 60248
tpdb-8.0/TRS/ICFP_2010/96086.xml	YES 2743	YES 5507	TIMEOUT 60077	YES 5359	YES 1220	YES 1105
tpdb-8.0/TRS/ICFP_2010/96104.xml	TIMEOUT 61036	TIMEOUT 61700	TIMEOUT 60084	TIMEOUT 60030	YES 4289	TIMEOUT 60225
tpdb-8.0/TRS/ICFP_2010/96119.xml	TIMEOUT 61107	TIMEOUT 61457	TIMEOUT 60087	TIMEOUT 60031	YES 4178	TIMEOUT 60368
tpdb-8.0/TRS/ICFP_2010/96156.xml	TIMEOUT 61051	TIMEOUT 61932	TIMEOUT 60084	TIMEOUT 60065	YES 4829	TIMEOUT 60357
tpdb-8.0/TRS/ICFP_2010/96176.xml	TIMEOUT 61152	TIMEOUT 61508	TIMEOUT 60061	TIMEOUT 60030	YES 3718	TIMEOUT 60177
tpdb-8.0/TRS/ICFP_2010/96198.xml	TIMEOUT 61124	TIMEOUT 61408	TIMEOUT 60086	TIMEOUT 60031	YES 4202	TIMEOUT 60167
tpdb-8.0/TRS/ICFP_2010/96224.xml	YES 2452	YES 5347	TIMEOUT 60072	TIMEOUT 60030	YES 2122	YES 1333
tpdb-8.0/TRS/ICFP_2010/96239.xml	TIMEOUT 61119	TIMEOUT 61791	TIMEOUT 60097	TIMEOUT 60029	YES 4448	TIMEOUT 60218
tpdb-8.0/TRS/ICFP_2010/96256.xml	TIMEOUT 61172	TIMEOUT 61404	TIMEOUT 60086	TIMEOUT 60031	YES 4022	TIMEOUT 60143
tpdb-8.0/TRS/ICFP_2010/96274.xml	YES 2738	YES 6272	TIMEOUT 60070	TIMEOUT 60029	YES 3940	TIMEOUT 60167
tpdb-8.0/TRS/ICFP_2010/96289.xml	TIMEOUT 60969	TIMEOUT 61297	TIMEOUT 60098	TIMEOUT 60028	YES 3968	TIMEOUT 60271
tpdb-8.0/TRS/ICFP_2010/96302.xml	TIMEOUT 61096	TIMEOUT 61762	TIMEOUT 60098	TIMEOUT 60030	YES 4270	TIMEOUT 60162
tpdb-8.0/TRS/ICFP_2010/96334.xml	TIMEOUT 61145	TIMEOUT 60057	TIMEOUT 60103	TIMEOUT 60031	YES 3758	TIMEOUT 60176
tpdb-8.0/TRS/ICFP_2010/96370.xml	YES 17292	YES 22957	TIMEOUT 60099	TIMEOUT 60030	YES 4165	TIMEOUT 60233
tpdb-8.0/TRS/ICFP_2010/96403.xml	TIMEOUT 61047	TIMEOUT 61363	TIMEOUT 60083	TIMEOUT 60029	YES 3610	TIMEOUT 60185
tpdb-8.0/TRS/ICFP_2010/96417.xml	TIMEOUT 61121	TIMEOUT 61918	TIMEOUT 60098	TIMEOUT 60030	YES 4400	TIMEOUT 60407
tpdb-8.0/TRS/ICFP_2010/96438.xml	YES 18099	YES 27490	TIMEOUT 60099	TIMEOUT 60030	YES 3715	TIMEOUT 60179
tpdb-8.0/TRS/ICFP_2010/96464.xml	YES 20213	YES 36085	TIMEOUT 60112	TIMEOUT 60030	YES 4395	TIMEOUT 60082
tpdb-8.0/TRS/ICFP_2010/96485.xml	YES 2730	YES 6032	TIMEOUT 60099	YES 34059	YES 3813	TIMEOUT 60241
tpdb-8.0/TRS/ICFP_2010/96523.xml	TIMEOUT 60864	TIMEOUT 61584	TIMEOUT 60103	TIMEOUT 60032	YES 3072	TIMEOUT 60245
tpdb-8.0/TRS/ICFP_2010/96563.xml	YES 4722	YES 11683	TIMEOUT 60099	TIMEOUT 60031	YES 3796	TIMEOUT 60118
tpdb-8.0/TRS/ICFP_2010/96612.xml	TIMEOUT 61233	TIMEOUT 61601	TIMEOUT 60098	TIMEOUT 60030	YES 4649	TIMEOUT 60204
tpdb-8.0/TRS/ICFP_2010/96642.xml	YES 25104	YES 30966	TIMEOUT 60110	TIMEOUT 60029	YES 4091	TIMEOUT 60271
tpdb-8.0/TRS/ICFP_2010/96673.xml	TIMEOUT 60936	TIMEOUT 61504	TIMEOUT 60099	TIMEOUT 60032	YES 5419	TIMEOUT 60368
tpdb-8.0/TRS/ICFP_2010/97885.xml	TIMEOUT 60827	TIMEOUT 60927	TIMEOUT 60088	TIMEOUT 60037	TIMEOUT 60057	TIMEOUT 60369
tpdb-8.0/TRS/ICFP_2010/97888.xml	TIMEOUT 60771	TIMEOUT 61157	TIMEOUT 60075	TIMEOUT 60030	TIMEOUT 60050	TIMEOUT 60339
tpdb-8.0/TRS/ICFP_2010/97901.xml	TIMEOUT 60811	TIMEOUT 60854	TIMEOUT 60087	TIMEOUT 60036	TIMEOUT 60042	TIMEOUT 60204
tpdb-8.0/TRS/ICFP_2010/97917.xml	TIMEOUT 60919	TIMEOUT 61222	TIMEOUT 60081	TIMEOUT 60033	TIMEOUT 60056	TIMEOUT 60273
tpdb-8.0/TRS/ICFP_2010/97929.xml	TIMEOUT 60724	TIMEOUT 61271	TIMEOUT 60083	TIMEOUT 60030	TIMEOUT 60050	TIMEOUT 60155
tpdb-8.0/TRS/ICFP_2010/98362.xml	YES 24036	YES 34248	TIMEOUT 60093	TIMEOUT 60030	TIMEOUT 60235	TIMEOUT 60301
tpdb-8.0/TRS/ICFP_2010/98623.xml	YES 13433	YES 18619	TIMEOUT 60112	TIMEOUT 60030	TIMEOUT 60047	TIMEOUT 60258
tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml	NO 11249	TIMEOUT 61206	TIMEOUT 60034	MAYBE 1078	TIMEOUT 60059	TIMEOUT 60052
tpdb-8.0/TRS/Mixed_SRS/01.xml	YES 6519	YES 7970	TIMEOUT 60044	MAYBE 223	MAYBE 59893	TIMEOUT 60052
tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml	NO 19388	TIMEOUT 61028	TIMEOUT 60077	MAYBE 247	MAYBE 59846	TIMEOUT 60061
tpdb-8.0/TRS/Mixed_SRS/02.xml	YES 5308	YES 6533	TIMEOUT 60042	MAYBE 706	YES 50847	TIMEOUT 60056
tpdb-8.0/TRS/Mixed_SRS/03-oppelt08.xml	NO 12353	TIMEOUT 60661	TIMEOUT 60077	MAYBE 305	MAYBE 59870	TIMEOUT 60059
tpdb-8.0/TRS/Mixed_SRS/03.xml	YES 12134	YES 12004	YES 5373	MAYBE 274	MAYBE 59872	TIMEOUT 60051
tpdb-8.0/TRS/Mixed_SRS/04-oppelt08.xml	NO 8533	TIMEOUT 60634	TIMEOUT 60084	MAYBE 470	MAYBE 59942	TIMEOUT 60063
tpdb-8.0/TRS/Mixed_SRS/04.xml	YES 11088	YES 13071	TIMEOUT 60041	MAYBE 294	YES 11813	YES 14599
tpdb-8.0/TRS/Mixed_SRS/05-oppelt08.xml	NO 5593	TIMEOUT 61348	TIMEOUT 60032	MAYBE 343	MAYBE 59949	TIMEOUT 60047
tpdb-8.0/TRS/Mixed_SRS/05.xml	YES 6555	YES 8908	TIMEOUT 60056	MAYBE 428	YES 14047	YES 10145
tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml	NO 1300	NO 13878	TIMEOUT 60091	MAYBE 145	MAYBE 59874	TIMEOUT 60067
tpdb-8.0/TRS/Mixed_SRS/06.xml	YES 7143	YES 7599	TIMEOUT 60087	MAYBE 269	YES 9496	YES 7833
tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml	NO 2422	TIMEOUT 61075	TIMEOUT 60064	MAYBE 186	MAYBE 60000	TIMEOUT 60065
tpdb-8.0/TRS/Mixed_SRS/07.xml	YES 4411	YES 5407	MAYBE 3999	MAYBE 149	YES 6064	YES 5986
tpdb-8.0/TRS/Mixed_SRS/08-oppelt08.xml	NO 3689	TIMEOUT 62770	TIMEOUT 60081	MAYBE 289	TIMEOUT 60049	TIMEOUT 60079
tpdb-8.0/TRS/Mixed_SRS/08.xml	YES 33596	YES 36452	TIMEOUT 60089	MAYBE 436	MAYBE 59966	TIMEOUT 60047
tpdb-8.0/TRS/Mixed_SRS/09.xml	YES 4825	YES 6326	TIMEOUT 60066	MAYBE 446	YES 5973	YES 6381
tpdb-8.0/TRS/Mixed_SRS/1.xml	NO 2493	NO 20732	TIMEOUT 60043	MAYBE 153	NO 8954	TIMEOUT 60060
tpdb-8.0/TRS/Mixed_SRS/2.xml	YES 4749	YES 5178	TIMEOUT 60067	MAYBE 145	YES 18421	TIMEOUT 60055
tpdb-8.0/TRS/Mixed_SRS/3.xml	YES 1140	YES 4529	YES 138	YES 134	YES 1230	YES 1040
tpdb-8.0/TRS/Mixed_SRS/4.xml	TIMEOUT 60995	TIMEOUT 60029	TIMEOUT 60101	MAYBE 1403	YES 3700	TIMEOUT 60059
tpdb-8.0/TRS/Mixed_SRS/s6.xml	YES 1854	YES 4213	YES 107	YES 158	YES 5201	YES 803
tpdb-8.0/TRS/Mixed_SRS/touzet.xml	YES 1447	YES 4089	TIMEOUT 60091	MAYBE 226	YES 869	YES 2645
tpdb-8.0/TRS/Mixed_SRS/turing_add.xml	YES 2127	YES 4236	YES 193	YES 61	YES 930	YES 922
tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml	NO 1081	NO 15043	NO 81	MAYBE 3616	NO 600	NO 470
tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml	NO 1247	NO 16274	TIMEOUT 60048	MAYBE 12827	NO 922	NO 794
tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml	YES 6337	YES 6175	TIMEOUT 60101	MAYBE 706	YES 6317	YES 7094
tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml	YES 7959	YES 8273	TIMEOUT 60086	MAYBE 591	YES 1664	YES 7722
tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml	YES 3643	YES 5642	TIMEOUT 60076	MAYBE 317	YES 9660	YES 5209
tpdb-8.0/TRS/Secret_05_SRS/aprove4.xml	YES 6961	YES 8228	TIMEOUT 60086	YES 287	YES 14495	YES 8021
tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml	YES 7760	YES 9344	YES 42771	MAYBE 758	YES 9300	YES 8585
tpdb-8.0/TRS/Secret_05_SRS/jambox1.xml	YES 8240	YES 7989	TIMEOUT 60043	MAYBE 335	TIMEOUT 60037	TIMEOUT 60071
tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml	TIMEOUT 60993	TIMEOUT 62412	TIMEOUT 60061	MAYBE 983	MAYBE 59961	TIMEOUT 60051
tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml	TIMEOUT 61073	TIMEOUT 60864	TIMEOUT 60041	MAYBE 435	TIMEOUT 60045	TIMEOUT 60047
tpdb-8.0/TRS/Secret_05_SRS/jambox4.xml	YES 1197	YES 6870	TIMEOUT 60078	MAYBE 262	YES 1520	YES 6406
tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml	YES 16496	YES 12892	TIMEOUT 60037	MAYBE 353	YES 2485	TIMEOUT 60081
tpdb-8.0/TRS/Secret_05_SRS/matchbox1.xml	YES 10934	YES 11383	YES 14385	YES 107	YES 2273	YES 1293
tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml	YES 1138	YES 19491	YES 4773	YES 296	YES 1357	YES 1773
tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml	YES 1333	YES 5172	YES 2491	MAYBE 385	YES 1184	YES 3218
tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml	YES 4047	YES 5439	TIMEOUT 60073	MAYBE 182	YES 11658	YES 8279
tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml	YES 3729	YES 4706	YES 4706	YES 80	YES 3630	YES 2332
tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml	YES 2385	YES 4449	TIMEOUT 60079	YES 313	YES 3011	YES 4040
tpdb-8.0/TRS/Secret_06_SRS/10.xml	YES 3705	YES 5315	TIMEOUT 60090	MAYBE 147	YES 2703	YES 1680
tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml	NO 27513	TIMEOUT 61210	TIMEOUT 60092	MAYBE 682	MAYBE 59875	TIMEOUT 60061
tpdb-8.0/TRS/Secret_06_SRS/1.xml	TIMEOUT 61145	TIMEOUT 61112	TIMEOUT 60076	MAYBE 294	MAYBE 59871	TIMEOUT 60080
tpdb-8.0/TRS/Secret_06_SRS/2-matchbox.xml	YES 41703	TIMEOUT 60612	TIMEOUT 60103	YES 3141	YES 2307	YES 3277
tpdb-8.0/TRS/Secret_06_SRS/2.xml	YES 7462	YES 7295	TIMEOUT 60069	MAYBE 356	YES 26807	YES 13759
tpdb-8.0/TRS/Secret_06_SRS/3-matchbox.xml	YES 9474	YES 8706	YES 45656	YES 1451	YES 2919	YES 2965
tpdb-8.0/TRS/Secret_06_SRS/3.xml	TIMEOUT 60924	TIMEOUT 61105	TIMEOUT 60069	MAYBE 312	YES 1844	TIMEOUT 60054
tpdb-8.0/TRS/Secret_06_SRS/5-matchbox.xml	YES 4335	YES 6916	TIMEOUT 60091	MAYBE 323	YES 1381	YES 8378
tpdb-8.0/TRS/Secret_06_SRS/5.xml	YES 17032	YES 17924	TIMEOUT 60095	MAYBE 438	YES 46219	YES 24777
tpdb-8.0/TRS/Secret_06_SRS/6.xml	YES 3695	YES 5694	TIMEOUT 60044	MAYBE 1223	YES 1973	YES 1722
tpdb-8.0/TRS/Secret_06_SRS/7.xml	YES 5524	YES 5565	TIMEOUT 60090	YES 193	YES 7061	YES 6581
tpdb-8.0/TRS/Secret_06_SRS/8.xml	YES 11142	YES 11123	YES 19361	MAYBE 806	YES 2632	YES 2447
tpdb-8.0/TRS/Secret_06_SRS/9.xml	YES 3725	YES 5577	TIMEOUT 60091	MAYBE 193	YES 2450	YES 1881
tpdb-8.0/TRS/Secret_06_SRS/aprove00.xml	YES 2188	YES 4306	YES 368	YES 123	YES 999	YES 6884
tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml	YES 3304	YES 6005	YES 1054	YES 297	YES 1780	YES 6832
tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml	YES 3381	YES 5761	TIMEOUT 60081	YES 662	YES 2126	YES 6842
tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml	YES 3252	YES 6306	TIMEOUT 60085	YES 459	YES 3523	YES 7335
tpdb-8.0/TRS/Secret_06_SRS/aprove04.xml	YES 4345	YES 7586	TIMEOUT 60095	YES 728	YES 13755	YES 12684
tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml	YES 2411	YES 5758	TIMEOUT 60100	YES 662	YES 3602	YES 6748
tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml	YES 2880	YES 6689	YES 308	YES 947	YES 5493	YES 10348
tpdb-8.0/TRS/Secret_06_SRS/aprove07.xml	YES 11605	YES 9707	TIMEOUT 60085	YES 907	YES 1621	YES 8803
tpdb-8.0/TRS/Secret_06_SRS/aprove08.xml	YES 3491	YES 5197	YES 1149	YES 473	YES 1706	YES 10610
tpdb-8.0/TRS/Secret_06_SRS/aprove09.xml	YES 2419	YES 4553	YES 139	YES 248	YES 1034	YES 6290
tpdb-8.0/TRS/Secret_06_SRS/multum1.xml	YES 20581	YES 25557	YES 619	MAYBE 491	YES 13258	YES 3729
tpdb-8.0/TRS/Secret_06_SRS/multum2.xml	YES 20348	YES 23873	TIMEOUT 60055	MAYBE 406	YES 1827	YES 1348
tpdb-8.0/TRS/Secret_06_SRS/multum3.xml	YES 3079	YES 4740	TIMEOUT 60091	MAYBE 387	YES 2194	YES 2169
tpdb-8.0/TRS/Secret_06_SRS/multum4.xml	YES 1065	TIMEOUT 61806	TIMEOUT 60088	MAYBE 31529	YES 897	YES 4144
tpdb-8.0/TRS/Secret_06_SRS/multum5.xml	YES 5542	YES 5771	TIMEOUT 60042	MAYBE 443	YES 1746	YES 1319
tpdb-8.0/TRS/Secret_06_SRS/multum6.xml	YES 5978	YES 6935	TIMEOUT 60041	MAYBE 573	YES 3073	YES 3003
tpdb-8.0/TRS/Secret_06_SRS/secr10.xml	YES 9740	YES 10639	TIMEOUT 60103	MAYBE 901	YES 6897	YES 7357
tpdb-8.0/TRS/Secret_06_SRS/secr1.xml	YES 1557	YES 4094	TIMEOUT 60094	MAYBE 197	YES 874	YES 3217
tpdb-8.0/TRS/Secret_06_SRS/secr2.xml	YES 2142	YES 4597	TIMEOUT 60098	MAYBE 199	YES 1008	YES 6306
tpdb-8.0/TRS/Secret_06_SRS/secr3.xml	YES 4040	YES 5509	TIMEOUT 60461	MAYBE 455	YES 22759	TIMEOUT 60053
tpdb-8.0/TRS/Secret_06_SRS/secr4.xml	YES 17065	YES 19475	TIMEOUT 60086	YES 103	YES 6444	YES 1991
tpdb-8.0/TRS/Secret_06_SRS/secr5.xml	TIMEOUT 61890	TIMEOUT 62315	TIMEOUT 60042	MAYBE 344	TIMEOUT 60038	TIMEOUT 60056
tpdb-8.0/TRS/Secret_06_SRS/secr6.xml	YES 7720	YES 15798	TIMEOUT 60078	MAYBE 870	YES 7446	YES 6948
tpdb-8.0/TRS/Secret_06_SRS/secr7.xml	YES 5161	YES 5869	TIMEOUT 60075	MAYBE 419	YES 6085	YES 6227
tpdb-8.0/TRS/Secret_06_SRS/secr8.xml	YES 6223	YES 7158	TIMEOUT 60035	MAYBE 240	YES 9336	YES 7879
tpdb-8.0/TRS/Secret_06_SRS/secr9.xml	YES 13198	YES 11409	TIMEOUT 60082	MAYBE 959	YES 12608	YES 8740
tpdb-8.0/TRS/Secret_07_SRS/dj.xml	YES 1408	YES 3551	YES 58	YES 94	YES 1620	YES 672
tpdb-8.0/TRS/Secret_07_SRS/num-514.xml	NO 50553	TIMEOUT 60915	TIMEOUT 60110	MAYBE 304	MAYBE 59948	TIMEOUT 60062
tpdb-8.0/TRS/Secret_07_SRS/num-515.xml	NO 7712	NO 27386	TIMEOUT 60097	MAYBE 250	NO 44077	TIMEOUT 60067
tpdb-8.0/TRS/Secret_07_SRS/num-518.xml	TIMEOUT 61259	TIMEOUT 61218	TIMEOUT 60083	MAYBE 376	MAYBE 59930	TIMEOUT 60049
tpdb-8.0/TRS/Secret_07_SRS/num-519.xml	NO 3726	NO 30627	TIMEOUT 60081	MAYBE 388	MAYBE 59881	TIMEOUT 60072
tpdb-8.0/TRS/Secret_07_SRS/num-520.xml	TIMEOUT 61036	TIMEOUT 60943	TIMEOUT 60056	MAYBE 180	MAYBE 59905	TIMEOUT 60056
tpdb-8.0/TRS/Secret_07_SRS/num-521.xml	NO 55794	NO 22581	TIMEOUT 60109	MAYBE 194	MAYBE 59921	TIMEOUT 60061
tpdb-8.0/TRS/Secret_07_SRS/num-525.xml	NO 10007	NO 17572	TIMEOUT 60096	MAYBE 249	MAYBE 59906	TIMEOUT 60059
tpdb-8.0/TRS/Secret_07_SRS/num-527.xml	NO 21264	NO 17605	TIMEOUT 60082	MAYBE 215	NO 47982	TIMEOUT 60055
tpdb-8.0/TRS/Secret_07_SRS/num-530.xml	NO 5262	NO 18269	TIMEOUT 60102	MAYBE 282	MAYBE 59908	TIMEOUT 60064
tpdb-8.0/TRS/Secret_07_SRS/num-539.xml	NO 3091	NO 16359	TIMEOUT 60091	MAYBE 242	NO 12582	TIMEOUT 60077
tpdb-8.0/TRS/Secret_07_SRS/x01.xml	YES 3672	YES 5759	MAYBE 13862	MAYBE 217	YES 8727	YES 8115
tpdb-8.0/TRS/Secret_07_SRS/x02.xml	YES 24900	YES 22970	MAYBE 52060	MAYBE 203	YES 9657	YES 7006
tpdb-8.0/TRS/Secret_07_SRS/x03.xml	YES 3934	YES 5159	TIMEOUT 60050	MAYBE 207	YES 5800	YES 6571
tpdb-8.0/TRS/Secret_07_SRS/x04.xml	YES 13058	YES 12389	TIMEOUT 60091	MAYBE 962	YES 10852	YES 9027
tpdb-8.0/TRS/Secret_07_SRS/x05.xml	YES 3119	YES 5110	TIMEOUT 60054	MAYBE 236	YES 7046	YES 6192
tpdb-8.0/TRS/Secret_07_SRS/x06.xml	YES 7662	YES 8316	TIMEOUT 60032	MAYBE 397	YES 13672	TIMEOUT 60074
tpdb-8.0/TRS/Secret_07_SRS/x07.xml	TIMEOUT 61151	TIMEOUT 61138	TIMEOUT 60037	MAYBE 910	YES 18590	TIMEOUT 60072
tpdb-8.0/TRS/Secret_07_SRS/x08.xml	YES 10430	YES 9903	TIMEOUT 60080	MAYBE 679	YES 16616	YES 36053
tpdb-8.0/TRS/Secret_07_SRS/x09.xml	YES 36137	TIMEOUT 61724	TIMEOUT 60080	MAYBE 799	MAYBE 59849	TIMEOUT 60066
tpdb-8.0/TRS/Secret_07_SRS/x10.xml	YES 9197	YES 9178	MAYBE 42766	MAYBE 326	YES 7580	YES 8310
tpdb-8.0/TRS/Trafo_06/dup01.xml	YES 3958	YES 6217	YES 445	YES 812	YES 18393	YES 1121
tpdb-8.0/TRS/Trafo_06/dup05.xml	YES 6036	YES 8542	TIMEOUT 60096	YES 12285	YES 2000	YES 7788
tpdb-8.0/TRS/Trafo_06/dup06.xml	YES 2433	YES 4821	TIMEOUT 60101	YES 83	YES 8538	YES 6569
tpdb-8.0/TRS/Trafo_06/dup07.xml	YES 4160	YES 5974	TIMEOUT 60100	MAYBE 1819	YES 10697	YES 8077
tpdb-8.0/TRS/Trafo_06/dup08.xml	YES 16052	YES 28288	TIMEOUT 60080	YES 31314	YES 3763	YES 3215
tpdb-8.0/TRS/Trafo_06/dup09.xml	YES 4595	YES 6295	YES 480	MAYBE 45	YES 1282	YES 857
tpdb-8.0/TRS/Trafo_06/dup10.xml	TIMEOUT 60898	TIMEOUT 61443	TIMEOUT 60088	TIMEOUT 60031	YES 10924	YES 11951
tpdb-8.0/TRS/Trafo_06/dup11.xml	YES 16181	YES 15811	TIMEOUT 60076	YES 8929	YES 3383	YES 10386
tpdb-8.0/TRS/Trafo_06/dup12.xml	YES 48792	TIMEOUT 60987	TIMEOUT 60082	MAYBE 4582	YES 3181	YES 26206
tpdb-8.0/TRS/Trafo_06/dup13.xml	TIMEOUT 61102	TIMEOUT 61795	TIMEOUT 60095	MAYBE 10754	YES 1955	YES 9038
tpdb-8.0/TRS/Trafo_06/dup14.xml	YES 12062	YES 19802	TIMEOUT 60097	MAYBE 5909	YES 4649	YES 4222
tpdb-8.0/TRS/Trafo_06/dup15.xml	YES 6934	YES 8492	YES 1312	YES 60	YES 1647	YES 2541
tpdb-8.0/TRS/Trafo_06/dup16.xml	YES 1236	YES 3364	TIMEOUT 60088	YES 61	YES 8760	YES 1954
tpdb-8.0/TRS/Trafo_06/dup17.xml	YES 8053	YES 8829	TIMEOUT 60098	YES 77	YES 2185	YES 2263
tpdb-8.0/TRS/Trafo_06/hom01.xml	YES 12546	YES 22997	TIMEOUT 60072	MAYBE 3062	YES 2058	YES 2335
tpdb-8.0/TRS/Trafo_06/hom02.xml	YES 3120	YES 4819	YES 291	YES 74	YES 1741	YES 753
tpdb-8.0/TRS/Trafo_06/hom03.xml	YES 1082	TIMEOUT 61497	YES 805	MAYBE 23016	YES 23467	YES 12795
tpdb-8.0/TRS/Trafo_06/un02.xml	TIMEOUT 60863	TIMEOUT 61970	TIMEOUT 60102	TIMEOUT 60133	TIMEOUT 60045	TIMEOUT 60068
tpdb-8.0/TRS/Trafo_06/un04.xml	NO 6549	TIMEOUT 61515	TIMEOUT 60098	MAYBE 850	TIMEOUT 60036	TIMEOUT 60050
tpdb-8.0/TRS/Trafo_06/un05.xml	YES 7511	YES 8182	TIMEOUT 60084	MAYBE 356	MAYBE 59928	TIMEOUT 60058
tpdb-8.0/TRS/Trafo_06/un06.xml	YES 10471	YES 10186	TIMEOUT 60104	YES 679	YES 4014	YES 2744
tpdb-8.0/TRS/Trafo_06/un07.xml	YES 8262	YES 8080	TIMEOUT 60088	MAYBE 631	YES 7218	YES 7360
tpdb-8.0/TRS/Trafo_06/un08.xml	YES 6138	YES 8942	TIMEOUT 60082	MAYBE 519	YES 37959	YES 18223
tpdb-8.0/TRS/Trafo_06/un09.xml	TIMEOUT 61145	TIMEOUT 61561	TIMEOUT 60099	MAYBE 1624	YES 18642	YES 12204
tpdb-8.0/TRS/Trafo_06/un10.xml	TIMEOUT 60834	TIMEOUT 61427	TIMEOUT 60080	MAYBE 3827	YES 8112	YES 10656
tpdb-8.0/TRS/Trafo_06/un11.xml	TIMEOUT 61041	TIMEOUT 61554	TIMEOUT 60088	MAYBE 1581	MAYBE 60012	TIMEOUT 60058
tpdb-8.0/TRS/Trafo_06/un12.xml	YES 1076	TIMEOUT 61445	TIMEOUT 60098	MAYBE 2695	TIMEOUT 60037	TIMEOUT 60063
tpdb-8.0/TRS/Trafo_06/un13.xml	TIMEOUT 60856	TIMEOUT 61457	TIMEOUT 60109	MAYBE 3573	TIMEOUT 60048	TIMEOUT 60066
tpdb-8.0/TRS/Trafo_06/un14.xml	TIMEOUT 60845	TIMEOUT 61391	TIMEOUT 60083	MAYBE 3250	YES 14030	YES 11737
tpdb-8.0/TRS/Trafo_06/un15.xml	TIMEOUT 60887	TIMEOUT 61788	TIMEOUT 60080	MAYBE 3784	TIMEOUT 60046	TIMEOUT 60069
tpdb-8.0/TRS/Trafo_06/un16.xml	TIMEOUT 60893	TIMEOUT 61354	TIMEOUT 60103	MAYBE 2407	TIMEOUT 60054	TIMEOUT 60062
tpdb-8.0/TRS/Trafo_06/un17.xml	TIMEOUT 60912	TIMEOUT 61845	TIMEOUT 60086	MAYBE 1208	TIMEOUT 60041	TIMEOUT 60066
tpdb-8.0/TRS/Trafo_06/un18.xml	TIMEOUT 61139	TIMEOUT 61965	TIMEOUT 60099	MAYBE 1208	TIMEOUT 60053	TIMEOUT 60067
tpdb-8.0/TRS/Waldmann_06_SRS/e.xml	YES 12668	YES 13201	TIMEOUT 60032	YES 3413	YES 4437	YES 6419
tpdb-8.0/TRS/Waldmann_06_SRS/jw1.xml	YES 3648	YES 5500	TIMEOUT 60032	MAYBE 291	YES 10097	TIMEOUT 60052
tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml	YES 12087	YES 12160	MAYBE 2366	MAYBE 363	TIMEOUT 60106	YES 15945
tpdb-8.0/TRS/Waldmann_06_SRS/jw4.xml	TIMEOUT 60932	TIMEOUT 61617	TIMEOUT 60080	MAYBE 984	YES 12933	YES 11084
tpdb-8.0/TRS/Waldmann_06_SRS/jw5.xml	TIMEOUT 61087	TIMEOUT 61382	TIMEOUT 60083	MAYBE 1588	TIMEOUT 60065	YES 36874
tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml	YES 8515	YES 9739	TIMEOUT 60029	YES 644	YES 3280	YES 2821
tpdb-8.0/TRS/Waldmann_06_SRS/sym-1.xml	YES 1418	YES 3685	TIMEOUT 60086	MAYBE 180	YES 1473	YES 1427
tpdb-8.0/TRS/Waldmann_06_SRS/sym-2.xml	YES 8039	YES 8612	TIMEOUT 60084	MAYBE 271	YES 1879	YES 1806
tpdb-8.0/TRS/Waldmann_06_SRS/sym-4.xml	YES 1463	YES 3754	TIMEOUT 60081	MAYBE 6245	YES 1420	YES 1161
tpdb-8.0/TRS/Waldmann_06_SRS/sym-5.xml	TIMEOUT 61404	TIMEOUT 61508	TIMEOUT 60040	MAYBE 621	MAYBE 59957	TIMEOUT 60059
tpdb-8.0/TRS/Waldmann_06_SRS/sym-6.xml	TIMEOUT 60796	TIMEOUT 61787	TIMEOUT 60085	MAYBE 676	YES 20528	TIMEOUT 60055
tpdb-8.0/TRS/Waldmann_06_SRS/uni-1.xml	YES 1365	YES 3608	TIMEOUT 60086	MAYBE 153	YES 1534	YES 1551
tpdb-8.0/TRS/Waldmann_06_SRS/uni-2.xml	NO 1733	NO 29285	TIMEOUT 60081	MAYBE 482	NO 1000	NO 938
tpdb-8.0/TRS/Waldmann_06_SRS/uni-3.xml	NO 3536	TIMEOUT 61182	TIMEOUT 60076	MAYBE 381	MAYBE 59893	TIMEOUT 60076
tpdb-8.0/TRS/Waldmann_06_SRS/uni-4.xml	NO 1555	TIMEOUT 61230	TIMEOUT 60091	MAYBE 275	NO 10427	TIMEOUT 60058
tpdb-8.0/TRS/Waldmann_06_SRS/uni-5.xml	YES 4493	YES 5282	TIMEOUT 60102	MAYBE 235	YES 14043	YES 7972
tpdb-8.0/TRS/Waldmann_06_SRS/uni-6.xml	NO 3987	TIMEOUT 61082	TIMEOUT 60033	MAYBE 919	NO 23409	TIMEOUT 60074
tpdb-8.0/TRS/Waldmann_06_SRS/uni-7.xml	TIMEOUT 62305	TIMEOUT 60115	TIMEOUT 60043	MAYBE 2759	MAYBE 59981	TIMEOUT 60075
tpdb-8.0/TRS/Waldmann_06_SRS/z086-variant.xml	YES 5930	YES 5814	TIMEOUT 60080	MAYBE 328	YES 45350	YES 15879
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml	YES 5804	YES 5944	TIMEOUT 60093	MAYBE 212	YES 17710	YES 9052
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml	YES 5559	YES 6450	TIMEOUT 60095	MAYBE 265	MAYBE 59913	TIMEOUT 60136
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-3.xml	YES 6324	YES 6902	TIMEOUT 60097	MAYBE 301	YES 11449	YES 9081
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-4.xml	YES 4536	YES 5261	TIMEOUT 60101	MAYBE 226	YES 8487	YES 6707
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml	YES 3288	YES 4275	MAYBE 7345	MAYBE 207	YES 5699	YES 4325
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-11.xml	YES 2928	YES 4242	MAYBE 4232	MAYBE 134	YES 6122	YES 6230
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml	YES 4008	YES 4777	TIMEOUT 60078	MAYBE 302	YES 6997	YES 6533
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-13.xml	YES 3934	YES 4454	MAYBE 1999	MAYBE 186	YES 6303	YES 6240
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml	YES 2950	YES 4128	MAYBE 9380	MAYBE 143	YES 6009	YES 6449
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml	NO 5697	NO 17234	TIMEOUT 60098	MAYBE 376	MAYBE 59899	TIMEOUT 60066
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml	YES 1309	YES 3405	TIMEOUT 60086	MAYBE 170	YES 7406	YES 4539
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-17.xml	YES 2427	YES 4276	MAYBE 1654	MAYBE 159	YES 6344	YES 4305
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-18.xml	NO 3226	TIMEOUT 61138	TIMEOUT 60091	MAYBE 111	MAYBE 59676	TIMEOUT 60064
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-19.xml	YES 4398	YES 5139	TIMEOUT 60084	MAYBE 266	YES 5991	YES 3995
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml	NO 10515	TIMEOUT 61381	TIMEOUT 60083	MAYBE 153	MAYBE 59850	TIMEOUT 60079
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-20.xml	YES 3328	YES 4824	TIMEOUT 60094	MAYBE 149	YES 5554	YES 5919
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-21.xml	NO 5067	TIMEOUT 61215	MAYBE 10681	MAYBE 136	MAYBE 59611	TIMEOUT 60074
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml	YES 8432	YES 7770	MAYBE 8663	MAYBE 168	YES 18730	TIMEOUT 60065
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-3.xml	YES 4237	YES 5040	TIMEOUT 60098	MAYBE 133	YES 6732	YES 3897
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml	TIMEOUT 61284	TIMEOUT 61113	MAYBE 35456	MAYBE 195	MAYBE 59836	TIMEOUT 60070
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml	YES 4524	YES 4688	MAYBE 4779	MAYBE 193	YES 7192	YES 6411
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml	YES 3661	YES 4384	TIMEOUT 60082	MAYBE 196	YES 5638	YES 6223
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-7.xml	YES 3473	YES 4356	TIMEOUT 60090	MAYBE 214	YES 5694	YES 6091
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml	YES 3340	YES 4328	TIMEOUT 60100	MAYBE 181	YES 5597	YES 6123
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-9.xml	YES 3019	YES 4289	TIMEOUT 60086	MAYBE 233	YES 5803	YES 6149
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-10.xml	TIMEOUT 60849	NO 20230	TIMEOUT 60086	MAYBE 263	MAYBE 59869	TIMEOUT 60047
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-11.xml	TIMEOUT 61140	NO 23917	TIMEOUT 60098	MAYBE 470	MAYBE 59909	TIMEOUT 60059
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-12.xml	TIMEOUT 61157	TIMEOUT 62191	TIMEOUT 60098	MAYBE 288	MAYBE 59926	TIMEOUT 60054
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-13.xml	YES 5042	YES 5364	TIMEOUT 60104	MAYBE 254	YES 8536	YES 8506
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-14.xml	YES 5806	YES 5731	TIMEOUT 60097	MAYBE 268	YES 15452	YES 9407
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-15.xml	YES 3938	YES 4857	TIMEOUT 60097	MAYBE 162	YES 7017	TIMEOUT 60050
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-16.xml	YES 4235	YES 4954	TIMEOUT 60086	MAYBE 219	YES 6009	YES 7159
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-17.xml	TIMEOUT 60864	TIMEOUT 62217	TIMEOUT 60094	MAYBE 987	MAYBE 59826	TIMEOUT 60047
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-18.xml	TIMEOUT 60854	TIMEOUT 61672	TIMEOUT 60082	MAYBE 2624	MAYBE 59763	TIMEOUT 60056
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-19.xml	YES 4602	YES 4825	TIMEOUT 60082	MAYBE 172	YES 10542	TIMEOUT 60055
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-1.xml	YES 3655	YES 4527	TIMEOUT 60077	MAYBE 202	YES 6370	YES 6475
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-20.xml	NO 28339	TIMEOUT 61110	TIMEOUT 60084	MAYBE 165	MAYBE 59806	TIMEOUT 60058
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-21.xml	YES 4575	YES 4897	TIMEOUT 60083	MAYBE 163	YES 5041	YES 6855
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-22.xml	YES 7920	YES 8633	TIMEOUT 60096	MAYBE 250	YES 6693	YES 3189
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-2.xml	YES 3774	YES 4519	TIMEOUT 60101	MAYBE 248	YES 6573	YES 6492
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-3.xml	YES 4090	YES 4476	TIMEOUT 60095	MAYBE 389	YES 6286	YES 6357
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-4.xml	YES 15873	YES 14651	TIMEOUT 60094	MAYBE 224	YES 9382	YES 8303
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-5.xml	YES 5047	YES 6496	TIMEOUT 60095	MAYBE 282	YES 47823	TIMEOUT 60048
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-6.xml	YES 5207	YES 6036	TIMEOUT 60103	MAYBE 179	YES 24085	TIMEOUT 60062
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-7.xml	TIMEOUT 60999	TIMEOUT 61375	TIMEOUT 60080	MAYBE 200	MAYBE 59890	TIMEOUT 60059
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-8.xml	YES 3944	YES 5483	TIMEOUT 60079	MAYBE 173	YES 9871	TIMEOUT 60061
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-100.xml	NO 3289	TIMEOUT 61056	TIMEOUT 60092	MAYBE 144	NO 29229	TIMEOUT 60084
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-101.xml	NO 4652	TIMEOUT 61228	TIMEOUT 60095	MAYBE 148	MAYBE 59758	TIMEOUT 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-104.xml	YES 4110	YES 5001	TIMEOUT 60095	MAYBE 192	YES 7605	YES 6741
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-105.xml	YES 5828	YES 5889	TIMEOUT 60102	MAYBE 183	YES 28748	TIMEOUT 60074
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-106.xml	YES 3954	YES 4478	TIMEOUT 60098	MAYBE 180	YES 17335	YES 7206
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-107.xml	YES 3889	YES 5108	MAYBE 7535	MAYBE 210	YES 6337	YES 6122
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-108.xml	YES 3270	YES 4744	MAYBE 7753	MAYBE 222	YES 6818	YES 4331
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-109.xml	YES 3251	YES 4428	TIMEOUT 60081	MAYBE 228	YES 5652	YES 6139
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml	YES 3764	YES 4309	TIMEOUT 60082	MAYBE 522	YES 3196	YES 2047
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-110.xml	YES 4181	YES 5816	TIMEOUT 60083	MAYBE 122	YES 5978	YES 6249
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-111.xml	YES 4695	YES 5014	TIMEOUT 60080	MAYBE 267	YES 5773	YES 3879
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-112.xml	YES 5283	YES 5430	TIMEOUT 60082	MAYBE 5835	YES 6213	YES 7265
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-113.xml	YES 4202	YES 4546	TIMEOUT 60082	MAYBE 644	YES 7804	YES 6719
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-114.xml	YES 5671	YES 5812	TIMEOUT 60104	MAYBE 574	YES 11634	YES 10404
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-11.xml	NO 8621	TIMEOUT 61056	TIMEOUT 60073	MAYBE 193	MAYBE 59811	TIMEOUT 60059
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-120.xml	TIMEOUT 60979	TIMEOUT 61103	MAYBE 2293	MAYBE 184	MAYBE 59843	TIMEOUT 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-121.xml	YES 4400	YES 4839	TIMEOUT 60107	MAYBE 498	YES 12138	YES 8490
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-122.xml	YES 5896	YES 5683	TIMEOUT 60083	MAYBE 199	YES 23478	YES 19320
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-123.xml	YES 4359	YES 4351	TIMEOUT 60079	MAYBE 347	YES 12683	YES 8011
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-124.xml	YES 7177	YES 7702	TIMEOUT 60093	MAYBE 248	YES 16506	YES 22899
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-125.xml	YES 4084	YES 4384	TIMEOUT 60078	MAYBE 256	YES 6946	YES 7107
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-126.xml	YES 3240	YES 4656	TIMEOUT 60078	MAYBE 351	YES 8376	YES 7354
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-127.xml	NO 9586	TIMEOUT 61130	MAYBE 1522	MAYBE 211	MAYBE 59711	TIMEOUT 60072
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-128.xml	YES 6105	YES 5710	MAYBE 18655	MAYBE 290	YES 10629	YES 8587
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-129.xml	NO 3233	TIMEOUT 61052	TIMEOUT 60107	MAYBE 208	MAYBE 59742	TIMEOUT 60061
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-131.xml	YES 3064	YES 4166	TIMEOUT 60103	MAYBE 441	YES 5632	YES 6110
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-132.xml	YES 6932	YES 6372	TIMEOUT 60102	MAYBE 192	YES 13535	TIMEOUT 60067
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-133.xml	YES 5249	YES 5186	TIMEOUT 60090	MAYBE 220	YES 23121	YES 11408
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-134.xml	YES 2801	YES 4414	TIMEOUT 60102	MAYBE 144	YES 5543	YES 6092
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-135.xml	NO 7997	TIMEOUT 61074	TIMEOUT 60088	MAYBE 409	MAYBE 59806	TIMEOUT 60081
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-13.xml	YES 2977	YES 4308	TIMEOUT 60098	MAYBE 343	YES 5648	YES 6042
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-140.xml	NO 1108	NO 22291	TIMEOUT 60092	MAYBE 149	NO 957	NO 1070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-146.xml	NO 1205	NO 26882	TIMEOUT 60095	MAYBE 160	NO 968	NO 942
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-149.xml	YES 4199	YES 6574	TIMEOUT 60097	MAYBE 153	YES 5603	YES 3641
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-14.xml	YES 3568	YES 4257	MAYBE 4155	MAYBE 138	YES 6010	YES 6208
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-152.xml	YES 5199	YES 5639	TIMEOUT 60082	MAYBE 334	YES 6412	YES 6218
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-158.xml	NO 1127	NO 51745	TIMEOUT 60097	MAYBE 203	NO 1077	NO 1041
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-159.xml	NO 1105	NO 18989	TIMEOUT 60082	MAYBE 159	NO 872	NO 778
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-15.xml	YES 3328	YES 4213	TIMEOUT 60094	MAYBE 204	YES 5619	YES 3690
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-160.xml	NO 1286	TIMEOUT 61165	TIMEOUT 60085	MAYBE 141	NO 1229	NO 1184
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-163.xml	YES 3036	YES 4981	MAYBE 4548	MAYBE 183	YES 7071	YES 5885
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-164.xml	YES 3213	YES 4684	TIMEOUT 60105	MAYBE 135	YES 7154	YES 6328
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-165.xml	YES 3669	YES 5245	MAYBE 1650	MAYBE 138	YES 5706	YES 5973
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-168.xml	YES 2914	YES 4611	TIMEOUT 60084	MAYBE 129	YES 5986	YES 6513
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-16.xml	YES 3516	YES 4367	TIMEOUT 60095	MAYBE 219	YES 5711	YES 6139
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-170.xml	NO 9651	TIMEOUT 61318	TIMEOUT 60085	MAYBE 130	MAYBE 59747	TIMEOUT 60071
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-174.xml	TIMEOUT 60949	TIMEOUT 61454	TIMEOUT 60100	MAYBE 167	MAYBE 59845	TIMEOUT 60064
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-176.xml	YES 4499	YES 4931	TIMEOUT 60095	MAYBE 115	YES 6599	YES 5638
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-177.xml	NO 1296	TIMEOUT 61387	TIMEOUT 60087	MAYBE 156	NO 8428	NO 6398
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-178.xml	NO 3825	TIMEOUT 60056	TIMEOUT 60084	MAYBE 173	MAYBE 59690	TIMEOUT 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-179.xml	NO 1143	TIMEOUT 61480	TIMEOUT 60087	MAYBE 181	NO 1362	NO 1239
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-17.xml	YES 3703	YES 4290	TIMEOUT 60080	MAYBE 251	YES 5750	YES 6188
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-180.xml	YES 7733	YES 10527	TIMEOUT 60089	MAYBE 143	YES 6871	YES 4866
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-181.xml	NO 2637	TIMEOUT 61528	TIMEOUT 60080	MAYBE 164	NO 1361	NO 1219
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-186.xml	YES 2670	YES 4093	TIMEOUT 60097	MAYBE 162	YES 6120	YES 2518
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-190.xml	YES 4369	YES 5002	TIMEOUT 60102	MAYBE 307	YES 5488	YES 5074
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-191.xml	YES 3041	YES 4543	TIMEOUT 60091	MAYBE 275	YES 5512	YES 4077
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-194.xml	YES 3287	YES 4550	TIMEOUT 60096	MAYBE 241	YES 5534	YES 4666
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-195.xml	NO 1299	TIMEOUT 62416	TIMEOUT 60100	MAYBE 164	NO 12299	NO 6258
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-198.xml	YES 3888	YES 4433	TIMEOUT 60101	MAYBE 170	YES 8732	YES 8683
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-199.xml	TIMEOUT 60982	TIMEOUT 61779	TIMEOUT 60107	MAYBE 166	MAYBE 59786	TIMEOUT 60071
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-19.xml	YES 3160	YES 4181	MAYBE 9841	MAYBE 206	YES 5481	YES 5949
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-1.xml	YES 3939	YES 8957	MAYBE 13837	MAYBE 151	YES 6456	YES 5262
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-200.xml	YES 3534	YES 7230	TIMEOUT 60080	MAYBE 158	YES 5579	YES 6300
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-201.xml	YES 4548	YES 5516	MAYBE 6766	MAYBE 156	YES 5831	YES 5316
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-202.xml	YES 6493	YES 9745	TIMEOUT 60090	MAYBE 163	YES 6910	TIMEOUT 60064
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-203.xml	YES 2739	YES 4441	TIMEOUT 60078	MAYBE 137	YES 5586	YES 6308
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-204.xml	YES 5738	YES 5856	TIMEOUT 60084	MAYBE 189	YES 6802	TIMEOUT 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-206.xml	NO 4359	TIMEOUT 61244	TIMEOUT 60084	MAYBE 127	MAYBE 59728	TIMEOUT 60071
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-207.xml	NO 5278	TIMEOUT 60183	TIMEOUT 60108	MAYBE 126	MAYBE 59752	TIMEOUT 60072
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-209.xml	TIMEOUT 61176	TIMEOUT 61149	TIMEOUT 60094	MAYBE 126	MAYBE 59722	TIMEOUT 60069
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-20.xml	NO 2739	TIMEOUT 61608	TIMEOUT 60100	MAYBE 197	NO 32122	TIMEOUT 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-210.xml	TIMEOUT 61286	TIMEOUT 61499	TIMEOUT 60097	MAYBE 122	MAYBE 59778	TIMEOUT 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-211.xml	TIMEOUT 61198	TIMEOUT 61392	TIMEOUT 60085	MAYBE 162	MAYBE 59837	TIMEOUT 60065
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-213.xml	YES 4610	YES 5582	TIMEOUT 60088	MAYBE 309	YES 6007	YES 3321
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-215.xml	YES 4121	YES 5363	TIMEOUT 60084	MAYBE 155	YES 5551	YES 5669
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-217.xml	NO 2711	TIMEOUT 61303	TIMEOUT 60086	MAYBE 182	MAYBE 59770	NO 6000
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-219.xml	TIMEOUT 61061	TIMEOUT 61292	TIMEOUT 60088	MAYBE 152	MAYBE 59772	TIMEOUT 60075
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-21.xml	NO 10409	TIMEOUT 61398	TIMEOUT 60074	MAYBE 400	MAYBE 59813	TIMEOUT 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-220.xml	TIMEOUT 61007	TIMEOUT 61099	TIMEOUT 60080	MAYBE 154	MAYBE 59771	TIMEOUT 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-221.xml	YES 7206	YES 9185	TIMEOUT 60083	MAYBE 175	YES 5541	YES 4138
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-222.xml	TIMEOUT 60875	TIMEOUT 61240	TIMEOUT 60076	MAYBE 204	MAYBE 59942	TIMEOUT 60064
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-223.xml	YES 18008	YES 16532	TIMEOUT 60079	MAYBE 184	MAYBE 59702	TIMEOUT 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-224.xml	TIMEOUT 61028	TIMEOUT 61342	TIMEOUT 60093	MAYBE 178	MAYBE 59858	TIMEOUT 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-225.xml	YES 3828	YES 4232	TIMEOUT 60103	MAYBE 144	YES 6088	YES 4568
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-226.xml	YES 3829	YES 4926	TIMEOUT 60082	MAYBE 150	YES 6952	YES 6338
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-227.xml	NO 3559	TIMEOUT 61186	TIMEOUT 60095	MAYBE 201	MAYBE 59848	TIMEOUT 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-22.xml	NO 5670	TIMEOUT 61657	TIMEOUT 60091	MAYBE 325	MAYBE 59975	TIMEOUT 60067
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-231.xml	TIMEOUT 61318	TIMEOUT 61260	TIMEOUT 60038	MAYBE 157	MAYBE 59913	TIMEOUT 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-232.xml	YES 4086	YES 4572	MAYBE 12855	MAYBE 174	YES 6048	YES 6917
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-233.xml	NO 9284	TIMEOUT 61249	MAYBE 14347	MAYBE 226	NO 23895	TIMEOUT 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-236.xml	YES 4072	YES 4751	YES 5148	MAYBE 169	YES 8605	YES 7349
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-237.xml	YES 3917	YES 6228	MAYBE 3158	MAYBE 298	YES 9084	YES 6577
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-238.xml	TIMEOUT 60944	TIMEOUT 61321	TIMEOUT 60093	MAYBE 199	MAYBE 59857	TIMEOUT 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-239.xml	NO 3150	TIMEOUT 61151	TIMEOUT 60092	MAYBE 179	MAYBE 59673	TIMEOUT 60075
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-23.xml	NO 3236	TIMEOUT 61508	TIMEOUT 60084	MAYBE 277	NO 29157	TIMEOUT 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-241.xml	NO 4444	TIMEOUT 61032	TIMEOUT 60086	MAYBE 165	MAYBE 59708	TIMEOUT 60072
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-243.xml	NO 3163	TIMEOUT 61317	TIMEOUT 60103	MAYBE 165	MAYBE 59715	TIMEOUT 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-247.xml	TIMEOUT 61090	TIMEOUT 61237	TIMEOUT 60096	MAYBE 207	MAYBE 59849	TIMEOUT 60062
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-248.xml	TIMEOUT 60894	TIMEOUT 61035	TIMEOUT 60091	MAYBE 219	MAYBE 59804	TIMEOUT 60067
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-249.xml	NO 6389	TIMEOUT 61504	TIMEOUT 60108	MAYBE 683	MAYBE 59775	TIMEOUT 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-255.xml	YES 7835	YES 5975	MAYBE 10753	MAYBE 138	YES 7853	YES 4189
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-257.xml	NO 2734	TIMEOUT 61269	TIMEOUT 60101	MAYBE 170	MAYBE 59601	TIMEOUT 60074
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-260.xml	NO 1764	TIMEOUT 61827	TIMEOUT 60081	MAYBE 235	MAYBE 59811	TIMEOUT 60069
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-263.xml	YES 5356	YES 5678	TIMEOUT 60086	MAYBE 173	YES 19989	YES 12094
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-265.xml	YES 3448	YES 4799	TIMEOUT 60087	MAYBE 191	YES 5717	YES 6072
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-267.xml	TIMEOUT 61115	TIMEOUT 62603	TIMEOUT 60083	MAYBE 185	MAYBE 59840	TIMEOUT 60071
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-270.xml	NO 10043	TIMEOUT 61448	TIMEOUT 60078	MAYBE 179	MAYBE 59855	TIMEOUT 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-271.xml	YES 3909	YES 7223	TIMEOUT 60091	MAYBE 172	YES 6162	YES 7438
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-272.xml	TIMEOUT 61298	TIMEOUT 61080	TIMEOUT 60097	MAYBE 193	MAYBE 59844	TIMEOUT 60074
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-273.xml	YES 4010	YES 5567	TIMEOUT 60083	MAYBE 362	YES 5901	YES 2416
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-274.xml	TIMEOUT 61041	TIMEOUT 61231	TIMEOUT 60097	MAYBE 204	MAYBE 59859	TIMEOUT 60071
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-275.xml	YES 3287	YES 4650	TIMEOUT 60092	MAYBE 313	YES 2172	YES 2078
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-279.xml	YES 4864	YES 5503	TIMEOUT 60098	MAYBE 163	YES 5570	YES 2920
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-281.xml	YES 2614	YES 4324	TIMEOUT 60081	MAYBE 155	YES 5540	YES 3788
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-282.xml	YES 4762	YES 5993	TIMEOUT 60087	MAYBE 266	YES 5849	YES 3924
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-283.xml	YES 6296	YES 6456	MAYBE 5255	MAYBE 132	YES 5524	YES 2103
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-284.xml	YES 3459	YES 4459	TIMEOUT 60090	MAYBE 162	YES 6016	YES 3709
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-285.xml	YES 2792	YES 4631	TIMEOUT 60090	MAYBE 136	YES 6019	YES 5921
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-286.xml	YES 5137	YES 8198	TIMEOUT 60068	MAYBE 177	YES 7136	YES 7442
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-287.xml	YES 6092	YES 6836	TIMEOUT 60094	MAYBE 134	YES 6734	YES 1968
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-288.xml	YES 8246	YES 10393	TIMEOUT 60075	MAYBE 147	YES 6730	YES 3602
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-289.xml	YES 3565	YES 4817	TIMEOUT 60078	MAYBE 192	YES 6494	YES 6475
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-291.xml	TIMEOUT 61286	TIMEOUT 60999	TIMEOUT 60044	MAYBE 232	MAYBE 59774	TIMEOUT 60066
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-292.xml	TIMEOUT 61109	TIMEOUT 60063	TIMEOUT 60045	MAYBE 260	MAYBE 59828	TIMEOUT 60066
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-293.xml	YES 5728	YES 5223	TIMEOUT 60099	MAYBE 237	YES 8269	YES 7543
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-294.xml	YES 4839	YES 4431	TIMEOUT 60067	MAYBE 180	YES 7647	YES 6263
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-296.xml	YES 3958	YES 4990	TIMEOUT 60092	MAYBE 277	YES 11317	YES 7138
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-297.xml	YES 5751	YES 4967	TIMEOUT 60086	MAYBE 176	YES 7066	YES 7832
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-298.xml	NO 13200	TIMEOUT 61929	TIMEOUT 60099	MAYBE 185	MAYBE 59809	TIMEOUT 60066
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-299.xml	YES 3675	YES 4290	TIMEOUT 60079	MAYBE 208	YES 7071	YES 5981
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-300.xml	YES 3975	YES 4104	TIMEOUT 60095	MAYBE 166	YES 7026	YES 7762
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-301.xml	YES 6544	YES 5751	TIMEOUT 60081	MAYBE 281	YES 7216	YES 7407
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-303.xml	YES 6357	YES 5000	TIMEOUT 60102	MAYBE 300	YES 5926	YES 6419
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-304.xml	YES 5827	YES 5492	TIMEOUT 60099	MAYBE 205	YES 7350	YES 7047
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-309.xml	YES 6334	YES 6247	TIMEOUT 60042	MAYBE 269	YES 19885	TIMEOUT 60074
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-30.xml	YES 5232	YES 9078	TIMEOUT 60083	MAYBE 168	YES 6773	YES 3589
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-31.xml	YES 2940	YES 4501	TIMEOUT 60102	MAYBE 154	YES 6762	YES 4202
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml	YES 3607	YES 4487	TIMEOUT 60101	MAYBE 164	YES 6267	YES 6367
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-328.xml	NO 6174	TIMEOUT 61164	MAYBE 2370	MAYBE 205	NO 30181	TIMEOUT 60069
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-32.xml	TIMEOUT 62350	TIMEOUT 61088	MAYBE 9719	MAYBE 329	MAYBE 59854	TIMEOUT 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-330.xml	YES 3984	YES 4771	MAYBE 946	MAYBE 124	YES 7518	YES 6406
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-335.xml	YES 3675	YES 4342	MAYBE 8711	MAYBE 146	YES 6834	YES 6748
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-337.xml	YES 4356	YES 5030	TIMEOUT 60109	MAYBE 175	YES 6965	YES 6004
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-338.xml	TIMEOUT 61178	TIMEOUT 61544	TIMEOUT 60084	MAYBE 313	MAYBE 59904	TIMEOUT 60061
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-339.xml	NO 9413	TIMEOUT 63280	TIMEOUT 60082	MAYBE 611	MAYBE 59916	TIMEOUT 60064
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-340.xml	TIMEOUT 61173	TIMEOUT 61524	TIMEOUT 60083	MAYBE 515	MAYBE 59887	TIMEOUT 60065
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-341.xml	YES 3987	YES 4853	TIMEOUT 60093	MAYBE 172	YES 6450	YES 6557
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-343.xml	YES 3713	YES 4685	MAYBE 11181	MAYBE 137	YES 5900	YES 3577
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-345.xml	YES 3625	YES 4360	TIMEOUT 60092	MAYBE 160	YES 6854	YES 6476
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-346.xml	YES 4840	YES 4888	TIMEOUT 60098	MAYBE 175	YES 6994	YES 6402
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-347.xml	YES 3690	YES 4730	TIMEOUT 60083	MAYBE 195	YES 6505	YES 6726
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-348.xml	YES 3513	YES 4937	TIMEOUT 60102	MAYBE 206	YES 6660	YES 6784
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-350.xml	YES 4537	YES 4912	MAYBE 11461	MAYBE 123	YES 5944	YES 6689
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-351.xml	YES 3789	YES 4565	TIMEOUT 60083	MAYBE 109	YES 5909	YES 2798
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-352.xml	YES 2796	YES 4394	TIMEOUT 60104	MAYBE 120	YES 5638	YES 4489
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-353.xml	NO 2692	TIMEOUT 62481	TIMEOUT 60079	MAYBE 131	NO 8833	TIMEOUT 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-354.xml	YES 7910	YES 8442	TIMEOUT 60075	MAYBE 126	YES 7424	YES 12434
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-355.xml	TIMEOUT 61253	TIMEOUT 61445	TIMEOUT 60109	MAYBE 306	MAYBE 59921	TIMEOUT 60054
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-356.xml	TIMEOUT 61062	TIMEOUT 62314	TIMEOUT 60091	MAYBE 358	NO 47142	TIMEOUT 60055
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-359.xml	YES 5031	YES 5734	TIMEOUT 60083	MAYBE 139	YES 13823	YES 6540
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-35.xml	YES 3453	YES 4591	TIMEOUT 60097	MAYBE 170	YES 16579	YES 5190
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-360.xml	YES 3875	YES 4794	TIMEOUT 60046	MAYBE 202	YES 5540	YES 6566
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-361.xml	TIMEOUT 61219	TIMEOUT 61852	TIMEOUT 60080	MAYBE 420	MAYBE 59902	TIMEOUT 60064
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-362.xml	NO 40069	TIMEOUT 61588	TIMEOUT 60091	MAYBE 724	MAYBE 59921	TIMEOUT 60069
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-363.xml	TIMEOUT 61444	TIMEOUT 62247	TIMEOUT 60102	MAYBE 897	MAYBE 59924	TIMEOUT 60063
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-366.xml	YES 3397	YES 4677	TIMEOUT 60080	MAYBE 205	YES 6289	YES 6573
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-367.xml	YES 3700	YES 5033	TIMEOUT 60095	MAYBE 201	YES 6794	YES 6631
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-368.xml	NO 5048	TIMEOUT 61291	TIMEOUT 60099	MAYBE 183	MAYBE 59853	TIMEOUT 60072
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-369.xml	NO 10937	TIMEOUT 60741	TIMEOUT 60078	MAYBE 214	MAYBE 59879	TIMEOUT 60053
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-373.xml	NO 6223	NO 18208	TIMEOUT 60091	MAYBE 248	MAYBE 59841	TIMEOUT 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-374.xml	TIMEOUT 61080	TIMEOUT 61369	TIMEOUT 60074	MAYBE 200	MAYBE 59969	TIMEOUT 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-375.xml	YES 3814	YES 4344	TIMEOUT 60099	MAYBE 163	YES 5744	YES 6173
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-376.xml	YES 4319	YES 4481	TIMEOUT 60080	MAYBE 237	YES 5777	YES 6368
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-377.xml	YES 3326	YES 4317	TIMEOUT 60083	MAYBE 154	YES 6249	YES 6491
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-378.xml	NO 12880	TIMEOUT 61080	TIMEOUT 60083	MAYBE 162	MAYBE 59886	TIMEOUT 60075
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-382.xml	TIMEOUT 60904	TIMEOUT 61930	TIMEOUT 60081	MAYBE 512	MAYBE 59905	TIMEOUT 60069
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-383.xml	TIMEOUT 60961	TIMEOUT 61257	TIMEOUT 60108	MAYBE 343	MAYBE 59908	TIMEOUT 60063
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-384.xml	TIMEOUT 60895	TIMEOUT 60073	TIMEOUT 60075	MAYBE 1023	MAYBE 59887	TIMEOUT 60071
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-385.xml	TIMEOUT 61185	TIMEOUT 61482	TIMEOUT 60092	MAYBE 352	MAYBE 59920	TIMEOUT 60057
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-386.xml	TIMEOUT 62259	TIMEOUT 61424	TIMEOUT 60078	MAYBE 678	MAYBE 59885	TIMEOUT 60061
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-389.xml	YES 3331	YES 4981	TIMEOUT 60082	MAYBE 230	YES 6150	YES 6564
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-391.xml	YES 4558	YES 5004	TIMEOUT 60037	MAYBE 194	YES 7825	YES 7017
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-392.xml	YES 3423	YES 4236	TIMEOUT 60079	MAYBE 191	YES 5818	YES 6494
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-395.xml	YES 4017	YES 4737	TIMEOUT 60099	MAYBE 184	YES 7231	YES 6691
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-396.xml	YES 3281	YES 4392	TIMEOUT 60093	MAYBE 144	YES 6517	YES 6649
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-399.xml	YES 3872	YES 4850	TIMEOUT 60035	MAYBE 243	YES 9419	YES 6744
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-3.xml	NO 3370	TIMEOUT 60925	TIMEOUT 60092	MAYBE 115	MAYBE 59713	TIMEOUT 60061
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-400.xml	TIMEOUT 60967	TIMEOUT 61454	TIMEOUT 60079	MAYBE 815	MAYBE 59910	TIMEOUT 60077
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-401.xml	TIMEOUT 61091	TIMEOUT 61835	TIMEOUT 60079	MAYBE 715	NO 47293	TIMEOUT 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-402.xml	NO 33140	TIMEOUT 63157	TIMEOUT 60080	MAYBE 831	MAYBE 59911	TIMEOUT 60078
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-403.xml	TIMEOUT 61064	TIMEOUT 60496	TIMEOUT 60090	MAYBE 523	MAYBE 59891	TIMEOUT 60049
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-406.xml	TIMEOUT 60933	NO 18079	TIMEOUT 60105	MAYBE 694	MAYBE 59916	TIMEOUT 60057
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-408.xml	TIMEOUT 60950	TIMEOUT 61540	TIMEOUT 60079	MAYBE 1319	MAYBE 59876	TIMEOUT 60056
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-409.xml	TIMEOUT 61171	NO 46136	TIMEOUT 60094	MAYBE 792	MAYBE 59911	TIMEOUT 60054
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-40.xml	YES 4146	YES 4989	MAYBE 7668	MAYBE 206	YES 5713	YES 6238
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-410.xml	TIMEOUT 62560	TIMEOUT 61536	TIMEOUT 60097	MAYBE 667	MAYBE 59898	TIMEOUT 60062
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-412.xml	YES 4931	YES 4543	TIMEOUT 60101	MAYBE 322	YES 6426	YES 6540
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-413.xml	YES 5799	YES 5069	TIMEOUT 60084	MAYBE 261	YES 7700	YES 6542
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-414.xml	YES 4975	YES 5312	TIMEOUT 60096	MAYBE 244	YES 8561	YES 6865
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-415.xml	YES 5208	YES 5145	TIMEOUT 60083	MAYBE 234	YES 9152	YES 6464
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-416.xml	YES 4257	YES 5005	TIMEOUT 60095	MAYBE 205	YES 6714	YES 6949
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-417.xml	YES 5550	YES 4850	TIMEOUT 60099	MAYBE 181	YES 6831	YES 7240
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-418.xml	YES 3540	YES 4695	TIMEOUT 60074	MAYBE 177	YES 6710	YES 6706
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-41.xml	YES 3305	YES 4536	TIMEOUT 60095	MAYBE 971	YES 5897	YES 2370
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-427.xml	YES 4217	YES 4867	TIMEOUT 60079	MAYBE 165	YES 6718	YES 7039
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-429.xml	YES 6595	YES 9264	TIMEOUT 60115	MAYBE 192	YES 6101	YES 3831
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-430.xml	TIMEOUT 61122	TIMEOUT 61070	MAYBE 2160	MAYBE 195	MAYBE 59876	TIMEOUT 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-431.xml	TIMEOUT 61124	TIMEOUT 61093	TIMEOUT 60095	MAYBE 134	MAYBE 59827	TIMEOUT 60061
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-434.xml	TIMEOUT 61260	TIMEOUT 61242	MAYBE 2719	MAYBE 178	MAYBE 59803	TIMEOUT 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-435.xml	YES 4740	YES 5291	MAYBE 2170	MAYBE 178	YES 7298	YES 5206
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-436.xml	YES 3907	YES 5220	MAYBE 2583	MAYBE 149	YES 6679	YES 6917
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-437.xml	YES 4157	YES 4917	MAYBE 2426	MAYBE 164	YES 6242	YES 6581
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-438.xml	YES 3874	YES 4854	TIMEOUT 60082	MAYBE 149	YES 7982	YES 6381
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-439.xml	YES 4086	YES 4522	TIMEOUT 60092	MAYBE 224	YES 5674	YES 6034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-441.xml	YES 4446	YES 4947	TIMEOUT 60081	MAYBE 497	YES 5783	YES 6087
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-443.xml	YES 3207	YES 4550	TIMEOUT 60033	MAYBE 203	YES 9256	YES 6664
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-446.xml	YES 3749	YES 5053	TIMEOUT 60095	MAYBE 154	YES 7125	YES 6790
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-448.xml	YES 4140	YES 4473	TIMEOUT 60077	MAYBE 150	YES 5608	YES 5221
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-44.xml	YES 3612	YES 4732	MAYBE 2020	MAYBE 180	YES 6106	YES 5472
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-450.xml	NO 6292	TIMEOUT 62584	TIMEOUT 60096	MAYBE 183	NO 47855	TIMEOUT 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-451.xml	YES 3418	YES 4339	TIMEOUT 60096	MAYBE 200	YES 6784	YES 6754
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-452.xml	YES 9567	YES 11768	MAYBE 7784	MAYBE 188	MAYBE 59788	TIMEOUT 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-453.xml	YES 4208	YES 7472	MAYBE 34076	MAYBE 206	YES 10407	YES 3591
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-454.xml	TIMEOUT 60987	TIMEOUT 60885	TIMEOUT 60077	MAYBE 198	MAYBE 59847	TIMEOUT 60075
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-455.xml	YES 6796	YES 7589	TIMEOUT 60078	MAYBE 279	YES 12894	YES 10048
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-456.xml	YES 4051	YES 4859	MAYBE 3440	MAYBE 179	YES 7004	YES 6546
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-45.xml	YES 4138	YES 6966	MAYBE 2793	MAYBE 153	YES 5817	YES 2958
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-460.xml	YES 4417	YES 5086	MAYBE 11066	MAYBE 316	YES 7161	YES 6381
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-461.xml	YES 4826	YES 4844	MAYBE 6093	MAYBE 196	YES 6492	YES 7072
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-462.xml	YES 3905	YES 5124	TIMEOUT 60077	MAYBE 172	YES 6903	YES 7199
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-465.xml	YES 2939	YES 4469	MAYBE 807	MAYBE 143	YES 6093	YES 6245
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-467.xml	YES 3828	YES 4915	TIMEOUT 60101	MAYBE 180	YES 6432	YES 6570
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-468.xml	YES 4195	YES 4744	TIMEOUT 60095	MAYBE 175	YES 6138	YES 7085
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-469.xml	YES 8583	YES 8044	TIMEOUT 60086	MAYBE 188	YES 36036	TIMEOUT 60062
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-470.xml	YES 4128	YES 5339	MAYBE 6131	MAYBE 175	YES 11739	YES 5726
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-472.xml	YES 5655	YES 5896	TIMEOUT 60088	MAYBE 135	YES 18428	TIMEOUT 60075
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-473.xml	YES 3103	YES 4737	TIMEOUT 60030	MAYBE 128	YES 6326	YES 6642
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-474.xml	NO 15490	TIMEOUT 61681	TIMEOUT 60082	MAYBE 277	NO 54231	TIMEOUT 60055
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-475.xml	TIMEOUT 61085	NO 29670	TIMEOUT 60094	MAYBE 390	MAYBE 59907	TIMEOUT 60054
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-476.xml	YES 3805	YES 4977	TIMEOUT 60085	MAYBE 155	YES 7120	YES 7624
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-477.xml	YES 3292	YES 4281	MAYBE 6698	MAYBE 170	YES 5922	YES 7201
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-478.xml	YES 4743	YES 4806	TIMEOUT 60098	MAYBE 551	YES 9852	YES 18898
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-479.xml	YES 4248	YES 4715	TIMEOUT 60098	MAYBE 155	YES 9333	YES 9377
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-47.xml	NO 7191	TIMEOUT 61301	MAYBE 21907	MAYBE 208	MAYBE 59824	TIMEOUT 60067
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-480.xml	YES 4358	YES 4805	MAYBE 7298	MAYBE 165	YES 6049	YES 6631
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-482.xml	YES 7149	YES 6246	MAYBE 8012	MAYBE 168	YES 6476	YES 6324
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-484.xml	YES 3760	YES 4629	TIMEOUT 60092	MAYBE 175	YES 5905	YES 6274
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-485.xml	YES 4225	YES 4680	TIMEOUT 60094	MAYBE 155	YES 7280	YES 6485
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-487.xml	YES 5545	YES 4984	MAYBE 28342	MAYBE 151	YES 8779	YES 6580
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-488.xml	NO 4238	TIMEOUT 61164	MAYBE 2064	MAYBE 174	MAYBE 59844	TIMEOUT 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-489.xml	YES 4453	YES 4605	TIMEOUT 60088	MAYBE 193	YES 8463	YES 13018
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-48.xml	YES 3653	YES 4338	MAYBE 4324	MAYBE 223	YES 9823	YES 6548
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-491.xml	NO 7798	TIMEOUT 61657	TIMEOUT 60108	MAYBE 218	MAYBE 59886	TIMEOUT 60060
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-492.xml	NO 10139	TIMEOUT 61630	TIMEOUT 60108	MAYBE 353	NO 48437	TIMEOUT 60077
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-493.xml	NO 16323	TIMEOUT 61391	TIMEOUT 60102	MAYBE 313	MAYBE 59899	TIMEOUT 60059
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-494.xml	YES 3205	YES 4165	TIMEOUT 60095	MAYBE 186	YES 6008	YES 6558
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-495.xml	YES 5156	YES 4716	TIMEOUT 60081	MAYBE 187	YES 15604	TIMEOUT 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-497.xml	NO 5760	TIMEOUT 61247	TIMEOUT 60108	MAYBE 153	MAYBE 59880	TIMEOUT 60067
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-498.xml	YES 2688	YES 4303	TIMEOUT 60029	MAYBE 163	YES 7483	YES 6470
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-499.xml	YES 3355	YES 4891	TIMEOUT 60089	MAYBE 179	YES 10492	YES 5106
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-49.xml	YES 3304	YES 4598	TIMEOUT 60096	MAYBE 312	YES 5949	YES 5638
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-4.xml	YES 3617	YES 4788	YES 1527	MAYBE 142	YES 7923	YES 2900
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-502.xml	YES 3147	YES 4303	TIMEOUT 60031	MAYBE 198	YES 9365	YES 9059
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-503.xml	YES 3575	YES 4931	TIMEOUT 60042	MAYBE 359	YES 13024	YES 12057
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-506.xml	YES 7220	YES 6393	TIMEOUT 60095	MAYBE 173	YES 20885	TIMEOUT 60080
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-507.xml	YES 3419	YES 4597	TIMEOUT 60083	MAYBE 206	YES 1578	YES 1339
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-508.xml	YES 3323	YES 4151	TIMEOUT 60031	MAYBE 185	YES 8938	TIMEOUT 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-511.xml	NO 10391	NO 18973	TIMEOUT 60082	MAYBE 222	MAYBE 59870	TIMEOUT 60056
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-51.xml	YES 3046	YES 4261	TIMEOUT 60101	MAYBE 164	YES 5946	YES 6314
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-522.xml	NO 15247	NO 22501	TIMEOUT 60108	MAYBE 193	MAYBE 59897	TIMEOUT 60058
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-526.xml	YES 2122	YES 3999	YES 294	YES 109	YES 6572	YES 6027
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-52.xml	YES 2638	YES 4208	TIMEOUT 60096	MAYBE 177	YES 5886	YES 5949
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-532.xml	YES 4668	YES 4757	YES 113	MAYBE 147	YES 6042	YES 5960
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-535.xml	YES 3668	YES 4965	TIMEOUT 60098	MAYBE 206	YES 6245	YES 6607
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-536.xml	YES 4386	YES 5235	TIMEOUT 60095	MAYBE 207	YES 5909	YES 6256
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-540.xml	TIMEOUT 60899	TIMEOUT 60944	TIMEOUT 60084	MAYBE 202	MAYBE 59781	TIMEOUT 60064
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-541.xml	YES 4581	YES 5207	YES 113	MAYBE 144	YES 6075	YES 6089
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-543.xml	YES 5004	YES 5657	YES 136	MAYBE 204	YES 6880	YES 6071
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-545.xml	YES 7458	YES 6906	YES 118	MAYBE 153	YES 5925	YES 5928
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-546.xml	YES 4763	YES 4697	TIMEOUT 60090	MAYBE 139	YES 8966	YES 7148
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-547.xml	YES 4552	YES 4477	TIMEOUT 60094	MAYBE 165	YES 8650	YES 7202
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml	YES 8359	YES 8378	YES 114	MAYBE 176	YES 6267	YES 5938
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-549.xml	YES 3504	YES 4415	TIMEOUT 60090	MAYBE 184	YES 5514	YES 6624
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-550.xml	YES 5488	YES 8725	YES 119	MAYBE 153	YES 5656	YES 5965
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-551.xml	YES 6506	YES 6442	YES 245	MAYBE 163	YES 6103	YES 2437
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-552.xml	YES 6193	YES 7838	YES 135	MAYBE 254	YES 5645	YES 5860
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-553.xml	YES 8312	YES 7228	YES 115	MAYBE 173	YES 6109	YES 5895
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-556.xml	YES 5924	YES 5619	YES 115	MAYBE 159	YES 6077	YES 6028
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml	NO 37527	TIMEOUT 61149	TIMEOUT 60079	MAYBE 168	MAYBE 59856	TIMEOUT 60075
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-559.xml	YES 5138	YES 5559	MAYBE 30802	MAYBE 155	YES 5815	YES 5942
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-560.xml	YES 4946	YES 5613	TIMEOUT 60095	MAYBE 133	YES 5979	YES 5987
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-561.xml	YES 3264	YES 5560	TIMEOUT 60081	MAYBE 137	YES 5962	YES 5943
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-563.xml	YES 4009	YES 4898	TIMEOUT 60075	MAYBE 167	YES 6183	YES 5948
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-564.xml	NO 19384	TIMEOUT 61480	TIMEOUT 60109	MAYBE 169	MAYBE 59917	TIMEOUT 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-565.xml	YES 6196	YES 6458	MAYBE 14381	MAYBE 140	YES 5630	YES 3340
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-566.xml	TIMEOUT 61371	TIMEOUT 61330	MAYBE 14855	MAYBE 140	MAYBE 59797	TIMEOUT 60072
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-568.xml	YES 2904	YES 4232	TIMEOUT 60095	MAYBE 138	YES 8104	YES 7329
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml	YES 1347	YES 3486	YES 57	MAYBE 191	YES 7365	YES 3184
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-59.xml	YES 3341	YES 5373	TIMEOUT 60108	MAYBE 170	YES 6610	YES 5901
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-61.xml	YES 3947	YES 6803	TIMEOUT 60095	MAYBE 152	YES 6981	YES 6545
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-64.xml	YES 1311	YES 3418	YES 56	MAYBE 229	YES 7328	YES 5426
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-65.xml	YES 3812	YES 4603	TIMEOUT 60081	MAYBE 224	YES 8219	YES 7096
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-66.xml	YES 3607	YES 4379	TIMEOUT 60087	MAYBE 171	YES 11098	YES 7376
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-67.xml	YES 4165	YES 4639	TIMEOUT 60089	MAYBE 138	YES 5960	YES 2616
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-70.xml	YES 5022	YES 5342	TIMEOUT 60091	MAYBE 160	YES 5470	YES 3362
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-71.xml	YES 3500	YES 4537	TIMEOUT 60090	MAYBE 153	YES 5846	YES 6519
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-72.xml	YES 3400	YES 4070	MAYBE 4427	MAYBE 131	YES 6180	YES 4177
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-74.xml	YES 3934	YES 5276	MAYBE 13778	MAYBE 133	YES 5529	YES 4955
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-76.xml	YES 3705	YES 5099	TIMEOUT 60105	MAYBE 125	YES 5618	YES 6138
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-7.xml	NO 4513	TIMEOUT 61027	TIMEOUT 60081	MAYBE 262	MAYBE 59782	TIMEOUT 60052
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-82.xml	YES 4172	YES 4705	TIMEOUT 60086	MAYBE 156	YES 7305	YES 6442
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-83.xml	NO 42182	TIMEOUT 61077	MAYBE 8574	MAYBE 233	MAYBE 59771	TIMEOUT 60072
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-84.xml	TIMEOUT 61175	TIMEOUT 61096	TIMEOUT 60076	MAYBE 147	MAYBE 59697	TIMEOUT 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-85.xml	YES 7995	YES 11528	TIMEOUT 60085	MAYBE 154	YES 11972	YES 11579
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-86.xml	YES 6205	YES 6026	TIMEOUT 60075	MAYBE 159	YES 6920	YES 3448
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-88.xml	TIMEOUT 62678	TIMEOUT 61298	TIMEOUT 60087	MAYBE 223	MAYBE 59796	TIMEOUT 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-90.xml	NO 14655	TIMEOUT 60917	TIMEOUT 60093	MAYBE 199	MAYBE 59779	TIMEOUT 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-91.xml	YES 4082	YES 7119	MAYBE 12403	MAYBE 144	YES 6321	YES 6793
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-92.xml	YES 4140	YES 4773	TIMEOUT 60086	MAYBE 321	YES 5834	YES 6373
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-94.xml	YES 2706	YES 4324	TIMEOUT 60096	MAYBE 169	YES 5601	YES 4172
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-95.xml	NO 56409	TIMEOUT 61270	TIMEOUT 60088	MAYBE 374	MAYBE 59729	TIMEOUT 60081
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-98.xml	YES 4959	YES 5156	MAYBE 5559	MAYBE 222	YES 11945	YES 8723
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml	NO 1272	TIMEOUT 61246	TIMEOUT 60078	MAYBE 145	NO 30322	NO 6697
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-9.xml	YES 3961	YES 4396	TIMEOUT 60099	MAYBE 203	YES 5450	YES 6280
tpdb-8.0/TRS/Zantema_04/syracuse.xml	TIMEOUT 60990	TIMEOUT 61026	TIMEOUT 60075	MAYBE 750	TIMEOUT 60060	TIMEOUT 60064
tpdb-8.0/TRS/Zantema_04/z001.xml	YES 1030	YES 11930	TIMEOUT 60094	MAYBE 380	YES 875	TIMEOUT 60055
tpdb-8.0/TRS/Zantema_04/z002.xml	YES 1031	YES 3427	YES 22535	YES 288	YES 881	YES 1327
tpdb-8.0/TRS/Zantema_04/z003.xml	YES 1036	YES 3939	TIMEOUT 60089	YES 80	YES 1310	YES 1715
tpdb-8.0/TRS/Zantema_04/z004.xml	YES 1025	YES 4583	YES 107	YES 101	YES 926	YES 1521
tpdb-8.0/TRS/Zantema_04/z005.xml	YES 1043	YES 5583	TIMEOUT 60045	YES 291	YES 920	YES 6931
tpdb-8.0/TRS/Zantema_04/z006.xml	YES 1025	YES 3423	YES 56	YES 89	YES 1052	YES 806
tpdb-8.0/TRS/Zantema_04/z007.xml	YES 1021	YES 3586	YES 57	YES 91	YES 1135	YES 819
tpdb-8.0/TRS/Zantema_04/z008.xml	YES 3691	YES 5074	YES 46250	YES 331	YES 1383	YES 2545
tpdb-8.0/TRS/Zantema_04/z009.xml	YES 1437	YES 3574	YES 76	YES 67	YES 1438	YES 815
tpdb-8.0/TRS/Zantema_04/z010.xml	YES 1477	YES 3687	YES 75	YES 105	YES 1178	YES 948
tpdb-8.0/TRS/Zantema_04/z011.xml	YES 1789	YES 4021	YES 184	YES 76	YES 1689	YES 1284
tpdb-8.0/TRS/Zantema_04/z012.xml	YES 1616	YES 3831	YES 120	YES 66	YES 1092	YES 716
tpdb-8.0/TRS/Zantema_04/z013.xml	YES 1059	YES 5316	YES 1490	YES 115	YES 941	YES 1743
tpdb-8.0/TRS/Zantema_04/z014.xml	YES 1041	YES 3495	YES 79	YES 66	YES 1238	YES 1268
tpdb-8.0/TRS/Zantema_04/z015.xml	YES 1745	YES 3822	YES 229	YES 106	YES 1461	YES 1356
tpdb-8.0/TRS/Zantema_04/z017.xml	YES 1061	YES 3658	YES 79	YES 96	YES 909	YES 1224
tpdb-8.0/TRS/Zantema_04/z018.xml	YES 1721	YES 3929	YES 803	YES 96	YES 6468	YES 5876
tpdb-8.0/TRS/Zantema_04/z019.xml	YES 1698	YES 3815	YES 776	YES 151	YES 1203	YES 1068
tpdb-8.0/TRS/Zantema_04/z020.xml	YES 1588	YES 3749	YES 109	YES 67	YES 5645	YES 6050
tpdb-8.0/TRS/Zantema_04/z021.xml	YES 1058	YES 3710	YES 78	YES 165	YES 918	YES 966
tpdb-8.0/TRS/Zantema_04/z022.xml	YES 2673	YES 4836	YES 706	YES 78	YES 1428	YES 1124
tpdb-8.0/TRS/Zantema_04/z023.xml	YES 4747	YES 5360	TIMEOUT 60083	YES 310	YES 1471	YES 1129
tpdb-8.0/TRS/Zantema_04/z024.xml	YES 1332	YES 3798	YES 144	YES 186	YES 1112	YES 1056
tpdb-8.0/TRS/Zantema_04/z025.xml	YES 1393	YES 3530	YES 358	YES 56	YES 1359	YES 636
tpdb-8.0/TRS/Zantema_04/z026.xml	YES 1700	YES 3766	YES 94	YES 52	YES 849	YES 536
tpdb-8.0/TRS/Zantema_04/z027.xml	YES 1083	TIMEOUT 63512	TIMEOUT 60099	MAYBE 289	YES 953	TIMEOUT 60055
tpdb-8.0/TRS/Zantema_04/z028.xml	YES 1042	YES 8439	TIMEOUT 60090	MAYBE 958	YES 7517	YES 7931
tpdb-8.0/TRS/Zantema_04/z029.xml	YES 1044	TIMEOUT 61611	TIMEOUT 60109	MAYBE 536	YES 921	TIMEOUT 60053
tpdb-8.0/TRS/Zantema_04/z030.xml	YES 1095	TIMEOUT 61642	TIMEOUT 60102	MAYBE 404	YES 938	TIMEOUT 60061
tpdb-8.0/TRS/Zantema_04/z031.xml	YES 1068	TIMEOUT 61430	TIMEOUT 60097	MAYBE 407	YES 930	TIMEOUT 60069
tpdb-8.0/TRS/Zantema_04/z032.xml	YES 1041	YES 45421	TIMEOUT 60083	MAYBE 388	YES 881	YES 34770
tpdb-8.0/TRS/Zantema_04/z033.xml	YES 1035	YES 4558	TIMEOUT 60080	YES 123	YES 852	YES 1719
tpdb-8.0/TRS/Zantema_04/z034.xml	YES 1017	TIMEOUT 61463	TIMEOUT 60100	MAYBE 387	YES 914	TIMEOUT 60056
tpdb-8.0/TRS/Zantema_04/z035.xml	YES 1044	TIMEOUT 61552	TIMEOUT 60099	MAYBE 354	YES 937	TIMEOUT 60056
tpdb-8.0/TRS/Zantema_04/z036.xml	YES 1072	YES 11853	TIMEOUT 60068	MAYBE 932	YES 1087	YES 7073
tpdb-8.0/TRS/Zantema_04/z037.xml	YES 1063	TIMEOUT 62410	TIMEOUT 60087	MAYBE 743	YES 925	YES 12077
tpdb-8.0/TRS/Zantema_04/z038.xml	YES 1064	TIMEOUT 61481	TIMEOUT 60075	MAYBE 591	YES 894	TIMEOUT 60053
tpdb-8.0/TRS/Zantema_04/z039.xml	YES 1038	YES 5425	TIMEOUT 60076	MAYBE 5565	YES 923	YES 6521
tpdb-8.0/TRS/Zantema_04/z040.xml	YES 1084	TIMEOUT 62000	TIMEOUT 60081	MAYBE 1173	YES 938	TIMEOUT 60055
tpdb-8.0/TRS/Zantema_04/z041.xml	YES 1063	TIMEOUT 61524	TIMEOUT 60104	MAYBE 402	YES 927	TIMEOUT 60071
tpdb-8.0/TRS/Zantema_04/z042.xml	NO 1267	NO 13659	TIMEOUT 60095	MAYBE 627	NO 870	NO 807
tpdb-8.0/TRS/Zantema_04/z043.xml	YES 1019	YES 7808	TIMEOUT 60072	MAYBE 378	YES 887	YES 6725
tpdb-8.0/TRS/Zantema_04/z044.xml	NO 1139	NO 13458	TIMEOUT 60094	MAYBE 576	NO 858	NO 767
tpdb-8.0/TRS/Zantema_04/z045.xml	YES 1016	YES 5966	TIMEOUT 60075	YES 599	YES 939	YES 8060
tpdb-8.0/TRS/Zantema_04/z046.xml	NO 1122	NO 13577	TIMEOUT 60080	MAYBE 1990	NO 889	NO 791
tpdb-8.0/TRS/Zantema_04/z047.xml	YES 1011	YES 5281	TIMEOUT 60078	YES 271	YES 871	YES 6204
tpdb-8.0/TRS/Zantema_04/z048.xml	YES 1050	YES 5985	TIMEOUT 60095	MAYBE 1654	YES 917	YES 7029
tpdb-8.0/TRS/Zantema_04/z049.xml	YES 1013	YES 3393	YES 58	YES 66	YES 891	YES 1115
tpdb-8.0/TRS/Zantema_04/z050.xml	YES 1000	YES 3478	TIMEOUT 60080	YES 65	YES 851	YES 1213
tpdb-8.0/TRS/Zantema_04/z051.xml	YES 1001	YES 4202	TIMEOUT 60098	MAYBE 655	YES 871	YES 1645
tpdb-8.0/TRS/Zantema_04/z052.xml	YES 1015	YES 3279	TIMEOUT 60090	MAYBE 600	YES 830	YES 1140
tpdb-8.0/TRS/Zantema_04/z053.xml	YES 1004	YES 3612	TIMEOUT 60076	MAYBE 651	YES 874	YES 1085
tpdb-8.0/TRS/Zantema_04/z054.xml	YES 1040	YES 6723	TIMEOUT 60089	MAYBE 496	YES 908	TIMEOUT 60060
tpdb-8.0/TRS/Zantema_04/z055.xml	YES 1019	YES 3333	TIMEOUT 60082	YES 309	YES 871	YES 1304
tpdb-8.0/TRS/Zantema_04/z056.xml	YES 1023	YES 6654	TIMEOUT 60085	MAYBE 505	YES 882	YES 6901
tpdb-8.0/TRS/Zantema_04/z057.xml	YES 1044	YES 5626	TIMEOUT 60100	MAYBE 478	YES 875	YES 4160
tpdb-8.0/TRS/Zantema_04/z058.xml	YES 1002	YES 5643	TIMEOUT 60078	YES 354	YES 889	YES 1845
tpdb-8.0/TRS/Zantema_04/z059.xml	YES 1020	YES 6835	TIMEOUT 60095	MAYBE 518	YES 882	YES 6540
tpdb-8.0/TRS/Zantema_04/z060.xml	YES 1073	YES 7136	TIMEOUT 60083	YES 453	YES 871	YES 6995
tpdb-8.0/TRS/Zantema_04/z061.xml	YES 1061	YES 3253	YES 42	YES 67	YES 858	YES 988
tpdb-8.0/TRS/Zantema_04/z062.xml	YES 1008	YES 3413	YES 165	YES 103	YES 858	YES 1028
tpdb-8.0/TRS/Zantema_04/z063.xml	YES 1011	YES 3367	YES 74	YES 88	YES 880	YES 938
tpdb-8.0/TRS/Zantema_04/z064.xml	YES 1009	YES 4678	TIMEOUT 60101	MAYBE 2768	YES 884	YES 4141
tpdb-8.0/TRS/Zantema_04/z065.xml	YES 1697	YES 4047	YES 198	MAYBE 45	YES 1276	YES 769
tpdb-8.0/TRS/Zantema_04/z066.xml	YES 4735	YES 7090	YES 724	YES 191	YES 1584	YES 3903
tpdb-8.0/TRS/Zantema_04/z067.xml	YES 2468	YES 4757	YES 993	YES 129	YES 2161	YES 2356
tpdb-8.0/TRS/Zantema_04/z068.xml	YES 6663	YES 7523	TIMEOUT 60085	YES 370	YES 1711	YES 3588
tpdb-8.0/TRS/Zantema_04/z069.xml	YES 3647	YES 5701	YES 3445	YES 218	YES 982	YES 730
tpdb-8.0/TRS/Zantema_04/z070.xml	YES 6348	YES 7136	TIMEOUT 60038	YES 1134	YES 2015	YES 771
tpdb-8.0/TRS/Zantema_04/z071.xml	YES 1709	YES 4005	YES 92	YES 351	YES 1704	YES 1551
tpdb-8.0/TRS/Zantema_04/z072.xml	YES 1071	YES 4182	YES 1437	YES 186	YES 929	YES 970
tpdb-8.0/TRS/Zantema_04/z073.xml	NO 2989	TIMEOUT 60130	TIMEOUT 60066	MAYBE 190	TIMEOUT 60043	TIMEOUT 60057
tpdb-8.0/TRS/Zantema_04/z074.xml	YES 2469	YES 4889	TIMEOUT 60032	YES 556	YES 4689	YES 2347
tpdb-8.0/TRS/Zantema_04/z075.xml	YES 1715	YES 4297	TIMEOUT 60050	YES 223	YES 2604	YES 1985
tpdb-8.0/TRS/Zantema_04/z076.xml	YES 1519	YES 3666	YES 89	YES 74	YES 1197	YES 5450
tpdb-8.0/TRS/Zantema_04/z077.xml	YES 1376	YES 3635	YES 58	YES 97	YES 1526	YES 1443
tpdb-8.0/TRS/Zantema_04/z078.xml	YES 1641	YES 3918	YES 119	YES 89	YES 1282	YES 5851
tpdb-8.0/TRS/Zantema_04/z079.xml	TIMEOUT 61098	TIMEOUT 61021	TIMEOUT 60081	MAYBE 281	TIMEOUT 60047	TIMEOUT 60052
tpdb-8.0/TRS/Zantema_04/z080.xml	YES 6705	YES 9764	YES 10602	MAYBE 232	YES 918	YES 7761
tpdb-8.0/TRS/Zantema_04/z081.xml	YES 2101	YES 4004	YES 125	YES 77	YES 2321	YES 899
tpdb-8.0/TRS/Zantema_04/z082.xml	YES 1358	YES 10121	YES 26844	YES 518	YES 2039	YES 2576
tpdb-8.0/TRS/Zantema_04/z083.xml	YES 5881	YES 6228	TIMEOUT 60082	MAYBE 239	YES 2932	YES 2877
tpdb-8.0/TRS/Zantema_04/z084.xml	YES 1411	YES 3501	YES 748	YES 58	YES 1370	YES 629
tpdb-8.0/TRS/Zantema_04/z085.xml	YES 1157	YES 3197	YES 76	YES 52	YES 981	YES 563
tpdb-8.0/TRS/Zantema_04/z086.xml	YES 2925	YES 4541	TIMEOUT 60031	MAYBE 335	YES 8044	YES 6690
tpdb-8.0/TRS/Zantema_04/z087.xml	YES 1012	YES 5471	TIMEOUT 60034	MAYBE 481	YES 860	YES 874
tpdb-8.0/TRS/Zantema_04/z088.xml	YES 1110	YES 4725	YES 25232	MAYBE 334	YES 1139	YES 6989
tpdb-8.0/TRS/Zantema_04/z089.xml	YES 3782	YES 5185	YES 14010	YES 229	YES 1471	YES 1481
tpdb-8.0/TRS/Zantema_04/z090.xml	YES 21299	YES 28714	TIMEOUT 60033	MAYBE 274	MAYBE 59967	TIMEOUT 60056
tpdb-8.0/TRS/Zantema_04/z091.xml	YES 2229	YES 4766	YES 158	YES 182	YES 7027	YES 4119
tpdb-8.0/TRS/Zantema_04/z092.xml	YES 1830	YES 4540	YES 1659	YES 92	YES 2238	YES 752
tpdb-8.0/TRS/Zantema_04/z093.xml	YES 1388	YES 3481	YES 100	YES 56	YES 1316	YES 647
tpdb-8.0/TRS/Zantema_04/z094.xml	YES 1607	YES 3774	YES 1470	YES 186	YES 1626	YES 984
tpdb-8.0/TRS/Zantema_04/z095.xml	YES 1075	YES 42960	TIMEOUT 60094	MAYBE 783	YES 920	YES 22259
tpdb-8.0/TRS/Zantema_04/z096.xml	NO 992	NO 13527	TIMEOUT 60087	MAYBE 1294	NO 882	NO 788
tpdb-8.0/TRS/Zantema_04/z097.xml	YES 1077	TIMEOUT 61650	TIMEOUT 60101	MAYBE 4133	YES 940	TIMEOUT 60063
tpdb-8.0/TRS/Zantema_04/z098.xml	YES 1047	TIMEOUT 61616	TIMEOUT 60092	MAYBE 5181	YES 888	YES 22080
tpdb-8.0/TRS/Zantema_04/z100.xml	YES 5684	YES 6745	YES 16867	YES 379	YES 4582	YES 4186
tpdb-8.0/TRS/Zantema_04/z101.xml	YES 1167	YES 3168	YES 910	YES 53	YES 1060	YES 562
tpdb-8.0/TRS/Zantema_04/z102.xml	YES 1159	YES 3383	YES 2018	YES 54	YES 1403	YES 755
tpdb-8.0/TRS/Zantema_04/z103.xml	YES 2394	YES 4065	YES 696	YES 93	YES 1220	YES 1012
tpdb-8.0/TRS/Zantema_04/z104.xml	YES 1320	YES 3417	TIMEOUT 60056	YES 58	YES 1657	YES 1161
tpdb-8.0/TRS/Zantema_04/z105.xml	YES 1405	YES 3645	TIMEOUT 60076	YES 62	YES 1844	YES 1102
tpdb-8.0/TRS/Zantema_04/z106.xml	YES 1380	YES 3439	YES 3314	YES 65	YES 2028	YES 850
tpdb-8.0/TRS/Zantema_04/z107.xml	YES 1177	YES 3221	TIMEOUT 60097	YES 55	YES 1428	YES 1039
tpdb-8.0/TRS/Zantema_04/z108.xml	YES 1174	YES 3280	YES 1874	YES 55	YES 1681	YES 777
tpdb-8.0/TRS/Zantema_04/z109.xml	YES 1192	YES 3363	YES 833	YES 54	YES 1563	YES 867
tpdb-8.0/TRS/Zantema_04/z110.xml	YES 3826	YES 4861	YES 1579	MAYBE 313	YES 1577	YES 1305
tpdb-8.0/TRS/Zantema_04/z111.xml	YES 2780	YES 4363	TIMEOUT 60100	YES 77	YES 5398	YES 762
tpdb-8.0/TRS/Zantema_04/z112.xml	YES 1203	YES 3265	TIMEOUT 60042	YES 64	YES 2634	YES 1000
tpdb-8.0/TRS/Zantema_04/z113.xml	YES 1735	YES 4009	TIMEOUT 60036	YES 68	YES 11326	YES 1263
tpdb-8.0/TRS/Zantema_04/z114.xml	YES 2265	YES 4030	YES 551	YES 83	YES 1205	YES 1177
tpdb-8.0/TRS/Zantema_04/z115.xml	YES 1664	YES 3847	YES 4781	YES 59	YES 1738	YES 638
tpdb-8.0/TRS/Zantema_04/z116.xml	YES 1160	YES 3279	YES 926	YES 54	YES 1652	YES 595
tpdb-8.0/TRS/Zantema_04/z117.xml	YES 5758	YES 7680	YES 1079	MAYBE 491	YES 1755	YES 1410
tpdb-8.0/TRS/Zantema_04/z118.xml	YES 1617	YES 3831	YES 1610	YES 72	YES 2093	YES 1560
tpdb-8.0/TRS/Zantema_04/z119.xml	YES 3840	YES 5424	TIMEOUT 60035	MAYBE 470	YES 2577	YES 2675
tpdb-8.0/TRS/Zantema_04/z120.xml	YES 2257	YES 4454	MAYBE 21546	MAYBE 356	YES 6398	YES 5898
tpdb-8.0/TRS/Zantema_04/z121.xml	YES 1419	YES 3706	TIMEOUT 60040	YES 91	YES 2521	YES 2867
tpdb-8.0/TRS/Zantema_04/z122.xml	YES 1727	YES 4019	TIMEOUT 60039	YES 62	YES 2043	YES 1090
tpdb-8.0/TRS/Zantema_04/z123.xml	YES 3094	YES 4873	TIMEOUT 60091	YES 107	YES 1807	YES 3283
tpdb-8.0/TRS/Zantema_04/z124.xml	YES 1088	YES 4337	YES 757	YES 75	YES 2071	YES 691
tpdb-8.0/TRS/Zantema_04/z125.xml	YES 1550	YES 3907	TIMEOUT 60039	YES 459	YES 2840	YES 2455
tpdb-8.0/TRS/Zantema_04/z126.xml	YES 1188	YES 3600	YES 2349	YES 96	YES 1240	YES 1021
tpdb-8.0/TRS/Zantema_04/z127.xml	NO 1060	NO 14829	TIMEOUT 60067	MAYBE 206	NO 860	NO 775
tpdb-8.0/TRS/Zantema_04/z128.xml	NO 1025	NO 16406	TIMEOUT 60030	MAYBE 278	NO 846	NO 728
tpdb-8.0/TRS/Zantema_06/01.xml	YES 1623	YES 3849	YES 84	YES 77	YES 6535	YES 3976
tpdb-8.0/TRS/Zantema_06/02.xml	YES 1788	YES 3836	YES 457	YES 177	YES 1251	YES 1104
tpdb-8.0/TRS/Zantema_06/03.xml	YES 34603	YES 34608	TIMEOUT 60074	MAYBE 444	YES 32366	YES 46978
tpdb-8.0/TRS/Zantema_06/04.xml	YES 3500	YES 4697	YES 180	YES 233	YES 7441	YES 6665
tpdb-8.0/TRS/Zantema_06/05.xml	YES 29218	YES 28851	TIMEOUT 60097	MAYBE 464	YES 1432	YES 12884
tpdb-8.0/TRS/Zantema_06/06.xml	YES 4024	YES 5666	TIMEOUT 60077	MAYBE 191	YES 13034	YES 8157
tpdb-8.0/TRS/Zantema_06/07.xml	TIMEOUT 61105	TIMEOUT 61269	TIMEOUT 60101	MAYBE 333	YES 1703	TIMEOUT 60061
tpdb-8.0/TRS/Zantema_06/08.xml	YES 1211	TIMEOUT 61211	TIMEOUT 60096	MAYBE 587	YES 1221	TIMEOUT 60075
tpdb-8.0/TRS/Zantema_06/09.xml	YES 3862	YES 6523	TIMEOUT 60054	YES 1145	YES 1500	YES 4182
tpdb-8.0/TRS/Zantema_06/10.xml	YES 3683	YES 4521	YES 1095	MAYBE 295	YES 8450	YES 6451
tpdb-8.0/TRS/Zantema_06/11.xml	YES 1123	YES 5031	YES 400	YES 187	YES 1132	YES 7917
tpdb-8.0/TRS/Zantema_06/12.xml	YES 20844	YES 21746	YES 522	YES 1143	YES 10973	YES 8840
tpdb-8.0/TRS/Zantema_06/13.xml	YES 9932	YES 9940	TIMEOUT 60081	MAYBE 1436	YES 19042	YES 17101
tpdb-8.0/TRS/Zantema_06/14.xml	YES 8388	YES 8086	TIMEOUT 60079	MAYBE 293	YES 26837	TIMEOUT 60077
tpdb-8.0/TRS/Zantema_06/15.xml	YES 19575	YES 22304	TIMEOUT 60090	YES 853	YES 14360	YES 20381
tpdb-8.0/TRS/Zantema_06/16.xml	YES 5497	YES 9369	TIMEOUT 60083	YES 645	YES 2387	YES 3835
tpdb-8.0/TRS/Zantema_06/17.xml	YES 3243	YES 8190	YES 16367	YES 519	YES 6146	YES 4548
tpdb-8.0/TRS/Zantema_06/18.xml	YES 2561	YES 8610	TIMEOUT 60042	YES 3241	YES 7920	YES 10047
tpdb-8.0/TRS/Zantema_06/abc.xml	YES 3882	YES 7955	TIMEOUT 60091	MAYBE 193	YES 5620	YES 5587
tpdb-8.0/TRS/Zantema_06/beans1.xml	YES 3851	YES 5393	YES 283	YES 103	YES 2787	YES 1760
tpdb-8.0/TRS/Zantema_06/beans2.xml	YES 2537	YES 4645	YES 155	YES 128	YES 6818	YES 6551
tpdb-8.0/TRS/Zantema_06/beans3.xml	YES 3845	YES 5222	TIMEOUT 60035	YES 167	YES 13517	YES 7289
tpdb-8.0/TRS/Zantema_06/beans4.xml	YES 2102	YES 4003	YES 257	YES 55	YES 1269	YES 696
tpdb-8.0/TRS/Zantema_06/beans5.xml	YES 2771	YES 4363	YES 199	YES 96	YES 6457	YES 6136
tpdb-8.0/TRS/Zantema_06/beans6.xml	YES 8486	YES 8743	YES 356	MAYBE 235	YES 7237	YES 6577
tpdb-8.0/TRS/Zantema_06/beans7.xml	YES 3893	YES 5307	TIMEOUT 60033	YES 121	YES 10098	YES 6945
tpdb-8.0/TRS/Zantema_06/loop1.xml	NO 1054	NO 14606	TIMEOUT 60080	MAYBE 137	NO 828	NO 764
tpdb-8.0/TRS/Zantema_06/loop2.xml	NO 1022	NO 14216	TIMEOUT 60084	MAYBE 174	NO 802	NO 764
tpdb-8.0/TRS/Zantema_06/while1.xml	TIMEOUT 60921	TIMEOUT 60856	TIMEOUT 60031	MAYBE 6157	TIMEOUT 60061	TIMEOUT 60053
tpdb-8.0/TRS/Zantema_06/while2.xml	YES 1042	YES 4190	YES 282	MAYBE 272	YES 1010	YES 958
	807	726	133	189	664	547