

![0_image_0.png](0_image_0.png)

## 5.2 Experimental Evaluation

does not give any quantitative information A local consistency LC can remove Fig ure more values than another local consistency LC ′ on most of the CNs even though it is incomparable with LC because of some particular CNs When they are comparable it does not show if a local consistency is far more pruningful than another or if it performs only few additional value deletions To have some quantitative information about the pruning efficiency of these local consistencies  we performed an experimental evaluation   The aim of this evaluation is to show how pruningful a local consistency is on random CNs  with a fixed nmber of variables and values  when the number of constraints and the constraint tight ness