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

	Name	Last modified	Size	Description
	Parent Directory		-
	results/	17-Jan-2006 11:32	-
	runme	08-Apr-2005 11:30	26
	tpa-1.0	08-Apr-2005 11:00	1.1M
	tpa.prelim	21-Mar-2005 19:23	1.1M