forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p20.pddl
344 lines (344 loc) · 6.38 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
(define (problem p9)
(:domain organic-synthesis-split)
(:objects
c1 - carbon
c2 - carbon
c3 - carbon
c4 - carbon
c5 - carbon
c6 - carbon
c7 - carbon
o1 - oxygen
h1 - hydrogen
h2 - hydrogen
h3 - hydrogen
h4 - hydrogen
h5 - hydrogen
h6 - hydrogen
h7 - hydrogen
h8 - hydrogen
c8 - carbon
c9 - carbon
o2 - oxygen
h9 - hydrogen
h10 - hydrogen
h11 - hydrogen
h12 - hydrogen
h13 - hydrogen
h14 - hydrogen
c108 - carbon
c109 - carbon
o102 - oxygen
h109 - hydrogen
h50 - hydrogen
h51 - hydrogen
h52 - hydrogen
h53 - hydrogen
h54 - hydrogen
c118 - carbon
c119 - carbon
o112 - oxygen
h119 - hydrogen
h55 - hydrogen
h56 - hydrogen
h57 - hydrogen
h58 - hydrogen
h59 - hydrogen
c122 - carbon
c123 - carbon
o114 - oxygen
h140 - hydrogen
h60 - hydrogen
h61 - hydrogen
h62 - hydrogen
h63 - hydrogen
h64 - hydrogen
c120 - carbon
c121 - carbon
o113 - oxygen
h120 - hydrogen
h65 - hydrogen
h66 - hydrogen
h67 - hydrogen
h68 - hydrogen
h69 - hydrogen
na1 - sodium
na2 - sodium
cr1 - chromium
cr2 - chromium
o7 - oxygen
o8 - oxygen
o9 - oxygen
o10 - oxygen
o11 - oxygen
o12 - oxygen
o13 - oxygen
na3 - sodium
na4 - sodium
cr3 - chromium
cr4 - chromium
o14 - oxygen
o15 - oxygen
o16 - oxygen
o17 - oxygen
o18 - oxygen
o19 - oxygen
o20 - oxygen
c10 - carbon
o3 - oxygen
h24 - hydrogen
h25 - hydrogen
h26 - hydrogen
h27 - hydrogen
c11 - carbon
o4 - oxygen
h28 - hydrogen
h29 - hydrogen
h30 - hydrogen
h31 - hydrogen
na9 - sodium
h229 - hydrogen
o36 - oxygen
c12 - carbon
i1 - iodine
h32 - hydrogen
h33 - hydrogen
h34 - hydrogen
c13 - carbon
i2 - iodine
h35 - hydrogen
h36 - hydrogen
h37 - hydrogen
)
(:init
(AROMATICBOND c1 c2)
(AROMATICBOND c2 c1)
(AROMATICBOND c2 c3)
(AROMATICBOND c3 c2)
(AROMATICBOND c3 c4)
(AROMATICBOND c4 c3)
(AROMATICBOND c4 c5)
(AROMATICBOND c5 c4)
(AROMATICBOND c5 c6)
(AROMATICBOND c6 c5)
(AROMATICBOND c1 c6)
(AROMATICBOND c6 c1)
(bond c6 c7)
(bond c7 c6)
(bond c7 o1)
(bond o1 c7)
(bond c1 h1)
(bond h1 c1)
(bond c2 h2)
(bond h2 c2)
(bond c3 h3)
(bond h3 c3)
(bond c4 h4)
(bond h4 c4)
(bond c5 h5)
(bond h5 c5)
(bond c7 h6)
(bond h6 c7)
(bond c7 h7)
(bond h7 c7)
(bond o1 h8)
(bond h8 o1)
(bond c8 c9)
(bond c9 c8)
(bond c9 o2)
(bond o2 c9)
(bond c8 h9)
(bond h9 c8)
(bond c8 h10)
(bond h10 c8)
(bond c8 h11)
(bond h11 c8)
(bond c9 h12)
(bond h12 c9)
(bond c9 h13)
(bond h13 c9)
(bond o2 h14)
(bond h14 o2)
(bond c108 c109)
(bond c109 c108)
(bond c109 o102)
(bond o102 c109)
(bond c108 h109)
(bond h109 c108)
(bond c108 h50)
(bond h50 c108)
(bond c108 h51)
(bond h51 c108)
(bond c109 h52)
(bond h52 c109)
(bond c109 h53)
(bond h53 c109)
(bond o102 h54)
(bond h54 o102)
(bond c118 c119)
(bond c119 c118)
(bond c119 o112)
(bond o112 c119)
(bond c118 h119)
(bond h119 c118)
(bond c118 h55)
(bond h55 c118)
(bond c118 h56)
(bond h56 c118)
(bond c119 h57)
(bond h57 c119)
(bond c119 h58)
(bond h58 c119)
(bond o112 h59)
(bond h59 o112)
(bond c122 c123)
(bond c123 c122)
(bond c123 o114)
(bond o114 c123)
(bond c122 h140)
(bond h140 c122)
(bond c122 h60)
(bond h60 c122)
(bond c122 h61)
(bond h61 c122)
(bond c123 h62)
(bond h62 c123)
(bond c123 h63)
(bond h63 c123)
(bond o114 h64)
(bond h64 o114)
(bond c120 c121)
(bond c121 c120)
(bond c121 o113)
(bond o113 c121)
(bond c120 h120)
(bond h120 c120)
(bond c120 h65)
(bond h65 c120)
(bond c120 h66)
(bond h66 c120)
(bond c121 h67)
(bond h67 c121)
(bond c121 h68)
(bond h68 c121)
(bond o113 h69)
(bond h69 o113)
(bond cr1 o7)
(bond cr2 o7)
(bond o7 cr1)
(bond o7 cr2)
(bond cr2 o8)
(doublebond cr2 o9)
(doublebond cr2 o10)
(bond o8 cr2)
(doublebond o9 cr2)
(doublebond o10 cr2)
(bond cr1 o11)
(doublebond cr1 o12)
(doublebond cr1 o13)
(bond o11 cr1)
(doublebond o12 cr1)
(doublebond o13 cr1)
(bond na1 o8)
(bond o8 na1)
(bond o11 na2)
(bond na2 o11)
(bond cr3 o14)
(bond cr4 o14)
(bond o14 cr3)
(bond o14 cr4)
(bond cr3 o15)
(doublebond cr3 o16)
(doublebond cr3 o17)
(bond o15 cr3)
(doublebond o16 cr3)
(doublebond o17 cr3)
(bond cr4 o18)
(doublebond cr4 o19)
(doublebond cr4 o20)
(bond o18 cr4)
(doublebond o19 cr4)
(doublebond o20 cr4)
(bond na3 o15)
(bond na4 o18)
(bond o15 na3)
(bond o18 na4)
(bond c10 o3)
(bond o3 c10)
(bond c10 h24)
(bond h24 c10)
(bond c10 h25)
(bond h25 c10)
(bond c10 h26)
(bond h26 c10)
(bond o3 h27)
(bond h27 o3)
(bond c11 o4)
(bond o4 c11)
(bond c11 h28)
(bond h28 c11)
(bond c11 h29)
(bond h29 c11)
(bond c11 h30)
(bond h30 c11)
(bond o4 h31)
(bond h31 o4)
(bond o36 h229)
(bond h229 o36)
(bond na9 o36)
(bond o36 na9)
(bond c12 i1)
(bond i1 c12)
(bond c12 h32)
(bond h32 c12)
(bond c12 h33)
(bond h33 c12)
(bond c12 h34)
(bond h34 c12)
(bond c13 i2)
(bond i2 c13)
(bond c13 h35)
(bond h35 c13)
(bond c13 h36)
(bond h36 c13)
(bond c13 h37)
(bond h37 c13)
(procnone)
(= (total-cost) 0)
)
(:goal
(and
(procnone)
(bond c11 h30)
(bond c11 h29)
(bond c11 h28)
(bond o4 c11)
(bond c109 o4)
(doublebond c109 o102)
(bond c13 h37)
(bond c13 h36)
(bond c13 h35)
(bond c12 h34)
(bond c12 h33)
(bond c12 h32)
(bond c108 c109)
(bond c108 c13)
(bond c108 c12)
(bond c7 c108)
(doublebond c7 o1)
(bond c5 h5)
(bond c4 h4)
(bond c3 h3)
(bond c2 h2)
(bond c1 h1)
(bond c6 c7)
(aromaticbond c5 c6)
(aromaticbond c4 c5)
(aromaticbond c3 c4)
(aromaticbond c2 c3)
(aromaticbond c1 c2)
(aromaticbond c6 c1)
)
)
(:metric minimize (total-cost))
)