TermCOMP 2011: Derivational Complexity - Full Rewriting

benchmark	CaT	matchbox-poly	TCT
tpdb-8.0/TRS/AG01/#3.12.xml	MAYBE 55384	n^1 - INF 50733	TIMEOUT 60036
tpdb-8.0/TRS/AG01/#3.15.xml	n^0 - n^2 6506	n^1 - n^2 50173	n^0 - n^2 363
tpdb-8.0/TRS/AG01/#3.17a.xml	MAYBE 55505	n^1 - INF 50557	TIMEOUT 60104
tpdb-8.0/TRS/AG01/#3.17.xml	MAYBE 55458	n^1 - INF 50396	TIMEOUT 60159
tpdb-8.0/TRS/AG01/#3.24.xml	n^0 - n^1 476	n^1 - n^1 201	n^0 - n^1 46
tpdb-8.0/TRS/AG01/#3.26.xml	MAYBE 55379	n^2 - INF 50159	TIMEOUT 60086
tpdb-8.0/TRS/AG01/#3.33.xml	n^0 - n^1 420	n^1 - n^1 256	n^0 - n^1 45
tpdb-8.0/TRS/AG01/#3.35.xml	n^0 - n^2 55359	n^1 - n^2 50085	n^0 - n^2 138
tpdb-8.0/TRS/AG01/#3.37.xml	n^0 - n^1 473	n^1 - n^1 216	n^0 - n^1 42
tpdb-8.0/TRS/AG01/#3.49.xml	MAYBE 55502	n^1 - INF 50489	TIMEOUT 60126
tpdb-8.0/TRS/AG01/#3.51.xml	n^0 - n^1 462	n^1 - n^1 856	n^0 - n^1 48
tpdb-8.0/TRS/AG01/#3.56.xml	n^0 - n^1 423	n^1 - n^2 54309	n^0 - n^2 269
tpdb-8.0/TRS/AG01/#3.7.xml	n^0 - n^1 2933	TIMEOUT 60032	n^0 - n^2 243
tpdb-8.0/TRS/AotoYamada_05/005.xml	n^0 - n^2 8484	TIMEOUT 60032	n^0 - n^2 353
tpdb-8.0/TRS/AotoYamada_05/017.xml	n^0 - n^1 397	n^1 - n^1 125	n^0 - n^1 72
tpdb-8.0/TRS/AotoYamada_05/023.xml	n^0 - n^2 6388	n^1 - n^2 58016	n^0 - n^2 160
tpdb-8.0/TRS/AotoYamada_05/025.xml	n^0 - n^1 388	n^1 - n^1 137	n^0 - n^1 40
tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml	n^0 - n^1 456	n^1 - n^1 208	n^0 - n^1 91
tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml	MAYBE 10354	n^1 - INF 50275	TIMEOUT 60053
tpdb-8.0/TRS/Applicative_05/TypeEx5.xml	MAYBE 10333	n^1 - INF 50187	TIMEOUT 60032
tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml	MAYBE 55528	TIMEOUT 60042	TIMEOUT 60090
tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml	n^0 - n^2 19022	n^1 - INF 54139	n^0 - n^3 47806
tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml	MAYBE 55601	TIMEOUT 60041	TIMEOUT 60142
tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml	MAYBE 55610	n^1 - INF 51124	TIMEOUT 60131
tpdb-8.0/TRS/AProVE_04/Liveness8.xml	n^0 - n^2 56465	n^1 - INF 50647	n^0 - n^2 7473
tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml	n^0 - n^2 21415	n^1 - n^2 50606	n^0 - n^3 43470
tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml	MAYBE 55479	n^1 - INF 51079	TIMEOUT 60096
tpdb-8.0/TRS/AProVE_06/identity.xml	MAYBE 55369	n^1 - INF 50435	TIMEOUT 60073
tpdb-8.0/TRS/AProVE_06/nonterm.xml	MAYBE 55404	TIMEOUT 60049	TIMEOUT 60149
tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml	MAYBE 55479	n^1 - INF 50792	TIMEOUT 60080
tpdb-8.0/TRS/AProVE_08/round_nonterm.xml	MAYBE 27393	n^1 - INF 50322	TIMEOUT 60035
tpdb-8.0/TRS/AProVE_08/round.xml	MAYBE 11849	n^1 - INF 50951	TIMEOUT 60043
tpdb-8.0/TRS/AProVE_10/ex5.xml	n^0 - n^1 396	n^1 - n^1 123	n^0 - n^1 36
tpdb-8.0/TRS/Bouchare_06/01.xml	n^0 - n^1 1597	n^1 - INF 51053	TIMEOUT 60110
tpdb-8.0/TRS/Bouchare_06/02.xml	n^0 - n^1 1245	n^1 - n^1 204	n^0 - n^2 238
tpdb-8.0/TRS/Bouchare_06/03.xml	MAYBE 55379	TIMEOUT 60042	TIMEOUT 60118
tpdb-8.0/TRS/Bouchare_06/04.xml	n^0 - n^1 1593	n^1 - INF 55525	TIMEOUT 60123
tpdb-8.0/TRS/Bouchare_06/05.xml	n^0 - n^1 2249	n^1 - INF 50914	TIMEOUT 60104
tpdb-8.0/TRS/Bouchare_06/06.xml	MAYBE 55447	n^2 - INF 50138	TIMEOUT 60125
tpdb-8.0/TRS/Bouchare_06/07.xml	MAYBE 55415	n^2 - INF 50472	TIMEOUT 60164
tpdb-8.0/TRS/Bouchare_06/08.xml	MAYBE 55386	INF - INF 348	TIMEOUT 60086
tpdb-8.0/TRS/Bouchare_06/09.xml	MAYBE 55380	n^2 - INF 50327	TIMEOUT 60083
tpdb-8.0/TRS/Bouchare_06/10.xml	MAYBE 55382	n^2 - INF 50245	TIMEOUT 60123
tpdb-8.0/TRS/Bouchare_06/11.xml	MAYBE 43108	TIMEOUT 60048	TIMEOUT 60044
tpdb-8.0/TRS/Bouchare_06/12.xml	n^0 - n^1 2267	n^1 - INF 50161	TIMEOUT 60090
tpdb-8.0/TRS/Bouchare_06/13.xml	MAYBE 55374	TIMEOUT 60055	TIMEOUT 60109
tpdb-8.0/TRS/Bouchare_06/14.xml	n^0 - n^1 1215	TIMEOUT 60058	TIMEOUT 60080
tpdb-8.0/TRS/Bouchare_06/15.xml	n^0 - n^1 1547	TIMEOUT 60049	TIMEOUT 60106
tpdb-8.0/TRS/Bouchare_06/16.xml	n^0 - n^1 1198	n^1 - INF 50810	TIMEOUT 60062
tpdb-8.0/TRS/Bouchare_06/17.xml	n^0 - n^1 1475	n^1 - INF 50195	TIMEOUT 60097
tpdb-8.0/TRS/Bouchare_06/18.xml	MAYBE 55383	n^2 - INF 50175	TIMEOUT 60099
tpdb-8.0/TRS/CiME_04/dpqs.xml	n^0 - n^1 441	n^1 - n^1 575	n^0 - n^1 47
tpdb-8.0/TRS/CiME_04/filliatre2.xml	MAYBE 55460	n^1 - INF 50456	TIMEOUT 60142
tpdb-8.0/TRS/CiME_04/filliatre.xml	MAYBE 55589	n^1 - INF 50512	TIMEOUT 60162
tpdb-8.0/TRS/Der95/01.xml	n^0 - n^1 432	n^1 - n^1 179	n^0 - n^1 47
tpdb-8.0/TRS/Der95/02.xml	n^0 - n^1 409	n^1 - n^1 181	n^0 - n^1 37
tpdb-8.0/TRS/Der95/03.xml	n^0 - n^1 386	n^1 - n^1 115	n^0 - n^1 56
tpdb-8.0/TRS/Der95/04.xml	n^0 - n^1 471	n^1 - n^1 132	n^0 - n^1 48
tpdb-8.0/TRS/Der95/06.xml	MAYBE 55382	EXP - INF 66	TIMEOUT 60065
tpdb-8.0/TRS/Der95/07.xml	n^0 - n^2 55401	n^2 - n^2 190	n^0 - n^2 131
tpdb-8.0/TRS/Der95/09.xml	n^0 - n^2 5914	n^1 - n^2 50083	n^0 - n^2 111
tpdb-8.0/TRS/Der95/17.xml	MAYBE 10340	n^1 - INF 50253	TIMEOUT 60057
tpdb-8.0/TRS/Der95/20.xml	MAYBE 33045	n^1 - INF 50380	TIMEOUT 60071
tpdb-8.0/TRS/Der95/27.xml	n^0 - n^2 55171	TIMEOUT 60035	n^0 - n^2 78
tpdb-8.0/TRS/Endrullis_06/direct.xml	n^0 - n^1 527	n^1 - n^1 727	n^0 - n^1 49
tpdb-8.0/TRS/Endrullis_06/linear1.xml	MAYBE 55398	TIMEOUT 60066	TIMEOUT 60153
tpdb-8.0/TRS/Endrullis_06/linear2.xml	MAYBE 55455	n^1 - INF 50177	TIMEOUT 60169
tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml	n^0 - n^2 55715	n^1 - INF 50756	TIMEOUT 60126
tpdb-8.0/TRS/Endrullis_06/pair3swap.xml	MAYBE 55428	n^1 - INF 50150	TIMEOUT 60150
tpdb-8.0/TRS/Endrullis_06/quadruple1.xml	n^0 - n^1 433	n^1 - INF 50161	n^0 - n^1 62
tpdb-8.0/TRS/Endrullis_06/quadruple2.xml	n^0 - n^1 438	n^1 - n^1 709	n^0 - n^1 61
tpdb-8.0/TRS/Gebhardt_06/01.xml	MAYBE 55380	n^2 - INF 50166	TIMEOUT 60161
tpdb-8.0/TRS/Gebhardt_06/02.xml	MAYBE 55392	TIMEOUT 60043	TIMEOUT 60181
tpdb-8.0/TRS/Gebhardt_06/03.xml	MAYBE 55389	n^2 - INF 52715	TIMEOUT 60211
tpdb-8.0/TRS/Gebhardt_06/04.xml	MAYBE 55387	n^2 - INF 50413	TIMEOUT 60151
tpdb-8.0/TRS/Gebhardt_06/05.xml	MAYBE 55382	n^2 - INF 59796	TIMEOUT 60170
tpdb-8.0/TRS/Gebhardt_06/06.xml	MAYBE 55386	n^2 - INF 50302	TIMEOUT 60189
tpdb-8.0/TRS/Gebhardt_06/07.xml	MAYBE 55386	n^2 - INF 50134	TIMEOUT 60190
tpdb-8.0/TRS/Gebhardt_06/08.xml	MAYBE 55419	TIMEOUT 60037	TIMEOUT 60220
tpdb-8.0/TRS/Gebhardt_06/09.xml	MAYBE 55386	n^1 - INF 50202	TIMEOUT 60144
tpdb-8.0/TRS/Gebhardt_06/10.xml	MAYBE 55387	TIMEOUT 60038	TIMEOUT 60191
tpdb-8.0/TRS/Gebhardt_06/11.xml	MAYBE 55434	TIMEOUT 60039	TIMEOUT 60160
tpdb-8.0/TRS/Gebhardt_06/12.xml	MAYBE 55444	n^2 - INF 50454	TIMEOUT 60150
tpdb-8.0/TRS/Gebhardt_06/13.xml	MAYBE 55451	TIMEOUT 60060	TIMEOUT 60200
tpdb-8.0/TRS/Gebhardt_06/14.xml	MAYBE 55413	n^2 - INF 50418	TIMEOUT 60116
tpdb-8.0/TRS/Gebhardt_06/15.xml	MAYBE 55453	n^2 - INF 50775	TIMEOUT 60194
tpdb-8.0/TRS/Gebhardt_06/16.xml	MAYBE 55384	n^2 - INF 50255	TIMEOUT 60125
tpdb-8.0/TRS/Gebhardt_06/17.xml	MAYBE 55388	n^2 - INF 50319	TIMEOUT 60197
tpdb-8.0/TRS/Gebhardt_06/18.xml	MAYBE 55394	n^2 - INF 50127	TIMEOUT 60138
tpdb-8.0/TRS/Gebhardt_06/19.xml	MAYBE 55395	n^2 - INF 50500	TIMEOUT 60165
tpdb-8.0/TRS/Gebhardt_06/20.xml	MAYBE 55388	n^1 - INF 50257	TIMEOUT 60146
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml	MAYBE 10332	INF - INF 63	TIMEOUT 60031
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml	MAYBE 10327	n^1 - INF 50096	TIMEOUT 60033
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml	MAYBE 10330	n^1 - INF 50150	TIMEOUT 60030
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml	MAYBE 10328	INF - INF 68	TIMEOUT 60042
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml	MAYBE 10328	INF - INF 73	TIMEOUT 60031
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml	MAYBE 10329	n^1 - INF 50084	TIMEOUT 60031
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml	MAYBE 32320	n^1 - INF 51109	TIMEOUT 60077
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml	MAYBE 27024	n^1 - INF 55052	TIMEOUT 60033
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml	n^0 - n^1 391	n^1 - n^1 122	n^0 - n^1 51
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml	n^0 - n^1 399	n^1 - n^1 141	n^0 - n^2 103
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t008.xml	n^0 - n^1 3934	n^1 - n^2 50274	TIMEOUT 60099
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml	MAYBE 55995	n^1 - INF 51167	TIMEOUT 60313
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml	n^0 - n^1 396	n^1 - n^1 133	n^0 - n^1 99
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml	n^0 - n^2 6002	n^1 - n^2 50146	n^0 - n^2 100
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml	MAYBE 55437	n^1 - INF 51483	TIMEOUT 60037
tpdb-8.0/TRS/ICFP_2010/107193.xml	TIMEOUT 60080	n^1 - INF 56107	TIMEOUT 60159
tpdb-8.0/TRS/ICFP_2010/107220.xml	MAYBE 59853	n^1 - INF 59118	TIMEOUT 60143
tpdb-8.0/TRS/ICFP_2010/107236.xml	TIMEOUT 60036	n^1 - INF 54567	TIMEOUT 60129
tpdb-8.0/TRS/ICFP_2010/123759.xml	MAYBE 58131	n^1 - INF 58320	n^0 - n^1 7692
tpdb-8.0/TRS/ICFP_2010/124211.xml	MAYBE 58066	n^1 - INF 53364	TIMEOUT 60172
tpdb-8.0/TRS/ICFP_2010/124269.xml	MAYBE 58448	n^1 - INF 54334	TIMEOUT 60149
tpdb-8.0/TRS/ICFP_2010/124791.xml	MAYBE 58202	n^1 - INF 58771	TIMEOUT 60161
tpdb-8.0/TRS/ICFP_2010/127538.xml	MAYBE 58741	n^1 - INF 54598	TIMEOUT 60183
tpdb-8.0/TRS/ICFP_2010/128056.xml	MAYBE 59633	n^1 - INF 58486	TIMEOUT 60184
tpdb-8.0/TRS/ICFP_2010/128182.xml	MAYBE 58588	n^1 - INF 54181	TIMEOUT 60171
tpdb-8.0/TRS/ICFP_2010/128280.xml	MAYBE 58562	n^1 - INF 53734	n^0 - n^1 11287
tpdb-8.0/TRS/ICFP_2010/128430.xml	MAYBE 58842	n^1 - INF 60004	TIMEOUT 60139
tpdb-8.0/TRS/ICFP_2010/128486.xml	MAYBE 58677	n^1 - INF 60029	TIMEOUT 60149
tpdb-8.0/TRS/ICFP_2010/128515.xml	MAYBE 58653	n^1 - INF 54133	TIMEOUT 60180
tpdb-8.0/TRS/ICFP_2010/128550.xml	MAYBE 58523	n^1 - INF 59608	TIMEOUT 60168
tpdb-8.0/TRS/ICFP_2010/128620.xml	MAYBE 58771	n^1 - INF 59881	TIMEOUT 60174
tpdb-8.0/TRS/ICFP_2010/128691.xml	MAYBE 58631	n^1 - INF 58157	TIMEOUT 60160
tpdb-8.0/TRS/ICFP_2010/130161.xml	MAYBE 59689	n^1 - INF 54803	TIMEOUT 60204
tpdb-8.0/TRS/ICFP_2010/130304.xml	MAYBE 59624	n^1 - INF 59419	TIMEOUT 60211
tpdb-8.0/TRS/ICFP_2010/130472.xml	TIMEOUT 60038	TIMEOUT 60190	TIMEOUT 60240
tpdb-8.0/TRS/ICFP_2010/130962.xml	MAYBE 59657	n^1 - INF 59634	TIMEOUT 60244
tpdb-8.0/TRS/ICFP_2010/131633.xml	MAYBE 58167	n^1 - INF 53509	TIMEOUT 60167
tpdb-8.0/TRS/ICFP_2010/131982.xml	MAYBE 58108	n^1 - INF 60030	n^0 - n^1 8429
tpdb-8.0/TRS/ICFP_2010/132235.xml	MAYBE 58019	n^1 - INF 53424	TIMEOUT 60143
tpdb-8.0/TRS/ICFP_2010/132478.xml	MAYBE 58599	n^1 - INF 59148	TIMEOUT 60193
tpdb-8.0/TRS/ICFP_2010/132540.xml	MAYBE 58698	n^1 - INF 59676	TIMEOUT 60183
tpdb-8.0/TRS/ICFP_2010/132611.xml	MAYBE 58123	n^1 - INF 59727	TIMEOUT 60163
tpdb-8.0/TRS/ICFP_2010/132622.xml	MAYBE 58580	n^1 - INF 53530	TIMEOUT 60142
tpdb-8.0/TRS/ICFP_2010/132720.xml	MAYBE 58575	n^1 - INF 59982	TIMEOUT 60142
tpdb-8.0/TRS/ICFP_2010/132738.xml	MAYBE 58514	n^1 - INF 54097	TIMEOUT 60150
tpdb-8.0/TRS/ICFP_2010/132782.xml	MAYBE 58627	n^1 - INF 59122	TIMEOUT 60170
tpdb-8.0/TRS/ICFP_2010/132833.xml	MAYBE 58581	n^1 - INF 57476	n^0 - n^1 26380
tpdb-8.0/TRS/ICFP_2010/132848.xml	MAYBE 59706	n^1 - INF 54992	TIMEOUT 60197
tpdb-8.0/TRS/ICFP_2010/132864.xml	MAYBE 58626	n^1 - INF 53527	TIMEOUT 60181
tpdb-8.0/TRS/ICFP_2010/132920.xml	MAYBE 58570	TIMEOUT 60223	TIMEOUT 60161
tpdb-8.0/TRS/ICFP_2010/132957.xml	MAYBE 58599	n^1 - INF 58143	n^0 - n^1 24582
tpdb-8.0/TRS/ICFP_2010/132969.xml	MAYBE 58144	n^1 - INF 53579	TIMEOUT 60157
tpdb-8.0/TRS/ICFP_2010/133010.xml	MAYBE 58583	n^1 - INF 58020	TIMEOUT 60141
tpdb-8.0/TRS/ICFP_2010/133079.xml	MAYBE 59753	TIMEOUT 60190	TIMEOUT 60171
tpdb-8.0/TRS/ICFP_2010/133159.xml	MAYBE 58137	n^1 - INF 59056	TIMEOUT 60191
tpdb-8.0/TRS/ICFP_2010/133236.xml	MAYBE 59708	n^1 - INF 55265	TIMEOUT 60133
tpdb-8.0/TRS/ICFP_2010/133432.xml	MAYBE 59675	TIMEOUT 60159	TIMEOUT 60146
tpdb-8.0/TRS/ICFP_2010/133486.xml	MAYBE 58065	n^1 - INF 53552	n^0 - n^1 8143
tpdb-8.0/TRS/ICFP_2010/133532.xml	MAYBE 59668	n^1 - INF 54995	TIMEOUT 60216
tpdb-8.0/TRS/ICFP_2010/133827.xml	MAYBE 58144	n^1 - INF 58367	n^0 - n^1 21155
tpdb-8.0/TRS/ICFP_2010/133881.xml	MAYBE 58107	n^1 - INF 53578	n^0 - n^1 7284
tpdb-8.0/TRS/ICFP_2010/134918.xml	MAYBE 58105	n^1 - INF 59000	TIMEOUT 60157
tpdb-8.0/TRS/ICFP_2010/135115.xml	MAYBE 58032	n^1 - INF 54159	TIMEOUT 60177
tpdb-8.0/TRS/ICFP_2010/135328.xml	MAYBE 58054	n^1 - INF 53718	TIMEOUT 60156
tpdb-8.0/TRS/ICFP_2010/135410.xml	MAYBE 59616	TIMEOUT 60198	TIMEOUT 60160
tpdb-8.0/TRS/ICFP_2010/135505.xml	MAYBE 59667	n^1 - INF 56029	TIMEOUT 60159
tpdb-8.0/TRS/ICFP_2010/135601.xml	MAYBE 59781	n^1 - INF 56408	TIMEOUT 60145
tpdb-8.0/TRS/ICFP_2010/135604.xml	MAYBE 58011	n^1 - INF 53557	TIMEOUT 60158
tpdb-8.0/TRS/ICFP_2010/135652.xml	MAYBE 58280	n^1 - INF 53659	n^0 - n^1 22453
tpdb-8.0/TRS/ICFP_2010/135659.xml	MAYBE 59636	TIMEOUT 60378	TIMEOUT 60168
tpdb-8.0/TRS/ICFP_2010/135714.xml	MAYBE 59710	n^1 - INF 56044	TIMEOUT 60145
tpdb-8.0/TRS/ICFP_2010/135782.xml	MAYBE 58115	n^1 - INF 53402	TIMEOUT 60150
tpdb-8.0/TRS/ICFP_2010/135936.xml	MAYBE 58244	n^1 - INF 58054	n^0 - n^1 12683
tpdb-8.0/TRS/ICFP_2010/136051.xml	MAYBE 58155	n^1 - INF 53474	n^0 - n^1 7568
tpdb-8.0/TRS/ICFP_2010/136280.xml	MAYBE 59670	TIMEOUT 60156	TIMEOUT 60136
tpdb-8.0/TRS/ICFP_2010/136323.xml	MAYBE 59636	n^1 - INF 56905	TIMEOUT 60151
tpdb-8.0/TRS/ICFP_2010/136354.xml	MAYBE 59680	n^1 - INF 55969	TIMEOUT 60131
tpdb-8.0/TRS/ICFP_2010/136463.xml	MAYBE 59676	n^1 - INF 54957	TIMEOUT 60185
tpdb-8.0/TRS/ICFP_2010/136497.xml	MAYBE 59609	n^1 - INF 54851	TIMEOUT 60152
tpdb-8.0/TRS/ICFP_2010/136534.xml	MAYBE 59703	n^1 - INF 55115	TIMEOUT 60237
tpdb-8.0/TRS/ICFP_2010/136562.xml	MAYBE 58154	n^1 - INF 53530	n^0 - n^1 8945
tpdb-8.0/TRS/ICFP_2010/136571.xml	MAYBE 59701	n^1 - INF 54542	TIMEOUT 60192
tpdb-8.0/TRS/ICFP_2010/136601.xml	MAYBE 59631	n^1 - INF 54829	TIMEOUT 60185
tpdb-8.0/TRS/ICFP_2010/136623.xml	MAYBE 57955	n^1 - INF 53453	TIMEOUT 60181
tpdb-8.0/TRS/ICFP_2010/136693.xml	MAYBE 59724	n^1 - INF 59843	TIMEOUT 60259
tpdb-8.0/TRS/ICFP_2010/136934.xml	MAYBE 59728	TIMEOUT 60155	TIMEOUT 60181
tpdb-8.0/TRS/ICFP_2010/137087.xml	MAYBE 59760	TIMEOUT 60192	TIMEOUT 60178
tpdb-8.0/TRS/ICFP_2010/137136.xml	MAYBE 59652	n^1 - INF 55400	TIMEOUT 60160
tpdb-8.0/TRS/ICFP_2010/137316.xml	MAYBE 59809	n^1 - INF 54768	TIMEOUT 60138
tpdb-8.0/TRS/ICFP_2010/137404.xml	MAYBE 58095	n^1 - INF 53397	n^0 - n^1 7498
tpdb-8.0/TRS/ICFP_2010/137621.xml	MAYBE 59689	TIMEOUT 60154	TIMEOUT 60115
tpdb-8.0/TRS/ICFP_2010/137623.xml	MAYBE 58185	n^1 - INF 57429	TIMEOUT 60168
tpdb-8.0/TRS/ICFP_2010/137715.xml	MAYBE 59884	n^1 - INF 54836	TIMEOUT 60128
tpdb-8.0/TRS/ICFP_2010/137799.xml	MAYBE 59750	n^1 - INF 55909	TIMEOUT 60115
tpdb-8.0/TRS/ICFP_2010/137809.xml	MAYBE 58027	n^1 - INF 54385	n^0 - n^1 14578
tpdb-8.0/TRS/ICFP_2010/137956.xml	MAYBE 59632	TIMEOUT 60339	TIMEOUT 60123
tpdb-8.0/TRS/ICFP_2010/138089.xml	MAYBE 59676	n^1 - INF 58649	TIMEOUT 60174
tpdb-8.0/TRS/ICFP_2010/138142.xml	MAYBE 58282	n^1 - INF 53935	TIMEOUT 60156
tpdb-8.0/TRS/ICFP_2010/138194.xml	MAYBE 58105	n^1 - INF 54382	n^0 - n^1 6892
tpdb-8.0/TRS/ICFP_2010/138254.xml	MAYBE 58135	n^1 - INF 58476	n^0 - n^1 13485
tpdb-8.0/TRS/ICFP_2010/138269.xml	MAYBE 58064	n^1 - INF 54758	TIMEOUT 60157
tpdb-8.0/TRS/ICFP_2010/138330.xml	MAYBE 58075	n^1 - INF 54484	n^0 - n^1 9344
tpdb-8.0/TRS/ICFP_2010/138468.xml	TIMEOUT 60124	n^1 - INF 56553	TIMEOUT 60157
tpdb-8.0/TRS/ICFP_2010/138477.xml	MAYBE 58178	n^1 - INF 60029	n^0 - n^1 9797
tpdb-8.0/TRS/ICFP_2010/138993.xml	MAYBE 58599	n^1 - INF 57994	TIMEOUT 60164
tpdb-8.0/TRS/ICFP_2010/139004.xml	MAYBE 58689	n^1 - INF 58998	TIMEOUT 60167
tpdb-8.0/TRS/ICFP_2010/139018.xml	MAYBE 58578	n^1 - INF 53439	n^0 - n^1 21302
tpdb-8.0/TRS/ICFP_2010/139025.xml	MAYBE 58684	n^1 - INF 58695	TIMEOUT 60175
tpdb-8.0/TRS/ICFP_2010/139036.xml	MAYBE 58629	n^1 - INF 53991	TIMEOUT 60142
tpdb-8.0/TRS/ICFP_2010/139100.xml	MAYBE 58636	n^1 - INF 53563	TIMEOUT 60168
tpdb-8.0/TRS/ICFP_2010/139163.xml	MAYBE 58611	TIMEOUT 60159	TIMEOUT 60183
tpdb-8.0/TRS/ICFP_2010/139167.xml	MAYBE 58543	n^1 - INF 53864	TIMEOUT 60173
tpdb-8.0/TRS/ICFP_2010/139174.xml	MAYBE 58659	n^1 - INF 57521	TIMEOUT 60181
tpdb-8.0/TRS/ICFP_2010/139180.xml	MAYBE 58615	n^1 - INF 58325	TIMEOUT 60148
tpdb-8.0/TRS/ICFP_2010/139185.xml	MAYBE 58733	TIMEOUT 60164	TIMEOUT 60175
tpdb-8.0/TRS/ICFP_2010/139190.xml	MAYBE 58603	n^1 - INF 53809	TIMEOUT 60144
tpdb-8.0/TRS/ICFP_2010/139214.xml	MAYBE 58557	n^1 - INF 55556	TIMEOUT 60174
tpdb-8.0/TRS/ICFP_2010/139236.xml	MAYBE 58609	n^1 - INF 57560	TIMEOUT 60151
tpdb-8.0/TRS/ICFP_2010/139256.xml	MAYBE 58640	n^1 - INF 59469	TIMEOUT 60171
tpdb-8.0/TRS/ICFP_2010/139282.xml	MAYBE 58628	n^1 - INF 57038	TIMEOUT 60171
tpdb-8.0/TRS/ICFP_2010/139310.xml	MAYBE 58596	n^1 - INF 58832	n^0 - n^1 40526
tpdb-8.0/TRS/ICFP_2010/139378.xml	MAYBE 58582	n^1 - INF 53917	TIMEOUT 60142
tpdb-8.0/TRS/ICFP_2010/140287.xml	MAYBE 58591	n^1 - INF 53934	TIMEOUT 60130
tpdb-8.0/TRS/ICFP_2010/140318.xml	MAYBE 58728	n^1 - INF 53792	TIMEOUT 60187
tpdb-8.0/TRS/ICFP_2010/140359.xml	MAYBE 58635	n^1 - INF 59837	TIMEOUT 60192
tpdb-8.0/TRS/ICFP_2010/140631.xml	MAYBE 56971	n^1 - INF 53297	TIMEOUT 60139
tpdb-8.0/TRS/ICFP_2010/140639.xml	MAYBE 58044	n^1 - INF 52013	TIMEOUT 60140
tpdb-8.0/TRS/ICFP_2010/140654.xml	MAYBE 56567	n^1 - INF 53035	TIMEOUT 60165
tpdb-8.0/TRS/ICFP_2010/140659.xml	MAYBE 57454	n^1 - INF 54622	TIMEOUT 60153
tpdb-8.0/TRS/ICFP_2010/140664.xml	MAYBE 57804	TIMEOUT 60340	TIMEOUT 60122
tpdb-8.0/TRS/ICFP_2010/142142.xml	MAYBE 57336	TIMEOUT 60276	TIMEOUT 60134
tpdb-8.0/TRS/ICFP_2010/142146.xml	MAYBE 57789	TIMEOUT 60346	TIMEOUT 60179
tpdb-8.0/TRS/ICFP_2010/142150.xml	MAYBE 57313	TIMEOUT 60282	TIMEOUT 60170
tpdb-8.0/TRS/ICFP_2010/142157.xml	MAYBE 57399	n^1 - INF 55415	TIMEOUT 60163
tpdb-8.0/TRS/ICFP_2010/147437.xml	TIMEOUT 60110	n^1 - INF 56329	TIMEOUT 60149
tpdb-8.0/TRS/ICFP_2010/148543.xml	TIMEOUT 60124	TIMEOUT 60046	TIMEOUT 60122
tpdb-8.0/TRS/ICFP_2010/149251.xml	TIMEOUT 60129	TIMEOUT 60050	TIMEOUT 60129
tpdb-8.0/TRS/ICFP_2010/149277.xml	TIMEOUT 60107	TIMEOUT 60050	TIMEOUT 60127
tpdb-8.0/TRS/ICFP_2010/149297.xml	TIMEOUT 60106	n^1 - INF 56691	TIMEOUT 60125
tpdb-8.0/TRS/ICFP_2010/149319.xml	TIMEOUT 60115	TIMEOUT 60055	TIMEOUT 60207
tpdb-8.0/TRS/ICFP_2010/149361.xml	TIMEOUT 60110	TIMEOUT 60056	TIMEOUT 60125
tpdb-8.0/TRS/ICFP_2010/149415.xml	TIMEOUT 60112	TIMEOUT 60048	TIMEOUT 60129
tpdb-8.0/TRS/ICFP_2010/149633.xml	TIMEOUT 60108	TIMEOUT 60053	TIMEOUT 60199
tpdb-8.0/TRS/ICFP_2010/149713.xml	TIMEOUT 60099	n^1 - INF 57094	TIMEOUT 60112
tpdb-8.0/TRS/ICFP_2010/149849.xml	TIMEOUT 60113	TIMEOUT 60049	TIMEOUT 60121
tpdb-8.0/TRS/ICFP_2010/149915.xml	TIMEOUT 60140	TIMEOUT 60049	TIMEOUT 60141
tpdb-8.0/TRS/ICFP_2010/150067.xml	TIMEOUT 60115	TIMEOUT 60056	TIMEOUT 60170
tpdb-8.0/TRS/ICFP_2010/150188.xml	TIMEOUT 60110	n^1 - INF 56638	TIMEOUT 60200
tpdb-8.0/TRS/ICFP_2010/150258.xml	TIMEOUT 60110	TIMEOUT 60052	TIMEOUT 60127
tpdb-8.0/TRS/ICFP_2010/150468.xml	TIMEOUT 60117	n^1 - INF 56187	TIMEOUT 60134
tpdb-8.0/TRS/ICFP_2010/150630.xml	TIMEOUT 60128	TIMEOUT 60048	TIMEOUT 60125
tpdb-8.0/TRS/ICFP_2010/150725.xml	TIMEOUT 60113	n^1 - INF 55942	TIMEOUT 60147
tpdb-8.0/TRS/ICFP_2010/150815.xml	TIMEOUT 60135	n^1 - INF 56923	TIMEOUT 60225
tpdb-8.0/TRS/ICFP_2010/150839.xml	TIMEOUT 60170	n^1 - INF 55998	TIMEOUT 60138
tpdb-8.0/TRS/ICFP_2010/150877.xml	TIMEOUT 60108	n^1 - INF 56251	TIMEOUT 60149
tpdb-8.0/TRS/ICFP_2010/151247.xml	TIMEOUT 60096	TIMEOUT 60043	TIMEOUT 60142
tpdb-8.0/TRS/ICFP_2010/152694.xml	MAYBE 59691	n^1 - INF 54728	TIMEOUT 60167
tpdb-8.0/TRS/ICFP_2010/152786.xml	MAYBE 59685	n^1 - INF 55236	TIMEOUT 60127
tpdb-8.0/TRS/ICFP_2010/152865.xml	MAYBE 59803	TIMEOUT 60376	TIMEOUT 60178
tpdb-8.0/TRS/ICFP_2010/152949.xml	MAYBE 59721	TIMEOUT 60107	TIMEOUT 60208
tpdb-8.0/TRS/ICFP_2010/153034.xml	MAYBE 59663	n^1 - INF 55801	n^0 - n^1 37518
tpdb-8.0/TRS/ICFP_2010/153090.xml	MAYBE 59796	n^1 - INF 55484	TIMEOUT 60198
tpdb-8.0/TRS/ICFP_2010/153170.xml	MAYBE 59764	TIMEOUT 60099	TIMEOUT 60133
tpdb-8.0/TRS/ICFP_2010/153243.xml	MAYBE 59739	n^1 - INF 55841	TIMEOUT 60213
tpdb-8.0/TRS/ICFP_2010/153288.xml	MAYBE 59689	TIMEOUT 60399	TIMEOUT 60133
tpdb-8.0/TRS/ICFP_2010/153371.xml	MAYBE 59725	n^1 - INF 54869	TIMEOUT 60167
tpdb-8.0/TRS/ICFP_2010/153444.xml	MAYBE 59693	n^1 - INF 54740	TIMEOUT 60187
tpdb-8.0/TRS/ICFP_2010/157150.xml	MAYBE 56878	n^1 - INF 53018	TIMEOUT 60279
tpdb-8.0/TRS/ICFP_2010/157161.xml	MAYBE 57208	n^1 - INF 59456	TIMEOUT 60311
tpdb-8.0/TRS/ICFP_2010/157275.xml	MAYBE 59726	n^1 - INF 55338	TIMEOUT 60175
tpdb-8.0/TRS/ICFP_2010/157388.xml	MAYBE 57036	n^1 - INF 58685	TIMEOUT 60330
tpdb-8.0/TRS/ICFP_2010/157436.xml	MAYBE 56938	n^1 - INF 52055	TIMEOUT 60266
tpdb-8.0/TRS/ICFP_2010/157466.xml	MAYBE 59776	n^1 - INF 55439	TIMEOUT 60183
tpdb-8.0/TRS/ICFP_2010/157593.xml	MAYBE 57304	TIMEOUT 60070	TIMEOUT 60278
tpdb-8.0/TRS/ICFP_2010/157603.xml	MAYBE 59659	n^1 - INF 54775	TIMEOUT 60137
tpdb-8.0/TRS/ICFP_2010/157713.xml	MAYBE 59661	n^1 - INF 55506	TIMEOUT 60174
tpdb-8.0/TRS/ICFP_2010/158152.xml	MAYBE 56667	TIMEOUT 60046	TIMEOUT 60276
tpdb-8.0/TRS/ICFP_2010/158208.xml	MAYBE 59732	n^1 - INF 56326	TIMEOUT 60143
tpdb-8.0/TRS/ICFP_2010/158342.xml	MAYBE 59704	TIMEOUT 60143	TIMEOUT 60202
tpdb-8.0/TRS/ICFP_2010/158477.xml	MAYBE 59815	n^1 - INF 55247	TIMEOUT 60233
tpdb-8.0/TRS/ICFP_2010/158620.xml	MAYBE 59705	TIMEOUT 60198	TIMEOUT 60181
tpdb-8.0/TRS/ICFP_2010/159731.xml	n^0 - n^2 56229	TIMEOUT 60057	TIMEOUT 60268
tpdb-8.0/TRS/ICFP_2010/160068.xml	MAYBE 59937	n^1 - INF 54801	TIMEOUT 60200
tpdb-8.0/TRS/ICFP_2010/160210.xml	TIMEOUT 60167	n^1 - INF 56597	TIMEOUT 60172
tpdb-8.0/TRS/ICFP_2010/160234.xml	MAYBE 57118	TIMEOUT 60043	TIMEOUT 60208
tpdb-8.0/TRS/ICFP_2010/160254.xml	TIMEOUT 60052	n^1 - INF 55271	TIMEOUT 60146
tpdb-8.0/TRS/ICFP_2010/160263.xml	MAYBE 56811	n^1 - INF 50710	TIMEOUT 60234
tpdb-8.0/TRS/ICFP_2010/160324.xml	MAYBE 60030	TIMEOUT 60053	TIMEOUT 60153
tpdb-8.0/TRS/ICFP_2010/160364.xml	TIMEOUT 60130	TIMEOUT 60049	TIMEOUT 60205
tpdb-8.0/TRS/ICFP_2010/160398.xml	TIMEOUT 60037	n^1 - INF 55062	TIMEOUT 60131
tpdb-8.0/TRS/ICFP_2010/160427.xml	TIMEOUT 60086	TIMEOUT 60056	TIMEOUT 60197
tpdb-8.0/TRS/ICFP_2010/160462.xml	TIMEOUT 60093	n^1 - INF 55103	TIMEOUT 60145
tpdb-8.0/TRS/ICFP_2010/160475.xml	TIMEOUT 60147	n^1 - INF 55890	TIMEOUT 60143
tpdb-8.0/TRS/ICFP_2010/160660.xml	MAYBE 59953	TIMEOUT 60620	TIMEOUT 60159
tpdb-8.0/TRS/ICFP_2010/161519.xml	TIMEOUT 60094	TIMEOUT 60055	TIMEOUT 60191
tpdb-8.0/TRS/ICFP_2010/161533.xml	TIMEOUT 60151	n^1 - INF 56320	TIMEOUT 60187
tpdb-8.0/TRS/ICFP_2010/161593.xml	TIMEOUT 60039	TIMEOUT 60058	TIMEOUT 60143
tpdb-8.0/TRS/ICFP_2010/161864.xml	MAYBE 59656	n^1 - INF 54577	TIMEOUT 60152
tpdb-8.0/TRS/ICFP_2010/161917.xml	TIMEOUT 60128	TIMEOUT 60048	TIMEOUT 60154
tpdb-8.0/TRS/ICFP_2010/161930.xml	TIMEOUT 60037	TIMEOUT 60164	TIMEOUT 60229
tpdb-8.0/TRS/ICFP_2010/162016.xml	TIMEOUT 60106	n^1 - INF 55200	TIMEOUT 60165
tpdb-8.0/TRS/ICFP_2010/162075.xml	TIMEOUT 60140	n^1 - INF 56755	TIMEOUT 60187
tpdb-8.0/TRS/ICFP_2010/162095.xml	MAYBE 60038	n^1 - INF 54884	TIMEOUT 60158
tpdb-8.0/TRS/ICFP_2010/162244.xml	TIMEOUT 60045	n^1 - INF 54719	TIMEOUT 60220
tpdb-8.0/TRS/ICFP_2010/165713.xml	TIMEOUT 60038	TIMEOUT 60053	TIMEOUT 60152
tpdb-8.0/TRS/ICFP_2010/165755.xml	TIMEOUT 60036	n^1 - INF 55107	TIMEOUT 60191
tpdb-8.0/TRS/ICFP_2010/165904.xml	TIMEOUT 60088	TIMEOUT 60053	TIMEOUT 60193
tpdb-8.0/TRS/ICFP_2010/165936.xml	TIMEOUT 60107	n^1 - INF 55082	TIMEOUT 60157
tpdb-8.0/TRS/ICFP_2010/165975.xml	TIMEOUT 60104	n^1 - INF 55920	TIMEOUT 60175
tpdb-8.0/TRS/ICFP_2010/166001.xml	TIMEOUT 60178	n^1 - INF 55702	TIMEOUT 60117
tpdb-8.0/TRS/ICFP_2010/166465.xml	MAYBE 59928	n^1 - INF 55831	TIMEOUT 60178
tpdb-8.0/TRS/ICFP_2010/166493.xml	TIMEOUT 60085	n^1 - INF 54651	TIMEOUT 60179
tpdb-8.0/TRS/ICFP_2010/166558.xml	TIMEOUT 60121	n^1 - INF 57084	TIMEOUT 60236
tpdb-8.0/TRS/ICFP_2010/166848.xml	TIMEOUT 60128	n^1 - INF 56795	TIMEOUT 60177
tpdb-8.0/TRS/ICFP_2010/167041.xml	TIMEOUT 60036	TIMEOUT 60049	TIMEOUT 60181
tpdb-8.0/TRS/ICFP_2010/167087.xml	TIMEOUT 60118	n^1 - INF 56080	TIMEOUT 60181
tpdb-8.0/TRS/ICFP_2010/167240.xml	TIMEOUT 60047	TIMEOUT 60056	TIMEOUT 60180
tpdb-8.0/TRS/ICFP_2010/167294.xml	TIMEOUT 60110	n^1 - INF 55080	TIMEOUT 60191
tpdb-8.0/TRS/ICFP_2010/167310.xml	MAYBE 60038	n^1 - INF 54868	TIMEOUT 60159
tpdb-8.0/TRS/ICFP_2010/167391.xml	TIMEOUT 60133	TIMEOUT 60078	TIMEOUT 60149
tpdb-8.0/TRS/ICFP_2010/167433.xml	TIMEOUT 60146	TIMEOUT 60053	TIMEOUT 60164
tpdb-8.0/TRS/ICFP_2010/167452.xml	TIMEOUT 60129	n^1 - INF 57500	TIMEOUT 60149
tpdb-8.0/TRS/ICFP_2010/167526.xml	MAYBE 59821	n^1 - INF 55787	TIMEOUT 60173
tpdb-8.0/TRS/ICFP_2010/167636.xml	TIMEOUT 60153	n^1 - INF 56078	TIMEOUT 60177
tpdb-8.0/TRS/ICFP_2010/167742.xml	TIMEOUT 60152	n^1 - INF 55905	TIMEOUT 60179
tpdb-8.0/TRS/ICFP_2010/180915.xml	TIMEOUT 60163	TIMEOUT 60036	TIMEOUT 60215
tpdb-8.0/TRS/ICFP_2010/182946.xml	TIMEOUT 60152	TIMEOUT 60036	TIMEOUT 60139
tpdb-8.0/TRS/ICFP_2010/183803.xml	TIMEOUT 60144	TIMEOUT 60033	TIMEOUT 60117
tpdb-8.0/TRS/ICFP_2010/184957.xml	TIMEOUT 60209	TIMEOUT 60034	TIMEOUT 60121
tpdb-8.0/TRS/ICFP_2010/185453.xml	TIMEOUT 60106	TIMEOUT 60034	TIMEOUT 60142
tpdb-8.0/TRS/ICFP_2010/185628.xml	TIMEOUT 60156	TIMEOUT 60034	TIMEOUT 60136
tpdb-8.0/TRS/ICFP_2010/186023.xml	TIMEOUT 60109	TIMEOUT 60035	TIMEOUT 60125
tpdb-8.0/TRS/ICFP_2010/186222.xml	TIMEOUT 60120	TIMEOUT 60034	TIMEOUT 60131
tpdb-8.0/TRS/ICFP_2010/186333.xml	TIMEOUT 60118	TIMEOUT 60035	TIMEOUT 60124
tpdb-8.0/TRS/ICFP_2010/186617.xml	TIMEOUT 60138	TIMEOUT 60033	TIMEOUT 60143
tpdb-8.0/TRS/ICFP_2010/186775.xml	TIMEOUT 60143	TIMEOUT 60034	TIMEOUT 60148
tpdb-8.0/TRS/ICFP_2010/186810.xml	TIMEOUT 60142	TIMEOUT 60036	TIMEOUT 60164
tpdb-8.0/TRS/ICFP_2010/186919.xml	TIMEOUT 60148	TIMEOUT 60034	TIMEOUT 60121
tpdb-8.0/TRS/ICFP_2010/186973.xml	TIMEOUT 60138	TIMEOUT 60037	TIMEOUT 60150
tpdb-8.0/TRS/ICFP_2010/187254.xml	TIMEOUT 60128	TIMEOUT 60036	TIMEOUT 60154
tpdb-8.0/TRS/ICFP_2010/187837.xml	TIMEOUT 60124	TIMEOUT 60036	TIMEOUT 60134
tpdb-8.0/TRS/ICFP_2010/188004.xml	TIMEOUT 60131	TIMEOUT 60035	TIMEOUT 60163
tpdb-8.0/TRS/ICFP_2010/188238.xml	TIMEOUT 60092	TIMEOUT 60038	TIMEOUT 60114
tpdb-8.0/TRS/ICFP_2010/188261.xml	TIMEOUT 60134	TIMEOUT 60036	TIMEOUT 60157
tpdb-8.0/TRS/ICFP_2010/188296.xml	TIMEOUT 60148	TIMEOUT 60036	TIMEOUT 60143
tpdb-8.0/TRS/ICFP_2010/188674.xml	TIMEOUT 60175	TIMEOUT 60034	TIMEOUT 60128
tpdb-8.0/TRS/ICFP_2010/188696.xml	TIMEOUT 60125	TIMEOUT 60036	TIMEOUT 60127
tpdb-8.0/TRS/ICFP_2010/211471.xml	MAYBE 58591	n^1 - INF 51487	TIMEOUT 60282
tpdb-8.0/TRS/ICFP_2010/211639.xml	TIMEOUT 60240	n^1 - INF 52832	TIMEOUT 60255
tpdb-8.0/TRS/ICFP_2010/211857.xml	MAYBE 56944	n^1 - INF 51014	TIMEOUT 60192
tpdb-8.0/TRS/ICFP_2010/211915.xml	MAYBE 57055	n^1 - INF 51565	TIMEOUT 60291
tpdb-8.0/TRS/ICFP_2010/211960.xml	MAYBE 56221	TIMEOUT 60054	TIMEOUT 60248
tpdb-8.0/TRS/ICFP_2010/211978.xml	MAYBE 56873	n^1 - INF 51435	TIMEOUT 60251
tpdb-8.0/TRS/ICFP_2010/212026.xml	MAYBE 56466	n^1 - INF 51552	TIMEOUT 60269
tpdb-8.0/TRS/ICFP_2010/212037.xml	MAYBE 56224	TIMEOUT 60079	TIMEOUT 60239
tpdb-8.0/TRS/ICFP_2010/212043.xml	MAYBE 56865	n^1 - INF 52540	TIMEOUT 60244
tpdb-8.0/TRS/ICFP_2010/212062.xml	MAYBE 56125	n^1 - n^2 51396	TIMEOUT 60179
tpdb-8.0/TRS/ICFP_2010/212094.xml	MAYBE 56498	n^1 - INF 51169	TIMEOUT 60265
tpdb-8.0/TRS/ICFP_2010/212117.xml	MAYBE 56220	n^1 - INF 52180	TIMEOUT 60218
tpdb-8.0/TRS/ICFP_2010/212189.xml	MAYBE 56814	n^1 - n^2 51647	TIMEOUT 60224
tpdb-8.0/TRS/ICFP_2010/212263.xml	MAYBE 55757	TIMEOUT 60037	TIMEOUT 60267
tpdb-8.0/TRS/ICFP_2010/212308.xml	MAYBE 56189	n^1 - INF 51425	TIMEOUT 60241
tpdb-8.0/TRS/ICFP_2010/212364.xml	MAYBE 55996	n^1 - INF 51411	TIMEOUT 60191
tpdb-8.0/TRS/ICFP_2010/212421.xml	MAYBE 56116	n^1 - INF 51487	TIMEOUT 60192
tpdb-8.0/TRS/ICFP_2010/212480.xml	MAYBE 56927	n^1 - INF 52762	TIMEOUT 60263
tpdb-8.0/TRS/ICFP_2010/212534.xml	MAYBE 55693	n^1 - INF 51044	TIMEOUT 60297
tpdb-8.0/TRS/ICFP_2010/212612.xml	MAYBE 56240	n^1 - INF 50881	TIMEOUT 60258
tpdb-8.0/TRS/ICFP_2010/212693.xml	n^0 - n^3 56362	n^1 - INF 51240	TIMEOUT 60216
tpdb-8.0/TRS/ICFP_2010/212774.xml	MAYBE 56649	n^1 - INF 51589	TIMEOUT 60292
tpdb-8.0/TRS/ICFP_2010/212795.xml	MAYBE 56309	TIMEOUT 60045	TIMEOUT 60256
tpdb-8.0/TRS/ICFP_2010/212892.xml	MAYBE 56795	n^1 - INF 54864	TIMEOUT 60227
tpdb-8.0/TRS/ICFP_2010/213051.xml	MAYBE 56686	n^1 - INF 52851	TIMEOUT 60256
tpdb-8.0/TRS/ICFP_2010/213147.xml	MAYBE 56497	n^1 - INF 51343	TIMEOUT 60277
tpdb-8.0/TRS/ICFP_2010/213218.xml	MAYBE 57077	n^1 - INF 51663	TIMEOUT 60237
tpdb-8.0/TRS/ICFP_2010/213281.xml	MAYBE 56305	n^1 - INF 52429	TIMEOUT 60307
tpdb-8.0/TRS/ICFP_2010/213407.xml	MAYBE 56974	TIMEOUT 60037	TIMEOUT 60209
tpdb-8.0/TRS/ICFP_2010/213437.xml	MAYBE 56287	n^1 - INF 51335	TIMEOUT 60274
tpdb-8.0/TRS/ICFP_2010/213537.xml	MAYBE 55699	TIMEOUT 60049	TIMEOUT 60213
tpdb-8.0/TRS/ICFP_2010/213560.xml	MAYBE 56897	n^1 - INF 51651	TIMEOUT 60321
tpdb-8.0/TRS/ICFP_2010/213611.xml	TIMEOUT 60194	n^1 - INF 51273	TIMEOUT 60285
tpdb-8.0/TRS/ICFP_2010/213719.xml	MAYBE 56851	TIMEOUT 60055	TIMEOUT 60291
tpdb-8.0/TRS/ICFP_2010/213865.xml	MAYBE 56257	n^1 - INF 52774	TIMEOUT 60225
tpdb-8.0/TRS/ICFP_2010/214011.xml	MAYBE 56587	n^1 - INF 52319	TIMEOUT 60269
tpdb-8.0/TRS/ICFP_2010/214091.xml	MAYBE 56250	n^1 - INF 54484	TIMEOUT 60258
tpdb-8.0/TRS/ICFP_2010/214169.xml	MAYBE 57120	n^1 - INF 51150	TIMEOUT 60276
tpdb-8.0/TRS/ICFP_2010/214183.xml	MAYBE 56571	n^1 - INF 59869	TIMEOUT 60283
tpdb-8.0/TRS/ICFP_2010/214261.xml	MAYBE 56904	n^1 - INF 51829	TIMEOUT 60241
tpdb-8.0/TRS/ICFP_2010/214320.xml	MAYBE 56152	n^1 - n^2 50761	TIMEOUT 60210
tpdb-8.0/TRS/ICFP_2010/230780.xml	TIMEOUT 60143	n^1 - INF 53854	TIMEOUT 60288
tpdb-8.0/TRS/ICFP_2010/230819.xml	MAYBE 59731	n^1 - INF 51171	TIMEOUT 60295
tpdb-8.0/TRS/ICFP_2010/230948.xml	TIMEOUT 60223	n^1 - INF 51073	TIMEOUT 60286
tpdb-8.0/TRS/ICFP_2010/231043.xml	TIMEOUT 60282	n^1 - INF 51535	TIMEOUT 60296
tpdb-8.0/TRS/ICFP_2010/231149.xml	TIMEOUT 60155	n^1 - INF 52698	TIMEOUT 60288
tpdb-8.0/TRS/ICFP_2010/231230.xml	TIMEOUT 60141	n^1 - INF 53900	TIMEOUT 60319
tpdb-8.0/TRS/ICFP_2010/231300.xml	TIMEOUT 60154	n^1 - INF 51112	TIMEOUT 60257
tpdb-8.0/TRS/ICFP_2010/231378.xml	TIMEOUT 60140	n^1 - INF 51703	TIMEOUT 60270
tpdb-8.0/TRS/ICFP_2010/231480.xml	TIMEOUT 60201	n^1 - INF 54530	TIMEOUT 60251
tpdb-8.0/TRS/ICFP_2010/231604.xml	TIMEOUT 60065	n^1 - INF 51928	TIMEOUT 60274
tpdb-8.0/TRS/ICFP_2010/24100.xml	MAYBE 57254	n^1 - INF 52005	n^0 - n^1 9176
tpdb-8.0/TRS/ICFP_2010/246924.xml	TIMEOUT 60207	n^1 - INF 51169	TIMEOUT 60267
tpdb-8.0/TRS/ICFP_2010/247020.xml	TIMEOUT 60087	n^1 - INF 53682	TIMEOUT 60281
tpdb-8.0/TRS/ICFP_2010/247254.xml	TIMEOUT 60140	n^1 - INF 51569	TIMEOUT 60268
tpdb-8.0/TRS/ICFP_2010/247504.xml	TIMEOUT 60171	n^1 - INF 52984	TIMEOUT 60277
tpdb-8.0/TRS/ICFP_2010/247906.xml	TIMEOUT 60183	n^1 - INF 53275	TIMEOUT 60270
tpdb-8.0/TRS/ICFP_2010/247992.xml	TIMEOUT 60174	n^1 - INF 53741	TIMEOUT 60268
tpdb-8.0/TRS/ICFP_2010/248060.xml	TIMEOUT 60206	n^1 - INF 51445	TIMEOUT 60298
tpdb-8.0/TRS/ICFP_2010/249386.xml	TIMEOUT 60175	n^1 - INF 51156	TIMEOUT 60265
tpdb-8.0/TRS/ICFP_2010/249459.xml	TIMEOUT 60115	n^1 - INF 52503	TIMEOUT 60331
tpdb-8.0/TRS/ICFP_2010/249663.xml	TIMEOUT 60084	n^1 - INF 51852	TIMEOUT 60270
tpdb-8.0/TRS/ICFP_2010/25192.xml	n^0 - n^1 451	n^1 - n^1 260	n^0 - n^1 47
tpdb-8.0/TRS/ICFP_2010/25388.xml	MAYBE 58827	n^1 - INF 58623	TIMEOUT 60137
tpdb-8.0/TRS/ICFP_2010/25395.xml	MAYBE 58560	n^1 - INF 53497	TIMEOUT 60150
tpdb-8.0/TRS/ICFP_2010/25409.xml	MAYBE 58588	n^1 - INF 54535	TIMEOUT 60150
tpdb-8.0/TRS/ICFP_2010/25416.xml	MAYBE 58612	n^1 - INF 56479	n^0 - n^1 9680
tpdb-8.0/TRS/ICFP_2010/25422.xml	MAYBE 58134	n^1 - INF 58891	TIMEOUT 60185
tpdb-8.0/TRS/ICFP_2010/254704.xml	TIMEOUT 60092	n^1 - INF 57322	TIMEOUT 60146
tpdb-8.0/TRS/ICFP_2010/25711.xml	MAYBE 58648	TIMEOUT 60074	TIMEOUT 60161
tpdb-8.0/TRS/ICFP_2010/25726.xml	MAYBE 58073	TIMEOUT 60066	TIMEOUT 60167
tpdb-8.0/TRS/ICFP_2010/25731.xml	n^0 - n^1 640	n^1 - INF 50412	n^0 - n^1 64
tpdb-8.0/TRS/ICFP_2010/25734.xml	MAYBE 58420	n^1 - INF 53192	TIMEOUT 60177
tpdb-8.0/TRS/ICFP_2010/25736.xml	MAYBE 58423	n^1 - INF 58706	TIMEOUT 60155
tpdb-8.0/TRS/ICFP_2010/25743.xml	MAYBE 58509	n^1 - INF 54428	TIMEOUT 60154
tpdb-8.0/TRS/ICFP_2010/25775.xml	MAYBE 58534	n^1 - INF 53531	TIMEOUT 60153
tpdb-8.0/TRS/ICFP_2010/25808.xml	MAYBE 58786	n^1 - INF 54101	TIMEOUT 60154
tpdb-8.0/TRS/ICFP_2010/25849.xml	MAYBE 58345	n^1 - INF 53723	TIMEOUT 60144
tpdb-8.0/TRS/ICFP_2010/259405.xml	TIMEOUT 60089	n^1 - INF 56873	TIMEOUT 60119
tpdb-8.0/TRS/ICFP_2010/259625.xml	TIMEOUT 60110	TIMEOUT 60043	TIMEOUT 60164
tpdb-8.0/TRS/ICFP_2010/26069.xml	n^0 - n^1 864	n^1 - INF 50422	n^0 - n^1 129
tpdb-8.0/TRS/ICFP_2010/26103.xml	n^0 - n^1 983	n^1 - INF 50485	n^0 - n^1 163
tpdb-8.0/TRS/ICFP_2010/26105.xml	MAYBE 58108	TIMEOUT 60057	n^0 - n^1 6585
tpdb-8.0/TRS/ICFP_2010/26110.xml	MAYBE 58454	n^1 - INF 53835	TIMEOUT 60142
tpdb-8.0/TRS/ICFP_2010/26116.xml	MAYBE 58317	n^1 - INF 58837	n^0 - n^1 9888
tpdb-8.0/TRS/ICFP_2010/26123.xml	n^0 - n^1 1180	n^1 - INF 50339	n^0 - n^1 181
tpdb-8.0/TRS/ICFP_2010/26127.xml	MAYBE 58592	n^1 - INF 53303	TIMEOUT 60170
tpdb-8.0/TRS/ICFP_2010/26130.xml	n^0 - n^1 1313	n^1 - INF 50513	n^0 - n^1 253
tpdb-8.0/TRS/ICFP_2010/26132.xml	MAYBE 58615	n^1 - INF 59129	TIMEOUT 60148
tpdb-8.0/TRS/ICFP_2010/26186.xml	n^0 - n^1 1490	TIMEOUT 60146	n^0 - n^1 316
tpdb-8.0/TRS/ICFP_2010/26226.xml	n^0 - n^1 1681	n^1 - INF 50654	n^0 - n^1 383
tpdb-8.0/TRS/ICFP_2010/26291.xml	n^0 - n^1 1916	n^1 - INF 50738	n^0 - n^1 457
tpdb-8.0/TRS/ICFP_2010/262998.xml	TIMEOUT 60092	TIMEOUT 60069	TIMEOUT 60210
tpdb-8.0/TRS/ICFP_2010/263745.xml	TIMEOUT 60104	n^1 - INF 56525	TIMEOUT 60224
tpdb-8.0/TRS/ICFP_2010/264033.xml	n^0 - n^1 27961	TIMEOUT 60155	TIMEOUT 60211
tpdb-8.0/TRS/ICFP_2010/264370.xml	n^0 - n^1 466	n^1 - n^1 603	n^0 - n^1 66
tpdb-8.0/TRS/ICFP_2010/264405.xml	n^0 - n^1 484	n^1 - n^1 437	n^0 - n^1 53
tpdb-8.0/TRS/ICFP_2010/26555.xml	n^0 - n^1 453	n^1 - n^1 333	n^0 - n^1 63
tpdb-8.0/TRS/ICFP_2010/26683.xml	n^0 - n^1 2160	TIMEOUT 60049	n^0 - n^1 557
tpdb-8.0/TRS/ICFP_2010/26741.xml	MAYBE 58636	n^1 - INF 59886	TIMEOUT 60149
tpdb-8.0/TRS/ICFP_2010/26845.xml	MAYBE 58396	n^1 - INF 58929	TIMEOUT 60148
tpdb-8.0/TRS/ICFP_2010/26862.xml	MAYBE 58265	n^1 - INF 53269	n^0 - n^1 7051
tpdb-8.0/TRS/ICFP_2010/26871.xml	MAYBE 58539	n^1 - INF 53745	TIMEOUT 60172
tpdb-8.0/TRS/ICFP_2010/26875.xml	MAYBE 58808	n^1 - INF 58925	TIMEOUT 60169
tpdb-8.0/TRS/ICFP_2010/26879.xml	MAYBE 58510	n^1 - INF 57364	TIMEOUT 60157
tpdb-8.0/TRS/ICFP_2010/26882.xml	MAYBE 58745	n^1 - INF 53495	n^0 - n^1 10306
tpdb-8.0/TRS/ICFP_2010/26886.xml	MAYBE 58078	TIMEOUT 60063	TIMEOUT 60170
tpdb-8.0/TRS/ICFP_2010/26896.xml	MAYBE 58498	n^1 - INF 53872	TIMEOUT 60162
tpdb-8.0/TRS/ICFP_2010/26903.xml	MAYBE 58411	n^1 - INF 53566	TIMEOUT 60154
tpdb-8.0/TRS/ICFP_2010/26910.xml	MAYBE 58484	n^1 - INF 59243	TIMEOUT 60163
tpdb-8.0/TRS/ICFP_2010/26916.xml	MAYBE 58521	n^1 - INF 53364	n^0 - n^1 23300
tpdb-8.0/TRS/ICFP_2010/26919.xml	MAYBE 58560	n^1 - INF 58097	TIMEOUT 60169
tpdb-8.0/TRS/ICFP_2010/26923.xml	MAYBE 58475	n^1 - INF 54378	TIMEOUT 60141
tpdb-8.0/TRS/ICFP_2010/26927.xml	MAYBE 58637	n^1 - INF 58648	TIMEOUT 60175
tpdb-8.0/TRS/ICFP_2010/26931.xml	MAYBE 58810	n^1 - INF 58545	TIMEOUT 60145
tpdb-8.0/TRS/ICFP_2010/26933.xml	MAYBE 58569	n^1 - INF 53609	TIMEOUT 60167
tpdb-8.0/TRS/ICFP_2010/26940.xml	MAYBE 58467	n^1 - INF 59037	TIMEOUT 60162
tpdb-8.0/TRS/ICFP_2010/26943.xml	MAYBE 58475	n^1 - INF 53556	n^0 - n^1 11885
tpdb-8.0/TRS/ICFP_2010/26946.xml	MAYBE 58447	n^1 - INF 59526	TIMEOUT 60157
tpdb-8.0/TRS/ICFP_2010/26949.xml	MAYBE 58292	TIMEOUT 60059	TIMEOUT 60156
tpdb-8.0/TRS/ICFP_2010/26951.xml	MAYBE 58271	n^1 - INF 53204	TIMEOUT 60148
tpdb-8.0/TRS/ICFP_2010/26954.xml	MAYBE 58423	n^1 - INF 53398	TIMEOUT 60157
tpdb-8.0/TRS/ICFP_2010/26957.xml	MAYBE 58235	n^1 - INF 59336	TIMEOUT 60174
tpdb-8.0/TRS/ICFP_2010/26960.xml	MAYBE 58400	n^1 - INF 53898	TIMEOUT 60172
tpdb-8.0/TRS/ICFP_2010/26965.xml	MAYBE 58616	n^1 - INF 53801	n^0 - n^1 6618
tpdb-8.0/TRS/ICFP_2010/26969.xml	MAYBE 58499	n^1 - INF 53402	n^0 - n^1 7248
tpdb-8.0/TRS/ICFP_2010/26972.xml	MAYBE 58670	n^1 - INF 54293	TIMEOUT 60150
tpdb-8.0/TRS/ICFP_2010/26974.xml	MAYBE 58263	n^1 - INF 54646	TIMEOUT 60171
tpdb-8.0/TRS/ICFP_2010/26976.xml	MAYBE 58392	n^1 - INF 53061	TIMEOUT 60166
tpdb-8.0/TRS/ICFP_2010/26978.xml	MAYBE 58134	TIMEOUT 60055	TIMEOUT 60155
tpdb-8.0/TRS/ICFP_2010/26980.xml	MAYBE 58068	n^1 - INF 53646	TIMEOUT 60184
tpdb-8.0/TRS/ICFP_2010/26986.xml	MAYBE 58451	n^1 - INF 53464	n^0 - n^1 10557
tpdb-8.0/TRS/ICFP_2010/26993.xml	MAYBE 58647	n^1 - INF 53440	TIMEOUT 60162
tpdb-8.0/TRS/ICFP_2010/26998.xml	MAYBE 58411	n^1 - INF 58184	TIMEOUT 60175
tpdb-8.0/TRS/ICFP_2010/27001.xml	MAYBE 58693	n^1 - INF 58808	TIMEOUT 60179
tpdb-8.0/TRS/ICFP_2010/27003.xml	MAYBE 58525	n^1 - INF 53477	n^0 - n^1 9540
tpdb-8.0/TRS/ICFP_2010/27006.xml	MAYBE 58264	n^1 - INF 53777	TIMEOUT 60176
tpdb-8.0/TRS/ICFP_2010/27009.xml	MAYBE 58564	n^1 - INF 58445	TIMEOUT 60172
tpdb-8.0/TRS/ICFP_2010/27013.xml	MAYBE 58336	n^1 - INF 58698	n^0 - n^1 6332
tpdb-8.0/TRS/ICFP_2010/27015.xml	MAYBE 58229	n^1 - INF 58889	TIMEOUT 60169
tpdb-8.0/TRS/ICFP_2010/27019.xml	MAYBE 58368	n^1 - INF 53514	n^0 - n^1 6902
tpdb-8.0/TRS/ICFP_2010/27023.xml	MAYBE 58226	n^1 - INF 57048	TIMEOUT 60146
tpdb-8.0/TRS/ICFP_2010/27026.xml	MAYBE 58668	n^1 - INF 53639	TIMEOUT 60165
tpdb-8.0/TRS/ICFP_2010/27028.xml	MAYBE 58245	n^1 - INF 57293	n^0 - n^1 12319
tpdb-8.0/TRS/ICFP_2010/27030.xml	n^0 - n^1 2431	TIMEOUT 60051	n^0 - n^1 660
tpdb-8.0/TRS/ICFP_2010/27034.xml	MAYBE 58434	n^1 - INF 58417	TIMEOUT 60155
tpdb-8.0/TRS/ICFP_2010/27036.xml	MAYBE 58550	n^1 - INF 57283	TIMEOUT 60154
tpdb-8.0/TRS/ICFP_2010/27039.xml	MAYBE 58323	n^1 - INF 53841	TIMEOUT 60165
tpdb-8.0/TRS/ICFP_2010/27131.xml	n^0 - n^1 2710	TIMEOUT 60048	n^0 - n^1 799
tpdb-8.0/TRS/ICFP_2010/27134.xml	n^0 - n^1 3039	n^1 - INF 51878	n^0 - n^1 962
tpdb-8.0/TRS/ICFP_2010/27213.xml	n^0 - n^1 3536	n^1 - INF 52719	n^0 - n^1 1085
tpdb-8.0/TRS/ICFP_2010/27235.xml	n^0 - n^1 3885	n^1 - INF 52583	n^0 - n^1 1273
tpdb-8.0/TRS/ICFP_2010/27280.xml	n^0 - n^1 4356	TIMEOUT 60048	n^0 - n^1 1443
tpdb-8.0/TRS/ICFP_2010/28293.xml	n^0 - n^1 4604	n^1 - INF 53087	n^0 - n^1 1694
tpdb-8.0/TRS/ICFP_2010/28464.xml	n^0 - n^1 5320	n^1 - INF 51208	n^0 - n^1 1931
tpdb-8.0/TRS/ICFP_2010/28643.xml	n^0 - n^1 5865	TIMEOUT 60048	n^0 - n^1 2055
tpdb-8.0/TRS/ICFP_2010/28838.xml	n^0 - n^1 6459	n^1 - INF 51653	n^0 - n^1 2314
tpdb-8.0/TRS/ICFP_2010/29415.xml	TIMEOUT 60127	n^1 - INF 60034	TIMEOUT 60140
tpdb-8.0/TRS/ICFP_2010/3268.xml	n^0 - n^1 1322	TIMEOUT 60058	n^0 - n^1 127
tpdb-8.0/TRS/ICFP_2010/3336.xml	n^0 - n^1 5007	n^1 - n^1 10084	n^0 - n^1 201
tpdb-8.0/TRS/ICFP_2010/3385.xml	n^0 - n^1 2152	n^1 - INF 50448	n^0 - n^1 1211
tpdb-8.0/TRS/ICFP_2010/3450.xml	MAYBE 57533	TIMEOUT 60043	n^0 - n^1 720
tpdb-8.0/TRS/ICFP_2010/3467.xml	MAYBE 56632	n^1 - INF 51400	n^0 - n^1 804
tpdb-8.0/TRS/ICFP_2010/3498.xml	MAYBE 56496	n^1 - INF 51153	n^0 - n^1 1043
tpdb-8.0/TRS/ICFP_2010/3533.xml	MAYBE 56616	n^1 - INF 52583	n^0 - n^1 387
tpdb-8.0/TRS/ICFP_2010/3562.xml	MAYBE 55957	n^1 - INF 52243	n^0 - n^1 704
tpdb-8.0/TRS/ICFP_2010/3589.xml	MAYBE 56354	n^1 - INF 52089	n^0 - n^1 610
tpdb-8.0/TRS/ICFP_2010/3633.xml	MAYBE 56707	TIMEOUT 60047	n^0 - n^1 645
tpdb-8.0/TRS/ICFP_2010/3680.xml	MAYBE 56521	n^1 - INF 53557	n^0 - n^1 1066
tpdb-8.0/TRS/ICFP_2010/3705.xml	MAYBE 56579	n^1 - INF 54068	n^0 - n^1 859
tpdb-8.0/TRS/ICFP_2010/3729.xml	MAYBE 56766	TIMEOUT 60050	n^0 - n^1 1147
tpdb-8.0/TRS/ICFP_2010/3746.xml	MAYBE 56232	TIMEOUT 60124	n^0 - n^1 502
tpdb-8.0/TRS/ICFP_2010/3762.xml	MAYBE 56814	n^1 - INF 51787	n^0 - n^1 706
tpdb-8.0/TRS/ICFP_2010/3770.xml	n^0 - n^1 6966	n^1 - INF 50971	n^0 - n^1 159
tpdb-8.0/TRS/ICFP_2010/3786.xml	MAYBE 56711	n^1 - INF 51062	n^0 - n^1 409
tpdb-8.0/TRS/ICFP_2010/3817.xml	MAYBE 56741	n^1 - INF 52275	n^0 - n^1 622
tpdb-8.0/TRS/ICFP_2010/3831.xml	MAYBE 57143	n^1 - INF 53845	n^0 - n^1 810
tpdb-8.0/TRS/ICFP_2010/3842.xml	MAYBE 56674	TIMEOUT 60049	n^0 - n^1 768
tpdb-8.0/TRS/ICFP_2010/3856.xml	MAYBE 56929	n^1 - INF 53859	n^0 - n^1 866
tpdb-8.0/TRS/ICFP_2010/3861.xml	MAYBE 56775	n^1 - INF 52557	n^0 - n^1 1018
tpdb-8.0/TRS/ICFP_2010/3865.xml	MAYBE 57118	TIMEOUT 60077	n^0 - n^1 680
tpdb-8.0/TRS/ICFP_2010/3916.xml	MAYBE 56611	n^1 - INF 51081	n^0 - n^1 1460
tpdb-8.0/TRS/ICFP_2010/3927.xml	TIMEOUT 60095	n^1 - INF 54829	n^0 - n^1 12569
tpdb-8.0/TRS/ICFP_2010/3930.xml	MAYBE 56680	TIMEOUT 60044	n^0 - n^1 822
tpdb-8.0/TRS/ICFP_2010/3939.xml	MAYBE 56728	n^1 - INF 54464	n^0 - n^1 811
tpdb-8.0/TRS/ICFP_2010/39830.xml	MAYBE 59734	n^1 - INF 55168	TIMEOUT 60154
tpdb-8.0/TRS/ICFP_2010/39849.xml	MAYBE 56975	n^1 - INF 52493	TIMEOUT 60219
tpdb-8.0/TRS/ICFP_2010/3989.xml	MAYBE 56317	n^1 - INF 52510	n^0 - n^1 345
tpdb-8.0/TRS/ICFP_2010/3995.xml	MAYBE 56914	n^1 - INF 51863	n^0 - n^1 932
tpdb-8.0/TRS/ICFP_2010/4002.xml	n^0 - n^1 3036	TIMEOUT 60035	n^0 - n^1 137
tpdb-8.0/TRS/ICFP_2010/40033.xml	MAYBE 59736	TIMEOUT 60118	TIMEOUT 60141
tpdb-8.0/TRS/ICFP_2010/40093.xml	n^0 - n^1 847	TIMEOUT 60042	n^0 - n^1 85
tpdb-8.0/TRS/ICFP_2010/4017.xml	MAYBE 56729	TIMEOUT 60049	n^0 - n^1 1089
tpdb-8.0/TRS/ICFP_2010/4029.xml	MAYBE 57137	n^1 - INF 57127	n^0 - n^1 570
tpdb-8.0/TRS/ICFP_2010/4036.xml	MAYBE 56790	TIMEOUT 60053	n^0 - n^1 976
tpdb-8.0/TRS/ICFP_2010/4046.xml	n^0 - n^1 1243	n^1 - n^1 9566	n^0 - n^1 113
tpdb-8.0/TRS/ICFP_2010/4051.xml	MAYBE 56724	n^1 - INF 52933	n^0 - n^1 645
tpdb-8.0/TRS/ICFP_2010/40540.xml	MAYBE 59758	TIMEOUT 60173	TIMEOUT 60149
tpdb-8.0/TRS/ICFP_2010/4057.xml	MAYBE 56512	n^1 - INF 53798	n^0 - n^1 719
tpdb-8.0/TRS/ICFP_2010/40708.xml	n^0 - n^1 1592	TIMEOUT 60058	n^0 - n^1 129
tpdb-8.0/TRS/ICFP_2010/4074.xml	MAYBE 56910	TIMEOUT 60056	n^0 - n^1 640
tpdb-8.0/TRS/ICFP_2010/40976.xml	MAYBE 59681	TIMEOUT 60182	TIMEOUT 60126
tpdb-8.0/TRS/ICFP_2010/4106.xml	MAYBE 55701	n^1 - INF 50762	n^0 - n^1 410
tpdb-8.0/TRS/ICFP_2010/41378.xml	TIMEOUT 60157	n^1 - INF 58805	n^0 - n^1 5266
tpdb-8.0/TRS/ICFP_2010/4141.xml	MAYBE 56490	TIMEOUT 60043	n^0 - n^1 968
tpdb-8.0/TRS/ICFP_2010/41427.xml	MAYBE 59658	n^1 - INF 55909	TIMEOUT 60164
tpdb-8.0/TRS/ICFP_2010/4157.xml	MAYBE 56879	n^1 - INF 53624	n^0 - n^1 1024
tpdb-8.0/TRS/ICFP_2010/41688.xml	MAYBE 59789	TIMEOUT 60153	TIMEOUT 60204
tpdb-8.0/TRS/ICFP_2010/4181.xml	MAYBE 56699	n^1 - INF 53028	n^0 - n^1 2664
tpdb-8.0/TRS/ICFP_2010/41838.xml	MAYBE 56904	n^1 - INF 52474	TIMEOUT 60292
tpdb-8.0/TRS/ICFP_2010/41843.xml	MAYBE 56853	TIMEOUT 60041	TIMEOUT 60274
tpdb-8.0/TRS/ICFP_2010/41865.xml	MAYBE 59643	TIMEOUT 60203	TIMEOUT 60199
tpdb-8.0/TRS/ICFP_2010/4200.xml	MAYBE 56854	TIMEOUT 60140	n^0 - n^1 740
tpdb-8.0/TRS/ICFP_2010/4206.xml	TIMEOUT 60095	TIMEOUT 60075	n^0 - n^1 9835
tpdb-8.0/TRS/ICFP_2010/42170.xml	MAYBE 59710	n^1 - INF 55438	TIMEOUT 60210
tpdb-8.0/TRS/ICFP_2010/42321.xml	MAYBE 59667	n^1 - INF 54653	TIMEOUT 60163
tpdb-8.0/TRS/ICFP_2010/42466.xml	MAYBE 59719	n^1 - INF 56378	TIMEOUT 60190
tpdb-8.0/TRS/ICFP_2010/4248.xml	MAYBE 57158	TIMEOUT 60050	n^0 - n^1 514
tpdb-8.0/TRS/ICFP_2010/42683.xml	MAYBE 59817	n^1 - INF 56643	TIMEOUT 60159
tpdb-8.0/TRS/ICFP_2010/4282.xml	MAYBE 56297	TIMEOUT 60045	n^0 - n^1 659
tpdb-8.0/TRS/ICFP_2010/4314.xml	MAYBE 56426	n^1 - INF 53153	n^0 - n^1 545
tpdb-8.0/TRS/ICFP_2010/43266.xml	MAYBE 59675	n^1 - INF 55362	TIMEOUT 60137
tpdb-8.0/TRS/ICFP_2010/43603.xml	TIMEOUT 60144	n^1 - INF 59685	n^0 - n^1 11109
tpdb-8.0/TRS/ICFP_2010/43621.xml	MAYBE 59657	TIMEOUT 60314	TIMEOUT 60147
tpdb-8.0/TRS/ICFP_2010/43650.xml	TIMEOUT 60108	n^1 - INF 54590	n^0 - n^1 9647
tpdb-8.0/TRS/ICFP_2010/4374.xml	MAYBE 56819	n^1 - INF 51494	n^0 - n^1 679
tpdb-8.0/TRS/ICFP_2010/43987.xml	MAYBE 59710	n^1 - INF 55474	TIMEOUT 60153
tpdb-8.0/TRS/ICFP_2010/4412.xml	MAYBE 56907	n^1 - INF 52722	n^0 - n^1 693
tpdb-8.0/TRS/ICFP_2010/44332.xml	MAYBE 59707	n^1 - INF 56003	TIMEOUT 60187
tpdb-8.0/TRS/ICFP_2010/4484.xml	MAYBE 56696	n^1 - INF 51337	n^0 - n^1 1290
tpdb-8.0/TRS/ICFP_2010/4487.xml	MAYBE 56791	n^1 - INF 51911	n^0 - n^1 1012
tpdb-8.0/TRS/ICFP_2010/45720.xml	MAYBE 57017	n^1 - INF 53491	TIMEOUT 60292
tpdb-8.0/TRS/ICFP_2010/45757.xml	MAYBE 56776	n^1 - INF 52132	TIMEOUT 60236
tpdb-8.0/TRS/ICFP_2010/45970.xml	TIMEOUT 60168	n^1 - INF 53675	n^0 - n^1 7942
tpdb-8.0/TRS/ICFP_2010/4816.xml	MAYBE 56571	n^1 - INF 52936	n^0 - n^1 854
tpdb-8.0/TRS/ICFP_2010/4819.xml	MAYBE 56626	n^1 - INF 52069	n^0 - n^1 1505
tpdb-8.0/TRS/ICFP_2010/4824.xml	MAYBE 56583	TIMEOUT 60046	n^0 - n^1 712
tpdb-8.0/TRS/ICFP_2010/48262.xml	MAYBE 57150	n^1 - INF 55344	TIMEOUT 60218
tpdb-8.0/TRS/ICFP_2010/48267.xml	MAYBE 57020	n^1 - INF 56378	TIMEOUT 60231
tpdb-8.0/TRS/ICFP_2010/4827.xml	MAYBE 57262	n^1 - INF 53925	n^0 - n^1 902
tpdb-8.0/TRS/ICFP_2010/48328.xml	MAYBE 57037	TIMEOUT 60050	TIMEOUT 60189
tpdb-8.0/TRS/ICFP_2010/48374.xml	MAYBE 57202	TIMEOUT 60045	TIMEOUT 60170
tpdb-8.0/TRS/ICFP_2010/4840.xml	MAYBE 56973	TIMEOUT 60041	n^0 - n^1 313
tpdb-8.0/TRS/ICFP_2010/4847.xml	MAYBE 56884	n^1 - INF 51250	n^0 - n^1 5141
tpdb-8.0/TRS/ICFP_2010/4854.xml	MAYBE 56804	TIMEOUT 60048	n^0 - n^1 1728
tpdb-8.0/TRS/ICFP_2010/48686.xml	TIMEOUT 60115	n^1 - INF 58649	n^0 - n^1 8640
tpdb-8.0/TRS/ICFP_2010/4893.xml	MAYBE 56617	n^1 - INF 52971	n^0 - n^1 938
tpdb-8.0/TRS/ICFP_2010/4920.xml	MAYBE 56317	n^1 - INF 51449	n^0 - n^1 657
tpdb-8.0/TRS/ICFP_2010/4934.xml	MAYBE 56642	n^1 - INF 52229	n^0 - n^1 589
tpdb-8.0/TRS/ICFP_2010/4938.xml	MAYBE 56424	n^1 - INF 53187	n^0 - n^1 1158
tpdb-8.0/TRS/ICFP_2010/4943.xml	MAYBE 56262	n^1 - INF 53776	n^0 - n^1 482
tpdb-8.0/TRS/ICFP_2010/4953.xml	MAYBE 56794	n^1 - INF 51712	n^0 - n^1 793
tpdb-8.0/TRS/ICFP_2010/4964.xml	MAYBE 56497	n^1 - INF 51702	n^0 - n^1 1182
tpdb-8.0/TRS/ICFP_2010/4970.xml	n^0 - n^2 56119	n^1 - INF 50735	n^0 - n^1 232
tpdb-8.0/TRS/ICFP_2010/4979.xml	MAYBE 56331	n^1 - INF 52437	n^0 - n^1 587
tpdb-8.0/TRS/ICFP_2010/4991.xml	MAYBE 57365	TIMEOUT 60044	n^0 - n^1 707
tpdb-8.0/TRS/ICFP_2010/5011.xml	MAYBE 56615	n^1 - INF 51483	n^0 - n^1 237
tpdb-8.0/TRS/ICFP_2010/5076.xml	MAYBE 56474	TIMEOUT 60046	n^0 - n^1 432
tpdb-8.0/TRS/ICFP_2010/50904.xml	TIMEOUT 60164	n^1 - INF 59824	TIMEOUT 60212
tpdb-8.0/TRS/ICFP_2010/5109.xml	MAYBE 56971	n^1 - INF 51104	n^0 - n^1 601
tpdb-8.0/TRS/ICFP_2010/5130.xml	MAYBE 56857	TIMEOUT 60053	n^0 - n^1 704
tpdb-8.0/TRS/ICFP_2010/51424.xml	TIMEOUT 60116	TIMEOUT 60079	n^0 - n^1 8287
tpdb-8.0/TRS/ICFP_2010/51577.xml	TIMEOUT 60095	n^1 - INF 55887	n^0 - n^1 9142
tpdb-8.0/TRS/ICFP_2010/51842.xml	TIMEOUT 60102	TIMEOUT 60305	n^0 - n^1 8990
tpdb-8.0/TRS/ICFP_2010/53216.xml	TIMEOUT 60104	TIMEOUT 60081	n^0 - n^1 9831
tpdb-8.0/TRS/ICFP_2010/54097.xml	TIMEOUT 60115	n^1 - INF 59703	n^0 - n^1 7471
tpdb-8.0/TRS/ICFP_2010/54532.xml	TIMEOUT 60189	n^1 - n^1 2177	n^0 - n^1 2794
tpdb-8.0/TRS/ICFP_2010/54622.xml	TIMEOUT 60131	n^1 - n^1 2153	n^0 - n^1 2763
tpdb-8.0/TRS/ICFP_2010/56144.xml	MAYBE 59618	n^1 - INF 54733	TIMEOUT 60206
tpdb-8.0/TRS/ICFP_2010/57132.xml	MAYBE 57041	TIMEOUT 60047	TIMEOUT 60142
tpdb-8.0/TRS/ICFP_2010/57278.xml	MAYBE 57029	TIMEOUT 60096	TIMEOUT 60358
tpdb-8.0/TRS/ICFP_2010/57355.xml	MAYBE 56510	TIMEOUT 60062	TIMEOUT 60255
tpdb-8.0/TRS/ICFP_2010/57453.xml	MAYBE 57133	n^1 - INF 51365	n^0 - n^1 1024
tpdb-8.0/TRS/ICFP_2010/57799.xml	MAYBE 57756	n^1 - INF 51816	TIMEOUT 60278
tpdb-8.0/TRS/ICFP_2010/57852.xml	TIMEOUT 60128	TIMEOUT 60046	TIMEOUT 60166
tpdb-8.0/TRS/ICFP_2010/58125.xml	TIMEOUT 60125	TIMEOUT 60047	TIMEOUT 60145
tpdb-8.0/TRS/ICFP_2010/58194.xml	MAYBE 57258	TIMEOUT 60095	TIMEOUT 60315
tpdb-8.0/TRS/ICFP_2010/58221.xml	MAYBE 57091	n^1 - INF 53472	TIMEOUT 60145
tpdb-8.0/TRS/ICFP_2010/58301.xml	MAYBE 56199	n^1 - INF 51731	TIMEOUT 60232
tpdb-8.0/TRS/ICFP_2010/63142.xml	MAYBE 56670	n^1 - INF 50790	TIMEOUT 60207
tpdb-8.0/TRS/ICFP_2010/64160.xml	n^0 - n^1 3028	TIMEOUT 60055	n^0 - n^1 154
tpdb-8.0/TRS/ICFP_2010/65081.xml	MAYBE 56464	TIMEOUT 60083	n^0 - n^1 249
tpdb-8.0/TRS/ICFP_2010/68322.xml	MAYBE 57156	n^1 - INF 51665	n^0 - n^1 1253
tpdb-8.0/TRS/ICFP_2010/68535.xml	MAYBE 56812	n^1 - INF 51725	n^0 - n^1 425
tpdb-8.0/TRS/ICFP_2010/68989.xml	MAYBE 57015	n^1 - INF 52924	n^0 - n^1 335
tpdb-8.0/TRS/ICFP_2010/81452.xml	MAYBE 56978	n^1 - INF 52733	n^0 - n^1 402
tpdb-8.0/TRS/ICFP_2010/84886.xml	MAYBE 57166	n^1 - INF 54504	n^0 - n^1 1306
tpdb-8.0/TRS/ICFP_2010/84977.xml	MAYBE 57268	n^1 - INF 52780	TIMEOUT 60134
tpdb-8.0/TRS/ICFP_2010/85039.xml	MAYBE 57131	n^1 - INF 54244	n^0 - n^1 1028
tpdb-8.0/TRS/ICFP_2010/85079.xml	MAYBE 57231	TIMEOUT 60044	n^0 - n^1 1145
tpdb-8.0/TRS/ICFP_2010/85267.xml	MAYBE 57081	n^1 - INF 54088	TIMEOUT 60130
tpdb-8.0/TRS/ICFP_2010/85294.xml	MAYBE 57369	n^1 - INF 52740	n^0 - n^1 982
tpdb-8.0/TRS/ICFP_2010/85345.xml	MAYBE 57303	n^1 - INF 52259	n^0 - n^1 3076
tpdb-8.0/TRS/ICFP_2010/85380.xml	MAYBE 57155	n^1 - INF 51868	TIMEOUT 60164
tpdb-8.0/TRS/ICFP_2010/85477.xml	MAYBE 57063	n^1 - INF 51536	n^0 - n^1 748
tpdb-8.0/TRS/ICFP_2010/85590.xml	MAYBE 56753	n^1 - INF 52742	n^0 - n^1 567
tpdb-8.0/TRS/ICFP_2010/85650.xml	MAYBE 56948	n^1 - INF 51874	n^0 - n^1 594
tpdb-8.0/TRS/ICFP_2010/85675.xml	MAYBE 57024	TIMEOUT 60041	n^0 - n^1 759
tpdb-8.0/TRS/ICFP_2010/85721.xml	MAYBE 56916	n^1 - INF 51545	n^0 - n^1 560
tpdb-8.0/TRS/ICFP_2010/85749.xml	MAYBE 57077	n^1 - INF 52329	n^0 - n^1 850
tpdb-8.0/TRS/ICFP_2010/85782.xml	MAYBE 56583	TIMEOUT 60040	n^0 - n^1 699
tpdb-8.0/TRS/ICFP_2010/85834.xml	MAYBE 56965	TIMEOUT 60037	n^0 - n^1 1468
tpdb-8.0/TRS/ICFP_2010/85874.xml	MAYBE 56714	n^1 - INF 51877	n^0 - n^1 652
tpdb-8.0/TRS/ICFP_2010/85920.xml	MAYBE 56936	n^1 - INF 51854	n^0 - n^1 800
tpdb-8.0/TRS/ICFP_2010/86025.xml	MAYBE 57001	n^1 - INF 53171	n^0 - n^1 467
tpdb-8.0/TRS/ICFP_2010/86052.xml	MAYBE 56917	n^1 - INF 51909	n^0 - n^1 545
tpdb-8.0/TRS/ICFP_2010/86452.xml	MAYBE 56602	n^1 - INF 51897	n^0 - n^1 552
tpdb-8.0/TRS/ICFP_2010/86499.xml	MAYBE 57153	n^1 - INF 51591	n^0 - n^1 32865
tpdb-8.0/TRS/ICFP_2010/86526.xml	MAYBE 57013	TIMEOUT 60124	n^0 - n^1 774
tpdb-8.0/TRS/ICFP_2010/86559.xml	MAYBE 56983	n^1 - INF 57463	n^0 - n^1 3917
tpdb-8.0/TRS/ICFP_2010/86577.xml	MAYBE 56929	TIMEOUT 60042	n^0 - n^1 486
tpdb-8.0/TRS/ICFP_2010/86617.xml	MAYBE 57102	n^1 - INF 53362	n^0 - n^1 686
tpdb-8.0/TRS/ICFP_2010/86636.xml	MAYBE 56379	n^1 - INF 51877	n^0 - n^1 631
tpdb-8.0/TRS/ICFP_2010/86745.xml	MAYBE 57170	n^1 - INF 52874	n^0 - n^1 693
tpdb-8.0/TRS/ICFP_2010/86816.xml	MAYBE 57115	TIMEOUT 60045	n^0 - n^1 1165
tpdb-8.0/TRS/ICFP_2010/86857.xml	MAYBE 57048	n^1 - INF 52021	n^0 - n^1 527
tpdb-8.0/TRS/ICFP_2010/88143.xml	MAYBE 56889	TIMEOUT 60083	n^0 - n^1 1084
tpdb-8.0/TRS/ICFP_2010/88156.xml	MAYBE 57062	n^1 - INF 53497	n^0 - n^1 1105
tpdb-8.0/TRS/ICFP_2010/88172.xml	MAYBE 56828	TIMEOUT 60078	n^0 - n^1 25201
tpdb-8.0/TRS/ICFP_2010/88183.xml	MAYBE 56884	n^1 - INF 52380	n^0 - n^1 1253
tpdb-8.0/TRS/ICFP_2010/88208.xml	MAYBE 57068	TIMEOUT 60070	n^0 - n^1 3123
tpdb-8.0/TRS/ICFP_2010/88283.xml	MAYBE 57065	TIMEOUT 60091	n^0 - n^1 6525
tpdb-8.0/TRS/ICFP_2010/91210.xml	MAYBE 58630	n^1 - INF 52788	TIMEOUT 60108
tpdb-8.0/TRS/ICFP_2010/91218.xml	MAYBE 58653	n^1 - INF 53552	TIMEOUT 60137
tpdb-8.0/TRS/ICFP_2010/91233.xml	MAYBE 58749	n^1 - INF 52779	TIMEOUT 60116
tpdb-8.0/TRS/ICFP_2010/91242.xml	MAYBE 58361	n^1 - INF 55436	TIMEOUT 60110
tpdb-8.0/TRS/ICFP_2010/91254.xml	MAYBE 58537	TIMEOUT 60328	TIMEOUT 60112
tpdb-8.0/TRS/ICFP_2010/95858.xml	MAYBE 56966	TIMEOUT 60043	n^0 - n^1 615
tpdb-8.0/TRS/ICFP_2010/95899.xml	MAYBE 57386	n^1 - INF 51908	n^0 - n^1 693
tpdb-8.0/TRS/ICFP_2010/95952.xml	MAYBE 56662	TIMEOUT 60042	n^0 - n^1 694
tpdb-8.0/TRS/ICFP_2010/95978.xml	MAYBE 57176	n^1 - INF 53044	n^0 - n^1 991
tpdb-8.0/TRS/ICFP_2010/96029.xml	MAYBE 57658	n^1 - INF 53730	n^0 - n^1 557
tpdb-8.0/TRS/ICFP_2010/96065.xml	MAYBE 56919	n^1 - INF 52580	n^0 - n^1 502
tpdb-8.0/TRS/ICFP_2010/96086.xml	MAYBE 56766	TIMEOUT 60042	n^0 - n^1 289
tpdb-8.0/TRS/ICFP_2010/96104.xml	MAYBE 56485	n^1 - INF 51800	n^0 - n^1 460
tpdb-8.0/TRS/ICFP_2010/96119.xml	MAYBE 56963	n^1 - INF 51910	n^0 - n^1 504
tpdb-8.0/TRS/ICFP_2010/96156.xml	MAYBE 57051	n^1 - INF 53107	n^0 - n^1 493
tpdb-8.0/TRS/ICFP_2010/96176.xml	MAYBE 56323	TIMEOUT 60040	n^0 - n^1 464
tpdb-8.0/TRS/ICFP_2010/96198.xml	MAYBE 55830	n^1 - INF 52760	n^0 - n^1 620
tpdb-8.0/TRS/ICFP_2010/96224.xml	MAYBE 57626	n^1 - INF 55641	n^0 - n^1 249
tpdb-8.0/TRS/ICFP_2010/96239.xml	MAYBE 57003	n^1 - INF 53476	n^0 - n^1 510
tpdb-8.0/TRS/ICFP_2010/96256.xml	MAYBE 56740	n^1 - INF 51928	n^0 - n^1 445
tpdb-8.0/TRS/ICFP_2010/96274.xml	MAYBE 56879	n^1 - INF 52935	n^0 - n^1 404
tpdb-8.0/TRS/ICFP_2010/96289.xml	MAYBE 56813	n^1 - INF 52267	n^0 - n^1 625
tpdb-8.0/TRS/ICFP_2010/96302.xml	MAYBE 56822	n^1 - INF 52000	n^0 - n^1 440
tpdb-8.0/TRS/ICFP_2010/96334.xml	MAYBE 57062	n^1 - INF 51361	n^0 - n^1 414
tpdb-8.0/TRS/ICFP_2010/96370.xml	MAYBE 57431	TIMEOUT 60139	n^0 - n^1 394
tpdb-8.0/TRS/ICFP_2010/96403.xml	MAYBE 56687	n^1 - INF 51217	n^0 - n^1 341
tpdb-8.0/TRS/ICFP_2010/96417.xml	MAYBE 57003	TIMEOUT 60042	n^0 - n^1 484
tpdb-8.0/TRS/ICFP_2010/96438.xml	MAYBE 56996	TIMEOUT 60037	n^0 - n^1 426
tpdb-8.0/TRS/ICFP_2010/96464.xml	MAYBE 56705	TIMEOUT 60040	n^0 - n^1 534
tpdb-8.0/TRS/ICFP_2010/96485.xml	MAYBE 56817	n^1 - INF 52934	n^0 - n^1 1052
tpdb-8.0/TRS/ICFP_2010/96523.xml	MAYBE 56544	TIMEOUT 60040	n^0 - n^1 358
tpdb-8.0/TRS/ICFP_2010/96563.xml	MAYBE 57213	n^1 - INF 52205	n^0 - n^1 390
tpdb-8.0/TRS/ICFP_2010/96612.xml	MAYBE 56993	TIMEOUT 60038	n^0 - n^1 444
tpdb-8.0/TRS/ICFP_2010/96642.xml	MAYBE 56716	n^1 - INF 52277	n^0 - n^1 426
tpdb-8.0/TRS/ICFP_2010/96673.xml	MAYBE 56592	n^1 - INF 53492	n^0 - n^1 549
tpdb-8.0/TRS/ICFP_2010/97885.xml	TIMEOUT 60210	n^1 - INF 56414	TIMEOUT 60181
tpdb-8.0/TRS/ICFP_2010/97888.xml	TIMEOUT 60127	n^1 - INF 57476	TIMEOUT 60175
tpdb-8.0/TRS/ICFP_2010/97901.xml	MAYBE 59010	TIMEOUT 60411	TIMEOUT 60125
tpdb-8.0/TRS/ICFP_2010/97917.xml	TIMEOUT 60126	n^1 - INF 56432	TIMEOUT 60133
tpdb-8.0/TRS/ICFP_2010/97929.xml	TIMEOUT 60114	TIMEOUT 60165	TIMEOUT 60139
tpdb-8.0/TRS/ICFP_2010/98362.xml	MAYBE 57113	n^1 - INF 51914	n^0 - n^1 616
tpdb-8.0/TRS/ICFP_2010/98623.xml	MAYBE 59719	n^1 - INF 60108	TIMEOUT 60186
tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml	MAYBE 55538	TIMEOUT 60058	TIMEOUT 60143
tpdb-8.0/TRS/Mixed_SRS/01.xml	MAYBE 55392	n^2 - INF 50152	TIMEOUT 60144
tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml	MAYBE 55439	n^1 - INF 50329	TIMEOUT 60083
tpdb-8.0/TRS/Mixed_SRS/02.xml	MAYBE 55394	n^2 - INF 50187	TIMEOUT 60130
tpdb-8.0/TRS/Mixed_SRS/03-oppelt08.xml	MAYBE 55441	n^1 - INF 52720	TIMEOUT 60073
tpdb-8.0/TRS/Mixed_SRS/03.xml	MAYBE 55388	n^2 - INF 50267	TIMEOUT 60113
tpdb-8.0/TRS/Mixed_SRS/04-oppelt08.xml	MAYBE 55436	n^1 - INF 50354	TIMEOUT 60079
tpdb-8.0/TRS/Mixed_SRS/04.xml	MAYBE 55390	n^2 - INF 50137	TIMEOUT 60124
tpdb-8.0/TRS/Mixed_SRS/05-oppelt08.xml	MAYBE 55452	n^2 - INF 50224	TIMEOUT 60080
tpdb-8.0/TRS/Mixed_SRS/05.xml	MAYBE 55392	EXP - INF 93	TIMEOUT 60131
tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml	MAYBE 55434	TIMEOUT 60041	TIMEOUT 60057
tpdb-8.0/TRS/Mixed_SRS/06.xml	MAYBE 55390	EXP - INF 84	TIMEOUT 60212
tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml	MAYBE 55521	n^2 - INF 50146	TIMEOUT 60085
tpdb-8.0/TRS/Mixed_SRS/07.xml	MAYBE 55388	EXP - INF 85	TIMEOUT 60142
tpdb-8.0/TRS/Mixed_SRS/08-oppelt08.xml	MAYBE 55444	TIMEOUT 60038	TIMEOUT 60134
tpdb-8.0/TRS/Mixed_SRS/08.xml	MAYBE 55394	EXP - INF 84	TIMEOUT 60149
tpdb-8.0/TRS/Mixed_SRS/09.xml	MAYBE 55388	EXP - INF 96	TIMEOUT 60127
tpdb-8.0/TRS/Mixed_SRS/1.xml	MAYBE 55381	n^1 - INF 50620	TIMEOUT 60076
tpdb-8.0/TRS/Mixed_SRS/2.xml	MAYBE 55463	TIMEOUT 60041	TIMEOUT 60124
tpdb-8.0/TRS/Mixed_SRS/3.xml	n^0 - n^1 1793	n^1 - n^1 33452	n^0 - n^2 2821
tpdb-8.0/TRS/Mixed_SRS/4.xml	MAYBE 55481	EXP - INF 139	TIMEOUT 60204
tpdb-8.0/TRS/Mixed_SRS/s6.xml	n^0 - n^2 55741	n^2 - INF 50444	n^0 - n^2 32027
tpdb-8.0/TRS/Mixed_SRS/touzet.xml	MAYBE 10636	EXP - INF 102	TIMEOUT 60036
tpdb-8.0/TRS/Mixed_SRS/turing_add.xml	n^0 - n^2 39172	n^2 - n^2 1574	n^0 - n^2 601
tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml	MAYBE 55868	INF - INF 274	TIMEOUT 60103
tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml	MAYBE 56067	INF - INF 378	TIMEOUT 60149
tpdb-8.0/TRS/Mixed_TRS/1.xml	n^0 - n^1 411	n^1 - INF 50261	n^0 - n^1 64
tpdb-8.0/TRS/Mixed_TRS/2.xml	MAYBE 55399	n^1 - INF 50234	n^0 - n^1 42
tpdb-8.0/TRS/Mixed_TRS/4.xml	n^0 - n^1 413	n^1 - INF 50180	n^0 - n^1 37
tpdb-8.0/TRS/Mixed_TRS/6.xml	MAYBE 10329	n^1 - INF 50222	TIMEOUT 60042
tpdb-8.0/TRS/Mixed_TRS/beans.xml	MAYBE 55554	TIMEOUT 60040	TIMEOUT 60193
tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml	MAYBE 55526	TIMEOUT 60051	TIMEOUT 60103
tpdb-8.0/TRS/Mixed_TRS/jones1.xml	n^0 - n^2 6113	n^1 - n^2 50114	n^0 - n^2 111
tpdb-8.0/TRS/Mixed_TRS/jones4.xml	n^0 - n^1 399	n^1 - n^1 137	n^0 - n^1 61
tpdb-8.0/TRS/Mixed_TRS/jones6.xml	n^0 - n^2 6836	n^1 - n^2 52849	n^0 - n^2 196
tpdb-8.0/TRS/Rubio_04/aoto.xml	n^0 - n^1 489	n^1 - n^1 172	n^0 - n^1 57
tpdb-8.0/TRS/Rubio_04/bintrees.xml	n^0 - n^2 6475	n^1 - n^2 50107	n^0 - n^2 238
tpdb-8.0/TRS/Rubio_04/bn129.xml	MAYBE 10335	n^1 - INF 50224	TIMEOUT 60067
tpdb-8.0/TRS/Rubio_04/gmnp.xml	n^0 - n^1 427	n^1 - INF 50346	n^0 - n^1 45
tpdb-8.0/TRS/Rubio_04/koen.xml	n^0 - n^1 484	n^1 - n^1 158	n^0 - n^1 64
tpdb-8.0/TRS/Rubio_04/lescanne.xml	n^0 - n^2 6197	n^1 - n^2 50123	n^0 - n^2 161
tpdb-8.0/TRS/Rubio_04/lindau.xml	n^0 - n^1 413	n^1 - n^1 514	n^0 - n^1 70
tpdb-8.0/TRS/Rubio_04/mfp90b.xml	n^0 - n^1 401	n^1 - n^1 155	n^0 - n^1 51
tpdb-8.0/TRS/Rubio_04/mfp95.xml	n^0 - n^1 404	n^1 - n^1 169	n^0 - n^1 38
tpdb-8.0/TRS/Rubio_04/nestrec.xml	MAYBE 55377	EXP - INF 120	TIMEOUT 60058
tpdb-8.0/TRS/Rubio_04/p266.xml	n^0 - n^1 502	n^1 - n^1 176	n^0 - n^1 49
tpdb-8.0/TRS/Rubio_04/test4.xml	n^0 - n^1 415	n^1 - n^1 173	n^0 - n^1 68
tpdb-8.0/TRS/Rubio_04/test829.xml	n^0 - n^1 480	n^1 - n^1 189	n^0 - n^1 47
tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml	MAYBE 55411	EXP - INF 178	TIMEOUT 60084
tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml	MAYBE 55486	n^2 - INF 50421	TIMEOUT 60085
tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml	MAYBE 55399	n^2 - INF 50263	TIMEOUT 60161
tpdb-8.0/TRS/Secret_05_SRS/aprove4.xml	MAYBE 55422	n^2 - INF 50905	TIMEOUT 60069
tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml	MAYBE 55503	EXP - INF 177	TIMEOUT 60161
tpdb-8.0/TRS/Secret_05_SRS/jambox1.xml	MAYBE 55391	TIMEOUT 60038	TIMEOUT 60144
tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml	MAYBE 55429	n^1 - INF 54823	TIMEOUT 60142
tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml	MAYBE 55357	n^1 - INF 50868	TIMEOUT 60118
tpdb-8.0/TRS/Secret_05_SRS/jambox4.xml	MAYBE 55388	n^1 - INF 50147	TIMEOUT 60116
tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml	MAYBE 55356	n^1 - INF 50591	TIMEOUT 60100
tpdb-8.0/TRS/Secret_05_SRS/matchbox1.xml	MAYBE 55400	n^2 - INF 50283	n^0 - n^3 26253
tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml	n^0 - n^1 1935	n^1 - INF 50328	n^0 - n^1 88
tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml	MAYBE 55448	TIMEOUT 60043	TIMEOUT 60147
tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml	MAYBE 55389	TIMEOUT 60140	TIMEOUT 60092
tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml	n^0 - n^1 4420	n^1 - INF 50318	n^0 - n^2 1205
tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml	MAYBE 55474	n^2 - INF 50207	TIMEOUT 60093
tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml	n^0 - n^1 400	n^1 - INF 50539	n^0 - n^1 38
tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml	n^0 - n^1 16048	TIMEOUT 60043	TIMEOUT 60116
tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml	MAYBE 17348	n^1 - INF 50211	TIMEOUT 60047
tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml	MAYBE 11400	n^1 - INF 50240	TIMEOUT 60064
tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml	MAYBE 10330	n^1 - INF 50234	TIMEOUT 60032
tpdb-8.0/TRS/Secret_06_SRS/10.xml	MAYBE 55389	EXP - INF 84	TIMEOUT 60091
tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml	MAYBE 55351	TIMEOUT 60051	TIMEOUT 60154
tpdb-8.0/TRS/Secret_06_SRS/1.xml	MAYBE 55398	n^1 - INF 50220	TIMEOUT 60114
tpdb-8.0/TRS/Secret_06_SRS/2-matchbox.xml	MAYBE 55420	n^1 - INF 50229	TIMEOUT 60245
tpdb-8.0/TRS/Secret_06_SRS/2.xml	MAYBE 55433	n^1 - INF 50199	TIMEOUT 60153
tpdb-8.0/TRS/Secret_06_SRS/3-matchbox.xml	MAYBE 55577	n^2 - INF 52555	TIMEOUT 60161
tpdb-8.0/TRS/Secret_06_SRS/3.xml	MAYBE 55391	TIMEOUT 60038	TIMEOUT 60125
tpdb-8.0/TRS/Secret_06_SRS/5-matchbox.xml	MAYBE 55442	EXP - INF 146	TIMEOUT 60113
tpdb-8.0/TRS/Secret_06_SRS/5.xml	MAYBE 55392	n^1 - INF 50192	TIMEOUT 60133
tpdb-8.0/TRS/Secret_06_SRS/6.xml	MAYBE 55496	TIMEOUT 60042	TIMEOUT 60188
tpdb-8.0/TRS/Secret_06_SRS/7.xml	MAYBE 55435	EXP - INF 106	TIMEOUT 60113
tpdb-8.0/TRS/Secret_06_SRS/8.xml	MAYBE 55417	EXP - INF 76	TIMEOUT 60153
tpdb-8.0/TRS/Secret_06_SRS/9.xml	MAYBE 55395	EXP - INF 85	TIMEOUT 60110
tpdb-8.0/TRS/Secret_06_SRS/aprove00.xml	MAYBE 55439	n^1 - INF 50360	TIMEOUT 60129
tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml	MAYBE 55629	n^1 - INF 50331	TIMEOUT 60152
tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml	MAYBE 55611	n^1 - INF 50559	TIMEOUT 60155
tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml	MAYBE 55836	n^1 - INF 50471	TIMEOUT 60166
tpdb-8.0/TRS/Secret_06_SRS/aprove04.xml	MAYBE 55733	n^1 - INF 50621	TIMEOUT 60163
tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml	MAYBE 55606	n^1 - INF 50941	TIMEOUT 60156
tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml	MAYBE 55623	n^1 - INF 50371	TIMEOUT 60145
tpdb-8.0/TRS/Secret_06_SRS/aprove07.xml	MAYBE 55558	n^1 - INF 50320	TIMEOUT 60177
tpdb-8.0/TRS/Secret_06_SRS/aprove08.xml	MAYBE 55532	n^1 - INF 50374	TIMEOUT 60202
tpdb-8.0/TRS/Secret_06_SRS/aprove09.xml	MAYBE 55504	n^1 - INF 50424	TIMEOUT 60163
tpdb-8.0/TRS/Secret_06_SRS/multum1.xml	MAYBE 55390	EXP - INF 102	TIMEOUT 60162
tpdb-8.0/TRS/Secret_06_SRS/multum2.xml	MAYBE 55390	EXP - INF 123	TIMEOUT 60148
tpdb-8.0/TRS/Secret_06_SRS/multum3.xml	MAYBE 55394	EXP - INF 90	TIMEOUT 60119
tpdb-8.0/TRS/Secret_06_SRS/multum4.xml	n^0 - n^1 2688	n^1 - n^1 20925	n^0 - n^1 46
tpdb-8.0/TRS/Secret_06_SRS/multum5.xml	MAYBE 55396	n^2 - INF 50232	TIMEOUT 60147
tpdb-8.0/TRS/Secret_06_SRS/multum6.xml	MAYBE 55475	TIMEOUT 60138	TIMEOUT 60172
tpdb-8.0/TRS/Secret_06_SRS/secr10.xml	MAYBE 55467	TIMEOUT 60036	TIMEOUT 60140
tpdb-8.0/TRS/Secret_06_SRS/secr1.xml	MAYBE 10665	EXP - INF 101	TIMEOUT 60034
tpdb-8.0/TRS/Secret_06_SRS/secr2.xml	MAYBE 10720	EXP - INF 123	TIMEOUT 60035
tpdb-8.0/TRS/Secret_06_SRS/secr3.xml	MAYBE 55389	n^2 - INF 51363	TIMEOUT 60161
tpdb-8.0/TRS/Secret_06_SRS/secr4.xml	MAYBE 55413	n^1 - INF 50322	TIMEOUT 60086
tpdb-8.0/TRS/Secret_06_SRS/secr5.xml	MAYBE 55406	n^1 - INF 50870	TIMEOUT 60150
tpdb-8.0/TRS/Secret_06_SRS/secr6.xml	MAYBE 26742	EXP - INF 174	TIMEOUT 60111
tpdb-8.0/TRS/Secret_06_SRS/secr7.xml	MAYBE 14714	n^1 - INF 50372	TIMEOUT 60087
tpdb-8.0/TRS/Secret_06_SRS/secr8.xml	MAYBE 55398	EXP - INF 2535	TIMEOUT 60089
tpdb-8.0/TRS/Secret_06_SRS/secr9.xml	MAYBE 55415	n^1 - INF 50203	TIMEOUT 60161
tpdb-8.0/TRS/Secret_06_TRS/10.xml	n^0 - n^1 434	TIMEOUT 60044	n^0 - n^1 77
tpdb-8.0/TRS/Secret_06_TRS/2.xml	MAYBE 55401	n^1 - INF 50209	TIMEOUT 60196
tpdb-8.0/TRS/Secret_06_TRS/3.xml	MAYBE 10431	n^1 - INF 50841	TIMEOUT 60143
tpdb-8.0/TRS/Secret_06_TRS/4.xml	MAYBE 55374	n^1 - INF 50374	TIMEOUT 60160
tpdb-8.0/TRS/Secret_06_TRS/5.xml	MAYBE 55385	n^1 - INF 50400	TIMEOUT 60168
tpdb-8.0/TRS/Secret_06_TRS/6.xml	n^0 - n^3 55445	TIMEOUT 60049	n^0 - n^3 1595
tpdb-8.0/TRS/Secret_06_TRS/7.xml	n^0 - n^1 1348	n^1 - n^2 50101	TIMEOUT 60217
tpdb-8.0/TRS/Secret_06_TRS/8.xml	n^0 - n^1 430	n^1 - INF 50925	n^0 - n^1 43
tpdb-8.0/TRS/Secret_06_TRS/9.xml	n^0 - n^1 421	n^1 - n^2 50124	n^0 - n^1 60
tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml	n^0 - n^1 805	n^1 - INF 50218	MAYBE 3886
tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml	MAYBE 10326	n^1 - INF 50205	TIMEOUT 60064
tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml	MAYBE 10329	n^1 - INF 50230	MAYBE 3881
tpdb-8.0/TRS/Secret_07_SRS/dj.xml	MAYBE 55390	EXP - INF 92	TIMEOUT 60109
tpdb-8.0/TRS/Secret_07_SRS/num-514.xml	MAYBE 55435	TIMEOUT 60036	TIMEOUT 60116
tpdb-8.0/TRS/Secret_07_SRS/num-515.xml	MAYBE 55385	n^1 - INF 50233	TIMEOUT 60119
tpdb-8.0/TRS/Secret_07_SRS/num-518.xml	MAYBE 55434	n^1 - INF 50119	TIMEOUT 60090
tpdb-8.0/TRS/Secret_07_SRS/num-519.xml	MAYBE 55379	TIMEOUT 60060	TIMEOUT 60107
tpdb-8.0/TRS/Secret_07_SRS/num-520.xml	MAYBE 55460	n^1 - INF 51128	TIMEOUT 60105
tpdb-8.0/TRS/Secret_07_SRS/num-521.xml	MAYBE 55381	TIMEOUT 60041	TIMEOUT 60129
tpdb-8.0/TRS/Secret_07_SRS/num-525.xml	MAYBE 55414	n^1 - INF 50427	TIMEOUT 60117
tpdb-8.0/TRS/Secret_07_SRS/num-527.xml	MAYBE 55432	n^1 - INF 50606	TIMEOUT 60142
tpdb-8.0/TRS/Secret_07_SRS/num-530.xml	MAYBE 55386	n^1 - INF 59805	TIMEOUT 60103
tpdb-8.0/TRS/Secret_07_SRS/num-539.xml	MAYBE 55377	n^1 - INF 50577	TIMEOUT 60130
tpdb-8.0/TRS/Secret_07_SRS/x01.xml	MAYBE 10853	EXP - INF 133	TIMEOUT 60038
tpdb-8.0/TRS/Secret_07_SRS/x02.xml	MAYBE 27874	TIMEOUT 60070	TIMEOUT 60041
tpdb-8.0/TRS/Secret_07_SRS/x03.xml	MAYBE 55392	n^2 - INF 50254	TIMEOUT 60114
tpdb-8.0/TRS/Secret_07_SRS/x04.xml	MAYBE 55428	n^1 - INF 50249	TIMEOUT 60142
tpdb-8.0/TRS/Secret_07_SRS/x05.xml	MAYBE 55393	EXP - INF 1965	TIMEOUT 60089
tpdb-8.0/TRS/Secret_07_SRS/x06.xml	MAYBE 55392	n^1 - INF 50381	TIMEOUT 60061
tpdb-8.0/TRS/Secret_07_SRS/x07.xml	MAYBE 55445	n^2 - INF 50525	TIMEOUT 60132
tpdb-8.0/TRS/Secret_07_SRS/x08.xml	MAYBE 30992	EXP - INF 93	TIMEOUT 60092
tpdb-8.0/TRS/Secret_07_SRS/x09.xml	MAYBE 21361	n^2 - INF 50210	TIMEOUT 60127
tpdb-8.0/TRS/Secret_07_SRS/x10.xml	MAYBE 26866	n^2 - INF 53898	TIMEOUT 60035
tpdb-8.0/TRS/Secret_07_TRS/1.xml	MAYBE 55418	n^1 - INF 50136	TIMEOUT 60058
tpdb-8.0/TRS/Secret_07_TRS/2.xml	MAYBE 55480	TIMEOUT 60057	TIMEOUT 60043
tpdb-8.0/TRS/Secret_07_TRS/3.xml	MAYBE 55467	n^1 - INF 50388	TIMEOUT 60120
tpdb-8.0/TRS/Secret_07_TRS/4.xml	MAYBE 55437	n^1 - INF 50301	TIMEOUT 60173
tpdb-8.0/TRS/Secret_07_TRS/5.xml	MAYBE 55612	TIMEOUT 60041	TIMEOUT 60094
tpdb-8.0/TRS/Secret_07_TRS/7.xml	MAYBE 55394	n^1 - INF 50504	TIMEOUT 60175
tpdb-8.0/TRS/SK90/2.01.xml	n^0 - n^2 7068	n^1 - n^2 50202	n^0 - n^2 281
tpdb-8.0/TRS/SK90/2.02.xml	MAYBE 55360	n^1 - INF 50284	TIMEOUT 60092
tpdb-8.0/TRS/SK90/2.03.xml	n^0 - n^2 6738	n^1 - n^2 50107	n^0 - n^2 154
tpdb-8.0/TRS/SK90/2.04.xml	n^0 - n^2 6133	n^1 - n^2 50117	n^0 - n^2 107
tpdb-8.0/TRS/SK90/2.06.xml	n^0 - n^2 6308	n^1 - n^2 50160	n^0 - n^2 276
tpdb-8.0/TRS/SK90/2.09.xml	n^0 - n^2 6494	n^1 - n^2 50124	n^0 - n^2 117
tpdb-8.0/TRS/SK90/2.10.xml	MAYBE 10341	n^1 - INF 50761	TIMEOUT 60057
tpdb-8.0/TRS/SK90/2.11.xml	n^0 - n^2 6193	n^1 - n^2 50117	n^0 - n^2 167
tpdb-8.0/TRS/SK90/2.14.xml	MAYBE 55387	n^1 - INF 51564	TIMEOUT 60042
tpdb-8.0/TRS/SK90/2.31.xml	n^0 - n^2 6997	n^1 - n^2 50157	n^0 - n^2 187
tpdb-8.0/TRS/SK90/2.33.xml	n^0 - n^2 6252	n^1 - n^2 50158	n^0 - n^2 183
tpdb-8.0/TRS/SK90/2.34.xml	MAYBE 10332	n^1 - INF 50252	TIMEOUT 60036
tpdb-8.0/TRS/SK90/2.36.xml	n^0 - n^2 6077	n^1 - n^2 50099	n^0 - n^2 121
tpdb-8.0/TRS/SK90/2.38.xml	n^0 - n^2 8153	n^1 - n^2 50123	n^0 - n^2 146
tpdb-8.0/TRS/SK90/2.39.xml	MAYBE 22077	n^1 - INF 50339	n^0 - n^2 811
tpdb-8.0/TRS/SK90/2.41.xml	n^0 - n^2 6510	n^1 - n^2 50235	n^0 - n^2 255
tpdb-8.0/TRS/SK90/2.42.xml	MAYBE 10338	n^1 - INF 50400	TIMEOUT 60062
tpdb-8.0/TRS/SK90/2.46.xml	n^0 - n^2 55359	n^2 - n^2 119	n^0 - n^2 147
tpdb-8.0/TRS/SK90/2.47.xml	n^0 - n^2 6011	n^2 - n^2 122	n^0 - n^2 79
tpdb-8.0/TRS/SK90/2.48.xml	n^0 - n^1 407	n^1 - n^1 210	n^0 - n^1 46
tpdb-8.0/TRS/SK90/2.49.xml	n^0 - n^1 453	n^1 - n^1 414	n^0 - n^1 71
tpdb-8.0/TRS/SK90/2.50.xml	MAYBE 55373	EXP - INF 65	TIMEOUT 60046
tpdb-8.0/TRS/SK90/2.53.xml	n^0 - n^2 55349	n^1 - n^2 50116	n^0 - n^2 110
tpdb-8.0/TRS/SK90/2.54.xml	n^0 - n^2 5954	n^1 - n^2 50095	n^0 - n^2 90
tpdb-8.0/TRS/SK90/2.55.xml	n^0 - n^2 5962	n^1 - n^1 366	n^0 - n^2 121
tpdb-8.0/TRS/SK90/2.56.xml	n^0 - n^1 392	n^1 - n^1 148	n^0 - n^1 40
tpdb-8.0/TRS/SK90/2.60.xml	n^0 - n^1 423	n^1 - n^1 267	n^0 - n^1 42
tpdb-8.0/TRS/SK90/2.61.xml	n^0 - n^1 939	n^1 - n^1 333	n^0 - n^1 80
tpdb-8.0/TRS/SK90/4.01.xml	n^0 - n^1 423	n^1 - n^1 139	n^0 - n^1 42
tpdb-8.0/TRS/SK90/4.04.xml	n^0 - n^2 6228	n^1 - n^2 50116	n^0 - n^2 209
tpdb-8.0/TRS/SK90/4.07.xml	n^0 - n^2 6047	n^1 - n^2 50094	n^0 - n^2 117
tpdb-8.0/TRS/SK90/4.08.xml	n^0 - n^2 5947	n^1 - n^2 50087	n^0 - n^2 74
tpdb-8.0/TRS/SK90/4.11.xml	n^0 - n^2 6072	n^1 - n^2 50127	n^0 - n^2 138
tpdb-8.0/TRS/SK90/4.12.xml	n^0 - n^2 6132	n^1 - n^2 50120	n^0 - n^2 190
tpdb-8.0/TRS/SK90/4.15.xml	n^0 - n^2 5948	n^1 - n^2 50132	n^0 - n^2 79
tpdb-8.0/TRS/SK90/4.16.xml	n^0 - n^1 524	n^1 - n^1 699	n^0 - n^1 63
tpdb-8.0/TRS/SK90/4.19.xml	n^0 - n^1 402	n^1 - n^1 171	n^0 - n^1 105
tpdb-8.0/TRS/SK90/4.25.xml	n^0 - n^2 6077	n^1 - n^2 50077	n^0 - n^2 147
tpdb-8.0/TRS/SK90/4.26.xml	MAYBE 10340	n^1 - INF 50370	TIMEOUT 60066
tpdb-8.0/TRS/SK90/4.27.xml	MAYBE 55465	n^1 - INF 50232	TIMEOUT 60097
tpdb-8.0/TRS/SK90/4.29.xml	n^0 - n^2 7094	n^1 - n^2 50142	n^0 - n^2 346
tpdb-8.0/TRS/SK90/4.30.xml	n^0 - n^3 56231	n^1 - n^2 50326	n^0 - n^3 6556
tpdb-8.0/TRS/SK90/4.32.xml	MAYBE 55363	EXP - INF 106	TIMEOUT 60035
tpdb-8.0/TRS/SK90/4.33.xml	n^0 - n^1 389	n^1 - n^1 128	n^0 - n^1 31
tpdb-8.0/TRS/SK90/4.34.xml	MAYBE 55382	INF - INF 72	TIMEOUT 60065
tpdb-8.0/TRS/SK90/4.35.xml	n^0 - n^1 395	n^1 - n^1 141	n^0 - n^1 40
tpdb-8.0/TRS/SK90/4.36.xml	n^0 - n^1 388	n^1 - n^1 142	n^0 - n^1 35
tpdb-8.0/TRS/SK90/4.37.xml	n^0 - n^1 386	n^1 - n^1 104	n^0 - n^1 40
tpdb-8.0/TRS/SK90/4.38.xml	n^0 - n^2 6918	n^1 - n^2 50115	n^0 - n^2 196
tpdb-8.0/TRS/SK90/4.39.xml	n^0 - n^2 55337	TIMEOUT 60034	n^0 - n^2 149
tpdb-8.0/TRS/SK90/4.43.xml	MAYBE 13274	n^1 - INF 50408	TIMEOUT 60058
tpdb-8.0/TRS/SK90/4.44.xml	n^0 - n^1 405	n^1 - n^1 211	n^0 - n^1 62
tpdb-8.0/TRS/SK90/4.45.xml	n^0 - n^1 383	n^1 - n^1 118	n^0 - n^1 37
tpdb-8.0/TRS/SK90/4.46.xml	n^0 - n^1 396	n^1 - n^1 183	n^0 - n^1 32
tpdb-8.0/TRS/SK90/4.47.xml	n^0 - n^1 485	n^1 - n^1 378	n^0 - n^1 48
tpdb-8.0/TRS/SK90/4.48.xml	n^0 - n^1 426	n^1 - n^1 157	n^0 - n^1 88
tpdb-8.0/TRS/SK90/4.51.xml	n^0 - n^1 1600	n^1 - n^1 626	n^0 - n^1 42
tpdb-8.0/TRS/SK90/4.52.xml	n^0 - n^2 11640	n^1 - n^2 50191	n^0 - n^2 348
tpdb-8.0/TRS/SK90/4.55.xml	n^0 - n^1 443	n^1 - INF 50191	TIMEOUT 60033
tpdb-8.0/TRS/SK90/4.56.xml	n^0 - n^1 400	n^1 - n^1 160	n^0 - n^1 40
tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml	MAYBE 55494	TIMEOUT 60047	TIMEOUT 60069
tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml	MAYBE 55418	INF - INF 100	TIMEOUT 60126
tpdb-8.0/TRS/Strategy_removed_AG01/#4.20a.xml	n^0 - n^1 1067	n^1 - n^1 164	n^0 - n^1 169
tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml	n^0 - n^1 902	n^1 - n^1 185	n^0 - n^1 126
tpdb-8.0/TRS/Strategy_removed_AG01/#4.21.xml	n^0 - n^1 1629	n^1 - n^1 440	n^0 - n^2 393
tpdb-8.0/TRS/Strategy_removed_AG01/#4.25.xml	MAYBE 10326	n^1 - INF 50254	MAYBE 666
tpdb-8.0/TRS/Strategy_removed_AG01/#4.28.xml	n^0 - n^1 3788	n^1 - n^2 50103	TIMEOUT 60094
tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml	n^0 - n^1 422	n^1 - n^1 224	n^0 - n^1 64
tpdb-8.0/TRS/Strategy_removed_AG01/#4.37.xml	n^0 - n^1 441	n^1 - n^1 206	n^0 - n^1 54
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml	MAYBE 10329	n^1 - INF 50230	TIMEOUT 60032
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml	MAYBE 10352	n^1 - INF 50275	TIMEOUT 60082
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml	MAYBE 10328	n^1 - INF 50164	TIMEOUT 60032
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml	MAYBE 10334	n^1 - INF 50360	TIMEOUT 60031
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml	MAYBE 10328	n^1 - INF 50253	TIMEOUT 60033
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml	MAYBE 10325	INF - INF 66	TIMEOUT 60032
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml	MAYBE 10339	n^1 - INF 50492	TIMEOUT 60041
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml	MAYBE 10331	n^1 - INF 50358	TIMEOUT 60037
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml	MAYBE 10332	n^1 - INF 50243	TIMEOUT 60033
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml	MAYBE 10331	n^1 - INF 50358	TIMEOUT 60033
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml	MAYBE 10328	n^1 - INF 50224	TIMEOUT 60033
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml	MAYBE 10332	n^1 - INF 50470	TIMEOUT 60031
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml	MAYBE 10342	n^1 - INF 55606	MAYBE 4142
tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml	MAYBE 10330	n^1 - INF 50125	TIMEOUT 60032
tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml	MAYBE 10329	INF - INF 84	TIMEOUT 60094
tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml	n^0 - n^1 421	n^1 - n^1 2393	n^0 - n^1 70
tpdb-8.0/TRS/Trafo_06/dup01.xml	MAYBE 56033	n^2 - INF 50741	TIMEOUT 60204
tpdb-8.0/TRS/Trafo_06/dup05.xml	MAYBE 55559	n^2 - INF 50405	TIMEOUT 60238
tpdb-8.0/TRS/Trafo_06/dup06.xml	MAYBE 55485	EXP - INF 106	TIMEOUT 60129
tpdb-8.0/TRS/Trafo_06/dup07.xml	MAYBE 55481	EXP - INF 107	TIMEOUT 60149
tpdb-8.0/TRS/Trafo_06/dup08.xml	MAYBE 55481	EXP - INF 142	TIMEOUT 60213
tpdb-8.0/TRS/Trafo_06/dup09.xml	MAYBE 55621	n^2 - INF 50207	TIMEOUT 60172
tpdb-8.0/TRS/Trafo_06/dup10.xml	MAYBE 55491	n^2 - INF 50445	TIMEOUT 60192
tpdb-8.0/TRS/Trafo_06/dup11.xml	MAYBE 55899	n^1 - INF 51135	TIMEOUT 60238
tpdb-8.0/TRS/Trafo_06/dup12.xml	MAYBE 55524	TIMEOUT 60038	TIMEOUT 60181
tpdb-8.0/TRS/Trafo_06/dup13.xml	MAYBE 55492	EXP - INF 119	TIMEOUT 60179
tpdb-8.0/TRS/Trafo_06/dup14.xml	MAYBE 55507	EXP - INF 197	TIMEOUT 60132
tpdb-8.0/TRS/Trafo_06/dup15.xml	MAYBE 55471	EXP - INF 133	TIMEOUT 60140
tpdb-8.0/TRS/Trafo_06/dup16.xml	n^0 - n^1 1039	n^1 - INF 50276	TIMEOUT 60087
tpdb-8.0/TRS/Trafo_06/dup17.xml	MAYBE 55465	EXP - INF 228	TIMEOUT 60126
tpdb-8.0/TRS/Trafo_06/hom01.xml	MAYBE 55481	EXP - INF 106	TIMEOUT 60165
tpdb-8.0/TRS/Trafo_06/hom02.xml	MAYBE 55403	n^2 - INF 50819	TIMEOUT 60170
tpdb-8.0/TRS/Trafo_06/hom03.xml	MAYBE 55559	n^1 - INF 50734	TIMEOUT 60192
tpdb-8.0/TRS/Trafo_06/un02.xml	MAYBE 55565	TIMEOUT 60038	TIMEOUT 60141
tpdb-8.0/TRS/Trafo_06/un04.xml	MAYBE 55469	TIMEOUT 60040	TIMEOUT 60179
tpdb-8.0/TRS/Trafo_06/un05.xml	MAYBE 55382	TIMEOUT 60043	TIMEOUT 60205
tpdb-8.0/TRS/Trafo_06/un06.xml	MAYBE 55491	n^2 - INF 50188	TIMEOUT 60213
tpdb-8.0/TRS/Trafo_06/un07.xml	MAYBE 55441	n^2 - INF 50288	TIMEOUT 60245
tpdb-8.0/TRS/Trafo_06/un08.xml	MAYBE 55404	EXP - INF 153	TIMEOUT 60175
tpdb-8.0/TRS/Trafo_06/un09.xml	MAYBE 55493	n^1 - INF 50270	TIMEOUT 60285
tpdb-8.0/TRS/Trafo_06/un10.xml	MAYBE 55504	n^1 - INF 51964	TIMEOUT 60207
tpdb-8.0/TRS/Trafo_06/un11.xml	MAYBE 55478	EXP - INF 118	TIMEOUT 60215
tpdb-8.0/TRS/Trafo_06/un12.xml	MAYBE 55495	TIMEOUT 60044	TIMEOUT 60215
tpdb-8.0/TRS/Trafo_06/un13.xml	MAYBE 55497	n^1 - INF 50260	TIMEOUT 60192
tpdb-8.0/TRS/Trafo_06/un14.xml	MAYBE 55543	n^2 - INF 50358	TIMEOUT 60205
tpdb-8.0/TRS/Trafo_06/un15.xml	MAYBE 55579	n^2 - INF 51165	TIMEOUT 60184
tpdb-8.0/TRS/Trafo_06/un16.xml	MAYBE 55620	TIMEOUT 60035	TIMEOUT 60191
tpdb-8.0/TRS/Trafo_06/un17.xml	MAYBE 55424	EXP - INF 175	TIMEOUT 60106
tpdb-8.0/TRS/Trafo_06/un18.xml	MAYBE 55492	n^1 - INF 51746	TIMEOUT 60230
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml	NO 302	INF - INF 83	ERROR 26
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_L.xml	MAYBE 10334	n^1 - INF 50193	TIMEOUT 60033
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_L.xml	MAYBE 10330	n^1 - INF 50493	TIMEOUT 60031
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml	n^0 - n^4 57011	TIMEOUT 60047	n^0 - n^3 13819
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml	n^0 - n^2 7568	n^1 - n^2 50133	n^0 - n^3 523
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml	n^0 - n^2 44228	n^1 - n^2 50150	n^0 - n^2 515
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml	n^0 - n^2 55430	n^1 - n^2 50311	n^0 - n^2 1086
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_L.xml	MAYBE 10330	n^1 - INF 975	TIMEOUT 60030
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml	n^0 - n^1 2060	n^1 - n^1 230	n^0 - n^1 44
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml	NO 308	INF - INF 95	ERROR 38
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml	MAYBE 55598	TIMEOUT 60042	TIMEOUT 60099
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_FR.xml	n^0 - n^1 461	n^1 - INF 50244	TIMEOUT 60031
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml	n^0 - n^2 50170	n^1 - INF 57416	TIMEOUT 60044
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml	MAYBE 55416	n^1 - INF 50222	TIMEOUT 60055
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_L.xml	MAYBE 10331	n^1 - INF 50088	TIMEOUT 60031
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml	n^0 - n^3 56238	n^1 - n^3 50401	n^0 - n^3 13431
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml	n^0 - n^2 6462	n^1 - n^2 50135	n^0 - n^2 185
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml	n^0 - n^2 44399	n^1 - n^2 50111	n^0 - n^2 189
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml	n^0 - n^2 55616	n^1 - n^2 50207	n^0 - n^2 462
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_L.xml	n^0 - n^1 391	n^1 - n^1 192	n^0 - n^1 37
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml	n^0 - n^1 583	n^1 - n^1 126	n^0 - n^1 50
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml	MAYBE 10335	n^1 - INF 50270	TIMEOUT 60033
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml	NO 306	INF - INF 152	ERROR 33
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml	MAYBE 10326	n^1 - INF 27571	TIMEOUT 60031
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml	NO 309	INF - INF 106	ERROR 37
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml	MAYBE 55780	TIMEOUT 60045	TIMEOUT 60154
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_FR.xml	MAYBE 55477	n^1 - INF 50288	TIMEOUT 60048
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml	MAYBE 55599	n^1 - INF 50521	TIMEOUT 60124
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_iGM.xml	MAYBE 55652	n^1 - INF 51264	TIMEOUT 60142
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml	NO 306	INF - INF 90	ERROR 31
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml	MAYBE 10340	n^1 - INF 50983	TIMEOUT 60034
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml	n^0 - n^2 56078	n^1 - INF 50253	n^0 - n^3 5373
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_FR.xml	MAYBE 55383	n^1 - INF 50280	TIMEOUT 60037
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml	n^0 - n^1 513	n^1 - n^1 209	n^0 - n^1 45
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml	n^0 - n^1 5999	n^1 - n^1 1215	n^0 - n^1 191
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml	MAYBE 10331	n^1 - INF 1180	TIMEOUT 60031
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml	n^0 - n^4 58450	TIMEOUT 60044	TIMEOUT 60122
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml	n^0 - n^2 7498	n^1 - n^2 50220	n^0 - n^2 257
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml	n^0 - n^2 55371	n^1 - n^2 50246	n^0 - n^2 259
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml	n^0 - n^2 55927	n^1 - n^2 50228	n^0 - n^2 2204
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_L.xml	n^0 - n^1 382	n^1 - n^1 154	n^0 - n^1 34
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml	n^0 - n^1 588	n^1 - n^1 167	n^0 - n^1 44
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_L.xml	MAYBE 10402	n^1 - INF 30281	TIMEOUT 60030
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_L.xml	MAYBE 10328	n^1 - INF 50129	TIMEOUT 60031
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml	n^0 - n^3 59820	n^2 - n^2 9224	n^0 - n^3 4445
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml	n^0 - n^2 11599	n^2 - n^2 1048	n^0 - n^2 852
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml	n^0 - n^2 55418	n^2 - n^2 260	TIMEOUT 60032
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_iGM.xml	n^0 - n^2 55983	n^2 - n^2 515	n^0 - n^2 3163
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_L.xml	n^0 - n^1 385	n^1 - n^1 114	n^0 - n^1 58
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml	n^0 - n^1 707	n^1 - n^1 317	n^0 - n^1 55
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml	n^0 - n^1 430	n^1 - n^1 175	n^0 - n^1 61
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml	n^0 - n^1 410	n^1 - n^1 170	n^0 - n^1 33
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml	NO 311	INF - INF 68	ERROR 29
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml	NO 310	INF - INF 97	ERROR 53
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml	n^0 - n^1 422	n^1 - n^1 152	n^0 - n^1 57
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml	n^0 - n^1 380	n^1 - n^1 171	n^0 - n^1 52
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml	MAYBE 55941	n^1 - INF 51032	TIMEOUT 60158
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml	n^0 - n^2 10154	n^1 - n^2 50286	n^0 - n^2 354
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml	n^0 - n^3 56391	n^1 - n^2 50268	n^0 - n^3 1306
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml	n^0 - n^3 56678	TIMEOUT 60049	TIMEOUT 60157
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml	n^0 - n^1 406	n^1 - n^1 150	n^0 - n^1 38
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml	n^0 - n^1 427	n^1 - n^1 216	n^0 - n^1 48
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml	NO 304	INF - INF 85	ERROR 29
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml	MAYBE 55576	TIMEOUT 60045	TIMEOUT 60138
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml	n^0 - n^1 457	n^1 - n^1 165	n^0 - n^1 48
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml	n^0 - n^2 7133	n^1 - n^2 50218	n^0 - n^2 179
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml	n^0 - n^3 32162	n^1 - n^3 50213	n^0 - n^2 3687
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml	NO 306	INF - INF 75	ERROR 28
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml	NO 307	INF - INF 136	ERROR 36
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml	NO 319	INF - INF 221	ERROR 46
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml	NO 308	INF - INF 90	ERROR 37
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml	NO 317	INF - INF 141	ERROR 41
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml	NO 313	INF - INF 114	ERROR 36
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml	MAYBE 55614	TIMEOUT 60042	TIMEOUT 60156
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml	MAYBE 10336	n^1 - INF 50554	TIMEOUT 60034
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml	MAYBE 13331	n^1 - INF 51020	TIMEOUT 60042
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml	MAYBE 55564	n^1 - INF 50992	TIMEOUT 60158
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml	NO 305	INF - INF 80	ERROR 27
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml	n^0 - n^1 483	n^1 - n^1 178	n^0 - n^1 53
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml	NO 320	INF - INF 324	ERROR 51
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml	NO 305	INF - INF 91	ERROR 32
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml	n^0 - n^2 55725	n^1 - n^3 50232	n^0 - n^5 29592
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml	MAYBE 43644	n^1 - INF 50264	TIMEOUT 60033
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml	n^0 - n^1 515	n^1 - n^1 162	n^0 - n^1 51
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml	n^0 - n^1 2191	n^1 - n^1 347	n^0 - n^1 114
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml	n^0 - n^1 380	n^1 - n^1 159	n^0 - n^1 31
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml	n^0 - n^1 395	n^1 - n^1 147	n^0 - n^1 36
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml	NO 311	INF - INF 109	ERROR 37
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml	NO 309	INF - INF 159	ERROR 47
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml	n^0 - n^1 423	n^1 - n^1 223	n^0 - n^1 47
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml	MAYBE 55552	TIMEOUT 60047	TIMEOUT 60119
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml	MAYBE 55420	n^1 - INF 50106	TIMEOUT 60043
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml	n^0 - n^2 55345	n^1 - n^2 50194	n^0 - n^2 165
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_iGM.xml	n^0 - n^2 55873	n^1 - n^2 50392	MAYBE 3129
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml	n^0 - n^2 57060	n^2 - n^2 469	n^0 - n^2 8483
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml	n^0 - n^2 7014	n^2 - n^2 210	n^0 - n^2 168
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml	n^0 - n^2 55367	n^2 - n^2 167	n^0 - n^2 164
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml	n^0 - n^2 55860	n^2 - n^2 1441	n^0 - n^2 1247
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml	n^0 - n^1 374	n^1 - n^1 141	n^0 - n^1 32
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_Z.xml	MAYBE 10331	INF - INF 75	TIMEOUT 60032
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml	MAYBE 55819	n^1 - INF 50614	TIMEOUT 60138
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml	MAYBE 55461	n^1 - INF 50393	TIMEOUT 60062
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml	MAYBE 55563	n^1 - INF 50426	TIMEOUT 60133
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml	MAYBE 55785	n^1 - INF 50892	TIMEOUT 60161
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml	NO 309	INF - INF 122	ERROR 59
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_Z.xml	MAYBE 55549	n^1 - INF 50550	TIMEOUT 60065
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml	MAYBE 55801	n^1 - INF 51051	TIMEOUT 60137
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml	MAYBE 55480	n^1 - INF 50276	TIMEOUT 60049
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml	n^0 - n^3 56131	n^1 - n^3 50169	n^0 - n^3 5630
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml	MAYBE 55688	TIMEOUT 60042	TIMEOUT 60183
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml	NO 304	INF - INF 117	ERROR 29
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_Z.xml	MAYBE 55573	n^1 - INF 50447	TIMEOUT 60047
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml	NO 312	INF - INF 167	ERROR 36
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml	MAYBE 55838	n^1 - INF 51203	TIMEOUT 60137
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml	n^0 - n^2 14272	n^1 - n^2 50330	TIMEOUT 60098
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml	MAYBE 55489	TIMEOUT 60040	TIMEOUT 60118
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_iGM.xml	MAYBE 55627	n^1 - INF 50729	TIMEOUT 60152
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml	n^0 - n^1 407	n^1 - n^1 494	n^0 - n^1 40
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml	n^0 - n^1 425	n^1 - n^1 762	n^0 - n^1 56
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml	NO 314	INF - INF 127	ERROR 44
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml	NO 326	INF - INF 336	ERROR 56
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml	NO 337	INF - INF 651	ERROR 76
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml	NO 310	INF - INF 114	ERROR 36
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml	NO 320	INF - INF 220	ERROR 46
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml	MAYBE 55720	n^1 - INF 50650	TIMEOUT 60143
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml	MAYBE 55511	n^1 - INF 50608	TIMEOUT 60052
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml	MAYBE 55626	n^1 - INF 50478	TIMEOUT 60092
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml	MAYBE 55637	n^1 - INF 55193	TIMEOUT 60191
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml	NO 306	INF - INF 75	ERROR 28
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml	MAYBE 55792	TIMEOUT 60046	TIMEOUT 60138
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml	MAYBE 20107	n^1 - INF 58171	TIMEOUT 60066
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml	MAYBE 55714	n^1 - INF 50277	TIMEOUT 60107
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml	MAYBE 55682	n^1 - INF 53438	TIMEOUT 60145
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml	NO 304	INF - INF 96	ERROR 30
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml	NO 375	INF - INF 368	ERROR 127
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml	NO 437	INF - INF 598	ERROR 208
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml	NO 337	INF - INF 242	ERROR 64
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml	NO 358	INF - INF 692	ERROR 126
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml	NO 317	INF - INF 220	ERROR 42
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml	NO 332	INF - INF 187	ERROR 60
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml	NO 325	INF - INF 368	ERROR 56
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml	NO 342	INF - INF 252	ERROR 76
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml	NO 316	INF - INF 170	ERROR 39
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml	NO 322	INF - INF 321	ERROR 54
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml	NO 318	INF - INF 153	ERROR 37
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml	NO 334	INF - INF 214	ERROR 68
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml	NO 357	INF - INF 693	ERROR 100
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml	NO 314	INF - INF 171	ERROR 45
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml	NO 326	INF - INF 166	ERROR 92
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml	MAYBE 55825	TIMEOUT 60047	TIMEOUT 60175
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml	MAYBE 55485	TIMEOUT 60053	TIMEOUT 60128
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml	MAYBE 55535	TIMEOUT 60056	TIMEOUT 60133
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml	MAYBE 55705	n^1 - INF 50346	TIMEOUT 60217
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml	NO 304	INF - INF 107	ERROR 52
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml	MAYBE 56106	n^1 - INF 51466	TIMEOUT 60095
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml	MAYBE 55462	n^1 - INF 50892	TIMEOUT 60134
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml	MAYBE 55606	n^1 - INF 50578	TIMEOUT 60136
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml	MAYBE 55889	n^1 - INF 56546	TIMEOUT 60157
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml	NO 318	INF - INF 115	ERROR 35
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml	MAYBE 55454	n^1 - INF 51668	TIMEOUT 60128
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml	MAYBE 55557	n^1 - INF 50341	TIMEOUT 60113
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml	NO 329	INF - INF 333	ERROR 67
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml	MAYBE 55705	n^1 - INF 50997	TIMEOUT 60041
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml	MAYBE 55871	n^1 - INF 50874	TIMEOUT 60165
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml	MAYBE 36748	n^1 - INF 51857	TIMEOUT 60072
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml	MAYBE 28996	TIMEOUT 60069	TIMEOUT 60088
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml	MAYBE 55780	n^1 - INF 51019	TIMEOUT 60177
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml	NO 309	INF - INF 113	ERROR 44
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml	MAYBE 56198	n^1 - INF 51985	TIMEOUT 60094
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml	MAYBE 28155	TIMEOUT 60073	TIMEOUT 60084
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml	MAYBE 55681	n^1 - INF 51611	TIMEOUT 60130
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml	MAYBE 56074	TIMEOUT 60056	TIMEOUT 60119
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml	MAYBE 10351	n^1 - INF 50316	TIMEOUT 60046
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml	n^0 - n^2 15638	n^1 - INF 51066	n^0 - n^2 12376
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml	n^0 - n^2 10717	n^1 - INF 50435	n^0 - n^2 54978
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml	MAYBE 55736	n^1 - INF 51153	TIMEOUT 60148
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml	n^0 - n^2 6195	n^1 - n^2 50123	n^0 - n^2 158
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml	MAYBE 15786	n^1 - INF 50570	TIMEOUT 60057
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml	MAYBE 55538	n^1 - INF 50870	TIMEOUT 60191
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml	NO 307	INF - INF 103	ERROR 31
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml	MAYBE 55742	n^1 - INF 50377	TIMEOUT 60155
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml	n^0 - n^2 6321	n^1 - n^2 50216	n^0 - n^2 194
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml	MAYBE 23011	n^1 - INF 50395	TIMEOUT 60117
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml	MAYBE 55550	n^1 - INF 50346	TIMEOUT 60146
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml	n^0 - n^2 6140	n^1 - n^2 50144	n^0 - n^2 180
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml	NO 317	INF - INF 186	ERROR 41
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml	NO 322	INF - INF 326	ERROR 76
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml	NO 309	INF - INF 121	ERROR 33
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml	NO 312	INF - INF 105	ERROR 39
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml	MAYBE 55746	n^1 - INF 50273	TIMEOUT 60151
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml	n^0 - n^2 6014	n^1 - n^2 50131	n^0 - n^2 106
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml	MAYBE 33885	n^1 - INF 50428	TIMEOUT 60071
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_iGM.xml	MAYBE 55529	n^1 - INF 51139	TIMEOUT 60186
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml	NO 306	INF - INF 72	ERROR 27
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml	MAYBE 55809	n^1 - INF 50660	TIMEOUT 60156
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml	n^0 - n^2 8178	n^1 - n^2 50192	n^0 - n^2 246
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml	MAYBE 55472	TIMEOUT 60064	TIMEOUT 60097
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml	MAYBE 55590	TIMEOUT 60045	TIMEOUT 60162
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml	NO 305	INF - INF 113	ERROR 34
tpdb-8.0/TRS/Various_04/07.xml	n^0 - n^1 384	n^1 - n^1 149	n^0 - n^1 55
tpdb-8.0/TRS/Various_04/15.xml	MAYBE 16343	n^1 - INF 50285	TIMEOUT 60034
tpdb-8.0/TRS/Various_04/18.xml	MAYBE 55425	n^1 - INF 50201	TIMEOUT 60102
tpdb-8.0/TRS/Various_04/19.xml	MAYBE 10346	n^1 - INF 50224	TIMEOUT 60164
tpdb-8.0/TRS/Various_04/21.xml	MAYBE 49659	n^1 - INF 50292	TIMEOUT 60194
tpdb-8.0/TRS/Various_04/23.xml	n^0 - n^2 7958	n^1 - n^2 50112	n^0 - n^2 246
tpdb-8.0/TRS/Various_04/24.xml	n^0 - n^1 2032	n^1 - INF 50330	TIMEOUT 60195
tpdb-8.0/TRS/Various_04/25.xml	n^0 - n^1 399	n^1 - n^1 138	n^0 - n^1 30
tpdb-8.0/TRS/Various_04/27.xml	n^0 - n^1 413	n^1 - n^1 179	n^0 - n^1 35
tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml	MAYBE 55384	n^1 - INF 57230	TIMEOUT 60085
tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml	MAYBE 55387	TIMEOUT 60091	TIMEOUT 60089
tpdb-8.0/TRS/Waldmann_06/jwcime1.xml	MAYBE 10330	n^1 - INF 50191	TIMEOUT 60116
tpdb-8.0/TRS/Waldmann_06/jwcime2.xml	n^0 - n^1 420	n^1 - INF 50358	n^0 - n^1 52
tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml	MAYBE 55383	n^1 - INF 50161	TIMEOUT 60081
tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml	MAYBE 55386	n^1 - INF 50135	TIMEOUT 60077
tpdb-8.0/TRS/Waldmann_06/jwno1.xml	MAYBE 10332	n^1 - INF 50351	TIMEOUT 60062
tpdb-8.0/TRS/Waldmann_06/jwno2.xml	MAYBE 10331	n^1 - INF 50354	TIMEOUT 60083
tpdb-8.0/TRS/Waldmann_06/jwno3.xml	MAYBE 23409	n^1 - INF 50220	TIMEOUT 60108
tpdb-8.0/TRS/Waldmann_06/jwno4.xml	MAYBE 10331	n^1 - INF 50566	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_06/jwno5.xml	MAYBE 10327	n^1 - INF 50413	TIMEOUT 60067
tpdb-8.0/TRS/Waldmann_06/jwno6.xml	MAYBE 10333	n^1 - INF 52261	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_06/jwno7.xml	MAYBE 24441	TIMEOUT 60045	TIMEOUT 60107
tpdb-8.0/TRS/Waldmann_06/jwno8.xml	MAYBE 10331	n^1 - INF 50174	TIMEOUT 60131
tpdb-8.0/TRS/Waldmann_06/jwno9.xml	MAYBE 10328	n^1 - INF 50193	TIMEOUT 60122
tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml	n^0 - n^1 420	n^1 - INF 50374	n^0 - n^1 47
tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml	MAYBE 10330	n^1 - INF 50326	TIMEOUT 60154
tpdb-8.0/TRS/Waldmann_06/jwttt.xml	MAYBE 10333	n^1 - INF 50218	MAYBE 43639
tpdb-8.0/TRS/Waldmann_06_SRS/e.xml	n^0 - n^1 4801	n^1 - INF 50634	n^0 - n^2 5957
tpdb-8.0/TRS/Waldmann_06_SRS/jw1.xml	MAYBE 55387	TIMEOUT 60058	TIMEOUT 60078
tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml	MAYBE 55520	EXP - INF 175	TIMEOUT 60109
tpdb-8.0/TRS/Waldmann_06_SRS/jw4.xml	MAYBE 55489	EXP - INF 156	TIMEOUT 60141
tpdb-8.0/TRS/Waldmann_06_SRS/jw5.xml	MAYBE 55529	EXP - INF 141	TIMEOUT 60190
tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml	n^0 - n^2 55537	TIMEOUT 60050	MAYBE 2772
tpdb-8.0/TRS/Waldmann_06_SRS/sym-1.xml	n^0 - n^1 6435	n^1 - INF 51181	TIMEOUT 60066
tpdb-8.0/TRS/Waldmann_06_SRS/sym-2.xml	MAYBE 36065	n^1 - INF 53958	TIMEOUT 60049
tpdb-8.0/TRS/Waldmann_06_SRS/sym-4.xml	n^0 - n^1 1403	n^1 - INF 50188	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_06_SRS/sym-5.xml	MAYBE 55393	n^1 - INF 50161	TIMEOUT 60132
tpdb-8.0/TRS/Waldmann_06_SRS/sym-6.xml	MAYBE 17050	n^2 - INF 50164	TIMEOUT 60075
tpdb-8.0/TRS/Waldmann_06_SRS/uni-1.xml	n^0 - n^1 1399	n^1 - INF 50186	TIMEOUT 60054
tpdb-8.0/TRS/Waldmann_06_SRS/uni-2.xml	MAYBE 55392	n^1 - INF 50241	TIMEOUT 60145
tpdb-8.0/TRS/Waldmann_06_SRS/uni-3.xml	MAYBE 55349	TIMEOUT 60045	TIMEOUT 60164
tpdb-8.0/TRS/Waldmann_06_SRS/uni-4.xml	MAYBE 55386	EXP - INF 81	TIMEOUT 60149
tpdb-8.0/TRS/Waldmann_06_SRS/uni-5.xml	MAYBE 16220	EXP - INF 91	TIMEOUT 60084
tpdb-8.0/TRS/Waldmann_06_SRS/uni-6.xml	MAYBE 55446	TIMEOUT 60049	TIMEOUT 60127
tpdb-8.0/TRS/Waldmann_06_SRS/uni-7.xml	MAYBE 55470	n^1 - INF 52070	TIMEOUT 60155
tpdb-8.0/TRS/Waldmann_06_SRS/z086-variant.xml	MAYBE 55387	EXP - INF 114	TIMEOUT 60081
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml	MAYBE 55355	EXP - INF 85	TIMEOUT 60138
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml	MAYBE 55380	n^1 - INF 50666	TIMEOUT 60143
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-3.xml	MAYBE 55387	EXP - INF 90	TIMEOUT 60142
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-4.xml	MAYBE 55385	EXP - INF 86	TIMEOUT 60160
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml	MAYBE 10685	EXP - INF 95	TIMEOUT 60070
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-11.xml	MAYBE 55350	EXP - INF 90	TIMEOUT 60108
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml	MAYBE 55380	EXP - INF 80	TIMEOUT 60099
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-13.xml	MAYBE 55351	EXP - INF 89	TIMEOUT 60057
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml	MAYBE 55350	EXP - INF 87	TIMEOUT 60069
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml	MAYBE 46268	TIMEOUT 60070	TIMEOUT 60094
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml	MAYBE 17285	TIMEOUT 60212	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-17.xml	MAYBE 10564	n^2 - INF 50231	TIMEOUT 60038
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-18.xml	MAYBE 10707	n^1 - INF 50422	TIMEOUT 60033
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-19.xml	MAYBE 10555	n^1 - INF 50439	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml	MAYBE 55356	EXP - INF 419	TIMEOUT 60109
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-20.xml	MAYBE 10628	n^1 - INF 54340	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-21.xml	MAYBE 10605	n^2 - INF 50513	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml	MAYBE 55347	n^1 - INF 50274	TIMEOUT 60084
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-3.xml	MAYBE 10616	n^2 - INF 50267	TIMEOUT 60041
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml	MAYBE 55349	TIMEOUT 60045	TIMEOUT 60100
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml	MAYBE 55353	TIMEOUT 60046	TIMEOUT 60092
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml	MAYBE 14042	EXP - INF 87	TIMEOUT 60041
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-7.xml	MAYBE 11791	EXP - INF 83	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml	MAYBE 12567	EXP - INF 86	TIMEOUT 60043
tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-9.xml	MAYBE 26197	EXP - INF 98	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-10.xml	MAYBE 55378	n^1 - INF 50159	TIMEOUT 60141
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-11.xml	MAYBE 55379	n^1 - INF 50231	TIMEOUT 60135
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-12.xml	MAYBE 55393	TIMEOUT 60050	TIMEOUT 60167
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-13.xml	MAYBE 23616	EXP - INF 114	TIMEOUT 60064
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-14.xml	MAYBE 21470	n^2 - INF 50176	TIMEOUT 60062
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-15.xml	MAYBE 11850	n^1 - INF 50541	TIMEOUT 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-16.xml	MAYBE 16835	EXP - INF 78	TIMEOUT 60055
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-17.xml	MAYBE 22666	EXP - INF 84	TIMEOUT 60155
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-18.xml	MAYBE 10649	EXP - INF 98	TIMEOUT 60093
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-19.xml	MAYBE 10695	n^2 - INF 50179	TIMEOUT 60048
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-1.xml	MAYBE 16895	n^2 - INF 50194	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-20.xml	MAYBE 11368	n^1 - INF 50157	TIMEOUT 60040
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-21.xml	MAYBE 11911	EXP - INF 205	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-22.xml	MAYBE 11746	EXP - INF 84	TIMEOUT 60085
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-2.xml	MAYBE 32610	EXP - INF 140	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-3.xml	MAYBE 16617	n^2 - INF 50150	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-4.xml	MAYBE 55394	n^1 - INF 50183	TIMEOUT 60097
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-5.xml	MAYBE 55390	n^1 - INF 50139	TIMEOUT 60115
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-6.xml	MAYBE 55391	n^1 - INF 50198	TIMEOUT 60122
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-7.xml	MAYBE 55358	n^1 - INF 50099	TIMEOUT 60169
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-8.xml	MAYBE 55404	n^1 - INF 50286	TIMEOUT 60137
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-100.xml	MAYBE 10333	n^2 - INF 50174	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-101.xml	MAYBE 10722	n^1 - INF 50187	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-104.xml	MAYBE 31872	n^1 - INF 50265	TIMEOUT 60056
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-105.xml	MAYBE 20699	n^1 - INF 50586	TIMEOUT 60096
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-106.xml	MAYBE 18551	TIMEOUT 60046	TIMEOUT 60043
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-107.xml	MAYBE 10627	EXP - INF 81	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-108.xml	MAYBE 17505	EXP - INF 91	TIMEOUT 60039
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-109.xml	MAYBE 20904	EXP - INF 173	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml	MAYBE 55351	EXP - INF 88	TIMEOUT 60137
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-110.xml	MAYBE 55349	EXP - INF 93	TIMEOUT 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-111.xml	MAYBE 10706	EXP - INF 90	TIMEOUT 60086
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-112.xml	MAYBE 10681	n^1 - INF 50904	TIMEOUT 60097
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-113.xml	MAYBE 13867	n^1 - INF 50820	TIMEOUT 60107
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-114.xml	MAYBE 10689	n^1 - INF 50360	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-11.xml	MAYBE 55352	TIMEOUT 60050	TIMEOUT 60135
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-120.xml	MAYBE 12310	n^1 - INF 51876	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-121.xml	MAYBE 12003	EXP - INF 89	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-122.xml	MAYBE 29195	n^2 - INF 50198	TIMEOUT 60088
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-123.xml	MAYBE 55348	n^2 - INF 50523	TIMEOUT 60044
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-124.xml	MAYBE 24517	n^2 - INF 50277	TIMEOUT 60043
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-125.xml	MAYBE 55353	TIMEOUT 60049	TIMEOUT 60102
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-126.xml	MAYBE 55350	EXP - INF 116	TIMEOUT 60117
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-127.xml	MAYBE 10555	n^2 - INF 50886	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-128.xml	MAYBE 55357	EXP - INF 101	TIMEOUT 60079
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-129.xml	MAYBE 10609	n^2 - INF 50766	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-131.xml	MAYBE 10555	EXP - INF 102	TIMEOUT 60031
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-132.xml	MAYBE 55355	EXP - INF 116	TIMEOUT 60118
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-133.xml	MAYBE 55353	EXP - INF 136	TIMEOUT 60148
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-134.xml	MAYBE 10650	n^1 - INF 50177	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-135.xml	MAYBE 10644	EXP - INF 93	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-13.xml	MAYBE 10329	EXP - INF 80	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-140.xml	MAYBE 10657	n^1 - INF 50730	TIMEOUT 60089
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-146.xml	MAYBE 10574	n^1 - INF 50198	TIMEOUT 60066
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-149.xml	MAYBE 14807	n^1 - INF 52791	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-14.xml	MAYBE 10628	EXP - INF 114	TIMEOUT 60069
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-152.xml	MAYBE 10631	n^1 - INF 50187	TIMEOUT 60039
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-158.xml	MAYBE 20820	n^1 - INF 50311	TIMEOUT 60081
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-159.xml	MAYBE 10331	n^1 - INF 50174	TIMEOUT 60038
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-15.xml	MAYBE 16918	EXP - INF 204	TIMEOUT 60070
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-160.xml	MAYBE 10331	n^1 - INF 50229	TIMEOUT 60091
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-163.xml	MAYBE 10588	n^2 - INF 50196	TIMEOUT 60044
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-164.xml	MAYBE 11380	n^2 - INF 50152	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-165.xml	MAYBE 10666	n^1 - INF 50334	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-168.xml	MAYBE 10630	n^1 - INF 50406	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-16.xml	MAYBE 11273	EXP - INF 120	TIMEOUT 60041
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-170.xml	MAYBE 10641	n^1 - INF 58569	TIMEOUT 60033
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-174.xml	MAYBE 28981	TIMEOUT 60055	TIMEOUT 60089
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-176.xml	MAYBE 15150	n^1 - INF 50233	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-177.xml	MAYBE 10332	EXP - INF 133	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-178.xml	MAYBE 12090	n^1 - INF 50106	TIMEOUT 60095
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-179.xml	MAYBE 12923	n^1 - INF 50374	TIMEOUT 60079
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-17.xml	MAYBE 12259	EXP - INF 91	TIMEOUT 60033
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-180.xml	MAYBE 10331	n^1 - INF 50404	TIMEOUT 60077
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-181.xml	MAYBE 10330	n^1 - INF 50777	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-186.xml	MAYBE 10556	EXP - INF 77	TIMEOUT 60032
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-190.xml	MAYBE 10545	n^1 - INF 50372	TIMEOUT 60051
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-191.xml	MAYBE 10626	n^1 - INF 50307	TIMEOUT 60054
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-194.xml	MAYBE 11757	n^1 - INF 50372	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-195.xml	MAYBE 10579	EXP - INF 105	TIMEOUT 60081
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-198.xml	MAYBE 22234	n^1 - INF 50786	TIMEOUT 60080
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-199.xml	MAYBE 13513	n^1 - INF 50208	TIMEOUT 60093
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-19.xml	MAYBE 11629	EXP - INF 93	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-1.xml	MAYBE 10607	n^1 - INF 50377	TIMEOUT 60039
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-200.xml	MAYBE 10569	n^1 - INF 55355	TIMEOUT 60058
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-201.xml	MAYBE 10628	EXP - INF 140	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-202.xml	MAYBE 10554	n^2 - INF 50293	TIMEOUT 60038
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-203.xml	MAYBE 11212	TIMEOUT 60048	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-204.xml	MAYBE 13641	n^1 - INF 50408	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-206.xml	MAYBE 10570	EXP - INF 110	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-207.xml	MAYBE 10630	n^1 - INF 50157	TIMEOUT 60033
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-209.xml	MAYBE 10575	n^1 - INF 50353	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-20.xml	MAYBE 10917	n^1 - INF 54962	TIMEOUT 60042
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-210.xml	MAYBE 10558	n^1 - INF 50249	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-211.xml	MAYBE 10659	n^1 - INF 50269	TIMEOUT 60033
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-213.xml	MAYBE 10577	n^1 - INF 50400	TIMEOUT 60099
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-215.xml	MAYBE 10700	n^1 - INF 50183	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-217.xml	MAYBE 10649	n^2 - INF 50151	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-219.xml	MAYBE 10631	EXP - INF 115	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-21.xml	MAYBE 14633	n^1 - INF 50281	TIMEOUT 60101
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-220.xml	MAYBE 10612	n^1 - INF 51192	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-221.xml	MAYBE 11230	n^2 - INF 50101	TIMEOUT 60032
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-222.xml	MAYBE 55350	TIMEOUT 60045	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-223.xml	MAYBE 11546	EXP - INF 121	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-224.xml	MAYBE 55352	n^1 - INF 50285	TIMEOUT 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-225.xml	MAYBE 10645	EXP - INF 109	TIMEOUT 60080
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-226.xml	MAYBE 10657	n^2 - INF 50383	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-227.xml	MAYBE 53222	TIMEOUT 60048	TIMEOUT 60133
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-22.xml	MAYBE 55357	EXP - INF 91	TIMEOUT 60114
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-231.xml	MAYBE 55355	n^2 - INF 50690	TIMEOUT 60063
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-232.xml	MAYBE 10333	EXP - INF 87	TIMEOUT 60038
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-233.xml	MAYBE 55356	EXP - INF 105	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-236.xml	MAYBE 55351	TIMEOUT 60052	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-237.xml	MAYBE 55355	n^1 - INF 51084	TIMEOUT 60074
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-238.xml	MAYBE 29636	n^1 - INF 50590	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-239.xml	MAYBE 10605	n^2 - INF 50157	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-23.xml	MAYBE 10574	n^1 - INF 50165	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-241.xml	MAYBE 10611	EXP - INF 112	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-243.xml	MAYBE 10619	EXP - INF 112	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-247.xml	MAYBE 55353	TIMEOUT 60049	TIMEOUT 60033
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-248.xml	MAYBE 26858	TIMEOUT 60047	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-249.xml	MAYBE 20844	n^1 - INF 50273	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-255.xml	MAYBE 10327	n^1 - INF 50350	TIMEOUT 60044
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-257.xml	MAYBE 10328	EXP - INF 104	TIMEOUT 60033
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-260.xml	MAYBE 21320	TIMEOUT 60059	TIMEOUT 60093
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-263.xml	MAYBE 55352	EXP - INF 88	TIMEOUT 60152
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-265.xml	MAYBE 10674	n^1 - INF 55286	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-267.xml	MAYBE 55353	TIMEOUT 60054	TIMEOUT 60113
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-270.xml	MAYBE 55350	n^1 - INF 50183	TIMEOUT 60107
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-271.xml	MAYBE 55348	EXP - INF 78	TIMEOUT 60136
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-272.xml	MAYBE 55356	n^1 - INF 50353	TIMEOUT 60090
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-273.xml	MAYBE 11130	TIMEOUT 60046	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-274.xml	MAYBE 55351	TIMEOUT 60050	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-275.xml	MAYBE 55352	EXP - INF 81	TIMEOUT 60087
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-279.xml	MAYBE 10635	n^2 - INF 50264	TIMEOUT 60054
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-281.xml	MAYBE 10615	EXP - INF 108	TIMEOUT 60042
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-282.xml	MAYBE 16491	n^1 - INF 50217	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-283.xml	MAYBE 10638	n^2 - INF 50174	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-284.xml	MAYBE 10632	EXP - INF 87	TIMEOUT 60033
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-285.xml	MAYBE 10647	n^1 - INF 54963	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-286.xml	MAYBE 55354	EXP - INF 119	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-287.xml	MAYBE 10615	TIMEOUT 60042	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-288.xml	MAYBE 10548	n^2 - INF 50165	TIMEOUT 60033
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-289.xml	MAYBE 55352	EXP - INF 93	TIMEOUT 60105
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-291.xml	MAYBE 55348	n^1 - INF 50364	TIMEOUT 60132
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-292.xml	MAYBE 55352	TIMEOUT 60047	TIMEOUT 60122
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-293.xml	MAYBE 18209	EXP - INF 87	TIMEOUT 60039
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-294.xml	MAYBE 22108	n^2 - INF 50341	TIMEOUT 60095
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-296.xml	MAYBE 25994	EXP - INF 124	TIMEOUT 60096
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-297.xml	MAYBE 27902	EXP - INF 125	TIMEOUT 60048
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-298.xml	MAYBE 16428	n^2 - INF 50270	TIMEOUT 60087
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-299.xml	MAYBE 23749	EXP - INF 100	TIMEOUT 60048
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-300.xml	MAYBE 20254	EXP - INF 97	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-301.xml	MAYBE 37675	EXP - INF 103	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-303.xml	MAYBE 24526	TIMEOUT 60051	TIMEOUT 60101
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-304.xml	MAYBE 28521	TIMEOUT 60046	TIMEOUT 60083
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-309.xml	MAYBE 55385	TIMEOUT 60043	TIMEOUT 60123
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-30.xml	MAYBE 10623	n^1 - INF 50402	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-31.xml	MAYBE 10666	n^2 - INF 50348	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml	MAYBE 55360	n^1 - INF 50437	TIMEOUT 60123
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-328.xml	MAYBE 55394	n^2 - INF 50297	TIMEOUT 60086
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-32.xml	MAYBE 41620	n^1 - INF 50352	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-330.xml	MAYBE 13796	n^2 - INF 50194	TIMEOUT 60038
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-335.xml	MAYBE 55355	n^2 - INF 50271	TIMEOUT 60086
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-337.xml	MAYBE 28074	n^2 - INF 55250	TIMEOUT 60050
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-338.xml	MAYBE 55389	n^1 - INF 50705	TIMEOUT 60136
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-339.xml	MAYBE 55427	TIMEOUT 60048	TIMEOUT 60124
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-340.xml	MAYBE 55390	n^1 - INF 50221	TIMEOUT 60117
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-341.xml	MAYBE 55388	n^1 - INF 50633	TIMEOUT 60142
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-343.xml	MAYBE 10545	n^2 - INF 50163	TIMEOUT 60038
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-345.xml	MAYBE 55358	n^1 - INF 50179	TIMEOUT 60122
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-346.xml	MAYBE 55384	TIMEOUT 60049	TIMEOUT 60121
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-347.xml	MAYBE 55399	n^1 - INF 53944	TIMEOUT 60127
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-348.xml	MAYBE 55375	n^1 - INF 51027	TIMEOUT 60136
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-350.xml	MAYBE 10653	n^1 - INF 50221	TIMEOUT 60042
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-351.xml	MAYBE 10330	n^2 - INF 50731	TIMEOUT 60038
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-352.xml	MAYBE 10627	n^2 - INF 50436	TIMEOUT 60049
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-353.xml	MAYBE 10809	TIMEOUT 60044	TIMEOUT 60063
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-354.xml	MAYBE 55376	n^2 - INF 52435	TIMEOUT 60100
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-355.xml	MAYBE 55387	n^1 - INF 50933	TIMEOUT 60146
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-356.xml	MAYBE 55393	TIMEOUT 60048	TIMEOUT 60126
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-359.xml	MAYBE 55387	n^1 - INF 50236	TIMEOUT 60088
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-35.xml	MAYBE 10653	n^1 - INF 50183	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-360.xml	MAYBE 55390	TIMEOUT 60044	TIMEOUT 60087
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-361.xml	MAYBE 55391	n^1 - INF 57116	TIMEOUT 60142
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-362.xml	MAYBE 55454	n^1 - INF 50283	TIMEOUT 60160
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-363.xml	MAYBE 55390	n^1 - INF 50199	n^0 - n^1 83
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-366.xml	MAYBE 55384	TIMEOUT 60048	TIMEOUT 60112
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-367.xml	MAYBE 55383	n^1 - INF 50595	TIMEOUT 60143
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-368.xml	MAYBE 55415	EXP - INF 82	TIMEOUT 60089
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-369.xml	MAYBE 55393	n^1 - INF 50250	TIMEOUT 60111
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-373.xml	MAYBE 20754	n^1 - INF 50769	TIMEOUT 60056
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-374.xml	MAYBE 55392	n^2 - INF 50175	TIMEOUT 60114
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-375.xml	MAYBE 42704	EXP - INF 87	TIMEOUT 60058
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-376.xml	MAYBE 35469	EXP - INF 126	TIMEOUT 60081
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-377.xml	MAYBE 55350	EXP - INF 113	TIMEOUT 60145
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-378.xml	MAYBE 27413	TIMEOUT 60043	TIMEOUT 60039
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-382.xml	MAYBE 55385	n^1 - INF 50290	TIMEOUT 60143
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-383.xml	MAYBE 55394	n^1 - INF 50276	TIMEOUT 60122
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-384.xml	MAYBE 55388	n^1 - INF 50267	TIMEOUT 60147
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-385.xml	MAYBE 55395	n^1 - INF 50227	TIMEOUT 60128
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-386.xml	MAYBE 55395	n^1 - INF 50176	TIMEOUT 60155
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-389.xml	MAYBE 55381	TIMEOUT 60057	TIMEOUT 60136
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-391.xml	MAYBE 55383	TIMEOUT 60046	TIMEOUT 60102
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-392.xml	MAYBE 21264	TIMEOUT 60054	TIMEOUT 60053
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-395.xml	MAYBE 55349	n^1 - INF 50282	TIMEOUT 60122
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-396.xml	MAYBE 55354	n^1 - INF 50194	TIMEOUT 60140
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-399.xml	MAYBE 55389	n^2 - INF 50221	TIMEOUT 60127
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-3.xml	MAYBE 10364	n^2 - INF 50216	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-400.xml	MAYBE 55392	TIMEOUT 60038	TIMEOUT 60132
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-401.xml	MAYBE 55423	n^1 - INF 57207	TIMEOUT 60147
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-402.xml	MAYBE 55423	TIMEOUT 60053	TIMEOUT 60140
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-403.xml	MAYBE 55390	n^1 - INF 50567	TIMEOUT 60119
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-406.xml	MAYBE 55386	n^1 - INF 54751	TIMEOUT 60134
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-408.xml	MAYBE 55390	n^1 - INF 50229	TIMEOUT 60151
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-409.xml	MAYBE 55392	n^1 - INF 50213	TIMEOUT 60139
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-40.xml	MAYBE 55454	EXP - INF 86	TIMEOUT 60095
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-410.xml	MAYBE 55385	n^1 - INF 51889	TIMEOUT 60137
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-412.xml	MAYBE 55391	TIMEOUT 60054	TIMEOUT 60111
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-413.xml	MAYBE 55380	TIMEOUT 60047	TIMEOUT 60139
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-414.xml	MAYBE 55382	n^1 - INF 50215	TIMEOUT 60134
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-415.xml	MAYBE 55387	TIMEOUT 60048	TIMEOUT 60136
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-416.xml	MAYBE 55377	n^1 - INF 50207	TIMEOUT 60115
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-417.xml	MAYBE 55384	n^1 - INF 50199	TIMEOUT 60126
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-418.xml	MAYBE 55384	n^1 - INF 50325	TIMEOUT 60117
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-41.xml	MAYBE 10879	EXP - INF 89	TIMEOUT 60040
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-427.xml	MAYBE 55368	EXP - INF 103	TIMEOUT 60038
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-429.xml	MAYBE 10661	n^2 - INF 50540	TIMEOUT 60041
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-430.xml	MAYBE 32925	n^2 - INF 52791	TIMEOUT 60045
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-431.xml	MAYBE 24922	n^1 - INF 50397	TIMEOUT 60031
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-434.xml	MAYBE 16840	n^1 - INF 50436	TIMEOUT 60086
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-435.xml	MAYBE 14299	TIMEOUT 60046	TIMEOUT 60042
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-436.xml	MAYBE 49003	n^1 - INF 50316	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-437.xml	MAYBE 54413	EXP - INF 93	TIMEOUT 60040
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-438.xml	MAYBE 55354	n^1 - INF 50184	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-439.xml	MAYBE 55381	EXP - INF 92	TIMEOUT 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-441.xml	MAYBE 22807	EXP - INF 88	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-443.xml	MAYBE 55384	TIMEOUT 60089	TIMEOUT 60082
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-446.xml	MAYBE 14814	EXP - INF 104	TIMEOUT 60042
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-448.xml	MAYBE 10673	EXP - INF 73	TIMEOUT 60052
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-44.xml	MAYBE 12309	EXP - INF 122	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-450.xml	MAYBE 55353	TIMEOUT 60043	TIMEOUT 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-451.xml	MAYBE 55375	TIMEOUT 60049	TIMEOUT 60063
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-452.xml	MAYBE 16239	TIMEOUT 60047	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-453.xml	MAYBE 30806	EXP - INF 87	TIMEOUT 60102
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-454.xml	MAYBE 55350	EXP - INF 84	TIMEOUT 60101
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-455.xml	MAYBE 36324	n^2 - INF 50349	TIMEOUT 60101
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-456.xml	MAYBE 55355	n^1 - INF 50140	TIMEOUT 60110
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-45.xml	MAYBE 10331	n^2 - INF 50181	TIMEOUT 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-460.xml	MAYBE 47504	EXP - INF 92	TIMEOUT 60102
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-461.xml	MAYBE 55350	TIMEOUT 60046	TIMEOUT 60118
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-462.xml	MAYBE 55348	EXP - INF 92	TIMEOUT 60105
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-465.xml	MAYBE 24744	n^1 - INF 59001	TIMEOUT 60031
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-467.xml	MAYBE 55351	EXP - INF 242	TIMEOUT 60055
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-468.xml	MAYBE 55348	EXP - INF 120	TIMEOUT 60038
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-469.xml	MAYBE 55345	TIMEOUT 60045	TIMEOUT 60094
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-470.xml	MAYBE 42774	EXP - INF 95	TIMEOUT 60078
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-472.xml	MAYBE 55357	n^1 - INF 50175	TIMEOUT 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-473.xml	MAYBE 55387	TIMEOUT 60041	TIMEOUT 60069
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-474.xml	MAYBE 55380	TIMEOUT 60037	TIMEOUT 60132
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-475.xml	MAYBE 55380	TIMEOUT 60038	TIMEOUT 60122
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-476.xml	MAYBE 10673	n^2 - INF 50251	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-477.xml	MAYBE 35981	n^1 - INF 51069	TIMEOUT 60032
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-478.xml	MAYBE 23373	n^1 - INF 50152	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-479.xml	MAYBE 15422	n^2 - INF 50194	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-47.xml	MAYBE 55349	TIMEOUT 60046	TIMEOUT 60109
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-480.xml	MAYBE 15346	n^2 - INF 50251	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-482.xml	MAYBE 13567	n^2 - INF 51079	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-484.xml	MAYBE 10564	n^2 - INF 50116	TIMEOUT 60040
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-485.xml	MAYBE 20294	TIMEOUT 60044	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-487.xml	MAYBE 55380	n^1 - INF 50121	TIMEOUT 60069
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-488.xml	MAYBE 55386	n^1 - INF 50434	TIMEOUT 60065
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-489.xml	MAYBE 55385	n^1 - INF 50212	TIMEOUT 60073
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-48.xml	MAYBE 55349	EXP - INF 83	TIMEOUT 60144
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-491.xml	MAYBE 55413	n^1 - INF 51821	TIMEOUT 60111
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-492.xml	MAYBE 55389	n^1 - INF 50127	TIMEOUT 60110
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-493.xml	MAYBE 55388	n^1 - INF 50291	TIMEOUT 60127
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-494.xml	MAYBE 55355	TIMEOUT 60044	TIMEOUT 60100
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-495.xml	MAYBE 55383	TIMEOUT 60044	TIMEOUT 60094
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-497.xml	MAYBE 11641	n^1 - INF 50359	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-498.xml	MAYBE 55382	TIMEOUT 60040	TIMEOUT 60068
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-499.xml	MAYBE 15374	n^2 - INF 50376	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-49.xml	MAYBE 55354	EXP - INF 77	TIMEOUT 60049
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-4.xml	MAYBE 10629	n^2 - INF 56539	TIMEOUT 60043
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-502.xml	MAYBE 55416	TIMEOUT 60044	TIMEOUT 60056
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-503.xml	MAYBE 55452	EXP - INF 90	TIMEOUT 60104
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-506.xml	MAYBE 10596	n^1 - INF 50856	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-507.xml	MAYBE 55382	EXP - INF 88	TIMEOUT 60064
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-508.xml	MAYBE 55405	n^2 - INF 50877	TIMEOUT 60059
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-511.xml	MAYBE 55382	TIMEOUT 60040	TIMEOUT 60123
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-51.xml	MAYBE 17362	EXP - INF 72	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-522.xml	MAYBE 55389	TIMEOUT 60039	TIMEOUT 60138
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-526.xml	MAYBE 37584	TIMEOUT 60088	TIMEOUT 60092
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-52.xml	MAYBE 10612	TIMEOUT 60042	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-532.xml	MAYBE 17259	n^2 - INF 50184	TIMEOUT 60056
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-535.xml	MAYBE 55382	EXP - INF 117	TIMEOUT 60131
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-536.xml	MAYBE 55378	n^1 - INF 54419	TIMEOUT 60128
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-540.xml	MAYBE 10656	n^1 - INF 50258	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-541.xml	MAYBE 16414	n^2 - INF 52060	TIMEOUT 60045
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-543.xml	MAYBE 55351	EXP - INF 115	TIMEOUT 60142
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-545.xml	MAYBE 14814	n^2 - INF 50347	TIMEOUT 60071
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-546.xml	MAYBE 14091	TIMEOUT 60046	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-547.xml	MAYBE 21436	n^2 - INF 50195	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml	MAYBE 19616	TIMEOUT 60046	TIMEOUT 60101
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-549.xml	MAYBE 34803	TIMEOUT 60087	TIMEOUT 60039
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-550.xml	MAYBE 16128	n^2 - INF 50281	TIMEOUT 60087
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-551.xml	MAYBE 13064	n^1 - INF 50307	TIMEOUT 60038
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-552.xml	MAYBE 17101	n^2 - INF 50398	TIMEOUT 60090
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-553.xml	MAYBE 18500	n^2 - INF 50312	TIMEOUT 60089
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-556.xml	MAYBE 19675	EXP - INF 139	TIMEOUT 60076
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml	MAYBE 13266	n^1 - INF 50224	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-559.xml	MAYBE 16674	TIMEOUT 60041	TIMEOUT 60038
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-560.xml	MAYBE 15633	n^1 - INF 50225	TIMEOUT 60039
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-561.xml	MAYBE 14500	n^1 - INF 50465	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-563.xml	MAYBE 17324	n^2 - INF 50320	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-564.xml	MAYBE 14777	n^2 - INF 50266	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-565.xml	MAYBE 13219	TIMEOUT 60041	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-566.xml	MAYBE 12368	n^2 - INF 50323	TIMEOUT 60040
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-568.xml	MAYBE 13195	n^2 - INF 52186	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml	MAYBE 10644	EXP - INF 81	TIMEOUT 60096
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-59.xml	MAYBE 15604	EXP - INF 103	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-61.xml	MAYBE 10332	EXP - INF 118	TIMEOUT 60042
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-64.xml	MAYBE 15587	EXP - INF 86	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-65.xml	MAYBE 12541	n^1 - INF 51963	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-66.xml	MAYBE 17883	EXP - INF 470	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-67.xml	MAYBE 10609	n^1 - INF 50615	TIMEOUT 60042
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-70.xml	MAYBE 10616	EXP - INF 110	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-71.xml	MAYBE 33949	EXP - INF 123	TIMEOUT 60033
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-72.xml	MAYBE 10335	EXP - INF 73	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-74.xml	MAYBE 10668	n^2 - INF 50414	TIMEOUT 60039
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-76.xml	MAYBE 55350	EXP - INF 210	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-7.xml	MAYBE 24186	n^1 - INF 50312	TIMEOUT 60097
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-82.xml	MAYBE 24418	n^1 - INF 50198	TIMEOUT 60033
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-83.xml	MAYBE 10726	n^1 - INF 57174	TIMEOUT 60034
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-84.xml	MAYBE 10590	n^2 - INF 50330	TIMEOUT 60036
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-85.xml	MAYBE 10546	n^1 - INF 51292	TIMEOUT 60094
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-86.xml	MAYBE 10627	n^1 - INF 52387	TIMEOUT 60037
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-88.xml	MAYBE 13146	n^1 - INF 50225	TIMEOUT 60080
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-90.xml	MAYBE 10637	EXP - INF 101	TIMEOUT 60033
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-91.xml	MAYBE 11544	n^2 - INF 50339	TIMEOUT 60035
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-92.xml	MAYBE 55379	EXP - INF 82	TIMEOUT 60101
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-94.xml	MAYBE 10604	n^2 - INF 50174	TIMEOUT 60032
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-95.xml	MAYBE 10330	EXP - INF 108	TIMEOUT 60033
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-98.xml	MAYBE 55345	n^2 - INF 50294	TIMEOUT 60033
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml	MAYBE 10327	EXP - INF 78	TIMEOUT 60048
tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-9.xml	MAYBE 10683	EXP - INF 106	TIMEOUT 60037
tpdb-8.0/TRS/Zantema_04/syracuse.xml	MAYBE 55606	EXP - INF 174	TIMEOUT 60107
tpdb-8.0/TRS/Zantema_04/z001.xml	n^0 - n^1 1122	TIMEOUT 60051	TIMEOUT 60147
tpdb-8.0/TRS/Zantema_04/z002.xml	n^0 - n^1 492	n^1 - n^2 50115	n^0 - n^1 46
tpdb-8.0/TRS/Zantema_04/z003.xml	n^0 - n^1 683	n^1 - n^2 50117	n^0 - n^1 63
tpdb-8.0/TRS/Zantema_04/z004.xml	n^0 - n^1 501	n^1 - n^3 50161	n^0 - n^1 38
tpdb-8.0/TRS/Zantema_04/z005.xml	n^0 - n^1 608	n^1 - INF 50205	n^0 - n^1 49
tpdb-8.0/TRS/Zantema_04/z006.xml	n^0 - n^2 37415	n^2 - n^2 139	n^0 - n^2 123
tpdb-8.0/TRS/Zantema_04/z007.xml	n^0 - n^2 25900	n^2 - n^2 138	n^0 - n^2 144
tpdb-8.0/TRS/Zantema_04/z008.xml	MAYBE 55495	TIMEOUT 60038	TIMEOUT 60136
tpdb-8.0/TRS/Zantema_04/z009.xml	n^0 - n^4 55809	n^2 - n^2 8064	ERROR 1709
tpdb-8.0/TRS/Zantema_04/z010.xml	MAYBE 55385	EXP - INF 83	TIMEOUT 60098
tpdb-8.0/TRS/Zantema_04/z011.xml	MAYBE 55400	EXP - INF 131	TIMEOUT 60073
tpdb-8.0/TRS/Zantema_04/z012.xml	MAYBE 55386	n^2 - INF 50189	TIMEOUT 60072
tpdb-8.0/TRS/Zantema_04/z013.xml	n^0 - n^2 55682	n^2 - INF 50318	TIMEOUT 60108
tpdb-8.0/TRS/Zantema_04/z014.xml	MAYBE 55393	EXP - INF 88	TIMEOUT 60092
tpdb-8.0/TRS/Zantema_04/z015.xml	MAYBE 55386	EXP - INF 75	TIMEOUT 60092
tpdb-8.0/TRS/Zantema_04/z017.xml	MAYBE 55378	EXP - INF 78	TIMEOUT 60077
tpdb-8.0/TRS/Zantema_04/z018.xml	MAYBE 55410	EXP - INF 110	TIMEOUT 60081
tpdb-8.0/TRS/Zantema_04/z019.xml	MAYBE 55383	EXP - INF 83	TIMEOUT 60067
tpdb-8.0/TRS/Zantema_04/z020.xml	MAYBE 55425	EXP - INF 120	TIMEOUT 60102
tpdb-8.0/TRS/Zantema_04/z021.xml	MAYBE 55435	EXP - INF 102	TIMEOUT 60093
tpdb-8.0/TRS/Zantema_04/z022.xml	MAYBE 55440	EXP - INF 76	TIMEOUT 60166
tpdb-8.0/TRS/Zantema_04/z023.xml	MAYBE 55391	EXP - INF 117	TIMEOUT 60173
tpdb-8.0/TRS/Zantema_04/z024.xml	n^0 - n^1 1857	n^1 - n^1 650	n^0 - n^1 2056
tpdb-8.0/TRS/Zantema_04/z025.xml	n^0 - n^2 17169	TIMEOUT 60042	n^0 - n^2 6137
tpdb-8.0/TRS/Zantema_04/z026.xml	MAYBE 55445	TIMEOUT 60070	TIMEOUT 60106
tpdb-8.0/TRS/Zantema_04/z027.xml	n^0 - n^1 1283	TIMEOUT 60041	n^0 - n^1 93
tpdb-8.0/TRS/Zantema_04/z028.xml	MAYBE 55468	TIMEOUT 60043	TIMEOUT 60191
tpdb-8.0/TRS/Zantema_04/z029.xml	n^0 - n^1 643	n^1 - INF 50433	n^0 - n^1 53
tpdb-8.0/TRS/Zantema_04/z030.xml	n^0 - n^1 1640	TIMEOUT 60077	TIMEOUT 60217
tpdb-8.0/TRS/Zantema_04/z031.xml	n^0 - n^1 865	TIMEOUT 60064	TIMEOUT 60184
tpdb-8.0/TRS/Zantema_04/z032.xml	n^0 - n^1 568	TIMEOUT 60051	n^0 - n^1 59
tpdb-8.0/TRS/Zantema_04/z033.xml	n^0 - n^1 463	n^1 - n^2 50268	n^0 - n^1 47
tpdb-8.0/TRS/Zantema_04/z034.xml	MAYBE 55444	EXP - INF 74	TIMEOUT 60116
tpdb-8.0/TRS/Zantema_04/z035.xml	MAYBE 55461	EXP - INF 3007	TIMEOUT 60164
tpdb-8.0/TRS/Zantema_04/z036.xml	n^0 - n^1 4466	TIMEOUT 60078	TIMEOUT 60183
tpdb-8.0/TRS/Zantema_04/z037.xml	n^0 - n^1 602	n^1 - INF 50914	n^0 - n^1 55
tpdb-8.0/TRS/Zantema_04/z038.xml	MAYBE 55469	TIMEOUT 60042	TIMEOUT 60182
tpdb-8.0/TRS/Zantema_04/z039.xml	n^0 - n^1 501	n^1 - INF 51364	n^0 - n^1 50
tpdb-8.0/TRS/Zantema_04/z040.xml	n^0 - n^1 648	TIMEOUT 60049	n^0 - n^1 64
tpdb-8.0/TRS/Zantema_04/z041.xml	MAYBE 55453	EXP - INF 87	TIMEOUT 60158
tpdb-8.0/TRS/Zantema_04/z042.xml	MAYBE 55498	INF - INF 139	TIMEOUT 60182
tpdb-8.0/TRS/Zantema_04/z043.xml	n^0 - n^1 493	TIMEOUT 60044	n^0 - n^1 48
tpdb-8.0/TRS/Zantema_04/z044.xml	MAYBE 55450	INF - INF 120	TIMEOUT 60161
tpdb-8.0/TRS/Zantema_04/z045.xml	n^0 - n^1 504	TIMEOUT 60043	n^0 - n^1 62
tpdb-8.0/TRS/Zantema_04/z046.xml	MAYBE 55463	INF - INF 129	TIMEOUT 60210
tpdb-8.0/TRS/Zantema_04/z047.xml	n^0 - n^1 492	n^1 - INF 51931	n^0 - n^1 58
tpdb-8.0/TRS/Zantema_04/z048.xml	n^0 - n^1 515	n^1 - INF 51445	n^0 - n^1 49
tpdb-8.0/TRS/Zantema_04/z049.xml	n^0 - n^1 418	n^1 - n^1 3878	n^0 - n^1 43
tpdb-8.0/TRS/Zantema_04/z050.xml	n^0 - n^1 427	n^1 - n^1 10562	n^0 - n^1 52
tpdb-8.0/TRS/Zantema_04/z051.xml	n^0 - n^1 443	TIMEOUT 60039	n^0 - n^1 55
tpdb-8.0/TRS/Zantema_04/z052.xml	n^0 - n^1 417	n^1 - n^1 5124	n^0 - n^1 38
tpdb-8.0/TRS/Zantema_04/z053.xml	n^0 - n^1 432	n^1 - n^1 31078	n^0 - n^1 57
tpdb-8.0/TRS/Zantema_04/z054.xml	n^0 - n^1 485	n^1 - INF 50150	n^0 - n^1 49
tpdb-8.0/TRS/Zantema_04/z055.xml	n^0 - n^1 408	n^1 - n^1 4200	n^0 - n^1 64
tpdb-8.0/TRS/Zantema_04/z056.xml	n^0 - n^1 460	TIMEOUT 60134	n^0 - n^1 50
tpdb-8.0/TRS/Zantema_04/z057.xml	n^0 - n^1 430	n^1 - INF 50622	n^0 - n^1 39
tpdb-8.0/TRS/Zantema_04/z058.xml	n^0 - n^1 434	n^1 - n^2 50112	n^0 - n^1 36
tpdb-8.0/TRS/Zantema_04/z059.xml	n^0 - n^1 464	n^1 - INF 50135	n^0 - n^1 40
tpdb-8.0/TRS/Zantema_04/z060.xml	n^0 - n^1 428	TIMEOUT 60038	n^0 - n^1 46
tpdb-8.0/TRS/Zantema_04/z061.xml	n^0 - n^1 410	n^1 - n^1 1009	n^0 - n^1 36
tpdb-8.0/TRS/Zantema_04/z062.xml	n^0 - n^1 412	n^1 - n^1 2871	n^0 - n^1 40
tpdb-8.0/TRS/Zantema_04/z063.xml	n^0 - n^1 409	n^1 - n^1 1938	n^0 - n^1 39
tpdb-8.0/TRS/Zantema_04/z064.xml	n^0 - n^1 445	n^1 - n^3 50241	n^0 - n^1 37
tpdb-8.0/TRS/Zantema_04/z065.xml	MAYBE 55523	n^2 - INF 50178	TIMEOUT 60083
tpdb-8.0/TRS/Zantema_04/z066.xml	n^0 - n^2 55713	n^2 - n^2 17966	n^0 - n^3 3158
tpdb-8.0/TRS/Zantema_04/z067.xml	n^0 - n^3 55815	n^2 - n^2 939	n^0 - n^3 3190
tpdb-8.0/TRS/Zantema_04/z068.xml	n^0 - n^4 55721	n^2 - n^2 6895	TIMEOUT 60117
tpdb-8.0/TRS/Zantema_04/z069.xml	MAYBE 55565	n^1 - INF 50414	TIMEOUT 60150
tpdb-8.0/TRS/Zantema_04/z070.xml	MAYBE 55592	n^1 - INF 50833	TIMEOUT 60126
tpdb-8.0/TRS/Zantema_04/z071.xml	MAYBE 52063	n^2 - INF 50543	TIMEOUT 60045
tpdb-8.0/TRS/Zantema_04/z072.xml	MAYBE 55454	TIMEOUT 60039	TIMEOUT 60097
tpdb-8.0/TRS/Zantema_04/z073.xml	MAYBE 55519	n^2 - INF 58296	TIMEOUT 60079
tpdb-8.0/TRS/Zantema_04/z074.xml	MAYBE 55674	n^2 - INF 50844	TIMEOUT 60141
tpdb-8.0/TRS/Zantema_04/z075.xml	MAYBE 55564	TIMEOUT 60041	TIMEOUT 60096
tpdb-8.0/TRS/Zantema_04/z076.xml	MAYBE 22602	EXP - INF 82	TIMEOUT 60034
tpdb-8.0/TRS/Zantema_04/z077.xml	MAYBE 55452	EXP - INF 82	TIMEOUT 60067
tpdb-8.0/TRS/Zantema_04/z078.xml	MAYBE 55358	EXP - INF 138	TIMEOUT 60082
tpdb-8.0/TRS/Zantema_04/z079.xml	MAYBE 55537	EXP - INF 139	TIMEOUT 60124
tpdb-8.0/TRS/Zantema_04/z080.xml	MAYBE 23984	n^2 - INF 50516	TIMEOUT 60033
tpdb-8.0/TRS/Zantema_04/z081.xml	MAYBE 55430	n^2 - INF 50265	TIMEOUT 60160
tpdb-8.0/TRS/Zantema_04/z082.xml	MAYBE 55397	EXP - INF 165	TIMEOUT 60130
tpdb-8.0/TRS/Zantema_04/z083.xml	MAYBE 55466	n^2 - INF 50252	TIMEOUT 60140
tpdb-8.0/TRS/Zantema_04/z084.xml	n^0 - n^2 8740	TIMEOUT 60049	MAYBE 538
tpdb-8.0/TRS/Zantema_04/z085.xml	n^0 - n^1 463	n^1 - n^1 155	n^0 - n^1 73
tpdb-8.0/TRS/Zantema_04/z086.xml	MAYBE 55441	n^2 - INF 53416	TIMEOUT 60070
tpdb-8.0/TRS/Zantema_04/z087.xml	n^0 - n^2 55629	n^2 - n^2 7892	TIMEOUT 60049
tpdb-8.0/TRS/Zantema_04/z088.xml	MAYBE 55397	EXP - INF 150	TIMEOUT 60178
tpdb-8.0/TRS/Zantema_04/z089.xml	MAYBE 55397	EXP - INF 111	TIMEOUT 60130
tpdb-8.0/TRS/Zantema_04/z090.xml	MAYBE 55442	EXP - INF 144	TIMEOUT 60136
tpdb-8.0/TRS/Zantema_04/z091.xml	MAYBE 55754	n^2 - INF 50512	TIMEOUT 60176
tpdb-8.0/TRS/Zantema_04/z092.xml	n^0 - n^2 56585	n^2 - n^2 806	n^0 - n^2 1013
tpdb-8.0/TRS/Zantema_04/z093.xml	n^0 - n^2 16850	n^2 - n^2 138	n^0 - n^2 211
tpdb-8.0/TRS/Zantema_04/z094.xml	MAYBE 55355	EXP - INF 98	TIMEOUT 60056
tpdb-8.0/TRS/Zantema_04/z095.xml	n^0 - n^1 1920	n^1 - INF 50552	n^0 - n^1 115
tpdb-8.0/TRS/Zantema_04/z096.xml	MAYBE 55397	INF - INF 83	TIMEOUT 60179
tpdb-8.0/TRS/Zantema_04/z097.xml	n^0 - n^1 1604	TIMEOUT 60054	n^0 - n^1 118
tpdb-8.0/TRS/Zantema_04/z098.xml	n^0 - n^1 1353	TIMEOUT 60145	MAYBE 101
tpdb-8.0/TRS/Zantema_04/z100.xml	MAYBE 55407	EXP - INF 186	TIMEOUT 60076
tpdb-8.0/TRS/Zantema_04/z101.xml	n^0 - n^1 499	n^1 - INF 51252	n^0 - n^1 387
tpdb-8.0/TRS/Zantema_04/z102.xml	n^0 - n^1 596	n^1 - INF 50213	n^0 - n^1 414
tpdb-8.0/TRS/Zantema_04/z103.xml	MAYBE 55352	EXP - INF 115	TIMEOUT 60086
tpdb-8.0/TRS/Zantema_04/z104.xml	n^0 - n^1 717	n^1 - INF 50760	TIMEOUT 60153
tpdb-8.0/TRS/Zantema_04/z105.xml	MAYBE 55387	TIMEOUT 60121	TIMEOUT 60110
tpdb-8.0/TRS/Zantema_04/z106.xml	n^0 - n^3 14337	n^2 - INF 50493	TIMEOUT 60050
tpdb-8.0/TRS/Zantema_04/z107.xml	n^0 - n^1 726	n^1 - INF 50433	TIMEOUT 60104
tpdb-8.0/TRS/Zantema_04/z108.xml	n^0 - n^1 611	n^1 - n^2 50207	n^0 - n^1 348
tpdb-8.0/TRS/Zantema_04/z109.xml	n^0 - n^1 581	n^1 - INF 50597	n^0 - n^1 6337
tpdb-8.0/TRS/Zantema_04/z110.xml	MAYBE 55403	EXP - INF 121	TIMEOUT 60109
tpdb-8.0/TRS/Zantema_04/z111.xml	MAYBE 55394	n^2 - INF 54158	TIMEOUT 60139
tpdb-8.0/TRS/Zantema_04/z112.xml	n^0 - n^1 797	n^1 - INF 50215	TIMEOUT 60082
tpdb-8.0/TRS/Zantema_04/z113.xml	MAYBE 55395	n^2 - INF 50207	TIMEOUT 60093
tpdb-8.0/TRS/Zantema_04/z114.xml	MAYBE 55351	EXP - INF 89	TIMEOUT 60122
tpdb-8.0/TRS/Zantema_04/z115.xml	n^0 - n^2 12862	TIMEOUT 60045	n^0 - n^2 970
tpdb-8.0/TRS/Zantema_04/z116.xml	n^0 - n^1 569	TIMEOUT 60058	ERROR 374
tpdb-8.0/TRS/Zantema_04/z117.xml	MAYBE 52233	EXP - INF 110	TIMEOUT 60104
tpdb-8.0/TRS/Zantema_04/z118.xml	MAYBE 55389	n^1 - INF 51027	n^0 - n^4 49851
tpdb-8.0/TRS/Zantema_04/z119.xml	MAYBE 55442	EXP - INF 162	TIMEOUT 60090
tpdb-8.0/TRS/Zantema_04/z120.xml	MAYBE 55377	n^2 - INF 50206	TIMEOUT 60184
tpdb-8.0/TRS/Zantema_04/z121.xml	MAYBE 55452	EXP - INF 116	TIMEOUT 60103
tpdb-8.0/TRS/Zantema_04/z122.xml	n^0 - n^1 3594	TIMEOUT 60045	TIMEOUT 60101
tpdb-8.0/TRS/Zantema_04/z123.xml	MAYBE 55425	n^2 - INF 51850	TIMEOUT 60124
tpdb-8.0/TRS/Zantema_04/z124.xml	n^0 - n^2 55985	n^2 - n^2 484	TIMEOUT 60034
tpdb-8.0/TRS/Zantema_04/z125.xml	MAYBE 55437	EXP - INF 134	TIMEOUT 60114
tpdb-8.0/TRS/Zantema_04/z126.xml	n^0 - n^1 1572	n^1 - n^1 554	n^0 - n^2 710
tpdb-8.0/TRS/Zantema_04/z127.xml	MAYBE 55445	INF - INF 1087	TIMEOUT 60116
tpdb-8.0/TRS/Zantema_04/z128.xml	MAYBE 55386	INF - INF 306	TIMEOUT 60099
tpdb-8.0/TRS/Zantema_05/jw01.xml	n^0 - n^1 397	n^1 - INF 50155	n^0 - n^1 61
tpdb-8.0/TRS/Zantema_05/jw02.xml	n^0 - n^1 398	n^1 - INF 50449	n^0 - n^1 45
tpdb-8.0/TRS/Zantema_05/jw03.xml	n^0 - n^1 431	n^1 - INF 50223	n^0 - n^1 52
tpdb-8.0/TRS/Zantema_05/jw04.xml	n^0 - n^1 398	n^1 - INF 50249	n^0 - n^1 36
tpdb-8.0/TRS/Zantema_05/jw05.xml	n^0 - n^1 406	TIMEOUT 60039	n^0 - n^1 42
tpdb-8.0/TRS/Zantema_05/jw06.xml	n^0 - n^1 399	n^1 - INF 50174	n^0 - n^1 33
tpdb-8.0/TRS/Zantema_05/jw07.xml	n^0 - n^1 399	n^1 - INF 50178	n^0 - n^1 45
tpdb-8.0/TRS/Zantema_05/jw08.xml	n^0 - n^1 406	n^1 - INF 50359	n^0 - n^1 60
tpdb-8.0/TRS/Zantema_05/jw09.xml	n^0 - n^1 412	n^1 - INF 50173	n^0 - n^1 36
tpdb-8.0/TRS/Zantema_05/jw11.xml	n^0 - n^1 407	n^1 - INF 50486	n^0 - n^1 40
tpdb-8.0/TRS/Zantema_05/jw12.xml	n^0 - n^1 404	n^1 - INF 50262	n^0 - n^1 46
tpdb-8.0/TRS/Zantema_05/jw13.xml	n^0 - n^1 404	n^1 - INF 50196	n^0 - n^1 38
tpdb-8.0/TRS/Zantema_05/jw14.xml	n^0 - n^1 404	n^1 - INF 50356	n^0 - n^1 33
tpdb-8.0/TRS/Zantema_05/jw15.xml	n^0 - n^1 406	n^1 - INF 50176	n^0 - n^1 66
tpdb-8.0/TRS/Zantema_05/jw16.xml	n^0 - n^1 398	n^1 - INF 50193	n^0 - n^1 30
tpdb-8.0/TRS/Zantema_05/jw17.xml	n^0 - n^1 400	n^1 - INF 50258	n^0 - n^1 44
tpdb-8.0/TRS/Zantema_05/jw18.xml	n^0 - n^1 400	n^1 - INF 50330	n^0 - n^1 45
tpdb-8.0/TRS/Zantema_05/jw19.xml	n^0 - n^1 406	n^1 - INF 50162	n^0 - n^1 62
tpdb-8.0/TRS/Zantema_05/jw20.xml	n^0 - n^1 401	n^1 - INF 50189	n^0 - n^1 38
tpdb-8.0/TRS/Zantema_05/jw21.xml	n^0 - n^1 397	n^1 - INF 50210	n^0 - n^1 39
tpdb-8.0/TRS/Zantema_05/jw22.xml	n^0 - n^1 406	n^1 - INF 50468	n^0 - n^1 34
tpdb-8.0/TRS/Zantema_05/jw23.xml	n^0 - n^1 401	n^1 - INF 50170	n^0 - n^1 38
tpdb-8.0/TRS/Zantema_05/jw24.xml	n^0 - n^1 398	n^1 - INF 50190	n^0 - n^1 37
tpdb-8.0/TRS/Zantema_05/jw25.xml	n^0 - n^1 403	n^1 - INF 50199	n^0 - n^1 38
tpdb-8.0/TRS/Zantema_05/jw26.xml	n^0 - n^1 399	n^1 - INF 55662	n^0 - n^1 43
tpdb-8.0/TRS/Zantema_05/jw27.xml	n^0 - n^1 408	n^1 - INF 50334	n^0 - n^1 38
tpdb-8.0/TRS/Zantema_05/jw28.xml	n^0 - n^1 393	n^1 - INF 50169	n^0 - n^1 63
tpdb-8.0/TRS/Zantema_05/jw29.xml	n^0 - n^1 414	n^1 - INF 50178	n^0 - n^1 36
tpdb-8.0/TRS/Zantema_05/jw30.xml	n^0 - n^1 413	n^1 - INF 50218	n^0 - n^1 63
tpdb-8.0/TRS/Zantema_05/jw31.xml	n^0 - n^1 397	n^1 - INF 50175	n^0 - n^1 56
tpdb-8.0/TRS/Zantema_05/jw32.xml	n^0 - n^1 402	n^1 - INF 50223	n^0 - n^1 38
tpdb-8.0/TRS/Zantema_05/jw33.xml	n^0 - n^1 400	n^1 - INF 50214	n^0 - n^1 78
tpdb-8.0/TRS/Zantema_05/jw34.xml	n^0 - n^1 401	n^1 - INF 50245	n^0 - n^1 54
tpdb-8.0/TRS/Zantema_05/jw35.xml	n^0 - n^1 405	n^1 - INF 50829	n^0 - n^1 34
tpdb-8.0/TRS/Zantema_05/jw36.xml	n^0 - n^1 406	n^1 - INF 50178	n^0 - n^1 47
tpdb-8.0/TRS/Zantema_05/jw37.xml	n^0 - n^1 410	n^1 - INF 56050	n^0 - n^1 47
tpdb-8.0/TRS/Zantema_05/jw38.xml	n^0 - n^1 409	n^1 - INF 56285	n^0 - n^1 41
tpdb-8.0/TRS/Zantema_05/jw39.xml	n^0 - n^1 408	TIMEOUT 60044	n^0 - n^1 37
tpdb-8.0/TRS/Zantema_05/jw40.xml	n^0 - n^1 405	n^1 - INF 50394	n^0 - n^1 37
tpdb-8.0/TRS/Zantema_05/jw41.xml	n^0 - n^1 407	n^1 - INF 58523	n^0 - n^1 70
tpdb-8.0/TRS/Zantema_05/jw42.xml	n^0 - n^1 406	n^1 - INF 50855	n^0 - n^1 52
tpdb-8.0/TRS/Zantema_05/jw43.xml	n^0 - n^1 401	n^1 - n^1 357	n^0 - n^1 49
tpdb-8.0/TRS/Zantema_05/jw44.xml	n^0 - n^2 9340	n^1 - n^2 50128	n^0 - n^1 37
tpdb-8.0/TRS/Zantema_05/jw47.xml	n^0 - n^2 9382	n^1 - n^2 50231	n^0 - n^2 253
tpdb-8.0/TRS/Zantema_05/jw50.xml	n^0 - n^1 406	n^1 - n^1 367	n^0 - n^1 46
tpdb-8.0/TRS/Zantema_05/z01.xml	n^0 - n^1 559	n^1 - INF 57319	TIMEOUT 60237
tpdb-8.0/TRS/Zantema_05/z02.xml	n^0 - n^1 466	n^1 - INF 50180	n^0 - n^1 78
tpdb-8.0/TRS/Zantema_05/z03.xml	n^0 - n^1 4250	n^1 - INF 53836	n^0 - n^1 79
tpdb-8.0/TRS/Zantema_05/z05.xml	n^0 - n^2 55558	TIMEOUT 60042	TIMEOUT 60054
tpdb-8.0/TRS/Zantema_05/z06.xml	MAYBE 55373	n^1 - INF 55841	TIMEOUT 60075
tpdb-8.0/TRS/Zantema_05/z07.xml	n^0 - n^4 56044	n^1 - INF 50218	n^0 - n^4 2438
tpdb-8.0/TRS/Zantema_05/z08.xml	n^0 - n^1 1524	n^1 - INF 55330	n^0 - n^2 733
tpdb-8.0/TRS/Zantema_05/z11.xml	MAYBE 54031	n^1 - INF 50371	TIMEOUT 60034
tpdb-8.0/TRS/Zantema_05/z12.xml	MAYBE 55472	n^1 - INF 52852	TIMEOUT 60109
tpdb-8.0/TRS/Zantema_05/z13.xml	MAYBE 55508	n^1 - INF 50148	TIMEOUT 60106
tpdb-8.0/TRS/Zantema_05/z14.xml	MAYBE 55451	n^1 - INF 50746	TIMEOUT 60097
tpdb-8.0/TRS/Zantema_05/z15.xml	MAYBE 55419	n^1 - INF 50289	TIMEOUT 60074
tpdb-8.0/TRS/Zantema_05/z16.xml	MAYBE 55483	n^1 - INF 50719	TIMEOUT 60097
tpdb-8.0/TRS/Zantema_05/z17.xml	MAYBE 55523	n^1 - INF 50315	TIMEOUT 60073
tpdb-8.0/TRS/Zantema_05/z18.xml	MAYBE 55452	n^1 - INF 50247	TIMEOUT 60093
tpdb-8.0/TRS/Zantema_05/z19.xml	MAYBE 55377	n^1 - INF 50190	TIMEOUT 60089
tpdb-8.0/TRS/Zantema_05/z20.xml	MAYBE 55384	n^1 - INF 50195	TIMEOUT 60148
tpdb-8.0/TRS/Zantema_05/z21.xml	MAYBE 55409	n^1 - INF 50245	TIMEOUT 60079
tpdb-8.0/TRS/Zantema_05/z22.xml	MAYBE 55475	n^1 - INF 50182	TIMEOUT 60102
tpdb-8.0/TRS/Zantema_05/z23.xml	MAYBE 55451	n^1 - INF 50501	TIMEOUT 60164
tpdb-8.0/TRS/Zantema_05/z24.xml	MAYBE 55524	n^1 - INF 51675	TIMEOUT 60114
tpdb-8.0/TRS/Zantema_05/z25.xml	n^0 - n^2 53005	n^1 - INF 50888	n^0 - n^3 421
tpdb-8.0/TRS/Zantema_05/z26.xml	n^0 - n^2 12799	n^1 - n^1 17987	n^0 - n^2 1152
tpdb-8.0/TRS/Zantema_05/z29.xml	MAYBE 10332	n^1 - INF 50221	TIMEOUT 60036
tpdb-8.0/TRS/Zantema_05/z30.xml	n^0 - n^1 660	TIMEOUT 60035	n^0 - n^1 70
tpdb-8.0/TRS/Zantema_06/01.xml	MAYBE 55354	EXP - INF 134	TIMEOUT 60083
tpdb-8.0/TRS/Zantema_06/02.xml	MAYBE 55390	EXP - INF 187	TIMEOUT 60090
tpdb-8.0/TRS/Zantema_06/03.xml	MAYBE 55495	n^2 - INF 50277	TIMEOUT 60141
tpdb-8.0/TRS/Zantema_06/04.xml	MAYBE 55390	n^2 - INF 50250	TIMEOUT 60109
tpdb-8.0/TRS/Zantema_06/05.xml	MAYBE 55462	n^2 - INF 50209	TIMEOUT 60137
tpdb-8.0/TRS/Zantema_06/06.xml	MAYBE 55466	EXP - INF 114	TIMEOUT 60121
tpdb-8.0/TRS/Zantema_06/07.xml	MAYBE 55356	EXP - INF 89	TIMEOUT 60178
tpdb-8.0/TRS/Zantema_06/08.xml	MAYBE 55354	EXP - INF 86	TIMEOUT 60142
tpdb-8.0/TRS/Zantema_06/09.xml	MAYBE 55471	n^2 - INF 50629	TIMEOUT 60146
tpdb-8.0/TRS/Zantema_06/10.xml	MAYBE 23376	EXP - INF 119	TIMEOUT 60056
tpdb-8.0/TRS/Zantema_06/11.xml	MAYBE 55567	n^2 - INF 50532	TIMEOUT 60153
tpdb-8.0/TRS/Zantema_06/12.xml	MAYBE 55557	n^2 - INF 50222	TIMEOUT 60129
tpdb-8.0/TRS/Zantema_06/13.xml	MAYBE 55403	n^2 - INF 50179	TIMEOUT 60147
tpdb-8.0/TRS/Zantema_06/14.xml	MAYBE 55385	n^2 - INF 50169	TIMEOUT 60087
tpdb-8.0/TRS/Zantema_06/15.xml	MAYBE 55561	n^1 - INF 50907	TIMEOUT 60164
tpdb-8.0/TRS/Zantema_06/16.xml	n^0 - n^1 6842	n^1 - INF 50262	n^0 - n^1 5052
tpdb-8.0/TRS/Zantema_06/17.xml	n^0 - n^1 10593	n^1 - INF 50954	n^0 - n^2 6835
tpdb-8.0/TRS/Zantema_06/18.xml	n^0 - n^1 51983	n^1 - INF 50403	TIMEOUT 60167
tpdb-8.0/TRS/Zantema_06/abc.xml	MAYBE 13580	n^1 - INF 50275	TIMEOUT 60098
tpdb-8.0/TRS/Zantema_06/beans1.xml	MAYBE 55581	n^2 - n^2 3707	TIMEOUT 60193
tpdb-8.0/TRS/Zantema_06/beans2.xml	MAYBE 55486	TIMEOUT 60071	TIMEOUT 60130
tpdb-8.0/TRS/Zantema_06/beans3.xml	MAYBE 55554	TIMEOUT 60042	TIMEOUT 60129
tpdb-8.0/TRS/Zantema_06/beans4.xml	MAYBE 55526	TIMEOUT 60037	TIMEOUT 60118
tpdb-8.0/TRS/Zantema_06/beans5.xml	MAYBE 55434	n^2 - INF 51611	TIMEOUT 60101
tpdb-8.0/TRS/Zantema_06/beans6.xml	MAYBE 55456	n^2 - INF 50331	TIMEOUT 60109
tpdb-8.0/TRS/Zantema_06/beans7.xml	MAYBE 55451	TIMEOUT 60045	TIMEOUT 60098
tpdb-8.0/TRS/Zantema_06/loop1.xml	MAYBE 55387	EXP - INF 96	TIMEOUT 60128
tpdb-8.0/TRS/Zantema_06/loop2.xml	MAYBE 55385	INF - INF 175	TIMEOUT 60077
tpdb-8.0/TRS/Zantema_06/while1.xml	MAYBE 55666	n^2 - INF 50709	TIMEOUT 60145
tpdb-8.0/TRS/Zantema_06/while2.xml	n^0 - n^2 12232	n^2 - n^2 8638	n^0 - n^4 3789
	1075	592	1461