Important Dates

April 25, 2010:

Deadline for registering solvers.

April 30, 2010:

Deadline for submitting solvers to the qualification round.
Passing the qualification round is mandatory for participating in SAT-Race.

  • Results sent back to authors: May 25
  • End of feedback / revision period: May 30
  • Announcement of qualified solvers: May 31

June 7, 2010:

Deadline for submitting final versions of solvers and solver descriptions.

July 14, 2010:

Announcement of results at the SAT'10 conference.