Long Proofs of (Seemingly) Simple Formulas: Supplementary Material
This page contains supplementary material for the paper
If and when more extensive experiments are done (as part of the work on the full-length journal version of the paper), data from such experiments will also be published here.
Complete Data from the Experiments for the Conference Version
CNF Formula Instances