forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p18.pddl
305 lines (305 loc) · 10 KB
/
p18.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
(define (problem opt18-8-6)
(:domain agricola)
(:objects
num1 num2 num3 num4 num5 num6 num7 num8 num9 num10 num11 num12 num13 num14 num15 num16 - 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 - worker
room1 room2 room3 room4 room5 room6 - 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)
(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)
(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)
(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 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_sow)
(DRAWCARD_ROUND act_sow round1)
(DRAWCARD_ROUND act_family round2)
(DRAWCARD_ROUND act_sheep round3)
(DRAWCARD_ROUND act_fences round4)
(DRAWCARD_ROUND act_boar round5)
(DRAWCARD_ROUND act_cattle round6)
(DRAWCARD_ROUND act_carrot round7)
(DRAWCARD_ROUND act_improve 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)
(current_worker worker2)
(max_worker worker2)
(current_round round1)
(current_stage stage1)
(harvest_phase stage1 harvest_init)
(num_food num1)
(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)
(= (group_worker_cost worker2) 60)
(= (group_worker_cost worker3) 30)
(= (group_worker_cost worker4) 15)
(= (group_worker_cost worker5) 6)
(= (group_worker_cost worker6) 4)
)
(:goal
(and
(harvest_phase stage8 harvest_end)
)
)
(:metric minimize (total-cost))
)