SAT Competition 2013
affiliated with the SAT 2013 conference, July 8-12 in Helsinki, Finland
jointly organized by Ulm University, University of Helsinki,
University College Dublin, University of Texas at Austin,

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 2011 Benchmark Submission Guidelines.
  2. Submitted benchmarks and generators must be accompanied by a 1-2 page description (IEEE Proceedings style). The description documents will be disseminated in the same way as the descriptions of the SAT solvers.

Schedule (subject to minor changes):

April 20, 2013 Benchmarks and generators submission opens
April 30, 2013 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.