Index of /~simon/contest04/results/downloads

	Name	Last modified	Size	Description
	Parent Directory		-
	SAT04 Contest.pdf	04-Jun-2004 14:50	1.4M
	SAT04 Contest.ppt.zip	04-Jun-2004 14:52	2.1M
	Thumbs.db	04-Jun-2004 15:26	13K
	benchs-sat04-handmade.tar.bz2	27-Jul-2004 10:21	35M
	benchs-sat04-industrial.tar.bz2	27-Jul-2004 10:25	2.1G
	benchs-sat04-random.tar.bz2	27-Jul-2004 10:26	11M
	clustering-all-on-all-small.png	04-Jun-2004 15:34	35K
	clustering-all-on-all.png	04-Jun-2004 15:24	40K
	clustering-all-on-all.ps	04-Jun-2004 15:25	16K
	contest04-raw-results.gz	03-Nov-2004 16:05	575K
	hgen2-v450-s41511877.shuffled-as.sat03-1682.used-as.sat04-816.cnf.gz	31-Jul-2004 23:39	10K
	hgen8-n260-01-S1597732451.shuffled-as.sat03-885.used-as.sat04-838.cnf.gz	31-Jul-2004 23:37	2.9K
	industrial-complete-all-fixed-small.png	04-Jun-2004 15:36	56K
	industrial-complete-all-fixed.epsi	04-Jun-2004 15:31	222K
	random-all-sat-fixed.epsi	04-Jun-2004 15:26	308K
	random-all-sat-fixed.png	04-Jun-2004 15:26	198K