Why N-Queens Problem is not used as experiment in CSP thesis?
n-queens problem can be solved quite efficiently with a very simple algorithm (finding all solutions takes ages, because the number grows exponentially).

Getting anywhere near that efficiency with a general method is impossible.