SMT-COMP 2012

The 2012 edition of the Satisfiability Modulo Theories Competition (SMT-COMP) is part of the SMT workshop at IJCAR 2012 (June 30 - July 1, 2012, Manchester, UK). The SMT workshop will include a block of time to present the competitors and results of the SMTCOMP competition.

• Introduction
• News
  • 23 January: call for benchmarks and solvers, and draft rules for comment are made public
  • 2 June: revised rules posted; new benchmarks available; call for solvers restated
  • 23 June: Competition started - results online.
  • 26 August: Competition report and system descriptions posted.
• Rules & Submission
• Benchmarks
• Tools
• Machine Specifications
• Mailing List
• Participants
• The competition is complete: Final status: [ main track  | application track  | unsat core track  | exhibition tracks ]
• Competition report and final system descriptions
• Papers
• Acknowledgments
• SMT-LIB
• Previous SMT-COMPs

The organizers of SMT-COMP 2012 are Roberto Bruttomesso, David Cok, and Alberto Griggio.

Last modified: Tue 17 Feb 2015 14:57 UTC