Index of /sites/dsc/storage2/community/c1/shared2/test9/saleh/SAT-stuff/sat-pack/wffs/

../
OUTPUT.gz                                          01-Aug-1996 02:34                1020
README.gz                                          01-Aug-1996 02:29                 331
sat.200.cnf.gz                                     01-Aug-1996 02:03                4618
sat.200.gz                                         01-Aug-1996 02:01                4427
unsat.10.gz                                        01-Aug-1996 01:57                 205
unsat.100.gz                                       01-Aug-1996 02:01                2045
unsat.20.gz                                        01-Aug-1996 02:00                 379
unsat.200.gz                                       01-Aug-1996 02:04                4442
unsat.50.gz                                        01-Aug-1996 02:00                 958