Drop additional DIMACS `.cnf` smoke tests in this directory. `test.sh` copies
the whole export directory into the Docker build context, then runs every
`tests/*.cnf` file through the exported `run.sh`.
