forked from aibasel/downward-benchmarks
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathp47-s139-n9-l4-f70.pddl
336 lines (336 loc) · 8.67 KB
/
p47-s139-n9-l4-f70.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
(define (problem psr-s139-n9-l4-f70)
(:domain psr)
(:objects cb1 cb2 cb3 cb4 cb5 cb6 cb7 cb8 cb9
sd1 sd2 sd3 sd4 sd5 sd6 sd7 sd8 sd9 sd10 sd11 sd12 sd13 sd14 sd15 sd16 sd17 sd18 sd19 sd20 sd21 sd22 sd23 sd24 sd25 sd26 sd27 sd28 sd29 sd30 sd31 sd32 sd33 sd34 sd35 sd36 sd37 sd38 sd39 sd40 sd41 sd42 - DEVICE
l1 l2 l3 l4 l5 l6 l7 l8 l9 l10 l11 l12 l13 l14 l15 l16 l17 l18 l19 l20 l21 l22 l23 l24 l25 l26 l27 l28 l29 l30 l31 l32 l33 l34 l35 l36 l37 l38 l39 l40 - LINE
)
(:init
(breaker cb1)
(breaker cb2)
(breaker cb3)
(breaker cb4)
(breaker cb5)
(breaker cb6)
(breaker cb7)
(breaker cb8)
(breaker cb9)
(closed cb1)
(closed cb2)
(closed cb3)
(closed cb4)
(closed cb5)
(closed cb6)
(closed cb7)
(closed cb8)
(closed cb9)
(closed sd1)
(closed sd2)
(closed sd5)
(closed sd7)
(closed sd8)
(closed sd9)
(closed sd10)
(closed sd12)
(closed sd14)
(closed sd17)
(closed sd18)
(closed sd19)
(closed sd20)
(closed sd21)
(closed sd23)
(closed sd25)
(closed sd26)
(closed sd27)
(closed sd28)
(closed sd30)
(closed sd31)
(closed sd32)
(closed sd33)
(closed sd34)
(closed sd35)
(closed sd36)
(closed sd37)
(closed sd38)
(closed sd39)
(closed sd40)
(closed sd42)
(faulty l2)
(faulty l3)
(faulty l4)
(faulty l5)
(faulty l6)
(faulty l7)
(faulty l10)
(faulty l11)
(faulty l12)
(faulty l14)
(faulty l15)
(faulty l17)
(faulty l19)
(faulty l20)
(faulty l21)
(faulty l22)
(faulty l24)
(faulty l25)
(faulty l26)
(faulty l27)
(faulty l28)
(faulty l29)
(faulty l33)
(faulty l34)
(faulty l35)
(faulty l36)
(faulty l37)
(faulty l40)
(ext l1 sd2 side1)
(ext l1 cb1 side2)
(con sd2 side1 cb1 side2)
(con cb1 side2 sd2 side1)
(ext l1 sd1 side1)
(con sd1 side1 cb1 side2)
(con cb1 side2 sd1 side1)
(con sd1 side1 sd2 side1)
(con sd2 side1 sd1 side1)
(ext l2 sd4 side2)
(ext l2 sd2 side2)
(con sd4 side2 sd2 side2)
(con sd2 side2 sd4 side2)
(ext l2 sd3 side2)
(con sd3 side2 sd2 side2)
(con sd2 side2 sd3 side2)
(con sd3 side2 sd4 side2)
(con sd4 side2 sd3 side2)
(ext l3 sd7 side1)
(ext l3 cb2 side2)
(con sd7 side1 cb2 side2)
(con cb2 side2 sd7 side1)
(ext l3 sd5 side2)
(con sd5 side2 cb2 side2)
(con cb2 side2 sd5 side2)
(con sd5 side2 sd7 side1)
(con sd7 side1 sd5 side2)
(ext l4 sd6 side1)
(ext l4 sd5 side1)
(con sd6 side1 sd5 side1)
(con sd5 side1 sd6 side1)
(ext l5 sd22 side2)
(ext l5 sd7 side2)
(con sd22 side2 sd7 side2)
(con sd7 side2 sd22 side2)
(ext l6 sd9 side2)
(ext l6 cb3 side2)
(con sd9 side2 cb3 side2)
(con cb3 side2 sd9 side2)
(ext l6 sd8 side2)
(con sd8 side2 cb3 side2)
(con cb3 side2 sd8 side2)
(con sd8 side2 sd9 side2)
(con sd9 side2 sd8 side2)
(ext l7 sd41 side2)
(ext l7 sd8 side1)
(con sd41 side2 sd8 side1)
(con sd8 side1 sd41 side2)
(ext l8 sd14 side1)
(ext l8 sd9 side1)
(con sd14 side1 sd9 side1)
(con sd9 side1 sd14 side1)
(ext l8 sd10 side1)
(con sd10 side1 sd9 side1)
(con sd9 side1 sd10 side1)
(con sd10 side1 sd14 side1)
(con sd14 side1 sd10 side1)
(ext l9 sd12 side2)
(ext l9 sd10 side2)
(con sd12 side2 sd10 side2)
(con sd10 side2 sd12 side2)
(ext l9 sd11 side2)
(con sd11 side2 sd10 side2)
(con sd10 side2 sd11 side2)
(con sd11 side2 sd12 side2)
(con sd12 side2 sd11 side2)
(ext l10 sd13 side1)
(ext l10 sd12 side1)
(con sd13 side1 sd12 side1)
(con sd12 side1 sd13 side1)
(ext l11 sd15 side1)
(ext l11 sd14 side2)
(con sd15 side1 sd14 side2)
(con sd14 side2 sd15 side1)
(ext l12 sd17 side1)
(ext l12 cb4 side2)
(con sd17 side1 cb4 side2)
(con cb4 side2 sd17 side1)
(ext l12 sd16 side2)
(con sd16 side2 cb4 side2)
(con cb4 side2 sd16 side2)
(con sd16 side2 sd17 side1)
(con sd17 side1 sd16 side2)
(ext l13 sd18 side2)
(ext l13 sd17 side2)
(con sd18 side2 sd17 side2)
(con sd17 side2 sd18 side2)
(ext l14 sd11 side1)
(ext l14 sd18 side1)
(con sd11 side1 sd18 side1)
(con sd18 side1 sd11 side1)
(ext l15 sd23 side1)
(ext l15 cb5 side2)
(con sd23 side1 cb5 side2)
(con cb5 side2 sd23 side1)
(ext l15 sd19 side2)
(con sd19 side2 cb5 side2)
(con cb5 side2 sd19 side2)
(con sd19 side2 sd23 side1)
(con sd23 side1 sd19 side2)
(ext l16 sd22 side1)
(ext l16 sd19 side1)
(con sd22 side1 sd19 side1)
(con sd19 side1 sd22 side1)
(ext l16 sd20 side1)
(con sd20 side1 sd19 side1)
(con sd19 side1 sd20 side1)
(con sd20 side1 sd22 side1)
(con sd22 side1 sd20 side1)
(ext l17 sd21 side1)
(ext l17 sd20 side2)
(con sd21 side1 sd20 side2)
(con sd20 side2 sd21 side1)
(ext l18 sd4 side1)
(ext l18 sd23 side2)
(con sd4 side1 sd23 side2)
(con sd23 side2 sd4 side1)
(ext l18 sd24 side1)
(con sd24 side1 sd23 side2)
(con sd23 side2 sd24 side1)
(con sd24 side1 sd4 side1)
(con sd4 side1 sd24 side1)
(ext l19 sd25 side2)
(ext l19 cb6 side2)
(con sd25 side2 cb6 side2)
(con cb6 side2 sd25 side2)
(ext l20 sd26 side2)
(ext l20 sd25 side1)
(con sd26 side2 sd25 side1)
(con sd25 side1 sd26 side2)
(ext l21 sd29 side2)
(ext l21 sd26 side1)
(con sd29 side2 sd26 side1)
(con sd26 side1 sd29 side2)
(ext l21 sd27 side2)
(con sd27 side2 sd26 side1)
(con sd26 side1 sd27 side2)
(con sd27 side2 sd29 side2)
(con sd29 side2 sd27 side2)
(ext l22 sd28 side1)
(ext l22 sd27 side1)
(con sd28 side1 sd27 side1)
(con sd27 side1 sd28 side1)
(ext l23 sd13 side2)
(ext l23 sd28 side2)
(con sd13 side2 sd28 side2)
(con sd28 side2 sd13 side2)
(ext l24 sd30 side1)
(ext l24 cb7 side2)
(con sd30 side1 cb7 side2)
(con cb7 side2 sd30 side1)
(ext l25 sd31 side1)
(ext l25 sd30 side2)
(con sd31 side1 sd30 side2)
(con sd30 side2 sd31 side1)
(ext l26 sd32 side2)
(ext l26 sd31 side2)
(con sd32 side2 sd31 side2)
(con sd31 side2 sd32 side2)
(ext l27 sd33 side1)
(ext l27 sd32 side1)
(con sd33 side1 sd32 side1)
(con sd32 side1 sd33 side1)
(ext l28 sd15 side2)
(ext l28 sd33 side2)
(con sd15 side2 sd33 side2)
(con sd33 side2 sd15 side2)
(ext l28 sd34 side2)
(con sd34 side2 sd33 side2)
(con sd33 side2 sd34 side2)
(con sd34 side2 sd15 side2)
(con sd15 side2 sd34 side2)
(ext l29 sd16 side1)
(ext l29 sd34 side1)
(con sd16 side1 sd34 side1)
(con sd34 side1 sd16 side1)
(ext l29 sd35 side1)
(con sd35 side1 sd34 side1)
(con sd34 side1 sd35 side1)
(con sd35 side1 sd16 side1)
(con sd16 side1 sd35 side1)
(ext l30 sd36 side2)
(ext l30 cb8 side2)
(con sd36 side2 cb8 side2)
(con cb8 side2 sd36 side2)
(ext l31 sd38 side2)
(ext l31 sd36 side1)
(con sd38 side2 sd36 side1)
(con sd36 side1 sd38 side2)
(ext l31 sd37 side1)
(con sd37 side1 sd36 side1)
(con sd36 side1 sd37 side1)
(con sd37 side1 sd38 side2)
(con sd38 side2 sd37 side1)
(ext l32 sd6 side2)
(ext l32 sd37 side2)
(con sd6 side2 sd37 side2)
(con sd37 side2 sd6 side2)
(ext l33 sd24 side2)
(ext l33 sd38 side1)
(con sd24 side2 sd38 side1)
(con sd38 side1 sd24 side2)
(ext l34 sd42 side1)
(ext l34 cb9 side2)
(con sd42 side1 cb9 side2)
(con cb9 side2 sd42 side1)
(ext l34 sd39 side2)
(con sd39 side2 cb9 side2)
(con cb9 side2 sd39 side2)
(con sd39 side2 sd42 side1)
(con sd42 side1 sd39 side2)
(ext l35 sd40 side1)
(ext l35 sd39 side1)
(con sd40 side1 sd39 side1)
(con sd39 side1 sd40 side1)
(ext l36 sd41 side1)
(ext l36 sd40 side2)
(con sd41 side1 sd40 side2)
(con sd40 side2 sd41 side1)
(ext l36 sd3 side1)
(con sd3 side1 sd40 side2)
(con sd40 side2 sd3 side1)
(con sd3 side1 sd41 side1)
(con sd41 side1 sd3 side1)
(ext l37 sd29 side1)
(ext l37 sd42 side2)
(con sd29 side1 sd42 side2)
(con sd42 side2 sd29 side1)
(ext l38 earth side2)
(ext l38 sd21 side2)
(con earth side2 sd21 side2)
(con sd21 side2 earth side2)
(ext l39 earth side2)
(ext l39 sd1 side2)
(con earth side2 sd1 side2)
(con sd1 side2 earth side2)
(ext l40 earth side2)
(ext l40 sd35 side2)
(con earth side2 sd35 side2)
(con sd35 side2 earth side2)
)
(:goal
(and
(forall (?b - DEVICE) (not (affected ?b)))
(fed l1)
(fed l30)
(fed l31)
(fed l32)
(fed l39)
)
)
)