probBLOCKS-4-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for d
No initial location for c
No initial location for b
No initial location for a
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
48 actions
64 actions
80 actions built
Level 1:	Facts: 24 Actions: 24 Mutex pairs: 110
Level 2:	Facts: 24 Actions: 88 Mutex pairs: 86
Initial layer complete at: 2
Level 3:	Facts: 24 Actions: 88 Mutex pairs: 86
Leveled at 2


Time: 1   	move_x_from_table_to_y(b,a)
		move_x_from_table_to_y(c,d)
Time: 2   	move_x_from_y_to_z(c,d,b)
Time: 3   	move_x_from_table_to_y(d,c)
Total time elapsed: 69 millisecs
CPU Time: 0.03 seconds
probBLOCKS-4-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
48 actions
64 actions
80 actions built
Level 1:	Facts: 8 Actions: 7 Mutex pairs: 5
Level 2:	Facts: 12 Actions: 15 Mutex pairs: 19
Level 3:	Facts: 18 Actions: 30 Mutex pairs: 52
Level 4:	Facts: 24 Actions: 60 Mutex pairs: 98
Level 5:	Facts: 24 Actions: 88 Mutex pairs: 86
Initial layer complete at: 5


Time: 1   	move_x_from_y_to_table(b,c)
Time: 2   	move_x_from_y_to_table(c,a)
Time: 3   	move_x_from_y_to_z(a,d,b)
Time: 4   	move_x_from_table_to_y(c,a)
Time: 5   	move_x_from_table_to_y(d,c)
Total time elapsed: 79 millisecs
CPU Time: 0.05 seconds
probBLOCKS-4-2.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for d
No initial location for a
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
48 actions
64 actions
80 actions built
Level 1:	Facts: 18 Actions: 17 Mutex pairs: 54
Level 2:	Facts: 24 Actions: 60 Mutex pairs: 98
Level 3:	Facts: 24 Actions: 88 Mutex pairs: 86
Initial layer complete at: 3


Time: 1   	move_x_from_y_to_z(c,b,d)
Time: 2   	move_x_from_table_to_y(b,c)
Time: 3   	move_x_from_table_to_y(a,b)
Total time elapsed: 157 millisecs
CPU Time: 0.03 seconds
probBLOCKS-5-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for d
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
100 actions
125 actions
150 actions built
Level 1:	Facts: 13 Actions: 12 Mutex pairs: 19
Level 2:	Facts: 19 Actions: 31 Mutex pairs: 52
Level 3:	Facts: 27 Actions: 62 Mutex pairs: 110
Level 4:	Facts: 35 Actions: 114 Mutex pairs: 184
Level 5:	Facts: 35 Actions: 160 Mutex pairs: 160
Initial layer complete at: 5


Time: 1   	move_x_from_y_to_table(c,e)
Time: 2   	move_x_from_table_to_y(d,c)
		move_x_from_y_to_table(e,b)
Time: 3   	move_x_from_y_to_z(b,a,d)
Time: 4   	move_x_from_table_to_y(e,b)
Time: 5   	move_x_from_table_to_y(a,e)
Total time elapsed: 352 millisecs
CPU Time: 0.08 seconds
probBLOCKS-5-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for e
No initial location for c
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
100 actions
125 actions
150 actions built
Level 1:	Facts: 19 Actions: 18 Mutex pairs: 54
Level 2:	Facts: 27 Actions: 62 Mutex pairs: 110
Level 3:	Facts: 35 Actions: 114 Mutex pairs: 184
Initial layer complete at: 3
Level 4:	Facts: 35 Actions: 160 Mutex pairs: 160
Level 5:	Facts: 35 Actions: 160 Mutex pairs: 160
Leveled at 4


Time: 1   	move_x_from_y_to_table(b,a)
Time: 2   	move_x_from_y_to_z(a,d,e)
Time: 3   	move_x_from_table_to_y(b,a)
Time: 4   	move_x_from_table_to_y(c,b)
Time: 5   	move_x_from_table_to_y(d,c)
Total time elapsed: 106 millisecs
CPU Time: 0.09 seconds
probBLOCKS-5-2.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
100 actions
125 actions
150 actions built
Level 1:	Facts: 9 Actions: 8 Mutex pairs: 5
Level 2:	Facts: 13 Actions: 16 Mutex pairs: 19
Level 3:	Facts: 19 Actions: 31 Mutex pairs: 52
Level 4:	Facts: 27 Actions: 62 Mutex pairs: 110
Level 5:	Facts: 35 Actions: 114 Mutex pairs: 184
Level 6:	Facts: 35 Actions: 160 Mutex pairs: 160
Initial layer complete at: 6
Level 7:	Facts: 35 Actions: 160 Mutex pairs: 160
Leveled at 6
Layer 8


Time: 1   	move_x_from_y_to_table(d,e)
Time: 2   	move_x_from_y_to_table(e,c)
Time: 3   	move_x_from_y_to_z(c,a,d)
Time: 4   	move_x_from_y_to_table(a,b)
Time: 5   	move_x_from_table_to_y(e,a)
		move_x_from_table_to_y(b,c)
Time: 6   	move_x_from_y_to_z(b,c,e)
Time: 7   	move_x_from_y_to_z(c,d,b)
Time: 8   	move_x_from_table_to_y(d,c)
Total time elapsed: 96 millisecs
CPU Time: 0.11 seconds
probBLOCKS-6-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
180 actions
216 actions
252 actions built
Level 1:	Facts: 16 Actions: 14 Mutex pairs: 25
Level 2:	Facts: 30 Actions: 48 Mutex pairs: 128
Level 3:	Facts: 48 Actions: 144 Mutex pairs: 337
Level 4:	Facts: 48 Actions: 264 Mutex pairs: 267
Initial layer complete at: 4
Level 5:	Facts: 48 Actions: 264 Mutex pairs: 267
Leveled at 4
Layer 6


Time: 1   	move_x_from_y_to_table(d,a)
		move_x_from_y_to_table(f,e)
Time: 2   	move_x_from_table_to_y(f,d)
		move_x_from_y_to_table(e,b)
		move_x_from_y_to_table(a,c)
Time: 3   	move_x_from_table_to_y(e,f)
		move_x_from_table_to_y(b,c)
Time: 4   	move_x_from_table_to_y(a,e)
Time: 5   	move_x_from_y_to_z(b,c,a)
Time: 6   	move_x_from_table_to_y(c,b)
Total time elapsed: 651 millisecs
CPU Time: 0.21 seconds
probBLOCKS-6-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for e
No initial location for d
No initial location for c
No initial location for b
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
180 actions
216 actions
252 actions built
Level 1:	Facts: 38 Actions: 37 Mutex pairs: 235
Level 2:	Facts: 48 Actions: 196 Mutex pairs: 307
Level 3:	Facts: 48 Actions: 264 Mutex pairs: 267
Initial layer complete at: 3
Level 4:	Facts: 48 Actions: 264 Mutex pairs: 267
Leveled at 3
Layer 5


Time: 1   	move_x_from_table_to_y(b,c)
		move_x_from_y_to_z(a,f,d)
Time: 2   	move_x_from_y_to_z(b,c,a)
		move_x_from_table_to_y(f,e)
Time: 3   	move_x_from_table_to_y(c,b)
Time: 4   	move_x_from_y_to_z(f,e,c)
Time: 5   	move_x_from_table_to_y(e,f)
Total time elapsed: 218 millisecs
CPU Time: 0.19 seconds
probBLOCKS-6-2.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
180 actions
216 actions
252 actions built
Level 1:	Facts: 10 Actions: 9 Mutex pairs: 5
Level 2:	Facts: 14 Actions: 17 Mutex pairs: 19
Level 3:	Facts: 20 Actions: 32 Mutex pairs: 52
Level 4:	Facts: 28 Actions: 63 Mutex pairs: 110
Level 5:	Facts: 38 Actions: 116 Mutex pairs: 199
Level 6:	Facts: 48 Actions: 196 Mutex pairs: 307
Level 7:	Facts: 48 Actions: 264 Mutex pairs: 267
Initial layer complete at: 7
Level 8:	Facts: 48 Actions: 264 Mutex pairs: 267
Leveled at 7
Layer 9
Layer 10


Time: 1   	move_x_from_y_to_table(a,d)
Time: 2   	move_x_from_y_to_table(d,b)
Time: 3   	move_x_from_y_to_table(b,f)
Time: 4   	move_x_from_y_to_table(f,e)
Time: 5   	move_x_from_table_to_y(b,f)
		move_x_from_y_to_table(e,c)
Time: 6   	move_x_from_y_to_z(b,f,e)
		move_x_from_table_to_y(c,d)
Time: 7   	move_x_from_y_to_z(b,e,c)
Time: 8   	move_x_from_table_to_y(a,b)
Time: 9   	move_x_from_table_to_y(f,a)
Time: 10   	move_x_from_table_to_y(e,f)
Total time elapsed: 506 millisecs
CPU Time: 0.2 seconds
probBLOCKS-7-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
294 actions
343 actions
392 actions built
Level 1:	Facts: 11 Actions: 10 Mutex pairs: 5
Level 2:	Facts: 15 Actions: 18 Mutex pairs: 19
Level 3:	Facts: 21 Actions: 33 Mutex pairs: 52
Level 4:	Facts: 29 Actions: 64 Mutex pairs: 110
Level 5:	Facts: 39 Actions: 117 Mutex pairs: 199
Level 6:	Facts: 51 Actions: 198 Mutex pairs: 325
Level 7:	Facts: 63 Actions: 312 Mutex pairs: 473
Level 8:	Facts: 63 Actions: 406 Mutex pairs: 413
Initial layer complete at: 8
Level 9:	Facts: 63 Actions: 406 Mutex pairs: 413
Leveled at 8
Layer 10


Time: 1   	move_x_from_y_to_table(e,g)
Time: 2   	move_x_from_y_to_table(g,b)
Time: 3   	move_x_from_y_to_table(b,a)
Time: 4   	move_x_from_table_to_y(g,b)
		move_x_from_y_to_table(a,f)
Time: 5   	move_x_from_y_to_z(g,b,a)
		move_x_from_y_to_z(f,c,e)
Time: 6   	move_x_from_y_to_z(c,d,f)
Time: 7   	move_x_from_table_to_y(b,c)
		move_x_from_table_to_y(d,g)
Time: 8   	move_x_from_y_to_z(d,g,b)
Time: 9   	move_x_from_y_to_z(g,a,d)
Time: 10   	move_x_from_table_to_y(a,g)
Total time elapsed: 779 millisecs
CPU Time: 0.49 seconds
probBLOCKS-7-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
294 actions
343 actions
392 actions built
Level 1:	Facts: 17 Actions: 15 Mutex pairs: 25
Level 2:	Facts: 29 Actions: 48 Mutex pairs: 116
Level 3:	Facts: 39 Actions: 117 Mutex pairs: 199
Level 4:	Facts: 51 Actions: 198 Mutex pairs: 325
Level 5:	Facts: 63 Actions: 312 Mutex pairs: 473
Level 6:	Facts: 63 Actions: 406 Mutex pairs: 413
Initial layer complete at: 6
Level 7:	Facts: 63 Actions: 406 Mutex pairs: 413
Leveled at 6
Layer 8


Time: 1   	move_x_from_y_to_table(c,d)
		move_x_from_y_to_table(a,g)
Time: 2   	move_x_from_y_to_table(d,b)
Time: 3   	move_x_from_table_to_y(c,d)
		move_x_from_y_to_table(b,e)
Time: 4   	move_x_from_table_to_y(g,c)
		move_x_from_y_to_z(e,f,a)
Time: 5   	move_x_from_table_to_y(b,e)
		move_x_from_table_to_y(f,g)
Time: 6   	move_x_from_y_to_z(b,e,f)
Time: 7   	move_x_from_y_to_z(e,a,b)
Time: 8   	move_x_from_table_to_y(a,e)
Total time elapsed: 941 millisecs
CPU Time: 0.47 seconds
probBLOCKS-7-2.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
294 actions
343 actions
392 actions built
Level 1:	Facts: 17 Actions: 15 Mutex pairs: 25
Level 2:	Facts: 29 Actions: 48 Mutex pairs: 116
Level 3:	Facts: 39 Actions: 117 Mutex pairs: 199
Level 4:	Facts: 51 Actions: 198 Mutex pairs: 325
Level 5:	Facts: 63 Actions: 312 Mutex pairs: 473
Level 6:	Facts: 63 Actions: 406 Mutex pairs: 413
Initial layer complete at: 6
Level 7:	Facts: 63 Actions: 406 Mutex pairs: 413
Leveled at 6
Layer 8
Layer 9


Time: 1   	move_x_from_y_to_table(b,c)
		move_x_from_y_to_table(a,d)
Time: 2   	move_x_from_table_to_y(b,d)
		move_x_from_y_to_table(c,g)
Time: 3   	move_x_from_y_to_table(g,e)
Time: 4   	move_x_from_table_to_y(c,g)
		move_x_from_y_to_table(e,f)
Time: 5   	move_x_from_table_to_y(a,c)
		move_x_from_y_to_z(b,d,e)
Time: 6   	move_x_from_table_to_y(d,a)
		move_x_from_table_to_y(f,b)
Time: 7   	move_x_from_y_to_z(f,b,d)
Time: 8   	move_x_from_y_to_z(b,e,f)
Time: 9   	move_x_from_table_to_y(e,b)
Total time elapsed: 941 millisecs
CPU Time: 0.47 seconds
probBLOCKS-8-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for c
No initial location for b
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
448 actions
512 actions
576 actions built
Level 1:	Facts: 32 Actions: 30 Mutex pairs: 134
Level 2:	Facts: 54 Actions: 148 Mutex pairs: 373
Level 3:	Facts: 80 Actions: 364 Mutex pairs: 758
Level 4:	Facts: 80 Actions: 592 Mutex pairs: 604
Initial layer complete at: 4
Level 5:	Facts: 80 Actions: 592 Mutex pairs: 604
Leveled at 4
Layer 6
Layer 7
Layer 8


Time: 1   	move_x_from_y_to_table(a,g)
		move_x_from_y_to_table(d,h)
Time: 2   	move_x_from_y_to_table(h,f)
		move_x_from_y_to_z(g,e,b)
Time: 3   	move_x_from_table_to_y(a,g)
		move_x_from_table_to_y(f,d)
		move_x_from_table_to_y(e,h)
Time: 4   	move_x_from_table_to_y(c,a)
		move_x_from_y_to_z(e,h,f)
Time: 5   	move_x_from_table_to_y(h,c)
Time: 6   	move_x_from_y_to_z(e,f,h)
Time: 7   	move_x_from_y_to_z(f,d,e)
Time: 8   	move_x_from_table_to_y(d,f)
Total time elapsed: 1644 millisecs
CPU Time: 1.03 seconds
probBLOCKS-8-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for f
No initial location for d
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
448 actions
512 actions
576 actions built
Level 1:	Facts: 32 Actions: 30 Mutex pairs: 134
Level 2:	Facts: 52 Actions: 147 Mutex pairs: 355
Level 3:	Facts: 66 Actions: 314 Mutex pairs: 494
Level 4:	Facts: 80 Actions: 468 Mutex pairs: 688
Level 5:	Facts: 80 Actions: 592 Mutex pairs: 604
Initial layer complete at: 5
Level 6:	Facts: 80 Actions: 592 Mutex pairs: 604
Leveled at 5
Layer 7
Layer 8


Time: 1   	move_x_from_table_to_y(d,f)
		move_x_from_y_to_table(h,a)
		move_x_from_y_to_table(e,c)
Time: 2   	move_x_from_y_to_z(d,f,c)
		move_x_from_y_to_z(a,b,e)
Time: 3   	move_x_from_table_to_y(h,a)
		move_x_from_y_to_table(b,g)
Time: 4   	move_x_from_table_to_y(f,h)
		move_x_from_table_to_y(g,d)
Time: 5   	move_x_from_y_to_z(g,d,f)
Time: 6   	move_x_from_table_to_y(b,g)
Time: 7   	move_x_from_y_to_z(d,c,b)
Time: 8   	move_x_from_table_to_y(c,d)
Total time elapsed: 1987 millisecs
CPU Time: 1.01 seconds
probBLOCKS-8-2.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for h
No initial location for e
No initial location for c
No initial location for a
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
448 actions
512 actions
576 actions built
Level 1:	Facts: 40 Actions: 39 Mutex pairs: 235
Level 2:	Facts: 52 Actions: 199 Mutex pairs: 325
Level 3:	Facts: 66 Actions: 314 Mutex pairs: 494
Level 4:	Facts: 80 Actions: 468 Mutex pairs: 688
Level 5:	Facts: 80 Actions: 592 Mutex pairs: 604
Initial layer complete at: 5
Level 6:	Facts: 80 Actions: 592 Mutex pairs: 604
Leveled at 5
Layer 7


Time: 1   	move_x_from_table_to_y(a,e)
		move_x_from_y_to_z(d,b,h)
Time: 2   	move_x_from_y_to_z(a,e,d)
		move_x_from_y_to_z(b,f,c)
Time: 3   	move_x_from_table_to_y(e,b)
		move_x_from_y_to_z(f,g,a)
Time: 4   	move_x_from_table_to_y(g,f)
Time: 5   	move_x_from_y_to_z(e,b,g)
Time: 6   	move_x_from_y_to_z(b,c,e)
Time: 7   	move_x_from_table_to_y(c,b)
Total time elapsed: 1780 millisecs
CPU Time: 1.03 seconds
probBLOCKS-9-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for c
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
648 actions
729 actions
810 actions built
Level 1:	Facts: 17 Actions: 16 Mutex pairs: 19
Level 2:	Facts: 23 Actions: 35 Mutex pairs: 52
Level 3:	Facts: 31 Actions: 66 Mutex pairs: 110
Level 4:	Facts: 41 Actions: 119 Mutex pairs: 199
Level 5:	Facts: 53 Actions: 200 Mutex pairs: 325
Level 6:	Facts: 67 Actions: 315 Mutex pairs: 494
Level 7:	Facts: 83 Actions: 470 Mutex pairs: 712
Level 8:	Facts: 99 Actions: 670 Mutex pairs: 958
Level 9:	Facts: 99 Actions: 828 Mutex pairs: 846
Initial layer complete at: 9
Level 10:	Facts: 99 Actions: 828 Mutex pairs: 846
Leveled at 9
Layer 11
Layer 12
Layer 13
Layer 14
Layer 15


Time: 1   	move_x_from_y_to_table(f,g)
Time: 2   	move_x_from_y_to_table(g,e)
Time: 3   	move_x_from_y_to_table(e,a)
Time: 4   	move_x_from_y_to_table(a,i)
Time: 5   	move_x_from_table_to_y(e,a)
		move_x_from_y_to_z(i,d,c)
Time: 6   	move_x_from_y_to_z(e,a,i)
		move_x_from_y_to_z(d,h,g)
Time: 7   	move_x_from_y_to_table(h,b)
Time: 8   	move_x_from_y_to_z(e,i,h)
		move_x_from_table_to_y(b,d)
Time: 9   	move_x_from_table_to_y(f,e)
Time: 10   	move_x_from_y_to_z(i,c,f)
Time: 11   	move_x_from_table_to_y(a,i)
Time: 12   	move_x_from_table_to_y(c,a)
Time: 13   	move_x_from_y_to_z(b,d,c)
Time: 14   	move_x_from_y_to_z(d,g,b)
Time: 15   	move_x_from_table_to_y(g,d)
Total time elapsed: 7154 millisecs
CPU Time: 4.56 seconds
probBLOCKS-9-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
648 actions
729 actions
810 actions built
Level 1:	Facts: 13 Actions: 12 Mutex pairs: 5
Level 2:	Facts: 17 Actions: 20 Mutex pairs: 19
Level 3:	Facts: 23 Actions: 35 Mutex pairs: 52
Level 4:	Facts: 31 Actions: 66 Mutex pairs: 110
Level 5:	Facts: 41 Actions: 119 Mutex pairs: 199
Level 6:	Facts: 53 Actions: 200 Mutex pairs: 325
Level 7:	Facts: 67 Actions: 315 Mutex pairs: 494
Level 8:	Facts: 83 Actions: 470 Mutex pairs: 712
Level 9:	Facts: 99 Actions: 670 Mutex pairs: 958
Level 10:	Facts: 99 Actions: 828 Mutex pairs: 846
Initial layer complete at: 10
Level 11:	Facts: 99 Actions: 828 Mutex pairs: 846
Leveled at 10
Layer 12
Layer 13


Time: 1   	move_x_from_y_to_table(f,e)
Time: 2   	move_x_from_y_to_z(e,b,f)
Time: 3   	move_x_from_y_to_table(b,d)
Time: 4   	move_x_from_y_to_table(d,c)
Time: 5   	move_x_from_y_to_table(c,i)
Time: 6   	move_x_from_y_to_z(e,f,c)
		move_x_from_y_to_z(i,g,d)
Time: 7   	move_x_from_table_to_y(f,e)
		move_x_from_y_to_z(g,h,i)
Time: 8   	move_x_from_y_to_z(g,i,f)
		move_x_from_y_to_z(h,a,b)
Time: 9   	move_x_from_y_to_z(h,b,g)
		move_x_from_table_to_y(a,i)
Time: 10   	move_x_from_table_to_y(b,h)
Time: 11   	move_x_from_y_to_z(a,i,b)
Time: 12   	move_x_from_y_to_z(i,d,a)
Time: 13   	move_x_from_table_to_y(d,i)
Total time elapsed: 3988 millisecs
CPU Time: 2.1 seconds
probBLOCKS-9-2.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for f
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
648 actions
729 actions
810 actions built
Level 1:	Facts: 17 Actions: 16 Mutex pairs: 19
Level 2:	Facts: 23 Actions: 35 Mutex pairs: 52
Level 3:	Facts: 31 Actions: 66 Mutex pairs: 110
Level 4:	Facts: 41 Actions: 119 Mutex pairs: 199
Level 5:	Facts: 53 Actions: 200 Mutex pairs: 325
Level 6:	Facts: 67 Actions: 315 Mutex pairs: 494
Level 7:	Facts: 83 Actions: 470 Mutex pairs: 712
Level 8:	Facts: 99 Actions: 670 Mutex pairs: 958
Level 9:	Facts: 99 Actions: 828 Mutex pairs: 846
Initial layer complete at: 9
Level 10:	Facts: 99 Actions: 828 Mutex pairs: 846
Leveled at 9
Layer 11
Layer 12
Layer 13


Time: 1   	move_x_from_y_to_table(h,a)
Time: 2   	move_x_from_y_to_table(a,d)
Time: 3   	move_x_from_y_to_z(d,e,h)
Time: 4   	move_x_from_y_to_z(e,c,f)
Time: 5   	move_x_from_y_to_z(c,i,a)
Time: 6   	move_x_from_y_to_z(i,b,d)
Time: 7   	move_x_from_y_to_z(e,f,i)
		move_x_from_y_to_z(b,g,c)
Time: 8   	move_x_from_y_to_z(e,i,b)
		move_x_from_table_to_y(g,f)
Time: 9   	move_x_from_y_to_z(i,d,e)
Time: 10   	move_x_from_y_to_z(d,h,i)
Time: 11   	move_x_from_table_to_y(h,d)
Time: 12   	move_x_from_y_to_z(g,f,h)
Time: 13   	move_x_from_table_to_y(f,g)
Total time elapsed: 2927 millisecs
CPU Time: 2.17 seconds
probBLOCKS-10-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for f
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
900 actions
1000 actions
1100 actions built
Level 1:	Facts: 18 Actions: 17 Mutex pairs: 19
Level 2:	Facts: 24 Actions: 36 Mutex pairs: 52
Level 3:	Facts: 32 Actions: 67 Mutex pairs: 110
Level 4:	Facts: 42 Actions: 120 Mutex pairs: 199
Level 5:	Facts: 54 Actions: 201 Mutex pairs: 325
Level 6:	Facts: 68 Actions: 316 Mutex pairs: 494
Level 7:	Facts: 84 Actions: 471 Mutex pairs: 712
Level 8:	Facts: 102 Actions: 672 Mutex pairs: 985
Level 9:	Facts: 120 Actions: 924 Mutex pairs: 1289
Level 10:	Facts: 120 Actions: 1120 Mutex pairs: 1145
Initial layer complete at: 10
Level 11:	Facts: 120 Actions: 1120 Mutex pairs: 1145
Leveled at 10
Layer 12
Layer 13
Layer 14
Layer 15
Layer 16
Layer 17


Time: 1   	move_x_from_y_to_table(c,e)
Time: 2   	move_x_from_table_to_y(f,c)
		move_x_from_y_to_table(e,j)
Time: 3   	move_x_from_y_to_z(j,b,f)
Time: 4   	move_x_from_table_to_y(e,j)
		move_x_from_y_to_table(b,g)
Time: 5   	move_x_from_y_to_table(g,h)
Time: 6   	move_x_from_y_to_z(h,a,e)
Time: 7   	move_x_from_table_to_y(b,h)
		move_x_from_y_to_z(a,d,g)
Time: 8   	move_x_from_y_to_z(a,g,b)
		move_x_from_y_to_table(d,i)
Time: 9   	move_x_from_table_to_y(g,i)
Time: 10   	move_x_from_y_to_z(a,b,g)
Time: 11   	move_x_from_y_to_z(b,h,a)
Time: 12   	move_x_from_y_to_z(h,e,b)
Time: 13   	move_x_from_y_to_z(e,j,h)
Time: 14   	move_x_from_y_to_z(j,f,e)
Time: 15   	move_x_from_y_to_z(f,c,j)
Time: 16   	move_x_from_table_to_y(c,f)
Time: 17   	move_x_from_table_to_y(d,c)
Total time elapsed: 14627 millisecs
CPU Time: 10.27 seconds
probBLOCKS-10-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
900 actions
1000 actions
1100 actions built
Level 1:	Facts: 20 Actions: 18 Mutex pairs: 25
Level 2:	Facts: 34 Actions: 52 Mutex pairs: 128
Level 3:	Facts: 54 Actions: 149 Mutex pairs: 355
Level 4:	Facts: 68 Actions: 316 Mutex pairs: 494
Level 5:	Facts: 84 Actions: 471 Mutex pairs: 712
Level 6:	Facts: 102 Actions: 672 Mutex pairs: 985
Level 7:	Facts: 120 Actions: 924 Mutex pairs: 1289
Level 8:	Facts: 120 Actions: 1120 Mutex pairs: 1145
Initial layer complete at: 8
Level 9:	Facts: 120 Actions: 1120 Mutex pairs: 1145
Leveled at 8
Layer 10
Layer 11
Layer 12
Layer 13
Layer 14


Time: 1   	move_x_from_y_to_table(f,d)
		move_x_from_y_to_table(c,g)
Time: 2   	move_x_from_y_to_table(d,h)
		move_x_from_y_to_z(g,e,c)
Time: 3   	move_x_from_table_to_y(f,d)
		move_x_from_table_to_y(h,g)
		move_x_from_y_to_table(e,i)
Time: 4   	move_x_from_y_to_z(h,g,e)
		move_x_from_y_to_z(i,j,f)
Time: 5   	move_x_from_y_to_z(g,c,h)
		move_x_from_y_to_table(j,a)
Time: 6   	move_x_from_y_to_z(g,h,j)
		move_x_from_y_to_z(a,b,i)
Time: 7   	move_x_from_y_to_z(h,e,g)
		move_x_from_table_to_y(b,c)
Time: 8   	move_x_from_table_to_y(e,h)
Time: 9   	move_x_from_y_to_z(a,i,e)
Time: 10   	move_x_from_y_to_z(i,f,a)
Time: 11   	move_x_from_y_to_z(f,d,i)
Time: 12   	move_x_from_table_to_y(d,f)
Time: 13   	move_x_from_y_to_z(b,c,d)
Time: 14   	move_x_from_table_to_y(c,b)
Total time elapsed: 15417 millisecs
CPU Time: 11.62 seconds
probBLOCKS-10-2.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for c
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
900 actions
1000 actions
1100 actions built
Level 1:	Facts: 18 Actions: 17 Mutex pairs: 19
Level 2:	Facts: 24 Actions: 36 Mutex pairs: 52
Level 3:	Facts: 32 Actions: 67 Mutex pairs: 110
Level 4:	Facts: 42 Actions: 120 Mutex pairs: 199
Level 5:	Facts: 54 Actions: 201 Mutex pairs: 325
Level 6:	Facts: 68 Actions: 316 Mutex pairs: 494
Level 7:	Facts: 84 Actions: 471 Mutex pairs: 712
Level 8:	Facts: 102 Actions: 672 Mutex pairs: 985
Level 9:	Facts: 120 Actions: 924 Mutex pairs: 1289
Level 10:	Facts: 120 Actions: 1120 Mutex pairs: 1145
Initial layer complete at: 10
Level 11:	Facts: 120 Actions: 1120 Mutex pairs: 1145
Leveled at 10
Layer 12
Layer 13
Layer 14
Layer 15


Time: 1   	move_x_from_y_to_table(j,i)
Time: 2   	move_x_from_y_to_table(i,h)
Time: 3   	move_x_from_table_to_y(j,i)
		move_x_from_y_to_table(h,f)
Time: 4   	move_x_from_table_to_y(c,h)
		move_x_from_y_to_table(f,d)
Time: 5   	move_x_from_y_to_z(j,i,f)
		move_x_from_y_to_table(d,e)
Time: 6   	move_x_from_y_to_z(j,f,d)
		move_x_from_y_to_table(e,g)
Time: 7   	move_x_from_table_to_y(f,j)
		move_x_from_table_to_y(i,e)
		move_x_from_y_to_z(g,b,c)
Time: 8   	move_x_from_y_to_z(g,c,i)
		move_x_from_y_to_table(b,a)
Time: 9   	move_x_from_y_to_z(c,h,b)
		move_x_from_table_to_y(a,f)
Time: 10   	move_x_from_y_to_z(c,b,a)
Time: 11   	move_x_from_table_to_y(h,c)
Time: 12   	move_x_from_y_to_z(g,i,h)
Time: 13   	move_x_from_y_to_z(i,e,g)
Time: 14   	move_x_from_table_to_y(e,i)
Time: 15   	move_x_from_table_to_y(b,e)
Total time elapsed: 6076 millisecs
CPU Time: 4.25 seconds
probBLOCKS-11-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
1210 actions
1331 actions
1452 actions built
Level 1:	Facts: 29 Actions: 26 Mutex pairs: 72
Level 2:	Facts: 55 Actions: 114 Mutex pairs: 375
Level 3:	Facts: 69 Actions: 317 Mutex pairs: 494
Level 4:	Facts: 85 Actions: 472 Mutex pairs: 712
Level 5:	Facts: 103 Actions: 673 Mutex pairs: 985
Level 6:	Facts: 123 Actions: 926 Mutex pairs: 1319
Level 7:	Facts: 143 Actions: 1236 Mutex pairs: 1687
Level 8:	Facts: 143 Actions: 1474 Mutex pairs: 1507
Initial layer complete at: 8
Level 9:	Facts: 143 Actions: 1474 Mutex pairs: 1507
Leveled at 8
Layer 10
Layer 11
Layer 12
Layer 13


Time: 1   	move_x_from_y_to_table(j,d)
		move_x_from_y_to_table(c,e)
		move_x_from_y_to_table(b,g)
Time: 2   	move_x_from_table_to_y(d,j)
		move_x_from_y_to_z(g,h,c)
Time: 3   	move_x_from_table_to_y(b,d)
		move_x_from_table_to_y(e,g)
		move_x_from_y_to_table(h,k)
Time: 4   	move_x_from_y_to_z(k,a,h)
Time: 5   	move_x_from_y_to_table(a,f)
Time: 6   	move_x_from_y_to_z(f,i,e)
Time: 7   	move_x_from_table_to_y(i,f)
Time: 8   	move_x_from_y_to_z(k,h,i)
Time: 9   	move_x_from_table_to_y(h,k)
Time: 10   	move_x_from_y_to_z(b,d,h)
Time: 11   	move_x_from_y_to_z(d,j,b)
Time: 12   	move_x_from_table_to_y(j,d)
Time: 13   	move_x_from_table_to_y(a,j)
Total time elapsed: 10377 millisecs
CPU Time: 7.38 seconds
probBLOCKS-11-1.pddl
probBLOCKS-11-2.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
1210 actions
1331 actions
1452 actions built
Level 1:	Facts: 21 Actions: 19 Mutex pairs: 25
Level 2:	Facts: 35 Actions: 53 Mutex pairs: 128
Level 3:	Facts: 55 Actions: 150 Mutex pairs: 355
Level 4:	Facts: 69 Actions: 317 Mutex pairs: 494
Level 5:	Facts: 85 Actions: 472 Mutex pairs: 712
Level 6:	Facts: 103 Actions: 673 Mutex pairs: 985
Level 7:	Facts: 123 Actions: 926 Mutex pairs: 1319
Level 8:	Facts: 143 Actions: 1236 Mutex pairs: 1687
Level 9:	Facts: 143 Actions: 1474 Mutex pairs: 1507
Initial layer complete at: 9
Level 10:	Facts: 143 Actions: 1474 Mutex pairs: 1507
Leveled at 9
Layer 11
Layer 12
Layer 13
Layer 14
Layer 15
Layer 16


Time: 1   	move_x_from_y_to_table(i,e)
		move_x_from_y_to_table(b,h)
Time: 2   	move_x_from_y_to_table(e,g)
		move_x_from_y_to_z(h,k,b)
Time: 3   	move_x_from_table_to_y(e,h)
		move_x_from_table_to_y(g,i)
		move_x_from_y_to_table(k,f)
Time: 4   	move_x_from_y_to_z(f,c,k)
Time: 5   	move_x_from_y_to_z(e,h,f)
		move_x_from_y_to_table(c,d)
Time: 6   	move_x_from_y_to_z(h,b,c)
		move_x_from_y_to_z(d,j,g)
Time: 7   	move_x_from_y_to_z(e,f,d)
		move_x_from_y_to_z(j,a,h)
Time: 8   	move_x_from_y_to_z(j,h,e)
		move_x_from_table_to_y(a,f)
Time: 9   	move_x_from_y_to_z(h,c,a)
Time: 10   	move_x_from_table_to_y(b,h)
Time: 11   	move_x_from_y_to_z(j,e,b)
Time: 12   	move_x_from_y_to_z(e,d,j)
Time: 13   	move_x_from_y_to_z(d,g,e)
Time: 14   	move_x_from_table_to_y(c,d)
Time: 15   	move_x_from_y_to_z(g,i,c)
Time: 16   	move_x_from_table_to_y(i,g)
Total time elapsed: 26689 millisecs
CPU Time: 18.98 seconds
probBLOCKS-12-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for j
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
1584 actions
1728 actions
1872 actions built
Level 1:	Facts: 28 Actions: 26 Mutex pairs: 63
Level 2:	Facts: 44 Actions: 90 Mutex pairs: 215
Level 3:	Facts: 56 Actions: 203 Mutex pairs: 325
Level 4:	Facts: 70 Actions: 318 Mutex pairs: 494
Level 5:	Facts: 86 Actions: 473 Mutex pairs: 712
Level 6:	Facts: 104 Actions: 674 Mutex pairs: 985
Level 7:	Facts: 124 Actions: 927 Mutex pairs: 1319
Level 8:	Facts: 146 Actions: 1238 Mutex pairs: 1720
Level 9:	Facts: 168 Actions: 1612 Mutex pairs: 2158
Level 10:	Facts: 168 Actions: 1896 Mutex pairs: 1938
Initial layer complete at: 10
Level 11:	Facts: 168 Actions: 1896 Mutex pairs: 1938
Leveled at 10
Layer 12
Layer 13
Layer 14


Time: 1   	move_x_from_y_to_table(h,a)
		move_x_from_y_to_table(l,f)
Time: 2   	move_x_from_table_to_y(f,j)
		move_x_from_y_to_table(a,g)
Time: 3   	move_x_from_table_to_y(l,f)
		move_x_from_table_to_y(h,a)
		move_x_from_y_to_table(g,k)
Time: 4   	move_x_from_y_to_z(h,a,g)
		move_x_from_y_to_table(k,e)
Time: 5   	move_x_from_table_to_y(a,h)
		move_x_from_y_to_z(l,f,k)
		move_x_from_y_to_table(e,b)
Time: 6   	move_x_from_y_to_z(f,j,a)
		move_x_from_y_to_z(l,k,e)
		move_x_from_y_to_table(b,d)
Time: 7   	move_x_from_table_to_y(k,f)
		move_x_from_y_to_z(l,e,b)
		move_x_from_y_to_z(d,i,j)
Time: 8   	move_x_from_table_to_y(e,k)
		move_x_from_y_to_z(d,j,l)
		move_x_from_y_to_table(i,c)
Time: 9   	move_x_from_table_to_y(j,e)
		move_x_from_table_to_y(c,i)
Time: 10   	move_x_from_y_to_z(d,l,j)
Time: 11   	move_x_from_y_to_z(l,b,d)
Time: 12   	move_x_from_table_to_y(b,l)
Time: 13   	move_x_from_y_to_z(c,i,b)
Time: 14   	move_x_from_table_to_y(i,c)
Total time elapsed: 21813 millisecs
CPU Time: 15.25 seconds
probBLOCKS-12-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
1584 actions
1728 actions
1872 actions built
Level 1:	Facts: 22 Actions: 20 Mutex pairs: 25
Level 2:	Facts: 34 Actions: 53 Mutex pairs: 116
Level 3:	Facts: 44 Actions: 122 Mutex pairs: 199
Level 4:	Facts: 56 Actions: 203 Mutex pairs: 325
Level 5:	Facts: 70 Actions: 318 Mutex pairs: 494
Level 6:	Facts: 86 Actions: 473 Mutex pairs: 712
Level 7:	Facts: 104 Actions: 674 Mutex pairs: 985
Level 8:	Facts: 124 Actions: 927 Mutex pairs: 1319
Level 9:	Facts: 146 Actions: 1238 Mutex pairs: 1720
Level 10:	Facts: 168 Actions: 1612 Mutex pairs: 2158
Level 11:	Facts: 168 Actions: 1896 Mutex pairs: 1938
Initial layer complete at: 11
Level 12:	Facts: 168 Actions: 1896 Mutex pairs: 1938
Leveled at 11
Layer 13
Layer 14
Layer 15


Time: 1   	move_x_from_y_to_table(k,d)
		move_x_from_y_to_table(c,g)
Time: 2   	move_x_from_y_to_table(g,h)
Time: 3   	move_x_from_y_to_z(h,i,k)
Time: 4   	move_x_from_table_to_y(g,h)
		move_x_from_y_to_z(i,f,d)
Time: 5   	move_x_from_y_to_z(f,b,c)
Time: 6   	move_x_from_y_to_z(g,h,f)
		move_x_from_y_to_z(b,a,i)
Time: 7   	move_x_from_y_to_z(g,f,b)
		move_x_from_y_to_z(a,l,h)
Time: 8   	move_x_from_y_to_z(f,c,a)
		move_x_from_y_to_z(l,e,g)
Time: 9   	move_x_from_y_to_z(f,a,l)
		move_x_from_y_to_z(e,j,c)
Time: 10   	move_x_from_y_to_z(a,h,f)
Time: 11   	move_x_from_y_to_z(h,k,a)
Time: 12   	move_x_from_table_to_y(k,h)
Time: 13   	move_x_from_y_to_z(e,c,k)
Time: 14   	move_x_from_table_to_y(c,e)
Time: 15   	move_x_from_table_to_y(j,c)
Total time elapsed: 18917 millisecs
CPU Time: 13 seconds
probBLOCKS-13-0.pddl
probBLOCKS-13-1.pddl
probBLOCKS-14-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for f
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
2548 actions
2744 actions
2940 actions built
Level 1:	Facts: 30 Actions: 28 Mutex pairs: 63
Level 2:	Facts: 48 Actions: 93 Mutex pairs: 230
Level 3:	Facts: 74 Actions: 245 Mutex pairs: 563
Level 4:	Facts: 106 Actions: 540 Mutex pairs: 1081
Level 5:	Facts: 126 Actions: 929 Mutex pairs: 1319
Level 6:	Facts: 148 Actions: 1240 Mutex pairs: 1720
Level 7:	Facts: 172 Actions: 1615 Mutex pairs: 2194
Level 8:	Facts: 198 Actions: 2060 Mutex pairs: 2747
Level 9:	Facts: 224 Actions: 2580 Mutex pairs: 3343
Initial layer complete at: 9
Level 10:	Facts: 224 Actions: 2968 Mutex pairs: 3031
Trying a subset at level: 10
on(e,l) on(f,b) on(l,f) 
Level 11:	Facts: 224 Actions: 2968 Mutex pairs: 3031
Leveled at 10
Layer 12
Layer 13
Layer 14
Layer 15
Layer 16


Time: 1   	move_x_from_y_to_table(g,d)
		move_x_from_y_to_table(a,j)
Time: 2   	move_x_from_table_to_y(f,a)
		move_x_from_y_to_table(j,h)
		move_x_from_y_to_z(d,i,g)
Time: 3   	move_x_from_y_to_z(f,a,d)
		move_x_from_y_to_table(h,m)
		move_x_from_y_to_table(i,n)
Time: 4   	move_x_from_table_to_y(a,h)
		move_x_from_table_to_y(n,j)
		move_x_from_y_to_z(m,k,i)
Time: 5   	move_x_from_y_to_z(f,d,n)
		move_x_from_y_to_z(m,i,a)
		move_x_from_y_to_table(k,c)
Time: 6   	move_x_from_y_to_z(d,g,m)
		move_x_from_y_to_z(f,n,k)
		move_x_from_y_to_z(c,l,i)
Time: 7   	move_x_from_table_to_y(g,d)
		move_x_from_y_to_z(f,k,c)
		move_x_from_y_to_table(l,b)
Time: 8   	move_x_from_table_to_y(k,g)
		move_x_from_y_to_z(f,c,l)
		move_x_from_y_to_z(b,e,n)
Time: 9   	move_x_from_y_to_z(c,i,k)
		move_x_from_y_to_z(b,n,f)
Time: 10   	move_x_from_y_to_z(n,j,c)
Time: 11   	move_x_from_table_to_y(i,n)
Time: 12   	move_x_from_table_to_y(j,i)
Time: 13   	move_x_from_y_to_z(b,f,j)
Time: 14   	move_x_from_y_to_z(f,l,b)
Time: 15   	move_x_from_table_to_y(l,f)
Time: 16   	move_x_from_table_to_y(e,l)
Total time elapsed: 159389 millisecs
CPU Time: 124.08 seconds
probBLOCKS-14-1.pddl
probBLOCKS-15-0.pddl
probBLOCKS-15-1.pddl
probBLOCKS-16-1.pddl
probBLOCKS-16-2.pddl
probBLOCKS-17-0.pddl
probblocks-17-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
4624 actions
4913 actions
5202 actions built
Level 1:	Facts: 35 Actions: 32 Mutex pairs: 72
Level 2:	Facts: 63 Actions: 121 Mutex pairs: 393
Level 3:	Facts: 91 Actions: 374 Mutex pairs: 782
Level 4:	Facts: 109 Actions: 679 Mutex pairs: 985
Level 5:	Facts: 129 Actions: 932 Mutex pairs: 1319
Level 6:	Facts: 151 Actions: 1243 Mutex pairs: 1720
Level 7:	Facts: 175 Actions: 1618 Mutex pairs: 2194
Level 8:	Facts: 201 Actions: 2063 Mutex pairs: 2747
Level 9:	Facts: 229 Actions: 2584 Mutex pairs: 3385
Level 10:	Facts: 259 Actions: 3187 Mutex pairs: 4114
Level 11:	Facts: 291 Actions: 3878 Mutex pairs: 4940
Level 12:	Facts: 323 Actions: 4662 Mutex pairs: 5818
Level 13:	Facts: 323 Actions: 5236 Mutex pairs: 5338
Initial layer complete at: 13
Level 14:	Facts: 323 Actions: 5236 Mutex pairs: 5338
Leveled at 13
Layer 15
Layer 16
Layer 17
Layer 18
Layer 19
Layer 20

NO SOLUTION
Total time elapsed: 318701 millisecs
probblocks-18-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
5508 actions
5832 actions
6156 actions built
Level 1:	Facts: 36 Actions: 33 Mutex pairs: 72
Level 2:	Facts: 66 Actions: 123 Mutex pairs: 411
Level 3:	Facts: 112 Actions: 431 Mutex pairs: 1188
Level 4:	Facts: 152 Actions: 1032 Mutex pairs: 1880
Level 5:	Facts: 176 Actions: 1619 Mutex pairs: 2194
Level 6:	Facts: 202 Actions: 2064 Mutex pairs: 2747
Level 7:	Facts: 230 Actions: 2585 Mutex pairs: 3385
Level 8:	Facts: 260 Actions: 3188 Mutex pairs: 4114
Level 9:	Facts: 292 Actions: 3879 Mutex pairs: 4940
Level 10:	Facts: 326 Actions: 4664 Mutex pairs: 5869
Level 11:	Facts: 360 Actions: 5548 Mutex pairs: 6853

NO SOLUTION
Total time elapsed: 276738 millisecs
probblocks-18-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for k
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
5508 actions
5832 actions
6156 actions built
Level 1:	Facts: 34 Actions: 32 Mutex pairs: 63
Level 2:	Facts: 52 Actions: 97 Mutex pairs: 230
Level 3:	Facts: 76 Actions: 248 Mutex pairs: 542
Level 4:	Facts: 92 Actions: 479 Mutex pairs: 712
Level 5:	Facts: 110 Actions: 680 Mutex pairs: 985
Level 6:	Facts: 130 Actions: 933 Mutex pairs: 1319
Level 7:	Facts: 152 Actions: 1244 Mutex pairs: 1720
Level 8:	Facts: 176 Actions: 1619 Mutex pairs: 2194
Level 9:	Facts: 202 Actions: 2064 Mutex pairs: 2747
Level 10:	Facts: 230 Actions: 2585 Mutex pairs: 3385
Level 11:	Facts: 260 Actions: 3188 Mutex pairs: 4114
Level 12:	Facts: 292 Actions: 3879 Mutex pairs: 4940
Level 13:	Facts: 326 Actions: 4664 Mutex pairs: 5869
Level 14:	Facts: 360 Actions: 5548 Mutex pairs: 6853

NO SOLUTION
Total time elapsed: 279193 millisecs
probblocks-19-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for s
No initial location for l
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
6498 actions
6859 actions
7220 actions built
Level 1:	Facts: 33 Actions: 32 Mutex pairs: 54
Level 2:	Facts: 41 Actions: 76 Mutex pairs: 110
Level 3:	Facts: 51 Actions: 129 Mutex pairs: 199
Level 4:	Facts: 63 Actions: 210 Mutex pairs: 325
Level 5:	Facts: 77 Actions: 325 Mutex pairs: 494
Level 6:	Facts: 93 Actions: 480 Mutex pairs: 712
Level 7:	Facts: 111 Actions: 681 Mutex pairs: 985
Level 8:	Facts: 131 Actions: 934 Mutex pairs: 1319
Level 9:	Facts: 153 Actions: 1245 Mutex pairs: 1720
Level 10:	Facts: 177 Actions: 1620 Mutex pairs: 2194
Level 11:	Facts: 203 Actions: 2065 Mutex pairs: 2747
Level 12:	Facts: 231 Actions: 2586 Mutex pairs: 3385
Level 13:	Facts: 261 Actions: 3189 Mutex pairs: 4114
Level 14:	Facts: 293 Actions: 3880 Mutex pairs: 4940
Level 15:	Facts: 327 Actions: 4665 Mutex pairs: 5869
Level 16:	Facts: 363 Actions: 5550 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 290051 millisecs
probblocks-19-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
6498 actions
6859 actions
7220 actions built
Level 1:	Facts: 37 Actions: 34 Mutex pairs: 72
Level 2:	Facts: 65 Actions: 123 Mutex pairs: 393
Level 3:	Facts: 93 Actions: 376 Mutex pairs: 782
Level 4:	Facts: 111 Actions: 681 Mutex pairs: 985
Level 5:	Facts: 131 Actions: 934 Mutex pairs: 1319
Level 6:	Facts: 153 Actions: 1245 Mutex pairs: 1720
Level 7:	Facts: 177 Actions: 1620 Mutex pairs: 2194
Level 8:	Facts: 203 Actions: 2065 Mutex pairs: 2747
Level 9:	Facts: 231 Actions: 2586 Mutex pairs: 3385
Level 10:	Facts: 261 Actions: 3189 Mutex pairs: 4114
Level 11:	Facts: 293 Actions: 3880 Mutex pairs: 4940
Level 12:	Facts: 327 Actions: 4665 Mutex pairs: 5869
Level 13:	Facts: 363 Actions: 5550 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 290660 millisecs
probblocks-20-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for n
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
7600 actions
8000 actions
8400 actions built
Level 1:	Facts: 36 Actions: 34 Mutex pairs: 63
Level 2:	Facts: 54 Actions: 99 Mutex pairs: 230
Level 3:	Facts: 78 Actions: 250 Mutex pairs: 542
Level 4:	Facts: 94 Actions: 481 Mutex pairs: 712
Level 5:	Facts: 112 Actions: 682 Mutex pairs: 985
Level 6:	Facts: 132 Actions: 935 Mutex pairs: 1319
Level 7:	Facts: 154 Actions: 1246 Mutex pairs: 1720
Level 8:	Facts: 178 Actions: 1621 Mutex pairs: 2194
Level 9:	Facts: 204 Actions: 2066 Mutex pairs: 2747
Level 10:	Facts: 232 Actions: 2587 Mutex pairs: 3385
Level 11:	Facts: 262 Actions: 3190 Mutex pairs: 4114
Level 12:	Facts: 294 Actions: 3881 Mutex pairs: 4940
Level 13:	Facts: 328 Actions: 4666 Mutex pairs: 5869
Level 14:	Facts: 364 Actions: 5551 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 285604 millisecs
probblocks-20-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
7600 actions
8000 actions
8400 actions built
Level 1:	Facts: 30 Actions: 28 Mutex pairs: 25
Level 2:	Facts: 42 Actions: 61 Mutex pairs: 116
Level 3:	Facts: 52 Actions: 130 Mutex pairs: 199
Level 4:	Facts: 64 Actions: 211 Mutex pairs: 325
Level 5:	Facts: 78 Actions: 326 Mutex pairs: 494
Level 6:	Facts: 94 Actions: 481 Mutex pairs: 712
Level 7:	Facts: 112 Actions: 682 Mutex pairs: 985
Level 8:	Facts: 132 Actions: 935 Mutex pairs: 1319
Level 9:	Facts: 154 Actions: 1246 Mutex pairs: 1720
Level 10:	Facts: 178 Actions: 1621 Mutex pairs: 2194
Level 11:	Facts: 204 Actions: 2066 Mutex pairs: 2747
Level 12:	Facts: 232 Actions: 2587 Mutex pairs: 3385
Level 13:	Facts: 262 Actions: 3190 Mutex pairs: 4114
Level 14:	Facts: 294 Actions: 3881 Mutex pairs: 4940
Level 15:	Facts: 328 Actions: 4666 Mutex pairs: 5869
Level 16:	Facts: 364 Actions: 5551 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 290919 millisecs
probblocks-21-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for h
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
8820 actions
9261 actions
9702 actions built
Level 1:	Facts: 29 Actions: 28 Mutex pairs: 19
Level 2:	Facts: 35 Actions: 47 Mutex pairs: 52
Level 3:	Facts: 43 Actions: 78 Mutex pairs: 110
Level 4:	Facts: 53 Actions: 131 Mutex pairs: 199
Level 5:	Facts: 65 Actions: 212 Mutex pairs: 325
Level 6:	Facts: 79 Actions: 327 Mutex pairs: 494
Level 7:	Facts: 95 Actions: 482 Mutex pairs: 712
Level 8:	Facts: 113 Actions: 683 Mutex pairs: 985
Level 9:	Facts: 133 Actions: 936 Mutex pairs: 1319
Level 10:	Facts: 155 Actions: 1247 Mutex pairs: 1720
Level 11:	Facts: 179 Actions: 1622 Mutex pairs: 2194
Level 12:	Facts: 205 Actions: 2067 Mutex pairs: 2747
Level 13:	Facts: 233 Actions: 2588 Mutex pairs: 3385
Level 14:	Facts: 263 Actions: 3191 Mutex pairs: 4114
Level 15:	Facts: 295 Actions: 3882 Mutex pairs: 4940
Level 16:	Facts: 329 Actions: 4667 Mutex pairs: 5869
Level 17:	Facts: 365 Actions: 5552 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 293880 millisecs
probblocks-21-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for t
No initial location for b
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
8820 actions
9261 actions
9702 actions built
Level 1:	Facts: 35 Actions: 34 Mutex pairs: 54
Level 2:	Facts: 43 Actions: 78 Mutex pairs: 110
Level 3:	Facts: 53 Actions: 131 Mutex pairs: 199
Level 4:	Facts: 65 Actions: 212 Mutex pairs: 325
Level 5:	Facts: 79 Actions: 327 Mutex pairs: 494
Level 6:	Facts: 95 Actions: 482 Mutex pairs: 712
Level 7:	Facts: 113 Actions: 683 Mutex pairs: 985
Level 8:	Facts: 133 Actions: 936 Mutex pairs: 1319
Level 9:	Facts: 155 Actions: 1247 Mutex pairs: 1720
Level 10:	Facts: 179 Actions: 1622 Mutex pairs: 2194
Level 11:	Facts: 205 Actions: 2067 Mutex pairs: 2747
Level 12:	Facts: 233 Actions: 2588 Mutex pairs: 3385
Level 13:	Facts: 263 Actions: 3191 Mutex pairs: 4114
Level 14:	Facts: 295 Actions: 3882 Mutex pairs: 4940
Level 15:	Facts: 329 Actions: 4667 Mutex pairs: 5869
Level 16:	Facts: 365 Actions: 5552 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 279324 millisecs
probblocks-22-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for p
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
10164 actions
10648 actions
11132 actions built
Level 1:	Facts: 48 Actions: 45 Mutex pairs: 146
Level 2:	Facts: 82 Actions: 195 Mutex pairs: 599
Level 3:	Facts: 116 Actions: 549 Mutex pairs: 1108
Level 4:	Facts: 158 Actions: 1037 Mutex pairs: 1913
Level 5:	Facts: 208 Actions: 1765 Mutex pairs: 3026
Level 6:	Facts: 266 Actions: 2781 Mutex pairs: 4495
Level 7:	Facts: 332 Actions: 4133 Mutex pairs: 6368
Level 8:	Facts: 404 Actions: 5868 Mutex pairs: 8636

NO SOLUTION
Total time elapsed: 364461 millisecs
probblocks-22-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for n
No initial location for a
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
10164 actions
10648 actions
11132 actions built
Level 1:	Facts: 58 Actions: 55 Mutex pairs: 265
Level 2:	Facts: 100 Actions: 297 Mutex pairs: 886
Level 3:	Facts: 156 Actions: 850 Mutex pairs: 2020
Level 4:	Facts: 180 Actions: 1623 Mutex pairs: 2194
Level 5:	Facts: 206 Actions: 2068 Mutex pairs: 2747
Level 6:	Facts: 234 Actions: 2589 Mutex pairs: 3385
Level 7:	Facts: 264 Actions: 3192 Mutex pairs: 4114
Level 8:	Facts: 296 Actions: 3883 Mutex pairs: 4940
Level 9:	Facts: 330 Actions: 4668 Mutex pairs: 5869
Level 10:	Facts: 366 Actions: 5553 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 288738 millisecs
probblocks-23-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for q
No initial location for b
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
11638 actions
12167 actions
12696 actions built
Level 1:	Facts: 59 Actions: 56 Mutex pairs: 265
Level 2:	Facts: 101 Actions: 298 Mutex pairs: 886
Level 3:	Facts: 157 Actions: 851 Mutex pairs: 2020
Level 4:	Facts: 181 Actions: 1624 Mutex pairs: 2194
Level 5:	Facts: 207 Actions: 2069 Mutex pairs: 2747
Level 6:	Facts: 235 Actions: 2590 Mutex pairs: 3385
Level 7:	Facts: 265 Actions: 3193 Mutex pairs: 4114
Level 8:	Facts: 297 Actions: 3884 Mutex pairs: 4940
Level 9:	Facts: 331 Actions: 4669 Mutex pairs: 5869
Level 10:	Facts: 367 Actions: 5554 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 299059 millisecs
probblocks-23-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for q
No initial location for n
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
11638 actions
12167 actions
12696 actions built
Level 1:	Facts: 59 Actions: 56 Mutex pairs: 265
Level 2:	Facts: 101 Actions: 298 Mutex pairs: 886
Level 3:	Facts: 161 Actions: 853 Mutex pairs: 2086
Level 4:	Facts: 237 Actions: 1911 Mutex pairs: 3973
Level 5:	Facts: 297 Actions: 3412 Mutex pairs: 5330
Level 6:	Facts: 331 Actions: 4669 Mutex pairs: 5869
Level 7:	Facts: 367 Actions: 5554 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 289226 millisecs
probblocks-24-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for r
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
13248 actions
13824 actions
14400 actions built
Level 1:	Facts: 62 Actions: 58 Mutex pairs: 280
Level 2:	Facts: 120 Actions: 346 Mutex pairs: 1279
Level 3:	Facts: 186 Actions: 1143 Mutex pairs: 2640
Level 4:	Facts: 270 Actions: 2406 Mutex pairs: 4848
Level 5:	Facts: 370 Actions: 4388 Mutex pairs: 7947
Level 6:	Facts: 448 Actions: 6898 Mutex pairs: 10040

NO SOLUTION
Total time elapsed: 377270 millisecs
probblocks-24-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
13248 actions
13824 actions
14400 actions built
Level 1:	Facts: 34 Actions: 32 Mutex pairs: 25
Level 2:	Facts: 48 Actions: 66 Mutex pairs: 128
Level 3:	Facts: 70 Actions: 164 Mutex pairs: 373
Level 4:	Facts: 100 Actions: 382 Mutex pairs: 806
Level 5:	Facts: 138 Actions: 768 Mutex pairs: 1475
Level 6:	Facts: 184 Actions: 1370 Mutex pairs: 2428
Level 7:	Facts: 238 Actions: 2236 Mutex pairs: 3713
Level 8:	Facts: 300 Actions: 3414 Mutex pairs: 5378
Level 9:	Facts: 370 Actions: 4952 Mutex pairs: 7471
Level 10:	Facts: 446 Actions: 6897 Mutex pairs: 9980

NO SOLUTION
Total time elapsed: 367812 millisecs
probblocks-25-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for p
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
15000 actions
15625 actions
16250 actions built
Level 1:	Facts: 51 Actions: 48 Mutex pairs: 146
Level 2:	Facts: 87 Actions: 199 Mutex pairs: 620
Level 3:	Facts: 141 Actions: 622 Mutex pairs: 1613
Level 4:	Facts: 211 Actions: 1494 Mutex pairs: 3242
Level 5:	Facts: 267 Actions: 2783 Mutex pairs: 4450
Level 6:	Facts: 299 Actions: 3886 Mutex pairs: 4940
Level 7:	Facts: 333 Actions: 4671 Mutex pairs: 5869
Level 8:	Facts: 369 Actions: 5556 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 297686 millisecs
probblocks-25-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
15000 actions
15625 actions
16250 actions built
Level 1:	Facts: 43 Actions: 40 Mutex pairs: 72
Level 2:	Facts: 71 Actions: 129 Mutex pairs: 393
Level 3:	Facts: 99 Actions: 382 Mutex pairs: 782
Level 4:	Facts: 117 Actions: 687 Mutex pairs: 985
Level 5:	Facts: 137 Actions: 940 Mutex pairs: 1319
Level 6:	Facts: 159 Actions: 1251 Mutex pairs: 1720
Level 7:	Facts: 183 Actions: 1626 Mutex pairs: 2194
Level 8:	Facts: 209 Actions: 2071 Mutex pairs: 2747
Level 9:	Facts: 237 Actions: 2592 Mutex pairs: 3385
Level 10:	Facts: 267 Actions: 3195 Mutex pairs: 4114
Level 11:	Facts: 299 Actions: 3886 Mutex pairs: 4940
Level 12:	Facts: 333 Actions: 4671 Mutex pairs: 5869
Level 13:	Facts: 369 Actions: 5556 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 292383 millisecs
probblocks-26-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for y
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
16900 actions
17576 actions
18252 actions built
Level 1:	Facts: 64 Actions: 60 Mutex pairs: 280
Level 2:	Facts: 122 Actions: 348 Mutex pairs: 1279
Level 3:	Facts: 188 Actions: 1145 Mutex pairs: 2640
Level 4:	Facts: 272 Actions: 2408 Mutex pairs: 4848
Level 5:	Facts: 372 Actions: 4390 Mutex pairs: 7947
Level 6:	Facts: 448 Actions: 6899 Mutex pairs: 9980

NO SOLUTION
Total time elapsed: 364297 millisecs
probblocks-26-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for v
No initial location for o
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
16900 actions
17576 actions
18252 actions built
Level 1:	Facts: 76 Actions: 72 Mutex pairs: 459
Level 2:	Facts: 140 Actions: 498 Mutex pairs: 1673
Level 3:	Facts: 184 Actions: 1371 Mutex pairs: 2392
Level 4:	Facts: 210 Actions: 2072 Mutex pairs: 2747
Level 5:	Facts: 238 Actions: 2593 Mutex pairs: 3385
Level 6:	Facts: 268 Actions: 3196 Mutex pairs: 4114
Level 7:	Facts: 300 Actions: 3887 Mutex pairs: 4940
Level 8:	Facts: 334 Actions: 4672 Mutex pairs: 5869
Level 9:	Facts: 370 Actions: 5557 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 297063 millisecs
probblocks-27-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for f
No initial location for a
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
18954 actions
19683 actions
20412 actions built
Level 1:	Facts: 77 Actions: 73 Mutex pairs: 459
Level 2:	Facts: 145 Actions: 501 Mutex pairs: 1733
Level 3:	Facts: 243 Actions: 1624 Mutex pairs: 4249
Level 4:	Facts: 339 Actions: 3641 Mutex pairs: 6835
Level 5:	Facts: 453 Actions: 6194 Mutex pairs: 10708

NO SOLUTION
Total time elapsed: 382887 millisecs
probblocks-27-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
18954 actions
19683 actions
20412 actions built
Level 1:	Facts: 37 Actions: 35 Mutex pairs: 25
Level 2:	Facts: 51 Actions: 69 Mutex pairs: 128
Level 3:	Facts: 73 Actions: 167 Mutex pairs: 373
Level 4:	Facts: 103 Actions: 385 Mutex pairs: 806
Level 5:	Facts: 141 Actions: 771 Mutex pairs: 1475
Level 6:	Facts: 185 Actions: 1372 Mutex pairs: 2392
Level 7:	Facts: 211 Actions: 2073 Mutex pairs: 2747
Level 8:	Facts: 239 Actions: 2594 Mutex pairs: 3385
Level 9:	Facts: 269 Actions: 3197 Mutex pairs: 4114
Level 10:	Facts: 301 Actions: 3888 Mutex pairs: 4940
Level 11:	Facts: 335 Actions: 4673 Mutex pairs: 5869
Level 12:	Facts: 371 Actions: 5558 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 298758 millisecs
probblocks-28-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
21168 actions
21952 actions
22736 actions built
Level 1:	Facts: 56 Actions: 52 Mutex pairs: 158
Level 2:	Facts: 106 Actions: 239 Mutex pairs: 928
Level 3:	Facts: 164 Actions: 857 Mutex pairs: 2053
Level 4:	Facts: 214 Actions: 1771 Mutex pairs: 3026
Level 5:	Facts: 272 Actions: 2787 Mutex pairs: 4495
Level 6:	Facts: 338 Actions: 4139 Mutex pairs: 6368
Level 7:	Facts: 412 Actions: 5875 Mutex pairs: 8693

NO SOLUTION
Total time elapsed: 358586 millisecs
probblocks-28-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
21168 actions
21952 actions
22736 actions built
Level 1:	Facts: 46 Actions: 43 Mutex pairs: 72
Level 2:	Facts: 74 Actions: 132 Mutex pairs: 393
Level 3:	Facts: 104 Actions: 386 Mutex pairs: 806
Level 4:	Facts: 142 Actions: 772 Mutex pairs: 1475
Level 5:	Facts: 188 Actions: 1374 Mutex pairs: 2428
Level 6:	Facts: 242 Actions: 2240 Mutex pairs: 3713
Level 7:	Facts: 304 Actions: 3418 Mutex pairs: 5378
Level 8:	Facts: 374 Actions: 4956 Mutex pairs: 7471
Level 9:	Facts: 452 Actions: 6902 Mutex pairs: 10040

NO SOLUTION
Total time elapsed: 362271 millisecs
probblocks-29-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for w
No initial location for k
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
23548 actions
24389 actions
25230 actions built
Level 1:	Facts: 95 Actions: 90 Mutex pairs: 728
Level 2:	Facts: 193 Actions: 777 Mutex pairs: 2962
Level 3:	Facts: 309 Actions: 2585 Mutex pairs: 6164
Level 4:	Facts: 453 Actions: 5531 Mutex pairs: 11218

NO SOLUTION
Total time elapsed: 372743 millisecs
probblocks-29-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for y
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
23548 actions
24389 actions
25230 actions built
Level 1:	Facts: 37 Actions: 36 Mutex pairs: 19
Level 2:	Facts: 43 Actions: 55 Mutex pairs: 52
Level 3:	Facts: 51 Actions: 86 Mutex pairs: 110
Level 4:	Facts: 61 Actions: 139 Mutex pairs: 199
Level 5:	Facts: 73 Actions: 220 Mutex pairs: 325
Level 6:	Facts: 87 Actions: 335 Mutex pairs: 494
Level 7:	Facts: 103 Actions: 490 Mutex pairs: 712
Level 8:	Facts: 121 Actions: 691 Mutex pairs: 985
Level 9:	Facts: 141 Actions: 944 Mutex pairs: 1319
Level 10:	Facts: 163 Actions: 1255 Mutex pairs: 1720
Level 11:	Facts: 187 Actions: 1630 Mutex pairs: 2194
Level 12:	Facts: 213 Actions: 2075 Mutex pairs: 2747
Level 13:	Facts: 241 Actions: 2596 Mutex pairs: 3385
Level 14:	Facts: 271 Actions: 3199 Mutex pairs: 4114
Level 15:	Facts: 303 Actions: 3890 Mutex pairs: 4940
Level 16:	Facts: 337 Actions: 4675 Mutex pairs: 5869
Level 17:	Facts: 373 Actions: 5560 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 288856 millisecs
probblocks-30-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for p
No initial location for n
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
26100 actions
27000 actions
27900 actions built
Level 1:	Facts: 96 Actions: 91 Mutex pairs: 728
Level 2:	Facts: 194 Actions: 778 Mutex pairs: 2962
Level 3:	Facts: 308 Actions: 2585 Mutex pairs: 6116
Level 4:	Facts: 416 Actions: 5244 Mutex pairs: 9290

NO SOLUTION
Total time elapsed: 410868 millisecs
probblocks-30-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for u
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
26100 actions
27000 actions
27900 actions built
Level 1:	Facts: 46 Actions: 44 Mutex pairs: 63
Level 2:	Facts: 64 Actions: 109 Mutex pairs: 230
Level 3:	Facts: 90 Actions: 261 Mutex pairs: 563
Level 4:	Facts: 124 Actions: 557 Mutex pairs: 1108
Level 5:	Facts: 166 Actions: 1045 Mutex pairs: 1913
Level 6:	Facts: 216 Actions: 1773 Mutex pairs: 3026
Level 7:	Facts: 274 Actions: 2789 Mutex pairs: 4495
Level 8:	Facts: 340 Actions: 4141 Mutex pairs: 6368
Level 9:	Facts: 414 Actions: 5877 Mutex pairs: 8693

NO SOLUTION
Total time elapsed: 327222 millisecs
probblocks-31-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
28830 actions
29791 actions
30752 actions built
Level 1:	Facts: 49 Actions: 46 Mutex pairs: 72
Level 2:	Facts: 79 Actions: 136 Mutex pairs: 411
Level 3:	Facts: 127 Actions: 445 Mutex pairs: 1215
Level 4:	Facts: 193 Actions: 1150 Mutex pairs: 2640
Level 5:	Facts: 275 Actions: 2412 Mutex pairs: 4803
Level 6:	Facts: 341 Actions: 4142 Mutex pairs: 6368
Level 7:	Facts: 413 Actions: 5877 Mutex pairs: 8636

NO SOLUTION
Total time elapsed: 377500 millisecs
probblocks-31-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
28830 actions
29791 actions
30752 actions built
Level 1:	Facts: 71 Actions: 66 Mutex pairs: 295
Level 2:	Facts: 147 Actions: 404 Mutex pairs: 1775
Level 3:	Facts: 217 Actions: 1500 Mutex pairs: 3242
Level 4:	Facts: 273 Actions: 2789 Mutex pairs: 4450
Level 5:	Facts: 305 Actions: 3892 Mutex pairs: 4940
Level 6:	Facts: 339 Actions: 4677 Mutex pairs: 5869
Level 7:	Facts: 375 Actions: 5562 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 310257 millisecs
probblocks-32-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for t
No initial location for f1
No initial location for e
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
31744 actions
32768 actions
33792 actions built
Level 1:	Facts: 114 Actions: 109 Mutex pairs: 1060
Level 2:	Facts: 222 Actions: 1045 Mutex pairs: 3680
Level 3:	Facts: 346 Actions: 3187 Mutex pairs: 7270
Level 4:	Facts: 500 Actions: 6522 Mutex pairs: 12901

NO SOLUTION
Total time elapsed: 384392 millisecs
probblocks-32-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
31744 actions
32768 actions
33792 actions built
Level 1:	Facts: 42 Actions: 40 Mutex pairs: 25
Level 2:	Facts: 56 Actions: 74 Mutex pairs: 128
Level 3:	Facts: 78 Actions: 172 Mutex pairs: 373
Level 4:	Facts: 106 Actions: 389 Mutex pairs: 782
Level 5:	Facts: 124 Actions: 694 Mutex pairs: 985
Level 6:	Facts: 144 Actions: 947 Mutex pairs: 1319
Level 7:	Facts: 166 Actions: 1258 Mutex pairs: 1720
Level 8:	Facts: 190 Actions: 1633 Mutex pairs: 2194
Level 9:	Facts: 216 Actions: 2078 Mutex pairs: 2747
Level 10:	Facts: 244 Actions: 2599 Mutex pairs: 3385
Level 11:	Facts: 274 Actions: 3202 Mutex pairs: 4114
Level 12:	Facts: 306 Actions: 3893 Mutex pairs: 4940
Level 13:	Facts: 340 Actions: 4678 Mutex pairs: 5869
Level 14:	Facts: 376 Actions: 5563 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 299017 millisecs
probblocks-33-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
34848 actions
35937 actions
37026 actions built
Level 1:	Facts: 61 Actions: 57 Mutex pairs: 158
Level 2:	Facts: 111 Actions: 244 Mutex pairs: 928
Level 3:	Facts: 169 Actions: 862 Mutex pairs: 2053
Level 4:	Facts: 219 Actions: 1776 Mutex pairs: 3026
Level 5:	Facts: 277 Actions: 2792 Mutex pairs: 4495
Level 6:	Facts: 343 Actions: 4144 Mutex pairs: 6368
Level 7:	Facts: 417 Actions: 5880 Mutex pairs: 8693

NO SOLUTION
Total time elapsed: 334208 millisecs
probblocks-33-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for z
No initial location for d1
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
34848 actions
35937 actions
37026 actions built
Level 1:	Facts: 83 Actions: 79 Mutex pairs: 459
Level 2:	Facts: 147 Actions: 505 Mutex pairs: 1673
Level 3:	Facts: 193 Actions: 1379 Mutex pairs: 2428
Level 4:	Facts: 245 Actions: 2244 Mutex pairs: 3671
Level 5:	Facts: 275 Actions: 3203 Mutex pairs: 4114
Level 6:	Facts: 307 Actions: 3894 Mutex pairs: 4940
Level 7:	Facts: 341 Actions: 4679 Mutex pairs: 5869
Level 8:	Facts: 377 Actions: 5564 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 308476 millisecs
probblocks-34-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for z
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
38148 actions
39304 actions
40460 actions built
Level 1:	Facts: 42 Actions: 41 Mutex pairs: 19
Level 2:	Facts: 48 Actions: 60 Mutex pairs: 52
Level 3:	Facts: 56 Actions: 91 Mutex pairs: 110
Level 4:	Facts: 66 Actions: 144 Mutex pairs: 199
Level 5:	Facts: 78 Actions: 225 Mutex pairs: 325
Level 6:	Facts: 92 Actions: 340 Mutex pairs: 494
Level 7:	Facts: 108 Actions: 495 Mutex pairs: 712
Level 8:	Facts: 126 Actions: 696 Mutex pairs: 985
Level 9:	Facts: 146 Actions: 949 Mutex pairs: 1319
Level 10:	Facts: 168 Actions: 1260 Mutex pairs: 1720
Level 11:	Facts: 192 Actions: 1635 Mutex pairs: 2194
Level 12:	Facts: 218 Actions: 2080 Mutex pairs: 2747
Level 13:	Facts: 246 Actions: 2601 Mutex pairs: 3385
Level 14:	Facts: 276 Actions: 3204 Mutex pairs: 4114
Level 15:	Facts: 308 Actions: 3895 Mutex pairs: 4940
Level 16:	Facts: 342 Actions: 4680 Mutex pairs: 5869
Level 17:	Facts: 378 Actions: 5565 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 288364 millisecs
probblocks-34-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
38148 actions
39304 actions
40460 actions built
Level 1:	Facts: 52 Actions: 49 Mutex pairs: 72
Level 2:	Facts: 80 Actions: 138 Mutex pairs: 393
Level 3:	Facts: 110 Actions: 392 Mutex pairs: 806
Level 4:	Facts: 148 Actions: 778 Mutex pairs: 1475
Level 5:	Facts: 194 Actions: 1380 Mutex pairs: 2428
Level 6:	Facts: 248 Actions: 2246 Mutex pairs: 3713
Level 7:	Facts: 310 Actions: 3424 Mutex pairs: 5378
Level 8:	Facts: 380 Actions: 4962 Mutex pairs: 7471
Level 9:	Facts: 458 Actions: 6908 Mutex pairs: 10040

NO SOLUTION
Total time elapsed: 353937 millisecs
probblocks-35-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
41650 actions
42875 actions
44100 actions built
Level 1:	Facts: 75 Actions: 70 Mutex pairs: 295
Level 2:	Facts: 153 Actions: 409 Mutex pairs: 1805
Level 3:	Facts: 253 Actions: 1633 Mutex pairs: 4291
Level 4:	Facts: 383 Actions: 3876 Mutex pairs: 8443
Level 5:	Facts: 501 Actions: 7264 Mutex pairs: 12198

NO SOLUTION
Total time elapsed: 424495 millisecs
probblocks-35-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
41650 actions
42875 actions
44100 actions built
Level 1:	Facts: 53 Actions: 50 Mutex pairs: 72
Level 2:	Facts: 81 Actions: 139 Mutex pairs: 393
Level 3:	Facts: 109 Actions: 392 Mutex pairs: 782
Level 4:	Facts: 127 Actions: 697 Mutex pairs: 985
Level 5:	Facts: 147 Actions: 950 Mutex pairs: 1319
Level 6:	Facts: 169 Actions: 1261 Mutex pairs: 1720
Level 7:	Facts: 193 Actions: 1636 Mutex pairs: 2194
Level 8:	Facts: 219 Actions: 2081 Mutex pairs: 2747
Level 9:	Facts: 247 Actions: 2602 Mutex pairs: 3385
Level 10:	Facts: 277 Actions: 3205 Mutex pairs: 4114
Level 11:	Facts: 309 Actions: 3896 Mutex pairs: 4940
Level 12:	Facts: 343 Actions: 4681 Mutex pairs: 5869
Level 13:	Facts: 379 Actions: 5566 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 288868 millisecs
probblocks-36-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
45360 actions
46656 actions
47952 actions built
Level 1:	Facts: 54 Actions: 51 Mutex pairs: 72
Level 2:	Facts: 84 Actions: 141 Mutex pairs: 411
Level 3:	Facts: 132 Actions: 450 Mutex pairs: 1215
Level 4:	Facts: 198 Actions: 1155 Mutex pairs: 2640
Level 5:	Facts: 282 Actions: 2418 Mutex pairs: 4848
Level 6:	Facts: 384 Actions: 4401 Mutex pairs: 8001
Level 7:	Facts: 502 Actions: 7265 Mutex pairs: 12198

NO SOLUTION
Total time elapsed: 463512 millisecs
probblocks-36-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
45360 actions
46656 actions
47952 actions built
Level 1:	Facts: 46 Actions: 44 Mutex pairs: 25
Level 2:	Facts: 60 Actions: 78 Mutex pairs: 128
Level 3:	Facts: 80 Actions: 175 Mutex pairs: 355
Level 4:	Facts: 94 Actions: 342 Mutex pairs: 494
Level 5:	Facts: 110 Actions: 497 Mutex pairs: 712
Level 6:	Facts: 128 Actions: 698 Mutex pairs: 985
Level 7:	Facts: 148 Actions: 951 Mutex pairs: 1319
Level 8:	Facts: 170 Actions: 1262 Mutex pairs: 1720
Level 9:	Facts: 194 Actions: 1637 Mutex pairs: 2194
Level 10:	Facts: 220 Actions: 2082 Mutex pairs: 2747
Level 11:	Facts: 248 Actions: 2603 Mutex pairs: 3385
Level 12:	Facts: 278 Actions: 3206 Mutex pairs: 4114
Level 13:	Facts: 310 Actions: 3897 Mutex pairs: 4940
Level 14:	Facts: 344 Actions: 4682 Mutex pairs: 5869
Level 15:	Facts: 380 Actions: 5567 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 289451 millisecs
probblocks-37-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
49284 actions
50653 actions
52022 actions built
Level 1:	Facts: 47 Actions: 45 Mutex pairs: 25
Level 2:	Facts: 59 Actions: 78 Mutex pairs: 116
Level 3:	Facts: 69 Actions: 147 Mutex pairs: 199
Level 4:	Facts: 81 Actions: 228 Mutex pairs: 325
Level 5:	Facts: 95 Actions: 343 Mutex pairs: 494
Level 6:	Facts: 111 Actions: 498 Mutex pairs: 712
Level 7:	Facts: 129 Actions: 699 Mutex pairs: 985
Level 8:	Facts: 149 Actions: 952 Mutex pairs: 1319
Level 9:	Facts: 171 Actions: 1263 Mutex pairs: 1720
Level 10:	Facts: 195 Actions: 1638 Mutex pairs: 2194
Level 11:	Facts: 221 Actions: 2083 Mutex pairs: 2747
Level 12:	Facts: 249 Actions: 2604 Mutex pairs: 3385
Level 13:	Facts: 279 Actions: 3207 Mutex pairs: 4114
Level 14:	Facts: 311 Actions: 3898 Mutex pairs: 4940
Level 15:	Facts: 345 Actions: 4683 Mutex pairs: 5869
Level 16:	Facts: 381 Actions: 5568 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 305471 millisecs
probblocks-37-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for g1
No initial location for c1
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
49284 actions
50653 actions
52022 actions built
Level 1:	Facts: 73 Actions: 70 Mutex pairs: 265
Level 2:	Facts: 113 Actions: 311 Mutex pairs: 862
Level 3:	Facts: 151 Actions: 781 Mutex pairs: 1475
Level 4:	Facts: 197 Actions: 1383 Mutex pairs: 2428
Level 5:	Facts: 251 Actions: 2249 Mutex pairs: 3713
Level 6:	Facts: 313 Actions: 3427 Mutex pairs: 5378
Level 7:	Facts: 383 Actions: 4965 Mutex pairs: 7471

NO SOLUTION
Total time elapsed: 310113 millisecs
probblocks-38-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for v
No initial location for l
No initial location for g1
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
53428 actions
54872 actions
56316 actions built
Level 1:	Facts: 86 Actions: 83 Mutex pairs: 441
Level 2:	Facts: 132 Actions: 451 Mutex pairs: 1188
Level 3:	Facts: 172 Actions: 1052 Mutex pairs: 1880
Level 4:	Facts: 196 Actions: 1639 Mutex pairs: 2194
Level 5:	Facts: 222 Actions: 2084 Mutex pairs: 2747
Level 6:	Facts: 250 Actions: 2605 Mutex pairs: 3385
Level 7:	Facts: 280 Actions: 3208 Mutex pairs: 4114
Level 8:	Facts: 312 Actions: 3899 Mutex pairs: 4940
Level 9:	Facts: 346 Actions: 4684 Mutex pairs: 5869
Level 10:	Facts: 382 Actions: 5569 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 289938 millisecs
probblocks-38-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for b
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
53428 actions
54872 actions
56316 actions built
Level 1:	Facts: 76 Actions: 72 Mutex pairs: 280
Level 2:	Facts: 134 Actions: 360 Mutex pairs: 1279
Level 3:	Facts: 200 Actions: 1157 Mutex pairs: 2640
Level 4:	Facts: 282 Actions: 2419 Mutex pairs: 4803
Level 5:	Facts: 348 Actions: 4149 Mutex pairs: 6368
Level 6:	Facts: 422 Actions: 5885 Mutex pairs: 8693

NO SOLUTION
Total time elapsed: 336400 millisecs
probblocks-39-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
57798 actions
59319 actions
60840 actions built
Level 1:	Facts: 67 Actions: 63 Mutex pairs: 158
Level 2:	Facts: 119 Actions: 251 Mutex pairs: 952
Level 3:	Facts: 201 Actions: 958 Mutex pairs: 2794
Level 4:	Facts: 285 Actions: 2421 Mutex pairs: 4848
Level 5:	Facts: 385 Actions: 4403 Mutex pairs: 7947
Level 6:	Facts: 463 Actions: 6913 Mutex pairs: 10040

NO SOLUTION
Total time elapsed: 377545 millisecs
probblocks-39-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
57798 actions
59319 actions
60840 actions built
Level 1:	Facts: 67 Actions: 63 Mutex pairs: 158
Level 2:	Facts: 119 Actions: 251 Mutex pairs: 952
Level 3:	Facts: 201 Actions: 958 Mutex pairs: 2794
Level 4:	Facts: 283 Actions: 2420 Mutex pairs: 4803
Level 5:	Facts: 349 Actions: 4150 Mutex pairs: 6368
Level 6:	Facts: 423 Actions: 5886 Mutex pairs: 8693

NO SOLUTION
Total time elapsed: 331909 millisecs
probblocks-40-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for t
No initial location for m
No initial location for h
No initial location for d
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
62400 actions
64000 actions
65600 actions built
Level 1:	Facts: 86 Actions: 84 Mutex pairs: 423
Level 2:	Facts: 116 Actions: 398 Mutex pairs: 806
Level 3:	Facts: 154 Actions: 784 Mutex pairs: 1475
Level 4:	Facts: 200 Actions: 1386 Mutex pairs: 2428
Level 5:	Facts: 254 Actions: 2252 Mutex pairs: 3713
Level 6:	Facts: 314 Actions: 3429 Mutex pairs: 5330
Level 7:	Facts: 348 Actions: 4686 Mutex pairs: 5869
Level 8:	Facts: 384 Actions: 5571 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 304173 millisecs
probblocks-40-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for y
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
62400 actions
64000 actions
65600 actions built
Level 1:	Facts: 48 Actions: 47 Mutex pairs: 19
Level 2:	Facts: 54 Actions: 66 Mutex pairs: 52
Level 3:	Facts: 62 Actions: 97 Mutex pairs: 110
Level 4:	Facts: 72 Actions: 150 Mutex pairs: 199
Level 5:	Facts: 84 Actions: 231 Mutex pairs: 325
Level 6:	Facts: 98 Actions: 346 Mutex pairs: 494
Level 7:	Facts: 114 Actions: 501 Mutex pairs: 712
Level 8:	Facts: 132 Actions: 702 Mutex pairs: 985
Level 9:	Facts: 152 Actions: 955 Mutex pairs: 1319
Level 10:	Facts: 174 Actions: 1266 Mutex pairs: 1720
Level 11:	Facts: 198 Actions: 1641 Mutex pairs: 2194
Level 12:	Facts: 224 Actions: 2086 Mutex pairs: 2747
Level 13:	Facts: 252 Actions: 2607 Mutex pairs: 3385
Level 14:	Facts: 282 Actions: 3210 Mutex pairs: 4114
Level 15:	Facts: 314 Actions: 3901 Mutex pairs: 4940
Level 16:	Facts: 348 Actions: 4686 Mutex pairs: 5869
Level 17:	Facts: 384 Actions: 5571 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 306345 millisecs
probblocks-41-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for b
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
67240 actions
68921 actions
70602 actions built
Level 1:	Facts: 67 Actions: 64 Mutex pairs: 146
Level 2:	Facts: 103 Actions: 215 Mutex pairs: 620
Level 3:	Facts: 157 Actions: 638 Mutex pairs: 1613
Level 4:	Facts: 229 Actions: 1511 Mutex pairs: 3281
Level 5:	Facts: 317 Actions: 2995 Mutex pairs: 5738
Level 6:	Facts: 387 Actions: 4969 Mutex pairs: 7471
Level 7:	Facts: 465 Actions: 6915 Mutex pairs: 10040

NO SOLUTION
Total time elapsed: 382248 millisecs
probblocks-41-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for n
No initial location for b
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
67240 actions
68921 actions
70602 actions built
Level 1:	Facts: 91 Actions: 87 Mutex pairs: 459
Level 2:	Facts: 159 Actions: 515 Mutex pairs: 1733
Level 3:	Facts: 257 Actions: 1638 Mutex pairs: 4249
Level 4:	Facts: 351 Actions: 3654 Mutex pairs: 6784
Level 5:	Facts: 425 Actions: 5888 Mutex pairs: 8693

NO SOLUTION
Total time elapsed: 386946 millisecs
probblocks-42-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
72324 actions
74088 actions
75852 actions built
Level 1:	Facts: 96 Actions: 90 Mutex pairs: 495
Level 2:	Facts: 208 Actions: 647 Mutex pairs: 3108
Level 3:	Facts: 356 Actions: 2775 Mutex pairs: 7622
Level 4:	Facts: 512 Actions: 6533 Mutex pairs: 12964

NO SOLUTION
Total time elapsed: 386786 millisecs
probblocks-42-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
72324 actions
74088 actions
75852 actions built
Level 1:	Facts: 46 Actions: 45 Mutex pairs: 5
Level 2:	Facts: 50 Actions: 53 Mutex pairs: 19
Level 3:	Facts: 56 Actions: 68 Mutex pairs: 52
Level 4:	Facts: 64 Actions: 99 Mutex pairs: 110
Level 5:	Facts: 74 Actions: 152 Mutex pairs: 199
Level 6:	Facts: 86 Actions: 233 Mutex pairs: 325
Level 7:	Facts: 100 Actions: 348 Mutex pairs: 494
Level 8:	Facts: 116 Actions: 503 Mutex pairs: 712
Level 9:	Facts: 134 Actions: 704 Mutex pairs: 985
Level 10:	Facts: 154 Actions: 957 Mutex pairs: 1319
Level 11:	Facts: 176 Actions: 1268 Mutex pairs: 1720
Level 12:	Facts: 200 Actions: 1643 Mutex pairs: 2194
Level 13:	Facts: 226 Actions: 2088 Mutex pairs: 2747
Level 14:	Facts: 254 Actions: 2609 Mutex pairs: 3385
Level 15:	Facts: 284 Actions: 3212 Mutex pairs: 4114
Level 16:	Facts: 316 Actions: 3903 Mutex pairs: 4940
Level 17:	Facts: 350 Actions: 4688 Mutex pairs: 5869
Level 18:	Facts: 386 Actions: 5573 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 302257 millisecs
probblocks-43-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for n1
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
77658 actions
79507 actions
81356 actions built
Level 1:	Facts: 81 Actions: 77 Mutex pairs: 280
Level 2:	Facts: 141 Actions: 366 Mutex pairs: 1306
Level 3:	Facts: 231 Actions: 1269 Mutex pairs: 3473
Level 4:	Facts: 321 Actions: 2998 Mutex pairs: 5786
Level 5:	Facts: 427 Actions: 5256 Mutex pairs: 9233

NO SOLUTION
Total time elapsed: 378706 millisecs
probblocks-43-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
77658 actions
79507 actions
81356 actions built
Level 1:	Facts: 53 Actions: 51 Mutex pairs: 25
Level 2:	Facts: 67 Actions: 85 Mutex pairs: 128
Level 3:	Facts: 87 Actions: 182 Mutex pairs: 355
Level 4:	Facts: 101 Actions: 349 Mutex pairs: 494
Level 5:	Facts: 117 Actions: 504 Mutex pairs: 712
Level 6:	Facts: 135 Actions: 705 Mutex pairs: 985
Level 7:	Facts: 155 Actions: 958 Mutex pairs: 1319
Level 8:	Facts: 177 Actions: 1269 Mutex pairs: 1720
Level 9:	Facts: 201 Actions: 1644 Mutex pairs: 2194
Level 10:	Facts: 227 Actions: 2089 Mutex pairs: 2747
Level 11:	Facts: 255 Actions: 2610 Mutex pairs: 3385
Level 12:	Facts: 285 Actions: 3213 Mutex pairs: 4114
Level 13:	Facts: 317 Actions: 3904 Mutex pairs: 4940
Level 14:	Facts: 351 Actions: 4689 Mutex pairs: 5869
Level 15:	Facts: 387 Actions: 5574 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 304648 millisecs
probblocks-44-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r1
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for y
No initial location for r1
No initial location for a1
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
83248 actions
85184 actions
87120 actions built
Level 1:	Facts: 92 Actions: 89 Mutex pairs: 441
Level 2:	Facts: 140 Actions: 458 Mutex pairs: 1215
Level 3:	Facts: 204 Actions: 1162 Mutex pairs: 2604
Level 4:	Facts: 258 Actions: 2256 Mutex pairs: 3713
Level 5:	Facts: 320 Actions: 3434 Mutex pairs: 5378
Level 6:	Facts: 390 Actions: 4972 Mutex pairs: 7471

NO SOLUTION
Total time elapsed: 317256 millisecs
probblocks-44-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s
	r1
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for g1
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
83248 actions
85184 actions
87120 actions built
Level 1:	Facts: 70 Actions: 67 Mutex pairs: 146
Level 2:	Facts: 104 Actions: 217 Mutex pairs: 599
Level 3:	Facts: 138 Actions: 571 Mutex pairs: 1108
Level 4:	Facts: 180 Actions: 1059 Mutex pairs: 1913
Level 5:	Facts: 230 Actions: 1787 Mutex pairs: 3026
Level 6:	Facts: 288 Actions: 2803 Mutex pairs: 4495
Level 7:	Facts: 354 Actions: 4155 Mutex pairs: 6368
Level 8:	Facts: 428 Actions: 5891 Mutex pairs: 8693

NO SOLUTION
Total time elapsed: 343579 millisecs
probblocks-45-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s1
	s
	r1
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
89100 actions
91125 actions
93150 actions built
Level 1:	Facts: 55 Actions: 53 Mutex pairs: 25
Level 2:	Facts: 69 Actions: 87 Mutex pairs: 128
Level 3:	Facts: 91 Actions: 185 Mutex pairs: 373
Level 4:	Facts: 121 Actions: 403 Mutex pairs: 806
Level 5:	Facts: 159 Actions: 789 Mutex pairs: 1475
Level 6:	Facts: 205 Actions: 1391 Mutex pairs: 2428
Level 7:	Facts: 259 Actions: 2257 Mutex pairs: 3713
Level 8:	Facts: 321 Actions: 3435 Mutex pairs: 5378
Level 9:	Facts: 391 Actions: 4973 Mutex pairs: 7471

NO SOLUTION
Total time elapsed: 326599 millisecs
probblocks-45-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t
	s1
	s
	r1
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for s
No initial location for q1
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
89100 actions
91125 actions
93150 actions built
Level 1:	Facts: 95 Actions: 91 Mutex pairs: 459
Level 2:	Facts: 161 Actions: 518 Mutex pairs: 1703
Level 3:	Facts: 231 Actions: 1514 Mutex pairs: 3242
Level 4:	Facts: 289 Actions: 2804 Mutex pairs: 4495
Level 5:	Facts: 355 Actions: 4156 Mutex pairs: 6368
Level 6:	Facts: 427 Actions: 5891 Mutex pairs: 8636

NO SOLUTION
Total time elapsed: 322463 millisecs
probblocks-46-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t1
	t
	s1
	s
	r1
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for t
No initial location for q1
No initial location for o
No initial location for g
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
95220 actions
97336 actions
99452 actions built
Level 1:	Facts: 192 Actions: 185 Mutex pairs: 2728
Level 2:	Facts: 400 Actions: 2558 Mutex pairs: 9727

NO SOLUTION
Total time elapsed: 413389 millisecs
probblocks-46-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u
	t1
	t
	s1
	s
	r1
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
95220 actions
97336 actions
99452 actions built
Level 1:	Facts: 56 Actions: 54 Mutex pairs: 25
Level 2:	Facts: 70 Actions: 88 Mutex pairs: 128
Level 3:	Facts: 92 Actions: 186 Mutex pairs: 373
Level 4:	Facts: 120 Actions: 403 Mutex pairs: 782
Level 5:	Facts: 138 Actions: 708 Mutex pairs: 985
Level 6:	Facts: 158 Actions: 961 Mutex pairs: 1319
Level 7:	Facts: 180 Actions: 1272 Mutex pairs: 1720
Level 8:	Facts: 204 Actions: 1647 Mutex pairs: 2194
Level 9:	Facts: 230 Actions: 2092 Mutex pairs: 2747
Level 10:	Facts: 258 Actions: 2613 Mutex pairs: 3385
Level 11:	Facts: 288 Actions: 3216 Mutex pairs: 4114
Level 12:	Facts: 320 Actions: 3907 Mutex pairs: 4940
Level 13:	Facts: 354 Actions: 4692 Mutex pairs: 5869
Level 14:	Facts: 390 Actions: 5577 Mutex pairs: 6907

NO SOLUTION
Total time elapsed: 314828 millisecs
probblocks-47-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u1
	u
	t1
	t
	s1
	s
	r1
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for p1
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
101614 actions
103823 actions
106032 actions built
Level 1:	Facts: 73 Actions: 70 Mutex pairs: 146
Level 2:	Facts: 107 Actions: 220 Mutex pairs: 599
Level 3:	Facts: 141 Actions: 574 Mutex pairs: 1108
Level 4:	Facts: 183 Actions: 1062 Mutex pairs: 1913
Level 5:	Facts: 233 Actions: 1790 Mutex pairs: 3026
Level 6:	Facts: 291 Actions: 2806 Mutex pairs: 4495
Level 7:	Facts: 357 Actions: 4158 Mutex pairs: 6368
Level 8:	Facts: 431 Actions: 5894 Mutex pairs: 8693

NO SOLUTION
Total time elapsed: 344545 millisecs
probblocks-47-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v
	u1
	u
	t1
	t
	s1
	s
	r1
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for s1
No initial location for p
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
101614 actions
103823 actions
106032 actions built
Level 1:	Facts: 131 Actions: 125 Mutex pairs: 1084
Level 2:	Facts: 269 Actions: 1159 Mutex pairs: 4765
Level 3:	Facts: 479 Actions: 4357 Mutex pairs: 12484

NO SOLUTION
Total time elapsed: 399626 millisecs
probblocks-48-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v1
	v
	u1
	u
	t1
	t
	s1
	s
	r1
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
108288 actions
110592 actions
112896 actions built
Level 1:	Facts: 76 Actions: 72 Mutex pairs: 158
Level 2:	Facts: 128 Actions: 260 Mutex pairs: 952
Level 3:	Facts: 208 Actions: 966 Mutex pairs: 2758
Level 4:	Facts: 262 Actions: 2260 Mutex pairs: 3713
Level 5:	Facts: 324 Actions: 3438 Mutex pairs: 5378
Level 6:	Facts: 394 Actions: 4976 Mutex pairs: 7471

NO SOLUTION
Total time elapsed: 341488 millisecs
probblocks-48-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w
	v1
	v
	u1
	u
	t1
	t
	s1
	s
	r1
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for m
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
108288 actions
110592 actions
112896 actions built
Level 1:	Facts: 74 Actions: 71 Mutex pairs: 146
Level 2:	Facts: 110 Actions: 222 Mutex pairs: 620
Level 3:	Facts: 164 Actions: 645 Mutex pairs: 1613
Level 4:	Facts: 236 Actions: 1518 Mutex pairs: 3281
Level 5:	Facts: 324 Actions: 3002 Mutex pairs: 5738
Level 6:	Facts: 394 Actions: 4976 Mutex pairs: 7471

NO SOLUTION
Total time elapsed: 320601 millisecs
probblocks-49-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w1
	w
	v1
	v
	u1
	u
	t1
	t
	s1
	s
	r1
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
115248 actions
117649 actions
120050 actions built
Level 1:	Facts: 77 Actions: 73 Mutex pairs: 158
Level 2:	Facts: 129 Actions: 261 Mutex pairs: 952
Level 3:	Facts: 211 Actions: 968 Mutex pairs: 2794
Level 4:	Facts: 295 Actions: 2431 Mutex pairs: 4848
Level 5:	Facts: 397 Actions: 4414 Mutex pairs: 8001

NO SOLUTION
Total time elapsed: 350067 millisecs
probblocks-49-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x
	w1
	w
	v1
	v
	u1
	u
	t1
	t
	s1
	s
	r1
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for q1
No initial location for c
No initial location for a1
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
115248 actions
117649 actions
120050 actions built
Level 1:	Facts: 131 Actions: 126 Mutex pairs: 1060
Level 2:	Facts: 239 Actions: 1062 Mutex pairs: 3680
Level 3:	Facts: 361 Actions: 3203 Mutex pairs: 7219
Level 4:	Facts: 475 Actions: 6216 Mutex pairs: 10708

NO SOLUTION
Total time elapsed: 382202 millisecs
probblocks-50-0.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x1
	x
	w1
	w
	v1
	v
	u1
	u
	t1
	t
	s1
	s
	r1
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for x
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
122500 actions
125000 actions
127500 actions built
Level 1:	Facts: 102 Actions: 97 Mutex pairs: 477
Level 2:	Facts: 192 Actions: 588 Mutex pairs: 2372
Level 3:	Facts: 330 Actions: 2242 Mutex pairs: 6464
Level 4:	Facts: 476 Actions: 5553 Mutex pairs: 11278

NO SOLUTION
Total time elapsed: 370060 millisecs
probblocks-50-1.pddl
Now finding take-offs and lands for unsafe mobiles
For mobiles: 	z
	y
	x1
	x
	w1
	w
	v1
	v
	u1
	u
	t1
	t
	s1
	s
	r1
	r
	q1
	q
	p1
	p
	o1
	o
	n1
	n
	m1
	m
	l1
	l
	k1
	k
	j1
	j
	i1
	i
	h1
	h
	g1
	g
	f1
	f
	e1
	e
	d1
	d
	c1
	c
	b1
	b
	a1
	a
Flyer is: 
ontable1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
clear1 - move_x_from_table_to_y is a candidate land operator
Flyer is: 
ontable1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_table is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate take-off operator
Flyer is: 
clear1 - move_x_from_y_to_z is a candidate land operator
No initial location for u
No initial location for q
Must abstract on(x,y) in move_x_from_y_to_table(x,y)
Domain analysis results:
Mobiles: Yes
Irreversible moves: No
Costly moves: No
Impact Analysis:
Safety: 0
Abstract moves: 1 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
122500 actions
125000 actions
127500 actions built
Level 1:	Facts: 86 Actions: 83 Mutex pairs: 265
Level 2:	Facts: 128 Actions: 325 Mutex pairs: 886
Level 3:	Facts: 188 Actions: 880 Mutex pairs: 2086
Level 4:	Facts: 266 Actions: 1939 Mutex pairs: 4015
Level 5:	Facts: 362 Actions: 3664 Mutex pairs: 6835
Level 6:	Facts: 474 Actions: 6216 Mutex pairs: 10648

NO SOLUTION
Total time elapsed: 387879 millisecs
