Index of ftp://dimacs.rutgers.edu/pub/challenge/

Parent Directory

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01	page 02 of 02
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15	<- Back | Next page ->

ls-lR	52.06Kb	November 28 1993
proposals	512.00b	March 14 1993
sat	14.00b	December 22 2006
satisfiability	512.00b	June 28 1993
submit	512.00b	September 11 1995

-15 -14 -13 -12 -11 -10 -09 -08 -07 -06 -05 -04 -03 -02 -01	page 02 of 02
+01 +02 +03 +04 +05 +06 +07 +08 +09 +10 +11 +12 +13 +14 +15	<- Back | Next page ->