Index of /archive/pub/challenge/satisfiability/benchmarks

	Name	Last modified	Size	Description
	Parent Directory		-
	cnf/	2000-03-02 21:00	-
	sat/	1993-06-28 16:42	-
	volume/	1993-12-15 00:00	-