Putting what everyone is saying more abstractly; solving a constraint satisfaction problem in a nice and closed domain should not make us surprised that it isn'

Putting what everyone is saying more abstractly; solving a constraint satisfaction problem in a nice and closed domain should not make us surprised that it isn't as quick to deal with when lifted to an unbounded and messy space.