[SMT-COMP] SMT-COMP 2017: Participant Information

Tjark Weber tjark.weber at it.uu.se
Wed Jun 14 18:29:32 EDT 2017

Dear SMT-COMP participants,

A tentative list of solvers submitted to SMT-COMP 2017 is now available
at http://smtcomp.sourceforge.net/2017/participants.shtml

Please check that the information on this page is accurate, and let us
know as soon as possible if anything is missing or wrong.

If you upload a new solver version to StarExec before the final
deadline (June 18), please also notify us by email to make sure we are
aware of the new version and will use it for the competition.

Solvers with red IDs were not accessible to us (or had been recycled)
on StarExec. In this case, please upload a new version of your solver
and inform us accordingly.

Please subscribe to the SMT-COMP mailing list for further


More information about the SMT-COMP mailing list