The 'test.sh' script should be called from the root directory, with
the list of CNFs (in this directory) that are tested.  Those CNFs
are require to have as first line a comment of the form 'c implied <n>',
which gives the unique number of implied literals through failed literal
probing that the CNF has.  The test script runs the tool and extracts from
the log file the number of implied literals the tool has found.  This is
compared against the expected one and the test fails if they do not match.

The compressed CNFs are meant for performance testing only (also do not
have the 'c implied <n>' comment).  The test script can not handle these
compressed files, but the tool can.
