
(Problem: 0 stage: 0 and 1 are initialized to: "Monkey and Bananas Problem")

(Problem: 0 stage: 1 refined into 1 subproblems)

(Problem: 0 Monkey and Bananas Problem)
(Goal is: ((EQ SHND BANANAS)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ SHND BANANAS)))
(Moves: (OGR))

(Problem: 0 stage: 1 move: (OGR))
((((EQ SMNK ON-BOX) (EQ SBOX UNDER-BANANAS)) (SHND BANANAS)))
(problem no: 1 is created)

(There are 2 groups)
(selection is ((EQ SBOX UNDER-BANANAS)))
(Problem: 1 stage: 1 refined into 2 subproblems)

(Problem: 1 (Precondition for OGR))
(Goal is: ((EQ SMNK ON-BOX) (EQ SBOX UNDER-BANANAS)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ SBOX UNDER-BANANAS)))
(Moves: (OPB))

(Stage no: 2)
(Target: ((EQ SMNK ON-BOX)))
(Moves: (OCL))

(Problem: 1 stage: 1 move: (OPB))
((((EQ SMNK SBOX)) (SBOX UNDER-BANANAS) (SMNK UNDER-BANANAS)))
(problem no: 2 is created)

(Problem: 1 stage: 2 move: (OCL))
((((EQ SMNK SBOX)) (SMNK ON-BOX)))
(problem no: 3 is created)

(Problem: 2 stage: 1 refined into 1 subproblems)

(Problem: 2 stage: 1 is:)
(Target: ((EQ SMNK SBOX)))
(Moves: (OW1) (OW2) (OWB))

(Problem: 3 stage: 1 refined into 1 subproblems)

(Problem: 3 stage: 1 is:)
(Target: ((EQ SMNK SBOX)))
(Moves: (OWB))

(Processor Time: 4 sec.)
(0 macros are generated)

(Problem: 0 Monkey and Bananas Problem)
(Goal is: ((EQ SHND BANANAS)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ SHND BANANAS)))
(Moves: (OGR))

(Problem: 1 (Precondition for OGR))
(Goal is: ((EQ SMNK ON-BOX) (EQ SBOX UNDER-BANANAS)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ SBOX UNDER-BANANAS)))
(Moves: (OPB))

(Stage no: 2)
(Target: ((EQ SMNK ON-BOX)))
(Moves: (OCL))

(Problem: 2 (Precondition for OPB))
(Goal is: ((EQ SMNK SBOX)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ SMNK SBOX)))
(Moves: (OW1) (OW2) (OWB))

(Problem: 3 (Precondition for OCL))
(Goal is: ((EQ SMNK SBOX)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ SMNK SBOX)))
(Moves: (OWB))

(Processor Time: 5 sec.)
