SMT-COMP solver deadline is approaching

[Jochen Hoenicke]

Dear SMT community,

This is a reminder that the SMT-COMP final solver deadline is in a few
hours (July 2, AOE). Please note that this also includes the system
description. If you haven't provided a URL for the system
description, you can send it by email together with your final solver
id.

If you have already submitted your final solver ID, please take the
time to check that the information on the participants list is
accurate and that your system description is accessible:
https://smt-comp.github.io/2022/participants.html

Regards,
Haniel Barbosa (chair), Universidade Federal de Minas Gerais, Brazil
François Bobot, CEA List, France
Jochen Hoenicke, Albert-Ludwigs-Universität Freiburg, Germany