[SMT-LIB] smt-comp scrambler

[Christoph Wintersteiger]

Hi there,

I'm fairly certain that there is a bug in the scrambler published on the smt-comp 11 website:

I used -seed 1234 on file QF_BV\check2\symbols.smt2

In the function declarations of the output, all variables are renamed to x* but two of the original names (v1, |v0|) still appear in some of the assertions.

Of course, it would be very much appreciated if this could be fixed before the competition :)

Cheers,
Christoph