[SMT-LIB] SAT Competition 2013 - Call for Participation

Anton Belov anton.belov at ucd.ie
Sat Feb 23 11:56:08 EST 2013


Call for Participation 

The International SAT Solver Competition 2013 (SAT Competition 2013)

*** For details, please visit ***
http://satcompetition.org/2013/  

The SAT Competition 2013 is a competitive event for solvers for the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013) and stands in the tradition of the SAT Competitions that have been held yearly from 2002 to 2005 and biannually starting from 2007, the SAT-Races held in 2006, 2008 and 2010, and the SAT Challenge 2012. The emphasis of SAT Competition 2013 is on evaluation of core solvers. Additionally, the UNSAT tracks of the competition will require certification.

This call is to invite and encourage submissions of SAT solvers, benchmarks and benchmark generators for SAT Competition 2013 tracks, listed below:

1. Core solvers, Sequential, Application SAT track.
2. Core solvers, Sequential, Application certified UNSAT track.
3. Core solvers, Sequential, Application SAT+UNSAT track.
4. Core solvers, Sequential, Hard-combinatorial SAT track.
5. Core solvers, Sequential, Hard-combinatorial certified UNSAT track.
6. Core solvers, Sequential, Hard-combinatorial SAT+UNSAT track.
7. Core solvers, Sequential, Random SAT track.
8. Core solvers, Sequential, Random certified UNSAT track.
9. Core solvers, Sequential, Random SAT+UNSAT track.
10. Core solvers, Parallel, Application SAT+UNSAT Track.
11. Core solvers, Parallel, Hard-combinatorial SAT+UNSAT Track
12. Core solvers, Parallel, Random SAT Track
13. "Open track": Any type of solver, Parallel, 1/3Application + 1/3Hard-Combinatorial + 1/3Random (SAT+UNSAT) track.
14. Core solvers, Sequential, MiniSAT Hack-track, Application SAT+UNSAT track.

For details about the tracks and the rules visit the competition’s website.

SCHEDULE (subject to minor changes):

April 02 - 12, 2013: Solver and testing period for organizers
April 12, 2013: Final version along with  MD5 hash of organizers solvers
April 12, 2013: Solver registration and testing period opens
April 12, 2013: Benchmarks and generators submission opens
April 22, 2013: Final versions of registered solvers due
April 22, 2013: Benchmarks and generators submission closes
April 22 - June 12: Execution of the competition
June 12 - June 22: Checking of the results by the participants
Around July 9-12, 2013: Announcement of results at the SAT 2013 conference

ORGANIZERS:

Adrian Balint, Ulm University , Germany
Anton Belov, University College Dublin, Ireland
Marijn Heule, The University of Texas at Austin, USA
Matti Jarvisalo, University of Helsinki, Finland

Technical Assistants:

Daniel Diepold, Ulm University, Germany
Simon Gerber, Ulm University, Germany

JUDGES:

Youssef Hamadi, Microsoft Research, UK
Karem Sakallah, University of Michigan, USA
Roberto Sebastiani, University of Trento, Italy

WEB PAGE AND CONTACT:

web: http://satcompetition.org/2013/  
email: organizers at satcompetition.org
For questions regarding the execution environment (both hardware and software):
email: edacc.contact at gmail.com



More information about the SMT-LIB mailing list