[SMT-COMP] SMT-COMP 2018: Competition Jobs Finished

[Tjark Weber]

Dear SMT-COMP participants,

The last competition job just finished on StarExec! All tracks and
divisions are now complete.

As before, detailed job data is available in the "Competition"
subspaces of
https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=303339

Result web pages are still being prepared and will soon become
available at http://smtcomp.sourceforge.net/2018/

Once again, please keep in mind that all results are preliminary at
this point. We will be scrutinizing the data for errors, and may re-run
individual divisions, e.g., if there were bugs in the competition
tools. Please inform us if you notice any irregularities in the data!

The official results will be announced at the SMT Workshop in July.

Best,
Tjark










När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/om-uu/dataskydd-personuppgifter/