forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p05.pddl
467 lines (467 loc) · 14.5 KB
/
p05.pddl
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
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
;; Generator input: seed=30710, locations=3, edges=2, seas=0, probabilities=[2, 3, 3, 4], goals=3, optimization=[5, 10], C=1.200000, V=1.200000
(define (problem popt-tiny-03-easy)
(:domain settlers)
(:objects
p0 p1 p2 - place
v0 v1 v2 - vehicle
cl11 cl12 cl13 cl14 - coal_level
wl11 wl12 wl13 wl14 - wood_level
tl11 tl12 tl13 tl14 - timber_level
)
(:init
(CONNECTED-BY-LAND p0 p2)
(CONNECTED-BY-LAND p1 p2)
(CONNECTED-BY-LAND p2 p0)
(CONNECTED-BY-LAND p2 p1)
(housing p0 hl0)
(housing p1 hl0)
(housing p2 hl0)
(available-stone p0 sl6)
(available-atleast-stone p0 sl1)
(available-atleast-stone p0 sl2)
(available-atleast-stone p0 sl4)
(available-timber p0 tl14)
(available-atleast-timber p0 tl1)
(available-atleast-timber p0 tl2)
(available-atleast-timber p0 tl4)
(available-ore p0 ol5)
(available-atleast-ore p0 ol1)
(available-atleast-ore p0 ol2)
(available-atleast-ore p0 ol4)
(available-wood p0 wl0)
(available-coal p0 cl0)
(available-iron p0 il0)
(available-stone p1 sl0)
(available-timber p1 tl0)
(available-ore p1 ol0)
(available-wood p1 wl0)
(available-coal p1 cl0)
(available-iron p1 il0)
(available-stone p2 sl0)
(available-timber p2 tl0)
(available-ore p2 ol0)
(available-wood p2 wl0)
(available-coal p2 cl0)
(available-iron p2 il0)
(potential v0)
(available-stone v0 sl0)
(available-timber v0 tl0)
(available-ore v0 ol0)
(available-wood v0 wl0)
(available-coal v0 cl0)
(available-iron v0 il0)
(potential v1)
(available-stone v1 sl0)
(available-timber v1 tl0)
(available-ore v1 ol0)
(available-wood v1 wl0)
(available-coal v1 cl0)
(available-iron v1 il0)
(potential v2)
(available-stone v2 sl0)
(available-timber v2 tl0)
(available-ore v2 ol0)
(available-wood v2 wl0)
(available-coal v2 cl0)
(available-iron v2 il0)
(DIFF-SPACE spl1 spl1 spl0)
(DIFF-SPACE spl2 spl1 spl1)
(DIFF-SPACE spl3 spl1 spl2)
(DIFF-SPACE spl4 spl1 spl3)
(DIFF-SPACE spl5 spl1 spl4)
(DIFF-SPACE spl6 spl1 spl5)
(DIFF-SPACE spl7 spl1 spl6)
(DIFF-SPACE spl8 spl1 spl7)
(DIFF-SPACE spl9 spl1 spl8)
(DIFF-SPACE spl10 spl1 spl9)
(DIFF-SPACE spl2 spl2 spl0)
(DIFF-SPACE spl3 spl2 spl1)
(DIFF-SPACE spl4 spl2 spl2)
(DIFF-SPACE spl5 spl2 spl3)
(DIFF-SPACE spl6 spl2 spl4)
(DIFF-SPACE spl7 spl2 spl5)
(DIFF-SPACE spl8 spl2 spl6)
(DIFF-SPACE spl9 spl2 spl7)
(DIFF-SPACE spl10 spl2 spl8)
(DIFF-HOUSING hl1 hl1 hl0)
(DIFF-HOUSING hl2 hl1 hl1)
(DIFF-HOUSING hl3 hl1 hl2)
(DIFF-HOUSING hl4 hl1 hl3)
(DIFF-HOUSING hl5 hl1 hl4)
(DIFF-HOUSING hl6 hl1 hl5)
(DIFF-STONE sl1 sl1 sl0)
(DIFF-STONE sl2 sl1 sl1)
(DIFF-STONE sl3 sl1 sl2)
(DIFF-STONE sl4 sl1 sl3)
(DIFF-STONE sl5 sl1 sl4)
(DIFF-STONE sl6 sl1 sl5)
(DIFF-STONE sl2 sl2 sl0)
(DIFF-STONE sl3 sl2 sl1)
(DIFF-STONE sl4 sl2 sl2)
(DIFF-STONE sl5 sl2 sl3)
(DIFF-STONE sl6 sl2 sl4)
(DIFF-STONE sl4 sl4 sl0)
(DIFF-STONE sl5 sl4 sl1)
(DIFF-STONE sl6 sl4 sl2)
(DIFF-TIMBER tl1 tl1 tl0)
(DIFF-TIMBER tl2 tl1 tl1)
(DIFF-TIMBER tl3 tl1 tl2)
(DIFF-TIMBER tl4 tl1 tl3)
(DIFF-TIMBER tl5 tl1 tl4)
(DIFF-TIMBER tl6 tl1 tl5)
(DIFF-TIMBER tl7 tl1 tl6)
(DIFF-TIMBER tl8 tl1 tl7)
(DIFF-TIMBER tl9 tl1 tl8)
(DIFF-TIMBER tl10 tl1 tl9)
(DIFF-TIMBER tl11 tl1 tl10)
(DIFF-TIMBER tl12 tl1 tl11)
(DIFF-TIMBER tl13 tl1 tl12)
(DIFF-TIMBER tl14 tl1 tl13)
(DIFF-TIMBER tl2 tl2 tl0)
(DIFF-TIMBER tl3 tl2 tl1)
(DIFF-TIMBER tl4 tl2 tl2)
(DIFF-TIMBER tl5 tl2 tl3)
(DIFF-TIMBER tl6 tl2 tl4)
(DIFF-TIMBER tl7 tl2 tl5)
(DIFF-TIMBER tl8 tl2 tl6)
(DIFF-TIMBER tl9 tl2 tl7)
(DIFF-TIMBER tl10 tl2 tl8)
(DIFF-TIMBER tl11 tl2 tl9)
(DIFF-TIMBER tl12 tl2 tl10)
(DIFF-TIMBER tl13 tl2 tl11)
(DIFF-TIMBER tl14 tl2 tl12)
(DIFF-TIMBER tl4 tl4 tl0)
(DIFF-TIMBER tl5 tl4 tl1)
(DIFF-TIMBER tl6 tl4 tl2)
(DIFF-TIMBER tl7 tl4 tl3)
(DIFF-TIMBER tl8 tl4 tl4)
(DIFF-TIMBER tl9 tl4 tl5)
(DIFF-TIMBER tl10 tl4 tl6)
(DIFF-TIMBER tl11 tl4 tl7)
(DIFF-TIMBER tl12 tl4 tl8)
(DIFF-TIMBER tl13 tl4 tl9)
(DIFF-TIMBER tl14 tl4 tl10)
(DIFF-ORE ol1 ol1 ol0)
(DIFF-ORE ol2 ol1 ol1)
(DIFF-ORE ol3 ol1 ol2)
(DIFF-ORE ol4 ol1 ol3)
(DIFF-ORE ol5 ol1 ol4)
(DIFF-ORE ol2 ol2 ol0)
(DIFF-ORE ol3 ol2 ol1)
(DIFF-ORE ol4 ol2 ol2)
(DIFF-ORE ol5 ol2 ol3)
(DIFF-ORE ol4 ol4 ol0)
(DIFF-ORE ol5 ol4 ol1)
(DIFF-WOOD wl1 wl1 wl0)
(DIFF-WOOD wl2 wl1 wl1)
(DIFF-WOOD wl3 wl1 wl2)
(DIFF-WOOD wl4 wl1 wl3)
(DIFF-WOOD wl5 wl1 wl4)
(DIFF-WOOD wl6 wl1 wl5)
(DIFF-WOOD wl7 wl1 wl6)
(DIFF-WOOD wl8 wl1 wl7)
(DIFF-WOOD wl9 wl1 wl8)
(DIFF-WOOD wl10 wl1 wl9)
(DIFF-WOOD wl11 wl1 wl10)
(DIFF-WOOD wl12 wl1 wl11)
(DIFF-WOOD wl13 wl1 wl12)
(DIFF-WOOD wl14 wl1 wl13)
(DIFF-WOOD wl2 wl2 wl0)
(DIFF-WOOD wl3 wl2 wl1)
(DIFF-WOOD wl4 wl2 wl2)
(DIFF-WOOD wl5 wl2 wl3)
(DIFF-WOOD wl6 wl2 wl4)
(DIFF-WOOD wl7 wl2 wl5)
(DIFF-WOOD wl8 wl2 wl6)
(DIFF-WOOD wl9 wl2 wl7)
(DIFF-WOOD wl10 wl2 wl8)
(DIFF-WOOD wl11 wl2 wl9)
(DIFF-WOOD wl12 wl2 wl10)
(DIFF-WOOD wl13 wl2 wl11)
(DIFF-WOOD wl14 wl2 wl12)
(DIFF-WOOD wl4 wl4 wl0)
(DIFF-WOOD wl5 wl4 wl1)
(DIFF-WOOD wl6 wl4 wl2)
(DIFF-WOOD wl7 wl4 wl3)
(DIFF-WOOD wl8 wl4 wl4)
(DIFF-WOOD wl9 wl4 wl5)
(DIFF-WOOD wl10 wl4 wl6)
(DIFF-WOOD wl11 wl4 wl7)
(DIFF-WOOD wl12 wl4 wl8)
(DIFF-WOOD wl13 wl4 wl9)
(DIFF-WOOD wl14 wl4 wl10)
(DIFF-COAL cl1 cl1 cl0)
(DIFF-COAL cl2 cl1 cl1)
(DIFF-COAL cl3 cl1 cl2)
(DIFF-COAL cl4 cl1 cl3)
(DIFF-COAL cl5 cl1 cl4)
(DIFF-COAL cl6 cl1 cl5)
(DIFF-COAL cl7 cl1 cl6)
(DIFF-COAL cl8 cl1 cl7)
(DIFF-COAL cl9 cl1 cl8)
(DIFF-COAL cl10 cl1 cl9)
(DIFF-COAL cl11 cl1 cl10)
(DIFF-COAL cl12 cl1 cl11)
(DIFF-COAL cl13 cl1 cl12)
(DIFF-COAL cl14 cl1 cl13)
(DIFF-COAL cl2 cl2 cl0)
(DIFF-COAL cl3 cl2 cl1)
(DIFF-COAL cl4 cl2 cl2)
(DIFF-COAL cl5 cl2 cl3)
(DIFF-COAL cl6 cl2 cl4)
(DIFF-COAL cl7 cl2 cl5)
(DIFF-COAL cl8 cl2 cl6)
(DIFF-COAL cl9 cl2 cl7)
(DIFF-COAL cl10 cl2 cl8)
(DIFF-COAL cl11 cl2 cl9)
(DIFF-COAL cl12 cl2 cl10)
(DIFF-COAL cl13 cl2 cl11)
(DIFF-COAL cl14 cl2 cl12)
(DIFF-COAL cl4 cl4 cl0)
(DIFF-COAL cl5 cl4 cl1)
(DIFF-COAL cl6 cl4 cl2)
(DIFF-COAL cl7 cl4 cl3)
(DIFF-COAL cl8 cl4 cl4)
(DIFF-COAL cl9 cl4 cl5)
(DIFF-COAL cl10 cl4 cl6)
(DIFF-COAL cl11 cl4 cl7)
(DIFF-COAL cl12 cl4 cl8)
(DIFF-COAL cl13 cl4 cl9)
(DIFF-COAL cl14 cl4 cl10)
(DIFF-IRON il1 il1 il0)
(DIFF-IRON il2 il1 il1)
(DIFF-IRON il3 il1 il2)
(DIFF-IRON il4 il1 il3)
(DIFF-IRON il5 il1 il4)
(DIFF-IRON il2 il2 il0)
(DIFF-IRON il3 il2 il1)
(DIFF-IRON il4 il2 il2)
(DIFF-IRON il5 il2 il3)
(DIFF-IRON il4 il4 il0)
(DIFF-IRON il5 il4 il1)
(ADD-ATLEAST-STONE sl0 sl1 sl1)
(DEL-ATLEAST-STONE sl1 sl1 sl1)
(ADD-ATLEAST-STONE sl0 sl2 sl1)
(DEL-ATLEAST-STONE sl1 sl2 sl1)
(DEL-ATLEAST-STONE sl2 sl2 sl1)
(ADD-ATLEAST-STONE sl0 sl4 sl1)
(DEL-ATLEAST-STONE sl1 sl4 sl1)
(DEL-ATLEAST-STONE sl2 sl4 sl1)
(DEL-ATLEAST-STONE sl3 sl4 sl1)
(DEL-ATLEAST-STONE sl4 sl4 sl1)
(ADD-ATLEAST-STONE sl1 sl1 sl2)
(DEL-ATLEAST-STONE sl2 sl1 sl2)
(ADD-ATLEAST-STONE sl0 sl2 sl2)
(ADD-ATLEAST-STONE sl1 sl2 sl2)
(DEL-ATLEAST-STONE sl2 sl2 sl2)
(DEL-ATLEAST-STONE sl3 sl2 sl2)
(ADD-ATLEAST-STONE sl0 sl4 sl2)
(ADD-ATLEAST-STONE sl1 sl4 sl2)
(DEL-ATLEAST-STONE sl2 sl4 sl2)
(DEL-ATLEAST-STONE sl3 sl4 sl2)
(DEL-ATLEAST-STONE sl4 sl4 sl2)
(DEL-ATLEAST-STONE sl5 sl4 sl2)
(ADD-ATLEAST-STONE sl3 sl1 sl4)
(DEL-ATLEAST-STONE sl4 sl1 sl4)
(ADD-ATLEAST-STONE sl2 sl2 sl4)
(ADD-ATLEAST-STONE sl3 sl2 sl4)
(DEL-ATLEAST-STONE sl4 sl2 sl4)
(DEL-ATLEAST-STONE sl5 sl2 sl4)
(ADD-ATLEAST-STONE sl0 sl4 sl4)
(ADD-ATLEAST-STONE sl1 sl4 sl4)
(ADD-ATLEAST-STONE sl2 sl4 sl4)
(ADD-ATLEAST-STONE sl3 sl4 sl4)
(DEL-ATLEAST-STONE sl4 sl4 sl4)
(DEL-ATLEAST-STONE sl5 sl4 sl4)
(DEL-ATLEAST-STONE sl6 sl4 sl4)
(DEL-ATLEAST-STONE sl7 sl4 sl4)
(ADD-ATLEAST-TIMBER tl0 tl1 tl1)
(DEL-ATLEAST-TIMBER tl1 tl1 tl1)
(ADD-ATLEAST-TIMBER tl0 tl2 tl1)
(DEL-ATLEAST-TIMBER tl1 tl2 tl1)
(DEL-ATLEAST-TIMBER tl2 tl2 tl1)
(ADD-ATLEAST-TIMBER tl0 tl4 tl1)
(DEL-ATLEAST-TIMBER tl1 tl4 tl1)
(DEL-ATLEAST-TIMBER tl2 tl4 tl1)
(DEL-ATLEAST-TIMBER tl3 tl4 tl1)
(DEL-ATLEAST-TIMBER tl4 tl4 tl1)
(ADD-ATLEAST-TIMBER tl1 tl1 tl2)
(DEL-ATLEAST-TIMBER tl2 tl1 tl2)
(ADD-ATLEAST-TIMBER tl0 tl2 tl2)
(ADD-ATLEAST-TIMBER tl1 tl2 tl2)
(DEL-ATLEAST-TIMBER tl2 tl2 tl2)
(DEL-ATLEAST-TIMBER tl3 tl2 tl2)
(ADD-ATLEAST-TIMBER tl0 tl4 tl2)
(ADD-ATLEAST-TIMBER tl1 tl4 tl2)
(DEL-ATLEAST-TIMBER tl2 tl4 tl2)
(DEL-ATLEAST-TIMBER tl3 tl4 tl2)
(DEL-ATLEAST-TIMBER tl4 tl4 tl2)
(DEL-ATLEAST-TIMBER tl5 tl4 tl2)
(ADD-ATLEAST-TIMBER tl3 tl1 tl4)
(DEL-ATLEAST-TIMBER tl4 tl1 tl4)
(ADD-ATLEAST-TIMBER tl2 tl2 tl4)
(ADD-ATLEAST-TIMBER tl3 tl2 tl4)
(DEL-ATLEAST-TIMBER tl4 tl2 tl4)
(DEL-ATLEAST-TIMBER tl5 tl2 tl4)
(ADD-ATLEAST-TIMBER tl0 tl4 tl4)
(ADD-ATLEAST-TIMBER tl1 tl4 tl4)
(ADD-ATLEAST-TIMBER tl2 tl4 tl4)
(ADD-ATLEAST-TIMBER tl3 tl4 tl4)
(DEL-ATLEAST-TIMBER tl4 tl4 tl4)
(DEL-ATLEAST-TIMBER tl5 tl4 tl4)
(DEL-ATLEAST-TIMBER tl6 tl4 tl4)
(DEL-ATLEAST-TIMBER tl7 tl4 tl4)
(ADD-ATLEAST-ORE ol0 ol1 ol1)
(DEL-ATLEAST-ORE ol1 ol1 ol1)
(ADD-ATLEAST-ORE ol0 ol2 ol1)
(DEL-ATLEAST-ORE ol1 ol2 ol1)
(DEL-ATLEAST-ORE ol2 ol2 ol1)
(ADD-ATLEAST-ORE ol0 ol4 ol1)
(DEL-ATLEAST-ORE ol1 ol4 ol1)
(DEL-ATLEAST-ORE ol2 ol4 ol1)
(DEL-ATLEAST-ORE ol3 ol4 ol1)
(DEL-ATLEAST-ORE ol4 ol4 ol1)
(ADD-ATLEAST-ORE ol1 ol1 ol2)
(DEL-ATLEAST-ORE ol2 ol1 ol2)
(ADD-ATLEAST-ORE ol0 ol2 ol2)
(ADD-ATLEAST-ORE ol1 ol2 ol2)
(DEL-ATLEAST-ORE ol2 ol2 ol2)
(DEL-ATLEAST-ORE ol3 ol2 ol2)
(ADD-ATLEAST-ORE ol0 ol4 ol2)
(ADD-ATLEAST-ORE ol1 ol4 ol2)
(DEL-ATLEAST-ORE ol2 ol4 ol2)
(DEL-ATLEAST-ORE ol3 ol4 ol2)
(DEL-ATLEAST-ORE ol4 ol4 ol2)
(DEL-ATLEAST-ORE ol5 ol4 ol2)
(ADD-ATLEAST-ORE ol3 ol1 ol4)
(DEL-ATLEAST-ORE ol4 ol1 ol4)
(ADD-ATLEAST-ORE ol2 ol2 ol4)
(ADD-ATLEAST-ORE ol3 ol2 ol4)
(DEL-ATLEAST-ORE ol4 ol2 ol4)
(DEL-ATLEAST-ORE ol5 ol2 ol4)
(ADD-ATLEAST-ORE ol0 ol4 ol4)
(ADD-ATLEAST-ORE ol1 ol4 ol4)
(ADD-ATLEAST-ORE ol2 ol4 ol4)
(ADD-ATLEAST-ORE ol3 ol4 ol4)
(DEL-ATLEAST-ORE ol4 ol4 ol4)
(DEL-ATLEAST-ORE ol5 ol4 ol4)
(DEL-ATLEAST-ORE ol6 ol4 ol4)
(DEL-ATLEAST-ORE ol7 ol4 ol4)
(ADD-ATLEAST-WOOD wl0 wl1 wl1)
(DEL-ATLEAST-WOOD wl1 wl1 wl1)
(ADD-ATLEAST-WOOD wl0 wl2 wl1)
(DEL-ATLEAST-WOOD wl1 wl2 wl1)
(DEL-ATLEAST-WOOD wl2 wl2 wl1)
(ADD-ATLEAST-WOOD wl0 wl4 wl1)
(DEL-ATLEAST-WOOD wl1 wl4 wl1)
(DEL-ATLEAST-WOOD wl2 wl4 wl1)
(DEL-ATLEAST-WOOD wl3 wl4 wl1)
(DEL-ATLEAST-WOOD wl4 wl4 wl1)
(ADD-ATLEAST-WOOD wl1 wl1 wl2)
(DEL-ATLEAST-WOOD wl2 wl1 wl2)
(ADD-ATLEAST-WOOD wl0 wl2 wl2)
(ADD-ATLEAST-WOOD wl1 wl2 wl2)
(DEL-ATLEAST-WOOD wl2 wl2 wl2)
(DEL-ATLEAST-WOOD wl3 wl2 wl2)
(ADD-ATLEAST-WOOD wl0 wl4 wl2)
(ADD-ATLEAST-WOOD wl1 wl4 wl2)
(DEL-ATLEAST-WOOD wl2 wl4 wl2)
(DEL-ATLEAST-WOOD wl3 wl4 wl2)
(DEL-ATLEAST-WOOD wl4 wl4 wl2)
(DEL-ATLEAST-WOOD wl5 wl4 wl2)
(ADD-ATLEAST-WOOD wl3 wl1 wl4)
(DEL-ATLEAST-WOOD wl4 wl1 wl4)
(ADD-ATLEAST-WOOD wl2 wl2 wl4)
(ADD-ATLEAST-WOOD wl3 wl2 wl4)
(DEL-ATLEAST-WOOD wl4 wl2 wl4)
(DEL-ATLEAST-WOOD wl5 wl2 wl4)
(ADD-ATLEAST-WOOD wl0 wl4 wl4)
(ADD-ATLEAST-WOOD wl1 wl4 wl4)
(ADD-ATLEAST-WOOD wl2 wl4 wl4)
(ADD-ATLEAST-WOOD wl3 wl4 wl4)
(DEL-ATLEAST-WOOD wl4 wl4 wl4)
(DEL-ATLEAST-WOOD wl5 wl4 wl4)
(DEL-ATLEAST-WOOD wl6 wl4 wl4)
(DEL-ATLEAST-WOOD wl7 wl4 wl4)
(ADD-ATLEAST-COAL cl0 cl1 cl1)
(DEL-ATLEAST-COAL cl1 cl1 cl1)
(ADD-ATLEAST-COAL cl0 cl2 cl1)
(DEL-ATLEAST-COAL cl1 cl2 cl1)
(DEL-ATLEAST-COAL cl2 cl2 cl1)
(ADD-ATLEAST-COAL cl0 cl4 cl1)
(DEL-ATLEAST-COAL cl1 cl4 cl1)
(DEL-ATLEAST-COAL cl2 cl4 cl1)
(DEL-ATLEAST-COAL cl3 cl4 cl1)
(DEL-ATLEAST-COAL cl4 cl4 cl1)
(ADD-ATLEAST-COAL cl1 cl1 cl2)
(DEL-ATLEAST-COAL cl2 cl1 cl2)
(ADD-ATLEAST-COAL cl0 cl2 cl2)
(ADD-ATLEAST-COAL cl1 cl2 cl2)
(DEL-ATLEAST-COAL cl2 cl2 cl2)
(DEL-ATLEAST-COAL cl3 cl2 cl2)
(ADD-ATLEAST-COAL cl0 cl4 cl2)
(ADD-ATLEAST-COAL cl1 cl4 cl2)
(DEL-ATLEAST-COAL cl2 cl4 cl2)
(DEL-ATLEAST-COAL cl3 cl4 cl2)
(DEL-ATLEAST-COAL cl4 cl4 cl2)
(DEL-ATLEAST-COAL cl5 cl4 cl2)
(ADD-ATLEAST-COAL cl3 cl1 cl4)
(DEL-ATLEAST-COAL cl4 cl1 cl4)
(ADD-ATLEAST-COAL cl2 cl2 cl4)
(ADD-ATLEAST-COAL cl3 cl2 cl4)
(DEL-ATLEAST-COAL cl4 cl2 cl4)
(DEL-ATLEAST-COAL cl5 cl2 cl4)
(ADD-ATLEAST-COAL cl0 cl4 cl4)
(ADD-ATLEAST-COAL cl1 cl4 cl4)
(ADD-ATLEAST-COAL cl2 cl4 cl4)
(ADD-ATLEAST-COAL cl3 cl4 cl4)
(DEL-ATLEAST-COAL cl4 cl4 cl4)
(DEL-ATLEAST-COAL cl5 cl4 cl4)
(DEL-ATLEAST-COAL cl6 cl4 cl4)
(DEL-ATLEAST-COAL cl7 cl4 cl4)
(ADD-ATLEAST-IRON il0 il1 il1)
(DEL-ATLEAST-IRON il1 il1 il1)
(ADD-ATLEAST-IRON il0 il2 il1)
(DEL-ATLEAST-IRON il1 il2 il1)
(DEL-ATLEAST-IRON il2 il2 il1)
(ADD-ATLEAST-IRON il0 il4 il1)
(DEL-ATLEAST-IRON il1 il4 il1)
(DEL-ATLEAST-IRON il2 il4 il1)
(DEL-ATLEAST-IRON il3 il4 il1)
(DEL-ATLEAST-IRON il4 il4 il1)
(ADD-ATLEAST-IRON il1 il1 il2)
(DEL-ATLEAST-IRON il2 il1 il2)
(ADD-ATLEAST-IRON il0 il2 il2)
(ADD-ATLEAST-IRON il1 il2 il2)
(DEL-ATLEAST-IRON il2 il2 il2)
(DEL-ATLEAST-IRON il3 il2 il2)
(ADD-ATLEAST-IRON il0 il4 il2)
(ADD-ATLEAST-IRON il1 il4 il2)
(DEL-ATLEAST-IRON il2 il4 il2)
(DEL-ATLEAST-IRON il3 il4 il2)
(DEL-ATLEAST-IRON il4 il4 il2)
(DEL-ATLEAST-IRON il5 il4 il2)
(ADD-ATLEAST-IRON il3 il1 il4)
(DEL-ATLEAST-IRON il4 il1 il4)
(ADD-ATLEAST-IRON il2 il2 il4)
(ADD-ATLEAST-IRON il3 il2 il4)
(DEL-ATLEAST-IRON il4 il2 il4)
(DEL-ATLEAST-IRON il5 il2 il4)
(ADD-ATLEAST-IRON il0 il4 il4)
(ADD-ATLEAST-IRON il1 il4 il4)
(ADD-ATLEAST-IRON il2 il4 il4)
(ADD-ATLEAST-IRON il3 il4 il4)
(DEL-ATLEAST-IRON il4 il4 il4)
(DEL-ATLEAST-IRON il5 il4 il4)
(DEL-ATLEAST-IRON il6 il4 il4)
(DEL-ATLEAST-IRON il7 il4 il4)
)
(:goal
(and
(has-coal-stack p2)
(has-ironworks p0)
(connected-by-rail p2 p0)
)
)
(:metric minimize (total-cost))
)