SMT-COMP 2011

The 2011 edition of the Satisfiability Modulo Theories Competition (SMT-COMP) is a satellite event of CAV 2011 (July 14 - 20, 2011, Snowbird, Utah).

• Introduction
• News
  • Rules for this year's SMT-COMP posted
  • Application track benchmarks and tools posted for comment
  • SMT-LIBv2 parser available
  • SMT-LIBv2 tutorial and resources (thanks to GrammaTech's David Cok!)
• Rules & Submission
• Application track benchmarks and tools
• Tools
• Machine Specifications
• Mailing List
• Participants
• Results [ main track | application track ]
• Papers
• Acknowledgments
• SMT-LIB
• Previous SMT-COMPs

The organizers of SMT-COMP 2011 are Roberto Bruttomesso, Morgan Deters, and Alberto Griggio.

Last modified: Tue 17 Feb 2015 15:01 UTC