forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p20.pddl
551 lines (551 loc) · 17 KB
/
p20.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
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
;; Generator input: seed=70128, locations=5, edges=5, seas=1, probabilities=[2, 3, 3, 4], goals=6, optimization=[5, 10], C=1.200000, V=1.200000
(define (problem popt-small-06-veryeasy)
(:domain settlers)
(:objects
p0 p1 p2 p3 p4 - place
v0 v1 v2 - vehicle
cl11 cl12 cl13 cl14 cl15 cl16 cl17 cl18 - coal_level
wl11 wl12 wl13 wl14 wl15 wl16 wl17 wl18 - wood_level
tl11 tl12 tl13 tl14 tl15 tl16 tl17 tl18 - timber_level
)
(:init
(CONNECTED-BY-LAND p0 p2)
(CONNECTED-BY-LAND p0 p3)
(CONNECTED-BY-LAND p1 p3)
(CONNECTED-BY-LAND p2 p0)
(CONNECTED-BY-LAND p2 p3)
(CONNECTED-BY-LAND p2 p4)
(CONNECTED-BY-LAND p3 p0)
(CONNECTED-BY-LAND p3 p1)
(CONNECTED-BY-LAND p3 p2)
(CONNECTED-BY-LAND p4 p2)
(CONNECTED-BY-SEA p1 p2)
(CONNECTED-BY-SEA p1 p4)
(CONNECTED-BY-SEA p2 p1)
(CONNECTED-BY-SEA p2 p4)
(CONNECTED-BY-SEA p4 p1)
(CONNECTED-BY-SEA p4 p2)
(BY-COAST p1)
(BY-COAST p2)
(BY-COAST p4)
(housing p0 hl0)
(housing p1 hl0)
(housing p2 hl0)
(housing p3 hl0)
(housing p4 hl0)
(available-stone p0 sl10)
(available-atleast-stone p0 sl1)
(available-atleast-stone p0 sl2)
(available-atleast-stone p0 sl4)
(available-timber p0 tl18)
(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)
(available-stone p3 sl0)
(available-timber p3 tl0)
(available-ore p3 ol0)
(available-wood p3 wl0)
(available-coal p3 cl0)
(available-iron p3 il0)
(available-stone p4 sl0)
(available-timber p4 tl0)
(available-ore p4 ol0)
(available-wood p4 wl0)
(available-coal p4 cl0)
(available-iron p4 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-HOUSING hl7 hl1 hl6)
(DIFF-HOUSING hl8 hl1 hl7)
(DIFF-HOUSING hl9 hl1 hl8)
(DIFF-HOUSING hl10 hl1 hl9)
(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 sl7 sl1 sl6)
(DIFF-STONE sl8 sl1 sl7)
(DIFF-STONE sl9 sl1 sl8)
(DIFF-STONE sl10 sl1 sl9)
(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 sl7 sl2 sl5)
(DIFF-STONE sl8 sl2 sl6)
(DIFF-STONE sl9 sl2 sl7)
(DIFF-STONE sl10 sl2 sl8)
(DIFF-STONE sl4 sl4 sl0)
(DIFF-STONE sl5 sl4 sl1)
(DIFF-STONE sl6 sl4 sl2)
(DIFF-STONE sl7 sl4 sl3)
(DIFF-STONE sl8 sl4 sl4)
(DIFF-STONE sl9 sl4 sl5)
(DIFF-STONE sl10 sl4 sl6)
(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 tl15 tl1 tl14)
(DIFF-TIMBER tl16 tl1 tl15)
(DIFF-TIMBER tl17 tl1 tl16)
(DIFF-TIMBER tl18 tl1 tl17)
(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 tl15 tl2 tl13)
(DIFF-TIMBER tl16 tl2 tl14)
(DIFF-TIMBER tl17 tl2 tl15)
(DIFF-TIMBER tl18 tl2 tl16)
(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-TIMBER tl15 tl4 tl11)
(DIFF-TIMBER tl16 tl4 tl12)
(DIFF-TIMBER tl17 tl4 tl13)
(DIFF-TIMBER tl18 tl4 tl14)
(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 wl15 wl1 wl14)
(DIFF-WOOD wl16 wl1 wl15)
(DIFF-WOOD wl17 wl1 wl16)
(DIFF-WOOD wl18 wl1 wl17)
(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 wl15 wl2 wl13)
(DIFF-WOOD wl16 wl2 wl14)
(DIFF-WOOD wl17 wl2 wl15)
(DIFF-WOOD wl18 wl2 wl16)
(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-WOOD wl15 wl4 wl11)
(DIFF-WOOD wl16 wl4 wl12)
(DIFF-WOOD wl17 wl4 wl13)
(DIFF-WOOD wl18 wl4 wl14)
(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 cl15 cl1 cl14)
(DIFF-COAL cl16 cl1 cl15)
(DIFF-COAL cl17 cl1 cl16)
(DIFF-COAL cl18 cl1 cl17)
(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 cl15 cl2 cl13)
(DIFF-COAL cl16 cl2 cl14)
(DIFF-COAL cl17 cl2 cl15)
(DIFF-COAL cl18 cl2 cl16)
(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-COAL cl15 cl4 cl11)
(DIFF-COAL cl16 cl4 cl12)
(DIFF-COAL cl17 cl4 cl13)
(DIFF-COAL cl18 cl4 cl14)
(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-sawmill p0)
(has-coal-stack p3)
(connected-by-rail p0 p3)
(housing p1 hl1)
(housing p3 hl1)
(housing p4 hl1)
)
)
(:metric minimize (total-cost))
)