JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

[  source | tables | data ]

Scranfilize

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:

[ https://github.com/arminbiere/scranfilize ]

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