Results of the First International Constraint Satisfaction Solver Competition

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.


Index

27/08/2005 ]

25/08/2005 ]

24/08/2005 ]

23/08/2005 ]

22/08/2005 ]

18/08/2005 ]

16/08/2005 ]

15/08/2005 ]

14/08/2005 ]

13/08/2005 ]

12/08/2005 ]

11/08/2005 ]

10/08/2005 ]

09/08/2005 ]

08/08/2005 ]

Call For Solvers ]

27/08/2005

Back to index

25/08/2005

Back to index

24/08/2005

Back to index

23/08/2005

Back to index

22/08/2005

Back to index

18/08/2005

Back to index

16/08/2005

Back to index

15/08/2005

Back to index

14/08/2005

Back to index

13/08/2005

Back to index

12/08/2005

Back to index

11/08/2005

Back to index

10/08/2005

Back to index

09/08/2005

Back to index

08/08/2005

Back to index