The 2014 SMT Competition

David R. Cok, David Déharbe, and Tjark Weber. Journal on Satisfiability, Boolean Modeling and Computation, 9(1):207-242, 2016.


The 2014 SMT Competition was held in conjunction with the SMT Workshop, affiliated with the CAV, IJCAR, and SAT conferences at FLoC 2014, at the Vienna Summer of Logic in July 2014. Eighteen solvers participated from thirteen different research groups, across 34 different logic divisions. The competition was also part of the FLoC Olympic Games event, which gave combined visibility to 14 different competitions related to automated logic problem solving. The 2014 edition of the SMT Competition was executed for the first time on the StarExec logic solving service. Several records were broken: number of participating solvers, number of new entrants, number of logic divisions, number of benchmarks, and amount of computation. The detailed performance of each solver on each benchmark from this first year using StarExec will be a solid baseline to measure improvements in the state-of-the-art of solver performance in future years.



  author    = {David R. Cok and David D{\'{e}}harbe and Tjark Weber},
  title     = {The 2014 {SMT} Competition},
  journal   = {Journal on Satisfiability, Boolean Modeling and Computation},
  volume    = {9},
  number    = {1},
  pages     = {207--242},
  year      = {2016}

Last modified: 2016-07-06