Home Intro Login Public results Specs Thanks SMT-LIB SMT-COMP

Benchmark Scrambler

Please note that this is the scrambler used in SMT-COMP'07 and SMT-COMP'08 (which is a different scrambler than the one used in the 2006 competition. This scrambler is an implementation by Aaron Stump in Java.

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:

Home Intro Login Public results Specs Thanks SMT-LIB SMT-COMP

Last modified: Tue 09 Feb 2016 16:01 CST
Valid XHTML 1.0 Valid CSS!