Index of /~surynek/research/csclp2010/csclp2010_experiments/cnfs

	Name	Last modified	Size	Description
	Parent Directory		-
	Urq8_5.cnf	2010-10-17 18:07	95K
	ais12.cnf	2010-10-17 18:07	67K
	hanoi4.cnf	2010-10-17 18:07	65K
	huge.cnf	2010-10-17 18:07	85K
	jnh1.cnf	2010-10-17 18:07	24K
	par16-1-c.cnf	2010-10-17 18:07	21K
	par16-1.cnf	2010-10-17 18:07	52K
	pret150_75.cnf	2010-10-17 18:07	11K
	s3-3-3-8.cnf	2010-10-17 18:07	99K
	ssa7552-160.cnf	2010-10-17 18:07	38K
	sw100-5.cnf	2010-10-17 18:07	36K
	uuf250-0100.cnf	2010-10-17 18:07	15K