probBLOCKS-4-0.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
16 actions
32 actions
36 actions
40 actions built
Level 1:	Facts: 13 Actions: 13 Mutex pairs: 18
Level 2:	Facts: 25 Actions: 33 Mutex pairs: 156
Level 3:	Facts: 25 Actions: 57 Mutex pairs: 132
Level 4:	Facts: 25 Actions: 57 Mutex pairs: 96
Initial layer complete at: 4
Level 5:	Facts: 25 Actions: 57 Mutex pairs: 96
Leveled at 4
Layer 6


Time: 1   	pick-up(b)
Time: 2   	stack(b,a)
Time: 3   	pick-up(c)
Time: 4   	stack(c,b)
Time: 5   	pick-up(d)
Time: 6   	stack(d,c)
Total time elapsed: 75 millisecs
CPU Time: 0.04 seconds
probBLOCKS-4-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
16 actions
32 actions
36 actions
40 actions built
Level 1:	Facts: 8 Actions: 7 Mutex pairs: 6
Level 2:	Facts: 9 Actions: 11 Mutex pairs: 6
Level 3:	Facts: 11 Actions: 14 Mutex pairs: 16
Level 4:	Facts: 13 Actions: 19 Mutex pairs: 24
Level 5:	Facts: 15 Actions: 24 Mutex pairs: 36
Level 6:	Facts: 19 Actions: 31 Mutex pairs: 68
Level 7:	Facts: 20 Actions: 40 Mutex pairs: 69
Level 8:	Facts: 25 Actions: 47 Mutex pairs: 126
Level 9:	Facts: 25 Actions: 57 Mutex pairs: 110
Level 10:	Facts: 25 Actions: 57 Mutex pairs: 96
Initial layer complete at: 10


Time: 1   	unstack(b,c)
Time: 2   	put-down(b)
Time: 3   	unstack(c,a)
Time: 4   	put-down(c)
Time: 5   	unstack(a,d)
Time: 6   	stack(a,b)
Time: 7   	pick-up(c)
Time: 8   	stack(c,a)
Time: 9   	pick-up(d)
Time: 10   	stack(d,c)
Total time elapsed: 36 millisecs
CPU Time: 0.03 seconds
probBLOCKS-4-2.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
16 actions
32 actions
36 actions
40 actions built
Level 1:	Facts: 12 Actions: 11 Mutex pairs: 17
Level 2:	Facts: 19 Actions: 25 Mutex pairs: 74
Level 3:	Facts: 20 Actions: 40 Mutex pairs: 73
Level 4:	Facts: 25 Actions: 47 Mutex pairs: 128
Level 5:	Facts: 25 Actions: 57 Mutex pairs: 110
Level 6:	Facts: 25 Actions: 57 Mutex pairs: 96
Initial layer complete at: 6


Time: 1   	unstack(c,b)
Time: 2   	stack(c,d)
Time: 3   	pick-up(b)
Time: 4   	stack(b,c)
Time: 5   	pick-up(a)
Time: 6   	stack(a,b)
Total time elapsed: 30 millisecs
CPU Time: 0.04 seconds
probBLOCKS-5-0.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
25 actions
50 actions
55 actions
60 actions built
Level 1:	Facts: 11 Actions: 10 Mutex pairs: 11
Level 2:	Facts: 14 Actions: 18 Mutex pairs: 24
Level 3:	Facts: 16 Actions: 25 Mutex pairs: 36
Level 4:	Facts: 20 Actions: 32 Mutex pairs: 68
Level 5:	Facts: 22 Actions: 41 Mutex pairs: 79
Level 6:	Facts: 28 Actions: 50 Mutex pairs: 149
Level 7:	Facts: 29 Actions: 63 Mutex pairs: 137
Level 8:	Facts: 36 Actions: 72 Mutex pairs: 241
Level 9:	Facts: 36 Actions: 86 Mutex pairs: 205
Level 10:	Facts: 36 Actions: 86 Mutex pairs: 175
Initial layer complete at: 10
Level 11:	Facts: 36 Actions: 86 Mutex pairs: 175
Leveled at 10
Layer 12


Time: 1   	unstack(c,e)
Time: 2   	put-down(c)
Time: 3   	unstack(e,b)
Time: 4   	put-down(e)
Time: 5   	pick-up(d)
Time: 6   	stack(d,c)
Time: 7   	unstack(b,a)
Time: 8   	stack(b,d)
Time: 9   	pick-up(e)
Time: 10   	stack(e,b)
Time: 11   	pick-up(a)
Time: 12   	stack(a,e)
Total time elapsed: 71 millisecs
CPU Time: 0.08 seconds
probBLOCKS-5-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
25 actions
50 actions
55 actions
60 actions built
Level 1:	Facts: 13 Actions: 12 Mutex pairs: 17
Level 2:	Facts: 20 Actions: 26 Mutex pairs: 74
Level 3:	Facts: 22 Actions: 41 Mutex pairs: 84
Level 4:	Facts: 28 Actions: 50 Mutex pairs: 152
Level 5:	Facts: 29 Actions: 63 Mutex pairs: 137
Level 6:	Facts: 36 Actions: 72 Mutex pairs: 241
Level 7:	Facts: 36 Actions: 86 Mutex pairs: 205
Level 8:	Facts: 36 Actions: 86 Mutex pairs: 175
Initial layer complete at: 8
Level 9:	Facts: 36 Actions: 86 Mutex pairs: 175
Leveled at 8
Layer 10


Time: 1   	unstack(b,a)
Time: 2   	stack(b,c)
Time: 3   	unstack(a,d)
Time: 4   	stack(a,e)
Time: 5   	unstack(b,c)
Time: 6   	stack(b,a)
Time: 7   	pick-up(c)
Time: 8   	stack(c,b)
Time: 9   	pick-up(d)
Time: 10   	stack(d,c)
Total time elapsed: 59 millisecs
CPU Time: 0.08 seconds
probBLOCKS-5-2.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
25 actions
50 actions
55 actions
60 actions built
Level 1:	Facts: 9 Actions: 8 Mutex pairs: 6
Level 2:	Facts: 10 Actions: 12 Mutex pairs: 6
Level 3:	Facts: 12 Actions: 15 Mutex pairs: 16
Level 4:	Facts: 14 Actions: 20 Mutex pairs: 24
Level 5:	Facts: 16 Actions: 25 Mutex pairs: 36
Level 6:	Facts: 20 Actions: 32 Mutex pairs: 68
Level 7:	Facts: 22 Actions: 41 Mutex pairs: 79
Level 8:	Facts: 28 Actions: 50 Mutex pairs: 149
Level 9:	Facts: 29 Actions: 63 Mutex pairs: 137
Level 10:	Facts: 36 Actions: 72 Mutex pairs: 241
Level 11:	Facts: 36 Actions: 86 Mutex pairs: 205
Level 12:	Facts: 36 Actions: 86 Mutex pairs: 175
Initial layer complete at: 12
Level 13:	Facts: 36 Actions: 86 Mutex pairs: 175
Leveled at 12
Layer 14
Layer 15
Layer 16


Time: 1   	unstack(d,e)
Time: 2   	put-down(d)
Time: 3   	unstack(e,c)
Time: 4   	put-down(e)
Time: 5   	unstack(c,a)
Time: 6   	stack(c,d)
Time: 7   	unstack(a,b)
Time: 8   	put-down(a)
Time: 9   	pick-up(e)
Time: 10   	stack(e,a)
Time: 11   	pick-up(b)
Time: 12   	stack(b,e)
Time: 13   	unstack(c,d)
Time: 14   	stack(c,b)
Time: 15   	pick-up(d)
Time: 16   	stack(d,c)
Total time elapsed: 62 millisecs
CPU Time: 0.08 seconds
probBLOCKS-6-0.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
36 actions
72 actions
78 actions
84 actions built
Level 1:	Facts: 13 Actions: 11 Mutex pairs: 16
Level 2:	Facts: 17 Actions: 21 Mutex pairs: 36
Level 3:	Facts: 21 Actions: 31 Mutex pairs: 69
Level 4:	Facts: 29 Actions: 45 Mutex pairs: 170
Level 5:	Facts: 33 Actions: 65 Mutex pairs: 207
Level 6:	Facts: 47 Actions: 87 Mutex pairs: 527
Level 7:	Facts: 49 Actions: 117 Mutex pairs: 457
Level 8:	Facts: 49 Actions: 121 Mutex pairs: 321
Level 9:	Facts: 49 Actions: 121 Mutex pairs: 290
Initial layer complete at: 9
Level 10:	Facts: 49 Actions: 121 Mutex pairs: 288
Trying a subset at level: 10
on(c,b) on(b,a) on(a,e) 
Level 11:	Facts: 49 Actions: 121 Mutex pairs: 288
Leveled at 10
Layer 12


Time: 1   	unstack(d,a)
Time: 2   	put-down(d)
Time: 3   	unstack(f,e)
Time: 4   	stack(f,d)
Time: 5   	unstack(e,b)
Time: 6   	stack(e,f)
Time: 7   	unstack(a,c)
Time: 8   	stack(a,e)
Time: 9   	pick-up(b)
Time: 10   	stack(b,a)
Time: 11   	pick-up(c)
Time: 12   	stack(c,b)
Total time elapsed: 115 millisecs
CPU Time: 0.11 seconds
probBLOCKS-6-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
36 actions
72 actions
78 actions
84 actions built
Level 1:	Facts: 18 Actions: 17 Mutex pairs: 32
Level 2:	Facts: 39 Actions: 49 Mutex pairs: 402
Level 3:	Facts: 40 Actions: 92 Mutex pairs: 347
Level 4:	Facts: 49 Actions: 103 Mutex pairs: 440
Level 5:	Facts: 49 Actions: 121 Mutex pairs: 340
Level 6:	Facts: 49 Actions: 121 Mutex pairs: 288
Initial layer complete at: 6
Level 7:	Facts: 49 Actions: 121 Mutex pairs: 288
Leveled at 6
Layer 8
Layer 9
Layer 10


Time: 1   	unstack(a,f)
Time: 2   	stack(a,d)
Time: 3   	pick-up(b)
Time: 4   	stack(b,a)
Time: 5   	pick-up(c)
Time: 6   	stack(c,b)
Time: 7   	pick-up(f)
Time: 8   	stack(f,c)
Time: 9   	pick-up(e)
Time: 10   	stack(e,f)
Total time elapsed: 340 millisecs
CPU Time: 0.09 seconds
probBLOCKS-6-2.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
36 actions
72 actions
78 actions
84 actions built
Level 1:	Facts: 10 Actions: 9 Mutex pairs: 6
Level 2:	Facts: 11 Actions: 13 Mutex pairs: 6
Level 3:	Facts: 13 Actions: 16 Mutex pairs: 16
Level 4:	Facts: 15 Actions: 21 Mutex pairs: 24
Level 5:	Facts: 17 Actions: 26 Mutex pairs: 36
Level 6:	Facts: 21 Actions: 33 Mutex pairs: 68
Level 7:	Facts: 23 Actions: 42 Mutex pairs: 79
Level 8:	Facts: 29 Actions: 51 Mutex pairs: 149
Level 9:	Facts: 31 Actions: 64 Mutex pairs: 150
Level 10:	Facts: 39 Actions: 75 Mutex pairs: 272
Level 11:	Facts: 40 Actions: 92 Mutex pairs: 239
Level 12:	Facts: 49 Actions: 103 Mutex pairs: 404
Level 13:	Facts: 49 Actions: 121 Mutex pairs: 340
Level 14:	Facts: 49 Actions: 121 Mutex pairs: 288
Initial layer complete at: 14
Level 15:	Facts: 49 Actions: 121 Mutex pairs: 288
Leveled at 14
Layer 16
Layer 17
Layer 18
Layer 19
Layer 20


Time: 1   	unstack(a,d)
Time: 2   	put-down(a)
Time: 3   	unstack(d,b)
Time: 4   	put-down(d)
Time: 5   	unstack(b,f)
Time: 6   	stack(b,a)
Time: 7   	unstack(f,e)
Time: 8   	put-down(f)
Time: 9   	unstack(e,c)
Time: 10   	put-down(e)
Time: 11   	pick-up(c)
Time: 12   	stack(c,d)
Time: 13   	unstack(b,a)
Time: 14   	stack(b,c)
Time: 15   	pick-up(a)
Time: 16   	stack(a,b)
Time: 17   	pick-up(f)
Time: 18   	stack(f,a)
Time: 19   	pick-up(e)
Time: 20   	stack(e,f)
Total time elapsed: 268 millisecs
CPU Time: 0.11 seconds
probBLOCKS-7-0.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
49 actions
98 actions
105 actions
112 actions built
Level 1:	Facts: 11 Actions: 10 Mutex pairs: 6
Level 2:	Facts: 12 Actions: 14 Mutex pairs: 6
Level 3:	Facts: 14 Actions: 17 Mutex pairs: 16
Level 4:	Facts: 16 Actions: 22 Mutex pairs: 24
Level 5:	Facts: 18 Actions: 27 Mutex pairs: 36
Level 6:	Facts: 22 Actions: 34 Mutex pairs: 68
Level 7:	Facts: 24 Actions: 43 Mutex pairs: 79
Level 8:	Facts: 30 Actions: 52 Mutex pairs: 149
Level 9:	Facts: 32 Actions: 65 Mutex pairs: 150
Level 10:	Facts: 40 Actions: 76 Mutex pairs: 272
Level 11:	Facts: 42 Actions: 93 Mutex pairs: 255
Level 12:	Facts: 52 Actions: 106 Mutex pairs: 443
Level 13:	Facts: 53 Actions: 127 Mutex pairs: 381
Level 14:	Facts: 64 Actions: 140 Mutex pairs: 621
Level 15:	Facts: 64 Actions: 162 Mutex pairs: 521
Level 16:	Facts: 64 Actions: 162 Mutex pairs: 441
Initial layer complete at: 16
Level 17:	Facts: 64 Actions: 162 Mutex pairs: 441
Leveled at 16
Layer 18
Layer 19
Layer 20


Time: 1   	unstack(e,g)
Time: 2   	put-down(e)
Time: 3   	unstack(g,b)
Time: 4   	put-down(g)
Time: 5   	unstack(b,a)
Time: 6   	stack(b,g)
Time: 7   	unstack(a,f)
Time: 8   	put-down(a)
Time: 9   	unstack(f,c)
Time: 10   	stack(f,e)
Time: 11   	unstack(c,d)
Time: 12   	stack(c,f)
Time: 13   	unstack(b,g)
Time: 14   	stack(b,c)
Time: 15   	pick-up(d)
Time: 16   	stack(d,b)
Time: 17   	pick-up(g)
Time: 18   	stack(g,d)
Time: 19   	pick-up(a)
Time: 20   	stack(a,g)
Total time elapsed: 181 millisecs
CPU Time: 0.19 seconds
probBLOCKS-7-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
49 actions
98 actions
105 actions
112 actions built
Level 1:	Facts: 14 Actions: 12 Mutex pairs: 16
Level 2:	Facts: 18 Actions: 22 Mutex pairs: 36
Level 3:	Facts: 21 Actions: 32 Mutex pairs: 58
Level 4:	Facts: 28 Actions: 44 Mutex pairs: 141
Level 5:	Facts: 32 Actions: 61 Mutex pairs: 180
Level 6:	Facts: 40 Actions: 76 Mutex pairs: 308
Level 7:	Facts: 42 Actions: 93 Mutex pairs: 268
Level 8:	Facts: 52 Actions: 106 Mutex pairs: 454
Level 9:	Facts: 53 Actions: 127 Mutex pairs: 381
Level 10:	Facts: 64 Actions: 140 Mutex pairs: 621
Level 11:	Facts: 64 Actions: 162 Mutex pairs: 521
Level 12:	Facts: 64 Actions: 162 Mutex pairs: 441
Initial layer complete at: 12
Level 13:	Facts: 64 Actions: 162 Mutex pairs: 441
Leveled at 12
Layer 14
Layer 15
Layer 16
Layer 17
Layer 18
Layer 19
Layer 20
Layer 21
Layer 22


Time: 1   	unstack(c,d)
Time: 2   	put-down(c)
Time: 3   	unstack(d,b)
Time: 4   	put-down(d)
Time: 5   	unstack(b,e)
Time: 6   	put-down(b)
Time: 7   	unstack(a,g)
Time: 8   	put-down(a)
Time: 9   	unstack(e,f)
Time: 10   	stack(e,a)
Time: 11   	pick-up(c)
Time: 12   	stack(c,d)
Time: 13   	pick-up(g)
Time: 14   	stack(g,c)
Time: 15   	pick-up(f)
Time: 16   	stack(f,g)
Time: 17   	pick-up(b)
Time: 18   	stack(b,f)
Time: 19   	unstack(e,a)
Time: 20   	stack(e,b)
Time: 21   	pick-up(a)
Time: 22   	stack(a,e)
Total time elapsed: 1059 millisecs
CPU Time: 0.48 seconds
probBLOCKS-7-2.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
49 actions
98 actions
105 actions
112 actions built
Level 1:	Facts: 14 Actions: 12 Mutex pairs: 16
Level 2:	Facts: 18 Actions: 22 Mutex pairs: 36
Level 3:	Facts: 21 Actions: 32 Mutex pairs: 58
Level 4:	Facts: 28 Actions: 44 Mutex pairs: 141
Level 5:	Facts: 32 Actions: 61 Mutex pairs: 180
Level 6:	Facts: 40 Actions: 76 Mutex pairs: 308
Level 7:	Facts: 42 Actions: 93 Mutex pairs: 268
Level 8:	Facts: 52 Actions: 106 Mutex pairs: 454
Level 9:	Facts: 53 Actions: 127 Mutex pairs: 381
Level 10:	Facts: 64 Actions: 140 Mutex pairs: 621
Level 11:	Facts: 64 Actions: 162 Mutex pairs: 521
Level 12:	Facts: 64 Actions: 162 Mutex pairs: 441
Initial layer complete at: 12
Level 13:	Facts: 64 Actions: 162 Mutex pairs: 441
Leveled at 12
Layer 14
Layer 15
Layer 16
Layer 17
Layer 18
Layer 19
Layer 20


Time: 1   	unstack(b,c)
Time: 2   	put-down(b)
Time: 3   	unstack(c,g)
Time: 4   	stack(c,b)
Time: 5   	unstack(g,e)
Time: 6   	put-down(g)
Time: 7   	unstack(e,f)
Time: 8   	put-down(e)
Time: 9   	unstack(c,b)
Time: 10   	stack(c,g)
Time: 11   	unstack(a,d)
Time: 12   	stack(a,c)
Time: 13   	pick-up(d)
Time: 14   	stack(d,a)
Time: 15   	pick-up(f)
Time: 16   	stack(f,d)
Time: 17   	pick-up(b)
Time: 18   	stack(b,f)
Time: 19   	pick-up(e)
Time: 20   	stack(e,b)
Total time elapsed: 696 millisecs
CPU Time: 0.25 seconds
probBLOCKS-8-0.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
64 actions
128 actions
136 actions
144 actions built
Level 1:	Facts: 19 Actions: 17 Mutex pairs: 31
Level 2:	Facts: 33 Actions: 41 Mutex pairs: 220
Level 3:	Facts: 37 Actions: 71 Mutex pairs: 249
Level 4:	Facts: 53 Actions: 93 Mutex pairs: 602
Level 5:	Facts: 57 Actions: 129 Mutex pairs: 555
Level 6:	Facts: 79 Actions: 159 Mutex pairs: 1293
Level 7:	Facts: 81 Actions: 205 Mutex pairs: 1033
Level 8:	Facts: 81 Actions: 209 Mutex pairs: 699
Level 9:	Facts: 81 Actions: 209 Mutex pairs: 642
Initial layer complete at: 9
Level 10:	Facts: 81 Actions: 209 Mutex pairs: 640
Trying a subset at level: 10
on(f,e) on(e,h) on(d,f) 
Level 11:	Facts: 81 Actions: 209 Mutex pairs: 640
Leveled at 10
Layer 12
Layer 13
Layer 14
Layer 15
Layer 16
Layer 17
Layer 18


Time: 1   	unstack(a,g)
Time: 2   	stack(a,d)
Time: 3   	unstack(g,e)
Time: 4   	stack(g,b)
Time: 5   	unstack(a,d)
Time: 6   	stack(a,g)
Time: 7   	pick-up(c)
Time: 8   	stack(c,a)
Time: 9   	unstack(d,h)
Time: 10   	put-down(d)
Time: 11   	unstack(h,f)
Time: 12   	stack(h,c)
Time: 13   	pick-up(e)
Time: 14   	stack(e,h)
Time: 15   	pick-up(f)
Time: 16   	stack(f,e)
Time: 17   	pick-up(d)
Time: 18   	stack(d,f)
Total time elapsed: 903 millisecs
CPU Time: 0.47 seconds
probBLOCKS-8-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
64 actions
128 actions
136 actions
144 actions built
Level 1:	Facts: 19 Actions: 17 Mutex pairs: 31
Level 2:	Facts: 33 Actions: 41 Mutex pairs: 220
Level 3:	Facts: 36 Actions: 71 Mutex pairs: 228
Level 4:	Facts: 51 Actions: 91 Mutex pairs: 545
Level 5:	Facts: 55 Actions: 124 Mutex pairs: 514
Level 6:	Facts: 67 Actions: 143 Mutex pairs: 772
Level 7:	Facts: 68 Actions: 168 Mutex pairs: 598
Level 8:	Facts: 81 Actions: 183 Mutex pairs: 923
Level 9:	Facts: 81 Actions: 209 Mutex pairs: 754
Level 10:	Facts: 81 Actions: 209 Mutex pairs: 640
Initial layer complete at: 10
Level 11:	Facts: 81 Actions: 209 Mutex pairs: 640
Leveled at 10
Layer 12
Layer 13
Layer 14
Layer 15
Layer 16
Layer 17
Layer 18
Layer 19
Layer 20


Time: 1   	unstack(h,a)
Time: 2   	stack(h,f)
Time: 3   	unstack(e,c)
Time: 4   	put-down(e)
Time: 5   	unstack(a,b)
Time: 6   	stack(a,e)
Time: 7   	unstack(b,g)
Time: 8   	stack(b,d)
Time: 9   	unstack(h,f)
Time: 10   	stack(h,a)
Time: 11   	pick-up(f)
Time: 12   	stack(f,h)
Time: 13   	pick-up(g)
Time: 14   	stack(g,f)
Time: 15   	unstack(b,d)
Time: 16   	stack(b,g)
Time: 17   	pick-up(d)
Time: 18   	stack(d,b)
Time: 19   	pick-up(c)
Time: 20   	stack(c,d)
Total time elapsed: 1061 millisecs
CPU Time: 0.58 seconds
probBLOCKS-8-2.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
64 actions
128 actions
136 actions
144 actions built
Level 1:	Facts: 20 Actions: 19 Mutex pairs: 32
Level 2:	Facts: 41 Actions: 51 Mutex pairs: 402
Level 3:	Facts: 43 Actions: 94 Mutex pairs: 372
Level 4:	Facts: 53 Actions: 107 Mutex pairs: 488
Level 5:	Facts: 55 Actions: 128 Mutex pairs: 400
Level 6:	Facts: 67 Actions: 143 Mutex pairs: 668
Level 7:	Facts: 68 Actions: 168 Mutex pairs: 569
Level 8:	Facts: 81 Actions: 183 Mutex pairs: 898
Level 9:	Facts: 81 Actions: 209 Mutex pairs: 754
Level 10:	Facts: 81 Actions: 209 Mutex pairs: 640
Initial layer complete at: 10
Level 11:	Facts: 81 Actions: 209 Mutex pairs: 640
Leveled at 10
Layer 12
Layer 13
Layer 14
Layer 15
Layer 16


Time: 1   	unstack(d,b)
Time: 2   	stack(d,h)
Time: 3   	unstack(b,f)
Time: 4   	stack(b,c)
Time: 5   	pick-up(a)
Time: 6   	stack(a,d)
Time: 7   	unstack(f,g)
Time: 8   	stack(f,a)
Time: 9   	pick-up(g)
Time: 10   	stack(g,f)
Time: 11   	pick-up(e)
Time: 12   	stack(e,g)
Time: 13   	unstack(b,c)
Time: 14   	stack(b,e)
Time: 15   	pick-up(c)
Time: 16   	stack(c,b)
Total time elapsed: 613 millisecs
CPU Time: 0.31 seconds
probBLOCKS-9-0.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
81 actions
162 actions
171 actions
180 actions built
Level 1:	Facts: 15 Actions: 14 Mutex pairs: 11
Level 2:	Facts: 18 Actions: 22 Mutex pairs: 24
Level 3:	Facts: 20 Actions: 29 Mutex pairs: 36
Level 4:	Facts: 24 Actions: 36 Mutex pairs: 68
Level 5:	Facts: 26 Actions: 45 Mutex pairs: 79
Level 6:	Facts: 32 Actions: 54 Mutex pairs: 149
Level 7:	Facts: 34 Actions: 67 Mutex pairs: 150
Level 8:	Facts: 42 Actions: 78 Mutex pairs: 272
Level 9:	Facts: 44 Actions: 95 Mutex pairs: 255
Level 10:	Facts: 54 Actions: 108 Mutex pairs: 443
Level 11:	Facts: 56 Actions: 129 Mutex pairs: 400
Level 12:	Facts: 68 Actions: 144 Mutex pairs: 668
Level 13:	Facts: 70 Actions: 169 Mutex pairs: 591
Level 14:	Facts: 84 Actions: 186 Mutex pairs: 953
Level 15:	Facts: 85 Actions: 215 Mutex pairs: 809
Level 16:	Facts: 100 Actions: 232 Mutex pairs: 1241
Level 17:	Facts: 100 Actions: 262 Mutex pairs: 1045
Level 18:	Facts: 100 Actions: 262 Mutex pairs: 891
Initial layer complete at: 18
Level 19:	Facts: 100 Actions: 262 Mutex pairs: 891
Leveled at 18
Layer 20
Layer 21
Layer 22
Layer 23
Layer 24
Layer 25
Layer 26
Layer 27
Layer 28
Layer 29
Layer 30


Time: 1   	unstack(f,g)
Time: 2   	put-down(f)
Time: 3   	unstack(g,e)
Time: 4   	put-down(g)
Time: 5   	unstack(e,a)
Time: 6   	stack(e,f)
Time: 7   	unstack(a,i)
Time: 8   	stack(a,c)
Time: 9   	unstack(i,d)
Time: 10   	stack(i,a)
Time: 11   	unstack(d,h)
Time: 12   	stack(d,g)
Time: 13   	unstack(h,b)
Time: 14   	put-down(h)
Time: 15   	unstack(e,f)
Time: 16   	stack(e,h)
Time: 17   	pick-up(f)
Time: 18   	stack(f,e)
Time: 19   	unstack(i,a)
Time: 20   	stack(i,f)
Time: 21   	unstack(a,c)
Time: 22   	stack(a,i)
Time: 23   	pick-up(c)
Time: 24   	stack(c,a)
Time: 25   	pick-up(b)
Time: 26   	stack(b,c)
Time: 27   	unstack(d,g)
Time: 28   	stack(d,b)
Time: 29   	pick-up(g)
Time: 30   	stack(g,d)
Total time elapsed: 1526 millisecs
CPU Time: 1.08 seconds
probBLOCKS-9-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
81 actions
162 actions
171 actions
180 actions built
Level 1:	Facts: 13 Actions: 12 Mutex pairs: 6
Level 2:	Facts: 14 Actions: 16 Mutex pairs: 6
Level 3:	Facts: 16 Actions: 19 Mutex pairs: 16
Level 4:	Facts: 18 Actions: 24 Mutex pairs: 24
Level 5:	Facts: 20 Actions: 29 Mutex pairs: 36
Level 6:	Facts: 24 Actions: 36 Mutex pairs: 68
Level 7:	Facts: 26 Actions: 45 Mutex pairs: 79
Level 8:	Facts: 32 Actions: 54 Mutex pairs: 149
Level 9:	Facts: 34 Actions: 67 Mutex pairs: 150
Level 10:	Facts: 42 Actions: 78 Mutex pairs: 272
Level 11:	Facts: 44 Actions: 95 Mutex pairs: 255
Level 12:	Facts: 54 Actions: 108 Mutex pairs: 443
Level 13:	Facts: 56 Actions: 129 Mutex pairs: 400
Level 14:	Facts: 68 Actions: 144 Mutex pairs: 668
Level 15:	Facts: 70 Actions: 169 Mutex pairs: 591
Level 16:	Facts: 84 Actions: 186 Mutex pairs: 953
Level 17:	Facts: 85 Actions: 215 Mutex pairs: 809
Level 18:	Facts: 100 Actions: 232 Mutex pairs: 1241
Level 19:	Facts: 100 Actions: 262 Mutex pairs: 1045
Level 20:	Facts: 100 Actions: 262 Mutex pairs: 891
Initial layer complete at: 20
Level 21:	Facts: 100 Actions: 262 Mutex pairs: 891
Leveled at 20
Layer 22
Layer 23
Layer 24
Layer 25
Layer 26
Layer 27
Layer 28


Time: 1   	unstack(f,e)
Time: 2   	put-down(f)
Time: 3   	unstack(e,b)
Time: 4   	stack(e,f)
Time: 5   	unstack(b,d)
Time: 6   	put-down(b)
Time: 7   	unstack(d,c)
Time: 8   	put-down(d)
Time: 9   	unstack(c,i)
Time: 10   	put-down(c)
Time: 11   	unstack(i,g)
Time: 12   	stack(i,d)
Time: 13   	unstack(e,f)
Time: 14   	stack(e,c)
Time: 15   	pick-up(f)
Time: 16   	stack(f,e)
Time: 17   	unstack(g,h)
Time: 18   	stack(g,f)
Time: 19   	unstack(h,a)
Time: 20   	stack(h,g)
Time: 21   	pick-up(b)
Time: 22   	stack(b,h)
Time: 23   	pick-up(a)
Time: 24   	stack(a,b)
Time: 25   	unstack(i,d)
Time: 26   	stack(i,a)
Time: 27   	pick-up(d)
Time: 28   	stack(d,i)
Total time elapsed: 1509 millisecs
CPU Time: 0.63 seconds
probBLOCKS-9-2.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
81 actions
162 actions
171 actions
180 actions built
Level 1:	Facts: 15 Actions: 14 Mutex pairs: 11
Level 2:	Facts: 18 Actions: 22 Mutex pairs: 24
Level 3:	Facts: 20 Actions: 29 Mutex pairs: 36
Level 4:	Facts: 24 Actions: 36 Mutex pairs: 68
Level 5:	Facts: 26 Actions: 45 Mutex pairs: 79
Level 6:	Facts: 32 Actions: 54 Mutex pairs: 149
Level 7:	Facts: 34 Actions: 67 Mutex pairs: 150
Level 8:	Facts: 42 Actions: 78 Mutex pairs: 272
Level 9:	Facts: 44 Actions: 95 Mutex pairs: 255
Level 10:	Facts: 54 Actions: 108 Mutex pairs: 443
Level 11:	Facts: 56 Actions: 129 Mutex pairs: 400
Level 12:	Facts: 68 Actions: 144 Mutex pairs: 668
Level 13:	Facts: 70 Actions: 169 Mutex pairs: 591
Level 14:	Facts: 84 Actions: 186 Mutex pairs: 953
Level 15:	Facts: 85 Actions: 215 Mutex pairs: 809
Level 16:	Facts: 100 Actions: 232 Mutex pairs: 1241
Level 17:	Facts: 100 Actions: 262 Mutex pairs: 1045
Level 18:	Facts: 100 Actions: 262 Mutex pairs: 891
Initial layer complete at: 18
Level 19:	Facts: 100 Actions: 262 Mutex pairs: 891
Leveled at 18
Layer 20
Layer 21
Layer 22
Layer 23
Layer 24
Layer 25
Layer 26


Time: 1   	unstack(h,a)
Time: 2   	stack(h,f)
Time: 3   	unstack(a,d)
Time: 4   	put-down(a)
Time: 5   	unstack(d,e)
Time: 6   	stack(d,h)
Time: 7   	unstack(e,c)
Time: 8   	put-down(e)
Time: 9   	unstack(c,i)
Time: 10   	stack(c,a)
Time: 11   	unstack(i,b)
Time: 12   	stack(i,d)
Time: 13   	unstack(b,g)
Time: 14   	stack(b,c)
Time: 15   	pick-up(e)
Time: 16   	stack(e,b)
Time: 17   	unstack(i,d)
Time: 18   	stack(i,e)
Time: 19   	unstack(d,h)
Time: 20   	stack(d,i)
Time: 21   	unstack(h,f)
Time: 22   	stack(h,d)
Time: 23   	pick-up(g)
Time: 24   	stack(g,h)
Time: 25   	pick-up(f)
Time: 26   	stack(f,g)
Total time elapsed: 976 millisecs
CPU Time: 0.52 seconds
probBLOCKS-10-0.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
100 actions
200 actions
210 actions
220 actions built
Level 1:	Facts: 16 Actions: 15 Mutex pairs: 11
Level 2:	Facts: 19 Actions: 23 Mutex pairs: 24
Level 3:	Facts: 21 Actions: 30 Mutex pairs: 36
Level 4:	Facts: 25 Actions: 37 Mutex pairs: 68
Level 5:	Facts: 27 Actions: 46 Mutex pairs: 79
Level 6:	Facts: 33 Actions: 55 Mutex pairs: 149
Level 7:	Facts: 35 Actions: 68 Mutex pairs: 150
Level 8:	Facts: 43 Actions: 79 Mutex pairs: 272
Level 9:	Facts: 45 Actions: 96 Mutex pairs: 255
Level 10:	Facts: 55 Actions: 109 Mutex pairs: 443
Level 11:	Facts: 57 Actions: 130 Mutex pairs: 400
Level 12:	Facts: 69 Actions: 145 Mutex pairs: 668
Level 13:	Facts: 71 Actions: 170 Mutex pairs: 591
Level 14:	Facts: 85 Actions: 187 Mutex pairs: 953
Level 15:	Facts: 87 Actions: 216 Mutex pairs: 834
Level 16:	Facts: 103 Actions: 235 Mutex pairs: 1304
Level 17:	Facts: 104 Actions: 268 Mutex pairs: 1107
Level 18:	Facts: 121 Actions: 287 Mutex pairs: 1656
Level 19:	Facts: 121 Actions: 321 Mutex pairs: 1400
Level 20:	Facts: 121 Actions: 321 Mutex pairs: 1200
Initial layer complete at: 20
Level 21:	Facts: 121 Actions: 321 Mutex pairs: 1200
Leveled at 20
Layer 22
Layer 23
Layer 24
Layer 25
Layer 26
Layer 27
Layer 28
Layer 29
Layer 30
Layer 31
Layer 32
Layer 33
Layer 34


Time: 1   	unstack(c,e)
Time: 2   	put-down(c)
Time: 3   	unstack(e,j)
Time: 4   	stack(e,c)
Time: 5   	unstack(j,b)
Time: 6   	stack(j,f)
Time: 7   	unstack(b,g)
Time: 8   	stack(b,e)
Time: 9   	unstack(g,h)
Time: 10   	stack(g,b)
Time: 11   	unstack(h,a)
Time: 12   	stack(h,j)
Time: 13   	unstack(a,d)
Time: 14   	stack(a,h)
Time: 15   	unstack(d,i)
Time: 16   	put-down(d)
Time: 17   	unstack(g,b)
Time: 18   	stack(g,i)
Time: 19   	unstack(a,h)
Time: 20   	stack(a,g)
Time: 21   	unstack(b,e)
Time: 22   	stack(b,a)
Time: 23   	unstack(h,j)
Time: 24   	stack(h,b)
Time: 25   	unstack(e,c)
Time: 26   	stack(e,h)
Time: 27   	unstack(j,f)
Time: 28   	stack(j,e)
Time: 29   	pick-up(f)
Time: 30   	stack(f,j)
Time: 31   	pick-up(c)
Time: 32   	stack(c,f)
Time: 33   	pick-up(d)
Time: 34   	stack(d,c)
Total time elapsed: 5070 millisecs
CPU Time: 3.6 seconds
probBLOCKS-10-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
100 actions
200 actions
210 actions
220 actions built
Level 1:	Facts: 17 Actions: 15 Mutex pairs: 16
Level 2:	Facts: 21 Actions: 25 Mutex pairs: 36
Level 3:	Facts: 25 Actions: 35 Mutex pairs: 69
Level 4:	Facts: 33 Actions: 49 Mutex pairs: 170
Level 5:	Facts: 38 Actions: 69 Mutex pairs: 226
Level 6:	Facts: 53 Actions: 93 Mutex pairs: 582
Level 7:	Facts: 57 Actions: 126 Mutex pairs: 551
Level 8:	Facts: 69 Actions: 145 Mutex pairs: 797
Level 9:	Facts: 71 Actions: 170 Mutex pairs: 629
Level 10:	Facts: 85 Actions: 187 Mutex pairs: 984
Level 11:	Facts: 87 Actions: 216 Mutex pairs: 834
Level 12:	Facts: 103 Actions: 235 Mutex pairs: 1304
Level 13:	Facts: 104 Actions: 268 Mutex pairs: 1107
Level 14:	Facts: 121 Actions: 287 Mutex pairs: 1656
Level 15:	Facts: 121 Actions: 321 Mutex pairs: 1400
Level 16:	Facts: 121 Actions: 321 Mutex pairs: 1200
Initial layer complete at: 16
Level 17:	Facts: 121 Actions: 321 Mutex pairs: 1200
Leveled at 16
Layer 18
Layer 19
Layer 20
Layer 21
Layer 22
Layer 23
Layer 24
Layer 25
Layer 26
Layer 27
Layer 28
Layer 29
Layer 30
Layer 31
Layer 32


Time: 1   	unstack(f,d)
Time: 2   	put-down(f)
Time: 3   	unstack(c,g)
Time: 4   	put-down(c)
Time: 5   	unstack(d,h)
Time: 6   	stack(d,c)
Time: 7   	unstack(g,e)
Time: 8   	put-down(g)
Time: 9   	unstack(e,i)
Time: 10   	stack(e,d)
Time: 11   	unstack(i,j)
Time: 12   	stack(i,f)
Time: 13   	unstack(j,a)
Time: 14   	put-down(j)
Time: 15   	pick-up(g)
Time: 16   	stack(g,j)
Time: 17   	pick-up(h)
Time: 18   	stack(h,g)
Time: 19   	unstack(e,d)
Time: 20   	stack(e,h)
Time: 21   	unstack(a,b)
Time: 22   	stack(a,e)
Time: 23   	unstack(i,f)
Time: 24   	stack(i,a)
Time: 25   	pick-up(f)
Time: 26   	stack(f,i)
Time: 27   	unstack(d,c)
Time: 28   	stack(d,f)
Time: 29   	pick-up(b)
Time: 30   	stack(b,d)
Time: 31   	pick-up(c)
Time: 32   	stack(c,b)
Total time elapsed: 135766 millisecs
CPU Time: 97.39 seconds
probBLOCKS-10-2.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
100 actions
200 actions
210 actions
220 actions built
Level 1:	Facts: 16 Actions: 15 Mutex pairs: 11
Level 2:	Facts: 19 Actions: 23 Mutex pairs: 24
Level 3:	Facts: 21 Actions: 30 Mutex pairs: 36
Level 4:	Facts: 25 Actions: 37 Mutex pairs: 68
Level 5:	Facts: 27 Actions: 46 Mutex pairs: 79
Level 6:	Facts: 33 Actions: 55 Mutex pairs: 149
Level 7:	Facts: 35 Actions: 68 Mutex pairs: 150
Level 8:	Facts: 43 Actions: 79 Mutex pairs: 272
Level 9:	Facts: 45 Actions: 96 Mutex pairs: 255
Level 10:	Facts: 55 Actions: 109 Mutex pairs: 443
Level 11:	Facts: 57 Actions: 130 Mutex pairs: 400
Level 12:	Facts: 69 Actions: 145 Mutex pairs: 668
Level 13:	Facts: 71 Actions: 170 Mutex pairs: 591
Level 14:	Facts: 85 Actions: 187 Mutex pairs: 953
Level 15:	Facts: 87 Actions: 216 Mutex pairs: 834
Level 16:	Facts: 103 Actions: 235 Mutex pairs: 1304
Level 17:	Facts: 104 Actions: 268 Mutex pairs: 1107
Level 18:	Facts: 121 Actions: 287 Mutex pairs: 1656
Level 19:	Facts: 121 Actions: 321 Mutex pairs: 1400
Level 20:	Facts: 121 Actions: 321 Mutex pairs: 1200
Initial layer complete at: 20
Level 21:	Facts: 121 Actions: 321 Mutex pairs: 1200
Leveled at 20
Layer 22
Layer 23
Layer 24
Layer 25
Layer 26
Layer 27
Layer 28
Layer 29
Layer 30
Layer 31
Layer 32
Layer 33
Layer 34


Time: 1   	unstack(j,i)
Time: 2   	stack(j,c)
Time: 3   	unstack(i,h)
Time: 4   	put-down(i)
Time: 5   	unstack(h,f)
Time: 6   	put-down(h)
Time: 7   	unstack(f,d)
Time: 8   	stack(f,h)
Time: 9   	unstack(d,e)
Time: 10   	put-down(d)
Time: 11   	unstack(e,g)
Time: 12   	put-down(e)
Time: 13   	unstack(g,b)
Time: 14   	stack(g,i)
Time: 15   	unstack(b,a)
Time: 16   	put-down(b)
Time: 17   	unstack(j,c)
Time: 18   	stack(j,d)
Time: 19   	unstack(f,h)
Time: 20   	stack(f,j)
Time: 21   	pick-up(a)
Time: 22   	stack(a,f)
Time: 23   	pick-up(c)
Time: 24   	stack(c,a)
Time: 25   	pick-up(h)
Time: 26   	stack(h,c)
Time: 27   	unstack(g,i)
Time: 28   	stack(g,h)
Time: 29   	pick-up(i)
Time: 30   	stack(i,g)
Time: 31   	pick-up(e)
Time: 32   	stack(e,i)
Time: 33   	pick-up(b)
Time: 34   	stack(b,e)
Total time elapsed: 9303 millisecs
CPU Time: 5.56 seconds
probBLOCKS-11-0.pddl
probBLOCKS-11-1.pddl
probBLOCKS-11-2.pddl
probBLOCKS-12-0.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
144 actions
288 actions
300 actions
312 actions built
Level 1:	Facts: 21 Actions: 19 Mutex pairs: 23
Level 2:	Facts: 29 Actions: 35 Mutex pairs: 95
Level 3:	Facts: 32 Actions: 53 Mutex pairs: 115
Level 4:	Facts: 43 Actions: 69 Mutex pairs: 299
Level 5:	Facts: 47 Actions: 94 Mutex pairs: 320
Level 6:	Facts: 57 Actions: 111 Mutex pairs: 509
Level 7:	Facts: 59 Actions: 132 Mutex pairs: 422
Level 8:	Facts: 71 Actions: 147 Mutex pairs: 687
Level 9:	Facts: 73 Actions: 172 Mutex pairs: 591
Level 10:	Facts: 87 Actions: 189 Mutex pairs: 953
Level 11:	Facts: 89 Actions: 218 Mutex pairs: 834
Level 12:	Facts: 105 Actions: 237 Mutex pairs: 1304
Level 13:	Facts: 107 Actions: 270 Mutex pairs: 1135
Level 14:	Facts: 125 Actions: 291 Mutex pairs: 1727
Level 15:	Facts: 127 Actions: 328 Mutex pairs: 1500
Level 16:	Facts: 147 Actions: 351 Mutex pairs: 2228
Level 17:	Facts: 148 Actions: 392 Mutex pairs: 1901
Level 18:	Facts: 169 Actions: 415 Mutex pairs: 2726
Level 19:	Facts: 169 Actions: 457 Mutex pairs: 2326
Level 20:	Facts: 169 Actions: 457 Mutex pairs: 2016
Initial layer complete at: 20
Level 21:	Facts: 169 Actions: 457 Mutex pairs: 2016
Leveled at 20
Layer 22
Layer 23
Layer 24
Layer 25
Layer 26
Layer 27
Layer 28
Layer 29
Layer 30
Layer 31
Layer 32
Layer 33
Layer 34


Time: 1   	unstack(h,a)
Time: 2   	stack(h,j)
Time: 3   	unstack(a,g)
Time: 4   	stack(a,l)
Time: 5   	unstack(g,k)
Time: 6   	put-down(g)
Time: 7   	unstack(h,j)
Time: 8   	stack(h,g)
Time: 9   	unstack(a,l)
Time: 10   	stack(a,h)
Time: 11   	unstack(l,f)
Time: 12   	put-down(l)
Time: 13   	pick-up(f)
Time: 14   	stack(f,a)
Time: 15   	unstack(k,e)
Time: 16   	stack(k,f)
Time: 17   	unstack(e,b)
Time: 18   	stack(e,k)
Time: 19   	unstack(b,d)
Time: 20   	put-down(b)
Time: 21   	pick-up(j)
Time: 22   	stack(j,e)
Time: 23   	unstack(d,i)
Time: 24   	stack(d,j)
Time: 25   	unstack(i,c)
Time: 26   	put-down(i)
Time: 27   	pick-up(l)
Time: 28   	stack(l,d)
Time: 29   	pick-up(b)
Time: 30   	stack(b,l)
Time: 31   	pick-up(c)
Time: 32   	stack(c,b)
Time: 33   	pick-up(i)
Time: 34   	stack(i,c)
Total time elapsed: 98686 millisecs
CPU Time: 70.44 seconds
probBLOCKS-12-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
144 actions
288 actions
300 actions
312 actions built
Level 1:	Facts: 19 Actions: 17 Mutex pairs: 16
Level 2:	Facts: 23 Actions: 27 Mutex pairs: 36
Level 3:	Facts: 26 Actions: 37 Mutex pairs: 58
Level 4:	Facts: 33 Actions: 49 Mutex pairs: 141
Level 5:	Facts: 37 Actions: 66 Mutex pairs: 180
Level 6:	Facts: 45 Actions: 81 Mutex pairs: 308
Level 7:	Facts: 47 Actions: 98 Mutex pairs: 268
Level 8:	Facts: 57 Actions: 111 Mutex pairs: 454
Level 9:	Facts: 59 Actions: 132 Mutex pairs: 400
Level 10:	Facts: 71 Actions: 147 Mutex pairs: 668
Level 11:	Facts: 73 Actions: 172 Mutex pairs: 591
Level 12:	Facts: 87 Actions: 189 Mutex pairs: 953
Level 13:	Facts: 89 Actions: 218 Mutex pairs: 834
Level 14:	Facts: 105 Actions: 237 Mutex pairs: 1304
Level 15:	Facts: 107 Actions: 270 Mutex pairs: 1135
Level 16:	Facts: 125 Actions: 291 Mutex pairs: 1727
Level 17:	Facts: 127 Actions: 328 Mutex pairs: 1500
Level 18:	Facts: 147 Actions: 351 Mutex pairs: 2228
Level 19:	Facts: 148 Actions: 392 Mutex pairs: 1901
Level 20:	Facts: 169 Actions: 415 Mutex pairs: 2726
Level 21:	Facts: 169 Actions: 457 Mutex pairs: 2326
Level 22:	Facts: 169 Actions: 457 Mutex pairs: 2016
Initial layer complete at: 22
Level 23:	Facts: 169 Actions: 457 Mutex pairs: 2016
Leveled at 22
Layer 24
Layer 25
Layer 26
Layer 27
Layer 28
Layer 29
Layer 30
Layer 31
Layer 32
Layer 33
Layer 34


Time: 1   	unstack(c,g)
Time: 2   	put-down(c)
Time: 3   	unstack(g,h)
Time: 4   	put-down(g)
Time: 5   	unstack(k,d)
Time: 6   	stack(k,c)
Time: 7   	unstack(h,i)
Time: 8   	stack(h,k)
Time: 9   	unstack(i,f)
Time: 10   	stack(i,d)
Time: 11   	unstack(f,b)
Time: 12   	put-down(f)
Time: 13   	unstack(b,a)
Time: 14   	stack(b,i)
Time: 15   	unstack(a,l)
Time: 16   	stack(a,h)
Time: 17   	pick-up(g)
Time: 18   	stack(g,b)
Time: 19   	unstack(l,e)
Time: 20   	stack(l,g)
Time: 21   	pick-up(f)
Time: 22   	stack(f,l)
Time: 23   	unstack(a,h)
Time: 24   	stack(a,f)
Time: 25   	unstack(h,k)
Time: 26   	stack(h,a)
Time: 27   	unstack(k,c)
Time: 28   	stack(k,h)
Time: 29   	unstack(e,j)
Time: 30   	stack(e,k)
Time: 31   	pick-up(c)
Time: 32   	stack(c,e)
Time: 33   	pick-up(j)
Time: 34   	stack(j,c)
Total time elapsed: 11670 millisecs
CPU Time: 8.38 seconds
probBLOCKS-13-0.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
169 actions
338 actions
351 actions
364 actions built
Level 1:	Facts: 22 Actions: 20 Mutex pairs: 23
Level 2:	Facts: 30 Actions: 36 Mutex pairs: 95
Level 3:	Facts: 33 Actions: 54 Mutex pairs: 115
Level 4:	Facts: 44 Actions: 70 Mutex pairs: 299
Level 5:	Facts: 48 Actions: 95 Mutex pairs: 320
Level 6:	Facts: 58 Actions: 112 Mutex pairs: 509
Level 7:	Facts: 60 Actions: 133 Mutex pairs: 422
Level 8:	Facts: 72 Actions: 148 Mutex pairs: 687
Level 9:	Facts: 74 Actions: 173 Mutex pairs: 591
Level 10:	Facts: 88 Actions: 190 Mutex pairs: 953
Level 11:	Facts: 90 Actions: 219 Mutex pairs: 834
Level 12:	Facts: 106 Actions: 238 Mutex pairs: 1304
Level 13:	Facts: 108 Actions: 271 Mutex pairs: 1135
Level 14:	Facts: 126 Actions: 292 Mutex pairs: 1727
Level 15:	Facts: 128 Actions: 329 Mutex pairs: 1500
Level 16:	Facts: 148 Actions: 352 Mutex pairs: 2228
Level 17:	Facts: 150 Actions: 393 Mutex pairs: 1935
Level 18:	Facts: 172 Actions: 418 Mutex pairs: 2813
Level 19:	Facts: 173 Actions: 463 Mutex pairs: 2409
Level 20:	Facts: 196 Actions: 488 Mutex pairs: 3393
Level 21:	Facts: 196 Actions: 534 Mutex pairs: 2909
Level 22:	Facts: 196 Actions: 534 Mutex pairs: 2535
Initial layer complete at: 22
Level 23:	Facts: 196 Actions: 534 Mutex pairs: 2535
Leveled at 22
Layer 24
Layer 25
Layer 26
Layer 27
Layer 28
Layer 29
Layer 30
Layer 31
Layer 32
Layer 33
Layer 34
Layer 35
Layer 36
Layer 37
Layer 38
Layer 39
Layer 40

NO SOLUTION
Total time elapsed: 259220 millisecs
probBLOCKS-13-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
169 actions
338 actions
351 actions
364 actions built
Level 1:	Facts: 20 Actions: 18 Mutex pairs: 16
Level 2:	Facts: 24 Actions: 28 Mutex pairs: 36
Level 3:	Facts: 27 Actions: 38 Mutex pairs: 58
Level 4:	Facts: 34 Actions: 50 Mutex pairs: 141
Level 5:	Facts: 38 Actions: 67 Mutex pairs: 180
Level 6:	Facts: 46 Actions: 82 Mutex pairs: 308
Level 7:	Facts: 48 Actions: 99 Mutex pairs: 268
Level 8:	Facts: 58 Actions: 112 Mutex pairs: 454
Level 9:	Facts: 60 Actions: 133 Mutex pairs: 400
Level 10:	Facts: 72 Actions: 148 Mutex pairs: 668
Level 11:	Facts: 74 Actions: 173 Mutex pairs: 591
Level 12:	Facts: 88 Actions: 190 Mutex pairs: 953
Level 13:	Facts: 90 Actions: 219 Mutex pairs: 834
Level 14:	Facts: 106 Actions: 238 Mutex pairs: 1304
Level 15:	Facts: 108 Actions: 271 Mutex pairs: 1135
Level 16:	Facts: 126 Actions: 292 Mutex pairs: 1727
Level 17:	Facts: 128 Actions: 329 Mutex pairs: 1500
Level 18:	Facts: 148 Actions: 352 Mutex pairs: 2228
Level 19:	Facts: 150 Actions: 393 Mutex pairs: 1935
Level 20:	Facts: 172 Actions: 418 Mutex pairs: 2813
Level 21:	Facts: 173 Actions: 463 Mutex pairs: 2409
Level 22:	Facts: 196 Actions: 488 Mutex pairs: 3393
Level 23:	Facts: 196 Actions: 534 Mutex pairs: 2909
Level 24:	Facts: 196 Actions: 534 Mutex pairs: 2535
Initial layer complete at: 24
Level 25:	Facts: 196 Actions: 534 Mutex pairs: 2535
Leveled at 24
Layer 26
Layer 27
Layer 28
Layer 29
Layer 30
Layer 31
Layer 32
Layer 33
Layer 34
Layer 35
Layer 36
Layer 37
Layer 38
Layer 39
Layer 40
Layer 41
Layer 42

NO SOLUTION
Total time elapsed: 374915 millisecs
probBLOCKS-14-0.pddl
probBLOCKS-14-1.pddl
probBLOCKS-15-0.pddl
probBLOCKS-15-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
225 actions
450 actions
465 actions
480 actions built
Level 1:	Facts: 22 Actions: 20 Mutex pairs: 16
Level 2:	Facts: 26 Actions: 30 Mutex pairs: 36
Level 3:	Facts: 29 Actions: 40 Mutex pairs: 58
Level 4:	Facts: 36 Actions: 52 Mutex pairs: 141
Level 5:	Facts: 40 Actions: 69 Mutex pairs: 180
Level 6:	Facts: 48 Actions: 84 Mutex pairs: 308
Level 7:	Facts: 50 Actions: 101 Mutex pairs: 268
Level 8:	Facts: 60 Actions: 114 Mutex pairs: 454
Level 9:	Facts: 62 Actions: 135 Mutex pairs: 400
Level 10:	Facts: 74 Actions: 150 Mutex pairs: 668
Level 11:	Facts: 76 Actions: 175 Mutex pairs: 591
Level 12:	Facts: 90 Actions: 192 Mutex pairs: 953
Level 13:	Facts: 92 Actions: 221 Mutex pairs: 834
Level 14:	Facts: 108 Actions: 240 Mutex pairs: 1304
Level 15:	Facts: 110 Actions: 273 Mutex pairs: 1135
Level 16:	Facts: 128 Actions: 294 Mutex pairs: 1727
Level 17:	Facts: 130 Actions: 331 Mutex pairs: 1500
Level 18:	Facts: 150 Actions: 354 Mutex pairs: 2228
Level 19:	Facts: 152 Actions: 395 Mutex pairs: 1935
Level 20:	Facts: 174 Actions: 420 Mutex pairs: 2813
Level 21:	Facts: 176 Actions: 465 Mutex pairs: 2446
Level 22:	Facts: 200 Actions: 492 Mutex pairs: 3488
Level 23:	Facts: 202 Actions: 541 Mutex pairs: 3039
Level 24:	Facts: 228 Actions: 570 Mutex pairs: 4259
Level 25:	Facts: 229 Actions: 623 Mutex pairs: 3677
Level 26:	Facts: 256 Actions: 652 Mutex pairs: 5021
Level 27:	Facts: 256 Actions: 706 Mutex pairs: 4345
Level 28:	Facts: 256 Actions: 706 Mutex pairs: 3825
Initial layer complete at: 28
Level 29:	Facts: 256 Actions: 706 Mutex pairs: 3825
Leveled at 28
Layer 30
Layer 31
Layer 32
Layer 33
Layer 34
Layer 35
Layer 36
Layer 37
Layer 38
Layer 39
Layer 40
Layer 41
Layer 42
Layer 43
Layer 44
Layer 45
Layer 46

NO SOLUTION
Total time elapsed: 359790 millisecs
probBLOCKS-16-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
256 actions
512 actions
528 actions
544 actions built
Level 1:	Facts: 26 Actions: 23 Mutex pairs: 30
Level 2:	Facts: 35 Actions: 41 Mutex pairs: 120
Level 3:	Facts: 39 Actions: 62 Mutex pairs: 152
Level 4:	Facts: 55 Actions: 85 Mutex pairs: 496
Level 5:	Facts: 63 Actions: 124 Mutex pairs: 623
Level 6:	Facts: 75 Actions: 151 Mutex pairs: 884
Level 7:	Facts: 77 Actions: 176 Mutex pairs: 657
Level 8:	Facts: 91 Actions: 193 Mutex pairs: 1011
Level 9:	Facts: 93 Actions: 222 Mutex pairs: 834
Level 10:	Facts: 109 Actions: 241 Mutex pairs: 1304
Level 11:	Facts: 111 Actions: 274 Mutex pairs: 1135
Level 12:	Facts: 129 Actions: 295 Mutex pairs: 1727
Level 13:	Facts: 131 Actions: 332 Mutex pairs: 1500
Level 14:	Facts: 151 Actions: 355 Mutex pairs: 2228
Level 15:	Facts: 153 Actions: 396 Mutex pairs: 1935
Level 16:	Facts: 175 Actions: 421 Mutex pairs: 2813
Level 17:	Facts: 177 Actions: 466 Mutex pairs: 2446
Level 18:	Facts: 201 Actions: 493 Mutex pairs: 3488
Level 19:	Facts: 203 Actions: 542 Mutex pairs: 3039
Level 20:	Facts: 229 Actions: 571 Mutex pairs: 4259
Level 21:	Facts: 231 Actions: 624 Mutex pairs: 3720
Level 22:	Facts: 259 Actions: 655 Mutex pairs: 5132
Level 23:	Facts: 260 Actions: 712 Mutex pairs: 4449
Level 24:	Facts: 289 Actions: 743 Mutex pairs: 5994
Level 25:	Facts: 289 Actions: 801 Mutex pairs: 5210
Level 26:	Facts: 289 Actions: 801 Mutex pairs: 4608
Initial layer complete at: 26
Level 27:	Facts: 289 Actions: 801 Mutex pairs: 4608
Leveled at 26
Layer 28
Layer 29
Layer 30
Layer 31
Layer 32
Layer 33
Layer 34
Layer 35
Layer 36
Layer 37
Layer 38
Layer 39
Layer 40
Layer 41
Layer 42
Layer 43
Layer 44

NO SOLUTION
Total time elapsed: 391555 millisecs
probBLOCKS-16-2.pddl
probBLOCKS-17-0.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
289 actions
578 actions
595 actions
612 actions built
Level 1:	Facts: 32 Actions: 28 Mutex pairs: 59
Level 2:	Facts: 56 Actions: 66 Mutex pairs: 567
Level 3:	Facts: 63 Actions: 118 Mutex pairs: 644
Level 4:	Facts: 102 Actions: 168 Mutex pairs: 2321
Level 5:	Facts: 120 Actions: 261 Mutex pairs: 2776
Level 6:	Facts: 174 Actions: 348 Mutex pairs: 6762
Level 7:	Facts: 184 Actions: 465 Mutex pairs: 5307
Level 8:	Facts: 254 Actions: 554 Mutex pairs: 11529
Level 9:	Facts: 262 Actions: 701 Mutex pairs: 8258
Level 10:	Facts: 292 Actions: 746 Mutex pairs: 8254
Level 11:	Facts: 293 Actions: 807 Mutex pairs: 5753
Level 12:	Facts: 324 Actions: 840 Mutex pairs: 7477
Level 13:	Facts: 324 Actions: 902 Mutex pairs: 6181
Level 14:	Facts: 324 Actions: 902 Mutex pairs: 5491
Initial layer complete at: 14
Level 15:	Facts: 324 Actions: 902 Mutex pairs: 5491
Leveled at 14
Layer 16
Layer 17
Layer 18
Layer 19
Layer 20
Layer 21
Layer 22
Layer 23
Layer 24
Layer 25
Layer 26
Layer 27
Layer 28
Layer 29
Layer 30
Layer 31
Layer 32

NO SOLUTION
Total time elapsed: 460825 millisecs
probblocks-17-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
289 actions
578 actions
595 actions
612 actions built
Level 1:	Facts: 27 Actions: 24 Mutex pairs: 30
Level 2:	Facts: 36 Actions: 42 Mutex pairs: 120
Level 3:	Facts: 41 Actions: 63 Mutex pairs: 170
Level 4:	Facts: 58 Actions: 88 Mutex pairs: 552
Level 5:	Facts: 67 Actions: 130 Mutex pairs: 707
Level 6:	Facts: 90 Actions: 170 Mutex pairs: 1543
Level 7:	Facts: 94 Actions: 219 Mutex pairs: 1229
Level 8:	Facts: 110 Actions: 242 Mutex pairs: 1590
Level 9:	Facts: 112 Actions: 275 Mutex pairs: 1201
Level 10:	Facts: 130 Actions: 296 Mutex pairs: 1784
Level 11:	Facts: 132 Actions: 333 Mutex pairs: 1500
Level 12:	Facts: 152 Actions: 356 Mutex pairs: 2228
Level 13:	Facts: 154 Actions: 397 Mutex pairs: 1935
Level 14:	Facts: 176 Actions: 422 Mutex pairs: 2813
Level 15:	Facts: 178 Actions: 467 Mutex pairs: 2446
Level 16:	Facts: 202 Actions: 494 Mutex pairs: 3488
Level 17:	Facts: 204 Actions: 543 Mutex pairs: 3039
Level 18:	Facts: 230 Actions: 572 Mutex pairs: 4259
Level 19:	Facts: 232 Actions: 625 Mutex pairs: 3720
Level 20:	Facts: 260 Actions: 656 Mutex pairs: 5132
Level 21:	Facts: 262 Actions: 713 Mutex pairs: 4495
Level 22:	Facts: 292 Actions: 746 Mutex pairs: 6113
Level 23:	Facts: 293 Actions: 807 Mutex pairs: 5321
Level 24:	Facts: 324 Actions: 840 Mutex pairs: 7081
Level 25:	Facts: 324 Actions: 902 Mutex pairs: 6181
Level 26:	Facts: 324 Actions: 902 Mutex pairs: 5491
Initial layer complete at: 26
Level 27:	Facts: 324 Actions: 902 Mutex pairs: 5491
Leveled at 26
Layer 28
Layer 29
Layer 30
Layer 31
Layer 32
Layer 33
Layer 34
Layer 35
Layer 36
Layer 37
Layer 38
Layer 39
Layer 40
Layer 41
Layer 42
Layer 43
Layer 44

NO SOLUTION
Total time elapsed: 390535 millisecs
probblocks-18-0.pddl
probblocks-18-1.pddl
probblocks-19-0.pddl
probblocks-19-1.pddl
probblocks-20-0.pddl
probblocks-20-1.pddl
probblocks-21-0.pddl
probblocks-21-1.pddl
probblocks-22-0.pddl
probblocks-22-1.pddl
probblocks-23-0.pddl
probblocks-23-1.pddl
probblocks-24-0.pddl
probblocks-24-1.pddl
probblocks-25-0.pddl
probblocks-25-1.pddl
probblocks-26-0.pddl
probblocks-26-1.pddl
probblocks-27-0.pddl
probblocks-27-1.pddl
probblocks-28-0.pddl
probblocks-28-1.pddl
probblocks-29-0.pddl
probblocks-29-1.pddl
probblocks-30-0.pddl
probblocks-30-1.pddl
probblocks-31-0.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
961 actions
1922 actions
1953 actions
1984 actions built
Level 1:	Facts: 41 Actions: 38 Mutex pairs: 30
Level 2:	Facts: 50 Actions: 56 Mutex pairs: 120
Level 3:	Facts: 56 Actions: 77 Mutex pairs: 189
Level 4:	Facts: 74 Actions: 104 Mutex pairs: 612
Level 5:	Facts: 86 Actions: 149 Mutex pairs: 876
Level 6:	Facts: 122 Actions: 206 Mutex pairs: 2637
Level 7:	Facts: 134 Actions: 287 Mutex pairs: 2601
Level 8:	Facts: 188 Actions: 362 Mutex pairs: 6405
Level 9:	Facts: 199 Actions: 479 Mutex pairs: 5171
Level 10:	Facts: 270 Actions: 570 Mutex pairs: 11567
Level 11:	Facts: 280 Actions: 720 Mutex pairs: 8659
Level 12:	Facts: 340 Actions: 798 Mutex pairs: 13165
Level 13:	Facts: 345 Actions: 922 Mutex pairs: 9103
Level 14:	Facts: 412 Actions: 998 Mutex pairs: 15248
Level 15:	Facts: 416 Actions: 1135 Mutex pairs: 11284
Level 16:	Facts: 454 Actions: 1180 Mutex pairs: 12877
Level 17:	Facts: 456 Actions: 1257 Mutex pairs: 10353
Level 18:	Facts: 496 Actions: 1300 Mutex pairs: 13191
Level 19:	Facts: 498 Actions: 1381 Mutex pairs: 11455
Level 20:	Facts: 540 Actions: 1426 Mutex pairs: 14603
Level 21:	Facts: 542 Actions: 1511 Mutex pairs: 13056
Level 22:	Facts: 586 Actions: 1558 Mutex pairs: 16508
Level 23:	Facts: 588 Actions: 1647 Mutex pairs: 14799
Level 24:	Facts: 634 Actions: 1696 Mutex pairs: 18569
Level 25:	Facts: 636 Actions: 1789 Mutex pairs: 16690
Level 26:	Facts: 684 Actions: 1840 Mutex pairs: 20792
Level 27:	Facts: 686 Actions: 1937 Mutex pairs: 18735
Level 28:	Facts: 736 Actions: 1990 Mutex pairs: 23183
Level 29:	Facts: 738 Actions: 2091 Mutex pairs: 20940
Level 30:	Facts: 790 Actions: 2146 Mutex pairs: 25748
Level 31:	Facts: 792 Actions: 2251 Mutex pairs: 23311
Level 32:	Facts: 846 Actions: 2308 Mutex pairs: 28493
Level 33:	Facts: 848 Actions: 2417 Mutex pairs: 25854
Level 34:	Facts: 904 Actions: 2476 Mutex pairs: 31424
Level 35:	Facts: 906 Actions: 2589 Mutex pairs: 28575
Level 36:	Facts: 964 Actions: 2650 Mutex pairs: 34547
Level 37:	Facts: 965 Actions: 2767 Mutex pairs: 31389
Level 38:	Facts: 1024 Actions: 2828 Mutex pairs: 37629
Level 39:	Facts: 1024 Actions: 2946 Mutex pairs: 34265
Level 40:	Facts: 1024 Actions: 2946 Mutex pairs: 31713
Initial layer complete at: 40

NO SOLUTION
Total time elapsed: 291607 millisecs
probblocks-31-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
961 actions
1922 actions
1953 actions
1984 actions built
Level 1:	Facts: 47 Actions: 42 Mutex pairs: 70
Level 2:	Facts: 72 Actions: 82 Mutex pairs: 630
Level 3:	Facts: 80 Actions: 137 Mutex pairs: 729
Level 4:	Facts: 128 Actions: 198 Mutex pairs: 3140
Level 5:	Facts: 153 Actions: 317 Mutex pairs: 4176
Level 6:	Facts: 212 Actions: 424 Mutex pairs: 9084
Level 7:	Facts: 221 Actions: 550 Mutex pairs: 6525
Level 8:	Facts: 272 Actions: 618 Mutex pairs: 9679
Level 9:	Facts: 276 Actions: 723 Mutex pairs: 6375
Level 10:	Facts: 306 Actions: 760 Mutex pairs: 7280
Level 11:	Facts: 308 Actions: 821 Mutex pairs: 5597
Level 12:	Facts: 340 Actions: 856 Mutex pairs: 7419
Level 13:	Facts: 342 Actions: 921 Mutex pairs: 6351
Level 14:	Facts: 376 Actions: 958 Mutex pairs: 8423
Level 15:	Facts: 378 Actions: 1027 Mutex pairs: 7444
Level 16:	Facts: 414 Actions: 1066 Mutex pairs: 9764
Level 17:	Facts: 416 Actions: 1139 Mutex pairs: 8655
Level 18:	Facts: 454 Actions: 1180 Mutex pairs: 11237
Level 19:	Facts: 456 Actions: 1257 Mutex pairs: 9990
Level 20:	Facts: 496 Actions: 1300 Mutex pairs: 12848
Level 21:	Facts: 498 Actions: 1381 Mutex pairs: 11455
Level 22:	Facts: 540 Actions: 1426 Mutex pairs: 14603
Level 23:	Facts: 542 Actions: 1511 Mutex pairs: 13056
Level 24:	Facts: 586 Actions: 1558 Mutex pairs: 16508
Level 25:	Facts: 588 Actions: 1647 Mutex pairs: 14799
Level 26:	Facts: 634 Actions: 1696 Mutex pairs: 18569
Level 27:	Facts: 636 Actions: 1789 Mutex pairs: 16690
Level 28:	Facts: 684 Actions: 1840 Mutex pairs: 20792
Level 29:	Facts: 686 Actions: 1937 Mutex pairs: 18735
Level 30:	Facts: 736 Actions: 1990 Mutex pairs: 23183
Level 31:	Facts: 738 Actions: 2091 Mutex pairs: 20940
Level 32:	Facts: 790 Actions: 2146 Mutex pairs: 25748
Level 33:	Facts: 792 Actions: 2251 Mutex pairs: 23311
Level 34:	Facts: 846 Actions: 2308 Mutex pairs: 28493
Level 35:	Facts: 848 Actions: 2417 Mutex pairs: 25854
Level 36:	Facts: 904 Actions: 2476 Mutex pairs: 31424
Level 37:	Facts: 906 Actions: 2589 Mutex pairs: 28575
Level 38:	Facts: 964 Actions: 2650 Mutex pairs: 34547
Level 39:	Facts: 965 Actions: 2767 Mutex pairs: 31389
Level 40:	Facts: 1024 Actions: 2828 Mutex pairs: 37629
Level 41:	Facts: 1024 Actions: 2946 Mutex pairs: 34265
Level 42:	Facts: 1024 Actions: 2946 Mutex pairs: 31713
Initial layer complete at: 42

NO SOLUTION
Total time elapsed: 283759 millisecs
probblocks-32-0.pddl
probblocks-32-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
1024 actions
2048 actions
2080 actions
2112 actions built
Level 1:	Facts: 39 Actions: 37 Mutex pairs: 16
Level 2:	Facts: 43 Actions: 47 Mutex pairs: 36
Level 3:	Facts: 47 Actions: 57 Mutex pairs: 69
Level 4:	Facts: 55 Actions: 71 Mutex pairs: 170
Level 5:	Facts: 61 Actions: 91 Mutex pairs: 246
Level 6:	Facts: 77 Actions: 117 Mutex pairs: 641
Level 7:	Facts: 82 Actions: 153 Mutex pairs: 627
Level 8:	Facts: 105 Actions: 185 Mutex pairs: 1420
Level 9:	Facts: 109 Actions: 234 Mutex pairs: 1175
Level 10:	Facts: 125 Actions: 257 Mutex pairs: 1558
Level 11:	Facts: 127 Actions: 290 Mutex pairs: 1201
Level 12:	Facts: 145 Actions: 311 Mutex pairs: 1784
Level 13:	Facts: 147 Actions: 348 Mutex pairs: 1500
Level 14:	Facts: 167 Actions: 371 Mutex pairs: 2228
Level 15:	Facts: 169 Actions: 412 Mutex pairs: 1935
Level 16:	Facts: 191 Actions: 437 Mutex pairs: 2813
Level 17:	Facts: 193 Actions: 482 Mutex pairs: 2446
Level 18:	Facts: 217 Actions: 509 Mutex pairs: 3488
Level 19:	Facts: 219 Actions: 558 Mutex pairs: 3039
Level 20:	Facts: 245 Actions: 587 Mutex pairs: 4259
Level 21:	Facts: 247 Actions: 640 Mutex pairs: 3720
Level 22:	Facts: 275 Actions: 671 Mutex pairs: 5132
Level 23:	Facts: 277 Actions: 728 Mutex pairs: 4495
Level 24:	Facts: 307 Actions: 761 Mutex pairs: 6113
Level 25:	Facts: 309 Actions: 822 Mutex pairs: 5370
Level 26:	Facts: 341 Actions: 857 Mutex pairs: 7208
Level 27:	Facts: 343 Actions: 922 Mutex pairs: 6351
Level 28:	Facts: 377 Actions: 959 Mutex pairs: 8423
Level 29:	Facts: 379 Actions: 1028 Mutex pairs: 7444
Level 30:	Facts: 415 Actions: 1067 Mutex pairs: 9764
Level 31:	Facts: 417 Actions: 1140 Mutex pairs: 8655
Level 32:	Facts: 455 Actions: 1181 Mutex pairs: 11237
Level 33:	Facts: 457 Actions: 1258 Mutex pairs: 9990
Level 34:	Facts: 497 Actions: 1301 Mutex pairs: 12848
Level 35:	Facts: 499 Actions: 1382 Mutex pairs: 11455
Level 36:	Facts: 541 Actions: 1427 Mutex pairs: 14603
Level 37:	Facts: 543 Actions: 1512 Mutex pairs: 13056
Level 38:	Facts: 587 Actions: 1559 Mutex pairs: 16508
Level 39:	Facts: 589 Actions: 1648 Mutex pairs: 14799
Level 40:	Facts: 635 Actions: 1697 Mutex pairs: 18569
Level 41:	Facts: 637 Actions: 1790 Mutex pairs: 16690
Level 42:	Facts: 685 Actions: 1841 Mutex pairs: 20792
Level 43:	Facts: 687 Actions: 1938 Mutex pairs: 18735
Level 44:	Facts: 737 Actions: 1991 Mutex pairs: 23183
Level 45:	Facts: 739 Actions: 2092 Mutex pairs: 20940
Level 46:	Facts: 791 Actions: 2147 Mutex pairs: 25748
Level 47:	Facts: 793 Actions: 2252 Mutex pairs: 23311
Level 48:	Facts: 847 Actions: 2309 Mutex pairs: 28493
Level 49:	Facts: 849 Actions: 2418 Mutex pairs: 25854
Level 50:	Facts: 905 Actions: 2477 Mutex pairs: 31424
Level 51:	Facts: 907 Actions: 2590 Mutex pairs: 28575
Level 52:	Facts: 965 Actions: 2651 Mutex pairs: 34547
Level 53:	Facts: 967 Actions: 2768 Mutex pairs: 31480
Level 54:	Facts: 1027 Actions: 2831 Mutex pairs: 37868
Level 55:	Facts: 1028 Actions: 2952 Mutex pairs: 34481

NO SOLUTION
Total time elapsed: 281049 millisecs
probblocks-33-0.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
1089 actions
2178 actions
2211 actions
2244 actions built
Level 1:	Facts: 46 Actions: 42 Mutex pairs: 48
Level 2:	Facts: 62 Actions: 70 Mutex pairs: 300
Level 3:	Facts: 69 Actions: 106 Mutex pairs: 389
Level 4:	Facts: 100 Actions: 148 Mutex pairs: 1495
Level 5:	Facts: 117 Actions: 225 Mutex pairs: 1996
Level 6:	Facts: 164 Actions: 304 Mutex pairs: 5071
Level 7:	Facts: 174 Actions: 406 Mutex pairs: 4142
Level 8:	Facts: 218 Actions: 468 Mutex pairs: 6670
Level 9:	Facts: 224 Actions: 560 Mutex pairs: 4667
Level 10:	Facts: 276 Actions: 622 Mutex pairs: 8401
Level 11:	Facts: 282 Actions: 730 Mutex pairs: 6329
Level 12:	Facts: 342 Actions: 800 Mutex pairs: 11299
Level 13:	Facts: 348 Actions: 924 Mutex pairs: 8731
Level 14:	Facts: 416 Actions: 1002 Mutex pairs: 15079
Level 15:	Facts: 422 Actions: 1142 Mutex pairs: 11653
Level 16:	Facts: 498 Actions: 1228 Mutex pairs: 19547
Level 17:	Facts: 504 Actions: 1384 Mutex pairs: 15143
Level 18:	Facts: 588 Actions: 1478 Mutex pairs: 24751
Level 19:	Facts: 594 Actions: 1650 Mutex pairs: 19249
Level 20:	Facts: 686 Actions: 1752 Mutex pairs: 30739
Level 21:	Facts: 692 Actions: 1940 Mutex pairs: 24019
Level 22:	Facts: 792 Actions: 2050 Mutex pairs: 37559
Level 23:	Facts: 797 Actions: 2254 Mutex pairs: 29342
Level 24:	Facts: 904 Actions: 2370 Mutex pairs: 44831
Level 25:	Facts: 908 Actions: 2587 Mutex pairs: 35174
Level 26:	Facts: 966 Actions: 2652 Mutex pairs: 38497
Level 27:	Facts: 968 Actions: 2769 Mutex pairs: 32323
Level 28:	Facts: 1028 Actions: 2832 Mutex pairs: 38681
Level 29:	Facts: 1030 Actions: 2953 Mutex pairs: 34575
Level 30:	Facts: 1092 Actions: 3018 Mutex pairs: 41393
Level 31:	Facts: 1093 Actions: 3143 Mutex pairs: 37769
Level 32:	Facts: 1156 Actions: 3208 Mutex pairs: 44873
Level 33:	Facts: 1156 Actions: 3334 Mutex pairs: 41029

NO SOLUTION
Total time elapsed: 341969 millisecs
probblocks-33-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
1089 actions
2178 actions
2211 actions
2244 actions built
Level 1:	Facts: 50 Actions: 46 Mutex pairs: 71
Level 2:	Facts: 84 Actions: 96 Mutex pairs: 1004
Level 3:	Facts: 90 Actions: 168 Mutex pairs: 1005
Level 4:	Facts: 136 Actions: 224 Mutex pairs: 3246
Level 5:	Facts: 152 Actions: 330 Mutex pairs: 3355
Level 6:	Facts: 192 Actions: 400 Mutex pairs: 5667
Level 7:	Facts: 197 Actions: 484 Mutex pairs: 3923
Level 8:	Facts: 244 Actions: 540 Mutex pairs: 6998
Level 9:	Facts: 248 Actions: 637 Mutex pairs: 5039
Level 10:	Facts: 276 Actions: 672 Mutex pairs: 5992
Level 11:	Facts: 278 Actions: 729 Mutex pairs: 4693
Level 12:	Facts: 308 Actions: 762 Mutex pairs: 6296
Level 13:	Facts: 310 Actions: 823 Mutex pairs: 5370
Level 14:	Facts: 342 Actions: 858 Mutex pairs: 7208
Level 15:	Facts: 344 Actions: 923 Mutex pairs: 6351
Level 16:	Facts: 378 Actions: 960 Mutex pairs: 8423
Level 17:	Facts: 380 Actions: 1029 Mutex pairs: 7444
Level 18:	Facts: 416 Actions: 1068 Mutex pairs: 9764
Level 19:	Facts: 418 Actions: 1141 Mutex pairs: 8655
Level 20:	Facts: 456 Actions: 1182 Mutex pairs: 11237
Level 21:	Facts: 458 Actions: 1259 Mutex pairs: 9990
Level 22:	Facts: 498 Actions: 1302 Mutex pairs: 12848
Level 23:	Facts: 500 Actions: 1383 Mutex pairs: 11455
Level 24:	Facts: 542 Actions: 1428 Mutex pairs: 14603
Level 25:	Facts: 544 Actions: 1513 Mutex pairs: 13056
Level 26:	Facts: 588 Actions: 1560 Mutex pairs: 16508
Level 27:	Facts: 590 Actions: 1649 Mutex pairs: 14799
Level 28:	Facts: 636 Actions: 1698 Mutex pairs: 18569
Level 29:	Facts: 638 Actions: 1791 Mutex pairs: 16690
Level 30:	Facts: 686 Actions: 1842 Mutex pairs: 20792
Level 31:	Facts: 688 Actions: 1939 Mutex pairs: 18735
Level 32:	Facts: 738 Actions: 1992 Mutex pairs: 23183
Level 33:	Facts: 740 Actions: 2093 Mutex pairs: 20940
Level 34:	Facts: 792 Actions: 2148 Mutex pairs: 25748
Level 35:	Facts: 794 Actions: 2253 Mutex pairs: 23311
Level 36:	Facts: 848 Actions: 2310 Mutex pairs: 28493
Level 37:	Facts: 850 Actions: 2419 Mutex pairs: 25854
Level 38:	Facts: 906 Actions: 2478 Mutex pairs: 31424
Level 39:	Facts: 908 Actions: 2591 Mutex pairs: 28575
Level 40:	Facts: 966 Actions: 2652 Mutex pairs: 34547
Level 41:	Facts: 968 Actions: 2769 Mutex pairs: 31480
Level 42:	Facts: 1028 Actions: 2832 Mutex pairs: 37868
Level 43:	Facts: 1030 Actions: 2953 Mutex pairs: 34575

NO SOLUTION
Total time elapsed: 277970 millisecs
probblocks-34-0.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
1156 actions
2312 actions
2346 actions
2380 actions built
Level 1:	Facts: 40 Actions: 39 Mutex pairs: 11
Level 2:	Facts: 43 Actions: 47 Mutex pairs: 24
Level 3:	Facts: 45 Actions: 54 Mutex pairs: 36
Level 4:	Facts: 49 Actions: 61 Mutex pairs: 68
Level 5:	Facts: 51 Actions: 70 Mutex pairs: 79
Level 6:	Facts: 57 Actions: 79 Mutex pairs: 149
Level 7:	Facts: 59 Actions: 92 Mutex pairs: 150
Level 8:	Facts: 67 Actions: 103 Mutex pairs: 272
Level 9:	Facts: 69 Actions: 120 Mutex pairs: 255
Level 10:	Facts: 79 Actions: 133 Mutex pairs: 443
Level 11:	Facts: 81 Actions: 154 Mutex pairs: 400
Level 12:	Facts: 93 Actions: 169 Mutex pairs: 668
Level 13:	Facts: 95 Actions: 194 Mutex pairs: 591
Level 14:	Facts: 109 Actions: 211 Mutex pairs: 953
Level 15:	Facts: 111 Actions: 240 Mutex pairs: 834
Level 16:	Facts: 127 Actions: 259 Mutex pairs: 1304
Level 17:	Facts: 129 Actions: 292 Mutex pairs: 1135
Level 18:	Facts: 147 Actions: 313 Mutex pairs: 1727
Level 19:	Facts: 149 Actions: 350 Mutex pairs: 1500
Level 20:	Facts: 169 Actions: 373 Mutex pairs: 2228
Level 21:	Facts: 171 Actions: 414 Mutex pairs: 1935
Level 22:	Facts: 193 Actions: 439 Mutex pairs: 2813
Level 23:	Facts: 195 Actions: 484 Mutex pairs: 2446
Level 24:	Facts: 219 Actions: 511 Mutex pairs: 3488
Level 25:	Facts: 221 Actions: 560 Mutex pairs: 3039
Level 26:	Facts: 247 Actions: 589 Mutex pairs: 4259
Level 27:	Facts: 249 Actions: 642 Mutex pairs: 3720
Level 28:	Facts: 277 Actions: 673 Mutex pairs: 5132
Level 29:	Facts: 279 Actions: 730 Mutex pairs: 4495
Level 30:	Facts: 309 Actions: 763 Mutex pairs: 6113
Level 31:	Facts: 311 Actions: 824 Mutex pairs: 5370
Level 32:	Facts: 343 Actions: 859 Mutex pairs: 7208
Level 33:	Facts: 345 Actions: 924 Mutex pairs: 6351
Level 34:	Facts: 379 Actions: 961 Mutex pairs: 8423
Level 35:	Facts: 381 Actions: 1030 Mutex pairs: 7444
Level 36:	Facts: 417 Actions: 1069 Mutex pairs: 9764
Level 37:	Facts: 419 Actions: 1142 Mutex pairs: 8655
Level 38:	Facts: 457 Actions: 1183 Mutex pairs: 11237
Level 39:	Facts: 459 Actions: 1260 Mutex pairs: 9990
Level 40:	Facts: 499 Actions: 1303 Mutex pairs: 12848
Level 41:	Facts: 501 Actions: 1384 Mutex pairs: 11455
Level 42:	Facts: 543 Actions: 1429 Mutex pairs: 14603
Level 43:	Facts: 545 Actions: 1514 Mutex pairs: 13056
Level 44:	Facts: 589 Actions: 1561 Mutex pairs: 16508
Level 45:	Facts: 591 Actions: 1650 Mutex pairs: 14799
Level 46:	Facts: 637 Actions: 1699 Mutex pairs: 18569
Level 47:	Facts: 639 Actions: 1792 Mutex pairs: 16690
Level 48:	Facts: 687 Actions: 1843 Mutex pairs: 20792
Level 49:	Facts: 689 Actions: 1940 Mutex pairs: 18735
Level 50:	Facts: 739 Actions: 1993 Mutex pairs: 23183
Level 51:	Facts: 741 Actions: 2094 Mutex pairs: 20940
Level 52:	Facts: 793 Actions: 2149 Mutex pairs: 25748
Level 53:	Facts: 795 Actions: 2254 Mutex pairs: 23311
Level 54:	Facts: 849 Actions: 2311 Mutex pairs: 28493
Level 55:	Facts: 851 Actions: 2420 Mutex pairs: 25854
Level 56:	Facts: 907 Actions: 2479 Mutex pairs: 31424
Level 57:	Facts: 909 Actions: 2592 Mutex pairs: 28575
Level 58:	Facts: 967 Actions: 2653 Mutex pairs: 34547
Level 59:	Facts: 969 Actions: 2770 Mutex pairs: 31480
Level 60:	Facts: 1029 Actions: 2833 Mutex pairs: 37868
Level 61:	Facts: 1031 Actions: 2954 Mutex pairs: 34575

NO SOLUTION
Total time elapsed: 291997 millisecs
probblocks-34-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
1156 actions
2312 actions
2346 actions
2380 actions built
Level 1:	Facts: 44 Actions: 41 Mutex pairs: 30
Level 2:	Facts: 53 Actions: 59 Mutex pairs: 120
Level 3:	Facts: 58 Actions: 80 Mutex pairs: 170
Level 4:	Facts: 75 Actions: 105 Mutex pairs: 552
Level 5:	Facts: 85 Actions: 147 Mutex pairs: 742
Level 6:	Facts: 109 Actions: 189 Mutex pairs: 1641
Level 7:	Facts: 115 Actions: 241 Mutex pairs: 1390
Level 8:	Facts: 147 Actions: 283 Mutex pairs: 2858
Level 9:	Facts: 153 Actions: 351 Mutex pairs: 2284
Level 10:	Facts: 193 Actions: 401 Mutex pairs: 4544
Level 11:	Facts: 199 Actions: 485 Mutex pairs: 3596
Level 12:	Facts: 247 Actions: 543 Mutex pairs: 6814
Level 13:	Facts: 253 Actions: 643 Mutex pairs: 5308
Level 14:	Facts: 309 Actions: 709 Mutex pairs: 9652
Level 15:	Facts: 315 Actions: 825 Mutex pairs: 7468
Level 16:	Facts: 379 Actions: 899 Mutex pairs: 13106
Level 17:	Facts: 385 Actions: 1031 Mutex pairs: 10124
Level 18:	Facts: 457 Actions: 1113 Mutex pairs: 17224
Level 19:	Facts: 463 Actions: 1261 Mutex pairs: 13324
Level 20:	Facts: 543 Actions: 1351 Mutex pairs: 22054
Level 21:	Facts: 549 Actions: 1515 Mutex pairs: 17116
Level 22:	Facts: 637 Actions: 1613 Mutex pairs: 27644
Level 23:	Facts: 643 Actions: 1793 Mutex pairs: 21548
Level 24:	Facts: 739 Actions: 1899 Mutex pairs: 34042
Level 25:	Facts: 745 Actions: 2095 Mutex pairs: 26668
Level 26:	Facts: 849 Actions: 2209 Mutex pairs: 41296
Level 27:	Facts: 855 Actions: 2421 Mutex pairs: 32524
Level 28:	Facts: 967 Actions: 2543 Mutex pairs: 49454
Level 29:	Facts: 972 Actions: 2771 Mutex pairs: 38987
Level 30:	Facts: 1091 Actions: 2899 Mutex pairs: 58088
Level 31:	Facts: 1095 Actions: 3140 Mutex pairs: 46007
Level 32:	Facts: 1159 Actions: 3211 Mutex pairs: 49966
Level 33:	Facts: 1160 Actions: 3340 Mutex pairs: 42255
Level 34:	Facts: 1225 Actions: 3407 Mutex pairs: 49779
Level 35:	Facts: 1225 Actions: 3537 Mutex pairs: 44720

NO SOLUTION
Total time elapsed: 366632 millisecs
probblocks-35-0.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
1225 actions
2450 actions
2485 actions
2520 actions built
Level 1:	Facts: 51 Actions: 46 Mutex pairs: 70
Level 2:	Facts: 76 Actions: 86 Mutex pairs: 630
Level 3:	Facts: 85 Actions: 141 Mutex pairs: 769
Level 4:	Facts: 134 Actions: 204 Mutex pairs: 3288
Level 5:	Facts: 162 Actions: 326 Mutex pairs: 4584
Level 6:	Facts: 242 Actions: 458 Mutex pairs: 12878
Level 7:	Facts: 261 Actions: 634 Mutex pairs: 10831
Level 8:	Facts: 372 Actions: 780 Mutex pairs: 25574
Level 9:	Facts: 389 Actions: 1017 Mutex pairs: 18580
Level 10:	Facts: 496 Actions: 1156 Mutex pairs: 32105
Level 11:	Facts: 505 Actions: 1378 Mutex pairs: 21099
Level 12:	Facts: 588 Actions: 1478 Mutex pairs: 28887
Level 13:	Facts: 592 Actions: 1647 Mutex pairs: 19671
Level 14:	Facts: 638 Actions: 1700 Mutex pairs: 21456
Level 15:	Facts: 640 Actions: 1793 Mutex pairs: 17221
Level 16:	Facts: 688 Actions: 1844 Mutex pairs: 21299
Level 17:	Facts: 690 Actions: 1941 Mutex pairs: 18735
Level 18:	Facts: 740 Actions: 1994 Mutex pairs: 23183
Level 19:	Facts: 742 Actions: 2095 Mutex pairs: 20940
Level 20:	Facts: 794 Actions: 2150 Mutex pairs: 25748
Level 21:	Facts: 796 Actions: 2255 Mutex pairs: 23311
Level 22:	Facts: 850 Actions: 2312 Mutex pairs: 28493
Level 23:	Facts: 852 Actions: 2421 Mutex pairs: 25854
Level 24:	Facts: 908 Actions: 2480 Mutex pairs: 31424
Level 25:	Facts: 910 Actions: 2593 Mutex pairs: 28575
Level 26:	Facts: 968 Actions: 2654 Mutex pairs: 34547
Level 27:	Facts: 970 Actions: 2771 Mutex pairs: 31480
Level 28:	Facts: 1030 Actions: 2834 Mutex pairs: 37868
Level 29:	Facts: 1032 Actions: 2955 Mutex pairs: 34575
Level 30:	Facts: 1094 Actions: 3020 Mutex pairs: 41393
Level 31:	Facts: 1096 Actions: 3145 Mutex pairs: 37866

NO SOLUTION
Total time elapsed: 328981 millisecs
probblocks-35-1.pddl
Now finding take-offs and lands for unsafe mobiles
Domain analysis results:
Mobiles: No
Irreversible moves: No
Costly moves: No
Impact Analysis:
Abstract moves: 0 mobiles do not allow abstraction
Preconditions: Safe
The Symmetry value is: 0
No move abstraction - stan enabled
0 actions
1225 actions
2450 actions
2485 actions
2520 actions built
Level 1:	Facts: 45 Actions: 42 Mutex pairs: 30
Level 2:	Facts: 54 Actions: 60 Mutex pairs: 120
Level 3:	Facts: 59 Actions: 81 Mutex pairs: 170
Level 4:	Facts: 76 Actions: 106 Mutex pairs: 552
Level 5:	Facts: 85 Actions: 148 Mutex pairs: 707
Level 6:	Facts: 108 Actions: 188 Mutex pairs: 1543
Level 7:	Facts: 112 Actions: 237 Mutex pairs: 1229
Level 8:	Facts: 128 Actions: 260 Mutex pairs: 1590
Level 9:	Facts: 130 Actions: 293 Mutex pairs: 1201
Level 10:	Facts: 148 Actions: 314 Mutex pairs: 1784
Level 11:	Facts: 150 Actions: 351 Mutex pairs: 1500
Level 12:	Facts: 170 Actions: 374 Mutex pairs: 2228
Level 13:	Facts: 172 Actions: 415 Mutex pairs: 1935
Level 14:	Facts: 194 Actions: 440 Mutex pairs: 2813
Level 15:	Facts: 196 Actions: 485 Mutex pairs: 2446
Level 16:	Facts: 220 Actions: 512 Mutex pairs: 3488
Level 17:	Facts: 222 Actions: 561 Mutex pairs: 3039
Level 18:	Facts: 248 Actions: 590 Mutex pairs: 4259
Level 19:	Facts: 250 Actions: 643 Mutex pairs: 3720
Level 20:	Facts: 278 Actions: 674 Mutex pairs: 5132
Level 21:	Facts: 280 Actions: 731 Mutex pairs: 4495
Level 22:	Facts: 310 Actions: 764 Mutex pairs: 6113
Level 23:	Facts: 312 Actions: 825 Mutex pairs: 5370
Level 24:	Facts: 344 Actions: 860 Mutex pairs: 7208
Level 25:	Facts: 346 Actions: 925 Mutex pairs: 6351
Level 26:	Facts: 380 Actions: 962 Mutex pairs: 8423
Level 27:	Facts: 382 Actions: 1031 Mutex pairs: 7444
Level 28:	Facts: 418 Actions: 1070 Mutex pairs: 9764
Level 29:	Facts: 420 Actions: 1143 Mutex pairs: 8655
Level 30:	Facts: 458 Actions: 1184 Mutex pairs: 11237
Level 31:	Facts: 460 Actions: 1261 Mutex pairs: 9990
Level 32:	Facts: 500 Actions: 1304 Mutex pairs: 12848
Level 33:	Facts: 502 Actions: 1385 Mutex pairs: 11455
Level 34:	Facts: 544 Actions: 1430 Mutex pairs: 14603
Level 35:	Facts: 546 Actions: 1515 Mutex pairs: 13056
Level 36:	Facts: 590 Actions: 1562 Mutex pairs: 16508
Level 37:	Facts: 592 Actions: 1651 Mutex pairs: 14799
Level 38:	Facts: 638 Actions: 1700 Mutex pairs: 18569
Level 39:	Facts: 640 Actions: 1793 Mutex pairs: 16690
Level 40:	Facts: 688 Actions: 1844 Mutex pairs: 20792
Level 41:	Facts: 690 Actions: 1941 Mutex pairs: 18735
Level 42:	Facts: 740 Actions: 1994 Mutex pairs: 23183
Level 43:	Facts: 742 Actions: 2095 Mutex pairs: 20940
Level 44:	Facts: 794 Actions: 2150 Mutex pairs: 25748
Level 45:	Facts: 796 Actions: 2255 Mutex pairs: 23311
Level 46:	Facts: 850 Actions: 2312 Mutex pairs: 28493
Level 47:	Facts: 852 Actions: 2421 Mutex pairs: 25854
Level 48:	Facts: 908 Actions: 2480 Mutex pairs: 31424
Level 49:	Facts: 910 Actions: 2593 Mutex pairs: 28575
Level 50:	Facts: 968 Actions: 2654 Mutex pairs: 34547
Level 51:	Facts: 970 Actions: 2771 Mutex pairs: 31480
Level 52:	Facts: 1030 Actions: 2834 Mutex pairs: 37868
Level 53:	Facts: 1032 Actions: 2955 Mutex pairs: 34575

NO SOLUTION
Total time elapsed: 295222 millisecs
