Benchmark Scrambler

This year we intend to use the same scrambler as in 2007. The implementation is thanks to Aaron Stump.

• Source tarball

To build: tar xfz scrambler.tgz; cd scrambler; make
To use: java -jar scrambler.jar seed file.smt

[seed] is a seed for the pseudo-random number generator.

The scrambler performs the following functions:

• it drops annotations;
• it hides benchmark name and status;
• it renames all variables; and
• it randomly permutes arguments to AC logical connectives and theory function symbols.

Last modified: Tue 17 Feb 2015 14:59 UTC