Propositional Resolution Proofs and Raw Data of Experimental Results

<p>This dataset contains propositional resolution proofs generated by the SMT-solver VeriT on problems of the Sat-Race 2010 and on other sat problems.</p> <p>The proofs were used to evaluate two proof compression algorithms: RecyclePivotsWithIntersection and LowerUnits. The experiments were performed in 2010--2011 and raw experimental results are included in the dataset.</p> <p>A paper about this was published in CADE 2011.</p>