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

[Tjark Weber]

Dear SMT-COMP participants,

We have completed re-running all divisions that were affected by
changes in the scrambler (due to issues with variable shadowing).

As before, detailed job data is available on StarExec:
  Main track
  https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=88435
  Application track
  https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=94314

Please consider taking a fresh look at the results, especially in these
divisions:

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

If you notice any problems, please let us know as soon as possible!

Best,
Tjark