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

Tjark Weber tjark.weber at it.uu.se
Thu May 19 11:32:57 EDT 2016


Dear SMT-COMP participants,

A tentative list of solvers submitted to SMT-COMP 2016 is now available
at http://smtcomp.sourceforge.net/2016/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. In
particular, please provide information for "?" entries in the table.

Solvers with red IDs were not accessible to us on StarExec. In this
case, please let us know in which space your solver is located on
StarExec, AND make sure that the space is visible to us. (The easiest
way to do this is to make the space public.)

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

Please subscribe to the SMT-COMP mailing list for further
announcements.

Best,
Tjark




More information about the SMT-COMP mailing list