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

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[ ]SRS.HofWald.1.srs.stderr11-Apr-2005 13:01 50  
[ ]SRS.HofWald.1.srs.stdout11-Apr-2005 13:00 0  
[ ]SRS.HofWald.2.srs.stderr11-Apr-2005 13:05 50  
[ ]SRS.HofWald.2.srs.stdout11-Apr-2005 13:04 0  
[ ]SRS.HofWald.3.srs.stderr11-Apr-2005 13:05 0  
[ ]SRS.HofWald.3.srs.stdout11-Apr-2005 13:05 2.4K 
[ ]SRS.HofWald.4.srs.stderr11-Apr-2005 13:10 50  
[ ]SRS.HofWald.4.srs.stdout11-Apr-2005 13:09 0  
[ ]SRS.Marche.s6.srs.stderr11-Apr-2005 13:10 0  
[ ]SRS.Marche.s6.srs.stdout11-Apr-2005 13:10 4.1K 
[ ]SRS.Marche.turing_add.srs.stderr11-Apr-2005 13:11 0  
[ ]SRS.Marche.turing_add.srs.stdout11-Apr-2005 13:11 1.3K 
[ ]SRS.Marche.turing_copy.srs.stderr11-Apr-2005 13:14 50  
[ ]SRS.Marche.turing_copy.srs.stdout11-Apr-2005 13:13 0  
[ ]SRS.Marche.turing_mult.srs.stderr11-Apr-2005 13:19 50  
[ ]SRS.Marche.turing_mult.srs.stdout11-Apr-2005 13:18 0  
[ ]SRS.Zantema.syracuse.srs.stderr11-Apr-2005 13:29 50  
[ ]SRS.Zantema.syracuse.srs.stdout11-Apr-2005 13:28 0  
[ ]SRS.Zantema.z001.srs.stderr11-Apr-2005 13:31 50  
[ ]SRS.Zantema.z001.srs.stdout11-Apr-2005 13:30 0  
[ ]SRS.Zantema.z002.srs.stderr11-Apr-2005 13:31 0  
[ ]SRS.Zantema.z002.srs.stdout11-Apr-2005 13:31 2.2K 
[ ]SRS.Zantema.z003.srs.stderr11-Apr-2005 13:31 0  
[ ]SRS.Zantema.z003.srs.stdout11-Apr-2005 13:31 2.3K 
[ ]SRS.Zantema.z004.srs.stderr11-Apr-2005 13:31 0  
[ ]SRS.Zantema.z004.srs.stdout11-Apr-2005 13:32 3.0K 
[ ]SRS.Zantema.z005.srs.stderr11-Apr-2005 13:33 50  
[ ]SRS.Zantema.z005.srs.stdout11-Apr-2005 13:32 0  
[ ]SRS.Zantema.z006.srs.stderr11-Apr-2005 13:33 0  
[ ]SRS.Zantema.z006.srs.stdout11-Apr-2005 13:33 1.1K 
[ ]SRS.Zantema.z007.srs.stderr11-Apr-2005 13:33 0  
[ ]SRS.Zantema.z007.srs.stdout11-Apr-2005 13:33 1.1K 
[ ]SRS.Zantema.z008.srs.stderr11-Apr-2005 13:36 0  
[ ]SRS.Zantema.z008.srs.stdout11-Apr-2005 13:36 2.2K 
[ ]SRS.Zantema.z009.srs.stderr11-Apr-2005 13:37 0  
[ ]SRS.Zantema.z009.srs.stdout11-Apr-2005 13:37 1.5K 
[ ]SRS.Zantema.z010.srs.stderr11-Apr-2005 13:37 0  
[ ]SRS.Zantema.z010.srs.stdout11-Apr-2005 13:37 941  
[ ]SRS.Zantema.z011.srs.stderr11-Apr-2005 13:38 0  
[ ]SRS.Zantema.z011.srs.stdout11-Apr-2005 13:38 2.0K 
[ ]SRS.Zantema.z012.srs.stderr11-Apr-2005 13:40 0  
[ ]SRS.Zantema.z012.srs.stdout11-Apr-2005 13:40 1.6K 
[ ]SRS.Zantema.z013.srs.stderr11-Apr-2005 13:41 0  
[ ]SRS.Zantema.z013.srs.stdout11-Apr-2005 13:41 2.5K 
[ ]SRS.Zantema.z014.srs.stderr11-Apr-2005 13:42 0  
[ ]SRS.Zantema.z014.srs.stdout11-Apr-2005 13:42 1.8K 
[ ]SRS.Zantema.z015.srs.stderr11-Apr-2005 13:44 50  
[ ]SRS.Zantema.z015.srs.stdout11-Apr-2005 13:43 0  
[ ]SRS.Zantema.z016.srs.stderr11-Apr-2005 13:45 0  
[ ]SRS.Zantema.z016.srs.stdout11-Apr-2005 13:45 1.5K 
[ ]SRS.Zantema.z017.srs.stderr11-Apr-2005 13:45 0  
[ ]SRS.Zantema.z017.srs.stdout11-Apr-2005 13:45 1.8K 
[ ]SRS.Zantema.z018.srs.stderr11-Apr-2005 13:47 0  
[ ]SRS.Zantema.z018.srs.stdout11-Apr-2005 13:47 1.7K 
[ ]SRS.Zantema.z019.srs.stderr11-Apr-2005 13:48 0  
[ ]SRS.Zantema.z019.srs.stdout11-Apr-2005 13:48 3.4K 
[ ]SRS.Zantema.z020.srs.stderr11-Apr-2005 13:51 50  
[ ]SRS.Zantema.z020.srs.stdout11-Apr-2005 13:50 0  
[ ]SRS.Zantema.z021.srs.stderr11-Apr-2005 13:51 0  
[ ]SRS.Zantema.z021.srs.stdout11-Apr-2005 13:51 1.7K 
[ ]SRS.Zantema.z022.srs.stderr11-Apr-2005 13:53 0  
[ ]SRS.Zantema.z022.srs.stdout11-Apr-2005 13:53 1.6K 
[ ]SRS.Zantema.z023.srs.stderr11-Apr-2005 13:55 0  
[ ]SRS.Zantema.z023.srs.stdout11-Apr-2005 13:55 1.4K 
[ ]SRS.Zantema.z024.srs.stderr11-Apr-2005 13:56 0  
[ ]SRS.Zantema.z024.srs.stdout11-Apr-2005 13:56 1.3K 
[ ]SRS.Zantema.z025.srs.stderr11-Apr-2005 13:56 0  
[ ]SRS.Zantema.z025.srs.stdout11-Apr-2005 13:56 1.7K 
[ ]SRS.Zantema.z026.srs.stderr11-Apr-2005 13:58 0  
[ ]SRS.Zantema.z026.srs.stdout11-Apr-2005 13:58 1.0K 
[ ]SRS.Zantema.z027.srs.stderr11-Apr-2005 14:00 50  
[ ]SRS.Zantema.z027.srs.stdout11-Apr-2005 13:59 0  
[ ]SRS.Zantema.z028.srs.stderr11-Apr-2005 14:04 50  
[ ]SRS.Zantema.z028.srs.stdout11-Apr-2005 14:03 0  
[ ]SRS.Zantema.z029.srs.stderr11-Apr-2005 14:05 50  
[ ]SRS.Zantema.z029.srs.stdout11-Apr-2005 14:04 0  
[ ]SRS.Zantema.z030.srs.stderr11-Apr-2005 14:08 50  
[ ]SRS.Zantema.z030.srs.stdout11-Apr-2005 14:07 0  
[ ]SRS.Zantema.z031.srs.stderr11-Apr-2005 14:10 50  
[ ]SRS.Zantema.z031.srs.stdout11-Apr-2005 14:09 0  
[ ]SRS.Zantema.z032.srs.stderr11-Apr-2005 14:12 50  
[ ]SRS.Zantema.z032.srs.stdout11-Apr-2005 14:11 0  
[ ]SRS.Zantema.z033.srs.stderr11-Apr-2005 14:12 0  
[ ]SRS.Zantema.z033.srs.stdout11-Apr-2005 14:12 1.4K 
[ ]SRS.Zantema.z034.srs.stderr11-Apr-2005 14:15 50  
[ ]SRS.Zantema.z034.srs.stdout11-Apr-2005 14:14 0  
[ ]SRS.Zantema.z035.srs.stderr11-Apr-2005 14:16 0  
[ ]SRS.Zantema.z035.srs.stdout11-Apr-2005 14:17 1.6K 
[ ]SRS.Zantema.z036.srs.stderr11-Apr-2005 14:18 0  
[ ]SRS.Zantema.z036.srs.stdout11-Apr-2005 14:18 1.9K 
[ ]SRS.Zantema.z037.srs.stderr11-Apr-2005 14:20 50  
[ ]SRS.Zantema.z037.srs.stdout11-Apr-2005 14:19 0  
[ ]SRS.Zantema.z038.srs.stderr11-Apr-2005 14:22 50  
[ ]SRS.Zantema.z038.srs.stdout11-Apr-2005 14:21 0  
[ ]SRS.Zantema.z039.srs.stderr11-Apr-2005 14:24 50  
[ ]SRS.Zantema.z039.srs.stdout11-Apr-2005 14:23 0  
[ ]SRS.Zantema.z040.srs.stderr11-Apr-2005 14:27 50  
[ ]SRS.Zantema.z040.srs.stdout11-Apr-2005 14:26 0  
[ ]SRS.Zantema.z041.srs.stderr11-Apr-2005 14:29 50  
[ ]SRS.Zantema.z041.srs.stdout11-Apr-2005 14:28 0  
[ ]SRS.Zantema.z042.srs.stderr11-Apr-2005 14:32 50  
[ ]SRS.Zantema.z042.srs.stdout11-Apr-2005 14:31 0  
[ ]SRS.Zantema.z043.srs.stderr11-Apr-2005 14:34 50  
[ ]SRS.Zantema.z043.srs.stdout11-Apr-2005 14:33 0  
[ ]SRS.Zantema.z044.srs.stderr11-Apr-2005 14:37 50  
[ ]SRS.Zantema.z044.srs.stdout11-Apr-2005 14:36 0  
[ ]SRS.Zantema.z045.srs.stderr11-Apr-2005 14:39 50  
[ ]SRS.Zantema.z045.srs.stdout11-Apr-2005 14:38 0  
[ ]SRS.Zantema.z046.srs.stderr11-Apr-2005 14:41 50  
[ ]SRS.Zantema.z046.srs.stdout11-Apr-2005 14:40 0  
[ ]SRS.Zantema.z047.srs.stderr11-Apr-2005 14:44 50  
[ ]SRS.Zantema.z047.srs.stdout11-Apr-2005 14:43 0  
[ ]SRS.Zantema.z048.srs.stderr11-Apr-2005 14:46 50  
[ ]SRS.Zantema.z048.srs.stdout11-Apr-2005 14:45 0  
[ ]SRS.Zantema.z049.srs.stderr11-Apr-2005 14:47 0  
[ ]SRS.Zantema.z049.srs.stdout11-Apr-2005 14:47 1.1K 
[ ]SRS.Zantema.z050.srs.stderr11-Apr-2005 14:48 0  
[ ]SRS.Zantema.z050.srs.stdout11-Apr-2005 14:48 1.1K 
[ ]SRS.Zantema.z051.srs.stderr11-Apr-2005 14:48 0  
[ ]SRS.Zantema.z051.srs.stdout11-Apr-2005 14:48 1.3K 
[ ]SRS.Zantema.z052.srs.stderr11-Apr-2005 14:49 0  
[ ]SRS.Zantema.z052.srs.stdout11-Apr-2005 14:49 1.2K 
[ ]SRS.Zantema.z053.srs.stderr11-Apr-2005 14:49 0  
[ ]SRS.Zantema.z053.srs.stdout11-Apr-2005 14:49 2.2K 
[ ]SRS.Zantema.z054.srs.stderr11-Apr-2005 14:51 50  
[ ]SRS.Zantema.z054.srs.stdout11-Apr-2005 14:50 0  
[ ]SRS.Zantema.z055.srs.stderr11-Apr-2005 14:52 0  
[ ]SRS.Zantema.z055.srs.stdout11-Apr-2005 14:52 1.9K 
[ ]SRS.Zantema.z056.srs.stderr11-Apr-2005 14:52 0  
[ ]SRS.Zantema.z056.srs.stdout11-Apr-2005 14:52 1.3K 
[ ]SRS.Zantema.z057.srs.stderr11-Apr-2005 14:53 0  
[ ]SRS.Zantema.z057.srs.stdout11-Apr-2005 14:53 2.9K 
[ ]SRS.Zantema.z058.srs.stderr11-Apr-2005 14:54 0  
[ ]SRS.Zantema.z058.srs.stdout11-Apr-2005 14:54 1.3K 
[ ]SRS.Zantema.z059.srs.stderr11-Apr-2005 14:54 0  
[ ]SRS.Zantema.z059.srs.stdout11-Apr-2005 14:54 1.3K 
[ ]SRS.Zantema.z060.srs.stderr11-Apr-2005 14:55 0  
[ ]SRS.Zantema.z060.srs.stdout11-Apr-2005 14:55 1.2K 
[ ]SRS.Zantema.z061.srs.stderr11-Apr-2005 14:55 0  
[ ]SRS.Zantema.z061.srs.stdout11-Apr-2005 14:55 1.1K 
[ ]SRS.Zantema.z062.srs.stderr11-Apr-2005 14:57 0  
[ ]SRS.Zantema.z062.srs.stdout11-Apr-2005 14:57 1.2K 
[ ]SRS.Zantema.z063.srs.stderr11-Apr-2005 14:57 0  
[ ]SRS.Zantema.z063.srs.stdout11-Apr-2005 14:57 1.2K 
[ ]SRS.Zantema.z064.srs.stderr11-Apr-2005 14:58 0  
[ ]SRS.Zantema.z064.srs.stdout11-Apr-2005 14:58 1.3K 
[ ]SRS.Zantema.z065.srs.stderr11-Apr-2005 14:58 0  
[ ]SRS.Zantema.z065.srs.stdout11-Apr-2005 14:58 2.2K 
[ ]SRS.Zantema.z066.srs.stderr11-Apr-2005 14:59 101  
[ ]SRS.Zantema.z066.srs.stdout11-Apr-2005 14:59 4.5K 
[ ]SRS.Zantema.z067.srs.stderr11-Apr-2005 15:01 0  
[ ]SRS.Zantema.z067.srs.stdout11-Apr-2005 15:01 1.4K 
[ ]SRS.Zantema.z068.srs.stderr11-Apr-2005 15:04 50  
[ ]SRS.Zantema.z068.srs.stdout11-Apr-2005 15:03 0  
[ ]SRS.Zantema.z069.srs.stderr11-Apr-2005 15:05 0  
[ ]SRS.Zantema.z069.srs.stdout11-Apr-2005 15:05 1.2K 
[ ]SRS.Zantema.z070.srs.stderr11-Apr-2005 15:08 0  
[ ]SRS.Zantema.z070.srs.stdout11-Apr-2005 15:08 1.2K 
[ ]SRS.Zantema.z071.srs.stderr11-Apr-2005 15:08 0  
[ ]SRS.Zantema.z071.srs.stdout11-Apr-2005 15:08 1.1K 
[ ]SRS.Zantema.z072.srs.stderr11-Apr-2005 15:09 0  
[ ]SRS.Zantema.z072.srs.stdout11-Apr-2005 15:09 1.7K 
[ ]SRS.Zantema.z073.srs.stderr11-Apr-2005 15:15 50  
[ ]SRS.Zantema.z073.srs.stdout11-Apr-2005 15:13 0  
[ ]SRS.Zantema.z074.srs.stderr11-Apr-2005 15:18 0  
[ ]SRS.Zantema.z074.srs.stdout11-Apr-2005 15:18 5.8K 
[ ]SRS.Zantema.z075.srs.stderr11-Apr-2005 15:20 0  
[ ]SRS.Zantema.z075.srs.stdout11-Apr-2005 15:20 3.9K 
[ ]SRS.Zantema.z076.srs.stderr11-Apr-2005 15:21 0  
[ ]SRS.Zantema.z076.srs.stdout11-Apr-2005 15:21 1.5K 
[ ]SRS.Zantema.z077.srs.stderr11-Apr-2005 15:21 0  
[ ]SRS.Zantema.z077.srs.stdout11-Apr-2005 15:21 876  
[ ]SRS.Zantema.z078.srs.stderr11-Apr-2005 15:22 0  
[ ]SRS.Zantema.z078.srs.stdout11-Apr-2005 15:22 2.1K 
[ ]SRS.Zantema.z079.srs.stderr11-Apr-2005 15:27 50  
[ ]SRS.Zantema.z079.srs.stdout11-Apr-2005 15:26 0  
[ ]SRS.Zantema.z080.srs.stderr11-Apr-2005 15:30 50  
[ ]SRS.Zantema.z080.srs.stdout11-Apr-2005 15:29 0  
[ ]SRS.Zantema.z081.srs.stderr11-Apr-2005 15:32 50  
[ ]SRS.Zantema.z081.srs.stdout11-Apr-2005 15:31 0  
[ ]SRS.Zantema.z082.srs.stderr11-Apr-2005 15:33 0  
[ ]SRS.Zantema.z082.srs.stdout11-Apr-2005 15:33 2.4K 
[ ]SRS.Zantema.z083.srs.stderr11-Apr-2005 15:37 50  
[ ]SRS.Zantema.z083.srs.stdout11-Apr-2005 15:36 0  
[ ]SRS.Zantema.z084.srs.stderr11-Apr-2005 15:37 0  
[ ]SRS.Zantema.z084.srs.stdout11-Apr-2005 15:37 667  
[ ]SRS.Zantema.z085.srs.stderr11-Apr-2005 15:37 0  
[ ]SRS.Zantema.z085.srs.stdout11-Apr-2005 15:37 624  
[ ]SRS.Zantema.z086.srs.stderr11-Apr-2005 15:42 50  
[ ]SRS.Zantema.z086.srs.stdout11-Apr-2005 15:41 0  
[ ]SRS.Zantema.z087.srs.stderr11-Apr-2005 15:44 50  
[ ]SRS.Zantema.z087.srs.stdout11-Apr-2005 15:43 0  
[ ]SRS.Zantema.z088.srs.stderr11-Apr-2005 15:45 50  
[ ]SRS.Zantema.z088.srs.stdout11-Apr-2005 15:44 0  
[ ]SRS.Zantema.z089.srs.stderr11-Apr-2005 15:49 50  
[ ]SRS.Zantema.z089.srs.stdout11-Apr-2005 15:48 0  
[ ]SRS.Zantema.z090.srs.stderr11-Apr-2005 15:54 50  
[ ]SRS.Zantema.z090.srs.stdout11-Apr-2005 15:53 0  
[ ]SRS.Zantema.z091.srs.stderr11-Apr-2005 15:57 0  
[ ]SRS.Zantema.z091.srs.stdout11-Apr-2005 15:58 5.6K 
[ ]SRS.Zantema.z092.srs.stderr11-Apr-2005 15:59 0  
[ ]SRS.Zantema.z092.srs.stdout11-Apr-2005 15:59 2.6K 
[ ]SRS.Zantema.z093.srs.stderr11-Apr-2005 16:00 50  
[ ]SRS.Zantema.z093.srs.stdout11-Apr-2005 15:59 0  
[ ]SRS.Zantema.z094.srs.stderr11-Apr-2005 16:03 0  
[ ]SRS.Zantema.z094.srs.stdout11-Apr-2005 16:03 1.8K 
[ ]SRS.Zantema.z095.srs.stderr11-Apr-2005 16:05 50  
[ ]SRS.Zantema.z095.srs.stdout11-Apr-2005 16:04 0  
[ ]SRS.Zantema.z096.srs.stderr11-Apr-2005 16:07 50  
[ ]SRS.Zantema.z096.srs.stdout11-Apr-2005 16:06 0  
[ ]SRS.Zantema.z097.srs.stderr11-Apr-2005 16:10 50  
[ ]SRS.Zantema.z097.srs.stdout11-Apr-2005 16:09 0  
[ ]SRS.Zantema.z098.srs.stderr11-Apr-2005 16:13 50  
[ ]SRS.Zantema.z098.srs.stdout11-Apr-2005 16:12 0  
[ ]SRS.Zantema.z099.srs.stderr11-Apr-2005 16:14 0  
[ ]SRS.Zantema.z099.srs.stdout11-Apr-2005 16:14 2.5K 
[ ]SRS.Zantema.z100.srs.stderr11-Apr-2005 16:17 0  
[ ]SRS.Zantema.z100.srs.stdout11-Apr-2005 16:17 3.0K 
[ ]SRS.Zantema.z101.srs.stderr11-Apr-2005 16:18 0  
[ ]SRS.Zantema.z101.srs.stdout11-Apr-2005 16:18 1.3K 
[ ]SRS.Zantema.z102.srs.stderr11-Apr-2005 16:18 0  
[ ]SRS.Zantema.z102.srs.stdout11-Apr-2005 16:18 662  
[ ]SRS.Zantema.z103.srs.stderr11-Apr-2005 16:21 50  
[ ]SRS.Zantema.z103.srs.stdout11-Apr-2005 16:20 0  
[ ]SRS.Zantema.z104.srs.stderr11-Apr-2005 16:23 0  
[ ]SRS.Zantema.z104.srs.stdout11-Apr-2005 16:23 737  
[ ]SRS.Zantema.z105.srs.stderr11-Apr-2005 16:25 0  
[ ]SRS.Zantema.z105.srs.stdout11-Apr-2005 16:25 703  
[ ]SRS.Zantema.z106.srs.stderr11-Apr-2005 16:28 50  
[ ]SRS.Zantema.z106.srs.stdout11-Apr-2005 16:27 0  
[ ]SRS.Zantema.z107.srs.stderr11-Apr-2005 16:31 0  
[ ]SRS.Zantema.z107.srs.stdout11-Apr-2005 16:31 700  
[ ]SRS.Zantema.z108.srs.stderr11-Apr-2005 16:32 50  
[ ]SRS.Zantema.z108.srs.stdout11-Apr-2005 16:31 0  
[ ]SRS.Zantema.z109.srs.stderr11-Apr-2005 16:33 0  
[ ]SRS.Zantema.z109.srs.stdout11-Apr-2005 16:33 670  
[ ]SRS.Zantema.z110.srs.stderr11-Apr-2005 16:36 50  
[ ]SRS.Zantema.z110.srs.stdout11-Apr-2005 16:35 0  
[ ]SRS.Zantema.z111.srs.stderr11-Apr-2005 16:37 0  
[ ]SRS.Zantema.z111.srs.stdout11-Apr-2005 16:37 737  
[ ]SRS.Zantema.z112.srs.stderr11-Apr-2005 16:41 0  
[ ]SRS.Zantema.z112.srs.stdout11-Apr-2005 16:41 751  
[ ]SRS.Zantema.z113.srs.stderr11-Apr-2005 16:45 0  
[ ]SRS.Zantema.z113.srs.stdout11-Apr-2005 16:45 788  
[ ]SRS.Zantema.z114.srs.stderr11-Apr-2005 16:48 50  
[ ]SRS.Zantema.z114.srs.stdout11-Apr-2005 16:47 0  
[ ]SRS.Zantema.z115.srs.stderr11-Apr-2005 16:49 50  
[ ]SRS.Zantema.z115.srs.stdout11-Apr-2005 16:48 0  
[ ]SRS.Zantema.z116.srs.stderr11-Apr-2005 16:49 0  
[ ]SRS.Zantema.z116.srs.stdout11-Apr-2005 16:49 670  
[ ]SRS.Zantema.z117.srs.stderr11-Apr-2005 16:54 50  
[ ]SRS.Zantema.z117.srs.stdout11-Apr-2005 16:53 0  
[ ]SRS.Zantema.z118.srs.stderr11-Apr-2005 16:56 0  
[ ]SRS.Zantema.z118.srs.stdout11-Apr-2005 16:56 705  
[ ]SRS.Zantema.z119.srs.stderr11-Apr-2005 17:00 50  
[ ]SRS.Zantema.z119.srs.stdout11-Apr-2005 16:59 0  
[ ]SRS.Zantema.z120.srs.stderr11-Apr-2005 17:03 50  
[ ]SRS.Zantema.z120.srs.stdout11-Apr-2005 17:02 0  
[ ]SRS.Zantema.z121.srs.stderr11-Apr-2005 17:07 0  
[ ]SRS.Zantema.z121.srs.stdout11-Apr-2005 17:07 758  
[ ]SRS.Zantema.z122.srs.stderr11-Apr-2005 17:09 0  
[ ]SRS.Zantema.z122.srs.stdout11-Apr-2005 17:09 725  
[ ]SRS.Zantema.z123.srs.stderr11-Apr-2005 17:12 50  
[ ]SRS.Zantema.z123.srs.stdout11-Apr-2005 17:11 0  
[ ]SRS.Zantema.z124.srs.stderr11-Apr-2005 17:12 0  
[ ]SRS.Zantema.z124.srs.stdout11-Apr-2005 17:12 2.3K 
[ ]SRS.Zantema.z125.srs.stderr11-Apr-2005 17:15 0  
[ ]SRS.Zantema.z125.srs.stdout11-Apr-2005 17:15 2.0K 
[ ]SRS.Zantema.z126.srs.stderr11-Apr-2005 17:17 0  
[ ]SRS.Zantema.z126.srs.stdout11-Apr-2005 17:18 1.8K 
[ ]SRS.Zantema.z127.srs.stderr11-Apr-2005 17:21 50  
[ ]SRS.Zantema.z127.srs.stdout11-Apr-2005 17:20 0  
[ ]SRS.Zantema.z128.srs.stderr11-Apr-2005 17:24 50  
[ ]SRS.Zantema.z128.srs.stdout11-Apr-2005 17:23 0  
[ ]SRS.relative.zr01.srs.stderr11-Apr-2005 13:19 0  
[ ]SRS.relative.zr01.srs.stdout11-Apr-2005 13:19 1.6K 
[ ]SRS.relative.zr02.srs.stderr11-Apr-2005 13:19 0  
[ ]SRS.relative.zr02.srs.stdout11-Apr-2005 13:20 2.8K 
[ ]SRS.relative.zr03.srs.stderr11-Apr-2005 13:20 0  
[ ]SRS.relative.zr03.srs.stdout11-Apr-2005 13:20 1.0K 
[ ]SRS.relative.zr04.srs.stderr11-Apr-2005 13:21 50  
[ ]SRS.relative.zr04.srs.stdout11-Apr-2005 13:20 0  
[ ]SRS.relative.zr05.srs.stderr11-Apr-2005 13:21 0  
[ ]SRS.relative.zr05.srs.stdout11-Apr-2005 13:21 1.7K 
[ ]SRS.relative.zr06.srs.stderr11-Apr-2005 13:21 0  
[ ]SRS.relative.zr06.srs.stdout11-Apr-2005 13:21 1.1K 
[ ]SRS.relative.zr07.srs.stderr11-Apr-2005 13:21 0  
[ ]SRS.relative.zr07.srs.stdout11-Apr-2005 13:21 2.1K 
[ ]SRS.relative.zr08.srs.stderr11-Apr-2005 13:22 0  
[ ]SRS.relative.zr08.srs.stdout11-Apr-2005 13:22 705  
[ ]SRS.relative.zr09.srs.stderr11-Apr-2005 13:22 0  
[ ]SRS.relative.zr09.srs.stdout11-Apr-2005 13:22 1.9K 
[ ]SRS.relative.zr10.srs.stderr11-Apr-2005 13:22 0  
[ ]SRS.relative.zr10.srs.stdout11-Apr-2005 13:22 1.9K 
[ ]SRS.relative.zr11.srs.stderr11-Apr-2005 13:22 0  
[ ]SRS.relative.zr11.srs.stdout11-Apr-2005 13:22 2.3K 
[ ]SRS.relative.zr12.srs.stderr11-Apr-2005 13:22 0  
[ ]SRS.relative.zr12.srs.stdout11-Apr-2005 13:22 2.1K 
[ ]SRS.relative.zr13.srs.stderr11-Apr-2005 13:24 50  
[ ]SRS.relative.zr13.srs.stdout11-Apr-2005 13:23 0  
[ ]TRS.AG01._3.1.trs.stderr11-Apr-2005 18:58 0  
[ ]TRS.AG01._3.1.trs.stdout11-Apr-2005 18:58 1.9K 
[ ]TRS.AG01._3.2.trs.stderr11-Apr-2005 19:05 0  
[ ]TRS.AG01._3.2.trs.stdout11-Apr-2005 19:05 2.0K 
[ ]TRS.AG01._3.4.trs.stderr11-Apr-2005 19:23 0  
[ ]TRS.AG01._3.4.trs.stdout11-Apr-2005 19:23 3.0K 
[ ]TRS.AG01._3.5.trs.stderr11-Apr-2005 19:49 50  
[ ]TRS.AG01._3.5.trs.stdout11-Apr-2005 19:48 0  
[ ]TRS.AG01._3.5a.trs.stderr11-Apr-2005 19:42 50  
[ ]TRS.AG01._3.5a.trs.stdout11-Apr-2005 19:41 0  
[ ]TRS.AG01._3.5b.trs.stderr11-Apr-2005 19:45 50  
[ ]TRS.AG01._3.5b.trs.stdout11-Apr-2005 19:44 0  
[ ]TRS.AG01._3.6.trs.stderr11-Apr-2005 19:58 50  
[ ]TRS.AG01._3.6.trs.stdout11-Apr-2005 19:57 0  
[ ]TRS.AG01._3.6a.trs.stderr11-Apr-2005 19:52 50  
[ ]TRS.AG01._3.6a.trs.stdout11-Apr-2005 19:51 0  
[ ]TRS.AG01._3.6b.trs.stderr11-Apr-2005 19:56 50  
[ ]TRS.AG01._3.6b.trs.stdout11-Apr-2005 19:55 0  
[ ]TRS.AG01._3.7.trs.stderr11-Apr-2005 19:58 0  
[ ]TRS.AG01._3.7.trs.stdout11-Apr-2005 19:58 1.0K 
[ ]TRS.AG01._3.8a.trs.stderr11-Apr-2005 20:00 0  
[ ]TRS.AG01._3.8a.trs.stdout11-Apr-2005 20:00 2.9K 
[ ]TRS.AG01._3.8b.trs.stderr11-Apr-2005 20:03 50  
[ ]TRS.AG01._3.8b.trs.stdout11-Apr-2005 20:02 0  
[ ]TRS.AG01._3.10.trs.stderr11-Apr-2005 18:34 50  
[ ]TRS.AG01._3.10.trs.stdout11-Apr-2005 18:33 0  
[ ]TRS.AG01._3.11.trs.stderr11-Apr-2005 18:38 50  
[ ]TRS.AG01._3.11.trs.stdout11-Apr-2005 18:37 0  
[ ]TRS.AG01._3.12.trs.stderr11-Apr-2005 18:39 0  
[ ]TRS.AG01._3.12.trs.stdout11-Apr-2005 18:39 1.9K 
[ ]TRS.AG01._3.13.trs.stderr11-Apr-2005 18:43 50  
[ ]TRS.AG01._3.13.trs.stdout11-Apr-2005 18:42 0  
[ ]TRS.AG01._3.14.trs.stderr11-Apr-2005 18:44 0  
[ ]TRS.AG01._3.14.trs.stdout11-Apr-2005 18:44 1.3K 
[ ]TRS.AG01._3.15.trs.stderr11-Apr-2005 18:45 0  
[ ]TRS.AG01._3.15.trs.stdout11-Apr-2005 18:45 1.1K 
[ ]TRS.AG01._3.16.trs.stderr11-Apr-2005 18:47 0  
[ ]TRS.AG01._3.16.trs.stdout11-Apr-2005 18:47 803  
[ ]TRS.AG01._3.17.trs.stderr11-Apr-2005 18:50 0  
[ ]TRS.AG01._3.17.trs.stdout11-Apr-2005 18:51 3.0K 
[ ]TRS.AG01._3.17a.trs.stderr11-Apr-2005 18:49 0  
[ ]TRS.AG01._3.17a.trs.stdout11-Apr-2005 18:49 3.2K 
[ ]TRS.AG01._3.18.trs.stderr11-Apr-2005 18:53 50  
[ ]TRS.AG01._3.18.trs.stdout11-Apr-2005 18:52 0  
[ ]TRS.AG01._3.19.trs.stderr11-Apr-2005 18:56 50  
[ ]TRS.AG01._3.19.trs.stdout11-Apr-2005 18:55 0  
[ ]TRS.AG01._3.21.trs.stderr11-Apr-2005 18:59 0  
[ ]TRS.AG01._3.21.trs.stdout11-Apr-2005 18:59 1.2K 
[ ]TRS.AG01._3.22.trs.stderr11-Apr-2005 19:00 0  
[ ]TRS.AG01._3.22.trs.stdout11-Apr-2005 19:00 1.5K 
[ ]TRS.AG01._3.23.trs.stderr11-Apr-2005 19:01 0  
[ ]TRS.AG01._3.23.trs.stdout11-Apr-2005 19:01 925  
[ ]TRS.AG01._3.24.trs.stderr11-Apr-2005 19:01 0  
[ ]TRS.AG01._3.24.trs.stdout11-Apr-2005 19:01 1.4K 
[ ]TRS.AG01._3.26.trs.stderr11-Apr-2005 19:02 0  
[ ]TRS.AG01._3.26.trs.stdout11-Apr-2005 19:02 963  
[ ]TRS.AG01._3.29.trs.stderr11-Apr-2005 19:03 0  
[ ]TRS.AG01._3.29.trs.stdout11-Apr-2005 19:03 816  
[ ]TRS.AG01._3.31.trs.stderr11-Apr-2005 19:05 0  
[ ]TRS.AG01._3.31.trs.stdout11-Apr-2005 19:05 828  
[ ]TRS.AG01._3.33.trs.stderr11-Apr-2005 19:05 0  
[ ]TRS.AG01._3.33.trs.stdout11-Apr-2005 19:05 1.7K 
[ ]TRS.AG01._3.35.trs.stderr11-Apr-2005 19:05 0  
[ ]TRS.AG01._3.35.trs.stdout11-Apr-2005 19:05 1.2K 
[ ]TRS.AG01._3.36.trs.stderr11-Apr-2005 19:06 0  
[ ]TRS.AG01._3.36.trs.stdout11-Apr-2005 19:06 1.2K 
[ ]TRS.AG01._3.37.trs.stderr11-Apr-2005 19:06 0  
[ ]TRS.AG01._3.37.trs.stdout11-Apr-2005 19:06 2.6K 
[ ]TRS.AG01._3.38.trs.stderr11-Apr-2005 19:08 0  
[ ]TRS.AG01._3.38.trs.stdout11-Apr-2005 19:08 2.4K 
[ ]TRS.AG01._3.39.trs.stderr11-Apr-2005 19:11 50  
[ ]TRS.AG01._3.39.trs.stdout11-Apr-2005 19:10 0  
[ ]TRS.AG01._3.40.trs.stderr11-Apr-2005 19:16 50  
[ ]TRS.AG01._3.40.trs.stdout11-Apr-2005 19:15 0  
[ ]TRS.AG01._3.41.trs.stderr11-Apr-2005 19:16 0  
[ ]TRS.AG01._3.41.trs.stdout11-Apr-2005 19:16 1.1K 
[ ]TRS.AG01._3.42.trs.stderr11-Apr-2005 19:17 0  
[ ]TRS.AG01._3.42.trs.stdout11-Apr-2005 19:17 2.2K 
[ ]TRS.AG01._3.47.trs.stderr11-Apr-2005 19:17 0  
[ ]TRS.AG01._3.47.trs.stdout11-Apr-2005 19:17 1.3K 
[ ]TRS.AG01._3.48.trs.stderr11-Apr-2005 19:18 0  
[ ]TRS.AG01._3.48.trs.stdout11-Apr-2005 19:19 2.3K 
[ ]TRS.AG01._3.49.trs.stderr11-Apr-2005 19:21 0  
[ ]TRS.AG01._3.49.trs.stdout11-Apr-2005 19:21 1.9K 
[ ]TRS.AG01._3.51.trs.stderr11-Apr-2005 19:23 0  
[ ]TRS.AG01._3.51.trs.stdout11-Apr-2005 19:23 2.7K 
[ ]TRS.AG01._3.52.trs.stderr11-Apr-2005 19:25 50  
[ ]TRS.AG01._3.52.trs.stdout11-Apr-2005 19:24 0  
[ ]TRS.AG01._3.53.trs.stderr11-Apr-2005 19:30 0  
[ ]TRS.AG01._3.53.trs.stdout11-Apr-2005 19:30 8.3K 
[ ]TRS.AG01._3.53a.trs.stderr11-Apr-2005 19:26 0  
[ ]TRS.AG01._3.53a.trs.stdout11-Apr-2005 19:26 1.2K 
[ ]TRS.AG01._3.53b.trs.stderr11-Apr-2005 19:28 50  
[ ]TRS.AG01._3.53b.trs.stdout11-Apr-2005 19:27 0  
[ ]TRS.AG01._3.54.trs.stderr11-Apr-2005 19:32 0  
[ ]TRS.AG01._3.54.trs.stdout11-Apr-2005 19:32 1.0K 
[ ]TRS.AG01._3.55.trs.stderr11-Apr-2005 19:35 50  
[ ]TRS.AG01._3.55.trs.stdout11-Apr-2005 19:34 0  
[ ]TRS.AG01._3.56.trs.stderr11-Apr-2005 19:37 0  
[ ]TRS.AG01._3.56.trs.stdout11-Apr-2005 19:37 2.1K 
[ ]TRS.AG01._3.57.trs.stderr11-Apr-2005 19:39 0  
[ ]TRS.AG01._3.57.trs.stdout11-Apr-2005 19:39 7.3K 
[ ]TRS.AProVE.AAECC-ring.trs.stderr11-Apr-2005 20:13 50  
[ ]TRS.AProVE.AAECC-ring.trs.stdout11-Apr-2005 20:12 0  
[ ]TRS.AProVE.AAECC.trs.stderr11-Apr-2005 20:17 50  
[ ]TRS.AProVE.AAECC.trs.stdout11-Apr-2005 20:16 0  
[ ]TRS.AProVE.IJCAR_1.trs.stderr11-Apr-2005 20:37 50  
[ ]TRS.AProVE.IJCAR_1.trs.stdout11-Apr-2005 20:36 0  
[ ]TRS.AProVE.IJCAR_12.trs.stderr11-Apr-2005 20:31 50  
[ ]TRS.AProVE.IJCAR_12.trs.stdout11-Apr-2005 20:30 0  
[ ]TRS.AProVE.IJCAR_18.trs.stderr11-Apr-2005 20:35 50  
[ ]TRS.AProVE.IJCAR_18.trs.stdout11-Apr-2005 20:34 0  
[ ]TRS.AProVE.IJCAR_26.trs.stderr11-Apr-2005 20:43 50  
[ ]TRS.AProVE.IJCAR_26.trs.stdout11-Apr-2005 20:42 0  
[ ]TRS.AProVE.IJCAR_26a.trs.stderr11-Apr-2005 20:40 50  
[ ]TRS.AProVE.IJCAR_26a.trs.stdout11-Apr-2005 20:39 0  
[ ]TRS.AProVE.JFP_Ex17.trs.stderr11-Apr-2005 20:45 0  
[ ]TRS.AProVE.JFP_Ex17.trs.stdout11-Apr-2005 20:45 2.4K 
[ ]TRS.AProVE.JFP_Ex31.trs.stderr11-Apr-2005 20:49 50  
[ ]TRS.AProVE.JFP_Ex31.trs.stdout11-Apr-2005 20:48 0  
[ ]TRS.AProVE.JFP_Ex51.trs.stderr11-Apr-2005 20:52 50  
[ ]TRS.AProVE.JFP_Ex51.trs.stdout11-Apr-2005 20:51 0  
[ ]TRS.AProVE.LPAR_intlist.trs.stderr11-Apr-2005 21:08 0  
[ ]TRS.AProVE.LPAR_intlist.trs.stdout11-Apr-2005 21:08 2.7K 
[ ]TRS.AProVE.Liveness6.1.trs.stderr11-Apr-2005 20:54 0  
[ ]TRS.AProVE.Liveness6.1.trs.stdout11-Apr-2005 20:54 4.6K 
[ ]TRS.AProVE.Liveness6.2.trs.stderr11-Apr-2005 20:55 0  
[ ]TRS.AProVE.Liveness6.2.trs.stdout11-Apr-2005 20:55 5.3K 
[ ]TRS.AProVE.Liveness6.3.trs.stderr11-Apr-2005 20:56 0  
[ ]TRS.AProVE.Liveness6.3.trs.stdout11-Apr-2005 20:57 5.8K 
[ ]TRS.AProVE.Liveness6.4.trs.stderr11-Apr-2005 21:02 50  
[ ]TRS.AProVE.Liveness6.4.trs.stdout11-Apr-2005 21:01 0  
[ ]TRS.AProVE.Liveness8.trs.stderr11-Apr-2005 21:04 0  
[ ]TRS.AProVE.Liveness8.trs.stdout11-Apr-2005 21:05 10K 
[ ]TRS.AProVE.Liveness_WRS.trs.stderr11-Apr-2005 21:06 0  
[ ]TRS.AProVE.Liveness_WRS.trs.stdout11-Apr-2005 21:06 6.5K 
[ ]TRS.AProVE.fac.trs.stderr11-Apr-2005 20:25 0  
[ ]TRS.AProVE.fac.trs.stdout11-Apr-2005 20:25 1.7K 
[ ]TRS.AProVE.forward_instantiation.trs.stderr11-Apr-2005 20:27 0  
[ ]TRS.AProVE.forward_instantiation.trs.stdout11-Apr-2005 20:28 1.7K 
[ ]TRS.AProVE.forward_instantiation2.trs.stderr11-Apr-2005 20:26 0  
[ ]TRS.AProVE.forward_instantiation2.trs.stdout11-Apr-2005 20:26 1.9K 
[ ]TRS.AProVE.improved_usable.trs.stderr11-Apr-2005 20:44 0  
[ ]TRS.AProVE.improved_usable.trs.stdout11-Apr-2005 20:44 1.8K 
[ ]TRS.AProVE.improved_usable2.trs.stderr11-Apr-2005 20:43 0  
[ ]TRS.AProVE.improved_usable2.trs.stdout11-Apr-2005 20:43 1.7K 
[ ]TRS.AProVE.rta1.trs.stderr11-Apr-2005 21:11 50  
[ ]TRS.AProVE.rta1.trs.stdout11-Apr-2005 21:10 0  
[ ]TRS.AProVE.rta2.trs.stderr11-Apr-2005 21:11 0  
[ ]TRS.AProVE.rta2.trs.stdout11-Apr-2005 21:11 805  
[ ]TRS.AProVE.rta3.trs.stderr11-Apr-2005 21:14 50  
[ ]TRS.AProVE.rta3.trs.stdout11-Apr-2005 21:13 0  
[ ]TRS.CSR.Ex1_2_AEL03.trs.stderr11-Apr-2005 22:27 0  
[ ]TRS.CSR.Ex1_2_AEL03.trs.stdout11-Apr-2005 22:27 125  
[ ]TRS.CSR.Ex1_2_Luc02c.trs.stderr11-Apr-2005 22:28 0  
[ ]TRS.CSR.Ex1_2_Luc02c.trs.stdout11-Apr-2005 22:28 126  
[ ]TRS.CSR.Ex1_GL02a.trs.stderr11-Apr-2005 22:30 0  
[ ]TRS.CSR.Ex1_GL02a.trs.stdout11-Apr-2005 22:30 123  
[ ]TRS.CSR.Ex1_GM03.trs.stderr11-Apr-2005 22:32 0  
[ ]TRS.CSR.Ex1_GM03.trs.stdout11-Apr-2005 22:32 122  
[ ]TRS.CSR.Ex1_GM99.trs.stderr11-Apr-2005 22:33 0  
[ ]TRS.CSR.Ex1_GM99.trs.stdout11-Apr-2005 22:33 122  
[ ]TRS.CSR.Ex1_Luc02b.trs.stderr11-Apr-2005 22:34 0  
[ ]TRS.CSR.Ex1_Luc02b.trs.stdout11-Apr-2005 22:34 124  
[ ]TRS.CSR.Ex1_Zan97.trs.stderr11-Apr-2005 22:35 0  
[ ]TRS.CSR.Ex1_Zan97.trs.stdout11-Apr-2005 22:35 123  
[ ]TRS.CSR.Ex2_Luc02a.trs.stderr11-Apr-2005 22:37 0  
[ ]TRS.CSR.Ex2_Luc02a.trs.stdout11-Apr-2005 22:37 124  
[ ]TRS.CSR.Ex2_Luc03b.trs.stderr11-Apr-2005 22:38 0  
[ ]TRS.CSR.Ex2_Luc03b.trs.stdout11-Apr-2005 22:38 124  
[ ]TRS.CSR.Ex3_2_Luc97.trs.stderr11-Apr-2005 22:41 0  
[ ]TRS.CSR.Ex3_2_Luc97.trs.stdout11-Apr-2005 22:41 125  
[ ]TRS.CSR.Ex3_3_25_Bor03.trs.stderr11-Apr-2005 22:42 0  
[ ]TRS.CSR.Ex3_3_25_Bor03.trs.stdout11-Apr-2005 22:42 128  
[ ]TRS.CSR.Ex3_12_Luc96a.trs.stderr11-Apr-2005 22:39 0  
[ ]TRS.CSR.Ex3_12_Luc96a.trs.stdout11-Apr-2005 22:39 127  
[ ]TRS.CSR.Ex4_4_Luc96b.trs.stderr11-Apr-2005 22:42 0  
[ ]TRS.CSR.Ex4_4_Luc96b.trs.stdout11-Apr-2005 22:42 126  
[ ]TRS.CSR.Ex4_7_15_Bor03.trs.stderr11-Apr-2005 22:43 0  
[ ]TRS.CSR.Ex4_7_15_Bor03.trs.stdout11-Apr-2005 22:43 128  
[ ]TRS.CSR.Ex4_7_37_Bor03.trs.stderr11-Apr-2005 22:44 0  
[ ]TRS.CSR.Ex4_7_37_Bor03.trs.stdout11-Apr-2005 22:44 128  
[ ]TRS.CSR.Ex4_7_56_Bor03.trs.stderr11-Apr-2005 22:45 0  
[ ]TRS.CSR.Ex4_7_56_Bor03.trs.stdout11-Apr-2005 22:45 128  
[ ]TRS.CSR.Ex4_7_77_Bor03.trs.stderr11-Apr-2005 22:45 0  
[ ]TRS.CSR.Ex4_7_77_Bor03.trs.stdout11-Apr-2005 22:45 128  
[ ]TRS.CSR.Ex4_Zan97.trs.stderr11-Apr-2005 22:47 0  
[ ]TRS.CSR.Ex4_Zan97.trs.stdout11-Apr-2005 22:47 123  
[ ]TRS.CSR.Ex5_7_Luc97.trs.stderr11-Apr-2005 22:49 0  
[ ]TRS.CSR.Ex5_7_Luc97.trs.stdout11-Apr-2005 22:49 125  
[ ]TRS.CSR.Ex5_Zan97.trs.stderr11-Apr-2005 22:49 0  
[ ]TRS.CSR.Ex5_Zan97.trs.stdout11-Apr-2005 22:49 123  
[ ]TRS.CSR.Ex6_9_Luc02c.trs.stderr11-Apr-2005 22:52 0  
[ ]TRS.CSR.Ex6_9_Luc02c.trs.stdout11-Apr-2005 22:52 126  
[ ]TRS.CSR.Ex6_15_AEL02.trs.stderr11-Apr-2005 22:51 0  
[ ]TRS.CSR.Ex6_15_AEL02.trs.stdout11-Apr-2005 22:51 126  
[ ]TRS.CSR.Ex6_GM04.trs.stderr11-Apr-2005 22:52 0  
[ ]TRS.CSR.Ex6_GM04.trs.stdout11-Apr-2005 22:52 122  
[ ]TRS.CSR.Ex6_Luc98.trs.stderr11-Apr-2005 22:53 0  
[ ]TRS.CSR.Ex6_Luc98.trs.stdout11-Apr-2005 22:53 123  
[ ]TRS.CSR.Ex7_BLR02.trs.stderr11-Apr-2005 22:54 0  
[ ]TRS.CSR.Ex7_BLR02.trs.stdout11-Apr-2005 22:54 123  
[ ]TRS.CSR.Ex8_BLR02.trs.stderr11-Apr-2005 22:55 0  
[ ]TRS.CSR.Ex8_BLR02.trs.stdout11-Apr-2005 22:55 123  
[ ]TRS.CSR.Ex9_BLR02.trs.stderr11-Apr-2005 22:56 0  
[ ]TRS.CSR.Ex9_BLR02.trs.stdout11-Apr-2005 22:56 123  
[ ]TRS.CSR.Ex14_AEGL02.trs.stderr11-Apr-2005 22:28 0  
[ ]TRS.CSR.Ex14_AEGL02.trs.stdout11-Apr-2005 22:28 125  
[ ]TRS.CSR.Ex15_Luc98.trs.stderr11-Apr-2005 22:29 0  
[ ]TRS.CSR.Ex15_Luc98.trs.stdout11-Apr-2005 22:29 124  
[ ]TRS.CSR.Ex24_GM04.trs.stderr11-Apr-2005 22:36 0  
[ ]TRS.CSR.Ex24_GM04.trs.stdout11-Apr-2005 22:36 123  
[ ]TRS.CSR.Ex49_GM04.trs.stderr11-Apr-2005 22:46 0  
[ ]TRS.CSR.Ex49_GM04.trs.stdout11-Apr-2005 22:46 123  
[ ]TRS.CSR.ExAppendixB_AEL03.trs.stderr11-Apr-2005 22:57 0  
[ ]TRS.CSR.ExAppendixB_AEL03.trs.stdout11-Apr-2005 22:57 131  
[ ]TRS.CSR.ExConc_Zan97.trs.stderr11-Apr-2005 22:57 0  
[ ]TRS.CSR.ExConc_Zan97.trs.stdout11-Apr-2005 22:57 126  
[ ]TRS.CSR.ExIntrod_GM01.trs.stderr11-Apr-2005 22:59 0  
[ ]TRS.CSR.ExIntrod_GM01.trs.stdout11-Apr-2005 22:59 127  
[ ]TRS.CSR.ExIntrod_GM04.trs.stderr11-Apr-2005 23:00 0  
[ ]TRS.CSR.ExIntrod_GM04.trs.stdout11-Apr-2005 23:00 127  
[ ]TRS.CSR.ExIntrod_GM99.trs.stderr11-Apr-2005 23:03 0  
[ ]TRS.CSR.ExIntrod_GM99.trs.stdout11-Apr-2005 23:03 127  
[ ]TRS.CSR.ExIntrod_Zan97.trs.stderr11-Apr-2005 23:05 0  
[ ]TRS.CSR.ExIntrod_Zan97.trs.stdout11-Apr-2005 23:05 128  
[ ]TRS.Cime.ack_prolog.trs.stderr11-Apr-2005 21:18 0  
[ ]TRS.Cime.ack_prolog.trs.stdout11-Apr-2005 21:18 1.7K 
[ ]TRS.Cime.append-hard.trs.stderr11-Apr-2005 21:25 50  
[ ]TRS.Cime.append-hard.trs.stdout11-Apr-2005 21:24 0  
[ ]TRS.Cime.append-wrong.trs.stderr11-Apr-2005 21:29 50  
[ ]TRS.Cime.append-wrong.trs.stdout11-Apr-2005 21:28 0  
[ ]TRS.Cime.append.trs.stderr11-Apr-2005 21:26 0  
[ ]TRS.Cime.append.trs.stdout11-Apr-2005 21:26 1.8K 
[ ]TRS.Cime.big.trs.stderr11-Apr-2005 21:32 50  
[ ]TRS.Cime.big.trs.stdout11-Apr-2005 21:31 0  
[ ]TRS.Cime.boolean_rings.trs.stderr11-Apr-2005 21:33 0  
[ ]TRS.Cime.boolean_rings.trs.stdout11-Apr-2005 21:33 1.0K 
[ ]TRS.Cime.dpqs.trs.stderr11-Apr-2005 21:33 0  
[ ]TRS.Cime.dpqs.trs.stdout11-Apr-2005 21:33 2.4K 
[ ]TRS.Cime.fact-hard.trs.stderr11-Apr-2005 21:37 50  
[ ]TRS.Cime.fact-hard.trs.stdout11-Apr-2005 21:36 0  
[ ]TRS.Cime.filliatre.trs.stderr11-Apr-2005 21:46 0  
[ ]TRS.Cime.filliatre.trs.stdout11-Apr-2005 21:46 11K 
[ ]TRS.Cime.filliatre2.trs.stderr11-Apr-2005 21:40 50  
[ ]TRS.Cime.filliatre2.trs.stdout11-Apr-2005 21:39 0  
[ ]TRS.Cime.filliatre3.trs.stderr11-Apr-2005 21:43 50  
[ ]TRS.Cime.filliatre3.trs.stdout11-Apr-2005 21:42 0  
[ ]TRS.Cime.intersect.trs.stderr11-Apr-2005 21:49 50  
[ ]TRS.Cime.intersect.trs.stdout11-Apr-2005 21:48 0  
[ ]TRS.Cime.list-sum-prod-assoc-append.trs.stderr11-Apr-2005 21:50 0  
[ ]TRS.Cime.list-sum-prod-assoc-append.trs.stdout11-Apr-2005 21:50 1.2K 
[ ]TRS.Cime.list-sum-prod-assoc.trs.stderr11-Apr-2005 21:51 0  
[ ]TRS.Cime.list-sum-prod-assoc.trs.stdout11-Apr-2005 21:51 1.0K 
[ ]TRS.Cime.list-sum-prod-bin-assoc-distr-app.trs.stderr11-Apr-2005 21:54 50  
[ ]TRS.Cime.list-sum-prod-bin-assoc-distr-app.trs.stdout11-Apr-2005 21:53 0  
[ ]TRS.Cime.list-sum-prod-bin-assoc.trs.stderr11-Apr-2005 21:57 50  
[ ]TRS.Cime.list-sum-prod-bin-assoc.trs.stdout11-Apr-2005 21:56 0  
[ ]TRS.Cime.list-sum-prod-bin.trs.stderr11-Apr-2005 22:00 50  
[ ]TRS.Cime.list-sum-prod-bin.trs.stdout11-Apr-2005 21:59 0  
[ ]TRS.Cime.list-sum-prod.trs.stderr11-Apr-2005 22:01 0  
[ ]TRS.Cime.list-sum-prod.trs.stdout11-Apr-2005 22:01 934  
[ ]TRS.Cime.log2.trs.stderr11-Apr-2005 22:04 50  
[ ]TRS.Cime.log2.trs.stdout11-Apr-2005 22:03 0  
[ ]TRS.Cime.lse.trs.stderr11-Apr-2005 22:07 50  
[ ]TRS.Cime.lse.trs.stdout11-Apr-2005 22:06 0  
[ ]TRS.Cime.maude2.trs.stderr11-Apr-2005 22:12 50  
[ ]TRS.Cime.maude2.trs.stdout11-Apr-2005 22:11 0  
[ ]TRS.Cime.mucrl1.trs.stderr11-Apr-2005 22:16 50  
[ ]TRS.Cime.mucrl1.trs.stdout11-Apr-2005 22:15 0  
[ ]TRS.Cime.quick.trs.stderr11-Apr-2005 22:19 50  
[ ]TRS.Cime.quick.trs.stdout11-Apr-2005 22:18 0  
[ ]TRS.Cime.ternary-hard.trs.stderr11-Apr-2005 22:22 50  
[ ]TRS.Cime.ternary-hard.trs.stdout11-Apr-2005 22:21 0  
[ ]TRS.Cime.ternary.trs.stderr11-Apr-2005 22:24 0  
[ ]TRS.Cime.ternary.trs.stdout11-Apr-2005 22:24 3.8K 
[ ]TRS.Cime.tree.trs.stderr11-Apr-2005 22:26 0  
[ ]TRS.Cime.tree.trs.stdout11-Apr-2005 22:26 4.5K 
[ ]TRS.D33.01.trs.stderr11-Apr-2005 23:05 0  
[ ]TRS.D33.01.trs.stdout11-Apr-2005 23:05 1.3K 
[ ]TRS.D33.02.trs.stderr11-Apr-2005 23:05 0  
[ ]TRS.D33.02.trs.stdout11-Apr-2005 23:05 1.0K 
[ ]TRS.D33.03.trs.stderr11-Apr-2005 23:05 0  
[ ]TRS.D33.03.trs.stdout11-Apr-2005 23:05 751  
[ ]TRS.D33.04.trs.stderr11-Apr-2005 23:06 0  
[ ]TRS.D33.04.trs.stdout11-Apr-2005 23:06 939  
[ ]TRS.D33.06.trs.stderr11-Apr-2005 23:06 0  
[ ]TRS.D33.06.trs.stdout11-Apr-2005 23:06 824  
[ ]TRS.D33.07.trs.stderr11-Apr-2005 23:07 0  
[ ]TRS.D33.07.trs.stdout11-Apr-2005 23:07 700  
[ ]TRS.D33.08.trs.stderr11-Apr-2005 23:08 0  
[ ]TRS.D33.08.trs.stdout11-Apr-2005 23:08 776  
[ ]TRS.D33.09.trs.stderr11-Apr-2005 23:08 0  
[ ]TRS.D33.09.trs.stdout11-Apr-2005 23:08 670  
[ ]TRS.D33.11.trs.stderr11-Apr-2005 23:09 0  
[ ]TRS.D33.11.trs.stdout11-Apr-2005 23:09 1.0K 
[ ]TRS.D33.12.trs.stderr11-Apr-2005 23:12 50  
[ ]TRS.D33.12.trs.stdout11-Apr-2005 23:11 0  
[ ]TRS.D33.13.trs.stderr11-Apr-2005 23:13 0  
[ ]TRS.D33.13.trs.stdout11-Apr-2005 23:13 959  
[ ]TRS.D33.17.trs.stderr11-Apr-2005 23:14 0  
[ ]TRS.D33.17.trs.stdout11-Apr-2005 23:14 1.0K 
[ ]TRS.D33.18.trs.stderr11-Apr-2005 23:15 0  
[ ]TRS.D33.18.trs.stdout11-Apr-2005 23:15 653  
[ ]TRS.D33.20.trs.stderr11-Apr-2005 23:16 0  
[ ]TRS.D33.20.trs.stdout11-Apr-2005 23:16 2.1K 
[ ]TRS.D33.21.trs.stderr11-Apr-2005 23:19 50  
[ ]TRS.D33.21.trs.stdout11-Apr-2005 23:18 0  
[ ]TRS.D33.27.trs.stderr12-Apr-2005 09:21 0  
[ ]TRS.D33.27.trs.stdout12-Apr-2005 09:21 1.3K 
[ ]TRS.D33.28.trs.stderr12-Apr-2005 09:22 0  
[ ]TRS.D33.28.trs.stdout12-Apr-2005 09:22 739  
[ ]TRS.D33.30.trs.stderr12-Apr-2005 09:23 0  
[ ]TRS.D33.30.trs.stdout12-Apr-2005 09:23 695  
[ ]TRS.D33.31.trs.stderr12-Apr-2005 09:25 0  
[ ]TRS.D33.31.trs.stdout12-Apr-2005 09:25 1.3K 
[ ]TRS.D33.32.trs.stderr12-Apr-2005 09:28 50  
[ ]TRS.D33.32.trs.stdout12-Apr-2005 09:27 0  
[ ]TRS.D33.33.trs.stderr12-Apr-2005 09:32 50  
[ ]TRS.D33.33.trs.stdout12-Apr-2005 09:31 0  
[ ]TRS.HM.n002.trs.stderr12-Apr-2005 09:32 0  
[ ]TRS.HM.n002.trs.stdout12-Apr-2005 09:32 593  
[ ]TRS.HM.n003.trs.stderr12-Apr-2005 09:32 0  
[ ]TRS.HM.n003.trs.stdout12-Apr-2005 09:32 591  
[ ]TRS.HM.n004.trs.stderr12-Apr-2005 09:32 0  
[ ]TRS.HM.n004.trs.stdout12-Apr-2005 09:32 593  
[ ]TRS.HM.n005.trs.stderr12-Apr-2005 09:32 0  
[ ]TRS.HM.n005.trs.stdout12-Apr-2005 09:32 596  
[ ]TRS.HM.n006.trs.stderr12-Apr-2005 09:32 0  
[ ]TRS.HM.n006.trs.stdout12-Apr-2005 09:32 849  
[ ]TRS.HM.n007.trs.stderr12-Apr-2005 09:32 0  
[ ]TRS.HM.n007.trs.stdout12-Apr-2005 09:32 619  
[ ]TRS.HM.n008.trs.stderr12-Apr-2005 09:32 0  
[ ]TRS.HM.n008.trs.stdout12-Apr-2005 09:32 748  
[ ]TRS.HM.t000.trs.stderr12-Apr-2005 09:33 0  
[ ]TRS.HM.t000.trs.stdout12-Apr-2005 09:33 4.0K 
[ ]TRS.HM.t001.trs.stderr12-Apr-2005 09:36 50  
[ ]TRS.HM.t001.trs.stdout12-Apr-2005 09:35 0  
[ ]TRS.HM.t002.trs.stderr12-Apr-2005 09:39 50  
[ ]TRS.HM.t002.trs.stdout12-Apr-2005 09:38 0  
[ ]TRS.HM.t003.trs.stderr12-Apr-2005 09:42 50  
[ ]TRS.HM.t003.trs.stdout12-Apr-2005 09:41 0  
[ ]TRS.HM.t004.trs.stderr12-Apr-2005 09:42 0  
[ ]TRS.HM.t004.trs.stdout12-Apr-2005 09:42 1.0K 
[ ]TRS.HM.t005.trs.stderr12-Apr-2005 09:44 0  
[ ]TRS.HM.t005.trs.stdout12-Apr-2005 09:45 6.2K 
[ ]TRS.HM.t006.trs.stderr12-Apr-2005 09:46 0  
[ ]TRS.HM.t006.trs.stdout12-Apr-2005 09:46 773  
[ ]TRS.HM.t007.trs.stderr12-Apr-2005 09:46 0  
[ ]TRS.HM.t007.trs.stdout12-Apr-2005 09:46 1.4K 
[ ]TRS.HM.t008.trs.stderr12-Apr-2005 09:47 0  
[ ]TRS.HM.t008.trs.stdout12-Apr-2005 09:47 3.8K 
[ ]TRS.HM.t009.trs.stderr12-Apr-2005 09:52 50  
[ ]TRS.HM.t009.trs.stdout12-Apr-2005 09:51 0  
[ ]TRS.HM.t010.trs.stderr12-Apr-2005 09:53 0  
[ ]TRS.HM.t010.trs.stdout12-Apr-2005 09:53 1.2K 
[ ]TRS.HM.t011.trs.stderr12-Apr-2005 09:55 0  
[ ]TRS.HM.t011.trs.stdout12-Apr-2005 09:55 1.3K 
[ ]TRS.HM.t012.trs.stderr12-Apr-2005 09:56 0  
[ ]TRS.HM.t012.trs.stdout12-Apr-2005 09:56 1.5K 
[ ]TRS.HM.t013.trs.stderr12-Apr-2005 09:58 0  
[ ]TRS.HM.t013.trs.stdout12-Apr-2005 09:58 1.2K 
[ ]TRS.HM.t014.trs.stderr12-Apr-2005 09:59 0  
[ ]TRS.HM.t014.trs.stdout12-Apr-2005 09:59 3.2K 
[ ]TRS.HofWald.1.trs.stderr12-Apr-2005 09:59 0  
[ ]TRS.HofWald.1.trs.stdout12-Apr-2005 09:59 1.5K 
[ ]TRS.HofWald.2.trs.stderr12-Apr-2005 09:59 0  
[ ]TRS.HofWald.2.trs.stdout12-Apr-2005 10:00 1.5K 
[ ]TRS.HofWald.3.trs.stderr12-Apr-2005 10:01 50  
[ ]TRS.HofWald.3.trs.stdout12-Apr-2005 10:00 0  
[ ]TRS.HofWald.4.trs.stderr12-Apr-2005 10:01 0  
[ ]TRS.HofWald.4.trs.stdout12-Apr-2005 10:01 4.8K 
[ ]TRS.HofWald.5.trs.stderr12-Apr-2005 10:01 0  
[ ]TRS.HofWald.5.trs.stdout12-Apr-2005 10:01 1.3K 
[ ]TRS.HofWald.6.trs.stderr12-Apr-2005 10:03 50  
[ ]TRS.HofWald.6.trs.stdout12-Apr-2005 10:02 0  
[ ]TRS.HofWald.7.trs.stderr12-Apr-2005 10:06 50  
[ ]TRS.HofWald.7.trs.stdout12-Apr-2005 10:05 0  
[ ]TRS.LJB01.jones1.trs.stderr12-Apr-2005 10:06 0  
[ ]TRS.LJB01.jones1.trs.stdout12-Apr-2005 10:06 1.0K 
[ ]TRS.LJB01.jones2.trs.stderr12-Apr-2005 10:08 50  
[ ]TRS.LJB01.jones2.trs.stdout12-Apr-2005 10:07 0  
[ ]TRS.LJB01.jones4.trs.stderr12-Apr-2005 10:08 0  
[ ]TRS.LJB01.jones4.trs.stdout12-Apr-2005 10:08 1.0K 
[ ]TRS.LJB01.jones5.trs.stderr12-Apr-2005 10:09 0  
[ ]TRS.LJB01.jones5.trs.stdout12-Apr-2005 10:09 856  
[ ]TRS.LJB01.jones6.trs.stderr12-Apr-2005 10:10 0  
[ ]TRS.LJB01.jones6.trs.stdout12-Apr-2005 10:10 1.1K 
[ ]TRS.Rubio.ackclaude.trs.stderr12-Apr-2005 10:38 0  
[ ]TRS.Rubio.ackclaude.trs.stdout12-Apr-2005 10:38 1.6K 
[ ]TRS.Rubio.aoto.trs.stderr12-Apr-2005 10:39 0  
[ ]TRS.Rubio.aoto.trs.stdout12-Apr-2005 10:39 1.0K 
[ ]TRS.Rubio.bintrees.trs.stderr12-Apr-2005 10:40 0  
[ ]TRS.Rubio.bintrees.trs.stdout12-Apr-2005 10:40 1.3K 
[ ]TRS.Rubio.bn122.trs.stderr12-Apr-2005 10:41 0  
[ ]TRS.Rubio.bn122.trs.stdout12-Apr-2005 10:41 1.2K 
[ ]TRS.Rubio.bn129.trs.stderr12-Apr-2005 10:43 0  
[ ]TRS.Rubio.bn129.trs.stdout12-Apr-2005 10:43 1.2K 
[ ]TRS.Rubio.division.trs.stderr12-Apr-2005 10:45 0  
[ ]TRS.Rubio.division.trs.stdout12-Apr-2005 10:45 3.6K 
[ ]TRS.Rubio.elimdupl.trs.stderr12-Apr-2005 10:47 0  
[ ]TRS.Rubio.elimdupl.trs.stdout12-Apr-2005 10:48 3.7K 
[ ]TRS.Rubio.enno.trs.stderr12-Apr-2005 10:51 50  
[ ]TRS.Rubio.enno.trs.stdout12-Apr-2005 10:50 0  
[TXT]TRS.Rubio.gcd.trs.stderr12-Apr-2005 10:53 50  
[TXT]TRS.Rubio.gcd.trs.stdout12-Apr-2005 10:52 0  
[ ]TRS.Rubio.gm.trs.stderr12-Apr-2005 10:55 0  
[ ]TRS.Rubio.gm.trs.stdout12-Apr-2005 10:55 2.0K 
[ ]TRS.Rubio.gmnp.trs.stderr12-Apr-2005 10:54 202  
[ ]TRS.Rubio.gmnp.trs.stdout12-Apr-2005 10:54 2.3K 
[ ]TRS.Rubio.koen.trs.stderr12-Apr-2005 10:57 0  
[ ]TRS.Rubio.koen.trs.stdout12-Apr-2005 10:57 1.3K 
[ ]TRS.Rubio.lescanne.trs.stderr12-Apr-2005 10:58 0  
[ ]TRS.Rubio.lescanne.trs.stdout12-Apr-2005 10:58 1.3K 
[ ]TRS.Rubio.lindau.trs.stderr12-Apr-2005 10:58 0  
[ ]TRS.Rubio.lindau.trs.stdout12-Apr-2005 10:58 2.1K 
[ ]TRS.Rubio.logarquot.trs.stderr12-Apr-2005 11:00 0  
[ ]TRS.Rubio.logarquot.trs.stdout12-Apr-2005 11:00 2.7K 
[ ]TRS.Rubio.ma96.trs.stderr12-Apr-2005 11:03 50  
[ ]TRS.Rubio.ma96.trs.stdout12-Apr-2005 11:02 0  
[ ]TRS.Rubio.mfp90b.trs.stderr12-Apr-2005 11:03 0  
[ ]TRS.Rubio.mfp90b.trs.stdout12-Apr-2005 11:03 944  
[ ]TRS.Rubio.mfp95.trs.stderr12-Apr-2005 11:03 0  
[ ]TRS.Rubio.mfp95.trs.stdout12-Apr-2005 11:03 1.0K 
[ ]TRS.Rubio.nestrec.trs.stderr12-Apr-2005 11:03 0  
[ ]TRS.Rubio.nestrec.trs.stdout12-Apr-2005 11:03 803  
[ ]TRS.Rubio.p266.trs.stderr12-Apr-2005 11:03 0  
[ ]TRS.Rubio.p266.trs.stdout12-Apr-2005 11:03 1.5K 
[ ]TRS.Rubio.polo2.trs.stderr12-Apr-2005 11:06 0  
[ ]TRS.Rubio.polo2.trs.stdout12-Apr-2005 11:06 1.2K 
[ ]TRS.Rubio.prov.trs.stderr12-Apr-2005 11:07 0  
[ ]TRS.Rubio.prov.trs.stdout12-Apr-2005 11:07 1.5K 
[ ]TRS.Rubio.quick.trs.stderr12-Apr-2005 11:10 50  
[ ]TRS.Rubio.quick.trs.stdout12-Apr-2005 11:09 0  
[ ]TRS.Rubio.quotminus.trs.stderr12-Apr-2005 11:12 0  
[ ]TRS.Rubio.quotminus.trs.stdout12-Apr-2005 11:12 2.9K 
[ ]TRS.Rubio.revlist.trs.stderr12-Apr-2005 11:14 0  
[ ]TRS.Rubio.revlist.trs.stdout12-Apr-2005 11:14 2.5K 
[ ]TRS.Rubio.selsort.trs.stderr12-Apr-2005 11:18 50  
[ ]TRS.Rubio.selsort.trs.stdout12-Apr-2005 11:17 0  
[ ]TRS.Rubio.test4.trs.stderr12-Apr-2005 11:18 0  
[ ]TRS.Rubio.test4.trs.stdout12-Apr-2005 11:18 1.6K 
[ ]TRS.Rubio.test829.trs.stderr12-Apr-2005 11:18 0  
[ ]TRS.Rubio.test829.trs.stdout12-Apr-2005 11:18 865  
[ ]TRS.Rubio.wst99.trs.stderr12-Apr-2005 11:20 50  
[ ]TRS.Rubio.wst99.trs.stdout12-Apr-2005 11:19 0  
[ ]TRS.SK90.2.01.trs.stderr12-Apr-2005 11:21 0  
[ ]TRS.SK90.2.01.trs.stdout12-Apr-2005 11:21 1.0K 
[ ]TRS.SK90.2.02.trs.stderr12-Apr-2005 11:22 0  
[ ]TRS.SK90.2.02.trs.stdout12-Apr-2005 11:22 900  
[ ]TRS.SK90.2.03.trs.stderr12-Apr-2005 11:22 0  
[ ]TRS.SK90.2.03.trs.stdout12-Apr-2005 11:22 734  
[ ]TRS.SK90.2.04.trs.stderr12-Apr-2005 11:23 0  
[ ]TRS.SK90.2.04.trs.stdout12-Apr-2005 11:23 854  
[ ]TRS.SK90.2.05.trs.stderr12-Apr-2005 11:24 50  
[ ]TRS.SK90.2.05.trs.stdout12-Apr-2005 11:23 0  
[ ]TRS.SK90.2.06.trs.stderr12-Apr-2005 11:25 0  
[ ]TRS.SK90.2.06.trs.stdout12-Apr-2005 11:25 1.0K 
[ ]TRS.SK90.2.07.trs.stderr12-Apr-2005 11:26 0  
[ ]TRS.SK90.2.07.trs.stdout12-Apr-2005 11:26 805  
[ ]TRS.SK90.2.08.trs.stderr12-Apr-2005 11:27 0  
[ ]TRS.SK90.2.08.trs.stdout12-Apr-2005 11:27 799  
[ ]TRS.SK90.2.09.trs.stderr12-Apr-2005 11:27 0  
[ ]TRS.SK90.2.09.trs.stdout12-Apr-2005 11:27 871  
[ ]TRS.SK90.2.10.trs.stderr12-Apr-2005 11:28 0  
[ ]TRS.SK90.2.10.trs.stdout12-Apr-2005 11:28 1.1K 
[ ]TRS.SK90.2.11.trs.stderr12-Apr-2005 11:28 0  
[ ]TRS.SK90.2.11.trs.stdout12-Apr-2005 11:28 1.2K 
[ ]TRS.SK90.2.12.trs.stderr12-Apr-2005 11:29 0  
[ ]TRS.SK90.2.12.trs.stdout12-Apr-2005 11:29 895  
[ ]TRS.SK90.2.13.trs.stderr12-Apr-2005 11:31 0  
[ ]TRS.SK90.2.13.trs.stdout12-Apr-2005 11:31 793  
[ ]TRS.SK90.2.14.trs.stderr12-Apr-2005 11:31 0  
[ ]TRS.SK90.2.14.trs.stdout12-Apr-2005 11:31 1.5K 
[ ]TRS.SK90.2.15.trs.stderr12-Apr-2005 11:31 0  
[ ]TRS.SK90.2.15.trs.stdout12-Apr-2005 11:31 1.3K 
[ ]TRS.SK90.2.16.trs.stderr12-Apr-2005 11:32 0  
[ ]TRS.SK90.2.16.trs.stdout12-Apr-2005 11:32 828  
[ ]TRS.SK90.2.17.trs.stderr12-Apr-2005 11:32 0  
[ ]TRS.SK90.2.17.trs.stdout12-Apr-2005 11:32 1.5K 
[ ]TRS.SK90.2.18.trs.stderr12-Apr-2005 11:33 0  
[ ]TRS.SK90.2.18.trs.stdout12-Apr-2005 11:33 721  
[ ]TRS.SK90.2.19.trs.stderr12-Apr-2005 11:34 0  
[ ]TRS.SK90.2.19.trs.stdout12-Apr-2005 11:34 854  
[ ]TRS.SK90.2.20.trs.stderr12-Apr-2005 11:34 0  
[ ]TRS.SK90.2.20.trs.stdout12-Apr-2005 11:34 1.8K 
[ ]TRS.SK90.2.21.trs.stderr12-Apr-2005 11:35 0  
[ ]TRS.SK90.2.21.trs.stdout12-Apr-2005 11:35 718  
[ ]TRS.SK90.2.22.trs.stderr12-Apr-2005 11:36 0  
[ ]TRS.SK90.2.22.trs.stdout12-Apr-2005 11:36 796  
[ ]TRS.SK90.2.23.trs.stderr12-Apr-2005 11:37 0  
[ ]TRS.SK90.2.23.trs.stdout12-Apr-2005 11:37 928  
[ ]TRS.SK90.2.24.trs.stderr12-Apr-2005 11:37 0  
[ ]TRS.SK90.2.24.trs.stdout12-Apr-2005 11:37 702  
[ ]TRS.SK90.2.25.trs.stderr12-Apr-2005 11:38 0  
[ ]TRS.SK90.2.25.trs.stdout12-Apr-2005 11:38 751  
[ ]TRS.SK90.2.26.trs.stderr12-Apr-2005 11:39 0  
[ ]TRS.SK90.2.26.trs.stdout12-Apr-2005 11:39 1.0K 
[ ]TRS.SK90.2.27.trs.stderr12-Apr-2005 11:40 0  
[ ]TRS.SK90.2.27.trs.stdout12-Apr-2005 11:40 966  
[ ]TRS.SK90.2.28.trs.stderr12-Apr-2005 11:41 0  
[ ]TRS.SK90.2.28.trs.stdout12-Apr-2005 11:41 689  
[ ]TRS.SK90.2.29.trs.stderr12-Apr-2005 11:42 0  
[ ]TRS.SK90.2.29.trs.stdout12-Apr-2005 11:42 1.7K 
[ ]TRS.SK90.2.30.trs.stderr12-Apr-2005 11:42 0  
[ ]TRS.SK90.2.30.trs.stdout12-Apr-2005 11:42 2.3K 
[ ]TRS.SK90.2.31.trs.stderr12-Apr-2005 11:43 0  
[ ]TRS.SK90.2.31.trs.stdout12-Apr-2005 11:43 1.4K 
[ ]TRS.SK90.2.32.trs.stderr12-Apr-2005 11:44 0  
[ ]TRS.SK90.2.32.trs.stdout12-Apr-2005 11:44 1.2K 
[ ]TRS.SK90.2.33.trs.stderr12-Apr-2005 11:45 0  
[ ]TRS.SK90.2.33.trs.stdout12-Apr-2005 11:45 956  
[ ]TRS.SK90.2.34.trs.stderr12-Apr-2005 11:46 0  
[ ]TRS.SK90.2.34.trs.stdout12-Apr-2005 11:46 1.1K 
[ ]TRS.SK90.2.35.trs.stderr12-Apr-2005 11:47 0  
[ ]TRS.SK90.2.35.trs.stdout12-Apr-2005 11:47 1.1K 
[ ]TRS.SK90.2.36.trs.stderr12-Apr-2005 11:48 0  
[ ]TRS.SK90.2.36.trs.stdout12-Apr-2005 11:48 1.1K 
[ ]TRS.SK90.2.37.trs.stderr12-Apr-2005 11:48 0  
[ ]TRS.SK90.2.37.trs.stdout12-Apr-2005 11:48 1.2K 
[ ]TRS.SK90.2.38.trs.stderr12-Apr-2005 11:48 0  
[ ]TRS.SK90.2.38.trs.stdout12-Apr-2005 11:48 914  
[ ]TRS.SK90.2.39.trs.stderr12-Apr-2005 11:49 0  
[ ]TRS.SK90.2.39.trs.stdout12-Apr-2005 11:49 1.4K 
[ ]TRS.SK90.2.40.trs.stderr12-Apr-2005 11:50 0  
[ ]TRS.SK90.2.40.trs.stdout12-Apr-2005 11:50 819  
[ ]TRS.SK90.2.41.trs.stderr12-Apr-2005 11:51 0  
[ ]TRS.SK90.2.41.trs.stdout12-Apr-2005 11:51 1.4K 
[ ]TRS.SK90.2.42.trs.stderr12-Apr-2005 11:52 0  
[ ]TRS.SK90.2.42.trs.stdout12-Apr-2005 11:52 1.3K 
[ ]TRS.SK90.2.43.trs.stderr12-Apr-2005 11:53 0  
[ ]TRS.SK90.2.43.trs.stdout12-Apr-2005 11:53 1.3K 
[ ]TRS.SK90.2.44.trs.stderr12-Apr-2005 11:55 0  
[ ]TRS.SK90.2.44.trs.stdout12-Apr-2005 11:55 2.0K 
[ ]TRS.SK90.2.45.trs.stderr12-Apr-2005 11:56 0  
[ ]TRS.SK90.2.45.trs.stdout12-Apr-2005 11:56 3.6K 
[ ]TRS.SK90.2.46.trs.stderr12-Apr-2005 11:57 0  
[ ]TRS.SK90.2.46.trs.stdout12-Apr-2005 11:57 827  
[ ]TRS.SK90.2.47.trs.stderr12-Apr-2005 11:57 0  
[ ]TRS.SK90.2.47.trs.stdout12-Apr-2005 11:57 815  
[ ]TRS.SK90.2.48.trs.stderr12-Apr-2005 11:57 0  
[ ]TRS.SK90.2.48.trs.stdout12-Apr-2005 11:57 1.3K 
[ ]TRS.SK90.2.49.trs.stderr12-Apr-2005 11:58 0  
[ ]TRS.SK90.2.49.trs.stdout12-Apr-2005 11:58 1.4K 
[ ]TRS.SK90.2.50.trs.stderr12-Apr-2005 11:58 0  
[ ]TRS.SK90.2.50.trs.stdout12-Apr-2005 11:58 648  
[ ]TRS.SK90.2.51.trs.stderr12-Apr-2005 11:59 0  
[ ]TRS.SK90.2.51.trs.stdout12-Apr-2005 11:59 739  
[ ]TRS.SK90.2.52.trs.stderr12-Apr-2005 12:01 0  
[ ]TRS.SK90.2.52.trs.stdout12-Apr-2005 12:01 4.0K 
[ ]TRS.SK90.2.53.trs.stderr12-Apr-2005 12:01 0  
[ ]TRS.SK90.2.53.trs.stdout12-Apr-2005 12:01 1.4K 
[ ]TRS.SK90.2.54.trs.stderr12-Apr-2005 12:01 0  
[ ]TRS.SK90.2.54.trs.stdout12-Apr-2005 12:01 844  
[ ]TRS.SK90.2.55.trs.stderr12-Apr-2005 12:01 0  
[ ]TRS.SK90.2.55.trs.stdout12-Apr-2005 12:01 847  
[ ]TRS.SK90.2.56.trs.stderr12-Apr-2005 12:01 0  
[ ]TRS.SK90.2.56.trs.stdout12-Apr-2005 12:01 952  
[ ]TRS.SK90.2.57.trs.stderr12-Apr-2005 12:01 0  
[ ]TRS.SK90.2.57.trs.stdout12-Apr-2005 12:01 695  
[ ]TRS.SK90.2.58.trs.stderr12-Apr-2005 12:02 0  
[ ]TRS.SK90.2.58.trs.stdout12-Apr-2005 12:02 3.2K 
[ ]TRS.SK90.2.59.trs.stderr12-Apr-2005 12:03 0  
[ ]TRS.SK90.2.59.trs.stdout12-Apr-2005 12:03 701  
[ ]TRS.SK90.2.60.trs.stderr12-Apr-2005 12:03 0  
[ ]TRS.SK90.2.60.trs.stdout12-Apr-2005 12:03 677  
[ ]TRS.SK90.2.61.trs.stderr12-Apr-2005 12:04 0  
[ ]TRS.SK90.2.61.trs.stdout12-Apr-2005 12:04 1.9K 
[ ]TRS.SK90.4.01.trs.stderr12-Apr-2005 12:04 0  
[ ]TRS.SK90.4.01.trs.stdout12-Apr-2005 12:04 1.2K 
[ ]TRS.SK90.4.02.trs.stderr12-Apr-2005 12:05 0  
[ ]TRS.SK90.4.02.trs.stdout12-Apr-2005 12:05 1.0K 
[ ]TRS.SK90.4.03.trs.stderr12-Apr-2005 12:06 0  
[ ]TRS.SK90.4.03.trs.stdout12-Apr-2005 12:06 875  
[ ]TRS.SK90.4.04.trs.stderr12-Apr-2005 12:07 0  
[ ]TRS.SK90.4.04.trs.stdout12-Apr-2005 12:07 868  
[ ]TRS.SK90.4.05.trs.stderr12-Apr-2005 12:08 0  
[ ]TRS.SK90.4.05.trs.stdout12-Apr-2005 12:08 726  
[ ]TRS.SK90.4.06.trs.stderr12-Apr-2005 12:10 50  
[ ]TRS.SK90.4.06.trs.stdout12-Apr-2005 12:09 0  
[ ]TRS.SK90.4.07.trs.stderr12-Apr-2005 12:10 0  
[ ]TRS.SK90.4.07.trs.stdout12-Apr-2005 12:10 887  
[ ]TRS.SK90.4.08.trs.stderr12-Apr-2005 12:10 0  
[ ]TRS.SK90.4.08.trs.stdout12-Apr-2005 12:10 848  
[ ]TRS.SK90.4.09.trs.stderr12-Apr-2005 12:11 0  
[ ]TRS.SK90.4.09.trs.stdout12-Apr-2005 12:11 786  
[ ]TRS.SK90.4.10.trs.stderr12-Apr-2005 12:12 0  
[ ]TRS.SK90.4.10.trs.stdout12-Apr-2005 12:12 1.0K 
[ ]TRS.SK90.4.11.trs.stderr12-Apr-2005 12:12 0  
[ ]TRS.SK90.4.11.trs.stdout12-Apr-2005 12:12 877  
[ ]TRS.SK90.4.12.trs.stderr12-Apr-2005 12:13 0  
[ ]TRS.SK90.4.12.trs.stdout12-Apr-2005 12:13 1.0K 
[ ]TRS.SK90.4.13.trs.stderr12-Apr-2005 12:16 0  
[ ]TRS.SK90.4.13.trs.stdout12-Apr-2005 12:16 2.3K 
[ ]TRS.SK90.4.14.trs.stderr12-Apr-2005 12:17 0  
[ ]TRS.SK90.4.14.trs.stdout12-Apr-2005 12:17 931  
[ ]TRS.SK90.4.15.trs.stderr12-Apr-2005 12:17 0  
[ ]TRS.SK90.4.15.trs.stdout12-Apr-2005 12:17 831  
[ ]TRS.SK90.4.16.trs.stderr12-Apr-2005 12:17 0  
[ ]TRS.SK90.4.16.trs.stdout12-Apr-2005 12:17 1.5K 
[ ]TRS.SK90.4.17.trs.stderr12-Apr-2005 12:18 0  
[ ]TRS.SK90.4.17.trs.stdout12-Apr-2005 12:18 1.2K 
[ ]TRS.SK90.4.18.trs.stderr12-Apr-2005 12:18 0  
[ ]TRS.SK90.4.18.trs.stdout12-Apr-2005 12:18 2.0K 
[ ]TRS.SK90.4.19.trs.stderr12-Apr-2005 12:19 0  
[ ]TRS.SK90.4.19.trs.stdout12-Apr-2005 12:19 796  
[ ]TRS.SK90.4.20.trs.stderr12-Apr-2005 12:20 0  
[ ]TRS.SK90.4.20.trs.stdout12-Apr-2005 12:20 1.0K 
[ ]TRS.SK90.4.21.trs.stderr12-Apr-2005 12:21 0  
[ ]TRS.SK90.4.21.trs.stdout12-Apr-2005 12:21 918  
[ ]TRS.SK90.4.22.trs.stderr12-Apr-2005 12:22 0  
[ ]TRS.SK90.4.22.trs.stdout12-Apr-2005 12:22 764  
[ ]TRS.SK90.4.23.trs.stderr12-Apr-2005 12:23 0  
[ ]TRS.SK90.4.23.trs.stdout12-Apr-2005 12:23 948  
[ ]TRS.SK90.4.24.trs.stderr12-Apr-2005 12:26 50  
[ ]TRS.SK90.4.24.trs.stdout12-Apr-2005 12:25 0  
[ ]TRS.SK90.4.25.trs.stderr12-Apr-2005 12:27 0  
[ ]TRS.SK90.4.25.trs.stdout12-Apr-2005 12:27 882  
[ ]TRS.SK90.4.26.trs.stderr12-Apr-2005 12:28 0  
[ ]TRS.SK90.4.26.trs.stdout12-Apr-2005 12:28 1.2K 
[ ]TRS.SK90.4.27.trs.stderr12-Apr-2005 12:29 0  
[ ]TRS.SK90.4.27.trs.stdout12-Apr-2005 12:29 2.9K 
[ ]TRS.SK90.4.28.trs.stderr12-Apr-2005 12:30 0  
[ ]TRS.SK90.4.28.trs.stdout12-Apr-2005 12:30 3.1K 
[ ]TRS.SK90.4.29.trs.stderr12-Apr-2005 12:30 0  
[ ]TRS.SK90.4.29.trs.stdout12-Apr-2005 12:30 944  
[ ]TRS.SK90.4.30.trs.stderr12-Apr-2005 12:32 0  
[ ]TRS.SK90.4.30.trs.stdout12-Apr-2005 12:32 2.9K 
[ ]TRS.SK90.4.31.trs.stderr12-Apr-2005 12:34 0  
[ ]TRS.SK90.4.31.trs.stdout12-Apr-2005 12:34 1.8K 
[ ]TRS.SK90.4.32.trs.stderr12-Apr-2005 12:35 0  
[ ]TRS.SK90.4.32.trs.stdout12-Apr-2005 12:35 3.9K 
[ ]TRS.SK90.4.33.trs.stderr12-Apr-2005 12:35 0  
[ ]TRS.SK90.4.33.trs.stdout12-Apr-2005 12:35 760  
[ ]TRS.SK90.4.34.trs.stderr12-Apr-2005 12:36 50  
[ ]TRS.SK90.4.34.trs.stdout12-Apr-2005 12:35 0  
[ ]TRS.SK90.4.35.trs.stderr12-Apr-2005 12:37 0  
[ ]TRS.SK90.4.35.trs.stdout12-Apr-2005 12:37 1.0K 
[ ]TRS.SK90.4.36.trs.stderr12-Apr-2005 12:37 0  
[ ]TRS.SK90.4.36.trs.stdout12-Apr-2005 12:37 875  
[ ]TRS.SK90.4.37.trs.stderr12-Apr-2005 12:37 0  
[ ]TRS.SK90.4.37.trs.stdout12-Apr-2005 12:37 757  
[ ]TRS.SK90.4.38.trs.stderr12-Apr-2005 12:38 0  
[ ]TRS.SK90.4.38.trs.stdout12-Apr-2005 12:38 878  
[ ]TRS.SK90.4.39.trs.stderr12-Apr-2005 12:38 0  
[ ]TRS.SK90.4.39.trs.stdout12-Apr-2005 12:38 1.0K 
[ ]TRS.SK90.4.40.trs.stderr12-Apr-2005 12:39 50  
[ ]TRS.SK90.4.40.trs.stdout12-Apr-2005 12:38 0  
[ ]TRS.SK90.4.41.trs.stderr12-Apr-2005 12:39 0  
[ ]TRS.SK90.4.41.trs.stdout12-Apr-2005 12:39 1.0K 
[ ]TRS.SK90.4.42.trs.stderr12-Apr-2005 12:42 50  
[ ]TRS.SK90.4.42.trs.stdout12-Apr-2005 12:41 0  
[ ]TRS.SK90.4.43.trs.stderr12-Apr-2005 12:43 0  
[ ]TRS.SK90.4.43.trs.stdout12-Apr-2005 12:43 1.5K 
[ ]TRS.SK90.4.44.trs.stderr12-Apr-2005 12:43 0  
[ ]TRS.SK90.4.44.trs.stdout12-Apr-2005 12:43 1.4K 
[ ]TRS.SK90.4.45.trs.stderr12-Apr-2005 12:43 0  
[ ]TRS.SK90.4.45.trs.stdout12-Apr-2005 12:43 930  
[ ]TRS.SK90.4.46.trs.stderr12-Apr-2005 12:43 0  
[ ]TRS.SK90.4.46.trs.stdout12-Apr-2005 12:43 1.2K 
[ ]TRS.SK90.4.47.trs.stderr12-Apr-2005 12:44 0  
[ ]TRS.SK90.4.47.trs.stdout12-Apr-2005 12:44 2.9K 
[ ]TRS.SK90.4.48.trs.stderr12-Apr-2005 12:45 0  
[ ]TRS.SK90.4.48.trs.stdout12-Apr-2005 12:45 1.1K 
[ ]TRS.SK90.4.49.trs.stderr12-Apr-2005 12:45 0  
[ ]TRS.SK90.4.49.trs.stdout12-Apr-2005 12:45 659  
[ ]TRS.SK90.4.50.trs.stderr12-Apr-2005 13:05 0  
[ ]TRS.SK90.4.50.trs.stdout12-Apr-2005 13:05 1.0K 
[ ]TRS.SK90.4.51.trs.stderr12-Apr-2005 13:05 0  
[ ]TRS.SK90.4.51.trs.stdout12-Apr-2005 13:05 1.4K 
[ ]TRS.SK90.4.52.trs.stderr12-Apr-2005 13:06 0  
[ ]TRS.SK90.4.52.trs.stdout12-Apr-2005 13:06 1.1K 
[ ]TRS.SK90.4.53.trs.stderr12-Apr-2005 13:07 0  
[ ]TRS.SK90.4.53.trs.stdout12-Apr-2005 13:07 769  
[ ]TRS.SK90.4.54.trs.stderr12-Apr-2005 13:09 50  
[ ]TRS.SK90.4.54.trs.stdout12-Apr-2005 13:08 0  
[ ]TRS.SK90.4.55.trs.stderr12-Apr-2005 13:09 0  
[ ]TRS.SK90.4.55.trs.stdout12-Apr-2005 13:09 1.3K 
[ ]TRS.SK90.4.56.trs.stderr12-Apr-2005 13:09 0  
[ ]TRS.SK90.4.56.trs.stdout12-Apr-2005 13:09 1.2K 
[ ]TRS.SK90.4.57.trs.stderr12-Apr-2005 13:10 0  
[ ]TRS.SK90.4.57.trs.stdout12-Apr-2005 13:10 1.6K 
[ ]TRS.SK90.4.58.trs.stderr12-Apr-2005 13:14 50  
[ ]TRS.SK90.4.58.trs.stdout12-Apr-2005 13:13 0  
[ ]TRS.SK90.4.59.trs.stderr12-Apr-2005 13:16 0  
[ ]TRS.SK90.4.59.trs.stdout12-Apr-2005 13:16 6.5K 
[ ]TRS.SK90.4.60.trs.stderr12-Apr-2005 13:18 0  
[ ]TRS.SK90.4.60.trs.stdout12-Apr-2005 13:19 9.7K 
[ ]TRS.SK90.4.61.trs.stderr12-Apr-2005 13:21 50  
[ ]TRS.SK90.4.61.trs.stdout12-Apr-2005 13:20 0  
[ ]TRS.Ste92.hydra.trs.stderr12-Apr-2005 13:23 0  
[ ]TRS.Ste92.hydra.trs.stdout12-Apr-2005 13:23 1.6K 
[ ]TRS.Ste92.minsort.trs.stderr12-Apr-2005 13:27 50  
[ ]TRS.Ste92.minsort.trs.stdout12-Apr-2005 13:26 0  
[ ]TRS.Ste92.motivation.trs.stderr12-Apr-2005 13:28 0  
[ ]TRS.Ste92.motivation.trs.stdout12-Apr-2005 13:28 1.7K 
[ ]TRS.Ste92.perfect.trs.stderr12-Apr-2005 13:33 0  
[ ]TRS.Ste92.perfect.trs.stdout12-Apr-2005 13:33 3.0K 
[ ]TRS.Ste92.perfect2.trs.stderr12-Apr-2005 13:31 50  
[ ]TRS.Ste92.perfect2.trs.stdout12-Apr-2005 13:30 0  
[ ]TRS.TRCSR.Ex1_2_AEL03_C.trs.stderr12-Apr-2005 13:37 50  
[ ]TRS.TRCSR.Ex1_2_AEL03_C.trs.stdout12-Apr-2005 13:36 0  
[ ]TRS.TRCSR.Ex1_2_AEL03_FR.trs.stderr12-Apr-2005 13:41 50  
[ ]TRS.TRCSR.Ex1_2_AEL03_FR.trs.stdout12-Apr-2005 13:40 0  
[ ]TRS.TRCSR.Ex1_2_AEL03_GM.trs.stderr12-Apr-2005 13:46 50  
[ ]TRS.TRCSR.Ex1_2_AEL03_GM.trs.stdout12-Apr-2005 13:45 0  
[ ]TRS.TRCSR.Ex1_2_AEL03_Z.trs.stderr12-Apr-2005 13:51 50  
[ ]TRS.TRCSR.Ex1_2_AEL03_Z.trs.stdout12-Apr-2005 13:50 0  
[ ]TRS.TRCSR.Ex1_2_Luc02c_C.trs.stderr12-Apr-2005 13:52 0  
[ ]TRS.TRCSR.Ex1_2_Luc02c_C.trs.stdout12-Apr-2005 13:52 2.0K 
[ ]TRS.TRCSR.Ex1_2_Luc02c_FR.trs.stderr12-Apr-2005 13:53 0  
[ ]TRS.TRCSR.Ex1_2_Luc02c_FR.trs.stdout12-Apr-2005 13:53 1.1K 
[ ]TRS.TRCSR.Ex1_2_Luc02c_GM.trs.stderr12-Apr-2005 13:57 50  
[ ]TRS.TRCSR.Ex1_2_Luc02c_GM.trs.stdout12-Apr-2005 13:56 0  
[ ]TRS.TRCSR.Ex1_2_Luc02c_Z.trs.stderr12-Apr-2005 13:59 0  
[ ]TRS.TRCSR.Ex1_2_Luc02c_Z.trs.stdout12-Apr-2005 13:59 1.8K 
[ ]TRS.TRCSR.Ex1_GL02a_C.trs.stderr12-Apr-2005 14:36 50  
[ ]TRS.TRCSR.Ex1_GL02a_C.trs.stdout12-Apr-2005 14:35 0  
[ ]TRS.TRCSR.Ex1_GL02a_FR.trs.stderr12-Apr-2005 14:42 50  
[ ]TRS.TRCSR.Ex1_GL02a_FR.trs.stdout12-Apr-2005 14:41 0  
[ ]TRS.TRCSR.Ex1_GL02a_GM.trs.stderr12-Apr-2005 14:44 0  
[ ]TRS.TRCSR.Ex1_GL02a_GM.trs.stdout12-Apr-2005 14:44 1.5K 
[ ]TRS.TRCSR.Ex1_GL02a_Z.trs.stderr12-Apr-2005 14:49 50  
[ ]TRS.TRCSR.Ex1_GL02a_Z.trs.stdout12-Apr-2005 14:47 0  
[ ]TRS.TRCSR.Ex1_GM03_C.trs.stderr12-Apr-2005 14:54 50  
[ ]TRS.TRCSR.Ex1_GM03_C.trs.stdout12-Apr-2005 14:53 0  
[ ]TRS.TRCSR.Ex1_GM03_FR.trs.stderr12-Apr-2005 15:00 50  
[ ]TRS.TRCSR.Ex1_GM03_FR.trs.stdout12-Apr-2005 14:59 0  
[ ]TRS.TRCSR.Ex1_GM03_GM.trs.stderr12-Apr-2005 15:06 50  
[ ]TRS.TRCSR.Ex1_GM03_GM.trs.stdout12-Apr-2005 15:05 0  
[ ]TRS.TRCSR.Ex1_GM03_Z.trs.stderr12-Apr-2005 15:08 50  
[ ]TRS.TRCSR.Ex1_GM03_Z.trs.stdout12-Apr-2005 15:07 0  
[ ]TRS.TRCSR.Ex1_Luc02b_C.trs.stderr12-Apr-2005 15:13 50  
[ ]TRS.TRCSR.Ex1_Luc02b_C.trs.stdout12-Apr-2005 15:12 0  
[ ]TRS.TRCSR.Ex1_Luc02b_FR.trs.stderr12-Apr-2005 15:16 50  
[ ]TRS.TRCSR.Ex1_Luc02b_FR.trs.stdout12-Apr-2005 15:15 0  
[ ]TRS.TRCSR.Ex1_Luc02b_GM.trs.stderr12-Apr-2005 15:21 50  
[ ]TRS.TRCSR.Ex1_Luc02b_GM.trs.stdout12-Apr-2005 15:20 0  
[ ]TRS.TRCSR.Ex1_Luc02b_Z.trs.stderr12-Apr-2005 15:23 0  
[ ]TRS.TRCSR.Ex1_Luc02b_Z.trs.stdout12-Apr-2005 15:24 2.9K 
[ ]TRS.TRCSR.Ex1_Zan97_C.trs.stderr12-Apr-2005 15:25 0  
[ ]TRS.TRCSR.Ex1_Zan97_C.trs.stdout12-Apr-2005 15:25 3.1K 
[ ]TRS.TRCSR.Ex1_Zan97_GM.trs.stderr12-Apr-2005 15:25 0  
[ ]TRS.TRCSR.Ex1_Zan97_GM.trs.stdout12-Apr-2005 15:25 1.5K 
[ ]TRS.TRCSR.Ex2_Luc02a_C.trs.stderr12-Apr-2005 15:57 50  
[ ]TRS.TRCSR.Ex2_Luc02a_C.trs.stdout12-Apr-2005 15:56 0  
[ ]TRS.TRCSR.Ex2_Luc02a_FR.trs.stderr12-Apr-2005 16:02 50  
[ ]TRS.TRCSR.Ex2_Luc02a_FR.trs.stdout12-Apr-2005 16:00 0  
[ ]TRS.TRCSR.Ex2_Luc02a_L.trs.stderr12-Apr-2005 16:03 0  
[ ]TRS.TRCSR.Ex2_Luc02a_L.trs.stdout12-Apr-2005 16:03 1.3K 
[ ]TRS.TRCSR.Ex2_Luc02a_Z.trs.stderr12-Apr-2005 16:06 50  
[ ]TRS.TRCSR.Ex2_Luc02a_Z.trs.stdout12-Apr-2005 16:05 0  
[ ]TRS.TRCSR.Ex2_Luc03b_C.trs.stderr12-Apr-2005 16:10 50  
[ ]TRS.TRCSR.Ex2_Luc03b_C.trs.stdout12-Apr-2005 16:08 0  
[ ]TRS.TRCSR.Ex2_Luc03b_FR.trs.stderr12-Apr-2005 16:13 50  
[ ]TRS.TRCSR.Ex2_Luc03b_FR.trs.stdout12-Apr-2005 16:12 0  
[ ]TRS.TRCSR.Ex2_Luc03b_GM.trs.stderr12-Apr-2005 16:17 50  
[ ]TRS.TRCSR.Ex2_Luc03b_GM.trs.stdout12-Apr-2005 16:16 0  
[ ]TRS.TRCSR.Ex2_Luc03b_L.trs.stderr12-Apr-2005 16:17 0  
[ ]TRS.TRCSR.Ex2_Luc03b_L.trs.stdout12-Apr-2005 16:17 1.5K 
[ ]TRS.TRCSR.Ex2_Luc03b_Z.trs.stderr12-Apr-2005 16:20 50  
[ ]TRS.TRCSR.Ex2_Luc03b_Z.trs.stdout12-Apr-2005 16:19 0  
[ ]TRS.TRCSR.Ex3_2_Luc97_C.trs.stderr12-Apr-2005 16:36 50  
[ ]TRS.TRCSR.Ex3_2_Luc97_C.trs.stdout12-Apr-2005 16:35 0  
[ ]TRS.TRCSR.Ex3_2_Luc97_FR.trs.stderr12-Apr-2005 16:43 50  
[ ]TRS.TRCSR.Ex3_2_Luc97_FR.trs.stdout12-Apr-2005 16:42 0  
[ ]TRS.TRCSR.Ex3_2_Luc97_GM.trs.stderr12-Apr-2005 16:48 50  
[ ]TRS.TRCSR.Ex3_2_Luc97_GM.trs.stdout12-Apr-2005 16:47 0  
[ ]TRS.TRCSR.Ex3_2_Luc97_Z.trs.stderr12-Apr-2005 16:54 50  
[ ]TRS.TRCSR.Ex3_2_Luc97_Z.trs.stdout12-Apr-2005 16:53 0  
[ ]TRS.TRCSR.Ex3_3_25_Bor03_C.trs.stderr12-Apr-2005 16:58 50  
[ ]TRS.TRCSR.Ex3_3_25_Bor03_C.trs.stdout12-Apr-2005 16:57 0  
[ ]TRS.TRCSR.Ex3_3_25_Bor03_FR.trs.stderr12-Apr-2005 17:02 50  
[ ]TRS.TRCSR.Ex3_3_25_Bor03_FR.trs.stdout12-Apr-2005 17:01 0  
[ ]TRS.TRCSR.Ex3_3_25_Bor03_GM.trs.stderr12-Apr-2005 17:06 50  
[ ]TRS.TRCSR.Ex3_3_25_Bor03_GM.trs.stdout12-Apr-2005 17:05 0  
[ ]TRS.TRCSR.Ex3_3_25_Bor03_L.trs.stderr12-Apr-2005 17:06 0  
[ ]TRS.TRCSR.Ex3_3_25_Bor03_L.trs.stdout12-Apr-2005 17:06 1.4K 
[ ]TRS.TRCSR.Ex3_3_25_Bor03_Z.trs.stderr12-Apr-2005 17:08 50  
[ ]TRS.TRCSR.Ex3_3_25_Bor03_Z.trs.stdout12-Apr-2005 17:07 0  
[ ]TRS.TRCSR.Ex3_12_Luc96a_C.trs.stderr12-Apr-2005 16:25 50  
[ ]TRS.TRCSR.Ex3_12_Luc96a_C.trs.stdout12-Apr-2005 16:24 0  
[ ]TRS.TRCSR.Ex3_12_Luc96a_FR.trs.stderr12-Apr-2005 16:26 0  
[ ]TRS.TRCSR.Ex3_12_Luc96a_FR.trs.stdout12-Apr-2005 16:26 1.0K 
[ ]TRS.TRCSR.Ex3_12_Luc96a_GM.trs.stderr12-Apr-2005 16:30 50  
[ ]TRS.TRCSR.Ex3_12_Luc96a_GM.trs.stdout12-Apr-2005 16:29 0  
[ ]TRS.TRCSR.Ex3_12_Luc96a_Z.trs.stderr12-Apr-2005 16:32 0  
[ ]TRS.TRCSR.Ex3_12_Luc96a_Z.trs.stdout12-Apr-2005 16:32 907  
[ ]TRS.TRCSR.Ex4_4_Luc96b_C.trs.stderr12-Apr-2005 17:08 0  
[ ]TRS.TRCSR.Ex4_4_Luc96b_C.trs.stdout12-Apr-2005 17:08 1.5K 
[ ]TRS.TRCSR.Ex4_4_Luc96b_FR.trs.stderr12-Apr-2005 17:11 50  
[ ]TRS.TRCSR.Ex4_4_Luc96b_FR.trs.stdout12-Apr-2005 17:10 0  
[ ]TRS.TRCSR.Ex4_4_Luc96b_GM.trs.stderr12-Apr-2005 17:13 0  
[ ]TRS.TRCSR.Ex4_4_Luc96b_GM.trs.stdout12-Apr-2005 17:13 1.7K 
[ ]TRS.TRCSR.Ex4_4_Luc96b_L.trs.stderr12-Apr-2005 17:13 0  
[ ]TRS.TRCSR.Ex4_4_Luc96b_L.trs.stdout12-Apr-2005 17:13 762  
[ ]TRS.TRCSR.Ex4_4_Luc96b_Z.trs.stderr12-Apr-2005 17:14 50  
[ ]TRS.TRCSR.Ex4_4_Luc96b_Z.trs.stdout12-Apr-2005 17:13 0  
[ ]TRS.TRCSR.Ex4_7_15_Bor03_C.trs.stderr12-Apr-2005 17:19 50  
[ ]TRS.TRCSR.Ex4_7_15_Bor03_C.trs.stdout12-Apr-2005 17:18 0  
[ ]TRS.TRCSR.Ex4_7_15_Bor03_FR.trs.stderr12-Apr-2005 17:21 0  
[ ]TRS.TRCSR.Ex4_7_15_Bor03_FR.trs.stdout12-Apr-2005 17:21 3.1K 
[ ]TRS.TRCSR.Ex4_7_15_Bor03_GM.trs.stderr12-Apr-2005 17:22 0  
[ ]TRS.TRCSR.Ex4_7_15_Bor03_GM.trs.stdout12-Apr-2005 17:22 3.1K 
[ ]TRS.TRCSR.Ex4_7_15_Bor03_L.trs.stderr12-Apr-2005 17:22 0  
[ ]TRS.TRCSR.Ex4_7_15_Bor03_L.trs.stdout12-Apr-2005 17:22 1.3K 
[ ]TRS.TRCSR.Ex4_7_15_Bor03_Z.trs.stderr12-Apr-2005 17:23 0  
[ ]TRS.TRCSR.Ex4_7_15_Bor03_Z.trs.stdout12-Apr-2005 17:23 1.5K 
[ ]TRS.TRCSR.Ex4_7_37_Bor03_C.trs.stderr12-Apr-2005 17:28 50  
[ ]TRS.TRCSR.Ex4_7_37_Bor03_C.trs.stdout12-Apr-2005 17:27 0  
[ ]TRS.TRCSR.Ex4_7_37_Bor03_FR.trs.stderr12-Apr-2005 17:33 50  
[ ]TRS.TRCSR.Ex4_7_37_Bor03_FR.trs.stdout12-Apr-2005 17:32 0  
[ ]TRS.TRCSR.Ex4_7_37_Bor03_GM.trs.stderr12-Apr-2005 17:38 50  
[ ]TRS.TRCSR.Ex4_7_37_Bor03_GM.trs.stdout12-Apr-2005 17:37 0  
[ ]TRS.TRCSR.Ex4_7_37_Bor03_Z.trs.stderr12-Apr-2005 17:42 50  
[ ]TRS.TRCSR.Ex4_7_37_Bor03_Z.trs.stdout12-Apr-2005 17:41 0  
[ ]TRS.TRCSR.Ex4_7_56_Bor03_C.trs.stderr12-Apr-2005 17:46 50  
[ ]TRS.TRCSR.Ex4_7_56_Bor03_C.trs.stdout12-Apr-2005 17:45 0  
[ ]TRS.TRCSR.Ex4_7_56_Bor03_FR.trs.stderr12-Apr-2005 17:48 0  
[ ]TRS.TRCSR.Ex4_7_56_Bor03_FR.trs.stdout12-Apr-2005 17:48 1.0K 
[ ]TRS.TRCSR.Ex4_7_56_Bor03_GM.trs.stderr12-Apr-2005 17:52 50  
[ ]TRS.TRCSR.Ex4_7_56_Bor03_GM.trs.stdout12-Apr-2005 17:51 0  
[ ]TRS.TRCSR.Ex4_7_56_Bor03_Z.trs.stderr12-Apr-2005 17:53 0  
[ ]TRS.TRCSR.Ex4_7_56_Bor03_Z.trs.stdout12-Apr-2005 17:53 916  
[ ]TRS.TRCSR.Ex4_7_77_Bor03_C.trs.stderr12-Apr-2005 17:54 0  
[ ]TRS.TRCSR.Ex4_7_77_Bor03_C.trs.stdout12-Apr-2005 17:55 4.8K 
[ ]TRS.TRCSR.Ex4_7_77_Bor03_GM.trs.stderr12-Apr-2005 17:56 0  
[ ]TRS.TRCSR.Ex4_7_77_Bor03_GM.trs.stdout12-Apr-2005 17:56 1.4K 
[ ]TRS.TRCSR.Ex4_7_77_Bor03_Z.trs.stderr12-Apr-2005 17:57 0  
[ ]TRS.TRCSR.Ex4_7_77_Bor03_Z.trs.stdout12-Apr-2005 17:57 1.2K 
[ ]TRS.TRCSR.Ex4_Zan97_C.trs.stderr12-Apr-2005 18:17 50  
[ ]TRS.TRCSR.Ex4_Zan97_C.trs.stdout12-Apr-2005 18:16 0  
[ ]TRS.TRCSR.Ex4_Zan97_FR.trs.stderr12-Apr-2005 18:19 0  
[ ]TRS.TRCSR.Ex4_Zan97_FR.trs.stdout12-Apr-2005 18:19 1.0K 
[ ]TRS.TRCSR.Ex4_Zan97_GM.trs.stderr12-Apr-2005 18:23 50  
[ ]TRS.TRCSR.Ex4_Zan97_GM.trs.stdout12-Apr-2005 18:22 0  
[ ]TRS.TRCSR.Ex4_Zan97_Z.trs.stderr12-Apr-2005 18:25 0  
[ ]TRS.TRCSR.Ex4_Zan97_Z.trs.stdout12-Apr-2005 18:25 921  
[ ]TRS.TRCSR.Ex5_7_Luc97_C.trs.stderr12-Apr-2005 18:29 50  
[ ]TRS.TRCSR.Ex5_7_Luc97_C.trs.stdout12-Apr-2005 18:28 0  
[ ]TRS.TRCSR.Ex5_7_Luc97_FR.trs.stderr12-Apr-2005 18:36 50  
[ ]TRS.TRCSR.Ex5_7_Luc97_FR.trs.stdout12-Apr-2005 18:34 0  
[ ]TRS.TRCSR.Ex5_7_Luc97_GM.trs.stderr12-Apr-2005 18:42 50  
[ ]TRS.TRCSR.Ex5_7_Luc97_GM.trs.stdout12-Apr-2005 18:41 0  
[ ]TRS.TRCSR.Ex5_7_Luc97_Z.trs.stderr12-Apr-2005 18:48 50  
[ ]TRS.TRCSR.Ex5_7_Luc97_Z.trs.stdout12-Apr-2005 18:47 0  
[ ]TRS.TRCSR.Ex5_Zan97_C.trs.stderr12-Apr-2005 18:51 0  
[ ]TRS.TRCSR.Ex5_Zan97_C.trs.stdout12-Apr-2005 18:52 6.6K 
[ ]TRS.TRCSR.Ex5_Zan97_FR.trs.stderr12-Apr-2005 18:53 0  
[ ]TRS.TRCSR.Ex5_Zan97_FR.trs.stdout12-Apr-2005 18:53 1.4K 
[ ]TRS.TRCSR.Ex5_Zan97_GM.trs.stderr12-Apr-2005 18:56 50  
[ ]TRS.TRCSR.Ex5_Zan97_GM.trs.stdout12-Apr-2005 18:55 0  
[ ]TRS.TRCSR.Ex5_Zan97_Z.trs.stderr12-Apr-2005 18:57 0  
[ ]TRS.TRCSR.Ex5_Zan97_Z.trs.stdout12-Apr-2005 18:57 1.4K 
[ ]TRS.TRCSR.Ex6_9_Luc02c_C.trs.stderr12-Apr-2005 19:20 0  
[ ]TRS.TRCSR.Ex6_9_Luc02c_C.trs.stdout12-Apr-2005 19:20 2.4K 
[ ]TRS.TRCSR.Ex6_9_Luc02c_FR.trs.stderr12-Apr-2005 19:23 50  
[ ]TRS.TRCSR.Ex6_9_Luc02c_FR.trs.stdout12-Apr-2005 19:22 0  
[ ]TRS.TRCSR.Ex6_9_Luc02c_GM.trs.stderr12-Apr-2005 19:27 50  
[ ]TRS.TRCSR.Ex6_9_Luc02c_GM.trs.stdout12-Apr-2005 19:26 0  
[ ]TRS.TRCSR.Ex6_9_Luc02c_Z.trs.stderr12-Apr-2005 19:28 0  
[ ]TRS.TRCSR.Ex6_9_Luc02c_Z.trs.stdout12-Apr-2005 19:28 2.8K 
[ ]TRS.TRCSR.Ex6_15_AEL02_C.trs.stderr12-Apr-2005 19:01 50  
[ ]TRS.TRCSR.Ex6_15_AEL02_C.trs.stdout12-Apr-2005 19:00 0  
[ ]TRS.TRCSR.Ex6_15_AEL02_FR.trs.stderr12-Apr-2005 19:08 50  
[ ]TRS.TRCSR.Ex6_15_AEL02_FR.trs.stdout12-Apr-2005 19:06 0  
[ ]TRS.TRCSR.Ex6_15_AEL02_GM.trs.stderr12-Apr-2005 19:14 50  
[ ]TRS.TRCSR.Ex6_15_AEL02_GM.trs.stdout12-Apr-2005 19:12 0  
[ ]TRS.TRCSR.Ex6_15_AEL02_Z.trs.stderr12-Apr-2005 19:19 50  
[ ]TRS.TRCSR.Ex6_15_AEL02_Z.trs.stdout12-Apr-2005 19:18 0  
[ ]TRS.TRCSR.Ex6_GM04_C.trs.stderr12-Apr-2005 19:29 0  
[ ]TRS.TRCSR.Ex6_GM04_C.trs.stdout12-Apr-2005 19:29 2.8K 
[ ]TRS.TRCSR.Ex6_GM04_GM.trs.stderr12-Apr-2005 19:29 0  
[ ]TRS.TRCSR.Ex6_GM04_GM.trs.stdout12-Apr-2005 19:29 1.2K 
[ ]TRS.TRCSR.Ex6_GM04_L.trs.stderr12-Apr-2005 19:29 0  
[ ]TRS.TRCSR.Ex6_GM04_L.trs.stdout12-Apr-2005 19:29 899  
[ ]TRS.TRCSR.Ex6_Luc98_C.trs.stderr12-Apr-2005 19:32 50  
[ ]TRS.TRCSR.Ex6_Luc98_C.trs.stdout12-Apr-2005 19:31 0  
[ ]TRS.TRCSR.Ex6_Luc98_FR.trs.stderr12-Apr-2005 19:35 50  
[ ]TRS.TRCSR.Ex6_Luc98_FR.trs.stdout12-Apr-2005 19:34 0  
[ ]TRS.TRCSR.Ex6_Luc98_GM.trs.stderr12-Apr-2005 19:39 50  
[ ]TRS.TRCSR.Ex6_Luc98_GM.trs.stdout12-Apr-2005 19:38 0  
[ ]TRS.TRCSR.Ex6_Luc98_L.trs.stderr12-Apr-2005 19:39 0  
[ ]TRS.TRCSR.Ex6_Luc98_L.trs.stdout12-Apr-2005 19:39 1.1K 
[ ]TRS.TRCSR.Ex6_Luc98_Z.trs.stderr12-Apr-2005 19:41 0  
[ ]TRS.TRCSR.Ex6_Luc98_Z.trs.stdout12-Apr-2005 19:41 1.8K 
[ ]TRS.TRCSR.Ex7_BLR02_C.trs.stderr12-Apr-2005 19:45 50  
[ ]TRS.TRCSR.Ex7_BLR02_C.trs.stdout12-Apr-2005 19:44 0  
[ ]TRS.TRCSR.Ex7_BLR02_FR.trs.stderr12-Apr-2005 19:49 50  
[ ]TRS.TRCSR.Ex7_BLR02_FR.trs.stdout12-Apr-2005 19:48 0  
[ ]TRS.TRCSR.Ex7_BLR02_GM.trs.stderr12-Apr-2005 19:53 50  
[ ]TRS.TRCSR.Ex7_BLR02_GM.trs.stdout12-Apr-2005 19:52 0  
[ ]TRS.TRCSR.Ex7_BLR02_Z.trs.stderr12-Apr-2005 19:57 50  
[ ]TRS.TRCSR.Ex7_BLR02_Z.trs.stdout12-Apr-2005 19:56 0  
[ ]TRS.TRCSR.Ex8_BLR02_C.trs.stderr12-Apr-2005 20:01 50  
[ ]TRS.TRCSR.Ex8_BLR02_C.trs.stdout12-Apr-2005 20:00 0  
[ ]TRS.TRCSR.Ex8_BLR02_FR.trs.stderr12-Apr-2005 20:03 0  
[ ]TRS.TRCSR.Ex8_BLR02_FR.trs.stdout12-Apr-2005 20:03 1.2K 
[ ]TRS.TRCSR.Ex8_BLR02_GM.trs.stderr12-Apr-2005 20:08 50  
[ ]TRS.TRCSR.Ex8_BLR02_GM.trs.stdout12-Apr-2005 20:07 0  
[ ]TRS.TRCSR.Ex8_BLR02_Z.trs.stderr12-Apr-2005 20:10 0  
[ ]TRS.TRCSR.Ex8_BLR02_Z.trs.stdout12-Apr-2005 20:10 1.0K 
[ ]TRS.TRCSR.Ex9_BLR02_C.trs.stderr12-Apr-2005 20:14 50  
[ ]TRS.TRCSR.Ex9_BLR02_C.trs.stdout12-Apr-2005 20:13 0  
[ ]TRS.TRCSR.Ex9_BLR02_FR.trs.stderr12-Apr-2005 20:18 50  
[ ]TRS.TRCSR.Ex9_BLR02_FR.trs.stdout12-Apr-2005 20:17 0  
[ ]TRS.TRCSR.Ex9_BLR02_GM.trs.stderr12-Apr-2005 20:22 50  
[ ]TRS.TRCSR.Ex9_BLR02_GM.trs.stdout12-Apr-2005 20:21 0  
[ ]TRS.TRCSR.Ex9_BLR02_L.trs.stderr12-Apr-2005 20:22 0  
[ ]TRS.TRCSR.Ex9_BLR02_L.trs.stdout12-Apr-2005 20:22 1.6K 
[ ]TRS.TRCSR.Ex9_BLR02_Z.trs.stderr12-Apr-2005 20:26 50  
[ ]TRS.TRCSR.Ex9_BLR02_Z.trs.stdout12-Apr-2005 20:25 0  
[ ]TRS.TRCSR.Ex9_Luc04_C.trs.stderr12-Apr-2005 20:30 50  
[ ]TRS.TRCSR.Ex9_Luc04_C.trs.stdout12-Apr-2005 20:29 0  
[ ]TRS.TRCSR.Ex14_AEGL02_C.trs.stderr12-Apr-2005 14:03 50  
[ ]TRS.TRCSR.Ex14_AEGL02_C.trs.stdout12-Apr-2005 14:02 0  
[ ]TRS.TRCSR.Ex14_AEGL02_FR.trs.stderr12-Apr-2005 14:07 50  
[ ]TRS.TRCSR.Ex14_AEGL02_FR.trs.stdout12-Apr-2005 14:06 0  
[ ]TRS.TRCSR.Ex14_AEGL02_GM.trs.stderr12-Apr-2005 14:10 50  
[ ]TRS.TRCSR.Ex14_AEGL02_GM.trs.stdout12-Apr-2005 14:09 0  
[ ]TRS.TRCSR.Ex14_AEGL02_Z.trs.stderr12-Apr-2005 14:13 50  
[ ]TRS.TRCSR.Ex14_AEGL02_Z.trs.stdout12-Apr-2005 14:12 0  
[ ]TRS.TRCSR.Ex15_Luc98_C.trs.stderr12-Apr-2005 14:17 50  
[ ]TRS.TRCSR.Ex15_Luc98_C.trs.stdout12-Apr-2005 14:16 0  
[ ]TRS.TRCSR.Ex15_Luc98_FR.trs.stderr12-Apr-2005 14:23 50  
[ ]TRS.TRCSR.Ex15_Luc98_FR.trs.stdout12-Apr-2005 14:22 0  
[ ]TRS.TRCSR.Ex15_Luc98_GM.trs.stderr12-Apr-2005 14:27 50  
[ ]TRS.TRCSR.Ex15_Luc98_GM.trs.stdout12-Apr-2005 14:26 0  
[ ]TRS.TRCSR.Ex15_Luc98_Z.trs.stderr12-Apr-2005 14:31 50  
[ ]TRS.TRCSR.Ex15_Luc98_Z.trs.stdout12-Apr-2005 14:30 0  
[ ]TRS.TRCSR.Ex24_GM04_C.trs.stderr12-Apr-2005 15:30 50  
[ ]TRS.TRCSR.Ex24_GM04_C.trs.stdout12-Apr-2005 15:29 0  
[ ]TRS.TRCSR.Ex26_Luc03b_C.trs.stderr12-Apr-2005 15:34 50  
[ ]TRS.TRCSR.Ex26_Luc03b_C.trs.stdout12-Apr-2005 15:33 0  
[ ]TRS.TRCSR.Ex26_Luc03b_FR.trs.stderr12-Apr-2005 15:40 50  
[ ]TRS.TRCSR.Ex26_Luc03b_FR.trs.stdout12-Apr-2005 15:39 0  
[ ]TRS.TRCSR.Ex26_Luc03b_GM.trs.stderr12-Apr-2005 15:45 50  
[ ]TRS.TRCSR.Ex26_Luc03b_GM.trs.stdout12-Apr-2005 15:44 0  
[ ]TRS.TRCSR.Ex26_Luc03b_L.trs.stderr12-Apr-2005 15:46 0  
[ ]TRS.TRCSR.Ex26_Luc03b_L.trs.stdout12-Apr-2005 15:46 1.8K 
[ ]TRS.TRCSR.Ex26_Luc03b_Z.trs.stderr12-Apr-2005 15:51 50  
[ ]TRS.TRCSR.Ex26_Luc03b_Z.trs.stdout12-Apr-2005 15:50 0  
[ ]TRS.TRCSR.Ex49_GM04_C.trs.stderr12-Apr-2005 18:01 50  
[ ]TRS.TRCSR.Ex49_GM04_C.trs.stdout12-Apr-2005 18:00 0  
[ ]TRS.TRCSR.Ex49_GM04_FR.trs.stderr12-Apr-2005 18:07 50  
[ ]TRS.TRCSR.Ex49_GM04_FR.trs.stdout12-Apr-2005 18:06 0  
[ ]TRS.TRCSR.Ex49_GM04_GM.trs.stderr12-Apr-2005 18:11 50  
[ ]TRS.TRCSR.Ex49_GM04_GM.trs.stdout12-Apr-2005 18:10 0  
[ ]TRS.TRCSR.Ex49_GM04_Z.trs.stderr12-Apr-2005 18:13 0  
[ ]TRS.TRCSR.Ex49_GM04_Z.trs.stdout12-Apr-2005 18:13 4.8K 
[ ]TRS.TRCSR.ExAppendixB_AEL03_C.trs.stderr12-Apr-2005 20:35 50  
[ ]TRS.TRCSR.ExAppendixB_AEL03_C.trs.stdout12-Apr-2005 20:34 0  
[ ]TRS.TRCSR.ExAppendixB_AEL03_FR.trs.stderr12-Apr-2005 20:39 50  
[ ]TRS.TRCSR.ExAppendixB_AEL03_FR.trs.stdout12-Apr-2005 20:38 0  
[ ]TRS.TRCSR.ExAppendixB_AEL03_GM.trs.stderr12-Apr-2005 20:44 50  
[ ]TRS.TRCSR.ExAppendixB_AEL03_GM.trs.stdout12-Apr-2005 20:43 0  
[ ]TRS.TRCSR.ExAppendixB_AEL03_Z.trs.stderr12-Apr-2005 20:48 50  
[ ]TRS.TRCSR.ExAppendixB_AEL03_Z.trs.stdout12-Apr-2005 20:47 0  
[ ]TRS.TRCSR.ExConc_Zan97_C.trs.stderr12-Apr-2005 20:48 0  
[ ]TRS.TRCSR.ExConc_Zan97_C.trs.stdout12-Apr-2005 20:48 1.6K 
[ ]TRS.TRCSR.ExConc_Zan97_FR.trs.stderr12-Apr-2005 20:49 0  
[ ]TRS.TRCSR.ExConc_Zan97_FR.trs.stdout12-Apr-2005 20:49 1.0K 
[ ]TRS.TRCSR.ExConc_Zan97_GM.trs.stderr12-Apr-2005 20:49 0  
[ ]TRS.TRCSR.ExConc_Zan97_GM.trs.stdout12-Apr-2005 20:49 962  
[ ]TRS.TRCSR.ExConc_Zan97_L.trs.stderr12-Apr-2005 20:49 0  
[ ]TRS.TRCSR.ExConc_Zan97_L.trs.stdout12-Apr-2005 20:49 756  
[ ]TRS.TRCSR.ExIntrod_GM01_C.trs.stderr12-Apr-2005 20:53 50  
[ ]TRS.TRCSR.ExIntrod_GM01_C.trs.stdout12-Apr-2005 20:52 0  
[ ]TRS.TRCSR.ExIntrod_GM01_GM.trs.stderr12-Apr-2005 20:57 50  
[ ]TRS.TRCSR.ExIntrod_GM01_GM.trs.stdout12-Apr-2005 20:56 0  
[ ]TRS.TRCSR.ExIntrod_GM04_C.trs.stderr12-Apr-2005 21:00 50  
[ ]TRS.TRCSR.ExIntrod_GM04_C.trs.stdout12-Apr-2005 20:59 0  
[ ]TRS.TRCSR.ExIntrod_GM04_GM.trs.stderr12-Apr-2005 21:02 0  
[ ]TRS.TRCSR.ExIntrod_GM04_GM.trs.stdout12-Apr-2005 21:02 2.2K 
[ ]TRS.TRCSR.ExIntrod_GM99_C.trs.stderr12-Apr-2005 21:06 50  
[ ]TRS.TRCSR.ExIntrod_GM99_C.trs.stdout12-Apr-2005 21:05 0  
[ ]TRS.TRCSR.ExIntrod_GM99_FR.trs.stderr12-Apr-2005 21:12 50  
[ ]TRS.TRCSR.ExIntrod_GM99_FR.trs.stdout12-Apr-2005 21:11 0  
[ ]TRS.TRCSR.ExIntrod_GM99_GM.trs.stderr12-Apr-2005 21:18 50  
[ ]TRS.TRCSR.ExIntrod_GM99_GM.trs.stdout12-Apr-2005 21:17 0  
[ ]TRS.TRCSR.ExIntrod_GM99_Z.trs.stderr12-Apr-2005 21:23 50  
[ ]TRS.TRCSR.ExIntrod_GM99_Z.trs.stdout12-Apr-2005 21:22 0  
[ ]TRS.TRCSR.ExIntrod_Zan97_C.trs.stderr12-Apr-2005 21:28 50  
[ ]TRS.TRCSR.ExIntrod_Zan97_C.trs.stdout12-Apr-2005 21:27 0  
[ ]TRS.TRCSR.ExIntrod_Zan97_FR.trs.stderr12-Apr-2005 21:34 50  
[ ]TRS.TRCSR.ExIntrod_Zan97_FR.trs.stdout12-Apr-2005 21:33 0  
[ ]TRS.TRCSR.ExIntrod_Zan97_GM.trs.stderr12-Apr-2005 21:39 50  
[ ]TRS.TRCSR.ExIntrod_Zan97_GM.trs.stdout12-Apr-2005 21:38 0  
[ ]TRS.TRCSR.ExIntrod_Zan97_Z.trs.stderr12-Apr-2005 21:42 50  
[ ]TRS.TRCSR.ExIntrod_Zan97_Z.trs.stdout12-Apr-2005 21:41 0  
[ ]TRS.TRCSR.ExSec11_1_Luc02a.trs.stderr12-Apr-2005 22:00 0  
[ ]TRS.TRCSR.ExSec11_1_Luc02a.trs.stdout12-Apr-2005 22:00 132  
[ ]TRS.TRCSR.ExSec11_1_Luc02a_C.trs.stderr12-Apr-2005 21:47 50  
[ ]TRS.TRCSR.ExSec11_1_Luc02a_C.trs.stdout12-Apr-2005 21:46 0  
[ ]TRS.TRCSR.ExSec11_1_Luc02a_FR.trs.stderr12-Apr-2005 21:51 50  
[ ]TRS.TRCSR.ExSec11_1_Luc02a_FR.trs.stdout12-Apr-2005 21:50 0  
[ ]TRS.TRCSR.ExSec11_1_Luc02a_GM.trs.stderr12-Apr-2005 21:56 50  
[ ]TRS.TRCSR.ExSec11_1_Luc02a_GM.trs.stdout12-Apr-2005 21:55 0  
[ ]TRS.TRCSR.ExSec11_1_Luc02a_L.trs.stderr12-Apr-2005 21:58 0  
[ ]TRS.TRCSR.ExSec11_1_Luc02a_L.trs.stdout12-Apr-2005 21:58 1.5K 
[ ]TRS.TRCSR.ExSec11_1_Luc02a_Z.trs.stderr12-Apr-2005 22:03 50  
[ ]TRS.TRCSR.ExSec11_1_Luc02a_Z.trs.stdout12-Apr-2005 22:02 0  
[ ]TRS.Zantema.jw01.trs.stderr12-Apr-2005 22:45 0  
[ ]TRS.Zantema.jw01.trs.stdout12-Apr-2005 22:45 1.6K 
[ ]TRS.Zantema.jw02.trs.stderr12-Apr-2005 22:45 0  
[ ]TRS.Zantema.jw02.trs.stdout12-Apr-2005 22:45 1.7K 
[ ]TRS.Zantema.jw03.trs.stderr12-Apr-2005 22:45 0  
[ ]TRS.Zantema.jw03.trs.stdout12-Apr-2005 22:45 1.6K 
[ ]TRS.Zantema.jw04.trs.stderr12-Apr-2005 22:45 0  
[ ]TRS.Zantema.jw04.trs.stdout12-Apr-2005 22:45 1.6K 
[ ]TRS.Zantema.jw05.trs.stderr12-Apr-2005 22:45 0  
[ ]TRS.Zantema.jw05.trs.stdout12-Apr-2005 22:45 1.7K 
[ ]TRS.Zantema.jw06.trs.stderr12-Apr-2005 22:45 0  
[ ]TRS.Zantema.jw06.trs.stdout12-Apr-2005 22:45 1.6K 
[ ]TRS.Zantema.jw07.trs.stderr12-Apr-2005 22:45 0  
[ ]TRS.Zantema.jw07.trs.stdout12-Apr-2005 22:46 1.6K 
[ ]TRS.Zantema.jw08.trs.stderr12-Apr-2005 22:46 0  
[ ]TRS.Zantema.jw08.trs.stdout12-Apr-2005 22:46 1.9K 
[ ]TRS.Zantema.jw09.trs.stderr12-Apr-2005 22:46 0  
[ ]TRS.Zantema.jw09.trs.stdout12-Apr-2005 22:46 1.8K 
[ ]TRS.Zantema.jw11.trs.stderr12-Apr-2005 22:46 0  
[ ]TRS.Zantema.jw11.trs.stdout12-Apr-2005 22:46 1.5K 
[ ]TRS.Zantema.jw12.trs.stderr12-Apr-2005 22:46 0  
[ ]TRS.Zantema.jw12.trs.stdout12-Apr-2005 22:46 1.5K 
[ ]TRS.Zantema.jw13.trs.stderr12-Apr-2005 22:47 0  
[ ]TRS.Zantema.jw13.trs.stdout12-Apr-2005 22:47 1.4K 
[ ]TRS.Zantema.jw14.trs.stderr12-Apr-2005 22:47 0  
[ ]TRS.Zantema.jw14.trs.stdout12-Apr-2005 22:47 1.4K 
[ ]TRS.Zantema.jw15.trs.stderr12-Apr-2005 22:47 0  
[ ]TRS.Zantema.jw15.trs.stdout12-Apr-2005 22:47 1.7K 
[ ]TRS.Zantema.jw16.trs.stderr12-Apr-2005 22:47 0  
[ ]TRS.Zantema.jw16.trs.stdout12-Apr-2005 22:47 1.5K 
[ ]TRS.Zantema.jw17.trs.stderr12-Apr-2005 22:47 0  
[ ]TRS.Zantema.jw17.trs.stdout12-Apr-2005 22:48 1.5K 
[ ]TRS.Zantema.jw18.trs.stderr12-Apr-2005 22:48 0  
[ ]TRS.Zantema.jw18.trs.stdout12-Apr-2005 22:48 1.5K 
[ ]TRS.Zantema.jw19.trs.stderr12-Apr-2005 22:48 0  
[ ]TRS.Zantema.jw19.trs.stdout12-Apr-2005 22:48 3.6K 
[ ]TRS.Zantema.jw20.trs.stderr12-Apr-2005 22:48 0  
[ ]TRS.Zantema.jw20.trs.stdout12-Apr-2005 22:48 1.7K 
[ ]TRS.Zantema.jw21.trs.stderr12-Apr-2005 22:48 0  
[ ]TRS.Zantema.jw21.trs.stdout12-Apr-2005 22:48 1.6K 
[ ]TRS.Zantema.jw22.trs.stderr12-Apr-2005 22:48 0  
[ ]TRS.Zantema.jw22.trs.stdout12-Apr-2005 22:48 1.7K 
[ ]TRS.Zantema.jw23.trs.stderr12-Apr-2005 22:48 0  
[ ]TRS.Zantema.jw23.trs.stdout12-Apr-2005 22:48 1.5K 
[ ]TRS.Zantema.jw24.trs.stderr12-Apr-2005 22:48 0  
[ ]TRS.Zantema.jw24.trs.stdout12-Apr-2005 22:48 1.6K 
[ ]TRS.Zantema.jw25.trs.stderr12-Apr-2005 22:48 0  
[ ]TRS.Zantema.jw25.trs.stdout12-Apr-2005 22:48 1.6K 
[ ]TRS.Zantema.jw26.trs.stderr12-Apr-2005 22:49 0  
[ ]TRS.Zantema.jw26.trs.stdout12-Apr-2005 22:49 1.6K 
[ ]TRS.Zantema.jw27.trs.stderr12-Apr-2005 22:49 0  
[ ]TRS.Zantema.jw27.trs.stdout12-Apr-2005 22:49 1.7K 
[ ]TRS.Zantema.jw28.trs.stderr12-Apr-2005 22:49 0  
[ ]TRS.Zantema.jw28.trs.stdout12-Apr-2005 22:49 1.5K 
[ ]TRS.Zantema.jw29.trs.stderr12-Apr-2005 22:49 0  
[ ]TRS.Zantema.jw29.trs.stdout12-Apr-2005 22:49 1.7K 
[ ]TRS.Zantema.jw30.trs.stderr12-Apr-2005 22:49 0  
[ ]TRS.Zantema.jw30.trs.stdout12-Apr-2005 22:49 3.6K 
[ ]TRS.Zantema.jw31.trs.stderr12-Apr-2005 22:49 0  
[ ]TRS.Zantema.jw31.trs.stdout12-Apr-2005 22:49 1.6K 
[ ]TRS.Zantema.jw32.trs.stderr12-Apr-2005 22:49 0  
[ ]TRS.Zantema.jw32.trs.stdout12-Apr-2005 22:49 1.5K 
[ ]TRS.Zantema.jw33.trs.stderr12-Apr-2005 22:49 0  
[ ]TRS.Zantema.jw33.trs.stdout12-Apr-2005 22:49 1.6K 
[ ]TRS.Zantema.jw34.trs.stderr12-Apr-2005 22:50 0  
[ ]TRS.Zantema.jw34.trs.stdout12-Apr-2005 22:50 1.7K 
[ ]TRS.Zantema.jw35.trs.stderr12-Apr-2005 22:50 0  
[ ]TRS.Zantema.jw35.trs.stdout12-Apr-2005 22:50 1.4K 
[ ]TRS.Zantema.jw36.trs.stderr12-Apr-2005 22:50 0  
[ ]TRS.Zantema.jw36.trs.stdout12-Apr-2005 22:50 1.4K 
[ ]TRS.Zantema.jw37.trs.stderr12-Apr-2005 22:50 0  
[ ]TRS.Zantema.jw37.trs.stdout12-Apr-2005 22:50 1.6K 
[ ]TRS.Zantema.jw38.trs.stderr12-Apr-2005 22:51 0  
[ ]TRS.Zantema.jw38.trs.stdout12-Apr-2005 22:51 1.6K 
[ ]TRS.Zantema.jw39.trs.stderr12-Apr-2005 22:51 0  
[ ]TRS.Zantema.jw39.trs.stdout12-Apr-2005 22:51 1.5K 
[ ]TRS.Zantema.jw40.trs.stderr12-Apr-2005 22:51 0  
[ ]TRS.Zantema.jw40.trs.stdout12-Apr-2005 22:51 1.5K 
[ ]TRS.Zantema.jw41.trs.stderr12-Apr-2005 22:51 0  
[ ]TRS.Zantema.jw41.trs.stdout12-Apr-2005 22:51 3.8K 
[ ]TRS.Zantema.jw42.trs.stderr12-Apr-2005 22:51 0  
[ ]TRS.Zantema.jw42.trs.stdout12-Apr-2005 22:51 1.6K 
[ ]TRS.Zantema.jw43.trs.stderr12-Apr-2005 22:52 0  
[ ]TRS.Zantema.jw43.trs.stdout12-Apr-2005 22:52 1.4K 
[ ]TRS.Zantema.jw44.trs.stderr12-Apr-2005 22:52 0  
[ ]TRS.Zantema.jw44.trs.stdout12-Apr-2005 22:52 684  
[ ]TRS.Zantema.jw47.trs.stderr12-Apr-2005 22:53 0  
[ ]TRS.Zantema.jw47.trs.stdout12-Apr-2005 22:53 686  
[ ]TRS.Zantema.jw50.trs.stderr12-Apr-2005 22:53 0  
[ ]TRS.Zantema.jw50.trs.stdout12-Apr-2005 22:53 1.4K 
[ ]TRS.Zantema.z01.trs.stderr12-Apr-2005 22:56 50  
[ ]TRS.Zantema.z01.trs.stdout12-Apr-2005 22:55 0  
[ ]TRS.Zantema.z02.trs.stderr12-Apr-2005 22:56 0  
[ ]TRS.Zantema.z02.trs.stdout12-Apr-2005 22:56 3.4K 
[ ]TRS.Zantema.z03.trs.stderr13-Apr-2005 09:01 0  
[ ]TRS.Zantema.z03.trs.stdout13-Apr-2005 09:01 1.7K 
[ ]TRS.Zantema.z04.trs.stderr13-Apr-2005 09:01 0  
[ ]TRS.Zantema.z04.trs.stdout13-Apr-2005 09:01 1.2K 
[ ]TRS.Zantema.z05.trs.stderr13-Apr-2005 09:03 50  
[ ]TRS.Zantema.z05.trs.stdout13-Apr-2005 09:02 0  
[ ]TRS.Zantema.z06.trs.stderr13-Apr-2005 09:04 0  
[ ]TRS.Zantema.z06.trs.stdout13-Apr-2005 09:04 1.7K 
[ ]TRS.Zantema.z07.trs.stderr13-Apr-2005 09:05 0  
[ ]TRS.Zantema.z07.trs.stdout13-Apr-2005 09:05 2.1K 
[ ]TRS.Zantema.z08.trs.stderr13-Apr-2005 09:06 0  
[ ]TRS.Zantema.z08.trs.stdout13-Apr-2005 09:07 2.0K 
[ ]TRS.Zantema.z09.trs.stderr13-Apr-2005 09:10 50  
[ ]TRS.Zantema.z09.trs.stdout13-Apr-2005 09:09 0  
[ ]TRS.Zantema.z10.trs.stderr13-Apr-2005 09:14 50  
[ ]TRS.Zantema.z10.trs.stdout13-Apr-2005 09:13 0  
[ ]TRS.Zantema.z11.trs.stderr13-Apr-2005 09:16 0  
[ ]TRS.Zantema.z11.trs.stdout13-Apr-2005 09:16 2.5K 
[ ]TRS.Zantema.z12.trs.stderr13-Apr-2005 09:19 50  
[ ]TRS.Zantema.z12.trs.stdout13-Apr-2005 09:18 0  
[ ]TRS.Zantema.z13.trs.stderr13-Apr-2005 09:22 50  
[ ]TRS.Zantema.z13.trs.stdout13-Apr-2005 09:21 0  
[ ]TRS.Zantema.z14.trs.stderr13-Apr-2005 09:25 50  
[ ]TRS.Zantema.z14.trs.stdout13-Apr-2005 09:24 0  
[ ]TRS.Zantema.z15.trs.stderr13-Apr-2005 09:28 50  
[ ]TRS.Zantema.z15.trs.stdout13-Apr-2005 09:27 0  
[ ]TRS.Zantema.z16.trs.stderr13-Apr-2005 09:31 50  
[ ]TRS.Zantema.z16.trs.stdout13-Apr-2005 09:30 0  
[ ]TRS.Zantema.z17.trs.stderr13-Apr-2005 09:35 50  
[ ]TRS.Zantema.z17.trs.stdout13-Apr-2005 09:34 0  
[ ]TRS.Zantema.z18.trs.stderr13-Apr-2005 09:38 50  
[ ]TRS.Zantema.z18.trs.stdout13-Apr-2005 09:37 0  
[ ]TRS.Zantema.z19.trs.stderr13-Apr-2005 09:41 50  
[ ]TRS.Zantema.z19.trs.stdout13-Apr-2005 09:40 0  
[ ]TRS.Zantema.z20.trs.stderr13-Apr-2005 09:45 50  
[ ]TRS.Zantema.z20.trs.stdout13-Apr-2005 09:44 0  
[ ]TRS.Zantema.z21.trs.stderr13-Apr-2005 09:48 50  
[ ]TRS.Zantema.z21.trs.stdout13-Apr-2005 09:47 0  
[ ]TRS.Zantema.z22.trs.stderr13-Apr-2005 09:52 50  
[ ]TRS.Zantema.z22.trs.stdout13-Apr-2005 09:51 0  
[ ]TRS.Zantema.z23.trs.stderr13-Apr-2005 09:54 50  
[ ]TRS.Zantema.z23.trs.stdout13-Apr-2005 09:53 0  
[ ]TRS.Zantema.z24.trs.stderr13-Apr-2005 09:57 50  
[ ]TRS.Zantema.z24.trs.stdout13-Apr-2005 09:56 0  
[ ]TRS.Zantema.z25.trs.stderr13-Apr-2005 09:58 0  
[ ]TRS.Zantema.z25.trs.stdout13-Apr-2005 09:58 1.0K 
[ ]TRS.Zantema.z26.trs.stderr13-Apr-2005 10:00 0  
[ ]TRS.Zantema.z26.trs.stdout13-Apr-2005 10:00 2.3K 
[ ]TRS.Zantema.z27.trs.stderr13-Apr-2005 10:01 0  
[ ]TRS.Zantema.z27.trs.stdout13-Apr-2005 10:01 2.8K 
[ ]TRS.Zantema.z28.trs.stderr13-Apr-2005 10:02 0  
[ ]TRS.Zantema.z28.trs.stdout13-Apr-2005 10:02 1.3K 
[ ]TRS.Zantema.z29.trs.stderr13-Apr-2005 10:03 0  
[ ]TRS.Zantema.z29.trs.stdout13-Apr-2005 10:03 1.9K 
[ ]TRS.Zantema.z30.trs.stderr13-Apr-2005 10:06 50  
[ ]TRS.Zantema.z30.trs.stdout13-Apr-2005 10:05 0  
[ ]TRS.cariboo.ex1.trs.stderr11-Apr-2005 21:14 0  
[ ]TRS.cariboo.ex1.trs.stdout11-Apr-2005 21:14 121  
[ ]TRS.cariboo.ex2.trs.stderr11-Apr-2005 21:14 0  
[ ]TRS.cariboo.ex2.trs.stdout11-Apr-2005 21:14 121  
[ ]TRS.cariboo.ex3.trs.stderr11-Apr-2005 21:14 0  
[ ]TRS.cariboo.ex3.trs.stdout11-Apr-2005 21:14 121  
[ ]TRS.cariboo.ex4.trs.stderr11-Apr-2005 21:14 0  
[ ]TRS.cariboo.ex4.trs.stdout11-Apr-2005 21:14 121  
[ ]TRS.cariboo.ex5.trs.stderr11-Apr-2005 21:14 0  
[ ]TRS.cariboo.ex5.trs.stdout11-Apr-2005 21:14 121  
[ ]TRS.cariboo.ex6.trs.stderr11-Apr-2005 21:15 0  
[ ]TRS.cariboo.ex6.trs.stdout11-Apr-2005 21:15 121  
[ ]TRS.currying.AG01._3.2.trs.stderr13-Apr-2005 10:26 0  
[ ]TRS.currying.AG01._3.2.trs.stdout13-Apr-2005 10:26 2.4K 
[ ]TRS.currying.AG01._3.6.trs.stderr13-Apr-2005 10:52 50  
[ ]TRS.currying.AG01._3.6.trs.stdout13-Apr-2005 10:51 0  
[ ]TRS.currying.AG01._3.8.trs.stderr13-Apr-2005 10:55 0  
[ ]TRS.currying.AG01._3.8.trs.stdout13-Apr-2005 10:55 3.2K 
[ ]TRS.currying.AG01._3.10.trs.stderr13-Apr-2005 10:10 50  
[ ]TRS.currying.AG01._3.10.trs.stdout13-Apr-2005 10:09 0  
[ ]TRS.currying.AG01._3.13.trs.stderr13-Apr-2005 10:14 50  
[ ]TRS.currying.AG01._3.13.trs.stdout13-Apr-2005 10:13 0  
[ ]TRS.currying.AG01._3.16.trs.stderr13-Apr-2005 10:16 0  
[ ]TRS.currying.AG01._3.16.trs.stdout13-Apr-2005 10:16 1.2K 
[ ]TRS.currying.AG01._3.18.trs.stderr13-Apr-2005 10:19 50  
[ ]TRS.currying.AG01._3.18.trs.stdout13-Apr-2005 10:18 0  
[ ]TRS.currying.AG01._3.22.trs.stderr13-Apr-2005 10:22 0  
[ ]TRS.currying.AG01._3.22.trs.stdout13-Apr-2005 10:22 2.0K 
[ ]TRS.currying.AG01._3.25.trs.stderr13-Apr-2005 10:23 0  
[ ]TRS.currying.AG01._3.25.trs.stdout13-Apr-2005 10:23 1.0K 
[ ]TRS.currying.AG01._3.27.trs.stderr13-Apr-2005 10:24 0  
[ ]TRS.currying.AG01._3.27.trs.stdout13-Apr-2005 10:24 1.1K 
[ ]TRS.currying.AG01._3.32.trs.stderr13-Apr-2005 10:27 0  
[ ]TRS.currying.AG01._3.32.trs.stdout13-Apr-2005 10:27 1.4K 
[ ]TRS.currying.AG01._3.36.trs.stderr13-Apr-2005 10:29 0  
[ ]TRS.currying.AG01._3.36.trs.stdout13-Apr-2005 10:29 1.6K 
[ ]TRS.currying.AG01._3.38.trs.stderr13-Apr-2005 10:31 0  
[ ]TRS.currying.AG01._3.38.trs.stdout13-Apr-2005 10:31 2.9K 
[ ]TRS.currying.AG01._3.40.trs.stderr13-Apr-2005 10:35 50  
[ ]TRS.currying.AG01._3.40.trs.stdout13-Apr-2005 10:34 0  
[ ]TRS.currying.AG01._3.45.trs.stderr13-Apr-2005 10:35 0  
[ ]TRS.currying.AG01._3.45.trs.stdout13-Apr-2005 10:35 1.8K 
[ ]TRS.currying.AG01._3.48.trs.stderr13-Apr-2005 10:38 0  
[ ]TRS.currying.AG01._3.48.trs.stdout13-Apr-2005 10:38 2.8K 
[ ]TRS.currying.AG01._3.52.trs.stderr13-Apr-2005 10:41 50  
[ ]TRS.currying.AG01._3.52.trs.stdout13-Apr-2005 10:40 0  
[ ]TRS.currying.AG01._3.55.trs.stderr13-Apr-2005 10:45 50  
[ ]TRS.currying.AG01._3.55.trs.stdout13-Apr-2005 10:44 0  
[ ]TRS.currying.AG01._3.57.trs.stderr13-Apr-2005 10:48 0  
[ ]TRS.currying.AG01._3.57.trs.stdout13-Apr-2005 10:48 7.9K 
[ ]TRS.currying.D33.01.trs.stderr13-Apr-2005 10:56 0  
[ ]TRS.currying.D33.01.trs.stdout13-Apr-2005 10:56 1.8K 
[ ]TRS.currying.D33.02.trs.stderr13-Apr-2005 10:57 0  
[ ]TRS.currying.D33.02.trs.stdout13-Apr-2005 10:57 1.4K 
[ ]TRS.currying.D33.06.trs.stderr13-Apr-2005 10:57 0  
[ ]TRS.currying.D33.06.trs.stdout13-Apr-2005 10:57 1.0K 
[ ]TRS.currying.D33.08.trs.stderr13-Apr-2005 10:58 0  
[ ]TRS.currying.D33.08.trs.stdout13-Apr-2005 10:58 1.1K 
[ ]TRS.currying.D33.11.trs.stderr13-Apr-2005 10:59 0  
[ ]TRS.currying.D33.11.trs.stdout13-Apr-2005 10:59 1.7K 
[ ]TRS.currying.D33.12.trs.stderr13-Apr-2005 11:02 50  
[ ]TRS.currying.D33.12.trs.stdout13-Apr-2005 11:01 0  
[ ]TRS.currying.D33.13.trs.stderr13-Apr-2005 11:03 0  
[ ]TRS.currying.D33.13.trs.stdout13-Apr-2005 11:03 1.3K 
[ ]TRS.currying.D33.17.trs.stderr13-Apr-2005 11:04 0  
[ ]TRS.currying.D33.17.trs.stdout13-Apr-2005 11:04 1.5K 
[ ]TRS.currying.D33.18.trs.stderr13-Apr-2005 11:05 0  
[ ]TRS.currying.D33.18.trs.stdout13-Apr-2005 11:05 854  
[ ]TRS.currying.D33.21.trs.stderr13-Apr-2005 11:08 50  
[ ]TRS.currying.D33.21.trs.stdout13-Apr-2005 11:07 0  
[ ]TRS.currying.D33.29.trs.stderr13-Apr-2005 11:09 0  
[ ]TRS.currying.D33.29.trs.stdout13-Apr-2005 11:09 1.0K 
[ ]TRS.currying.D33.30.trs.stderr13-Apr-2005 11:11 0  
[ ]TRS.currying.D33.30.trs.stdout13-Apr-2005 11:11 950  
[ ]TRS.currying.D33.31.trs.stderr13-Apr-2005 11:13 0  
[ ]TRS.currying.D33.31.trs.stdout13-Apr-2005 11:13 1.6K 
[ ]TRS.currying.D33.33.trs.stderr13-Apr-2005 11:18 50  
[ ]TRS.currying.D33.33.trs.stdout13-Apr-2005 11:17 0  
[ ]TRS.currying.Ste92.hydra.trs.stderr13-Apr-2005 11:20 0  
[ ]TRS.currying.Ste92.hydra.trs.stdout13-Apr-2005 11:20 2.0K 
[ ]TRS.currying.Ste92.minsort.trs.stderr13-Apr-2005 11:25 50  
[ ]TRS.currying.Ste92.minsort.trs.stdout13-Apr-2005 11:24 0  
[ ]TRS.currying.Ste92.motivation.trs.stderr13-Apr-2005 11:26 0  
[ ]TRS.currying.Ste92.motivation.trs.stdout13-Apr-2005 11:26 2.0K 
[ ]TRS.currying.Ste92.perfect.trs.stderr13-Apr-2005 11:33 0  
[ ]TRS.currying.Ste92.perfect.trs.stdout13-Apr-2005 11:33 3.6K 
[ ]TRS.currying.Ste92.perfect2.trs.stderr13-Apr-2005 11:30 50  
[ ]TRS.currying.Ste92.perfect2.trs.stdout13-Apr-2005 11:29 0  
[ ]TRS.higher-order.AProVE_HO.ReverseLastInit.trs.stderr13-Apr-2005 12:52 0  
[ ]TRS.higher-order.AProVE_HO.ReverseLastInit.trs.stdout13-Apr-2005 12:52 2.1K 
[ ]TRS.higher-order.AProVE_HO.TakeDropWhile.trs.stderr13-Apr-2005 12:56 50  
[ ]TRS.higher-order.AProVE_HO.TakeDropWhile.trs.stdout13-Apr-2005 12:55 0  
[ ]TRS.higher-order.AProVE_HO.TypeEx1.trs.stderr13-Apr-2005 12:59 0  
[ ]TRS.higher-order.AProVE_HO.TypeEx1.trs.stdout13-Apr-2005 12:59 1.3K 
[ ]TRS.higher-order.AProVE_HO.TypeEx3.trs.stderr13-Apr-2005 13:01 50  
[ ]TRS.higher-order.AProVE_HO.TypeEx3.trs.stdout13-Apr-2005 13:00 0  
[ ]TRS.higher-order.AProVE_HO.TypeEx5.trs.stderr13-Apr-2005 13:02 0  
[ ]TRS.higher-order.AProVE_HO.TypeEx5.trs.stdout13-Apr-2005 13:02 1.1K 
[ ]TRS.higher-order.AProVE_HO.mapDivMinus.trs.stderr13-Apr-2005 12:48 50  
[ ]TRS.higher-order.AProVE_HO.mapDivMinus.trs.stdout13-Apr-2005 12:47 0  
[ ]TRS.higher-order.AProVE_HO.mapDivMinusHard.trs.stderr13-Apr-2005 12:45 50  
[ ]TRS.higher-order.AProVE_HO.mapDivMinusHard.trs.stdout13-Apr-2005 12:44 0  
[ ]TRS.higher-order.AProVE_HO.nonTermF.trs.stderr13-Apr-2005 12:51 50  
[ ]TRS.higher-order.AProVE_HO.nonTermF.trs.stdout13-Apr-2005 12:50 0  
[ ]TRS.higher-order.AProVE_HO.termMonTypes.trs.stderr13-Apr-2005 12:58 50  
[ ]TRS.higher-order.AProVE_HO.termMonTypes.trs.stdout13-Apr-2005 12:57 0  
[ ]TRS.higher-order.AotoYam.001.trs.stderr13-Apr-2005 11:36 50  
[ ]TRS.higher-order.AotoYam.001.trs.stdout13-Apr-2005 11:34 0  
[ ]TRS.higher-order.AotoYam.002.trs.stderr13-Apr-2005 11:39 50  
[ ]TRS.higher-order.AotoYam.002.trs.stdout13-Apr-2005 11:38 0  
[ ]TRS.higher-order.AotoYam.003.trs.stderr13-Apr-2005 11:41 50  
[ ]TRS.higher-order.AotoYam.003.trs.stdout13-Apr-2005 11:40 0  
[ ]TRS.higher-order.AotoYam.004.trs.stderr13-Apr-2005 11:44 50  
[ ]TRS.higher-order.AotoYam.004.trs.stdout13-Apr-2005 11:43 0  
[ ]TRS.higher-order.AotoYam.005.trs.stderr13-Apr-2005 11:45 0  
[ ]TRS.higher-order.AotoYam.005.trs.stdout13-Apr-2005 11:45 1.3K 
[ ]TRS.higher-order.AotoYam.006.trs.stderr13-Apr-2005 11:47 50  
[ ]TRS.higher-order.AotoYam.006.trs.stdout13-Apr-2005 11:46 0  
[ ]TRS.higher-order.AotoYam.007.trs.stderr13-Apr-2005 11:50 50  
[ ]TRS.higher-order.AotoYam.007.trs.stdout13-Apr-2005 11:49 0  
[ ]TRS.higher-order.AotoYam.009.trs.stderr13-Apr-2005 11:51 0  
[ ]TRS.higher-order.AotoYam.009.trs.stdout13-Apr-2005 11:51 4.6K 
[ ]TRS.higher-order.AotoYam.010.trs.stderr13-Apr-2005 11:54 50  
[ ]TRS.higher-order.AotoYam.010.trs.stdout13-Apr-2005 11:53 0  
[ ]TRS.higher-order.AotoYam.011.trs.stderr13-Apr-2005 11:57 50  
[ ]TRS.higher-order.AotoYam.011.trs.stdout13-Apr-2005 11:56 0  
[ ]TRS.higher-order.AotoYam.012.trs.stderr13-Apr-2005 11:58 0  
[ ]TRS.higher-order.AotoYam.012.trs.stdout13-Apr-2005 11:59 4.6K 
[ ]TRS.higher-order.AotoYam.013.trs.stderr13-Apr-2005 12:02 50  
[ ]TRS.higher-order.AotoYam.013.trs.stdout13-Apr-2005 12:01 0  
[ ]TRS.higher-order.AotoYam.014.trs.stderr13-Apr-2005 12:05 50  
[ ]TRS.higher-order.AotoYam.014.trs.stdout13-Apr-2005 12:04 0  
[ ]TRS.higher-order.AotoYam.015.trs.stderr13-Apr-2005 12:09 50  
[ ]TRS.higher-order.AotoYam.015.trs.stdout13-Apr-2005 12:08 0  
[ ]TRS.higher-order.AotoYam.016.trs.stderr13-Apr-2005 12:12 50  
[ ]TRS.higher-order.AotoYam.016.trs.stdout13-Apr-2005 12:11 0  
[ ]TRS.higher-order.AotoYam.017.trs.stderr13-Apr-2005 12:12 0  
[ ]TRS.higher-order.AotoYam.017.trs.stdout13-Apr-2005 12:12 806  
[ ]TRS.higher-order.AotoYam.019.trs.stderr13-Apr-2005 12:15 50  
[ ]TRS.higher-order.AotoYam.019.trs.stdout13-Apr-2005 12:14 0  
[ ]TRS.higher-order.AotoYam.020.trs.stderr13-Apr-2005 12:18 50  
[ ]TRS.higher-order.AotoYam.020.trs.stdout13-Apr-2005 12:17 0  
[ ]TRS.higher-order.AotoYam.021.trs.stderr13-Apr-2005 12:21 50  
[ ]TRS.higher-order.AotoYam.021.trs.stdout13-Apr-2005 12:20 0  
[ ]TRS.higher-order.AotoYam.022.trs.stderr13-Apr-2005 12:24 50  
[ ]TRS.higher-order.AotoYam.022.trs.stdout13-Apr-2005 12:22 0  
[ ]TRS.higher-order.AotoYam.023.trs.stderr13-Apr-2005 12:24 0  
[ ]TRS.higher-order.AotoYam.023.trs.stdout13-Apr-2005 12:24 1.0K 
[ ]TRS.higher-order.AotoYam.024.trs.stderr13-Apr-2005 12:25 50  
[ ]TRS.higher-order.AotoYam.024.trs.stdout13-Apr-2005 12:24 0  
[ ]TRS.higher-order.AotoYam.025.trs.stderr13-Apr-2005 12:26 0  
[ ]TRS.higher-order.AotoYam.025.trs.stdout13-Apr-2005 12:26 790  
[ ]TRS.higher-order.AotoYam.026.trs.stderr13-Apr-2005 12:28 50  
[ ]TRS.higher-order.AotoYam.026.trs.stdout13-Apr-2005 12:27 0  
[ ]TRS.higher-order.AotoYam.027.trs.stderr13-Apr-2005 12:31 50  
[ ]TRS.higher-order.AotoYam.027.trs.stdout13-Apr-2005 12:30 0  
[ ]TRS.higher-order.AotoYam.028.trs.stderr13-Apr-2005 12:35 50  
[ ]TRS.higher-order.AotoYam.028.trs.stdout13-Apr-2005 12:34 0  
[ ]TRS.higher-order.AotoYam.Ex1SimplyTyped.trs.stderr13-Apr-2005 12:38 50  
[ ]TRS.higher-order.AotoYam.Ex1SimplyTyped.trs.stdout13-Apr-2005 12:37 0  
[ ]TRS.higher-order.AotoYam.Ex5TermProof.trs.stderr13-Apr-2005 12:42 50  
[ ]TRS.higher-order.AotoYam.Ex5TermProof.trs.stdout13-Apr-2005 12:41 0  
[ ]TRS.higher-order.Bird.BTreeMember.trs.stderr13-Apr-2005 13:03 0  
[ ]TRS.higher-order.Bird.BTreeMember.trs.stdout13-Apr-2005 13:03 3.4K 
[ ]TRS.higher-order.Bird.Ex2_6_1Composition.trs.stderr13-Apr-2005 13:04 0  
[ ]TRS.higher-order.Bird.Ex2_6_1Composition.trs.stdout13-Apr-2005 13:04 820  
[ ]TRS.higher-order.Bird.Ex2_8_1ConstSubstFix.trs.stderr13-Apr-2005 13:05 50  
[ ]TRS.higher-order.Bird.Ex2_8_1ConstSubstFix.trs.stdout13-Apr-2005 13:04 0  
[ ]TRS.higher-order.Bird.Hamming.trs.stderr13-Apr-2005 13:09 50  
[ ]TRS.higher-order.Bird.Hamming.trs.stdout13-Apr-2005 13:08 0  
[ ]TRS.higher-order.Bird.TreeFlatten.trs.stderr13-Apr-2005 13:12 50  
[ ]TRS.higher-order.Bird.TreeFlatten.trs.stdout13-Apr-2005 13:11 0  
[ ]TRS.higher-order.Bird.TreeHeight.trs.stderr13-Apr-2005 13:16 50  
[ ]TRS.higher-order.Bird.TreeHeight.trs.stdout13-Apr-2005 13:15 0  
[ ]TRS.higher-order.Bird.TreeLevels.trs.stderr13-Apr-2005 13:20 50  
[ ]TRS.higher-order.Bird.TreeLevels.trs.stdout13-Apr-2005 13:19 0  
[ ]TRS.higher-order.Bird.TreeMap.trs.stderr13-Apr-2005 13:23 50  
[ ]TRS.higher-order.Bird.TreeMap.trs.stdout13-Apr-2005 13:22 0  
[ ]TRS.higher-order.Bird.TreeSize.trs.stderr13-Apr-2005 13:26 50  
[ ]TRS.higher-order.Bird.TreeSize.trs.stdout13-Apr-2005 13:25 0  
[ ]TRS.higher-order.Kusakari.Ex6_11.trs.stderr13-Apr-2005 13:26 0  
[ ]TRS.higher-order.Kusakari.Ex6_11.trs.stdout13-Apr-2005 13:26 1.4K 
[ ]TRS.higher-order.Kusakari.Ex7_9.trs.stderr13-Apr-2005 13:31 50  
[ ]TRS.higher-order.Kusakari.Ex7_9.trs.stdout13-Apr-2005 13:30 0  
[ ]TRS.higher-order.Lifantsev.Ex2PrimRec.trs.stderr13-Apr-2005 13:39 50  
[ ]TRS.higher-order.Lifantsev.Ex2PrimRec.trs.stdout13-Apr-2005 13:38 0  
[ ]TRS.higher-order.Lifantsev.Ex3Lists.trs.stderr13-Apr-2005 13:42 50  
[ ]TRS.higher-order.Lifantsev.Ex3Lists.trs.stdout13-Apr-2005 13:41 0  
[ ]TRS.higher-order.Lifantsev.Ex4MapList.trs.stderr13-Apr-2005 13:44 50  
[ ]TRS.higher-order.Lifantsev.Ex4MapList.trs.stdout13-Apr-2005 13:43 0  
[ ]TRS.higher-order.Lifantsev.Ex5Sorting.trs.stderr13-Apr-2005 13:49 50  
[ ]TRS.higher-order.Lifantsev.Ex5Sorting.trs.stdout13-Apr-2005 13:48 0  
[ ]TRS.higher-order.Lifantsev.Ex6Folding.trs.stderr13-Apr-2005 13:54 50  
[ ]TRS.higher-order.Lifantsev.Ex6Folding.trs.stdout13-Apr-2005 13:53 0  
[ ]TRS.higher-order.Lifantsev.Ex7OrdinalRec.trs.stderr13-Apr-2005 13:59 50  
[ ]TRS.higher-order.Lifantsev.Ex7OrdinalRec.trs.stdout13-Apr-2005 13:58 0  
[ ]TRS.higher-order.Lifantsev.Ex8Polymorphic.trs.stderr13-Apr-2005 14:02 50  
[ ]TRS.higher-order.Lifantsev.Ex8Polymorphic.trs.stdout13-Apr-2005 14:01 0  
[ ]TRS.higher-order.Lifantsev.Ex9Maps.trs.stderr13-Apr-2005 14:06 50  
[ ]TRS.higher-order.Lifantsev.Ex9Maps.trs.stdout13-Apr-2005 14:05 0  
[ ]TRS.higher-order.Lifantsev.Ex10Functional.trs.stderr13-Apr-2005 13:35 50  
[ ]TRS.higher-order.Lifantsev.Ex10Functional.trs.stdout13-Apr-2005 13:34 0  
[ ]TRS.higher-order.ToyamaRTA04.Ex4Filter.trs.stderr13-Apr-2005 14:11 50  
[ ]TRS.higher-order.ToyamaRTA04.Ex4Filter.trs.stdout13-Apr-2005 14:10 0  
[ ]TRS.higher-order.ToyamaRTA04.Ex5Folding.trs.stderr13-Apr-2005 14:15 50  
[ ]TRS.higher-order.ToyamaRTA04.Ex5Folding.trs.stdout13-Apr-2005 14:14 0  
[ ]TRS.higher-order.ToyamaRTA04.Ex6Recursor.trs.stderr13-Apr-2005 14:19 50  
[ ]TRS.higher-order.ToyamaRTA04.Ex6Recursor.trs.stdout13-Apr-2005 14:18 0  
[ ]TRS.higher-order.ToyamaRTA04.Ex7Sorting.trs.stderr13-Apr-2005 14:24 50  
[ ]TRS.higher-order.ToyamaRTA04.Ex7Sorting.trs.stdout13-Apr-2005 14:23 0  
[ ]TRS.nontermin.AG01._4.2.trs.stderr13-Apr-2005 15:03 50  
[ ]TRS.nontermin.AG01._4.2.trs.stdout13-Apr-2005 15:02 0  
[ ]TRS.nontermin.AG01._4.3.trs.stderr13-Apr-2005 15:33 0  
[ ]TRS.nontermin.AG01._4.3.trs.stdout13-Apr-2005 15:33 662  
[ ]TRS.nontermin.AG01._4.4.trs.stderr13-Apr-2005 15:33 0  
[ ]TRS.nontermin.AG01._4.4.trs.stdout13-Apr-2005 15:33 653  
[ ]TRS.nontermin.AG01._4.7.trs.stderr13-Apr-2005 15:35 50  
[ ]TRS.nontermin.AG01._4.7.trs.stdout13-Apr-2005 15:34 0  
[ ]TRS.nontermin.AG01._4.12a.trs.stderr13-Apr-2005 14:27 50  
[ ]TRS.nontermin.AG01._4.12a.trs.stdout13-Apr-2005 14:26 0  
[ ]TRS.nontermin.AG01._4.13.trs.stderr13-Apr-2005 14:30 50  
[ ]TRS.nontermin.AG01._4.13.trs.stdout13-Apr-2005 14:29 0  
[ ]TRS.nontermin.AG01._4.14.trs.stderr13-Apr-2005 14:31 50  
[ ]TRS.nontermin.AG01._4.14.trs.stdout13-Apr-2005 14:30 0  
[ ]TRS.nontermin.AG01._4.15.trs.stderr13-Apr-2005 14:35 50  
[ ]TRS.nontermin.AG01._4.15.trs.stdout13-Apr-2005 14:34 0  
[ ]TRS.nontermin.AG01._4.16.trs.stderr13-Apr-2005 14:36 50  
[ ]TRS.nontermin.AG01._4.16.trs.stdout13-Apr-2005 14:35 0  
[ ]TRS.nontermin.AG01._4.17.trs.stderr13-Apr-2005 14:38 50  
[ ]TRS.nontermin.AG01._4.17.trs.stdout13-Apr-2005 14:37 0  
[ ]TRS.nontermin.AG01._4.18.trs.stderr13-Apr-2005 14:41 50  
[ ]TRS.nontermin.AG01._4.18.trs.stdout13-Apr-2005 14:40 0  
[ ]TRS.nontermin.AG01._4.19.trs.stderr13-Apr-2005 14:43 50  
[ ]TRS.nontermin.AG01._4.19.trs.stdout13-Apr-2005 14:42 0  
[ ]TRS.nontermin.AG01._4.20.trs.stderr13-Apr-2005 14:43 0  
[ ]TRS.nontermin.AG01._4.20.trs.stdout13-Apr-2005 14:43 1.2K 
[ ]TRS.nontermin.AG01._4.20a.trs.stderr13-Apr-2005 14:43 0  
[ ]TRS.nontermin.AG01._4.20a.trs.stdout13-Apr-2005 14:43 1.4K 
[ ]TRS.nontermin.AG01._4.21.trs.stderr13-Apr-2005 14:43 0  
[ ]TRS.nontermin.AG01._4.21.trs.stdout13-Apr-2005 14:43 1.9K 
[ ]TRS.nontermin.AG01._4.22.trs.stderr13-Apr-2005 14:46 50  
[ ]TRS.nontermin.AG01._4.22.trs.stdout13-Apr-2005 14:45 0  
[ ]TRS.nontermin.AG01._4.23.trs.stderr13-Apr-2005 14:49 50  
[ ]TRS.nontermin.AG01._4.23.trs.stdout13-Apr-2005 14:48 0  
[ ]TRS.nontermin.AG01._4.25.trs.stderr13-Apr-2005 14:51 0  
[ ]TRS.nontermin.AG01._4.25.trs.stdout13-Apr-2005 14:51 1.5K 
[ ]TRS.nontermin.AG01._4.26.trs.stderr13-Apr-2005 14:54 50  
[ ]TRS.nontermin.AG01._4.26.trs.stdout13-Apr-2005 14:53 0  
[ ]TRS.nontermin.AG01._4.27.trs.stderr13-Apr-2005 14:57 50  
[ ]TRS.nontermin.AG01._4.27.trs.stdout13-Apr-2005 14:56 0  
[ ]TRS.nontermin.AG01._4.28.trs.stderr13-Apr-2005 14:57 0  
[ ]TRS.nontermin.AG01._4.28.trs.stdout13-Apr-2005 14:57 3.8K 
[ ]TRS.nontermin.AG01._4.29.trs.stderr13-Apr-2005 15:01 50  
[ ]TRS.nontermin.AG01._4.29.trs.stdout13-Apr-2005 15:00 0  
[ ]TRS.nontermin.AG01._4.30.trs.stderr13-Apr-2005 15:17 50  
[ ]TRS.nontermin.AG01._4.30.trs.stdout13-Apr-2005 15:16 0  
[ ]TRS.nontermin.AG01._4.30a.trs.stderr13-Apr-2005 15:06 50  
[ ]TRS.nontermin.AG01._4.30a.trs.stdout13-Apr-2005 15:05 0  
[ ]TRS.nontermin.AG01._4.30b.trs.stderr13-Apr-2005 15:10 50  
[ ]TRS.nontermin.AG01._4.30b.trs.stdout13-Apr-2005 15:09 0  
[ ]TRS.nontermin.AG01._4.30c.trs.stderr13-Apr-2005 15:13 50  
[ ]TRS.nontermin.AG01._4.30c.trs.stdout13-Apr-2005 15:12 0  
[ ]TRS.nontermin.AG01._4.31.trs.stderr13-Apr-2005 15:19 50  
[ ]TRS.nontermin.AG01._4.31.trs.stdout13-Apr-2005 15:18 0  
[ ]TRS.nontermin.AG01._4.32.trs.stderr13-Apr-2005 15:20 0  
[ ]TRS.nontermin.AG01._4.32.trs.stdout13-Apr-2005 15:20 1.3K 
[ ]TRS.nontermin.AG01._4.33.trs.stderr13-Apr-2005 15:22 50  
[ ]TRS.nontermin.AG01._4.33.trs.stdout13-Apr-2005 15:21 0  
[ ]TRS.nontermin.AG01._4.34.trs.stderr13-Apr-2005 15:25 50  
[ ]TRS.nontermin.AG01._4.34.trs.stdout13-Apr-2005 15:24 0  
[ ]TRS.nontermin.AG01._4.35.trs.stderr13-Apr-2005 15:28 50  
[ ]TRS.nontermin.AG01._4.35.trs.stdout13-Apr-2005 15:27 0  
[ ]TRS.nontermin.AG01._4.36.trs.stderr13-Apr-2005 15:31 50  
[ ]TRS.nontermin.AG01._4.36.trs.stdout13-Apr-2005 15:30 0  
[ ]TRS.nontermin.AG01._4.37.trs.stderr13-Apr-2005 15:33 0  
[ ]TRS.nontermin.AG01._4.37.trs.stdout13-Apr-2005 15:33 1.7K 
[ ]TRS.nontermin.AG01._4.37a.trs.stderr13-Apr-2005 15:32 0  
[ ]TRS.nontermin.AG01._4.37a.trs.stdout13-Apr-2005 15:32 1.9K 
[ ]TRS.nontermin.CSR.Ex1_2_AEL03.trs.stderr13-Apr-2005 15:42 50  
[ ]TRS.nontermin.CSR.Ex1_2_AEL03.trs.stdout13-Apr-2005 15:41 0  
[ ]TRS.nontermin.CSR.Ex1_2_Luc02c.trs.stderr13-Apr-2005 15:42 0  
[ ]TRS.nontermin.CSR.Ex1_2_Luc02c.trs.stdout13-Apr-2005 15:42 1.1K 
[ ]TRS.nontermin.CSR.Ex1_GL02a.trs.stderr13-Apr-2005 15:47 50  
[ ]TRS.nontermin.CSR.Ex1_GL02a.trs.stdout13-Apr-2005 15:46 0  
[ ]TRS.nontermin.CSR.Ex1_GM03.trs.stderr13-Apr-2005 15:48 50  
[ ]TRS.nontermin.CSR.Ex1_GM03.trs.stdout13-Apr-2005 15:47 0  
[ ]TRS.nontermin.CSR.Ex1_GM99.trs.stderr13-Apr-2005 15:50 50  
[ ]TRS.nontermin.CSR.Ex1_GM99.trs.stdout13-Apr-2005 15:49 0  
[ ]TRS.nontermin.CSR.Ex1_Luc02b.trs.stderr13-Apr-2005 15:51 50  
[ ]TRS.nontermin.CSR.Ex1_Luc02b.trs.stdout13-Apr-2005 15:50 0  
[ ]TRS.nontermin.CSR.Ex1_Zan97.trs.stderr13-Apr-2005 15:51 0  
[ ]TRS.nontermin.CSR.Ex1_Zan97.trs.stdout13-Apr-2005 15:51 637  
[ ]TRS.nontermin.CSR.Ex2_Luc03b.trs.stderr13-Apr-2005 15:56 50  
[ ]TRS.nontermin.CSR.Ex2_Luc03b.trs.stdout13-Apr-2005 15:55 0  
[ ]TRS.nontermin.CSR.Ex3_2_Luc97.trs.stderr13-Apr-2005 16:00 50  
[ ]TRS.nontermin.CSR.Ex3_2_Luc97.trs.stdout13-Apr-2005 15:59 0  
[ ]TRS.nontermin.CSR.Ex3_3_25_Bor03.trs.stderr13-Apr-2005 16:01 50  
[ ]TRS.nontermin.CSR.Ex3_3_25_Bor03.trs.stdout13-Apr-2005 16:00 0  
[ ]TRS.nontermin.CSR.Ex3_12_Luc96a.trs.stderr13-Apr-2005 15:57 50  
[ ]TRS.nontermin.CSR.Ex3_12_Luc96a.trs.stdout13-Apr-2005 15:56 0  
[ ]TRS.nontermin.CSR.Ex4_4_Luc96b.trs.stderr13-Apr-2005 16:02 50  
[ ]TRS.nontermin.CSR.Ex4_4_Luc96b.trs.stdout13-Apr-2005 16:01 0  
[ ]TRS.nontermin.CSR.Ex4_7_15_Bor03.trs.stderr13-Apr-2005 16:03 50  
[ ]TRS.nontermin.CSR.Ex4_7_15_Bor03.trs.stdout13-Apr-2005 16:02 0  
[ ]TRS.nontermin.CSR.Ex4_7_37_Bor03.trs.stderr13-Apr-2005 16:04 50  
[ ]TRS.nontermin.CSR.Ex4_7_37_Bor03.trs.stdout13-Apr-2005 16:03 0  
[ ]TRS.nontermin.CSR.Ex4_7_56_Bor03.trs.stderr13-Apr-2005 16:06 50  
[ ]TRS.nontermin.CSR.Ex4_7_56_Bor03.trs.stdout13-Apr-2005 16:05 0  
[ ]TRS.nontermin.CSR.Ex4_7_77_Bor03.trs.stderr13-Apr-2005 16:06 0  
[ ]TRS.nontermin.CSR.Ex4_7_77_Bor03.trs.stdout13-Apr-2005 16:06 805  
[ ]TRS.nontermin.CSR.Ex4_Zan97.trs.stderr13-Apr-2005 16:08 50  
[ ]TRS.nontermin.CSR.Ex4_Zan97.trs.stdout13-Apr-2005 16:07 0  
[ ]TRS.nontermin.CSR.Ex5_7_Luc97.trs.stderr13-Apr-2005 16:09 50  
[ ]TRS.nontermin.CSR.Ex5_7_Luc97.trs.stdout13-Apr-2005 16:08 0  
[ ]TRS.nontermin.CSR.Ex5_Zan97.trs.stderr13-Apr-2005 16:09 0  
[ ]TRS.nontermin.CSR.Ex5_Zan97.trs.stdout13-Apr-2005 16:09 839  
[ ]TRS.nontermin.CSR.Ex6_9_Luc02c.trs.stderr13-Apr-2005 16:13 151  
[ ]TRS.nontermin.CSR.Ex6_9_Luc02c.trs.stdout13-Apr-2005 16:12 0  
[ ]TRS.nontermin.CSR.Ex6_15_AEL02.trs.stderr13-Apr-2005 16:12 50  
[ ]TRS.nontermin.CSR.Ex6_15_AEL02.trs.stdout13-Apr-2005 16:10 0  
[ ]TRS.nontermin.CSR.Ex6_GM04.trs.stderr13-Apr-2005 16:13 0  
[ ]TRS.nontermin.CSR.Ex6_GM04.trs.stdout13-Apr-2005 16:13 626  
[ ]TRS.nontermin.CSR.Ex6_Luc98.trs.stderr13-Apr-2005 16:15 50  
[ ]TRS.nontermin.CSR.Ex6_Luc98.trs.stdout13-Apr-2005 16:14 0  
[ ]TRS.nontermin.CSR.Ex7_BLR02.trs.stderr13-Apr-2005 16:16 50  
[ ]TRS.nontermin.CSR.Ex7_BLR02.trs.stdout13-Apr-2005 16:15 0  
[ ]TRS.nontermin.CSR.Ex8_BLR02.trs.stderr13-Apr-2005 16:17 50  
[ ]TRS.nontermin.CSR.Ex8_BLR02.trs.stdout13-Apr-2005 16:16 0  
[ ]TRS.nontermin.CSR.Ex9_BLR02.trs.stderr13-Apr-2005 16:19 50  
[ ]TRS.nontermin.CSR.Ex9_BLR02.trs.stdout13-Apr-2005 16:18 0  
[ ]TRS.nontermin.CSR.Ex14_AEGL02.trs.stderr13-Apr-2005 15:44 50  
[ ]TRS.nontermin.CSR.Ex14_AEGL02.trs.stdout13-Apr-2005 15:43 0  
[ ]TRS.nontermin.CSR.Ex15_Luc98.trs.stderr13-Apr-2005 15:45 50  
[ ]TRS.nontermin.CSR.Ex15_Luc98.trs.stdout13-Apr-2005 15:44 0  
[ ]TRS.nontermin.CSR.Ex24_GM04.trs.stderr13-Apr-2005 15:52 50  
[ ]TRS.nontermin.CSR.Ex24_GM04.trs.stdout13-Apr-2005 15:51 0  
[ ]TRS.nontermin.CSR.Ex26_Luc03b.trs.stderr13-Apr-2005 15:54 50  
[ ]TRS.nontermin.CSR.Ex26_Luc03b.trs.stdout13-Apr-2005 15:53 0  
[ ]TRS.nontermin.CSR.Ex49_GM04.trs.stderr13-Apr-2005 16:07 0  
[ ]TRS.nontermin.CSR.Ex49_GM04.trs.stdout13-Apr-2005 16:07 3.2K 
[ ]TRS.nontermin.CSR.ExAppendixB_AEL03.trs.stderr13-Apr-2005 16:21 50  
[ ]TRS.nontermin.CSR.ExAppendixB_AEL03.trs.stdout13-Apr-2005 16:20 0  
[ ]TRS.nontermin.CSR.ExConc_Zan97.trs.stderr13-Apr-2005 16:21 0  
[ ]TRS.nontermin.CSR.ExConc_Zan97.trs.stdout13-Apr-2005 16:21 876  
[ ]TRS.nontermin.CSR.ExIntrod_GM01.trs.stderr13-Apr-2005 16:22 50  
[ ]TRS.nontermin.CSR.ExIntrod_GM01.trs.stdout13-Apr-2005 16:21 0  
[ ]TRS.nontermin.CSR.ExIntrod_GM04.trs.stderr13-Apr-2005 16:23 50  
[ ]TRS.nontermin.CSR.ExIntrod_GM04.trs.stdout13-Apr-2005 16:22 0  
[ ]TRS.nontermin.CSR.ExIntrod_GM99.trs.stderr13-Apr-2005 16:25 50  
[ ]TRS.nontermin.CSR.ExIntrod_GM99.trs.stdout13-Apr-2005 16:24 0  
[ ]TRS.nontermin.CSR.ExIntrod_Zan97.trs.stderr13-Apr-2005 16:26 50  
[ ]TRS.nontermin.CSR.ExIntrod_Zan97.trs.stdout13-Apr-2005 16:25 0  
[ ]TRS.nontermin.HM.n001.trs.stderr13-Apr-2005 16:28 50  
[ ]TRS.nontermin.HM.n001.trs.stdout13-Apr-2005 16:27 0  
[ ]TRS.nontermin.Rubio-inn.bn111.trs.stderr13-Apr-2005 16:29 0  
[ ]TRS.nontermin.Rubio-inn.bn111.trs.stdout13-Apr-2005 16:29 649  
[ ]TRS.nontermin.Rubio-inn.gkg.trs.stderr13-Apr-2005 16:29 0  
[ ]TRS.nontermin.Rubio-inn.gkg.trs.stdout13-Apr-2005 16:29 1.1K 
[ ]TRS.nontermin.Rubio-inn.muladd.trs.stderr13-Apr-2005 16:31 50  
[ ]TRS.nontermin.Rubio-inn.muladd.trs.stdout13-Apr-2005 16:30 0  
[ ]TRS.nontermin.Rubio-inn.test9.trs.stderr13-Apr-2005 16:44 50  
[ ]TRS.nontermin.Rubio-inn.test9.trs.stdout13-Apr-2005 16:43 0  
[ ]TRS.nontermin.Rubio-inn.test10.trs.stderr13-Apr-2005 16:34 50  
[ ]TRS.nontermin.Rubio-inn.test10.trs.stdout13-Apr-2005 16:33 0  
[ ]TRS.nontermin.Rubio-inn.test75.trs.stderr13-Apr-2005 16:36 50  
[ ]TRS.nontermin.Rubio-inn.test75.trs.stdout13-Apr-2005 16:35 0  
[ ]TRS.nontermin.Rubio-inn.test76.trs.stderr13-Apr-2005 16:39 50  
[ ]TRS.nontermin.Rubio-inn.test76.trs.stdout13-Apr-2005 16:38 0  
[ ]TRS.nontermin.Rubio-inn.test77.trs.stderr13-Apr-2005 16:42 50  
[ ]TRS.nontermin.Rubio-inn.test77.trs.stdout13-Apr-2005 16:41 0  
[ ]TRS.nontermin.Rubio-inn.test830.trs.stderr13-Apr-2005 16:42 0  
[ ]TRS.nontermin.Rubio-inn.test830.trs.stdout13-Apr-2005 16:42 1.5K 
[ ]TRS.nontermin.Rubio-inn.toyama.trs.stderr13-Apr-2005 16:45 50  
[ ]TRS.nontermin.Rubio-inn.toyama.trs.stdout13-Apr-2005 16:44 0  
[ ]TRS.nontermin.TRCSR.ExSec11_1_Luc02a.trs.stderr13-Apr-2005 16:47 50  
[ ]TRS.nontermin.TRCSR.ExSec11_1_Luc02a.trs.stdout13-Apr-2005 16:46 0  
[ ]TRS.nontermin.cariboo.ex1.trs.stderr13-Apr-2005 15:36 50  
[ ]TRS.nontermin.cariboo.ex1.trs.stdout13-Apr-2005 15:35 0  
[ ]TRS.nontermin.cariboo.ex2.trs.stderr13-Apr-2005 15:37 50  
[ ]TRS.nontermin.cariboo.ex2.trs.stdout13-Apr-2005 15:36 0  
[ ]TRS.nontermin.cariboo.ex3.trs.stderr13-Apr-2005 15:38 50  
[ ]TRS.nontermin.cariboo.ex3.trs.stdout13-Apr-2005 15:37 0  
[ ]TRS.nontermin.cariboo.ex4.trs.stderr13-Apr-2005 15:38 0  
[ ]TRS.nontermin.cariboo.ex4.trs.stdout13-Apr-2005 15:39 800  
[ ]TRS.nontermin.cariboo.ex5.trs.stderr13-Apr-2005 15:39 0  
[ ]TRS.nontermin.cariboo.ex5.trs.stdout13-Apr-2005 15:39 792  
[ ]TRS.nontermin.cariboo.ex6.trs.stderr13-Apr-2005 15:41 50  
[ ]TRS.nontermin.cariboo.ex6.trs.stdout13-Apr-2005 15:40 0  
[ ]TRS.nontermin.cariboo.tricky1.trs.stderr13-Apr-2005 15:41 0  
[ ]TRS.nontermin.cariboo.tricky1.trs.stdout13-Apr-2005 15:41 1.9K 
[ ]TRS.relative.rt1-1.trs.stderr12-Apr-2005 10:10 0  
[ ]TRS.relative.rt1-1.trs.stdout12-Apr-2005 10:10 781  
[ ]TRS.relative.rt1-2.trs.stderr12-Apr-2005 10:10 0  
[ ]TRS.relative.rt1-2.trs.stdout12-Apr-2005 10:10 835  
[ ]TRS.relative.rt1-3.trs.stderr12-Apr-2005 10:10 0  
[ ]TRS.relative.rt1-3.trs.stdout12-Apr-2005 10:10 1.0K 
[ ]TRS.relative.rt1-4.trs.stderr12-Apr-2005 10:10 0  
[ ]TRS.relative.rt1-4.trs.stdout12-Apr-2005 10:10 1.3K 
[ ]TRS.relative.rt1-5.trs.stderr12-Apr-2005 10:10 0  
[ ]TRS.relative.rt1-5.trs.stdout12-Apr-2005 10:10 1.1K 
[ ]TRS.relative.rt2-1.trs.stderr12-Apr-2005 10:10 0  
[ ]TRS.relative.rt2-1.trs.stdout12-Apr-2005 10:10 1.1K 
[ ]TRS.relative.rt2-2.trs.stderr12-Apr-2005 10:10 0  
[ ]TRS.relative.rt2-2.trs.stdout12-Apr-2005 10:10 1.1K 
[ ]TRS.relative.rt2-3.trs.stderr12-Apr-2005 10:10 0  
[ ]TRS.relative.rt2-3.trs.stdout12-Apr-2005 10:10 1.8K 
[ ]TRS.relative.rt2-4.trs.stderr12-Apr-2005 10:10 0  
[ ]TRS.relative.rt2-4.trs.stdout12-Apr-2005 10:10 1.1K 
[ ]TRS.relative.rt2-5.trs.stderr12-Apr-2005 10:11 0  
[ ]TRS.relative.rt2-5.trs.stdout12-Apr-2005 10:11 946  
[ ]TRS.relative.rt2-6.trs.stderr12-Apr-2005 10:11 0  
[ ]TRS.relative.rt2-6.trs.stdout12-Apr-2005 10:11 1.0K 
[ ]TRS.relative.rt2-7.trs.stderr12-Apr-2005 10:11 0  
[ ]TRS.relative.rt2-7.trs.stdout12-Apr-2005 10:11 1.8K 
[ ]TRS.relative.rt2-8.trs.stderr12-Apr-2005 10:13 50  
[ ]TRS.relative.rt2-8.trs.stdout12-Apr-2005 10:12 0  
[ ]TRS.relative.rt3-1.trs.stderr12-Apr-2005 10:14 0  
[ ]TRS.relative.rt3-1.trs.stdout12-Apr-2005 10:14 3.8K 
[ ]TRS.relative.rt3-2.trs.stderr12-Apr-2005 10:14 0  
[ ]TRS.relative.rt3-2.trs.stdout12-Apr-2005 10:14 1.2K 
[ ]TRS.relative.rt3-3.trs.stderr12-Apr-2005 10:16 50  
[ ]TRS.relative.rt3-3.trs.stdout12-Apr-2005 10:15 0  
[ ]TRS.relative.rt3-4.trs.stderr12-Apr-2005 10:18 50  
[ ]TRS.relative.rt3-4.trs.stdout12-Apr-2005 10:17 0  
[ ]TRS.relative.rt3-5.trs.stderr12-Apr-2005 10:18 0  
[ ]TRS.relative.rt3-5.trs.stdout12-Apr-2005 10:18 2.8K 
[ ]TRS.relative.rt3-6.trs.stderr12-Apr-2005 10:19 50  
[ ]TRS.relative.rt3-6.trs.stdout12-Apr-2005 10:18 0  
[ ]TRS.relative.rt3-7.trs.stderr12-Apr-2005 10:20 0  
[ ]TRS.relative.rt3-7.trs.stdout12-Apr-2005 10:20 1.8K 
[ ]TRS.relative.rt3-8.trs.stderr12-Apr-2005 10:22 50  
[ ]TRS.relative.rt3-8.trs.stdout12-Apr-2005 10:21 0  
[ ]TRS.relative.rt3-9.trs.stderr12-Apr-2005 10:23 0  
[ ]TRS.relative.rt3-9.trs.stdout12-Apr-2005 10:23 3.8K 
[ ]TRS.relative.rtL-cbn1.trs.stderr12-Apr-2005 10:23 0  
[ ]TRS.relative.rtL-cbn1.trs.stdout12-Apr-2005 10:23 6.2K 
[ ]TRS.relative.rtL-cbn5.trs.stderr12-Apr-2005 10:24 0  
[ ]TRS.relative.rtL-cbn5.trs.stdout12-Apr-2005 10:25 7.8K 
[ ]TRS.relative.rtL-cbo.trs.stderr12-Apr-2005 10:27 50  
[ ]TRS.relative.rtL-cbo.trs.stdout12-Apr-2005 10:26 0  
[ ]TRS.relative.rtL-evnz.trs.stderr12-Apr-2005 10:29 50  
[ ]TRS.relative.rtL-evnz.trs.stdout12-Apr-2005 10:28 0  
[ ]TRS.relative.rtL-evo.trs.stderr12-Apr-2005 10:31 50  
[ ]TRS.relative.rtL-evo.trs.stdout12-Apr-2005 10:30 0  
[ ]TRS.relative.rtL-me2.trs.stderr12-Apr-2005 10:31 0  
[ ]TRS.relative.rtL-me2.trs.stdout12-Apr-2005 10:31 1.7K 
[ ]TRS.relative.rtL-me3.trs.stderr12-Apr-2005 10:31 0  
[ ]TRS.relative.rtL-me3.trs.stdout12-Apr-2005 10:31 4.2K 
[ ]TRS.relative.rtL-pwl.trs.stderr12-Apr-2005 10:31 0  
[ ]TRS.relative.rtL-pwl.trs.stdout12-Apr-2005 10:31 4.3K 
[ ]TRS.relative.rtL-rw2.trs.stderr12-Apr-2005 10:33 50  
[ ]TRS.relative.rtL-rw2.trs.stdout12-Apr-2005 10:32 0  
[ ]TRS.relative.rtL-rw5.trs.stderr12-Apr-2005 10:35 50  
[ ]TRS.relative.rtL-rw5.trs.stdout12-Apr-2005 10:34 0  
[ ]TRS.relative.rtL-wl1nz.trs.stderr12-Apr-2005 10:35 0  
[ ]TRS.relative.rtL-wl1nz.trs.stdout12-Apr-2005 10:35 2.0K 
[ ]TRS.relative.rtL-wl1o.trs.stderr12-Apr-2005 10:36 50  
[ ]TRS.relative.rtL-wl1o.trs.stdout12-Apr-2005 10:35 0  
[ ]TRS.various.02.trs.stderr12-Apr-2005 22:04 50  
[ ]TRS.various.02.trs.stdout12-Apr-2005 22:03 0  
[ ]TRS.various.03.trs.stderr12-Apr-2005 22:06 50  
[ ]TRS.various.03.trs.stdout12-Apr-2005 22:05 0  
[ ]TRS.various.04.trs.stderr12-Apr-2005 22:11 50  
[ ]TRS.various.04.trs.stdout12-Apr-2005 22:10 0  
[ ]TRS.various.05.trs.stderr12-Apr-2005 22:17 50  
[ ]TRS.various.05.trs.stdout12-Apr-2005 22:16 0  
[ ]TRS.various.06.trs.stderr12-Apr-2005 22:19 0  
[ ]TRS.various.06.trs.stdout12-Apr-2005 22:19 943  
[ ]TRS.various.07.trs.stderr12-Apr-2005 22:19 0  
[ ]TRS.various.07.trs.stdout12-Apr-2005 22:19 961  
[ ]TRS.various.08.trs.stderr12-Apr-2005 22:24 50  
[ ]TRS.various.08.trs.stdout12-Apr-2005 22:23 0  
[ ]TRS.various.09.trs.stderr12-Apr-2005 22:26 0  
[ ]TRS.various.09.trs.stdout12-Apr-2005 22:26 1.1K 
[ ]TRS.various.10.trs.stderr12-Apr-2005 22:29 50  
[ ]TRS.various.10.trs.stdout12-Apr-2005 22:28 0  
[ ]TRS.various.11.trs.stderr12-Apr-2005 22:30 0  
[ ]TRS.various.11.trs.stdout12-Apr-2005 22:30 1.6K 
[ ]TRS.various.12.trs.stderr12-Apr-2005 22:31 0  
[ ]TRS.various.12.trs.stdout12-Apr-2005 22:31 1.4K 
[ ]TRS.various.13.trs.stderr12-Apr-2005 22:32 0  
[ ]TRS.various.13.trs.stdout12-Apr-2005 22:32 2.5K 
[ ]TRS.various.14.trs.stderr12-Apr-2005 22:36 50  
[ ]TRS.various.14.trs.stdout12-Apr-2005 22:35 0  
[ ]TRS.various.15.trs.stderr12-Apr-2005 22:36 0  
[ ]TRS.various.15.trs.stdout12-Apr-2005 22:36 1.5K 
[ ]TRS.various.18.trs.stderr12-Apr-2005 22:37 0  
[ ]TRS.various.18.trs.stdout12-Apr-2005 22:37 920  
[ ]TRS.various.19.trs.stderr12-Apr-2005 22:38 0  
[ ]TRS.various.19.trs.stdout12-Apr-2005 22:38 1.5K 
[ ]TRS.various.20.trs.stderr12-Apr-2005 22:39 50  
[ ]TRS.various.20.trs.stdout12-Apr-2005 22:38 0  
[ ]TRS.various.21.trs.stderr12-Apr-2005 22:40 0  
[ ]TRS.various.21.trs.stdout12-Apr-2005 22:40 1.5K 
[ ]TRS.various.22.trs.stderr12-Apr-2005 22:41 0  
[ ]TRS.various.22.trs.stdout12-Apr-2005 22:41 1.6K 
[ ]TRS.various.23.trs.stderr12-Apr-2005 22:42 0  
[ ]TRS.various.23.trs.stdout12-Apr-2005 22:42 1.0K 
[ ]TRS.various.24.trs.stderr12-Apr-2005 22:44 0  
[ ]TRS.various.24.trs.stdout12-Apr-2005 22:44 2.7K 
[ ]TRS.various.25.trs.stderr12-Apr-2005 22:44 0  
[ ]TRS.various.25.trs.stdout12-Apr-2005 22:44 1.3K 
[ ]TRS.various.26.trs.stderr12-Apr-2005 22:45 0  
[ ]TRS.various.26.trs.stdout12-Apr-2005 22:45 1.5K 
[ ]TRS.various.27.trs.stderr12-Apr-2005 22:45 0  
[ ]TRS.various.27.trs.stdout12-Apr-2005 22:45 695  
[ ]qualif.a3b3.srs.stderr08-Apr-2005 13:06 50  
[ ]qualif.a3b3.srs.stdout08-Apr-2005 13:05 0  
[ ]qualif.a3b4.srs.stderr08-Apr-2005 13:09 50  
[ ]qualif.a3b4.srs.stdout08-Apr-2005 13:08 0  
[ ]qualif.aa.srs.stderr08-Apr-2005 13:09 0  
[ ]qualif.aa.srs.stdout08-Apr-2005 13:09 586  
[ ]qualif.aa.trs.stderr08-Apr-2005 13:15 0  
[ ]qualif.aa.trs.stdout08-Apr-2005 13:15 578  
[ ]qualif.ab.srs.stderr08-Apr-2005 13:09 0  
[ ]qualif.ab.srs.stdout08-Apr-2005 13:09 741  
[ ]qualif.ab.trs.stderr08-Apr-2005 13:15 0  
[ ]qualif.ab.trs.stdout08-Apr-2005 13:15 726  
[ ]qualif.ack.trs.stderr08-Apr-2005 13:16 0  
[ ]qualif.ack.trs.stdout08-Apr-2005 13:16 713  
[ ]qualif.add.trs.stderr31-Mar-2005 16:26 0  
[ ]qualif.add.trs.stdout31-Mar-2005 16:26 111  
[ ]qualif.bin.trs.stderr08-Apr-2005 13:17 0  
[ ]qualif.bin.trs.stdout08-Apr-2005 13:17 1.2K 
[ ]qualif.fib.trs.stderr31-Mar-2005 16:28 0  
[ ]qualif.fib.trs.stdout31-Mar-2005 16:28 132  
[ ]qualif.inn.trs.stderr31-Mar-2005 16:28 0  
[ ]qualif.inn.trs.stdout31-Mar-2005 16:28 111  
[ ]qualif.no.trs.stderr08-Apr-2005 13:17 0  
[ ]qualif.no.trs.stdout08-Apr-2005 13:17 534  
[ ]qualif.quot.trs.stderr08-Apr-2005 13:19 0  
[ ]qualif.quot.trs.stdout08-Apr-2005 13:19 1.9K 
[ ]qualif.rt1-1.trs.stderr08-Apr-2005 13:19 0  
[ ]qualif.rt1-1.trs.stdout08-Apr-2005 13:19 770  
[ ]qualif.rt3-9.trs.stderr08-Apr-2005 13:20 0  
[ ]qualif.rt3-9.trs.stdout08-Apr-2005 13:20 3.8K 
[ ]qualif.simple.trs.stderr08-Apr-2005 13:20 0  
[ ]qualif.simple.trs.stdout08-Apr-2005 13:20 668  
[ ]qualif.simpleac.trs.stderr31-Mar-2005 16:32 0  
[ ]qualif.simpleac.trs.stdout31-Mar-2005 16:32 116  
[ ]qualif.simplec.trs.stderr31-Mar-2005 16:32 0  
[ ]qualif.simplec.trs.stdout31-Mar-2005 16:32 115  
[ ]qualif.syr.srs.stderr08-Apr-2005 13:14 50  
[ ]qualif.syr.srs.stdout08-Apr-2005 13:13 0  
[ ]qualif.syr1.trs.stderr08-Apr-2005 13:23 50  
[ ]qualif.syr1.trs.stdout08-Apr-2005 13:22 0  
[ ]qualif.syr2.trs.stderr08-Apr-2005 13:27 50  
[ ]qualif.syr2.trs.stdout08-Apr-2005 13:26 0  
[ ]qualif.toyama.trs.stderr08-Apr-2005 13:29 0  
[ ]qualif.toyama.trs.stdout08-Apr-2005 13:29 1.0K 
[ ]qualif.toyama2.trs.stderr08-Apr-2005 13:29 50  
[ ]qualif.toyama2.trs.stdout08-Apr-2005 13:28 0  
[ ]qualif.toyamaac.trs.stderr31-Mar-2005 15:46 0  
[ ]qualif.toyamaac.trs.stdout31-Mar-2005 15:46 116  
[ ]qualif.zr01.srs.stderr08-Apr-2005 13:14 0  
[ ]qualif.zr01.srs.stdout08-Apr-2005 13:15 1.6K 
[ ]qualif.zr05.srs.stderr08-Apr-2005 13:15 0  
[ ]qualif.zr05.srs.stdout08-Apr-2005 13:15 1.7K 
[ ]samples.bag-sum-prod.maude.TRS.BAG_complete.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.bag-sum-prod.maude.TRS.BAG_complete.trs.stdout17-Jan-2006 11:32 149  
[ ]samples.bag-sum-prod.maude.TRS.BAG_nokinds.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.bag-sum-prod.maude.TRS.BAG_nokinds.trs.stdout17-Jan-2006 11:32 148  
[ ]samples.bag-sum-prod.maude.TRS.BAG_nosorts.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.bag-sum-prod.maude.TRS.BAG_nosorts.trs.stdout17-Jan-2006 11:32 148  
[ ]samples.lazy-nat-list.fm.TRS.OvConsOS_complete.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.lazy-nat-list.fm.TRS.OvConsOS_complete.trs.stdout17-Jan-2006 11:32 152  
[ ]samples.lazy-nat-list.fm.TRS.OvConsOS_nokinds.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.lazy-nat-list.fm.TRS.OvConsOS_nokinds.trs.stdout17-Jan-2006 11:32 151  
[ ]samples.lazy-nat-list.fm.TRS.OvConsOS_nosorts.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.lazy-nat-list.fm.TRS.OvConsOS_nosorts.trs.stdout17-Jan-2006 11:32 151  
[ ]samples.length-lazy-list.maude.TRS.LengthOfFiniteLists_complete.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.length-lazy-list.maude.TRS.LengthOfFiniteLists_complete.trs.stdout17-Jan-2006 11:32 169  
[ ]samples.length-lazy-list.maude.TRS.LengthOfFiniteLists_nokinds.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.length-lazy-list.maude.TRS.LengthOfFiniteLists_nokinds.trs.stdout17-Jan-2006 11:32 168  
[ ]samples.length-lazy-list.maude.TRS.LengthOfFiniteLists_nosorts.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.length-lazy-list.maude.TRS.LengthOfFiniteLists_nosorts.trs.stdout17-Jan-2006 11:32 168  
[ ]samples.my-nat.fm.TRS.MYNAT_complete.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.my-nat.fm.TRS.MYNAT_complete.trs.stdout17-Jan-2006 11:32 142  
[ ]samples.my-nat.fm.TRS.MYNAT_nokinds.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.my-nat.fm.TRS.MYNAT_nokinds.trs.stdout17-Jan-2006 11:32 141  
[ ]samples.my-nat.fm.TRS.MYNAT_nosorts.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.my-nat.fm.TRS.MYNAT_nosorts.trs.stdout17-Jan-2006 11:32 141  
[ ]samples.palindrome.maude.TRS.PALINDROME_complete.trs.stderr17-Jan-2006 11:32 43  
[ ]samples.palindrome.maude.TRS.PALINDROME_complete.trs.stdout17-Jan-2006 11:32 0  
[ ]samples.palindrome.maude.TRS.PALINDROME_nokinds.trs.stderr17-Jan-2006 11:32 43  
[ ]samples.palindrome.maude.TRS.PALINDROME_nokinds.trs.stdout17-Jan-2006 11:32 0  
[ ]samples.palindrome.maude.TRS.PALINDROME_nosorts.trs.stderr17-Jan-2006 11:32 43  
[ ]samples.palindrome.maude.TRS.PALINDROME_nosorts.trs.stdout17-Jan-2006 11:32 0  
[ ]samples.peano.maude.TRS.PEANO-NAT_complete.trs.stderr17-Jan-2006 11:32 43  
[ ]samples.peano.maude.TRS.PEANO-NAT_complete.trs.stdout17-Jan-2006 11:32 0  
[ ]samples.peano.maude.TRS.PEANO-NAT_nokinds.trs.stderr17-Jan-2006 11:32 43  
[ ]samples.peano.maude.TRS.PEANO-NAT_nokinds.trs.stdout17-Jan-2006 11:32 0  
[ ]samples.peano.maude.TRS.PEANO-NAT_nosorts.trs.stderr17-Jan-2006 11:32 43  
[ ]samples.peano.maude.TRS.PEANO-NAT_nosorts.trs.stdout17-Jan-2006 11:32 0  
[ ]samples.peanoSimple.maude.TRS.MYNAT_complete.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.peanoSimple.maude.TRS.MYNAT_complete.trs.stdout17-Jan-2006 11:32 150  
[ ]samples.peanoSimple.maude.TRS.MYNAT_nokinds.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.peanoSimple.maude.TRS.MYNAT_nokinds.trs.stdout17-Jan-2006 11:32 149  
[ ]samples.peanoSimple.maude.TRS.MYNAT_nosorts.trs.stderr17-Jan-2006 11:32 0  
[ ]samples.peanoSimple.maude.TRS.MYNAT_nosorts.trs.stdout17-Jan-2006 11:32 149  
[ ]secret2005.aprove1.srs.stderr11-Apr-2005 17:28 50  
[ ]secret2005.aprove1.srs.stdout11-Apr-2005 17:27 0  
[ ]secret2005.aprove1.trs.stderr13-Apr-2005 16:51 50  
[ ]secret2005.aprove1.trs.stdout13-Apr-2005 16:50 0  
[ ]secret2005.aprove2.srs.stderr11-Apr-2005 17:31 50  
[ ]secret2005.aprove2.srs.stdout11-Apr-2005 17:30 0  
[ ]secret2005.aprove2.trs.stderr13-Apr-2005 16:59 50  
[ ]secret2005.aprove2.trs.stdout13-Apr-2005 16:58 0  
[ ]secret2005.aprove3.srs.stderr11-Apr-2005 17:36 50  
[ ]secret2005.aprove3.srs.stdout11-Apr-2005 17:35 0  
[ ]secret2005.aprove3.trs.stderr13-Apr-2005 17:03 50  
[ ]secret2005.aprove3.trs.stdout13-Apr-2005 17:02 0  
[ ]secret2005.aprove4.srs.stderr11-Apr-2005 17:49 50  
[ ]secret2005.aprove4.srs.stdout11-Apr-2005 17:48 0  
[ ]secret2005.aprove4.trs.stderr13-Apr-2005 17:06 50  
[ ]secret2005.aprove4.trs.stdout13-Apr-2005 17:05 0  
[ ]secret2005.aprove5.srs.stderr11-Apr-2005 17:52 50  
[ ]secret2005.aprove5.srs.stdout11-Apr-2005 17:51 0  
[ ]secret2005.aprove5.trs.stderr13-Apr-2005 17:10 50  
[ ]secret2005.aprove5.trs.stdout13-Apr-2005 17:09 0  
[ ]secret2005.cime1.trs.stderr13-Apr-2005 17:14 50  
[ ]secret2005.cime1.trs.stdout13-Apr-2005 17:13 0  
[ ]secret2005.cime2.trs.stderr13-Apr-2005 17:16 0  
[ ]secret2005.cime2.trs.stdout13-Apr-2005 17:16 1.6K 
[ ]secret2005.cime3.trs.stderr13-Apr-2005 17:21 50  
[ ]secret2005.cime3.trs.stdout13-Apr-2005 17:20 0  
[ ]secret2005.cime4.trs.stderr13-Apr-2005 17:25 50  
[ ]secret2005.cime4.trs.stdout13-Apr-2005 17:24 0  
[ ]secret2005.cime5.trs.stderr13-Apr-2005 17:30 50  
[ ]secret2005.cime5.trs.stdout13-Apr-2005 17:29 0  
[ ]secret2005.jambox1.srs.stderr11-Apr-2005 17:55 0  
[ ]secret2005.jambox1.srs.stdout11-Apr-2005 17:55 2.4K 
[ ]secret2005.jambox2.srs.stderr11-Apr-2005 17:58 50  
[ ]secret2005.jambox2.srs.stdout11-Apr-2005 17:57 0  
[ ]secret2005.jambox3.srs.stderr11-Apr-2005 18:02 50  
[ ]secret2005.jambox3.srs.stdout11-Apr-2005 18:01 0  
[ ]secret2005.jambox4.srs.stderr11-Apr-2005 18:04 50  
[ ]secret2005.jambox4.srs.stdout11-Apr-2005 18:03 0  
[ ]secret2005.jambox5.srs.stderr11-Apr-2005 18:09 50  
[ ]secret2005.jambox5.srs.stdout11-Apr-2005 18:08 0  
[ ]secret2005.matchbox1.srs.stderr11-Apr-2005 18:13 50  
[ ]secret2005.matchbox1.srs.stdout11-Apr-2005 18:12 0  
[ ]secret2005.matchbox1.trs.stderr13-Apr-2005 17:31 0  
[ ]secret2005.matchbox1.trs.stdout13-Apr-2005 17:31 2.9K 
[ ]secret2005.matchbox2.srs.stderr11-Apr-2005 18:17 50  
[ ]secret2005.matchbox2.srs.stdout11-Apr-2005 18:16 0  
[ ]secret2005.matchbox2.trs.stderr13-Apr-2005 17:31 0  
[ ]secret2005.matchbox2.trs.stdout13-Apr-2005 17:31 2.1K 
[ ]secret2005.teparla1.trs.stderr13-Apr-2005 17:33 50  
[ ]secret2005.teparla1.trs.stdout13-Apr-2005 17:32 0  
[ ]secret2005.teparla2.trs.stderr13-Apr-2005 17:35 50  
[ ]secret2005.teparla2.trs.stdout13-Apr-2005 17:34 0  
[ ]secret2005.teparla3.trs.stderr13-Apr-2005 17:37 50  
[ ]secret2005.teparla3.trs.stdout13-Apr-2005 17:36 0  
[ ]secret2005.torpa1.srs.stderr11-Apr-2005 18:19 0  
[ ]secret2005.torpa1.srs.stdout11-Apr-2005 18:19 5.0K 
[ ]secret2005.torpa2.srs.stderr11-Apr-2005 18:23 50  
[ ]secret2005.torpa2.srs.stdout11-Apr-2005 18:22 0  
[ ]secret2005.torpa3.srs.stderr11-Apr-2005 18:26 0  
[ ]secret2005.torpa3.srs.stdout11-Apr-2005 18:26 1.0K 
[ ]secret2005.torpa4.srs.stderr11-Apr-2005 18:31 50  
[ ]secret2005.torpa4.srs.stdout11-Apr-2005 18:30 0  
[ ]secret2005.tpa1.trs.stderr13-Apr-2005 17:40 0  
[ ]secret2005.tpa1.trs.stdout13-Apr-2005 17:40 2.3K 
[ ]secret2005.tpa2.trs.stderr13-Apr-2005 17:42 0  
[ ]secret2005.tpa2.trs.stdout13-Apr-2005 17:42 2.3K 
[ ]secret2005.tpa3.trs.stderr13-Apr-2005 17:44 0  
[ ]secret2005.tpa3.trs.stdout13-Apr-2005 17:44 1.7K 
[ ]secret2005.tpa4.trs.stderr13-Apr-2005 17:47 0  
[ ]secret2005.tpa4.trs.stdout13-Apr-2005 17:47 1.8K 
[ ]secret2005.tpa5.trs.stderr13-Apr-2005 17:50 0  
[ ]secret2005.tpa5.trs.stdout13-Apr-2005 17:50 2.4K 
[ ]secret2005.ttt1.trs.stderr13-Apr-2005 17:53 50  
[ ]secret2005.ttt1.trs.stdout13-Apr-2005 17:52 0  
[ ]secret2005.ttt2.trs.stderr13-Apr-2005 17:54 50  
[ ]secret2005.ttt2.trs.stdout13-Apr-2005 17:53 0  
Apache Server at www.lri.fr Port 80