[SMT-COMP] SMT-COMP 2020 rules draft and timeline

[Antti Hyvärinen]

On my previous mail the month of the SMT-LIB benchmark library
release was wrong.  Here are the correct dates.

Important dates:
* April 20 (approx.) new release of SMT-LIB benchmark library
* May 4              for first versions of solvers
* May 18             for final versions of solvers

Antti Hyvarinen

On Fri, Apr 3, 2020 at 5:54 PM Antti Hyvärinen
<antti.hyvarinen at gmail.com> wrote:
>
> The revised (draft) rules for SMT-COMP 2020 are now available on the
> competition website: http://www.smt-comp.org/2020/rules20.pdf
>
> These rules are open for comment through Monday, April 13.
>
> There are several significant changes from last year. Please refer to
> Section 3 of the rules draft for a detailed summary of the changes.
>
> Important dates:
> * May 20 (approx.) new release of SMT-LIB benchmark library
> * May 4            for first versions of solvers
> * May 18           for final versions of solvers
>
> The solver submission form and the final rules document will be made
> available at the final call for solvers (announced here and on the
> competition website).
>
> Antti Hyvarinen
> (on behalf of the organizers)