[SMT-COMP] SMT-COMP 2016 Running

[Tjark Weber]

We have started the competition jobs for several main track divisions
for SMT-COMP 2016 on StarExec. The competition spaces are public:

https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=161208

We intend to make preliminary result pages available on
http://smtcomp.sourceforge.net/ soon.

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

Best,
Tjark