probfreecell-2-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sa
	ha
	da
	ca
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
No initial location for ha
No initial location for da
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
12 actions
20 actions
28 actions
36 actions
132 actions
276 actions
288 actions
432 actions
440 actions
528 actions built
Level 1:	Facts: 32 Actions: 31 Mutex pairs: 0
Level 2:	Facts: 40 Actions: 83 Mutex pairs: 0
Level 3:	Facts: 45 Actions: 114 Mutex pairs: 0
Level 4:	Facts: 46 Actions: 133 Mutex pairs: 0
Initial layer complete at: 4
State is worth 12
Level 5:	Facts: 46 Actions: 134 Mutex pairs: 0
sendtohome-b(da,d,n1,d0,n0,n2,n3)
sendtohome-b(ha,h,n1,h0,n0,n3,n4)
sendtohome-b(d2,d,n2,da,n1,n4,n5)
sendtohome-b(h2,h,n2,ha,n1,n5,n6)
sendtofree(c2,ca,n4,n3)
sendtohome(ca,sa,c,n1,c0,n0)
homefromfreecell(c2,c,n2,ca,n1,n3,n4)
sendtohome-b(sa,s,n1,s0,n0,n6,n7)
sendtohome-b(s2,s,n2,sa,n1,n7,n8)
Plan length 9
Total time elapsed: 424 millisecs
CPU Time: 0.17 seconds
probfreecell-2-2.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sa
	ha
	da
	ca
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
No initial location for da
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
12 actions
20 actions
28 actions
36 actions
132 actions
276 actions
288 actions
432 actions
440 actions
528 actions built
Level 1:	Facts: 35 Actions: 33 Mutex pairs: 0
Level 2:	Facts: 44 Actions: 100 Mutex pairs: 0
Level 3:	Facts: 45 Actions: 129 Mutex pairs: 0
Initial layer complete at: 3
State is worth 11
Level 4:	Facts: 45 Actions: 130 Mutex pairs: 0
Level 5:	Facts: 45 Actions: 130 Mutex pairs: 0
sendtohome-b(da,d,n1,d0,n0,n2,n3)
sendtohome(sa,ha,s,n1,s0,n0)
sendtohome-b(ha,h,n1,h0,n0,n3,n4)
sendtohome-b(s2,s,n2,sa,n1,n4,n5)
sendtohome-b(h2,h,n2,ha,n1,n5,n6)
sendtohome(ca,d2,c,n1,c0,n0)
sendtohome-b(c2,c,n2,ca,n1,n6,n7)
sendtohome-b(d2,d,n2,da,n1,n7,n8)
Plan length 8
Total time elapsed: 455 millisecs
CPU Time: 0.17 seconds
probfreecell-2-3.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sa
	ha
	da
	ca
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
No initial location for da
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
12 actions
20 actions
28 actions
36 actions
132 actions
276 actions
288 actions
432 actions
440 actions
528 actions built
Level 1:	Facts: 32 Actions: 30 Mutex pairs: 0
Level 2:	Facts: 41 Actions: 86 Mutex pairs: 0
Level 3:	Facts: 46 Actions: 123 Mutex pairs: 0
Initial layer complete at: 3
State is worth 11
Level 4:	Facts: 46 Actions: 134 Mutex pairs: 0
sendtohome-b(da,d,n1,d0,n0,n3,n4)
sendtohome(ha,ca,h,n1,h0,n0)
sendtohome-b(ca,c,n1,c0,n0,n4,n5)
sendtohome-b(h2,h,n2,ha,n1,n5,n6)
sendtohome(c2,sa,c,n2,ca,n1)
sendtohome(sa,d2,s,n1,s0,n0)
sendtohome-b(d2,d,n2,da,n1,n6,n7)
sendtohome-b(s2,s,n2,sa,n1,n7,n8)
Plan length 8
Total time elapsed: 330 millisecs
CPU Time: 0.17 seconds
probfreecell-2-4.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sa
	ha
	da
	ca
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
No initial location for sa
No initial location for ha
No initial location for ca
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
12 actions
20 actions
28 actions
36 actions
132 actions
276 actions
288 actions
432 actions
440 actions
528 actions built
Level 1:	Facts: 36 Actions: 34 Mutex pairs: 0
Level 2:	Facts: 46 Actions: 104 Mutex pairs: 0
Initial layer complete at: 2
State is worth 10
Level 3:	Facts: 46 Actions: 134 Mutex pairs: 0
sendtohome-b(ca,c,n1,c0,n0,n2,n3)
sendtohome-b(ha,h,n1,h0,n0,n3,n4)
sendtohome-b(sa,s,n1,s0,n0,n4,n5)
sendtohome-b(c2,c,n2,ca,n1,n5,n6)
sendtohome(da,d2,d,n1,d0,n0)
sendtohome(h2,s2,h,n2,ha,n1)
sendtohome-b(d2,d,n2,da,n1,n6,n7)
sendtohome-b(s2,s,n2,sa,n1,n7,n8)
Plan length 8
Total time elapsed: 199 millisecs
CPU Time: 0.18 seconds
probfreecell-2-5.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sa
	ha
	da
	ca
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
No initial location for ca
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
12 actions
20 actions
28 actions
36 actions
132 actions
276 actions
288 actions
432 actions
440 actions
528 actions built
Level 1:	Facts: 34 Actions: 32 Mutex pairs: 0
Level 2:	Facts: 44 Actions: 93 Mutex pairs: 0
Level 3:	Facts: 46 Actions: 132 Mutex pairs: 0
Initial layer complete at: 3
State is worth 12
Level 4:	Facts: 46 Actions: 134 Mutex pairs: 0
sendtohome-b(ca,c,n1,c0,n0,n2,n3)
sendtohome-b(c2,c,n2,ca,n1,n3,n4)
sendtohome(da,sa,d,n1,d0,n0)
sendtohome-b(sa,s,n1,s0,n0,n4,n5)
sendtohome-b(d2,d,n2,da,n1,n5,n6)
sendtofree(h2,ha,n4,n3)
sendtohome-b(ha,h,n1,h0,n0,n6,n7)
newcolfromfreecell(h2,n7,n6,n3,n4)
sendtohome-b(h2,h,n2,ha,n1,n6,n7)
sendtohome-b(s2,s,n2,sa,n1,n7,n8)
Plan length 10
Total time elapsed: 616 millisecs
CPU Time: 0.19 seconds
probfreecell-3-1.pddl
probfreecell-3-2.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sa
	ha
	da
	ca
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
No initial location for da
No initial location for h2
No initial location for c2
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
16 actions
32 actions
44 actions
56 actions
248 actions
504 actions
520 actions
776 actions
792 actions
1032 actions built
Level 1:	Facts: 44 Actions: 41 Mutex pairs: 0
Level 2:	Facts: 60 Actions: 123 Mutex pairs: 0
Level 3:	Facts: 70 Actions: 192 Mutex pairs: 0
Level 4:	Facts: 71 Actions: 227 Mutex pairs: 0
Level 5:	Facts: 72 Actions: 231 Mutex pairs: 0
Initial layer complete at: 5
State is worth 18
Level 6:	Facts: 72 Actions: 232 Mutex pairs: 0
Level 7:	Facts: 72 Actions: 232 Mutex pairs: 0
move-b(c2,d3,n1,n2)
sendtohome-b(da,d,n1,d0,n0,n2,n3)
move-b(h2,s3,n3,n4)
sendtohome(ca,d2,c,n1,c0,n0)
sendtohome-b(d2,d,n2,da,n1,n4,n5)
sendtohome(sa,h3,s,n1,s0,n0)
sendtohome(c2,d3,c,n2,ca,n1)
sendtohome(d3,s2,d,n3,d2,n2)
sendtohome(s2,c3,s,n2,sa,n1)
sendtohome-b(c3,c,n3,c2,n2,n5,n6)
sendtofree(h3,ha,n4,n3)
sendtohome-b(ha,h,n1,h0,n0,n6,n7)
newcolfromfreecell(h3,n7,n6,n3,n4)
sendtohome(h2,s3,h,n2,ha,n1)
sendtohome-b(s3,s,n3,s2,n2,n6,n7)
sendtohome-b(h3,h,n3,h2,n2,n7,n8)
Plan length 16
Total time elapsed: 360 millisecs
CPU Time: 0.33 seconds
probfreecell-3-3.pddl
probfreecell-3-4.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sa
	ha
	da
	ca
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
No initial location for ha
No initial location for ca
No initial location for c2
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
16 actions
32 actions
44 actions
56 actions
248 actions
504 actions
520 actions
776 actions
792 actions
1032 actions built
Level 1:	Facts: 47 Actions: 43 Mutex pairs: 0
Level 2:	Facts: 66 Actions: 142 Mutex pairs: 0
Level 3:	Facts: 73 Actions: 223 Mutex pairs: 0
Initial layer complete at: 3
State is worth 17
Level 4:	Facts: 73 Actions: 240 Mutex pairs: 0
Level 5:	Facts: 73 Actions: 240 Mutex pairs: 0
sendtohome-b(ca,c,n1,c0,n0,n1,n2)
sendtohome-b(c2,c,n2,ca,n1,n2,n3)
sendtohome-b(ha,h,n1,h0,n0,n3,n4)
sendtohome(c3,s3,c,n3,c2,n2)
sendtohome(da,d2,d,n1,d0,n0)
Level 6:	Facts: 73 Actions: 240 Mutex pairs: 0
sendtohome(sa,d3,s,n1,s0,n0)
move(h2,s2,s3)
sendtohome-b(s2,s,n2,sa,n1,n4,n5)
sendtofree-b(d3,n4,n3,n5,n6)
sendtohome(h2,s3,h,n2,ha,n1)
sendtohome(d2,h3,d,n2,da,n1)
homefromfreecell(d3,d,n3,d2,n2,n3,n4)
sendtohome-b(h3,h,n3,h2,n2,n6,n7)
sendtohome-b(s3,s,n3,s2,n2,n7,n8)
Plan length 14
Total time elapsed: 867 millisecs
CPU Time: 0.3 seconds
probfreecell-3-5.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sa
	ha
	da
	ca
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
No initial location for d2
No initial location for c2
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
16 actions
32 actions
44 actions
56 actions
248 actions
504 actions
520 actions
776 actions
792 actions
1032 actions built
Level 1:	Facts: 46 Actions: 42 Mutex pairs: 0
Level 2:	Facts: 62 Actions: 136 Mutex pairs: 0
Level 3:	Facts: 69 Actions: 201 Mutex pairs: 0
Level 4:	Facts: 71 Actions: 227 Mutex pairs: 0
Level 5:	Facts: 72 Actions: 231 Mutex pairs: 0
Initial layer complete at: 5
State is worth 23
Level 6:	Facts: 72 Actions: 232 Mutex pairs: 0
move-b(d2,c3,n1,n2)
Level 7:	Facts: 72 Actions: 232 Mutex pairs: 0
move-b(c2,h3,n2,n3)
sendtohome(ca,d3,c,n1,c0,n0)
sendtofree-b(d3,n4,n3,n3,n4)
sendtohome(c2,h3,c,n2,ca,n1)
sendtofree-b(h3,n3,n2,n4,n5)
sendtohome(da,sa,d,n1,d0,n0)
sendtohome-b(sa,s,n1,s0,n0,n5,n6)
sendtohome(d2,c3,d,n2,da,n1)
sendtohome(c3,s2,c,n3,c2,n2)
homefromfreecell(d3,d,n3,d2,n2,n2,n3)
sendtohome-b(s2,s,n2,sa,n1,n6,n7)
newcolfromfreecell(h3,n7,n6,n3,n4)
sendtofree(h2,s3,n4,n3)
sendtohome(s3,ha,s,n3,s2,n2)
sendtohome-b(ha,h,n1,h0,n0,n6,n7)
homefromfreecell(h2,h,n2,ha,n1,n3,n4)
sendtohome-b(h3,h,n3,h2,n2,n7,n8)
Plan length 18
Total time elapsed: 624 millisecs
CPU Time: 0.33 seconds
probfreecell-4-1.pddl
probfreecell-4-2.pddl
probfreecell-4-3.pddl
probfreecell-4-4.pddl
probfreecell-4-5.pddl
probfreecell-5-1.pddl
probfreecell-5-2.pddl
probfreecell-5-3.pddl
probfreecell-5-4.pddl
probfreecell-5-5.pddl
probfreecell-6-1.pddl
probfreecell-6-2.pddl
probfreecell-6-3.pddl
probfreecell-6-4.pddl
probfreecell-6-5.pddl
probfreecell-7-1.pddl
probfreecell-7-2.pddl
probfreecell-7-3.pddl
probfreecell-7-4.pddl
probfreecell-7-5.pddl
probfreecell-8-1.pddl
probfreecell-8-2.pddl
probfreecell-8-3.pddl
probfreecell-8-4.pddl
probfreecell-8-5.pddl
probfreecell-9-1.pddl
probfreecell-9-2.pddl
probfreecell-9-3.pddl
probfreecell-9-4.pddl
probfreecell-9-5.pddl
probfreecell-10-1.pddl
probfreecell-10-2.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sa
	ha
	da
	ca
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
44 actions
116 actions
156 actions
196 actions
1956 actions
3892 actions
3936 actions
5872 actions
5944 actions
9040 actions built
Level 1:	Facts: 77 Actions: 69 Mutex pairs: 0
Level 2:	Facts: 111 Actions: 142 Mutex pairs: 0
Level 3:	Facts: 150 Actions: 271 Mutex pairs: 0
Level 4:	Facts: 196 Actions: 453 Mutex pairs: 0
Level 5:	Facts: 225 Actions: 667 Mutex pairs: 0
Level 6:	Facts: 243 Actions: 805 Mutex pairs: 0
Level 7:	Facts: 247 Actions: 895 Mutex pairs: 0
Level 8:	Facts: 251 Actions: 918 Mutex pairs: 0
Level 9:	Facts: 255 Actions: 941 Mutex pairs: 0
Level 10:	Facts: 259 Actions: 962 Mutex pairs: 0
Level 11:	Facts: 262 Actions: 980 Mutex pairs: 0
Level 12:	Facts: 265 Actions: 993 Mutex pairs: 0
Level 13:	Facts: 266 Actions: 1001 Mutex pairs: 0
Level 14:	Facts: 267 Actions: 1005 Mutex pairs: 0
Initial layer complete at: 14
State is worth 134
sendtofree(h9,ca,n4,n3)
sendtofree(d7,h2,n3,n2)
sendtofree(d3,s2,n2,n1)
sendtofree(h5,s3,n1,n0)
move(h2,h8,s3)
sendtohome(ca,d5,c,n1,c0,n0)
sendtohome(sa,h3,s,n1,s0,n0)
Level 15:	Facts: 267 Actions: 1006 Mutex pairs: 0
sendtohome(s2,c7,s,n2,sa,n1)
move(c7,c6,d8)
colfromfreecell(h5,c6,n0,n1)
sendtofree(s5,da,n1,n0)
sendtohome(da,s9,d,n1,d0,n0)
move(h8,c9,s9)
move(c9,c5,h10)
move(c7,d8,h8)
move(d8,s10,c9)
colfromfreecell(h9,s10,n0,n1)
sendtofree(h3,ha,n1,n0)
sendtohome(ha,s7,h,n1,h0,n0)
move(c7,h8,d8)
move(s7,d10,h8)
sendtohome(h2,s3,h,n2,ha,n1)
sendtohome(s3,s6,s,n3,s2,n2)
homefromfreecell(h3,h,n3,h2,n2,n0,n1)
sendtofree(s6,s8,n1,n0)
colfromfreecell(d7,s8,n0,n1)
sendtofree(h9,s10,n1,n0)
colfromfreecell(s6,d7,n0,n1)
sendtofree-b(c5,n1,n0,n0,n1)
sendtonewcol(s10,h4,n1,n0)
sendtohome(h4,s4,h,n4,h3,n3)
sendtohome(h5,c6,h,n5,h4,n4)
sendtohome(s4,d6,s,n4,s3,n3)
homefromfreecell(s5,s,n5,s4,n4,n0,n1)
sendtofree(c6,h6,n1,n0)
move(d6,c2,s7)
sendtohome-b(c2,c,n2,ca,n1,n0,n1)
move(h6,c3,c7)
sendtohome-b(c3,c,n3,c2,n2,n1,n2)
sendtohome(s6,d7,s,n6,s5,n5)
colfromfreecell(h9,s10,n0,n1)
sendtofree(d5,d2,n1,n0)
sendtohome-b(d2,d,n2,da,n1,n2,n3)
homefromfreecell(d3,d,n3,d2,n2,n0,n1)
sendtofree(d10,d4,n1,n0)
sendtohome-b(d4,d,n4,d3,n3,n3,n4)
homefromfreecell(d5,d,n5,d4,n4,n0,n1)
sendtohome(d6,s7,d,n6,d5,n5)
sendtohome(s7,h8,s,n7,s6,n6)
sendtohome(d7,s8,d,n7,d6,n6)
move(s8,c4,h9)
sendtohome-b(c4,c,n4,c3,n3,n4,n5)
colfromfreecell(c5,h6,n1,n2)
sendtohome(s8,h9,s,n8,s7,n7)
sendtofree(h8,s9,n2,n1)
sendtohome(s9,d9,s,n9,s8,n8)
sendtofree-b(d9,n1,n0,n5,n6)
sendtonewcol(h9,s10,n6,n5)
sendtohome-b(s10,s,n10,s9,n9,n5,n6)
sendtohome(c5,h6,c,n5,c4,n4)
homefromfreecell(c6,c,n6,c5,n5,n0,n1)
sendtohome(h6,c7,h,n6,h5,n5)
sendtohome(c7,d8,c,n7,c6,n6)
sendtohome(d8,c9,d,n8,d7,n7)
homefromfreecell(d9,d,n9,d8,n8,n1,n2)
homefromfreecell(d10,d,n10,d9,n9,n2,n3)
sendtofree(c9,h10,n3,n2)
sendtofree(h10,h7,n2,n1)
sendtohome(h7,c10,h,n7,h6,n6)
homefromfreecell(h8,h,n8,h7,n7,n1,n2)
sendtohome-b(h9,h,n9,h8,n8,n6,n7)
newcolfromfreecell(h10,n7,n6,n2,n3)
colfromfreecell(c9,h10,n3,n4)
sendtofree(c10,c8,n4,n3)
sendtohome-b(c8,c,n8,c7,n7,n6,n7)
newcolfromfreecell(c10,n7,n6,n3,n4)
sendtohome(c9,h10,c,n9,c8,n8)
sendtohome-b(h10,h,n10,h9,n9,n6,n7)
sendtohome-b(c10,c,n10,c9,n9,n7,n8)
Plan length 79
Total time elapsed: 13199 millisecs
CPU Time: 10.35 seconds
probfreecell-10-3.pddl
probfreecell-10-4.pddl
probfreecell-10-5.pddl
probfreecell-11-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sa
	ha
	da
	ca
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
48 actions
128 actions
172 actions
216 actions
2328 actions
4632 actions
4680 actions
6984 actions
7064 actions
10824 actions built
Level 1:	Facts: 80 Actions: 72 Mutex pairs: 0
Level 2:	Facts: 113 Actions: 145 Mutex pairs: 0
Level 3:	Facts: 152 Actions: 266 Mutex pairs: 0
Level 4:	Facts: 192 Actions: 433 Mutex pairs: 0
Level 5:	Facts: 235 Actions: 625 Mutex pairs: 0
Level 6:	Facts: 259 Actions: 839 Mutex pairs: 0
Level 7:	Facts: 268 Actions: 951 Mutex pairs: 0
Level 8:	Facts: 272 Actions: 994 Mutex pairs: 0
Level 9:	Facts: 276 Actions: 1016 Mutex pairs: 0
Level 10:	Facts: 280 Actions: 1039 Mutex pairs: 0
Level 11:	Facts: 284 Actions: 1063 Mutex pairs: 0
Level 12:	Facts: 288 Actions: 1086 Mutex pairs: 0
Level 13:	Facts: 292 Actions: 1107 Mutex pairs: 0
Level 14:	Facts: 295 Actions: 1122 Mutex pairs: 0
Level 15:	Facts: 296 Actions: 1127 Mutex pairs: 0
Initial layer complete at: 15
State is worth 159
sendtofree(d3,c2,n4,n3)
sendtofree(h6,h10,n3,n2)
sendtofree(s6,d6,n2,n1)
sendtofree(d6,s3,n1,n0)
move(h2,d8,s3)
Level 16:	Facts: 296 Actions: 1128 Mutex pairs: 0
move(d8,s4,c9)
colfromfreecell(d3,s4,n0,n1)
sendtofree(h2,s3,n1,n0)
move(c2,ca,d3)
sendtohome(ca,sa,c,n1,c0,n0)
sendtohome(c2,d3,c,n2,ca,n1)
sendtohome(sa,h7,s,n1,s0,n0)
move(c6,h8,h7)
colfromfreecell(h2,s3,n0,n1)
sendtofree(d8,c9,n1,n0)
move(h8,h4,c9)
No plan found!
Total time elapsed: 15799 millisecs
CPU Time: 11.21 seconds
probfreecell-11-2.pddl
probfreecell-11-3.pddl
probfreecell-11-4.pddl
probfreecell-11-5.pddl
probfreecell-12-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sj
	s9
	s8
	s7
	s6
	s5
	s4
	s3
	s2
	s10
	hj
	h9
	h8
	h7
	h6
	h5
	h4
	h3
	h2
	h10
	dj
	d9
	d8
	d7
	d6
	d5
	d4
	d3
	d2
	d10
	cj
	c9
	c8
	c7
	c6
	c5
	c4
	c3
	c2
	c10
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
52 actions
140 actions
188 actions
236 actions
2732 actions
5436 actions
5488 actions
8192 actions
8280 actions
12768 actions built
Level 1:	Facts: 84 Actions: 76 Mutex pairs: 0
Level 2:	Facts: 117 Actions: 147 Mutex pairs: 0
Level 3:	Facts: 153 Actions: 268 Mutex pairs: 0
Level 4:	Facts: 194 Actions: 411 Mutex pairs: 0
Level 5:	Facts: 240 Actions: 600 Mutex pairs: 0
Level 6:	Facts: 278 Actions: 837 Mutex pairs: 0
Level 7:	Facts: 292 Actions: 1015 Mutex pairs: 0
Level 8:	Facts: 296 Actions: 1078 Mutex pairs: 0
Level 9:	Facts: 300 Actions: 1100 Mutex pairs: 0
Level 10:	Facts: 304 Actions: 1123 Mutex pairs: 0
Level 11:	Facts: 308 Actions: 1147 Mutex pairs: 0
Level 12:	Facts: 312 Actions: 1170 Mutex pairs: 0
Level 13:	Facts: 316 Actions: 1193 Mutex pairs: 0
Level 14:	Facts: 320 Actions: 1215 Mutex pairs: 0
Level 15:	Facts: 323 Actions: 1229 Mutex pairs: 0
Level 16:	Facts: 324 Actions: 1235 Mutex pairs: 0
Initial layer complete at: 16
State is worth 180
sendtofree(s6,d6,n4,n3)
sendtofree(d6,s3,n3,n2)
Level 17:	Facts: 324 Actions: 1236 Mutex pairs: 0
move(h2,d8,s3)
Level 18:	Facts: 324 Actions: 1236 Mutex pairs: 0
sendtofree(c6,h8,n2,n1)
sendtofree(d8,s4,n1,n0)
move(h8,h4,c9)
move(d3,c2,s4)
move(c2,ca,d3)
sendtohome(ca,sa,c,n1,c0,n0)
sendtohome(sa,cq,s,n1,s0,n0)
sendtohome(c2,d3,c,n2,ca,n1)
No plan found!
Total time elapsed: 22841 millisecs
CPU Time: 15.23 seconds
probfreecell-12-2.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sj
	s9
	s8
	s7
	s6
	s5
	s4
	s3
	s2
	s10
	hj
	h9
	h8
	h7
	h6
	h5
	h4
	h3
	h2
	h10
	dj
	d9
	d8
	d7
	d6
	d5
	d4
	d3
	d2
	d10
	cj
	c9
	c8
	c7
	c6
	c5
	c4
	c3
	c2
	c10
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
52 actions
140 actions
188 actions
236 actions
2732 actions
5436 actions
5488 actions
8192 actions
8280 actions
12768 actions built
Level 1:	Facts: 85 Actions: 77 Mutex pairs: 0
Level 2:	Facts: 116 Actions: 147 Mutex pairs: 0
Level 3:	Facts: 157 Actions: 260 Mutex pairs: 0
Level 4:	Facts: 203 Actions: 443 Mutex pairs: 0
Level 5:	Facts: 244 Actions: 661 Mutex pairs: 0
Level 6:	Facts: 280 Actions: 853 Mutex pairs: 0
Level 7:	Facts: 294 Actions: 1029 Mutex pairs: 0
Level 8:	Facts: 298 Actions: 1093 Mutex pairs: 0
Level 9:	Facts: 302 Actions: 1116 Mutex pairs: 0
Level 10:	Facts: 306 Actions: 1140 Mutex pairs: 0
Level 11:	Facts: 310 Actions: 1164 Mutex pairs: 0
Level 12:	Facts: 314 Actions: 1187 Mutex pairs: 0
Level 13:	Facts: 318 Actions: 1208 Mutex pairs: 0
Level 14:	Facts: 321 Actions: 1222 Mutex pairs: 0
Level 15:	Facts: 322 Actions: 1230 Mutex pairs: 0
Level 16:	Facts: 323 Actions: 1233 Mutex pairs: 0
Initial layer complete at: 16
State is worth 169
sendtofree(d8,s10,n4,n3)
sendtofree(hj,d3,n3,n2)
sendtohome(sa,h3,s,n1,s0,n0)
sendtofree(h3,ha,n2,n1)
sendtofree(d7,h2,n1,n0)
sendtohome(ha,s7,h,n1,h0,n0)
Level 17:	Facts: 323 Actions: 1234 Mutex pairs: 0
sendtohome(h2,h8,h,n2,ha,n1)
Level 18:	Facts: 323 Actions: 1234 Mutex pairs: 0
homefromfreecell(h3,h,n3,h2,n2,n0,n1)
sendtofree(d3,s2,n1,n0)
sendtohome(s2,c7,s,n2,sa,n1)
move(c7,c6,h8)
move(h5,s3,c6)
sendtohome(s3,s6,s,n3,s2,n2)
move(h5,c6,s6)
move(h9,ca,s10)
sendtohome(ca,d5,c,n1,c0,n0)
move(h5,s6,c6)
move(d5,d2,s6)
No plan found!
Total time elapsed: 20911 millisecs
CPU Time: 15.68 seconds
probfreecell-12-3.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sj
	s9
	s8
	s7
	s6
	s5
	s4
	s3
	s2
	s10
	hj
	h9
	h8
	h7
	h6
	h5
	h4
	h3
	h2
	h10
	dj
	d9
	d8
	d7
	d6
	d5
	d4
	d3
	d2
	d10
	cj
	c9
	c8
	c7
	c6
	c5
	c4
	c3
	c2
	c10
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
52 actions
140 actions
188 actions
236 actions
2732 actions
5436 actions
5488 actions
8192 actions
8280 actions
12768 actions built
Level 1:	Facts: 86 Actions: 78 Mutex pairs: 0
Level 2:	Facts: 121 Actions: 165 Mutex pairs: 0
Level 3:	Facts: 162 Actions: 300 Mutex pairs: 0
Level 4:	Facts: 204 Actions: 479 Mutex pairs: 0
Level 5:	Facts: 242 Actions: 673 Mutex pairs: 0
Level 6:	Facts: 276 Actions: 850 Mutex pairs: 0
Level 7:	Facts: 293 Actions: 1005 Mutex pairs: 0
Level 8:	Facts: 297 Actions: 1086 Mutex pairs: 0
Level 9:	Facts: 301 Actions: 1108 Mutex pairs: 0
Level 10:	Facts: 305 Actions: 1131 Mutex pairs: 0
Level 11:	Facts: 309 Actions: 1154 Mutex pairs: 0
Level 12:	Facts: 313 Actions: 1175 Mutex pairs: 0
Level 13:	Facts: 316 Actions: 1194 Mutex pairs: 0
Level 14:	Facts: 319 Actions: 1209 Mutex pairs: 0
Level 15:	Facts: 321 Actions: 1220 Mutex pairs: 0
Level 16:	Facts: 322 Actions: 1227 Mutex pairs: 0
Level 17:	Facts: 323 Actions: 1231 Mutex pairs: 0
Initial layer complete at: 17
State is worth 163
sendtohome(ha,h9,h,n1,h0,n0)
sendtofree(s5,h3,n4,n3)
sendtofree(h9,ca,n3,n2)
sendtofree(c8,s9,n2,n1)
sendtofree(s9,c6,n1,n0)
sendtohome(h2,d6,h,n2,ha,n1)
sendtohome(h3,s2,h,n3,h2,n2)
Level 18:	Facts: 323 Actions: 1232 Mutex pairs: 0
sendtohome(ca,h6,c,n1,c0,n0)
move(c5,c4,h6)
move(s4,c2,h5)
sendtohome(c2,d10,c,n2,ca,n1)
move(d10,sa,cj)
sendtohome(sa,hq,s,n1,s0,n0)
sendtohome(s2,dj,s,n2,sa,n1)
colfromfreecell(s9,d10,n0,n1)
sendtofree(d6,s8,n1,n0)
No plan found!
Total time elapsed: 23307 millisecs
CPU Time: 15.86 seconds
probfreecell-12-4.pddl
probfreecell-12-5.pddl
probfreecell-13-1.pddl
probfreecell-13-2.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sq
	sj
	s9
	s8
	s7
	s6
	s5
	s4
	s3
	s2
	s10
	hq
	hj
	h9
	h8
	h7
	h6
	h5
	h4
	h3
	h2
	h10
	dq
	dj
	d9
	d8
	d7
	d6
	d5
	d4
	d3
	d2
	d10
	cq
	cj
	c9
	c8
	c7
	c6
	c5
	c4
	c3
	c2
	c10
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
56 actions
152 actions
204 actions
256 actions
3168 actions
6304 actions
6360 actions
9496 actions
9592 actions
14872 actions built
Level 1:	Facts: 89 Actions: 81 Mutex pairs: 0
Level 2:	Facts: 118 Actions: 147 Mutex pairs: 0
Level 3:	Facts: 160 Actions: 254 Mutex pairs: 0
Level 4:	Facts: 202 Actions: 426 Mutex pairs: 0
Level 5:	Facts: 253 Actions: 633 Mutex pairs: 0
Level 6:	Facts: 297 Actions: 879 Mutex pairs: 0
Level 7:	Facts: 317 Actions: 1086 Mutex pairs: 0
Level 8:	Facts: 321 Actions: 1176 Mutex pairs: 0
Level 9:	Facts: 325 Actions: 1199 Mutex pairs: 0
Level 10:	Facts: 329 Actions: 1223 Mutex pairs: 0
Level 11:	Facts: 333 Actions: 1247 Mutex pairs: 0
Level 12:	Facts: 337 Actions: 1271 Mutex pairs: 0
Level 13:	Facts: 341 Actions: 1295 Mutex pairs: 0
Level 14:	Facts: 345 Actions: 1316 Mutex pairs: 0
Level 15:	Facts: 348 Actions: 1332 Mutex pairs: 0
Level 16:	Facts: 350 Actions: 1341 Mutex pairs: 0
Level 17:	Facts: 351 Actions: 1345 Mutex pairs: 0
Initial layer complete at: 17
State is worth 193
sendtofree(d8,s10,n4,n3)
Level 18:	Facts: 351 Actions: 1346 Mutex pairs: 0
sendtofree(hk,h9,n3,n2)
sendtofree(hj,d3,n2,n1)
sendtohome(sa,h3,s,n1,s0,n0)
sendtofree(h3,ha,n1,n0)
sendtohome(ha,s7,h,n1,h0,n0)
move(h9,ca,s10)
sendtohome(ca,d5,c,n1,c0,n0)
No plan found!
Total time elapsed: 27504 millisecs
CPU Time: 20.62 seconds
probfreecell-13-3.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sq
	sj
	s9
	s8
	s7
	s6
	s5
	s4
	s3
	s2
	s10
	hq
	hj
	h9
	h8
	h7
	h6
	h5
	h4
	h3
	h2
	h10
	dq
	dj
	d9
	d8
	d7
	d6
	d5
	d4
	d3
	d2
	d10
	cq
	cj
	c9
	c8
	c7
	c6
	c5
	c4
	c3
	c2
	c10
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
56 actions
152 actions
204 actions
256 actions
3168 actions
6304 actions
6360 actions
9496 actions
9592 actions
14872 actions built
Level 1:	Facts: 90 Actions: 82 Mutex pairs: 0
Level 2:	Facts: 122 Actions: 162 Mutex pairs: 0
Level 3:	Facts: 162 Actions: 289 Mutex pairs: 0
Level 4:	Facts: 205 Actions: 453 Mutex pairs: 0
Level 5:	Facts: 249 Actions: 645 Mutex pairs: 0
Level 6:	Facts: 295 Actions: 860 Mutex pairs: 0
Level 7:	Facts: 317 Actions: 1073 Mutex pairs: 0
Level 8:	Facts: 321 Actions: 1174 Mutex pairs: 0
Level 9:	Facts: 325 Actions: 1196 Mutex pairs: 0
Level 10:	Facts: 329 Actions: 1219 Mutex pairs: 0
Level 11:	Facts: 333 Actions: 1242 Mutex pairs: 0
Level 12:	Facts: 337 Actions: 1266 Mutex pairs: 0
Level 13:	Facts: 341 Actions: 1288 Mutex pairs: 0
Level 14:	Facts: 344 Actions: 1306 Mutex pairs: 0
Level 15:	Facts: 347 Actions: 1321 Mutex pairs: 0
Level 16:	Facts: 349 Actions: 1332 Mutex pairs: 0
Level 17:	Facts: 350 Actions: 1339 Mutex pairs: 0
Level 18:	Facts: 351 Actions: 1343 Mutex pairs: 0
Initial layer complete at: 18
State is worth 192
sendtohome(ha,h9,h,n1,h0,n0)
sendtofree(h9,ca,n4,n3)
sendtofree(cj,s7,n3,n2)
move(s4,c2,h5)
sendtohome(ca,h6,c,n1,c0,n0)
sendtohome(c2,d10,c,n2,ca,n1)
sendtofree(d10,sa,n2,n1)
sendtofree(s5,h3,n1,n0)
sendtohome(h2,dk,h,n2,ha,n1)
move(h6,sq,s7)
move(sq,s6,dk)
sendtohome(sa,hq,s,n1,s0,n0)
sendtohome(h3,s2,h,n3,h2,n2)
sendtohome(s2,dj,s,n2,sa,n1)
colfromfreecell(s5,h6,n0,n1)
sendtofree(c8,s9,n1,n0)
move(dj,s10,sq)
move(s10,d9,dj)
colfromfreecell(c8,d9,n0,n1)
Level 19:	Facts: 351 Actions: 1344 Mutex pairs: 0
sendtofree(s9,c6,n1,n0)
colfromfreecell(h9,s10,n0,n1)
sendtofree(c5,c4,n1,n0)
colfromfreecell(cj,hq,n0,n1)
sendtofree(c6,h4,n1,n0)
move(h4,c10,s5)
Level 20:	Facts: 351 Actions: 1344 Mutex pairs: 0
move(h9,s10,c10)
sendtohome(h4,s5,h,n4,h3,n3)
move(h9,c10,s10)
colfromfreecell(d10,cj,n0,n1)
sendtofree(s4,h5,n1,n0)
move(h9,s10,c10)
sendtohome(h5,s3,h,n5,h4,n4)
sendtohome(s3,hk,s,n3,s2,n2)
homefromfreecell(s4,s,n4,s3,n3,n0,n1)
move(h9,c10,s10)
move(c8,d9,h9)
sendtofree(c10,d7,n1,n0)
move(d7,ck,c8)
sendtohome(s5,h6,s,n5,s4,n4)
sendtohome-b(s6,s,n6,s5,n5,n0,n1)
sendtonewcol(hk,da,n1,n0)
colfromfreecell(c5,h6,n0,n1)
sendtofree(d9,cq,n1,n0)
move-b(cq,hk,n0,n1)
sendtonewcol(d10,cj,n1,n0)
sendtohome(da,dq,d,n1,d0,n0)
move(cj,hq,dq)
move-b(d10,cj,n0,n1)
sendtonewcol(hq,hj,n1,n0)
colfromfreecell(c10,hj,n0,n1)
sendtofree(d10,cj,n1,n0)
move-b(hq,ck,n0,n1)
sendtonewcol(cq,hk,n1,n0)
colfromfreecell(d10,cj,n0,n1)
sendtofree(hq,ck,n1,n0)
move-b(cq,hk,n0,n1)
sendtonewcol(d10,cj,n1,n0)
colfromfreecell(hq,ck,n0,n1)
sendtofree(cq,hk,n1,n0)
move-b(d10,cj,n0,n1)
sendtonewcol(hq,ck,n1,n0)
colfromfreecell(d9,c10,n0,n1)
sendtofree(d10,cj,n1,n0)
colfromfreecell(cq,hk,n0,n1)
sendtofree-b(ck,n1,n0,n0,n1)
sendtonewcol(d9,c10,n1,n0)
colfromfreecell(d10,cj,n0,n1)
sendtofree-b(d9,n1,n0,n0,n1)
sendtonewcol(d10,cj,n1,n0)
colfromfreecell(s9,d10,n0,n1)
sendtofree(cq,hk,n1,n0)
colfromfreecell(d9,c10,n0,n1)
sendtofree(s9,d10,n1,n0)
move-b(d10,cj,n0,n1)
sendtonewcol(d9,c10,n1,n0)
colfromfreecell(s9,d10,n0,n1)
sendtofree-b(d9,n1,n0,n0,n1)
sendtonewcol(s9,d10,n1,n0)
colfromfreecell(cq,hk,n0,n1)
sendtofree(d10,cj,n1,n0)
colfromfreecell(d9,c10,n0,n1)
sendtofree(cq,hk,n1,n0)
colfromfreecell(d10,cj,n0,n1)
sendtofree-b(hk,n1,n0,n0,n1)
sendtonewcol(d9,c10,n1,n0)
move-b(s9,d10,n0,n1)
newcolfromfreecell(cq,n1,n0,n0,n1)
sendtofree(s9,d10,n1,n0)
move-b(d9,c10,n0,n1)
sendtonewcol(d10,cj,n1,n0)
colfromfreecell(s9,d10,n0,n1)
sendtofree(d9,c10,n1,n0)
move(cj,dq,hq)
colfromfreecell(d9,c10,n0,n1)
sendtofree(dq,d4,n1,n0)
move-b(d4,c5,n0,n1)
sendtonewcol(s9,d10,n1,n0)
move-b(d10,cj,n0,n1)
newcolfromfreecell(hk,n1,n0,n0,n1)
sendtofree(d10,cj,n1,n0)
move-b(cq,hk,n0,n1)
sendtonewcol(d9,c10,n1,n0)
colfromfreecell(d10,cj,n0,n1)
sendtofree-b(d9,n1,n0,n0,n1)
sendtonewcol(d10,cj,n1,n0)
move-b(s9,d10,n0,n1)
sendtonewcol(cq,hk,n1,n0)
colfromfreecell(d9,c10,n0,n1)
sendtofree(s9,d10,n1,n0)
move-b(cq,hk,n0,n1)
sendtonewcol(d9,c10,n1,n0)
move-b(d10,cj,n0,n1)
sendtonewcol(cq,hk,n1,n0)
move-b(d9,c10,n0,n1)
move-b(cq,hk,n1,n2)
newcolfromfreecell(c6,n2,n1,n0,n1)
sendtofree(d10,cj,n1,n0)
sendtonewcol(d9,c10,n1,n0)
colfromfreecell(d10,cj,n0,n1)
sendtofree-b(d9,n1,n0,n0,n1)
sendtonewcol(d10,cj,n1,n0)
colfromfreecell(d9,c10,n0,n1)
sendtofree(cj,hq,n1,n0)
colfromfreecell(s9,d10,n0,n1)
sendtofree(d9,c10,n1,n0)
colfromfreecell(cj,hq,n0,n1)
sendtofree(cq,hk,n1,n0)
colfromfreecell(d9,c10,n0,n1)
sendtofree(s9,d10,n1,n0)
move-b(d10,cj,n0,n1)
sendtonewcol(d9,c10,n1,n0)
colfromfreecell(s9,d10,n0,n1)
sendtofree-b(c6,n1,n0,n0,n1)
sendtonewcol(s9,d10,n1,n0)
move-b(d9,c10,n0,n1)
sendtonewcol(d10,cj,n1,n0)
colfromfreecell(cq,hk,n0,n1)
sendtofree(cj,hq,n1,n0)
move-b(s9,d10,n0,n1)
sendtonewcol(d9,c10,n1,n0)
colfromfreecell(cj,hq,n0,n1)
sendtofree(cq,hk,n1,n0)
move-b(d9,c10,n0,n1)
sendtonewcol(cj,hq,n1,n0)
colfromfreecell(cq,hk,n0,n1)
sendtofree(s9,d10,n1,n0)
move-b(d10,cj,n0,n1)
sendtonewcol(d9,c10,n1,n0)
colfromfreecell(s9,d10,n0,n1)
sendtofree-b(d9,n1,n0,n0,n1)
sendtonewcol(s9,d10,n1,n0)
colfromfreecell(d9,c10,n0,n1)
sendtofree(d10,cj,n1,n0)
No plan found!
Total time elapsed: 36551 millisecs
CPU Time: 27.84 seconds
probfreecell-13-4.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate colspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	Implicit carrier in predicate cellspace
There are no take-off/land pairs
For mobiles: 	sq
	sj
	s9
	s8
	s7
	s6
	s5
	s4
	s3
	s2
	s10
	hq
	hj
	h9
	h8
	h7
	h6
	h5
	h4
	h3
	h2
	h10
	dq
	dj
	d9
	d8
	d7
	d6
	d5
	d4
	d3
	d2
	d10
	cq
	cj
	c9
	c8
	c7
	c6
	c5
	c4
	c3
	c2
	c10
Flyer is: 
clear1 - move is a candidate take-off operator
Flyer is: 
clear1 - move is a candidate land operator
Flyer is: 
bottomcol1 - move-b is a candidate land operator
Flyer is: 
clear1 - move-b is a candidate land operator
Flyer is: 
incell1 - sendtofree is a candidate take-off operator
Flyer is: 
clear1 - sendtofree is a candidate take-off operator
Flyer is: 
bottomcol1 - sendtonewcol is a candidate take-off operator
Flyer is: 
clear1 - sendtonewcol is a candidate take-off operator
Flyer is: 
home1 - sendtohome is a candidate take-off operator
Flyer is: 
clear1 - sendtohome is a candidate take-off operator
Flyer is: 
incell1 - colfromfreecell is a candidate land operator
Flyer is: 
clear1 - colfromfreecell is a candidate land operator
Must abstract on(card,oldcard) in sendtohome(card,oldcard,suit,vcard,homecard,vhomecard)
Domain analysis results:
Mobiles: Yes
Irreversible moves: Yes
Costly moves: No
Impact Analysis:
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 1
Safety: 0
Abstract moves: 11 mobiles do not allow abstraction
Preconditions: Safe
There are irreversible actions in this domain - STAN enabled


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate colspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13


The map on which mobiles: 
	Implicit carrier in predicate cellspace
move forms a numeric sequence. The sequence is: 
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
n13 -> n12 -> n11 -> n10 -> n9 -> n8 -> n7 -> n6 -> n5 -> n4 -> n3 -> n2 -> n1 -> n0
n0 -> n1 -> n2 -> n3 -> n4 -> n5 -> n6 -> n7 -> n8 -> n9 -> n10 -> n11 -> n12 -> n13
Exploiting resource-counter abstraction: FORPLAN enabled.
0 actions
56 actions
152 actions
204 actions
256 actions
3168 actions
6304 actions
6360 actions
9496 actions
9592 actions
14872 actions built
Level 1:	Facts: 91 Actions: 83 Mutex pairs: 0
Level 2:	Facts: 121 Actions: 160 Mutex pairs: 0
Level 3:	Facts: 159 Actions: 269 Mutex pairs: 0
Level 4:	Facts: 202 Actions: 424 Mutex pairs: 0
Level 5:	Facts: 249 Actions: 623 Mutex pairs: 0
Level 6:	Facts: 289 Actions: 844 Mutex pairs: 0
Level 7:	Facts: 311 Actions: 1042 Mutex pairs: 0
Level 8:	Facts: 315 Actions: 1141 Mutex pairs: 0
Level 9:	Facts: 319 Actions: 1163 Mutex pairs: 0
Level 10:	Facts: 323 Actions: 1187 Mutex pairs: 0
Level 11:	Facts: 327 Actions: 1211 Mutex pairs: 0
Level 12:	Facts: 331 Actions: 1235 Mutex pairs: 0
Level 13:	Facts: 335 Actions: 1259 Mutex pairs: 0
Level 14:	Facts: 339 Actions: 1282 Mutex pairs: 0
Level 15:	Facts: 343 Actions: 1305 Mutex pairs: 0
Level 16:	Facts: 347 Actions: 1326 Mutex pairs: 0
Level 17:	Facts: 350 Actions: 1339 Mutex pairs: 0
Level 18:	Facts: 351 Actions: 1345 Mutex pairs: 0
Initial layer complete at: 18
State is worth 198
Level 19:	Facts: 351 Actions: 1346 Mutex pairs: 0
sendtofree(dj,d10,n4,n3)
move(c9,cj,d10)
sendtofree(h9,hj,n3,n2)
sendtofree(hj,h5,n2,n1)
sendtofree(s4,ck,n1,n0)
sendtohome(da,d2,d,n1,d0,n0)
sendtohome(d2,h3,d,n2,da,n1)
colfromfreecell(s4,h5,n0,n1)
sendtofree(s8,h7,n1,n0)
move(h3,h8,s4)
move(h8,d4,c9)
No plan found!
Total time elapsed: 28405 millisecs
CPU Time: 20.72 seconds
probfreecell-13-5.pddl
