Index of /~marche/termination-competition/2004/tpdb/AProVE_AC

	Name	Last modified	Size	Description
	Parent Directory		-
	AC01.trs	2004-05-17 15:38	89
	AC01.trs.cim2	2004-07-01 13:34	240
	AC02.trs	2004-05-17 15:38	115
	AC02.trs.cim2	2004-07-01 13:34	288
	AC03.trs	2004-05-17 15:38	219
	AC03.trs.cim2	2004-07-01 13:34	442
	AC04.trs	2004-05-17 15:38	276
	AC04.trs.cim2	2004-07-01 13:34	536
	AC05.trs	2004-05-17 15:38	303
	AC05.trs.cim2	2004-07-01 13:35	587
	AC06.trs	2004-05-17 15:38	418
	AC06.trs.cim2	2004-07-01 13:35	743
	AC07.trs	2004-05-17 15:38	372
	AC07.trs.cim2	2004-07-01 13:35	694
	AC08.trs	2004-05-17 15:38	489
	AC08.trs.cim2	2004-07-01 13:35	844
	AC09.trs	2004-05-17 15:38	278
	AC09.trs.cim2	2004-07-01 13:35	523
	AC10.trs	2004-05-17 15:38	214
	AC10.trs.cim2	2004-07-01 13:35	420
	AC11.trs	2004-05-17 15:38	178
	AC11.trs.cim2	2004-07-01 13:36	411
	AC12.trs	2004-05-17 15:38	194
	AC12.trs.cim2	2004-07-01 13:36	409
	AC13.trs	2004-05-17 15:38	259
	AC13.trs.cim2	2004-07-01 13:36	489
	AC14.trs	2004-05-17 15:38	214
	AC14.trs.cim2	2004-07-01 13:36	420
	AC15.trs	2004-05-17 15:38	99
	AC15.trs.cim2	2004-07-01 13:36	264
	AC16.trs	2004-05-17 15:38	272
	AC16.trs.cim2	2004-07-01 13:36	514
	AC17.trs	2004-05-17 15:38	292
	AC17.trs.cim2	2004-07-01 13:36	548
	AC18.trs	2004-05-17 15:38	579
	AC18.trs.cim2	2004-07-01 13:36	1.0K
	AC19.trs	2004-05-17 15:38	230
	AC19.trs.cim2	2004-07-01 13:38	486
	AC20.trs	2004-05-17 15:38	276
	AC20.trs.cim2	2004-07-01 13:40	536
	AC21.trs	2004-05-17 15:38	1.4K
	AC21.trs.cim2	2004-07-01 13:40	2.1K
	AC22.trs	2004-05-17 15:38	874
	AC22.trs.cim2	2004-07-01 13:40	1.3K
	AC23.trs	2004-05-17 15:38	495
	AC23.trs.cim2	2004-07-01 13:40	811
	AC24.trs	2004-05-17 15:38	292
	AC24.trs.cim2	2004-07-01 13:40	548
	AC25.trs	2004-05-17 15:38	278
	AC25.trs.cim2	2004-07-01 13:40	523
	AC26.trs	2004-05-17 15:38	308
	AC26.trs.cim2	2004-07-01 13:40	549
	AC27.trs	2004-05-17 15:38	427
	AC27.trs.cim2	2004-07-01 13:40	773
	AC28.trs	2004-05-17 15:38	288
	AC28.trs.cim2	2004-07-01 13:40	536
	AC29.trs	2004-05-17 15:38	410
	AC29.trs.cim2	2004-07-01 13:40	810
	AC41.trs	2004-05-17 15:38	263
	AC41.trs.cim2	2004-07-01 13:40	504
	AC42.trs	2004-05-17 15:38	379
	AC42.trs.cim2	2004-07-01 13:41	726
	AC43.trs	2004-05-17 15:38	358
	AC43.trs.cim2	2004-07-01 13:42	686
	AC44.trs	2004-05-17 15:38	450
	AC44.trs.cim2	2004-07-01 13:45	824
	AC45.trs	2004-05-17 15:38	360
	AC45.trs.cim2	2004-07-01 13:48	696
	AC46.trs	2004-05-17 15:38	854
	AC46.trs.cim2	2004-07-01 13:51	1.4K
	AC47.trs	2004-05-17 15:38	706
	AC47.trs.cim2	2004-07-01 13:54	1.1K
	AC48.trs	2004-05-17 15:38	206
	AC48.trs.cim2	2004-07-01 13:55	414
	AC49.trs	2004-05-17 15:38	341
	AC49.trs.cim2	2004-07-01 13:56	623
	AC50.trs	2004-05-17 15:38	454
	AC50.trs.cim2	2004-07-01 14:00	788
	AC51.trs	2004-05-17 15:38	128
	AC51.trs.cim2	2004-07-01 14:01	297
	AC52.trs	2004-05-17 15:38	159
	AC52.trs.cim2	2004-07-01 14:01	351
	AC53.trs	2004-05-17 15:38	110
	AC53.trs.cim2	2004-07-01 14:01	293
	AC54.trs	2004-05-17 15:38	515
	AC54.trs.cim2	2004-07-01 14:02	887