Index of /home/lieber/evergreen/specker/SCG-instances

	Name	Last modified	Size	Description
	Parent Directory		-
	CSP-resource	2009-07-11 12:31	2.4K
	MaxCSP	2009-07-11 08:21	516
	program-property	2009-07-10 17:32	779