Index of /~marche/termination-competition/2007/muterm/results

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]TRS.AG01._3.1.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.1.trs.stdout2007-06-05 16:42 1.2K 
[ ]TRS.AG01._3.2.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.2.trs.stdout2007-06-05 16:42 1.3K 
[ ]TRS.AG01._3.4.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.4.trs.stdout2007-06-05 16:42 1.6K 
[ ]TRS.AG01._3.5.trs.stderr2007-06-05 16:44 133  
[ ]TRS.AG01._3.5.trs.stdout2007-06-05 16:44 1.8K 
[ ]TRS.AG01._3.5a.trs.stderr2007-06-05 16:43 133  
[ ]TRS.AG01._3.5a.trs.stdout2007-06-05 16:43 1.9K 
[ ]TRS.AG01._3.5b.trs.stderr2007-06-05 16:44 133  
[ ]TRS.AG01._3.5b.trs.stdout2007-06-05 16:44 2.2K 
[ ]TRS.AG01._3.6.trs.stderr2007-06-05 16:44 133  
[ ]TRS.AG01._3.6.trs.stdout2007-06-05 16:44 2.6K 
[ ]TRS.AG01._3.6a.trs.stderr2007-06-05 16:44 133  
[ ]TRS.AG01._3.6a.trs.stdout2007-06-05 16:44 2.5K 
[ ]TRS.AG01._3.6b.trs.stderr2007-06-05 16:44 133  
[ ]TRS.AG01._3.6b.trs.stdout2007-06-05 16:44 2.9K 
[ ]TRS.AG01._3.7.trs.stderr2007-06-05 16:44 133  
[ ]TRS.AG01._3.7.trs.stdout2007-06-05 16:44 1.1K 
[ ]TRS.AG01._3.8a.trs.stderr2007-06-05 16:44 133  
[ ]TRS.AG01._3.8a.trs.stdout2007-06-05 16:44 1.8K 
[ ]TRS.AG01._3.8b.trs.stderr2007-06-05 16:44 133  
[ ]TRS.AG01._3.8b.trs.stdout2007-06-05 16:44 2.6K 
[ ]TRS.AG01._3.10.trs.stderr2007-06-05 16:41 133  
[ ]TRS.AG01._3.10.trs.stdout2007-06-05 16:41 4.9K 
[ ]TRS.AG01._3.12.trs.stderr2007-06-05 16:41 133  
[ ]TRS.AG01._3.12.trs.stdout2007-06-05 16:41 1.6K 
[ ]TRS.AG01._3.13.trs.stderr2007-06-05 16:41 133  
[ ]TRS.AG01._3.13.trs.stdout2007-06-05 16:41 4.1K 
[ ]TRS.AG01._3.14.trs.stderr2007-06-05 16:41 133  
[ ]TRS.AG01._3.14.trs.stdout2007-06-05 16:41 1.5K 
[ ]TRS.AG01._3.15.trs.stderr2007-06-05 16:41 133  
[ ]TRS.AG01._3.15.trs.stdout2007-06-05 16:41 1.0K 
[ ]TRS.AG01._3.16.trs.stderr2007-06-05 16:41 133  
[ ]TRS.AG01._3.16.trs.stdout2007-06-05 16:41 1.1K 
[ ]TRS.AG01._3.17.trs.stderr2007-06-05 16:41 133  
[ ]TRS.AG01._3.17.trs.stdout2007-06-05 16:41 2.2K 
[ ]TRS.AG01._3.17a.trs.stderr2007-06-05 16:41 133  
[ ]TRS.AG01._3.17a.trs.stdout2007-06-05 16:41 2.6K 
[ ]TRS.AG01._3.18.trs.stderr2007-06-05 16:41 205  
[ ]TRS.AG01._3.18.trs.stdout2007-06-05 16:41 2.0K 
[ ]TRS.AG01._3.19.trs.stderr2007-06-05 16:42 770  
[ ]TRS.AG01._3.19.trs.stdout2007-06-05 16:42 34  
[ ]TRS.AG01._3.21.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.21.trs.stdout2007-06-05 16:42 1.3K 
[ ]TRS.AG01._3.22.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.22.trs.stdout2007-06-05 16:42 1.9K 
[ ]TRS.AG01._3.23.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.23.trs.stdout2007-06-05 16:42 1.1K 
[ ]TRS.AG01._3.24.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.24.trs.stdout2007-06-05 16:42 1.1K 
[ ]TRS.AG01._3.26.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.26.trs.stdout2007-06-05 16:42 937  
[ ]TRS.AG01._3.29.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.29.trs.stdout2007-06-05 16:42 685  
[ ]TRS.AG01._3.31.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.31.trs.stdout2007-06-05 16:42 781  
[ ]TRS.AG01._3.33.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.33.trs.stdout2007-06-05 16:42 847  
[ ]TRS.AG01._3.35.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.35.trs.stdout2007-06-05 16:42 808  
[ ]TRS.AG01._3.36.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.36.trs.stdout2007-06-05 16:42 2.2K 
[ ]TRS.AG01._3.37.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.37.trs.stdout2007-06-05 16:42 1.0K 
[ ]TRS.AG01._3.38.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.38.trs.stdout2007-06-05 16:42 2.1K 
[ ]TRS.AG01._3.39.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.39.trs.stdout2007-06-05 16:42 2.1K 
[ ]TRS.AG01._3.40.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.40.trs.stdout2007-06-05 16:42 5.5K 
[ ]TRS.AG01._3.41.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.41.trs.stdout2007-06-05 16:42 927  
[ ]TRS.AG01._3.42.trs.stderr2007-06-05 16:42 349  
[ ]TRS.AG01._3.42.trs.stdout2007-06-05 16:42 1.5K 
[ ]TRS.AG01._3.47.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.47.trs.stdout2007-06-05 16:42 835  
[ ]TRS.AG01._3.48.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.48.trs.stdout2007-06-05 16:42 1.5K 
[ ]TRS.AG01._3.49.trs.stderr2007-06-05 16:42 133  
[ ]TRS.AG01._3.49.trs.stdout2007-06-05 16:42 1.4K 
[ ]TRS.AG01._3.51.trs.stderr2007-06-05 16:43 133  
[ ]TRS.AG01._3.51.trs.stdout2007-06-05 16:43 1.3K 
[ ]TRS.AG01._3.52.trs.stderr2007-06-05 16:43 133  
[ ]TRS.AG01._3.52.trs.stdout2007-06-05 16:43 675  
[ ]TRS.AG01._3.53.trs.stderr2007-06-05 16:43 133  
[ ]TRS.AG01._3.53.trs.stdout2007-06-05 16:43 3.8K 
[ ]TRS.AG01._3.53a.trs.stderr2007-06-05 16:43 133  
[ ]TRS.AG01._3.53a.trs.stdout2007-06-05 16:43 717  
[ ]TRS.AG01._3.53b.trs.stderr2007-06-05 16:43 133  
[ ]TRS.AG01._3.53b.trs.stdout2007-06-05 16:43 701  
[ ]TRS.AG01._3.54.trs.stderr2007-06-05 16:43 133  
[ ]TRS.AG01._3.54.trs.stdout2007-06-05 16:43 1.7K 
[ ]TRS.AG01._3.55.trs.stderr2007-06-05 16:43 133  
[ ]TRS.AG01._3.55.trs.stdout2007-06-05 16:43 4.8K 
[ ]TRS.AG01._3.56.trs.stderr2007-06-05 16:43 133  
[ ]TRS.AG01._3.56.trs.stdout2007-06-05 16:43 1.7K 
[ ]TRS.AG01._3.57.trs.stderr2007-06-05 16:43 133  
[ ]TRS.AG01._3.57.trs.stdout2007-06-05 16:43 3.5K 
[ ]TRS.AG01._4.30c.trs.stderr2007-06-05 16:46 770  
[ ]TRS.AG01._4.30c.trs.stdout2007-06-05 16:46 34  
[ ]TRS.AProVE.AAECC-ring.trs.stderr2007-06-05 16:47 770  
[ ]TRS.AProVE.AAECC-ring.trs.stdout2007-06-05 16:47 34  
[ ]TRS.AProVE.AAECC.trs.stderr2007-06-05 16:50 133  
[ ]TRS.AProVE.AAECC.trs.stdout2007-06-05 16:50 4.7K 
[ ]TRS.AProVE.IJCAR_1.trs.stderr2007-06-05 16:51 133  
[ ]TRS.AProVE.IJCAR_1.trs.stdout2007-06-05 16:51 1.1K 
[ ]TRS.AProVE.IJCAR_12.trs.stderr2007-06-05 16:51 133  
[ ]TRS.AProVE.IJCAR_12.trs.stdout2007-06-05 16:51 1.8K 
[ ]TRS.AProVE.IJCAR_18.trs.stderr2007-06-05 16:51 133  
[ ]TRS.AProVE.IJCAR_18.trs.stdout2007-06-05 16:51 2.9K 
[ ]TRS.AProVE.IJCAR_26.trs.stderr2007-06-05 16:51 349  
[ ]TRS.AProVE.IJCAR_26.trs.stdout2007-06-05 16:51 4.0K 
[ ]TRS.AProVE.IJCAR_26a.trs.stderr2007-06-05 16:51 349  
[ ]TRS.AProVE.IJCAR_26a.trs.stdout2007-06-05 16:51 4.0K 
[ ]TRS.AProVE.JFP_Ex31.trs.stderr2007-06-05 16:52 770  
[ ]TRS.AProVE.JFP_Ex31.trs.stdout2007-06-05 16:52 34  
[ ]TRS.AProVE.JFP_Ex51.trs.stderr2007-06-05 16:53 133  
[ ]TRS.AProVE.JFP_Ex51.trs.stdout2007-06-05 16:53 9.6K 
[ ]TRS.AProVE.LPAR_intlist.trs.stderr2007-06-05 16:57 133  
[ ]TRS.AProVE.LPAR_intlist.trs.stdout2007-06-05 16:57 1.1K 
[ ]TRS.AProVE.Liveness6.1.trs.stderr2007-06-05 16:53 770  
[ ]TRS.AProVE.Liveness6.1.trs.stdout2007-06-05 16:53 34  
[ ]TRS.AProVE.Liveness6.2.trs.stderr2007-06-05 16:53 770  
[ ]TRS.AProVE.Liveness6.2.trs.stdout2007-06-05 16:53 34  
[ ]TRS.AProVE.Liveness6.3.trs.stderr2007-06-05 16:54 770  
[ ]TRS.AProVE.Liveness6.3.trs.stdout2007-06-05 16:54 34  
[ ]TRS.AProVE.Liveness6.4.trs.stderr2007-06-05 16:55 770  
[ ]TRS.AProVE.Liveness6.4.trs.stdout2007-06-05 16:55 34  
[ ]TRS.AProVE.Liveness8.trs.stderr2007-06-05 16:55 133  
[ ]TRS.AProVE.Liveness8.trs.stdout2007-06-05 16:55 4.1K 
[ ]TRS.AProVE.Liveness_WRS.trs.stderr2007-06-05 16:57 770  
[ ]TRS.AProVE.Liveness_WRS.trs.stdout2007-06-05 16:57 34  
[ ]TRS.AProVE.fac.trs.stderr2007-06-05 16:50 709  
[ ]TRS.AProVE.fac.trs.stdout2007-06-05 16:50 1.6K 
[ ]TRS.AProVE.forward_instantiation.trs.stderr2007-06-05 16:50 770  
[ ]TRS.AProVE.forward_instantiation.trs.stdout2007-06-05 16:50 34  
[ ]TRS.AProVE.forward_instantiation2.trs.stderr2007-06-05 16:50 770  
[ ]TRS.AProVE.forward_instantiation2.trs.stdout2007-06-05 16:50 34  
[ ]TRS.AProVE.improved_usable.trs.stderr2007-06-05 16:51 770  
[ ]TRS.AProVE.improved_usable.trs.stdout2007-06-05 16:51 34  
[ ]TRS.AProVE.improved_usable2.trs.stderr2007-06-05 16:51 133  
[ ]TRS.AProVE.improved_usable2.trs.stdout2007-06-05 16:51 953  
[ ]TRS.AProVE.rta1.trs.stderr2007-06-05 16:57 133  
[ ]TRS.AProVE.rta1.trs.stdout2007-06-05 16:57 1.6K 
[ ]TRS.AProVE.rta2.trs.stderr2007-06-05 16:57 205  
[ ]TRS.AProVE.rta2.trs.stdout2007-06-05 16:57 846  
[ ]TRS.AProVE.rta3.trs.stderr2007-06-05 16:57 770  
[ ]TRS.AProVE.rta3.trs.stdout2007-06-05 16:57 34  
[ ]TRS.Beerendonk.1.trs.stderr2007-06-05 17:10 349  
[ ]TRS.Beerendonk.1.trs.stdout2007-06-05 17:10 1.3K 
[ ]TRS.Beerendonk.2.trs.stderr2007-06-05 17:15 349  
[ ]TRS.Beerendonk.2.trs.stdout2007-06-05 17:15 1.3K 
[ ]TRS.Beerendonk.3.trs.stderr2007-06-05 17:15 770  
[ ]TRS.Beerendonk.3.trs.stdout2007-06-05 17:15 34  
[ ]TRS.Beerendonk.4.trs.stderr2007-06-05 17:15 770  
[ ]TRS.Beerendonk.4.trs.stdout2007-06-05 17:15 34  
[ ]TRS.Beerendonk.5.trs.stderr2007-06-05 17:15 349  
[ ]TRS.Beerendonk.5.trs.stdout2007-06-05 17:15 1.7K 
[ ]TRS.Beerendonk.6.trs.stderr2007-06-05 17:15 349  
[ ]TRS.Beerendonk.6.trs.stdout2007-06-05 17:15 1.3K 
[ ]TRS.Beerendonk.7.trs.stderr2007-06-05 17:15 349  
[ ]TRS.Beerendonk.7.trs.stdout2007-06-05 17:15 1.3K 
[ ]TRS.Beerendonk.8.trs.stderr2007-06-05 17:15 349  
[ ]TRS.Beerendonk.8.trs.stdout2007-06-05 17:15 1.6K 
[ ]TRS.Beerendonk.9.trs.stderr2007-06-05 17:15 349  
[ ]TRS.Beerendonk.9.trs.stdout2007-06-05 17:15 1.7K 
[ ]TRS.Beerendonk.10.trs.stderr2007-06-05 16:57 349  
[ ]TRS.Beerendonk.10.trs.stdout2007-06-05 16:57 2.8K 
[ ]TRS.Beerendonk.11.trs.stderr2007-06-05 16:58 770  
[ ]TRS.Beerendonk.11.trs.stdout2007-06-05 16:58 34  
[ ]TRS.Beerendonk.12.trs.stderr2007-06-05 16:59 770  
[ ]TRS.Beerendonk.12.trs.stdout2007-06-05 16:59 34  
[ ]TRS.Beerendonk.13.trs.stderr2007-06-05 17:01 770  
[ ]TRS.Beerendonk.13.trs.stdout2007-06-05 17:01 34  
[ ]TRS.Beerendonk.14.trs.stderr2007-06-05 17:01 770  
[ ]TRS.Beerendonk.14.trs.stdout2007-06-05 17:01 34  
[ ]TRS.Beerendonk.15.trs.stderr2007-06-05 17:03 770  
[ ]TRS.Beerendonk.15.trs.stdout2007-06-05 17:03 34  
[ ]TRS.Beerendonk.16.trs.stderr2007-06-05 17:04 770  
[ ]TRS.Beerendonk.16.trs.stdout2007-06-05 17:04 34  
[ ]TRS.Beerendonk.17.trs.stderr2007-06-05 17:06 770  
[ ]TRS.Beerendonk.17.trs.stdout2007-06-05 17:06 34  
[ ]TRS.Beerendonk.18.trs.stderr2007-06-05 17:08 770  
[ ]TRS.Beerendonk.18.trs.stdout2007-06-05 17:08 34  
[ ]TRS.Beerendonk.19.trs.stderr2007-06-05 17:10 770  
[ ]TRS.Beerendonk.19.trs.stdout2007-06-05 17:10 34  
[ ]TRS.Beerendonk.20.trs.stderr2007-06-05 17:11 770  
[ ]TRS.Beerendonk.20.trs.stdout2007-06-05 17:11 34  
[ ]TRS.Beerendonk.21.trs.stderr2007-06-05 17:13 770  
[ ]TRS.Beerendonk.21.trs.stdout2007-06-05 17:13 34  
[ ]TRS.Beerendonk.22.trs.stderr2007-06-05 17:13 349  
[ ]TRS.Beerendonk.22.trs.stdout2007-06-05 17:13 2.1K 
[ ]TRS.Beerendonk.23.trs.stderr2007-06-05 17:13 349  
[ ]TRS.Beerendonk.23.trs.stdout2007-06-05 17:13 2.2K 
[ ]TRS.Beerendonk.24.trs.stderr2007-06-05 17:15 770  
[ ]TRS.Beerendonk.24.trs.stdout2007-06-05 17:15 34  
[ ]TRS.CSR.Ex1_2_AEL03.trs.stderr2007-06-08 13:39 135  
[ ]TRS.CSR.Ex1_2_AEL03.trs.stdout2007-06-08 13:39 2.1K 
[ ]TRS.CSR.Ex1_2_Luc02c.trs.stderr2007-06-08 13:39 135  
[ ]TRS.CSR.Ex1_2_Luc02c.trs.stdout2007-06-08 13:39 814  
[ ]TRS.CSR.Ex1_GL02a.trs.stderr2007-06-08 13:39 135  
[ ]TRS.CSR.Ex1_GL02a.trs.stdout2007-06-08 13:39 3.0K 
[ ]TRS.CSR.Ex1_GM03.trs.stderr2007-06-08 13:40 2.3K 
[ ]TRS.CSR.Ex1_GM03.trs.stdout2007-06-08 13:40 34  
[ ]TRS.CSR.Ex1_GM99.trs.stderr2007-06-08 13:40 135  
[ ]TRS.CSR.Ex1_GM99.trs.stdout2007-06-08 13:40 1.3K 
[ ]TRS.CSR.Ex1_Luc02b.trs.stderr2007-06-08 13:40 135  
[ ]TRS.CSR.Ex1_Luc02b.trs.stdout2007-06-08 13:40 1.0K 
[ ]TRS.CSR.Ex1_Luc04b.trs.stderr2007-06-08 13:40 135  
[ ]TRS.CSR.Ex1_Luc04b.trs.stdout2007-06-08 13:40 1.0K 
[ ]TRS.CSR.Ex1_Luc04b_GM.trs.stderr2007-06-05 17:23 770  
[ ]TRS.CSR.Ex1_Luc04b_GM.trs.stdout2007-06-05 17:23 34  
[ ]TRS.CSR.Ex1_Zan97.trs.stderr2007-06-08 13:40 135  
[ ]TRS.CSR.Ex1_Zan97.trs.stdout2007-06-08 13:40 962  
[ ]TRS.CSR.Ex2_Luc02a.trs.stderr2007-06-08 13:40 135  
[ ]TRS.CSR.Ex2_Luc02a.trs.stdout2007-06-08 13:40 1.5K 
[ ]TRS.CSR.Ex2_Luc03b.trs.stderr2007-06-08 13:40 135  
[ ]TRS.CSR.Ex2_Luc03b.trs.stdout2007-06-08 13:40 2.9K 
[ ]TRS.CSR.Ex3_2_Luc97.trs.stderr2007-06-08 13:41 2.3K 
[ ]TRS.CSR.Ex3_2_Luc97.trs.stdout2007-06-08 13:41 34  
[ ]TRS.CSR.Ex3_3_25_Bor03.trs.stderr2007-06-08 13:41 135  
[ ]TRS.CSR.Ex3_3_25_Bor03.trs.stdout2007-06-08 13:41 1.6K 
[ ]TRS.CSR.Ex3_12_Luc96a.trs.stderr2007-06-08 13:40 135  
[ ]TRS.CSR.Ex3_12_Luc96a.trs.stdout2007-06-08 13:40 959  
[ ]TRS.CSR.Ex4_4_Luc96b.trs.stderr2007-06-08 13:41 135  
[ ]TRS.CSR.Ex4_4_Luc96b.trs.stdout2007-06-08 13:41 831  
[ ]TRS.CSR.Ex4_7_15_Bor03.trs.stderr2007-06-08 13:41 135  
[ ]TRS.CSR.Ex4_7_15_Bor03.trs.stdout2007-06-08 13:41 946  
[ ]TRS.CSR.Ex4_7_37_Bor03.trs.stderr2007-06-08 13:41 135  
[ ]TRS.CSR.Ex4_7_37_Bor03.trs.stdout2007-06-08 13:41 1.8K 
[ ]TRS.CSR.Ex4_7_56_Bor03.trs.stderr2007-06-08 13:41 135  
[ ]TRS.CSR.Ex4_7_56_Bor03.trs.stdout2007-06-08 13:41 1.0K 
[ ]TRS.CSR.Ex4_7_77_Bor03.trs.stderr2007-06-08 13:41 135  
[ ]TRS.CSR.Ex4_7_77_Bor03.trs.stdout2007-06-08 13:41 798  
[ ]TRS.CSR.Ex4_DLMMU04.trs.stderr2007-06-08 13:42 2.3K 
[ ]TRS.CSR.Ex4_DLMMU04.trs.stdout2007-06-08 13:42 34  
[ ]TRS.CSR.Ex4_Zan97.trs.stderr2007-06-08 13:42 135  
[ ]TRS.CSR.Ex4_Zan97.trs.stdout2007-06-08 13:42 1.1K 
[ ]TRS.CSR.Ex5_7_Luc97.trs.stderr2007-06-08 13:44 2.3K 
[ ]TRS.CSR.Ex5_7_Luc97.trs.stdout2007-06-08 13:44 34  
[ ]TRS.CSR.Ex5_DLMMU04.trs.stderr2007-06-08 13:44 135  
[ ]TRS.CSR.Ex5_DLMMU04.trs.stdout2007-06-08 13:44 1.1K 
[ ]TRS.CSR.Ex5_Zan97.trs.stderr2007-06-08 13:44 135  
[ ]TRS.CSR.Ex5_Zan97.trs.stdout2007-06-08 13:44 1.1K 
[ ]TRS.CSR.Ex6_9_Luc02c.trs.stderr2007-06-08 13:45 135  
[ ]TRS.CSR.Ex6_9_Luc02c.trs.stdout2007-06-08 13:45 904  
[ ]TRS.CSR.Ex6_15_AEL02.trs.stderr2007-06-08 13:45 2.3K 
[ ]TRS.CSR.Ex6_15_AEL02.trs.stdout2007-06-08 13:45 34  
[ ]TRS.CSR.Ex6_GM04.trs.stderr2007-06-08 13:45 135  
[ ]TRS.CSR.Ex6_GM04.trs.stdout2007-06-08 13:45 739  
[ ]TRS.CSR.Ex6_Luc98.trs.stderr2007-06-08 13:45 135  
[ ]TRS.CSR.Ex6_Luc98.trs.stdout2007-06-08 13:45 1.5K 
[ ]TRS.CSR.Ex7_BLR02.trs.stderr2007-06-08 13:45 135  
[ ]TRS.CSR.Ex7_BLR02.trs.stdout2007-06-08 13:45 1.1K 
[ ]TRS.CSR.Ex8_BLR02.trs.stderr2007-06-08 13:45 135  
[ ]TRS.CSR.Ex8_BLR02.trs.stdout2007-06-08 13:45 1.3K 
[ ]TRS.CSR.Ex9_BLR02.trs.stderr2007-06-08 13:45 135  
[ ]TRS.CSR.Ex9_BLR02.trs.stdout2007-06-08 13:45 1.1K 
[ ]TRS.CSR.Ex9_Luc04.trs.stderr2007-06-08 13:45 2.3K 
[ ]TRS.CSR.Ex9_Luc04.trs.stdout2007-06-08 13:45 34  
[ ]TRS.CSR.Ex9_Luc06.trs.stderr2007-06-08 13:45 1.2K 
[ ]TRS.CSR.Ex9_Luc06.trs.stdout2007-06-08 13:45 1.2K 
[ ]TRS.CSR.Ex14_AEGL02.trs.stderr2007-06-08 13:39 135  
[ ]TRS.CSR.Ex14_AEGL02.trs.stdout2007-06-08 13:39 1.8K 
[ ]TRS.CSR.Ex14_Luc06.trs.stderr2007-06-08 13:39 2.3K 
[ ]TRS.CSR.Ex14_Luc06.trs.stdout2007-06-08 13:39 34  
[ ]TRS.CSR.Ex15_Luc06.trs.stderr2007-06-08 13:39 135  
[ ]TRS.CSR.Ex15_Luc06.trs.stdout2007-06-08 13:39 746  
[ ]TRS.CSR.Ex15_Luc98.trs.stderr2007-06-08 13:39 135  
[ ]TRS.CSR.Ex15_Luc98.trs.stdout2007-06-08 13:39 2.4K 
[ ]TRS.CSR.Ex16_Luc06.trs.stderr2007-06-08 13:39 135  
[ ]TRS.CSR.Ex16_Luc06.trs.stdout2007-06-08 13:39 591  
[ ]TRS.CSR.Ex18_Luc06.trs.stderr2007-06-08 13:39 135  
[ ]TRS.CSR.Ex18_Luc06.trs.stdout2007-06-08 13:39 746  
[ ]TRS.CSR.Ex23_Luc06.trs.stderr2007-06-08 13:40 135  
[ ]TRS.CSR.Ex23_Luc06.trs.stdout2007-06-08 13:40 756  
[ ]TRS.CSR.Ex24_GM04.trs.stderr2007-06-08 13:40 135  
[ ]TRS.CSR.Ex24_GM04.trs.stdout2007-06-08 13:40 621  
[ ]TRS.CSR.Ex24_Luc06.trs.stderr2007-06-08 13:40 135  
[ ]TRS.CSR.Ex24_Luc06.trs.stdout2007-06-08 13:40 619  
[ ]TRS.CSR.Ex25_Luc06.trs.stderr2007-06-08 13:40 135  
[ ]TRS.CSR.Ex25_Luc06.trs.stdout2007-06-08 13:40 665  
[ ]TRS.CSR.Ex26_Luc03b.trs.stderr2007-06-08 13:40 135  
[ ]TRS.CSR.Ex26_Luc03b.trs.stdout2007-06-08 13:40 1.7K 
[ ]TRS.CSR.Ex49_GM04.trs.stderr2007-06-08 13:41 209  
[ ]TRS.CSR.Ex49_GM04.trs.stdout2007-06-08 13:41 2.0K 
[ ]TRS.CSR.ExAppendixB_AEL03.trs.stderr2007-06-08 13:45 135  
[ ]TRS.CSR.ExAppendixB_AEL03.trs.stdout2007-06-08 13:45 2.5K 
[ ]TRS.CSR.ExConc_Zan97.trs.stderr2007-06-08 13:45 135  
[ ]TRS.CSR.ExConc_Zan97.trs.stdout2007-06-08 13:45 749  
[ ]TRS.CSR.ExIntrod_GM01.trs.stderr2007-06-08 13:45 135  
[ ]TRS.CSR.ExIntrod_GM01.trs.stdout2007-06-08 13:45 1.1K 
[ ]TRS.CSR.ExIntrod_GM04.trs.stderr2007-06-08 13:45 135  
[ ]TRS.CSR.ExIntrod_GM04.trs.stdout2007-06-08 13:45 1.0K 
[ ]TRS.CSR.ExIntrod_GM99.trs.stderr2007-06-08 13:45 135  
[ ]TRS.CSR.ExIntrod_GM99.trs.stdout2007-06-08 13:45 1.3K 
[ ]TRS.CSR.ExIntrod_Zan97.trs.stderr2007-06-08 13:46 2.3K 
[ ]TRS.CSR.ExIntrod_Zan97.trs.stdout2007-06-08 13:46 34  
[ ]TRS.CSR.ExProp7_Luc06.trs.stderr2007-06-08 13:46 135  
[ ]TRS.CSR.ExProp7_Luc06.trs.stdout2007-06-08 13:46 945  
[ ]TRS.CSR.ExSec4_2_DLMMU04.trs.stderr2007-06-08 13:46 135  
[ ]TRS.CSR.ExSec4_2_DLMMU04.trs.stdout2007-06-08 13:46 1.7K 
[ ]TRS.CSR.ExSec11_1_Luc02a.trs.stderr2007-06-08 13:46 135  
[ ]TRS.CSR.ExSec11_1_Luc02a.trs.stdout2007-06-08 13:46 1.7K 
[ ]TRS.CSR_Maude.PEPM04.LISTUTILITIES_complete-noand.trs.stderr2007-06-08 14:06 2.0K 
[ ]TRS.CSR_Maude.PEPM04.LISTUTILITIES_complete-noand.trs.stdout2007-06-08 14:03 0  
[ ]TRS.CSR_Maude.PEPM04.LISTUTILITIES_complete.trs.stderr2007-06-08 14:08 2.0K 
[ ]TRS.CSR_Maude.PEPM04.LISTUTILITIES_complete.trs.stdout2007-06-08 14:06 0  
[ ]TRS.CSR_Maude.PEPM04.LISTUTILITIES_nokinds-noand.trs.stderr2007-06-08 14:10 2.2K 
[ ]TRS.CSR_Maude.PEPM04.LISTUTILITIES_nokinds-noand.trs.stdout2007-06-08 14:08 0  
[ ]TRS.CSR_Maude.PEPM04.LISTUTILITIES_nokinds.trs.stderr2007-06-08 14:12 2.3K 
[ ]TRS.CSR_Maude.PEPM04.LISTUTILITIES_nokinds.trs.stdout2007-06-08 14:10 0  
[ ]TRS.CSR_Maude.PEPM04.LISTUTILITIES_nosorts-noand.trs.stderr2007-06-08 14:12 135  
[ ]TRS.CSR_Maude.PEPM04.LISTUTILITIES_nosorts-noand.trs.stdout2007-06-08 14:12 3.2K 
[ ]TRS.CSR_Maude.PEPM04.LISTUTILITIES_nosorts.trs.stderr2007-06-08 14:12 135  
[ ]TRS.CSR_Maude.PEPM04.LISTUTILITIES_nosorts.trs.stdout2007-06-08 14:12 1.9K 
[ ]TRS.CSR_Maude.lazy-nat-list.OvConsOS_complete-noand.trs.stderr2007-06-08 13:48 2.1K 
[ ]TRS.CSR_Maude.lazy-nat-list.OvConsOS_complete-noand.trs.stdout2007-06-08 13:46 0  
[ ]TRS.CSR_Maude.lazy-nat-list.OvConsOS_complete.trs.stderr2007-06-08 13:50 2.0K 
[ ]TRS.CSR_Maude.lazy-nat-list.OvConsOS_complete.trs.stdout2007-06-08 13:48 0  
[ ]TRS.CSR_Maude.lazy-nat-list.OvConsOS_nokinds-noand.trs.stderr2007-06-08 13:52 2.3K 
[ ]TRS.CSR_Maude.lazy-nat-list.OvConsOS_nokinds-noand.trs.stdout2007-06-08 13:52 34  
[ ]TRS.CSR_Maude.lazy-nat-list.OvConsOS_nokinds.trs.stderr2007-06-08 13:53 2.3K 
[ ]TRS.CSR_Maude.lazy-nat-list.OvConsOS_nokinds.trs.stdout2007-06-08 13:53 34  
[ ]TRS.CSR_Maude.lazy-nat-list.OvConsOS_nosorts-noand.trs.stderr2007-06-08 13:55 2.3K 
[ ]TRS.CSR_Maude.lazy-nat-list.OvConsOS_nosorts-noand.trs.stdout2007-06-08 13:55 34  
[ ]TRS.CSR_Maude.lazy-nat-list.OvConsOS_nosorts.trs.stderr2007-06-08 13:55 2.3K 
[ ]TRS.CSR_Maude.lazy-nat-list.OvConsOS_nosorts.trs.stdout2007-06-08 13:55 34  
[ ]TRS.CSR_Maude.length-lazy-list.LengthOfFiniteLists_complete-noand.trs.stderr2007-06-08 13:55 505  
[ ]TRS.CSR_Maude.length-lazy-list.LengthOfFiniteLists_complete-noand.trs.stdout2007-06-08 13:55 14K 
[ ]TRS.CSR_Maude.length-lazy-list.LengthOfFiniteLists_complete.trs.stderr2007-06-08 13:58 2.2K 
[ ]TRS.CSR_Maude.length-lazy-list.LengthOfFiniteLists_complete.trs.stdout2007-06-08 13:55 0  
[ ]TRS.CSR_Maude.length-lazy-list.LengthOfFiniteLists_nokinds-noand.trs.stderr2007-06-08 13:58 505  
[ ]TRS.CSR_Maude.length-lazy-list.LengthOfFiniteLists_nokinds-noand.trs.stdout2007-06-08 13:58 4.1K 
[ ]TRS.CSR_Maude.length-lazy-list.LengthOfFiniteLists_nokinds.trs.stderr2007-06-08 13:59 2.3K 
[ ]TRS.CSR_Maude.length-lazy-list.LengthOfFiniteLists_nokinds.trs.stdout2007-06-08 13:59 34  
[ ]TRS.CSR_Maude.length-lazy-list.LengthOfFiniteLists_nosorts-noand.trs.stderr2007-06-08 14:00 2.3K 
[ ]TRS.CSR_Maude.length-lazy-list.LengthOfFiniteLists_nosorts-noand.trs.stdout2007-06-08 14:00 34  
[ ]TRS.CSR_Maude.length-lazy-list.LengthOfFiniteLists_nosorts.trs.stderr2007-06-08 14:00 2.3K 
[ ]TRS.CSR_Maude.length-lazy-list.LengthOfFiniteLists_nosorts.trs.stdout2007-06-08 14:00 34  
[ ]TRS.CSR_Maude.my-nat.MYNAT_complete-noand.trs.stderr2007-06-08 14:00 135  
[ ]TRS.CSR_Maude.my-nat.MYNAT_complete-noand.trs.stdout2007-06-08 14:00 12K 
[ ]TRS.CSR_Maude.my-nat.MYNAT_complete.trs.stderr2007-06-08 14:02 1.7K 
[ ]TRS.CSR_Maude.my-nat.MYNAT_complete.trs.stdout2007-06-08 14:02 7.9K 
[ ]TRS.CSR_Maude.my-nat.MYNAT_nokinds-noand.trs.stderr2007-06-08 14:02 135  
[ ]TRS.CSR_Maude.my-nat.MYNAT_nokinds-noand.trs.stdout2007-06-08 14:02 2.9K 
[ ]TRS.CSR_Maude.my-nat.MYNAT_nokinds.trs.stderr2007-06-08 14:02 135  
[ ]TRS.CSR_Maude.my-nat.MYNAT_nokinds.trs.stdout2007-06-08 14:02 2.9K 
[ ]TRS.CSR_Maude.my-nat.MYNAT_nosorts-noand.trs.stderr2007-06-08 14:02 135  
[ ]TRS.CSR_Maude.my-nat.MYNAT_nosorts-noand.trs.stdout2007-06-08 14:02 1.6K 
[ ]TRS.CSR_Maude.my-nat.MYNAT_nosorts.trs.stderr2007-06-08 14:02 135  
[ ]TRS.CSR_Maude.my-nat.MYNAT_nosorts.trs.stdout2007-06-08 14:02 1.2K 
[ ]TRS.CSR_Maude.palindrome.PALINDROME_complete-noand.trs.stderr2007-06-08 14:02 135  
[ ]TRS.CSR_Maude.palindrome.PALINDROME_complete-noand.trs.stdout2007-06-08 14:02 24K 
[ ]TRS.CSR_Maude.palindrome.PALINDROME_complete.trs.stderr2007-06-08 14:02 135  
[ ]TRS.CSR_Maude.palindrome.PALINDROME_complete.trs.stdout2007-06-08 14:02 20K 
[ ]TRS.CSR_Maude.palindrome.PALINDROME_nokinds-noand.trs.stderr2007-06-08 14:02 135  
[ ]TRS.CSR_Maude.palindrome.PALINDROME_nokinds-noand.trs.stdout2007-06-08 14:02 3.2K 
[ ]TRS.CSR_Maude.palindrome.PALINDROME_nokinds.trs.stderr2007-06-08 14:02 135  
[ ]TRS.CSR_Maude.palindrome.PALINDROME_nokinds.trs.stdout2007-06-08 14:02 3.0K 
[ ]TRS.CSR_Maude.palindrome.PALINDROME_nosorts-noand.trs.stderr2007-06-08 14:02 135  
[ ]TRS.CSR_Maude.palindrome.PALINDROME_nosorts-noand.trs.stdout2007-06-08 14:02 1.0K 
[ ]TRS.CSR_Maude.palindrome.PALINDROME_nosorts.trs.stderr2007-06-08 14:02 135  
[ ]TRS.CSR_Maude.palindrome.PALINDROME_nosorts.trs.stdout2007-06-08 14:02 893  
[ ]TRS.CSR_Maude.peanoSimple.MYNAT_complete-noand.trs.stderr2007-06-08 14:02 135  
[ ]TRS.CSR_Maude.peanoSimple.MYNAT_complete-noand.trs.stdout2007-06-08 14:02 5.7K 
[ ]TRS.CSR_Maude.peanoSimple.MYNAT_complete.trs.stderr2007-06-08 14:03 1.7K 
[ ]TRS.CSR_Maude.peanoSimple.MYNAT_complete.trs.stdout2007-06-08 14:03 4.0K 
[ ]TRS.CSR_Maude.peanoSimple.MYNAT_nokinds-noand.trs.stderr2007-06-08 14:03 135  
[ ]TRS.CSR_Maude.peanoSimple.MYNAT_nokinds-noand.trs.stdout2007-06-08 14:03 1.8K 
[ ]TRS.CSR_Maude.peanoSimple.MYNAT_nokinds.trs.stderr2007-06-08 14:03 135  
[ ]TRS.CSR_Maude.peanoSimple.MYNAT_nokinds.trs.stdout2007-06-08 14:03 2.0K 
[ ]TRS.CSR_Maude.peanoSimple.MYNAT_nosorts-noand.trs.stderr2007-06-08 14:03 135  
[ ]TRS.CSR_Maude.peanoSimple.MYNAT_nosorts-noand.trs.stdout2007-06-08 14:03 1.1K 
[ ]TRS.CSR_Maude.peanoSimple.MYNAT_nosorts.trs.stderr2007-06-08 14:03 135  
[ ]TRS.CSR_Maude.peanoSimple.MYNAT_nosorts.trs.stdout2007-06-08 14:03 908  
[ ]TRS.Cime.ack_prolog.trs.stderr2007-06-05 17:15 133  
[ ]TRS.Cime.ack_prolog.trs.stdout2007-06-05 17:15 1.4K 
[ ]TRS.Cime.append-hard.trs.stderr2007-06-05 17:15 349  
[ ]TRS.Cime.append-hard.trs.stdout2007-06-05 17:15 1.5K 
[ ]TRS.Cime.append-wrong.trs.stderr2007-06-05 17:16 770  
[ ]TRS.Cime.append-wrong.trs.stdout2007-06-05 17:16 34  
[ ]TRS.Cime.append.trs.stderr2007-06-05 17:16 133  
[ ]TRS.Cime.append.trs.stdout2007-06-05 17:16 1.6K 
[ ]TRS.Cime.big.trs.stderr2007-06-05 17:16 133  
[ ]TRS.Cime.big.trs.stdout2007-06-05 17:16 14K 
[ ]TRS.Cime.boolean_rings.trs.stderr2007-06-05 17:16 133  
[ ]TRS.Cime.boolean_rings.trs.stdout2007-06-05 17:16 1.2K 
[ ]TRS.Cime.dpqs.trs.stderr2007-06-05 17:16 133  
[ ]TRS.Cime.dpqs.trs.stdout2007-06-05 17:16 1.2K 
[ ]TRS.Cime.fact-hard.trs.stderr2007-06-05 17:17 770  
[ ]TRS.Cime.fact-hard.trs.stdout2007-06-05 17:17 34  
[ ]TRS.Cime.filliatre.trs.stderr2007-06-05 17:17 133  
[ ]TRS.Cime.filliatre.trs.stdout2007-06-05 17:17 4.7K 
[ ]TRS.Cime.filliatre2.trs.stderr2007-06-05 17:17 133  
[ ]TRS.Cime.filliatre2.trs.stdout2007-06-05 17:17 6.2K 
[ ]TRS.Cime.filliatre3.trs.stderr2007-06-05 17:17 133  
[ ]TRS.Cime.filliatre3.trs.stdout2007-06-05 17:17 6.6K 
[ ]TRS.Cime.intersect.trs.stderr2007-06-05 17:17 133  
[ ]TRS.Cime.intersect.trs.stdout2007-06-05 17:17 4.9K 
[ ]TRS.Cime.list-sum-prod-assoc-append.trs.stderr2007-06-05 17:17 133  
[ ]TRS.Cime.list-sum-prod-assoc-append.trs.stdout2007-06-05 17:17 2.6K 
[ ]TRS.Cime.list-sum-prod-assoc.trs.stderr2007-06-05 17:17 133  
[ ]TRS.Cime.list-sum-prod-assoc.trs.stdout2007-06-05 17:17 1.8K 
[ ]TRS.Cime.list-sum-prod-bin-assoc-distr-app.trs.stderr2007-06-05 17:17 133  
[ ]TRS.Cime.list-sum-prod-bin-assoc-distr-app.trs.stdout2007-06-05 17:17 5.7K 
[ ]TRS.Cime.list-sum-prod-bin-assoc.trs.stderr2007-06-05 17:17 133  
[ ]TRS.Cime.list-sum-prod-bin-assoc.trs.stdout2007-06-05 17:17 4.5K 
[ ]TRS.Cime.list-sum-prod-bin.trs.stderr2007-06-05 17:17 133  
[ ]TRS.Cime.list-sum-prod-bin.trs.stdout2007-06-05 17:17 3.0K 
[ ]TRS.Cime.list-sum-prod.trs.stderr2007-06-05 17:17 133  
[ ]TRS.Cime.list-sum-prod.trs.stdout2007-06-05 17:17 1.6K 
[ ]TRS.Cime.log2.trs.stderr2007-06-05 17:18 133  
[ ]TRS.Cime.log2.trs.stdout2007-06-05 17:18 6.4K 
[ ]TRS.Cime.lse.trs.stderr2007-06-05 17:18 493  
[ ]TRS.Cime.lse.trs.stdout2007-06-05 17:18 16K 
[ ]TRS.Cime.maude2.trs.stderr2007-06-05 17:20 770  
[ ]TRS.Cime.maude2.trs.stdout2007-06-05 17:20 34  
[ ]TRS.Cime.mucrl1.trs.stderr2007-06-05 17:21 133  
[ ]TRS.Cime.mucrl1.trs.stdout2007-06-05 17:21 20K 
[ ]TRS.Cime.quick.trs.stderr2007-06-05 17:21 133  
[ ]TRS.Cime.quick.trs.stdout2007-06-05 17:21 4.3K 
[ ]TRS.Cime.ternary-hard.trs.stderr2007-06-05 17:21 133  
[ ]TRS.Cime.ternary-hard.trs.stdout2007-06-05 17:21 11K 
[ ]TRS.Cime.ternary.trs.stderr2007-06-05 17:21 133  
[ ]TRS.Cime.ternary.trs.stdout2007-06-05 17:21 10K 
[ ]TRS.Cime.tree.trs.stderr2007-06-05 17:21 133  
[ ]TRS.Cime.tree.trs.stdout2007-06-05 17:21 9.4K 
[ ]TRS.D33.01.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.01.trs.stdout2007-06-05 17:23 661  
[ ]TRS.D33.02.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.02.trs.stdout2007-06-05 17:23 606  
[ ]TRS.D33.03.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.03.trs.stdout2007-06-05 17:23 557  
[ ]TRS.D33.04.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.04.trs.stdout2007-06-05 17:23 1.0K 
[ ]TRS.D33.06.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.06.trs.stdout2007-06-05 17:23 582  
[ ]TRS.D33.07.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.07.trs.stdout2007-06-05 17:23 834  
[ ]TRS.D33.08.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.08.trs.stdout2007-06-05 17:23 1.0K 
[ ]TRS.D33.09.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.09.trs.stdout2007-06-05 17:23 647  
[ ]TRS.D33.11.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.11.trs.stdout2007-06-05 17:23 1.5K 
[ ]TRS.D33.12.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.12.trs.stdout2007-06-05 17:23 2.1K 
[ ]TRS.D33.13.trs.stderr2007-06-05 17:23 493  
[ ]TRS.D33.13.trs.stdout2007-06-05 17:23 2.6K 
[ ]TRS.D33.17.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.17.trs.stdout2007-06-05 17:23 1.0K 
[ ]TRS.D33.18.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.18.trs.stdout2007-06-05 17:23 801  
[ ]TRS.D33.20.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.20.trs.stdout2007-06-05 17:23 7.2K 
[ ]TRS.D33.21.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.21.trs.stdout2007-06-05 17:23 1.4K 
[ ]TRS.D33.27.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.27.trs.stdout2007-06-05 17:23 793  
[ ]TRS.D33.28.trs.stderr2007-06-05 17:23 133  
[ ]TRS.D33.28.trs.stdout2007-06-05 17:23 803  
[ ]TRS.D33.30.trs.stderr2007-06-05 17:24 770  
[ ]TRS.D33.30.trs.stdout2007-06-05 17:24 100  
[ ]TRS.D33.31.trs.stderr2007-06-05 17:24 133  
[ ]TRS.D33.31.trs.stdout2007-06-05 17:24 867  
[ ]TRS.D33.32.trs.stderr2007-06-05 17:24 133  
[ ]TRS.D33.32.trs.stdout2007-06-05 17:24 1.6K 
[ ]TRS.D33.33.trs.stderr2007-06-05 17:24 770  
[ ]TRS.D33.33.trs.stdout2007-06-05 17:24 34  
[ ]TRS.Endrullis.direct.trs.stderr2007-06-05 17:24 277  
[ ]TRS.Endrullis.direct.trs.stdout2007-06-05 17:24 1.0K 
[ ]TRS.Endrullis.labeling.trs.stderr2007-06-05 17:24 770  
[ ]TRS.Endrullis.labeling.trs.stdout2007-06-05 17:24 34  
[ ]TRS.Endrullis.linear1.trs.stderr2007-06-05 17:26 770  
[ ]TRS.Endrullis.linear1.trs.stdout2007-06-05 17:26 34  
[ ]TRS.Endrullis.linear2.trs.stderr2007-06-05 17:27 770  
[ ]TRS.Endrullis.linear2.trs.stdout2007-06-05 17:27 34  
[ ]TRS.Endrullis.pair2hard.trs.stderr2007-06-05 17:28 770  
[ ]TRS.Endrullis.pair2hard.trs.stdout2007-06-05 17:28 34  
[ ]TRS.Endrullis.pair2simple1.trs.stderr2007-06-05 17:29 770  
[ ]TRS.Endrullis.pair2simple1.trs.stdout2007-06-05 17:29 119  
[ ]TRS.Endrullis.pair2simple2.trs.stderr2007-06-05 17:30 770  
[ ]TRS.Endrullis.pair2simple2.trs.stdout2007-06-05 17:30 34  
[ ]TRS.Endrullis.pair3hard.trs.stderr2007-06-05 17:30 770  
[ ]TRS.Endrullis.pair3hard.trs.stdout2007-06-05 17:30 34  
[ ]TRS.Endrullis.pair3rotate.trs.stderr2007-06-05 17:30 349  
[ ]TRS.Endrullis.pair3rotate.trs.stdout2007-06-05 17:30 1.5K 
[ ]TRS.Endrullis.pair3swap.trs.stderr2007-06-05 17:30 421  
[ ]TRS.Endrullis.pair3swap.trs.stdout2007-06-05 17:30 1.8K 
[ ]TRS.Endrullis.quadruple1.trs.stderr2007-06-05 17:32 770  
[ ]TRS.Endrullis.quadruple1.trs.stdout2007-06-05 17:32 34  
[ ]TRS.Endrullis.quadruple2.trs.stderr2007-06-05 17:32 770  
[ ]TRS.Endrullis.quadruple2.trs.stdout2007-06-05 17:32 34  
[ ]TRS.HM.n002.trs.stderr2007-06-05 17:34 770  
[ ]TRS.HM.n002.trs.stdout2007-06-05 17:34 34  
[ ]TRS.HM.n003.trs.stderr2007-06-05 17:34 770  
[ ]TRS.HM.n003.trs.stdout2007-06-05 17:34 34  
[ ]TRS.HM.n004.trs.stderr2007-06-05 17:34 770  
[ ]TRS.HM.n004.trs.stdout2007-06-05 17:34 34  
[ ]TRS.HM.n005.trs.stderr2007-06-05 17:34 770  
[ ]TRS.HM.n005.trs.stdout2007-06-05 17:34 34  
[ ]TRS.HM.n006.trs.stderr2007-06-05 17:34 770  
[ ]TRS.HM.n006.trs.stdout2007-06-05 17:34 34  
[ ]TRS.HM.n007.trs.stderr2007-06-05 17:34 770  
[ ]TRS.HM.n007.trs.stdout2007-06-05 17:34 34  
[ ]TRS.HM.n008.trs.stderr2007-06-05 17:34 770  
[ ]TRS.HM.n008.trs.stdout2007-06-05 17:34 34  
[ ]TRS.HM.t000.trs.stderr2007-06-05 17:34 133  
[ ]TRS.HM.t000.trs.stdout2007-06-05 17:34 11K 
[ ]TRS.HM.t001.trs.stderr2007-06-05 17:34 277  
[ ]TRS.HM.t001.trs.stdout2007-06-05 17:34 2.7K 
[ ]TRS.HM.t002.trs.stderr2007-06-05 17:35 133  
[ ]TRS.HM.t002.trs.stdout2007-06-05 17:35 1.6K 
[ ]TRS.HM.t003.trs.stderr2007-06-05 17:35 133  
[ ]TRS.HM.t003.trs.stdout2007-06-05 17:35 2.1K 
[ ]TRS.HM.t004.trs.stderr2007-06-05 17:35 770  
[ ]TRS.HM.t004.trs.stdout2007-06-05 17:35 34  
[ ]TRS.HM.t005.trs.stderr2007-06-05 17:36 133  
[ ]TRS.HM.t005.trs.stdout2007-06-05 17:36 12K 
[ ]TRS.HM.t006.trs.stderr2007-06-05 17:36 133  
[ ]TRS.HM.t006.trs.stdout2007-06-05 17:36 767  
[ ]TRS.HM.t007.trs.stderr2007-06-05 17:36 133  
[ ]TRS.HM.t007.trs.stdout2007-06-05 17:36 558  
[ ]TRS.HM.t008.trs.stderr2007-06-05 17:36 349  
[ ]TRS.HM.t008.trs.stdout2007-06-05 17:36 1.1K 
[ ]TRS.HM.t009.trs.stderr2007-06-05 17:38 770  
[ ]TRS.HM.t009.trs.stdout2007-06-05 17:38 34  
[ ]TRS.HM.t010.trs.stderr2007-06-05 17:38 133  
[ ]TRS.HM.t010.trs.stdout2007-06-05 17:38 548  
[ ]TRS.HM.t011.trs.stderr2007-06-05 17:38 133  
[ ]TRS.HM.t011.trs.stdout2007-06-05 17:38 806  
[ ]TRS.HM.t012.trs.stderr2007-06-05 17:38 133  
[ ]TRS.HM.t012.trs.stdout2007-06-05 17:38 8.4K 
[ ]TRS.HM.t013.trs.stderr2007-06-05 17:38 133  
[ ]TRS.HM.t013.trs.stdout2007-06-05 17:38 2.2K 
[ ]TRS.HM.t014.trs.stderr2007-06-05 17:38 133  
[ ]TRS.HM.t014.trs.stdout2007-06-05 17:38 1.6K 
[ ]TRS.HofWald.1.trs.stderr2007-06-05 17:38 421  
[ ]TRS.HofWald.1.trs.stdout2007-06-05 17:38 947  
[ ]TRS.HofWald.2.trs.stderr2007-06-05 17:38 770  
[ ]TRS.HofWald.2.trs.stdout2007-06-05 17:38 34  
[ ]TRS.HofWald.3.trs.stderr2007-06-05 17:38 277  
[ ]TRS.HofWald.3.trs.stdout2007-06-05 17:38 913  
[ ]TRS.HofWald.4.trs.stderr2007-06-05 17:38 421  
[ ]TRS.HofWald.4.trs.stdout2007-06-05 17:38 958  
[ ]TRS.HofWald.5.trs.stderr2007-06-05 17:38 277  
[ ]TRS.HofWald.5.trs.stdout2007-06-05 17:38 863  
[ ]TRS.HofWald.6.trs.stderr2007-06-05 17:38 770  
[ ]TRS.HofWald.6.trs.stdout2007-06-05 17:38 34  
[ ]TRS.HofWald.7.trs.stderr2007-06-05 17:38 770  
[ ]TRS.HofWald.7.trs.stdout2007-06-05 17:38 34  
[ ]TRS.Koprowski.gcd_triple.trs.stderr2007-06-05 17:40 349  
[ ]TRS.Koprowski.gcd_triple.trs.stdout2007-06-05 17:40 3.4K 
[ ]TRS.LJB01.jones1.trs.stderr2007-06-05 17:40 133  
[ ]TRS.LJB01.jones1.trs.stdout2007-06-05 17:40 856  
[ ]TRS.LJB01.jones2.trs.stderr2007-06-05 17:40 133  
[ ]TRS.LJB01.jones2.trs.stdout2007-06-05 17:40 897  
[ ]TRS.LJB01.jones4.trs.stderr2007-06-05 17:40 133  
[ ]TRS.LJB01.jones4.trs.stdout2007-06-05 17:40 1.1K 
[ ]TRS.LJB01.jones5.trs.stderr2007-06-05 17:40 205  
[ ]TRS.LJB01.jones5.trs.stdout2007-06-05 17:40 831  
[ ]TRS.LJB01.jones6.trs.stderr2007-06-05 17:40 133  
[ ]TRS.LJB01.jones6.trs.stdout2007-06-05 17:40 1.1K 
[ ]TRS.Rubio.aoto.trs.stderr2007-06-05 17:40 133  
[ ]TRS.Rubio.aoto.trs.stdout2007-06-05 17:40 898  
[ ]TRS.Rubio.bintrees.trs.stderr2007-06-05 17:40 133  
[ ]TRS.Rubio.bintrees.trs.stdout2007-06-05 17:40 1.5K 
[ ]TRS.Rubio.bn122.trs.stderr2007-06-05 17:40 133  
[ ]TRS.Rubio.bn122.trs.stdout2007-06-05 17:40 1.1K 
[ ]TRS.Rubio.bn129.trs.stderr2007-06-05 17:40 133  
[ ]TRS.Rubio.bn129.trs.stdout2007-06-05 17:40 2.5K 
[ ]TRS.Rubio.division.trs.stderr2007-06-05 17:40 133  
[ ]TRS.Rubio.division.trs.stdout2007-06-05 17:40 1.9K 
[ ]TRS.Rubio.elimdupl.trs.stderr2007-06-05 17:40 133  
[ ]TRS.Rubio.elimdupl.trs.stdout2007-06-05 17:40 2.0K 
[ ]TRS.Rubio.enno.trs.stderr2007-06-05 17:40 133  
[ ]TRS.Rubio.enno.trs.stdout2007-06-05 17:40 3.4K 
[TXT]TRS.Rubio.gcd.trs.stderr2007-06-05 17:40 133  
[TXT]TRS.Rubio.gcd.trs.stdout2007-06-05 17:40 2.5K 
[ ]TRS.Rubio.gm.trs.stderr2007-06-05 17:40 133  
[ ]TRS.Rubio.gm.trs.stdout2007-06-05 17:40 1.3K 
[ ]TRS.Rubio.gmnp.trs.stderr2007-06-05 17:40 133  
[ ]TRS.Rubio.gmnp.trs.stdout2007-06-05 17:40 1.3K 
[ ]TRS.Rubio.koen.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.koen.trs.stdout2007-06-05 17:41 740  
[ ]TRS.Rubio.lescanne.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.lescanne.trs.stdout2007-06-05 17:41 1.6K 
[ ]TRS.Rubio.lindau.trs.stderr2007-06-05 17:41 349  
[ ]TRS.Rubio.lindau.trs.stdout2007-06-05 17:41 1.2K 
[ ]TRS.Rubio.logarquot.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.logarquot.trs.stdout2007-06-05 17:41 1.7K 
[ ]TRS.Rubio.ma96.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.ma96.trs.stdout2007-06-05 17:41 6.9K 
[ ]TRS.Rubio.mfp90b.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.mfp90b.trs.stdout2007-06-05 17:41 839  
[ ]TRS.Rubio.mfp95.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.mfp95.trs.stdout2007-06-05 17:41 683  
[ ]TRS.Rubio.nestrec.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.nestrec.trs.stdout2007-06-05 17:41 1.1K 
[ ]TRS.Rubio.p266.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.p266.trs.stdout2007-06-05 17:41 680  
[ ]TRS.Rubio.polo2.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.polo2.trs.stdout2007-06-05 17:41 1.9K 
[ ]TRS.Rubio.prov.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.prov.trs.stdout2007-06-05 17:41 1.1K 
[ ]TRS.Rubio.quick.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.quick.trs.stdout2007-06-05 17:41 3.9K 
[ ]TRS.Rubio.quotminus.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.quotminus.trs.stdout2007-06-05 17:41 1.5K 
[ ]TRS.Rubio.revlist.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.revlist.trs.stdout2007-06-05 17:41 2.8K 
[ ]TRS.Rubio.selsort.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.selsort.trs.stdout2007-06-05 17:41 5.6K 
[ ]TRS.Rubio.test4.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.test4.trs.stdout2007-06-05 17:41 1.1K 
[ ]TRS.Rubio.test829.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.test829.trs.stdout2007-06-05 17:41 916  
[ ]TRS.Rubio.wst99.trs.stderr2007-06-05 17:41 133  
[ ]TRS.Rubio.wst99.trs.stdout2007-06-05 17:41 7.3K 
[ ]TRS.SK90.2.01.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.01.trs.stdout2007-06-05 18:23 1.0K 
[ ]TRS.SK90.2.02.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.02.trs.stdout2007-06-05 18:23 1.9K 
[ ]TRS.SK90.2.03.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.03.trs.stdout2007-06-05 18:23 774  
[ ]TRS.SK90.2.04.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.04.trs.stdout2007-06-05 18:23 845  
[ ]TRS.SK90.2.05.trs.stderr2007-06-05 18:23 770  
[ ]TRS.SK90.2.05.trs.stdout2007-06-05 18:23 34  
[ ]TRS.SK90.2.06.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.06.trs.stdout2007-06-05 18:23 965  
[ ]TRS.SK90.2.07.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.07.trs.stdout2007-06-05 18:23 871  
[ ]TRS.SK90.2.08.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.08.trs.stdout2007-06-05 18:23 1.2K 
[ ]TRS.SK90.2.09.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.09.trs.stdout2007-06-05 18:23 668  
[ ]TRS.SK90.2.10.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.10.trs.stdout2007-06-05 18:23 1.0K 
[ ]TRS.SK90.2.11.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.11.trs.stdout2007-06-05 18:23 1.4K 
[ ]TRS.SK90.2.12.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.12.trs.stdout2007-06-05 18:23 1.5K 
[ ]TRS.SK90.2.13.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.13.trs.stdout2007-06-05 18:23 1.0K 
[ ]TRS.SK90.2.14.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.14.trs.stdout2007-06-05 18:23 2.2K 
[ ]TRS.SK90.2.15.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.15.trs.stdout2007-06-05 18:23 641  
[ ]TRS.SK90.2.16.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.16.trs.stdout2007-06-05 18:23 1.0K 
[ ]TRS.SK90.2.17.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.17.trs.stdout2007-06-05 18:23 1.0K 
[ ]TRS.SK90.2.18.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.18.trs.stdout2007-06-05 18:23 1.0K 
[ ]TRS.SK90.2.19.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.19.trs.stdout2007-06-05 18:23 1.2K 
[ ]TRS.SK90.2.20.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.20.trs.stdout2007-06-05 18:23 677  
[ ]TRS.SK90.2.21.trs.stderr2007-06-05 18:23 133  
[ ]TRS.SK90.2.21.trs.stdout2007-06-05 18:23 873  
[ ]TRS.SK90.2.22.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.22.trs.stdout2007-06-05 18:24 1.2K 
[ ]TRS.SK90.2.23.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.23.trs.stdout2007-06-05 18:24 1.4K 
[ ]TRS.SK90.2.24.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.24.trs.stdout2007-06-05 18:24 845  
[ ]TRS.SK90.2.25.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.25.trs.stdout2007-06-05 18:24 1.1K 
[ ]TRS.SK90.2.26.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.26.trs.stdout2007-06-05 18:24 1.3K 
[ ]TRS.SK90.2.27.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.27.trs.stdout2007-06-05 18:24 1.1K 
[ ]TRS.SK90.2.28.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.28.trs.stdout2007-06-05 18:24 861  
[ ]TRS.SK90.2.29.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.29.trs.stdout2007-06-05 18:24 1.0K 
[ ]TRS.SK90.2.30.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.30.trs.stdout2007-06-05 18:24 777  
[ ]TRS.SK90.2.31.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.31.trs.stdout2007-06-05 18:24 1.5K 
[ ]TRS.SK90.2.32.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.32.trs.stdout2007-06-05 18:24 1.0K 
[ ]TRS.SK90.2.33.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.33.trs.stdout2007-06-05 18:24 932  
[ ]TRS.SK90.2.34.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.34.trs.stdout2007-06-05 18:24 855  
[ ]TRS.SK90.2.35.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.35.trs.stdout2007-06-05 18:24 1.0K 
[ ]TRS.SK90.2.36.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.36.trs.stdout2007-06-05 18:24 1.1K 
[ ]TRS.SK90.2.37.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.37.trs.stdout2007-06-05 18:24 917  
[ ]TRS.SK90.2.38.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.38.trs.stdout2007-06-05 18:24 788  
[ ]TRS.SK90.2.39.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.39.trs.stdout2007-06-05 18:24 2.9K 
[ ]TRS.SK90.2.40.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.40.trs.stdout2007-06-05 18:24 1.0K 
[ ]TRS.SK90.2.41.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.41.trs.stdout2007-06-05 18:24 2.2K 
[ ]TRS.SK90.2.42.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.42.trs.stdout2007-06-05 18:24 1.9K 
[ ]TRS.SK90.2.43.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.43.trs.stdout2007-06-05 18:24 1.4K 
[ ]TRS.SK90.2.44.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.44.trs.stdout2007-06-05 18:24 1.9K 
[ ]TRS.SK90.2.45.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.45.trs.stdout2007-06-05 18:24 1.0K 
[ ]TRS.SK90.2.46.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.46.trs.stdout2007-06-05 18:24 1.9K 
[ ]TRS.SK90.2.47.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.47.trs.stdout2007-06-05 18:24 733  
[ ]TRS.SK90.2.48.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.48.trs.stdout2007-06-05 18:24 1.2K 
[ ]TRS.SK90.2.49.trs.stderr2007-06-05 18:24 133  
[ ]TRS.SK90.2.49.trs.stdout2007-06-05 18:24 1.0K 
[ ]TRS.SK90.2.50.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.2.50.trs.stdout2007-06-05 18:25 723  
[ ]TRS.SK90.2.51.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.2.51.trs.stdout2007-06-05 18:25 1.1K 
[ ]TRS.SK90.2.52.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.2.52.trs.stdout2007-06-05 18:25 2.1K 
[ ]TRS.SK90.2.53.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.2.53.trs.stdout2007-06-05 18:25 713  
[ ]TRS.SK90.2.54.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.2.54.trs.stdout2007-06-05 18:25 752  
[ ]TRS.SK90.2.55.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.2.55.trs.stdout2007-06-05 18:25 755  
[ ]TRS.SK90.2.56.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.2.56.trs.stdout2007-06-05 18:25 582  
[ ]TRS.SK90.2.57.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.2.57.trs.stdout2007-06-05 18:25 751  
[ ]TRS.SK90.2.58.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.2.58.trs.stdout2007-06-05 18:25 1.3K 
[ ]TRS.SK90.2.59.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.2.59.trs.stdout2007-06-05 18:25 746  
[ ]TRS.SK90.2.60.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.2.60.trs.stdout2007-06-05 18:25 767  
[ ]TRS.SK90.2.61.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.2.61.trs.stdout2007-06-05 18:25 1.2K 
[ ]TRS.SK90.4.01.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.4.01.trs.stdout2007-06-05 18:25 679  
[ ]TRS.SK90.4.02.trs.stderr2007-06-05 18:25 493  
[ ]TRS.SK90.4.02.trs.stdout2007-06-05 18:25 5.3K 
[ ]TRS.SK90.4.03.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.4.03.trs.stdout2007-06-05 18:25 1.2K 
[ ]TRS.SK90.4.04.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.4.04.trs.stdout2007-06-05 18:25 754  
[ ]TRS.SK90.4.05.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.4.05.trs.stdout2007-06-05 18:25 956  
[ ]TRS.SK90.4.06.trs.stderr2007-06-05 18:25 770  
[ ]TRS.SK90.4.06.trs.stdout2007-06-05 18:25 34  
[ ]TRS.SK90.4.07.trs.stderr2007-06-05 18:25 133  
[ ]TRS.SK90.4.07.trs.stdout2007-06-05 18:25 690  
[ ]TRS.SK90.4.08.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.08.trs.stdout2007-06-05 18:26 663  
[ ]TRS.SK90.4.09.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.09.trs.stdout2007-06-05 18:26 1.3K 
[ ]TRS.SK90.4.10.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.10.trs.stdout2007-06-05 18:26 1.1K 
[ ]TRS.SK90.4.11.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.11.trs.stdout2007-06-05 18:26 852  
[ ]TRS.SK90.4.12.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.12.trs.stdout2007-06-05 18:26 753  
[ ]TRS.SK90.4.13.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.13.trs.stdout2007-06-05 18:26 800  
[ ]TRS.SK90.4.14.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.14.trs.stdout2007-06-05 18:26 1.5K 
[ ]TRS.SK90.4.15.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.15.trs.stdout2007-06-05 18:26 635  
[ ]TRS.SK90.4.16.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.16.trs.stdout2007-06-05 18:26 789  
[ ]TRS.SK90.4.17.trs.stderr2007-06-05 18:26 709  
[ ]TRS.SK90.4.17.trs.stdout2007-06-05 18:26 1.1K 
[ ]TRS.SK90.4.18.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.18.trs.stdout2007-06-05 18:26 796  
[ ]TRS.SK90.4.19.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.19.trs.stdout2007-06-05 18:26 1.3K 
[ ]TRS.SK90.4.20.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.20.trs.stdout2007-06-05 18:26 1.1K 
[ ]TRS.SK90.4.21.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.21.trs.stdout2007-06-05 18:26 1.3K 
[ ]TRS.SK90.4.22.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.22.trs.stdout2007-06-05 18:26 1.1K 
[ ]TRS.SK90.4.23.trs.stderr2007-06-05 18:26 133  
[ ]TRS.SK90.4.23.trs.stdout2007-06-05 18:26 1.3K 
[ ]TRS.SK90.4.24.trs.stderr2007-06-05 18:27 770  
[ ]TRS.SK90.4.24.trs.stdout2007-06-05 18:27 34  
[ ]TRS.SK90.4.25.trs.stderr2007-06-05 18:27 133  
[ ]TRS.SK90.4.25.trs.stdout2007-06-05 18:27 755  
[ ]TRS.SK90.4.26.trs.stderr2007-06-05 18:27 133  
[ ]TRS.SK90.4.26.trs.stdout2007-06-05 18:27 1.8K 
[ ]TRS.SK90.4.27.trs.stderr2007-06-05 18:27 133  
[ ]TRS.SK90.4.27.trs.stdout2007-06-05 18:27 1.2K 
[ ]TRS.SK90.4.28.trs.stderr2007-06-05 18:27 133  
[ ]TRS.SK90.4.28.trs.stdout2007-06-05 18:27 1.5K 
[ ]TRS.SK90.4.29.trs.stderr2007-06-05 18:27 133  
[ ]TRS.SK90.4.29.trs.stdout2007-06-05 18:27 781  
[ ]TRS.SK90.4.30.trs.stderr2007-06-05 18:27 133  
[ ]TRS.SK90.4.30.trs.stdout2007-06-05 18:27 2.2K 
[ ]TRS.SK90.4.31.trs.stderr2007-06-05 18:27 133  
[ ]TRS.SK90.4.31.trs.stdout2007-06-05 18:27 1.1K 
[ ]TRS.SK90.4.32.trs.stderr2007-06-05 18:28 770  
[ ]TRS.SK90.4.32.trs.stdout2007-06-05 18:28 34  
[ ]TRS.SK90.4.33.trs.stderr2007-06-05 18:28 133  
[ ]TRS.SK90.4.33.trs.stdout2007-06-05 18:28 640  
[ ]TRS.SK90.4.34.trs.stderr2007-06-05 18:29 770  
[ ]TRS.SK90.4.34.trs.stdout2007-06-05 18:29 34  
[ ]TRS.SK90.4.35.trs.stderr2007-06-05 18:29 133  
[ ]TRS.SK90.4.35.trs.stdout2007-06-05 18:29 671  
[ ]TRS.SK90.4.36.trs.stderr2007-06-05 18:29 133  
[ ]TRS.SK90.4.36.trs.stdout2007-06-05 18:29 592  
[ ]TRS.SK90.4.37.trs.stderr2007-06-05 18:29 133  
[ ]TRS.SK90.4.37.trs.stdout2007-06-05 18:29 570  
[ ]TRS.SK90.4.38.trs.stderr2007-06-05 18:29 133  
[ ]TRS.SK90.4.38.trs.stdout2007-06-05 18:29 875  
[ ]TRS.SK90.4.39.trs.stderr2007-06-05 18:29 133  
[ ]TRS.SK90.4.39.trs.stdout2007-06-05 18:29 1.0K 
[ ]TRS.SK90.4.40.trs.stderr2007-06-05 18:29 770  
[ ]TRS.SK90.4.40.trs.stdout2007-06-05 18:29 34  
[ ]TRS.SK90.4.41.trs.stderr2007-06-05 18:30 133  
[ ]TRS.SK90.4.41.trs.stdout2007-06-05 18:30 863  
[ ]TRS.SK90.4.42.trs.stderr2007-06-05 18:30 133  
[ ]TRS.SK90.4.42.trs.stdout2007-06-05 18:30 1.1K 
[ ]TRS.SK90.4.43.trs.stderr2007-06-05 18:30 133  
[ ]TRS.SK90.4.43.trs.stdout2007-06-05 18:30 1.5K 
[ ]TRS.SK90.4.44.trs.stderr2007-06-05 18:30 133  
[ ]TRS.SK90.4.44.trs.stdout2007-06-05 18:30 767  
[ ]TRS.SK90.4.45.trs.stderr2007-06-05 18:30 133  
[ ]TRS.SK90.4.45.trs.stdout2007-06-05 18:30 584  
[ ]TRS.SK90.4.46.trs.stderr2007-06-05 18:30 133  
[ ]TRS.SK90.4.46.trs.stdout2007-06-05 18:30 1.2K 
[ ]TRS.SK90.4.47.trs.stderr2007-06-05 18:30 133  
[ ]TRS.SK90.4.47.trs.stdout2007-06-05 18:30 899  
[ ]TRS.SK90.4.48.trs.stderr2007-06-05 18:30 133  
[ ]TRS.SK90.4.48.trs.stdout2007-06-05 18:30 788  
[ ]TRS.SK90.4.49.trs.stderr2007-06-05 18:30 770  
[ ]TRS.SK90.4.49.trs.stdout2007-06-05 18:30 34  
[ ]TRS.SK90.4.50.trs.stderr2007-06-05 18:30 133  
[ ]TRS.SK90.4.50.trs.stdout2007-06-05 18:30 669  
[ ]TRS.SK90.4.51.trs.stderr2007-06-05 18:30 133  
[ ]TRS.SK90.4.51.trs.stdout2007-06-05 18:30 954  
[ ]TRS.SK90.4.52.trs.stderr2007-06-05 18:30 133  
[ ]TRS.SK90.4.52.trs.stdout2007-06-05 18:30 1.2K 
[ ]TRS.SK90.4.53.trs.stderr2007-06-05 18:30 133  
[ ]TRS.SK90.4.53.trs.stdout2007-06-05 18:30 865  
[ ]TRS.SK90.4.54.trs.stderr2007-06-05 18:31 770  
[ ]TRS.SK90.4.54.trs.stdout2007-06-05 18:31 34  
[ ]TRS.SK90.4.55.trs.stderr2007-06-05 18:31 133  
[ ]TRS.SK90.4.55.trs.stdout2007-06-05 18:31 791  
[ ]TRS.SK90.4.56.trs.stderr2007-06-05 18:31 133  
[ ]TRS.SK90.4.56.trs.stdout2007-06-05 18:31 700  
[ ]TRS.SK90.4.57.trs.stderr2007-06-05 18:31 133  
[ ]TRS.SK90.4.57.trs.stdout2007-06-05 18:31 1.0K 
[ ]TRS.SK90.4.59.trs.stderr2007-06-05 18:31 133  
[ ]TRS.SK90.4.59.trs.stdout2007-06-05 18:31 1.7K 
[ ]TRS.SK90.4.60.trs.stderr2007-06-05 18:31 133  
[ ]TRS.SK90.4.60.trs.stdout2007-06-05 18:31 1.3K 
[ ]TRS.SK90.4.61.trs.stderr2007-06-05 18:32 770  
[ ]TRS.SK90.4.61.trs.stdout2007-06-05 18:32 34  
[ ]TRS.SchneiderKamp.trs.cade01.trs.stderr2007-06-06 13:18 770  
[ ]TRS.SchneiderKamp.trs.cade01.trs.stdout2007-06-06 13:18 34  
[ ]TRS.SchneiderKamp.trs.cade03.trs.stderr2007-06-06 13:20 770  
[ ]TRS.SchneiderKamp.trs.cade03.trs.stdout2007-06-06 13:20 34  
[ ]TRS.SchneiderKamp.trs.cade04t.trs.stderr2007-06-06 13:20 770  
[ ]TRS.SchneiderKamp.trs.cade04t.trs.stdout2007-06-06 13:20 34  
[ ]TRS.SchneiderKamp.trs.cade05t.trs.stderr2007-06-06 13:20 770  
[ ]TRS.SchneiderKamp.trs.cade05t.trs.stdout2007-06-06 13:20 34  
[ ]TRS.SchneiderKamp.trs.cade06.trs.stderr2007-06-06 13:21 770  
[ ]TRS.SchneiderKamp.trs.cade06.trs.stdout2007-06-06 13:21 34  
[ ]TRS.SchneiderKamp.trs.cade07.trs.stderr2007-06-06 13:22 770  
[ ]TRS.SchneiderKamp.trs.cade07.trs.stdout2007-06-06 13:22 34  
[ ]TRS.SchneiderKamp.trs.cade08.trs.stderr2007-06-06 13:22 770  
[ ]TRS.SchneiderKamp.trs.cade08.trs.stdout2007-06-06 13:22 34  
[ ]TRS.SchneiderKamp.trs.cade09.trs.stderr2007-06-06 13:23 770  
[ ]TRS.SchneiderKamp.trs.cade09.trs.stdout2007-06-06 13:23 34  
[ ]TRS.SchneiderKamp.trs.cade10.trs.stderr2007-06-06 13:23 770  
[ ]TRS.SchneiderKamp.trs.cade10.trs.stdout2007-06-06 13:23 34  
[ ]TRS.SchneiderKamp.trs.cade11.trs.stderr2007-06-06 13:23 770  
[ ]TRS.SchneiderKamp.trs.cade11.trs.stdout2007-06-06 13:23 34  
[ ]TRS.SchneiderKamp.trs.cade12t.trs.stderr2007-06-06 13:25 770  
[ ]TRS.SchneiderKamp.trs.cade12t.trs.stdout2007-06-06 13:25 34  
[ ]TRS.SchneiderKamp.trs.cade13t.trs.stderr2007-06-06 13:26 770  
[ ]TRS.SchneiderKamp.trs.cade13t.trs.stdout2007-06-06 13:26 34  
[ ]TRS.SchneiderKamp.trs.cade14.trs.stderr2007-06-06 13:27 770  
[ ]TRS.SchneiderKamp.trs.cade14.trs.stdout2007-06-06 13:27 34  
[ ]TRS.SchneiderKamp.trs.cade15.trs.stderr2007-06-06 13:28 770  
[ ]TRS.SchneiderKamp.trs.cade15.trs.stdout2007-06-06 13:28 34  
[ ]TRS.SchneiderKamp.trs.cade16.trs.stderr2007-06-06 13:28 770  
[ ]TRS.SchneiderKamp.trs.cade16.trs.stdout2007-06-06 13:28 34  
[ ]TRS.SchneiderKamp.trs.cade17.trs.stderr2007-06-06 13:30 770  
[ ]TRS.SchneiderKamp.trs.cade17.trs.stdout2007-06-06 13:30 34  
[ ]TRS.SchneiderKamp.trs.kabasci01.trs.stderr2007-06-06 13:31 770  
[ ]TRS.SchneiderKamp.trs.kabasci01.trs.stdout2007-06-06 13:31 34  
[ ]TRS.SchneiderKamp.trs.kabasci02.trs.stderr2007-06-06 13:32 770  
[ ]TRS.SchneiderKamp.trs.kabasci02.trs.stdout2007-06-06 13:32 34  
[ ]TRS.SchneiderKamp.trs.kabasci03.trs.stderr2007-06-06 13:34 770  
[ ]TRS.SchneiderKamp.trs.kabasci03.trs.stdout2007-06-06 13:34 34  
[ ]TRS.SchneiderKamp.trs.kabasci04.trs.stderr2007-06-06 13:34 565  
[ ]TRS.SchneiderKamp.trs.kabasci04.trs.stdout2007-06-06 13:34 2.2K 
[ ]TRS.SchneiderKamp.trs.kabasci05.trs.stderr2007-06-06 13:35 770  
[ ]TRS.SchneiderKamp.trs.kabasci05.trs.stdout2007-06-06 13:35 34  
[ ]TRS.SchneiderKamp.trs.kabasci06.trs.stderr2007-06-06 13:36 770  
[ ]TRS.SchneiderKamp.trs.kabasci06.trs.stdout2007-06-06 13:36 34  
[ ]TRS.SchneiderKamp.trs.otto01.trs.stderr2007-06-06 13:37 770  
[ ]TRS.SchneiderKamp.trs.otto01.trs.stdout2007-06-06 13:37 34  
[ ]TRS.SchneiderKamp.trs.otto02.trs.stderr2007-06-06 13:38 770  
[ ]TRS.SchneiderKamp.trs.otto02.trs.stdout2007-06-06 13:38 34  
[ ]TRS.SchneiderKamp.trs.otto03.trs.stderr2007-06-06 13:39 770  
[ ]TRS.SchneiderKamp.trs.otto03.trs.stdout2007-06-06 13:39 34  
[ ]TRS.SchneiderKamp.trs.otto04.trs.stderr2007-06-06 13:39 770  
[ ]TRS.SchneiderKamp.trs.otto04.trs.stdout2007-06-06 13:39 34  
[ ]TRS.SchneiderKamp.trs.otto05.trs.stderr2007-06-06 13:39 277  
[ ]TRS.SchneiderKamp.trs.otto05.trs.stdout2007-06-06 13:39 2.0K 
[ ]TRS.SchneiderKamp.trs.otto06.trs.stderr2007-06-06 13:41 770  
[ ]TRS.SchneiderKamp.trs.otto06.trs.stdout2007-06-06 13:41 34  
[ ]TRS.SchneiderKamp.trs.otto07.trs.stderr2007-06-06 13:42 770  
[ ]TRS.SchneiderKamp.trs.otto07.trs.stdout2007-06-06 13:42 34  
[ ]TRS.SchneiderKamp.trs.otto08.trs.stderr2007-06-06 13:43 770  
[ ]TRS.SchneiderKamp.trs.otto08.trs.stdout2007-06-06 13:43 34  
[ ]TRS.SchneiderKamp.trs.otto09.trs.stderr2007-06-06 13:44 770  
[ ]TRS.SchneiderKamp.trs.otto09.trs.stdout2007-06-06 13:44 34  
[ ]TRS.SchneiderKamp.trs.otto10.trs.stderr2007-06-06 13:45 770  
[ ]TRS.SchneiderKamp.trs.otto10.trs.stdout2007-06-06 13:45 34  
[ ]TRS.SchneiderKamp.trs.otto11.trs.stderr2007-06-06 13:46 770  
[ ]TRS.SchneiderKamp.trs.otto11.trs.stdout2007-06-06 13:46 34  
[ ]TRS.SchneiderKamp.trs.otto12.trs.stderr2007-06-06 13:47 770  
[ ]TRS.SchneiderKamp.trs.otto12.trs.stdout2007-06-06 13:47 34  
[ ]TRS.SchneiderKamp.trs.otto13.trs.stderr2007-06-06 13:48 770  
[ ]TRS.SchneiderKamp.trs.otto13.trs.stdout2007-06-06 13:48 34  
[ ]TRS.SchneiderKamp.trs.thiemann01.trs.stderr2007-06-06 13:49 770  
[ ]TRS.SchneiderKamp.trs.thiemann01.trs.stdout2007-06-06 13:49 34  
[ ]TRS.SchneiderKamp.trs.thiemann02.trs.stderr2007-06-06 13:50 770  
[ ]TRS.SchneiderKamp.trs.thiemann02.trs.stdout2007-06-06 13:50 34  
[ ]TRS.SchneiderKamp.trs.thiemann03.trs.stderr2007-06-06 13:52 770  
[ ]TRS.SchneiderKamp.trs.thiemann03.trs.stdout2007-06-06 13:52 34  
[ ]TRS.SchneiderKamp.trs.thiemann04.trs.stderr2007-06-06 13:53 770  
[ ]TRS.SchneiderKamp.trs.thiemann04.trs.stdout2007-06-06 13:53 34  
[ ]TRS.SchneiderKamp.trs.thiemann05.trs.stderr2007-06-06 13:54 770  
[ ]TRS.SchneiderKamp.trs.thiemann05.trs.stdout2007-06-06 13:54 34  
[ ]TRS.SchneiderKamp.trs.thiemann06.trs.stderr2007-06-06 13:56 770  
[ ]TRS.SchneiderKamp.trs.thiemann06.trs.stdout2007-06-06 13:56 34  
[ ]TRS.SchneiderKamp.trs.thiemann07.trs.stderr2007-06-06 13:58 770  
[ ]TRS.SchneiderKamp.trs.thiemann07.trs.stdout2007-06-06 13:58 34  
[ ]TRS.SchneiderKamp.trs.thiemann08.trs.stderr2007-06-06 13:58 349  
[ ]TRS.SchneiderKamp.trs.thiemann08.trs.stdout2007-06-06 13:58 2.8K 
[ ]TRS.SchneiderKamp.trs.thiemann09.trs.stderr2007-06-06 13:58 770  
[ ]TRS.SchneiderKamp.trs.thiemann09.trs.stdout2007-06-06 13:58 34  
[ ]TRS.SchneiderKamp.trs.thiemann10.trs.stderr2007-06-06 13:59 277  
[ ]TRS.SchneiderKamp.trs.thiemann10.trs.stdout2007-06-06 13:59 2.1K 
[ ]TRS.SchneiderKamp.trs.thiemann11.trs.stderr2007-06-06 14:00 770  
[ ]TRS.SchneiderKamp.trs.thiemann11.trs.stdout2007-06-06 14:00 34  
[ ]TRS.SchneiderKamp.trs.thiemann12.trs.stderr2007-06-06 14:00 277  
[ ]TRS.SchneiderKamp.trs.thiemann12.trs.stdout2007-06-06 14:00 2.1K 
[ ]TRS.SchneiderKamp.trs.thiemann13.trs.stderr2007-06-06 14:02 770  
[ ]TRS.SchneiderKamp.trs.thiemann13.trs.stdout2007-06-06 14:02 34  
[ ]TRS.SchneiderKamp.trs.thiemann14.trs.stderr2007-06-06 14:03 770  
[ ]TRS.SchneiderKamp.trs.thiemann14.trs.stdout2007-06-06 14:03 34  
[ ]TRS.SchneiderKamp.trs.thiemann15.trs.stderr2007-06-06 14:03 277  
[ ]TRS.SchneiderKamp.trs.thiemann15.trs.stdout2007-06-06 14:03 1.9K 
[ ]TRS.SchneiderKamp.trs.thiemann16.trs.stderr2007-06-06 14:04 770  
[ ]TRS.SchneiderKamp.trs.thiemann16.trs.stdout2007-06-06 14:04 34  
[ ]TRS.SchneiderKamp.trs.thiemann17.trs.stderr2007-06-06 14:05 770  
[ ]TRS.SchneiderKamp.trs.thiemann17.trs.stdout2007-06-06 14:05 34  
[ ]TRS.SchneiderKamp.trs.thiemann18.trs.stderr2007-06-06 14:07 770  
[ ]TRS.SchneiderKamp.trs.thiemann18.trs.stdout2007-06-06 14:07 34  
[ ]TRS.SchneiderKamp.trs.thiemann19.trs.stderr2007-06-06 14:08 770  
[ ]TRS.SchneiderKamp.trs.thiemann19.trs.stdout2007-06-06 14:08 34  
[ ]TRS.SchneiderKamp.trs.thiemann20.trs.stderr2007-06-06 14:08 133  
[ ]TRS.SchneiderKamp.trs.thiemann20.trs.stdout2007-06-06 14:08 1.6K 
[ ]TRS.SchneiderKamp.trs.thiemann21.trs.stderr2007-06-06 14:10 770  
[ ]TRS.SchneiderKamp.trs.thiemann21.trs.stdout2007-06-06 14:10 34  
[ ]TRS.SchneiderKamp.trs.thiemann22.trs.stderr2007-06-06 14:11 770  
[ ]TRS.SchneiderKamp.trs.thiemann22.trs.stdout2007-06-06 14:11 34  
[ ]TRS.SchneiderKamp.trs.thiemann23.trs.stderr2007-06-06 14:12 770  
[ ]TRS.SchneiderKamp.trs.thiemann23.trs.stdout2007-06-06 14:12 34  
[ ]TRS.SchneiderKamp.trs.thiemann24.trs.stderr2007-06-06 14:13 770  
[ ]TRS.SchneiderKamp.trs.thiemann24.trs.stdout2007-06-06 14:13 34  
[ ]TRS.SchneiderKamp.trs.thiemann25.trs.stderr2007-06-06 14:14 770  
[ ]TRS.SchneiderKamp.trs.thiemann25.trs.stdout2007-06-06 14:14 34  
[ ]TRS.SchneiderKamp.trs.thiemann26.trs.stderr2007-06-06 14:15 770  
[ ]TRS.SchneiderKamp.trs.thiemann26.trs.stdout2007-06-06 14:15 34  
[ ]TRS.SchneiderKamp.trs.thiemann27.trs.stderr2007-06-06 14:15 770  
[ ]TRS.SchneiderKamp.trs.thiemann27.trs.stdout2007-06-06 14:15 34  
[ ]TRS.SchneiderKamp.trs.thiemann28.trs.stderr2007-06-06 14:16 770  
[ ]TRS.SchneiderKamp.trs.thiemann28.trs.stdout2007-06-06 14:16 34  
[ ]TRS.SchneiderKamp.trs.thiemann29.trs.stderr2007-06-06 14:18 770  
[ ]TRS.SchneiderKamp.trs.thiemann29.trs.stdout2007-06-06 14:18 34  
[ ]TRS.SchneiderKamp.trs.thiemann30.trs.stderr2007-06-06 14:20 770  
[ ]TRS.SchneiderKamp.trs.thiemann30.trs.stdout2007-06-06 14:20 34  
[ ]TRS.SchneiderKamp.trs.thiemann31.trs.stderr2007-06-06 14:22 770  
[ ]TRS.SchneiderKamp.trs.thiemann31.trs.stdout2007-06-06 14:22 34  
[ ]TRS.SchneiderKamp.trs.thiemann32.trs.stderr2007-06-06 14:22 133  
[ ]TRS.SchneiderKamp.trs.thiemann32.trs.stdout2007-06-06 14:22 2.3K 
[ ]TRS.SchneiderKamp.trs.thiemann33.trs.stderr2007-06-06 14:22 133  
[ ]TRS.SchneiderKamp.trs.thiemann33.trs.stdout2007-06-06 14:22 2.0K 
[ ]TRS.SchneiderKamp.trs.thiemann34.trs.stderr2007-06-06 14:23 770  
[ ]TRS.SchneiderKamp.trs.thiemann34.trs.stdout2007-06-06 14:23 34  
[ ]TRS.SchneiderKamp.trs.thiemann35.trs.stderr2007-06-06 14:24 770  
[ ]TRS.SchneiderKamp.trs.thiemann35.trs.stdout2007-06-06 14:24 34  
[ ]TRS.SchneiderKamp.trs.thiemann36.trs.stderr2007-06-06 14:26 770  
[ ]TRS.SchneiderKamp.trs.thiemann36.trs.stdout2007-06-06 14:26 34  
[ ]TRS.SchneiderKamp.trs.thiemann37.trs.stderr2007-06-06 14:26 133  
[ ]TRS.SchneiderKamp.trs.thiemann37.trs.stdout2007-06-06 14:26 3.2K 
[ ]TRS.SchneiderKamp.trs.thiemann38.trs.stderr2007-06-06 14:27 770  
[ ]TRS.SchneiderKamp.trs.thiemann38.trs.stdout2007-06-06 14:27 34  
[ ]TRS.SchneiderKamp.trs.thiemann39.trs.stderr2007-06-06 14:28 770  
[ ]TRS.SchneiderKamp.trs.thiemann39.trs.stdout2007-06-06 14:28 34  
[ ]TRS.SchneiderKamp.trs.thiemann40.trs.stderr2007-06-06 14:28 349  
[ ]TRS.SchneiderKamp.trs.thiemann40.trs.stdout2007-06-06 14:28 1.3K 
[ ]TRS.SchneiderKamp.trs.thiemann41.trs.stderr2007-06-06 14:29 770  
[ ]TRS.SchneiderKamp.trs.thiemann41.trs.stdout2007-06-06 14:29 34  
[ ]TRS.SchneiderKamp.trs.wiehe01.trs.stderr2007-06-06 14:30 770  
[ ]TRS.SchneiderKamp.trs.wiehe01.trs.stdout2007-06-06 14:30 34  
[ ]TRS.SchneiderKamp.trs.wiehe02.trs.stderr2007-06-06 14:31 770  
[ ]TRS.SchneiderKamp.trs.wiehe02.trs.stdout2007-06-06 14:31 34  
[ ]TRS.SchneiderKamp.trs.wiehe03.trs.stderr2007-06-06 14:33 770  
[ ]TRS.SchneiderKamp.trs.wiehe03.trs.stdout2007-06-06 14:33 34  
[ ]TRS.SchneiderKamp.trs.wiehe05.trs.stderr2007-06-06 14:34 770  
[ ]TRS.SchneiderKamp.trs.wiehe05.trs.stdout2007-06-06 14:34 34  
[ ]TRS.SchneiderKamp.trs.wiehe06.trs.stderr2007-06-06 14:35 770  
[ ]TRS.SchneiderKamp.trs.wiehe06.trs.stdout2007-06-06 14:35 34  
[ ]TRS.SchneiderKamp.trs.wiehe07.trs.stderr2007-06-06 14:36 770  
[ ]TRS.SchneiderKamp.trs.wiehe07.trs.stdout2007-06-06 14:36 34  
[ ]TRS.SchneiderKamp.trs.wiehe08.trs.stderr2007-06-06 14:38 770  
[ ]TRS.SchneiderKamp.trs.wiehe08.trs.stdout2007-06-06 14:38 34  
[ ]TRS.SchneiderKamp.trs.wiehe09.trs.stderr2007-06-06 14:39 770  
[ ]TRS.SchneiderKamp.trs.wiehe09.trs.stdout2007-06-06 14:39 34  
[ ]TRS.SchneiderKamp.trs.wiehe11.trs.stderr2007-06-06 14:40 770  
[ ]TRS.SchneiderKamp.trs.wiehe11.trs.stdout2007-06-06 14:40 34  
[ ]TRS.SchneiderKamp.trs.wiehe12.trs.stderr2007-06-06 14:41 770  
[ ]TRS.SchneiderKamp.trs.wiehe12.trs.stdout2007-06-06 14:41 34  
[ ]TRS.Ste92.hydra.trs.stderr2007-06-05 18:32 133  
[ ]TRS.Ste92.hydra.trs.stdout2007-06-05 18:32 822  
[ ]TRS.Ste92.minsort.trs.stderr2007-06-05 18:33 770  
[ ]TRS.Ste92.minsort.trs.stdout2007-06-05 18:33 34  
[ ]TRS.Ste92.motivation.trs.stderr2007-06-05 18:34 133  
[ ]TRS.Ste92.motivation.trs.stdout2007-06-05 18:34 1.6K 
[ ]TRS.Ste92.perfect.trs.stderr2007-06-05 18:35 133  
[ ]TRS.Ste92.perfect.trs.stdout2007-06-05 18:35 1.1K 
[ ]TRS.Ste92.perfect2.trs.stderr2007-06-05 18:35 133  
[ ]TRS.Ste92.perfect2.trs.stdout2007-06-05 18:35 2.3K 
[ ]TRS.TRCSR.Ex1_2_AEL03_C.trs.stderr2007-06-05 18:51 770  
[ ]TRS.TRCSR.Ex1_2_AEL03_C.trs.stdout2007-06-05 18:51 34  
[ ]TRS.TRCSR.Ex1_2_AEL03_GM.trs.stderr2007-06-05 18:54 770  
[ ]TRS.TRCSR.Ex1_2_AEL03_GM.trs.stdout2007-06-05 18:54 34  
[ ]TRS.TRCSR.Ex1_2_AEL03_iGM.trs.stderr2007-06-05 18:57 770  
[ ]TRS.TRCSR.Ex1_2_AEL03_iGM.trs.stdout2007-06-05 18:57 34  
[ ]TRS.TRCSR.Ex1_2_Luc02c_Z.trs.stderr2007-06-05 18:59 133  
[ ]TRS.TRCSR.Ex1_2_Luc02c_Z.trs.stdout2007-06-05 18:59 877  
[ ]TRS.TRCSR.Ex1_GL02a_GM.trs.stderr2007-06-05 19:07 133  
[ ]TRS.TRCSR.Ex1_GL02a_GM.trs.stdout2007-06-05 19:07 1.7K 
[ ]TRS.TRCSR.Ex1_GL02a_Z.trs.stderr2007-06-05 19:08 770  
[ ]TRS.TRCSR.Ex1_GL02a_Z.trs.stdout2007-06-05 19:08 34  
[ ]TRS.TRCSR.Ex1_GM03_GM.trs.stderr2007-06-05 19:11 770  
[ ]TRS.TRCSR.Ex1_GM03_GM.trs.stdout2007-06-05 19:11 34  
[ ]TRS.TRCSR.Ex1_GM99_iGM.trs.stderr2007-06-05 19:13 770  
[ ]TRS.TRCSR.Ex1_GM99_iGM.trs.stdout2007-06-05 19:13 34  
[ ]TRS.TRCSR.Ex1_Luc02b_C.trs.stderr2007-06-05 19:15 770  
[ ]TRS.TRCSR.Ex1_Luc02b_C.trs.stdout2007-06-05 19:15 34  
[ ]TRS.TRCSR.Ex1_Luc02b_FR.trs.stderr2007-06-05 19:16 133  
[ ]TRS.TRCSR.Ex1_Luc02b_FR.trs.stdout2007-06-05 19:16 5.7K 
[ ]TRS.TRCSR.Ex1_Luc02b_L.trs.stderr2007-06-05 19:19 61  
[ ]TRS.TRCSR.Ex1_Luc02b_L.trs.stdout2007-06-05 19:19 69  
[ ]TRS.TRCSR.Ex1_Luc02b_iGM.trs.stderr2007-06-05 19:18 770  
[ ]TRS.TRCSR.Ex1_Luc02b_iGM.trs.stdout2007-06-05 19:18 34  
[ ]TRS.TRCSR.Ex1_Luc04b_iGM.trs.stderr2007-06-05 19:19 133  
[ ]TRS.TRCSR.Ex1_Luc04b_iGM.trs.stdout2007-06-05 19:19 21K 
[ ]TRS.TRCSR.Ex1_Zan97_C.trs.stderr2007-06-05 19:20 770  
[ ]TRS.TRCSR.Ex1_Zan97_C.trs.stdout2007-06-05 19:20 34  
[ ]TRS.TRCSR.Ex1_Zan97_GM.trs.stderr2007-06-05 19:20 133  
[ ]TRS.TRCSR.Ex1_Zan97_GM.trs.stdout2007-06-05 19:20 1.0K 
[ ]TRS.TRCSR.Ex2_Luc02a_C.trs.stderr2007-06-05 19:24 770  
[ ]TRS.TRCSR.Ex2_Luc02a_C.trs.stdout2007-06-05 19:24 34  
[ ]TRS.TRCSR.Ex2_Luc02a_Z.trs.stderr2007-06-05 19:25 133  
[ ]TRS.TRCSR.Ex2_Luc02a_Z.trs.stdout2007-06-05 19:25 1.8K 
[ ]TRS.TRCSR.Ex2_Luc03b_C.trs.stderr2007-06-05 19:25 133  
[ ]TRS.TRCSR.Ex2_Luc03b_C.trs.stdout2007-06-05 19:25 9.0K 
[ ]TRS.TRCSR.Ex2_Luc03b_iGM.trs.stderr2007-06-05 19:25 133  
[ ]TRS.TRCSR.Ex2_Luc03b_iGM.trs.stdout2007-06-05 19:25 34K 
[ ]TRS.TRCSR.Ex3_2_Luc97_L.trs.stderr2007-06-05 19:28 61  
[ ]TRS.TRCSR.Ex3_2_Luc97_L.trs.stdout2007-06-05 19:28 69  
[ ]TRS.TRCSR.Ex3_2_Luc97_iGM.trs.stderr2007-06-05 19:27 770  
[ ]TRS.TRCSR.Ex3_2_Luc97_iGM.trs.stdout2007-06-05 19:27 34  
[ ]TRS.TRCSR.Ex3_3_25_Bor03_C.trs.stderr2007-06-05 19:28 205  
[ ]TRS.TRCSR.Ex3_3_25_Bor03_C.trs.stdout2007-06-05 19:28 10K 
[ ]TRS.TRCSR.Ex3_12_Luc96a_FR.trs.stderr2007-06-05 19:25 133  
[ ]TRS.TRCSR.Ex3_12_Luc96a_FR.trs.stdout2007-06-05 19:25 1.3K 
[ ]TRS.TRCSR.Ex3_12_Luc96a_L.trs.stderr2007-06-05 19:25 61  
[ ]TRS.TRCSR.Ex3_12_Luc96a_L.trs.stdout2007-06-05 19:25 69  
[ ]TRS.TRCSR.Ex4_7_37_Bor03_C.trs.stderr2007-06-05 19:30 770  
[ ]TRS.TRCSR.Ex4_7_37_Bor03_C.trs.stdout2007-06-05 19:30 34  
[ ]TRS.TRCSR.Ex4_7_37_Bor03_FR.trs.stderr2007-06-05 19:31 133  
[ ]TRS.TRCSR.Ex4_7_37_Bor03_FR.trs.stdout2007-06-05 19:31 6.3K 
[ ]TRS.TRCSR.Ex4_7_37_Bor03_L.trs.stderr2007-06-05 19:31 61  
[ ]TRS.TRCSR.Ex4_7_37_Bor03_L.trs.stdout2007-06-05 19:31 69  
[ ]TRS.TRCSR.Ex4_7_37_Bor03_Z.trs.stderr2007-06-05 19:31 133  
[ ]TRS.TRCSR.Ex4_7_37_Bor03_Z.trs.stdout2007-06-05 19:31 2.8K 
[ ]TRS.TRCSR.Ex4_7_56_Bor03_GM.trs.stderr2007-06-05 19:32 770  
[ ]TRS.TRCSR.Ex4_7_56_Bor03_GM.trs.stdout2007-06-05 19:32 34  
[ ]TRS.TRCSR.Ex4_DLMMU04_C.trs.stderr2007-06-05 19:37 770  
[ ]TRS.TRCSR.Ex4_DLMMU04_C.trs.stdout2007-06-05 19:37 34  
[ ]TRS.TRCSR.Ex4_DLMMU04_FR.trs.stderr2007-06-05 19:40 770  
[ ]TRS.TRCSR.Ex4_DLMMU04_FR.trs.stdout2007-06-05 19:40 34  
[ ]TRS.TRCSR.Ex4_DLMMU04_L.trs.stderr2007-06-05 19:40 61  
[ ]TRS.TRCSR.Ex4_DLMMU04_L.trs.stdout2007-06-05 19:40 69  
[ ]TRS.TRCSR.Ex5_7_Luc97_C.trs.stderr2007-06-05 19:41 770  
[ ]TRS.TRCSR.Ex5_7_Luc97_C.trs.stdout2007-06-05 19:42 34  
[ ]TRS.TRCSR.Ex5_7_Luc97_GM.trs.stderr2007-06-05 19:45 770  
[ ]TRS.TRCSR.Ex5_7_Luc97_GM.trs.stdout2007-06-05 19:45 34  
[ ]TRS.TRCSR.Ex5_DLMMU04_L.trs.stderr2007-06-05 19:46 61  
[ ]TRS.TRCSR.Ex5_DLMMU04_L.trs.stdout2007-06-05 19:46 69  
[ ]TRS.TRCSR.Ex5_Zan97_FR.trs.stderr2007-06-05 19:46 133  
[ ]TRS.TRCSR.Ex5_Zan97_FR.trs.stdout2007-06-05 19:46 1.5K 
[ ]TRS.TRCSR.Ex6_9_Luc02c_C.trs.stderr2007-06-05 19:53 133  
[ ]TRS.TRCSR.Ex6_9_Luc02c_C.trs.stdout2007-06-05 19:53 7.0K 
[ ]TRS.TRCSR.Ex6_15_AEL02_C.trs.stderr2007-06-05 19:48 770  
[ ]TRS.TRCSR.Ex6_15_AEL02_C.trs.stdout2007-06-05 19:48 34  
[ ]TRS.TRCSR.Ex6_15_AEL02_GM.trs.stderr2007-06-05 19:51 770  
[ ]TRS.TRCSR.Ex6_15_AEL02_GM.trs.stdout2007-06-05 19:51 34  
[ ]TRS.TRCSR.Ex6_GM04_FR.trs.stderr2007-06-05 19:53 770  
[ ]TRS.TRCSR.Ex6_GM04_FR.trs.stdout2007-06-05 19:53 34  
[ ]TRS.TRCSR.Ex6_GM04_Z.trs.stderr2007-06-05 19:53 770  
[ ]TRS.TRCSR.Ex6_GM04_Z.trs.stdout2007-06-05 19:53 34  
[ ]TRS.TRCSR.Ex6_Luc98_C.trs.stderr2007-06-05 19:53 133  
[ ]TRS.TRCSR.Ex6_Luc98_C.trs.stdout2007-06-05 19:53 6.5K 
[ ]TRS.TRCSR.Ex6_Luc98_L.trs.stderr2007-06-05 19:53 133  
[ ]TRS.TRCSR.Ex6_Luc98_L.trs.stdout2007-06-05 19:53 1.3K 
[ ]TRS.TRCSR.Ex7_BLR02_C.trs.stderr2007-06-05 19:54 770  
[ ]TRS.TRCSR.Ex7_BLR02_C.trs.stdout2007-06-05 19:54 34  
[ ]TRS.TRCSR.Ex7_BLR02_FR.trs.stderr2007-06-05 19:55 133  
[ ]TRS.TRCSR.Ex7_BLR02_FR.trs.stdout2007-06-05 19:55 2.8K 
[ ]TRS.TRCSR.Ex7_BLR02_GM.trs.stderr2007-06-05 19:57 770  
[ ]TRS.TRCSR.Ex7_BLR02_GM.trs.stdout2007-06-05 19:57 34  
[ ]TRS.TRCSR.Ex8_BLR02_FR.trs.stderr2007-06-05 19:58 133  
[ ]TRS.TRCSR.Ex8_BLR02_FR.trs.stdout2007-06-05 19:58 1.9K 
[ ]TRS.TRCSR.Ex8_BLR02_GM.trs.stderr2007-06-05 20:00 770  
[ ]TRS.TRCSR.Ex8_BLR02_GM.trs.stdout2007-06-05 20:00 34  
[ ]TRS.TRCSR.Ex9_BLR02_Z.trs.stderr2007-06-05 20:01 133  
[ ]TRS.TRCSR.Ex9_BLR02_Z.trs.stdout2007-06-05 20:01 2.8K 
[ ]TRS.TRCSR.Ex9_Luc04_FR.trs.stderr2007-06-05 20:01 770  
[ ]TRS.TRCSR.Ex9_Luc04_FR.trs.stdout2007-06-05 20:01 34  
[ ]TRS.TRCSR.Ex9_Luc06_FR.trs.stderr2007-06-05 20:02 770  
[ ]TRS.TRCSR.Ex9_Luc06_FR.trs.stdout2007-06-05 20:02 34  
[ ]TRS.TRCSR.Ex9_Luc06_L.trs.stderr2007-06-05 20:02 770  
[ ]TRS.TRCSR.Ex9_Luc06_L.trs.stdout2007-06-05 20:02 34  
[ ]TRS.TRCSR.Ex14_AEGL02_C.trs.stderr2007-06-05 19:00 770  
[ ]TRS.TRCSR.Ex14_AEGL02_C.trs.stdout2007-06-05 19:00 34  
[ ]TRS.TRCSR.Ex14_AEGL02_GM.trs.stderr2007-06-05 19:01 133  
[ ]TRS.TRCSR.Ex14_AEGL02_GM.trs.stdout2007-06-05 19:01 3.9K 
[ ]TRS.TRCSR.Ex14_Luc06_C.trs.stderr2007-06-05 19:02 770  
[ ]TRS.TRCSR.Ex14_Luc06_C.trs.stdout2007-06-05 19:02 34  
[ ]TRS.TRCSR.Ex14_Luc06_FR.trs.stderr2007-06-05 19:03 770  
[ ]TRS.TRCSR.Ex14_Luc06_FR.trs.stdout2007-06-05 19:03 34  
[ ]TRS.TRCSR.Ex14_Luc06_GM.trs.stderr2007-06-05 19:05 770  
[ ]TRS.TRCSR.Ex14_Luc06_GM.trs.stdout2007-06-05 19:05 34  
[ ]TRS.TRCSR.Ex14_Luc06_Z.trs.stderr2007-06-05 19:06 770  
[ ]TRS.TRCSR.Ex14_Luc06_Z.trs.stdout2007-06-05 19:06 34  
[ ]TRS.TRCSR.Ex15_Luc06_FR.trs.stderr2007-06-05 19:06 133  
[ ]TRS.TRCSR.Ex15_Luc06_FR.trs.stdout2007-06-05 19:06 915  
[ ]TRS.TRCSR.Ex15_Luc06_GM.trs.stderr2007-06-05 19:06 133  
[ ]TRS.TRCSR.Ex15_Luc06_GM.trs.stdout2007-06-05 19:06 738  
[ ]TRS.TRCSR.Ex15_Luc98_iGM.trs.stderr2007-06-05 19:06 133  
[ ]TRS.TRCSR.Ex15_Luc98_iGM.trs.stdout2007-06-05 19:06 46K 
[ ]TRS.TRCSR.Ex16_Luc06_L.trs.stderr2007-06-05 19:06 770  
[ ]TRS.TRCSR.Ex16_Luc06_L.trs.stdout2007-06-05 19:06 34  
[ ]TRS.TRCSR.Ex16_Luc06_iGM.trs.stderr2007-06-05 19:06 770  
[ ]TRS.TRCSR.Ex16_Luc06_iGM.trs.stdout2007-06-05 19:06 34  
[ ]TRS.TRCSR.Ex18_Luc06_FR.trs.stderr2007-06-05 19:07 133  
[ ]TRS.TRCSR.Ex18_Luc06_FR.trs.stdout2007-06-05 19:07 823  
[ ]TRS.TRCSR.Ex18_Luc06_GM.trs.stderr2007-06-05 19:07 133  
[ ]TRS.TRCSR.Ex18_Luc06_GM.trs.stdout2007-06-05 19:07 744  
[ ]TRS.TRCSR.Ex23_Luc06_iGM.trs.stderr2007-06-05 19:20 133  
[ ]TRS.TRCSR.Ex23_Luc06_iGM.trs.stdout2007-06-05 19:20 4.3K 
[ ]TRS.TRCSR.Ex24_GM04_Z.trs.stderr2007-06-05 19:20 770  
[ ]TRS.TRCSR.Ex24_GM04_Z.trs.stdout2007-06-05 19:20 34  
[ ]TRS.TRCSR.Ex24_Luc06_GM.trs.stderr2007-06-05 19:21 770  
[ ]TRS.TRCSR.Ex24_Luc06_GM.trs.stdout2007-06-05 19:21 34  
[ ]TRS.TRCSR.Ex24_Luc06_L.trs.stderr2007-06-05 19:21 770  
[ ]TRS.TRCSR.Ex24_Luc06_L.trs.stdout2007-06-05 19:21 34  
[ ]TRS.TRCSR.Ex25_Luc06_C.trs.stderr2007-06-05 19:21 133  
[ ]TRS.TRCSR.Ex25_Luc06_C.trs.stdout2007-06-05 19:21 4.5K 
[ ]TRS.TRCSR.Ex25_Luc06_L.trs.stderr2007-06-05 19:21 133  
[ ]TRS.TRCSR.Ex25_Luc06_L.trs.stdout2007-06-05 19:21 543  
[ ]TRS.TRCSR.Ex26_Luc03b_Z.trs.stderr2007-06-05 19:22 770  
[ ]TRS.TRCSR.Ex26_Luc03b_Z.trs.stdout2007-06-05 19:22 34  
[ ]TRS.TRCSR.Ex49_GM04_C.trs.stderr2007-06-05 19:35 770  
[ ]TRS.TRCSR.Ex49_GM04_C.trs.stdout2007-06-05 19:35 34  
[ ]TRS.TRCSR.Ex49_GM04_L.trs.stderr2007-06-05 19:35 61  
[ ]TRS.TRCSR.Ex49_GM04_L.trs.stdout2007-06-05 19:35 69  
[ ]TRS.TRCSR.ExAppendixB_AEL03_C.trs.stderr2007-06-05 20:03 770  
[ ]TRS.TRCSR.ExAppendixB_AEL03_C.trs.stdout2007-06-05 20:03 34  
[ ]TRS.TRCSR.ExAppendixB_AEL03_L.trs.stderr2007-06-05 20:05 61  
[ ]TRS.TRCSR.ExAppendixB_AEL03_L.trs.stdout2007-06-05 20:05 69  
[ ]TRS.TRCSR.ExIntrod_GM01_L.trs.stderr2007-06-05 20:05 61  
[ ]TRS.TRCSR.ExIntrod_GM01_L.trs.stdout2007-06-05 20:05 69  
[ ]TRS.TRCSR.ExIntrod_GM04_GM.trs.stderr2007-06-05 20:05 133  
[ ]TRS.TRCSR.ExIntrod_GM04_GM.trs.stdout2007-06-05 20:05 6.9K 
[ ]TRS.TRCSR.ExIntrod_GM99_C.trs.stderr2007-06-05 20:06 770  
[ ]TRS.TRCSR.ExIntrod_GM99_C.trs.stdout2007-06-05 20:06 34  
[ ]TRS.TRCSR.ExIntrod_Zan97_GM.trs.stderr2007-06-05 20:09 770  
[ ]TRS.TRCSR.ExIntrod_Zan97_GM.trs.stdout2007-06-05 20:09 34  
[ ]TRS.TRCSR.ExProp7_Luc06_C.trs.stderr2007-06-05 20:11 565  
[ ]TRS.TRCSR.ExProp7_Luc06_C.trs.stdout2007-06-05 20:11 5.2K 
[ ]TRS.TRCSR.ExProp7_Luc06_GM.trs.stderr2007-06-05 20:11 349  
[ ]TRS.TRCSR.ExProp7_Luc06_GM.trs.stdout2007-06-05 20:11 3.7K 
[ ]TRS.TRCSR.ExSec11_1_Luc02a.trs.stderr2007-06-08 13:46 135  
[ ]TRS.TRCSR.ExSec11_1_Luc02a.trs.stdout2007-06-08 13:46 1.7K 
[ ]TRS.TRCSR.ExSec11_1_Luc02a_GM.trs.stderr2007-06-05 20:13 770  
[ ]TRS.TRCSR.ExSec11_1_Luc02a_GM.trs.stdout2007-06-05 20:13 34  
[ ]TRS.TRCSR.ExSec11_1_Luc02a_iGM.trs.stderr2007-06-05 20:15 770  
[ ]TRS.TRCSR.ExSec11_1_Luc02a_iGM.trs.stdout2007-06-05 20:15 34  
[ ]TRS.TRCSR.LISTUTILITIES_complete_FR.trs.stderr2007-06-05 20:32 770  
[ ]TRS.TRCSR.LISTUTILITIES_complete_FR.trs.stdout2007-06-05 20:32 34  
[ ]TRS.TRCSR.LISTUTILITIES_complete_noand_iGM.trs.stderr2007-06-05 20:36 770  
[ ]TRS.TRCSR.LISTUTILITIES_complete_noand_iGM.trs.stdout2007-06-05 20:36 34  
[ ]TRS.TRCSR.LISTUTILITIES_nokinds_GM.trs.stderr2007-06-05 20:40 770  
[ ]TRS.TRCSR.LISTUTILITIES_nokinds_GM.trs.stdout2007-06-05 20:40 34  
[ ]TRS.TRCSR.LISTUTILITIES_nokinds_L.trs.stderr2007-06-05 20:41 61  
[ ]TRS.TRCSR.LISTUTILITIES_nokinds_L.trs.stdout2007-06-05 20:41 69  
[ ]TRS.TRCSR.LISTUTILITIES_nokinds_Z.trs.stderr2007-06-05 20:43 770  
[ ]TRS.TRCSR.LISTUTILITIES_nokinds_Z.trs.stdout2007-06-05 20:43 34  
[ ]TRS.TRCSR.LISTUTILITIES_nosorts_FR.trs.stderr2007-06-05 20:44 133  
[ ]TRS.TRCSR.LISTUTILITIES_nosorts_FR.trs.stdout2007-06-05 20:44 2.9K 
[ ]TRS.TRCSR.LISTUTILITIES_nosorts_noand_C.trs.stderr2007-06-05 20:46 770  
[ ]TRS.TRCSR.LISTUTILITIES_nosorts_noand_C.trs.stdout2007-06-05 20:46 34  
[ ]TRS.TRCSR.LengthOfFiniteLists_complete-noand_FR.trs.stderr2007-06-05 20:20 770  
[ ]TRS.TRCSR.LengthOfFiniteLists_complete-noand_FR.trs.stdout2007-06-05 20:20 34  
[ ]TRS.TRCSR.LengthOfFiniteLists_complete-noand_Z.trs.stderr2007-06-05 20:24 770  
[ ]TRS.TRCSR.LengthOfFiniteLists_complete-noand_Z.trs.stdout2007-06-05 20:24 34  
[ ]TRS.TRCSR.LengthOfFiniteLists_complete_C.trs.stderr2007-06-05 20:17 770  
[ ]TRS.TRCSR.LengthOfFiniteLists_complete_C.trs.stdout2007-06-05 20:17 34  
[ ]TRS.TRCSR.LengthOfFiniteLists_nokinds_noand_C.trs.stderr2007-06-05 20:27 770  
[ ]TRS.TRCSR.LengthOfFiniteLists_nokinds_noand_C.trs.stdout2007-06-05 20:27 34  
[ ]TRS.TRCSR.LengthOfFiniteLists_nokinds_noand_GM.trs.stderr2007-06-05 20:29 493  
[ ]TRS.TRCSR.LengthOfFiniteLists_nokinds_noand_GM.trs.stdout2007-06-05 20:29 17K 
[ ]TRS.TRCSR.LengthOfFiniteLists_nosorts-noand_Z.trs.stderr2007-06-05 20:30 770  
[ ]TRS.TRCSR.LengthOfFiniteLists_nosorts-noand_Z.trs.stdout2007-06-05 20:30 34  
[ ]TRS.TRCSR.LengthOfFiniteLists_nosorts_FR.trs.stderr2007-06-05 20:29 770  
[ ]TRS.TRCSR.LengthOfFiniteLists_nosorts_FR.trs.stdout2007-06-05 20:29 34  
[ ]TRS.TRCSR.LengthOfFiniteLists_nosorts_L.trs.stderr2007-06-05 20:30 61  
[ ]TRS.TRCSR.LengthOfFiniteLists_nosorts_L.trs.stdout2007-06-05 20:30 69  
[ ]TRS.TRCSR.MYNAT_complete_C.trs.stderr2007-06-05 20:49 770  
[ ]TRS.TRCSR.MYNAT_complete_C.trs.stdout2007-06-05 20:49 34  
[ ]TRS.TRCSR.MYNAT_complete_GM.trs.stderr2007-06-05 20:52 770  
[ ]TRS.TRCSR.MYNAT_complete_GM.trs.stdout2007-06-05 20:52 34  
[ ]TRS.TRCSR.MYNAT_complete_L.trs.stderr2007-06-05 20:53 61  
[ ]TRS.TRCSR.MYNAT_complete_L.trs.stdout2007-06-05 20:53 69  
[ ]TRS.TRCSR.MYNAT_nokinds_C.trs.stderr2007-06-05 20:55 770  
[ ]TRS.TRCSR.MYNAT_nokinds_C.trs.stdout2007-06-05 20:55 34  
[ ]TRS.TRCSR.MYNAT_nokinds_GM.trs.stderr2007-06-05 20:57 770  
[ ]TRS.TRCSR.MYNAT_nokinds_GM.trs.stdout2007-06-05 20:57 34  
[ ]TRS.TRCSR.MYNAT_nokinds_noand_GM.trs.stderr2007-06-05 20:57 493  
[ ]TRS.TRCSR.MYNAT_nokinds_noand_GM.trs.stdout2007-06-05 20:58 61K 
[ ]TRS.TRCSR.MYNAT_nosorts-noand_L.trs.stderr2007-06-05 20:58 61  
[ ]TRS.TRCSR.MYNAT_nosorts-noand_L.trs.stdout2007-06-05 20:58 69  
[ ]TRS.TRCSR.OvConsOS_complete-noand_L.trs.stderr2007-06-05 20:58 61  
[ ]TRS.TRCSR.OvConsOS_complete-noand_L.trs.stdout2007-06-05 20:58 69  
[ ]TRS.TRCSR.OvConsOS_complete_L.trs.stderr2007-06-05 20:58 61  
[ ]TRS.TRCSR.OvConsOS_complete_L.trs.stdout2007-06-05 20:58 69  
[ ]TRS.TRCSR.OvConsOS_nokinds_C.trs.stderr2007-06-05 20:59 770  
[ ]TRS.TRCSR.OvConsOS_nokinds_C.trs.stdout2007-06-05 20:59 34  
[ ]TRS.TRCSR.OvConsOS_nokinds_noand_GM.trs.stderr2007-06-05 21:03 770  
[ ]TRS.TRCSR.OvConsOS_nokinds_noand_GM.trs.stdout2007-06-05 21:03 34  
[ ]TRS.TRCSR.OvConsOS_nosorts-noand_FR.trs.stderr2007-06-06 09:55 770  
[ ]TRS.TRCSR.OvConsOS_nosorts-noand_FR.trs.stdout2007-06-06 09:55 34  
[ ]TRS.TRCSR.OvConsOS_nosorts_C.trs.stderr2007-06-05 21:04 770  
[ ]TRS.TRCSR.OvConsOS_nosorts_C.trs.stdout2007-06-05 21:04 34  
[ ]TRS.TRCSR.OvConsOS_nosorts_GM.trs.stderr2007-06-06 09:52 770  
[ ]TRS.TRCSR.OvConsOS_nosorts_GM.trs.stdout2007-06-06 09:52 34  
[ ]TRS.TRCSR.OvConsOS_nosorts_Z.trs.stderr2007-06-06 09:59 770  
[ ]TRS.TRCSR.OvConsOS_nosorts_Z.trs.stdout2007-06-06 09:59 34  
[ ]TRS.TRCSR.OvConsOS_nosorts_noand_GM.trs.stderr2007-06-06 09:58 770  
[ ]TRS.TRCSR.OvConsOS_nosorts_noand_GM.trs.stdout2007-06-06 09:58 34  
[ ]TRS.TRCSR.PALINDROME_complete-noand_FR.trs.stderr2007-06-06 09:59 133  
[ ]TRS.TRCSR.PALINDROME_complete-noand_FR.trs.stdout2007-06-06 09:59 45K 
[ ]TRS.TRCSR.PALINDROME_nokinds-noand_L.trs.stderr2007-06-06 10:00 770  
[ ]TRS.TRCSR.PALINDROME_nokinds-noand_L.trs.stdout2007-06-06 10:00 34  
[ ]TRS.TRCSR.PALINDROME_nosorts-noand_L.trs.stderr2007-06-06 10:00 133  
[ ]TRS.TRCSR.PALINDROME_nosorts-noand_L.trs.stdout2007-06-06 10:00 879  
[ ]TRS.TRCSR.PALINDROME_nosorts-noand_Z.trs.stderr2007-06-06 10:00 133  
[ ]TRS.TRCSR.PALINDROME_nosorts-noand_Z.trs.stdout2007-06-06 10:00 1.5K 
[ ]TRS.TRCSR.PALINDROME_nosorts_C.trs.stderr2007-06-06 10:00 205  
[ ]TRS.TRCSR.PALINDROME_nosorts_C.trs.stdout2007-06-06 10:00 5.7K 
[ ]TRS.TRCSR.PALINDROME_nosorts_GM.trs.stderr2007-06-06 10:00 133  
[ ]TRS.TRCSR.PALINDROME_nosorts_GM.trs.stdout2007-06-06 10:00 14K 
[ ]TRS.TRCSR.PALINDROME_nosorts_noand_C.trs.stderr2007-06-06 10:00 205  
[ ]TRS.TRCSR.PALINDROME_nosorts_noand_C.trs.stdout2007-06-06 10:00 6.5K 
[ ]TRS.TRCSR.PEANO_complete-noand_Z.trs.stderr2007-06-06 10:00 133  
[ ]TRS.TRCSR.PEANO_complete-noand_Z.trs.stdout2007-06-06 10:00 196K 
[ ]TRS.TRCSR.PEANO_nokinds_C.trs.stderr2007-06-06 10:02 770  
[ ]TRS.TRCSR.PEANO_nokinds_C.trs.stdout2007-06-06 10:02 34  
[ ]TRS.TRCSR.PEANO_nokinds_noand_iGM.trs.stderr2007-06-06 10:04 770  
[ ]TRS.TRCSR.PEANO_nokinds_noand_iGM.trs.stdout2007-06-06 10:04 34  
[ ]TRS.TRCSR.PEANO_nosorts-noand_L.trs.stderr2007-06-06 10:04 61  
[ ]TRS.TRCSR.PEANO_nosorts-noand_L.trs.stdout2007-06-06 10:04 69  
[ ]TRS.TRCSR.PEANO_nosorts_FR.trs.stderr2007-06-06 10:04 133  
[ ]TRS.TRCSR.PEANO_nosorts_FR.trs.stdout2007-06-06 10:04 1.4K 
[ ]TRS.TRCSR.PEANO_nosorts_GM.trs.stderr2007-06-06 10:04 133  
[ ]TRS.TRCSR.PEANO_nosorts_GM.trs.stdout2007-06-06 10:04 7.6K 
[ ]TRS.Thiemann.div_notCeTermin.trs.stderr2007-06-05 18:36 770  
[ ]TRS.Thiemann.div_notCeTermin.trs.stdout2007-06-05 18:36 34  
[ ]TRS.Thiemann.div_notTermin.trs.stderr2007-06-05 18:37 770  
[ ]TRS.Thiemann.div_notTermin.trs.stdout2007-06-05 18:37 34  
[ ]TRS.Thiemann.factorial1.trs.stderr2007-06-05 18:38 770  
[ ]TRS.Thiemann.factorial1.trs.stdout2007-06-05 18:38 34  
[ ]TRS.Thiemann.factorial2.trs.stderr2007-06-05 18:39 770  
[ ]TRS.Thiemann.factorial2.trs.stdout2007-06-05 18:39 34  
[ ]TRS.Thiemann.identity.trs.stderr2007-06-05 18:40 709  
[ ]TRS.Thiemann.identity.trs.stdout2007-06-05 18:40 1.6K 
[ ]TRS.Thiemann.logarithm.trs.stderr2007-06-05 18:41 770  
[ ]TRS.Thiemann.logarithm.trs.stdout2007-06-05 18:41 34  
[ ]TRS.Thiemann.mapHard.trs.stderr2007-06-05 18:42 770  
[ ]TRS.Thiemann.mapHard.trs.stdout2007-06-05 18:42 34  
[ ]TRS.Thiemann.modulo.trs.stderr2007-06-05 18:43 770  
[ ]TRS.Thiemann.modulo.trs.stdout2007-06-05 18:43 34  
[ ]TRS.Thiemann.nonterm.trs.stderr2007-06-05 18:44 770  
[ ]TRS.Thiemann.nonterm.trs.stdout2007-06-05 18:44 34  
[ ]TRS.Thiemann.quicksort.trs.stderr2007-06-05 18:46 770  
[ ]TRS.Thiemann.quicksort.trs.stdout2007-06-05 18:46 34  
[ ]TRS.Thiemann.quot.trs.stderr2007-06-05 18:47 770  
[ ]TRS.Thiemann.quot.trs.stdout2007-06-05 18:47 34  
[ ]TRS.Thiemann.sizeChange.trs.stderr2007-06-05 18:48 770  
[ ]TRS.Thiemann.sizeChange.trs.stdout2007-06-05 18:48 34  
[ ]TRS.Thiemann.tower.trs.stderr2007-06-05 18:49 770  
[ ]TRS.Thiemann.tower.trs.stdout2007-06-05 18:49 34  
[ ]TRS.Thiemann.tower_sizeChange.trs.stderr2007-06-05 18:49 770  
[ ]TRS.Thiemann.tower_sizeChange.trs.stdout2007-06-05 18:49 34  
[ ]TRS.Waldmann.jwaprove1.trs.stderr2007-06-06 10:13 770  
[ ]TRS.Waldmann.jwaprove1.trs.stdout2007-06-06 10:13 34  
[ ]TRS.Waldmann.jwaprove2.trs.stderr2007-06-06 10:14 770  
[ ]TRS.Waldmann.jwaprove2.trs.stdout2007-06-06 10:14 34  
[ ]TRS.Waldmann.jwcime1.trs.stderr2007-06-06 10:15 565  
[ ]TRS.Waldmann.jwcime1.trs.stdout2007-06-06 10:15 1.1K 
[ ]TRS.Waldmann.jwcime2.trs.stderr2007-06-06 10:16 709  
[ ]TRS.Waldmann.jwcime2.trs.stdout2007-06-06 10:16 1.3K 
[ ]TRS.Waldmann.jwmatchb1.trs.stderr2007-06-06 10:16 770  
[ ]TRS.Waldmann.jwmatchb1.trs.stdout2007-06-06 10:16 34  
[ ]TRS.Waldmann.jwmatchb2.trs.stderr2007-06-06 10:16 770  
[ ]TRS.Waldmann.jwmatchb2.trs.stdout2007-06-06 10:16 34  
[ ]TRS.Waldmann.jwno1.trs.stderr2007-06-06 10:18 770  
[ ]TRS.Waldmann.jwno1.trs.stdout2007-06-06 10:18 34  
[ ]TRS.Waldmann.jwno2.trs.stderr2007-06-06 10:19 770  
[ ]TRS.Waldmann.jwno2.trs.stdout2007-06-06 10:19 34  
[ ]TRS.Waldmann.jwno3.trs.stderr2007-06-06 10:21 770  
[ ]TRS.Waldmann.jwno3.trs.stdout2007-06-06 10:21 34  
[ ]TRS.Waldmann.jwno4.trs.stderr2007-06-06 10:23 770  
[ ]TRS.Waldmann.jwno4.trs.stdout2007-06-06 10:23 34  
[ ]TRS.Waldmann.jwno5.trs.stderr2007-06-06 10:23 770  
[ ]TRS.Waldmann.jwno5.trs.stdout2007-06-06 10:24 34  
[ ]TRS.Waldmann.jwno6.trs.stderr2007-06-06 10:25 770  
[ ]TRS.Waldmann.jwno6.trs.stdout2007-06-06 10:25 34  
[ ]TRS.Waldmann.jwno7.trs.stderr2007-06-06 10:26 770  
[ ]TRS.Waldmann.jwno7.trs.stdout2007-06-06 10:26 34  
[ ]TRS.Waldmann.jwno8.trs.stderr2007-06-06 10:27 770  
[ ]TRS.Waldmann.jwno8.trs.stdout2007-06-06 10:27 34  
[ ]TRS.Waldmann.jwno9.trs.stderr2007-06-06 10:29 770  
[ ]TRS.Waldmann.jwno9.trs.stdout2007-06-06 10:29 34  
[ ]TRS.Waldmann.jwteparla1.trs.stderr2007-06-06 10:30 770  
[ ]TRS.Waldmann.jwteparla1.trs.stdout2007-06-06 10:30 34  
[ ]TRS.Waldmann.jwteparla2.trs.stderr2007-06-06 10:31 770  
[ ]TRS.Waldmann.jwteparla2.trs.stdout2007-06-06 10:31 34  
[ ]TRS.Waldmann.jwtpa1.trs.stderr2007-06-06 10:32 637  
[ ]TRS.Waldmann.jwtpa1.trs.stdout2007-06-06 10:32 1.2K 
[ ]TRS.Waldmann.jwtpa2.trs.stderr2007-06-06 10:32 421  
[ ]TRS.Waldmann.jwtpa2.trs.stdout2007-06-06 10:32 1.5K 
[ ]TRS.Waldmann.jwttt.trs.stderr2007-06-06 10:32 349  
[ ]TRS.Waldmann.jwttt.trs.stdout2007-06-06 10:32 1.5K 
[ ]TRS.Zantema.jw01.trs.stderr2007-06-06 10:37 637  
[ ]TRS.Zantema.jw01.trs.stdout2007-06-06 10:37 948  
[ ]TRS.Zantema.jw02.trs.stderr2007-06-06 10:37 421  
[ ]TRS.Zantema.jw02.trs.stdout2007-06-06 10:37 1.0K 
[ ]TRS.Zantema.jw03.trs.stderr2007-06-06 10:37 421  
[ ]TRS.Zantema.jw03.trs.stdout2007-06-06 10:37 941  
[ ]TRS.Zantema.jw04.trs.stderr2007-06-06 10:37 421  
[ ]TRS.Zantema.jw04.trs.stdout2007-06-06 10:37 931  
[ ]TRS.Zantema.jw05.trs.stderr2007-06-06 10:37 421  
[ ]TRS.Zantema.jw05.trs.stdout2007-06-06 10:37 1.0K 
[ ]TRS.Zantema.jw06.trs.stderr2007-06-06 10:37 637  
[ ]TRS.Zantema.jw06.trs.stdout2007-06-06 10:37 928  
[ ]TRS.Zantema.jw07.trs.stderr2007-06-06 10:37 349  
[ ]TRS.Zantema.jw07.trs.stdout2007-06-06 10:37 1.4K 
[ ]TRS.Zantema.jw08.trs.stderr2007-06-06 10:37 770  
[ ]TRS.Zantema.jw08.trs.stdout2007-06-06 10:37 34  
[ ]TRS.Zantema.jw09.trs.stderr2007-06-06 10:37 421  
[ ]TRS.Zantema.jw09.trs.stdout2007-06-06 10:37 960  
[ ]TRS.Zantema.jw11.trs.stderr2007-06-06 10:37 349  
[ ]TRS.Zantema.jw11.trs.stdout2007-06-06 10:37 1.8K 
[ ]TRS.Zantema.jw12.trs.stderr2007-06-06 10:37 421  
[ ]TRS.Zantema.jw12.trs.stdout2007-06-06 10:37 1.8K 
[ ]TRS.Zantema.jw13.trs.stderr2007-06-06 10:37 770  
[ ]TRS.Zantema.jw13.trs.stdout2007-06-06 10:37 34  
[ ]TRS.Zantema.jw14.trs.stderr2007-06-06 10:37 770  
[ ]TRS.Zantema.jw14.trs.stdout2007-06-06 10:37 34  
[ ]TRS.Zantema.jw15.trs.stderr2007-06-06 10:37 421  
[ ]TRS.Zantema.jw15.trs.stdout2007-06-06 10:37 1.4K 
[ ]TRS.Zantema.jw16.trs.stderr2007-06-06 10:37 637  
[ ]TRS.Zantema.jw16.trs.stdout2007-06-06 10:37 1.0K 
[ ]TRS.Zantema.jw17.trs.stderr2007-06-06 10:37 421  
[ ]TRS.Zantema.jw17.trs.stdout2007-06-06 10:37 1.1K 
[ ]TRS.Zantema.jw18.trs.stderr2007-06-06 10:37 637  
[ ]TRS.Zantema.jw18.trs.stdout2007-06-06 10:37 1.0K 
[ ]TRS.Zantema.jw19.trs.stderr2007-06-06 10:38 770  
[ ]TRS.Zantema.jw19.trs.stdout2007-06-06 10:38 34  
[ ]TRS.Zantema.jw20.trs.stderr2007-06-06 10:38 421  
[ ]TRS.Zantema.jw20.trs.stdout2007-06-06 10:38 1.1K 
[ ]TRS.Zantema.jw21.trs.stderr2007-06-06 10:38 421  
[ ]TRS.Zantema.jw21.trs.stdout2007-06-06 10:38 1.0K 
[ ]TRS.Zantema.jw22.trs.stderr2007-06-06 10:38 770  
[ ]TRS.Zantema.jw22.trs.stdout2007-06-06 10:38 34  
[ ]TRS.Zantema.jw23.trs.stderr2007-06-06 10:38 637  
[ ]TRS.Zantema.jw23.trs.stdout2007-06-06 10:38 1.0K 
[ ]TRS.Zantema.jw24.trs.stderr2007-06-06 10:38 421  
[ ]TRS.Zantema.jw24.trs.stdout2007-06-06 10:38 1.0K 
[ ]TRS.Zantema.jw25.trs.stderr2007-06-06 10:38 421  
[ ]TRS.Zantema.jw25.trs.stdout2007-06-06 10:38 1.0K 
[ ]TRS.Zantema.jw26.trs.stderr2007-06-06 10:38 637  
[ ]TRS.Zantema.jw26.trs.stdout2007-06-06 10:38 1.0K 
[ ]TRS.Zantema.jw27.trs.stderr2007-06-06 10:38 770  
[ ]TRS.Zantema.jw27.trs.stdout2007-06-06 10:38 34  
[ ]TRS.Zantema.jw28.trs.stderr2007-06-06 10:38 421  
[ ]TRS.Zantema.jw28.trs.stdout2007-06-06 10:38 1.0K 
[ ]TRS.Zantema.jw29.trs.stderr2007-06-06 10:38 421  
[ ]TRS.Zantema.jw29.trs.stdout2007-06-06 10:38 1.1K 
[ ]TRS.Zantema.jw30.trs.stderr2007-06-06 10:38 770  
[ ]TRS.Zantema.jw30.trs.stdout2007-06-06 10:38 34  
[ ]TRS.Zantema.jw31.trs.stderr2007-06-06 10:38 637  
[ ]TRS.Zantema.jw31.trs.stdout2007-06-06 10:38 1.0K 
[ ]TRS.Zantema.jw32.trs.stderr2007-06-06 10:38 421  
[ ]TRS.Zantema.jw32.trs.stdout2007-06-06 10:38 1.1K 
[ ]TRS.Zantema.jw33.trs.stderr2007-06-06 10:38 637  
[ ]TRS.Zantema.jw33.trs.stdout2007-06-06 10:38 1.0K 
[ ]TRS.Zantema.jw34.trs.stderr2007-06-06 10:38 421  
[ ]TRS.Zantema.jw34.trs.stdout2007-06-06 10:38 1.4K 
[ ]TRS.Zantema.jw35.trs.stderr2007-06-06 10:38 770  
[ ]TRS.Zantema.jw35.trs.stdout2007-06-06 10:38 34  
[ ]TRS.Zantema.jw36.trs.stderr2007-06-06 10:38 770  
[ ]TRS.Zantema.jw36.trs.stdout2007-06-06 10:38 34  
[ ]TRS.Zantema.jw37.trs.stderr2007-06-06 10:38 421  
[ ]TRS.Zantema.jw37.trs.stdout2007-06-06 10:38 1.8K 
[ ]TRS.Zantema.jw38.trs.stderr2007-06-06 10:38 349  
[ ]TRS.Zantema.jw38.trs.stdout2007-06-06 10:38 1.8K 
[ ]TRS.Zantema.jw39.trs.stderr2007-06-06 10:38 421  
[ ]TRS.Zantema.jw39.trs.stdout2007-06-06 10:38 954  
[ ]TRS.Zantema.jw40.trs.stderr2007-06-06 10:38 421  
[ ]TRS.Zantema.jw40.trs.stdout2007-06-06 10:38 962  
[ ]TRS.Zantema.jw41.trs.stderr2007-06-06 10:38 770  
[ ]TRS.Zantema.jw41.trs.stdout2007-06-06 10:38 34  
[ ]TRS.Zantema.jw42.trs.stderr2007-06-06 10:38 349  
[ ]TRS.Zantema.jw42.trs.stdout2007-06-06 10:38 1.4K 
[ ]TRS.Zantema.jw43.trs.stderr2007-06-06 10:38 770  
[ ]TRS.Zantema.jw43.trs.stdout2007-06-06 10:38 34  
[ ]TRS.Zantema.jw44.trs.stderr2007-06-06 10:38 133  
[ ]TRS.Zantema.jw44.trs.stdout2007-06-06 10:38 1.1K 
[ ]TRS.Zantema.jw47.trs.stderr2007-06-06 10:38 133  
[ ]TRS.Zantema.jw47.trs.stdout2007-06-06 10:38 1.1K 
[ ]TRS.Zantema.jw50.trs.stderr2007-06-06 10:38 770  
[ ]TRS.Zantema.jw50.trs.stdout2007-06-06 10:38 34  
[ ]TRS.Zantema.z01.trs.stderr2007-06-06 10:38 770  
[ ]TRS.Zantema.z01.trs.stdout2007-06-06 10:38 34  
[ ]TRS.Zantema.z02.trs.stderr2007-06-06 10:38 770  
[ ]TRS.Zantema.z02.trs.stdout2007-06-06 10:38 34  
[ ]TRS.Zantema.z03.trs.stderr2007-06-06 10:39 770  
[ ]TRS.Zantema.z03.trs.stdout2007-06-06 10:39 34  
[ ]TRS.Zantema.z04.trs.stderr2007-06-06 10:40 770  
[ ]TRS.Zantema.z04.trs.stdout2007-06-06 10:40 34  
[ ]TRS.Zantema.z05.trs.stderr2007-06-06 10:40 770  
[ ]TRS.Zantema.z05.trs.stdout2007-06-06 10:40 34  
[ ]TRS.Zantema.z06.trs.stderr2007-06-06 10:41 770  
[ ]TRS.Zantema.z06.trs.stdout2007-06-06 10:41 34  
[ ]TRS.Zantema.z07.trs.stderr2007-06-06 10:41 770  
[ ]TRS.Zantema.z07.trs.stdout2007-06-06 10:41 34  
[ ]TRS.Zantema.z08.trs.stderr2007-06-06 10:41 770  
[ ]TRS.Zantema.z08.trs.stdout2007-06-06 10:41 34  
[ ]TRS.Zantema.z09.trs.stderr2007-06-06 10:42 770  
[ ]TRS.Zantema.z09.trs.stdout2007-06-06 10:42 34  
[ ]TRS.Zantema.z10.trs.stderr2007-06-06 10:43 770  
[ ]TRS.Zantema.z10.trs.stdout2007-06-06 10:43 34  
[ ]TRS.Zantema.z11.trs.stderr2007-06-06 10:43 133  
[ ]TRS.Zantema.z11.trs.stdout2007-06-06 10:43 1.5K 
[ ]TRS.Zantema.z12.trs.stderr2007-06-06 10:45 770  
[ ]TRS.Zantema.z12.trs.stdout2007-06-06 10:45 34  
[ ]TRS.Zantema.z13.trs.stderr2007-06-06 10:46 770  
[ ]TRS.Zantema.z13.trs.stdout2007-06-06 10:46 34  
[ ]TRS.Zantema.z14.trs.stderr2007-06-06 10:48 770  
[ ]TRS.Zantema.z14.trs.stdout2007-06-06 10:48 34  
[ ]TRS.Zantema.z15.trs.stderr2007-06-06 10:50 770  
[ ]TRS.Zantema.z15.trs.stdout2007-06-06 10:50 34  
[ ]TRS.Zantema.z16.trs.stderr2007-06-06 10:51 770  
[ ]TRS.Zantema.z16.trs.stdout2007-06-06 10:51 34  
[ ]TRS.Zantema.z17.trs.stderr2007-06-06 10:53 770  
[ ]TRS.Zantema.z17.trs.stdout2007-06-06 10:53 34  
[ ]TRS.Zantema.z18.trs.stderr2007-06-06 10:54 770  
[ ]TRS.Zantema.z18.trs.stdout2007-06-06 10:54 34  
[ ]TRS.Zantema.z19.trs.stderr2007-06-06 10:54 770  
[ ]TRS.Zantema.z19.trs.stdout2007-06-06 10:54 34  
[ ]TRS.Zantema.z20.trs.stderr2007-06-06 10:56 770  
[ ]TRS.Zantema.z20.trs.stdout2007-06-06 10:56 34  
[ ]TRS.Zantema.z21.trs.stderr2007-06-06 10:57 770  
[ ]TRS.Zantema.z21.trs.stdout2007-06-06 10:57 34  
[ ]TRS.Zantema.z22.trs.stderr2007-06-06 10:58 770  
[ ]TRS.Zantema.z22.trs.stdout2007-06-06 10:58 34  
[ ]TRS.Zantema.z23.trs.stderr2007-06-06 11:00 770  
[ ]TRS.Zantema.z23.trs.stdout2007-06-06 11:00 34  
[ ]TRS.Zantema.z24.trs.stderr2007-06-06 11:01 770  
[ ]TRS.Zantema.z24.trs.stdout2007-06-06 11:01 34  
[ ]TRS.Zantema.z25.trs.stderr2007-06-06 11:02 770  
[ ]TRS.Zantema.z25.trs.stdout2007-06-06 11:02 34  
[ ]TRS.Zantema.z26.trs.stderr2007-06-06 11:03 770  
[ ]TRS.Zantema.z26.trs.stdout2007-06-06 11:03 34  
[ ]TRS.Zantema.z27.trs.stderr2007-06-06 11:04 770  
[ ]TRS.Zantema.z27.trs.stdout2007-06-06 11:04 34  
[ ]TRS.Zantema.z28.trs.stderr2007-06-06 11:05 770  
[ ]TRS.Zantema.z28.trs.stdout2007-06-06 11:05 34  
[ ]TRS.Zantema.z29.trs.stderr2007-06-06 11:05 133  
[ ]TRS.Zantema.z29.trs.stdout2007-06-06 11:05 1.8K 
[ ]TRS.Zantema.z30.trs.stderr2007-06-06 11:07 770  
[ ]TRS.Zantema.z30.trs.stdout2007-06-06 11:07 34  
[ ]TRS.Zantema06.beans.trs.stderr2007-06-06 10:33 770  
[ ]TRS.Zantema06.beans.trs.stdout2007-06-06 10:33 34  
[TXT]TRS.Zantema06.gcd.trs.stderr2007-06-06 10:34 205  
[TXT]TRS.Zantema06.gcd.trs.stdout2007-06-06 10:34 1.9K 
[ ]TRS.Zantema06.gcdMinMax.trs.stderr2007-06-06 10:34 205  
[ ]TRS.Zantema06.gcdMinMax.trs.stdout2007-06-06 10:34 2.0K 
[ ]TRS.Zantema06.hydra.trs.stderr2007-06-06 10:35 770  
[ ]TRS.Zantema06.hydra.trs.stdout2007-06-06 10:35 34  
[ ]TRS.Zantema06.test1.trs.stderr2007-06-06 10:36 349  
[ ]TRS.Zantema06.test1.trs.stdout2007-06-06 10:36 874  
[ ]TRS.Zantema06.while.trs.stderr2007-06-06 10:37 770  
[ ]TRS.Zantema06.while.trs.stdout2007-06-06 10:37 34  
[ ]TRS.Zantema06.while2.trs.stderr2007-06-06 10:37 770  
[ ]TRS.Zantema06.while2.trs.stdout2007-06-06 10:37 34  
[ ]TRS.currying.AG01._3.2.trs.stderr2007-06-06 11:17 770  
[ ]TRS.currying.AG01._3.2.trs.stdout2007-06-06 11:17 34  
[ ]TRS.currying.AG01._3.6.trs.stderr2007-06-06 11:31 770  
[ ]TRS.currying.AG01._3.6.trs.stdout2007-06-06 11:31 34  
[ ]TRS.currying.AG01._3.8.trs.stderr2007-06-06 11:32 770  
[ ]TRS.currying.AG01._3.8.trs.stdout2007-06-06 11:32 34  
[ ]TRS.currying.AG01._3.10.trs.stderr2007-06-06 11:08 770  
[ ]TRS.currying.AG01._3.10.trs.stdout2007-06-06 11:08 34  
[ ]TRS.currying.AG01._3.13.trs.stderr2007-06-06 11:10 770  
[ ]TRS.currying.AG01._3.13.trs.stdout2007-06-06 11:10 34  
[ ]TRS.currying.AG01._3.16.trs.stderr2007-06-06 11:11 770  
[ ]TRS.currying.AG01._3.16.trs.stdout2007-06-06 11:11 34  
[ ]TRS.currying.AG01._3.18.trs.stderr2007-06-06 11:13 770  
[ ]TRS.currying.AG01._3.18.trs.stdout2007-06-06 11:13 34  
[ ]TRS.currying.AG01._3.22.trs.stderr2007-06-06 11:14 770  
[ ]TRS.currying.AG01._3.22.trs.stdout2007-06-06 11:14 34  
[ ]TRS.currying.AG01._3.25.trs.stderr2007-06-06 11:15 770  
[ ]TRS.currying.AG01._3.25.trs.stdout2007-06-06 11:15 34  
[ ]TRS.currying.AG01._3.27.trs.stderr2007-06-06 11:16 770  
[ ]TRS.currying.AG01._3.27.trs.stdout2007-06-06 11:16 34  
[ ]TRS.currying.AG01._3.32.trs.stderr2007-06-06 11:18 770  
[ ]TRS.currying.AG01._3.32.trs.stdout2007-06-06 11:18 34  
[ ]TRS.currying.AG01._3.36.trs.stderr2007-06-06 11:20 770  
[ ]TRS.currying.AG01._3.36.trs.stdout2007-06-06 11:20 34  
[ ]TRS.currying.AG01._3.38.trs.stderr2007-06-06 11:21 770  
[ ]TRS.currying.AG01._3.38.trs.stdout2007-06-06 11:21 34  
[ ]TRS.currying.AG01._3.40.trs.stderr2007-06-06 11:23 770  
[ ]TRS.currying.AG01._3.40.trs.stdout2007-06-06 11:23 34  
[ ]TRS.currying.AG01._3.45.trs.stderr2007-06-06 11:24 770  
[ ]TRS.currying.AG01._3.45.trs.stdout2007-06-06 11:24 34  
[ ]TRS.currying.AG01._3.48.trs.stderr2007-06-06 11:25 770  
[ ]TRS.currying.AG01._3.48.trs.stdout2007-06-06 11:25 34  
[ ]TRS.currying.AG01._3.52.trs.stderr2007-06-06 11:26 770  
[ ]TRS.currying.AG01._3.52.trs.stdout2007-06-06 11:26 34  
[ ]TRS.currying.AG01._3.55.trs.stderr2007-06-06 11:28 770  
[ ]TRS.currying.AG01._3.55.trs.stdout2007-06-06 11:28 34  
[ ]TRS.currying.AG01._3.57.trs.stderr2007-06-06 11:29 770  
[ ]TRS.currying.AG01._3.57.trs.stdout2007-06-06 11:29 34  
[ ]TRS.currying.D33.01.trs.stderr2007-06-06 11:33 770  
[ ]TRS.currying.D33.01.trs.stdout2007-06-06 11:33 34  
[ ]TRS.currying.D33.02.trs.stderr2007-06-06 11:34 770  
[ ]TRS.currying.D33.02.trs.stdout2007-06-06 11:34 34  
[ ]TRS.currying.D33.06.trs.stderr2007-06-06 11:36 770  
[ ]TRS.currying.D33.06.trs.stdout2007-06-06 11:36 34  
[ ]TRS.currying.D33.08.trs.stderr2007-06-06 11:37 770  
[ ]TRS.currying.D33.08.trs.stdout2007-06-06 11:37 34  
[ ]TRS.currying.D33.11.trs.stderr2007-06-06 11:39 770  
[ ]TRS.currying.D33.11.trs.stdout2007-06-06 11:39 34  
[ ]TRS.currying.D33.12.trs.stderr2007-06-06 11:40 770  
[ ]TRS.currying.D33.12.trs.stdout2007-06-06 11:40 34  
[ ]TRS.currying.D33.13.trs.stderr2007-06-06 11:42 770  
[ ]TRS.currying.D33.13.trs.stdout2007-06-06 11:42 34  
[ ]TRS.currying.D33.17.trs.stderr2007-06-06 11:44 770  
[ ]TRS.currying.D33.17.trs.stdout2007-06-06 11:44 34  
[ ]TRS.currying.D33.18.trs.stderr2007-06-06 11:45 770  
[ ]TRS.currying.D33.18.trs.stdout2007-06-06 11:45 34  
[ ]TRS.currying.D33.21.trs.stderr2007-06-06 11:46 770  
[ ]TRS.currying.D33.21.trs.stdout2007-06-06 11:46 34  
[ ]TRS.currying.D33.29.trs.stderr2007-06-06 11:47 770  
[ ]TRS.currying.D33.29.trs.stdout2007-06-06 11:47 34  
[ ]TRS.currying.D33.30.trs.stderr2007-06-06 11:49 770  
[ ]TRS.currying.D33.30.trs.stdout2007-06-06 11:49 34  
[ ]TRS.currying.D33.31.trs.stderr2007-06-06 11:51 770  
[ ]TRS.currying.D33.31.trs.stdout2007-06-06 11:51 34  
[ ]TRS.currying.D33.33.trs.stderr2007-06-06 11:54 770  
[ ]TRS.currying.D33.33.trs.stdout2007-06-06 11:54 34  
[ ]TRS.currying.Ste92.hydra.trs.stderr2007-06-06 11:55 770  
[ ]TRS.currying.Ste92.hydra.trs.stdout2007-06-06 11:55 34  
[ ]TRS.currying.Ste92.minsort.trs.stderr2007-06-06 11:57 770  
[ ]TRS.currying.Ste92.minsort.trs.stdout2007-06-06 11:57 34  
[ ]TRS.currying.Ste92.motivation.trs.stderr2007-06-06 11:59 770  
[ ]TRS.currying.Ste92.motivation.trs.stdout2007-06-06 11:59 34  
[ ]TRS.currying.Ste92.perfect.trs.stderr2007-06-06 12:02 770  
[ ]TRS.currying.Ste92.perfect.trs.stdout2007-06-06 12:02 34  
[ ]TRS.currying.Ste92.perfect2.trs.stderr2007-06-06 12:00 770  
[ ]TRS.currying.Ste92.perfect2.trs.stdout2007-06-06 12:00 34  
[ ]TRS.higher-order.AProVE_HO.ReverseLastInit.trs.stderr2007-06-06 12:15 133  
[ ]TRS.higher-order.AProVE_HO.ReverseLastInit.trs.stdout2007-06-06 12:15 4.1K 
[ ]TRS.higher-order.AProVE_HO.TakeDropWhile.trs.stderr2007-06-06 12:16 770  
[ ]TRS.higher-order.AProVE_HO.TakeDropWhile.trs.stdout2007-06-06 12:16 34  
[ ]TRS.higher-order.AProVE_HO.TypeEx1.trs.stderr2007-06-06 12:17 133  
[ ]TRS.higher-order.AProVE_HO.TypeEx1.trs.stdout2007-06-06 12:17 1.0K 
[ ]TRS.higher-order.AProVE_HO.TypeEx3.trs.stderr2007-06-06 12:18 770  
[ ]TRS.higher-order.AProVE_HO.TypeEx3.trs.stdout2007-06-06 12:18 34  
[ ]TRS.higher-order.AProVE_HO.TypeEx5.trs.stderr2007-06-06 12:18 770  
[ ]TRS.higher-order.AProVE_HO.TypeEx5.trs.stdout2007-06-06 12:18 34  
[ ]TRS.higher-order.AProVE_HO.mapDivMinus.trs.stderr2007-06-06 12:14 770  
[ ]TRS.higher-order.AProVE_HO.mapDivMinus.trs.stdout2007-06-06 12:14 34  
[ ]TRS.higher-order.AProVE_HO.mapDivMinusHard.trs.stderr2007-06-06 12:13 770  
[ ]TRS.higher-order.AProVE_HO.mapDivMinusHard.trs.stdout2007-06-06 12:13 34  
[ ]TRS.higher-order.AProVE_HO.nonTermF.trs.stderr2007-06-06 12:15 770  
[ ]TRS.higher-order.AProVE_HO.nonTermF.trs.stdout2007-06-06 12:15 34  
[ ]TRS.higher-order.AProVE_HO.termMonTypes.trs.stderr2007-06-06 12:17 770  
[ ]TRS.higher-order.AProVE_HO.termMonTypes.trs.stdout2007-06-06 12:17 34  
[ ]TRS.higher-order.AotoYam.001.trs.stderr2007-06-06 12:02 770  
[ ]TRS.higher-order.AotoYam.001.trs.stdout2007-06-06 12:02 34  
[ ]TRS.higher-order.AotoYam.002.trs.stderr2007-06-06 12:02 770  
[ ]TRS.higher-order.AotoYam.002.trs.stdout2007-06-06 12:02 34  
[ ]TRS.higher-order.AotoYam.003.trs.stderr2007-06-06 12:02 770  
[ ]TRS.higher-order.AotoYam.003.trs.stdout2007-06-06 12:02 34  
[ ]TRS.higher-order.AotoYam.004.trs.stderr2007-06-06 12:03 770  
[ ]TRS.higher-order.AotoYam.004.trs.stdout2007-06-06 12:03 34  
[ ]TRS.higher-order.AotoYam.005.trs.stderr2007-06-06 12:03 133  
[ ]TRS.higher-order.AotoYam.005.trs.stdout2007-06-06 12:03 2.2K 
[ ]TRS.higher-order.AotoYam.006.trs.stderr2007-06-06 12:03 493  
[ ]TRS.higher-order.AotoYam.006.trs.stdout2007-06-06 12:03 4.1K 
[ ]TRS.higher-order.AotoYam.007.trs.stderr2007-06-06 12:03 493  
[ ]TRS.higher-order.AotoYam.007.trs.stdout2007-06-06 12:03 2.7K 
[ ]TRS.higher-order.AotoYam.009.trs.stderr2007-06-06 12:03 493  
[ ]TRS.higher-order.AotoYam.009.trs.stdout2007-06-06 12:03 7.7K 
[ ]TRS.higher-order.AotoYam.010.trs.stderr2007-06-06 12:04 770  
[ ]TRS.higher-order.AotoYam.010.trs.stdout2007-06-06 12:04 34  
[ ]TRS.higher-order.AotoYam.011.trs.stderr2007-06-06 12:04 493  
[ ]TRS.higher-order.AotoYam.011.trs.stdout2007-06-06 12:04 4.4K 
[ ]TRS.higher-order.AotoYam.012.trs.stderr2007-06-06 12:04 493  
[ ]TRS.higher-order.AotoYam.012.trs.stdout2007-06-06 12:04 7.2K 
[ ]TRS.higher-order.AotoYam.013.trs.stderr2007-06-06 12:05 770  
[ ]TRS.higher-order.AotoYam.013.trs.stdout2007-06-06 12:05 34  
[ ]TRS.higher-order.AotoYam.014.trs.stderr2007-06-06 12:06 770  
[ ]TRS.higher-order.AotoYam.014.trs.stdout2007-06-06 12:06 34  
[ ]TRS.higher-order.AotoYam.015.trs.stderr2007-06-06 12:07 770  
[ ]TRS.higher-order.AotoYam.015.trs.stdout2007-06-06 12:07 34  
[ ]TRS.higher-order.AotoYam.016.trs.stderr2007-06-06 12:08 770  
[ ]TRS.higher-order.AotoYam.016.trs.stdout2007-06-06 12:08 34  
[ ]TRS.higher-order.AotoYam.017.trs.stderr2007-06-06 12:08 133  
[ ]TRS.higher-order.AotoYam.017.trs.stdout2007-06-06 12:08 1.2K 
[ ]TRS.higher-order.AotoYam.019.trs.stderr2007-06-06 12:08 133  
[ ]TRS.higher-order.AotoYam.019.trs.stdout2007-06-06 12:08 1.0K 
[ ]TRS.higher-order.AotoYam.020.trs.stderr2007-06-06 12:08 770  
[ ]TRS.higher-order.AotoYam.020.trs.stdout2007-06-06 12:08 34  
[ ]TRS.higher-order.AotoYam.021.trs.stderr2007-06-06 12:09 770  
[ ]TRS.higher-order.AotoYam.021.trs.stdout2007-06-06 12:09 34  
[ ]TRS.higher-order.AotoYam.022.trs.stderr2007-06-06 12:09 493  
[ ]TRS.higher-order.AotoYam.022.trs.stdout2007-06-06 12:09 2.7K 
[ ]TRS.higher-order.AotoYam.023.trs.stderr2007-06-06 12:09 133  
[ ]TRS.higher-order.AotoYam.023.trs.stdout2007-06-06 12:09 1.1K 
[ ]TRS.higher-order.AotoYam.024.trs.stderr2007-06-06 12:09 493  
[ ]TRS.higher-order.AotoYam.024.trs.stdout2007-06-06 12:09 2.3K 
[ ]TRS.higher-order.AotoYam.025.trs.stderr2007-06-06 12:09 133  
[ ]TRS.higher-order.AotoYam.025.trs.stdout2007-06-06 12:09 765  
[ ]TRS.higher-order.AotoYam.026.trs.stderr2007-06-06 12:10 770  
[ ]TRS.higher-order.AotoYam.026.trs.stdout2007-06-06 12:10 34  
[ ]TRS.higher-order.AotoYam.027.trs.stderr2007-06-06 12:10 565  
[ ]TRS.higher-order.AotoYam.027.trs.stdout2007-06-06 12:10 4.6K 
[ ]TRS.higher-order.AotoYam.028.trs.stderr2007-06-06 12:11 770  
[ ]TRS.higher-order.AotoYam.028.trs.stdout2007-06-06 12:11 34  
[ ]TRS.higher-order.AotoYam.Ex1SimplyTyped.trs.stderr2007-06-06 12:11 493  
[ ]TRS.higher-order.AotoYam.Ex1SimplyTyped.trs.stdout2007-06-06 12:11 2.6K 
[ ]TRS.higher-order.AotoYam.Ex5TermProof.trs.stderr2007-06-06 12:12 770  
[ ]TRS.higher-order.AotoYam.Ex5TermProof.trs.stdout2007-06-06 12:12 34  
[ ]TRS.higher-order.Bird.BTreeMember.trs.stderr2007-06-06 12:18 133  
[ ]TRS.higher-order.Bird.BTreeMember.trs.stdout2007-06-06 12:18 6.1K 
[ ]TRS.higher-order.Bird.Ex2_6_1Composition.trs.stderr2007-06-06 12:18 133  
[ ]TRS.higher-order.Bird.Ex2_6_1Composition.trs.stdout2007-06-06 12:18 939  
[ ]TRS.higher-order.Bird.Ex2_8_1ConstSubstFix.trs.stderr2007-06-06 12:19 770  
[ ]TRS.higher-order.Bird.Ex2_8_1ConstSubstFix.trs.stdout2007-06-06 12:19 34  
[ ]TRS.higher-order.Bird.Hamming.trs.stderr2007-06-06 12:20 770  
[ ]TRS.higher-order.Bird.Hamming.trs.stdout2007-06-06 12:20 34  
[ ]TRS.higher-order.Bird.TreeFlatten.trs.stderr2007-06-06 12:21 770  
[ ]TRS.higher-order.Bird.TreeFlatten.trs.stdout2007-06-06 12:21 34  
[ ]TRS.higher-order.Bird.TreeHeight.trs.stderr2007-06-06 12:22 770  
[ ]TRS.higher-order.Bird.TreeHeight.trs.stdout2007-06-06 12:22 34  
[ ]TRS.higher-order.Bird.TreeLevels.trs.stderr2007-06-06 12:24 770  
[ ]TRS.higher-order.Bird.TreeLevels.trs.stdout2007-06-06 12:24 34  
[ ]TRS.higher-order.Bird.TreeMap.trs.stderr2007-06-06 12:25 770  
[ ]TRS.higher-order.Bird.TreeMap.trs.stdout2007-06-06 12:25 34  
[ ]TRS.higher-order.Bird.TreeSize.trs.stderr2007-06-06 12:26 770  
[ ]TRS.higher-order.Bird.TreeSize.trs.stdout2007-06-06 12:26 34  
[ ]TRS.higher-order.Kusakari.Ex6_11.trs.stderr2007-06-06 12:26 421  
[ ]TRS.higher-order.Kusakari.Ex6_11.trs.stdout2007-06-06 12:26 1.9K 
[ ]TRS.higher-order.Kusakari.Ex7_9.trs.stderr2007-06-06 12:27 770  
[ ]TRS.higher-order.Kusakari.Ex7_9.trs.stdout2007-06-06 12:27 34  
[ ]TRS.higher-order.Lifantsev.Ex2PrimRec.trs.stderr2007-06-06 12:33 770  
[ ]TRS.higher-order.Lifantsev.Ex2PrimRec.trs.stdout2007-06-06 12:33 34  
[ ]TRS.higher-order.Lifantsev.Ex3Lists.trs.stderr2007-06-06 12:33 770  
[ ]TRS.higher-order.Lifantsev.Ex3Lists.trs.stdout2007-06-06 12:33 34  
[ ]TRS.higher-order.Lifantsev.Ex4MapList.trs.stderr2007-06-06 12:34 493  
[ ]TRS.higher-order.Lifantsev.Ex4MapList.trs.stdout2007-06-06 12:34 2.4K 
[ ]TRS.higher-order.Lifantsev.Ex5Sorting.trs.stderr2007-06-06 12:36 770  
[ ]TRS.higher-order.Lifantsev.Ex5Sorting.trs.stdout2007-06-06 12:36 34  
[ ]TRS.higher-order.Lifantsev.Ex6Folding.trs.stderr2007-06-06 12:37 770  
[ ]TRS.higher-order.Lifantsev.Ex6Folding.trs.stdout2007-06-06 12:37 34  
[ ]TRS.higher-order.Lifantsev.Ex7OrdinalRec.trs.stderr2007-06-06 12:39 770  
[ ]TRS.higher-order.Lifantsev.Ex7OrdinalRec.trs.stdout2007-06-06 12:39 34  
[ ]TRS.higher-order.Lifantsev.Ex8Polymorphic.trs.stderr2007-06-06 12:40 770  
[ ]TRS.higher-order.Lifantsev.Ex8Polymorphic.trs.stdout2007-06-06 12:40 34  
[ ]TRS.higher-order.Lifantsev.Ex9Maps.trs.stderr2007-06-06 12:42 770  
[ ]TRS.higher-order.Lifantsev.Ex9Maps.trs.stdout2007-06-06 12:42 34  
[ ]TRS.higher-order.Lifantsev.Ex10Functional.trs.stderr2007-06-06 12:30 770  
[ ]TRS.higher-order.Lifantsev.Ex10Functional.trs.stdout2007-06-06 12:30 34  
[ ]TRS.higher-order.ToyamaRTA04.Ex5Folding.trs.stderr2007-06-06 12:44 770  
[ ]TRS.higher-order.ToyamaRTA04.Ex5Folding.trs.stdout2007-06-06 12:44 34  
[ ]TRS.higher-order.ToyamaRTA04.Ex6Recursor.trs.stderr2007-06-06 12:45 770  
[ ]TRS.higher-order.ToyamaRTA04.Ex6Recursor.trs.stdout2007-06-06 12:45 34  
[ ]TRS.higher-order.ToyamaRTA04.Ex7Sorting.trs.stderr2007-06-06 12:47 770  
[ ]TRS.higher-order.ToyamaRTA04.Ex7Sorting.trs.stdout2007-06-06 12:47 34  
[ ]TRS.nontermin.AG01._4.2.trs.stderr2007-06-06 12:59 770  
[ ]TRS.nontermin.AG01._4.2.trs.stdout2007-06-06 12:59 34  
[ ]TRS.nontermin.AG01._4.3.trs.stderr2007-06-06 13:07 770  
[ ]TRS.nontermin.AG01._4.3.trs.stdout2007-06-06 13:07 34  
[ ]TRS.nontermin.AG01._4.4.trs.stderr2007-06-06 13:07 770  
[ ]TRS.nontermin.AG01._4.4.trs.stdout2007-06-06 13:07 34  
[ ]TRS.nontermin.AG01._4.7.trs.stderr2007-06-06 13:08 770  
[ ]TRS.nontermin.AG01._4.7.trs.stdout2007-06-06 13:08 34  
[ ]TRS.nontermin.AG01._4.12a.trs.stderr2007-06-06 12:47 770  
[ ]TRS.nontermin.AG01._4.12a.trs.stdout2007-06-06 12:47 34  
[ ]TRS.nontermin.AG01._4.13.trs.stderr2007-06-06 12:48 770  
[ ]TRS.nontermin.AG01._4.13.trs.stdout2007-06-06 12:48 34  
[ ]TRS.nontermin.AG01._4.14.trs.stderr2007-06-06 12:49 770  
[ ]TRS.nontermin.AG01._4.14.trs.stdout2007-06-06 12:49 34  
[ ]TRS.nontermin.AG01._4.15.trs.stderr2007-06-06 12:50 770  
[ ]TRS.nontermin.AG01._4.15.trs.stdout2007-06-06 12:50 34  
[ ]TRS.nontermin.AG01._4.16.trs.stderr2007-06-06 12:51 770  
[ ]TRS.nontermin.AG01._4.16.trs.stdout2007-06-06 12:51 34  
[ ]TRS.nontermin.AG01._4.17.trs.stderr2007-06-06 12:53 770  
[ ]TRS.nontermin.AG01._4.17.trs.stdout2007-06-06 12:53 34  
[ ]TRS.nontermin.AG01._4.18.trs.stderr2007-06-06 12:55 770  
[ ]TRS.nontermin.AG01._4.18.trs.stdout2007-06-06 12:55 34  
[ ]TRS.nontermin.AG01._4.19.trs.stderr2007-06-06 12:57 770  
[ ]TRS.nontermin.AG01._4.19.trs.stdout2007-06-06 12:57 34  
[ ]TRS.nontermin.AG01._4.20.trs.stderr2007-06-06 12:57 133  
[ ]TRS.nontermin.AG01._4.20.trs.stdout2007-06-06 12:57 733  
[ ]TRS.nontermin.AG01._4.20a.trs.stderr2007-06-06 12:57 133  
[ ]TRS.nontermin.AG01._4.20a.trs.stdout2007-06-06 12:57 1.0K 
[ ]TRS.nontermin.AG01._4.21.trs.stderr2007-06-06 12:57 133  
[ ]TRS.nontermin.AG01._4.21.trs.stdout2007-06-06 12:57 1.0K 
[ ]TRS.nontermin.AG01._4.22.trs.stderr2007-06-06 12:57 133  
[ ]TRS.nontermin.AG01._4.22.trs.stdout2007-06-06 12:57 920  
[ ]TRS.nontermin.AG01._4.23.trs.stderr2007-06-06 12:57 133  
[ ]TRS.nontermin.AG01._4.23.trs.stdout2007-06-06 12:57 1.2K 
[ ]TRS.nontermin.AG01._4.25.trs.stderr2007-06-06 12:57 133  
[ ]TRS.nontermin.AG01._4.25.trs.stdout2007-06-06 12:57 703  
[ ]TRS.nontermin.AG01._4.26.trs.stderr2007-06-06 12:57 349  
[ ]TRS.nontermin.AG01._4.26.trs.stdout2007-06-06 12:57 1.4K 
[ ]TRS.nontermin.AG01._4.27.trs.stderr2007-06-06 12:57 133  
[ ]TRS.nontermin.AG01._4.27.trs.stdout2007-06-06 12:57 1.4K 
[ ]TRS.nontermin.AG01._4.28.trs.stderr2007-06-06 12:57 349  
[ ]TRS.nontermin.AG01._4.28.trs.stdout2007-06-06 12:57 1.2K 
[ ]TRS.nontermin.AG01._4.29.trs.stderr2007-06-06 12:57 133  
[ ]TRS.nontermin.AG01._4.29.trs.stdout2007-06-06 12:57 2.9K 
[ ]TRS.nontermin.AG01._4.30.trs.stderr2007-06-06 13:05 770  
[ ]TRS.nontermin.AG01._4.30.trs.stdout2007-06-06 13:05 34  
[ ]TRS.nontermin.AG01._4.30a.trs.stderr2007-06-06 12:59 133  
[ ]TRS.nontermin.AG01._4.30a.trs.stdout2007-06-06 12:59 2.0K 
[ ]TRS.nontermin.AG01._4.30b.trs.stderr2007-06-06 13:01 770  
[ ]TRS.nontermin.AG01._4.30b.trs.stdout2007-06-06 13:01 34  
[ ]TRS.nontermin.AG01._4.30c.trs.stderr2007-06-06 13:04 770  
[ ]TRS.nontermin.AG01._4.30c.trs.stdout2007-06-06 13:04 34  
[ ]TRS.nontermin.AG01._4.31.trs.stderr2007-06-06 13:06 770  
[ ]TRS.nontermin.AG01._4.31.trs.stdout2007-06-06 13:06 34  
[ ]TRS.nontermin.AG01._4.32.trs.stderr2007-06-06 13:06 133  
[ ]TRS.nontermin.AG01._4.32.trs.stdout2007-06-06 13:06 1.0K 
[ ]TRS.nontermin.AG01._4.33.trs.stderr2007-06-06 13:06 133  
[ ]TRS.nontermin.AG01._4.33.trs.stdout2007-06-06 13:06 2.0K 
[ ]TRS.nontermin.AG01._4.34.trs.stderr2007-06-06 13:06 133  
[ ]TRS.nontermin.AG01._4.34.trs.stdout2007-06-06 13:06 1.8K 
[ ]TRS.nontermin.AG01._4.35.trs.stderr2007-06-06 13:06 133  
[ ]TRS.nontermin.AG01._4.35.trs.stdout2007-06-06 13:06 6.7K 
[ ]TRS.nontermin.AG01._4.36.trs.stderr2007-06-06 13:06 133  
[ ]TRS.nontermin.AG01._4.36.trs.stdout2007-06-06 13:06 4.0K 
[ ]TRS.nontermin.AG01._4.37.trs.stderr2007-06-06 13:06 133  
[ ]TRS.nontermin.AG01._4.37.trs.stdout2007-06-06 13:06 1.6K 
[ ]TRS.nontermin.AG01._4.37a.trs.stderr2007-06-06 13:06 133  
[ ]TRS.nontermin.AG01._4.37a.trs.stdout2007-06-06 13:06 1.4K 
[ ]TRS.nontermin.CSR.Ex1_2_AEL03.trs.stderr2007-06-06 13:09 770  
[ ]TRS.nontermin.CSR.Ex1_2_AEL03.trs.stdout2007-06-06 13:09 34  
[ ]TRS.nontermin.CSR.Ex1_2_Luc02c.trs.stderr2007-06-06 13:09 770  
[ ]TRS.nontermin.CSR.Ex1_2_Luc02c.trs.stdout2007-06-06 13:09 34  
[ ]TRS.nontermin.CSR.Ex1_GL02a.trs.stderr2007-06-06 13:09 770  
[ ]TRS.nontermin.CSR.Ex1_GL02a.trs.stdout2007-06-06 13:09 34  
[ ]TRS.nontermin.CSR.Ex1_GM03.trs.stderr2007-06-06 13:09 770  
[ ]TRS.nontermin.CSR.Ex1_GM03.trs.stdout2007-06-06 13:09 34  
[ ]TRS.nontermin.CSR.Ex1_GM99.trs.stderr2007-06-06 13:09 770  
[ ]TRS.nontermin.CSR.Ex1_GM99.trs.stdout2007-06-06 13:09 34  
[ ]TRS.nontermin.CSR.Ex1_Luc02b.trs.stderr2007-06-06 13:09 770  
[ ]TRS.nontermin.CSR.Ex1_Luc02b.trs.stdout2007-06-06 13:09 34  
[ ]TRS.nontermin.CSR.Ex1_Zan97.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex1_Zan97.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex2_Luc03b.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex2_Luc03b.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex3_2_Luc97.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex3_2_Luc97.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex3_3_25_Bor03.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex3_3_25_Bor03.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex3_12_Luc96a.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex3_12_Luc96a.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex4_4_Luc96b.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex4_4_Luc96b.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex4_7_15_Bor03.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex4_7_15_Bor03.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex4_7_37_Bor03.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex4_7_37_Bor03.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex4_7_56_Bor03.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex4_7_56_Bor03.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex4_7_77_Bor03.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex4_7_77_Bor03.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex4_Zan97.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex4_Zan97.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex5_7_Luc97.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex5_7_Luc97.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex5_Zan97.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex5_Zan97.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex6_9_Luc02c.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex6_9_Luc02c.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex6_15_AEL02.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex6_15_AEL02.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex6_GM04.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex6_GM04.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex6_Luc98.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex6_Luc98.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex7_BLR02.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex7_BLR02.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex8_BLR02.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex8_BLR02.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex9_BLR02.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex9_BLR02.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex14_AEGL02.trs.stderr2007-06-06 13:09 770  
[ ]TRS.nontermin.CSR.Ex14_AEGL02.trs.stdout2007-06-06 13:09 34  
[ ]TRS.nontermin.CSR.Ex15_Luc98.trs.stderr2007-06-06 13:09 770  
[ ]TRS.nontermin.CSR.Ex15_Luc98.trs.stdout2007-06-06 13:09 34  
[ ]TRS.nontermin.CSR.Ex24_GM04.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex24_GM04.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex26_Luc03b.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.Ex26_Luc03b.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.Ex49_GM04.trs.stderr2007-06-06 13:10 133  
[ ]TRS.nontermin.CSR.Ex49_GM04.trs.stdout2007-06-06 13:10 1.7K 
[ ]TRS.nontermin.CSR.ExAppendixB_AEL03.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.ExAppendixB_AEL03.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.ExConc_Zan97.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.ExConc_Zan97.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.ExIntrod_GM01.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.ExIntrod_GM01.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.ExIntrod_GM04.trs.stderr2007-06-06 13:10 770  
[ ]TRS.nontermin.CSR.ExIntrod_GM04.trs.stdout2007-06-06 13:10 34  
[ ]TRS.nontermin.CSR.ExIntrod_GM99.trs.stderr2007-06-06 13:11 770  
[ ]TRS.nontermin.CSR.ExIntrod_GM99.trs.stdout2007-06-06 13:11 34  
[ ]TRS.nontermin.CSR.ExIntrod_Zan97.trs.stderr2007-06-06 13:11 770  
[ ]TRS.nontermin.CSR.ExIntrod_Zan97.trs.stdout2007-06-06 13:11 34  
[ ]TRS.nontermin.HM.n001.trs.stderr2007-06-06 13:13 770  
[ ]TRS.nontermin.HM.n001.trs.stdout2007-06-06 13:13 34  
[ ]TRS.nontermin.Rubio-inn.bn111.trs.stderr2007-06-06 13:13 770  
[ ]TRS.nontermin.Rubio-inn.bn111.trs.stdout2007-06-06 13:13 34  
[ ]TRS.nontermin.Rubio-inn.gkg.trs.stderr2007-06-06 13:13 770  
[ ]TRS.nontermin.Rubio-inn.gkg.trs.stdout2007-06-06 13:13 34  
[ ]TRS.nontermin.Rubio-inn.muladd.trs.stderr2007-06-06 13:15 770  
[ ]TRS.nontermin.Rubio-inn.muladd.trs.stdout2007-06-06 13:15 34  
[ ]TRS.nontermin.Rubio-inn.test9.trs.stderr2007-06-06 13:17 770  
[ ]TRS.nontermin.Rubio-inn.test9.trs.stdout2007-06-06 13:17 34  
[ ]TRS.nontermin.Rubio-inn.test10.trs.stderr2007-06-06 13:15 770  
[ ]TRS.nontermin.Rubio-inn.test10.trs.stdout2007-06-06 13:15 34  
[ ]TRS.nontermin.Rubio-inn.test75.trs.stderr2007-06-06 13:15 770  
[ ]TRS.nontermin.Rubio-inn.test75.trs.stdout2007-06-06 13:15 34  
[ ]TRS.nontermin.Rubio-inn.test76.trs.stderr2007-06-06 13:16 770  
[ ]TRS.nontermin.Rubio-inn.test76.trs.stdout2007-06-06 13:16 34  
[ ]TRS.nontermin.Rubio-inn.test77.trs.stderr2007-06-06 13:16 770  
[ ]TRS.nontermin.Rubio-inn.test77.trs.stdout2007-06-06 13:16 34  
[ ]TRS.nontermin.Rubio-inn.test830.trs.stderr2007-06-06 13:16 133  
[ ]TRS.nontermin.Rubio-inn.test830.trs.stdout2007-06-06 13:16 1.8K 
[ ]TRS.nontermin.Rubio-inn.toyama.trs.stderr2007-06-06 13:17 770  
[ ]TRS.nontermin.Rubio-inn.toyama.trs.stdout2007-06-06 13:17 34  
[ ]TRS.nontermin.TRCSR.ExSec11_1_Luc02a.trs.stderr2007-06-06 13:17 770  
[ ]TRS.nontermin.TRCSR.ExSec11_1_Luc02a.trs.stdout2007-06-06 13:17 34  
[ ]TRS.nontermin.cariboo.ex1.trs.stderr2007-06-06 13:08 770  
[ ]TRS.nontermin.cariboo.ex1.trs.stdout2007-06-06 13:08 34  
[ ]TRS.nontermin.cariboo.ex2.trs.stderr2007-06-06 13:08 770  
[ ]TRS.nontermin.cariboo.ex2.trs.stdout2007-06-06 13:08 34  
[ ]TRS.nontermin.cariboo.ex3.trs.stderr2007-06-06 13:08 770  
[ ]TRS.nontermin.cariboo.ex3.trs.stdout2007-06-06 13:08 34  
[ ]TRS.nontermin.cariboo.ex4.trs.stderr2007-06-06 13:09 770  
[ ]TRS.nontermin.cariboo.ex4.trs.stdout2007-06-06 13:09 34  
[ ]TRS.nontermin.cariboo.ex5.trs.stderr2007-06-06 13:09 770  
[ ]TRS.nontermin.cariboo.ex5.trs.stdout2007-06-06 13:09 34  
[ ]TRS.nontermin.cariboo.ex6.trs.stderr2007-06-06 13:09 770  
[ ]TRS.nontermin.cariboo.ex6.trs.stdout2007-06-06 13:09 34  
[ ]TRS.nontermin.cariboo.tricky1.trs.stderr2007-06-06 13:09 205  
[ ]TRS.nontermin.cariboo.tricky1.trs.stdout2007-06-06 13:09 1.0K 
[ ]TRS.secret05.aprove1.trs.stderr2007-06-05 17:43 770  
[ ]TRS.secret05.aprove1.trs.stdout2007-06-05 17:43 34  
[ ]TRS.secret05.aprove2.trs.stderr2007-06-05 17:44 770  
[ ]TRS.secret05.aprove2.trs.stdout2007-06-05 17:44 34  
[ ]TRS.secret05.aprove3.trs.stderr2007-06-05 17:45 770  
[ ]TRS.secret05.aprove3.trs.stdout2007-06-05 17:45 34  
[ ]TRS.secret05.aprove4.trs.stderr2007-06-05 17:46 770  
[ ]TRS.secret05.aprove4.trs.stdout2007-06-05 17:46 34  
[ ]TRS.secret05.aprove5.trs.stderr2007-06-05 17:46 770  
[ ]TRS.secret05.aprove5.trs.stdout2007-06-05 17:46 34  
[ ]TRS.secret05.cime1.trs.stderr2007-06-05 17:48 770  
[ ]TRS.secret05.cime1.trs.stdout2007-06-05 17:48 34  
[ ]TRS.secret05.cime2.trs.stderr2007-06-05 17:50 493  
[ ]TRS.secret05.cime2.trs.stdout2007-06-05 17:50 5.6K 
[ ]TRS.secret05.cime3.trs.stderr2007-06-05 17:52 770  
[ ]TRS.secret05.cime3.trs.stdout2007-06-05 17:52 34  
[ ]TRS.secret05.cime4.trs.stderr2007-06-05 17:52 770  
[ ]TRS.secret05.cime4.trs.stdout2007-06-05 17:52 34  
[ ]TRS.secret05.cime5.trs.stderr2007-06-05 17:53 205  
[ ]TRS.secret05.cime5.trs.stdout2007-06-05 17:53 46K 
[ ]TRS.secret05.matchbox1.trs.stderr2007-06-05 17:54 770  
[ ]TRS.secret05.matchbox1.trs.stdout2007-06-05 17:54 34  
[ ]TRS.secret05.matchbox2.trs.stderr2007-06-05 17:54 770  
[ ]TRS.secret05.matchbox2.trs.stdout2007-06-05 17:54 34  
[ ]TRS.secret05.teparla1.trs.stderr2007-06-05 17:54 770  
[ ]TRS.secret05.teparla1.trs.stdout2007-06-05 17:54 34  
[ ]TRS.secret05.teparla2.trs.stderr2007-06-05 17:54 770  
[ ]TRS.secret05.teparla2.trs.stdout2007-06-05 17:54 34  
[ ]TRS.secret05.teparla3.trs.stderr2007-06-05 17:55 770  
[ ]TRS.secret05.teparla3.trs.stdout2007-06-05 17:55 34  
[ ]TRS.secret05.tpa1.trs.stderr2007-06-05 17:55 205  
[ ]TRS.secret05.tpa1.trs.stdout2007-06-05 17:55 1.9K 
[ ]TRS.secret05.tpa2.trs.stderr2007-06-05 17:55 349  
[ ]TRS.secret05.tpa2.trs.stdout2007-06-05 17:55 1.8K 
[ ]TRS.secret05.tpa3.trs.stderr2007-06-05 17:56 770  
[ ]TRS.secret05.tpa3.trs.stdout2007-06-05 17:56 34  
[ ]TRS.secret05.tpa4.trs.stderr2007-06-05 17:58 770  
[ ]TRS.secret05.tpa4.trs.stdout2007-06-05 17:58 34  
[ ]TRS.secret05.tpa5.trs.stderr2007-06-05 18:01 770  
[ ]TRS.secret05.tpa5.trs.stdout2007-06-05 18:01 34  
[ ]TRS.secret05.ttt1.trs.stderr2007-06-05 18:02 770  
[ ]TRS.secret05.ttt1.trs.stdout2007-06-05 18:02 34  
[ ]TRS.secret05.ttt2.trs.stderr2007-06-05 18:02 770  
[ ]TRS.secret05.ttt2.trs.stdout2007-06-05 18:02 34  
[ ]TRS.secret06.aprove.addList.trs.stderr2007-06-06 14:43 770  
[ ]TRS.secret06.aprove.addList.trs.stdout2007-06-06 14:43 34  
[ ]TRS.secret06.aprove.divExp.trs.stderr2007-06-06 14:43 770  
[ ]TRS.secret06.aprove.divExp.trs.stdout2007-06-06 14:43 34  
[ ]TRS.secret06.aprove.division.trs.stderr2007-06-06 14:44 770  
[ ]TRS.secret06.aprove.division.trs.stdout2007-06-06 14:44 34  
[ ]TRS.secret06.aprove.double.trs.stderr2007-06-06 14:45 770  
[ ]TRS.secret06.aprove.double.trs.stdout2007-06-06 14:45 34  
[ ]TRS.secret06.aprove.logarithm.trs.stderr2007-06-06 14:46 770  
[ ]TRS.secret06.aprove.logarithm.trs.stdout2007-06-06 14:46 34  
[ ]TRS.secret06.aprove.nrOfNodes.trs.stderr2007-06-06 14:47 770  
[ ]TRS.secret06.aprove.nrOfNodes.trs.stdout2007-06-06 14:47 34  
[ ]TRS.secret06.aprove.reverse.trs.stderr2007-06-06 14:48 770  
[ ]TRS.secret06.aprove.reverse.trs.stdout2007-06-06 14:48 34  
[ ]TRS.secret06.aprove.sumList.trs.stderr2007-06-06 14:50 770  
[ ]TRS.secret06.aprove.sumList.trs.stdout2007-06-06 14:50 34  
[ ]TRS.secret06.aprove.times.trs.stderr2007-06-06 14:51 770  
[ ]TRS.secret06.aprove.times.trs.stdout2007-06-06 14:51 34  
[ ]TRS.secret06.aprove.toList.trs.stderr2007-06-06 14:53 770  
[ ]TRS.secret06.aprove.toList.trs.stdout2007-06-06 14:53 34  
[ ]TRS.secret06.cime1.trs.stderr2007-06-05 18:04 770  
[ ]TRS.secret06.cime1.trs.stdout2007-06-05 18:04 34  
[ ]TRS.secret06.jambox.2.trs.stderr2007-06-06 14:55 770  
[ ]TRS.secret06.jambox.2.trs.stdout2007-06-06 14:55 34  
[ ]TRS.secret06.jambox.3.trs.stderr2007-06-06 14:56 770  
[ ]TRS.secret06.jambox.3.trs.stdout2007-06-06 14:56 34  
[ ]TRS.secret06.jambox.4.trs.stderr2007-06-06 14:57 770  
[ ]TRS.secret06.jambox.4.trs.stdout2007-06-06 14:57 34  
[ ]TRS.secret06.jambox.5.trs.stderr2007-06-06 14:57 133  
[ ]TRS.secret06.jambox.5.trs.stdout2007-06-06 14:57 1.7K 
[ ]TRS.secret06.jambox.6.trs.stderr2007-06-06 14:59 770  
[ ]TRS.secret06.jambox.6.trs.stdout2007-06-06 14:59 34  
[ ]TRS.secret06.jambox.7.trs.stderr2007-06-06 14:59 349  
[ ]TRS.secret06.jambox.7.trs.stdout2007-06-06 14:59 2.8K 
[ ]TRS.secret06.jambox.8.trs.stderr2007-06-06 14:59 349  
[ ]TRS.secret06.jambox.8.trs.stdout2007-06-06 14:59 1.6K 
[ ]TRS.secret06.jambox.9.trs.stderr2007-06-06 14:59 349  
[ ]TRS.secret06.jambox.9.trs.stdout2007-06-06 14:59 1.8K 
[ ]TRS.secret06.jambox.10.trs.stderr2007-06-06 14:53 770  
[ ]TRS.secret06.jambox.10.trs.stdout2007-06-06 14:53 34  
[ ]TRS.secret06.matchbox.gen-1.trs.stderr2007-06-06 15:02 349  
[ ]TRS.secret06.matchbox.gen-1.trs.stdout2007-06-06 15:02 1.7K 
[ ]TRS.secret06.matchbox.gen-9.trs.stderr2007-06-06 15:07 770  
[ ]TRS.secret06.matchbox.gen-9.trs.stdout2007-06-06 15:07 34  
[ ]TRS.secret06.matchbox.gen-10.trs.stderr2007-06-06 15:00 770  
[ ]TRS.secret06.matchbox.gen-10.trs.stdout2007-06-06 15:00 34  
[ ]TRS.secret06.matchbox.gen-14.trs.stderr2007-06-06 15:01 770  
[ ]TRS.secret06.matchbox.gen-14.trs.stdout2007-06-06 15:01 34  
[ ]TRS.secret06.matchbox.gen-15.trs.stderr2007-06-06 15:01 349  
[ ]TRS.secret06.matchbox.gen-15.trs.stdout2007-06-06 15:01 2.0K 
[ ]TRS.secret06.matchbox.gen-17.trs.stderr2007-06-06 15:01 421  
[ ]TRS.secret06.matchbox.gen-17.trs.stdout2007-06-06 15:01 1.5K 
[ ]TRS.secret06.matchbox.gen-18.trs.stderr2007-06-06 15:02 770  
[ ]TRS.secret06.matchbox.gen-18.trs.stdout2007-06-06 15:02 34  
[ ]TRS.secret06.matchbox.gen-22.trs.stderr2007-06-06 15:04 770  
[ ]TRS.secret06.matchbox.gen-22.trs.stdout2007-06-06 15:04 34  
[ ]TRS.secret06.matchbox.gen-25.trs.stderr2007-06-06 15:05 770  
[ ]TRS.secret06.matchbox.gen-25.trs.stdout2007-06-06 15:05 34  
[ ]TRS.secret06.matchbox.gen-28.trs.stderr2007-06-06 15:06 770  
[ ]TRS.secret06.matchbox.gen-28.trs.stdout2007-06-06 15:06 34  
[ ]TRS.secret06.tpa01.trs.stderr2007-06-05 18:05 770  
[ ]TRS.secret06.tpa01.trs.stdout2007-06-05 18:05 34  
[ ]TRS.secret06.tpa02.trs.stderr2007-06-05 18:05 770  
[ ]TRS.secret06.tpa02.trs.stdout2007-06-05 18:05 34  
[ ]TRS.secret06.tpa03.trs.stderr2007-06-05 18:05 770  
[ ]TRS.secret06.tpa03.trs.stdout2007-06-05 18:05 34  
[ ]TRS.secret06.tpa04.trs.stderr2007-06-05 18:06 770  
[ ]TRS.secret06.tpa04.trs.stdout2007-06-05 18:06 34  
[ ]TRS.secret06.tpa05.trs.stderr2007-06-05 18:09 770  
[ ]TRS.secret06.tpa05.trs.stdout2007-06-05 18:09 34  
[ ]TRS.secret06.tpa06.trs.stderr2007-06-05 18:12 770  
[ ]TRS.secret06.tpa06.trs.stdout2007-06-05 18:12 34  
[ ]TRS.secret06.tpa07.trs.stderr2007-06-05 18:14 770  
[ ]TRS.secret06.tpa07.trs.stdout2007-06-05 18:14 34  
[ ]TRS.secret06.tpa08.trs.stderr2007-06-05 18:17 770  
[ ]TRS.secret06.tpa08.trs.stdout2007-06-05 18:17 34  
[ ]TRS.secret06.tpa09.trs.stderr2007-06-05 18:20 770  
[ ]TRS.secret06.tpa09.trs.stdout2007-06-05 18:20 34  
[ ]TRS.secret06.tpa10.trs.stderr2007-06-05 18:23 770  
[ ]TRS.secret06.tpa10.trs.stdout2007-06-05 18:23 34  
[ ]TRS.various.02.trs.stderr2007-06-06 10:04 770  
[ ]TRS.various.02.trs.stdout2007-06-06 10:04 34  
[ ]TRS.various.03.trs.stderr2007-06-06 10:04 770  
[ ]TRS.various.03.trs.stdout2007-06-06 10:04 34  
[ ]TRS.various.04.trs.stderr2007-06-06 10:06 770  
[ ]TRS.various.04.trs.stdout2007-06-06 10:06 34  
[ ]TRS.various.05.trs.stderr2007-06-06 10:08 770  
[ ]TRS.various.05.trs.stdout2007-06-06 10:08 34  
[ ]TRS.various.06.trs.stderr2007-06-06 10:08 133  
[ ]TRS.various.06.trs.stdout2007-06-06 10:08 840  
[ ]TRS.various.07.trs.stderr2007-06-06 10:08 133  
[ ]TRS.various.07.trs.stdout2007-06-06 10:08 552  
[ ]TRS.various.08.trs.stderr2007-06-06 10:10 770  
[ ]TRS.various.08.trs.stdout2007-06-06 10:10 34  
[ ]TRS.various.09.trs.stderr2007-06-06 10:10 133  
[ ]TRS.various.09.trs.stdout2007-06-06 10:10 922  
[ ]TRS.various.10.trs.stderr2007-06-06 10:10 133  
[ ]TRS.various.10.trs.stdout2007-06-06 10:10 3.3K 
[ ]TRS.various.11.trs.stderr2007-06-06 10:10 770  
[ ]TRS.various.11.trs.stdout2007-06-06 10:10 34  
[ ]TRS.various.12.trs.stderr2007-06-06 10:10 133  
[ ]TRS.various.12.trs.stdout2007-06-06 10:10 2.2K 
[ ]TRS.various.13.trs.stderr2007-06-06 10:10 133  
[ ]TRS.various.13.trs.stdout2007-06-06 10:10 3.4K 
[ ]TRS.various.14.trs.stderr2007-06-06 10:10 133  
[ ]TRS.various.14.trs.stdout2007-06-06 10:10 9.5K 
[ ]TRS.various.15.trs.stderr2007-06-06 10:10 133  
[ ]TRS.various.15.trs.stdout2007-06-06 10:10 888  
[ ]TRS.various.18.trs.stderr2007-06-06 10:10 133  
[ ]TRS.various.18.trs.stdout2007-06-06 10:10 911  
[ ]TRS.various.19.trs.stderr2007-06-06 10:10 133  
[ ]TRS.various.19.trs.stdout2007-06-06 10:10 6.6K 
[ ]TRS.various.20.trs.stderr2007-06-06 10:11 770  
[ ]TRS.various.20.trs.stdout2007-06-06 10:11 34  
[ ]TRS.various.21.trs.stderr2007-06-06 10:11 133  
[ ]TRS.various.21.trs.stdout2007-06-06 10:11 14K 
[ ]TRS.various.22.trs.stderr2007-06-06 10:11 133  
[ ]TRS.various.22.trs.stdout2007-06-06 10:11 827  
[ ]TRS.various.23.trs.stderr2007-06-06 10:11 133  
[ ]TRS.various.23.trs.stdout2007-06-06 10:11 1.0K 
[ ]TRS.various.24.trs.stderr2007-06-06 10:11 133  
[ ]TRS.various.24.trs.stdout2007-06-06 10:11 1.2K 
[ ]TRS.various.25.trs.stderr2007-06-06 10:11 133  
[ ]TRS.various.25.trs.stdout2007-06-06 10:11 1.0K 
[ ]TRS.various.26.trs.stderr2007-06-06 10:11 133  
[ ]TRS.various.26.trs.stdout2007-06-06 10:11 1.5K 
[ ]TRS.various.27.trs.stderr2007-06-06 10:11 133  
[ ]TRS.various.27.trs.stdout2007-06-06 10:11 665  
[ ]qualif.aa.trs.stderr2007-06-05 16:25 118  
[ ]qualif.aa.trs.stdout2007-06-05 16:25 0  
[ ]qualif.ab.trs.stderr2007-06-05 16:25 118  
[ ]qualif.ab.trs.stdout2007-06-05 16:25 0  
[ ]qualif.ack.trs.stderr2007-06-05 16:25 118  
[ ]qualif.ack.trs.stdout2007-06-05 16:25 0  
[ ]qualif.bin.trs.stderr2007-06-05 16:25 118  
[ ]qualif.bin.trs.stdout2007-06-05 16:25 0  
[ ]qualif.no.trs.stderr2007-06-05 16:25 118  
[ ]qualif.no.trs.stdout2007-06-05 16:25 0  
[ ]qualif.quot.trs.stderr2007-06-05 16:25 118  
[ ]qualif.quot.trs.stdout2007-06-05 16:25 0  
[ ]qualif.simple.trs.stderr2007-06-05 16:25 118  
[ ]qualif.simple.trs.stdout2007-06-05 16:25 0  
[ ]qualif.syr1.trs.stderr2007-06-05 16:25 118  
[ ]qualif.syr1.trs.stdout2007-06-05 16:25 0  
[ ]qualif.syr2.trs.stderr2007-06-05 16:26 118  
[ ]qualif.syr2.trs.stdout2007-06-05 16:26 0  
[ ]qualif.toyama.trs.stderr2007-06-05 16:26 118  
[ ]qualif.toyama.trs.stdout2007-06-05 16:26 0  
[ ]qualif.toyama2.trs.stderr2007-06-05 16:26 118  
[ ]qualif.toyama2.trs.stdout2007-06-05 16:26 0  
[ ]secret2007.TTT2.1.trs.stderr2007-06-06 15:22 770  
[ ]secret2007.TTT2.1.trs.stdout2007-06-06 15:22 34  
[ ]secret2007.TTT2.2.trs.stderr2007-06-06 15:23 770  
[ ]secret2007.TTT2.2.trs.stdout2007-06-06 15:23 34  
[ ]secret2007.TTT2.3.trs.stderr2007-06-06 15:24 770  
[ ]secret2007.TTT2.3.trs.stdout2007-06-06 15:24 34  
[ ]secret2007.TTT2.4.trs.stderr2007-06-06 15:24 770  
[ ]secret2007.TTT2.4.trs.stdout2007-06-06 15:24 34  
[ ]secret2007.TTT2.5.trs.stderr2007-06-06 15:26 770  
[ ]secret2007.TTT2.5.trs.stdout2007-06-06 15:26 34  
[ ]secret2007.TTT2.6.trs.stderr2007-06-06 15:26 349  
[ ]secret2007.TTT2.6.trs.stdout2007-06-06 15:26 1.3K 
[ ]secret2007.TTT2.7.trs.stderr2007-06-06 15:26 770  
[ ]secret2007.TTT2.7.trs.stdout2007-06-06 15:26 34  
[ ]secret2007.aprove.aprove01.trs.stderr2007-06-06 15:08 770  
[ ]secret2007.aprove.aprove01.trs.stdout2007-06-06 15:08 34  
[ ]secret2007.aprove.aprove02.trs.stderr2007-06-06 15:10 770  
[ ]secret2007.aprove.aprove02.trs.stdout2007-06-06 15:10 34  
[ ]secret2007.aprove.aprove03.trs.stderr2007-06-06 15:11 770  
[ ]secret2007.aprove.aprove03.trs.stdout2007-06-06 15:11 34  
[ ]secret2007.aprove.aprove04.trs.stderr2007-06-06 15:13 770  
[ ]secret2007.aprove.aprove04.trs.stdout2007-06-06 15:13 34  
[ ]secret2007.aprove.aprove05.trs.stderr2007-06-06 15:14 770  
[ ]secret2007.aprove.aprove05.trs.stdout2007-06-06 15:14 34  
[ ]secret2007.aprove.aprove06.trs.stderr2007-06-06 15:16 770  
[ ]secret2007.aprove.aprove06.trs.stdout2007-06-06 15:16 34  
[ ]secret2007.aprove.aprove07.trs.stderr2007-06-06 15:17 770  
[ ]secret2007.aprove.aprove07.trs.stdout2007-06-06 15:17 34  
[ ]secret2007.aprove.aprove08.trs.stderr2007-06-06 15:18 770  
[ ]secret2007.aprove.aprove08.trs.stdout2007-06-06 15:18 34  
[ ]secret2007.aprove.aprove09.trs.stderr2007-06-06 15:20 770  
[ ]secret2007.aprove.aprove09.trs.stdout2007-06-06 15:20 34  
[ ]secret2007.aprove.aprove10.trs.stderr2007-06-06 15:22 770  
[ ]secret2007.aprove.aprove10.trs.stdout2007-06-06 15:22 34  
[ ]secret2007.cime.secret1.trs.stderr2007-06-06 15:22 133  
[ ]secret2007.cime.secret1.trs.stdout2007-06-06 15:22 1.9K 
[ ]secret2007.cime.secret2.trs.stderr2007-06-06 15:22 133  
[ ]secret2007.cime.secret2.trs.stdout2007-06-06 15:22 2.5K 
[ ]secret2007.cime.secret3.trs.stderr2007-06-06 15:22 133  
[ ]secret2007.cime.secret3.trs.stdout2007-06-06 15:22 2.0K 
[ ]secret2007.cime.secret4.trs.stderr2007-06-06 15:22 133  
[ ]secret2007.cime.secret4.trs.stdout2007-06-06 15:22 3.1K 
[ ]secret2007.cime.secret5.trs.stderr2007-06-06 15:22 133  
[ ]secret2007.cime.secret5.trs.stdout2007-06-06 15:22 4.9K 
[ ]secret2007.others.dj.trs.stderr2007-06-06 15:22 421  
[ ]secret2007.others.dj.trs.stdout2007-06-06 15:22 4.2K 
Apache/2.4.52 (Ubuntu) Server at www.lri.fr Port 80