USER(73): USER(73): (replay-all 3)
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/p1-2-3.lisp.

 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p1-2.lisp.

 Creating case header for "case-p1-2"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p1-2.lisp.

 Creating case "case-p1-2"
"Done !" 
List of available cases :
 0: "case-p1-2"
 Current *merge-mode* is saba
 Solving problem p1-2-3
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.467
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p2-1.lisp.

 Creating case header for "case-p2-1"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p2-1.lisp.

 Creating case "case-p2-1"
"Done !" 
List of available cases :
 0: "case-p2-1"
 Current *merge-mode* is saba
 Solving problem p1-2-3
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p1-3.lisp.

 Creating case header for "case-p1-3"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p1-3.lisp.

 Creating case "case-p1-3"
"Done !" 
List of available cases :
 0: "case-p1-3"
 Current *merge-mode* is saba
 Solving problem p1-2-3
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.5
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p3-1.lisp.

 Creating case header for "case-p3-1"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p3-1.lisp.

 Creating case "case-p3-1"
"Done !" 
List of available cases :
 0: "case-p3-1"
 Current *merge-mode* is saba
 Solving problem p1-2-3
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.433
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p2-3.lisp.

 Creating case header for "case-p2-3"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p2-3.lisp.

 Creating case "case-p2-3"
"Done !" 
List of available cases :
 0: "case-p2-3"
 Current *merge-mode* is saba
 Solving problem p1-2-3
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.483
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p3-2.lisp.

 Creating case header for "case-p3-2"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p3-2.lisp.

 Creating case "case-p3-2"
"Done !" 
List of available cases :
 0: "case-p3-2"
 Current *merge-mode* is saba
 Solving problem p1-2-3
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/p1-3-2.lisp.

 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p1-3.lisp.

 Creating case header for "case-p1-3"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p1-3.lisp.

 Creating case "case-p1-3"
"Done !" 
List of available cases :
 0: "case-p1-3"
 Current *merge-mode* is saba
 Solving problem p1-3-2
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p3-1.lisp.

 Creating case header for "case-p3-1"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p3-1.lisp.

 Creating case "case-p3-1"
"Done !" 
List of available cases :
 0: "case-p3-1"
 Current *merge-mode* is saba
 Solving problem p1-3-2
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.433
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p1-2.lisp.

 Creating case header for "case-p1-2"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p1-2.lisp.

 Creating case "case-p1-2"
"Done !" 
List of available cases :
 0: "case-p1-2"
 Current *merge-mode* is saba
 Solving problem p1-3-2
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p2-1.lisp.

 Creating case header for "case-p2-1"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p2-1.lisp.

 Creating case "case-p2-1"
"Done !" 
List of available cases :
 0: "case-p2-1"
 Current *merge-mode* is saba
 Solving problem p1-3-2
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.45
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p3-2.lisp.

 Creating case header for "case-p3-2"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p3-2.lisp.

 Creating case "case-p3-2"
"Done !" 
List of available cases :
 0: "case-p3-2"
 Current *merge-mode* is saba
 Solving problem p1-3-2
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p2-3.lisp.

 Creating case header for "case-p2-3"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p2-3.lisp.

 Creating case "case-p2-3"
"Done !" 
List of available cases :
 0: "case-p2-3"
 Current *merge-mode* is saba
 Solving problem p1-3-2
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.467
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/p2-1-3.lisp.

 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p2-1.lisp.

 Creating case header for "case-p2-1"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p2-1.lisp.

 Creating case "case-p2-1"
"Done !" 
List of available cases :
 0: "case-p2-1"
 Current *merge-mode* is saba
 Solving problem p2-1-3
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p1-2.lisp.

 Creating case header for "case-p1-2"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p1-2.lisp.

 Creating case "case-p1-2"
"Done !" 
List of available cases :
 0: "case-p1-2"
 Current *merge-mode* is saba
 Solving problem p2-1-3
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p2-3.lisp.

 Creating case header for "case-p2-3"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p2-3.lisp.

 Creating case "case-p2-3"
"Done !" 
List of available cases :
 0: "case-p2-3"
 Current *merge-mode* is saba
 Solving problem p2-1-3
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.416
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p3-2.lisp.

 Creating case header for "case-p3-2"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p3-2.lisp.

 Creating case "case-p3-2"
"Done !" 
List of available cases :
 0: "case-p3-2"
 Current *merge-mode* is saba
 Solving problem p2-1-3
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p1-3.lisp.

 Creating case header for "case-p1-3"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p1-3.lisp.

 Creating case "case-p1-3"
"Done !" 
List of available cases :
 0: "case-p1-3"
 Current *merge-mode* is saba
 Solving problem p2-1-3
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.467
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p3-1.lisp.

 Creating case header for "case-p3-1"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p3-1.lisp.

 Creating case "case-p3-1"
"Done !" 
List of available cases :
 0: "case-p3-1"
 Current *merge-mode* is saba
 Solving problem p2-1-3
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.45
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/p2-3-1.lisp.

 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p2-3.lisp.

 Creating case header for "case-p2-3"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p2-3.lisp.

 Creating case "case-p2-3"
"Done !" 
List of available cases :
 0: "case-p2-3"
 Current *merge-mode* is saba
 Solving problem p2-3-1
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.45
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p3-2.lisp.

 Creating case header for "case-p3-2"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p3-2.lisp.

 Creating case "case-p3-2"
"Done !" 
List of available cases :
 0: "case-p3-2"
 Current *merge-mode* is saba
 Solving problem p2-3-1
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.416
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p2-1.lisp.

 Creating case header for "case-p2-1"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p2-1.lisp.

 Creating case "case-p2-1"
"Done !" 
List of available cases :
 0: "case-p2-1"
 Current *merge-mode* is saba
 Solving problem p2-3-1
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p1-2.lisp.

 Creating case header for "case-p1-2"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p1-2.lisp.

 Creating case "case-p1-2"
"Done !" 
List of available cases :
 0: "case-p1-2"
 Current *merge-mode* is saba
 Solving problem p2-3-1
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p3-1.lisp.

 Creating case header for "case-p3-1"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p3-1.lisp.

 Creating case "case-p3-1"
"Done !" 
List of available cases :
 0: "case-p3-1"
 Current *merge-mode* is saba
 Solving problem p2-3-1
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.45
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p1-3.lisp.

 Creating case header for "case-p1-3"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p1-3.lisp.

 Creating case "case-p1-3"
"Done !" 
List of available cases :
 0: "case-p1-3"
 Current *merge-mode* is saba
 Solving problem p2-3-1
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.467
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/p3-1-2.lisp.

 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p3-1.lisp.

 Creating case header for "case-p3-1"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p3-1.lisp.

 Creating case "case-p3-1"
"Done !" 
List of available cases :
 0: "case-p3-1"
 Current *merge-mode* is saba
 Solving problem p3-1-2
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.433
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p1-3.lisp.

 Creating case header for "case-p1-3"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p1-3.lisp.

 Creating case "case-p1-3"
"Done !" 
List of available cases :
 0: "case-p1-3"
 Current *merge-mode* is saba
 Solving problem p3-1-2
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.484
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p3-2.lisp.

 Creating case header for "case-p3-2"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p3-2.lisp.

 Creating case "case-p3-2"
"Done !" 
List of available cases :
 0: "case-p3-2"
 Current *merge-mode* is saba
 Solving problem p3-1-2
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p2-3.lisp.

 Creating case header for "case-p2-3"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p2-3.lisp.

 Creating case "case-p2-3"
"Done !" 
List of available cases :
 0: "case-p2-3"
 Current *merge-mode* is saba
 Solving problem p3-1-2
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p1-2.lisp.

 Creating case header for "case-p1-2"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p1-2.lisp.

 Creating case "case-p1-2"
"Done !" 
List of available cases :
 0: "case-p1-2"
 Current *merge-mode* is saba
 Solving problem p3-1-2
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p2-1.lisp.

 Creating case header for "case-p2-1"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p2-1.lisp.

 Creating case "case-p2-1"
"Done !" 
List of available cases :
 0: "case-p2-1"
 Current *merge-mode* is saba
 Solving problem p3-1-2
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/p3-2-1.lisp.

 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p3-2.lisp.

 Creating case header for "case-p3-2"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p3-2.lisp.

 Creating case "case-p3-2"
"Done !" 
List of available cases :
 0: "case-p3-2"
 Current *merge-mode* is saba
 Solving problem p3-2-1
 Following case "case-p3-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.45
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p2-3.lisp.

 Creating case header for "case-p2-3"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p2-3.lisp.

 Creating case "case-p2-3"
"Done !" 
List of available cases :
 0: "case-p2-3"
 Current *merge-mode* is saba
 Solving problem p3-2-1
 Following case "case-p2-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.417
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p3-1.lisp.

 Creating case header for "case-p3-1"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p3-1.lisp.

 Creating case "case-p3-1"
"Done !" 
List of available cases :
 0: "case-p3-1"
 Current *merge-mode* is saba
 Solving problem p3-2-1
 Following case "case-p3-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.5
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p1-3.lisp.

 Creating case header for "case-p1-3"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p1-3.lisp.

 Creating case "case-p1-3"
"Done !" 
List of available cases :
 0: "case-p1-3"
 Current *merge-mode* is saba
 Solving problem p3-2-1
 Following case "case-p1-3"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.433
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p2-1.lisp.

 Creating case header for "case-p2-1"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p2-1.lisp.

 Creating case "case-p2-1"
"Done !" 
List of available cases :
 0: "case-p2-1"
 Current *merge-mode* is saba
 Solving problem p3-2-1
 Following case "case-p2-1"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4
 Resetting (setting to nil) *case-cache* and *case-headers*
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/headers/case-p1-2.lisp.

 Creating case header for "case-p1-2"
 Done loading case header!
 It was pushed into the list *case-headers*.
; Loading /usr/mmv/prodigy4.0/domains/art-md-ns/probs/cases/case-p1-2.lisp.

 Creating case "case-p1-2"
"Done !" 
List of available cases :
 0: "case-p1-2"
 Current *merge-mode* is saba
 Solving problem p3-2-1
 Following case "case-p1-2"

Solution:
	<a1-1>
	<a1-2>
	<a1-3>
	<a2-1>
	<a2-2>
	<a2-3>


 Number of nodes 28
 Running Time 0.4
nil
