[SMT-COMP] SMT-COMP 2017: Final Call for Solvers

Tjark Weber tjark.weber at it.uu.se
Mon Jun 5 04:48:03 EDT 2017

Dear all,

To allow as many teams as possible to participate, we are extending the
deadline for submission of (first versions of) solvers to SMT-COMP 2017

    *** Wednesday, June 7 *** (anywhere on earth).

This deadline is strict. However, submitted solvers may be updated
until June 18, 2017.

Solvers must be made available on StarExec, and additional information
must be provided to the competition organizers via the web form at

Please see the competition rules at
for further details.

Thank you to everyone who submitted their solver(s) already!


More information about the SMT-COMP mailing list