[SMT-COMP] SMT-COMP 2021 Jobs are running.

[Jochen Hoenicke]

Dear SMT-COMP followers,

On Thu, 17 Jun 2021 at 17:22, I wrote:
>
> The SMT-COMP 2021 is live.  You can follow it on StarExec:
>
>   https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=443642

There was a permission problem that is fixed now.  So the link should
now send you to the correct space.

> The Jobs were created in the spaces starting with `Competition`, one
> for each track.  There will be more spaces for the remaining tracks
> soon.
>
> Note that the job summary is not always accurate:  Benchmarks with
> unknown status are classified as unknown, even if the solver replied
> with sat or unsat.  In the model validation track an error message in
> the output is classified as wrong, even though our script classifies
> it as unknown. We will use a script running on the Job Information
> downloaded from the StarExec site and, especially in cases of
> unsoundness, confirm manually whether the classification is correct or
> not.
>
> Regards,
>
> The organizing team
> Haniel Barbosa, Universidade Federal de Minas Gerais, Brazil
> Jochen Hoenicke (chair), Albert-Ludwigs-Universität Freiburg, Germany
> Antti Hyvärinen, Università della Svizzera italiana, Switzerland