[SMT-COMP] SMT-COMP 2016: Main and Application Track Complete
Tjark Weber
tjark.weber at it.uu.se
Thu Jun 9 03:58:49 EDT 2016
Dear SMT-COMP participants,
The main track and application track jobs for SMT-COMP 2016 are now
complete. Detailed job data is available on StarExec:
Main track
https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=169947
Application track
https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=169907
Result web pages are in preparation.
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!
We will now continue with the unsat-core track, and (time permitting)
with an evaluation of solvers on benchmarks with unknown status.
Best,
Tjark
More information about the SMT-COMP
mailing list