TermCOMP 2011: SRS Standard

benchmark	AProVE	cime3finder	matchbox-srs-std-nocert	matchbox-srs-std-rfc	muterm	TTT2
tpdb-8.0/TRS/Bouchare_06/01.xml	YES 1100	MAYBE 1835	YES 23606	YES 2698	TIMEOUT 60044	YES 1602
tpdb-8.0/TRS/Bouchare_06/02.xml	YES 1101	YES 506	YES 33465	YES 1231	TIMEOUT 60030	YES 1576
tpdb-8.0/TRS/Bouchare_06/03.xml	YES 3758	MAYBE 965	TIMEOUT 60035	TIMEOUT 60041	TIMEOUT 60044	YES 6778
tpdb-8.0/TRS/Bouchare_06/04.xml	YES 1146	MAYBE 3976	YES 41146	YES 3346	TIMEOUT 60040	YES 1698
tpdb-8.0/TRS/Bouchare_06/05.xml	YES 5561	MAYBE 1157	YES 32617	YES 2489	TIMEOUT 60042	YES 1426
tpdb-8.0/TRS/Bouchare_06/06.xml	YES 4846	TIMEOUT 60030	YES 8272	TIMEOUT 60041	TIMEOUT 60043	YES 7225
tpdb-8.0/TRS/Bouchare_06/07.xml	YES 2602	YES 552	YES 7729	TIMEOUT 60034	YES 2026	YES 6778
tpdb-8.0/TRS/Bouchare_06/08.xml	NO 784	MAYBE 11198	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60030	NO 833
tpdb-8.0/TRS/Bouchare_06/09.xml	NO 816	MAYBE 1218	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60042	NO 873
tpdb-8.0/TRS/Bouchare_06/10.xml	YES 7165	MAYBE 6612	YES 38575	YES 3106	TIMEOUT 60039	YES 3003
tpdb-8.0/TRS/Bouchare_06/11.xml	YES 7672	MAYBE 646	YES 23654	YES 1874	TIMEOUT 60041	YES 1520
tpdb-8.0/TRS/Bouchare_06/12.xml	YES 4846	MAYBE 579	YES 9704	YES 1141	TIMEOUT 60044	YES 1372
tpdb-8.0/TRS/Bouchare_06/13.xml	YES 4316	MAYBE 1911	YES 35369	TIMEOUT 60035	TIMEOUT 60040	YES 6250
tpdb-8.0/TRS/Bouchare_06/14.xml	YES 1105	MAYBE 712	YES 26269	YES 2410	TIMEOUT 60044	YES 1222
tpdb-8.0/TRS/Bouchare_06/15.xml	YES 1111	MAYBE 1335	YES 36540	YES 3036	TIMEOUT 60044	YES 1649
tpdb-8.0/TRS/Bouchare_06/16.xml	YES 1161	MAYBE 576	YES 13959	YES 2461	TIMEOUT 60044	YES 1584
tpdb-8.0/TRS/Bouchare_06/17.xml	YES 1059	MAYBE 983	YES 16772	YES 2472	TIMEOUT 60040	YES 1610
tpdb-8.0/TRS/Bouchare_06/18.xml	YES 3679	MAYBE 3471	YES 39259	TIMEOUT 60034	TIMEOUT 60046	YES 7344
tpdb-8.0/TRS/Gebhardt_06/01.xml	TIMEOUT 61075	TIMEOUT 60030	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60043	MAYBE 59930
tpdb-8.0/TRS/Gebhardt_06/02.xml	TIMEOUT 60940	TIMEOUT 60030	TIMEOUT 60040	TIMEOUT 60033	TIMEOUT 60044	MAYBE 59909
tpdb-8.0/TRS/Gebhardt_06/03.xml	NO 7208	TIMEOUT 60030	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60040	NO 42174
tpdb-8.0/TRS/Gebhardt_06/04.xml	YES 4397	TIMEOUT 60031	TIMEOUT 60254	TIMEOUT 60032	TIMEOUT 60039	MAYBE 59958
tpdb-8.0/TRS/Gebhardt_06/05.xml	NO 9844	TIMEOUT 60030	TIMEOUT 60033	TIMEOUT 60032	TIMEOUT 60042	MAYBE 59955
tpdb-8.0/TRS/Gebhardt_06/06.xml	TIMEOUT 60940	TIMEOUT 60030	TIMEOUT 60032	TIMEOUT 60033	TIMEOUT 60045	MAYBE 59948
tpdb-8.0/TRS/Gebhardt_06/07.xml	YES 4762	TIMEOUT 60029	YES 18010	TIMEOUT 60032	TIMEOUT 60043	MAYBE 59965
tpdb-8.0/TRS/Gebhardt_06/08.xml	NO 5776	TIMEOUT 60030	TIMEOUT 60032	TIMEOUT 60034	TIMEOUT 60041	NO 25989
tpdb-8.0/TRS/Gebhardt_06/09.xml	YES 36371	TIMEOUT 60030	TIMEOUT 60031	TIMEOUT 60035	TIMEOUT 60039	YES 15942
tpdb-8.0/TRS/Gebhardt_06/10.xml	TIMEOUT 61033	TIMEOUT 60031	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60038	TIMEOUT 60020
tpdb-8.0/TRS/Gebhardt_06/11.xml	YES 4260	TIMEOUT 60030	YES 19555	TIMEOUT 60034	TIMEOUT 60045	YES 10240
tpdb-8.0/TRS/Gebhardt_06/12.xml	NO 8618	TIMEOUT 60030	TIMEOUT 60212	TIMEOUT 60033	TIMEOUT 60044	MAYBE 59967
tpdb-8.0/TRS/Gebhardt_06/13.xml	TIMEOUT 61296	TIMEOUT 60031	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60040	MAYBE 59965
tpdb-8.0/TRS/Gebhardt_06/14.xml	YES 4374	TIMEOUT 60030	YES 34304	TIMEOUT 60033	TIMEOUT 60054	YES 35872
tpdb-8.0/TRS/Gebhardt_06/15.xml	NO 14169	TIMEOUT 60029	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60045	MAYBE 59975
tpdb-8.0/TRS/Gebhardt_06/16.xml	YES 5017	TIMEOUT 60029	YES 25325	TIMEOUT 60032	TIMEOUT 60075	MAYBE 59960
tpdb-8.0/TRS/Gebhardt_06/17.xml	YES 6075	TIMEOUT 60031	TIMEOUT 60206	TIMEOUT 60035	TIMEOUT 60043	MAYBE 59987
tpdb-8.0/TRS/Gebhardt_06/18.xml	YES 53260	TIMEOUT 60028	TIMEOUT 60042	TIMEOUT 60034	TIMEOUT 60042	MAYBE 59942
tpdb-8.0/TRS/Gebhardt_06/19.xml	TIMEOUT 61135	TIMEOUT 60030	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60038	TIMEOUT 60026
tpdb-8.0/TRS/Gebhardt_06/20.xml	TIMEOUT 60940	TIMEOUT 60030	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60062	MAYBE 59954
tpdb-8.0/TRS/ICFP_2010/107193.xml	TIMEOUT 60928	TIMEOUT 60042	TIMEOUT 60346	TIMEOUT 60050	TIMEOUT 60094	TIMEOUT 60051
tpdb-8.0/TRS/ICFP_2010/107220.xml	TIMEOUT 60842	TIMEOUT 60041	TIMEOUT 60303	TIMEOUT 60055	TIMEOUT 60092	TIMEOUT 60050
tpdb-8.0/TRS/ICFP_2010/107236.xml	TIMEOUT 60900	TIMEOUT 60042	TIMEOUT 60310	TIMEOUT 60056	TIMEOUT 60084	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/123759.xml	TIMEOUT 61105	TIMEOUT 60036	TIMEOUT 60698	TIMEOUT 60045	TIMEOUT 60060	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/124211.xml	TIMEOUT 60965	TIMEOUT 60036	TIMEOUT 60511	TIMEOUT 60041	TIMEOUT 60053	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/124269.xml	TIMEOUT 61160	TIMEOUT 60035	TIMEOUT 60683	TIMEOUT 60042	TIMEOUT 60057	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/124791.xml	TIMEOUT 61052	TIMEOUT 60035	TIMEOUT 60523	TIMEOUT 60043	TIMEOUT 60060	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/127538.xml	YES 13739	TIMEOUT 60036	TIMEOUT 60274	TIMEOUT 60049	TIMEOUT 60063	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/128056.xml	TIMEOUT 61114	TIMEOUT 60036	TIMEOUT 60219	TIMEOUT 60046	TIMEOUT 60061	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/128182.xml	YES 12580	TIMEOUT 60040	TIMEOUT 60274	TIMEOUT 60045	TIMEOUT 60063	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/128280.xml	TIMEOUT 61052	TIMEOUT 60034	TIMEOUT 60104	TIMEOUT 60049	TIMEOUT 60061	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/128430.xml	YES 12705	TIMEOUT 60035	TIMEOUT 60219	TIMEOUT 60048	TIMEOUT 60065	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/128486.xml	YES 12249	TIMEOUT 60034	TIMEOUT 60140	TIMEOUT 60050	TIMEOUT 60056	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/128515.xml	YES 14118	TIMEOUT 60036	TIMEOUT 60204	TIMEOUT 60046	TIMEOUT 60056	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/128550.xml	YES 14575	TIMEOUT 60037	TIMEOUT 60219	TIMEOUT 60047	TIMEOUT 60064	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/128620.xml	YES 12124	TIMEOUT 60035	TIMEOUT 60271	TIMEOUT 60047	TIMEOUT 60063	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/128691.xml	YES 13931	TIMEOUT 60037	TIMEOUT 60220	TIMEOUT 60049	TIMEOUT 60059	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/130161.xml	TIMEOUT 60775	TIMEOUT 60037	TIMEOUT 60377	TIMEOUT 60049	TIMEOUT 60068	TIMEOUT 60051
tpdb-8.0/TRS/ICFP_2010/130304.xml	TIMEOUT 60908	TIMEOUT 60044	TIMEOUT 60387	TIMEOUT 60053	TIMEOUT 60071	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/130472.xml	TIMEOUT 60857	TIMEOUT 60039	TIMEOUT 60303	TIMEOUT 60055	TIMEOUT 60077	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/130962.xml	TIMEOUT 61000	TIMEOUT 60041	TIMEOUT 60375	TIMEOUT 60054	TIMEOUT 60068	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/131633.xml	TIMEOUT 60985	TIMEOUT 60036	TIMEOUT 60442	TIMEOUT 60042	TIMEOUT 60058	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/131982.xml	TIMEOUT 61126	TIMEOUT 60037	TIMEOUT 60532	TIMEOUT 60041	TIMEOUT 60054	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/132235.xml	TIMEOUT 61143	TIMEOUT 60037	TIMEOUT 60684	TIMEOUT 60040	TIMEOUT 60056	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/132478.xml	YES 12496	TIMEOUT 60035	TIMEOUT 60274	TIMEOUT 60046	TIMEOUT 60060	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/132540.xml	YES 12130	TIMEOUT 60036	TIMEOUT 60103	TIMEOUT 60049	TIMEOUT 60087	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/132611.xml	YES 5936	TIMEOUT 60034	TIMEOUT 60379	TIMEOUT 60040	TIMEOUT 60060	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/132622.xml	TIMEOUT 61074	TIMEOUT 60036	TIMEOUT 60133	TIMEOUT 60049	TIMEOUT 60063	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/132720.xml	YES 12996	TIMEOUT 60035	TIMEOUT 60231	TIMEOUT 60046	TIMEOUT 60059	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/132738.xml	YES 13214	TIMEOUT 60038	TIMEOUT 60130	TIMEOUT 60049	TIMEOUT 60062	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/132782.xml	YES 12417	TIMEOUT 60035	TIMEOUT 60220	TIMEOUT 60050	TIMEOUT 60061	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/132833.xml	YES 14159	TIMEOUT 60038	TIMEOUT 60217	TIMEOUT 60049	TIMEOUT 60055	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/132848.xml	TIMEOUT 60780	TIMEOUT 60039	TIMEOUT 60386	TIMEOUT 60054	TIMEOUT 60084	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/132864.xml	YES 12760	TIMEOUT 60036	TIMEOUT 60219	TIMEOUT 60047	TIMEOUT 60060	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/132920.xml	YES 12466	TIMEOUT 60034	TIMEOUT 60097	TIMEOUT 60046	TIMEOUT 60056	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/132957.xml	YES 15849	TIMEOUT 60037	TIMEOUT 60274	TIMEOUT 60049	TIMEOUT 60066	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/132969.xml	TIMEOUT 61102	TIMEOUT 60036	TIMEOUT 60554	TIMEOUT 60042	TIMEOUT 60058	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/133010.xml	TIMEOUT 61071	TIMEOUT 60036	TIMEOUT 60288	TIMEOUT 60046	TIMEOUT 60063	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/133079.xml	TIMEOUT 61025	TIMEOUT 60042	TIMEOUT 60306	TIMEOUT 60050	TIMEOUT 60084	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/133159.xml	TIMEOUT 61027	TIMEOUT 60036	TIMEOUT 60518	TIMEOUT 60045	TIMEOUT 60057	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/133236.xml	TIMEOUT 60765	TIMEOUT 60040	TIMEOUT 60382	TIMEOUT 60054	TIMEOUT 60074	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/133432.xml	TIMEOUT 60840	TIMEOUT 60039	TIMEOUT 60374	TIMEOUT 60051	TIMEOUT 60073	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/133486.xml	TIMEOUT 61133	TIMEOUT 60034	TIMEOUT 60685	TIMEOUT 60040	TIMEOUT 60060	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/133532.xml	TIMEOUT 60797	TIMEOUT 60041	TIMEOUT 60379	TIMEOUT 60054	TIMEOUT 60081	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/133827.xml	YES 5915	TIMEOUT 60036	TIMEOUT 60683	TIMEOUT 60043	TIMEOUT 60055	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/133881.xml	TIMEOUT 61185	TIMEOUT 60034	TIMEOUT 60389	TIMEOUT 60043	TIMEOUT 60058	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/134918.xml	TIMEOUT 60906	TIMEOUT 60034	TIMEOUT 60515	TIMEOUT 60041	TIMEOUT 60054	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/135115.xml	TIMEOUT 61026	TIMEOUT 60036	TIMEOUT 60354	TIMEOUT 60043	TIMEOUT 60058	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/135328.xml	TIMEOUT 60922	TIMEOUT 60032	TIMEOUT 60540	TIMEOUT 60045	TIMEOUT 60052	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/135410.xml	TIMEOUT 60842	TIMEOUT 60039	TIMEOUT 60405	TIMEOUT 60054	TIMEOUT 60085	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/135505.xml	TIMEOUT 60698	TIMEOUT 60043	TIMEOUT 60318	TIMEOUT 60055	TIMEOUT 60088	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/135601.xml	TIMEOUT 60883	TIMEOUT 60047	TIMEOUT 60331	TIMEOUT 60055	TIMEOUT 60097	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/135604.xml	TIMEOUT 61171	TIMEOUT 60035	TIMEOUT 60712	TIMEOUT 60044	TIMEOUT 60053	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/135652.xml	TIMEOUT 61171	TIMEOUT 60034	TIMEOUT 60674	TIMEOUT 60042	TIMEOUT 60057	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/135659.xml	TIMEOUT 61160	TIMEOUT 60051	TIMEOUT 60298	TIMEOUT 60053	TIMEOUT 60055	TIMEOUT 60049
tpdb-8.0/TRS/ICFP_2010/135714.xml	TIMEOUT 60780	TIMEOUT 60038	TIMEOUT 60296	TIMEOUT 60055	TIMEOUT 60074	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/135782.xml	TIMEOUT 61157	TIMEOUT 60037	TIMEOUT 60692	TIMEOUT 60041	TIMEOUT 60054	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/135936.xml	TIMEOUT 61145	TIMEOUT 60036	TIMEOUT 60518	TIMEOUT 60044	TIMEOUT 60059	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/136051.xml	TIMEOUT 61062	TIMEOUT 60034	TIMEOUT 60525	TIMEOUT 60041	TIMEOUT 60056	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/136280.xml	TIMEOUT 60720	TIMEOUT 60040	TIMEOUT 60296	TIMEOUT 60054	TIMEOUT 60075	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/136323.xml	TIMEOUT 60922	TIMEOUT 60038	TIMEOUT 60437	TIMEOUT 60050	TIMEOUT 60070	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/136354.xml	TIMEOUT 60951	TIMEOUT 60045	TIMEOUT 60307	TIMEOUT 60050	TIMEOUT 60090	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/136463.xml	TIMEOUT 60697	TIMEOUT 60043	TIMEOUT 60378	TIMEOUT 60051	TIMEOUT 60083	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/136497.xml	TIMEOUT 61028	TIMEOUT 60046	TIMEOUT 60379	TIMEOUT 60054	TIMEOUT 60100	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/136534.xml	TIMEOUT 60908	TIMEOUT 60038	TIMEOUT 60294	TIMEOUT 60051	TIMEOUT 60075	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/136562.xml	TIMEOUT 61092	TIMEOUT 60037	TIMEOUT 60683	TIMEOUT 60041	TIMEOUT 60061	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/136571.xml	TIMEOUT 60896	TIMEOUT 60042	TIMEOUT 60307	TIMEOUT 60052	TIMEOUT 60090	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/136601.xml	TIMEOUT 60775	TIMEOUT 60039	TIMEOUT 60497	TIMEOUT 60050	TIMEOUT 60073	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/136623.xml	TIMEOUT 61169	TIMEOUT 60035	TIMEOUT 60508	TIMEOUT 60043	TIMEOUT 60058	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/136693.xml	TIMEOUT 60696	TIMEOUT 60037	TIMEOUT 60469	TIMEOUT 60051	TIMEOUT 60073	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/136934.xml	TIMEOUT 60794	TIMEOUT 60040	TIMEOUT 60341	TIMEOUT 60053	TIMEOUT 60069	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/137087.xml	TIMEOUT 60901	TIMEOUT 60039	TIMEOUT 60295	TIMEOUT 60050	TIMEOUT 60080	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/137136.xml	TIMEOUT 60826	TIMEOUT 60041	TIMEOUT 60383	TIMEOUT 60053	TIMEOUT 60086	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/137316.xml	TIMEOUT 60676	TIMEOUT 60042	TIMEOUT 60289	TIMEOUT 60049	TIMEOUT 60081	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/137404.xml	TIMEOUT 61184	TIMEOUT 60045	TIMEOUT 60674	TIMEOUT 60043	TIMEOUT 60059	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/137621.xml	TIMEOUT 60744	TIMEOUT 60039	TIMEOUT 60294	TIMEOUT 60054	TIMEOUT 60071	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/137623.xml	YES 5534	TIMEOUT 60035	TIMEOUT 60535	TIMEOUT 60040	TIMEOUT 60054	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/137715.xml	TIMEOUT 61159	TIMEOUT 60046	TIMEOUT 60297	TIMEOUT 60051	TIMEOUT 60096	TIMEOUT 60049
tpdb-8.0/TRS/ICFP_2010/137799.xml	TIMEOUT 60785	TIMEOUT 60041	TIMEOUT 60385	TIMEOUT 60055	TIMEOUT 60076	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/137809.xml	TIMEOUT 61090	TIMEOUT 60035	TIMEOUT 60492	TIMEOUT 60042	TIMEOUT 60062	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/137956.xml	TIMEOUT 60857	TIMEOUT 60040	TIMEOUT 60376	TIMEOUT 60056	TIMEOUT 60065	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/138089.xml	TIMEOUT 60908	TIMEOUT 60037	TIMEOUT 60294	TIMEOUT 60054	TIMEOUT 60063	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/138142.xml	YES 5787	TIMEOUT 60035	TIMEOUT 60696	TIMEOUT 60042	TIMEOUT 60054	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/138194.xml	TIMEOUT 60944	TIMEOUT 60035	TIMEOUT 60538	TIMEOUT 60042	TIMEOUT 60059	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/138254.xml	YES 6142	TIMEOUT 60038	TIMEOUT 60537	TIMEOUT 60043	TIMEOUT 60056	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/138269.xml	TIMEOUT 61198	TIMEOUT 60036	TIMEOUT 60540	TIMEOUT 60041	TIMEOUT 60054	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/138330.xml	TIMEOUT 60998	TIMEOUT 60032	TIMEOUT 60488	TIMEOUT 60043	TIMEOUT 60051	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/138468.xml	TIMEOUT 61108	TIMEOUT 60042	TIMEOUT 60443	TIMEOUT 60055	TIMEOUT 60054	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/138477.xml	TIMEOUT 60912	TIMEOUT 60037	TIMEOUT 60688	TIMEOUT 60042	TIMEOUT 60060	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/138993.xml	YES 13658	TIMEOUT 60036	TIMEOUT 60272	TIMEOUT 60048	TIMEOUT 60062	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/139004.xml	YES 13877	TIMEOUT 60035	TIMEOUT 60220	TIMEOUT 60050	TIMEOUT 60059	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/139018.xml	YES 12245	TIMEOUT 60035	TIMEOUT 60087	TIMEOUT 60050	TIMEOUT 60058	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/139025.xml	YES 13220	TIMEOUT 60037	TIMEOUT 60132	TIMEOUT 60049	TIMEOUT 60060	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/139036.xml	YES 14263	TIMEOUT 60038	TIMEOUT 60133	TIMEOUT 60049	TIMEOUT 60060	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/139100.xml	YES 12905	TIMEOUT 60037	TIMEOUT 60132	TIMEOUT 60049	TIMEOUT 60057	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/139163.xml	YES 18019	TIMEOUT 60035	TIMEOUT 60090	TIMEOUT 60049	TIMEOUT 60056	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/139167.xml	TIMEOUT 61125	TIMEOUT 60037	TIMEOUT 60498	TIMEOUT 60050	TIMEOUT 60058	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/139174.xml	YES 13909	TIMEOUT 60035	TIMEOUT 60214	TIMEOUT 60049	TIMEOUT 60060	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/139180.xml	YES 13586	TIMEOUT 60036	TIMEOUT 60088	TIMEOUT 60049	TIMEOUT 60064	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/139185.xml	YES 12943	TIMEOUT 60035	TIMEOUT 60112	TIMEOUT 60046	TIMEOUT 60058	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/139190.xml	YES 11712	TIMEOUT 60034	TIMEOUT 60090	TIMEOUT 60049	TIMEOUT 60061	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/139214.xml	TIMEOUT 60916	TIMEOUT 60035	TIMEOUT 60234	TIMEOUT 60063	TIMEOUT 60059	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/139236.xml	YES 12800	TIMEOUT 60035	TIMEOUT 60272	TIMEOUT 60047	TIMEOUT 60061	TIMEOUT 60037
tpdb-8.0/TRS/ICFP_2010/139256.xml	YES 14812	TIMEOUT 60040	TIMEOUT 60103	TIMEOUT 60045	TIMEOUT 60062	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/139282.xml	YES 12293	TIMEOUT 60036	TIMEOUT 60337	TIMEOUT 60049	TIMEOUT 60058	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/139310.xml	YES 11638	TIMEOUT 60035	TIMEOUT 60226	TIMEOUT 60048	TIMEOUT 60058	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/139378.xml	TIMEOUT 60925	TIMEOUT 60035	TIMEOUT 60219	TIMEOUT 60046	TIMEOUT 60059	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/140287.xml	TIMEOUT 61090	TIMEOUT 60035	TIMEOUT 60273	TIMEOUT 60049	TIMEOUT 60062	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/140318.xml	YES 14296	TIMEOUT 60037	TIMEOUT 60273	TIMEOUT 60048	TIMEOUT 60061	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/140359.xml	YES 12426	TIMEOUT 60037	TIMEOUT 60165	TIMEOUT 60046	TIMEOUT 60061	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/140631.xml	TIMEOUT 61016	TIMEOUT 60031	TIMEOUT 60093	TIMEOUT 60039	TIMEOUT 60051	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/140639.xml	YES 8022	TIMEOUT 60034	TIMEOUT 60464	TIMEOUT 60038	TIMEOUT 60056	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/140654.xml	YES 15222	TIMEOUT 60098	TIMEOUT 60048	TIMEOUT 60037	TIMEOUT 60049	TIMEOUT 60270
tpdb-8.0/TRS/ICFP_2010/140659.xml	TIMEOUT 61195	TIMEOUT 60033	TIMEOUT 60464	TIMEOUT 60040	TIMEOUT 60056	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/140664.xml	TIMEOUT 61011	TIMEOUT 60038	TIMEOUT 60484	TIMEOUT 60043	TIMEOUT 60057	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/142142.xml	YES 9158	TIMEOUT 60032	TIMEOUT 60228	TIMEOUT 60040	TIMEOUT 60052	TIMEOUT 60037
tpdb-8.0/TRS/ICFP_2010/142146.xml	YES 13131	TIMEOUT 60037	TIMEOUT 60791	TIMEOUT 60042	TIMEOUT 60053	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/142150.xml	TIMEOUT 60979	TIMEOUT 60034	TIMEOUT 60275	TIMEOUT 60040	TIMEOUT 60051	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/142157.xml	TIMEOUT 60922	TIMEOUT 60034	TIMEOUT 60166	TIMEOUT 60036	TIMEOUT 60056	TIMEOUT 60037
tpdb-8.0/TRS/ICFP_2010/147437.xml	TIMEOUT 60646	TIMEOUT 60049	TIMEOUT 60375	TIMEOUT 60070	TIMEOUT 60056	TIMEOUT 60053
tpdb-8.0/TRS/ICFP_2010/148543.xml	TIMEOUT 60660	TIMEOUT 60051	TIMEOUT 60430	TIMEOUT 60074	TIMEOUT 60051	TIMEOUT 60051
tpdb-8.0/TRS/ICFP_2010/149251.xml	TIMEOUT 60661	TIMEOUT 60051	TIMEOUT 60533	TIMEOUT 60062	TIMEOUT 60056	TIMEOUT 60050
tpdb-8.0/TRS/ICFP_2010/149277.xml	TIMEOUT 60708	TIMEOUT 60046	TIMEOUT 60395	TIMEOUT 60066	TIMEOUT 60056	TIMEOUT 60049
tpdb-8.0/TRS/ICFP_2010/149297.xml	TIMEOUT 60745	TIMEOUT 60045	TIMEOUT 60281	TIMEOUT 60075	TIMEOUT 60057	TIMEOUT 60056
tpdb-8.0/TRS/ICFP_2010/149319.xml	TIMEOUT 60776	TIMEOUT 60044	TIMEOUT 60384	TIMEOUT 60069	TIMEOUT 60058	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/149361.xml	TIMEOUT 60786	TIMEOUT 60047	TIMEOUT 60460	TIMEOUT 60066	TIMEOUT 60053	TIMEOUT 60051
tpdb-8.0/TRS/ICFP_2010/149415.xml	TIMEOUT 60828	TIMEOUT 60048	TIMEOUT 60373	TIMEOUT 60066	TIMEOUT 60055	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/149633.xml	TIMEOUT 60608	TIMEOUT 60044	TIMEOUT 60365	TIMEOUT 60080	TIMEOUT 60057	TIMEOUT 60053
tpdb-8.0/TRS/ICFP_2010/149713.xml	TIMEOUT 60770	TIMEOUT 60050	TIMEOUT 60317	TIMEOUT 60074	TIMEOUT 60054	TIMEOUT 60055
tpdb-8.0/TRS/ICFP_2010/149849.xml	TIMEOUT 60745	TIMEOUT 60059	TIMEOUT 60435	TIMEOUT 60077	TIMEOUT 60052	TIMEOUT 60057
tpdb-8.0/TRS/ICFP_2010/149915.xml	TIMEOUT 60674	TIMEOUT 60048	TIMEOUT 60259	TIMEOUT 60072	TIMEOUT 60052	TIMEOUT 60049
tpdb-8.0/TRS/ICFP_2010/150067.xml	TIMEOUT 60763	TIMEOUT 60049	TIMEOUT 60509	TIMEOUT 60067	TIMEOUT 60056	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/150188.xml	TIMEOUT 60936	TIMEOUT 60047	TIMEOUT 60392	TIMEOUT 60076	TIMEOUT 60051	TIMEOUT 60050
tpdb-8.0/TRS/ICFP_2010/150258.xml	TIMEOUT 60739	TIMEOUT 60052	TIMEOUT 60431	TIMEOUT 60071	TIMEOUT 60057	TIMEOUT 60055
tpdb-8.0/TRS/ICFP_2010/150468.xml	TIMEOUT 60767	TIMEOUT 60050	TIMEOUT 60363	TIMEOUT 60072	TIMEOUT 60052	TIMEOUT 60055
tpdb-8.0/TRS/ICFP_2010/150630.xml	TIMEOUT 60675	TIMEOUT 60050	TIMEOUT 60406	TIMEOUT 60073	TIMEOUT 60054	TIMEOUT 60049
tpdb-8.0/TRS/ICFP_2010/150725.xml	TIMEOUT 60807	TIMEOUT 60051	TIMEOUT 60296	TIMEOUT 60066	TIMEOUT 60054	TIMEOUT 60050
tpdb-8.0/TRS/ICFP_2010/150815.xml	TIMEOUT 60634	TIMEOUT 60048	TIMEOUT 60276	TIMEOUT 60076	TIMEOUT 60055	TIMEOUT 60053
tpdb-8.0/TRS/ICFP_2010/150839.xml	TIMEOUT 60865	TIMEOUT 60043	TIMEOUT 60441	TIMEOUT 60051	TIMEOUT 60052	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/150877.xml	TIMEOUT 60728	TIMEOUT 60048	TIMEOUT 60503	TIMEOUT 60069	TIMEOUT 60052	TIMEOUT 60049
tpdb-8.0/TRS/ICFP_2010/151247.xml	TIMEOUT 60648	TIMEOUT 60048	TIMEOUT 60293	TIMEOUT 60078	TIMEOUT 60055	TIMEOUT 60050
tpdb-8.0/TRS/ICFP_2010/152694.xml	TIMEOUT 60693	TIMEOUT 60041	TIMEOUT 60367	TIMEOUT 60050	TIMEOUT 60081	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/152786.xml	TIMEOUT 60972	TIMEOUT 60037	TIMEOUT 60277	TIMEOUT 60053	TIMEOUT 60075	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/152865.xml	TIMEOUT 61123	TIMEOUT 60046	TIMEOUT 60386	TIMEOUT 60051	TIMEOUT 60102	TIMEOUT 60050
tpdb-8.0/TRS/ICFP_2010/152949.xml	TIMEOUT 60849	TIMEOUT 60039	TIMEOUT 60297	TIMEOUT 60056	TIMEOUT 60078	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/153034.xml	TIMEOUT 60770	TIMEOUT 60040	TIMEOUT 60375	TIMEOUT 60051	TIMEOUT 60070	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/153090.xml	TIMEOUT 60801	TIMEOUT 60047	TIMEOUT 60386	TIMEOUT 60051	TIMEOUT 60099	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/153170.xml	TIMEOUT 60865	TIMEOUT 60038	TIMEOUT 60386	TIMEOUT 60051	TIMEOUT 60073	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/153243.xml	TIMEOUT 60779	TIMEOUT 60039	TIMEOUT 60374	TIMEOUT 60052	TIMEOUT 60068	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/153288.xml	TIMEOUT 61112	TIMEOUT 60047	TIMEOUT 60284	TIMEOUT 60051	TIMEOUT 60090	TIMEOUT 60051
tpdb-8.0/TRS/ICFP_2010/153371.xml	TIMEOUT 60878	TIMEOUT 60043	TIMEOUT 60386	TIMEOUT 60050	TIMEOUT 60085	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/153444.xml	TIMEOUT 60757	TIMEOUT 60038	TIMEOUT 60375	TIMEOUT 60055	TIMEOUT 60073	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/157150.xml	YES 61042	TIMEOUT 60031	TIMEOUT 60105	TIMEOUT 60040	TIMEOUT 60049	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/157161.xml	TIMEOUT 61070	TIMEOUT 60030	TIMEOUT 60164	TIMEOUT 60036	TIMEOUT 60046	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/157275.xml	YES 16260	TIMEOUT 60045	TIMEOUT 60390	TIMEOUT 60056	TIMEOUT 60091	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/157388.xml	YES 17382	TIMEOUT 60085	TIMEOUT 60066	TIMEOUT 60035	TIMEOUT 60050	TIMEOUT 60396
tpdb-8.0/TRS/ICFP_2010/157436.xml	TIMEOUT 61168	TIMEOUT 60082	TIMEOUT 60078	TIMEOUT 60039	TIMEOUT 60045	TIMEOUT 60264
tpdb-8.0/TRS/ICFP_2010/157466.xml	TIMEOUT 60893	TIMEOUT 60042	TIMEOUT 60287	TIMEOUT 60050	TIMEOUT 60080	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/157593.xml	YES 18079	TIMEOUT 60067	TIMEOUT 60061	TIMEOUT 60040	YES 4617	TIMEOUT 60058
tpdb-8.0/TRS/ICFP_2010/157603.xml	TIMEOUT 60805	TIMEOUT 60045	TIMEOUT 60262	TIMEOUT 60054	TIMEOUT 60075	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/157713.xml	TIMEOUT 60813	TIMEOUT 60049	TIMEOUT 60386	TIMEOUT 60054	TIMEOUT 60094	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/158152.xml	TIMEOUT 60964	TIMEOUT 60081	TIMEOUT 60042	TIMEOUT 60040	TIMEOUT 60046	TIMEOUT 103791
tpdb-8.0/TRS/ICFP_2010/158208.xml	TIMEOUT 60770	TIMEOUT 60039	TIMEOUT 60305	TIMEOUT 60050	TIMEOUT 60077	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/158342.xml	TIMEOUT 60722	TIMEOUT 60037	TIMEOUT 60311	TIMEOUT 60055	TIMEOUT 60069	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/158477.xml	TIMEOUT 60721	TIMEOUT 60044	TIMEOUT 60381	TIMEOUT 60054	TIMEOUT 60085	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/158620.xml	YES 15505	TIMEOUT 60042	TIMEOUT 60288	TIMEOUT 60051	TIMEOUT 60086	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/159731.xml	YES 40067	TIMEOUT 60079	TIMEOUT 60044	TIMEOUT 60066	TIMEOUT 60047	YES 2850
tpdb-8.0/TRS/ICFP_2010/160068.xml	TIMEOUT 60763	TIMEOUT 60048	TIMEOUT 60452	TIMEOUT 60051	TIMEOUT 60056	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/160210.xml	TIMEOUT 60915	TIMEOUT 60051	TIMEOUT 60529	TIMEOUT 60052	TIMEOUT 60058	TIMEOUT 60051
tpdb-8.0/TRS/ICFP_2010/160234.xml	YES 14275	YES 55779	TIMEOUT 60044	TIMEOUT 60036	YES 8219	YES 4069
tpdb-8.0/TRS/ICFP_2010/160254.xml	TIMEOUT 60655	TIMEOUT 60048	TIMEOUT 60465	TIMEOUT 60051	TIMEOUT 60057	TIMEOUT 60052
tpdb-8.0/TRS/ICFP_2010/160263.xml	YES 11925	TIMEOUT 60082	TIMEOUT 60040	TIMEOUT 60039	TIMEOUT 60051	YES 2986
tpdb-8.0/TRS/ICFP_2010/160324.xml	TIMEOUT 60687	TIMEOUT 60042	TIMEOUT 60351	TIMEOUT 60058	TIMEOUT 60089	TIMEOUT 60050
tpdb-8.0/TRS/ICFP_2010/160364.xml	TIMEOUT 60617	TIMEOUT 60047	TIMEOUT 60274	TIMEOUT 60065	TIMEOUT 60056	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/160398.xml	TIMEOUT 60644	TIMEOUT 60047	TIMEOUT 60457	TIMEOUT 60052	TIMEOUT 60058	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/160427.xml	TIMEOUT 60915	TIMEOUT 60052	TIMEOUT 60447	TIMEOUT 60052	TIMEOUT 60053	TIMEOUT 60049
tpdb-8.0/TRS/ICFP_2010/160462.xml	TIMEOUT 60587	TIMEOUT 60047	TIMEOUT 60364	TIMEOUT 60051	TIMEOUT 60053	TIMEOUT 60067
tpdb-8.0/TRS/ICFP_2010/160475.xml	TIMEOUT 60771	TIMEOUT 60047	TIMEOUT 60497	TIMEOUT 60056	TIMEOUT 60058	TIMEOUT 60050
tpdb-8.0/TRS/ICFP_2010/160660.xml	TIMEOUT 60802	TIMEOUT 60042	TIMEOUT 60351	TIMEOUT 60057	TIMEOUT 60085	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/161519.xml	TIMEOUT 60916	TIMEOUT 60046	TIMEOUT 60343	TIMEOUT 60056	TIMEOUT 60086	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/161533.xml	TIMEOUT 60710	TIMEOUT 60050	TIMEOUT 60407	TIMEOUT 60061	TIMEOUT 60056	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/161593.xml	TIMEOUT 60906	TIMEOUT 60046	TIMEOUT 60482	TIMEOUT 60055	TIMEOUT 60053	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/161864.xml	TIMEOUT 60792	TIMEOUT 60050	TIMEOUT 60346	TIMEOUT 60052	TIMEOUT 60091	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/161917.xml	TIMEOUT 60708	TIMEOUT 60045	TIMEOUT 60514	TIMEOUT 60053	TIMEOUT 60057	TIMEOUT 60054
tpdb-8.0/TRS/ICFP_2010/161930.xml	YES 13795	TIMEOUT 60044	TIMEOUT 60323	TIMEOUT 60055	TIMEOUT 60094	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/162016.xml	TIMEOUT 60651	TIMEOUT 60043	TIMEOUT 60447	TIMEOUT 60051	TIMEOUT 60056	TIMEOUT 60052
tpdb-8.0/TRS/ICFP_2010/162075.xml	TIMEOUT 60710	TIMEOUT 60047	TIMEOUT 60380	TIMEOUT 60053	TIMEOUT 60057	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/162095.xml	TIMEOUT 60726	TIMEOUT 60045	TIMEOUT 60455	TIMEOUT 60057	TIMEOUT 60089	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/162244.xml	TIMEOUT 60830	TIMEOUT 60043	TIMEOUT 60429	TIMEOUT 60056	TIMEOUT 60094	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/165713.xml	TIMEOUT 60650	TIMEOUT 60043	TIMEOUT 60439	TIMEOUT 60053	TIMEOUT 60054	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/165755.xml	TIMEOUT 60769	TIMEOUT 60045	TIMEOUT 60351	TIMEOUT 60057	TIMEOUT 60057	TIMEOUT 60051
tpdb-8.0/TRS/ICFP_2010/165904.xml	TIMEOUT 60723	TIMEOUT 60047	TIMEOUT 60368	TIMEOUT 60053	TIMEOUT 60053	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/165936.xml	TIMEOUT 60731	TIMEOUT 60044	TIMEOUT 60473	TIMEOUT 60052	TIMEOUT 60051	TIMEOUT 60054
tpdb-8.0/TRS/ICFP_2010/165975.xml	TIMEOUT 60592	TIMEOUT 60043	TIMEOUT 60472	TIMEOUT 60052	TIMEOUT 60057	TIMEOUT 60051
tpdb-8.0/TRS/ICFP_2010/166001.xml	TIMEOUT 60690	TIMEOUT 60046	TIMEOUT 60392	TIMEOUT 60051	TIMEOUT 60056	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/166465.xml	TIMEOUT 60729	TIMEOUT 60048	TIMEOUT 60438	TIMEOUT 60052	TIMEOUT 60091	TIMEOUT 60049
tpdb-8.0/TRS/ICFP_2010/166493.xml	TIMEOUT 60753	TIMEOUT 60050	TIMEOUT 60396	TIMEOUT 60057	TIMEOUT 60056	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/166558.xml	TIMEOUT 60664	TIMEOUT 60048	TIMEOUT 60485	TIMEOUT 60058	TIMEOUT 60055	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/166848.xml	TIMEOUT 60583	TIMEOUT 60047	TIMEOUT 60381	TIMEOUT 60079	TIMEOUT 60055	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/167041.xml	TIMEOUT 60662	TIMEOUT 60042	TIMEOUT 60426	TIMEOUT 60052	TIMEOUT 60091	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/167087.xml	TIMEOUT 60599	TIMEOUT 60049	TIMEOUT 60521	TIMEOUT 60056	TIMEOUT 60058	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/167240.xml	TIMEOUT 60968	TIMEOUT 60045	TIMEOUT 60359	TIMEOUT 60051	TIMEOUT 60084	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/167294.xml	TIMEOUT 60665	TIMEOUT 60047	TIMEOUT 60494	TIMEOUT 60056	TIMEOUT 60057	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/167310.xml	TIMEOUT 60874	TIMEOUT 60046	TIMEOUT 60322	TIMEOUT 60071	TIMEOUT 60087	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/167391.xml	TIMEOUT 61013	TIMEOUT 60068	TIMEOUT 60392	TIMEOUT 60051	TIMEOUT 60052	TIMEOUT 60050
tpdb-8.0/TRS/ICFP_2010/167433.xml	TIMEOUT 60814	TIMEOUT 60048	TIMEOUT 60489	TIMEOUT 60052	TIMEOUT 60057	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/167452.xml	TIMEOUT 60780	TIMEOUT 60044	TIMEOUT 60362	TIMEOUT 60058	TIMEOUT 60054	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/167526.xml	TIMEOUT 60954	TIMEOUT 60042	TIMEOUT 60437	TIMEOUT 60056	TIMEOUT 60092	TIMEOUT 60048
tpdb-8.0/TRS/ICFP_2010/167636.xml	YES 34493	TIMEOUT 60046	TIMEOUT 60518	TIMEOUT 60373	TIMEOUT 60050	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/167742.xml	YES 15176	TIMEOUT 60048	TIMEOUT 60500	TIMEOUT 60057	TIMEOUT 60058	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/180915.xml	TIMEOUT 60682	TIMEOUT 60043	TIMEOUT 60056	TIMEOUT 60050	TIMEOUT 60054	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/182946.xml	TIMEOUT 60743	TIMEOUT 60047	TIMEOUT 60051	TIMEOUT 60051	TIMEOUT 60051	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/183803.xml	TIMEOUT 60781	TIMEOUT 60043	TIMEOUT 60051	TIMEOUT 60050	TIMEOUT 60050	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/184957.xml	TIMEOUT 60706	TIMEOUT 60043	TIMEOUT 60049	TIMEOUT 60051	TIMEOUT 60061	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/185453.xml	TIMEOUT 60716	TIMEOUT 60047	TIMEOUT 60050	TIMEOUT 60051	TIMEOUT 60050	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/185628.xml	TIMEOUT 60805	TIMEOUT 60046	TIMEOUT 60055	TIMEOUT 60050	TIMEOUT 60053	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/186023.xml	YES 8015	TIMEOUT 60043	TIMEOUT 60049	TIMEOUT 60050	TIMEOUT 60047	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/186222.xml	TIMEOUT 60647	TIMEOUT 60046	TIMEOUT 60050	TIMEOUT 60050	TIMEOUT 60050	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/186333.xml	TIMEOUT 60731	TIMEOUT 60046	TIMEOUT 60054	TIMEOUT 60054	TIMEOUT 60053	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/186617.xml	TIMEOUT 60743	TIMEOUT 60049	TIMEOUT 60055	TIMEOUT 60050	TIMEOUT 60050	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/186775.xml	TIMEOUT 60699	TIMEOUT 60048	TIMEOUT 60050	TIMEOUT 60051	TIMEOUT 60053	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/186810.xml	TIMEOUT 60755	TIMEOUT 60042	TIMEOUT 60054	TIMEOUT 60055	TIMEOUT 60050	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/186919.xml	TIMEOUT 60678	TIMEOUT 60044	TIMEOUT 60055	TIMEOUT 60054	TIMEOUT 60050	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/186973.xml	TIMEOUT 60592	TIMEOUT 60046	TIMEOUT 60055	TIMEOUT 60049	TIMEOUT 60049	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/187254.xml	YES 9238	TIMEOUT 60044	TIMEOUT 60049	TIMEOUT 60053	TIMEOUT 60051	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/187837.xml	TIMEOUT 60759	TIMEOUT 60046	TIMEOUT 60053	TIMEOUT 60050	TIMEOUT 60049	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/188004.xml	TIMEOUT 60622	TIMEOUT 60048	TIMEOUT 60049	TIMEOUT 60051	TIMEOUT 60050	TIMEOUT 60049
tpdb-8.0/TRS/ICFP_2010/188238.xml	TIMEOUT 60699	TIMEOUT 60047	TIMEOUT 60055	TIMEOUT 60052	TIMEOUT 60054	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/188261.xml	TIMEOUT 60611	TIMEOUT 60043	TIMEOUT 60053	TIMEOUT 60050	TIMEOUT 60052	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/188296.xml	TIMEOUT 60687	TIMEOUT 60045	TIMEOUT 60054	TIMEOUT 60052	TIMEOUT 60055	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/188674.xml	YES 12526	TIMEOUT 60046	TIMEOUT 60052	TIMEOUT 60052	TIMEOUT 60050	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/188696.xml	TIMEOUT 60695	TIMEOUT 60043	TIMEOUT 60052	TIMEOUT 60054	TIMEOUT 60049	TIMEOUT 60050
tpdb-8.0/TRS/ICFP_2010/211471.xml	YES 1729	TIMEOUT 60092	YES 2106	TIMEOUT 60036	TIMEOUT 60062	TIMEOUT 60393
tpdb-8.0/TRS/ICFP_2010/211639.xml	YES 3036	TIMEOUT 60045	YES 11735	TIMEOUT 60052	TIMEOUT 60092	TIMEOUT 60163
tpdb-8.0/TRS/ICFP_2010/211857.xml	YES 6921	YES 10316	TIMEOUT 60037	TIMEOUT 60040	YES 658	YES 4954
tpdb-8.0/TRS/ICFP_2010/211915.xml	YES 11816	TIMEOUT 60086	TIMEOUT 60039	TIMEOUT 60035	TIMEOUT 60047	YES 3059
tpdb-8.0/TRS/ICFP_2010/211960.xml	YES 17742	TIMEOUT 60162	TIMEOUT 60043	TIMEOUT 60037	TIMEOUT 60050	TIMEOUT 60037
tpdb-8.0/TRS/ICFP_2010/211978.xml	YES 3512	YES 19092	TIMEOUT 60044	TIMEOUT 60155	YES 173	YES 43796
tpdb-8.0/TRS/ICFP_2010/212026.xml	YES 59971	TIMEOUT 60064	TIMEOUT 60046	TIMEOUT 60055	TIMEOUT 60050	TIMEOUT 60142
tpdb-8.0/TRS/ICFP_2010/212037.xml	YES 31303	TIMEOUT 60083	TIMEOUT 60053	TIMEOUT 60047	TIMEOUT 60053	YES 2977
tpdb-8.0/TRS/ICFP_2010/212043.xml	TIMEOUT 61122	TIMEOUT 60089	TIMEOUT 60059	TIMEOUT 60038	TIMEOUT 60045	YES 2341
tpdb-8.0/TRS/ICFP_2010/212062.xml	YES 2816	TIMEOUT 60069	TIMEOUT 60042	TIMEOUT 60050	YES 2175	YES 2880
tpdb-8.0/TRS/ICFP_2010/212094.xml	YES 12444	TIMEOUT 60085	TIMEOUT 60036	TIMEOUT 60040	TIMEOUT 60044	TIMEOUT 60235
tpdb-8.0/TRS/ICFP_2010/212117.xml	YES 9298	TIMEOUT 60077	TIMEOUT 60038	TIMEOUT 60037	TIMEOUT 60049	YES 3632
tpdb-8.0/TRS/ICFP_2010/212189.xml	TIMEOUT 61204	TIMEOUT 60082	TIMEOUT 60038	TIMEOUT 60170	TIMEOUT 60045	YES 4209
tpdb-8.0/TRS/ICFP_2010/212263.xml	YES 2784	TIMEOUT 60072	TIMEOUT 60053	TIMEOUT 60037	TIMEOUT 60047	YES 1895
tpdb-8.0/TRS/ICFP_2010/212308.xml	TIMEOUT 60998	TIMEOUT 60035	TIMEOUT 60043	TIMEOUT 60039	TIMEOUT 60047	TIMEOUT 119264
tpdb-8.0/TRS/ICFP_2010/212364.xml	TIMEOUT 61037	TIMEOUT 60090	TIMEOUT 60053	TIMEOUT 60128	TIMEOUT 60048	TIMEOUT 60208
tpdb-8.0/TRS/ICFP_2010/212421.xml	YES 31624	TIMEOUT 60084	TIMEOUT 60038	TIMEOUT 60039	TIMEOUT 60048	YES 2584
tpdb-8.0/TRS/ICFP_2010/212480.xml	YES 7899	TIMEOUT 60078	TIMEOUT 60043	TIMEOUT 60039	TIMEOUT 60052	YES 4237
tpdb-8.0/TRS/ICFP_2010/212534.xml	YES 24779	YES 42923	TIMEOUT 60047	TIMEOUT 60037	YES 8076	YES 3703
tpdb-8.0/TRS/ICFP_2010/212612.xml	TIMEOUT 61008	TIMEOUT 60086	TIMEOUT 60039	TIMEOUT 60287	TIMEOUT 60044	TIMEOUT 60162
tpdb-8.0/TRS/ICFP_2010/212693.xml	YES 2602	TIMEOUT 60073	TIMEOUT 60037	TIMEOUT 60036	TIMEOUT 60046	YES 3740
tpdb-8.0/TRS/ICFP_2010/212774.xml	YES 4420	TIMEOUT 60091	TIMEOUT 60045	TIMEOUT 60039	TIMEOUT 60047	YES 1883
tpdb-8.0/TRS/ICFP_2010/212795.xml	TIMEOUT 61121	TIMEOUT 60092	TIMEOUT 60040	TIMEOUT 60042	TIMEOUT 60051	YES 3047
tpdb-8.0/TRS/ICFP_2010/212892.xml	YES 15193	TIMEOUT 60080	TIMEOUT 60092	TIMEOUT 60260	TIMEOUT 60051	YES 44142
tpdb-8.0/TRS/ICFP_2010/213051.xml	YES 13861	TIMEOUT 60056	TIMEOUT 60051	TIMEOUT 60038	YES 3264	YES 33546
tpdb-8.0/TRS/ICFP_2010/213147.xml	YES 23928	TIMEOUT 60064	TIMEOUT 60055	TIMEOUT 60038	TIMEOUT 60046	YES 2983
tpdb-8.0/TRS/ICFP_2010/213218.xml	YES 3783	TIMEOUT 60084	TIMEOUT 60202	TIMEOUT 60039	YES 151	YES 2796
tpdb-8.0/TRS/ICFP_2010/213281.xml	YES 8638	TIMEOUT 60082	TIMEOUT 60045	TIMEOUT 60042	YES 1035	YES 2389
tpdb-8.0/TRS/ICFP_2010/213407.xml	YES 5269	TIMEOUT 60070	TIMEOUT 60046	TIMEOUT 60038	TIMEOUT 60053	YES 2199
tpdb-8.0/TRS/ICFP_2010/213437.xml	YES 26767	TIMEOUT 60083	TIMEOUT 60306	TIMEOUT 60256	TIMEOUT 60050	YES 3084
tpdb-8.0/TRS/ICFP_2010/213537.xml	YES 20238	YES 47574	TIMEOUT 60041	TIMEOUT 60036	YES 8178	YES 4733
tpdb-8.0/TRS/ICFP_2010/213560.xml	YES 26103	TIMEOUT 60063	TIMEOUT 60044	TIMEOUT 60041	TIMEOUT 60047	YES 2510
tpdb-8.0/TRS/ICFP_2010/213611.xml	YES 3417	TIMEOUT 60044	YES 26713	TIMEOUT 60236	TIMEOUT 60084	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/213719.xml	TIMEOUT 61185	TIMEOUT 60090	TIMEOUT 60049	TIMEOUT 60037	TIMEOUT 60046	YES 3017
tpdb-8.0/TRS/ICFP_2010/213865.xml	YES 17199	TIMEOUT 60057	TIMEOUT 60042	TIMEOUT 60037	TIMEOUT 60050	YES 2961
tpdb-8.0/TRS/ICFP_2010/214011.xml	YES 5033	TIMEOUT 60094	TIMEOUT 60045	TIMEOUT 60038	TIMEOUT 60046	YES 2817
tpdb-8.0/TRS/ICFP_2010/214091.xml	YES 3217	TIMEOUT 60083	TIMEOUT 60038	TIMEOUT 60036	YES 129	YES 2503
tpdb-8.0/TRS/ICFP_2010/214169.xml	YES 11531	TIMEOUT 60081	TIMEOUT 60246	TIMEOUT 60037	TIMEOUT 60047	YES 4431
tpdb-8.0/TRS/ICFP_2010/214183.xml	YES 13159	TIMEOUT 60074	TIMEOUT 60046	TIMEOUT 60217	TIMEOUT 60051	YES 4756
tpdb-8.0/TRS/ICFP_2010/214261.xml	YES 17631	TIMEOUT 60084	TIMEOUT 60047	TIMEOUT 60038	TIMEOUT 60047	TIMEOUT 60233
tpdb-8.0/TRS/ICFP_2010/214320.xml	YES 7404	TIMEOUT 60080	TIMEOUT 60038	TIMEOUT 60038	YES 615	TIMEOUT 60035
tpdb-8.0/TRS/ICFP_2010/230780.xml	YES 4280	TIMEOUT 60037	YES 60161	TIMEOUT 60066	TIMEOUT 60065	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/230819.xml	YES 2307	TIMEOUT 60038	YES 4230	TIMEOUT 60041	TIMEOUT 60082	TIMEOUT 60310
tpdb-8.0/TRS/ICFP_2010/230948.xml	YES 2662	TIMEOUT 60036	YES 10327	TIMEOUT 60059	TIMEOUT 60101	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/231043.xml	YES 3810	TIMEOUT 60043	YES 49206	TIMEOUT 60214	TIMEOUT 60069	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/231149.xml	YES 2522	TIMEOUT 60035	YES 8954	TIMEOUT 60040	TIMEOUT 60083	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/231230.xml	YES 3439	TIMEOUT 60041	YES 54050	TIMEOUT 60067	TIMEOUT 60057	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/231300.xml	YES 2892	TIMEOUT 60045	YES 18788	TIMEOUT 60050	TIMEOUT 60089	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/231378.xml	YES 3560	TIMEOUT 60040	YES 12610	TIMEOUT 60065	TIMEOUT 60085	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/231480.xml	YES 3666	TIMEOUT 60041	YES 32571	TIMEOUT 60074	TIMEOUT 60059	TIMEOUT 60050
tpdb-8.0/TRS/ICFP_2010/231604.xml	YES 4994	TIMEOUT 60037	YES 31182	TIMEOUT 60298	TIMEOUT 60065	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/24100.xml	TIMEOUT 61088	TIMEOUT 60085	TIMEOUT 60502	TIMEOUT 60039	TIMEOUT 60058	TIMEOUT 60372
tpdb-8.0/TRS/ICFP_2010/246924.xml	YES 3478	TIMEOUT 60040	YES 15078	TIMEOUT 60337	TIMEOUT 60092	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/247020.xml	YES 13718	TIMEOUT 60038	YES 60159	TIMEOUT 60094	TIMEOUT 60063	TIMEOUT 60037
tpdb-8.0/TRS/ICFP_2010/247254.xml	YES 4000	TIMEOUT 60042	YES 60169	TIMEOUT 60067	TIMEOUT 60066	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/247504.xml	YES 2981	TIMEOUT 60043	YES 9269	TIMEOUT 60051	TIMEOUT 60094	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/247906.xml	YES 21279	TIMEOUT 60043	YES 41952	TIMEOUT 60075	TIMEOUT 60071	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/247992.xml	YES 4318	TIMEOUT 60036	YES 13383	TIMEOUT 60388	TIMEOUT 60092	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/248060.xml	YES 3174	TIMEOUT 60039	YES 17739	TIMEOUT 60056	TIMEOUT 60101	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/249386.xml	YES 3249	TIMEOUT 60037	YES 16884	TIMEOUT 60055	TIMEOUT 60088	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/249459.xml	YES 3392	TIMEOUT 60030	YES 18215	TIMEOUT 60065	TIMEOUT 60083	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/249663.xml	YES 4213	TIMEOUT 60040	YES 60174	TIMEOUT 60074	TIMEOUT 60050	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/25192.xml	YES 778	YES 1548	YES 791	YES 1241	YES 102	YES 1545
tpdb-8.0/TRS/ICFP_2010/25388.xml	TIMEOUT 61166	TIMEOUT 60031	TIMEOUT 60257	TIMEOUT 60044	TIMEOUT 60067	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/25395.xml	TIMEOUT 61143	TIMEOUT 60031	TIMEOUT 60570	TIMEOUT 60042	TIMEOUT 60065	TIMEOUT 60036
tpdb-8.0/TRS/ICFP_2010/25409.xml	TIMEOUT 60946	TIMEOUT 60033	TIMEOUT 60562	TIMEOUT 60044	TIMEOUT 60061	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/25416.xml	TIMEOUT 60892	TIMEOUT 60031	TIMEOUT 60441	TIMEOUT 60042	TIMEOUT 60064	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/25422.xml	TIMEOUT 61113	TIMEOUT 60032	TIMEOUT 60480	TIMEOUT 60046	TIMEOUT 60065	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/254704.xml	TIMEOUT 60872	TIMEOUT 60060	TIMEOUT 60171	TIMEOUT 60100	TIMEOUT 60053	TIMEOUT 60289
tpdb-8.0/TRS/ICFP_2010/25711.xml	TIMEOUT 60958	TIMEOUT 60031	TIMEOUT 60459	TIMEOUT 60044	TIMEOUT 60063	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/25726.xml	TIMEOUT 60892	TIMEOUT 60030	TIMEOUT 60230	TIMEOUT 60044	TIMEOUT 60065	TIMEOUT 60059
tpdb-8.0/TRS/ICFP_2010/25731.xml	YES 867	TIMEOUT 60111	YES 10438	TIMEOUT 60034	TIMEOUT 60042	YES 936
tpdb-8.0/TRS/ICFP_2010/25734.xml	TIMEOUT 60926	TIMEOUT 60032	TIMEOUT 60405	TIMEOUT 60045	TIMEOUT 60064	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/25736.xml	TIMEOUT 61160	TIMEOUT 60031	TIMEOUT 60251	TIMEOUT 60045	TIMEOUT 60062	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/25743.xml	TIMEOUT 60985	TIMEOUT 60032	TIMEOUT 60416	TIMEOUT 60044	TIMEOUT 60061	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/25775.xml	TIMEOUT 60970	TIMEOUT 60032	TIMEOUT 60432	TIMEOUT 60044	TIMEOUT 60065	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/25808.xml	TIMEOUT 61131	TIMEOUT 60032	TIMEOUT 60446	TIMEOUT 60046	TIMEOUT 60074	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/25849.xml	TIMEOUT 60949	TIMEOUT 60032	TIMEOUT 60423	TIMEOUT 60044	TIMEOUT 60068	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/259405.xml	YES 16943	TIMEOUT 60051	TIMEOUT 60199	TIMEOUT 60089	TIMEOUT 60074	TIMEOUT 60340
tpdb-8.0/TRS/ICFP_2010/259625.xml	YES 16782	TIMEOUT 60050	TIMEOUT 60177	TIMEOUT 60087	TIMEOUT 60064	TIMEOUT 60265
tpdb-8.0/TRS/ICFP_2010/26069.xml	TIMEOUT 60906	TIMEOUT 60103	YES 33147	TIMEOUT 60033	TIMEOUT 60044	YES 1270
tpdb-8.0/TRS/ICFP_2010/26103.xml	TIMEOUT 61028	TIMEOUT 60105	YES 40448	TIMEOUT 60180	TIMEOUT 60042	YES 1669
tpdb-8.0/TRS/ICFP_2010/26105.xml	TIMEOUT 61081	TIMEOUT 60031	TIMEOUT 60639	TIMEOUT 60043	TIMEOUT 60061	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/26110.xml	TIMEOUT 60947	TIMEOUT 60032	TIMEOUT 60407	TIMEOUT 60043	TIMEOUT 60080	TIMEOUT 60037
tpdb-8.0/TRS/ICFP_2010/26116.xml	TIMEOUT 61033	TIMEOUT 60032	TIMEOUT 60404	TIMEOUT 60046	TIMEOUT 60068	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/26123.xml	YES 1187	TIMEOUT 60102	YES 33952	TIMEOUT 60391	TIMEOUT 60043	YES 2179
tpdb-8.0/TRS/ICFP_2010/26127.xml	TIMEOUT 61147	TIMEOUT 60032	TIMEOUT 60481	TIMEOUT 60043	TIMEOUT 60060	TIMEOUT 60037
tpdb-8.0/TRS/ICFP_2010/26130.xml	YES 1264	TIMEOUT 60114	YES 37958	TIMEOUT 60214	TIMEOUT 60043	YES 3083
tpdb-8.0/TRS/ICFP_2010/26132.xml	TIMEOUT 61060	TIMEOUT 60033	TIMEOUT 60625	TIMEOUT 60042	TIMEOUT 60067	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/26186.xml	YES 1328	TIMEOUT 60089	YES 52833	TIMEOUT 60033	TIMEOUT 60044	YES 4389
tpdb-8.0/TRS/ICFP_2010/26226.xml	TIMEOUT 61191	TIMEOUT 60100	YES 55572	TIMEOUT 60032	TIMEOUT 60048	YES 8194
tpdb-8.0/TRS/ICFP_2010/26291.xml	TIMEOUT 60899	TIMEOUT 60099	YES 46981	TIMEOUT 60033	TIMEOUT 60048	YES 8613
tpdb-8.0/TRS/ICFP_2010/262998.xml	YES 12816	TIMEOUT 60060	TIMEOUT 60230	TIMEOUT 60087	TIMEOUT 60049	TIMEOUT 60067
tpdb-8.0/TRS/ICFP_2010/263745.xml	YES 16219	TIMEOUT 60056	TIMEOUT 60242	TIMEOUT 60105	TIMEOUT 60054	TIMEOUT 60062
tpdb-8.0/TRS/ICFP_2010/264033.xml	YES 6648	YES 47468	TIMEOUT 60132	TIMEOUT 60383	TIMEOUT 60056	YES 2945
tpdb-8.0/TRS/ICFP_2010/264370.xml	YES 824	YES 73	YES 14476	YES 8101	YES 62	YES 922
tpdb-8.0/TRS/ICFP_2010/264405.xml	YES 820	YES 98	YES 10771	YES 7078	YES 66	YES 913
tpdb-8.0/TRS/ICFP_2010/26555.xml	YES 796	YES 1519	YES 647	YES 1227	YES 97	YES 1578
tpdb-8.0/TRS/ICFP_2010/26683.xml	TIMEOUT 60999	TIMEOUT 60085	YES 55576	TIMEOUT 60034	TIMEOUT 60061	YES 12710
tpdb-8.0/TRS/ICFP_2010/26741.xml	TIMEOUT 60905	TIMEOUT 60032	TIMEOUT 60426	TIMEOUT 60042	TIMEOUT 60067	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/26845.xml	TIMEOUT 60969	TIMEOUT 60031	TIMEOUT 60415	TIMEOUT 60046	TIMEOUT 60063	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/26862.xml	TIMEOUT 61174	TIMEOUT 60029	TIMEOUT 60505	TIMEOUT 60046	TIMEOUT 60064	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/26871.xml	TIMEOUT 61132	TIMEOUT 60034	TIMEOUT 60417	TIMEOUT 60044	TIMEOUT 60061	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/26875.xml	TIMEOUT 60888	TIMEOUT 60032	TIMEOUT 60456	TIMEOUT 60043	TIMEOUT 60063	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/26879.xml	TIMEOUT 61074	TIMEOUT 60031	TIMEOUT 60567	TIMEOUT 60046	TIMEOUT 60063	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/26882.xml	TIMEOUT 61031	TIMEOUT 60032	TIMEOUT 60291	TIMEOUT 60045	TIMEOUT 60067	TIMEOUT 60045
tpdb-8.0/TRS/ICFP_2010/26886.xml	TIMEOUT 61102	TIMEOUT 60028	TIMEOUT 60614	TIMEOUT 60044	TIMEOUT 60067	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/26896.xml	TIMEOUT 60908	TIMEOUT 60032	TIMEOUT 60445	TIMEOUT 60042	TIMEOUT 60090	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/26903.xml	TIMEOUT 61125	TIMEOUT 60032	TIMEOUT 60532	TIMEOUT 60043	TIMEOUT 60061	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/26910.xml	TIMEOUT 60797	TIMEOUT 60033	TIMEOUT 60567	TIMEOUT 60044	TIMEOUT 60072	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/26916.xml	TIMEOUT 60980	TIMEOUT 60032	TIMEOUT 60518	TIMEOUT 60042	TIMEOUT 60066	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/26919.xml	TIMEOUT 61096	TIMEOUT 60033	TIMEOUT 60456	TIMEOUT 60045	TIMEOUT 60065	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/26923.xml	TIMEOUT 61049	TIMEOUT 60032	TIMEOUT 60561	TIMEOUT 60042	TIMEOUT 60071	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/26927.xml	TIMEOUT 60766	TIMEOUT 60031	TIMEOUT 60570	TIMEOUT 60043	TIMEOUT 60071	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/26931.xml	TIMEOUT 60869	TIMEOUT 60032	TIMEOUT 60595	TIMEOUT 60046	TIMEOUT 60065	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/26933.xml	TIMEOUT 61155	TIMEOUT 60032	TIMEOUT 60569	TIMEOUT 60046	TIMEOUT 60062	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/26940.xml	TIMEOUT 61071	TIMEOUT 60031	TIMEOUT 60581	TIMEOUT 60042	TIMEOUT 60061	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/26943.xml	TIMEOUT 61164	TIMEOUT 60032	TIMEOUT 60478	TIMEOUT 60045	TIMEOUT 60067	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/26946.xml	TIMEOUT 61166	TIMEOUT 60032	TIMEOUT 60597	TIMEOUT 60043	TIMEOUT 60065	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/26949.xml	TIMEOUT 60917	TIMEOUT 60031	TIMEOUT 60405	TIMEOUT 60043	TIMEOUT 60058	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/26951.xml	TIMEOUT 61057	TIMEOUT 60028	TIMEOUT 60511	TIMEOUT 60043	TIMEOUT 60061	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/26954.xml	TIMEOUT 60954	TIMEOUT 60032	TIMEOUT 60556	TIMEOUT 60044	TIMEOUT 60069	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/26957.xml	TIMEOUT 60895	TIMEOUT 60032	TIMEOUT 60403	TIMEOUT 60045	TIMEOUT 60064	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/26960.xml	TIMEOUT 60960	TIMEOUT 60032	TIMEOUT 60535	TIMEOUT 60046	TIMEOUT 60063	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/26965.xml	TIMEOUT 61174	TIMEOUT 60033	TIMEOUT 60420	TIMEOUT 60044	TIMEOUT 60064	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/26969.xml	TIMEOUT 60989	TIMEOUT 60032	TIMEOUT 60550	TIMEOUT 60044	TIMEOUT 60061	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/26972.xml	TIMEOUT 61083	TIMEOUT 60029	TIMEOUT 60450	TIMEOUT 60045	TIMEOUT 60068	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/26974.xml	TIMEOUT 61050	TIMEOUT 60032	TIMEOUT 60532	TIMEOUT 60043	TIMEOUT 60064	TIMEOUT 60061
tpdb-8.0/TRS/ICFP_2010/26976.xml	TIMEOUT 61176	TIMEOUT 60033	TIMEOUT 60411	TIMEOUT 60042	TIMEOUT 60069	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/26978.xml	TIMEOUT 61157	TIMEOUT 60032	TIMEOUT 60434	TIMEOUT 60045	TIMEOUT 60065	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/26980.xml	TIMEOUT 61115	TIMEOUT 60030	TIMEOUT 60646	TIMEOUT 60046	TIMEOUT 60061	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/26986.xml	TIMEOUT 61185	TIMEOUT 60031	TIMEOUT 60411	TIMEOUT 60043	TIMEOUT 60070	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/26993.xml	TIMEOUT 60905	TIMEOUT 60033	TIMEOUT 60440	TIMEOUT 60044	TIMEOUT 60066	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/26998.xml	TIMEOUT 60808	TIMEOUT 60033	TIMEOUT 60565	TIMEOUT 60045	TIMEOUT 60060	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/27001.xml	TIMEOUT 61218	TIMEOUT 60031	TIMEOUT 60438	TIMEOUT 60044	TIMEOUT 60061	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/27003.xml	TIMEOUT 61179	TIMEOUT 60032	TIMEOUT 60452	TIMEOUT 60042	TIMEOUT 60068	TIMEOUT 60037
tpdb-8.0/TRS/ICFP_2010/27006.xml	TIMEOUT 60944	TIMEOUT 60031	TIMEOUT 60397	TIMEOUT 60045	TIMEOUT 60062	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/27009.xml	TIMEOUT 60950	TIMEOUT 60032	TIMEOUT 60445	TIMEOUT 60045	TIMEOUT 60066	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/27013.xml	TIMEOUT 61175	TIMEOUT 60031	TIMEOUT 60392	TIMEOUT 60043	TIMEOUT 60063	TIMEOUT 60039
tpdb-8.0/TRS/ICFP_2010/27015.xml	TIMEOUT 60962	TIMEOUT 60029	TIMEOUT 60406	TIMEOUT 60044	TIMEOUT 60063	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/27019.xml	TIMEOUT 61069	TIMEOUT 60031	TIMEOUT 60400	TIMEOUT 60043	TIMEOUT 60062	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/27023.xml	TIMEOUT 60935	TIMEOUT 60031	TIMEOUT 60401	TIMEOUT 60045	TIMEOUT 60069	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/27026.xml	TIMEOUT 60984	TIMEOUT 60032	TIMEOUT 60438	TIMEOUT 60045	TIMEOUT 60069	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/27028.xml	TIMEOUT 60970	TIMEOUT 60031	TIMEOUT 60485	TIMEOUT 60044	TIMEOUT 60065	TIMEOUT 60037
tpdb-8.0/TRS/ICFP_2010/27030.xml	TIMEOUT 60976	TIMEOUT 60086	TIMEOUT 60037	TIMEOUT 60040	TIMEOUT 60048	YES 8443
tpdb-8.0/TRS/ICFP_2010/27034.xml	TIMEOUT 61012	TIMEOUT 60032	TIMEOUT 60536	TIMEOUT 60046	TIMEOUT 60060	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/27036.xml	TIMEOUT 61189	TIMEOUT 60033	TIMEOUT 60571	TIMEOUT 60042	TIMEOUT 60064	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/27039.xml	TIMEOUT 60996	TIMEOUT 60032	TIMEOUT 60530	TIMEOUT 60045	TIMEOUT 60064	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/27131.xml	TIMEOUT 61916	TIMEOUT 60097	TIMEOUT 60037	TIMEOUT 60036	TIMEOUT 60055	YES 9001
tpdb-8.0/TRS/ICFP_2010/27134.xml	TIMEOUT 61206	TIMEOUT 60089	TIMEOUT 60037	TIMEOUT 60115	TIMEOUT 60049	YES 9728
tpdb-8.0/TRS/ICFP_2010/27213.xml	TIMEOUT 61164	TIMEOUT 60106	TIMEOUT 60214	TIMEOUT 60035	TIMEOUT 60048	YES 10091
tpdb-8.0/TRS/ICFP_2010/27235.xml	TIMEOUT 61144	TIMEOUT 60093	TIMEOUT 60037	TIMEOUT 60088	TIMEOUT 60050	YES 10238
tpdb-8.0/TRS/ICFP_2010/27280.xml	TIMEOUT 60909	TIMEOUT 60083	TIMEOUT 60038	TIMEOUT 60349	TIMEOUT 60046	YES 17018
tpdb-8.0/TRS/ICFP_2010/28293.xml	TIMEOUT 60967	TIMEOUT 60095	TIMEOUT 60111	TIMEOUT 60038	TIMEOUT 60051	YES 17518
tpdb-8.0/TRS/ICFP_2010/28464.xml	TIMEOUT 60907	TIMEOUT 60076	TIMEOUT 60038	TIMEOUT 60041	TIMEOUT 60049	YES 16626
tpdb-8.0/TRS/ICFP_2010/28643.xml	TIMEOUT 60890	TIMEOUT 60075	TIMEOUT 60295	TIMEOUT 60038	TIMEOUT 60047	YES 18061
tpdb-8.0/TRS/ICFP_2010/28838.xml	TIMEOUT 60926	TIMEOUT 60059	TIMEOUT 60039	TIMEOUT 60038	TIMEOUT 60046	YES 18760
tpdb-8.0/TRS/ICFP_2010/29415.xml	YES 19591	TIMEOUT 60048	TIMEOUT 60071	TIMEOUT 60068	TIMEOUT 60054	TIMEOUT 60054
tpdb-8.0/TRS/ICFP_2010/3268.xml	YES 18273	TIMEOUT 60078	TIMEOUT 60047	YES 23073	TIMEOUT 60048	YES 1403
tpdb-8.0/TRS/ICFP_2010/3336.xml	YES 9341	YES 10690	TIMEOUT 60041	YES 15412	YES 3026	YES 1830
tpdb-8.0/TRS/ICFP_2010/3385.xml	YES 19509	TIMEOUT 60082	TIMEOUT 60042	TIMEOUT 60181	TIMEOUT 60051	YES 1684
tpdb-8.0/TRS/ICFP_2010/3450.xml	TIMEOUT 60969	TIMEOUT 60091	TIMEOUT 60120	TIMEOUT 60037	TIMEOUT 60050	TIMEOUT 60273
tpdb-8.0/TRS/ICFP_2010/3467.xml	TIMEOUT 61039	TIMEOUT 60087	TIMEOUT 60120	TIMEOUT 60037	TIMEOUT 60046	TIMEOUT 60189
tpdb-8.0/TRS/ICFP_2010/3498.xml	TIMEOUT 60956	TIMEOUT 60079	TIMEOUT 60184	TIMEOUT 60039	TIMEOUT 60046	TIMEOUT 60265
tpdb-8.0/TRS/ICFP_2010/3533.xml	TIMEOUT 61091	TIMEOUT 60087	TIMEOUT 60111	TIMEOUT 60038	TIMEOUT 60051	YES 4420
tpdb-8.0/TRS/ICFP_2010/3562.xml	TIMEOUT 61156	TIMEOUT 60029	TIMEOUT 60101	TIMEOUT 60079	TIMEOUT 60050	TIMEOUT 60238
tpdb-8.0/TRS/ICFP_2010/3589.xml	TIMEOUT 60978	TIMEOUT 60092	TIMEOUT 60169	TIMEOUT 60035	TIMEOUT 60050	TIMEOUT 60212
tpdb-8.0/TRS/ICFP_2010/3633.xml	TIMEOUT 61125	TIMEOUT 60095	TIMEOUT 60374	TIMEOUT 60047	TIMEOUT 60051	TIMEOUT 60154
tpdb-8.0/TRS/ICFP_2010/3680.xml	TIMEOUT 60958	TIMEOUT 60080	TIMEOUT 60333	TIMEOUT 60039	TIMEOUT 60057	TIMEOUT 60238
tpdb-8.0/TRS/ICFP_2010/3705.xml	TIMEOUT 60952	TIMEOUT 60090	TIMEOUT 60239	TIMEOUT 60035	TIMEOUT 60051	TIMEOUT 60255
tpdb-8.0/TRS/ICFP_2010/3729.xml	TIMEOUT 61147	TIMEOUT 60079	TIMEOUT 60221	TIMEOUT 60043	TIMEOUT 60047	TIMEOUT 60258
tpdb-8.0/TRS/ICFP_2010/3746.xml	YES 4973	TIMEOUT 60050	TIMEOUT 60300	TIMEOUT 60036	TIMEOUT 60054	TIMEOUT 60240
tpdb-8.0/TRS/ICFP_2010/3762.xml	TIMEOUT 61131	TIMEOUT 60029	TIMEOUT 60461	TIMEOUT 60175	TIMEOUT 60049	TIMEOUT 60224
tpdb-8.0/TRS/ICFP_2010/3770.xml	TIMEOUT 61085	TIMEOUT 60055	TIMEOUT 60078	TIMEOUT 60161	TIMEOUT 60045	YES 1576
tpdb-8.0/TRS/ICFP_2010/3786.xml	TIMEOUT 61138	TIMEOUT 60101	TIMEOUT 60096	TIMEOUT 60038	TIMEOUT 60049	YES 4498
tpdb-8.0/TRS/ICFP_2010/3817.xml	TIMEOUT 60865	TIMEOUT 60086	TIMEOUT 60092	TIMEOUT 60038	TIMEOUT 60049	TIMEOUT 60292
tpdb-8.0/TRS/ICFP_2010/3831.xml	TIMEOUT 60948	TIMEOUT 60076	TIMEOUT 60316	TIMEOUT 60038	TIMEOUT 60051	TIMEOUT 60221
tpdb-8.0/TRS/ICFP_2010/3842.xml	TIMEOUT 60931	TIMEOUT 60084	TIMEOUT 60178	TIMEOUT 60049	TIMEOUT 60048	TIMEOUT 60223
tpdb-8.0/TRS/ICFP_2010/3856.xml	TIMEOUT 60890	TIMEOUT 60077	TIMEOUT 60783	TIMEOUT 60039	TIMEOUT 60048	TIMEOUT 60263
tpdb-8.0/TRS/ICFP_2010/3861.xml	TIMEOUT 60937	TIMEOUT 60098	TIMEOUT 60172	TIMEOUT 60035	TIMEOUT 60077	TIMEOUT 60159
tpdb-8.0/TRS/ICFP_2010/3865.xml	TIMEOUT 60899	TIMEOUT 60102	TIMEOUT 60159	TIMEOUT 60037	TIMEOUT 60046	TIMEOUT 60239
tpdb-8.0/TRS/ICFP_2010/3916.xml	TIMEOUT 60950	TIMEOUT 60083	TIMEOUT 60212	TIMEOUT 60034	TIMEOUT 60050	TIMEOUT 60248
tpdb-8.0/TRS/ICFP_2010/3927.xml	TIMEOUT 60798	TIMEOUT 60039	TIMEOUT 60381	TIMEOUT 60092	TIMEOUT 60050	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/3930.xml	TIMEOUT 61076	TIMEOUT 60089	TIMEOUT 60103	TIMEOUT 60327	TIMEOUT 60050	TIMEOUT 60223
tpdb-8.0/TRS/ICFP_2010/3939.xml	TIMEOUT 60940	TIMEOUT 60090	TIMEOUT 60111	TIMEOUT 60036	TIMEOUT 60046	TIMEOUT 60229
tpdb-8.0/TRS/ICFP_2010/39830.xml	TIMEOUT 60891	TIMEOUT 60043	TIMEOUT 60385	TIMEOUT 60054	TIMEOUT 60089	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/39849.xml	YES 29759	TIMEOUT 60072	TIMEOUT 60044	TIMEOUT 60038	TIMEOUT 60050	TIMEOUT 60187
tpdb-8.0/TRS/ICFP_2010/3989.xml	TIMEOUT 60967	TIMEOUT 60093	TIMEOUT 60119	TIMEOUT 60222	TIMEOUT 60050	YES 3376
tpdb-8.0/TRS/ICFP_2010/3995.xml	TIMEOUT 61158	TIMEOUT 60087	TIMEOUT 60156	TIMEOUT 60039	TIMEOUT 60051	TIMEOUT 60291
tpdb-8.0/TRS/ICFP_2010/4002.xml	YES 15171	TIMEOUT 60107	TIMEOUT 60040	TIMEOUT 60035	TIMEOUT 60046	YES 1476
tpdb-8.0/TRS/ICFP_2010/40033.xml	TIMEOUT 60711	TIMEOUT 60037	TIMEOUT 60389	TIMEOUT 60055	TIMEOUT 60072	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/40093.xml	YES 913	TIMEOUT 60114	YES 16349	TIMEOUT 60033	TIMEOUT 60041	YES 1030
tpdb-8.0/TRS/ICFP_2010/4017.xml	TIMEOUT 61165	TIMEOUT 60075	TIMEOUT 60296	TIMEOUT 60037	TIMEOUT 60050	TIMEOUT 60250
tpdb-8.0/TRS/ICFP_2010/4029.xml	TIMEOUT 61177	TIMEOUT 60098	TIMEOUT 60080	TIMEOUT 60036	TIMEOUT 60050	TIMEOUT 60269
tpdb-8.0/TRS/ICFP_2010/4036.xml	TIMEOUT 61045	TIMEOUT 60083	TIMEOUT 60223	TIMEOUT 60214	TIMEOUT 60047	TIMEOUT 60196
tpdb-8.0/TRS/ICFP_2010/4046.xml	YES 1745	TIMEOUT 60084	TIMEOUT 60241	TIMEOUT 60036	TIMEOUT 60046	YES 1190
tpdb-8.0/TRS/ICFP_2010/4051.xml	TIMEOUT 61159	TIMEOUT 60092	TIMEOUT 60231	TIMEOUT 60040	TIMEOUT 60051	TIMEOUT 60267
tpdb-8.0/TRS/ICFP_2010/40540.xml	YES 15923	TIMEOUT 60043	TIMEOUT 60303	TIMEOUT 60055	TIMEOUT 60079	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/4057.xml	TIMEOUT 60935	TIMEOUT 60078	TIMEOUT 60160	TIMEOUT 60035	TIMEOUT 60052	TIMEOUT 60258
tpdb-8.0/TRS/ICFP_2010/40708.xml	TIMEOUT 60965	TIMEOUT 60125	TIMEOUT 60033	TIMEOUT 60049	TIMEOUT 60254	YES 1280
tpdb-8.0/TRS/ICFP_2010/4074.xml	TIMEOUT 61086	TIMEOUT 60078	TIMEOUT 60360	TIMEOUT 60037	TIMEOUT 60052	TIMEOUT 60210
tpdb-8.0/TRS/ICFP_2010/40976.xml	YES 25535	TIMEOUT 60039	TIMEOUT 60212	TIMEOUT 60051	TIMEOUT 60067	TIMEOUT 60049
tpdb-8.0/TRS/ICFP_2010/4106.xml	TIMEOUT 61006	TIMEOUT 60028	TIMEOUT 60053	TIMEOUT 60035	TIMEOUT 60047	TIMEOUT 60224
tpdb-8.0/TRS/ICFP_2010/41378.xml	TIMEOUT 60676	TIMEOUT 60044	TIMEOUT 60450	TIMEOUT 60064	TIMEOUT 60065	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/4141.xml	TIMEOUT 61096	TIMEOUT 60029	TIMEOUT 60111	TIMEOUT 60036	TIMEOUT 60050	TIMEOUT 60197
tpdb-8.0/TRS/ICFP_2010/41427.xml	TIMEOUT 60688	TIMEOUT 60041	TIMEOUT 60376	TIMEOUT 60051	TIMEOUT 60072	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/4157.xml	TIMEOUT 60964	TIMEOUT 60085	TIMEOUT 60159	TIMEOUT 60036	TIMEOUT 60052	TIMEOUT 60255
tpdb-8.0/TRS/ICFP_2010/41688.xml	TIMEOUT 60871	TIMEOUT 60039	TIMEOUT 60304	TIMEOUT 60051	TIMEOUT 60076	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/4181.xml	YES 3128	TIMEOUT 60100	TIMEOUT 60525	TIMEOUT 60036	TIMEOUT 60050	TIMEOUT 60198
tpdb-8.0/TRS/ICFP_2010/41838.xml	TIMEOUT 61225	TIMEOUT 60060	TIMEOUT 60054	TIMEOUT 60039	TIMEOUT 60068	TIMEOUT 60216
tpdb-8.0/TRS/ICFP_2010/41843.xml	TIMEOUT 61140	TIMEOUT 60085	TIMEOUT 60054	TIMEOUT 60146	TIMEOUT 60060	TIMEOUT 60208
tpdb-8.0/TRS/ICFP_2010/41865.xml	TIMEOUT 60842	TIMEOUT 60043	TIMEOUT 60305	TIMEOUT 60053	TIMEOUT 60080	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/4200.xml	TIMEOUT 61110	TIMEOUT 60086	TIMEOUT 60162	TIMEOUT 60036	TIMEOUT 60047	TIMEOUT 60234
tpdb-8.0/TRS/ICFP_2010/4206.xml	TIMEOUT 61063	TIMEOUT 60038	TIMEOUT 60364	TIMEOUT 60090	TIMEOUT 60050	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/42170.xml	TIMEOUT 60712	TIMEOUT 60038	TIMEOUT 60392	TIMEOUT 60056	TIMEOUT 60068	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/42321.xml	YES 15866	TIMEOUT 60046	TIMEOUT 60320	TIMEOUT 60054	TIMEOUT 60081	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/42466.xml	TIMEOUT 60706	TIMEOUT 60038	TIMEOUT 60296	TIMEOUT 60054	TIMEOUT 60075	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/4248.xml	TIMEOUT 61186	TIMEOUT 60097	TIMEOUT 60343	TIMEOUT 60036	TIMEOUT 60046	TIMEOUT 60172
tpdb-8.0/TRS/ICFP_2010/42683.xml	YES 16823	TIMEOUT 60045	TIMEOUT 60402	TIMEOUT 60054	TIMEOUT 60091	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/4282.xml	TIMEOUT 60897	TIMEOUT 60094	TIMEOUT 60354	TIMEOUT 60188	TIMEOUT 60049	TIMEOUT 60264
tpdb-8.0/TRS/ICFP_2010/4314.xml	TIMEOUT 60921	TIMEOUT 60095	TIMEOUT 60193	TIMEOUT 60039	TIMEOUT 60049	TIMEOUT 60240
tpdb-8.0/TRS/ICFP_2010/43266.xml	TIMEOUT 60800	TIMEOUT 60040	TIMEOUT 60386	TIMEOUT 60047	TIMEOUT 60073	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/43603.xml	TIMEOUT 60941	TIMEOUT 60052	TIMEOUT 60329	TIMEOUT 60104	TIMEOUT 60053	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/43621.xml	TIMEOUT 60948	TIMEOUT 60052	TIMEOUT 60380	TIMEOUT 60050	TIMEOUT 60103	TIMEOUT 60050
tpdb-8.0/TRS/ICFP_2010/43650.xml	TIMEOUT 60887	TIMEOUT 60046	TIMEOUT 60365	TIMEOUT 60093	TIMEOUT 60054	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/4374.xml	TIMEOUT 60907	TIMEOUT 60085	TIMEOUT 60226	TIMEOUT 60037	TIMEOUT 60047	TIMEOUT 60232
tpdb-8.0/TRS/ICFP_2010/43987.xml	TIMEOUT 60694	TIMEOUT 60040	TIMEOUT 60379	TIMEOUT 60054	TIMEOUT 60070	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/4412.xml	TIMEOUT 60992	TIMEOUT 60090	TIMEOUT 60263	TIMEOUT 60043	TIMEOUT 60049	TIMEOUT 60208
tpdb-8.0/TRS/ICFP_2010/44332.xml	YES 15491	TIMEOUT 60045	TIMEOUT 60306	TIMEOUT 60055	TIMEOUT 60101	TIMEOUT 60049
tpdb-8.0/TRS/ICFP_2010/4484.xml	TIMEOUT 60934	TIMEOUT 60102	TIMEOUT 60077	TIMEOUT 60037	TIMEOUT 60053	TIMEOUT 60212
tpdb-8.0/TRS/ICFP_2010/4487.xml	TIMEOUT 61177	TIMEOUT 60136	TIMEOUT 60381	TIMEOUT 60037	TIMEOUT 60050	TIMEOUT 60185
tpdb-8.0/TRS/ICFP_2010/45720.xml	TIMEOUT 61058	TIMEOUT 60087	TIMEOUT 60052	TIMEOUT 60040	TIMEOUT 60048	TIMEOUT 60217
tpdb-8.0/TRS/ICFP_2010/45757.xml	TIMEOUT 61041	TIMEOUT 60087	TIMEOUT 60104	TIMEOUT 60038	TIMEOUT 60045	TIMEOUT 60442
tpdb-8.0/TRS/ICFP_2010/45970.xml	TIMEOUT 60564	TIMEOUT 60036	TIMEOUT 60261	TIMEOUT 60056	TIMEOUT 60084	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/4816.xml	TIMEOUT 60942	TIMEOUT 60081	TIMEOUT 60894	TIMEOUT 60037	TIMEOUT 60052	TIMEOUT 60259
tpdb-8.0/TRS/ICFP_2010/4819.xml	TIMEOUT 61200	TIMEOUT 60088	TIMEOUT 60259	TIMEOUT 60041	TIMEOUT 60047	TIMEOUT 60256
tpdb-8.0/TRS/ICFP_2010/4824.xml	TIMEOUT 61053	TIMEOUT 60090	TIMEOUT 60575	TIMEOUT 60038	TIMEOUT 60051	TIMEOUT 60220
tpdb-8.0/TRS/ICFP_2010/48262.xml	TIMEOUT 61182	TIMEOUT 60092	TIMEOUT 60054	TIMEOUT 60037	TIMEOUT 60051	TIMEOUT 60207
tpdb-8.0/TRS/ICFP_2010/48267.xml	TIMEOUT 61145	TIMEOUT 60088	TIMEOUT 60081	TIMEOUT 60035	TIMEOUT 60049	TIMEOUT 60188
tpdb-8.0/TRS/ICFP_2010/4827.xml	TIMEOUT 61172	TIMEOUT 60040	TIMEOUT 60078	TIMEOUT 60275	TIMEOUT 60051	YES 4399
tpdb-8.0/TRS/ICFP_2010/48328.xml	TIMEOUT 61147	TIMEOUT 60030	TIMEOUT 60117	TIMEOUT 60035	TIMEOUT 60052	TIMEOUT 60181
tpdb-8.0/TRS/ICFP_2010/48374.xml	TIMEOUT 60803	TIMEOUT 60074	TIMEOUT 60099	TIMEOUT 60034	TIMEOUT 60052	TIMEOUT 60127
tpdb-8.0/TRS/ICFP_2010/4840.xml	TIMEOUT 61258	TIMEOUT 60090	TIMEOUT 60063	TIMEOUT 60035	TIMEOUT 60047	YES 2709
tpdb-8.0/TRS/ICFP_2010/4847.xml	TIMEOUT 61056	TIMEOUT 60085	TIMEOUT 60142	TIMEOUT 60191	TIMEOUT 60044	TIMEOUT 60265
tpdb-8.0/TRS/ICFP_2010/4854.xml	TIMEOUT 61136	TIMEOUT 60082	TIMEOUT 60088	TIMEOUT 60038	TIMEOUT 60046	TIMEOUT 60196
tpdb-8.0/TRS/ICFP_2010/48686.xml	TIMEOUT 61093	TIMEOUT 60034	TIMEOUT 60382	TIMEOUT 60057	TIMEOUT 60087	TIMEOUT 60049
tpdb-8.0/TRS/ICFP_2010/4893.xml	TIMEOUT 60989	TIMEOUT 60085	TIMEOUT 60169	TIMEOUT 60214	TIMEOUT 60051	TIMEOUT 60237
tpdb-8.0/TRS/ICFP_2010/4920.xml	TIMEOUT 61197	TIMEOUT 60046	TIMEOUT 60124	TIMEOUT 60037	TIMEOUT 60048	TIMEOUT 60266
tpdb-8.0/TRS/ICFP_2010/4934.xml	TIMEOUT 61094	TIMEOUT 60100	TIMEOUT 60073	TIMEOUT 60036	TIMEOUT 60051	TIMEOUT 60261
tpdb-8.0/TRS/ICFP_2010/4938.xml	TIMEOUT 60917	TIMEOUT 60072	TIMEOUT 60125	TIMEOUT 60036	TIMEOUT 60050	TIMEOUT 60194
tpdb-8.0/TRS/ICFP_2010/4943.xml	TIMEOUT 61203	TIMEOUT 60074	TIMEOUT 60323	TIMEOUT 60036	TIMEOUT 60049	TIMEOUT 60199
tpdb-8.0/TRS/ICFP_2010/4953.xml	TIMEOUT 61158	TIMEOUT 60079	TIMEOUT 60451	TIMEOUT 60156	TIMEOUT 60050	TIMEOUT 60230
tpdb-8.0/TRS/ICFP_2010/4964.xml	TIMEOUT 61009	TIMEOUT 60099	TIMEOUT 60095	TIMEOUT 60037	TIMEOUT 60050	TIMEOUT 60288
tpdb-8.0/TRS/ICFP_2010/4970.xml	TIMEOUT 60949	TIMEOUT 60079	TIMEOUT 60041	TIMEOUT 60050	TIMEOUT 60045	YES 2321
tpdb-8.0/TRS/ICFP_2010/4979.xml	TIMEOUT 60966	TIMEOUT 60089	TIMEOUT 60391	TIMEOUT 60036	TIMEOUT 60048	TIMEOUT 60117
tpdb-8.0/TRS/ICFP_2010/4991.xml	TIMEOUT 60877	TIMEOUT 60124	TIMEOUT 60071	TIMEOUT 60035	TIMEOUT 60046	TIMEOUT 60316
tpdb-8.0/TRS/ICFP_2010/5011.xml	TIMEOUT 61087	TIMEOUT 60100	TIMEOUT 60044	TIMEOUT 60036	TIMEOUT 60047	YES 2319
tpdb-8.0/TRS/ICFP_2010/5076.xml	YES 49387	TIMEOUT 60103	TIMEOUT 60072	TIMEOUT 60036	TIMEOUT 60051	YES 3469
tpdb-8.0/TRS/ICFP_2010/50904.xml	TIMEOUT 60798	TIMEOUT 60037	TIMEOUT 60279	TIMEOUT 60051	TIMEOUT 60091	TIMEOUT 60042
tpdb-8.0/TRS/ICFP_2010/5109.xml	TIMEOUT 60912	TIMEOUT 60105	TIMEOUT 60698	TIMEOUT 60042	TIMEOUT 60050	TIMEOUT 60231
tpdb-8.0/TRS/ICFP_2010/5130.xml	TIMEOUT 61188	TIMEOUT 60087	TIMEOUT 60598	TIMEOUT 60039	TIMEOUT 60045	TIMEOUT 60269
tpdb-8.0/TRS/ICFP_2010/51424.xml	TIMEOUT 60824	TIMEOUT 60044	TIMEOUT 60285	TIMEOUT 60090	TIMEOUT 60049	TIMEOUT 60046
tpdb-8.0/TRS/ICFP_2010/51577.xml	TIMEOUT 60905	TIMEOUT 60044	TIMEOUT 60335	TIMEOUT 60088	TIMEOUT 60076	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/51842.xml	TIMEOUT 60773	TIMEOUT 60041	TIMEOUT 60382	TIMEOUT 60104	TIMEOUT 60052	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/53216.xml	TIMEOUT 60794	TIMEOUT 60050	TIMEOUT 60300	TIMEOUT 60103	TIMEOUT 60050	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/54097.xml	TIMEOUT 60790	TIMEOUT 60044	TIMEOUT 60536	TIMEOUT 60080	TIMEOUT 60049	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/54532.xml	YES 3102	TIMEOUT 60030	YES 49521	YES 59586	YES 15294	YES 31067
tpdb-8.0/TRS/ICFP_2010/54622.xml	YES 2991	TIMEOUT 60028	YES 35032	TIMEOUT 60109	YES 15033	YES 31355
tpdb-8.0/TRS/ICFP_2010/56144.xml	TIMEOUT 60869	TIMEOUT 60044	TIMEOUT 60349	TIMEOUT 60048	TIMEOUT 60473	TIMEOUT 60047
tpdb-8.0/TRS/ICFP_2010/57132.xml	TIMEOUT 60958	TIMEOUT 60063	TIMEOUT 60572	TIMEOUT 60040	TIMEOUT 60074	TIMEOUT 60211
tpdb-8.0/TRS/ICFP_2010/57278.xml	TIMEOUT 60931	TIMEOUT 60081	TIMEOUT 60142	TIMEOUT 60040	TIMEOUT 60061	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/57355.xml	TIMEOUT 61191	TIMEOUT 60095	TIMEOUT 60044	TIMEOUT 60038	TIMEOUT 60048	TIMEOUT 60136
tpdb-8.0/TRS/ICFP_2010/57453.xml	TIMEOUT 60981	TIMEOUT 60072	TIMEOUT 60720	TIMEOUT 60043	TIMEOUT 60054	TIMEOUT 60277
tpdb-8.0/TRS/ICFP_2010/57799.xml	YES 36132	TIMEOUT 60087	TIMEOUT 60046	TIMEOUT 60034	YES 23246	TIMEOUT 60079
tpdb-8.0/TRS/ICFP_2010/57852.xml	YES 22863	TIMEOUT 60052	TIMEOUT 60409	TIMEOUT 60069	TIMEOUT 60052	TIMEOUT 60079
tpdb-8.0/TRS/ICFP_2010/58125.xml	TIMEOUT 60689	TIMEOUT 60053	TIMEOUT 60372	TIMEOUT 60073	TIMEOUT 60051	TIMEOUT 60059
tpdb-8.0/TRS/ICFP_2010/58194.xml	TIMEOUT 61270	TIMEOUT 60160	TIMEOUT 60052	TIMEOUT 60038	TIMEOUT 60048	TIMEOUT 60211
tpdb-8.0/TRS/ICFP_2010/58221.xml	TIMEOUT 61100	TIMEOUT 60068	TIMEOUT 60544	TIMEOUT 60038	TIMEOUT 60052	TIMEOUT 60236
tpdb-8.0/TRS/ICFP_2010/58301.xml	YES 32435	YES 38775	TIMEOUT 60053	TIMEOUT 60035	YES 31710	TIMEOUT 60324
tpdb-8.0/TRS/ICFP_2010/63142.xml	YES 5405	TIMEOUT 60100	TIMEOUT 60051	TIMEOUT 60036	TIMEOUT 60047	TIMEOUT 60212
tpdb-8.0/TRS/ICFP_2010/64160.xml	TIMEOUT 60961	TIMEOUT 60110	TIMEOUT 60040	YES 21702	TIMEOUT 60045	YES 1467
tpdb-8.0/TRS/ICFP_2010/65081.xml	YES 2005	TIMEOUT 60067	YES 10715	TIMEOUT 60039	TIMEOUT 60051	YES 2437
tpdb-8.0/TRS/ICFP_2010/68322.xml	TIMEOUT 60952	TIMEOUT 60087	TIMEOUT 60454	TIMEOUT 60040	TIMEOUT 60054	TIMEOUT 60192
tpdb-8.0/TRS/ICFP_2010/68535.xml	YES 59682	TIMEOUT 60028	TIMEOUT 60184	TIMEOUT 60040	TIMEOUT 60061	YES 4066
tpdb-8.0/TRS/ICFP_2010/68989.xml	YES 3507	TIMEOUT 60111	TIMEOUT 60187	TIMEOUT 60374	TIMEOUT 60053	YES 3435
tpdb-8.0/TRS/ICFP_2010/81452.xml	TIMEOUT 60955	TIMEOUT 60097	TIMEOUT 60149	TIMEOUT 60039	TIMEOUT 60052	YES 3988
tpdb-8.0/TRS/ICFP_2010/84886.xml	TIMEOUT 61096	TIMEOUT 60030	TIMEOUT 60703	TIMEOUT 60039	TIMEOUT 60053	TIMEOUT 60250
tpdb-8.0/TRS/ICFP_2010/84977.xml	TIMEOUT 61133	TIMEOUT 60058	TIMEOUT 60834	TIMEOUT 60042	TIMEOUT 60051	TIMEOUT 60392
tpdb-8.0/TRS/ICFP_2010/85039.xml	TIMEOUT 60891	TIMEOUT 60074	TIMEOUT 60573	TIMEOUT 60295	TIMEOUT 60054	TIMEOUT 60228
tpdb-8.0/TRS/ICFP_2010/85079.xml	TIMEOUT 60908	TIMEOUT 60028	TIMEOUT 60438	TIMEOUT 60039	TIMEOUT 60065	TIMEOUT 60176
tpdb-8.0/TRS/ICFP_2010/85267.xml	TIMEOUT 61117	TIMEOUT 60078	TIMEOUT 60447	TIMEOUT 60039	TIMEOUT 60054	TIMEOUT 60216
tpdb-8.0/TRS/ICFP_2010/85294.xml	TIMEOUT 61043	TIMEOUT 60072	TIMEOUT 60795	TIMEOUT 60041	TIMEOUT 60050	TIMEOUT 60269
tpdb-8.0/TRS/ICFP_2010/85345.xml	TIMEOUT 61072	TIMEOUT 60063	TIMEOUT 60342	TIMEOUT 60037	TIMEOUT 60049	TIMEOUT 60237
tpdb-8.0/TRS/ICFP_2010/85380.xml	TIMEOUT 60911	TIMEOUT 60080	TIMEOUT 60306	TIMEOUT 60041	TIMEOUT 60053	TIMEOUT 60307
tpdb-8.0/TRS/ICFP_2010/85477.xml	YES 18732	TIMEOUT 60028	TIMEOUT 60310	TIMEOUT 60039	TIMEOUT 60058	TIMEOUT 60198
tpdb-8.0/TRS/ICFP_2010/85590.xml	TIMEOUT 60933	TIMEOUT 60087	TIMEOUT 60349	TIMEOUT 60041	TIMEOUT 60048	TIMEOUT 60271
tpdb-8.0/TRS/ICFP_2010/85650.xml	TIMEOUT 60978	TIMEOUT 60028	TIMEOUT 60667	TIMEOUT 60144	TIMEOUT 60066	TIMEOUT 60265
tpdb-8.0/TRS/ICFP_2010/85675.xml	YES 2780	TIMEOUT 60028	YES 21617	TIMEOUT 60043	TIMEOUT 60064	YES 5088
tpdb-8.0/TRS/ICFP_2010/85721.xml	TIMEOUT 60911	TIMEOUT 60093	TIMEOUT 60274	TIMEOUT 60036	TIMEOUT 60048	TIMEOUT 60231
tpdb-8.0/TRS/ICFP_2010/85749.xml	YES 2629	TIMEOUT 60091	YES 20132	TIMEOUT 60039	TIMEOUT 60055	TIMEOUT 60373
tpdb-8.0/TRS/ICFP_2010/85782.xml	TIMEOUT 60968	TIMEOUT 60098	TIMEOUT 60509	TIMEOUT 60039	TIMEOUT 60048	TIMEOUT 60280
tpdb-8.0/TRS/ICFP_2010/85834.xml	YES 3617	TIMEOUT 60098	TIMEOUT 60268	TIMEOUT 60056	TIMEOUT 60047	TIMEOUT 60199
tpdb-8.0/TRS/ICFP_2010/85874.xml	TIMEOUT 61052	TIMEOUT 60094	TIMEOUT 60464	TIMEOUT 60049	TIMEOUT 60053	TIMEOUT 60216
tpdb-8.0/TRS/ICFP_2010/85920.xml	TIMEOUT 60959	TIMEOUT 60108	TIMEOUT 60370	TIMEOUT 60036	TIMEOUT 60053	YES 5217
tpdb-8.0/TRS/ICFP_2010/86025.xml	TIMEOUT 60957	TIMEOUT 60085	TIMEOUT 60576	TIMEOUT 60039	TIMEOUT 60051	YES 5130
tpdb-8.0/TRS/ICFP_2010/86052.xml	TIMEOUT 60954	TIMEOUT 60113	TIMEOUT 60270	TIMEOUT 60176	TIMEOUT 60051	TIMEOUT 60298
tpdb-8.0/TRS/ICFP_2010/86452.xml	TIMEOUT 61148	TIMEOUT 60122	TIMEOUT 60289	TIMEOUT 60040	TIMEOUT 60051	YES 5195
tpdb-8.0/TRS/ICFP_2010/86499.xml	TIMEOUT 60849	TIMEOUT 60100	TIMEOUT 60303	TIMEOUT 60039	TIMEOUT 60048	TIMEOUT 60186
tpdb-8.0/TRS/ICFP_2010/86526.xml	TIMEOUT 60996	TIMEOUT 60112	TIMEOUT 60515	TIMEOUT 60041	TIMEOUT 60050	TIMEOUT 60259
tpdb-8.0/TRS/ICFP_2010/86559.xml	YES 3354	TIMEOUT 60028	YES 40273	TIMEOUT 60038	TIMEOUT 60060	YES 25713
tpdb-8.0/TRS/ICFP_2010/86577.xml	TIMEOUT 60886	TIMEOUT 60092	TIMEOUT 60302	TIMEOUT 60039	TIMEOUT 60058	TIMEOUT 60267
tpdb-8.0/TRS/ICFP_2010/86617.xml	TIMEOUT 60958	TIMEOUT 60093	TIMEOUT 60154	TIMEOUT 60038	TIMEOUT 60048	TIMEOUT 60219
tpdb-8.0/TRS/ICFP_2010/86636.xml	TIMEOUT 61145	TIMEOUT 60083	TIMEOUT 60476	TIMEOUT 60038	TIMEOUT 60055	YES 4270
tpdb-8.0/TRS/ICFP_2010/86745.xml	YES 3651	TIMEOUT 60103	TIMEOUT 60206	TIMEOUT 60039	TIMEOUT 60049	TIMEOUT 60313
tpdb-8.0/TRS/ICFP_2010/86816.xml	TIMEOUT 60981	TIMEOUT 60074	TIMEOUT 60276	TIMEOUT 60039	TIMEOUT 60053	TIMEOUT 60284
tpdb-8.0/TRS/ICFP_2010/86857.xml	TIMEOUT 60972	TIMEOUT 60028	TIMEOUT 60195	TIMEOUT 60038	TIMEOUT 60060	YES 4849
tpdb-8.0/TRS/ICFP_2010/88143.xml	YES 12970	TIMEOUT 60029	TIMEOUT 60094	TIMEOUT 60036	TIMEOUT 60053	TIMEOUT 60107
tpdb-8.0/TRS/ICFP_2010/88156.xml	TIMEOUT 60885	TIMEOUT 60030	TIMEOUT 60165	TIMEOUT 60038	TIMEOUT 60049	TIMEOUT 60085
tpdb-8.0/TRS/ICFP_2010/88172.xml	TIMEOUT 61009	TIMEOUT 60031	TIMEOUT 60246	TIMEOUT 60036	TIMEOUT 60049	TIMEOUT 60207
tpdb-8.0/TRS/ICFP_2010/88183.xml	TIMEOUT 61133	TIMEOUT 60029	TIMEOUT 60090	TIMEOUT 60040	TIMEOUT 60050	TIMEOUT 60114
tpdb-8.0/TRS/ICFP_2010/88208.xml	TIMEOUT 60858	TIMEOUT 60029	TIMEOUT 60275	TIMEOUT 60199	TIMEOUT 60054	TIMEOUT 119163
tpdb-8.0/TRS/ICFP_2010/88283.xml	TIMEOUT 60851	TIMEOUT 60029	TIMEOUT 60280	TIMEOUT 60192	TIMEOUT 60053	TIMEOUT 60087
tpdb-8.0/TRS/ICFP_2010/91210.xml	YES 14176	TIMEOUT 60035	TIMEOUT 60230	TIMEOUT 60042	TIMEOUT 60066	TIMEOUT 60040
tpdb-8.0/TRS/ICFP_2010/91218.xml	TIMEOUT 60911	TIMEOUT 60033	TIMEOUT 60143	TIMEOUT 60045	TIMEOUT 60067	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/91233.xml	YES 14332	TIMEOUT 60034	TIMEOUT 60141	TIMEOUT 60041	TIMEOUT 60062	TIMEOUT 60044
tpdb-8.0/TRS/ICFP_2010/91242.xml	TIMEOUT 61327	TIMEOUT 60033	TIMEOUT 60408	TIMEOUT 60042	TIMEOUT 60063	TIMEOUT 60041
tpdb-8.0/TRS/ICFP_2010/91254.xml	TIMEOUT 61023	TIMEOUT 60035	TIMEOUT 60143	TIMEOUT 60042	TIMEOUT 60065	TIMEOUT 60038
tpdb-8.0/TRS/ICFP_2010/95858.xml	TIMEOUT 61106	TIMEOUT 60086	TIMEOUT 60778	TIMEOUT 60037	TIMEOUT 60053	TIMEOUT 60298
tpdb-8.0/TRS/ICFP_2010/95899.xml	TIMEOUT 61101	TIMEOUT 60078	TIMEOUT 60300	TIMEOUT 60287	TIMEOUT 60070	TIMEOUT 60361
tpdb-8.0/TRS/ICFP_2010/95952.xml	TIMEOUT 61089	TIMEOUT 60085	TIMEOUT 60582	TIMEOUT 60248	TIMEOUT 60053	TIMEOUT 60228
tpdb-8.0/TRS/ICFP_2010/95978.xml	TIMEOUT 61125	TIMEOUT 60087	TIMEOUT 60609	TIMEOUT 60041	TIMEOUT 60057	TIMEOUT 60192
tpdb-8.0/TRS/ICFP_2010/96029.xml	TIMEOUT 61132	TIMEOUT 60132	TIMEOUT 60283	TIMEOUT 60040	TIMEOUT 60052	YES 4146
tpdb-8.0/TRS/ICFP_2010/96065.xml	TIMEOUT 61066	TIMEOUT 60106	TIMEOUT 60381	TIMEOUT 60212	TIMEOUT 60047	YES 4099
tpdb-8.0/TRS/ICFP_2010/96086.xml	YES 2235	TIMEOUT 60029	YES 7404	YES 20253	YES 49281	YES 1226
tpdb-8.0/TRS/ICFP_2010/96104.xml	TIMEOUT 61154	TIMEOUT 60102	TIMEOUT 60131	TIMEOUT 60039	TIMEOUT 60048	YES 4050
tpdb-8.0/TRS/ICFP_2010/96119.xml	TIMEOUT 60907	TIMEOUT 60116	TIMEOUT 60143	TIMEOUT 60037	TIMEOUT 60051	YES 4255
tpdb-8.0/TRS/ICFP_2010/96156.xml	TIMEOUT 60927	TIMEOUT 60085	TIMEOUT 60172	TIMEOUT 60137	TIMEOUT 60052	YES 4238
tpdb-8.0/TRS/ICFP_2010/96176.xml	TIMEOUT 60883	TIMEOUT 60120	TIMEOUT 60149	TIMEOUT 60044	TIMEOUT 60048	YES 3617
tpdb-8.0/TRS/ICFP_2010/96198.xml	TIMEOUT 61109	TIMEOUT 60107	TIMEOUT 60185	TIMEOUT 60041	TIMEOUT 60049	YES 3710
tpdb-8.0/TRS/ICFP_2010/96224.xml	YES 2040	TIMEOUT 60028	YES 4485	TIMEOUT 60038	TIMEOUT 60055	YES 2164
tpdb-8.0/TRS/ICFP_2010/96239.xml	TIMEOUT 60970	TIMEOUT 60095	TIMEOUT 60171	TIMEOUT 60039	TIMEOUT 60054	YES 4250
tpdb-8.0/TRS/ICFP_2010/96256.xml	TIMEOUT 61237	TIMEOUT 60111	TIMEOUT 60163	TIMEOUT 60037	TIMEOUT 60059	YES 4037
tpdb-8.0/TRS/ICFP_2010/96274.xml	YES 2524	TIMEOUT 60029	YES 17006	TIMEOUT 60039	TIMEOUT 60068	YES 3807
tpdb-8.0/TRS/ICFP_2010/96289.xml	TIMEOUT 60876	TIMEOUT 60099	TIMEOUT 60201	TIMEOUT 60233	TIMEOUT 60048	YES 3723
tpdb-8.0/TRS/ICFP_2010/96302.xml	TIMEOUT 60915	TIMEOUT 60095	TIMEOUT 60193	TIMEOUT 60265	TIMEOUT 60049	YES 4002
tpdb-8.0/TRS/ICFP_2010/96334.xml	TIMEOUT 61444	TIMEOUT 60139	TIMEOUT 60180	TIMEOUT 60038	TIMEOUT 60052	YES 3616
tpdb-8.0/TRS/ICFP_2010/96370.xml	YES 16891	TIMEOUT 60029	TIMEOUT 60291	TIMEOUT 60042	TIMEOUT 60055	YES 4191
tpdb-8.0/TRS/ICFP_2010/96403.xml	TIMEOUT 61031	TIMEOUT 60120	TIMEOUT 60109	TIMEOUT 60039	TIMEOUT 60049	YES 3581
tpdb-8.0/TRS/ICFP_2010/96417.xml	TIMEOUT 60942	TIMEOUT 60085	TIMEOUT 60337	TIMEOUT 60038	TIMEOUT 60052	YES 4222
tpdb-8.0/TRS/ICFP_2010/96438.xml	TIMEOUT 61273	TIMEOUT 60111	TIMEOUT 60157	TIMEOUT 60044	TIMEOUT 60049	YES 3498
tpdb-8.0/TRS/ICFP_2010/96464.xml	YES 22230	TIMEOUT 60044	TIMEOUT 60106	TIMEOUT 60039	TIMEOUT 60072	YES 4058
tpdb-8.0/TRS/ICFP_2010/96485.xml	YES 2486	TIMEOUT 60094	YES 15948	TIMEOUT 60041	TIMEOUT 60051	YES 3788
tpdb-8.0/TRS/ICFP_2010/96523.xml	TIMEOUT 61018	TIMEOUT 60097	TIMEOUT 60199	TIMEOUT 60059	TIMEOUT 60050	YES 2794
tpdb-8.0/TRS/ICFP_2010/96563.xml	YES 4193	TIMEOUT 60027	TIMEOUT 60315	TIMEOUT 60044	TIMEOUT 60061	YES 3600
tpdb-8.0/TRS/ICFP_2010/96612.xml	TIMEOUT 60970	TIMEOUT 60111	TIMEOUT 60284	TIMEOUT 60041	TIMEOUT 60055	YES 4336
tpdb-8.0/TRS/ICFP_2010/96642.xml	YES 21487	TIMEOUT 60033	TIMEOUT 60150	TIMEOUT 60039	TIMEOUT 60065	YES 3948
tpdb-8.0/TRS/ICFP_2010/96673.xml	TIMEOUT 61157	TIMEOUT 60097	TIMEOUT 60319	TIMEOUT 60035	TIMEOUT 60051	YES 4784
tpdb-8.0/TRS/ICFP_2010/97885.xml	TIMEOUT 60885	TIMEOUT 60051	TIMEOUT 60347	TIMEOUT 60067	TIMEOUT 60052	TIMEOUT 60063
tpdb-8.0/TRS/ICFP_2010/97888.xml	TIMEOUT 60777	TIMEOUT 60055	TIMEOUT 60394	TIMEOUT 60056	TIMEOUT 60053	TIMEOUT 60058
tpdb-8.0/TRS/ICFP_2010/97901.xml	TIMEOUT 60727	TIMEOUT 60036	TIMEOUT 60473	TIMEOUT 60045	TIMEOUT 60067	TIMEOUT 60043
tpdb-8.0/TRS/ICFP_2010/97917.xml	TIMEOUT 61025	TIMEOUT 60048	TIMEOUT 60310	TIMEOUT 60051	TIMEOUT 60056	TIMEOUT 60056
tpdb-8.0/TRS/ICFP_2010/97929.xml	TIMEOUT 61041	TIMEOUT 60054	TIMEOUT 60336	TIMEOUT 60055	TIMEOUT 60053	TIMEOUT 60053
tpdb-8.0/TRS/ICFP_2010/98362.xml	YES 60888	TIMEOUT 60028	TIMEOUT 60107	TIMEOUT 60039	TIMEOUT 60067	TIMEOUT 60219
tpdb-8.0/TRS/ICFP_2010/98623.xml	TIMEOUT 60802	TIMEOUT 60044	TIMEOUT 60324	TIMEOUT 60055	TIMEOUT 60087	TIMEOUT 60044
tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml	NO 7412	TIMEOUT 60031	TIMEOUT 60092	TIMEOUT 60034	TIMEOUT 60032	TIMEOUT 60058
tpdb-8.0/TRS/Mixed_SRS/01.xml	YES 4153	TIMEOUT 60029	TIMEOUT 60033	TIMEOUT 60035	TIMEOUT 60050	MAYBE 59928
tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml	NO 24439	MAYBE 2873	TIMEOUT 60269	TIMEOUT 60035	TIMEOUT 60044	MAYBE 59856
tpdb-8.0/TRS/Mixed_SRS/02.xml	YES 3978	TIMEOUT 60029	YES 22664	TIMEOUT 60036	TIMEOUT 60044	TIMEOUT 60042
tpdb-8.0/TRS/Mixed_SRS/03-oppelt08.xml	NO 12514	MAYBE 2440	TIMEOUT 60035	TIMEOUT 60035	TIMEOUT 60044	MAYBE 59881
tpdb-8.0/TRS/Mixed_SRS/03.xml	YES 9894	MAYBE 24809	TIMEOUT 60034	TIMEOUT 60033	YES 4586	MAYBE 59897
tpdb-8.0/TRS/Mixed_SRS/04-oppelt08.xml	NO 7235	MAYBE 7443	TIMEOUT 60035	TIMEOUT 60053	TIMEOUT 60044	MAYBE 59927
tpdb-8.0/TRS/Mixed_SRS/04.xml	YES 11152	MAYBE 29801	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60040	YES 13928
tpdb-8.0/TRS/Mixed_SRS/05-oppelt08.xml	NO 5966	MAYBE 6275	TIMEOUT 60032	TIMEOUT 60036	TIMEOUT 60035	TIMEOUT 60043
tpdb-8.0/TRS/Mixed_SRS/05.xml	YES 7667	MAYBE 55060	TIMEOUT 60039	TIMEOUT 60033	TIMEOUT 60039	YES 14181
tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml	NO 922	MAYBE 644	TIMEOUT 60035	TIMEOUT 60036	TIMEOUT 60042	MAYBE 59894
tpdb-8.0/TRS/Mixed_SRS/06.xml	YES 3702	MAYBE 22400	YES 10911	TIMEOUT 60034	TIMEOUT 60041	YES 8372
tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml	NO 2034	MAYBE 5947	TIMEOUT 60034	TIMEOUT 60031	TIMEOUT 60036	MAYBE 60001
tpdb-8.0/TRS/Mixed_SRS/07.xml	YES 5092	MAYBE 3709	TIMEOUT 60035	TIMEOUT 60035	MAYBE 3607	YES 7813
tpdb-8.0/TRS/Mixed_SRS/08-oppelt08.xml	NO 3406	TIMEOUT 60074	TIMEOUT 60037	TIMEOUT 60033	TIMEOUT 60043	TIMEOUT 60048
tpdb-8.0/TRS/Mixed_SRS/08.xml	TIMEOUT 60916	MAYBE 35608	TIMEOUT 60188	TIMEOUT 60033	TIMEOUT 60042	MAYBE 59981
tpdb-8.0/TRS/Mixed_SRS/09.xml	YES 3537	MAYBE 58712	TIMEOUT 60038	TIMEOUT 60033	TIMEOUT 60057	YES 6379
tpdb-8.0/TRS/Mixed_SRS/1.xml	NO 2257	MAYBE 2001	TIMEOUT 60034	TIMEOUT 60032	TIMEOUT 60042	NO 14810
tpdb-8.0/TRS/Mixed_SRS/2.xml	YES 4363	MAYBE 6965	YES 19648	TIMEOUT 60034	TIMEOUT 60075	YES 9749
tpdb-8.0/TRS/Mixed_SRS/3.xml	YES 809	YES 403	YES 7384	YES 5194	YES 131	YES 1230
tpdb-8.0/TRS/Mixed_SRS/4.xml	TIMEOUT 61156	TIMEOUT 60100	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60041	YES 3447
tpdb-8.0/TRS/Mixed_SRS/s6.xml	YES 1531	YES 2970	YES 550	TIMEOUT 60033	YES 98	YES 7110
tpdb-8.0/TRS/Mixed_SRS/touzet.xml	YES 1483	MAYBE 518	YES 14976	TIMEOUT 60035	TIMEOUT 60043	YES 870
tpdb-8.0/TRS/Mixed_SRS/turing_add.xml	YES 1885	YES 73	YES 4939	YES 34422	YES 176	YES 978
tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml	NO 808	TIMEOUT 60032	TIMEOUT 60192	TIMEOUT 60036	NO 79	NO 484
tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml	NO 926	TIMEOUT 60033	TIMEOUT 60043	TIMEOUT 60182	TIMEOUT 60055	NO 954
tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml	YES 4690	TIMEOUT 60032	TIMEOUT 60037	TIMEOUT 60048	TIMEOUT 60044	YES 7287
tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml	YES 3486	TIMEOUT 60032	TIMEOUT 60088	YES 20193	TIMEOUT 60040	YES 2388
tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml	YES 3711	MAYBE 28943	YES 38913	YES 17193	TIMEOUT 60042	YES 10408
tpdb-8.0/TRS/Secret_05_SRS/aprove4.xml	YES 3904	TIMEOUT 60038	TIMEOUT 60037	TIMEOUT 60041	TIMEOUT 60045	YES 13617
tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml	YES 5465	MAYBE 45523	TIMEOUT 60037	YES 47535	YES 34211	YES 10919
tpdb-8.0/TRS/Secret_05_SRS/jambox1.xml	YES 7668	TIMEOUT 60046	TIMEOUT 60033	TIMEOUT 60031	TIMEOUT 60039	MAYBE 59940
tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml	TIMEOUT 61079	TIMEOUT 60030	TIMEOUT 60037	TIMEOUT 60037	TIMEOUT 60040	MAYBE 59979
tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml	TIMEOUT 61594	TIMEOUT 60031	TIMEOUT 60039	TIMEOUT 60037	TIMEOUT 60042	TIMEOUT 60049
tpdb-8.0/TRS/Secret_05_SRS/jambox4.xml	YES 6242	MAYBE 1962	YES 45988	YES 6461	TIMEOUT 60052	YES 1539
tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml	YES 11549	MAYBE 1949	TIMEOUT 60039	TIMEOUT 60036	TIMEOUT 60034	YES 2121
tpdb-8.0/TRS/Secret_05_SRS/matchbox1.xml	YES 7375	YES 16644	YES 22882	YES 6772	YES 13032	YES 2610
tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml	YES 848	TIMEOUT 60083	YES 42841	YES 5602	YES 3786	YES 1355
tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml	YES 1130	YES 1630	TIMEOUT 60039	YES 6588	YES 2442	YES 1167
tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml	YES 3859	MAYBE 7873	TIMEOUT 60041	TIMEOUT 60032	TIMEOUT 60045	YES 11834
tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml	YES 2410	YES 252	YES 9543	YES 8196	YES 4353	YES 3831
tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml	YES 2187	YES 15498	YES 23808	YES 52202	TIMEOUT 60041	YES 3189
tpdb-8.0/TRS/Secret_06_SRS/10.xml	YES 4126	MAYBE 7643	YES 8055	YES 1557	TIMEOUT 60044	YES 2299
tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml	NO 30310	TIMEOUT 60031	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60051	MAYBE 59888
tpdb-8.0/TRS/Secret_06_SRS/1.xml	TIMEOUT 61168	MAYBE 6825	TIMEOUT 60043	TIMEOUT 60033	TIMEOUT 60046	MAYBE 59870
tpdb-8.0/TRS/Secret_06_SRS/2-matchbox.xml	YES 41530	TIMEOUT 60068	TIMEOUT 60038	YES 6906	TIMEOUT 60041	YES 2584
tpdb-8.0/TRS/Secret_06_SRS/2.xml	YES 6424	TIMEOUT 60030	TIMEOUT 60039	TIMEOUT 60035	TIMEOUT 60045	YES 12417
tpdb-8.0/TRS/Secret_06_SRS/3-matchbox.xml	YES 7405	YES 10534	YES 23591	TIMEOUT 60039	YES 33115	YES 3774
tpdb-8.0/TRS/Secret_06_SRS/3.xml	TIMEOUT 60937	MAYBE 25391	TIMEOUT 60038	TIMEOUT 60058	TIMEOUT 60040	YES 1640
tpdb-8.0/TRS/Secret_06_SRS/5-matchbox.xml	YES 3292	YES 3092	TIMEOUT 60033	YES 21312	TIMEOUT 60048	YES 1333
tpdb-8.0/TRS/Secret_06_SRS/5.xml	YES 18297	MAYBE 44045	YES 38320	TIMEOUT 60035	TIMEOUT 60041	YES 18216
tpdb-8.0/TRS/Secret_06_SRS/6.xml	YES 3338	YES 4601	YES 21526	TIMEOUT 60034	TIMEOUT 60043	YES 2154
tpdb-8.0/TRS/Secret_06_SRS/7.xml	YES 4240	YES 1984	TIMEOUT 60039	TIMEOUT 60033	TIMEOUT 60043	YES 6631
tpdb-8.0/TRS/Secret_06_SRS/8.xml	YES 6845	YES 6284	YES 39887	TIMEOUT 60033	YES 14605	YES 2900
tpdb-8.0/TRS/Secret_06_SRS/9.xml	YES 4224	MAYBE 5283	YES 8592	YES 1504	TIMEOUT 60055	YES 2767
tpdb-8.0/TRS/Secret_06_SRS/aprove00.xml	YES 1900	TIMEOUT 60117	TIMEOUT 60089	YES 20135	YES 147	YES 1076
tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml	YES 2743	TIMEOUT 60103	TIMEOUT 60310	TIMEOUT 60264	YES 1061	YES 1797
tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml	YES 2395	TIMEOUT 60113	TIMEOUT 60035	TIMEOUT 60200	TIMEOUT 60044	YES 2241
tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml	YES 2737	TIMEOUT 60100	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60052	YES 4269
tpdb-8.0/TRS/Secret_06_SRS/aprove04.xml	YES 2865	TIMEOUT 60100	TIMEOUT 60035	TIMEOUT 60038	TIMEOUT 60040	YES 13936
tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml	YES 2068	TIMEOUT 60109	TIMEOUT 60251	TIMEOUT 60041	TIMEOUT 60045	YES 3360
tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml	YES 2340	TIMEOUT 60127	TIMEOUT 60036	TIMEOUT 60185	YES 314	YES 5952
tpdb-8.0/TRS/Secret_06_SRS/aprove07.xml	YES 10176	TIMEOUT 60094	TIMEOUT 60045	TIMEOUT 60033	TIMEOUT 60044	YES 1480
tpdb-8.0/TRS/Secret_06_SRS/aprove08.xml	YES 1997	TIMEOUT 60122	TIMEOUT 60317	TIMEOUT 60032	YES 1088	YES 1602
tpdb-8.0/TRS/Secret_06_SRS/aprove09.xml	YES 1760	TIMEOUT 60078	TIMEOUT 60097	YES 40305	YES 133	YES 1455
tpdb-8.0/TRS/Secret_06_SRS/multum1.xml	YES 28719	TIMEOUT 60029	TIMEOUT 60034	TIMEOUT 60033	YES 580	YES 12781
tpdb-8.0/TRS/Secret_06_SRS/multum2.xml	YES 20690	MAYBE 27382	TIMEOUT 60036	YES 7714	TIMEOUT 60040	YES 1999
tpdb-8.0/TRS/Secret_06_SRS/multum3.xml	YES 2875	MAYBE 31481	TIMEOUT 60035	YES 1603	TIMEOUT 60044	YES 2181
tpdb-8.0/TRS/Secret_06_SRS/multum4.xml	YES 827	TIMEOUT 60106	YES 55524	TIMEOUT 60035	TIMEOUT 60043	YES 899
tpdb-8.0/TRS/Secret_06_SRS/multum5.xml	YES 3604	YES 2732	YES 48420	YES 2764	TIMEOUT 60055	YES 2118
tpdb-8.0/TRS/Secret_06_SRS/multum6.xml	YES 5888	YES 8155	TIMEOUT 60104	TIMEOUT 60039	TIMEOUT 60050	YES 4166
tpdb-8.0/TRS/Secret_06_SRS/secr10.xml	YES 5234	TIMEOUT 60031	YES 41121	TIMEOUT 60035	TIMEOUT 60040	YES 9868
tpdb-8.0/TRS/Secret_06_SRS/secr1.xml	YES 1141	MAYBE 2005	YES 10829	TIMEOUT 60035	TIMEOUT 60058	YES 885
tpdb-8.0/TRS/Secret_06_SRS/secr2.xml	YES 2551	MAYBE 869	YES 53823	TIMEOUT 60405	TIMEOUT 60041	YES 989
tpdb-8.0/TRS/Secret_06_SRS/secr3.xml	YES 3470	MAYBE 4418	YES 27514	TIMEOUT 60035	TIMEOUT 60033	YES 15904
tpdb-8.0/TRS/Secret_06_SRS/secr4.xml	YES 12631	MAYBE 8109	TIMEOUT 60035	TIMEOUT 60036	TIMEOUT 60044	YES 6491
tpdb-8.0/TRS/Secret_06_SRS/secr5.xml	TIMEOUT 61643	TIMEOUT 60030	TIMEOUT 60252	TIMEOUT 60036	TIMEOUT 60040	MAYBE 59975
tpdb-8.0/TRS/Secret_06_SRS/secr6.xml	YES 8851	TIMEOUT 60081	TIMEOUT 60035	TIMEOUT 60032	TIMEOUT 60042	YES 7319
tpdb-8.0/TRS/Secret_06_SRS/secr7.xml	YES 5322	TIMEOUT 60032	YES 6886	TIMEOUT 60227	TIMEOUT 60041	YES 6476
tpdb-8.0/TRS/Secret_06_SRS/secr8.xml	YES 5361	MAYBE 3005	YES 31630	YES 3671	TIMEOUT 60031	YES 9734
tpdb-8.0/TRS/Secret_06_SRS/secr9.xml	YES 6796	TIMEOUT 60033	TIMEOUT 60036	YES 7665	TIMEOUT 60044	YES 16000
tpdb-8.0/TRS/Secret_07_SRS/dj.xml	YES 1096	YES 136	TIMEOUT 60035	YES 1139	YES 169	YES 1721
tpdb-8.0/TRS/Secret_07_SRS/num-514.xml	NO 53973	TIMEOUT 60030	TIMEOUT 60034	TIMEOUT 60032	TIMEOUT 60044	MAYBE 59985
tpdb-8.0/TRS/Secret_07_SRS/num-515.xml	NO 6493	TIMEOUT 60031	TIMEOUT 60033	TIMEOUT 60032	TIMEOUT 60045	MAYBE 59889
tpdb-8.0/TRS/Secret_07_SRS/num-518.xml	TIMEOUT 61132	MAYBE 40592	TIMEOUT 60034	TIMEOUT 60035	TIMEOUT 60043	MAYBE 59963
tpdb-8.0/TRS/Secret_07_SRS/num-519.xml	NO 3897	MAYBE 55212	TIMEOUT 60033	TIMEOUT 60036	TIMEOUT 60042	MAYBE 59917
tpdb-8.0/TRS/Secret_07_SRS/num-520.xml	TIMEOUT 60782	MAYBE 19541	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60040	MAYBE 59952
tpdb-8.0/TRS/Secret_07_SRS/num-521.xml	TIMEOUT 60909	TIMEOUT 60030	TIMEOUT 60218	TIMEOUT 60032	TIMEOUT 60040	MAYBE 59967
tpdb-8.0/TRS/Secret_07_SRS/num-525.xml	NO 9809	TIMEOUT 60029	TIMEOUT 60035	TIMEOUT 60031	TIMEOUT 60040	MAYBE 59938
tpdb-8.0/TRS/Secret_07_SRS/num-527.xml	NO 21081	TIMEOUT 60031	TIMEOUT 60224	TIMEOUT 60032	TIMEOUT 60042	NO 53941
tpdb-8.0/TRS/Secret_07_SRS/num-530.xml	NO 4093	TIMEOUT 60057	TIMEOUT 60032	TIMEOUT 60032	TIMEOUT 60047	NO 12560
tpdb-8.0/TRS/Secret_07_SRS/num-539.xml	NO 2678	TIMEOUT 60029	TIMEOUT 60156	TIMEOUT 60035	TIMEOUT 60044	MAYBE 59938
tpdb-8.0/TRS/Secret_07_SRS/x01.xml	YES 4294	MAYBE 382	TIMEOUT 60037	TIMEOUT 60037	MAYBE 12407	YES 10228
tpdb-8.0/TRS/Secret_07_SRS/x02.xml	YES 41488	MAYBE 380	YES 25240	TIMEOUT 60043	MAYBE 37995	YES 8670
tpdb-8.0/TRS/Secret_07_SRS/x03.xml	YES 2876	YES 1215	YES 4548	TIMEOUT 60033	TIMEOUT 60046	YES 5981
tpdb-8.0/TRS/Secret_07_SRS/x04.xml	YES 6133	TIMEOUT 60031	TIMEOUT 60056	YES 7432	TIMEOUT 60039	YES 10876
tpdb-8.0/TRS/Secret_07_SRS/x05.xml	YES 2618	MAYBE 1199	TIMEOUT 60041	TIMEOUT 60034	TIMEOUT 60068	YES 7235
tpdb-8.0/TRS/Secret_07_SRS/x06.xml	YES 5343	MAYBE 795	TIMEOUT 60333	TIMEOUT 60036	MAYBE 52866	YES 23242
tpdb-8.0/TRS/Secret_07_SRS/x07.xml	TIMEOUT 61260	MAYBE 3484	TIMEOUT 60037	TIMEOUT 60036	TIMEOUT 60048	YES 15477
tpdb-8.0/TRS/Secret_07_SRS/x08.xml	YES 9825	TIMEOUT 60057	TIMEOUT 60034	TIMEOUT 60041	TIMEOUT 60045	YES 22681
tpdb-8.0/TRS/Secret_07_SRS/x09.xml	TIMEOUT 60950	TIMEOUT 60065	TIMEOUT 60037	TIMEOUT 60032	TIMEOUT 60040	MAYBE 59884
tpdb-8.0/TRS/Secret_07_SRS/x10.xml	YES 7771	MAYBE 6181	YES 35414	TIMEOUT 60034	MAYBE 33156	YES 13238
tpdb-8.0/TRS/Trafo_06/dup01.xml	YES 2739	YES 1263	YES 1051	TIMEOUT 60031	YES 400	YES 10861
tpdb-8.0/TRS/Trafo_06/dup05.xml	YES 4154	TIMEOUT 60079	YES 18985	TIMEOUT 60035	TIMEOUT 60047	YES 2085
tpdb-8.0/TRS/Trafo_06/dup06.xml	YES 2526	YES 22674	YES 24783	YES 11227	TIMEOUT 60041	YES 8817
tpdb-8.0/TRS/Trafo_06/dup07.xml	YES 3154	TIMEOUT 60043	TIMEOUT 60302	YES 45232	TIMEOUT 60044	YES 10751
tpdb-8.0/TRS/Trafo_06/dup08.xml	YES 15987	TIMEOUT 60083	TIMEOUT 60037	YES 3932	TIMEOUT 60040	YES 4448
tpdb-8.0/TRS/Trafo_06/dup09.xml	YES 3654	MAYBE 29	YES 68	TIMEOUT 60035	YES 374	YES 1354
tpdb-8.0/TRS/Trafo_06/dup10.xml	TIMEOUT 61158	TIMEOUT 60089	TIMEOUT 60041	TIMEOUT 60037	TIMEOUT 60042	YES 12291
tpdb-8.0/TRS/Trafo_06/dup11.xml	YES 11638	YES 17490	YES 3011	TIMEOUT 60036	TIMEOUT 60047	YES 3203
tpdb-8.0/TRS/Trafo_06/dup12.xml	TIMEOUT 61159	TIMEOUT 60054	YES 48687	YES 46446	TIMEOUT 60047	YES 3312
tpdb-8.0/TRS/Trafo_06/dup13.xml	TIMEOUT 61062	TIMEOUT 60095	TIMEOUT 60285	YES 26601	TIMEOUT 60044	YES 1763
tpdb-8.0/TRS/Trafo_06/dup14.xml	YES 11921	TIMEOUT 60080	TIMEOUT 60034	YES 37158	TIMEOUT 60043	YES 4207
tpdb-8.0/TRS/Trafo_06/dup15.xml	YES 5693	YES 594	TIMEOUT 60037	TIMEOUT 60033	YES 1144	YES 1844
tpdb-8.0/TRS/Trafo_06/dup16.xml	YES 1013	TIMEOUT 60050	YES 64	TIMEOUT 60035	TIMEOUT 60044	YES 9247
tpdb-8.0/TRS/Trafo_06/dup17.xml	YES 4318	YES 1036	TIMEOUT 60036	TIMEOUT 60036	TIMEOUT 60042	YES 2041
tpdb-8.0/TRS/Trafo_06/hom01.xml	YES 7295	TIMEOUT 60072	TIMEOUT 60337	YES 8754	TIMEOUT 60042	YES 2512
tpdb-8.0/TRS/Trafo_06/hom02.xml	YES 1819	YES 863	YES 50	TIMEOUT 60037	YES 1777	YES 1895
tpdb-8.0/TRS/Trafo_06/hom03.xml	YES 786	TIMEOUT 60114	TIMEOUT 60032	TIMEOUT 60033	YES 792	YES 41882
tpdb-8.0/TRS/Trafo_06/un02.xml	TIMEOUT 61146	TIMEOUT 60107	TIMEOUT 60037	TIMEOUT 60268	TIMEOUT 60045	TIMEOUT 60059
tpdb-8.0/TRS/Trafo_06/un04.xml	NO 7651	TIMEOUT 60058	TIMEOUT 60291	TIMEOUT 60033	TIMEOUT 60038	TIMEOUT 60045
tpdb-8.0/TRS/Trafo_06/un05.xml	YES 8195	TIMEOUT 60036	TIMEOUT 60032	TIMEOUT 60034	TIMEOUT 60048	MAYBE 59996
tpdb-8.0/TRS/Trafo_06/un06.xml	YES 8846	TIMEOUT 60088	YES 44675	TIMEOUT 60036	TIMEOUT 60040	YES 11647
tpdb-8.0/TRS/Trafo_06/un07.xml	YES 5273	TIMEOUT 60060	TIMEOUT 60037	TIMEOUT 60039	TIMEOUT 60041	YES 7517
tpdb-8.0/TRS/Trafo_06/un08.xml	YES 5563	TIMEOUT 60054	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60049	YES 46286
tpdb-8.0/TRS/Trafo_06/un09.xml	TIMEOUT 61335	TIMEOUT 60115	TIMEOUT 60304	TIMEOUT 60035	TIMEOUT 60043	YES 18826
tpdb-8.0/TRS/Trafo_06/un10.xml	TIMEOUT 61112	TIMEOUT 60103	TIMEOUT 60042	TIMEOUT 60032	TIMEOUT 60042	YES 11499
tpdb-8.0/TRS/Trafo_06/un11.xml	TIMEOUT 61138	TIMEOUT 60093	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60045	TIMEOUT 60039
tpdb-8.0/TRS/Trafo_06/un12.xml	YES 814	TIMEOUT 60091	TIMEOUT 60033	TIMEOUT 60035	TIMEOUT 60044	TIMEOUT 60044
tpdb-8.0/TRS/Trafo_06/un13.xml	TIMEOUT 61112	TIMEOUT 60102	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60040	TIMEOUT 60062
tpdb-8.0/TRS/Trafo_06/un14.xml	TIMEOUT 60986	TIMEOUT 60104	TIMEOUT 60037	TIMEOUT 60037	TIMEOUT 60045	YES 10154
tpdb-8.0/TRS/Trafo_06/un15.xml	TIMEOUT 61107	TIMEOUT 60093	TIMEOUT 60080	TIMEOUT 60034	TIMEOUT 60044	TIMEOUT 60052
tpdb-8.0/TRS/Trafo_06/un16.xml	TIMEOUT 61065	TIMEOUT 60045	TIMEOUT 60039	TIMEOUT 60035	TIMEOUT 60044	TIMEOUT 60044
tpdb-8.0/TRS/Trafo_06/un17.xml	TIMEOUT 60865	TIMEOUT 60087	TIMEOUT 60036	TIMEOUT 60035	TIMEOUT 60045	YES 51184
tpdb-8.0/TRS/Trafo_06/un18.xml	TIMEOUT 60906	TIMEOUT 60084	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60038	TIMEOUT 60070
tpdb-8.0/TRS/Waldmann_06_SRS/e.xml	YES 13192	YES 4359	TIMEOUT 60035	TIMEOUT 60036	TIMEOUT 60035	YES 6018
tpdb-8.0/TRS/Waldmann_06_SRS/jw1.xml	YES 2706	MAYBE 7401	YES 18288	TIMEOUT 60031	TIMEOUT 60029	YES 11242
tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml	TIMEOUT 61241	TIMEOUT 60028	TIMEOUT 60034	TIMEOUT 60037	MAYBE 2187	TIMEOUT 60089
tpdb-8.0/TRS/Waldmann_06_SRS/jw4.xml	TIMEOUT 60987	TIMEOUT 60119	TIMEOUT 60034	TIMEOUT 60035	TIMEOUT 60040	YES 14711
tpdb-8.0/TRS/Waldmann_06_SRS/jw5.xml	TIMEOUT 61532	TIMEOUT 60106	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60044	TIMEOUT 60021
tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml	YES 9313	YES 2802	TIMEOUT 60038	YES 15699	TIMEOUT 60035	YES 3220
tpdb-8.0/TRS/Waldmann_06_SRS/sym-1.xml	YES 1052	MAYBE 468	YES 26004	TIMEOUT 60034	TIMEOUT 60044	YES 1562
tpdb-8.0/TRS/Waldmann_06_SRS/sym-2.xml	YES 6498	MAYBE 16152	TIMEOUT 60037	TIMEOUT 60206	TIMEOUT 60039	YES 2322
tpdb-8.0/TRS/Waldmann_06_SRS/sym-4.xml	YES 1094	MAYBE 712	YES 5532	TIMEOUT 60034	TIMEOUT 60040	YES 1259
tpdb-8.0/TRS/Waldmann_06_SRS/sym-5.xml	YES 49971	TIMEOUT 60030	TIMEOUT 60216	TIMEOUT 60032	TIMEOUT 60046	MAYBE 59928
tpdb-8.0/TRS/Waldmann_06_SRS/sym-6.xml	TIMEOUT 61831	MAYBE 4257	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60064	YES 13480
tpdb-8.0/TRS/Waldmann_06_SRS/uni-1.xml	YES 1101	MAYBE 1409	YES 17032	TIMEOUT 60033	TIMEOUT 60041	YES 1640
tpdb-8.0/TRS/Waldmann_06_SRS/uni-2.xml	NO 1776	TIMEOUT 60033	TIMEOUT 60036	TIMEOUT 60034	TIMEOUT 60049	NO 1014
tpdb-8.0/TRS/Waldmann_06_SRS/uni-3.xml	NO 3676	TIMEOUT 60031	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60039	NO 54278
tpdb-8.0/TRS/Waldmann_06_SRS/uni-4.xml	NO 1026	MAYBE 27888	TIMEOUT 60033	TIMEOUT 60036	TIMEOUT 60047	NO 7698
tpdb-8.0/TRS/Waldmann_06_SRS/uni-5.xml	YES 3079	MAYBE 2727	YES 35053	TIMEOUT 60035	TIMEOUT 60041	YES 11430
tpdb-8.0/TRS/Waldmann_06_SRS/uni-6.xml	NO 5411	TIMEOUT 60030	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60031	NO 25696
tpdb-8.0/TRS/Waldmann_06_SRS/uni-7.xml	TIMEOUT 61159	TIMEOUT 60031	TIMEOUT 60033	TIMEOUT 60036	TIMEOUT 60039	TIMEOUT 60048
tpdb-8.0/TRS/Waldmann_06_SRS/z086-variant.xml	YES 8970	MAYBE 7981	YES 51310	TIMEOUT 60036	TIMEOUT 60056	YES 18276
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml	YES 4584	TIMEOUT 60033	TIMEOUT 60093	TIMEOUT 60034	TIMEOUT 60041	YES 15012
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml	YES 6499	TIMEOUT 60041	TIMEOUT 60180	TIMEOUT 60033	TIMEOUT 60040	YES 53630
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-3.xml	YES 5898	MAYBE 56352	YES 25398	TIMEOUT 60032	TIMEOUT 60040	YES 14706
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-4.xml	YES 4613	MAYBE 42052	TIMEOUT 60037	TIMEOUT 60036	TIMEOUT 60045	YES 5821
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml	YES 2686	MAYBE 4160	TIMEOUT 60035	TIMEOUT 60034	MAYBE 6226	YES 5697
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-11.xml	YES 2300	MAYBE 2872	TIMEOUT 60033	TIMEOUT 60033	MAYBE 3246	YES 6082
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml	YES 3533	MAYBE 3610	YES 8046	TIMEOUT 60035	TIMEOUT 60043	YES 5550
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-13.xml	YES 2334	MAYBE 1370	TIMEOUT 60069	TIMEOUT 60033	MAYBE 1764	YES 6328
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml	YES 2197	MAYBE 327	TIMEOUT 60035	TIMEOUT 60035	MAYBE 8098	YES 6057
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml	NO 5112	TIMEOUT 60032	TIMEOUT 60138	TIMEOUT 60034	TIMEOUT 60047	MAYBE 59927
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml	YES 1071	MAYBE 822	YES 17219	TIMEOUT 60033	TIMEOUT 60042	YES 6927
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-17.xml	YES 2039	MAYBE 337	TIMEOUT 60291	TIMEOUT 60034	MAYBE 1475	YES 5434
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-18.xml	NO 4018	MAYBE 4598	TIMEOUT 60238	TIMEOUT 60036	TIMEOUT 60041	MAYBE 59587
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-19.xml	YES 2078	MAYBE 5633	TIMEOUT 60227	TIMEOUT 60033	TIMEOUT 60041	YES 5577
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml	NO 10414	MAYBE 49011	TIMEOUT 60088	TIMEOUT 60075	TIMEOUT 60039	MAYBE 59858
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-20.xml	YES 2377	MAYBE 590	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60040	YES 5502
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-21.xml	NO 4933	MAYBE 1056	TIMEOUT 60035	TIMEOUT 60083	MAYBE 7921	NO 11344
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml	YES 4900	MAYBE 2326	TIMEOUT 60034	TIMEOUT 60034	MAYBE 6797	YES 32636
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-3.xml	YES 3839	MAYBE 695	YES 12437	TIMEOUT 60034	TIMEOUT 60040	YES 7340
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml	TIMEOUT 61072	MAYBE 5654	TIMEOUT 60304	TIMEOUT 60033	MAYBE 25654	MAYBE 59831
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml	YES 3817	MAYBE 3084	TIMEOUT 60034	TIMEOUT 60032	MAYBE 3866	YES 7840
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml	YES 2770	MAYBE 19733	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60042	YES 5567
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-7.xml	YES 2843	MAYBE 24069	TIMEOUT 60036	TIMEOUT 60033	TIMEOUT 60043	YES 5719
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml	YES 2827	MAYBE 33283	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60041	YES 6184
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-9.xml	YES 3368	MAYBE 29510	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60039	YES 6133
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-10.xml	TIMEOUT 60895	TIMEOUT 60041	TIMEOUT 60165	TIMEOUT 60033	TIMEOUT 60045	MAYBE 59936
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-11.xml	TIMEOUT 61165	TIMEOUT 60040	TIMEOUT 60033	TIMEOUT 60035	TIMEOUT 60040	MAYBE 59897
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-12.xml	TIMEOUT 60944	TIMEOUT 60061	TIMEOUT 60032	TIMEOUT 60032	TIMEOUT 60043	MAYBE 59956
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-13.xml	YES 4838	TIMEOUT 60033	TIMEOUT 60038	TIMEOUT 60033	TIMEOUT 60049	YES 11080
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-14.xml	YES 4780	TIMEOUT 60034	TIMEOUT 60036	TIMEOUT 60192	TIMEOUT 60040	YES 8700
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-15.xml	YES 2891	MAYBE 2817	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60054	YES 6027
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-16.xml	YES 5850	MAYBE 19134	YES 19457	TIMEOUT 60034	TIMEOUT 60045	YES 6032
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-17.xml	TIMEOUT 60909	TIMEOUT 60040	TIMEOUT 60039	TIMEOUT 60032	TIMEOUT 60050	MAYBE 59887
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-18.xml	TIMEOUT 61108	TIMEOUT 60037	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60045	MAYBE 59758
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-19.xml	YES 2958	MAYBE 1921	TIMEOUT 60036	TIMEOUT 60033	TIMEOUT 60049	YES 9067
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-1.xml	YES 4171	MAYBE 17323	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60044	YES 6317
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-20.xml	NO 33468	MAYBE 2098	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60053	MAYBE 59770
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-21.xml	YES 2835	MAYBE 9725	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60044	YES 5104
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-22.xml	YES 4706	MAYBE 6095	YES 21455	TIMEOUT 60032	TIMEOUT 60041	YES 7041
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-2.xml	YES 3178	MAYBE 11179	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60041	YES 6858
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-3.xml	YES 3477	MAYBE 10399	TIMEOUT 60109	TIMEOUT 60111	TIMEOUT 60042	YES 6375
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-4.xml	TIMEOUT 61092	TIMEOUT 60033	TIMEOUT 60036	TIMEOUT 60032	TIMEOUT 60041	YES 15993
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-5.xml	YES 4674	TIMEOUT 60038	TIMEOUT 60031	TIMEOUT 60033	TIMEOUT 60043	YES 18649
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-6.xml	YES 4953	TIMEOUT 60032	YES 22048	TIMEOUT 60033	TIMEOUT 60045	YES 17113
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-7.xml	TIMEOUT 61091	TIMEOUT 60030	TIMEOUT 60134	TIMEOUT 60034	TIMEOUT 60043	MAYBE 59943
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-8.xml	YES 8586	MAYBE 35394	TIMEOUT 60340	TIMEOUT 60034	TIMEOUT 60043	YES 53856
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-100.xml	NO 4458	MAYBE 1256	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60044	MAYBE 59771
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-101.xml	NO 5213	MAYBE 1090	TIMEOUT 60034	TIMEOUT 60032	TIMEOUT 60043	NO 14516
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-104.xml	YES 2748	MAYBE 5566	TIMEOUT 60276	TIMEOUT 60034	TIMEOUT 60055	YES 8900
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-105.xml	YES 3212	TIMEOUT 60032	YES 27257	TIMEOUT 60287	TIMEOUT 60044	YES 10809
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-106.xml	YES 2648	TIMEOUT 60030	YES 38115	TIMEOUT 60035	TIMEOUT 60042	YES 15610
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-107.xml	YES 2538	MAYBE 4695	TIMEOUT 60035	TIMEOUT 60034	MAYBE 6660	YES 6250
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-108.xml	YES 2600	MAYBE 4127	TIMEOUT 60033	TIMEOUT 60037	MAYBE 6509	YES 5719
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-109.xml	YES 3225	MAYBE 5370	TIMEOUT 60202	TIMEOUT 60038	TIMEOUT 60041	YES 5853
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml	YES 3175	MAYBE 46240	TIMEOUT 60036	TIMEOUT 60034	TIMEOUT 60043	YES 2758
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-110.xml	YES 3489	MAYBE 2190	TIMEOUT 60445	TIMEOUT 60036	TIMEOUT 60043	YES 7019
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-111.xml	YES 4377	MAYBE 36498	TIMEOUT 60250	TIMEOUT 60033	TIMEOUT 60039	YES 7287
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-112.xml	YES 2805	TIMEOUT 60033	TIMEOUT 60037	TIMEOUT 60036	TIMEOUT 60048	YES 8311
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-113.xml	YES 3396	TIMEOUT 60032	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60043	YES 6056
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-114.xml	YES 7026	MAYBE 45546	TIMEOUT 60036	TIMEOUT 60089	TIMEOUT 60045	YES 11921
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-11.xml	NO 8797	MAYBE 35007	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60045	MAYBE 59823
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-120.xml	TIMEOUT 61039	MAYBE 3963	TIMEOUT 60045	TIMEOUT 60035	MAYBE 2016	MAYBE 59860
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-121.xml	YES 4987	MAYBE 1239	TIMEOUT 60033	TIMEOUT 60149	TIMEOUT 60040	YES 8526
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-122.xml	YES 3633	TIMEOUT 60032	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60043	YES 11144
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-123.xml	YES 2949	MAYBE 3508	YES 36808	TIMEOUT 60035	TIMEOUT 60054	YES 8338
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-124.xml	YES 5443	MAYBE 35032	YES 48468	TIMEOUT 60033	TIMEOUT 60038	YES 11900
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-125.xml	YES 4854	MAYBE 5734	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60049	YES 7554
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-126.xml	YES 2881	MAYBE 9594	TIMEOUT 60034	TIMEOUT 60035	TIMEOUT 60044	YES 8294
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-127.xml	NO 10172	MAYBE 494	TIMEOUT 60034	TIMEOUT 60033	MAYBE 1350	MAYBE 59736
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-128.xml	YES 6161	MAYBE 9251	TIMEOUT 60082	TIMEOUT 60101	MAYBE 15545	YES 12040
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-129.xml	NO 4263	MAYBE 1486	TIMEOUT 60033	TIMEOUT 60035	TIMEOUT 60047	NO 13641
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-131.xml	YES 2453	MAYBE 22992	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60040	YES 6217
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-132.xml	YES 6264	TIMEOUT 60031	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60040	YES 8487
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-133.xml	YES 6150	TIMEOUT 60032	TIMEOUT 60098	TIMEOUT 60033	TIMEOUT 60042	YES 16122
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-134.xml	YES 2214	MAYBE 721	TIMEOUT 60262	TIMEOUT 60034	TIMEOUT 60044	YES 5489
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-135.xml	NO 8543	MAYBE 1330	TIMEOUT 60035	TIMEOUT 60035	TIMEOUT 60044	MAYBE 59809
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-13.xml	YES 2569	MAYBE 20769	TIMEOUT 60035	TIMEOUT 60036	TIMEOUT 60043	YES 5805
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-140.xml	NO 801	TIMEOUT 60037	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60040	NO 977
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-146.xml	NO 899	TIMEOUT 60036	TIMEOUT 60036	TIMEOUT 60231	TIMEOUT 60049	NO 980
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-149.xml	YES 4025	MAYBE 15059	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60045	YES 5994
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-14.xml	YES 2303	MAYBE 1424	TIMEOUT 60033	TIMEOUT 60035	MAYBE 3195	YES 6014
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-152.xml	YES 2463	MAYBE 1135	TIMEOUT 60167	TIMEOUT 60033	TIMEOUT 60054	YES 9417
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-158.xml	NO 836	MAYBE 58849	TIMEOUT 60034	TIMEOUT 60035	TIMEOUT 60041	NO 1068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-159.xml	NO 784	MAYBE 7183	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60040	NO 863
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-15.xml	YES 2159	MAYBE 1287	YES 4846	TIMEOUT 60035	TIMEOUT 60044	YES 5513
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-160.xml	NO 1064	TIMEOUT 60034	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60047	NO 1249
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-163.xml	YES 2222	MAYBE 409	TIMEOUT 60036	TIMEOUT 60035	MAYBE 3988	YES 5712
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-164.xml	YES 3862	MAYBE 573	TIMEOUT 60036	TIMEOUT 60405	TIMEOUT 60039	YES 6608
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-165.xml	YES 2107	MAYBE 338	TIMEOUT 60036	TIMEOUT 60034	MAYBE 1489	YES 6782
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-168.xml	YES 2646	MAYBE 780	YES 5515	TIMEOUT 60033	TIMEOUT 60040	YES 5763
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-16.xml	YES 2573	MAYBE 22548	TIMEOUT 60294	TIMEOUT 60393	TIMEOUT 60041	YES 5685
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-170.xml	NO 8819	MAYBE 1458	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60044	MAYBE 59764
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-174.xml	TIMEOUT 61118	MAYBE 14923	TIMEOUT 60033	TIMEOUT 60036	TIMEOUT 60041	MAYBE 59893
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-176.xml	YES 4003	MAYBE 7682	YES 30952	TIMEOUT 60036	TIMEOUT 60044	YES 7668
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-177.xml	NO 1059	MAYBE 7638	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60043	MAYBE 59571
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-178.xml	NO 5423	TIMEOUT 60033	TIMEOUT 60035	TIMEOUT 60142	TIMEOUT 60044	NO 34812
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-179.xml	NO 835	TIMEOUT 60033	TIMEOUT 60036	TIMEOUT 60033	TIMEOUT 60042	NO 1298
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-17.xml	YES 2729	MAYBE 43027	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60040	YES 5602
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-180.xml	YES 7238	TIMEOUT 60031	TIMEOUT 60156	TIMEOUT 60053	TIMEOUT 60044	YES 5730
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-181.xml	NO 1998	MAYBE 8762	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60045	NO 1341
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-186.xml	YES 2689	MAYBE 456	TIMEOUT 60173	TIMEOUT 60033	TIMEOUT 60039	YES 6318
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-190.xml	YES 2349	MAYBE 4346	TIMEOUT 60072	TIMEOUT 60050	TIMEOUT 60040	YES 5587
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-191.xml	YES 3325	MAYBE 5811	TIMEOUT 60033	TIMEOUT 60036	TIMEOUT 60044	YES 5707
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-194.xml	YES 2533	MAYBE 8908	TIMEOUT 60124	TIMEOUT 60038	TIMEOUT 60040	YES 5630
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-195.xml	NO 1075	TIMEOUT 60033	TIMEOUT 60041	TIMEOUT 60036	TIMEOUT 60043	NO 18957
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-198.xml	YES 2872	TIMEOUT 60032	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60040	YES 7348
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-199.xml	TIMEOUT 60897	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60269	TIMEOUT 60042	MAYBE 59774
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-19.xml	YES 2196	MAYBE 4598	TIMEOUT 60035	TIMEOUT 60034	MAYBE 8607	YES 5646
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-1.xml	YES 4066	MAYBE 279	TIMEOUT 60034	TIMEOUT 60374	MAYBE 10854	YES 7450
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-200.xml	YES 3019	MAYBE 876	TIMEOUT 60034	TIMEOUT 60087	TIMEOUT 60044	YES 5784
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-201.xml	YES 3460	MAYBE 618	TIMEOUT 60208	TIMEOUT 60034	MAYBE 5179	YES 5643
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-202.xml	YES 7012	MAYBE 1100	TIMEOUT 60034	TIMEOUT 60032	TIMEOUT 60041	YES 5702
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-203.xml	YES 2080	MAYBE 990	YES 52972	TIMEOUT 60449	TIMEOUT 60044	YES 6068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-204.xml	YES 5118	MAYBE 2184	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60047	YES 6734
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-206.xml	NO 6947	MAYBE 5549	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60044	MAYBE 59705
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-207.xml	NO 8306	MAYBE 5084	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60041	MAYBE 59728
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-209.xml	TIMEOUT 60944	MAYBE 7195	TIMEOUT 60082	TIMEOUT 60140	TIMEOUT 60040	MAYBE 59719
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-20.xml	NO 3019	MAYBE 40419	TIMEOUT 60052	TIMEOUT 60034	TIMEOUT 60040	NO 31868
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-210.xml	TIMEOUT 60954	MAYBE 3911	TIMEOUT 60159	TIMEOUT 60033	TIMEOUT 60045	MAYBE 59729
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-211.xml	TIMEOUT 61162	MAYBE 33865	TIMEOUT 60034	TIMEOUT 60101	TIMEOUT 60042	MAYBE 59859
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-213.xml	YES 3425	MAYBE 57031	TIMEOUT 60033	TIMEOUT 60035	TIMEOUT 60043	YES 5950
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-215.xml	YES 2589	MAYBE 2509	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60042	YES 5729
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-217.xml	NO 3591	MAYBE 1681	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60050	MAYBE 59780
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-219.xml	TIMEOUT 61162	MAYBE 1110	TIMEOUT 60036	TIMEOUT 60264	TIMEOUT 60043	MAYBE 59775
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-21.xml	NO 13075	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60043	MAYBE 59837
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-220.xml	TIMEOUT 61035	MAYBE 1017	TIMEOUT 60049	TIMEOUT 60032	TIMEOUT 60041	MAYBE 59793
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-221.xml	YES 4148	MAYBE 1906	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60040	YES 5646
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-222.xml	TIMEOUT 60838	MAYBE 21395	TIMEOUT 60050	TIMEOUT 60034	TIMEOUT 60042	MAYBE 59956
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-223.xml	YES 13463	MAYBE 5336	TIMEOUT 60034	TIMEOUT 60032	TIMEOUT 60040	MAYBE 59609
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-224.xml	TIMEOUT 61142	MAYBE 26508	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60044	MAYBE 59889
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-225.xml	YES 2684	TIMEOUT 60032	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60042	YES 6617
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-226.xml	YES 5141	MAYBE 2217	TIMEOUT 60035	TIMEOUT 60246	TIMEOUT 60047	YES 8119
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-227.xml	NO 3483	MAYBE 8310	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60040	NO 12711
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-22.xml	NO 5479	TIMEOUT 60036	TIMEOUT 60033	TIMEOUT 60035	TIMEOUT 60039	NO 34353
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-231.xml	TIMEOUT 61174	MAYBE 1580	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60046	MAYBE 59920
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-232.xml	YES 2537	MAYBE 360	TIMEOUT 60199	TIMEOUT 60036	MAYBE 10906	YES 6167
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-233.xml	NO 10196	MAYBE 1354	TIMEOUT 60033	TIMEOUT 60036	MAYBE 11145	MAYBE 59901
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-236.xml	YES 3359	MAYBE 2782	TIMEOUT 60036	TIMEOUT 60061	YES 4372	YES 6940
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-237.xml	YES 2392	MAYBE 1902	TIMEOUT 60036	TIMEOUT 60037	MAYBE 2660	YES 10645
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-238.xml	TIMEOUT 61054	MAYBE 4344	TIMEOUT 60035	TIMEOUT 60035	TIMEOUT 60041	MAYBE 59899
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-239.xml	NO 3425	MAYBE 1341	TIMEOUT 60037	TIMEOUT 60034	TIMEOUT 60040	MAYBE 59666
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-23.xml	NO 3040	MAYBE 4088	TIMEOUT 60037	TIMEOUT 60034	TIMEOUT 60040	NO 34142
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-241.xml	NO 6253	MAYBE 761	TIMEOUT 60033	TIMEOUT 60128	TIMEOUT 60044	MAYBE 59695
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-243.xml	NO 3194	MAYBE 1447	TIMEOUT 60170	TIMEOUT 60227	TIMEOUT 60046	MAYBE 59690
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-247.xml	TIMEOUT 60934	MAYBE 4893	TIMEOUT 60086	TIMEOUT 60032	TIMEOUT 60042	MAYBE 59876
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-248.xml	TIMEOUT 61024	MAYBE 3975	TIMEOUT 60236	TIMEOUT 60033	TIMEOUT 60040	MAYBE 59836
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-249.xml	NO 6911	MAYBE 6933	TIMEOUT 60036	TIMEOUT 60034	TIMEOUT 60045	NO 30894
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-255.xml	YES 7899	MAYBE 1079	YES 50123	TIMEOUT 60033	MAYBE 7748	YES 7670
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-257.xml	NO 2561	MAYBE 6394	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60040	MAYBE 59577
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-260.xml	NO 1107	TIMEOUT 60039	TIMEOUT 60032	TIMEOUT 60034	TIMEOUT 60043	NO 14665
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-263.xml	YES 5919	TIMEOUT 60029	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60042	YES 15535
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-265.xml	YES 2844	MAYBE 24407	YES 13423	TIMEOUT 60035	TIMEOUT 60044	YES 5950
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-267.xml	TIMEOUT 61187	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60044	MAYBE 59872
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-270.xml	NO 11247	MAYBE 15477	TIMEOUT 60198	TIMEOUT 60035	TIMEOUT 60041	MAYBE 59888
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-271.xml	YES 3183	MAYBE 17154	TIMEOUT 60037	TIMEOUT 60033	TIMEOUT 60043	YES 6902
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-272.xml	TIMEOUT 61002	MAYBE 2284	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60040	MAYBE 59876
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-273.xml	YES 3064	MAYBE 777	YES 5329	TIMEOUT 60033	TIMEOUT 60042	YES 6040
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-274.xml	TIMEOUT 61179	MAYBE 1561	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60041	MAYBE 59897
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-275.xml	YES 2233	MAYBE 2857	YES 4738	TIMEOUT 60275	TIMEOUT 60040	YES 2285
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-279.xml	YES 2503	MAYBE 409	YES 16775	TIMEOUT 60034	TIMEOUT 60043	YES 6290
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-281.xml	YES 2437	MAYBE 952	YES 8761	TIMEOUT 60033	TIMEOUT 60043	YES 6027
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-282.xml	YES 3200	MAYBE 4430	YES 6396	TIMEOUT 60033	TIMEOUT 60044	YES 5811
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-283.xml	YES 7357	MAYBE 461	YES 16155	TIMEOUT 60183	MAYBE 4802	YES 5903
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-284.xml	YES 2220	MAYBE 6542	YES 4902	TIMEOUT 60034	TIMEOUT 60042	YES 5541
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-285.xml	YES 2411	MAYBE 9423	YES 5322	TIMEOUT 60032	TIMEOUT 60043	YES 5770
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-286.xml	YES 3737	MAYBE 4245	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60044	YES 7512
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-287.xml	YES 6688	MAYBE 610	YES 13073	TIMEOUT 60034	TIMEOUT 60040	YES 5977
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-288.xml	YES 9630	MAYBE 6471	YES 10653	TIMEOUT 60076	TIMEOUT 60044	YES 7411
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-289.xml	YES 3936	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60035	TIMEOUT 60044	YES 6908
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-291.xml	TIMEOUT 61161	MAYBE 2374	TIMEOUT 60032	TIMEOUT 60035	TIMEOUT 60042	MAYBE 59777
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-292.xml	TIMEOUT 61002	MAYBE 9366	TIMEOUT 60034	TIMEOUT 60035	TIMEOUT 60047	MAYBE 59870
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-293.xml	YES 6119	MAYBE 26907	YES 43954	TIMEOUT 60034	TIMEOUT 60041	YES 8560
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-294.xml	YES 4907	TIMEOUT 60032	YES 5286	TIMEOUT 60035	TIMEOUT 60043	YES 6118
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-296.xml	YES 2459	TIMEOUT 60033	YES 39061	TIMEOUT 60033	TIMEOUT 60042	YES 8776
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-297.xml	YES 4985	MAYBE 12242	YES 32305	TIMEOUT 60120	TIMEOUT 60045	YES 8419
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-298.xml	NO 21128	TIMEOUT 60032	TIMEOUT 60034	TIMEOUT 60250	TIMEOUT 60044	MAYBE 59821
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-299.xml	YES 6093	MAYBE 3006	YES 31750	TIMEOUT 60034	TIMEOUT 60048	YES 8293
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-300.xml	YES 3667	MAYBE 1400	YES 34793	TIMEOUT 60045	TIMEOUT 60040	YES 7891
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-301.xml	YES 6877	MAYBE 15463	YES 40931	TIMEOUT 60503	TIMEOUT 60044	YES 7577
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-303.xml	YES 2545	TIMEOUT 60031	YES 10527	TIMEOUT 60034	TIMEOUT 60039	YES 6347
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-304.xml	YES 4159	TIMEOUT 60031	YES 6207	TIMEOUT 60281	TIMEOUT 60045	YES 7623
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-309.xml	YES 7089	MAYBE 20489	YES 58582	TIMEOUT 60037	TIMEOUT 60041	YES 34782
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-30.xml	YES 4521	MAYBE 984	TIMEOUT 60035	TIMEOUT 60038	TIMEOUT 60041	YES 6099
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-31.xml	YES 2615	MAYBE 907	YES 11605	TIMEOUT 60042	TIMEOUT 60040	YES 6865
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml	YES 3163	MAYBE 24559	TIMEOUT 60382	TIMEOUT 60033	TIMEOUT 60040	YES 6236
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-328.xml	NO 5808	MAYBE 5135	TIMEOUT 60034	TIMEOUT 60032	MAYBE 2095	NO 13935
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-32.xml	TIMEOUT 60871	MAYBE 9303	TIMEOUT 60034	TIMEOUT 60036	MAYBE 8165	MAYBE 59863
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-330.xml	YES 4212	MAYBE 652	TIMEOUT 60036	TIMEOUT 60034	MAYBE 856	YES 8086
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-335.xml	YES 3829	MAYBE 4856	YES 9929	TIMEOUT 60033	MAYBE 6811	YES 6954
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-337.xml	YES 3093	TIMEOUT 60029	YES 16823	TIMEOUT 60034	TIMEOUT 60040	YES 7008
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-338.xml	TIMEOUT 60933	TIMEOUT 60031	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60047	MAYBE 59955
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-339.xml	NO 12210	TIMEOUT 60033	TIMEOUT 60032	TIMEOUT 60033	TIMEOUT 60043	NO 46283
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-340.xml	TIMEOUT 60981	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60043	MAYBE 59924
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-341.xml	YES 2537	MAYBE 37569	TIMEOUT 60032	TIMEOUT 60035	TIMEOUT 60047	YES 6542
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-343.xml	YES 2181	MAYBE 1885	TIMEOUT 60036	TIMEOUT 60035	MAYBE 7920	YES 6140
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-345.xml	YES 2645	MAYBE 32957	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60044	YES 6762
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-346.xml	YES 2570	MAYBE 49229	TIMEOUT 60032	TIMEOUT 60033	TIMEOUT 60043	YES 6466
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-347.xml	YES 3182	MAYBE 43566	TIMEOUT 60180	TIMEOUT 60033	TIMEOUT 60043	YES 6360
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-348.xml	YES 2375	TIMEOUT 60030	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60039	YES 6978
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-350.xml	YES 2785	MAYBE 348	TIMEOUT 60034	TIMEOUT 60033	MAYBE 9089	YES 5683
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-351.xml	YES 2073	MAYBE 653	YES 4404	TIMEOUT 60274	TIMEOUT 60040	YES 5966
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-352.xml	YES 2266	MAYBE 1181	YES 4403	TIMEOUT 60146	TIMEOUT 60041	YES 5744
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-353.xml	NO 3858	TIMEOUT 60031	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60043	MAYBE 59764
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-354.xml	YES 7728	MAYBE 1168	TIMEOUT 60035	TIMEOUT 60035	TIMEOUT 60045	YES 44373
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-355.xml	TIMEOUT 61935	TIMEOUT 60032	TIMEOUT 60037	TIMEOUT 60034	TIMEOUT 60047	MAYBE 59943
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-356.xml	TIMEOUT 61382	TIMEOUT 60032	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60042	MAYBE 59926
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-359.xml	YES 5649	MAYBE 4254	TIMEOUT 60084	TIMEOUT 60034	TIMEOUT 60045	YES 7771
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-35.xml	YES 3456	MAYBE 541	TIMEOUT 60561	TIMEOUT 60034	TIMEOUT 60045	YES 6953
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-360.xml	YES 2843	YES 1154	YES 5278	TIMEOUT 60034	TIMEOUT 60042	YES 5555
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-361.xml	TIMEOUT 61128	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60032	TIMEOUT 60044	MAYBE 59930
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-362.xml	NO 40283	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60032	TIMEOUT 60043	MAYBE 59943
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-363.xml	TIMEOUT 61333	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60047	MAYBE 59937
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-366.xml	YES 5987	MAYBE 55435	TIMEOUT 60080	TIMEOUT 60034	TIMEOUT 60040	YES 6600
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-367.xml	YES 3637	MAYBE 31333	TIMEOUT 60239	TIMEOUT 60034	TIMEOUT 60041	YES 6402
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-368.xml	NO 6057	MAYBE 9774	TIMEOUT 60033	TIMEOUT 60035	TIMEOUT 60044	MAYBE 59869
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-369.xml	NO 10181	TIMEOUT 60029	TIMEOUT 60377	TIMEOUT 60033	TIMEOUT 60042	NO 15193
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-373.xml	NO 7174	MAYBE 8369	TIMEOUT 60255	TIMEOUT 60033	TIMEOUT 60044	MAYBE 59881
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-374.xml	TIMEOUT 60994	MAYBE 54339	TIMEOUT 60035	TIMEOUT 60032	TIMEOUT 60065	MAYBE 59978
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-375.xml	YES 3228	TIMEOUT 60032	TIMEOUT 60033	TIMEOUT 60036	TIMEOUT 60042	YES 6228
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-376.xml	YES 2989	TIMEOUT 60031	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60049	YES 6346
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-377.xml	YES 2702	MAYBE 21964	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60044	YES 6431
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-378.xml	NO 16164	MAYBE 38514	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60048	MAYBE 59895
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-382.xml	TIMEOUT 61178	TIMEOUT 60036	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60042	NO 47832
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-383.xml	TIMEOUT 60929	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60048	MAYBE 59934
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-384.xml	TIMEOUT 61170	TIMEOUT 60037	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60042	MAYBE 59928
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-385.xml	TIMEOUT 61178	TIMEOUT 60031	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60044	MAYBE 59947
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-386.xml	TIMEOUT 60967	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60032	TIMEOUT 60047	MAYBE 59948
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-389.xml	YES 3264	MAYBE 41720	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60040	YES 6337
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-391.xml	YES 5887	MAYBE 4420	TIMEOUT 60370	TIMEOUT 60034	TIMEOUT 60050	YES 7757
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-392.xml	YES 2616	MAYBE 33935	TIMEOUT 60126	TIMEOUT 60086	TIMEOUT 60044	YES 5876
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-395.xml	YES 3725	TIMEOUT 60030	TIMEOUT 60034	TIMEOUT 60032	TIMEOUT 60045	YES 6541
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-396.xml	YES 4103	MAYBE 47947	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60043	YES 6530
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-399.xml	YES 2906	MAYBE 39727	YES 50746	TIMEOUT 60035	TIMEOUT 60039	YES 9166
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-3.xml	NO 3996	MAYBE 586	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60050	MAYBE 59567
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-400.xml	TIMEOUT 61155	TIMEOUT 60036	TIMEOUT 60035	TIMEOUT 60038	TIMEOUT 60046	MAYBE 59961
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-401.xml	TIMEOUT 61187	TIMEOUT 60037	TIMEOUT 60034	TIMEOUT 60032	TIMEOUT 60038	MAYBE 59968
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-402.xml	NO 40071	TIMEOUT 60036	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60044	MAYBE 59949
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-403.xml	TIMEOUT 61318	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60044	MAYBE 59924
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-406.xml	TIMEOUT 62533	TIMEOUT 60035	TIMEOUT 60035	TIMEOUT 60032	TIMEOUT 60044	MAYBE 59938
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-408.xml	TIMEOUT 60976	TIMEOUT 60032	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60046	TIMEOUT 60043
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-409.xml	TIMEOUT 61290	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60032	TIMEOUT 60040	MAYBE 59921
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-40.xml	YES 3394	MAYBE 12173	TIMEOUT 60034	TIMEOUT 60202	MAYBE 6591	YES 6044
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-410.xml	TIMEOUT 61002	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60035	TIMEOUT 60041	MAYBE 59924
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-412.xml	YES 2589	MAYBE 39938	TIMEOUT 60238	TIMEOUT 60034	TIMEOUT 60043	YES 6686
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-413.xml	YES 2639	TIMEOUT 60029	TIMEOUT 60040	TIMEOUT 60042	TIMEOUT 60040	YES 6549
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-414.xml	YES 3978	TIMEOUT 60029	TIMEOUT 60032	TIMEOUT 60034	TIMEOUT 60042	YES 8754
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-415.xml	YES 4187	TIMEOUT 60030	TIMEOUT 60275	TIMEOUT 60033	TIMEOUT 60039	YES 9251
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-416.xml	YES 3523	TIMEOUT 60029	TIMEOUT 60033	TIMEOUT 60035	TIMEOUT 60044	YES 8528
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-417.xml	YES 3651	TIMEOUT 60029	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60043	YES 6388
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-418.xml	YES 2654	TIMEOUT 60030	TIMEOUT 60033	TIMEOUT 60032	TIMEOUT 60043	YES 6766
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-41.xml	YES 3518	MAYBE 975	YES 8686	TIMEOUT 60035	TIMEOUT 60043	YES 7144
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-427.xml	YES 4196	MAYBE 15273	TIMEOUT 60036	TIMEOUT 60034	TIMEOUT 60044	YES 6686
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-429.xml	YES 4843	MAYBE 727	TIMEOUT 60036	TIMEOUT 60033	TIMEOUT 60042	YES 5868
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-430.xml	TIMEOUT 61196	MAYBE 1051	TIMEOUT 60034	TIMEOUT 60035	MAYBE 1871	MAYBE 59888
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-431.xml	TIMEOUT 61030	MAYBE 560	TIMEOUT 60034	TIMEOUT 60134	TIMEOUT 60044	MAYBE 59814
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-434.xml	TIMEOUT 61032	MAYBE 1832	TIMEOUT 60034	TIMEOUT 60034	MAYBE 2516	MAYBE 59802
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-435.xml	YES 4519	MAYBE 631	YES 16981	TIMEOUT 60035	MAYBE 2171	YES 7252
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-436.xml	YES 4190	MAYBE 658	TIMEOUT 60037	TIMEOUT 60034	MAYBE 2343	YES 7843
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-437.xml	YES 3847	MAYBE 2487	TIMEOUT 60034	TIMEOUT 60032	MAYBE 2178	YES 6445
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-438.xml	YES 3772	MAYBE 20727	TIMEOUT 60034	TIMEOUT 60032	TIMEOUT 60039	YES 8529
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-439.xml	YES 3271	MAYBE 7780	YES 7808	TIMEOUT 60034	TIMEOUT 60045	YES 5672
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-441.xml	YES 2503	MAYBE 5648	YES 8997	TIMEOUT 60032	TIMEOUT 60044	YES 5954
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-443.xml	YES 2341	MAYBE 685	TIMEOUT 60036	TIMEOUT 60035	TIMEOUT 60029	YES 8470
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-446.xml	YES 3386	MAYBE 3231	YES 9096	TIMEOUT 60033	TIMEOUT 60043	YES 6131
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-448.xml	YES 2233	MAYBE 1063	YES 9108	TIMEOUT 60463	TIMEOUT 60049	YES 7270
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-44.xml	YES 2728	MAYBE 701	TIMEOUT 60035	TIMEOUT 60262	MAYBE 1774	YES 6215
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-450.xml	NO 8089	MAYBE 5427	TIMEOUT 60082	TIMEOUT 60034	TIMEOUT 60041	NO 45855
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-451.xml	YES 3719	MAYBE 24117	YES 6269	TIMEOUT 60035	TIMEOUT 60044	YES 7145
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-452.xml	YES 12950	MAYBE 1859	TIMEOUT 60037	TIMEOUT 60036	MAYBE 6208	MAYBE 59771
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-453.xml	YES 2830	MAYBE 964	TIMEOUT 60034	TIMEOUT 60034	MAYBE 29536	YES 9019
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-454.xml	TIMEOUT 61337	MAYBE 7574	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60051	MAYBE 59850
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-455.xml	YES 3605	MAYBE 993	YES 31589	TIMEOUT 60032	TIMEOUT 60037	YES 11300
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-456.xml	YES 3942	MAYBE 2147	TIMEOUT 60034	TIMEOUT 60033	MAYBE 3010	YES 7664
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-45.xml	YES 2899	MAYBE 355	TIMEOUT 60036	TIMEOUT 60034	MAYBE 2636	YES 7072
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-460.xml	YES 2477	MAYBE 6896	TIMEOUT 60035	TIMEOUT 60032	MAYBE 9048	YES 7080
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-461.xml	YES 3734	MAYBE 8786	TIMEOUT 60324	TIMEOUT 60034	MAYBE 5249	YES 8465
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-462.xml	YES 3574	MAYBE 3877	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60041	YES 6701
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-465.xml	YES 2437	MAYBE 846	TIMEOUT 60033	TIMEOUT 60033	MAYBE 669	YES 6075
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-467.xml	YES 2441	MAYBE 1410	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60043	YES 6711
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-468.xml	YES 2402	MAYBE 2664	TIMEOUT 60034	TIMEOUT 60031	TIMEOUT 60057	YES 6426
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-469.xml	YES 4988	TIMEOUT 60030	TIMEOUT 60036	TIMEOUT 60035	TIMEOUT 60040	YES 24095
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-470.xml	YES 3566	MAYBE 637	YES 33210	TIMEOUT 60034	MAYBE 5555	YES 12440
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-472.xml	YES 5009	MAYBE 454	TIMEOUT 60036	TIMEOUT 60034	TIMEOUT 60043	YES 8775
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-473.xml	YES 2367	MAYBE 734	YES 13385	TIMEOUT 60034	TIMEOUT 60033	YES 7038
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-474.xml	NO 18001	TIMEOUT 60029	TIMEOUT 60215	TIMEOUT 60033	TIMEOUT 60043	MAYBE 59940
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-475.xml	TIMEOUT 61054	TIMEOUT 60029	TIMEOUT 60194	TIMEOUT 60033	TIMEOUT 60044	MAYBE 59960
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-476.xml	YES 3731	MAYBE 56386	YES 24811	TIMEOUT 60035	TIMEOUT 60041	YES 7763
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-477.xml	YES 2664	MAYBE 3981	YES 17282	TIMEOUT 60036	MAYBE 5455	YES 6536
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-478.xml	YES 5754	MAYBE 12258	YES 27249	TIMEOUT 60036	TIMEOUT 60046	YES 15780
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-479.xml	YES 3600	MAYBE 3707	YES 20801	TIMEOUT 60036	TIMEOUT 60056	YES 9717
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-47.xml	NO 6080	MAYBE 7029	TIMEOUT 60034	TIMEOUT 60034	MAYBE 18553	MAYBE 59850
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-480.xml	YES 3383	MAYBE 2995	YES 15564	TIMEOUT 60037	MAYBE 5875	YES 7192
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-482.xml	YES 7397	MAYBE 534	YES 16735	TIMEOUT 60034	MAYBE 6806	YES 6831
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-484.xml	YES 2295	MAYBE 7219	YES 40884	TIMEOUT 60038	TIMEOUT 60045	YES 6624
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-485.xml	YES 3031	MAYBE 4271	YES 24791	TIMEOUT 60260	TIMEOUT 60043	YES 7480
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-487.xml	YES 5136	MAYBE 662	TIMEOUT 60036	TIMEOUT 60033	MAYBE 24178	YES 6435
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-488.xml	NO 4253	MAYBE 630	TIMEOUT 60039	TIMEOUT 60033	MAYBE 1906	NO 46361
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-489.xml	YES 4637	MAYBE 434	TIMEOUT 60049	TIMEOUT 60033	TIMEOUT 60044	YES 7642
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-48.xml	YES 3043	MAYBE 7488	YES 16037	TIMEOUT 60035	MAYBE 3878	YES 10181
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-491.xml	NO 8265	TIMEOUT 60032	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60047	MAYBE 59912
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-492.xml	NO 10858	TIMEOUT 60031	TIMEOUT 60033	TIMEOUT 60036	TIMEOUT 60046	MAYBE 59913
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-493.xml	NO 16668	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60032	TIMEOUT 60047	MAYBE 59937
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-494.xml	YES 3276	MAYBE 4088	YES 13636	TIMEOUT 60033	TIMEOUT 60044	YES 6188
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-495.xml	YES 2917	MAYBE 10220	TIMEOUT 60163	TIMEOUT 60033	TIMEOUT 60045	YES 12549
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-497.xml	NO 5379	TIMEOUT 60030	TIMEOUT 60036	TIMEOUT 60321	TIMEOUT 60047	MAYBE 59898
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-498.xml	YES 2292	MAYBE 782	YES 4137	TIMEOUT 60034	TIMEOUT 60029	YES 6869
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-499.xml	YES 2665	MAYBE 4381	TIMEOUT 60034	TIMEOUT 60035	TIMEOUT 60051	YES 9151
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-49.xml	YES 2442	MAYBE 4206	YES 5038	TIMEOUT 60220	TIMEOUT 60043	YES 6003
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-4.xml	YES 3904	MAYBE 438	YES 13708	TIMEOUT 60034	YES 1354	YES 7578
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-502.xml	YES 2506	MAYBE 471	TIMEOUT 60037	TIMEOUT 60033	TIMEOUT 60028	YES 9580
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-503.xml	YES 5556	MAYBE 17813	TIMEOUT 60035	TIMEOUT 60034	TIMEOUT 60040	YES 17173
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-506.xml	YES 6065	MAYBE 533	TIMEOUT 60257	TIMEOUT 60035	TIMEOUT 60045	YES 18279
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-507.xml	YES 3175	MAYBE 745	TIMEOUT 60034	YES 2990	TIMEOUT 60043	YES 1698
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-508.xml	YES 2290	MAYBE 461	TIMEOUT 60036	TIMEOUT 60034	TIMEOUT 60028	YES 7644
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-511.xml	NO 8450	TIMEOUT 60029	TIMEOUT 60235	TIMEOUT 60035	TIMEOUT 60041	NO 48001
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-51.xml	YES 2683	MAYBE 2504	YES 13458	TIMEOUT 60034	TIMEOUT 60042	YES 7380
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-522.xml	NO 15900	TIMEOUT 60034	TIMEOUT 60086	TIMEOUT 60033	TIMEOUT 60042	MAYBE 59968
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-526.xml	YES 2103	TIMEOUT 60032	YES 21335	TIMEOUT 60034	YES 282	YES 6766
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-52.xml	YES 3049	MAYBE 2203	YES 16004	TIMEOUT 60035	TIMEOUT 60044	YES 6261
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-532.xml	YES 4200	MAYBE 2646	TIMEOUT 60036	TIMEOUT 60035	YES 114	YES 6127
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-535.xml	YES 4396	TIMEOUT 60029	TIMEOUT 60036	TIMEOUT 60033	TIMEOUT 60044	YES 6347
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-536.xml	YES 3873	TIMEOUT 60027	TIMEOUT 60038	TIMEOUT 60055	TIMEOUT 60045	YES 6595
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-540.xml	TIMEOUT 60941	MAYBE 929	TIMEOUT 60036	TIMEOUT 60035	TIMEOUT 60048	MAYBE 59793
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-541.xml	YES 4388	MAYBE 9114	TIMEOUT 60035	TIMEOUT 60034	YES 115	YES 7231
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-543.xml	YES 14164	TIMEOUT 60040	TIMEOUT 60034	TIMEOUT 60034	YES 130	YES 6443
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-545.xml	YES 7092	TIMEOUT 60037	TIMEOUT 60035	TIMEOUT 60034	YES 132	YES 5872
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-546.xml	YES 3985	MAYBE 1349	YES 19515	TIMEOUT 60033	TIMEOUT 60039	YES 8356
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-547.xml	YES 3931	MAYBE 1462	YES 18820	TIMEOUT 60053	TIMEOUT 60044	YES 9223
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml	YES 9081	TIMEOUT 60033	TIMEOUT 60037	TIMEOUT 60034	YES 111	YES 5845
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-549.xml	YES 3702	MAYBE 4086	YES 12713	TIMEOUT 60324	TIMEOUT 60046	YES 5675
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-550.xml	YES 4387	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60062	YES 111	YES 5783
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-551.xml	YES 6202	MAYBE 3825	TIMEOUT 60040	TIMEOUT 60034	YES 226	YES 5730
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-552.xml	YES 5410	TIMEOUT 60033	YES 39495	TIMEOUT 60033	YES 129	YES 5761
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-553.xml	YES 7786	TIMEOUT 60031	TIMEOUT 60034	TIMEOUT 60033	YES 114	YES 5921
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-556.xml	YES 6059	TIMEOUT 60032	TIMEOUT 60036	TIMEOUT 60032	YES 117	YES 6161
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml	NO 49019	MAYBE 1598	TIMEOUT 60036	TIMEOUT 60035	TIMEOUT 60046	MAYBE 59883
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-559.xml	YES 5722	MAYBE 1132	YES 37134	TIMEOUT 60152	MAYBE 26731	YES 6236
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-560.xml	YES 6420	MAYBE 1479	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60046	YES 6217
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-561.xml	YES 1889	MAYBE 959	YES 4002	TIMEOUT 60033	TIMEOUT 60042	YES 5995
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-563.xml	YES 4153	MAYBE 3092	YES 57280	TIMEOUT 60034	TIMEOUT 60040	YES 6241
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-564.xml	NO 18303	MAYBE 2005	TIMEOUT 60115	TIMEOUT 60033	TIMEOUT 60044	MAYBE 59875
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-565.xml	YES 6837	MAYBE 878	TIMEOUT 60041	TIMEOUT 60053	MAYBE 11653	YES 6099
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-566.xml	TIMEOUT 61116	MAYBE 727	TIMEOUT 60035	TIMEOUT 60035	MAYBE 11889	MAYBE 59777
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-568.xml	YES 2368	MAYBE 2244	YES 26831	TIMEOUT 60070	TIMEOUT 60044	YES 8805
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml	YES 1037	YES 271	TIMEOUT 60035	TIMEOUT 60033	YES 70	YES 7666
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-59.xml	YES 2471	MAYBE 13176	YES 22588	TIMEOUT 60136	TIMEOUT 60041	YES 6493
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-61.xml	YES 3453	MAYBE 729	YES 15674	TIMEOUT 60282	TIMEOUT 60040	YES 7847
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-64.xml	YES 1069	YES 142	TIMEOUT 60261	TIMEOUT 60034	YES 59	YES 6317
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-65.xml	YES 2900	MAYBE 18798	YES 49853	TIMEOUT 60034	TIMEOUT 60041	YES 9337
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-66.xml	YES 3023	MAYBE 36051	TIMEOUT 60036	TIMEOUT 60033	TIMEOUT 60044	YES 13899
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-67.xml	YES 2635	MAYBE 714	YES 9339	TIMEOUT 60033	TIMEOUT 60040	YES 5624
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-70.xml	YES 3264	MAYBE 577	TIMEOUT 60187	TIMEOUT 60034	TIMEOUT 60044	YES 5553
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-71.xml	YES 3983	MAYBE 10982	TIMEOUT 60034	TIMEOUT 60032	TIMEOUT 60044	YES 6101
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-72.xml	YES 2954	MAYBE 1014	TIMEOUT 60244	TIMEOUT 60034	MAYBE 3325	YES 5997
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-74.xml	YES 3861	MAYBE 271	TIMEOUT 60033	TIMEOUT 60034	MAYBE 10860	YES 7632
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-76.xml	YES 2306	MAYBE 672	YES 4605	TIMEOUT 60255	TIMEOUT 60040	YES 5642
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-7.xml	NO 3571	MAYBE 29089	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60041	NO 11324
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-82.xml	YES 4194	MAYBE 1386	YES 16741	TIMEOUT 60171	TIMEOUT 60042	YES 8269
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-83.xml	NO 50178	MAYBE 647	TIMEOUT 60283	TIMEOUT 60035	MAYBE 6334	MAYBE 59766
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-84.xml	TIMEOUT 60978	MAYBE 12231	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60043	MAYBE 59690
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-85.xml	YES 6488	TIMEOUT 60032	TIMEOUT 60391	TIMEOUT 60032	TIMEOUT 60042	YES 27609
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-86.xml	YES 3129	MAYBE 1478	TIMEOUT 60035	TIMEOUT 60035	TIMEOUT 60047	YES 7073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-88.xml	TIMEOUT 61175	TIMEOUT 60031	TIMEOUT 60168	TIMEOUT 60101	TIMEOUT 60044	MAYBE 59798
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-90.xml	NO 12622	MAYBE 603	TIMEOUT 60033	TIMEOUT 60084	TIMEOUT 60046	NO 57621
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-91.xml	YES 3550	MAYBE 445	TIMEOUT 60034	TIMEOUT 60034	MAYBE 10411	YES 5824
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-92.xml	YES 3824	MAYBE 7202	YES 7858	TIMEOUT 60034	TIMEOUT 60040	YES 7383
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-94.xml	YES 2081	MAYBE 394	YES 6886	TIMEOUT 60035	TIMEOUT 60044	YES 5453
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-95.xml	TIMEOUT 61060	MAYBE 304	TIMEOUT 60034	TIMEOUT 60035	TIMEOUT 60041	MAYBE 59653
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-98.xml	YES 4357	MAYBE 3264	YES 26405	TIMEOUT 60033	MAYBE 4747	YES 14371
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml	NO 893	MAYBE 1429	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60041	NO 11572
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-9.xml	YES 2740	MAYBE 42123	TIMEOUT 60035	TIMEOUT 60041	TIMEOUT 60040	YES 5792
tpdb-8.0/TRS/Zantema_04/syracuse.xml	TIMEOUT 61134	TIMEOUT 60030	TIMEOUT 60329	TIMEOUT 60035	TIMEOUT 60040	TIMEOUT 60071
tpdb-8.0/TRS/Zantema_04/z001.xml	YES 787	TIMEOUT 60034	TIMEOUT 60035	TIMEOUT 60031	TIMEOUT 60044	YES 903
tpdb-8.0/TRS/Zantema_04/z002.xml	YES 751	YES 1617	YES 14533	YES 1322	YES 16457	YES 906
tpdb-8.0/TRS/Zantema_04/z003.xml	YES 796	YES 2115	YES 16493	YES 1595	TIMEOUT 60038	YES 1355
tpdb-8.0/TRS/Zantema_04/z004.xml	YES 756	YES 22155	YES 47021	YES 9213	YES 109	YES 923
tpdb-8.0/TRS/Zantema_04/z005.xml	YES 796	YES 2216	YES 41139	YES 1392	TIMEOUT 60040	YES 913
tpdb-8.0/TRS/Zantema_04/z006.xml	YES 761	YES 146	YES 802	YES 943	YES 60	YES 1093
tpdb-8.0/TRS/Zantema_04/z007.xml	YES 783	YES 209	YES 1660	YES 872	YES 60	YES 1105
tpdb-8.0/TRS/Zantema_04/z008.xml	YES 2608	YES 10443	YES 12768	YES 8532	YES 25215	YES 1493
tpdb-8.0/TRS/Zantema_04/z009.xml	YES 1468	YES 157	YES 1606	YES 2681	YES 81	YES 1561
tpdb-8.0/TRS/Zantema_04/z010.xml	YES 1572	YES 167	TIMEOUT 60192	YES 817	YES 85	YES 1213
tpdb-8.0/TRS/Zantema_04/z011.xml	YES 1903	YES 237	TIMEOUT 60034	YES 2763	YES 180	YES 1362
tpdb-8.0/TRS/Zantema_04/z012.xml	YES 1347	YES 184	YES 45	TIMEOUT 60032	YES 113	YES 1171
tpdb-8.0/TRS/Zantema_04/z013.xml	YES 823	YES 1890	YES 14927	YES 4099	YES 1299	YES 974
tpdb-8.0/TRS/Zantema_04/z014.xml	YES 784	YES 227	YES 1436	YES 1248	YES 78	YES 1231
tpdb-8.0/TRS/Zantema_04/z015.xml	YES 1396	YES 203	TIMEOUT 60034	YES 2019	YES 206	YES 1548
tpdb-8.0/TRS/Zantema_04/z017.xml	YES 794	YES 146	YES 2706	YES 1598	YES 76	YES 893
tpdb-8.0/TRS/Zantema_04/z018.xml	YES 1482	YES 422	YES 8631	YES 1437	YES 733	YES 6635
tpdb-8.0/TRS/Zantema_04/z019.xml	YES 1796	YES 352	YES 9532	YES 2398	YES 731	YES 1307
tpdb-8.0/TRS/Zantema_04/z020.xml	YES 1317	MAYBE 1314	TIMEOUT 60317	YES 3009	YES 164	YES 6262
tpdb-8.0/TRS/Zantema_04/z021.xml	YES 787	YES 246	TIMEOUT 60034	YES 2772	YES 129	YES 940
tpdb-8.0/TRS/Zantema_04/z022.xml	YES 2101	YES 549	YES 4338	YES 3612	YES 569	YES 1479
tpdb-8.0/TRS/Zantema_04/z023.xml	YES 3879	YES 2436	YES 12990	YES 1484	TIMEOUT 60044	YES 1852
tpdb-8.0/TRS/Zantema_04/z024.xml	YES 973	YES 5212	YES 40616	YES 2742	YES 133	YES 1113
tpdb-8.0/TRS/Zantema_04/z025.xml	YES 1268	YES 268	YES 45	YES 1111	YES 584	YES 1501
tpdb-8.0/TRS/Zantema_04/z026.xml	YES 1449	YES 116	YES 40	TIMEOUT 60033	YES 99	YES 852
tpdb-8.0/TRS/Zantema_04/z027.xml	YES 809	TIMEOUT 60068	TIMEOUT 60035	TIMEOUT 60035	TIMEOUT 60040	YES 922
tpdb-8.0/TRS/Zantema_04/z028.xml	YES 795	TIMEOUT 60092	YES 36799	TIMEOUT 60032	TIMEOUT 60046	YES 10053
tpdb-8.0/TRS/Zantema_04/z029.xml	YES 792	TIMEOUT 60089	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60047	YES 917
tpdb-8.0/TRS/Zantema_04/z030.xml	YES 833	TIMEOUT 60081	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60045	YES 936
tpdb-8.0/TRS/Zantema_04/z031.xml	YES 804	TIMEOUT 60083	TIMEOUT 60032	TIMEOUT 60031	TIMEOUT 60039	YES 960
tpdb-8.0/TRS/Zantema_04/z032.xml	YES 774	TIMEOUT 60095	TIMEOUT 60036	TIMEOUT 60032	TIMEOUT 60045	YES 888
tpdb-8.0/TRS/Zantema_04/z033.xml	YES 766	TIMEOUT 60099	YES 35258	YES 8975	TIMEOUT 60040	YES 890
tpdb-8.0/TRS/Zantema_04/z034.xml	YES 786	TIMEOUT 60045	TIMEOUT 60247	TIMEOUT 60032	TIMEOUT 60043	YES 881
tpdb-8.0/TRS/Zantema_04/z035.xml	YES 782	TIMEOUT 60069	TIMEOUT 60032	TIMEOUT 60032	TIMEOUT 60044	YES 901
tpdb-8.0/TRS/Zantema_04/z036.xml	YES 775	TIMEOUT 60095	TIMEOUT 60162	TIMEOUT 60034	TIMEOUT 60039	YES 929
tpdb-8.0/TRS/Zantema_04/z037.xml	YES 792	TIMEOUT 60082	TIMEOUT 60034	TIMEOUT 60032	TIMEOUT 60044	YES 912
tpdb-8.0/TRS/Zantema_04/z038.xml	YES 779	TIMEOUT 60104	TIMEOUT 60035	TIMEOUT 60033	TIMEOUT 60044	YES 917
tpdb-8.0/TRS/Zantema_04/z039.xml	YES 792	TIMEOUT 60084	YES 38496	TIMEOUT 60034	TIMEOUT 60040	YES 913
tpdb-8.0/TRS/Zantema_04/z040.xml	YES 832	TIMEOUT 60091	TIMEOUT 60193	TIMEOUT 60034	TIMEOUT 60047	YES 935
tpdb-8.0/TRS/Zantema_04/z041.xml	YES 788	TIMEOUT 60081	TIMEOUT 60032	TIMEOUT 60031	TIMEOUT 60039	YES 911
tpdb-8.0/TRS/Zantema_04/z042.xml	NO 1003	TIMEOUT 60093	TIMEOUT 60033	TIMEOUT 60032	TIMEOUT 60042	NO 875
tpdb-8.0/TRS/Zantema_04/z043.xml	YES 773	TIMEOUT 60087	TIMEOUT 60086	YES 2850	TIMEOUT 60043	YES 919
tpdb-8.0/TRS/Zantema_04/z044.xml	NO 853	TIMEOUT 60041	TIMEOUT 60032	TIMEOUT 60033	TIMEOUT 60043	NO 897
tpdb-8.0/TRS/Zantema_04/z045.xml	YES 770	TIMEOUT 60095	TIMEOUT 60040	YES 35716	TIMEOUT 60043	YES 886
tpdb-8.0/TRS/Zantema_04/z046.xml	NO 814	TIMEOUT 60094	TIMEOUT 60053	TIMEOUT 60032	TIMEOUT 60038	NO 877
tpdb-8.0/TRS/Zantema_04/z047.xml	YES 752	TIMEOUT 60095	YES 13557	TIMEOUT 60033	TIMEOUT 60041	YES 940
tpdb-8.0/TRS/Zantema_04/z048.xml	YES 791	TIMEOUT 60090	YES 25878	TIMEOUT 60034	TIMEOUT 60042	YES 914
tpdb-8.0/TRS/Zantema_04/z049.xml	YES 778	YES 21632	YES 7468	YES 2066	YES 60	YES 892
tpdb-8.0/TRS/Zantema_04/z050.xml	YES 789	YES 21823	YES 8184	YES 2003	TIMEOUT 60042	YES 864
tpdb-8.0/TRS/Zantema_04/z051.xml	YES 780	TIMEOUT 60045	YES 13832	YES 5109	TIMEOUT 60039	YES 893
tpdb-8.0/TRS/Zantema_04/z052.xml	YES 778	YES 23167	YES 18731	YES 4643	TIMEOUT 60049	YES 894
tpdb-8.0/TRS/Zantema_04/z053.xml	YES 768	TIMEOUT 60047	YES 15559	YES 4520	TIMEOUT 60043	YES 852
tpdb-8.0/TRS/Zantema_04/z054.xml	YES 771	TIMEOUT 60050	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60040	YES 880
tpdb-8.0/TRS/Zantema_04/z055.xml	YES 773	YES 22831	YES 7167	YES 2238	TIMEOUT 60043	YES 889
tpdb-8.0/TRS/Zantema_04/z056.xml	YES 760	YES 45265	YES 16678	TIMEOUT 60033	TIMEOUT 60040	YES 941
tpdb-8.0/TRS/Zantema_04/z057.xml	YES 775	TIMEOUT 60047	YES 21089	YES 5026	TIMEOUT 60042	YES 888
tpdb-8.0/TRS/Zantema_04/z058.xml	YES 772	YES 45496	YES 6702	YES 3530	TIMEOUT 60042	YES 885
tpdb-8.0/TRS/Zantema_04/z059.xml	YES 781	YES 41228	YES 18487	TIMEOUT 60033	TIMEOUT 60042	YES 891
tpdb-8.0/TRS/Zantema_04/z060.xml	YES 773	YES 19586	YES 8036	YES 51088	TIMEOUT 60046	YES 882
tpdb-8.0/TRS/Zantema_04/z061.xml	YES 771	YES 28335	YES 5840	YES 677	YES 43	YES 876
tpdb-8.0/TRS/Zantema_04/z062.xml	YES 767	YES 29932	YES 7496	YES 679	YES 161	YES 901
tpdb-8.0/TRS/Zantema_04/z063.xml	YES 772	YES 768	YES 1190	YES 754	YES 81	YES 867
tpdb-8.0/TRS/Zantema_04/z064.xml	YES 778	TIMEOUT 60043	YES 14870	YES 9715	TIMEOUT 60044	YES 893
tpdb-8.0/TRS/Zantema_04/z065.xml	YES 1755	MAYBE 27	YES 52	TIMEOUT 60037	YES 156	YES 1339
tpdb-8.0/TRS/Zantema_04/z066.xml	YES 3051	YES 338	YES 3658	YES 38198	YES 1416	YES 1629
tpdb-8.0/TRS/Zantema_04/z067.xml	YES 2014	YES 455	YES 1649	YES 44187	YES 648	YES 2313
tpdb-8.0/TRS/Zantema_04/z068.xml	YES 4118	YES 23589	YES 20659	YES 23967	TIMEOUT 60044	YES 1882
tpdb-8.0/TRS/Zantema_04/z069.xml	YES 2465	YES 3066	YES 547	TIMEOUT 60036	YES 1609	YES 1072
tpdb-8.0/TRS/Zantema_04/z070.xml	YES 4544	YES 1820	YES 323	TIMEOUT 60093	TIMEOUT 60037	YES 2014
tpdb-8.0/TRS/Zantema_04/z071.xml	YES 1549	YES 176	YES 12341	YES 1933	YES 92	YES 1755
tpdb-8.0/TRS/Zantema_04/z072.xml	YES 788	YES 989	YES 6426	YES 1959	YES 1332	YES 937
tpdb-8.0/TRS/Zantema_04/z073.xml	NO 2230	MAYBE 4825	TIMEOUT 60034	TIMEOUT 60088	TIMEOUT 60039	TIMEOUT 60052
tpdb-8.0/TRS/Zantema_04/z074.xml	YES 2065	YES 5491	YES 11257	YES 15785	TIMEOUT 60029	YES 3739
tpdb-8.0/TRS/Zantema_04/z075.xml	YES 1472	YES 1054	YES 7398	YES 8113	TIMEOUT 60041	YES 4117
tpdb-8.0/TRS/Zantema_04/z076.xml	YES 1815	MAYBE 54832	TIMEOUT 60035	YES 1872	YES 87	YES 1232
tpdb-8.0/TRS/Zantema_04/z077.xml	YES 1649	YES 43	TIMEOUT 60035	YES 1902	YES 60	YES 1604
tpdb-8.0/TRS/Zantema_04/z078.xml	YES 1767	TIMEOUT 60032	TIMEOUT 60234	YES 7036	YES 130	YES 1355
tpdb-8.0/TRS/Zantema_04/z079.xml	TIMEOUT 60919	MAYBE 39468	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60042	TIMEOUT 60051
tpdb-8.0/TRS/Zantema_04/z080.xml	YES 2442	TIMEOUT 60029	YES 22680	TIMEOUT 60038	YES 7748	YES 920
tpdb-8.0/TRS/Zantema_04/z081.xml	YES 2252	YES 525	YES 58	YES 4189	YES 482	YES 1475
tpdb-8.0/TRS/Zantema_04/z082.xml	YES 1018	MAYBE 4588	TIMEOUT 60036	YES 4048	YES 24625	YES 2205
tpdb-8.0/TRS/Zantema_04/z083.xml	YES 3334	YES 1722	YES 30141	YES 9931	TIMEOUT 60044	YES 2099
tpdb-8.0/TRS/Zantema_04/z084.xml	YES 1153	YES 157	YES 47	YES 1263	YES 720	YES 1420
tpdb-8.0/TRS/Zantema_04/z085.xml	YES 851	YES 68	YES 41	YES 515	YES 121	YES 1003
tpdb-8.0/TRS/Zantema_04/z086.xml	YES 2306	MAYBE 1518	YES 4099	TIMEOUT 60033	TIMEOUT 60029	YES 7269
tpdb-8.0/TRS/Zantema_04/z087.xml	YES 754	YES 304	YES 13477	YES 8081	TIMEOUT 60033	YES 856
tpdb-8.0/TRS/Zantema_04/z088.xml	YES 841	TIMEOUT 60029	TIMEOUT 60041	YES 3625	YES 20046	YES 1049
tpdb-8.0/TRS/Zantema_04/z089.xml	YES 3873	YES 1963	TIMEOUT 60034	YES 3522	YES 10795	YES 1587
tpdb-8.0/TRS/Zantema_04/z090.xml	YES 36866	TIMEOUT 60030	TIMEOUT 60120	TIMEOUT 60037	TIMEOUT 60032	TIMEOUT 60025
tpdb-8.0/TRS/Zantema_04/z091.xml	YES 2109	YES 5337	YES 18759	TIMEOUT 60036	YES 132	YES 6146
tpdb-8.0/TRS/Zantema_04/z092.xml	YES 1507	YES 255	YES 218	YES 11185	YES 922	YES 2944
tpdb-8.0/TRS/Zantema_04/z093.xml	YES 1057	YES 114	YES 56	YES 893	YES 303	YES 1404
tpdb-8.0/TRS/Zantema_04/z094.xml	YES 1253	YES 636	YES 7995	YES 3927	YES 1484	YES 1700
tpdb-8.0/TRS/Zantema_04/z095.xml	YES 827	TIMEOUT 60062	TIMEOUT 60037	TIMEOUT 60032	TIMEOUT 60048	YES 914
tpdb-8.0/TRS/Zantema_04/z096.xml	NO 742	TIMEOUT 60081	TIMEOUT 60037	TIMEOUT 60033	TIMEOUT 60044	NO 882
tpdb-8.0/TRS/Zantema_04/z097.xml	YES 802	TIMEOUT 60078	TIMEOUT 60122	TIMEOUT 60032	TIMEOUT 60040	YES 939
tpdb-8.0/TRS/Zantema_04/z098.xml	YES 790	TIMEOUT 60060	TIMEOUT 60033	TIMEOUT 60033	TIMEOUT 60043	YES 904
tpdb-8.0/TRS/Zantema_04/z100.xml	YES 5043	YES 6555	TIMEOUT 60034	TIMEOUT 60036	YES 14540	YES 4667
tpdb-8.0/TRS/Zantema_04/z101.xml	YES 863	YES 174	YES 43	TIMEOUT 60038	YES 857	YES 1116
tpdb-8.0/TRS/Zantema_04/z102.xml	YES 890	YES 145	YES 50	TIMEOUT 60037	YES 1930	YES 1581
tpdb-8.0/TRS/Zantema_04/z103.xml	YES 1836	YES 123	TIMEOUT 60231	TIMEOUT 60157	YES 621	YES 1723
tpdb-8.0/TRS/Zantema_04/z104.xml	YES 1007	YES 502	YES 64	TIMEOUT 60034	TIMEOUT 60045	YES 2343
tpdb-8.0/TRS/Zantema_04/z105.xml	YES 1372	MAYBE 1804	YES 54	TIMEOUT 60035	TIMEOUT 60043	YES 1979
tpdb-8.0/TRS/Zantema_04/z106.xml	YES 1097	YES 281	YES 54	YES 1809	YES 3128	YES 1916
tpdb-8.0/TRS/Zantema_04/z107.xml	YES 887	MAYBE 1619	YES 51	TIMEOUT 60035	TIMEOUT 60050	YES 1547
tpdb-8.0/TRS/Zantema_04/z108.xml	YES 885	YES 125	YES 55	YES 1175	YES 1802	YES 1483
tpdb-8.0/TRS/Zantema_04/z109.xml	YES 897	YES 98	YES 55	YES 620	YES 803	YES 1642
tpdb-8.0/TRS/Zantema_04/z110.xml	YES 2453	YES 163	TIMEOUT 60035	TIMEOUT 60035	YES 1242	YES 1903
tpdb-8.0/TRS/Zantema_04/z111.xml	YES 1860	YES 688	YES 54	TIMEOUT 60035	TIMEOUT 60060	YES 4909
tpdb-8.0/TRS/Zantema_04/z112.xml	YES 1262	YES 2629	YES 111	YES 4268	TIMEOUT 60044	YES 2855
tpdb-8.0/TRS/Zantema_04/z113.xml	YES 1419	MAYBE 2254	YES 110	TIMEOUT 60037	TIMEOUT 60044	YES 11638
tpdb-8.0/TRS/Zantema_04/z114.xml	YES 1864	YES 112	TIMEOUT 60035	TIMEOUT 60032	YES 532	YES 1436
tpdb-8.0/TRS/Zantema_04/z115.xml	YES 1638	YES 298	YES 62	YES 2480	YES 4504	YES 1880
tpdb-8.0/TRS/Zantema_04/z116.xml	YES 927	YES 103	YES 53	YES 572	YES 872	YES 1440
tpdb-8.0/TRS/Zantema_04/z117.xml	YES 4795	TIMEOUT 60030	TIMEOUT 60034	TIMEOUT 60035	YES 995	YES 1766
tpdb-8.0/TRS/Zantema_04/z118.xml	YES 1646	YES 355	YES 1198	YES 2686	YES 1546	YES 2184
tpdb-8.0/TRS/Zantema_04/z119.xml	YES 2716	YES 513	TIMEOUT 60036	TIMEOUT 60037	TIMEOUT 60036	YES 2394
tpdb-8.0/TRS/Zantema_04/z120.xml	YES 1696	YES 1993	YES 9325	TIMEOUT 60035	MAYBE 18939	YES 6574
tpdb-8.0/TRS/Zantema_04/z121.xml	YES 1134	MAYBE 38731	YES 1001	TIMEOUT 60035	TIMEOUT 60035	YES 2228
tpdb-8.0/TRS/Zantema_04/z122.xml	YES 1785	YES 322	YES 801	YES 9254	TIMEOUT 60036	YES 2676
tpdb-8.0/TRS/Zantema_04/z123.xml	YES 2033	MAYBE 2625	YES 2510	YES 20186	TIMEOUT 60043	YES 1635
tpdb-8.0/TRS/Zantema_04/z124.xml	YES 809	YES 171	YES 110	YES 9625	YES 458	YES 2703
tpdb-8.0/TRS/Zantema_04/z125.xml	YES 1928	YES 2818	TIMEOUT 60037	YES 5230	TIMEOUT 60039	YES 3074
tpdb-8.0/TRS/Zantema_04/z126.xml	YES 1018	YES 811	YES 5416	YES 868	YES 1930	YES 1286
tpdb-8.0/TRS/Zantema_04/z127.xml	NO 774	MAYBE 18551	TIMEOUT 60035	TIMEOUT 60032	TIMEOUT 60040	NO 871
tpdb-8.0/TRS/Zantema_04/z128.xml	NO 774	MAYBE 16615	TIMEOUT 60033	TIMEOUT 60034	TIMEOUT 60036	NO 851
tpdb-8.0/TRS/Zantema_06/01.xml	YES 1844	YES 158	TIMEOUT 60381	YES 2031	YES 83	YES 5871
tpdb-8.0/TRS/Zantema_06/02.xml	YES 1839	YES 521	YES 13335	YES 2579	YES 436	YES 1339
tpdb-8.0/TRS/Zantema_06/03.xml	YES 49306	TIMEOUT 60032	TIMEOUT 60111	TIMEOUT 60033	TIMEOUT 60045	YES 16718
tpdb-8.0/TRS/Zantema_06/04.xml	YES 2477	YES 285	TIMEOUT 60035	TIMEOUT 60034	YES 281	YES 6745
tpdb-8.0/TRS/Zantema_06/05.xml	YES 1006	TIMEOUT 60032	TIMEOUT 60036	TIMEOUT 60033	TIMEOUT 60046	YES 1370
tpdb-8.0/TRS/Zantema_06/06.xml	YES 3474	MAYBE 6820	TIMEOUT 60036	TIMEOUT 60033	TIMEOUT 60039	YES 10145
tpdb-8.0/TRS/Zantema_06/07.xml	TIMEOUT 61127	TIMEOUT 60040	TIMEOUT 60033	TIMEOUT 60035	TIMEOUT 60041	YES 1506
tpdb-8.0/TRS/Zantema_06/08.xml	YES 952	TIMEOUT 60033	TIMEOUT 60396	TIMEOUT 60033	TIMEOUT 60045	YES 1192
tpdb-8.0/TRS/Zantema_06/09.xml	YES 2763	YES 5399	YES 25840	TIMEOUT 60035	TIMEOUT 60058	YES 1580
tpdb-8.0/TRS/Zantema_06/10.xml	YES 3323	YES 381	TIMEOUT 60036	TIMEOUT 60175	YES 995	YES 7427
tpdb-8.0/TRS/Zantema_06/11.xml	YES 849	TIMEOUT 60033	YES 48720	TIMEOUT 60034	YES 227	YES 1101
tpdb-8.0/TRS/Zantema_06/12.xml	YES 16227	TIMEOUT 60052	TIMEOUT 60034	TIMEOUT 60035	YES 327	YES 9808
tpdb-8.0/TRS/Zantema_06/13.xml	YES 8430	TIMEOUT 60057	YES 43115	TIMEOUT 60032	TIMEOUT 60044	YES 38032
tpdb-8.0/TRS/Zantema_06/14.xml	YES 4552	MAYBE 2267	YES 38134	TIMEOUT 60034	TIMEOUT 60047	YES 21992
tpdb-8.0/TRS/Zantema_06/15.xml	YES 15191	TIMEOUT 60082	TIMEOUT 60038	TIMEOUT 60042	TIMEOUT 60043	YES 14761
tpdb-8.0/TRS/Zantema_06/16.xml	YES 3563	YES 34374	TIMEOUT 60044	YES 49575	TIMEOUT 60045	YES 3347
tpdb-8.0/TRS/Zantema_06/17.xml	YES 2146	TIMEOUT 60079	TIMEOUT 60046	TIMEOUT 60194	YES 15159	YES 5640
tpdb-8.0/TRS/Zantema_06/18.xml	YES 2624	TIMEOUT 60086	TIMEOUT 60047	TIMEOUT 60041	TIMEOUT 60039	YES 8217
tpdb-8.0/TRS/Zantema_06/abc.xml	YES 2424	TIMEOUT 60032	YES 6492	TIMEOUT 60034	TIMEOUT 60043	YES 5790
tpdb-8.0/TRS/Zantema_06/beans1.xml	YES 2726	YES 1474	YES 2144	TIMEOUT 60035	YES 1007	YES 3044
tpdb-8.0/TRS/Zantema_06/beans2.xml	YES 2204	MAYBE 57054	YES 20119	TIMEOUT 60037	YES 145	YES 6811
tpdb-8.0/TRS/Zantema_06/beans3.xml	YES 2731	MAYBE 21656	TIMEOUT 60034	TIMEOUT 60041	TIMEOUT 60031	YES 13885
tpdb-8.0/TRS/Zantema_06/beans4.xml	YES 2295	YES 165	TIMEOUT 60035	TIMEOUT 60034	YES 777	YES 1675
tpdb-8.0/TRS/Zantema_06/beans5.xml	YES 2176	MAYBE 1205	YES 16858	TIMEOUT 60034	YES 188	YES 6691
tpdb-8.0/TRS/Zantema_06/beans6.xml	YES 6834	MAYBE 1670	YES 22848	TIMEOUT 60037	YES 304	YES 7567
tpdb-8.0/TRS/Zantema_06/beans7.xml	YES 2941	MAYBE 7748	TIMEOUT 60034	TIMEOUT 60034	TIMEOUT 60039	YES 10684
tpdb-8.0/TRS/Zantema_06/loop1.xml	NO 775	MAYBE 4960	TIMEOUT 60034	TIMEOUT 60033	TIMEOUT 60040	NO 848
tpdb-8.0/TRS/Zantema_06/loop2.xml	NO 747	MAYBE 737	TIMEOUT 60035	TIMEOUT 60035	TIMEOUT 60040	NO 824
tpdb-8.0/TRS/Zantema_06/while1.xml	TIMEOUT 61391	TIMEOUT 60029	TIMEOUT 60035	TIMEOUT 60035	TIMEOUT 60032	TIMEOUT 60077
tpdb-8.0/TRS/Zantema_06/while2.xml	YES 791	YES 8271	YES 49381	YES 4324	YES 234	YES 956
	789	125	289	128	135	678