Index of /~marche/termination-competition/2005/teparla/results

Name	Last modified	Size

Parent Directory		-
SRS.HofWald.1.srs.stderr	11-Apr-2005 13:00	0
SRS.HofWald.1.srs.stdout	11-Apr-2005 13:00	10
SRS.HofWald.2.srs.stderr	11-Apr-2005 13:04	0
SRS.HofWald.2.srs.stdout	11-Apr-2005 13:04	10
SRS.HofWald.3.srs.stderr	11-Apr-2005 13:05	3.2K
SRS.HofWald.3.srs.stdout	11-Apr-2005 13:05	4
SRS.HofWald.4.srs.stderr	11-Apr-2005 13:08	0
SRS.HofWald.4.srs.stdout	11-Apr-2005 13:09	10
SRS.Marche.s6.srs.stderr	11-Apr-2005 13:10	3.5K
SRS.Marche.s6.srs.stdout	11-Apr-2005 13:10	4
SRS.Marche.turing_add.srs.stderr	11-Apr-2005 13:11	1.7K
SRS.Marche.turing_add.srs.stdout	11-Apr-2005 13:11	4
SRS.Marche.turing_copy.srs.stderr	11-Apr-2005 13:13	1.7K
SRS.Marche.turing_copy.srs.stdout	11-Apr-2005 13:13	3
SRS.Marche.turing_mult.srs.stderr	11-Apr-2005 13:17	50
SRS.Marche.turing_mult.srs.stdout	11-Apr-2005 13:16	0
SRS.Zantema.syracuse.srs.stderr	11-Apr-2005 13:27	0
SRS.Zantema.syracuse.srs.stdout	11-Apr-2005 13:28	10
SRS.Zantema.z001.srs.stderr	11-Apr-2005 13:30	10K
SRS.Zantema.z001.srs.stdout	11-Apr-2005 13:30	4
SRS.Zantema.z002.srs.stderr	11-Apr-2005 13:31	2.9K
SRS.Zantema.z002.srs.stdout	11-Apr-2005 13:31	4
SRS.Zantema.z003.srs.stderr	11-Apr-2005 13:31	3.2K
SRS.Zantema.z003.srs.stdout	11-Apr-2005 13:31	4
SRS.Zantema.z004.srs.stderr	11-Apr-2005 13:31	12K
SRS.Zantema.z004.srs.stdout	11-Apr-2005 13:31	4
SRS.Zantema.z005.srs.stderr	11-Apr-2005 13:32	3.4K
SRS.Zantema.z005.srs.stdout	11-Apr-2005 13:32	4
SRS.Zantema.z006.srs.stderr	11-Apr-2005 13:33	2.8K
SRS.Zantema.z006.srs.stdout	11-Apr-2005 13:33	4
SRS.Zantema.z007.srs.stderr	11-Apr-2005 13:33	2.8K
SRS.Zantema.z007.srs.stdout	11-Apr-2005 13:33	4
SRS.Zantema.z008.srs.stderr	11-Apr-2005 13:36	2.1K
SRS.Zantema.z008.srs.stdout	11-Apr-2005 13:36	4
SRS.Zantema.z009.srs.stderr	11-Apr-2005 13:37	3.2K
SRS.Zantema.z009.srs.stdout	11-Apr-2005 13:37	4
SRS.Zantema.z010.srs.stderr	11-Apr-2005 13:37	1.2K
SRS.Zantema.z010.srs.stdout	11-Apr-2005 13:37	4
SRS.Zantema.z011.srs.stderr	11-Apr-2005 13:38	1.7K
SRS.Zantema.z011.srs.stdout	11-Apr-2005 13:38	4
SRS.Zantema.z012.srs.stderr	11-Apr-2005 13:40	1.9K
SRS.Zantema.z012.srs.stdout	11-Apr-2005 13:40	4
SRS.Zantema.z013.srs.stderr	11-Apr-2005 13:41	10K
SRS.Zantema.z013.srs.stdout	11-Apr-2005 13:41	4
SRS.Zantema.z014.srs.stderr	11-Apr-2005 13:42	1.5K
SRS.Zantema.z014.srs.stdout	11-Apr-2005 13:42	4
SRS.Zantema.z015.srs.stderr	11-Apr-2005 13:43	2.6K
SRS.Zantema.z015.srs.stdout	11-Apr-2005 13:43	4
SRS.Zantema.z016.srs.stderr	11-Apr-2005 13:45	1.7K
SRS.Zantema.z016.srs.stdout	11-Apr-2005 13:45	4
SRS.Zantema.z017.srs.stderr	11-Apr-2005 13:45	1.9K
SRS.Zantema.z017.srs.stdout	11-Apr-2005 13:45	4
SRS.Zantema.z018.srs.stderr	11-Apr-2005 13:47	1.9K
SRS.Zantema.z018.srs.stdout	11-Apr-2005 13:47	4
SRS.Zantema.z019.srs.stderr	11-Apr-2005 13:48	2.3K
SRS.Zantema.z019.srs.stdout	11-Apr-2005 13:48	4
SRS.Zantema.z020.srs.stderr	11-Apr-2005 13:50	2.4K
SRS.Zantema.z020.srs.stdout	11-Apr-2005 13:50	4
SRS.Zantema.z021.srs.stderr	11-Apr-2005 13:51	2.2K
SRS.Zantema.z021.srs.stdout	11-Apr-2005 13:51	4
SRS.Zantema.z022.srs.stderr	11-Apr-2005 13:53	1.5K
SRS.Zantema.z022.srs.stdout	11-Apr-2005 13:53	4
SRS.Zantema.z023.srs.stderr	11-Apr-2005 13:55	1.9K
SRS.Zantema.z023.srs.stdout	11-Apr-2005 13:55	4
SRS.Zantema.z024.srs.stderr	11-Apr-2005 13:56	1.4K
SRS.Zantema.z024.srs.stdout	11-Apr-2005 13:56	4
SRS.Zantema.z025.srs.stderr	11-Apr-2005 13:56	2.1K
SRS.Zantema.z025.srs.stdout	11-Apr-2005 13:56	4
SRS.Zantema.z026.srs.stderr	11-Apr-2005 13:58	793
SRS.Zantema.z026.srs.stdout	11-Apr-2005 13:58	4
SRS.Zantema.z027.srs.stderr	11-Apr-2005 13:58	0
SRS.Zantema.z027.srs.stdout	11-Apr-2005 13:59	10
SRS.Zantema.z028.srs.stderr	11-Apr-2005 14:03	50
SRS.Zantema.z028.srs.stdout	11-Apr-2005 14:02	0
SRS.Zantema.z029.srs.stderr	11-Apr-2005 14:04	20K
SRS.Zantema.z029.srs.stdout	11-Apr-2005 14:04	4
SRS.Zantema.z030.srs.stderr	11-Apr-2005 14:07	50
SRS.Zantema.z030.srs.stdout	11-Apr-2005 14:06	0
SRS.Zantema.z031.srs.stderr	11-Apr-2005 14:09	50
SRS.Zantema.z031.srs.stdout	11-Apr-2005 14:08	0
SRS.Zantema.z032.srs.stderr	11-Apr-2005 14:11	34K
SRS.Zantema.z032.srs.stdout	11-Apr-2005 14:11	4
SRS.Zantema.z033.srs.stderr	11-Apr-2005 14:12	1.4K
SRS.Zantema.z033.srs.stdout	11-Apr-2005 14:12	4
SRS.Zantema.z034.srs.stderr	11-Apr-2005 14:13	0
SRS.Zantema.z034.srs.stdout	11-Apr-2005 14:14	10
SRS.Zantema.z035.srs.stderr	11-Apr-2005 14:15	0
SRS.Zantema.z035.srs.stdout	11-Apr-2005 14:16	10
SRS.Zantema.z036.srs.stderr	11-Apr-2005 14:18	2.4K
SRS.Zantema.z036.srs.stdout	11-Apr-2005 14:18	4
SRS.Zantema.z037.srs.stderr	11-Apr-2005 14:19	24K
SRS.Zantema.z037.srs.stdout	11-Apr-2005 14:19	4
SRS.Zantema.z038.srs.stderr	11-Apr-2005 14:21	50
SRS.Zantema.z038.srs.stdout	11-Apr-2005 14:20	0
SRS.Zantema.z039.srs.stderr	11-Apr-2005 14:23	11K
SRS.Zantema.z039.srs.stdout	11-Apr-2005 14:23	4
SRS.Zantema.z040.srs.stderr	11-Apr-2005 14:25	0
SRS.Zantema.z040.srs.stdout	11-Apr-2005 14:26	10
SRS.Zantema.z041.srs.stderr	11-Apr-2005 14:28	50
SRS.Zantema.z041.srs.stdout	11-Apr-2005 14:27	0
SRS.Zantema.z042.srs.stderr	11-Apr-2005 14:31	50
SRS.Zantema.z042.srs.stdout	11-Apr-2005 14:30	0
SRS.Zantema.z043.srs.stderr	11-Apr-2005 14:33	19K
SRS.Zantema.z043.srs.stdout	11-Apr-2005 14:33	4
SRS.Zantema.z044.srs.stderr	11-Apr-2005 14:36	50
SRS.Zantema.z044.srs.stdout	11-Apr-2005 14:35	0
SRS.Zantema.z045.srs.stderr	11-Apr-2005 14:37	0
SRS.Zantema.z045.srs.stdout	11-Apr-2005 14:38	10
SRS.Zantema.z046.srs.stderr	11-Apr-2005 14:40	50
SRS.Zantema.z046.srs.stdout	11-Apr-2005 14:39	0
SRS.Zantema.z047.srs.stderr	11-Apr-2005 14:43	50
SRS.Zantema.z047.srs.stdout	11-Apr-2005 14:42	0
SRS.Zantema.z048.srs.stderr	11-Apr-2005 14:45	19K
SRS.Zantema.z048.srs.stdout	11-Apr-2005 14:45	4
SRS.Zantema.z049.srs.stderr	11-Apr-2005 14:47	2.8K
SRS.Zantema.z049.srs.stdout	11-Apr-2005 14:47	4
SRS.Zantema.z050.srs.stderr	11-Apr-2005 14:48	2.8K
SRS.Zantema.z050.srs.stdout	11-Apr-2005 14:48	4
SRS.Zantema.z051.srs.stderr	11-Apr-2005 14:48	1.3K
SRS.Zantema.z051.srs.stdout	11-Apr-2005 14:48	4
SRS.Zantema.z052.srs.stderr	11-Apr-2005 14:49	3.4K
SRS.Zantema.z052.srs.stdout	11-Apr-2005 14:49	4
SRS.Zantema.z053.srs.stderr	11-Apr-2005 14:49	3.4K
SRS.Zantema.z053.srs.stdout	11-Apr-2005 14:49	4
SRS.Zantema.z054.srs.stderr	11-Apr-2005 14:50	0
SRS.Zantema.z054.srs.stdout	11-Apr-2005 14:50	10
SRS.Zantema.z055.srs.stderr	11-Apr-2005 14:52	2.7K
SRS.Zantema.z055.srs.stdout	11-Apr-2005 14:52	4
SRS.Zantema.z056.srs.stderr	11-Apr-2005 14:52	1.3K
SRS.Zantema.z056.srs.stdout	11-Apr-2005 14:52	4
SRS.Zantema.z057.srs.stderr	11-Apr-2005 14:53	3.4K
SRS.Zantema.z057.srs.stdout	11-Apr-2005 14:53	4
SRS.Zantema.z058.srs.stderr	11-Apr-2005 14:54	1.3K
SRS.Zantema.z058.srs.stdout	11-Apr-2005 14:54	4
SRS.Zantema.z059.srs.stderr	11-Apr-2005 14:54	1.3K
SRS.Zantema.z059.srs.stdout	11-Apr-2005 14:54	4
SRS.Zantema.z060.srs.stderr	11-Apr-2005 14:55	1.3K
SRS.Zantema.z060.srs.stdout	11-Apr-2005 14:55	4
SRS.Zantema.z061.srs.stderr	11-Apr-2005 14:55	1.3K
SRS.Zantema.z061.srs.stdout	11-Apr-2005 14:55	4
SRS.Zantema.z062.srs.stderr	11-Apr-2005 14:57	1.3K
SRS.Zantema.z062.srs.stdout	11-Apr-2005 14:57	4
SRS.Zantema.z063.srs.stderr	11-Apr-2005 14:57	1.3K
SRS.Zantema.z063.srs.stdout	11-Apr-2005 14:57	4
SRS.Zantema.z064.srs.stderr	11-Apr-2005 14:58	1.3K
SRS.Zantema.z064.srs.stdout	11-Apr-2005 14:58	4
SRS.Zantema.z065.srs.stderr	11-Apr-2005 14:58	2.6K
SRS.Zantema.z065.srs.stdout	11-Apr-2005 14:58	4
SRS.Zantema.z066.srs.stderr	11-Apr-2005 14:59	2.8K
SRS.Zantema.z066.srs.stdout	11-Apr-2005 14:59	4
SRS.Zantema.z067.srs.stderr	11-Apr-2005 15:01	2.3K
SRS.Zantema.z067.srs.stdout	11-Apr-2005 15:01	4
SRS.Zantema.z068.srs.stderr	11-Apr-2005 15:02	0
SRS.Zantema.z068.srs.stdout	11-Apr-2005 15:03	10
SRS.Zantema.z069.srs.stderr	11-Apr-2005 15:05	2.8K
SRS.Zantema.z069.srs.stdout	11-Apr-2005 15:05	4
SRS.Zantema.z070.srs.stderr	11-Apr-2005 15:07	0
SRS.Zantema.z070.srs.stdout	11-Apr-2005 15:07	10
SRS.Zantema.z071.srs.stderr	11-Apr-2005 15:08	1.1K
SRS.Zantema.z071.srs.stdout	11-Apr-2005 15:08	4
SRS.Zantema.z072.srs.stderr	11-Apr-2005 15:09	2.7K
SRS.Zantema.z072.srs.stdout	11-Apr-2005 15:09	4
SRS.Zantema.z073.srs.stderr	11-Apr-2005 15:12	0
SRS.Zantema.z073.srs.stdout	11-Apr-2005 15:13	10
SRS.Zantema.z074.srs.stderr	11-Apr-2005 15:18	7.0K
SRS.Zantema.z074.srs.stdout	11-Apr-2005 15:18	4
SRS.Zantema.z075.srs.stderr	11-Apr-2005 15:20	4.4K
SRS.Zantema.z075.srs.stdout	11-Apr-2005 15:20	4
SRS.Zantema.z076.srs.stderr	11-Apr-2005 15:21	1.3K
SRS.Zantema.z076.srs.stdout	11-Apr-2005 15:21	4
SRS.Zantema.z077.srs.stderr	11-Apr-2005 15:21	1.0K
SRS.Zantema.z077.srs.stdout	11-Apr-2005 15:21	4
SRS.Zantema.z078.srs.stderr	11-Apr-2005 15:21	0
SRS.Zantema.z078.srs.stdout	11-Apr-2005 15:22	10
SRS.Zantema.z079.srs.stderr	11-Apr-2005 15:25	0
SRS.Zantema.z079.srs.stdout	11-Apr-2005 15:26	10
SRS.Zantema.z080.srs.stderr	11-Apr-2005 15:28	0
SRS.Zantema.z080.srs.stdout	11-Apr-2005 15:29	10
SRS.Zantema.z081.srs.stderr	11-Apr-2005 15:30	0
SRS.Zantema.z081.srs.stdout	11-Apr-2005 15:31	10
SRS.Zantema.z082.srs.stderr	11-Apr-2005 15:33	4.7K
SRS.Zantema.z082.srs.stdout	11-Apr-2005 15:33	4
SRS.Zantema.z083.srs.stderr	11-Apr-2005 15:36	5.0K
SRS.Zantema.z083.srs.stdout	11-Apr-2005 15:36	4
SRS.Zantema.z084.srs.stderr	11-Apr-2005 15:37	0
SRS.Zantema.z084.srs.stdout	11-Apr-2005 15:37	10
SRS.Zantema.z085.srs.stderr	11-Apr-2005 15:37	0
SRS.Zantema.z085.srs.stdout	11-Apr-2005 15:37	10
SRS.Zantema.z086.srs.stderr	11-Apr-2005 15:40	0
SRS.Zantema.z086.srs.stdout	11-Apr-2005 15:40	10
SRS.Zantema.z087.srs.stderr	11-Apr-2005 15:43	0
SRS.Zantema.z087.srs.stdout	11-Apr-2005 15:43	10
SRS.Zantema.z088.srs.stderr	11-Apr-2005 15:44	9.0K
SRS.Zantema.z088.srs.stdout	11-Apr-2005 15:44	4
SRS.Zantema.z089.srs.stderr	11-Apr-2005 15:48	4.0K
SRS.Zantema.z089.srs.stdout	11-Apr-2005 15:48	4
SRS.Zantema.z090.srs.stderr	11-Apr-2005 15:52	0
SRS.Zantema.z090.srs.stdout	11-Apr-2005 15:53	10
SRS.Zantema.z091.srs.stderr	11-Apr-2005 15:57	50
SRS.Zantema.z091.srs.stdout	11-Apr-2005 15:56	0
SRS.Zantema.z092.srs.stderr	11-Apr-2005 15:59	4.2K
SRS.Zantema.z092.srs.stdout	11-Apr-2005 15:59	4
SRS.Zantema.z093.srs.stderr	11-Apr-2005 15:59	0
SRS.Zantema.z093.srs.stdout	11-Apr-2005 15:59	10
SRS.Zantema.z094.srs.stderr	11-Apr-2005 16:03	3.2K
SRS.Zantema.z094.srs.stdout	11-Apr-2005 16:03	4
SRS.Zantema.z095.srs.stderr	11-Apr-2005 16:04	12K
SRS.Zantema.z095.srs.stdout	11-Apr-2005 16:04	4
SRS.Zantema.z096.srs.stderr	11-Apr-2005 16:06	50
SRS.Zantema.z096.srs.stdout	11-Apr-2005 16:05	0
SRS.Zantema.z097.srs.stderr	11-Apr-2005 16:09	50
SRS.Zantema.z097.srs.stdout	11-Apr-2005 16:08	0
SRS.Zantema.z098.srs.stderr	11-Apr-2005 16:11	0
SRS.Zantema.z098.srs.stdout	11-Apr-2005 16:12	10
SRS.Zantema.z099.srs.stderr	11-Apr-2005 16:14	7.3K
SRS.Zantema.z099.srs.stdout	11-Apr-2005 16:14	4
SRS.Zantema.z100.srs.stderr	11-Apr-2005 16:17	7.0K
SRS.Zantema.z100.srs.stdout	11-Apr-2005 16:17	4
SRS.Zantema.z101.srs.stderr	11-Apr-2005 16:18	0
SRS.Zantema.z101.srs.stdout	11-Apr-2005 16:18	10
SRS.Zantema.z102.srs.stderr	11-Apr-2005 16:18	0
SRS.Zantema.z102.srs.stdout	11-Apr-2005 16:18	10
SRS.Zantema.z103.srs.stderr	11-Apr-2005 16:19	0
SRS.Zantema.z103.srs.stdout	11-Apr-2005 16:20	10
SRS.Zantema.z104.srs.stderr	11-Apr-2005 16:23	0
SRS.Zantema.z104.srs.stdout	11-Apr-2005 16:23	10
SRS.Zantema.z105.srs.stderr	11-Apr-2005 16:25	0
SRS.Zantema.z105.srs.stdout	11-Apr-2005 16:25	10
SRS.Zantema.z106.srs.stderr	11-Apr-2005 16:27	0
SRS.Zantema.z106.srs.stdout	11-Apr-2005 16:27	10
SRS.Zantema.z107.srs.stderr	11-Apr-2005 16:31	0
SRS.Zantema.z107.srs.stdout	11-Apr-2005 16:31	10
SRS.Zantema.z108.srs.stderr	11-Apr-2005 16:31	0
SRS.Zantema.z108.srs.stdout	11-Apr-2005 16:31	10
SRS.Zantema.z109.srs.stderr	11-Apr-2005 16:33	0
SRS.Zantema.z109.srs.stdout	11-Apr-2005 16:33	10
SRS.Zantema.z110.srs.stderr	11-Apr-2005 16:35	0
SRS.Zantema.z110.srs.stdout	11-Apr-2005 16:35	10
SRS.Zantema.z111.srs.stderr	11-Apr-2005 16:37	0
SRS.Zantema.z111.srs.stdout	11-Apr-2005 16:37	10
SRS.Zantema.z112.srs.stderr	11-Apr-2005 16:40	0
SRS.Zantema.z112.srs.stdout	11-Apr-2005 16:41	10
SRS.Zantema.z113.srs.stderr	11-Apr-2005 16:44	0
SRS.Zantema.z113.srs.stdout	11-Apr-2005 16:45	10
SRS.Zantema.z114.srs.stderr	11-Apr-2005 16:47	0
SRS.Zantema.z114.srs.stdout	11-Apr-2005 16:47	10
SRS.Zantema.z115.srs.stderr	11-Apr-2005 16:48	0
SRS.Zantema.z115.srs.stdout	11-Apr-2005 16:48	10
SRS.Zantema.z116.srs.stderr	11-Apr-2005 16:49	0
SRS.Zantema.z116.srs.stdout	11-Apr-2005 16:49	10
SRS.Zantema.z117.srs.stderr	11-Apr-2005 16:53	0
SRS.Zantema.z117.srs.stdout	11-Apr-2005 16:53	10
SRS.Zantema.z118.srs.stderr	11-Apr-2005 16:55	0
SRS.Zantema.z118.srs.stdout	11-Apr-2005 16:56	10
SRS.Zantema.z119.srs.stderr	11-Apr-2005 16:59	0
SRS.Zantema.z119.srs.stdout	11-Apr-2005 16:59	10
SRS.Zantema.z120.srs.stderr	11-Apr-2005 17:02	0
SRS.Zantema.z120.srs.stdout	11-Apr-2005 17:02	10
SRS.Zantema.z121.srs.stderr	11-Apr-2005 17:06	0
SRS.Zantema.z121.srs.stdout	11-Apr-2005 17:07	10
SRS.Zantema.z122.srs.stderr	11-Apr-2005 17:09	0
SRS.Zantema.z122.srs.stdout	11-Apr-2005 17:09	10
SRS.Zantema.z123.srs.stderr	11-Apr-2005 17:11	0
SRS.Zantema.z123.srs.stdout	11-Apr-2005 17:11	10
SRS.Zantema.z124.srs.stderr	11-Apr-2005 17:12	3.6K
SRS.Zantema.z124.srs.stdout	11-Apr-2005 17:12	4
SRS.Zantema.z125.srs.stderr	11-Apr-2005 17:15	4.3K
SRS.Zantema.z125.srs.stdout	11-Apr-2005 17:15	4
SRS.Zantema.z126.srs.stderr	11-Apr-2005 17:17	4.0K
SRS.Zantema.z126.srs.stdout	11-Apr-2005 17:17	4
SRS.Zantema.z127.srs.stderr	11-Apr-2005 17:19	0
SRS.Zantema.z127.srs.stdout	11-Apr-2005 17:19	10
SRS.Zantema.z128.srs.stderr	11-Apr-2005 17:23	0
SRS.Zantema.z128.srs.stdout	11-Apr-2005 17:23	10
SRS.relative.zr01.srs.stderr	11-Apr-2005 13:19	2.5K
SRS.relative.zr01.srs.stdout	11-Apr-2005 13:19	4
SRS.relative.zr02.srs.stderr	11-Apr-2005 13:19	4.5K
SRS.relative.zr02.srs.stdout	11-Apr-2005 13:19	4
SRS.relative.zr03.srs.stderr	11-Apr-2005 13:20	1.1K
SRS.relative.zr03.srs.stdout	11-Apr-2005 13:20	4
SRS.relative.zr04.srs.stderr	11-Apr-2005 13:20	7.8K
SRS.relative.zr04.srs.stdout	11-Apr-2005 13:20	4
SRS.relative.zr05.srs.stderr	11-Apr-2005 13:21	2.4K
SRS.relative.zr05.srs.stdout	11-Apr-2005 13:21	4
SRS.relative.zr06.srs.stderr	11-Apr-2005 13:21	1.2K
SRS.relative.zr06.srs.stdout	11-Apr-2005 13:21	4
SRS.relative.zr07.srs.stderr	11-Apr-2005 13:21	1.9K
SRS.relative.zr07.srs.stdout	11-Apr-2005 13:21	4
SRS.relative.zr08.srs.stderr	11-Apr-2005 13:22	0
SRS.relative.zr08.srs.stdout	11-Apr-2005 13:22	10
SRS.relative.zr09.srs.stderr	11-Apr-2005 13:22	2.1K
SRS.relative.zr09.srs.stdout	11-Apr-2005 13:22	4
SRS.relative.zr10.srs.stderr	11-Apr-2005 13:22	2.8K
SRS.relative.zr10.srs.stdout	11-Apr-2005 13:22	4
SRS.relative.zr11.srs.stderr	11-Apr-2005 13:22	2.4K
SRS.relative.zr11.srs.stdout	11-Apr-2005 13:22	4
SRS.relative.zr12.srs.stderr	11-Apr-2005 13:22	3.0K
SRS.relative.zr12.srs.stdout	11-Apr-2005 13:22	4
SRS.relative.zr13.srs.stderr	11-Apr-2005 13:23	50
SRS.relative.zr13.srs.stdout	11-Apr-2005 13:22	0
TRS.AG01._3.1.trs.stderr	11-Apr-2005 18:57	0
TRS.AG01._3.1.trs.stdout	11-Apr-2005 18:58	10
TRS.AG01._3.2.trs.stderr	11-Apr-2005 19:05	71
TRS.AG01._3.2.trs.stdout	11-Apr-2005 19:04	0
TRS.AG01._3.4.trs.stderr	11-Apr-2005 19:22	0
TRS.AG01._3.4.trs.stdout	11-Apr-2005 19:23	10
TRS.AG01._3.5.trs.stderr	11-Apr-2005 19:48	50
TRS.AG01._3.5.trs.stdout	11-Apr-2005 19:47	0
TRS.AG01._3.5a.trs.stderr	11-Apr-2005 19:40	0
TRS.AG01._3.5a.trs.stdout	11-Apr-2005 19:41	10
TRS.AG01._3.5b.trs.stderr	11-Apr-2005 19:44	50
TRS.AG01._3.5b.trs.stdout	11-Apr-2005 19:43	0
TRS.AG01._3.6.trs.stderr	11-Apr-2005 19:57	0
TRS.AG01._3.6.trs.stdout	11-Apr-2005 19:57	10
TRS.AG01._3.6a.trs.stderr	11-Apr-2005 19:50	0
TRS.AG01._3.6a.trs.stdout	11-Apr-2005 19:51	10
TRS.AG01._3.6b.trs.stderr	11-Apr-2005 19:54	0
TRS.AG01._3.6b.trs.stdout	11-Apr-2005 19:55	10
TRS.AG01._3.7.trs.stderr	11-Apr-2005 19:58	1.0K
TRS.AG01._3.7.trs.stdout	11-Apr-2005 19:58	4
TRS.AG01._3.8a.trs.stderr	11-Apr-2005 20:00	71
TRS.AG01._3.8a.trs.stdout	11-Apr-2005 19:59	0
TRS.AG01._3.8b.trs.stderr	11-Apr-2005 20:02	50
TRS.AG01._3.8b.trs.stdout	11-Apr-2005 20:01	0
TRS.AG01._3.10.trs.stderr	11-Apr-2005 18:32	0
TRS.AG01._3.10.trs.stdout	11-Apr-2005 18:33	10
TRS.AG01._3.11.trs.stderr	11-Apr-2005 18:36	0
TRS.AG01._3.11.trs.stdout	11-Apr-2005 18:37	10
TRS.AG01._3.12.trs.stderr	11-Apr-2005 18:39	2.6K
TRS.AG01._3.12.trs.stdout	11-Apr-2005 18:39	4
TRS.AG01._3.13.trs.stderr	11-Apr-2005 18:41	0
TRS.AG01._3.13.trs.stdout	11-Apr-2005 18:42	10
TRS.AG01._3.14.trs.stderr	11-Apr-2005 18:44	2.2K
TRS.AG01._3.14.trs.stdout	11-Apr-2005 18:44	4
TRS.AG01._3.15.trs.stderr	11-Apr-2005 18:45	1.5K
TRS.AG01._3.15.trs.stdout	11-Apr-2005 18:45	4
TRS.AG01._3.16.trs.stderr	11-Apr-2005 18:47	1.2K
TRS.AG01._3.16.trs.stdout	11-Apr-2005 18:47	4
TRS.AG01._3.17.trs.stderr	11-Apr-2005 18:50	94K
TRS.AG01._3.17.trs.stdout	11-Apr-2005 18:50	4
TRS.AG01._3.17a.trs.stderr	11-Apr-2005 18:49	94K
TRS.AG01._3.17a.trs.stdout	11-Apr-2005 18:49	4
TRS.AG01._3.18.trs.stderr	11-Apr-2005 18:52	0
TRS.AG01._3.18.trs.stdout	11-Apr-2005 18:52	10
TRS.AG01._3.19.trs.stderr	11-Apr-2005 18:54	0
TRS.AG01._3.19.trs.stdout	11-Apr-2005 18:55	10
TRS.AG01._3.21.trs.stderr	11-Apr-2005 18:59	2.2K
TRS.AG01._3.21.trs.stdout	11-Apr-2005 18:59	4
TRS.AG01._3.22.trs.stderr	11-Apr-2005 19:00	3.4K
TRS.AG01._3.22.trs.stdout	11-Apr-2005 19:00	4
TRS.AG01._3.23.trs.stderr	11-Apr-2005 19:01	1.5K
TRS.AG01._3.23.trs.stdout	11-Apr-2005 19:01	4
TRS.AG01._3.24.trs.stderr	11-Apr-2005 19:01	1.5K
TRS.AG01._3.24.trs.stdout	11-Apr-2005 19:01	4
TRS.AG01._3.26.trs.stderr	11-Apr-2005 19:02	1.1K
TRS.AG01._3.26.trs.stdout	11-Apr-2005 19:02	4
TRS.AG01._3.29.trs.stderr	11-Apr-2005 19:03	938
TRS.AG01._3.29.trs.stdout	11-Apr-2005 19:03	4
TRS.AG01._3.31.trs.stderr	11-Apr-2005 19:05	1.0K
TRS.AG01._3.31.trs.stdout	11-Apr-2005 19:05	4
TRS.AG01._3.33.trs.stderr	11-Apr-2005 19:05	1.9K
TRS.AG01._3.33.trs.stdout	11-Apr-2005 19:05	4
TRS.AG01._3.35.trs.stderr	11-Apr-2005 19:05	1.2K
TRS.AG01._3.35.trs.stdout	11-Apr-2005 19:05	4
TRS.AG01._3.36.trs.stderr	11-Apr-2005 19:06	1.7K
TRS.AG01._3.36.trs.stdout	11-Apr-2005 19:06	4
TRS.AG01._3.37.trs.stderr	11-Apr-2005 19:06	2.6K
TRS.AG01._3.37.trs.stdout	11-Apr-2005 19:06	4
TRS.AG01._3.38.trs.stderr	11-Apr-2005 19:07	0
TRS.AG01._3.38.trs.stdout	11-Apr-2005 19:08	10
TRS.AG01._3.39.trs.stderr	11-Apr-2005 19:10	0
TRS.AG01._3.39.trs.stdout	11-Apr-2005 19:10	10
TRS.AG01._3.40.trs.stderr	11-Apr-2005 19:15	50
TRS.AG01._3.40.trs.stdout	11-Apr-2005 19:14	0
TRS.AG01._3.41.trs.stderr	11-Apr-2005 19:16	2.8K
TRS.AG01._3.41.trs.stdout	11-Apr-2005 19:16	4
TRS.AG01._3.42.trs.stderr	11-Apr-2005 19:17	4.7K
TRS.AG01._3.42.trs.stdout	11-Apr-2005 19:17	4
TRS.AG01._3.47.trs.stderr	11-Apr-2005 19:17	1.6K
TRS.AG01._3.47.trs.stdout	11-Apr-2005 19:17	4
TRS.AG01._3.48.trs.stderr	11-Apr-2005 19:18	4.3K
TRS.AG01._3.48.trs.stdout	11-Apr-2005 19:18	4
TRS.AG01._3.49.trs.stderr	11-Apr-2005 19:20	0
TRS.AG01._3.49.trs.stdout	11-Apr-2005 19:21	10
TRS.AG01._3.51.trs.stderr	11-Apr-2005 19:23	3.2K
TRS.AG01._3.51.trs.stdout	11-Apr-2005 19:23	4
TRS.AG01._3.52.trs.stderr	11-Apr-2005 19:24	50
TRS.AG01._3.52.trs.stdout	11-Apr-2005 19:23	0
TRS.AG01._3.53.trs.stderr	11-Apr-2005 19:30	50
TRS.AG01._3.53.trs.stdout	11-Apr-2005 19:29	0
TRS.AG01._3.53a.trs.stderr	11-Apr-2005 19:26	1.3K
TRS.AG01._3.53a.trs.stdout	11-Apr-2005 19:26	4
TRS.AG01._3.53b.trs.stderr	11-Apr-2005 19:27	0
TRS.AG01._3.53b.trs.stdout	11-Apr-2005 19:27	10
TRS.AG01._3.54.trs.stderr	11-Apr-2005 19:31	0
TRS.AG01._3.54.trs.stdout	11-Apr-2005 19:32	10
TRS.AG01._3.55.trs.stderr	11-Apr-2005 19:33	0
TRS.AG01._3.55.trs.stdout	11-Apr-2005 19:34	10
TRS.AG01._3.56.trs.stderr	11-Apr-2005 19:36	0
TRS.AG01._3.56.trs.stdout	11-Apr-2005 19:37	10
TRS.AG01._3.57.trs.stderr	11-Apr-2005 19:38	0
TRS.AG01._3.57.trs.stdout	11-Apr-2005 19:39	10
TRS.AProVE.AAECC-ring.trs.stderr	11-Apr-2005 20:12	50
TRS.AProVE.AAECC-ring.trs.stdout	11-Apr-2005 20:11	0
TRS.AProVE.AAECC.trs.stderr	11-Apr-2005 20:16	50
TRS.AProVE.AAECC.trs.stdout	11-Apr-2005 20:15	0
TRS.AProVE.IJCAR_1.trs.stderr	11-Apr-2005 20:35	0
TRS.AProVE.IJCAR_1.trs.stdout	11-Apr-2005 20:36	10
TRS.AProVE.IJCAR_12.trs.stderr	11-Apr-2005 20:29	0
TRS.AProVE.IJCAR_12.trs.stdout	11-Apr-2005 20:30	10
TRS.AProVE.IJCAR_18.trs.stderr	11-Apr-2005 20:34	50
TRS.AProVE.IJCAR_18.trs.stdout	11-Apr-2005 20:33	0
TRS.AProVE.IJCAR_26.trs.stderr	11-Apr-2005 20:42	50
TRS.AProVE.IJCAR_26.trs.stdout	11-Apr-2005 20:41	0
TRS.AProVE.IJCAR_26a.trs.stderr	11-Apr-2005 20:38	0
TRS.AProVE.IJCAR_26a.trs.stdout	11-Apr-2005 20:39	10
TRS.AProVE.JFP_Ex17.trs.stderr	11-Apr-2005 20:45	4.3K
TRS.AProVE.JFP_Ex17.trs.stdout	11-Apr-2005 20:45	4
TRS.AProVE.JFP_Ex31.trs.stderr	11-Apr-2005 20:48	15K
TRS.AProVE.JFP_Ex31.trs.stdout	11-Apr-2005 20:48	4
TRS.AProVE.JFP_Ex51.trs.stderr	11-Apr-2005 20:50	0
TRS.AProVE.JFP_Ex51.trs.stdout	11-Apr-2005 20:51	10
TRS.AProVE.LPAR_intlist.trs.stderr	11-Apr-2005 21:07	0
TRS.AProVE.LPAR_intlist.trs.stdout	11-Apr-2005 21:08	10
TRS.AProVE.Liveness6.1.trs.stderr	11-Apr-2005 20:54	4.4K
TRS.AProVE.Liveness6.1.trs.stdout	11-Apr-2005 20:54	4
TRS.AProVE.Liveness6.2.trs.stderr	11-Apr-2005 20:55	3.6K
TRS.AProVE.Liveness6.2.trs.stdout	11-Apr-2005 20:55	4
TRS.AProVE.Liveness6.3.trs.stderr	11-Apr-2005 20:56	6.8K
TRS.AProVE.Liveness6.3.trs.stdout	11-Apr-2005 20:56	4
TRS.AProVE.Liveness6.4.trs.stderr	11-Apr-2005 21:00	0
TRS.AProVE.Liveness6.4.trs.stdout	11-Apr-2005 21:01	10
TRS.AProVE.Liveness8.trs.stderr	11-Apr-2005 21:04	39K
TRS.AProVE.Liveness8.trs.stdout	11-Apr-2005 21:04	4
TRS.AProVE.Liveness_WRS.trs.stderr	11-Apr-2005 21:06	11K
TRS.AProVE.Liveness_WRS.trs.stdout	11-Apr-2005 21:06	4
TRS.AProVE.fac.trs.stderr	11-Apr-2005 20:24	0
TRS.AProVE.fac.trs.stdout	11-Apr-2005 20:25	10
TRS.AProVE.forward_instantiation.trs.stderr	11-Apr-2005 20:27	2.6K
TRS.AProVE.forward_instantiation.trs.stdout	11-Apr-2005 20:27	4
TRS.AProVE.forward_instantiation2.trs.stderr	11-Apr-2005 20:26	2.7K
TRS.AProVE.forward_instantiation2.trs.stdout	11-Apr-2005 20:26	4
TRS.AProVE.improved_usable.trs.stderr	11-Apr-2005 20:44	2.3K
TRS.AProVE.improved_usable.trs.stdout	11-Apr-2005 20:44	4
TRS.AProVE.improved_usable2.trs.stderr	11-Apr-2005 20:43	1.7K
TRS.AProVE.improved_usable2.trs.stdout	11-Apr-2005 20:43	4
TRS.AProVE.rta1.trs.stderr	11-Apr-2005 21:09	0
TRS.AProVE.rta1.trs.stdout	11-Apr-2005 21:10	10
TRS.AProVE.rta2.trs.stderr	11-Apr-2005 21:11	780
TRS.AProVE.rta2.trs.stdout	11-Apr-2005 21:11	4
TRS.AProVE.rta3.trs.stderr	11-Apr-2005 21:12	0
TRS.AProVE.rta3.trs.stdout	11-Apr-2005 21:13	10
TRS.CSR.Ex1_2_AEL03.trs.stderr	11-Apr-2005 22:27	96
TRS.CSR.Ex1_2_AEL03.trs.stdout	11-Apr-2005 22:27	0
TRS.CSR.Ex1_2_Luc02c.trs.stderr	11-Apr-2005 22:28	96
TRS.CSR.Ex1_2_Luc02c.trs.stdout	11-Apr-2005 22:28	0
TRS.CSR.Ex1_GL02a.trs.stderr	11-Apr-2005 22:30	96
TRS.CSR.Ex1_GL02a.trs.stdout	11-Apr-2005 22:30	0
TRS.CSR.Ex1_GM03.trs.stderr	11-Apr-2005 22:32	96
TRS.CSR.Ex1_GM03.trs.stdout	11-Apr-2005 22:32	0
TRS.CSR.Ex1_GM99.trs.stderr	11-Apr-2005 22:33	96
TRS.CSR.Ex1_GM99.trs.stdout	11-Apr-2005 22:33	0
TRS.CSR.Ex1_Luc02b.trs.stderr	11-Apr-2005 22:34	96
TRS.CSR.Ex1_Luc02b.trs.stdout	11-Apr-2005 22:34	0
TRS.CSR.Ex1_Zan97.trs.stderr	11-Apr-2005 22:35	96
TRS.CSR.Ex1_Zan97.trs.stdout	11-Apr-2005 22:35	0
TRS.CSR.Ex2_Luc02a.trs.stderr	11-Apr-2005 22:37	96
TRS.CSR.Ex2_Luc02a.trs.stdout	11-Apr-2005 22:37	0
TRS.CSR.Ex2_Luc03b.trs.stderr	11-Apr-2005 22:38	96
TRS.CSR.Ex2_Luc03b.trs.stdout	11-Apr-2005 22:38	0
TRS.CSR.Ex3_2_Luc97.trs.stderr	11-Apr-2005 22:41	96
TRS.CSR.Ex3_2_Luc97.trs.stdout	11-Apr-2005 22:41	0
TRS.CSR.Ex3_3_25_Bor03.trs.stderr	11-Apr-2005 22:42	96
TRS.CSR.Ex3_3_25_Bor03.trs.stdout	11-Apr-2005 22:42	0
TRS.CSR.Ex3_12_Luc96a.trs.stderr	11-Apr-2005 22:39	96
TRS.CSR.Ex3_12_Luc96a.trs.stdout	11-Apr-2005 22:39	0
TRS.CSR.Ex4_4_Luc96b.trs.stderr	11-Apr-2005 22:42	96
TRS.CSR.Ex4_4_Luc96b.trs.stdout	11-Apr-2005 22:42	0
TRS.CSR.Ex4_7_15_Bor03.trs.stderr	11-Apr-2005 22:43	96
TRS.CSR.Ex4_7_15_Bor03.trs.stdout	11-Apr-2005 22:43	0
TRS.CSR.Ex4_7_37_Bor03.trs.stderr	11-Apr-2005 22:44	96
TRS.CSR.Ex4_7_37_Bor03.trs.stdout	11-Apr-2005 22:44	0
TRS.CSR.Ex4_7_56_Bor03.trs.stderr	11-Apr-2005 22:45	96
TRS.CSR.Ex4_7_56_Bor03.trs.stdout	11-Apr-2005 22:45	0
TRS.CSR.Ex4_7_77_Bor03.trs.stderr	11-Apr-2005 22:45	96
TRS.CSR.Ex4_7_77_Bor03.trs.stdout	11-Apr-2005 22:45	0
TRS.CSR.Ex4_Zan97.trs.stderr	11-Apr-2005 22:47	96
TRS.CSR.Ex4_Zan97.trs.stdout	11-Apr-2005 22:47	0
TRS.CSR.Ex5_7_Luc97.trs.stderr	11-Apr-2005 22:49	96
TRS.CSR.Ex5_7_Luc97.trs.stdout	11-Apr-2005 22:49	0
TRS.CSR.Ex5_Zan97.trs.stderr	11-Apr-2005 22:49	96
TRS.CSR.Ex5_Zan97.trs.stdout	11-Apr-2005 22:49	0
TRS.CSR.Ex6_9_Luc02c.trs.stderr	11-Apr-2005 22:52	96
TRS.CSR.Ex6_9_Luc02c.trs.stdout	11-Apr-2005 22:52	0
TRS.CSR.Ex6_15_AEL02.trs.stderr	11-Apr-2005 22:51	96
TRS.CSR.Ex6_15_AEL02.trs.stdout	11-Apr-2005 22:51	0
TRS.CSR.Ex6_GM04.trs.stderr	11-Apr-2005 22:52	96
TRS.CSR.Ex6_GM04.trs.stdout	11-Apr-2005 22:52	0
TRS.CSR.Ex6_Luc98.trs.stderr	11-Apr-2005 22:53	96
TRS.CSR.Ex6_Luc98.trs.stdout	11-Apr-2005 22:53	0
TRS.CSR.Ex7_BLR02.trs.stderr	11-Apr-2005 22:54	96
TRS.CSR.Ex7_BLR02.trs.stdout	11-Apr-2005 22:54	0
TRS.CSR.Ex8_BLR02.trs.stderr	11-Apr-2005 22:55	96
TRS.CSR.Ex8_BLR02.trs.stdout	11-Apr-2005 22:55	0
TRS.CSR.Ex9_BLR02.trs.stderr	11-Apr-2005 22:56	96
TRS.CSR.Ex9_BLR02.trs.stdout	11-Apr-2005 22:56	0
TRS.CSR.Ex14_AEGL02.trs.stderr	11-Apr-2005 22:28	96
TRS.CSR.Ex14_AEGL02.trs.stdout	11-Apr-2005 22:28	0
TRS.CSR.Ex15_Luc98.trs.stderr	11-Apr-2005 22:29	96
TRS.CSR.Ex15_Luc98.trs.stdout	11-Apr-2005 22:29	0
TRS.CSR.Ex24_GM04.trs.stderr	11-Apr-2005 22:36	96
TRS.CSR.Ex24_GM04.trs.stdout	11-Apr-2005 22:36	0
TRS.CSR.Ex49_GM04.trs.stderr	11-Apr-2005 22:46	96
TRS.CSR.Ex49_GM04.trs.stdout	11-Apr-2005 22:46	0
TRS.CSR.ExAppendixB_AEL03.trs.stderr	11-Apr-2005 22:57	96
TRS.CSR.ExAppendixB_AEL03.trs.stdout	11-Apr-2005 22:57	0
TRS.CSR.ExConc_Zan97.trs.stderr	11-Apr-2005 22:57	96
TRS.CSR.ExConc_Zan97.trs.stdout	11-Apr-2005 22:57	0
TRS.CSR.ExIntrod_GM01.trs.stderr	11-Apr-2005 22:59	96
TRS.CSR.ExIntrod_GM01.trs.stdout	11-Apr-2005 22:59	0
TRS.CSR.ExIntrod_GM04.trs.stderr	11-Apr-2005 23:00	96
TRS.CSR.ExIntrod_GM04.trs.stdout	11-Apr-2005 23:00	0
TRS.CSR.ExIntrod_GM99.trs.stderr	11-Apr-2005 23:03	96
TRS.CSR.ExIntrod_GM99.trs.stdout	11-Apr-2005 23:03	0
TRS.CSR.ExIntrod_Zan97.trs.stderr	11-Apr-2005 23:05	96
TRS.CSR.ExIntrod_Zan97.trs.stdout	11-Apr-2005 23:05	0
TRS.Cime.ack_prolog.trs.stderr	11-Apr-2005 21:18	0
TRS.Cime.ack_prolog.trs.stdout	11-Apr-2005 21:18	10
TRS.Cime.append-hard.trs.stderr	11-Apr-2005 21:24	0
TRS.Cime.append-hard.trs.stdout	11-Apr-2005 21:24	10
TRS.Cime.append-wrong.trs.stderr	11-Apr-2005 21:27	0
TRS.Cime.append-wrong.trs.stdout	11-Apr-2005 21:28	10
TRS.Cime.append.trs.stderr	11-Apr-2005 21:26	0
TRS.Cime.append.trs.stdout	11-Apr-2005 21:26	10
TRS.Cime.big.trs.stderr	11-Apr-2005 21:31	50
TRS.Cime.big.trs.stdout	11-Apr-2005 21:30	0
TRS.Cime.boolean_rings.trs.stderr	11-Apr-2005 21:33	1.6K
TRS.Cime.boolean_rings.trs.stdout	11-Apr-2005 21:33	4
TRS.Cime.dpqs.trs.stderr	11-Apr-2005 21:33	2.6K
TRS.Cime.dpqs.trs.stdout	11-Apr-2005 21:33	4
TRS.Cime.fact-hard.trs.stderr	11-Apr-2005 21:35	0
TRS.Cime.fact-hard.trs.stdout	11-Apr-2005 21:36	10
TRS.Cime.filliatre.trs.stderr	11-Apr-2005 21:46	50
TRS.Cime.filliatre.trs.stdout	11-Apr-2005 21:45	0
TRS.Cime.filliatre2.trs.stderr	11-Apr-2005 21:39	50
TRS.Cime.filliatre2.trs.stdout	11-Apr-2005 21:38	0
TRS.Cime.filliatre3.trs.stderr	11-Apr-2005 21:42	50
TRS.Cime.filliatre3.trs.stdout	11-Apr-2005 21:41	0
TRS.Cime.intersect.trs.stderr	11-Apr-2005 21:47	0
TRS.Cime.intersect.trs.stdout	11-Apr-2005 21:48	10
TRS.Cime.list-sum-prod-assoc-append.trs.stderr	11-Apr-2005 21:50	1.8K
TRS.Cime.list-sum-prod-assoc-append.trs.stdout	11-Apr-2005 21:50	4
TRS.Cime.list-sum-prod-assoc.trs.stderr	11-Apr-2005 21:51	1.5K
TRS.Cime.list-sum-prod-assoc.trs.stdout	11-Apr-2005 21:51	4
TRS.Cime.list-sum-prod-bin-assoc-distr-app.trs.stderr	11-Apr-2005 21:52	0
TRS.Cime.list-sum-prod-bin-assoc-distr-app.trs.stdout	11-Apr-2005 21:53	10
TRS.Cime.list-sum-prod-bin-assoc.trs.stderr	11-Apr-2005 21:55	0
TRS.Cime.list-sum-prod-bin-assoc.trs.stdout	11-Apr-2005 21:56	10
TRS.Cime.list-sum-prod-bin.trs.stderr	11-Apr-2005 21:58	0
TRS.Cime.list-sum-prod-bin.trs.stdout	11-Apr-2005 21:59	10
TRS.Cime.list-sum-prod.trs.stderr	11-Apr-2005 22:01	1.4K
TRS.Cime.list-sum-prod.trs.stdout	11-Apr-2005 22:01	4
TRS.Cime.log2.trs.stderr	11-Apr-2005 22:03	0
TRS.Cime.log2.trs.stdout	11-Apr-2005 22:03	10
TRS.Cime.lse.trs.stderr	11-Apr-2005 22:05	0
TRS.Cime.lse.trs.stdout	11-Apr-2005 22:06	10
TRS.Cime.maude2.trs.stderr	11-Apr-2005 22:11	71
TRS.Cime.maude2.trs.stdout	11-Apr-2005 22:10	0
TRS.Cime.mucrl1.trs.stderr	11-Apr-2005 22:15	50
TRS.Cime.mucrl1.trs.stdout	11-Apr-2005 22:14	0
TRS.Cime.quick.trs.stderr	11-Apr-2005 22:18	50
TRS.Cime.quick.trs.stdout	11-Apr-2005 22:17	0
TRS.Cime.ternary-hard.trs.stderr	11-Apr-2005 22:20	0
TRS.Cime.ternary-hard.trs.stdout	11-Apr-2005 22:21	10
TRS.Cime.ternary.trs.stderr	11-Apr-2005 22:23	0
TRS.Cime.ternary.trs.stdout	11-Apr-2005 22:24	10
TRS.Cime.tree.trs.stderr	11-Apr-2005 22:25	0
TRS.Cime.tree.trs.stdout	11-Apr-2005 22:26	10
TRS.D33.01.trs.stderr	11-Apr-2005 23:05	1.3K
TRS.D33.01.trs.stdout	11-Apr-2005 23:05	4
TRS.D33.02.trs.stderr	11-Apr-2005 23:05	1.1K
TRS.D33.02.trs.stdout	11-Apr-2005 23:05	4
TRS.D33.03.trs.stderr	11-Apr-2005 23:05	718
TRS.D33.03.trs.stdout	11-Apr-2005 23:05	4
TRS.D33.04.trs.stderr	11-Apr-2005 23:06	1.0K
TRS.D33.04.trs.stdout	11-Apr-2005 23:06	4
TRS.D33.06.trs.stderr	11-Apr-2005 23:06	746
TRS.D33.06.trs.stdout	11-Apr-2005 23:06	4
TRS.D33.07.trs.stderr	11-Apr-2005 23:07	780
TRS.D33.07.trs.stdout	11-Apr-2005 23:07	4
TRS.D33.08.trs.stderr	11-Apr-2005 23:08	1.2K
TRS.D33.08.trs.stdout	11-Apr-2005 23:08	4
TRS.D33.09.trs.stderr	11-Apr-2005 23:08	824
TRS.D33.09.trs.stdout	11-Apr-2005 23:08	4
TRS.D33.11.trs.stderr	11-Apr-2005 23:09	1.6K
TRS.D33.11.trs.stdout	11-Apr-2005 23:09	4
TRS.D33.12.trs.stderr	11-Apr-2005 23:10	0
TRS.D33.12.trs.stdout	11-Apr-2005 23:11	10
TRS.D33.13.trs.stderr	11-Apr-2005 23:13	1.5K
TRS.D33.13.trs.stdout	11-Apr-2005 23:13	4
TRS.D33.17.trs.stderr	11-Apr-2005 23:14	1.2K
TRS.D33.17.trs.stdout	11-Apr-2005 23:14	4
TRS.D33.18.trs.stderr	11-Apr-2005 23:15	856
TRS.D33.18.trs.stdout	11-Apr-2005 23:15	4
TRS.D33.20.trs.stderr	11-Apr-2005 23:16	1.9K
TRS.D33.20.trs.stdout	11-Apr-2005 23:16	4
TRS.D33.21.trs.stderr	11-Apr-2005 23:17	0
TRS.D33.21.trs.stdout	11-Apr-2005 23:18	10
TRS.D33.27.trs.stderr	12-Apr-2005 09:21	1.0K
TRS.D33.27.trs.stdout	12-Apr-2005 09:21	4
TRS.D33.28.trs.stderr	12-Apr-2005 09:22	847
TRS.D33.28.trs.stdout	12-Apr-2005 09:22	4
TRS.D33.30.trs.stderr	12-Apr-2005 09:23	849
TRS.D33.30.trs.stdout	12-Apr-2005 09:23	4
TRS.D33.31.trs.stderr	12-Apr-2005 09:25	2.5K
TRS.D33.31.trs.stdout	12-Apr-2005 09:25	4
TRS.D33.32.trs.stderr	12-Apr-2005 09:27	50
TRS.D33.32.trs.stdout	12-Apr-2005 09:26	0
TRS.D33.33.trs.stderr	12-Apr-2005 09:30	0
TRS.D33.33.trs.stdout	12-Apr-2005 09:31	10
TRS.HM.n002.trs.stderr	12-Apr-2005 09:32	701
TRS.HM.n002.trs.stdout	12-Apr-2005 09:32	3
TRS.HM.n003.trs.stderr	12-Apr-2005 09:32	0
TRS.HM.n003.trs.stdout	12-Apr-2005 09:32	10
TRS.HM.n004.trs.stderr	12-Apr-2005 09:32	701
TRS.HM.n004.trs.stdout	12-Apr-2005 09:32	3
TRS.HM.n005.trs.stderr	12-Apr-2005 09:32	707
TRS.HM.n005.trs.stdout	12-Apr-2005 09:32	3
TRS.HM.n006.trs.stderr	12-Apr-2005 09:32	0
TRS.HM.n006.trs.stdout	12-Apr-2005 09:32	10
TRS.HM.n007.trs.stderr	12-Apr-2005 09:32	0
TRS.HM.n007.trs.stdout	12-Apr-2005 09:32	10
TRS.HM.n008.trs.stderr	12-Apr-2005 09:32	711
TRS.HM.n008.trs.stdout	12-Apr-2005 09:32	3
TRS.HM.t000.trs.stderr	12-Apr-2005 09:33	8.1K
TRS.HM.t000.trs.stdout	12-Apr-2005 09:33	4
TRS.HM.t001.trs.stderr	12-Apr-2005 09:35	0
TRS.HM.t001.trs.stdout	12-Apr-2005 09:35	10
TRS.HM.t002.trs.stderr	12-Apr-2005 09:38	0
TRS.HM.t002.trs.stdout	12-Apr-2005 09:38	10
TRS.HM.t003.trs.stderr	12-Apr-2005 09:40	0
TRS.HM.t003.trs.stdout	12-Apr-2005 09:41	10
TRS.HM.t004.trs.stderr	12-Apr-2005 09:42	0
TRS.HM.t004.trs.stdout	12-Apr-2005 09:42	10
TRS.HM.t005.trs.stderr	12-Apr-2005 09:43	0
TRS.HM.t005.trs.stdout	12-Apr-2005 09:44	10
TRS.HM.t006.trs.stderr	12-Apr-2005 09:46	743
TRS.HM.t006.trs.stdout	12-Apr-2005 09:46	4
TRS.HM.t007.trs.stderr	12-Apr-2005 09:46	1.3K
TRS.HM.t007.trs.stdout	12-Apr-2005 09:46	4
TRS.HM.t008.trs.stderr	12-Apr-2005 09:47	0
TRS.HM.t008.trs.stdout	12-Apr-2005 09:47	10
TRS.HM.t009.trs.stderr	12-Apr-2005 09:51	50
TRS.HM.t009.trs.stdout	12-Apr-2005 09:50	0
TRS.HM.t010.trs.stderr	12-Apr-2005 09:53	1.1K
TRS.HM.t010.trs.stdout	12-Apr-2005 09:53	4
TRS.HM.t011.trs.stderr	12-Apr-2005 09:54	0
TRS.HM.t011.trs.stdout	12-Apr-2005 09:55	10
TRS.HM.t012.trs.stderr	12-Apr-2005 09:56	0
TRS.HM.t012.trs.stdout	12-Apr-2005 09:56	10
TRS.HM.t013.trs.stderr	12-Apr-2005 09:58	1.9K
TRS.HM.t013.trs.stdout	12-Apr-2005 09:58	4
TRS.HM.t014.trs.stderr	12-Apr-2005 09:59	0
TRS.HM.t014.trs.stdout	12-Apr-2005 09:59	10
TRS.HofWald.1.trs.stderr	12-Apr-2005 09:59	2.1K
TRS.HofWald.1.trs.stdout	12-Apr-2005 09:59	4
TRS.HofWald.2.trs.stderr	12-Apr-2005 09:59	2.4K
TRS.HofWald.2.trs.stdout	12-Apr-2005 09:59	4
TRS.HofWald.3.trs.stderr	12-Apr-2005 10:00	23K
TRS.HofWald.3.trs.stdout	12-Apr-2005 10:00	4
TRS.HofWald.4.trs.stderr	12-Apr-2005 10:01	5.4K
TRS.HofWald.4.trs.stdout	12-Apr-2005 10:01	4
TRS.HofWald.5.trs.stderr	12-Apr-2005 10:01	2.0K
TRS.HofWald.5.trs.stdout	12-Apr-2005 10:01	4
TRS.HofWald.6.trs.stderr	12-Apr-2005 10:01	0
TRS.HofWald.6.trs.stdout	12-Apr-2005 10:02	10
TRS.HofWald.7.trs.stderr	12-Apr-2005 10:05	0
TRS.HofWald.7.trs.stdout	12-Apr-2005 10:05	10
TRS.LJB01.jones1.trs.stderr	12-Apr-2005 10:06	1.1K
TRS.LJB01.jones1.trs.stdout	12-Apr-2005 10:06	4
TRS.LJB01.jones2.trs.stderr	12-Apr-2005 10:07	1.6K
TRS.LJB01.jones2.trs.stdout	12-Apr-2005 10:07	4
TRS.LJB01.jones4.trs.stderr	12-Apr-2005 10:08	1.1K
TRS.LJB01.jones4.trs.stdout	12-Apr-2005 10:08	4
TRS.LJB01.jones5.trs.stderr	12-Apr-2005 10:09	1.1K
TRS.LJB01.jones5.trs.stdout	12-Apr-2005 10:09	4
TRS.LJB01.jones6.trs.stderr	12-Apr-2005 10:10	1.1K
TRS.LJB01.jones6.trs.stdout	12-Apr-2005 10:10	4
TRS.Rubio.ackclaude.trs.stderr	12-Apr-2005 10:37	0
TRS.Rubio.ackclaude.trs.stdout	12-Apr-2005 10:38	10
TRS.Rubio.aoto.trs.stderr	12-Apr-2005 10:39	1.3K
TRS.Rubio.aoto.trs.stdout	12-Apr-2005 10:39	4
TRS.Rubio.bintrees.trs.stderr	12-Apr-2005 10:40	2.0K
TRS.Rubio.bintrees.trs.stdout	12-Apr-2005 10:40	4
TRS.Rubio.bn122.trs.stderr	12-Apr-2005 10:41	1.0K
TRS.Rubio.bn122.trs.stdout	12-Apr-2005 10:41	4
TRS.Rubio.bn129.trs.stderr	12-Apr-2005 10:42	0
TRS.Rubio.bn129.trs.stdout	12-Apr-2005 10:43	10
TRS.Rubio.division.trs.stderr	12-Apr-2005 10:45	50
TRS.Rubio.division.trs.stdout	12-Apr-2005 10:44	0
TRS.Rubio.elimdupl.trs.stderr	12-Apr-2005 10:46	0
TRS.Rubio.elimdupl.trs.stdout	12-Apr-2005 10:47	10
TRS.Rubio.enno.trs.stderr	12-Apr-2005 10:50	50
TRS.Rubio.enno.trs.stdout	12-Apr-2005 10:49	0
TRS.Rubio.gcd.trs.stderr	12-Apr-2005 10:52	0
TRS.Rubio.gcd.trs.stdout	12-Apr-2005 10:52	10
TRS.Rubio.gm.trs.stderr	12-Apr-2005 10:55	71
TRS.Rubio.gm.trs.stdout	12-Apr-2005 10:55	0
TRS.Rubio.gmnp.trs.stderr	12-Apr-2005 10:54	2.3K
TRS.Rubio.gmnp.trs.stdout	12-Apr-2005 10:54	4
TRS.Rubio.koen.trs.stderr	12-Apr-2005 10:57	1.2K
TRS.Rubio.koen.trs.stdout	12-Apr-2005 10:57	4
TRS.Rubio.lescanne.trs.stderr	12-Apr-2005 10:58	1.3K
TRS.Rubio.lescanne.trs.stdout	12-Apr-2005 10:58	4
TRS.Rubio.lindau.trs.stderr	12-Apr-2005 10:58	2.6K
TRS.Rubio.lindau.trs.stdout	12-Apr-2005 10:58	4
TRS.Rubio.logarquot.trs.stderr	12-Apr-2005 10:59	0
TRS.Rubio.logarquot.trs.stdout	12-Apr-2005 11:00	10
TRS.Rubio.ma96.trs.stderr	12-Apr-2005 11:02	50
TRS.Rubio.ma96.trs.stdout	12-Apr-2005 11:01	0
TRS.Rubio.mfp90b.trs.stderr	12-Apr-2005 11:03	1.0K
TRS.Rubio.mfp90b.trs.stdout	12-Apr-2005 11:03	4
TRS.Rubio.mfp95.trs.stderr	12-Apr-2005 11:03	771
TRS.Rubio.mfp95.trs.stdout	12-Apr-2005 11:03	4
TRS.Rubio.nestrec.trs.stderr	12-Apr-2005 11:03	1.7K
TRS.Rubio.nestrec.trs.stdout	12-Apr-2005 11:03	4
TRS.Rubio.p266.trs.stderr	12-Apr-2005 11:03	1.2K
TRS.Rubio.p266.trs.stdout	12-Apr-2005 11:03	4
TRS.Rubio.polo2.trs.stderr	12-Apr-2005 11:06	2.1K
TRS.Rubio.polo2.trs.stdout	12-Apr-2005 11:06	4
TRS.Rubio.prov.trs.stderr	12-Apr-2005 11:07	2.3K
TRS.Rubio.prov.trs.stdout	12-Apr-2005 11:07	4
TRS.Rubio.quick.trs.stderr	12-Apr-2005 11:08	0
TRS.Rubio.quick.trs.stdout	12-Apr-2005 11:09	10
TRS.Rubio.quotminus.trs.stderr	12-Apr-2005 11:11	0
TRS.Rubio.quotminus.trs.stdout	12-Apr-2005 11:12	10
TRS.Rubio.revlist.trs.stderr	12-Apr-2005 11:13	0
TRS.Rubio.revlist.trs.stdout	12-Apr-2005 11:14	10
TRS.Rubio.selsort.trs.stderr	12-Apr-2005 11:17	50
TRS.Rubio.selsort.trs.stdout	12-Apr-2005 11:16	0
TRS.Rubio.test4.trs.stderr	12-Apr-2005 11:18	2.0K
TRS.Rubio.test4.trs.stdout	12-Apr-2005 11:18	4
TRS.Rubio.test829.trs.stderr	12-Apr-2005 11:18	912
TRS.Rubio.test829.trs.stdout	12-Apr-2005 11:18	4
TRS.Rubio.wst99.trs.stderr	12-Apr-2005 11:19	12K
TRS.Rubio.wst99.trs.stdout	12-Apr-2005 11:19	4
TRS.SK90.2.01.trs.stderr	12-Apr-2005 11:21	1.2K
TRS.SK90.2.01.trs.stdout	12-Apr-2005 11:21	4
TRS.SK90.2.02.trs.stderr	12-Apr-2005 11:22	1.1K
TRS.SK90.2.02.trs.stdout	12-Apr-2005 11:22	4
TRS.SK90.2.03.trs.stderr	12-Apr-2005 11:22	1.0K
TRS.SK90.2.03.trs.stdout	12-Apr-2005 11:22	4
TRS.SK90.2.04.trs.stderr	12-Apr-2005 11:23	948
TRS.SK90.2.04.trs.stdout	12-Apr-2005 11:23	4
TRS.SK90.2.05.trs.stderr	12-Apr-2005 11:23	0
TRS.SK90.2.05.trs.stdout	12-Apr-2005 11:23	10
TRS.SK90.2.06.trs.stderr	12-Apr-2005 11:25	1.1K
TRS.SK90.2.06.trs.stdout	12-Apr-2005 11:25	4
TRS.SK90.2.07.trs.stderr	12-Apr-2005 11:26	1.2K
TRS.SK90.2.07.trs.stdout	12-Apr-2005 11:26	4
TRS.SK90.2.08.trs.stderr	12-Apr-2005 11:27	2.0K
TRS.SK90.2.08.trs.stdout	12-Apr-2005 11:27	4
TRS.SK90.2.09.trs.stderr	12-Apr-2005 11:27	1.0K
TRS.SK90.2.09.trs.stdout	12-Apr-2005 11:27	4
TRS.SK90.2.10.trs.stderr	12-Apr-2005 11:28	1.2K
TRS.SK90.2.10.trs.stdout	12-Apr-2005 11:28	4
TRS.SK90.2.11.trs.stderr	12-Apr-2005 11:28	1.0K
TRS.SK90.2.11.trs.stdout	12-Apr-2005 11:28	4
TRS.SK90.2.12.trs.stderr	12-Apr-2005 11:29	1.3K
TRS.SK90.2.12.trs.stdout	12-Apr-2005 11:29	4
TRS.SK90.2.13.trs.stderr	12-Apr-2005 11:31	1.1K
TRS.SK90.2.13.trs.stdout	12-Apr-2005 11:31	4
TRS.SK90.2.14.trs.stderr	12-Apr-2005 11:31	1.3K
TRS.SK90.2.14.trs.stdout	12-Apr-2005 11:31	4
TRS.SK90.2.15.trs.stderr	12-Apr-2005 11:31	1.0K
TRS.SK90.2.15.trs.stdout	12-Apr-2005 11:31	4
TRS.SK90.2.16.trs.stderr	12-Apr-2005 11:32	1.2K
TRS.SK90.2.16.trs.stdout	12-Apr-2005 11:32	4
TRS.SK90.2.17.trs.stderr	12-Apr-2005 11:32	1.1K
TRS.SK90.2.17.trs.stdout	12-Apr-2005 11:32	4
TRS.SK90.2.18.trs.stderr	12-Apr-2005 11:33	1.0K
TRS.SK90.2.18.trs.stdout	12-Apr-2005 11:33	4
TRS.SK90.2.19.trs.stderr	12-Apr-2005 11:34	1.3K
TRS.SK90.2.19.trs.stdout	12-Apr-2005 11:34	4
TRS.SK90.2.20.trs.stderr	12-Apr-2005 11:34	1.1K
TRS.SK90.2.20.trs.stdout	12-Apr-2005 11:34	4
TRS.SK90.2.21.trs.stderr	12-Apr-2005 11:35	1.0K
TRS.SK90.2.21.trs.stdout	12-Apr-2005 11:35	4
TRS.SK90.2.22.trs.stderr	12-Apr-2005 11:36	1.2K
TRS.SK90.2.22.trs.stdout	12-Apr-2005 11:36	4
TRS.SK90.2.23.trs.stderr	12-Apr-2005 11:37	1.4K
TRS.SK90.2.23.trs.stdout	12-Apr-2005 11:37	4
TRS.SK90.2.24.trs.stderr	12-Apr-2005 11:37	1.0K
TRS.SK90.2.24.trs.stdout	12-Apr-2005 11:37	4
TRS.SK90.2.25.trs.stderr	12-Apr-2005 11:38	1.1K
TRS.SK90.2.25.trs.stdout	12-Apr-2005 11:38	4
TRS.SK90.2.26.trs.stderr	12-Apr-2005 11:39	1.6K
TRS.SK90.2.26.trs.stdout	12-Apr-2005 11:39	4
TRS.SK90.2.27.trs.stderr	12-Apr-2005 11:40	1.5K
TRS.SK90.2.27.trs.stdout	12-Apr-2005 11:40	4
TRS.SK90.2.28.trs.stderr	12-Apr-2005 11:41	840
TRS.SK90.2.28.trs.stdout	12-Apr-2005 11:41	4
TRS.SK90.2.29.trs.stderr	12-Apr-2005 11:42	1.5K
TRS.SK90.2.29.trs.stdout	12-Apr-2005 11:42	4
TRS.SK90.2.30.trs.stderr	12-Apr-2005 11:42	1.3K
TRS.SK90.2.30.trs.stdout	12-Apr-2005 11:42	4
TRS.SK90.2.31.trs.stderr	12-Apr-2005 11:43	1.2K
TRS.SK90.2.31.trs.stdout	12-Apr-2005 11:43	4
TRS.SK90.2.32.trs.stderr	12-Apr-2005 11:44	1.6K
TRS.SK90.2.32.trs.stdout	12-Apr-2005 11:44	4
TRS.SK90.2.33.trs.stderr	12-Apr-2005 11:45	1.1K
TRS.SK90.2.33.trs.stdout	12-Apr-2005 11:45	4
TRS.SK90.2.34.trs.stderr	12-Apr-2005 11:46	1.0K
TRS.SK90.2.34.trs.stdout	12-Apr-2005 11:46	4
TRS.SK90.2.35.trs.stderr	12-Apr-2005 11:47	1.6K
TRS.SK90.2.35.trs.stdout	12-Apr-2005 11:47	4
TRS.SK90.2.36.trs.stderr	12-Apr-2005 11:48	1.5K
TRS.SK90.2.36.trs.stdout	12-Apr-2005 11:48	4
TRS.SK90.2.37.trs.stderr	12-Apr-2005 11:48	904
TRS.SK90.2.37.trs.stdout	12-Apr-2005 11:48	4
TRS.SK90.2.38.trs.stderr	12-Apr-2005 11:48	1.1K
TRS.SK90.2.38.trs.stdout	12-Apr-2005 11:48	4
TRS.SK90.2.39.trs.stderr	12-Apr-2005 11:49	1.3K
TRS.SK90.2.39.trs.stdout	12-Apr-2005 11:49	4
TRS.SK90.2.40.trs.stderr	12-Apr-2005 11:50	1.3K
TRS.SK90.2.40.trs.stdout	12-Apr-2005 11:50	4
TRS.SK90.2.41.trs.stderr	12-Apr-2005 11:51	1.3K
TRS.SK90.2.41.trs.stdout	12-Apr-2005 11:51	4
TRS.SK90.2.42.trs.stderr	12-Apr-2005 11:52	1.6K
TRS.SK90.2.42.trs.stdout	12-Apr-2005 11:52	4
TRS.SK90.2.43.trs.stderr	12-Apr-2005 11:53	1.4K
TRS.SK90.2.43.trs.stdout	12-Apr-2005 11:53	4
TRS.SK90.2.44.trs.stderr	12-Apr-2005 11:54	0
TRS.SK90.2.44.trs.stdout	12-Apr-2005 11:55	10
TRS.SK90.2.45.trs.stderr	12-Apr-2005 11:56	1.3K
TRS.SK90.2.45.trs.stdout	12-Apr-2005 11:56	4
TRS.SK90.2.46.trs.stderr	12-Apr-2005 11:57	1.1K
TRS.SK90.2.46.trs.stdout	12-Apr-2005 11:57	4
TRS.SK90.2.47.trs.stderr	12-Apr-2005 11:57	734
TRS.SK90.2.47.trs.stdout	12-Apr-2005 11:57	4
TRS.SK90.2.48.trs.stderr	12-Apr-2005 11:57	1.0K
TRS.SK90.2.48.trs.stdout	12-Apr-2005 11:57	4
TRS.SK90.2.49.trs.stderr	12-Apr-2005 11:58	1.2K
TRS.SK90.2.49.trs.stdout	12-Apr-2005 11:58	4
TRS.SK90.2.50.trs.stderr	12-Apr-2005 11:58	721
TRS.SK90.2.50.trs.stdout	12-Apr-2005 11:58	4
TRS.SK90.2.51.trs.stderr	12-Apr-2005 11:59	1.0K
TRS.SK90.2.51.trs.stdout	12-Apr-2005 11:59	4
TRS.SK90.2.52.trs.stderr	12-Apr-2005 12:00	0
TRS.SK90.2.52.trs.stdout	12-Apr-2005 12:01	10
TRS.SK90.2.53.trs.stderr	12-Apr-2005 12:01	1.2K
TRS.SK90.2.53.trs.stdout	12-Apr-2005 12:01	4
TRS.SK90.2.54.trs.stderr	12-Apr-2005 12:01	937
TRS.SK90.2.54.trs.stdout	12-Apr-2005 12:01	4
TRS.SK90.2.55.trs.stderr	12-Apr-2005 12:01	943
TRS.SK90.2.55.trs.stdout	12-Apr-2005 12:01	4
TRS.SK90.2.56.trs.stderr	12-Apr-2005 12:01	947
TRS.SK90.2.56.trs.stdout	12-Apr-2005 12:01	4
TRS.SK90.2.57.trs.stderr	12-Apr-2005 12:01	885
TRS.SK90.2.57.trs.stdout	12-Apr-2005 12:01	4
TRS.SK90.2.58.trs.stderr	12-Apr-2005 12:02	1.5K
TRS.SK90.2.58.trs.stdout	12-Apr-2005 12:02	4
TRS.SK90.2.59.trs.stderr	12-Apr-2005 12:03	835
TRS.SK90.2.59.trs.stdout	12-Apr-2005 12:03	4
TRS.SK90.2.60.trs.stderr	12-Apr-2005 12:03	895
TRS.SK90.2.60.trs.stdout	12-Apr-2005 12:03	4
TRS.SK90.2.61.trs.stderr	12-Apr-2005 12:04	2.8K
TRS.SK90.2.61.trs.stdout	12-Apr-2005 12:04	4
TRS.SK90.4.01.trs.stderr	12-Apr-2005 12:04	1.1K
TRS.SK90.4.01.trs.stdout	12-Apr-2005 12:04	4
TRS.SK90.4.02.trs.stderr	12-Apr-2005 12:05	2.3K
TRS.SK90.4.02.trs.stdout	12-Apr-2005 12:05	4
TRS.SK90.4.03.trs.stderr	12-Apr-2005 12:06	1.3K
TRS.SK90.4.03.trs.stdout	12-Apr-2005 12:06	4
TRS.SK90.4.04.trs.stderr	12-Apr-2005 12:07	886
TRS.SK90.4.04.trs.stdout	12-Apr-2005 12:07	4
TRS.SK90.4.05.trs.stderr	12-Apr-2005 12:08	921
TRS.SK90.4.05.trs.stdout	12-Apr-2005 12:08	4
TRS.SK90.4.06.trs.stderr	12-Apr-2005 12:08	0
TRS.SK90.4.06.trs.stdout	12-Apr-2005 12:09	10
TRS.SK90.4.07.trs.stderr	12-Apr-2005 12:10	1.0K
TRS.SK90.4.07.trs.stdout	12-Apr-2005 12:10	4
TRS.SK90.4.08.trs.stderr	12-Apr-2005 12:10	839
TRS.SK90.4.08.trs.stdout	12-Apr-2005 12:10	4
TRS.SK90.4.09.trs.stderr	12-Apr-2005 12:11	1.1K
TRS.SK90.4.09.trs.stdout	12-Apr-2005 12:11	4
TRS.SK90.4.10.trs.stderr	12-Apr-2005 12:12	1.2K
TRS.SK90.4.10.trs.stdout	12-Apr-2005 12:12	4
TRS.SK90.4.11.trs.stderr	12-Apr-2005 12:12	1.0K
TRS.SK90.4.11.trs.stdout	12-Apr-2005 12:12	4
TRS.SK90.4.12.trs.stderr	12-Apr-2005 12:13	1.5K
TRS.SK90.4.12.trs.stdout	12-Apr-2005 12:13	4
TRS.SK90.4.13.trs.stderr	12-Apr-2005 12:15	0
TRS.SK90.4.13.trs.stdout	12-Apr-2005 12:16	10
TRS.SK90.4.14.trs.stderr	12-Apr-2005 12:17	1.4K
TRS.SK90.4.14.trs.stdout	12-Apr-2005 12:17	4
TRS.SK90.4.15.trs.stderr	12-Apr-2005 12:17	871
TRS.SK90.4.15.trs.stdout	12-Apr-2005 12:17	4
TRS.SK90.4.16.trs.stderr	12-Apr-2005 12:17	1.1K
TRS.SK90.4.16.trs.stdout	12-Apr-2005 12:17	4
TRS.SK90.4.17.trs.stderr	12-Apr-2005 12:17	0
TRS.SK90.4.17.trs.stdout	12-Apr-2005 12:18	10
TRS.SK90.4.18.trs.stderr	12-Apr-2005 12:18	1.9K
TRS.SK90.4.18.trs.stdout	12-Apr-2005 12:18	4
TRS.SK90.4.19.trs.stderr	12-Apr-2005 12:19	755
TRS.SK90.4.19.trs.stdout	12-Apr-2005 12:19	4
TRS.SK90.4.20.trs.stderr	12-Apr-2005 12:20	1.5K
TRS.SK90.4.20.trs.stdout	12-Apr-2005 12:20	4
TRS.SK90.4.21.trs.stderr	12-Apr-2005 12:21	1.4K
TRS.SK90.4.21.trs.stdout	12-Apr-2005 12:21	4
TRS.SK90.4.22.trs.stderr	12-Apr-2005 12:22	1.1K
TRS.SK90.4.22.trs.stdout	12-Apr-2005 12:22	4
TRS.SK90.4.23.trs.stderr	12-Apr-2005 12:23	1.2K
TRS.SK90.4.23.trs.stdout	12-Apr-2005 12:23	4
TRS.SK90.4.24.trs.stderr	12-Apr-2005 12:24	0
TRS.SK90.4.24.trs.stdout	12-Apr-2005 12:25	10
TRS.SK90.4.25.trs.stderr	12-Apr-2005 12:27	1.0K
TRS.SK90.4.25.trs.stdout	12-Apr-2005 12:27	4
TRS.SK90.4.26.trs.stderr	12-Apr-2005 12:28	1.3K
TRS.SK90.4.26.trs.stdout	12-Apr-2005 12:28	4
TRS.SK90.4.27.trs.stderr	12-Apr-2005 12:28	0
TRS.SK90.4.27.trs.stdout	12-Apr-2005 12:29	10
TRS.SK90.4.28.trs.stderr	12-Apr-2005 12:30	1.7K
TRS.SK90.4.28.trs.stdout	12-Apr-2005 12:30	4
TRS.SK90.4.29.trs.stderr	12-Apr-2005 12:30	1.1K
TRS.SK90.4.29.trs.stdout	12-Apr-2005 12:30	4
TRS.SK90.4.30.trs.stderr	12-Apr-2005 12:32	0
TRS.SK90.4.30.trs.stdout	12-Apr-2005 12:32	10
TRS.SK90.4.31.trs.stderr	12-Apr-2005 12:34	2.4K
TRS.SK90.4.31.trs.stdout	12-Apr-2005 12:34	4
TRS.SK90.4.32.trs.stderr	12-Apr-2005 12:35	7.4K
TRS.SK90.4.32.trs.stdout	12-Apr-2005 12:35	4
TRS.SK90.4.33.trs.stderr	12-Apr-2005 12:35	724
TRS.SK90.4.33.trs.stdout	12-Apr-2005 12:35	4
TRS.SK90.4.34.trs.stderr	12-Apr-2005 12:35	0
TRS.SK90.4.34.trs.stdout	12-Apr-2005 12:35	10
TRS.SK90.4.35.trs.stderr	12-Apr-2005 12:36	897
TRS.SK90.4.35.trs.stdout	12-Apr-2005 12:36	4
TRS.SK90.4.36.trs.stderr	12-Apr-2005 12:37	884
TRS.SK90.4.36.trs.stdout	12-Apr-2005 12:37	4
TRS.SK90.4.37.trs.stderr	12-Apr-2005 12:37	712
TRS.SK90.4.37.trs.stdout	12-Apr-2005 12:37	4
TRS.SK90.4.38.trs.stderr	12-Apr-2005 12:38	938
TRS.SK90.4.38.trs.stdout	12-Apr-2005 12:38	4
TRS.SK90.4.39.trs.stderr	12-Apr-2005 12:38	787
TRS.SK90.4.39.trs.stdout	12-Apr-2005 12:38	4
TRS.SK90.4.40.trs.stderr	12-Apr-2005 12:38	0
TRS.SK90.4.40.trs.stdout	12-Apr-2005 12:38	10
TRS.SK90.4.41.trs.stderr	12-Apr-2005 12:39	1.5K
TRS.SK90.4.41.trs.stdout	12-Apr-2005 12:39	4
TRS.SK90.4.42.trs.stderr	12-Apr-2005 12:40	0
TRS.SK90.4.42.trs.stdout	12-Apr-2005 12:41	10
TRS.SK90.4.43.trs.stderr	12-Apr-2005 12:43	1.3K
TRS.SK90.4.43.trs.stdout	12-Apr-2005 12:43	4
TRS.SK90.4.44.trs.stderr	12-Apr-2005 12:43	1.6K
TRS.SK90.4.44.trs.stdout	12-Apr-2005 12:43	4
TRS.SK90.4.45.trs.stderr	12-Apr-2005 12:43	931
TRS.SK90.4.45.trs.stdout	12-Apr-2005 12:43	4
TRS.SK90.4.46.trs.stderr	12-Apr-2005 12:43	1.1K
TRS.SK90.4.46.trs.stdout	12-Apr-2005 12:43	4
TRS.SK90.4.47.trs.stderr	12-Apr-2005 12:44	2.1K
TRS.SK90.4.47.trs.stdout	12-Apr-2005 12:44	4
TRS.SK90.4.48.trs.stderr	12-Apr-2005 12:45	1.1K
TRS.SK90.4.48.trs.stdout	12-Apr-2005 12:45	4
TRS.SK90.4.49.trs.stderr	12-Apr-2005 12:45	0
TRS.SK90.4.49.trs.stdout	12-Apr-2005 12:45	10
TRS.SK90.4.50.trs.stderr	12-Apr-2005 13:05	1.1K
TRS.SK90.4.50.trs.stdout	12-Apr-2005 13:05	4
TRS.SK90.4.51.trs.stderr	12-Apr-2005 13:05	2.0K
TRS.SK90.4.51.trs.stdout	12-Apr-2005 13:05	4
TRS.SK90.4.52.trs.stderr	12-Apr-2005 13:06	1.2K
TRS.SK90.4.52.trs.stdout	12-Apr-2005 13:06	4
TRS.SK90.4.53.trs.stderr	12-Apr-2005 13:07	1.1K
TRS.SK90.4.53.trs.stdout	12-Apr-2005 13:07	4
TRS.SK90.4.54.trs.stderr	12-Apr-2005 13:07	0
TRS.SK90.4.54.trs.stdout	12-Apr-2005 13:08	10
TRS.SK90.4.55.trs.stderr	12-Apr-2005 13:09	1.3K
TRS.SK90.4.55.trs.stdout	12-Apr-2005 13:09	4
TRS.SK90.4.56.trs.stderr	12-Apr-2005 13:09	1.1K
TRS.SK90.4.56.trs.stdout	12-Apr-2005 13:09	4
TRS.SK90.4.57.trs.stderr	12-Apr-2005 13:10	14K
TRS.SK90.4.57.trs.stdout	12-Apr-2005 13:10	4
TRS.SK90.4.58.trs.stderr	12-Apr-2005 13:12	0
TRS.SK90.4.58.trs.stdout	12-Apr-2005 13:13	10
TRS.SK90.4.59.trs.stderr	12-Apr-2005 13:16	3.7K
TRS.SK90.4.59.trs.stdout	12-Apr-2005 13:16	4
TRS.SK90.4.60.trs.stderr	12-Apr-2005 13:17	0
TRS.SK90.4.60.trs.stdout	12-Apr-2005 13:18	10
TRS.SK90.4.61.trs.stderr	12-Apr-2005 13:20	0
TRS.SK90.4.61.trs.stdout	12-Apr-2005 13:20	10
TRS.Ste92.hydra.trs.stderr	12-Apr-2005 13:22	0
TRS.Ste92.hydra.trs.stdout	12-Apr-2005 13:23	10
TRS.Ste92.minsort.trs.stderr	12-Apr-2005 13:25	0
TRS.Ste92.minsort.trs.stdout	12-Apr-2005 13:26	10
TRS.Ste92.motivation.trs.stderr	12-Apr-2005 13:28	2.4K
TRS.Ste92.motivation.trs.stdout	12-Apr-2005 13:28	4
TRS.Ste92.perfect.trs.stderr	12-Apr-2005 13:32	0
TRS.Ste92.perfect.trs.stdout	12-Apr-2005 13:33	10
TRS.Ste92.perfect2.trs.stderr	12-Apr-2005 13:30	0
TRS.Ste92.perfect2.trs.stdout	12-Apr-2005 13:30	10
TRS.TRCSR.Ex1_2_AEL03_C.trs.stderr	12-Apr-2005 13:36	50
TRS.TRCSR.Ex1_2_AEL03_C.trs.stdout	12-Apr-2005 13:35	0
TRS.TRCSR.Ex1_2_AEL03_FR.trs.stderr	12-Apr-2005 13:40	0
TRS.TRCSR.Ex1_2_AEL03_FR.trs.stdout	12-Apr-2005 13:40	10
TRS.TRCSR.Ex1_2_AEL03_GM.trs.stderr	12-Apr-2005 13:45	50
TRS.TRCSR.Ex1_2_AEL03_GM.trs.stdout	12-Apr-2005 13:44	0
TRS.TRCSR.Ex1_2_AEL03_Z.trs.stderr	12-Apr-2005 13:49	0
TRS.TRCSR.Ex1_2_AEL03_Z.trs.stdout	12-Apr-2005 13:50	10
TRS.TRCSR.Ex1_2_Luc02c_C.trs.stderr	12-Apr-2005 13:52	7.1K
TRS.TRCSR.Ex1_2_Luc02c_C.trs.stdout	12-Apr-2005 13:52	4
TRS.TRCSR.Ex1_2_Luc02c_FR.trs.stderr	12-Apr-2005 13:53	1.6K
TRS.TRCSR.Ex1_2_Luc02c_FR.trs.stdout	12-Apr-2005 13:53	4
TRS.TRCSR.Ex1_2_Luc02c_GM.trs.stderr	12-Apr-2005 13:55	0
TRS.TRCSR.Ex1_2_Luc02c_GM.trs.stdout	12-Apr-2005 13:56	10
TRS.TRCSR.Ex1_2_Luc02c_Z.trs.stderr	12-Apr-2005 13:59	1.4K
TRS.TRCSR.Ex1_2_Luc02c_Z.trs.stdout	12-Apr-2005 13:59	4
TRS.TRCSR.Ex1_GL02a_C.trs.stderr	12-Apr-2005 14:35	50
TRS.TRCSR.Ex1_GL02a_C.trs.stdout	12-Apr-2005 14:34	0
TRS.TRCSR.Ex1_GL02a_FR.trs.stderr	12-Apr-2005 14:40	0
TRS.TRCSR.Ex1_GL02a_FR.trs.stdout	12-Apr-2005 14:41	10
TRS.TRCSR.Ex1_GL02a_GM.trs.stderr	12-Apr-2005 14:44	2.5K
TRS.TRCSR.Ex1_GL02a_GM.trs.stdout	12-Apr-2005 14:44	4
TRS.TRCSR.Ex1_GL02a_Z.trs.stderr	12-Apr-2005 14:46	0
TRS.TRCSR.Ex1_GL02a_Z.trs.stdout	12-Apr-2005 14:47	10
TRS.TRCSR.Ex1_GM03_C.trs.stderr	12-Apr-2005 14:53	50
TRS.TRCSR.Ex1_GM03_C.trs.stdout	12-Apr-2005 14:52	0
TRS.TRCSR.Ex1_GM03_FR.trs.stderr	12-Apr-2005 14:58	0
TRS.TRCSR.Ex1_GM03_FR.trs.stdout	12-Apr-2005 14:59	10
TRS.TRCSR.Ex1_GM03_GM.trs.stderr	12-Apr-2005 15:04	0
TRS.TRCSR.Ex1_GM03_GM.trs.stdout	12-Apr-2005 15:05	10
TRS.TRCSR.Ex1_GM03_Z.trs.stderr	12-Apr-2005 15:07	71
TRS.TRCSR.Ex1_GM03_Z.trs.stdout	12-Apr-2005 15:07	0
TRS.TRCSR.Ex1_Luc02b_C.trs.stderr	12-Apr-2005 15:12	50
TRS.TRCSR.Ex1_Luc02b_C.trs.stdout	12-Apr-2005 15:11	0
TRS.TRCSR.Ex1_Luc02b_FR.trs.stderr	12-Apr-2005 15:15	0
TRS.TRCSR.Ex1_Luc02b_FR.trs.stdout	12-Apr-2005 15:15	10
TRS.TRCSR.Ex1_Luc02b_GM.trs.stderr	12-Apr-2005 15:20	0
TRS.TRCSR.Ex1_Luc02b_GM.trs.stdout	12-Apr-2005 15:20	10
TRS.TRCSR.Ex1_Luc02b_Z.trs.stderr	12-Apr-2005 15:23	0
TRS.TRCSR.Ex1_Luc02b_Z.trs.stdout	12-Apr-2005 15:23	10
TRS.TRCSR.Ex1_Zan97_C.trs.stderr	12-Apr-2005 15:25	5.4K
TRS.TRCSR.Ex1_Zan97_C.trs.stdout	12-Apr-2005 15:25	4
TRS.TRCSR.Ex1_Zan97_GM.trs.stderr	12-Apr-2005 15:25	1.2K
TRS.TRCSR.Ex1_Zan97_GM.trs.stdout	12-Apr-2005 15:25	4
TRS.TRCSR.Ex2_Luc02a_C.trs.stderr	12-Apr-2005 15:56	50
TRS.TRCSR.Ex2_Luc02a_C.trs.stdout	12-Apr-2005 15:55	0
TRS.TRCSR.Ex2_Luc02a_FR.trs.stderr	12-Apr-2005 16:00	50
TRS.TRCSR.Ex2_Luc02a_FR.trs.stdout	12-Apr-2005 15:59	0
TRS.TRCSR.Ex2_Luc02a_L.trs.stderr	12-Apr-2005 16:03	1.4K
TRS.TRCSR.Ex2_Luc02a_L.trs.stdout	12-Apr-2005 16:03	4
TRS.TRCSR.Ex2_Luc02a_Z.trs.stderr	12-Apr-2005 16:05	50
TRS.TRCSR.Ex2_Luc02a_Z.trs.stdout	12-Apr-2005 16:04	0
TRS.TRCSR.Ex2_Luc03b_C.trs.stderr	12-Apr-2005 16:08	50
TRS.TRCSR.Ex2_Luc03b_C.trs.stdout	12-Apr-2005 16:07	0
TRS.TRCSR.Ex2_Luc03b_FR.trs.stderr	12-Apr-2005 16:12	0
TRS.TRCSR.Ex2_Luc03b_FR.trs.stdout	12-Apr-2005 16:12	10
TRS.TRCSR.Ex2_Luc03b_GM.trs.stderr	12-Apr-2005 16:15	0
TRS.TRCSR.Ex2_Luc03b_GM.trs.stdout	12-Apr-2005 16:16	10
TRS.TRCSR.Ex2_Luc03b_L.trs.stderr	12-Apr-2005 16:17	1.2K
TRS.TRCSR.Ex2_Luc03b_L.trs.stdout	12-Apr-2005 16:17	4
TRS.TRCSR.Ex2_Luc03b_Z.trs.stderr	12-Apr-2005 16:18	0
TRS.TRCSR.Ex2_Luc03b_Z.trs.stdout	12-Apr-2005 16:19	10
TRS.TRCSR.Ex3_2_Luc97_C.trs.stderr	12-Apr-2005 16:35	50
TRS.TRCSR.Ex3_2_Luc97_C.trs.stdout	12-Apr-2005 16:34	0
TRS.TRCSR.Ex3_2_Luc97_FR.trs.stderr	12-Apr-2005 16:41	0
TRS.TRCSR.Ex3_2_Luc97_FR.trs.stdout	12-Apr-2005 16:42	10
TRS.TRCSR.Ex3_2_Luc97_GM.trs.stderr	12-Apr-2005 16:46	0
TRS.TRCSR.Ex3_2_Luc97_GM.trs.stdout	12-Apr-2005 16:47	10
TRS.TRCSR.Ex3_2_Luc97_Z.trs.stderr	12-Apr-2005 16:52	0
TRS.TRCSR.Ex3_2_Luc97_Z.trs.stdout	12-Apr-2005 16:53	10
TRS.TRCSR.Ex3_3_25_Bor03_C.trs.stderr	12-Apr-2005 16:57	50
TRS.TRCSR.Ex3_3_25_Bor03_C.trs.stdout	12-Apr-2005 16:56	0
TRS.TRCSR.Ex3_3_25_Bor03_FR.trs.stderr	12-Apr-2005 17:01	50
TRS.TRCSR.Ex3_3_25_Bor03_FR.trs.stdout	12-Apr-2005 17:00	0
TRS.TRCSR.Ex3_3_25_Bor03_GM.trs.stderr	12-Apr-2005 17:04	0
TRS.TRCSR.Ex3_3_25_Bor03_GM.trs.stdout	12-Apr-2005 17:05	10
TRS.TRCSR.Ex3_3_25_Bor03_L.trs.stderr	12-Apr-2005 17:06	1.3K
TRS.TRCSR.Ex3_3_25_Bor03_L.trs.stdout	12-Apr-2005 17:06	4
TRS.TRCSR.Ex3_3_25_Bor03_Z.trs.stderr	12-Apr-2005 17:07	1.3K
TRS.TRCSR.Ex3_3_25_Bor03_Z.trs.stdout	12-Apr-2005 17:07	3
TRS.TRCSR.Ex3_12_Luc96a_C.trs.stderr	12-Apr-2005 16:24	50
TRS.TRCSR.Ex3_12_Luc96a_C.trs.stdout	12-Apr-2005 16:23	0
TRS.TRCSR.Ex3_12_Luc96a_FR.trs.stderr	12-Apr-2005 16:26	0
TRS.TRCSR.Ex3_12_Luc96a_FR.trs.stdout	12-Apr-2005 16:26	10
TRS.TRCSR.Ex3_12_Luc96a_GM.trs.stderr	12-Apr-2005 16:28	0
TRS.TRCSR.Ex3_12_Luc96a_GM.trs.stdout	12-Apr-2005 16:29	10
TRS.TRCSR.Ex3_12_Luc96a_Z.trs.stderr	12-Apr-2005 16:32	0
TRS.TRCSR.Ex3_12_Luc96a_Z.trs.stdout	12-Apr-2005 16:32	10
TRS.TRCSR.Ex4_4_Luc96b_C.trs.stderr	12-Apr-2005 17:08	4.1K
TRS.TRCSR.Ex4_4_Luc96b_C.trs.stdout	12-Apr-2005 17:08	4
TRS.TRCSR.Ex4_4_Luc96b_FR.trs.stderr	12-Apr-2005 17:09	0
TRS.TRCSR.Ex4_4_Luc96b_FR.trs.stdout	12-Apr-2005 17:10	10
TRS.TRCSR.Ex4_4_Luc96b_GM.trs.stderr	12-Apr-2005 17:12	0
TRS.TRCSR.Ex4_4_Luc96b_GM.trs.stdout	12-Apr-2005 17:13	10
TRS.TRCSR.Ex4_4_Luc96b_L.trs.stderr	12-Apr-2005 17:13	706
TRS.TRCSR.Ex4_4_Luc96b_L.trs.stdout	12-Apr-2005 17:13	4
TRS.TRCSR.Ex4_4_Luc96b_Z.trs.stderr	12-Apr-2005 17:13	0
TRS.TRCSR.Ex4_4_Luc96b_Z.trs.stdout	12-Apr-2005 17:13	10
TRS.TRCSR.Ex4_7_15_Bor03_C.trs.stderr	12-Apr-2005 17:18	50
TRS.TRCSR.Ex4_7_15_Bor03_C.trs.stdout	12-Apr-2005 17:17	0
TRS.TRCSR.Ex4_7_15_Bor03_FR.trs.stderr	12-Apr-2005 17:21	3.1K
TRS.TRCSR.Ex4_7_15_Bor03_FR.trs.stdout	12-Apr-2005 17:21	4
TRS.TRCSR.Ex4_7_15_Bor03_GM.trs.stderr	12-Apr-2005 17:22	4.2K
TRS.TRCSR.Ex4_7_15_Bor03_GM.trs.stdout	12-Apr-2005 17:22	4
TRS.TRCSR.Ex4_7_15_Bor03_L.trs.stderr	12-Apr-2005 17:22	1.4K
TRS.TRCSR.Ex4_7_15_Bor03_L.trs.stdout	12-Apr-2005 17:22	4
TRS.TRCSR.Ex4_7_15_Bor03_Z.trs.stderr	12-Apr-2005 17:23	1.9K
TRS.TRCSR.Ex4_7_15_Bor03_Z.trs.stdout	12-Apr-2005 17:23	4
TRS.TRCSR.Ex4_7_37_Bor03_C.trs.stderr	12-Apr-2005 17:27	50
TRS.TRCSR.Ex4_7_37_Bor03_C.trs.stdout	12-Apr-2005 17:26	0
TRS.TRCSR.Ex4_7_37_Bor03_FR.trs.stderr	12-Apr-2005 17:31	0
TRS.TRCSR.Ex4_7_37_Bor03_FR.trs.stdout	12-Apr-2005 17:31	10
TRS.TRCSR.Ex4_7_37_Bor03_GM.trs.stderr	12-Apr-2005 17:36	0
TRS.TRCSR.Ex4_7_37_Bor03_GM.trs.stdout	12-Apr-2005 17:37	10
TRS.TRCSR.Ex4_7_37_Bor03_Z.trs.stderr	12-Apr-2005 17:41	0
TRS.TRCSR.Ex4_7_37_Bor03_Z.trs.stdout	12-Apr-2005 17:41	10
TRS.TRCSR.Ex4_7_56_Bor03_C.trs.stderr	12-Apr-2005 17:45	50
TRS.TRCSR.Ex4_7_56_Bor03_C.trs.stdout	12-Apr-2005 17:44	0
TRS.TRCSR.Ex4_7_56_Bor03_FR.trs.stderr	12-Apr-2005 17:48	0
TRS.TRCSR.Ex4_7_56_Bor03_FR.trs.stdout	12-Apr-2005 17:48	10
TRS.TRCSR.Ex4_7_56_Bor03_GM.trs.stderr	12-Apr-2005 17:50	0
TRS.TRCSR.Ex4_7_56_Bor03_GM.trs.stdout	12-Apr-2005 17:51	10
TRS.TRCSR.Ex4_7_56_Bor03_Z.trs.stderr	12-Apr-2005 17:53	0
TRS.TRCSR.Ex4_7_56_Bor03_Z.trs.stdout	12-Apr-2005 17:53	10
TRS.TRCSR.Ex4_7_77_Bor03_C.trs.stderr	12-Apr-2005 17:54	9.7K
TRS.TRCSR.Ex4_7_77_Bor03_C.trs.stdout	12-Apr-2005 17:54	4
TRS.TRCSR.Ex4_7_77_Bor03_GM.trs.stderr	12-Apr-2005 17:56	2.7K
TRS.TRCSR.Ex4_7_77_Bor03_GM.trs.stdout	12-Apr-2005 17:56	4
TRS.TRCSR.Ex4_7_77_Bor03_Z.trs.stderr	12-Apr-2005 17:57	1.2K
TRS.TRCSR.Ex4_7_77_Bor03_Z.trs.stdout	12-Apr-2005 17:57	4
TRS.TRCSR.Ex4_Zan97_C.trs.stderr	12-Apr-2005 18:16	50
TRS.TRCSR.Ex4_Zan97_C.trs.stdout	12-Apr-2005 18:15	0
TRS.TRCSR.Ex4_Zan97_FR.trs.stderr	12-Apr-2005 18:19	0
TRS.TRCSR.Ex4_Zan97_FR.trs.stdout	12-Apr-2005 18:19	10
TRS.TRCSR.Ex4_Zan97_GM.trs.stderr	12-Apr-2005 18:21	0
TRS.TRCSR.Ex4_Zan97_GM.trs.stdout	12-Apr-2005 18:22	10
TRS.TRCSR.Ex4_Zan97_Z.trs.stderr	12-Apr-2005 18:25	0
TRS.TRCSR.Ex4_Zan97_Z.trs.stdout	12-Apr-2005 18:25	10
TRS.TRCSR.Ex5_7_Luc97_C.trs.stderr	12-Apr-2005 18:27	0
TRS.TRCSR.Ex5_7_Luc97_C.trs.stdout	12-Apr-2005 18:28	10
TRS.TRCSR.Ex5_7_Luc97_FR.trs.stderr	12-Apr-2005 18:34	0
TRS.TRCSR.Ex5_7_Luc97_FR.trs.stdout	12-Apr-2005 18:34	10
TRS.TRCSR.Ex5_7_Luc97_GM.trs.stderr	12-Apr-2005 18:40	0
TRS.TRCSR.Ex5_7_Luc97_GM.trs.stdout	12-Apr-2005 18:41	10
TRS.TRCSR.Ex5_7_Luc97_Z.trs.stderr	12-Apr-2005 18:46	0
TRS.TRCSR.Ex5_7_Luc97_Z.trs.stdout	12-Apr-2005 18:47	10
TRS.TRCSR.Ex5_Zan97_C.trs.stderr	12-Apr-2005 18:51	50
TRS.TRCSR.Ex5_Zan97_C.trs.stdout	12-Apr-2005 18:50	0
TRS.TRCSR.Ex5_Zan97_FR.trs.stderr	12-Apr-2005 18:53	3.0K
TRS.TRCSR.Ex5_Zan97_FR.trs.stdout	12-Apr-2005 18:53	4
TRS.TRCSR.Ex5_Zan97_GM.trs.stderr	12-Apr-2005 18:54	0
TRS.TRCSR.Ex5_Zan97_GM.trs.stdout	12-Apr-2005 18:55	10
TRS.TRCSR.Ex5_Zan97_Z.trs.stderr	12-Apr-2005 18:57	1.9K
TRS.TRCSR.Ex5_Zan97_Z.trs.stdout	12-Apr-2005 18:57	4
TRS.TRCSR.Ex6_9_Luc02c_C.trs.stderr	12-Apr-2005 19:20	10K
TRS.TRCSR.Ex6_9_Luc02c_C.trs.stdout	12-Apr-2005 19:20	4
TRS.TRCSR.Ex6_9_Luc02c_FR.trs.stderr	12-Apr-2005 19:22	4.6K
TRS.TRCSR.Ex6_9_Luc02c_FR.trs.stdout	12-Apr-2005 19:22	4
TRS.TRCSR.Ex6_9_Luc02c_GM.trs.stderr	12-Apr-2005 19:25	0
TRS.TRCSR.Ex6_9_Luc02c_GM.trs.stdout	12-Apr-2005 19:26	10
TRS.TRCSR.Ex6_9_Luc02c_Z.trs.stderr	12-Apr-2005 19:28	7.2K
TRS.TRCSR.Ex6_9_Luc02c_Z.trs.stdout	12-Apr-2005 19:28	4
TRS.TRCSR.Ex6_15_AEL02_C.trs.stderr	12-Apr-2005 19:00	50
TRS.TRCSR.Ex6_15_AEL02_C.trs.stdout	12-Apr-2005 18:59	0
TRS.TRCSR.Ex6_15_AEL02_FR.trs.stderr	12-Apr-2005 19:06	0
TRS.TRCSR.Ex6_15_AEL02_FR.trs.stdout	12-Apr-2005 19:06	10
TRS.TRCSR.Ex6_15_AEL02_GM.trs.stderr	12-Apr-2005 19:12	50
TRS.TRCSR.Ex6_15_AEL02_GM.trs.stdout	12-Apr-2005 19:11	0
TRS.TRCSR.Ex6_15_AEL02_Z.trs.stderr	12-Apr-2005 19:17	0
TRS.TRCSR.Ex6_15_AEL02_Z.trs.stdout	12-Apr-2005 19:18	10
TRS.TRCSR.Ex6_GM04_C.trs.stderr	12-Apr-2005 19:29	4.9K
TRS.TRCSR.Ex6_GM04_C.trs.stdout	12-Apr-2005 19:29	4
TRS.TRCSR.Ex6_GM04_GM.trs.stderr	12-Apr-2005 19:29	1.1K
TRS.TRCSR.Ex6_GM04_GM.trs.stdout	12-Apr-2005 19:29	4
TRS.TRCSR.Ex6_GM04_L.trs.stderr	12-Apr-2005 19:29	725
TRS.TRCSR.Ex6_GM04_L.trs.stdout	12-Apr-2005 19:29	4
TRS.TRCSR.Ex6_Luc98_C.trs.stderr	12-Apr-2005 19:30	0
TRS.TRCSR.Ex6_Luc98_C.trs.stdout	12-Apr-2005 19:31	10
TRS.TRCSR.Ex6_Luc98_FR.trs.stderr	12-Apr-2005 19:34	50
TRS.TRCSR.Ex6_Luc98_FR.trs.stdout	12-Apr-2005 19:33	0
TRS.TRCSR.Ex6_Luc98_GM.trs.stderr	12-Apr-2005 19:38	50
TRS.TRCSR.Ex6_Luc98_GM.trs.stdout	12-Apr-2005 19:37	0
TRS.TRCSR.Ex6_Luc98_L.trs.stderr	12-Apr-2005 19:39	1.0K
TRS.TRCSR.Ex6_Luc98_L.trs.stdout	12-Apr-2005 19:39	4
TRS.TRCSR.Ex6_Luc98_Z.trs.stderr	12-Apr-2005 19:41	50
TRS.TRCSR.Ex6_Luc98_Z.trs.stdout	12-Apr-2005 19:40	0
TRS.TRCSR.Ex7_BLR02_C.trs.stderr	12-Apr-2005 19:44	50
TRS.TRCSR.Ex7_BLR02_C.trs.stdout	12-Apr-2005 19:43	0
TRS.TRCSR.Ex7_BLR02_FR.trs.stderr	12-Apr-2005 19:47	0
TRS.TRCSR.Ex7_BLR02_FR.trs.stdout	12-Apr-2005 19:48	10
TRS.TRCSR.Ex7_BLR02_GM.trs.stderr	12-Apr-2005 19:52	0
TRS.TRCSR.Ex7_BLR02_GM.trs.stdout	12-Apr-2005 19:52	10
TRS.TRCSR.Ex7_BLR02_Z.trs.stderr	12-Apr-2005 19:55	0
TRS.TRCSR.Ex7_BLR02_Z.trs.stdout	12-Apr-2005 19:56	10
TRS.TRCSR.Ex8_BLR02_C.trs.stderr	12-Apr-2005 19:59	0
TRS.TRCSR.Ex8_BLR02_C.trs.stdout	12-Apr-2005 20:00	10
TRS.TRCSR.Ex8_BLR02_FR.trs.stderr	12-Apr-2005 20:03	0
TRS.TRCSR.Ex8_BLR02_FR.trs.stdout	12-Apr-2005 20:03	10
TRS.TRCSR.Ex8_BLR02_GM.trs.stderr	12-Apr-2005 20:06	0
TRS.TRCSR.Ex8_BLR02_GM.trs.stdout	12-Apr-2005 20:07	10
TRS.TRCSR.Ex8_BLR02_Z.trs.stderr	12-Apr-2005 20:10	0
TRS.TRCSR.Ex8_BLR02_Z.trs.stdout	12-Apr-2005 20:10	10
TRS.TRCSR.Ex9_BLR02_C.trs.stderr	12-Apr-2005 20:12	0
TRS.TRCSR.Ex9_BLR02_C.trs.stdout	12-Apr-2005 20:13	10
TRS.TRCSR.Ex9_BLR02_FR.trs.stderr	12-Apr-2005 20:17	50
TRS.TRCSR.Ex9_BLR02_FR.trs.stdout	12-Apr-2005 20:16	0
TRS.TRCSR.Ex9_BLR02_GM.trs.stderr	12-Apr-2005 20:21	50
TRS.TRCSR.Ex9_BLR02_GM.trs.stdout	12-Apr-2005 20:20	0
TRS.TRCSR.Ex9_BLR02_L.trs.stderr	12-Apr-2005 20:22	1.3K
TRS.TRCSR.Ex9_BLR02_L.trs.stdout	12-Apr-2005 20:22	4
TRS.TRCSR.Ex9_BLR02_Z.trs.stderr	12-Apr-2005 20:25	50
TRS.TRCSR.Ex9_BLR02_Z.trs.stdout	12-Apr-2005 20:24	0
TRS.TRCSR.Ex9_Luc04_C.trs.stderr	12-Apr-2005 20:29	16K
TRS.TRCSR.Ex9_Luc04_C.trs.stdout	12-Apr-2005 20:29	4
TRS.TRCSR.Ex14_AEGL02_C.trs.stderr	12-Apr-2005 14:02	50
TRS.TRCSR.Ex14_AEGL02_C.trs.stdout	12-Apr-2005 14:01	0
TRS.TRCSR.Ex14_AEGL02_FR.trs.stderr	12-Apr-2005 14:05	0
TRS.TRCSR.Ex14_AEGL02_FR.trs.stdout	12-Apr-2005 14:06	10
TRS.TRCSR.Ex14_AEGL02_GM.trs.stderr	12-Apr-2005 14:08	0
TRS.TRCSR.Ex14_AEGL02_GM.trs.stdout	12-Apr-2005 14:09	10
TRS.TRCSR.Ex14_AEGL02_Z.trs.stderr	12-Apr-2005 14:12	0
TRS.TRCSR.Ex14_AEGL02_Z.trs.stdout	12-Apr-2005 14:12	10
TRS.TRCSR.Ex15_Luc98_C.trs.stderr	12-Apr-2005 14:16	50
TRS.TRCSR.Ex15_Luc98_C.trs.stdout	12-Apr-2005 14:15	0
TRS.TRCSR.Ex15_Luc98_FR.trs.stderr	12-Apr-2005 14:21	0
TRS.TRCSR.Ex15_Luc98_FR.trs.stdout	12-Apr-2005 14:22	10
TRS.TRCSR.Ex15_Luc98_GM.trs.stderr	12-Apr-2005 14:26	50
TRS.TRCSR.Ex15_Luc98_GM.trs.stdout	12-Apr-2005 14:26	10
TRS.TRCSR.Ex15_Luc98_Z.trs.stderr	12-Apr-2005 14:29	0
TRS.TRCSR.Ex15_Luc98_Z.trs.stdout	12-Apr-2005 14:30	10
TRS.TRCSR.Ex24_GM04_C.trs.stderr	12-Apr-2005 15:29	50
TRS.TRCSR.Ex24_GM04_C.trs.stdout	12-Apr-2005 15:28	0
TRS.TRCSR.Ex26_Luc03b_C.trs.stderr	12-Apr-2005 15:33	50
TRS.TRCSR.Ex26_Luc03b_C.trs.stdout	12-Apr-2005 15:32	0
TRS.TRCSR.Ex26_Luc03b_FR.trs.stderr	12-Apr-2005 15:38	0
TRS.TRCSR.Ex26_Luc03b_FR.trs.stdout	12-Apr-2005 15:39	10
TRS.TRCSR.Ex26_Luc03b_GM.trs.stderr	12-Apr-2005 15:43	0
TRS.TRCSR.Ex26_Luc03b_GM.trs.stdout	12-Apr-2005 15:44	10
TRS.TRCSR.Ex26_Luc03b_L.trs.stderr	12-Apr-2005 15:46	1.3K
TRS.TRCSR.Ex26_Luc03b_L.trs.stdout	12-Apr-2005 15:46	4
TRS.TRCSR.Ex26_Luc03b_Z.trs.stderr	12-Apr-2005 15:49	0
TRS.TRCSR.Ex26_Luc03b_Z.trs.stdout	12-Apr-2005 15:50	10
TRS.TRCSR.Ex49_GM04_C.trs.stderr	12-Apr-2005 18:00	50
TRS.TRCSR.Ex49_GM04_C.trs.stdout	12-Apr-2005 17:59	0
TRS.TRCSR.Ex49_GM04_FR.trs.stderr	12-Apr-2005 18:05	0
TRS.TRCSR.Ex49_GM04_FR.trs.stdout	12-Apr-2005 18:06	10
TRS.TRCSR.Ex49_GM04_GM.trs.stderr	12-Apr-2005 18:09	0
TRS.TRCSR.Ex49_GM04_GM.trs.stdout	12-Apr-2005 18:10	10
TRS.TRCSR.Ex49_GM04_Z.trs.stderr	12-Apr-2005 18:13	15K
TRS.TRCSR.Ex49_GM04_Z.trs.stdout	12-Apr-2005 18:13	4
TRS.TRCSR.ExAppendixB_AEL03_C.trs.stderr	12-Apr-2005 20:34	50
TRS.TRCSR.ExAppendixB_AEL03_C.trs.stdout	12-Apr-2005 20:33	0
TRS.TRCSR.ExAppendixB_AEL03_FR.trs.stderr	12-Apr-2005 20:37	0
TRS.TRCSR.ExAppendixB_AEL03_FR.trs.stdout	12-Apr-2005 20:38	10
TRS.TRCSR.ExAppendixB_AEL03_GM.trs.stderr	12-Apr-2005 20:42	0
TRS.TRCSR.ExAppendixB_AEL03_GM.trs.stdout	12-Apr-2005 20:43	10
TRS.TRCSR.ExAppendixB_AEL03_Z.trs.stderr	12-Apr-2005 20:46	0
TRS.TRCSR.ExAppendixB_AEL03_Z.trs.stdout	12-Apr-2005 20:47	10
TRS.TRCSR.ExConc_Zan97_C.trs.stderr	12-Apr-2005 20:48	3.9K
TRS.TRCSR.ExConc_Zan97_C.trs.stdout	12-Apr-2005 20:48	4
TRS.TRCSR.ExConc_Zan97_FR.trs.stderr	12-Apr-2005 20:49	1.1K
TRS.TRCSR.ExConc_Zan97_FR.trs.stdout	12-Apr-2005 20:49	4
TRS.TRCSR.ExConc_Zan97_GM.trs.stderr	12-Apr-2005 20:49	1.0K
TRS.TRCSR.ExConc_Zan97_GM.trs.stdout	12-Apr-2005 20:49	4
TRS.TRCSR.ExConc_Zan97_L.trs.stderr	12-Apr-2005 20:49	709
TRS.TRCSR.ExConc_Zan97_L.trs.stdout	12-Apr-2005 20:49	4
TRS.TRCSR.ExIntrod_GM01_C.trs.stderr	12-Apr-2005 20:51	0
TRS.TRCSR.ExIntrod_GM01_C.trs.stdout	12-Apr-2005 20:52	10
TRS.TRCSR.ExIntrod_GM01_GM.trs.stderr	12-Apr-2005 20:55	0
TRS.TRCSR.ExIntrod_GM01_GM.trs.stdout	12-Apr-2005 20:56	10
TRS.TRCSR.ExIntrod_GM04_C.trs.stderr	12-Apr-2005 20:59	50
TRS.TRCSR.ExIntrod_GM04_C.trs.stdout	12-Apr-2005 20:58	0
TRS.TRCSR.ExIntrod_GM04_GM.trs.stderr	12-Apr-2005 21:02	4.7K
TRS.TRCSR.ExIntrod_GM04_GM.trs.stdout	12-Apr-2005 21:02	4
TRS.TRCSR.ExIntrod_GM99_C.trs.stderr	12-Apr-2005 21:04	0
TRS.TRCSR.ExIntrod_GM99_C.trs.stdout	12-Apr-2005 21:05	10
TRS.TRCSR.ExIntrod_GM99_FR.trs.stderr	12-Apr-2005 21:10	0
TRS.TRCSR.ExIntrod_GM99_FR.trs.stdout	12-Apr-2005 21:11	10
TRS.TRCSR.ExIntrod_GM99_GM.trs.stderr	12-Apr-2005 21:17	50
TRS.TRCSR.ExIntrod_GM99_GM.trs.stdout	12-Apr-2005 21:16	0
TRS.TRCSR.ExIntrod_GM99_Z.trs.stderr	12-Apr-2005 21:21	0
TRS.TRCSR.ExIntrod_GM99_Z.trs.stdout	12-Apr-2005 21:22	10
TRS.TRCSR.ExIntrod_Zan97_C.trs.stderr	12-Apr-2005 21:27	50
TRS.TRCSR.ExIntrod_Zan97_C.trs.stdout	12-Apr-2005 21:26	0
TRS.TRCSR.ExIntrod_Zan97_FR.trs.stderr	12-Apr-2005 21:32	0
TRS.TRCSR.ExIntrod_Zan97_FR.trs.stdout	12-Apr-2005 21:33	10
TRS.TRCSR.ExIntrod_Zan97_GM.trs.stderr	12-Apr-2005 21:37	0
TRS.TRCSR.ExIntrod_Zan97_GM.trs.stdout	12-Apr-2005 21:38	10
TRS.TRCSR.ExIntrod_Zan97_Z.trs.stderr	12-Apr-2005 21:40	0
TRS.TRCSR.ExIntrod_Zan97_Z.trs.stdout	12-Apr-2005 21:41	10
TRS.TRCSR.ExSec11_1_Luc02a.trs.stderr	12-Apr-2005 22:00	96
TRS.TRCSR.ExSec11_1_Luc02a.trs.stdout	12-Apr-2005 22:00	0
TRS.TRCSR.ExSec11_1_Luc02a_C.trs.stderr	12-Apr-2005 21:46	50
TRS.TRCSR.ExSec11_1_Luc02a_C.trs.stdout	12-Apr-2005 21:45	0
TRS.TRCSR.ExSec11_1_Luc02a_FR.trs.stderr	12-Apr-2005 21:49	0
TRS.TRCSR.ExSec11_1_Luc02a_FR.trs.stdout	12-Apr-2005 21:50	10
TRS.TRCSR.ExSec11_1_Luc02a_GM.trs.stderr	12-Apr-2005 21:54	0
TRS.TRCSR.ExSec11_1_Luc02a_GM.trs.stdout	12-Apr-2005 21:55	10
TRS.TRCSR.ExSec11_1_Luc02a_L.trs.stderr	12-Apr-2005 21:58	1.6K
TRS.TRCSR.ExSec11_1_Luc02a_L.trs.stdout	12-Apr-2005 21:58	4
TRS.TRCSR.ExSec11_1_Luc02a_Z.trs.stderr	12-Apr-2005 22:01	0
TRS.TRCSR.ExSec11_1_Luc02a_Z.trs.stdout	12-Apr-2005 22:02	10
TRS.Zantema.jw01.trs.stderr	12-Apr-2005 22:45	1.8K
TRS.Zantema.jw01.trs.stdout	12-Apr-2005 22:45	4
TRS.Zantema.jw02.trs.stderr	12-Apr-2005 22:45	2.2K
TRS.Zantema.jw02.trs.stdout	12-Apr-2005 22:45	4
TRS.Zantema.jw03.trs.stderr	12-Apr-2005 22:45	1.8K
TRS.Zantema.jw03.trs.stdout	12-Apr-2005 22:45	4
TRS.Zantema.jw04.trs.stderr	12-Apr-2005 22:45	1.8K
TRS.Zantema.jw04.trs.stdout	12-Apr-2005 22:45	4
TRS.Zantema.jw05.trs.stderr	12-Apr-2005 22:45	2.2K
TRS.Zantema.jw05.trs.stdout	12-Apr-2005 22:45	4
TRS.Zantema.jw06.trs.stderr	12-Apr-2005 22:45	1.8K
TRS.Zantema.jw06.trs.stdout	12-Apr-2005 22:45	4
TRS.Zantema.jw07.trs.stderr	12-Apr-2005 22:45	3.2K
TRS.Zantema.jw07.trs.stdout	12-Apr-2005 22:45	4
TRS.Zantema.jw08.trs.stderr	12-Apr-2005 22:46	2.3K
TRS.Zantema.jw08.trs.stdout	12-Apr-2005 22:46	4
TRS.Zantema.jw09.trs.stderr	12-Apr-2005 22:46	2.1K
TRS.Zantema.jw09.trs.stdout	12-Apr-2005 22:46	4
TRS.Zantema.jw11.trs.stderr	12-Apr-2005 22:46	1.9K
TRS.Zantema.jw11.trs.stdout	12-Apr-2005 22:46	4
TRS.Zantema.jw12.trs.stderr	12-Apr-2005 22:46	1.9K
TRS.Zantema.jw12.trs.stdout	12-Apr-2005 22:46	4
TRS.Zantema.jw13.trs.stderr	12-Apr-2005 22:47	2.4K
TRS.Zantema.jw13.trs.stdout	12-Apr-2005 22:47	4
TRS.Zantema.jw14.trs.stderr	12-Apr-2005 22:47	2.4K
TRS.Zantema.jw14.trs.stdout	12-Apr-2005 22:47	4
TRS.Zantema.jw15.trs.stderr	12-Apr-2005 22:47	2.3K
TRS.Zantema.jw15.trs.stdout	12-Apr-2005 22:47	4
TRS.Zantema.jw16.trs.stderr	12-Apr-2005 22:47	1.9K
TRS.Zantema.jw16.trs.stdout	12-Apr-2005 22:47	4
TRS.Zantema.jw17.trs.stderr	12-Apr-2005 22:47	2.9K
TRS.Zantema.jw17.trs.stdout	12-Apr-2005 22:47	4
TRS.Zantema.jw18.trs.stderr	12-Apr-2005 22:48	1.9K
TRS.Zantema.jw18.trs.stdout	12-Apr-2005 22:48	4
TRS.Zantema.jw19.trs.stderr	12-Apr-2005 22:48	2.3K
TRS.Zantema.jw19.trs.stdout	12-Apr-2005 22:48	4
TRS.Zantema.jw20.trs.stderr	12-Apr-2005 22:48	2.3K
TRS.Zantema.jw20.trs.stdout	12-Apr-2005 22:48	4
TRS.Zantema.jw21.trs.stderr	12-Apr-2005 22:48	1.3K
TRS.Zantema.jw21.trs.stdout	12-Apr-2005 22:48	4
TRS.Zantema.jw22.trs.stderr	12-Apr-2005 22:48	2.4K
TRS.Zantema.jw22.trs.stdout	12-Apr-2005 22:48	4
TRS.Zantema.jw23.trs.stderr	12-Apr-2005 22:48	1.2K
TRS.Zantema.jw23.trs.stdout	12-Apr-2005 22:48	4
TRS.Zantema.jw24.trs.stderr	12-Apr-2005 22:48	1.9K
TRS.Zantema.jw24.trs.stdout	12-Apr-2005 22:48	4
TRS.Zantema.jw25.trs.stderr	12-Apr-2005 22:48	1.9K
TRS.Zantema.jw25.trs.stdout	12-Apr-2005 22:48	4
TRS.Zantema.jw26.trs.stderr	12-Apr-2005 22:49	1.2K
TRS.Zantema.jw26.trs.stdout	12-Apr-2005 22:49	4
TRS.Zantema.jw27.trs.stderr	12-Apr-2005 22:49	2.4K
TRS.Zantema.jw27.trs.stdout	12-Apr-2005 22:49	4
TRS.Zantema.jw28.trs.stderr	12-Apr-2005 22:49	1.3K
TRS.Zantema.jw28.trs.stdout	12-Apr-2005 22:49	4
TRS.Zantema.jw29.trs.stderr	12-Apr-2005 22:49	2.3K
TRS.Zantema.jw29.trs.stdout	12-Apr-2005 22:49	4
TRS.Zantema.jw30.trs.stderr	12-Apr-2005 22:49	2.3K
TRS.Zantema.jw30.trs.stdout	12-Apr-2005 22:49	4
TRS.Zantema.jw31.trs.stderr	12-Apr-2005 22:49	1.9K
TRS.Zantema.jw31.trs.stdout	12-Apr-2005 22:49	4
TRS.Zantema.jw32.trs.stderr	12-Apr-2005 22:49	3.2K
TRS.Zantema.jw32.trs.stdout	12-Apr-2005 22:49	4
TRS.Zantema.jw33.trs.stderr	12-Apr-2005 22:49	1.9K
TRS.Zantema.jw33.trs.stdout	12-Apr-2005 22:49	4
TRS.Zantema.jw34.trs.stderr	12-Apr-2005 22:50	2.3K
TRS.Zantema.jw34.trs.stdout	12-Apr-2005 22:50	4
TRS.Zantema.jw35.trs.stderr	12-Apr-2005 22:50	2.4K
TRS.Zantema.jw35.trs.stdout	12-Apr-2005 22:50	4
TRS.Zantema.jw36.trs.stderr	12-Apr-2005 22:50	2.4K
TRS.Zantema.jw36.trs.stdout	12-Apr-2005 22:50	4
TRS.Zantema.jw37.trs.stderr	12-Apr-2005 22:50	1.9K
TRS.Zantema.jw37.trs.stdout	12-Apr-2005 22:50	4
TRS.Zantema.jw38.trs.stderr	12-Apr-2005 22:51	1.9K
TRS.Zantema.jw38.trs.stdout	12-Apr-2005 22:51	4
TRS.Zantema.jw39.trs.stderr	12-Apr-2005 22:51	2.1K
TRS.Zantema.jw39.trs.stdout	12-Apr-2005 22:51	4
TRS.Zantema.jw40.trs.stderr	12-Apr-2005 22:51	2.1K
TRS.Zantema.jw40.trs.stdout	12-Apr-2005 22:51	4
TRS.Zantema.jw41.trs.stderr	12-Apr-2005 22:51	2.3K
TRS.Zantema.jw41.trs.stdout	12-Apr-2005 22:51	4
TRS.Zantema.jw42.trs.stderr	12-Apr-2005 22:51	3.2K
TRS.Zantema.jw42.trs.stdout	12-Apr-2005 22:51	4
TRS.Zantema.jw43.trs.stderr	12-Apr-2005 22:52	1.3K
TRS.Zantema.jw43.trs.stdout	12-Apr-2005 22:52	4
TRS.Zantema.jw44.trs.stderr	12-Apr-2005 22:52	834
TRS.Zantema.jw44.trs.stdout	12-Apr-2005 22:52	4
TRS.Zantema.jw47.trs.stderr	12-Apr-2005 22:53	834
TRS.Zantema.jw47.trs.stdout	12-Apr-2005 22:53	4
TRS.Zantema.jw50.trs.stderr	12-Apr-2005 22:53	1.3K
TRS.Zantema.jw50.trs.stdout	12-Apr-2005 22:53	4
TRS.Zantema.z01.trs.stderr	12-Apr-2005 22:54	0
TRS.Zantema.z01.trs.stdout	12-Apr-2005 22:55	10
TRS.Zantema.z02.trs.stderr	12-Apr-2005 22:56	9.7K
TRS.Zantema.z02.trs.stdout	12-Apr-2005 22:56	4
TRS.Zantema.z03.trs.stderr	12-Apr-2005 22:58	11K
TRS.Zantema.z03.trs.stdout	12-Apr-2005 22:58	4
TRS.Zantema.z04.trs.stderr	13-Apr-2005 09:01	2.0K
TRS.Zantema.z04.trs.stdout	13-Apr-2005 09:01	4
TRS.Zantema.z05.trs.stderr	13-Apr-2005 09:02	0
TRS.Zantema.z05.trs.stdout	13-Apr-2005 09:02	10
TRS.Zantema.z06.trs.stderr	13-Apr-2005 09:04	1.6K
TRS.Zantema.z06.trs.stdout	13-Apr-2005 09:04	4
TRS.Zantema.z07.trs.stderr	13-Apr-2005 09:04	0
TRS.Zantema.z07.trs.stdout	13-Apr-2005 09:05	10
TRS.Zantema.z08.trs.stderr	13-Apr-2005 09:06	5.2K
TRS.Zantema.z08.trs.stdout	13-Apr-2005 09:06	4
TRS.Zantema.z09.trs.stderr	13-Apr-2005 09:08	0
TRS.Zantema.z09.trs.stdout	13-Apr-2005 09:09	10
TRS.Zantema.z10.trs.stderr	13-Apr-2005 09:12	0
TRS.Zantema.z10.trs.stdout	13-Apr-2005 09:13	10
TRS.Zantema.z11.trs.stderr	13-Apr-2005 09:15	0
TRS.Zantema.z11.trs.stdout	13-Apr-2005 09:16	10
TRS.Zantema.z12.trs.stderr	13-Apr-2005 09:17	0
TRS.Zantema.z12.trs.stdout	13-Apr-2005 09:18	10
TRS.Zantema.z13.trs.stderr	13-Apr-2005 09:20	0
TRS.Zantema.z13.trs.stdout	13-Apr-2005 09:21	10
TRS.Zantema.z14.trs.stderr	13-Apr-2005 09:23	0
TRS.Zantema.z14.trs.stdout	13-Apr-2005 09:24	10
TRS.Zantema.z15.trs.stderr	13-Apr-2005 09:26	0
TRS.Zantema.z15.trs.stdout	13-Apr-2005 09:27	10
TRS.Zantema.z16.trs.stderr	13-Apr-2005 09:29	0
TRS.Zantema.z16.trs.stdout	13-Apr-2005 09:30	10
TRS.Zantema.z17.trs.stderr	13-Apr-2005 09:33	0
TRS.Zantema.z17.trs.stdout	13-Apr-2005 09:34	10
TRS.Zantema.z18.trs.stderr	13-Apr-2005 09:36	0
TRS.Zantema.z18.trs.stdout	13-Apr-2005 09:37	10
TRS.Zantema.z19.trs.stderr	13-Apr-2005 09:40	0
TRS.Zantema.z19.trs.stdout	13-Apr-2005 09:40	10
TRS.Zantema.z20.trs.stderr	13-Apr-2005 09:43	0
TRS.Zantema.z20.trs.stdout	13-Apr-2005 09:44	10
TRS.Zantema.z21.trs.stderr	13-Apr-2005 09:47	3.3K
TRS.Zantema.z21.trs.stdout	13-Apr-2005 09:47	4
TRS.Zantema.z22.trs.stderr	13-Apr-2005 09:50	0
TRS.Zantema.z22.trs.stdout	13-Apr-2005 09:51	10
TRS.Zantema.z23.trs.stderr	13-Apr-2005 09:53	0
TRS.Zantema.z23.trs.stdout	13-Apr-2005 09:53	10
TRS.Zantema.z24.trs.stderr	13-Apr-2005 09:55	0
TRS.Zantema.z24.trs.stdout	13-Apr-2005 09:56	10
TRS.Zantema.z25.trs.stderr	13-Apr-2005 09:58	3.1K
TRS.Zantema.z25.trs.stdout	13-Apr-2005 09:58	4
TRS.Zantema.z26.trs.stderr	13-Apr-2005 10:00	3.2K
TRS.Zantema.z26.trs.stdout	13-Apr-2005 10:00	4
TRS.Zantema.z27.trs.stderr	13-Apr-2005 10:01	5.4K
TRS.Zantema.z27.trs.stdout	13-Apr-2005 10:01	4
TRS.Zantema.z28.trs.stderr	13-Apr-2005 10:02	1.9K
TRS.Zantema.z28.trs.stdout	13-Apr-2005 10:02	4
TRS.Zantema.z29.trs.stderr	13-Apr-2005 10:03	6.4K
TRS.Zantema.z29.trs.stdout	13-Apr-2005 10:03	4
TRS.Zantema.z30.trs.stderr	13-Apr-2005 10:04	0
TRS.Zantema.z30.trs.stdout	13-Apr-2005 10:05	10
TRS.cariboo.ex1.trs.stderr	11-Apr-2005 21:14	96
TRS.cariboo.ex1.trs.stdout	11-Apr-2005 21:14	0
TRS.cariboo.ex2.trs.stderr	11-Apr-2005 21:14	96
TRS.cariboo.ex2.trs.stdout	11-Apr-2005 21:14	0
TRS.cariboo.ex3.trs.stderr	11-Apr-2005 21:14	96
TRS.cariboo.ex3.trs.stdout	11-Apr-2005 21:14	0
TRS.cariboo.ex4.trs.stderr	11-Apr-2005 21:14	96
TRS.cariboo.ex4.trs.stdout	11-Apr-2005 21:14	0
TRS.cariboo.ex5.trs.stderr	11-Apr-2005 21:14	96
TRS.cariboo.ex5.trs.stdout	11-Apr-2005 21:14	0
TRS.cariboo.ex6.trs.stderr	11-Apr-2005 21:15	96
TRS.cariboo.ex6.trs.stdout	11-Apr-2005 21:15	0
TRS.currying.AG01._3.2.trs.stderr	13-Apr-2005 10:26	0
TRS.currying.AG01._3.2.trs.stdout	13-Apr-2005 10:26	10
TRS.currying.AG01._3.6.trs.stderr	13-Apr-2005 10:50	0
TRS.currying.AG01._3.6.trs.stdout	13-Apr-2005 10:51	10
TRS.currying.AG01._3.8.trs.stderr	13-Apr-2005 10:54	0
TRS.currying.AG01._3.8.trs.stdout	13-Apr-2005 10:55	10
TRS.currying.AG01._3.10.trs.stderr	13-Apr-2005 10:08	0
TRS.currying.AG01._3.10.trs.stdout	13-Apr-2005 10:09	10
TRS.currying.AG01._3.13.trs.stderr	13-Apr-2005 10:12	0
TRS.currying.AG01._3.13.trs.stdout	13-Apr-2005 10:13	10
TRS.currying.AG01._3.16.trs.stderr	13-Apr-2005 10:16	0
TRS.currying.AG01._3.16.trs.stdout	13-Apr-2005 10:16	10
TRS.currying.AG01._3.18.trs.stderr	13-Apr-2005 10:17	0
TRS.currying.AG01._3.18.trs.stdout	13-Apr-2005 10:18	10
TRS.currying.AG01._3.22.trs.stderr	13-Apr-2005 10:21	0
TRS.currying.AG01._3.22.trs.stdout	13-Apr-2005 10:22	10
TRS.currying.AG01._3.25.trs.stderr	13-Apr-2005 10:22	0
TRS.currying.AG01._3.25.trs.stdout	13-Apr-2005 10:23	10
TRS.currying.AG01._3.27.trs.stderr	13-Apr-2005 10:24	1.0K
TRS.currying.AG01._3.27.trs.stdout	13-Apr-2005 10:24	4
TRS.currying.AG01._3.32.trs.stderr	13-Apr-2005 10:27	1.2K
TRS.currying.AG01._3.32.trs.stdout	13-Apr-2005 10:27	4
TRS.currying.AG01._3.36.trs.stderr	13-Apr-2005 10:28	0
TRS.currying.AG01._3.36.trs.stdout	13-Apr-2005 10:29	10
TRS.currying.AG01._3.38.trs.stderr	13-Apr-2005 10:30	0
TRS.currying.AG01._3.38.trs.stdout	13-Apr-2005 10:31	10
TRS.currying.AG01._3.40.trs.stderr	13-Apr-2005 10:33	0
TRS.currying.AG01._3.40.trs.stdout	13-Apr-2005 10:34	10
TRS.currying.AG01._3.45.trs.stderr	13-Apr-2005 10:35	2.5K
TRS.currying.AG01._3.45.trs.stdout	13-Apr-2005 10:35	4
TRS.currying.AG01._3.48.trs.stderr	13-Apr-2005 10:37	0
TRS.currying.AG01._3.48.trs.stdout	13-Apr-2005 10:38	10
TRS.currying.AG01._3.52.trs.stderr	13-Apr-2005 10:39	0
TRS.currying.AG01._3.52.trs.stdout	13-Apr-2005 10:40	10
TRS.currying.AG01._3.55.trs.stderr	13-Apr-2005 10:43	0
TRS.currying.AG01._3.55.trs.stdout	13-Apr-2005 10:44	10
TRS.currying.AG01._3.57.trs.stderr	13-Apr-2005 10:48	50
TRS.currying.AG01._3.57.trs.stdout	13-Apr-2005 10:47	0
TRS.currying.D33.01.trs.stderr	13-Apr-2005 10:56	1.6K
TRS.currying.D33.01.trs.stdout	13-Apr-2005 10:56	4
TRS.currying.D33.02.trs.stderr	13-Apr-2005 10:57	1.3K
TRS.currying.D33.02.trs.stdout	13-Apr-2005 10:57	4
TRS.currying.D33.06.trs.stderr	13-Apr-2005 10:57	1.5K
TRS.currying.D33.06.trs.stdout	13-Apr-2005 10:57	4
TRS.currying.D33.08.trs.stderr	13-Apr-2005 10:58	2.8K
TRS.currying.D33.08.trs.stdout	13-Apr-2005 10:58	4
TRS.currying.D33.11.trs.stderr	13-Apr-2005 10:59	5.5K
TRS.currying.D33.11.trs.stdout	13-Apr-2005 10:59	4
TRS.currying.D33.12.trs.stderr	13-Apr-2005 11:00	0
TRS.currying.D33.12.trs.stdout	13-Apr-2005 11:01	10
TRS.currying.D33.13.trs.stderr	13-Apr-2005 11:03	10K
TRS.currying.D33.13.trs.stdout	13-Apr-2005 11:03	4
TRS.currying.D33.17.trs.stderr	13-Apr-2005 11:04	5.4K
TRS.currying.D33.17.trs.stdout	13-Apr-2005 11:04	4
TRS.currying.D33.18.trs.stderr	13-Apr-2005 11:05	11K
TRS.currying.D33.18.trs.stdout	13-Apr-2005 11:05	4
TRS.currying.D33.21.trs.stderr	13-Apr-2005 11:07	0
TRS.currying.D33.21.trs.stdout	13-Apr-2005 11:07	10
TRS.currying.D33.29.trs.stderr	13-Apr-2005 11:09	1.2K
TRS.currying.D33.29.trs.stdout	13-Apr-2005 11:09	4
TRS.currying.D33.30.trs.stderr	13-Apr-2005 11:11	4.3K
TRS.currying.D33.30.trs.stdout	13-Apr-2005 11:11	4
TRS.currying.D33.31.trs.stderr	13-Apr-2005 11:12	0
TRS.currying.D33.31.trs.stdout	13-Apr-2005 11:13	10
TRS.currying.D33.33.trs.stderr	13-Apr-2005 11:16	0
TRS.currying.D33.33.trs.stdout	13-Apr-2005 11:17	10
TRS.currying.Ste92.hydra.trs.stderr	13-Apr-2005 11:19	0
TRS.currying.Ste92.hydra.trs.stdout	13-Apr-2005 11:20	10
TRS.currying.Ste92.minsort.trs.stderr	13-Apr-2005 11:23	0
TRS.currying.Ste92.minsort.trs.stdout	13-Apr-2005 11:24	10
TRS.currying.Ste92.motivation.trs.stderr	13-Apr-2005 11:26	2.1K
TRS.currying.Ste92.motivation.trs.stdout	13-Apr-2005 11:26	4
TRS.currying.Ste92.perfect.trs.stderr	13-Apr-2005 11:32	0
TRS.currying.Ste92.perfect.trs.stdout	13-Apr-2005 11:33	10
TRS.currying.Ste92.perfect2.trs.stderr	13-Apr-2005 11:28	0
TRS.currying.Ste92.perfect2.trs.stdout	13-Apr-2005 11:29	10
TRS.higher-order.AProVE_HO.ReverseLastInit.trs.stderr	13-Apr-2005 12:52	3.4K
TRS.higher-order.AProVE_HO.ReverseLastInit.trs.stdout	13-Apr-2005 12:52	4
TRS.higher-order.AProVE_HO.TakeDropWhile.trs.stderr	13-Apr-2005 12:54	0
TRS.higher-order.AProVE_HO.TakeDropWhile.trs.stdout	13-Apr-2005 12:55	10
TRS.higher-order.AProVE_HO.TypeEx1.trs.stderr	13-Apr-2005 12:59	12K
TRS.higher-order.AProVE_HO.TypeEx1.trs.stdout	13-Apr-2005 12:59	4
TRS.higher-order.AProVE_HO.TypeEx3.trs.stderr	13-Apr-2005 13:00	0
TRS.higher-order.AProVE_HO.TypeEx3.trs.stdout	13-Apr-2005 13:00	10
TRS.higher-order.AProVE_HO.TypeEx5.trs.stderr	13-Apr-2005 13:01	0
TRS.higher-order.AProVE_HO.TypeEx5.trs.stdout	13-Apr-2005 13:01	10
TRS.higher-order.AProVE_HO.mapDivMinus.trs.stderr	13-Apr-2005 12:46	0
TRS.higher-order.AProVE_HO.mapDivMinus.trs.stdout	13-Apr-2005 12:47	10
TRS.higher-order.AProVE_HO.mapDivMinusHard.trs.stderr	13-Apr-2005 12:43	0
TRS.higher-order.AProVE_HO.mapDivMinusHard.trs.stdout	13-Apr-2005 12:44	10
TRS.higher-order.AProVE_HO.nonTermF.trs.stderr	13-Apr-2005 12:49	0
TRS.higher-order.AProVE_HO.nonTermF.trs.stdout	13-Apr-2005 12:50	10
TRS.higher-order.AProVE_HO.termMonTypes.trs.stderr	13-Apr-2005 12:56	0
TRS.higher-order.AProVE_HO.termMonTypes.trs.stdout	13-Apr-2005 12:57	10
TRS.higher-order.AotoYam.001.trs.stderr	13-Apr-2005 11:34	0
TRS.higher-order.AotoYam.001.trs.stdout	13-Apr-2005 11:34	10
TRS.higher-order.AotoYam.002.trs.stderr	13-Apr-2005 11:37	0
TRS.higher-order.AotoYam.002.trs.stdout	13-Apr-2005 11:38	10
TRS.higher-order.AotoYam.003.trs.stderr	13-Apr-2005 11:39	0
TRS.higher-order.AotoYam.003.trs.stdout	13-Apr-2005 11:40	10
TRS.higher-order.AotoYam.004.trs.stderr	13-Apr-2005 11:42	0
TRS.higher-order.AotoYam.004.trs.stdout	13-Apr-2005 11:43	10
TRS.higher-order.AotoYam.005.trs.stderr	13-Apr-2005 11:45	1.2K
TRS.higher-order.AotoYam.005.trs.stdout	13-Apr-2005 11:45	4
TRS.higher-order.AotoYam.006.trs.stderr	13-Apr-2005 11:46	5.2K
TRS.higher-order.AotoYam.006.trs.stdout	13-Apr-2005 11:46	4
TRS.higher-order.AotoYam.007.trs.stderr	13-Apr-2005 11:48	0
TRS.higher-order.AotoYam.007.trs.stdout	13-Apr-2005 11:49	10
TRS.higher-order.AotoYam.009.trs.stderr	13-Apr-2005 11:51	5.8K
TRS.higher-order.AotoYam.009.trs.stdout	13-Apr-2005 11:51	4
TRS.higher-order.AotoYam.010.trs.stderr	13-Apr-2005 11:52	0
TRS.higher-order.AotoYam.010.trs.stdout	13-Apr-2005 11:53	10
TRS.higher-order.AotoYam.011.trs.stderr	13-Apr-2005 11:55	0
TRS.higher-order.AotoYam.011.trs.stdout	13-Apr-2005 11:56	10
TRS.higher-order.AotoYam.012.trs.stderr	13-Apr-2005 11:58	5.8K
TRS.higher-order.AotoYam.012.trs.stdout	13-Apr-2005 11:58	4
TRS.higher-order.AotoYam.013.trs.stderr	13-Apr-2005 12:00	0
TRS.higher-order.AotoYam.013.trs.stdout	13-Apr-2005 12:01	10
TRS.higher-order.AotoYam.014.trs.stderr	13-Apr-2005 12:03	0
TRS.higher-order.AotoYam.014.trs.stdout	13-Apr-2005 12:04	10
TRS.higher-order.AotoYam.015.trs.stderr	13-Apr-2005 12:07	0
TRS.higher-order.AotoYam.015.trs.stdout	13-Apr-2005 12:08	10
TRS.higher-order.AotoYam.016.trs.stderr	13-Apr-2005 12:10	0
TRS.higher-order.AotoYam.016.trs.stdout	13-Apr-2005 12:11	10
TRS.higher-order.AotoYam.017.trs.stderr	13-Apr-2005 12:12	847
TRS.higher-order.AotoYam.017.trs.stdout	13-Apr-2005 12:12	4
TRS.higher-order.AotoYam.019.trs.stderr	13-Apr-2005 12:13	0
TRS.higher-order.AotoYam.019.trs.stdout	13-Apr-2005 12:14	10
TRS.higher-order.AotoYam.020.trs.stderr	13-Apr-2005 12:16	0
TRS.higher-order.AotoYam.020.trs.stdout	13-Apr-2005 12:17	10
TRS.higher-order.AotoYam.021.trs.stderr	13-Apr-2005 12:19	0
TRS.higher-order.AotoYam.021.trs.stdout	13-Apr-2005 12:20	10
TRS.higher-order.AotoYam.022.trs.stderr	13-Apr-2005 12:22	21K
TRS.higher-order.AotoYam.022.trs.stdout	13-Apr-2005 12:22	4
TRS.higher-order.AotoYam.023.trs.stderr	13-Apr-2005 12:24	1.0K
TRS.higher-order.AotoYam.023.trs.stdout	13-Apr-2005 12:24	4
TRS.higher-order.AotoYam.024.trs.stderr	13-Apr-2005 12:24	3.0K
TRS.higher-order.AotoYam.024.trs.stdout	13-Apr-2005 12:24	4
TRS.higher-order.AotoYam.025.trs.stderr	13-Apr-2005 12:26	831
TRS.higher-order.AotoYam.025.trs.stdout	13-Apr-2005 12:26	4
TRS.higher-order.AotoYam.026.trs.stderr	13-Apr-2005 12:27	0
TRS.higher-order.AotoYam.026.trs.stdout	13-Apr-2005 12:27	10
TRS.higher-order.AotoYam.027.trs.stderr	13-Apr-2005 12:30	0
TRS.higher-order.AotoYam.027.trs.stdout	13-Apr-2005 12:30	10
TRS.higher-order.AotoYam.028.trs.stderr	13-Apr-2005 12:33	0
TRS.higher-order.AotoYam.028.trs.stdout	13-Apr-2005 12:34	10
TRS.higher-order.AotoYam.Ex1SimplyTyped.trs.stderr	13-Apr-2005 12:36	0
TRS.higher-order.AotoYam.Ex1SimplyTyped.trs.stdout	13-Apr-2005 12:37	10
TRS.higher-order.AotoYam.Ex5TermProof.trs.stderr	13-Apr-2005 12:40	0
TRS.higher-order.AotoYam.Ex5TermProof.trs.stdout	13-Apr-2005 12:41	10
TRS.higher-order.Bird.BTreeMember.trs.stderr	13-Apr-2005 13:03	6.9K
TRS.higher-order.Bird.BTreeMember.trs.stdout	13-Apr-2005 13:03	4
TRS.higher-order.Bird.Ex2_6_1Composition.trs.stderr	13-Apr-2005 13:04	847
TRS.higher-order.Bird.Ex2_6_1Composition.trs.stdout	13-Apr-2005 13:04	4
TRS.higher-order.Bird.Ex2_8_1ConstSubstFix.trs.stderr	13-Apr-2005 13:04	0
TRS.higher-order.Bird.Ex2_8_1ConstSubstFix.trs.stdout	13-Apr-2005 13:04	10
TRS.higher-order.Bird.Hamming.trs.stderr	13-Apr-2005 13:08	50
TRS.higher-order.Bird.Hamming.trs.stdout	13-Apr-2005 13:07	0
TRS.higher-order.Bird.TreeFlatten.trs.stderr	13-Apr-2005 13:11	0
TRS.higher-order.Bird.TreeFlatten.trs.stdout	13-Apr-2005 13:11	10
TRS.higher-order.Bird.TreeHeight.trs.stderr	13-Apr-2005 13:14	0
TRS.higher-order.Bird.TreeHeight.trs.stdout	13-Apr-2005 13:15	10
TRS.higher-order.Bird.TreeLevels.trs.stderr	13-Apr-2005 13:18	0
TRS.higher-order.Bird.TreeLevels.trs.stdout	13-Apr-2005 13:19	10
TRS.higher-order.Bird.TreeMap.trs.stderr	13-Apr-2005 13:21	0
TRS.higher-order.Bird.TreeMap.trs.stdout	13-Apr-2005 13:22	10
TRS.higher-order.Bird.TreeSize.trs.stderr	13-Apr-2005 13:24	0
TRS.higher-order.Bird.TreeSize.trs.stdout	13-Apr-2005 13:25	10
TRS.higher-order.Kusakari.Ex6_11.trs.stderr	13-Apr-2005 13:26	1.3K
TRS.higher-order.Kusakari.Ex6_11.trs.stdout	13-Apr-2005 13:26	4
TRS.higher-order.Kusakari.Ex7_9.trs.stderr	13-Apr-2005 13:29	0
TRS.higher-order.Kusakari.Ex7_9.trs.stdout	13-Apr-2005 13:30	10
TRS.higher-order.Lifantsev.Ex2PrimRec.trs.stderr	13-Apr-2005 13:37	0
TRS.higher-order.Lifantsev.Ex2PrimRec.trs.stdout	13-Apr-2005 13:38	10
TRS.higher-order.Lifantsev.Ex3Lists.trs.stderr	13-Apr-2005 13:40	0
TRS.higher-order.Lifantsev.Ex3Lists.trs.stdout	13-Apr-2005 13:41	10
TRS.higher-order.Lifantsev.Ex4MapList.trs.stderr	13-Apr-2005 13:43	3.2K
TRS.higher-order.Lifantsev.Ex4MapList.trs.stdout	13-Apr-2005 13:43	4
TRS.higher-order.Lifantsev.Ex5Sorting.trs.stderr	13-Apr-2005 13:47	0
TRS.higher-order.Lifantsev.Ex5Sorting.trs.stdout	13-Apr-2005 13:48	10
TRS.higher-order.Lifantsev.Ex6Folding.trs.stderr	13-Apr-2005 13:52	0
TRS.higher-order.Lifantsev.Ex6Folding.trs.stdout	13-Apr-2005 13:53	10
TRS.higher-order.Lifantsev.Ex7OrdinalRec.trs.stderr	13-Apr-2005 13:57	0
TRS.higher-order.Lifantsev.Ex7OrdinalRec.trs.stdout	13-Apr-2005 13:58	10
TRS.higher-order.Lifantsev.Ex8Polymorphic.trs.stderr	13-Apr-2005 14:00	0
TRS.higher-order.Lifantsev.Ex8Polymorphic.trs.stdout	13-Apr-2005 14:01	10
TRS.higher-order.Lifantsev.Ex9Maps.trs.stderr	13-Apr-2005 14:05	9.3K
TRS.higher-order.Lifantsev.Ex9Maps.trs.stdout	13-Apr-2005 14:05	4
TRS.higher-order.Lifantsev.Ex10Functional.trs.stderr	13-Apr-2005 13:33	0
TRS.higher-order.Lifantsev.Ex10Functional.trs.stdout	13-Apr-2005 13:34	10
TRS.higher-order.ToyamaRTA04.Ex4Filter.trs.stderr	13-Apr-2005 14:09	0
TRS.higher-order.ToyamaRTA04.Ex4Filter.trs.stdout	13-Apr-2005 14:10	10
TRS.higher-order.ToyamaRTA04.Ex5Folding.trs.stderr	13-Apr-2005 14:13	0
TRS.higher-order.ToyamaRTA04.Ex5Folding.trs.stdout	13-Apr-2005 14:14	10
TRS.higher-order.ToyamaRTA04.Ex6Recursor.trs.stderr	13-Apr-2005 14:17	0
TRS.higher-order.ToyamaRTA04.Ex6Recursor.trs.stdout	13-Apr-2005 14:18	10
TRS.higher-order.ToyamaRTA04.Ex7Sorting.trs.stderr	13-Apr-2005 14:22	0
TRS.higher-order.ToyamaRTA04.Ex7Sorting.trs.stdout	13-Apr-2005 14:23	10
TRS.nontermin.AG01._4.2.trs.stderr	13-Apr-2005 15:01	0
TRS.nontermin.AG01._4.2.trs.stdout	13-Apr-2005 15:02	10
TRS.nontermin.AG01._4.3.trs.stderr	13-Apr-2005 15:33	0
TRS.nontermin.AG01._4.3.trs.stdout	13-Apr-2005 15:33	10
TRS.nontermin.AG01._4.4.trs.stderr	13-Apr-2005 15:33	0
TRS.nontermin.AG01._4.4.trs.stdout	13-Apr-2005 15:33	10
TRS.nontermin.AG01._4.7.trs.stderr	13-Apr-2005 15:34	0
TRS.nontermin.AG01._4.7.trs.stdout	13-Apr-2005 15:34	10
TRS.nontermin.AG01._4.12a.trs.stderr	13-Apr-2005 14:26	0
TRS.nontermin.AG01._4.12a.trs.stdout	13-Apr-2005 14:26	10
TRS.nontermin.AG01._4.13.trs.stderr	13-Apr-2005 14:29	0
TRS.nontermin.AG01._4.13.trs.stdout	13-Apr-2005 14:29	10
TRS.nontermin.AG01._4.14.trs.stderr	13-Apr-2005 14:30	0
TRS.nontermin.AG01._4.14.trs.stdout	13-Apr-2005 14:30	10
TRS.nontermin.AG01._4.15.trs.stderr	13-Apr-2005 14:34	50
TRS.nontermin.AG01._4.15.trs.stdout	13-Apr-2005 14:33	0
TRS.nontermin.AG01._4.16.trs.stderr	13-Apr-2005 14:35	0
TRS.nontermin.AG01._4.16.trs.stdout	13-Apr-2005 14:35	10
TRS.nontermin.AG01._4.17.trs.stderr	13-Apr-2005 14:36	0
TRS.nontermin.AG01._4.17.trs.stdout	13-Apr-2005 14:37	10
TRS.nontermin.AG01._4.18.trs.stderr	13-Apr-2005 14:39	0
TRS.nontermin.AG01._4.18.trs.stdout	13-Apr-2005 14:40	10
TRS.nontermin.AG01._4.19.trs.stderr	13-Apr-2005 14:42	0
TRS.nontermin.AG01._4.19.trs.stdout	13-Apr-2005 14:42	10
TRS.nontermin.AG01._4.20.trs.stderr	13-Apr-2005 14:43	1.2K
TRS.nontermin.AG01._4.20.trs.stdout	13-Apr-2005 14:43	4
TRS.nontermin.AG01._4.20a.trs.stderr	13-Apr-2005 14:43	1.5K
TRS.nontermin.AG01._4.20a.trs.stdout	13-Apr-2005 14:43	4
TRS.nontermin.AG01._4.21.trs.stderr	13-Apr-2005 14:43	2.1K
TRS.nontermin.AG01._4.21.trs.stdout	13-Apr-2005 14:43	4
TRS.nontermin.AG01._4.22.trs.stderr	13-Apr-2005 14:44	0
TRS.nontermin.AG01._4.22.trs.stdout	13-Apr-2005 14:45	10
TRS.nontermin.AG01._4.23.trs.stderr	13-Apr-2005 14:47	0
TRS.nontermin.AG01._4.23.trs.stdout	13-Apr-2005 14:48	10
TRS.nontermin.AG01._4.25.trs.stderr	13-Apr-2005 14:50	0
TRS.nontermin.AG01._4.25.trs.stdout	13-Apr-2005 14:50	10
TRS.nontermin.AG01._4.26.trs.stderr	13-Apr-2005 14:53	50
TRS.nontermin.AG01._4.26.trs.stdout	13-Apr-2005 14:52	0
TRS.nontermin.AG01._4.27.trs.stderr	13-Apr-2005 14:55	0
TRS.nontermin.AG01._4.27.trs.stdout	13-Apr-2005 14:56	10
TRS.nontermin.AG01._4.28.trs.stderr	13-Apr-2005 14:57	0
TRS.nontermin.AG01._4.28.trs.stdout	13-Apr-2005 14:57	10
TRS.nontermin.AG01._4.29.trs.stderr	13-Apr-2005 15:00	50
TRS.nontermin.AG01._4.29.trs.stdout	13-Apr-2005 14:59	0
TRS.nontermin.AG01._4.30.trs.stderr	13-Apr-2005 15:16	50
TRS.nontermin.AG01._4.30.trs.stdout	13-Apr-2005 15:15	0
TRS.nontermin.AG01._4.30a.trs.stderr	13-Apr-2005 15:04	0
TRS.nontermin.AG01._4.30a.trs.stdout	13-Apr-2005 15:05	10
TRS.nontermin.AG01._4.30b.trs.stderr	13-Apr-2005 15:09	50
TRS.nontermin.AG01._4.30b.trs.stdout	13-Apr-2005 15:08	0
TRS.nontermin.AG01._4.30c.trs.stderr	13-Apr-2005 15:12	0
TRS.nontermin.AG01._4.30c.trs.stdout	13-Apr-2005 15:12	10
TRS.nontermin.AG01._4.31.trs.stderr	13-Apr-2005 15:18	0
TRS.nontermin.AG01._4.31.trs.stdout	13-Apr-2005 15:18	10
TRS.nontermin.AG01._4.32.trs.stderr	13-Apr-2005 15:20	1.8K
TRS.nontermin.AG01._4.32.trs.stdout	13-Apr-2005 15:20	4
TRS.nontermin.AG01._4.33.trs.stderr	13-Apr-2005 15:21	0
TRS.nontermin.AG01._4.33.trs.stdout	13-Apr-2005 15:21	10
TRS.nontermin.AG01._4.34.trs.stderr	13-Apr-2005 15:24	0
TRS.nontermin.AG01._4.34.trs.stdout	13-Apr-2005 15:24	10
TRS.nontermin.AG01._4.35.trs.stderr	13-Apr-2005 15:27	50
TRS.nontermin.AG01._4.35.trs.stdout	13-Apr-2005 15:26	0
TRS.nontermin.AG01._4.36.trs.stderr	13-Apr-2005 15:30	50
TRS.nontermin.AG01._4.36.trs.stdout	13-Apr-2005 15:29	0
TRS.nontermin.AG01._4.37.trs.stderr	13-Apr-2005 15:32	0
TRS.nontermin.AG01._4.37.trs.stdout	13-Apr-2005 15:33	10
TRS.nontermin.AG01._4.37a.trs.stderr	13-Apr-2005 15:31	0
TRS.nontermin.AG01._4.37a.trs.stdout	13-Apr-2005 15:32	10
TRS.nontermin.CSR.Ex1_2_AEL03.trs.stderr	13-Apr-2005 15:41	0
TRS.nontermin.CSR.Ex1_2_AEL03.trs.stdout	13-Apr-2005 15:41	10
TRS.nontermin.CSR.Ex1_2_Luc02c.trs.stderr	13-Apr-2005 15:42	0
TRS.nontermin.CSR.Ex1_2_Luc02c.trs.stdout	13-Apr-2005 15:42	10
TRS.nontermin.CSR.Ex1_GL02a.trs.stderr	13-Apr-2005 15:46	50
TRS.nontermin.CSR.Ex1_GL02a.trs.stdout	13-Apr-2005 15:45	0
TRS.nontermin.CSR.Ex1_GM03.trs.stderr	13-Apr-2005 15:47	0
TRS.nontermin.CSR.Ex1_GM03.trs.stdout	13-Apr-2005 15:47	10
TRS.nontermin.CSR.Ex1_GM99.trs.stderr	13-Apr-2005 15:49	0
TRS.nontermin.CSR.Ex1_GM99.trs.stdout	13-Apr-2005 15:49	10
TRS.nontermin.CSR.Ex1_Luc02b.trs.stderr	13-Apr-2005 15:50	0
TRS.nontermin.CSR.Ex1_Luc02b.trs.stdout	13-Apr-2005 15:50	10
TRS.nontermin.CSR.Ex1_Zan97.trs.stderr	13-Apr-2005 15:51	0
TRS.nontermin.CSR.Ex1_Zan97.trs.stdout	13-Apr-2005 15:51	10
TRS.nontermin.CSR.Ex2_Luc03b.trs.stderr	13-Apr-2005 15:55	50
TRS.nontermin.CSR.Ex2_Luc03b.trs.stdout	13-Apr-2005 15:54	0
TRS.nontermin.CSR.Ex3_2_Luc97.trs.stderr	13-Apr-2005 15:59	50
TRS.nontermin.CSR.Ex3_2_Luc97.trs.stdout	13-Apr-2005 15:58	0
TRS.nontermin.CSR.Ex3_3_25_Bor03.trs.stderr	13-Apr-2005 16:00	1.0K
TRS.nontermin.CSR.Ex3_3_25_Bor03.trs.stdout	13-Apr-2005 16:00	3
TRS.nontermin.CSR.Ex3_12_Luc96a.trs.stderr	13-Apr-2005 15:56	0
TRS.nontermin.CSR.Ex3_12_Luc96a.trs.stdout	13-Apr-2005 15:56	10
TRS.nontermin.CSR.Ex4_4_Luc96b.trs.stderr	13-Apr-2005 16:01	731
TRS.nontermin.CSR.Ex4_4_Luc96b.trs.stdout	13-Apr-2005 16:01	3
TRS.nontermin.CSR.Ex4_7_15_Bor03.trs.stderr	13-Apr-2005 16:02	0
TRS.nontermin.CSR.Ex4_7_15_Bor03.trs.stdout	13-Apr-2005 16:02	10
TRS.nontermin.CSR.Ex4_7_37_Bor03.trs.stderr	13-Apr-2005 16:03	0
TRS.nontermin.CSR.Ex4_7_37_Bor03.trs.stdout	13-Apr-2005 16:03	10
TRS.nontermin.CSR.Ex4_7_56_Bor03.trs.stderr	13-Apr-2005 16:05	0
TRS.nontermin.CSR.Ex4_7_56_Bor03.trs.stdout	13-Apr-2005 16:05	10
TRS.nontermin.CSR.Ex4_7_77_Bor03.trs.stderr	13-Apr-2005 16:06	747
TRS.nontermin.CSR.Ex4_7_77_Bor03.trs.stdout	13-Apr-2005 16:06	3
TRS.nontermin.CSR.Ex4_Zan97.trs.stderr	13-Apr-2005 16:07	0
TRS.nontermin.CSR.Ex4_Zan97.trs.stdout	13-Apr-2005 16:07	10
TRS.nontermin.CSR.Ex5_7_Luc97.trs.stderr	13-Apr-2005 16:08	0
TRS.nontermin.CSR.Ex5_7_Luc97.trs.stdout	13-Apr-2005 16:08	10
TRS.nontermin.CSR.Ex5_Zan97.trs.stderr	13-Apr-2005 16:09	0
TRS.nontermin.CSR.Ex5_Zan97.trs.stdout	13-Apr-2005 16:09	10
TRS.nontermin.CSR.Ex6_9_Luc02c.trs.stderr	13-Apr-2005 16:12	0
TRS.nontermin.CSR.Ex6_9_Luc02c.trs.stdout	13-Apr-2005 16:12	10
TRS.nontermin.CSR.Ex6_15_AEL02.trs.stderr	13-Apr-2005 16:10	50
TRS.nontermin.CSR.Ex6_15_AEL02.trs.stdout	13-Apr-2005 16:09	0
TRS.nontermin.CSR.Ex6_GM04.trs.stderr	13-Apr-2005 16:13	720
TRS.nontermin.CSR.Ex6_GM04.trs.stdout	13-Apr-2005 16:13	3
TRS.nontermin.CSR.Ex6_Luc98.trs.stderr	13-Apr-2005 16:14	50
TRS.nontermin.CSR.Ex6_Luc98.trs.stdout	13-Apr-2005 16:13	0
TRS.nontermin.CSR.Ex7_BLR02.trs.stderr	13-Apr-2005 16:15	0
TRS.nontermin.CSR.Ex7_BLR02.trs.stdout	13-Apr-2005 16:15	10
TRS.nontermin.CSR.Ex8_BLR02.trs.stderr	13-Apr-2005 16:16	0
TRS.nontermin.CSR.Ex8_BLR02.trs.stdout	13-Apr-2005 16:16	10
TRS.nontermin.CSR.Ex9_BLR02.trs.stderr	13-Apr-2005 16:18	50
TRS.nontermin.CSR.Ex9_BLR02.trs.stdout	13-Apr-2005 16:17	0
TRS.nontermin.CSR.Ex14_AEGL02.trs.stderr	13-Apr-2005 15:43	0
TRS.nontermin.CSR.Ex14_AEGL02.trs.stdout	13-Apr-2005 15:43	10
TRS.nontermin.CSR.Ex15_Luc98.trs.stderr	13-Apr-2005 15:44	0
TRS.nontermin.CSR.Ex15_Luc98.trs.stdout	13-Apr-2005 15:44	10
TRS.nontermin.CSR.Ex24_GM04.trs.stderr	13-Apr-2005 15:51	0
TRS.nontermin.CSR.Ex24_GM04.trs.stdout	13-Apr-2005 15:51	10
TRS.nontermin.CSR.Ex26_Luc03b.trs.stderr	13-Apr-2005 15:53	50
TRS.nontermin.CSR.Ex26_Luc03b.trs.stdout	13-Apr-2005 15:52	0
TRS.nontermin.CSR.Ex49_GM04.trs.stderr	13-Apr-2005 16:07	11K
TRS.nontermin.CSR.Ex49_GM04.trs.stdout	13-Apr-2005 16:07	4
TRS.nontermin.CSR.ExAppendixB_AEL03.trs.stderr	13-Apr-2005 16:19	0
TRS.nontermin.CSR.ExAppendixB_AEL03.trs.stdout	13-Apr-2005 16:20	10
TRS.nontermin.CSR.ExConc_Zan97.trs.stderr	13-Apr-2005 16:21	713
TRS.nontermin.CSR.ExConc_Zan97.trs.stdout	13-Apr-2005 16:21	3
TRS.nontermin.CSR.ExIntrod_GM01.trs.stderr	13-Apr-2005 16:21	913
TRS.nontermin.CSR.ExIntrod_GM01.trs.stdout	13-Apr-2005 16:21	3
TRS.nontermin.CSR.ExIntrod_GM04.trs.stderr	13-Apr-2005 16:22	870
TRS.nontermin.CSR.ExIntrod_GM04.trs.stdout	13-Apr-2005 16:22	3
TRS.nontermin.CSR.ExIntrod_GM99.trs.stderr	13-Apr-2005 16:23	0
TRS.nontermin.CSR.ExIntrod_GM99.trs.stdout	13-Apr-2005 16:24	10
TRS.nontermin.CSR.ExIntrod_Zan97.trs.stderr	13-Apr-2005 16:25	0
TRS.nontermin.CSR.ExIntrod_Zan97.trs.stdout	13-Apr-2005 16:25	10
TRS.nontermin.HM.n001.trs.stderr	13-Apr-2005 16:26	0
TRS.nontermin.HM.n001.trs.stdout	13-Apr-2005 16:27	10
TRS.nontermin.Rubio-inn.bn111.trs.stderr	13-Apr-2005 16:29	0
TRS.nontermin.Rubio-inn.bn111.trs.stdout	13-Apr-2005 16:29	10
TRS.nontermin.Rubio-inn.gkg.trs.stderr	13-Apr-2005 16:29	0
TRS.nontermin.Rubio-inn.gkg.trs.stdout	13-Apr-2005 16:29	10
TRS.nontermin.Rubio-inn.muladd.trs.stderr	13-Apr-2005 16:30	0
TRS.nontermin.Rubio-inn.muladd.trs.stdout	13-Apr-2005 16:30	10
TRS.nontermin.Rubio-inn.test9.trs.stderr	13-Apr-2005 16:43	0
TRS.nontermin.Rubio-inn.test9.trs.stdout	13-Apr-2005 16:43	10
TRS.nontermin.Rubio-inn.test10.trs.stderr	13-Apr-2005 16:32	0
TRS.nontermin.Rubio-inn.test10.trs.stdout	13-Apr-2005 16:33	10
TRS.nontermin.Rubio-inn.test75.trs.stderr	13-Apr-2005 16:35	0
TRS.nontermin.Rubio-inn.test75.trs.stdout	13-Apr-2005 16:35	10
TRS.nontermin.Rubio-inn.test76.trs.stderr	13-Apr-2005 16:37	0
TRS.nontermin.Rubio-inn.test76.trs.stdout	13-Apr-2005 16:38	10
TRS.nontermin.Rubio-inn.test77.trs.stderr	13-Apr-2005 16:41	0
TRS.nontermin.Rubio-inn.test77.trs.stdout	13-Apr-2005 16:41	10
TRS.nontermin.Rubio-inn.test830.trs.stderr	13-Apr-2005 16:42	1.9K
TRS.nontermin.Rubio-inn.test830.trs.stdout	13-Apr-2005 16:42	4
TRS.nontermin.Rubio-inn.toyama.trs.stderr	13-Apr-2005 16:44	0
TRS.nontermin.Rubio-inn.toyama.trs.stdout	13-Apr-2005 16:44	10
TRS.nontermin.TRCSR.ExSec11_1_Luc02a.trs.stderr	13-Apr-2005 16:46	50
TRS.nontermin.TRCSR.ExSec11_1_Luc02a.trs.stdout	13-Apr-2005 16:45	0
TRS.nontermin.cariboo.ex1.trs.stderr	13-Apr-2005 15:35	739
TRS.nontermin.cariboo.ex1.trs.stdout	13-Apr-2005 15:35	3
TRS.nontermin.cariboo.ex2.trs.stderr	13-Apr-2005 15:36	0
TRS.nontermin.cariboo.ex2.trs.stdout	13-Apr-2005 15:36	10
TRS.nontermin.cariboo.ex3.trs.stderr	13-Apr-2005 15:37	748
TRS.nontermin.cariboo.ex3.trs.stdout	13-Apr-2005 15:37	3
TRS.nontermin.cariboo.ex4.trs.stderr	13-Apr-2005 15:38	0
TRS.nontermin.cariboo.ex4.trs.stdout	13-Apr-2005 15:38	10
TRS.nontermin.cariboo.ex5.trs.stderr	13-Apr-2005 15:39	736
TRS.nontermin.cariboo.ex5.trs.stdout	13-Apr-2005 15:39	3
TRS.nontermin.cariboo.ex6.trs.stderr	13-Apr-2005 15:40	0
TRS.nontermin.cariboo.ex6.trs.stdout	13-Apr-2005 15:40	10
TRS.nontermin.cariboo.tricky1.trs.stderr	13-Apr-2005 15:41	2.9K
TRS.nontermin.cariboo.tricky1.trs.stdout	13-Apr-2005 15:41	4
TRS.relative.rt1-1.trs.stderr	12-Apr-2005 10:10	808
TRS.relative.rt1-1.trs.stdout	12-Apr-2005 10:10	4
TRS.relative.rt1-2.trs.stderr	12-Apr-2005 10:10	936
TRS.relative.rt1-2.trs.stdout	12-Apr-2005 10:10	4
TRS.relative.rt1-3.trs.stderr	12-Apr-2005 10:10	1.5K
TRS.relative.rt1-3.trs.stdout	12-Apr-2005 10:10	4
TRS.relative.rt1-4.trs.stderr	12-Apr-2005 10:10	1.3K
TRS.relative.rt1-4.trs.stdout	12-Apr-2005 10:10	4
TRS.relative.rt1-5.trs.stderr	12-Apr-2005 10:10	1.4K
TRS.relative.rt1-5.trs.stdout	12-Apr-2005 10:10	4
TRS.relative.rt2-1.trs.stderr	12-Apr-2005 10:10	0
TRS.relative.rt2-1.trs.stdout	12-Apr-2005 10:10	10
TRS.relative.rt2-2.trs.stderr	12-Apr-2005 10:10	1.3K
TRS.relative.rt2-2.trs.stdout	12-Apr-2005 10:10	4
TRS.relative.rt2-3.trs.stderr	12-Apr-2005 10:10	1.9K
TRS.relative.rt2-3.trs.stdout	12-Apr-2005 10:10	4
TRS.relative.rt2-4.trs.stderr	12-Apr-2005 10:10	0
TRS.relative.rt2-4.trs.stdout	12-Apr-2005 10:10	10
TRS.relative.rt2-5.trs.stderr	12-Apr-2005 10:10	0
TRS.relative.rt2-5.trs.stdout	12-Apr-2005 10:11	10
TRS.relative.rt2-6.trs.stderr	12-Apr-2005 10:11	1.1K
TRS.relative.rt2-6.trs.stdout	12-Apr-2005 10:11	4
TRS.relative.rt2-7.trs.stderr	12-Apr-2005 10:11	2.4K
TRS.relative.rt2-7.trs.stdout	12-Apr-2005 10:11	4
TRS.relative.rt2-8.trs.stderr	12-Apr-2005 10:11	0
TRS.relative.rt2-8.trs.stdout	12-Apr-2005 10:12	10
TRS.relative.rt3-1.trs.stderr	12-Apr-2005 10:14	50
TRS.relative.rt3-1.trs.stdout	12-Apr-2005 10:13	0
TRS.relative.rt3-2.trs.stderr	12-Apr-2005 10:14	0
TRS.relative.rt3-2.trs.stdout	12-Apr-2005 10:14	10
TRS.relative.rt3-3.trs.stderr	12-Apr-2005 10:14	0
TRS.relative.rt3-3.trs.stdout	12-Apr-2005 10:15	10
TRS.relative.rt3-4.trs.stderr	12-Apr-2005 10:17	50
TRS.relative.rt3-4.trs.stdout	12-Apr-2005 10:16	0
TRS.relative.rt3-5.trs.stderr	12-Apr-2005 10:18	4.1K
TRS.relative.rt3-5.trs.stdout	12-Apr-2005 10:18	4
TRS.relative.rt3-6.trs.stderr	12-Apr-2005 10:18	0
TRS.relative.rt3-6.trs.stdout	12-Apr-2005 10:18	10
TRS.relative.rt3-7.trs.stderr	12-Apr-2005 10:20	50
TRS.relative.rt3-7.trs.stdout	12-Apr-2005 10:19	0
TRS.relative.rt3-8.trs.stderr	12-Apr-2005 10:21	50
TRS.relative.rt3-8.trs.stdout	12-Apr-2005 10:20	0
TRS.relative.rt3-9.trs.stderr	12-Apr-2005 10:23	50
TRS.relative.rt3-9.trs.stdout	12-Apr-2005 10:22	0
TRS.relative.rtL-cbn1.trs.stderr	12-Apr-2005 10:23	11K
TRS.relative.rtL-cbn1.trs.stdout	12-Apr-2005 10:23	4
TRS.relative.rtL-cbn5.trs.stderr	12-Apr-2005 10:24	50
TRS.relative.rtL-cbn5.trs.stdout	12-Apr-2005 10:23	0
TRS.relative.rtL-cbo.trs.stderr	12-Apr-2005 10:26	50
TRS.relative.rtL-cbo.trs.stdout	12-Apr-2005 10:25	0
TRS.relative.rtL-evnz.trs.stderr	12-Apr-2005 10:28	50
TRS.relative.rtL-evnz.trs.stdout	12-Apr-2005 10:27	0
TRS.relative.rtL-evo.trs.stderr	12-Apr-2005 10:30	50
TRS.relative.rtL-evo.trs.stdout	12-Apr-2005 10:29	0
TRS.relative.rtL-me2.trs.stderr	12-Apr-2005 10:31	3.1K
TRS.relative.rtL-me2.trs.stdout	12-Apr-2005 10:31	4
TRS.relative.rtL-me3.trs.stderr	12-Apr-2005 10:31	5.5K
TRS.relative.rtL-me3.trs.stdout	12-Apr-2005 10:31	4
TRS.relative.rtL-pwl.trs.stderr	12-Apr-2005 10:31	8.0K
TRS.relative.rtL-pwl.trs.stdout	12-Apr-2005 10:31	4
TRS.relative.rtL-rw2.trs.stderr	12-Apr-2005 10:32	50
TRS.relative.rtL-rw2.trs.stdout	12-Apr-2005 10:31	0
TRS.relative.rtL-rw5.trs.stderr	12-Apr-2005 10:34	50
TRS.relative.rtL-rw5.trs.stdout	12-Apr-2005 10:33	0
TRS.relative.rtL-wl1nz.trs.stderr	12-Apr-2005 10:35	2.1K
TRS.relative.rtL-wl1nz.trs.stdout	12-Apr-2005 10:35	4
TRS.relative.rtL-wl1o.trs.stderr	12-Apr-2005 10:35	0
TRS.relative.rtL-wl1o.trs.stdout	12-Apr-2005 10:35	10
TRS.various.02.trs.stderr	12-Apr-2005 22:03	0
TRS.various.02.trs.stdout	12-Apr-2005 22:03	10
TRS.various.03.trs.stderr	12-Apr-2005 22:05	0
TRS.various.03.trs.stdout	12-Apr-2005 22:05	10
TRS.various.04.trs.stderr	12-Apr-2005 22:10	50
TRS.various.04.trs.stdout	12-Apr-2005 22:09	0
TRS.various.05.trs.stderr	12-Apr-2005 22:16	50
TRS.various.05.trs.stdout	12-Apr-2005 22:15	0
TRS.various.06.trs.stderr	12-Apr-2005 22:19	1.1K
TRS.various.06.trs.stdout	12-Apr-2005 22:19	4
TRS.various.07.trs.stderr	12-Apr-2005 22:19	876
TRS.various.07.trs.stdout	12-Apr-2005 22:19	4
TRS.various.08.trs.stderr	12-Apr-2005 22:23	50
TRS.various.08.trs.stdout	12-Apr-2005 22:22	0
TRS.various.09.trs.stderr	12-Apr-2005 22:26	1.1K
TRS.various.09.trs.stdout	12-Apr-2005 22:26	4
TRS.various.10.trs.stderr	12-Apr-2005 22:27	0
TRS.various.10.trs.stdout	12-Apr-2005 22:28	10
TRS.various.11.trs.stderr	12-Apr-2005 22:30	2.4K
TRS.various.11.trs.stdout	12-Apr-2005 22:30	4
TRS.various.12.trs.stderr	12-Apr-2005 22:31	2.0K
TRS.various.12.trs.stdout	12-Apr-2005 22:31	4
TRS.various.13.trs.stderr	12-Apr-2005 22:32	2.7K
TRS.various.13.trs.stdout	12-Apr-2005 22:32	4
TRS.various.14.trs.stderr	12-Apr-2005 22:34	0
TRS.various.14.trs.stdout	12-Apr-2005 22:35	10
TRS.various.15.trs.stderr	12-Apr-2005 22:36	0
TRS.various.15.trs.stdout	12-Apr-2005 22:36	10
TRS.various.18.trs.stderr	12-Apr-2005 22:37	1.2K
TRS.various.18.trs.stdout	12-Apr-2005 22:37	4
TRS.various.19.trs.stderr	12-Apr-2005 22:38	2.4K
TRS.various.19.trs.stdout	12-Apr-2005 22:38	4
TRS.various.20.trs.stderr	12-Apr-2005 22:38	11K
TRS.various.20.trs.stdout	12-Apr-2005 22:38	4
TRS.various.21.trs.stderr	12-Apr-2005 22:40	3.6K
TRS.various.21.trs.stdout	12-Apr-2005 22:40	4
TRS.various.22.trs.stderr	12-Apr-2005 22:41	2.3K
TRS.various.22.trs.stdout	12-Apr-2005 22:41	4
TRS.various.23.trs.stderr	12-Apr-2005 22:42	1.4K
TRS.various.23.trs.stdout	12-Apr-2005 22:42	4
TRS.various.24.trs.stderr	12-Apr-2005 22:44	4.0K
TRS.various.24.trs.stdout	12-Apr-2005 22:44	4
TRS.various.25.trs.stderr	12-Apr-2005 22:44	1.4K
TRS.various.25.trs.stdout	12-Apr-2005 22:44	4
TRS.various.26.trs.stderr	12-Apr-2005 22:45	0
TRS.various.26.trs.stdout	12-Apr-2005 22:45	10
TRS.various.27.trs.stderr	12-Apr-2005 22:45	829
TRS.various.27.trs.stdout	12-Apr-2005 22:45	4
qualif.a3b3.srs.stderr	08-Apr-2005 13:05	11K
qualif.a3b3.srs.stdout	08-Apr-2005 13:05	4
qualif.a3b4.srs.stderr	08-Apr-2005 13:07	0
qualif.a3b4.srs.stdout	08-Apr-2005 13:08	10
qualif.aa.srs.stderr	08-Apr-2005 13:09	709
qualif.aa.srs.stdout	08-Apr-2005 13:09	3
qualif.aa.trs.stderr	08-Apr-2005 13:15	689
qualif.aa.trs.stdout	08-Apr-2005 13:15	3
qualif.ab.srs.stderr	08-Apr-2005 13:09	716
qualif.ab.srs.stdout	08-Apr-2005 13:09	4
qualif.ab.trs.stderr	08-Apr-2005 13:15	706
qualif.ab.trs.stdout	08-Apr-2005 13:15	4
qualif.ack.trs.stderr	08-Apr-2005 13:16	1.0K
qualif.ack.trs.stdout	08-Apr-2005 13:16	4
qualif.add.trs.stderr	31-Mar-2005 16:26	246
qualif.add.trs.stdout	31-Mar-2005 16:26	0
qualif.bin.trs.stderr	08-Apr-2005 13:17	1.7K
qualif.bin.trs.stdout	08-Apr-2005 13:17	4
qualif.fib.trs.stderr	31-Mar-2005 16:28	228
qualif.fib.trs.stdout	31-Mar-2005 16:28	0
qualif.inn.trs.stderr	31-Mar-2005 16:28	227
qualif.inn.trs.stdout	31-Mar-2005 16:28	10
qualif.no.trs.stderr	08-Apr-2005 13:17	690
qualif.no.trs.stdout	08-Apr-2005 13:17	3
qualif.quot.trs.stderr	08-Apr-2005 13:18	0
qualif.quot.trs.stdout	08-Apr-2005 13:19	10
qualif.rt1-1.trs.stderr	08-Apr-2005 13:19	808
qualif.rt1-1.trs.stdout	08-Apr-2005 13:19	4
qualif.rt3-9.trs.stderr	08-Apr-2005 13:20	50
qualif.rt3-9.trs.stdout	08-Apr-2005 13:19	0
qualif.simple.trs.stderr	08-Apr-2005 13:20	842
qualif.simple.trs.stdout	08-Apr-2005 13:20	4
qualif.simpleac.trs.stderr	31-Mar-2005 16:32	246
qualif.simpleac.trs.stdout	31-Mar-2005 16:32	0
qualif.simplec.trs.stderr	31-Mar-2005 16:32	246
qualif.simplec.trs.stdout	31-Mar-2005 16:32	0
qualif.syr.srs.stderr	08-Apr-2005 13:12	0
qualif.syr.srs.stdout	08-Apr-2005 13:13	10
qualif.syr1.trs.stderr	08-Apr-2005 13:22	0
qualif.syr1.trs.stdout	08-Apr-2005 13:22	10
qualif.syr2.trs.stderr	08-Apr-2005 13:25	0
qualif.syr2.trs.stdout	08-Apr-2005 13:26	10
qualif.toyama.trs.stderr	08-Apr-2005 13:29	1.1K
qualif.toyama.trs.stdout	08-Apr-2005 13:29	4
qualif.toyama2.trs.stderr	08-Apr-2005 13:28	0
qualif.toyama2.trs.stdout	08-Apr-2005 13:28	10
qualif.toyamaac.trs.stderr	31-Mar-2005 15:46	246
qualif.toyamaac.trs.stdout	31-Mar-2005 15:46	0
qualif.zr01.srs.stderr	08-Apr-2005 13:14	2.5K
qualif.zr01.srs.stdout	08-Apr-2005 13:14	4
qualif.zr05.srs.stderr	08-Apr-2005 13:15	2.4K
qualif.zr05.srs.stdout	08-Apr-2005 13:15	4
secret2005.aprove1.srs.stderr	11-Apr-2005 17:25	0
secret2005.aprove1.srs.stdout	11-Apr-2005 17:26	10
secret2005.aprove1.trs.stderr	13-Apr-2005 16:49	0
secret2005.aprove1.trs.stdout	13-Apr-2005 16:50	10
secret2005.aprove2.srs.stderr	11-Apr-2005 17:29	0
secret2005.aprove2.srs.stdout	11-Apr-2005 17:30	10
secret2005.aprove2.trs.stderr	13-Apr-2005 16:58	50
secret2005.aprove2.trs.stdout	13-Apr-2005 16:57	0
secret2005.aprove3.srs.stderr	11-Apr-2005 17:34	0
secret2005.aprove3.srs.stdout	11-Apr-2005 17:35	10
secret2005.aprove3.trs.stderr	13-Apr-2005 17:01	0
secret2005.aprove3.trs.stdout	13-Apr-2005 17:02	10
secret2005.aprove4.srs.stderr	11-Apr-2005 17:46	0
secret2005.aprove4.srs.stdout	11-Apr-2005 17:47	10
secret2005.aprove4.trs.stderr	13-Apr-2005 17:04	0
secret2005.aprove4.trs.stdout	13-Apr-2005 17:05	10
secret2005.aprove5.srs.stderr	11-Apr-2005 17:50	0
secret2005.aprove5.srs.stdout	11-Apr-2005 17:50	10
secret2005.aprove5.trs.stderr	13-Apr-2005 17:08	0
secret2005.aprove5.trs.stdout	13-Apr-2005 17:09	10
secret2005.cime1.trs.stderr	13-Apr-2005 17:13	4.8K
secret2005.cime1.trs.stdout	13-Apr-2005 17:13	4
secret2005.cime2.trs.stderr	13-Apr-2005 17:16	2.8K
secret2005.cime2.trs.stdout	13-Apr-2005 17:16	4
secret2005.cime3.trs.stderr	13-Apr-2005 17:19	0
secret2005.cime3.trs.stdout	13-Apr-2005 17:20	10
secret2005.cime4.trs.stderr	13-Apr-2005 17:23	0
secret2005.cime4.trs.stdout	13-Apr-2005 17:24	10
secret2005.cime5.trs.stderr	13-Apr-2005 17:29	50
secret2005.cime5.trs.stdout	13-Apr-2005 17:28	0
secret2005.jambox1.srs.stderr	11-Apr-2005 17:55	0
secret2005.jambox1.srs.stdout	11-Apr-2005 17:55	10
secret2005.jambox2.srs.stderr	11-Apr-2005 17:57	0
secret2005.jambox2.srs.stdout	11-Apr-2005 17:57	10
secret2005.jambox3.srs.stderr	11-Apr-2005 18:01	0
secret2005.jambox3.srs.stdout	11-Apr-2005 18:01	10
secret2005.jambox4.srs.stderr	11-Apr-2005 18:03	0
secret2005.jambox4.srs.stdout	11-Apr-2005 18:03	10
secret2005.jambox5.srs.stderr	11-Apr-2005 18:07	0
secret2005.jambox5.srs.stdout	11-Apr-2005 18:07	10
secret2005.matchbox1.srs.stderr	11-Apr-2005 18:11	0
secret2005.matchbox1.srs.stdout	11-Apr-2005 18:12	10
secret2005.matchbox1.trs.stderr	13-Apr-2005 17:31	4.7K
secret2005.matchbox1.trs.stdout	13-Apr-2005 17:31	4
secret2005.matchbox2.srs.stderr	11-Apr-2005 18:16	50
secret2005.matchbox2.srs.stdout	11-Apr-2005 18:15	0
secret2005.matchbox2.trs.stderr	13-Apr-2005 17:31	2.5K
secret2005.matchbox2.trs.stdout	13-Apr-2005 17:31	4
secret2005.teparla1.trs.stderr	13-Apr-2005 17:32	64K
secret2005.teparla1.trs.stdout	13-Apr-2005 17:32	4
secret2005.teparla2.trs.stderr	13-Apr-2005 17:34	22K
secret2005.teparla2.trs.stdout	13-Apr-2005 17:34	4
secret2005.teparla3.trs.stderr	13-Apr-2005 17:36	17K
secret2005.teparla3.trs.stdout	13-Apr-2005 17:36	4
secret2005.torpa1.srs.stderr	11-Apr-2005 18:18	0
secret2005.torpa1.srs.stdout	11-Apr-2005 18:19	10
secret2005.torpa2.srs.stderr	11-Apr-2005 18:22	0
secret2005.torpa2.srs.stdout	11-Apr-2005 18:22	10
secret2005.torpa3.srs.stderr	11-Apr-2005 18:25	0
secret2005.torpa3.srs.stdout	11-Apr-2005 18:26	10
secret2005.torpa4.srs.stderr	11-Apr-2005 18:29	0
secret2005.torpa4.srs.stdout	11-Apr-2005 18:30	10
secret2005.tpa1.trs.stderr	13-Apr-2005 17:39	0
secret2005.tpa1.trs.stdout	13-Apr-2005 17:40	10
secret2005.tpa2.trs.stderr	13-Apr-2005 17:42	0
secret2005.tpa2.trs.stdout	13-Apr-2005 17:42	10
secret2005.tpa3.trs.stderr	13-Apr-2005 17:43	0
secret2005.tpa3.trs.stdout	13-Apr-2005 17:44	10
secret2005.tpa4.trs.stderr	13-Apr-2005 17:46	0
secret2005.tpa4.trs.stdout	13-Apr-2005 17:47	10
secret2005.tpa5.trs.stderr	13-Apr-2005 17:49	0
secret2005.tpa5.trs.stdout	13-Apr-2005 17:50	10
secret2005.ttt1.trs.stderr	13-Apr-2005 17:51	0
secret2005.ttt1.trs.stdout	13-Apr-2005 17:52	10
secret2005.ttt2.trs.stderr	13-Apr-2005 17:53	0
secret2005.ttt2.trs.stdout	13-Apr-2005 17:53	10

Apache Server at www.lri.fr Port 80