Pointers to sites that store CSP instances for benchmarking:
A wealth of benchmark
These problem instances are written using the new standards for
representing CSP instances: an XML representation and also
a table representation.
These instances were used in the First International
Constraint Solver Competition.
A related (same? overlapping? but not disjoint) set of benchmark
problems can be accessed from
The properties of the benchmark problems from the CSP 2008 Competition listed
above can be found here.
A (JAVA) checker
for validating and converting CSP instances between the xml format
and in the table format.
Satisfiable CSP and SAT Benchmarks of Model RB, by Ke XU.
More problems can be found from the
CSPLib: Problem Library on the Web.