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

[Tjark Weber]

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