[SMT-COMP] SMT-COMP 2017: Draft Rules and Timeline Available
tjark.weber at it.uu.se
Fri Apr 21 11:38:26 EDT 2017
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
for the organizers
More information about the SMT-COMP