forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p16.pddl
234 lines (234 loc) · 4.21 KB
/
p16.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
(define (problem initialbonds4arom)
(:domain organic-synthesis-split)
(:objects
h1 - hydrogen
h2 - hydrogen
h3 - hydrogen
h4 - hydrogen
h5 - hydrogen
h6 - hydrogen
h7 - hydrogen
h8 - hydrogen
h12 - hydrogen
h13 - hydrogen
h14 - hydrogen
h15 - hydrogen
c1 - carbon
c2 - carbon
c3 - carbon
c4 - carbon
c5 - carbon
c6 - carbon
c7 - carbon
c8 - carbon
c9 - carbon
o1 - oxygen
o9 - oxygen
o10 - oxygen
h9 - hydrogen
h10 - hydrogen
su - sulfur
o2 - oxygen
o3 - oxygen
o4 - oxygen
o5 - oxygen
h11 - hydrogen
n - nitrogen
o6 - oxygen
o7 - oxygen
o8 - oxygen
h16 - hydrogen
h17 - hydrogen
na - sodium
n2 - nitrogen
o11 - oxygen
o12 - oxygen
cl1 - chlorine
h18 - hydrogen
h19 - hydrogen
h20 - hydrogen
su2 - sulfur
o13 - oxygen
o14 - oxygen
o15 - oxygen
o16 - oxygen
h21 - hydrogen
n3 - nitrogen
o17 - oxygen
o18 - oxygen
o19 - oxygen
h22 - hydrogen
h23 - hydrogen
h50 - hydrogen
h51 - hydrogen
h52 - hydrogen
h53 - hydrogen
h54 - hydrogen
h55 - hydrogen
h56 - hydrogen
h57 - hydrogen
na2 - sodium
n4 - nitrogen
o20 - oxygen
o21 - oxygen
cl2 - chlorine
h24 - hydrogen
cu1 - copper
br1 - bromine
cu2 - copper
br2 - bromine
)
(:init
(AROMATICBOND c1 c2)
(AROMATICBOND c2 c3)
(AROMATICBOND c3 c4)
(AROMATICBOND c4 c5)
(AROMATICBOND c5 c6)
(AROMATICBOND c6 c1)
(AROMATICBOND c2 c1)
(AROMATICBOND c3 c2)
(AROMATICBOND c4 c3)
(AROMATICBOND c5 c4)
(AROMATICBOND c6 c5)
(AROMATICBOND c1 c6)
(bond c2 o1)
(bond c4 o9)
(bond c6 o10)
(bond o1 c2)
(bond o9 c4)
(bond o10 c6)
(bond o1 c7)
(bond o9 c8)
(bond o10 c9)
(bond c7 o1)
(bond c8 o9)
(bond c9 o10)
(bond c1 h1)
(bond c3 h2)
(bond c5 h3)
(bond h1 c1)
(bond h2 c3)
(bond h3 c5)
(bond c7 h4)
(bond c7 h5)
(bond c7 h6)
(bond h4 c7)
(bond h5 c7)
(bond h6 c7)
(bond c8 h7)
(bond c8 h8)
(bond c8 h12)
(bond h7 c8)
(bond h8 c8)
(bond h12 c8)
(bond c9 h13)
(bond c9 h14)
(bond c9 h15)
(bond h13 c9)
(bond h14 c9)
(bond h15 c9)
(doublebond su o2)
(doublebond su o3)
(doublebond o2 su)
(doublebond o3 su)
(bond h9 o4)
(bond h10 o5)
(bond o4 h9)
(bond o5 h10)
(bond o4 su)
(bond o5 su)
(bond su o4)
(bond su o5)
(bond n o6)
(bond n o7)
(doublebond n o8)
(bond o6 n)
(bond o7 n)
(doublebond o8 n)
(bond o6 h11)
(bond h11 o6)
(bond h16 h17)
(bond h17 h16)
(doublebond n2 o11)
(doublebond o11 n2)
(bond o12 n2)
(bond n2 o12)
(bond na o12)
(bond o12 na)
(bond cl1 h18)
(bond h18 cl1)
(doublebond su2 o13)
(doublebond su2 o14)
(doublebond o13 su2)
(doublebond o14 su2)
(bond h19 o15)
(bond h20 o16)
(bond o15 h19)
(bond o16 h20)
(bond o15 su2)
(bond o16 su2)
(bond su2 o15)
(bond su2 o16)
(bond n3 o17)
(bond n3 o18)
(doublebond n3 o19)
(bond o17 n3)
(bond o18 n3)
(doublebond o19 n3)
(bond o17 h21)
(bond h21 o17)
(bond h22 h23)
(bond h23 h22)
(bond h50 h51)
(bond h51 h50)
(bond h52 h53)
(bond h53 h52)
(bond h54 h55)
(bond h55 h54)
(bond h56 h57)
(bond h57 h56)
(doublebond n4 o20)
(doublebond o20 n4)
(bond o21 n4)
(bond n4 o21)
(bond na2 o21)
(bond o21 na2)
(bond cl2 h24)
(bond h24 cl2)
(bond cu1 br1)
(bond br1 cu1)
(bond cu2 br2)
(bond br2 cu2)
(procnone)
(= (total-cost) 0)
)
(:goal
(and
(procnone)
(bond c3 br2)
(bond c1 br1)
(bond h15 c9)
(bond c9 h14)
(bond c9 h13)
(bond c8 h12)
(bond h8 c8)
(bond h7 c8)
(bond c7 h6)
(bond c7 h5)
(bond c7 h4)
(bond o10 c9)
(bond o9 c8)
(bond c7 o1)
(bond c6 o10)
(bond c4 o9)
(bond c2 o1)
(aromaticbond c6 c1)
(aromaticbond c5 c6)
(aromaticbond c4 c5)
(aromaticbond c3 c4)
(aromaticbond c2 c3)
(aromaticbond c1 c2)
)
)
(:metric minimize (total-cost))
)