Index of ftp://ftp.mcs.anl.gov/pub/ATP_problems/puzzles/space.state

[DIR] Parent Directory

[ ] chekndom.desc  916.00b  March 24 1990
[ ] chekndom.ver1.clauses  3.01Kb  March 24 1990
[ ] chekndom.ver1.in  3.12Kb  March 24 1990
[ ] chekndom.ver1.out  68.55Kb  March 24 1990
[ ] chekndom.ver2.clauses  3.12Kb  March 24 1990
[ ] chekndom.ver2.in  3.22Kb  March 24 1990
[ ] chekndom.ver2.out  4.80Kb  March 24 1990
[ ] mission.desc  904.00b  March 24 1990
[ ] mission.ver1.clauses  3.83Kb  March 24 1990
[ ] mission.ver1.in  3.92Kb  March 24 1990
[ ] mission.ver1.out  5.67Kb  March 24 1990
[ ] mission.ver2.clauses  4.11Kb  March 24 1990
[ ] mission.ver2.in  4.18Kb  March 24 1990
[ ] mission.ver2.out  7.69Kb  March 24 1990
[ ] README  1.77Kb  March 24 1990