forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathp13.pddl
346 lines (346 loc) · 6.45 KB
/
p13.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
(define (problem initialbonds17)
(:domain organic-synthesis)
(:objects
; setup for problem 17
c1 - carbon
c2 - carbon
c3 - carbon
c4 - carbon
c5 - carbon
c6 - carbon
o1 - oxygen
h1 - hydrogen
h2 - hydrogen
h3 - hydrogen
h4 - hydrogen
h5 - hydrogen
h6 - hydrogen
h7 - hydrogen
h8 - hydrogen
h27 - hydrogen
h28 - hydrogen
h29 - hydrogen
h30 - hydrogen
; sodium hydroxide Na-OH
na - sodium
o50 - oxygen
h50 - hydrogen
; water H-OH
o51 - oxygen
h51 - hydrogen
h52 - hydrogen
; second starting material
c7 - carbon
c8 - carbon
c9 - carbon
o2 - oxygen
h31 - hydrogen
h32 - hydrogen
h33 - hydrogen
h34 - hydrogen
h35 - hydrogen
h36 - hydrogen
h37 - hydrogen
h38 - hydrogen
; third starting material
c10 - carbon
c11 - carbon
c27 - carbon
o3 - oxygen
h39 - hydrogen
h40 - hydrogen
h41 - hydrogen
h42 - hydrogen
h43 - hydrogen
h44 - hydrogen
h45 - hydrogen
h46 - hydrogen
; first PCC
c12 - carbon
c13 - carbon
c14 - carbon
c15 - carbon
c16 - carbon
n4 - nitrogen
h9 - hydrogen
h10 - hydrogen
h11 - hydrogen
h12 - hydrogen
h13 - hydrogen
h14 - hydrogen
cr1 - chromium
o4 - oxygen
o5 - oxygen
o6 - oxygen
cl1 - chlorine
; second PCC
c17 - carbon
c18 - carbon
c19 - carbon
c20 - carbon
c21 - carbon
n5 - nitrogen
h15 - hydrogen
h16 - hydrogen
h17 - hydrogen
h18 - hydrogen
h19 - hydrogen
h20 - hydrogen
cr2 - chromium
o7 - oxygen
o8 - oxygen
o9 - oxygen
cl2 - chlorine
; third PCC
c22 - carbon
c23 - carbon
c24 - carbon
c25 - carbon
c26 - carbon
n6 - nitrogen
h21 - hydrogen
h22 - hydrogen
h23 - hydrogen
h24 - hydrogen
h25 - hydrogen
h26 - hydrogen
cr3 - chromium
o10 - oxygen
o11 - oxygen
o12 - oxygen
cl3 - chlorine
)
(:init
; setup for problem 17
(bond c1 c2)
(bond c2 c3)
(bond c3 c4)
(bond c4 c5)
(bond c5 c6)
(bond c6 c1)
(bond c2 c1)
(bond c3 c2)
(bond c4 c3)
(bond c5 c4)
(bond c6 c5)
(bond c1 c6)
(bond c1 o1)
(bond o1 c1)
(bond c1 h1)
(bond h1 c1)
(bond c2 h2)
(bond c2 h3)
(bond c3 h4)
(bond c3 h5)
(bond c4 h6)
(bond c4 h7)
(bond c5 h8)
(bond c5 h27)
(bond c6 h28)
(bond c6 h29)
(bond h2 c2)
(bond h3 c2)
(bond h4 c3)
(bond h5 c3)
(bond h6 c4)
(bond h7 c4)
(bond h8 c5)
(bond h27 c5)
(bond h28 c6)
(bond h29 c6)
(bond o1 h30)
(bond h30 o1)
; second starting material
(bond c7 c8)
(bond c8 c9)
(bond c8 c7)
(bond c9 c8)
(bond c8 o2)
(bond o2 c8)
(bond c7 h31)
(bond c7 h32)
(bond c7 h33)
(bond h31 c7)
(bond h32 c7)
(bond h33 c7)
(bond c9 h34)
(bond c9 h35)
(bond c9 h36)
(bond h34 c9)
(bond h35 c9)
(bond h36 c9)
(bond c8 h37)
(bond h37 c8)
(bond o2 h38)
(bond h38 o2)
; third starting material
(bond c10 c11)
(bond c11 c27)
(bond c11 c10)
(bond c27 c11)
(bond c27 o3)
(bond o3 c27)
(bond c10 h39)
(bond c10 h40)
(bond c10 h41)
(bond h39 c10)
(bond h40 c10)
(bond h41 c10)
(bond c11 h42)
(bond c11 h43)
(bond h42 c11)
(bond h43 c11)
(bond c27 h44)
(bond c27 h45)
(bond h44 c27)
(bond h45 c27)
(bond o3 h46)
(bond h46 o3)
; first PCC
(bond n4 h9)
(bond h9 n4)
(AROMATICBOND c12 n4)
(AROMATICBOND c12 c13)
(AROMATICBOND c13 c14)
(AROMATICBOND c14 c15)
(AROMATICBOND c15 c16)
(AROMATICBOND c16 n4)
(AROMATICBOND n4 c12)
(AROMATICBOND c13 c12)
(AROMATICBOND c14 c13)
(AROMATICBOND c15 c14)
(AROMATICBOND c16 c15)
(AROMATICBOND n4 c16)
(bond h10 c12)
(bond h11 c13)
(bond h12 c14)
(bond h13 c15)
(bond h14 c16)
(bond c12 h10)
(bond c13 h11)
(bond c14 h12)
(bond c15 h13)
(bond c16 h14)
(bond o4 cr1)
(doublebond cr1 o5)
(doublebond cr1 o6)
(bond cr1 cl1)
(bond cr1 o4)
(doublebond o5 cr1)
(doublebond o6 cr1)
(bond cl1 cr1)
; second PCC
(bond n5 h15)
(bond h15 n5)
(AROMATICBOND c17 n5)
(AROMATICBOND c17 c18)
(AROMATICBOND c18 c19)
(AROMATICBOND c19 c20)
(AROMATICBOND c20 c21)
(AROMATICBOND c21 n5)
(AROMATICBOND n5 c17)
(AROMATICBOND c18 c17)
(AROMATICBOND c19 c18)
(AROMATICBOND c20 c19)
(AROMATICBOND c21 c20)
(AROMATICBOND n5 c21)
(bond h16 c17)
(bond h17 c18)
(bond h18 c19)
(bond h19 c20)
(bond h20 c21)
(bond c17 h16)
(bond c18 h17)
(bond c19 h18)
(bond c20 h19)
(bond c21 h20)
(bond o7 cr2)
(doublebond cr2 o8)
(doublebond cr2 o9)
(bond cr2 cl2)
(bond cr2 o7)
(doublebond o8 cr2)
(doublebond o9 cr2)
(bond cl2 cr2)
; third PCC
(bond n6 h21)
(bond h21 n6)
(AROMATICBOND c22 n6)
(AROMATICBOND c22 c23)
(AROMATICBOND c23 c24)
(AROMATICBOND c24 c25)
(AROMATICBOND c25 c26)
(AROMATICBOND c26 n6)
(AROMATICBOND n6 c22)
(AROMATICBOND c23 c22)
(AROMATICBOND c24 c23)
(AROMATICBOND c25 c24)
(AROMATICBOND c26 c25)
(AROMATICBOND n6 c26)
(bond h22 c22)
(bond h23 c23)
(bond h24 c24)
(bond h25 c25)
(bond h26 c26)
(bond c22 h22)
(bond c23 h23)
(bond c24 h24)
(bond c25 h25)
(bond c26 h26)
(bond o10 cr3)
(doublebond cr3 o11)
(doublebond cr3 o12)
(bond cr3 cl3)
(bond cr3 o10)
(doublebond o11 cr3)
(doublebond o12 cr3)
(bond cl3 cr3)
; sodium hydroxide Na-OH
(bond na o50)
(bond o50 na)
(bond h50 o50)
(bond o50 h50)
; water H-OH
(bond h52 o51)
(bond o51 h52)
(bond o51 h51)
(bond h51 o51)
)
(:goal
(and
(doublebond c1 o1)
(bond c1 c2)
(bond c2 c3)
(bond c3 c4)
(bond c4 c5)
(bond c5 c6)
(bond c6 c1)
(bond c6 c27)
(bond c27 c11)
(bond c11 c10)
(bond c27 c7)
(bond c7 c8)
(doublebond c8 o2)
(bond c8 c9)
(bond c2 h3)
(bond c3 h4)
(bond c3 h5)
(bond c4 h6)
(bond c4 h7)
(bond c5 h8)
(bond c5 h27)
(bond c6 h29)
(bond c27 h45)
(bond c11 h42)
(bond c11 h43)
(bond c10 h39)
(bond c10 h40)
(bond c10 h41)
(bond c7 h28)
(bond c7 h33)
(bond c9 h34)
(bond c9 h35)
(bond c9 h36)
)
)
)