[SMT-COMP] Final Solver Deadline

[Jochen Hoenicke]

Dear SMT-COMP participants,

On Sunday, June 13, AOE, is the deadline for the final solver
submission. Also note that this is also the deadline for the system
description.

Please send the StarExec solver id to the organizers and make sure
that the system description can be accessed at the URL that you
provided in the solver submission form (you can check it on the
smt-comp webpage:  https://smt-comp.github.io/2021/participants.html).

For the cloud and parallel track, please send the URL of the GitHub
repository including the branch, and the full, 40-character SHA-1 hash
of the commit to aws-smt-comp-2021 at googlegroups.com.

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