[SMT-COMP] SMT-COMP 2015 Running

[Tjark Weber]

We have started the competition jobs for several main track divisions
for SMT-COMP 2015 on StarExec. Preliminary results are available:

http://smtcomp.sourceforge.net/2015/results-toc.shtml [*]

Other divisions and the application track will follow in the next few
days. Enjoy!

Best,
Tjark

[*] These pages are provided for informational purposes only. If you
notice any mistake, please let us know as soon as possible! Official
competition results will be announced at the SMT Workshop.