Important Dates

March 11, 2012:
  • Webpage for submitting solvers and benchmarks (via the EDACC system) will open.
  • Start of testing phase. During that phase submitters can test their solvers within the EDACC system.
April 2, 2012:
  • Deadline for handing in benchmarks and solvers. No new solvers will be accepted after April 2!
April 11, 2012:
  • Selection of benchmark instances for SAT Challenge 2012 finished.
  • Updated versions of registered solvers can be submitted until April 11.
June 18, 2012:
  • Announcement of results at the SAT 2012 conference.