forked from panda-planner-dev/ipc2020-domains
-
Notifications
You must be signed in to change notification settings - Fork 0
/
pfile_100.hddl
440 lines (437 loc) · 8.33 KB
/
pfile_100.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
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
(define
(problem pfile_100)
(: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
b46
b47
b48
b49
b50
b51
b52
b53
b54
b55
b56
b57
b58
b59
b60
b61
b62
b63
b64
b65
b66
b67
b68
b69
b70
b71
b72
b73
b74
b75
b76
b77
b78
b79
b80
b81
b82
b83
b84
b85
b86
b87
b88
b89
b90
b91
b92
b93
b94
b95
b96
b97
b98
b99
b100
- BLOCK)
(:htn
:ordered-tasks (and
(task0 (achieve-goals))
)
)
(:init
(hand-empty)
(clear b96)
(on-table b85)
(on b96 b97)
(on b97 b37)
(on b37 b15)
(on b15 b98)
(on b98 b85)
(clear b45)
(on-table b82)
(on b45 b99)
(on b99 b13)
(on b13 b18)
(on b18 b82)
(clear b91)
(on-table b77)
(on b91 b39)
(on b39 b75)
(on b75 b94)
(on b94 b57)
(on b57 b71)
(on b71 b93)
(on b93 b76)
(on b76 b65)
(on b65 b17)
(on b17 b89)
(on b89 b14)
(on b14 b77)
(clear b87)
(on-table b69)
(on b87 b60)
(on b60 b22)
(on b22 b69)
(clear b16)
(on-table b59)
(on b16 b49)
(on b49 b19)
(on b19 b78)
(on b78 b53)
(on b53 b3)
(on b3 b61)
(on b61 b62)
(on b62 b59)
(clear b23)
(on-table b52)
(on b23 b100)
(on b100 b10)
(on b10 b42)
(on b42 b81)
(on b81 b8)
(on b8 b11)
(on b11 b40)
(on b40 b32)
(on b32 b84)
(on b84 b54)
(on b54 b48)
(on b48 b50)
(on b50 b64)
(on b64 b33)
(on b33 b55)
(on b55 b24)
(on b24 b34)
(on b34 b88)
(on b88 b95)
(on b95 b12)
(on b12 b26)
(on b26 b43)
(on b43 b6)
(on b6 b52)
(clear b51)
(on-table b36)
(on b51 b66)
(on b66 b74)
(on b74 b5)
(on b5 b35)
(on b35 b4)
(on b4 b90)
(on b90 b36)
(clear b68)
(on-table b21)
(on b68 b30)
(on b30 b67)
(on b67 b92)
(on b92 b79)
(on b79 b9)
(on b9 b21)
(clear b83)
(on-table b20)
(on b83 b38)
(on b38 b47)
(on b47 b25)
(on b25 b1)
(on b1 b31)
(on b31 b56)
(on b56 b58)
(on b58 b70)
(on b70 b27)
(on b27 b2)
(on b2 b86)
(on b86 b72)
(on b72 b29)
(on b29 b41)
(on b41 b20)
(clear b63)
(on-table b7)
(on b63 b80)
(on b80 b73)
(on b73 b44)
(on b44 b46)
(on b46 b28)
(on b28 b7)
(goal_clear b31)
(goal_on-table b98)
(goal_on b31 b38)
(goal_on b38 b92)
(goal_on b92 b46)
(goal_on b46 b58)
(goal_on b58 b71)
(goal_on b71 b73)
(goal_on b73 b25)
(goal_on b25 b97)
(goal_on b97 b13)
(goal_on b13 b40)
(goal_on b40 b59)
(goal_on b59 b10)
(goal_on b10 b18)
(goal_on b18 b98)
(goal_clear b51)
(goal_on-table b75)
(goal_on b51 b91)
(goal_on b91 b74)
(goal_on b74 b2)
(goal_on b2 b75)
(goal_clear b63)
(goal_on-table b61)
(goal_on b63 b29)
(goal_on b29 b65)
(goal_on b65 b19)
(goal_on b19 b42)
(goal_on b42 b45)
(goal_on b45 b93)
(goal_on b93 b20)
(goal_on b20 b82)
(goal_on b82 b1)
(goal_on b1 b52)
(goal_on b52 b81)
(goal_on b81 b50)
(goal_on b50 b28)
(goal_on b28 b44)
(goal_on b44 b11)
(goal_on b11 b22)
(goal_on b22 b67)
(goal_on b67 b48)
(goal_on b48 b35)
(goal_on b35 b96)
(goal_on b96 b70)
(goal_on b70 b6)
(goal_on b6 b37)
(goal_on b37 b3)
(goal_on b3 b77)
(goal_on b77 b24)
(goal_on b24 b34)
(goal_on b34 b95)
(goal_on b95 b80)
(goal_on b80 b61)
(goal_clear b12)
(goal_on-table b55)
(goal_on b12 b49)
(goal_on b49 b60)
(goal_on b60 b86)
(goal_on b86 b15)
(goal_on b15 b36)
(goal_on b36 b55)
(goal_clear b26)
(goal_on-table b41)
(goal_on b26 b41)
(goal_clear b64)
(goal_on-table b30)
(goal_on b64 b54)
(goal_on b54 b23)
(goal_on b23 b78)
(goal_on b78 b57)
(goal_on b57 b56)
(goal_on b56 b53)
(goal_on b53 b69)
(goal_on b69 b84)
(goal_on b84 b99)
(goal_on b99 b90)
(goal_on b90 b8)
(goal_on b8 b14)
(goal_on b14 b76)
(goal_on b76 b7)
(goal_on b7 b47)
(goal_on b47 b27)
(goal_on b27 b62)
(goal_on b62 b9)
(goal_on b9 b79)
(goal_on b79 b33)
(goal_on b33 b43)
(goal_on b43 b30)
(goal_clear b72)
(goal_on-table b5)
(goal_on b72 b89)
(goal_on b89 b17)
(goal_on b17 b4)
(goal_on b4 b85)
(goal_on b85 b16)
(goal_on b16 b21)
(goal_on b21 b88)
(goal_on b88 b87)
(goal_on b87 b32)
(goal_on b32 b39)
(goal_on b39 b94)
(goal_on b94 b83)
(goal_on b83 b100)
(goal_on b100 b66)
(goal_on b66 b68)
(goal_on b68 b5))
(:goal (and
(clear b31)
(on-table b98)
(on b31 b38)
(on b38 b92)
(on b92 b46)
(on b46 b58)
(on b58 b71)
(on b71 b73)
(on b73 b25)
(on b25 b97)
(on b97 b13)
(on b13 b40)
(on b40 b59)
(on b59 b10)
(on b10 b18)
(on b18 b98)
(clear b51)
(on-table b75)
(on b51 b91)
(on b91 b74)
(on b74 b2)
(on b2 b75)
(clear b63)
(on-table b61)
(on b63 b29)
(on b29 b65)
(on b65 b19)
(on b19 b42)
(on b42 b45)
(on b45 b93)
(on b93 b20)
(on b20 b82)
(on b82 b1)
(on b1 b52)
(on b52 b81)
(on b81 b50)
(on b50 b28)
(on b28 b44)
(on b44 b11)
(on b11 b22)
(on b22 b67)
(on b67 b48)
(on b48 b35)
(on b35 b96)
(on b96 b70)
(on b70 b6)
(on b6 b37)
(on b37 b3)
(on b3 b77)
(on b77 b24)
(on b24 b34)
(on b34 b95)
(on b95 b80)
(on b80 b61)
(clear b12)
(on-table b55)
(on b12 b49)
(on b49 b60)
(on b60 b86)
(on b86 b15)
(on b15 b36)
(on b36 b55)
(clear b26)
(on-table b41)
(on b26 b41)
(clear b64)
(on-table b30)
(on b64 b54)
(on b54 b23)
(on b23 b78)
(on b78 b57)
(on b57 b56)
(on b56 b53)
(on b53 b69)
(on b69 b84)
(on b84 b99)
(on b99 b90)
(on b90 b8)
(on b8 b14)
(on b14 b76)
(on b76 b7)
(on b7 b47)
(on b47 b27)
(on b27 b62)
(on b62 b9)
(on b9 b79)
(on b79 b33)
(on b33 b43)
(on b43 b30)
(clear b72)
(on-table b5)
(on b72 b89)
(on b89 b17)
(on b17 b4)
(on b4 b85)
(on b85 b16)
(on b16 b21)
(on b21 b88)
(on b88 b87)
(on b87 b32)
(on b32 b39)
(on b39 b94)
(on b94 b83)
(on b83 b100)
(on b100 b66)
(on b66 b68)
(on b68 b5)))
)