Now finding take-offs and lands for unsafe mobiles
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Abstract moves: 24 mobiles do not allow abstraction
Preconditions: Unsafe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
48 actions
96 actions
144 actions
192 actions built
Level 1:	Facts: 13 Actions: 11 Mutex pairs: 12
Level 2:	Facts: 20 Actions: 21 Mutex pairs: 69
Level 3:	Facts: 28 Actions: 38 Mutex pairs: 173
Level 4:	Facts: 37 Actions: 60 Mutex pairs: 324
Level 5:	Facts: 46 Actions: 87 Mutex pairs: 528
Level 6:	Facts: 52 Actions: 116 Mutex pairs: 600
Level 7:	Facts: 56 Actions: 142 Mutex pairs: 561
Level 8:	Facts: 62 Actions: 166 Mutex pairs: 569
Level 9:	Facts: 74 Actions: 194 Mutex pairs: 874
Level 10:	Facts: 78 Actions: 224 Mutex pairs: 873
Level 11:	Facts: 80 Actions: 244 Mutex pairs: 776
Level 12:	Facts: 80 Actions: 260 Mutex pairs: 677
Level 13:	Facts: 81 Actions: 268 Mutex pairs: 659
Level 14:	Facts: 81 Actions: 273 Mutex pairs: 652
Level 15:	Facts: 81 Actions: 273 Mutex pairs: 649
Initial layer complete at: 15
Level 16:	Facts: 81 Actions: 273 Mutex pairs: 648
Trying a subset at level: 16
at(t8,p1,p1) at(t6,p3,p1) at(t2,p1,p3) at(t3,p3,p3) at(t7,p2,p1) at(t1,p3,p2) at(t5,p2,p3) 
Level 17:	Facts: 81 Actions: 273 Mutex pairs: 648
Leveled at 16
Layer 18
Layer 19
Layer 20
Layer 21
Layer 22
Layer 23
Layer 24
Layer 25
Layer 26
Layer 27
Layer 28
Layer 29
Layer 30
Layer 31


Time: 1   	move-down(t3,p1,p2,p1)
Time: 2   	move-down(t6,p1,p3,p2)
Time: 3   	move-left(t7,p3,p2,p1)
Time: 4   	move-left(t8,p3,p3,p2)
Time: 5   	move-up(t5,p3,p2,p3)
Time: 6   	move-up(t2,p3,p1,p2)
Time: 7   	move-right(t1,p1,p2,p3)
Time: 8   	move-right(t3,p1,p1,p2)
Time: 9   	move-down(t6,p1,p2,p1)
Time: 10   	move-down(t7,p1,p3,p2)
Time: 11   	move-left(t8,p3,p2,p1)
Time: 12   	move-up(t4,p2,p2,p3)
Time: 13   	move-up(t3,p2,p1,p2)
Time: 14   	move-right(t6,p1,p1,p2)
Time: 15   	move-down(t7,p1,p2,p1)
Time: 16   	move-down(t8,p1,p3,p2)
Time: 17   	move-left(t4,p3,p2,p1)
Time: 18   	move-up(t3,p2,p2,p3)
Time: 19   	move-left(t2,p2,p3,p2)
Time: 20   	move-down(t5,p3,p3,p2)
Time: 21   	move-right(t3,p3,p2,p3)
Time: 22   	move-up(t2,p2,p2,p3)
Time: 23   	move-left(t5,p2,p3,p2)
Time: 24   	move-up(t1,p3,p1,p2)
Time: 25   	move-right(t6,p1,p2,p3)
Time: 26   	move-right(t7,p1,p1,p2)
Time: 27   	move-down(t8,p1,p2,p1)
Time: 28   	move-down(t4,p1,p3,p2)
Time: 29   	move-left(t2,p3,p2,p1)
Time: 30   	move-up(t5,p2,p2,p3)
Time: 31   	move-right(t4,p2,p1,p2)
Total time elapsed: 85888 millisecs
CPU Time: 60.21 seconds
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Abstract moves: 24 mobiles do not allow abstraction
Preconditions: Unsafe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
48 actions
96 actions
144 actions
192 actions built
Level 1:	Facts: 13 Actions: 11 Mutex pairs: 12
Level 2:	Facts: 20 Actions: 21 Mutex pairs: 69
Level 3:	Facts: 28 Actions: 38 Mutex pairs: 173
Level 4:	Facts: 37 Actions: 60 Mutex pairs: 324
Level 5:	Facts: 46 Actions: 87 Mutex pairs: 528
Level 6:	Facts: 52 Actions: 116 Mutex pairs: 600
Level 7:	Facts: 56 Actions: 142 Mutex pairs: 561
Level 8:	Facts: 62 Actions: 166 Mutex pairs: 569
Level 9:	Facts: 74 Actions: 194 Mutex pairs: 874
Level 10:	Facts: 78 Actions: 224 Mutex pairs: 873
Level 11:	Facts: 80 Actions: 244 Mutex pairs: 776
Level 12:	Facts: 80 Actions: 260 Mutex pairs: 677
Level 13:	Facts: 81 Actions: 268 Mutex pairs: 659
Level 14:	Facts: 81 Actions: 273 Mutex pairs: 652
Level 15:	Facts: 81 Actions: 273 Mutex pairs: 649
Initial layer complete at: 15
Level 16:	Facts: 81 Actions: 273 Mutex pairs: 648
Trying a subset at level: 16
at(t8,p1,p1) at(t6,p3,p1) at(t2,p1,p3) at(t1,p3,p3) at(t5,p1,p2) at(t7,p3,p2) at(t3,p2,p3) 
Level 17:	Facts: 81 Actions: 273 Mutex pairs: 648
Leveled at 16
Layer 18
Layer 19
Layer 20
Layer 21
Layer 22
Layer 23
Layer 24
Layer 25
Layer 26
Layer 27
Layer 28
Layer 29
Layer 30
Layer 31


Time: 1   	move-left(t1,p1,p2,p1)
Time: 2   	move-left(t2,p1,p3,p2)
Time: 3   	move-down(t5,p3,p2,p1)
Time: 4   	move-down(t8,p3,p3,p2)
Time: 5   	move-right(t7,p3,p2,p3)
Time: 6   	move-right(t6,p3,p1,p2)
Time: 7   	move-up(t3,p1,p2,p3)
Time: 8   	move-up(t1,p1,p1,p2)
Time: 9   	move-left(t2,p1,p2,p1)
Time: 10   	move-left(t5,p1,p3,p2)
Time: 11   	move-down(t8,p3,p2,p1)
Time: 12   	move-right(t4,p2,p2,p3)
Time: 13   	move-down(t6,p2,p3,p2)
Time: 14   	move-right(t3,p3,p1,p2)
Time: 15   	move-up(t1,p1,p2,p3)
Time: 16   	move-up(t2,p1,p1,p2)
Time: 17   	move-left(t5,p1,p2,p1)
Time: 18   	move-left(t8,p1,p3,p2)
Time: 19   	move-down(t4,p3,p2,p1)
Time: 20   	move-right(t6,p2,p2,p3)
Time: 21   	move-down(t3,p2,p3,p2)
Time: 22   	move-right(t1,p3,p1,p2)
Time: 23   	move-up(t2,p1,p2,p3)
Time: 24   	move-up(t5,p1,p1,p2)
Time: 25   	move-left(t8,p1,p2,p1)
Time: 26   	move-left(t4,p1,p3,p2)
Time: 27   	move-down(t6,p3,p2,p1)
Time: 28   	move-down(t7,p3,p3,p2)
Time: 29   	move-right(t1,p3,p2,p3)
Time: 30   	move-up(t3,p2,p2,p3)
Time: 31   	move-up(t4,p2,p1,p2)
Total time elapsed: 79706 millisecs
CPU Time: 53.75 seconds
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Abstract moves: 24 mobiles do not allow abstraction
Preconditions: Unsafe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
48 actions
96 actions
144 actions
192 actions built
Level 1:	Facts: 13 Actions: 11 Mutex pairs: 12
Level 2:	Facts: 20 Actions: 21 Mutex pairs: 69
Level 3:	Facts: 28 Actions: 38 Mutex pairs: 173
Level 4:	Facts: 37 Actions: 60 Mutex pairs: 324
Level 5:	Facts: 46 Actions: 87 Mutex pairs: 528
Level 6:	Facts: 52 Actions: 116 Mutex pairs: 600
Level 7:	Facts: 56 Actions: 142 Mutex pairs: 561
Level 8:	Facts: 62 Actions: 166 Mutex pairs: 569
Level 9:	Facts: 74 Actions: 194 Mutex pairs: 874
Level 10:	Facts: 78 Actions: 224 Mutex pairs: 873
Level 11:	Facts: 80 Actions: 244 Mutex pairs: 776
Level 12:	Facts: 80 Actions: 260 Mutex pairs: 677
Level 13:	Facts: 81 Actions: 268 Mutex pairs: 659
Initial layer complete at: 13
Level 14:	Facts: 81 Actions: 273 Mutex pairs: 652
Trying a subset at level: 14
at(t8,p1,p1) at(t6,p3,p1) at(t5,p2,p1) 
Level 15:	Facts: 81 Actions: 273 Mutex pairs: 649
Level 16:	Facts: 81 Actions: 273 Mutex pairs: 648
Level 17:	Facts: 81 Actions: 273 Mutex pairs: 648
Leveled at 16
Layer 18
Layer 19
Layer 20
Layer 21
Layer 22
Layer 23
Layer 24
Layer 25
Layer 26
Layer 27
Layer 28
Layer 29
Layer 30


Time: 1   	move-down(t3,p1,p2,p1)
Time: 2   	move-down(t6,p1,p3,p2)
Time: 3   	move-left(t7,p3,p2,p1)
Time: 4   	move-left(t8,p3,p3,p2)
Time: 5   	move-up(t5,p3,p2,p3)
Time: 6   	move-up(t2,p3,p1,p2)
Time: 7   	move-right(t1,p1,p2,p3)
Time: 8   	move-right(t3,p1,p1,p2)
Time: 9   	move-down(t6,p1,p2,p1)
Time: 10   	move-left(t4,p2,p2,p1)
Time: 11   	move-down(t8,p2,p3,p2)
Time: 12   	move-right(t7,p3,p1,p2)
Time: 13   	move-up(t4,p1,p2,p3)
Time: 14   	move-left(t8,p2,p2,p1)
Time: 15   	move-down(t7,p2,p3,p2)
Time: 16   	move-left(t5,p3,p3,p2)
Time: 17   	move-up(t2,p3,p2,p3)
Time: 18   	move-up(t1,p3,p1,p2)
Time: 19   	move-right(t3,p1,p2,p3)
Time: 20   	move-right(t6,p1,p1,p2)
Time: 21   	move-down(t8,p1,p2,p1)
Time: 22   	move-left(t7,p2,p2,p1)
Time: 23   	move-down(t5,p2,p3,p2)
Time: 24   	move-left(t2,p3,p3,p2)
Time: 25   	move-up(t1,p3,p2,p3)
Time: 26   	move-up(t3,p3,p1,p2)
Time: 27   	move-right(t6,p1,p2,p3)
Time: 28   	move-down(t5,p2,p2,p1)
Time: 29   	move-down(t2,p2,p3,p2)
Time: 30   	move-left(t1,p3,p3,p2)
Total time elapsed: 34050 millisecs
CPU Time: 23.79 seconds
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p2
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	p3
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
For mobiles: 	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t1
There are no take-off/land pairs
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Abstract moves: 24 mobiles do not allow abstraction
Preconditions: Unsafe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
48 actions
96 actions
144 actions
192 actions built
Level 1:	Facts: 13 Actions: 11 Mutex pairs: 12
Level 2:	Facts: 20 Actions: 21 Mutex pairs: 69
Level 3:	Facts: 28 Actions: 38 Mutex pairs: 173
Level 4:	Facts: 37 Actions: 60 Mutex pairs: 324
Level 5:	Facts: 46 Actions: 87 Mutex pairs: 528
Level 6:	Facts: 52 Actions: 116 Mutex pairs: 600
Level 7:	Facts: 56 Actions: 142 Mutex pairs: 561
Level 8:	Facts: 62 Actions: 166 Mutex pairs: 569
Level 9:	Facts: 74 Actions: 194 Mutex pairs: 874
Level 10:	Facts: 78 Actions: 224 Mutex pairs: 873
Level 11:	Facts: 80 Actions: 244 Mutex pairs: 776
Level 12:	Facts: 80 Actions: 260 Mutex pairs: 677
Initial layer complete at: 12
Level 13:	Facts: 81 Actions: 268 Mutex pairs: 659
Trying a subset at level: 13
at(t8,p1,p2) at(t7,p3,p1) at(t3,p2,p2) 
Level 14:	Facts: 81 Actions: 273 Mutex pairs: 652
Level 15:	Facts: 81 Actions: 273 Mutex pairs: 649
Level 16:	Facts: 81 Actions: 273 Mutex pairs: 648
Level 17:	Facts: 81 Actions: 273 Mutex pairs: 648
Leveled at 16
Layer 18
Layer 19
Layer 20


Time: 1   	move-down(t3,p1,p2,p1)
Time: 2   	move-left(t4,p2,p2,p1)
Time: 3   	move-left(t5,p2,p3,p2)
Time: 4   	move-down(t8,p3,p3,p2)
Time: 5   	move-right(t7,p3,p2,p3)
Time: 6   	move-up(t5,p2,p2,p3)
Time: 7   	move-left(t8,p2,p3,p2)
Time: 8   	move-up(t2,p3,p1,p2)
Time: 9   	move-right(t1,p1,p2,p3)
Time: 10   	move-right(t3,p1,p1,p2)
Time: 11   	move-down(t4,p1,p2,p1)
Time: 12   	move-left(t8,p2,p2,p1)
Time: 13   	move-left(t2,p2,p3,p2)
Time: 14   	move-down(t7,p3,p3,p2)
Time: 15   	move-right(t5,p3,p2,p3)
Time: 16   	move-up(t2,p2,p2,p3)
Time: 17   	move-up(t3,p2,p1,p2)
Time: 18   	move-left(t1,p1,p3,p2)
Time: 19   	move-down(t7,p3,p2,p1)
Time: 20   	move-down(t5,p3,p3,p2)
Total time elapsed: 1606 millisecs
CPU Time: 0.87 seconds
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	p3
	p2
There are no take-off/land pairs
For mobiles: 	p3
	p2
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p3
	p2
There are no take-off/land pairs
For mobiles: 	p3
	p2
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	t9
	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t15
	t14
	t13
	t12
	t11
	t10
	t1
There are no take-off/land pairs
For mobiles: 	t9
	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t15
	t14
	t13
	t12
	t11
	t10
	t1
There are no take-off/land pairs
For mobiles: 	t9
	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t15
	t14
	t13
	t12
	t11
	t10
	t1
There are no take-off/land pairs
For mobiles: 	t9
	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t15
	t14
	t13
	t12
	t11
	t10
	t1
There are no take-off/land pairs
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Abstract moves: 24 mobiles do not allow abstraction
Preconditions: Unsafe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
180 actions
360 actions
540 actions
720 actions built
Level 1:	Facts: 20 Actions: 18 Mutex pairs: 12
Level 2:	Facts: 27 Actions: 28 Mutex pairs: 69
Level 3:	Facts: 39 Actions: 47 Mutex pairs: 261
Level 4:	Facts: 54 Actions: 79 Mutex pairs: 635
Level 5:	Facts: 73 Actions: 124 Mutex pairs: 1322
Level 6:	Facts: 92 Actions: 183 Mutex pairs: 2185
Level 7:	Facts: 106 Actions: 246 Mutex pairs: 2681
Level 8:	Facts: 120 Actions: 308 Mutex pairs: 2970
Level 9:	Facts: 140 Actions: 376 Mutex pairs: 3570
Level 10:	Facts: 166 Actions: 454 Mutex pairs: 4652
Level 11:	Facts: 186 Actions: 540 Mutex pairs: 5231
Level 12:	Facts: 196 Actions: 616 Mutex pairs: 4733
Level 13:	Facts: 204 Actions: 678 Mutex pairs: 4121
Level 14:	Facts: 216 Actions: 736 Mutex pairs: 4114
Level 15:	Facts: 233 Actions: 792 Mutex pairs: 4721
Initial layer complete at: 15
Level 16:	Facts: 245 Actions: 847 Mutex pairs: 5041
Trying a subset at level: 16
at(t15,p3,p2) at(t7,p3,p4) at(t4,p2,p4) at(t5,p4,p1) at(t14,p2,p3) at(t13,p3,p3) 
Level 17:	Facts: 251 Actions: 895 Mutex pairs: 4872
Level 18:	Facts: 255 Actions: 933 Mutex pairs: 4633
Trying a subset at level: 18
at(t15,p3,p2) at(t7,p3,p4) at(t4,p2,p4) at(t5,p4,p1) at(t10Now finding take-offs and lands for unsafe mobiles
For mobiles: 	p3
	p2
There are no take-off/land pairs
For mobiles: 	p3
	p2
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p3
	p2
There are no take-off/land pairs
For mobiles: 	p3
	p2
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	p4
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	blank
There are no take-off/land pairs
For mobiles: 	t9
	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t15
	t14
	t13
	t12
	t11
	t10
	t1
There are no take-off/land pairs
For mobiles: 	t9
	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t15
	t14
	t13
	t12
	t11
	t10
	t1
There are no take-off/land pairs
For mobiles: 	t9
	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t15
	t14
	t13
	t12
	t11
	t10
	t1
There are no take-off/land pairs
For mobiles: 	t9
	t8
	t7
	t6
	t5
	t4
	t3
	t2
	t15
	t14
	t13
	t12
	t11
	t10
	t1
There are no take-off/land pairs
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-right(t,y,px,nx)
Must abstract at(blank,nx,y) in move-right(t,y,px,nx)
Multiple mobiles in preconditions for move-right(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,px,y) in move-left(t,y,px,nx)
Must abstract at(blank,nx,y) in move-left(t,y,px,nx)
Multiple mobiles in preconditions for move-left(t,y,px,nx)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-down(t,x,py,ny)
Must abstract at(blank,x,ny) in move-down(t,x,py,ny)
Multiple mobiles in preconditions for move-down(t,x,py,ny)
Cannot abstract moves in this version!
Must abstract at(t,x,py) in move-up(t,x,py,ny)
Must abstract at(blank,x,ny) in move-up(t,x,py,ny)
Multiple mobiles in preconditions for move-up(t,x,py,ny)
Cannot abstract moves in this version!
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Safety: 0
Abstract moves: 24 mobiles do not allow abstraction
Preconditions: Unsafe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
180 actions
360 actions
540 actions
720 actions built
Level 1:	Facts: 20 Actions: 18 Mutex pairs: 12
Level 2:	Facts: 27 Actions: 28 Mutex pairs: 69
Level 3:	Facts: 39 Actions: 47 Mutex pairs: 261
Level 4:	Facts: 54 Actions: 79 Mutex pairs: 635
Level 5:	Facts: 73 Actions: 124 Mutex pairs: 1322
Level 6:	Facts: 92 Actions: 183 Mutex pairs: 2185
Level 7:	Facts: 106 Actions: 246 Mutex pairs: 2681
Level 8:	Facts: 120 Actions: 308 Mutex pairs: 2970
Level 9:	Facts: 140 Actions: 376 Mutex pairs: 3570
Level 10:	Facts: 166 Actions: 454 Mutex pairs: 4652
Level 11:	Facts: 186 Actions: 540 Mutex pairs: 5231
Level 12:	Facts: 196 Actions: 616 Mutex pairs: 4733
Level 13:	Facts: 204 Actions: 678 Mutex pairs: 4121
Level 14:	Facts: 216 Actions: 736 Mutex pairs: 4114
Level 15:	Facts: 233 Actions: 792 Mutex pairs: 4721
Level 16:	Facts: 245 Actions: 847 Mutex pairs: 5041
Level 17:	Facts: 251 Actions: 895 Mutex pairs: 4872
Level 18:	Facts: 255 Actions: 933 Mutex pairs: 4633
Level 19:	Facts: 255 Actions: 957 Mutex pairs: 4186
Level 20:	Facts: 255 Actions: 967 Mutex pairs: 3943
Level 21:	Facts: 256 Actions: 973 Mutex pairs: 3895
Initial layer complete at: 21
Level 22:	Facts: 256 Actions: 976 Mutex pai