[SMT-COMP] Questions

[Tjark Weber]

Martin,

On Sun, 2018-05-20 at 11:46 +0200, Martin Bromberger wrote:
> 1) Is the 2018 benchmark scrambler already available and, if yes, where 
> can I find it? (I found the scramblers for 2014-2017 on StarExec but 
> none for 2018.)
> 2) When will the submission form be available?
> 3) When will the competition rules be finalized?

We expect to make progress on these items as soon as the 2018 SMT-LIB
benchmark release becomes available -- hopefully within the next few
days. (The SMT-LIB release had been scheduled for mid-May, but is
currently delayed due to technical issues.) We will send out a separate
announcement when the submission form is available.

The 2018 scrambler will be an enhanced version of the 2017 scrambler.
For now, you could use the latter to run tests on StarExec (or you
could even use unscrambled benchmarks).

I do not expect major changes to the rules from their draft version,
except that we intend to clarify the precise criteria for additional
recognitions/awards.

Best,
Tjark