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:
- Benchmarks have to be formatted according to the SAT Competition 2011 Benchmark Submission Guidelines.
- 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 |
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.