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. 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.

News

• 21 Jan 2014 Call for comments issued
• 1 May 2014 Deadlines posted
• 19 May 2014 Revised deadlines, revised rules posted

Key Dates

See the rules document for the complete timeline.

• May 15 2014   Deadline for submission of new benchmarks
• June 1 2014   Deadline for initial solver submission
• June 15 2014   Deadline for final solver versions

Organizers

• David Cok (GrammaTech, USA)
• David Deharbe (Federal University of Rio Grande do Norte, Brazil)
• Tjark Weber (Uppsala University, Sweden)

Acknowledgments

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.