Repository for review purposes for "Two Flavors of DRAT"
Directory discrepant-proofs/ contains an experiment showing that state-of-the-art checkers produce the claimed results in the two discrepant proofs presented in the paper.
Directory unit-deletions/ contains an experiment finding the occurrence of ignored deletion instructions in proofs produced by state-of-the-art solvers when checked with drat-trim.