Important Dates

March 31, 2006:

Deadline for registering solvers.

April − June 2006:

Qualification phase; we will have two qualification rounds, where successful participation in at least one of them is mandatory to qualify for SAT-Race.
  • First round deadline: May 17
  • Second round deadline: June 16

July 2, 2006:

Deadline for submitting final versions of solvers.

August 15, 2006:

Announcement of results on the SAT'06 conference.