Nachdem der erneute Constraint-Auswertevorgang durchgeführt wurde, erfolgt wiederum die Ausgabe der nunmehr modifizierten Constraint-Netze. Dem Constraint-Netz der Strategie low_consistency wurde das Constraint z>2 hinzugefügt. Zur Erfüllung dieses Constraints müssen entsprechend die verbleibenden Werte 0, 1 und 2 aus der Domäne von z entfernt werden, wodurch ein domain wipe out auftritt:
Ergebnis fuer Knotenkonsistenz: =============================== Strategie: 'low_consistency' Expression: (x<y); (y<z); (z<=2); ((3+y)<7); (z>2) Primitive Constraints: (5) (x<y) (y<z) (z<=2) ((3+y)<7) (z>2) Variablen: [z, y, x] Domaenen der Constraint-Variablen: (3) z: [] y: [0, 1, 2, 3] x: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] Inkonsistenz: true Knotenkonsistenz nicht herstellbar!
Die Propagation ist korrekt und wie erwartet enthält die Domäne von z keinen Wert mehr. Knotenkonsistenz ist damit für dieses Constraint-Netz nicht mehr herstellbar. Das Constraint-Netz wird entsprechend als inkonsistent markiert.