Index of /~degivry/evalgm/CP/Golomb

	Name	Last modified	Size	Description
	Parent Directory		-
	07.dzn.xz	20-Nov-2013 19:40	64
	07.uai.evid	20-Nov-2013 19:41	2
	07.uai.xz	20-Nov-2013 19:40	6.5K
	07.wcsp.xz	20-Nov-2013 19:41	475K
	07_direct.lp.xz	20-Nov-2013 19:41	9.7M
	07_direct.wcnf.xz	20-Nov-2013 19:40	807K
	07_support.lp.xz	20-Nov-2013 19:42	1.9M
	07_support.wcnf.xz	20-Nov-2013 19:41	3.9M
	08.dzn.xz	20-Nov-2013 19:40	64
	08.uai.evid	20-Nov-2013 19:41	2
	08.uai.xz	20-Nov-2013 19:41	15K
	08.wcsp.xz	20-Nov-2013 19:41	3.1M
	08_direct.lp.xz	20-Nov-2013 19:41	26M
	08_direct.wcnf.xz	20-Nov-2013 19:41	3.3M
	08_support.lp.xz	20-Nov-2013 19:42	6.8M
	08_support.wcnf.xz	20-Nov-2013 19:41	12M
	09.dzn.xz	20-Nov-2013 19:40	64
	09.uai.evid	20-Nov-2013 19:42	2
	09.uai.xz	20-Nov-2013 19:41	34K
	09.wcsp.xz	20-Nov-2013 19:41	7.3M
	09_direct.lp.xz	20-Nov-2013 19:42	69M
	09_direct.wcnf.xz	20-Nov-2013 19:42	6.0M
	09_support.lp.xz	20-Nov-2013 19:43	18M
	09_support.wcnf.xz	20-Nov-2013 19:42	28M
	10.dzn.xz	20-Nov-2013 19:40	64
	11.dzn.xz	20-Nov-2013 19:40	64
	12.dzn.xz	20-Nov-2013 19:40	64
	golomb.mzn	20-Nov-2013 19:40	1.3K