
(Problem: 0 stage: 0 and 1 are initialized to: "Tower of Hanoi Problem with 3 disks")

(There are 5 groups)
(selection is ((EQ S3 C)))
(There are 3 groups)
(selection is ((EQ S2 S3) (EQ S2 C)))
(Problem: 0 stage: 1 refined into 3 subproblems)

(Problem: 0 Tower of Hanoi Problem with 3 disks)
(Goal is: ((EQ S1 S2) (EQ S1 S3) (EQ S1 C) (EQ S2 S3) (EQ S2 C) (EQ S3 C)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ S3 C)))
(Moves: (O3AC) (O3BC))

(Stage no: 2)
(Target: ((EQ S2 S3) (EQ S2 C)))
(Moves: (O2AC) (O2BC))

(Stage no: 3)
(Target: ((EQ S1 S2) (EQ S1 S3) (EQ S1 C)))
(Moves: (O1AC) (O1BC))

(Problem: 0 stage: 1 move: (O3AC))
((((EQ S1 B) (EQ S2 B) (EQ S1 S2) (EQ S3 A)) (S3 C)))
(problem no: 1 is created)

(Problem: 0 stage: 1 move: (O3BC))
((((EQ S1 A) (EQ S2 A) (EQ S1 S2) (EQ S3 B)) (S3 C)))
(problem no: 2 is created)

(Problem: 0 stage: 2 move: (O2AC))
((((EQ S1 B) (EQ S2 A)) (S2 C)))
(problem no: 3 is created)

(Problem: 0 stage: 2 move: (O2BC))
((((EQ S1 A) (EQ S2 B)) (S2 C)))
(problem no: 4 is created)

(There are 4 groups)
(selection is ((EQ S3 A)))
(There are 3 groups)
(selection is ((EQ S2 B)))
(Problem: 1 stage: 1 refined into 3 subproblems)

(Problem: 1 (Precondition for O3AC))
(Goal is: ((EQ S1 B) (EQ S2 B) (EQ S1 S2) (EQ S3 A)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ S3 A)))
(Moves: (O3BA) (O3CA))

(Stage no: 2)
(Target: ((EQ S2 B)))
(Moves: (O2AB) (O2CB))

(Stage no: 3)
(Target: ((EQ S1 B) (EQ S1 S2)))
(Moves: (O1AB) (O1CB))

(There are 4 groups)
(selection is ((EQ S3 B)))
(There are 3 groups)
(selection is ((EQ S2 A)))
(Problem: 2 stage: 1 refined into 3 subproblems)

(Problem: 2 (Precondition for O3BC))
(Goal is: ((EQ S1 A) (EQ S2 A) (EQ S1 S2) (EQ S3 B)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ S3 B)))
(Moves: (O3AB) (O3CB))

(Stage no: 2)
(Target: ((EQ S2 A)))
(Moves: (O2BA) (O2CA))

(Stage no: 3)
(Target: ((EQ S1 A) (EQ S1 S2)))
(Moves: (O1BA) (O1CA))

(There are 2 groups)
(selection is ((EQ S2 A)))
(Problem: 3 stage: 1 refined into 2 subproblems)

(Problem: 3 (Precondition for O2AC))
(Goal is: ((EQ S1 B) (EQ S2 A)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ S2 A)))
(Moves: (O2BA) (O2CA))

(Stage no: 2)
(Target: ((EQ S1 B)))
(Moves: (O1AB) (O1CB))

(There are 2 groups)
(selection is ((EQ S2 B)))
(Problem: 4 stage: 1 refined into 2 subproblems)

(Problem: 4 (Precondition for O2BC))
(Goal is: ((EQ S1 A) (EQ S2 B)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ S2 B)))
(Moves: (O2AB) (O2CB))

(Stage no: 2)
(Target: ((EQ S1 A)))
(Moves: (O1BA) (O1CA))

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

(Problem: 0 Tower of Hanoi Problem with 3 disks)
(Goal is: ((EQ S1 S2) (EQ S1 S3) (EQ S1 C) (EQ S2 S3) (EQ S2 C) (EQ S3 C)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ S3 C)))
(Moves: (O3AC) (O3BC))

(Stage no: 2)
(Target: ((EQ S2 S3) (EQ S2 C)))
(Moves: (O2AC) (O2BC))

(Stage no: 3)
(Target: ((EQ S1 S2) (EQ S1 S3) (EQ S1 C)))
(Moves: (O1AC) (O1BC))

(Problem: 1 (Precondition for O3AC))
(Goal is: ((EQ S1 B) (EQ S2 B) (EQ S1 S2) (EQ S3 A)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ S3 A)))
(Moves: (O3BA) (O3CA))

(Stage no: 2)
(Target: ((EQ S2 B)))
(Moves: (O2AB) (O2CB))

(Stage no: 3)
(Target: ((EQ S1 B) (EQ S1 S2)))
(Moves: (O1AB) (O1CB))

(Problem: 2 (Precondition for O3BC))
(Goal is: ((EQ S1 A) (EQ S2 A) (EQ S1 S2) (EQ S3 B)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ S3 B)))
(Moves: (O3AB) (O3CB))

(Stage no: 2)
(Target: ((EQ S2 A)))
(Moves: (O2BA) (O2CA))

(Stage no: 3)
(Target: ((EQ S1 A) (EQ S1 S2)))
(Moves: (O1BA) (O1CA))

(Problem: 3 (Precondition for O2AC))
(Goal is: ((EQ S1 B) (EQ S2 A)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ S2 A)))
(Moves: (O2BA) (O2CA))

(Stage no: 2)
(Target: ((EQ S1 B)))
(Moves: (O1AB) (O1CB))

(Problem: 4 (Precondition for O2BC))
(Goal is: ((EQ S1 A) (EQ S2 B)))

(Strategy is:)
(Stage no: 1)
(Target: ((EQ S2 B)))
(Moves: (O2AB) (O2CB))

(Stage no: 2)
(Target: ((EQ S1 A)))
(Moves: (O1BA) (O1CA))

(Processor Time: 6 sec.)
