Third International CSP Solver Competition
(CSP, Max-CSP and Weighted-CSP competition)

Results of the competition

Description of solvers

Available solvers

The command line that must be used to run the versions of the following solvers submitted to the 2008 constraint solver competition can be found on this page.

Presentations at the workshop

Individual results as a text file

These text files contains the results of each solver on each instance.

Archive of instances used during the competition

Instances that were used in the competition are available below:

Competition Timetable

The updated deadlines of the competition are defined below:

Opening of the registration site at
May 2008
Pre-registration of contestants
authors planning to submit solvers or benchmarks must have requested a login/password on the submission site before that date.
Click here to register
May 20, 2008
Final registration (submission of solvers and benchmarks)
authors must submit solvers or benchmarks before that date
Click here to submit solvers or benchmarks
May 30, 2008
Test of solvers conformance
solvers will be tested on a limited number of simple benchmarks to check conformance with the competition rules. Problems will be reported to authors who will have up to June, 15 to return a fixed version of their solver.
1-15 June 2008
Publication of the list of benchmarks selected by the independent committee
the names and md5sum of benchmarks selected by the independent committee to evaluate the solvers will be published. The selection committee will try to keep some instances hidden to both contestants and organizers for one more week (to ensure that all solvers be run on a few instances that were never tested before). No benchmark can be added to the list after it is published.

See the details of the selection (login required)

June, 15
Competition running
Authors will be able to consult the results of their solver regularly in order to report potential problems with the evaluation environment.  By the end of July, authors are requested to check the first results of the competition in order to report potential problems as early as possible.

Preliminary results:

after June, 16
Deadline for submitting a description of the solvers or benchmarks
July, 15
Final limit for reporting possible problems within the evaluation environment. August, 15

Final results will be publicly available on Sunday, September 14 at 11:00 (Sydney local time).

during CP 2008

Call for Solvers and Benchmarks

The call for solvers and benchmarks is available in different formats. It details the rules of the competition.

XML format XCSP 2.1

You will find the description of the format XCSP 2.1 in the following document:

If your objective is only to participate to the 2008 competition, then read the dedicated description of the format in the following document:

As this format is an extension of the XML format (XCSP 2.0) used in the CPAI06 competition, it should be quite easy for the contestants of the last competition to take into account the few relevant extensions.

Useful Tools for Competitors

Parsers that are currently available are:

Other tools that are currently available from this page are:

New tools that have been developed by Andrea Rendl are:

Benchmarks and Results from the Previous Competition

Benchmarks and results of the CPAI06 competition are available at this site.