Scranfilize

This side provides access to source code and experiments of our POS'18 paper.

Armin Biere, Marijn Heule. The Effect of Scrambling CNFs. To be published in Proc. 9th Work. on Pragmatics of SAT (POS'18), 2018.
[ paper | bibtex | scranfilize ]

Source Code

This is the source code of Scranfilize tool to scramble CNFs.

[ scranfilize-003.tar.xz ]

Tables

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) ]

Data

Complete log files, scripts and source of solvers used in the experiments.

[ pos18data.tar.xz (578 MB) ]