The 2012 SMT Competition

12 pages•Published: August 19, 2013

David Cok, Alberto Griggio, Roberto Bruttomesso and Morgan Deters

Abstract

The 2012 SMT Competition was held in conjunction with the SMT workshop at IJCAR 2012. Eleven solvers participated, showing improvements over 2011 in some but not all divisions. The competition featured a new unsat-core-generation track and encouraged the demonstration of proof-generation solvers. The series of competitions is expected to be continued at SAT 2013.

Keyphrases: satisfiability module theories, smt, smt comp, smt competition, smt evaluation, smt solver

In: Pascal Fontaine and Amit Goel (editors). SMT 2012. 10th International Workshop on Satisfiability Modulo Theories, vol 20, pages 131-142.

Links:	https://easychair.org/publications/paper/FM
	https://doi.org/10.29007/gj66

BibTeX entry

@inproceedings{SMT2012:2012_SMT_Competition,
  author    = {David Cok and Alberto Griggio and Roberto Bruttomesso and Morgan Deters},
  title     = {The 2012 SMT Competition},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/FM},
  doi       = {10.29007/gj66},
  pages     = {131-142},
  year      = {2013}}

Download PDF Open PDF in browser