Als nächstes erfolgt die Ausgabe der Strategie simple_search. Für die der Strategie zugeordneten Constraints X<Y und Y<Z existiert für die Variablen X, Y und Z, die jeweils über eine Domäne mit den Werten 1 und 2 verfügen, keine (globale) Belegung, die beide Constraints gleichzeitig erfüllt:
Ergebnis fuer Simple Search: ============================ Strategie: 'simple_search' Expression: (X<Y); (Y<Z) Primitive Constraints: (2) (X<Y) (Y<Z) Variablen: [Z, Y, X] Domaenen der Constraint-Variablen: (3) Z: [1, 2] Y: [1, 2] X: [1, 2] Inkonsistenz: true Es konnte keine Loesung fuer das Problem ermittelt werden.
Korrekterweise hat der Suchalgorithmus keine Lösung für das Problem ermitteln können. Das Ergebnis enthält außerdem die Angabe, dass das zugehörige Constraint-Netz entsprechend als inkonsistent markiert wurde.