Notes on test programs and data files
-------------------------------------

Test programs for <PROBLEM> have the form <PROBLEM>[0-9].c.  For example, cset1.c is a test program for cset.

If test program X has one or more data files, they will be named X.[0-9]. For example, cset5.1 is data
for cset5 and would be used like this:
    cset5 < cset5.1

All test programs that read a data file read it via standard input.

If you find a file that doesn't seem to be associated with anything, let us know.  Recall that ckrestrict
looks for some possible violations of the restrictions for problems 1-3.