Index of /pub/sat-files/benchmarks

	Name	Last modified	Size	Description
	Parent Directory		-
	as1-yes.cnf.Z	1996-01-17 08:37	246K
	as2-yes.cnf.Z	1996-01-17 08:37	5.6K
	as3-yes.cnf.Z	1996-01-17 08:37	5.7K
	as4-yes.cnf.Z	1996-01-17 08:37	28K
	as5-yes.cnf.Z	1996-01-17 08:37	240K
	as6-yes.cnf.Z	1996-01-17 08:37	15K
	as7-yes.cnf.Z	1996-01-17 08:37	129K
	as8-yes.cnf.Z	1996-01-17 08:37	6.0K
	as9-no.cnf.Z	1996-01-17 08:37	8.1K
	as10-yes.cnf.Z	1996-01-17 08:37	18K
	as11-yes.cnf.Z	1996-01-17 08:37	7.9K
	as12-yes.cnf.Z	1996-01-17 08:37	5.9K
	as13-yes.cnf.Z	1996-01-17 08:37	15K
	as14-yes.cnf.Z	1996-01-17 08:37	4.7K
	as15-yes.cnf.Z	1996-01-17 08:37	24K
	set1contents.tex	1996-01-17 11:03	1.7K
	supertab.sty	1996-01-17 11:03	19K
	tm1-yes.cnf.Z	1996-01-17 08:37	180K
	tm2-yes.cnf.Z	1996-01-17 08:37	8.4K