Home Rules Specs SMT-LIB Previous


The 12th International Satisfiability Modulo Theories Competition (SMT-COMP 2017) is part of the SMT Workshop 2017, affiliated with CAV 2017. The SMT Workshop will include a block of time to present the competitors and results of the competition.

Please use this form to notify the organizers of solver submissions.


Key dates

  (see the rules for the complete timeline)
  • May 1: Deadline for new benchmark contributions
  • June 4: Deadline for first versions of solvers
  • June 18: Deadline for final versions of solvers
  • July 22-23: SMT Workshop (presentation of results)

The organizers of SMT-COMP 2017 are Matthias Heizmann, Giles Reger, and Tjark Weber.

Home Rules Specs SMT-LIB Previous

Last modified: Wed 26 Apr 2017 11:50 UTC
Valid XHTML 1.0 Valid CSS!