[SMT-COMP] SMT-COMP 2017: Result Pages Available

Tjark Weber tjark.weber at it.uu.se
Tue Jul 4 07:55:06 EDT 2017


Dear SMT-COMP participants,

Result web pages for the main track are now available at
http://smtcomp.sourceforge.net/2017/results-toc.shtml

Result pages for the application and unsat-core tracks are in
preparation.

Detailed job data is available on StarExec:
https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=236827

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!

Best,
Tjark



More information about the SMT-COMP mailing list