The International Satisfiability Modulo Theories (SMT) Competition.
SMT-LIB Previous Editions
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. 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.
See the rules document for the complete timeline.
The competition uses the STAR-EXEC server, which is hosted at The University of Iowa.
The U.S. National Science Foundation, under grant CNS-0551697 supported the earlier SMTExec computational cluster.
Cok’s contribution is supported by GrammaTech, Inc. and by the NSF under grant ACI-1314674.
Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.