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
0 actions
6 actions
12 actions
18 actions
24 actions
25 actions
26 actions
32 actions
38 actions
44 actions
50 actions
51 actions
52 actions built
Level 1:	Facts: 10 Actions: 10 Mutex pairs: 1
Level 2:	Facts: 14 Actions: 16 Mutex pairs: 9
Level 3:	Facts: 16 Actions: 26 Mutex pairs: 11
Level 4:	Facts: 16 Actions: 30 Mutex pairs: 9
Level 5:	Facts: 18 Actions: 31 Mutex pairs: 23
Level 6:	Facts: 24 Actions: 39 Mutex pairs: 70
Level 7:	Facts: 30 Actions: 55 Mutex pairs: 124
Level 8:	Facts: 32 Actions: 69 Mutex pairs: 119
Initial layer complete at: 8


Time: 1   	open(trunk)
Time: 2   	fetch(jack,trunk)
		fetch(wrench,trunk)
Time: 3   	loosen(nuts,the-hub)
Time: 4   	jack-up(the-hub)
Time: 5   	undo(nuts,the-hub)
Time: 6   	remove-wheel(w1,the-hub)
Time: 7   	jack-down(the-hub)
		put-away(w1,trunk)
Time: 8   	put-away(jack,trunk)
Total time elapsed: 285 millisecs
CPU Time: 0.06 seconds
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
There are irreversible actions in this domain - STAN enabled
0 actions
1 actions
7 actions
13 actions
19 actions
25 actions
26 actions
27 actions
33 actions
39 actions
45 actions
51 actions
52 actions
53 actions built
Level 1:	Facts: 11 Actions: 11 Mutex pairs: 1
Level 2:	Facts: 15 Actions: 17 Mutex pairs: 9
Level 3:	Facts: 18 Actions: 28 Mutex pairs: 13
Level 4:	Facts: 18 Actions: 33 Mutex pairs: 10
Level 5:	Facts: 20 Actions: 34 Mutex pairs: 24
Level 6:	Facts: 26 Actions: 42 Mutex pairs: 71
Level 7:	Facts: 32 Actions: 58 Mutex pairs: 125
Level 8:	Facts: 34 Actions: 72 Mutex pairs: 120
Level 9:	Facts: 35 Actions: 77 Mutex pairs: 120
Initial layer complete at: 9
Level 10:	Facts: 35 Actions: 79 Mutex pairs: 118
Trying a subset at level: 10
on(r1,the-hub1) in(jack,boot) closed(boot) 
Level 11:	Facts: 35 Actions: 79 Mutex pairs: 118
Leveled at 10
Layer 12


Time: 1   	open(boot)
Time: 2   	fetch(jack,boot)
		fetch(pump,boot)
		fetch(r1,boot)
		fetch(wrench,boot)
Time: 3   	loosen(nuts1,the-hub1)
		inflate(r1)
Time: 4   	put-away(pump,boot)
		jack-up(the-hub1)
Time: 5   	undo(nuts1,the-hub1)
Time: 6   	remove-wheel(w1,the-hub1)
Time: 7   	put-away(w1,boot)
		put-on-wheel(r1,the-hub1)
Time: 8   	do-up(nuts1,the-hub1)
Time: 9   	jack-down(the-hub1)
Time: 10   	tighten(nuts1,the-hub1)
		put-away(jack,boot)
Time: 11   	put-away(wrench,boot)
Time: 12   	close(boot)
Total time elapsed: 66 millisecs
CPU Time: 0.05 seconds
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
There are irreversible actions in this domain - STAN enabled
0 actions
2 actions
20 actions
38 actions
56 actions
74 actions
76 actions
78 actions
96 actions
114 actions
123 actions
132 actions
133 actions
134 actions built
Level 1:	Facts: 17 Actions: 17 Mutex pairs: 1
Level 2:	Facts: 22 Actions: 24 Mutex pairs: 11
Level 3:	Facts: 28 Actions: 40 Mutex pairs: 23
Level 4:	Facts: 28 Actions: 50 Mutex pairs: 17
Level 5:	Facts: 32 Actions: 52 Mutex pairs: 53
Level 6:	Facts: 46 Actions: 70 Mutex pairs: 266
Level 7:	Facts: 60 Actions: 108 Mutex pairs: 595
Level 8:	Facts: 66 Actions: 142 Mutex pairs: 690
Level 9:	Facts: 70 Actions: 158 Mutex pairs: 743
Level 10:	Facts: 74 Actions: 170 Mutex pairs: 761
Level 11:	Facts: 78 Actions: 182 Mutex pairs: 706
Level 12:	Facts: 80 Actions: 192 Mutex pairs: 612
Initial layer complete at: 12
Level 13:	Facts: 80 Actions: 196 Mutex pairs: 554
Trying a subset at level: 13
on(r2,the-hub2) on(r1,the-hub1) in(jack,boot) 
Level 14:	Facts: 80 Actions: 196 Mutex pairs: 552
Level 15:	Facts: 80 Actions: 196 Mutex pairs: 552
Leveled at 14
Layer 16
Layer 17
Layer 18


Time: 1   	open(boot)
Time: 2   	fetch(jack,boot)
		fetch(pump,boot)
		fetch(r1,boot)
		fetch(r2,boot)
		fetch(wrench,boot)
Time: 3   	loosen(nuts1,the-hub1)
		loosen(nuts2,the-hub2)
		inflate(r1)
		inflate(r2)
Time: 4   	put-away(pump,boot)
		jack-up(the-hub1)
Time: 5   	undo(nuts1,the-hub1)
Time: 6   	remove-wheel(w1,the-hub1)
Time: 7   	put-away(w1,boot)
		put-on-wheel(r1,the-hub1)
Time: 8   	do-up(nuts1,the-hub1)
Time: 9   	jack-down(the-hub1)
Time: 10   	tighten(nuts1,the-hub1)
		jack-up(the-hub2)
Time: 11   	undo(nuts2,the-hub2)
Time: 12   	remove-wheel(w2,the-hub2)
Time: 13   	put-away(w2,boot)
		put-on-wheel(r2,the-hub2)
Time: 14   	do-up(nuts2,the-hub2)
Time: 15   	jack-down(the-hub2)
Time: 16   	put-away(jack,boot)
		tighten(nuts2,the-hub2)
Time: 17   	put-away(wrench,boot)
Time: 18   	close(boot)
Total time elapsed: 2837 millisecs
CPU Time: 1.62 seconds
