Index of ftp://dimacs.rutgers.edu/pub/sat-files/benchmarks

[DIR] Parent Directory

[ ] as1-yes.cnf.Z  245.90Kb  January 17 1996
[ ] as10-yes.cnf.Z  18.04Kb  January 17 1996
[ ] as11-yes.cnf.Z  7.94Kb  January 17 1996
[ ] as12-yes.cnf.Z  5.93Kb  January 17 1996
[ ] as13-yes.cnf.Z  15.15Kb  January 17 1996
[ ] as14-yes.cnf.Z  4.68Kb  January 17 1996
[ ] as15-yes.cnf.Z  24.23Kb  January 17 1996
[ ] as2-yes.cnf.Z  5.65Kb  January 17 1996
[ ] as3-yes.cnf.Z  5.66Kb  January 17 1996
[ ] as4-yes.cnf.Z  28.17Kb  January 17 1996
[ ] as5-yes.cnf.Z  240.26Kb  January 17 1996
[ ] as6-yes.cnf.Z  14.53Kb  January 17 1996
[ ] as7-yes.cnf.Z  129.15Kb  January 17 1996
[ ] as8-yes.cnf.Z  6.03Kb  January 17 1996
[ ] as9-no.cnf.Z  8.11Kb  January 17 1996
[ ] set1contents.tex  1.69Kb  January 17 1996
[ ] supertab.sty  19.18Kb  January 17 1996
[ ] tm1-yes.cnf.Z  179.83Kb  January 17 1996
[ ] tm2-yes.cnf.Z  8.39Kb  January 17 1996