This page displays relatively up-to-date information about the first international CSP solver competition. The main criterion in this competition is solving as many problems as possible. Ties are broken with solution time for solved problems.
Below you may find the latest results in the form of barcharts displaying the number of problems solved and the total solution time per solver. For each problem the maximum solution time is set to 600 seconds.
More detailed information about the current ranking may be found by reading the following pdf document.
Note: We are having some problems creating the overviews
but we are doing our best to keep the results up to date.
There is a minor error in the solution time scale of the graphs
of 15/08 and 14/08. It will be rectified soon.