Please complete this form for each separate submission.
Please see the competition website (http://www.smtcomp.org/) for full details.
Please provide an email address for the corresponding team member in charge of this submission. This email address will only be used for directly queries. General announcements will be via normal channels.
If you have not used StarExec before see https://wiki.uiowa.edu/display/stardev/User+Guide#UserGuide-Uploading.You will also need to request to be part of the SMT community at https://www.starexec.org/starexec/secure/explore/communities.jsp.
Uploaded solvers should have a single configuration.
Links should be of the form https://www.starexec.org/starexec/secure/details/solver.jsp?id=19968
Note that a short system description of 1-2 pages (see Section 4 of the competition rules at https://smt-comp.github.io/2019/rules19.pdf) is part of the solver submission and MANDATORY. Submission of the system description is due until the final solver deadline on June 2, 2019. Submit the system description via email to the SMT-COMP organizers and include corresponding solver names and StarExec links to the solvers.