forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p10.pddl
717 lines (717 loc) · 21.9 KB
/
p10.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
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
;; Generator input: seed=210953, locations=8, edges=9, seas=1, probabilities=[2, 3, 3, 4], goals=6, optimization=[5, 10], C=1.500000, V=1.500000
(define (problem psat-large-06-medium)
(:domain settlers)
(:objects
p0 p1 p2 p3 p4 p5 p6 p7 - place
v0 v1 v2 v3 - vehicle
sl11 - stone_level
hl11 - housing_level
cl11 cl12 cl13 cl14 cl15 cl16 cl17 cl18 cl19 cl20 cl21 cl22 cl23 cl24 cl25 cl26 cl27 cl28 cl29 - coal_level
wl11 wl12 wl13 wl14 wl15 wl16 wl17 wl18 wl19 wl20 wl21 wl22 wl23 wl24 wl25 wl26 wl27 wl28 wl29 - wood_level
tl11 tl12 tl13 tl14 tl15 tl16 tl17 tl18 tl19 tl20 tl21 tl22 tl23 tl24 tl25 tl26 tl27 tl28 tl29 - timber_level
)
(:init
(CONNECTED-BY-LAND p0 p5)
(CONNECTED-BY-LAND p1 p2)
(CONNECTED-BY-LAND p1 p5)
(CONNECTED-BY-LAND p1 p7)
(CONNECTED-BY-LAND p2 p1)
(CONNECTED-BY-LAND p3 p4)
(CONNECTED-BY-LAND p3 p5)
(CONNECTED-BY-LAND p3 p7)
(CONNECTED-BY-LAND p4 p3)
(CONNECTED-BY-LAND p5 p0)
(CONNECTED-BY-LAND p5 p1)
(CONNECTED-BY-LAND p5 p3)
(CONNECTED-BY-LAND p5 p7)
(CONNECTED-BY-LAND p6 p7)
(CONNECTED-BY-LAND p7 p1)
(CONNECTED-BY-LAND p7 p3)
(CONNECTED-BY-LAND p7 p5)
(CONNECTED-BY-LAND p7 p6)
(CONNECTED-BY-SEA p1 p3)
(CONNECTED-BY-SEA p1 p5)
(CONNECTED-BY-SEA p1 p6)
(CONNECTED-BY-SEA p3 p1)
(CONNECTED-BY-SEA p3 p5)
(CONNECTED-BY-SEA p3 p6)
(CONNECTED-BY-SEA p5 p1)
(CONNECTED-BY-SEA p5 p3)
(CONNECTED-BY-SEA p5 p6)
(CONNECTED-BY-SEA p6 p1)
(CONNECTED-BY-SEA p6 p3)
(CONNECTED-BY-SEA p6 p5)
(BY-COAST p1)
(BY-COAST p3)
(BY-COAST p5)
(BY-COAST p6)
(housing p0 hl0)
(housing p1 hl0)
(housing p2 hl0)
(housing p3 hl0)
(housing p4 hl0)
(housing p5 hl0)
(housing p6 hl0)
(housing p7 hl0)
(available-stone p0 sl11)
(available-atleast-stone p0 sl1)
(available-atleast-stone p0 sl2)
(available-atleast-stone p0 sl4)
(available-timber p0 tl29)
(available-atleast-timber p0 tl1)
(available-atleast-timber p0 tl2)
(available-atleast-timber p0 tl4)
(available-ore p0 ol0)
(available-wood p0 wl0)
(available-coal p0 cl0)
(available-iron p0 il0)
(available-stone p1 sl0)
(available-timber p1 tl0)
(available-ore p1 ol8)
(available-atleast-ore p1 ol1)
(available-atleast-ore p1 ol2)
(available-atleast-ore p1 ol4)
(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)
(available-stone p5 sl0)
(available-timber p5 tl0)
(available-ore p5 ol0)
(available-wood p5 wl0)
(available-coal p5 cl0)
(available-iron p5 il0)
(available-stone p6 sl0)
(available-timber p6 tl0)
(available-ore p6 ol0)
(available-wood p6 wl0)
(available-coal p6 cl0)
(available-iron p6 il0)
(available-stone p7 sl0)
(available-timber p7 tl0)
(available-ore p7 ol0)
(available-wood p7 wl0)
(available-coal p7 cl0)
(available-iron p7 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)
(potential v3)
(available-stone v3 sl0)
(available-timber v3 tl0)
(available-ore v3 ol0)
(available-wood v3 wl0)
(available-coal v3 cl0)
(available-iron v3 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-HOUSING hl11 hl1 hl10)
(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 sl11 sl1 sl10)
(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 sl11 sl2 sl9)
(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-STONE sl11 sl4 sl7)
(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 tl19 tl1 tl18)
(DIFF-TIMBER tl20 tl1 tl19)
(DIFF-TIMBER tl21 tl1 tl20)
(DIFF-TIMBER tl22 tl1 tl21)
(DIFF-TIMBER tl23 tl1 tl22)
(DIFF-TIMBER tl24 tl1 tl23)
(DIFF-TIMBER tl25 tl1 tl24)
(DIFF-TIMBER tl26 tl1 tl25)
(DIFF-TIMBER tl27 tl1 tl26)
(DIFF-TIMBER tl28 tl1 tl27)
(DIFF-TIMBER tl29 tl1 tl28)
(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 tl19 tl2 tl17)
(DIFF-TIMBER tl20 tl2 tl18)
(DIFF-TIMBER tl21 tl2 tl19)
(DIFF-TIMBER tl22 tl2 tl20)
(DIFF-TIMBER tl23 tl2 tl21)
(DIFF-TIMBER tl24 tl2 tl22)
(DIFF-TIMBER tl25 tl2 tl23)
(DIFF-TIMBER tl26 tl2 tl24)
(DIFF-TIMBER tl27 tl2 tl25)
(DIFF-TIMBER tl28 tl2 tl26)
(DIFF-TIMBER tl29 tl2 tl27)
(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-TIMBER tl19 tl4 tl15)
(DIFF-TIMBER tl20 tl4 tl16)
(DIFF-TIMBER tl21 tl4 tl17)
(DIFF-TIMBER tl22 tl4 tl18)
(DIFF-TIMBER tl23 tl4 tl19)
(DIFF-TIMBER tl24 tl4 tl20)
(DIFF-TIMBER tl25 tl4 tl21)
(DIFF-TIMBER tl26 tl4 tl22)
(DIFF-TIMBER tl27 tl4 tl23)
(DIFF-TIMBER tl28 tl4 tl24)
(DIFF-TIMBER tl29 tl4 tl25)
(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 ol6 ol1 ol5)
(DIFF-ORE ol7 ol1 ol6)
(DIFF-ORE ol8 ol1 ol7)
(DIFF-ORE ol2 ol2 ol0)
(DIFF-ORE ol3 ol2 ol1)
(DIFF-ORE ol4 ol2 ol2)
(DIFF-ORE ol5 ol2 ol3)
(DIFF-ORE ol6 ol2 ol4)
(DIFF-ORE ol7 ol2 ol5)
(DIFF-ORE ol8 ol2 ol6)
(DIFF-ORE ol4 ol4 ol0)
(DIFF-ORE ol5 ol4 ol1)
(DIFF-ORE ol6 ol4 ol2)
(DIFF-ORE ol7 ol4 ol3)
(DIFF-ORE ol8 ol4 ol4)
(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 wl19 wl1 wl18)
(DIFF-WOOD wl20 wl1 wl19)
(DIFF-WOOD wl21 wl1 wl20)
(DIFF-WOOD wl22 wl1 wl21)
(DIFF-WOOD wl23 wl1 wl22)
(DIFF-WOOD wl24 wl1 wl23)
(DIFF-WOOD wl25 wl1 wl24)
(DIFF-WOOD wl26 wl1 wl25)
(DIFF-WOOD wl27 wl1 wl26)
(DIFF-WOOD wl28 wl1 wl27)
(DIFF-WOOD wl29 wl1 wl28)
(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 wl19 wl2 wl17)
(DIFF-WOOD wl20 wl2 wl18)
(DIFF-WOOD wl21 wl2 wl19)
(DIFF-WOOD wl22 wl2 wl20)
(DIFF-WOOD wl23 wl2 wl21)
(DIFF-WOOD wl24 wl2 wl22)
(DIFF-WOOD wl25 wl2 wl23)
(DIFF-WOOD wl26 wl2 wl24)
(DIFF-WOOD wl27 wl2 wl25)
(DIFF-WOOD wl28 wl2 wl26)
(DIFF-WOOD wl29 wl2 wl27)
(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-WOOD wl19 wl4 wl15)
(DIFF-WOOD wl20 wl4 wl16)
(DIFF-WOOD wl21 wl4 wl17)
(DIFF-WOOD wl22 wl4 wl18)
(DIFF-WOOD wl23 wl4 wl19)
(DIFF-WOOD wl24 wl4 wl20)
(DIFF-WOOD wl25 wl4 wl21)
(DIFF-WOOD wl26 wl4 wl22)
(DIFF-WOOD wl27 wl4 wl23)
(DIFF-WOOD wl28 wl4 wl24)
(DIFF-WOOD wl29 wl4 wl25)
(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 cl19 cl1 cl18)
(DIFF-COAL cl20 cl1 cl19)
(DIFF-COAL cl21 cl1 cl20)
(DIFF-COAL cl22 cl1 cl21)
(DIFF-COAL cl23 cl1 cl22)
(DIFF-COAL cl24 cl1 cl23)
(DIFF-COAL cl25 cl1 cl24)
(DIFF-COAL cl26 cl1 cl25)
(DIFF-COAL cl27 cl1 cl26)
(DIFF-COAL cl28 cl1 cl27)
(DIFF-COAL cl29 cl1 cl28)
(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 cl19 cl2 cl17)
(DIFF-COAL cl20 cl2 cl18)
(DIFF-COAL cl21 cl2 cl19)
(DIFF-COAL cl22 cl2 cl20)
(DIFF-COAL cl23 cl2 cl21)
(DIFF-COAL cl24 cl2 cl22)
(DIFF-COAL cl25 cl2 cl23)
(DIFF-COAL cl26 cl2 cl24)
(DIFF-COAL cl27 cl2 cl25)
(DIFF-COAL cl28 cl2 cl26)
(DIFF-COAL cl29 cl2 cl27)
(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-COAL cl19 cl4 cl15)
(DIFF-COAL cl20 cl4 cl16)
(DIFF-COAL cl21 cl4 cl17)
(DIFF-COAL cl22 cl4 cl18)
(DIFF-COAL cl23 cl4 cl19)
(DIFF-COAL cl24 cl4 cl20)
(DIFF-COAL cl25 cl4 cl21)
(DIFF-COAL cl26 cl4 cl22)
(DIFF-COAL cl27 cl4 cl23)
(DIFF-COAL cl28 cl4 cl24)
(DIFF-COAL cl29 cl4 cl25)
(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 il6 il1 il5)
(DIFF-IRON il7 il1 il6)
(DIFF-IRON il8 il1 il7)
(DIFF-IRON il2 il2 il0)
(DIFF-IRON il3 il2 il1)
(DIFF-IRON il4 il2 il2)
(DIFF-IRON il5 il2 il3)
(DIFF-IRON il6 il2 il4)
(DIFF-IRON il7 il2 il5)
(DIFF-IRON il8 il2 il6)
(DIFF-IRON il4 il4 il0)
(DIFF-IRON il5 il4 il1)
(DIFF-IRON il6 il4 il2)
(DIFF-IRON il7 il4 il3)
(DIFF-IRON il8 il4 il4)
(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
(connected-by-rail p0 p5)
(has-sawmill p3)
(has-sawmill p1)
(connected-by-rail p1 p5)
(housing p0 hl1)
(housing p2 hl1)
)
)
(:metric minimize (total-cost))
)