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

[Tjark Weber]

Dear SMT-COMP participants,

A tentative list of solvers submitted to SMT-COMP 2015 is now available
at http://smtcomp.sourceforge.net/2015/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.

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

Best,
Tjark