This side provides access to source code and experiments of our POS'18 paper.
This is the source code of Scranfilize tool to scramble CNFs.
We provide tables for all the results reported in the paper.
[ sc2017-main-data.txt (SAT 2017 Competition main track) ]
[ sc2017-application-data.txt (SAT 2016 Competition application track) ]
[ sc2017-application-crafted.txt (SAT 2016 Competition crafted track) ]
Complete log files, scripts and source of solvers used in the experiments.
[ pos18data.tar.xz (578 MB) ]