Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

SMT-COMP 2016

The 11th International Satisfiability Modulo Theories Competition (SMT-COMP 2016) is part of the SMT Workshop 2016, associated with IJCAR 2016. 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
  • May 15: Deadline for first versions of solvers
  • May 29: Deadline for final versions of solvers
  • July 1-2: SMT Workshop (presentation of results)

The organizers of SMT-COMP 2016 are Sylvain Conchon, David Déharbe, Matthias Heizmann, and Tjark Weber.

Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

Last modified: Tue 14 Mar 2017 11:36 UTC
Valid XHTML 1.0 Valid CSS!