SAT Competition 2014
affiliated with the SAT 2014 conference, July 14-17 in Vienna, Austria.
and the FLoC Olympic Games

Call for Benchmarks

This call is to invite and encourage submissions of benchmarks and benchmark generators for the Application and Hard-combinatorial tracks of the competition.

Submission Requirements:

  1. Benchmarks have to be formatted according to the SAT Competition 2009 Benchmark Submission Guidelines.
  2. Submitted benchmarks and generators must be accompanied by a 1-2 page description (IEEE Proceedings style). The description should be submitted in a zip or tar file containing the latex sources AND the pdf. The description documents will be disseminated in the same way as the descriptions of the SAT solvers.


April 21, 2014 Benchmarks and generators submission opens
April 30 May 7, 2014 Benchmarks and generators submission closes


A prize may be awarded to the author(s) of the most interesting (at the discretion of the organizers and the judges) benchmark set and/or benchmark generator.