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 fulllength journal version of the paper), data from such experiments will also be published here. Complete Data from the Experiments for the Conference Version
Tables with all results
CNF Formula Instances
Fixed bandwidth formulas
