Home Rules Benchmarks Tools Specs Participants SMT-LIB Previous

SMT-COMP 2017

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.

News


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 19: 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 Benchmarks Tools Specs Participants SMT-LIB Previous

Last modified: Mon 26 Jun 2017 10:46 UTC
Valid XHTML 1.0 Valid CSS!