SMT-COMP 2010

The 2010 edition of the Satisfiability Modulo Theories Competition (SMT-COMP) is a satellite event of CAV 2010 (July 15 - 19, 2010, Edinburgh).

• Introduction
• Rules & Submission
• Tools
• Machine Specifications
• Mailing List
• Participants
• Benchmarks
• Results [ main track | parallel track ]
• Papers
• Travel Grants
• Acknowledgments
• SMT-LIB
• Previous SMT-COMPs

Feedback/concerns about this website can be directed to Aaron Stump or Morgan Deters.

Our friends at CASC have invited us and all other FLoC solver competitions to join their CASC dinner. Sign up directly at that web site if you'd like to attend.

Last modified: Tue 17 Feb 2015 15:01 UTC