[SMT-COMP] SMT-COMP 2015 Running

Tjark Weber tjark.weber at it.uu.se
Mon Jun 15 18:57:29 EDT 2015


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.



More information about the SMT-COMP mailing list