Otrzymujemy 2 warianty: Dom1(Norweg), Dom2(Anglik, czerwony), Dom3(zielony), Dom4(biały), Dom1(Norweg), Dom2(Anglik, czerwony), Dom4(zielony), Dom5(biały). ... Liczba wywołań funkcji w przypadku ewaluowania reguł w kolejności wynikającej z treści zadania: wywołanie procedury rekurencyjnej ewaluującej pojedynczą regułę: 2319 razy, wyznaczanie możliwych domów dla pojedynczej cechy z danej reguły: 5662 razy, ustawianie pojedynczej cechy w domu: 4014 razy. Złożoność obliczeniowa algorytmu jest trudna do oszacowania i zależna od kolejności ewaluacji reguł, jednak liczba wywołań kluczowych funkcji algorytmu wynosząca około 10000 jest znacząco mniejsza od złożoności algorytmu brute force. Czas wykonania programu napisanego w języku Scala uruchamianego na procesorze o częstotliwości taktowania 3 GHz wynosi około 10 milisekund.