[an error occurred while processing this directive] Benchmark Scrambler [an error occurred while processing this directive]

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:

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.

[an error occurred while processing this directive]

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

Last modified: Tue 09 Feb 2016 16:01 CST