Previous Competitions

• In 2013, an evaluation was conducted instead of a competition.
• SMT-COMP 2012
• SMT-COMP 2011
• SMT-COMP 2010
• SMT-COMP 2009
• SMT-COMP 2008
• SMT-COMP 2007
• SMT-COMP 2006
• SMT-COMP 2005

Last modified: Tue 17 Feb 2015 15:00 UTC