forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathp06.pddl
454 lines (454 loc) · 15.3 KB
/
p06.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
(define (problem sat26-8-10)
(:domain agricola)
(:objects
num1 num2 num3 num4 num5 num6 num7 num8 num9 num10 num11 num12 num13 num14 num15 num16 num17 num18 num19 num20 num21 num22 - num
stage1 stage2 stage3 stage4 stage5 stage6 stage7 stage8 stage9 - stage
round1 round2 round3 round4 round5 round6 round7 round8 round9 round10 round11 round12 round13 round14 round15 round16 round17 - round
worker1 worker2 worker3 worker4 worker5 worker6 worker7 worker8 worker9 worker10 - worker
room1 room2 room3 room4 room5 room6 room7 room8 room9 room10 - room
)
(:init
(NEXT_NUM num0 num1)
(NEXT_NUM num1 num2)
(NEXT_NUM num2 num3)
(NEXT_NUM num3 num4)
(NEXT_NUM num4 num5)
(NEXT_NUM num5 num6)
(NEXT_NUM num6 num7)
(NEXT_NUM num7 num8)
(NEXT_NUM num8 num9)
(NEXT_NUM num9 num10)
(NEXT_NUM num10 num11)
(NEXT_NUM num11 num12)
(NEXT_NUM num12 num13)
(NEXT_NUM num13 num14)
(NEXT_NUM num14 num15)
(NEXT_NUM num15 num16)
(NEXT_NUM num16 num17)
(NEXT_NUM num17 num18)
(NEXT_NUM num18 num19)
(NEXT_NUM num19 num20)
(NEXT_NUM num20 num21)
(NEXT_NUM num21 num22)
(NUM_SUBSTRACT num1 num1 num0)
(NUM_SUBSTRACT num2 num1 num1)
(NUM_SUBSTRACT num2 num2 num0)
(NUM_SUBSTRACT num3 num1 num2)
(NUM_SUBSTRACT num3 num2 num1)
(NUM_SUBSTRACT num3 num3 num0)
(NUM_SUBSTRACT num4 num1 num3)
(NUM_SUBSTRACT num4 num2 num2)
(NUM_SUBSTRACT num4 num3 num1)
(NUM_SUBSTRACT num4 num4 num0)
(NUM_SUBSTRACT num5 num1 num4)
(NUM_SUBSTRACT num5 num2 num3)
(NUM_SUBSTRACT num5 num3 num2)
(NUM_SUBSTRACT num5 num4 num1)
(NUM_SUBSTRACT num5 num5 num0)
(NUM_SUBSTRACT num6 num1 num5)
(NUM_SUBSTRACT num6 num2 num4)
(NUM_SUBSTRACT num6 num3 num3)
(NUM_SUBSTRACT num6 num4 num2)
(NUM_SUBSTRACT num6 num5 num1)
(NUM_SUBSTRACT num6 num6 num0)
(NUM_SUBSTRACT num7 num1 num6)
(NUM_SUBSTRACT num7 num2 num5)
(NUM_SUBSTRACT num7 num3 num4)
(NUM_SUBSTRACT num7 num4 num3)
(NUM_SUBSTRACT num7 num5 num2)
(NUM_SUBSTRACT num7 num6 num1)
(NUM_SUBSTRACT num7 num7 num0)
(NUM_SUBSTRACT num8 num1 num7)
(NUM_SUBSTRACT num8 num2 num6)
(NUM_SUBSTRACT num8 num3 num5)
(NUM_SUBSTRACT num8 num4 num4)
(NUM_SUBSTRACT num8 num5 num3)
(NUM_SUBSTRACT num8 num6 num2)
(NUM_SUBSTRACT num8 num7 num1)
(NUM_SUBSTRACT num8 num8 num0)
(NUM_SUBSTRACT num9 num1 num8)
(NUM_SUBSTRACT num9 num2 num7)
(NUM_SUBSTRACT num9 num3 num6)
(NUM_SUBSTRACT num9 num4 num5)
(NUM_SUBSTRACT num9 num5 num4)
(NUM_SUBSTRACT num9 num6 num3)
(NUM_SUBSTRACT num9 num7 num2)
(NUM_SUBSTRACT num9 num8 num1)
(NUM_SUBSTRACT num9 num9 num0)
(NUM_SUBSTRACT num10 num1 num9)
(NUM_SUBSTRACT num10 num2 num8)
(NUM_SUBSTRACT num10 num3 num7)
(NUM_SUBSTRACT num10 num4 num6)
(NUM_SUBSTRACT num10 num5 num5)
(NUM_SUBSTRACT num10 num6 num4)
(NUM_SUBSTRACT num10 num7 num3)
(NUM_SUBSTRACT num10 num8 num2)
(NUM_SUBSTRACT num10 num9 num1)
(NUM_SUBSTRACT num10 num10 num0)
(NUM_SUBSTRACT num11 num1 num10)
(NUM_SUBSTRACT num11 num2 num9)
(NUM_SUBSTRACT num11 num3 num8)
(NUM_SUBSTRACT num11 num4 num7)
(NUM_SUBSTRACT num11 num5 num6)
(NUM_SUBSTRACT num11 num6 num5)
(NUM_SUBSTRACT num11 num7 num4)
(NUM_SUBSTRACT num11 num8 num3)
(NUM_SUBSTRACT num11 num9 num2)
(NUM_SUBSTRACT num11 num10 num1)
(NUM_SUBSTRACT num11 num11 num0)
(NUM_SUBSTRACT num12 num1 num11)
(NUM_SUBSTRACT num12 num2 num10)
(NUM_SUBSTRACT num12 num3 num9)
(NUM_SUBSTRACT num12 num4 num8)
(NUM_SUBSTRACT num12 num5 num7)
(NUM_SUBSTRACT num12 num6 num6)
(NUM_SUBSTRACT num12 num7 num5)
(NUM_SUBSTRACT num12 num8 num4)
(NUM_SUBSTRACT num12 num9 num3)
(NUM_SUBSTRACT num12 num10 num2)
(NUM_SUBSTRACT num12 num11 num1)
(NUM_SUBSTRACT num12 num12 num0)
(NUM_SUBSTRACT num13 num1 num12)
(NUM_SUBSTRACT num13 num2 num11)
(NUM_SUBSTRACT num13 num3 num10)
(NUM_SUBSTRACT num13 num4 num9)
(NUM_SUBSTRACT num13 num5 num8)
(NUM_SUBSTRACT num13 num6 num7)
(NUM_SUBSTRACT num13 num7 num6)
(NUM_SUBSTRACT num13 num8 num5)
(NUM_SUBSTRACT num13 num9 num4)
(NUM_SUBSTRACT num13 num10 num3)
(NUM_SUBSTRACT num13 num11 num2)
(NUM_SUBSTRACT num13 num12 num1)
(NUM_SUBSTRACT num13 num13 num0)
(NUM_SUBSTRACT num14 num1 num13)
(NUM_SUBSTRACT num14 num2 num12)
(NUM_SUBSTRACT num14 num3 num11)
(NUM_SUBSTRACT num14 num4 num10)
(NUM_SUBSTRACT num14 num5 num9)
(NUM_SUBSTRACT num14 num6 num8)
(NUM_SUBSTRACT num14 num7 num7)
(NUM_SUBSTRACT num14 num8 num6)
(NUM_SUBSTRACT num14 num9 num5)
(NUM_SUBSTRACT num14 num10 num4)
(NUM_SUBSTRACT num14 num11 num3)
(NUM_SUBSTRACT num14 num12 num2)
(NUM_SUBSTRACT num14 num13 num1)
(NUM_SUBSTRACT num14 num14 num0)
(NUM_SUBSTRACT num15 num1 num14)
(NUM_SUBSTRACT num15 num2 num13)
(NUM_SUBSTRACT num15 num3 num12)
(NUM_SUBSTRACT num15 num4 num11)
(NUM_SUBSTRACT num15 num5 num10)
(NUM_SUBSTRACT num15 num6 num9)
(NUM_SUBSTRACT num15 num7 num8)
(NUM_SUBSTRACT num15 num8 num7)
(NUM_SUBSTRACT num15 num9 num6)
(NUM_SUBSTRACT num15 num10 num5)
(NUM_SUBSTRACT num15 num11 num4)
(NUM_SUBSTRACT num15 num12 num3)
(NUM_SUBSTRACT num15 num13 num2)
(NUM_SUBSTRACT num15 num14 num1)
(NUM_SUBSTRACT num15 num15 num0)
(NUM_SUBSTRACT num16 num1 num15)
(NUM_SUBSTRACT num16 num2 num14)
(NUM_SUBSTRACT num16 num3 num13)
(NUM_SUBSTRACT num16 num4 num12)
(NUM_SUBSTRACT num16 num5 num11)
(NUM_SUBSTRACT num16 num6 num10)
(NUM_SUBSTRACT num16 num7 num9)
(NUM_SUBSTRACT num16 num8 num8)
(NUM_SUBSTRACT num16 num9 num7)
(NUM_SUBSTRACT num16 num10 num6)
(NUM_SUBSTRACT num16 num11 num5)
(NUM_SUBSTRACT num16 num12 num4)
(NUM_SUBSTRACT num16 num13 num3)
(NUM_SUBSTRACT num16 num14 num2)
(NUM_SUBSTRACT num16 num15 num1)
(NUM_SUBSTRACT num16 num16 num0)
(NUM_SUBSTRACT num17 num1 num16)
(NUM_SUBSTRACT num17 num2 num15)
(NUM_SUBSTRACT num17 num3 num14)
(NUM_SUBSTRACT num17 num4 num13)
(NUM_SUBSTRACT num17 num5 num12)
(NUM_SUBSTRACT num17 num6 num11)
(NUM_SUBSTRACT num17 num7 num10)
(NUM_SUBSTRACT num17 num8 num9)
(NUM_SUBSTRACT num17 num9 num8)
(NUM_SUBSTRACT num17 num10 num7)
(NUM_SUBSTRACT num17 num11 num6)
(NUM_SUBSTRACT num17 num12 num5)
(NUM_SUBSTRACT num17 num13 num4)
(NUM_SUBSTRACT num17 num14 num3)
(NUM_SUBSTRACT num17 num15 num2)
(NUM_SUBSTRACT num17 num16 num1)
(NUM_SUBSTRACT num17 num17 num0)
(NUM_SUBSTRACT num18 num1 num17)
(NUM_SUBSTRACT num18 num2 num16)
(NUM_SUBSTRACT num18 num3 num15)
(NUM_SUBSTRACT num18 num4 num14)
(NUM_SUBSTRACT num18 num5 num13)
(NUM_SUBSTRACT num18 num6 num12)
(NUM_SUBSTRACT num18 num7 num11)
(NUM_SUBSTRACT num18 num8 num10)
(NUM_SUBSTRACT num18 num9 num9)
(NUM_SUBSTRACT num18 num10 num8)
(NUM_SUBSTRACT num18 num11 num7)
(NUM_SUBSTRACT num18 num12 num6)
(NUM_SUBSTRACT num18 num13 num5)
(NUM_SUBSTRACT num18 num14 num4)
(NUM_SUBSTRACT num18 num15 num3)
(NUM_SUBSTRACT num18 num16 num2)
(NUM_SUBSTRACT num18 num17 num1)
(NUM_SUBSTRACT num18 num18 num0)
(NUM_SUBSTRACT num19 num1 num18)
(NUM_SUBSTRACT num19 num2 num17)
(NUM_SUBSTRACT num19 num3 num16)
(NUM_SUBSTRACT num19 num4 num15)
(NUM_SUBSTRACT num19 num5 num14)
(NUM_SUBSTRACT num19 num6 num13)
(NUM_SUBSTRACT num19 num7 num12)
(NUM_SUBSTRACT num19 num8 num11)
(NUM_SUBSTRACT num19 num9 num10)
(NUM_SUBSTRACT num19 num10 num9)
(NUM_SUBSTRACT num19 num11 num8)
(NUM_SUBSTRACT num19 num12 num7)
(NUM_SUBSTRACT num19 num13 num6)
(NUM_SUBSTRACT num19 num14 num5)
(NUM_SUBSTRACT num19 num15 num4)
(NUM_SUBSTRACT num19 num16 num3)
(NUM_SUBSTRACT num19 num17 num2)
(NUM_SUBSTRACT num19 num18 num1)
(NUM_SUBSTRACT num19 num19 num0)
(NUM_SUBSTRACT num20 num1 num19)
(NUM_SUBSTRACT num20 num2 num18)
(NUM_SUBSTRACT num20 num3 num17)
(NUM_SUBSTRACT num20 num4 num16)
(NUM_SUBSTRACT num20 num5 num15)
(NUM_SUBSTRACT num20 num6 num14)
(NUM_SUBSTRACT num20 num7 num13)
(NUM_SUBSTRACT num20 num8 num12)
(NUM_SUBSTRACT num20 num9 num11)
(NUM_SUBSTRACT num20 num10 num10)
(NUM_SUBSTRACT num20 num11 num9)
(NUM_SUBSTRACT num20 num12 num8)
(NUM_SUBSTRACT num20 num13 num7)
(NUM_SUBSTRACT num20 num14 num6)
(NUM_SUBSTRACT num20 num15 num5)
(NUM_SUBSTRACT num20 num16 num4)
(NUM_SUBSTRACT num20 num17 num3)
(NUM_SUBSTRACT num20 num18 num2)
(NUM_SUBSTRACT num20 num19 num1)
(NUM_SUBSTRACT num20 num20 num0)
(NUM_SUBSTRACT num21 num1 num20)
(NUM_SUBSTRACT num21 num2 num19)
(NUM_SUBSTRACT num21 num3 num18)
(NUM_SUBSTRACT num21 num4 num17)
(NUM_SUBSTRACT num21 num5 num16)
(NUM_SUBSTRACT num21 num6 num15)
(NUM_SUBSTRACT num21 num7 num14)
(NUM_SUBSTRACT num21 num8 num13)
(NUM_SUBSTRACT num21 num9 num12)
(NUM_SUBSTRACT num21 num10 num11)
(NUM_SUBSTRACT num21 num11 num10)
(NUM_SUBSTRACT num21 num12 num9)
(NUM_SUBSTRACT num21 num13 num8)
(NUM_SUBSTRACT num21 num14 num7)
(NUM_SUBSTRACT num21 num15 num6)
(NUM_SUBSTRACT num21 num16 num5)
(NUM_SUBSTRACT num21 num17 num4)
(NUM_SUBSTRACT num21 num18 num3)
(NUM_SUBSTRACT num21 num19 num2)
(NUM_SUBSTRACT num21 num20 num1)
(NUM_SUBSTRACT num21 num21 num0)
(NUM_SUBSTRACT num22 num1 num21)
(NUM_SUBSTRACT num22 num2 num20)
(NUM_SUBSTRACT num22 num3 num19)
(NUM_SUBSTRACT num22 num4 num18)
(NUM_SUBSTRACT num22 num5 num17)
(NUM_SUBSTRACT num22 num6 num16)
(NUM_SUBSTRACT num22 num7 num15)
(NUM_SUBSTRACT num22 num8 num14)
(NUM_SUBSTRACT num22 num9 num13)
(NUM_SUBSTRACT num22 num10 num12)
(NUM_SUBSTRACT num22 num11 num11)
(NUM_SUBSTRACT num22 num12 num10)
(NUM_SUBSTRACT num22 num13 num9)
(NUM_SUBSTRACT num22 num14 num8)
(NUM_SUBSTRACT num22 num15 num7)
(NUM_SUBSTRACT num22 num16 num6)
(NUM_SUBSTRACT num22 num17 num5)
(NUM_SUBSTRACT num22 num18 num4)
(NUM_SUBSTRACT num22 num19 num3)
(NUM_SUBSTRACT num22 num20 num2)
(NUM_SUBSTRACT num22 num21 num1)
(NUM_SUBSTRACT num22 num22 num0)
(NEXT2_NUM num0 num2)
(NEXT2_NUM num1 num3)
(NEXT2_NUM num2 num4)
(NEXT2_NUM num3 num5)
(NEXT2_NUM num4 num6)
(NEXT2_NUM num5 num7)
(NEXT2_NUM num6 num8)
(NEXT2_NUM num7 num9)
(NEXT2_NUM num8 num10)
(NEXT2_NUM num9 num11)
(NEXT2_NUM num10 num12)
(NEXT2_NUM num11 num13)
(NEXT2_NUM num12 num14)
(NEXT2_NUM num13 num15)
(NEXT2_NUM num14 num16)
(NEXT2_NUM num15 num17)
(NEXT2_NUM num16 num18)
(NEXT2_NUM num17 num19)
(NEXT2_NUM num18 num20)
(NEXT2_NUM num19 num21)
(NEXT2_NUM num20 num22)
(NEXT_STAGE stage1 stage2)
(NEXT_STAGE stage2 stage3)
(NEXT_STAGE stage3 stage4)
(NEXT_STAGE stage4 stage5)
(NEXT_STAGE stage5 stage6)
(NEXT_STAGE stage6 stage7)
(NEXT_STAGE stage7 stage8)
(NEXT_STAGE stage8 stage9)
(NEXT_ROUND round1 round2)
(NEXT_ROUND round2 round3)
(NEXT_ROUND round3 round4)
(NEXT_ROUND round4 round5)
(NEXT_ROUND round5 round6)
(NEXT_ROUND round6 round7)
(NEXT_ROUND round7 round8)
(NEXT_ROUND round8 round9)
(NEXT_ROUND round9 round10)
(NEXT_ROUND round10 round11)
(NEXT_ROUND round11 round12)
(NEXT_ROUND round12 round13)
(NEXT_ROUND round13 round14)
(NEXT_ROUND round14 round15)
(NEXT_ROUND round15 round16)
(NEXT_ROUND round16 round17)
(NEXT_WORKER worker10 worker9)
(NEXT_WORKER worker9 worker8)
(NEXT_WORKER worker8 worker7)
(NEXT_WORKER worker7 worker6)
(NEXT_WORKER worker6 worker5)
(NEXT_WORKER worker5 worker4)
(NEXT_WORKER worker4 worker3)
(NEXT_WORKER worker3 worker2)
(NEXT_WORKER worker2 worker1)
(NEXT_WORKER worker1 noworker)
(CATEGORY_ROUND round1 tnormal)
(CATEGORY_ROUND round2 tnormal)
(CATEGORY_ROUND round3 tnormal)
(CATEGORY_ROUND round4 tharvest)
(CATEGORY_ROUND round5 tnormal)
(CATEGORY_ROUND round6 tnormal)
(CATEGORY_ROUND round7 tharvest)
(CATEGORY_ROUND round8 tnormal)
(CATEGORY_ROUND round9 tharvest)
(CATEGORY_ROUND round10 tnormal)
(CATEGORY_ROUND round11 tharvest)
(CATEGORY_ROUND round12 tnormal)
(CATEGORY_ROUND round13 tharvest)
(CATEGORY_ROUND round14 tharvest)
(CATEGORY_ROUND round15 tharvest)
(CATEGORY_ROUND round16 tharvest)
(CATEGORY_ROUND round17 tharvest)
(open_action act_labor)
(open_action act_wood)
(open_action act_clay)
(open_action act_reed)
(open_action act_build)
(open_action act_plow)
(open_action act_grain)
(open_action act_stone)
(open_action act_sheep)
(DRAWCARD_ROUND act_sheep round1)
(DRAWCARD_ROUND act_family round2)
(DRAWCARD_ROUND act_fences round3)
(DRAWCARD_ROUND act_sow round4)
(DRAWCARD_ROUND act_cattle round5)
(DRAWCARD_ROUND act_carrot round6)
(DRAWCARD_ROUND act_improve round7)
(DRAWCARD_ROUND act_boar round8)
(DRAWCARD_ROUND void round9)
(DRAWCARD_ROUND void round10)
(DRAWCARD_ROUND void round11)
(DRAWCARD_ROUND void round12)
(DRAWCARD_ROUND void round13)
(DRAWCARD_ROUND void round14)
(DRAWCARD_ROUND void round15)
(DRAWCARD_ROUND void round16)
(DRAWCARD_ROUND void round17)
(available_action act_labor)
(available_action act_wood)
(available_action act_clay)
(available_action act_reed)
(available_action act_build)
(available_action act_plow)
(available_action act_grain)
(available_action act_stone)
(available_action act_fences)
(available_action act_sheep)
(available_action act_sow)
(available_action act_family)
(available_action act_improve)
(available_action act_carrot)
(available_action act_boar)
(available_action act_cattle)
(FOOD_REQUIRED worker2 num4)
(FOOD_REQUIRED worker2 num5)
(FOOD_REQUIRED worker3 num6)
(FOOD_REQUIRED worker3 num7)
(FOOD_REQUIRED worker4 num8)
(FOOD_REQUIRED worker4 num9)
(FOOD_REQUIRED worker5 num10)
(FOOD_REQUIRED worker5 num11)
(FOOD_REQUIRED worker6 num12)
(FOOD_REQUIRED worker6 num13)
(FOOD_REQUIRED worker7 num14)
(FOOD_REQUIRED worker7 num15)
(FOOD_REQUIRED worker8 num16)
(FOOD_REQUIRED worker8 num17)
(FOOD_REQUIRED worker9 num18)
(FOOD_REQUIRED worker9 num19)
(FOOD_REQUIRED worker10 num20)
(FOOD_REQUIRED worker10 num21)
(current_worker worker2)
(max_worker worker2)
(current_round round1)
(current_stage stage1)
(harvest_phase stage1 harvest_init)
(num_food num3)
(SUPPLY_RESOURCE act_wood wood)
(SUPPLY_RESOURCE act_clay clay)
(SUPPLY_RESOURCE act_reed reed)
(SUPPLY_RESOURCE act_stone stone)
(built_rooms room1 worker1)
(built_rooms room2 worker2)
(space_rooms room3)
(space_rooms room4)
(space_rooms room5)
(space_rooms room6)
(space_rooms room7)
(space_rooms room8)
(space_rooms room9)
(space_rooms room10)
(= (group_worker_cost worker2) 180)
(= (group_worker_cost worker3) 150)
(= (group_worker_cost worker4) 120)
(= (group_worker_cost worker5) 90)
(= (group_worker_cost worker6) 60)
(= (group_worker_cost worker7) 30)
(= (group_worker_cost worker8) 15)
(= (group_worker_cost worker9) 6)
(= (group_worker_cost worker10) 4)
)
(:goal
(and
(harvest_phase stage8 harvest_end)
)
)
(:metric minimize (total-cost))
)