SMT-COMP 2014

The 2014 edition of the Satisfiability Modulo Theories Competition (SMT-COMP) (July 17-18, 2014) is part of the SMT 2014 workshop, associated with SAT 2014 at the Vienna Summer of Logic (July 9-24, 2014, Vienna, AU). In particular, SMT-COMP is part of the FLoC'14 Olympic Games (http://vsl2014.at/olympics/). The SMT workshop will include a block of time to present the competitors and results of the SMTCOMP competition. There will also be an awards ceremony on July 21, as part of the Olympic Games.

• Introduction
• News
  • Jan 21 : Call for comments issued
  • May 1: Deadlines posted
  • May 19: revised deadlines, revised rules posted
• Key dates (see the rules document for the complete timeline):
  • May 15 - deadline for submission of new benchmarks
  • June 1 - deadline for initial solver submission
  • June 15 - deadline for final solver versions
• Competition rules and timeline
• Benchmarks
• Benchmarks difficulties
• Tools
• Machine Specifications
• Mailing List
• Participants
• The competition results are available here
• Papers
• Acknowledgments
• SMT-LIB
• Previous SMT-COMPs

The organizers of SMT-COMP 2014 are David Cok, David Deharbe, and Tjark Weber.

Last modified: Tue 17 Feb 2015 15:00 UTC