An Example: Searching in the Blocks World

Just after the initial state, Soar encounters a "tie" impasse, because there are two operators that can be applied and it can't tell which to choose. It chooses randomly. If it chooses the wrong path, it will search the part of the state space that does not contain the solution.