Index of /pub/challenge/sat/benchmarks/cnf

	Name	Last modified	Size	Description
	Parent Directory		-
	hangbiao	2000-03-02 16:00	2.2K
	contents.tex	1993-12-06 13:23	12K
	jnh3.cnf.Z	1993-12-05 20:06	7.1K
	LAST_UPDATENov28	1993-11-28 10:41	16K
	contents.tex.BAK	1993-11-28 09:50	12K
	aim-50-6_0-yes1-4.cnf.Z	1993-11-28 09:30	1.6K
	aim-50-6_0-yes1-3.cnf.Z	1993-11-28 09:30	1.6K
	aim-50-6_0-yes1-2.cnf.Z	1993-11-28 09:30	1.6K
	aim-50-6_0-yes1-1.cnf.Z	1993-11-28 09:30	1.6K
	aim-50-3_4-yes1-4.cnf.Z	1993-11-28 09:30	1.1K
	aim-50-3_4-yes1-3.cnf.Z	1993-11-28 09:30	1.1K
	aim-50-3_4-yes1-2.cnf.Z	1993-11-28 09:30	1.1K
	aim-50-3_4-yes1-1.cnf.Z	1993-11-28 09:30	1.1K
	aim-50-2_0-yes1-4.cnf.Z	1993-11-28 09:30	820
	aim-50-2_0-yes1-3.cnf.Z	1993-11-28 09:30	823
	aim-50-2_0-yes1-2.cnf.Z	1993-11-28 09:30	820
	aim-50-2_0-yes1-1.cnf.Z	1993-11-28 09:30	818
	aim-50-2_0-no-4.cnf.Z	1993-11-28 09:30	821
	aim-50-2_0-no-3.cnf.Z	1993-11-28 09:30	826
	aim-50-2_0-no-2.cnf.Z	1993-11-28 09:30	823
	aim-50-2_0-no-1.cnf.Z	1993-11-28 09:30	824
	aim-50-1_6-yes1-4.cnf.Z	1993-11-28 09:30	739
	aim-50-1_6-yes1-3.cnf.Z	1993-11-28 09:30	721
	aim-50-1_6-yes1-2.cnf.Z	1993-11-28 09:30	728
	aim-50-1_6-yes1-1.cnf.Z	1993-11-28 09:30	734
	aim-50-1_6-no-4.cnf.Z	1993-11-28 09:30	731
	aim-50-1_6-no-3.cnf.Z	1993-11-28 09:30	734
	aim-200-6_0-yes1-4.cnf.Z	1993-11-28 09:30	6.4K
	aim-50-1_6-no-2.cnf.Z	1993-11-28 09:30	736
	aim-50-1_6-no-1.cnf.Z	1993-11-28 09:30	738
	aim-200-6_0-yes1-3.cnf.Z	1993-11-28 09:30	6.3K
	aim-200-6_0-yes1-2.cnf.Z	1993-11-28 09:30	6.4K
	aim-200-6_0-yes1-1.cnf.Z	1993-11-28 09:30	6.4K
	aim-200-3_4-yes1-4.cnf.Z	1993-11-28 09:30	3.9K
	aim-200-3_4-yes1-3.cnf.Z	1993-11-28 09:30	3.9K
	aim-200-3_4-yes1-2.cnf.Z	1993-11-28 09:30	3.9K
	aim-200-3_4-yes1-1.cnf.Z	1993-11-28 09:30	3.9K
	aim-200-2_0-yes1-4.cnf.Z	1993-11-28 09:30	2.5K
	aim-200-2_0-yes1-3.cnf.Z	1993-11-28 09:30	2.5K
	aim-200-2_0-yes1-2.cnf.Z	1993-11-28 09:30	2.5K
	aim-200-2_0-yes1-1.cnf.Z	1993-11-28 09:30	2.5K
	aim-200-2_0-no-4.cnf.Z	1993-11-28 09:30	2.5K
	aim-200-2_0-no-3.cnf.Z	1993-11-28 09:30	2.5K
	aim-200-2_0-no-2.cnf.Z	1993-11-28 09:30	2.5K
	aim-200-2_0-no-1.cnf.Z	1993-11-28 09:30	2.5K
	aim-200-1_6-yes1-4.cnf.Z	1993-11-28 09:30	2.1K
	aim-200-1_6-yes1-3.cnf.Z	1993-11-28 09:30	2.1K
	aim-200-1_6-yes1-2.cnf.Z	1993-11-28 09:30	2.1K
	aim-200-1_6-yes1-1.cnf.Z	1993-11-28 09:30	2.1K
	aim-200-1_6-no-4.cnf.Z	1993-11-28 09:30	2.1K
	aim-200-1_6-no-3.cnf.Z	1993-11-28 09:30	2.1K
	aim-200-1_6-no-2.cnf.Z	1993-11-28 09:30	2.1K
	aim-200-1_6-no-1.cnf.Z	1993-11-28 09:30	2.1K
	aim-100-6_0-yes1-4.cnf.Z	1993-11-28 09:30	3.1K
	aim-100-6_0-yes1-3.cnf.Z	1993-11-28 09:30	3.1K
	aim-100-6_0-yes1-2.cnf.Z	1993-11-28 09:30	3.1K
	aim-100-6_0-yes1-1.cnf.Z	1993-11-28 09:30	3.1K
	aim-100-3_4-yes1-4.cnf.Z	1993-11-28 09:30	2.0K
	aim-100-3_4-yes1-3.cnf.Z	1993-11-28 09:30	2.0K
	aim-100-3_4-yes1-2.cnf.Z	1993-11-28 09:30	2.0K
	aim-100-3_4-yes1-1.cnf.Z	1993-11-28 09:30	2.0K
	aim-100-2_0-yes1-4.cnf.Z	1993-11-28 09:30	1.4K
	aim-100-2_0-yes1-3.cnf.Z	1993-11-28 09:30	1.4K
	aim-100-2_0-yes1-2.cnf.Z	1993-11-28 09:30	1.4K
	aim-100-2_0-yes1-1.cnf.Z	1993-11-28 09:30	1.4K
	aim-100-2_0-no-4.cnf.Z	1993-11-28 09:30	1.4K
	aim-100-2_0-no-3.cnf.Z	1993-11-28 09:30	1.4K
	aim-100-2_0-no-2.cnf.Z	1993-11-28 09:30	1.4K
	aim-100-2_0-no-1.cnf.Z	1993-11-28 09:30	1.4K
	aim-100-1_6-yes1-4.cnf.Z	1993-11-28 09:30	1.2K
	aim-100-1_6-yes1-3.cnf.Z	1993-11-28 09:30	1.2K
	aim-100-1_6-yes1-2.cnf.Z	1993-11-28 09:30	1.2K
	aim-100-1_6-yes1-1.cnf.Z	1993-11-28 09:30	1.2K
	aim-100-1_6-no-4.cnf.Z	1993-11-28 09:30	1.2K
	aim-100-1_6-no-3.cnf.Z	1993-11-28 09:30	1.2K
	aim-100-1_6-no-2.cnf.Z	1993-11-28 09:30	1.2K
	aim-100-1_6-no-1.cnf.Z	1993-11-28 09:30	1.2K
	LAST_UPDATENov28.BAK	1993-09-21 14:35	11K
	jnh220.cnf.Z	1993-09-21 14:31	6.7K
	jnh218.cnf.Z	1993-09-21 14:31	6.7K
	jnh217.cnf.Z	1993-09-21 14:31	6.7K
	jnh213.cnf.Z	1993-09-21 14:30	6.7K
	jnh212.cnf.Z	1993-09-21 14:30	6.7K
	jnh20.cnf.Z	1993-09-21 14:30	7.1K
	jnh2.cnf.Z	1993-09-21 14:30	7.1K
	jnh310.cnf.Z	1993-09-07 20:33	7.4K
	jnh309.cnf.Z	1993-09-07 20:33	7.4K
	jnh308.cnf.Z	1993-09-07 20:33	7.4K
	jnh307.cnf.Z	1993-09-07 20:33	7.4K
	jnh9.cnf.Z	1993-09-07 20:33	7.0K
	jnh8.cnf.Z	1993-09-07 20:33	7.0K
	jnh7.cnf.Z	1993-09-07 20:33	7.0K
	jnh6.cnf.Z	1993-09-07 20:33	7.0K
	jnh5.cnf.Z	1993-09-07 20:33	7.1K
	jnh4.cnf.Z	1993-09-07 20:33	7.0K
	jnh306.cnf.Z	1993-09-07 20:33	7.4K
	jnh305.cnf.Z	1993-09-07 20:33	7.4K
	jnh304.cnf.Z	1993-09-07 20:33	7.4K
	jnh303.cnf.Z	1993-09-07 20:33	7.4K
	jnh302.cnf.Z	1993-09-07 20:33	7.5K
	jnh301.cnf.Z	1993-09-07 20:33	7.8K
	jnh219.cnf.Z	1993-09-07 20:33	6.6K
	jnh216.cnf.Z	1993-09-07 20:33	6.6K
	jnh215.cnf.Z	1993-09-07 20:33	6.6K
	jnh214.cnf.Z	1993-09-07 20:33	6.6K
	jnh3.cnf.BAK	1993-09-07 20:33	23K
	jnh211.cnf.Z	1993-09-07 20:33	6.6K
	jnh210.cnf.Z	1993-09-07 20:33	6.7K
	jnh209.cnf.Z	1993-09-07 20:33	6.6K
	jnh208.cnf.Z	1993-09-07 20:33	6.7K
	jnh207.cnf.Z	1993-09-07 20:33	6.7K
	jnh206.cnf.Z	1993-09-07 20:33	6.6K
	jnh205.cnf.Z	1993-09-07 20:33	6.7K
	jnh204.cnf.Z	1993-09-07 20:33	6.6K
	jnh203.cnf.Z	1993-09-07 20:33	6.6K
	jnh202.cnf.Z	1993-09-07 20:33	6.7K
	jnh201.cnf.Z	1993-09-07 20:33	7.0K
	jnh19.cnf.Z	1993-09-07 20:33	7.0K
	jnh18.cnf.Z	1993-09-07 20:33	7.0K
	jnh17.cnf.Z	1993-09-07 20:33	7.0K
	jnh16.cnf.Z	1993-09-07 20:33	7.0K
	jnh15.cnf.Z	1993-09-07 20:33	7.0K
	jnh14.cnf.Z	1993-09-07 20:33	7.0K
	jnh13.cnf.Z	1993-09-07 20:33	7.0K
	jnh12.cnf.Z	1993-09-07 20:33	7.1K
	jnh11.cnf.Z	1993-09-07 20:33	7.0K
	jnh10.cnf.Z	1993-09-07 20:33	7.1K
	jnh1.cnf.Z	1993-09-07 20:33	7.4K
	faw.cnf.Z	1993-09-07 20:33	107K
	hole10.cnf.Z	1993-08-22 12:41	2.2K
	hole9.cnf.Z	1993-08-22 12:41	2.0K
	hole8.cnf.Z	1993-08-22 12:41	1.6K
	hole7.cnf.Z	1993-08-22 12:41	1.2K
	hole6.cnf.Z	1993-08-22 12:41	936
	pret150_75.cnf.Z	1993-08-22 10:22	2.9K
	pret60_75.cnf.Z	1993-08-22 10:22	1.5K
	pret60_60.cnf.Z	1993-08-22 10:22	1.5K
	pret60_40.cnf.Z	1993-08-22 10:22	1.5K
	pret60_25.cnf.Z	1993-08-22 10:22	1.5K
	pret150_60.cnf.Z	1993-08-22 10:22	2.9K
	pret150_40.cnf.Z	1993-08-22 10:22	3.0K
	pret150_25.cnf.Z	1993-08-22 10:22	3.0K
	par8-5.cnf.Z	1993-08-03 10:40	6.5K
	par8-5-c.cnf.Z	1993-08-03 10:40	1.9K
	par8-4.cnf.Z	1993-08-03 10:40	6.4K
	par8-4-c.cnf.Z	1993-08-03 10:40	1.8K
	par8-3.cnf.Z	1993-08-03 10:40	6.5K
	par8-3-c.cnf.Z	1993-08-03 10:40	1.9K
	par8-2.cnf.Z	1993-08-03 10:40	6.5K
	par8-2-c.cnf.Z	1993-08-03 10:40	1.8K
	par8-1.cnf.Z	1993-08-03 10:40	6.4K
	par8-1-c.cnf.Z	1993-08-03 10:40	1.7K
	par32-5.cnf.Z	1993-08-03 10:40	60K
	par32-5-c.cnf.Z	1993-08-03 10:40	31K
	par32-4.cnf.Z	1993-08-03 10:40	60K
	par32-4-c.cnf.Z	1993-08-03 10:40	30K
	par32-3.cnf.Z	1993-08-03 10:40	60K
	par32-3-c.cnf.Z	1993-08-03 10:40	30K
	par32-2.cnf.Z	1993-08-03 10:40	60K
	par32-2-c.cnf.Z	1993-08-03 10:40	30K
	par32-1.cnf.Z	1993-08-03 10:40	60K
	par32-1-c.cnf.Z	1993-08-03 10:40	30K
	par16-5.cnf.Z	1993-08-03 10:40	19K
	par16-5-c.cnf.Z	1993-08-03 10:40	7.5K
	par16-4.cnf.Z	1993-08-03 10:40	18K
	par16-4-c.cnf.Z	1993-08-03 10:40	7.2K
	par16-3.cnf.Z	1993-08-03 10:40	19K
	par16-3-c.cnf.Z	1993-08-03 10:40	7.4K
	par16-2.cnf.Z	1993-08-03 10:40	19K
	par16-2-c.cnf.Z	1993-08-03 10:40	7.7K
	par16-1.cnf.Z	1993-08-03 10:40	18K
	par16-1-c.cnf.Z	1993-08-03 10:40	7.0K
	g250.29.cnf.Z	1993-07-30 10:13	1.7M
	g250.15.cnf.Z	1993-07-30 10:09	859K
	f2000.cnf.Z	1993-07-29 20:27	54K
	f1000.cnf.Z	1993-07-29 20:27	26K
	f600.cnf.Z	1993-07-29 20:27	15K
	hanoi5.cnf.Z	1993-07-29 14:39	72K
	hanoi4.cnf.Z	1993-07-29 14:39	23K
	g125.18.cnf.Z	1993-07-29 14:39	268K
	g125.17.cnf.Z	1993-07-29 14:39	254K
	dubois50.cnf.Z	1993-07-25 12:27	2.5K
	dubois30.cnf.Z	1993-07-25 12:27	1.6K
	dubois29.cnf.Z	1993-07-25 12:27	1.5K
	dubois28.cnf.Z	1993-07-25 12:27	1.5K
	dubois27.cnf.Z	1993-07-25 12:27	1.4K
	dubois100.cnf.Z	1993-07-25 12:27	4.8K
	dubois26.cnf.Z	1993-07-25 12:27	1.3K
	dubois25.cnf.Z	1993-07-25 12:27	1.3K
	dubois24.cnf.Z	1993-07-25 12:27	1.3K
	dubois23.cnf.Z	1993-07-25 12:27	1.2K
	dubois22.cnf.Z	1993-07-25 12:27	1.2K
	dubois21.cnf.Z	1993-07-25 12:27	1.1K
	dubois20.cnf.Z	1993-07-25 12:27	1.1K
	ii8e2.cnf.Z	1993-07-25 11:13	24K
	ii8e1.cnf.Z	1993-07-25 11:13	13K
	ii8d2.cnf.Z	1993-07-25 11:13	25K
	ii8d1.cnf.Z	1993-07-25 11:13	13K
	ii8c2.cnf.Z	1993-07-25 11:13	25K
	ii8c1.cnf.Z	1993-07-25 11:13	12K
	ii8b4.cnf.Z	1993-07-25 11:13	31K
	ii8b3.cnf.Z	1993-07-25 11:13	23K
	ii8b2.cnf.Z	1993-07-25 11:13	16K
	ii8b1.cnf.Z	1993-07-25 11:13	8.0K
	ii8a4.cnf.Z	1993-07-25 11:13	12K
	ii8a3.cnf.Z	1993-07-25 11:13	6.8K
	ii8a2.cnf.Z	1993-07-25 11:13	3.7K
	ii32e5.cnf.Z	1993-07-25 11:13	64K
	ii8a1.cnf.Z	1993-07-25 11:13	1.1K
	ii32e4.cnf.Z	1993-07-25 11:13	45K
	ii32e3.cnf.Z	1993-07-25 11:13	32K
	ii32e2.cnf.Z	1993-07-25 11:13	18K
	ii32e1.cnf.Z	1993-07-25 11:13	9.5K
	ii32d3.cnf.Z	1993-07-25 11:13	99K
	ii32d2.cnf.Z	1993-07-25 11:13	28K
	ii32d1.cnf.Z	1993-07-25 11:12	15K
	ii32c4.cnf.Z	1993-07-25 11:12	123K
	ii32c3.cnf.Z	1993-07-25 11:12	24K
	ii32c2.cnf.Z	1993-07-25 11:12	17K
	ii32c1.cnf.Z	1993-07-25 11:12	9.7K
	ii32b4.cnf.Z	1993-07-25 11:12	44K
	ii32b3.cnf.Z	1993-07-25 11:12	38K
	ii32b2.cnf.Z	1993-07-25 11:12	18K
	ii32b1.cnf.Z	1993-07-25 11:12	9.9K
	ii32a1.cnf.Z	1993-07-25 11:12	47K
	ii16e2.cnf.Z	1993-07-25 11:12	40K
	ii16e1.cnf.Z	1993-07-25 11:12	94K
	ii16d2.cnf.Z	1993-07-25 11:12	53K
	ii16d1.cnf.Z	1993-07-25 11:12	76K
	ii16c2.cnf.Z	1993-07-25 11:12	57K
	ii16c1.cnf.Z	1993-07-25 11:12	86K
	ii16b2.cnf.Z	1993-07-25 11:12	64K
	ii16b1.cnf.Z	1993-07-25 11:12	107K
	ii16a2.cnf.Z	1993-07-25 11:12	90K
	ii16a1.cnf.Z	1993-07-25 11:12	82K
	ssa7552-159.cnf.Z	1993-07-17 12:15	14K
	ssa7552-158.cnf.Z	1993-07-17 12:15	14K
	ssa7552-160.cnf.Z	1993-07-14 10:27	15K
	ssa7552-038.cnf.Z	1993-07-14 10:27	17K
	ssa6288-047.cnf.Z	1993-07-14 10:27	212K
	ssa2670-141.cnf.Z	1993-07-14 10:26	11K
	ssa2670-130.cnf.Z	1993-07-14 10:26	17K
	ssa0432-003.cnf.Z	1993-07-14 10:26	5.0K
	bf2670-001.cnf.Z	1993-07-14 10:26	17K
	bf1355-638.cnf.Z	1993-07-14 10:26	37K
	bf1355-075.cnf.Z	1993-07-14 10:26	37K
	bf0432-007.cnf.Z	1993-07-14 10:26	19K
	supertab.sty	1993-06-28 12:43	19K