[SMT-COMP] SMT-COMP Test Jobs started

[Jochen Hoenicke]

Dear SMT-COMP followers,

I started the test runs for the SMT-COMP.  They are public on starexec in
the subspaces of this space

https://www.starexec.org/starexec/secure/edit/spacePermissions.jsp?id=453133

Please note that the starexec job statistics are not always accurate and
sometimes the classification of the results is wrong.  Please confirm any
problems in the output logs.

Regards,

The organizing team

Haniel Barbosa, Universidade Federal de Minas Gerais, Brazil
Jochen Hoenicke (chair), Albert-Ludwigs-Universität Freiburg, Germany
Antti Hyvärinen, Università della Svizzera italiana, Switzerland