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

Tjark Weber tjark.weber at it.uu.se
Tue Jun 28 11:56:10 EDT 2016


Dear SMT-COMP participants,

Result web pages for all three competition tracks (main, application
and unsat-core) are now available at
http://smtcomp.sourceforge.net/2016/results-toc.shtml

The evaluation of main-track solvers on benchmarks with unknown status
is also complete. The StarExec job is available at
https://www.starexec.org/starexec/secure/details/job.jsp?id=16264
Result web pages for the evaluation are in preparation.

Please keep in mind that all results are preliminary at this point.
Kindly inform us if you notice any irregularities in the data!

Best,
Tjark



More information about the SMT-COMP mailing list