Index of /pub/challenge/satisfiability/benchmarks/volume/Cnf

	Name	Last modified	Size	Description
	Parent Directory		-
	Appendix.tex	1993-12-14 16:03	2.9K
	aim-100-2_0-no-1.cnf.Z	1993-12-14 16:03	1.4K
	aim-100-2_0-no-2.cnf.Z	1993-12-14 16:03	1.4K
	aim-100-2_0-no-3.cnf.Z	1993-12-14 16:03	1.4K
	aim-100-2_0-no-4.cnf.Z	1993-12-14 16:03	1.4K
	aim-100-2_0-yes1-1.cnf.Z	1993-12-14 16:03	1.4K
	aim-100-2_0-yes1-2.cnf.Z	1993-12-14 16:03	1.4K
	aim-100-2_0-yes1-3.cnf.Z	1993-12-14 16:03	1.4K
	aim-100-2_0-yes1-4.cnf.Z	1993-12-14 16:03	1.4K
	bf0432-007.cnf.Z	1993-12-14 16:03	19K
	bf2670-001.cnf.Z	1993-12-14 16:04	17K
	dubois20.cnf.Z	1993-12-14 16:04	1.1K
	dubois21.cnf.Z	1993-12-14 16:04	1.1K
	f400.cnf.Z	1993-12-14 16:05	9.6K
	f800.cnf.Z	1993-12-14 16:06	20K
	f1600.cnf.Z	1993-12-14 16:04	43K
	f3200.cnf.Z	1993-12-14 16:05	90K
	f6400.cnf.Z	1993-12-14 16:06	192K
	g125.17.cnf.Z	1993-12-14 16:07	254K
	g125.18.cnf.Z	1993-12-14 16:09	268K
	g250.15.cnf.Z	1993-12-14 16:11	859K
	g250.29.cnf.Z	1993-12-14 16:18	1.7M
	ii32b3.cnf.Z	1993-12-14 16:18	38K
	ii32c3.cnf.Z	1993-12-14 16:18	24K
	ii32d3.cnf.Z	1993-12-14 16:19	99K
	ii32e3.cnf.Z	1993-12-14 16:19	32K
	par8-2-c.cnf.Z	1993-12-14 16:19	1.8K
	par8-4-c.cnf.Z	1993-12-14 16:19	1.8K
	par16-2-c.cnf.Z	1993-12-14 16:19	7.7K
	par16-4-c.cnf.Z	1993-12-14 16:19	7.2K
	par32-2-c.cnf.Z	1993-12-14 16:19	30K
	par32-4-c.cnf.Z	1993-12-14 16:19	30K
	pret60_25.cnf.Z	1993-12-14 16:19	1.5K
	pret60_75.cnf.Z	1993-12-14 16:20	1.5K
	pret150_25.cnf.Z	1993-12-14 16:19	3.0K
	pret150_75.cnf.Z	1993-12-14 16:19	2.9K
	ssa0432-003.cnf.Z	1993-12-14 16:20	5.0K
	ssa2670-141.cnf.Z	1993-12-14 16:20	11K
	ssa7552-038.cnf.Z	1993-12-14 16:20	17K
	ssa7552-158.cnf.Z	1993-12-14 16:20	14K
	ssa7552-159.cnf.Z	1993-12-14 16:20	14K
	ssa7552-160.cnf.Z	1993-12-14 16:20	15K