Our tool Scranfilize is tunable scrambler for CNFs in DIMACS format. This site provides access to the source code and the experiments of the corresponding POS'18 paper.

Armin Biere, Marijn Heule. The Effect of Scrambling CNFs. In Proc. 9th Work. on Pragmatics of SAT 2015 and 2018, EPiC Series in Computing, vol. 59, pages 111-126, EasyChair, 2019.
[ paper | bibtex | scranfilize ]

Source Code

This is the source code of Scranfilize tool to scramble CNFs. The latest version removed nested functions to support compilation with 'clang' (on for instance MacOS).

[ scranfilize-005.tar.xz | scranfilize-004.tar.xz | scranfilize-003.tar.xz ] ]

You might find are more recent version on GitHub:

[ ]


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