Index of /archive/pub/challenge/sat/benchmarks/volume

	Name	Last modified	Size	Description
	Parent Directory		-
	Cnf/	1993-12-14 21:20	-
	Machine/	1993-12-15 00:01	-
	instruct.tex	1993-12-14 23:46	9.9K