Index of /sites/dsc/storage1/c3/shared/home/saleh/work/SA-SAT-java-stuff/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