- 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.