forked from panda-planner-dev/ipc2020-domains
-
Notifications
You must be signed in to change notification settings - Fork 0
/
pfile_045.hddl
217 lines (214 loc) · 4.05 KB
/
pfile_045.hddl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
(define
(problem pfile_045)
(:domain blocks)
(:objects b1
b2
b3
b4
b5
b6
b7
b8
b9
b10
b11
b12
b13
b14
b15
b16
b17
b18
b19
b20
b21
b22
b23
b24
b25
b26
b27
b28
b29
b30
b31
b32
b33
b34
b35
b36
b37
b38
b39
b40
b41
b42
b43
b44
b45
- BLOCK)
(:htn
:ordered-tasks (and
(task0 (achieve-goals))
)
)
(:init
(hand-empty)
(clear b22)
(on-table b33)
(on b22 b42)
(on b42 b4)
(on b4 b11)
(on b11 b23)
(on b23 b38)
(on b38 b37)
(on b37 b31)
(on b31 b30)
(on b30 b12)
(on b12 b16)
(on b16 b33)
(clear b32)
(on-table b18)
(on b32 b10)
(on b10 b14)
(on b14 b43)
(on b43 b44)
(on b44 b8)
(on b8 b9)
(on b9 b18)
(clear b21)
(on-table b17)
(on b21 b45)
(on b45 b40)
(on b40 b3)
(on b3 b29)
(on b29 b24)
(on b24 b34)
(on b34 b35)
(on b35 b2)
(on b2 b19)
(on b19 b39)
(on b39 b1)
(on b1 b6)
(on b6 b7)
(on b7 b26)
(on b26 b28)
(on b28 b41)
(on b41 b25)
(on b25 b20)
(on b20 b36)
(on b36 b13)
(on b13 b17)
(clear b15)
(on-table b15)
(clear b27)
(on-table b5)
(on b27 b5)
(goal_clear b42)
(goal_on-table b41)
(goal_on b42 b2)
(goal_on b2 b40)
(goal_on b40 b41)
(goal_clear b1)
(goal_on-table b36)
(goal_on b1 b33)
(goal_on b33 b7)
(goal_on b7 b39)
(goal_on b39 b18)
(goal_on b18 b35)
(goal_on b35 b36)
(goal_clear b27)
(goal_on-table b31)
(goal_on b27 b22)
(goal_on b22 b44)
(goal_on b44 b10)
(goal_on b10 b20)
(goal_on b20 b45)
(goal_on b45 b34)
(goal_on b34 b19)
(goal_on b19 b6)
(goal_on b6 b8)
(goal_on b8 b43)
(goal_on b43 b37)
(goal_on b37 b16)
(goal_on b16 b3)
(goal_on b3 b24)
(goal_on b24 b23)
(goal_on b23 b25)
(goal_on b25 b11)
(goal_on b11 b31)
(goal_clear b30)
(goal_on-table b30)
(goal_clear b26)
(goal_on-table b21)
(goal_on b26 b32)
(goal_on b32 b21)
(goal_clear b14)
(goal_on-table b15)
(goal_on b14 b28)
(goal_on b28 b29)
(goal_on b29 b13)
(goal_on b13 b15)
(goal_clear b38)
(goal_on-table b12)
(goal_on b38 b4)
(goal_on b4 b12)
(goal_clear b5)
(goal_on-table b9)
(goal_on b5 b17)
(goal_on b17 b9))
(:goal (and
(clear b42)
(on-table b41)
(on b42 b2)
(on b2 b40)
(on b40 b41)
(clear b1)
(on-table b36)
(on b1 b33)
(on b33 b7)
(on b7 b39)
(on b39 b18)
(on b18 b35)
(on b35 b36)
(clear b27)
(on-table b31)
(on b27 b22)
(on b22 b44)
(on b44 b10)
(on b10 b20)
(on b20 b45)
(on b45 b34)
(on b34 b19)
(on b19 b6)
(on b6 b8)
(on b8 b43)
(on b43 b37)
(on b37 b16)
(on b16 b3)
(on b3 b24)
(on b24 b23)
(on b23 b25)
(on b25 b11)
(on b11 b31)
(clear b30)
(on-table b30)
(clear b26)
(on-table b21)
(on b26 b32)
(on b32 b21)
(clear b14)
(on-table b15)
(on b14 b28)
(on b28 b29)
(on b29 b13)
(on b13 b15)
(clear b38)
(on-table b12)
(on b38 b4)
(on b4 b12)
(clear b5)
(on-table b9)
(on b5 b17)
(on b17 b9)))
)