This web page contains constraint satisfaction test problems. The sources of these problems are:

• Problems in the book "Numerica - A Modeling Language for Global Optimization" by Pascal Van Hentenryck, Laurent Michel, Yves Deville, 1997, The MIT Press.
• Problems taken from the homepage of Jan Verschelde, University of Illinois at Chicago (http://www.math.uic.edu/~jan/).
• Problems collected by Laurent GRANVILLIERS (L. Granvilliers. "Consistance Locales et transformations symboliques de contraintes d'intervalles". PhD thesis, Université d'Orléans, 1998).
• Problems collected from the AMPL and UniCalc sites (http://www.orfe.princeton.edu/~rvdb/ampl/nlmodels/ and http://archives.math.utk.edu/software/msdos/miscellaneous/unicalc/).
• Examples from the polynomial test suite of D. Bini & B. Mourrain (http://www-sop.inria.fr/saga/POL/).
• Examples collected through collaboration with the applied computing and mechanics laboratory, Swiss Federal institute of technology (http://imacwww.epfl.ch/imac/).

All test problems are in AMPL format.

Notes:

• Many problems were originally modeled in an optimization context, with objective functions. These problems are transformed into CSP problems (with constant objectice function). This is done by replacing the objective function f by the constraint f<=f0+eps, where f0 is the function value of the best point found.
• AMPL does not support problems that have multiple solutions (there is no command to display all solutions). This functionality must be provided by the solver itself.
• All the test problems and result files can be downloaded in one compressed file CSP-benchs.tar.gz.

Problem Classification	Number of Problems	Nummer of Variables	Number of Constraints
Bound Constrained Problems	5	2-623	5-1192
Linearly Constrained Problems	6	2-540	2-127
Quadratically Constrained Problems	100	1-1000	1-274
Polynomially Constrained Problems	129	1-5120	1-5120
Trigonometrically Constrained Problems	21	2-2002	1-2004
Transcendentally Constrained Problems	26	2-150	1-51
Problems with non-isolated solution	16	2-42	4-44
Others Problems	27	1-1024	1-699