[SMT-COMP] SMT-COMP 2016 Running
Tjark Weber
tjark.weber at it.uu.se
Tue May 31 19:29:26 EDT 2016
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
More information about the SMT-COMP
mailing list