[SMT-COMP] SMT-COMP 2015: Application Track Tools Revised

[Tjark Weber]

Dear SMT-COMP participants,

There was an issue with the application track tools, causing them to
sometimes ignore correct solver responses on partially solved
incremental benchmarks. Thanks to Kshitij Bansal for pointing this out.

To address this issue, we will be using revised versions of the trace
executor and post-processor for the application track. These are now
available from http://smtcomp.sourceforge.net/2015/tools.shtml

The changes in observable behavior are minor. (Notably, a solver's
stderr output is now redirected to /dev/null.) Still, if they do
adversely affect your application track solver, please let us know.

Best,
Tjark