[SMT-COMP] SMT-COMP 2015: Benchmark Scrambler Revised

[Tjark Weber]

Dear SMT-COMP participants,

We identified several issues in the benchmark scrambler that could
cause invalid output in the presence of variable shadowing. Apparently
these issues had gone unnoticed (or perhaps had not been triggered) in
previous years.

We have revised the scrambler to fix these issues. The new version is
available from http://smtcomp.sourceforge.net/2015/tools.shtml Its
output differs on benchmarks in the following divisions:

  Application Track/ALIA
  Application Track/ANIA
  Application Track/QF_ALIA
  Application Track/QF_ANIA
  Application Track/QF_BV
  Application Track/QF_LIA
  Main Track/UF
  Main Track/UFIDL
  Main Track/UFLIA
  Main Track/UFNIA

We will be re-running these divisions within the next 2-3 days. This
may evidently lead to (hopefully only slightly) different results in
these divisions.

Best,
Tjark