This folder contains examples where the drat-trim tool (https://www.cs.utexas.edu/~marijn/drat-trim/) behaves incorrectly,
either by giving wrong results, or crashing. 

The comments in the cnf-files contain more information on the bugs.

The fixed/ folder contains former bugs that have been fixed in the repository version of drat-trim (https://github.com/marijnheule/drat-trim).
