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.

Schedule:

Prizes:

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.