[SMT-LIB] SMT-COMP 2017: Draft Rules and Timeline Available

Tjark Weber tjark.weber at it.uu.se
Fri Apr 21 11:38:26 EDT 2017


Dear all,

The revised (draft) rules for SMT-COMP 2017 are now available on the
competition website: http://smtcomp.sourceforge.net/2017/rules17.pdf

These rules are open for comment through Sunday, April 30.

There are several changes from last year. Notably, we are proposing to
incorporate benchmarks with unknown status into the competition's main
track. Please see Section 3 of the draft rules for a more detailed
summary of changes.

Current deadlines are

   May 1 for new benchmark contributions
   June 4 for first versions of solvers
   June 18 for final versions of solvers

Tjark Weber
for the organizers




More information about the SMT-LIB mailing list