Home Rules Benchmarks Tools Specs Participants Results 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.

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 Results SMT-LIB Previous

Last modified: Tue 05 Sep 2017 13:18 UTC
Valid XHTML 1.0 Valid CSS!