[SMT-COMP] New version of benchmark scrambler and trace executor available

[Alberto Griggio]

Hello all,
I just wanted to announce the availability of a new version of the
benchmark scrambler and trace executor for SMT-COMP'2011. The new
release fixes a couple of bugs and adds the following features:

- the trace executor now accepts also result traces with some "unknown"
  status

- the scrambler now has one additional option, -unfold PATTERN.
  Basically, this allows to generate N single-query, non-incremental
  benchmarks from an incremental input file containing N check-sat
  commands.


For more details, please see the README.txt that comes with each of the
tools.

They can both be downloaded from the Application Track page of the
SMT-COMP'2011 website:
   http://www.smtcomp.org/2011/application.shtml


Should you have questions or encounter problems with the tools, do not
hesitate to contact me.


Best,
Alberto