1. rupToRes makes mistakes on cnf files containing tautologous clauses.
   You can detect that a file had tautologous clauses by noticing that
   the clause count reported by rupToRes is less than the actual number
   of clauses.  checker3 reports that the proof file produced by
   rupToRes has an error.
   No files with tautologous clauses will be used for the verification
   track.