forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathp15.pddl
224 lines (224 loc) · 3.84 KB
/
p15.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
(define (problem mit_p10)
(:domain organic-synthesis-split)
(:objects
al1 - aluminium
b1 - boron
c1 - carbon
c10 - carbon
c11 - carbon
c12 - carbon
c13 - carbon
c14 - carbon
c2 - carbon
c3 - carbon
c4 - carbon
c5 - carbon
c6 - carbon
c7 - carbon
c8 - carbon
c9 - carbon
h1 - hydrogen
h10 - hydrogen
h11 - hydrogen
h12 - hydrogen
h13 - hydrogen
h14 - hydrogen
h2 - hydrogen
h21 - hydrogen
h22 - hydrogen
h23 - hydrogen
h24 - hydrogen
h29 - hydrogen
h3 - hydrogen
h30 - hydrogen
h31 - hydrogen
h4 - hydrogen
h5 - hydrogen
h50 - hydrogen
h51 - hydrogen
h52 - hydrogen
h53 - hydrogen
h54 - hydrogen
h6 - hydrogen
h7 - hydrogen
h9 - hydrogen
hg1 - mercury
li1 - lithium
o1 - oxygen
o2 - oxygen
o3 - oxygen
o4 - oxygen
o5 - oxygen
o50 - oxygen
o51 - oxygen
o52 - oxygen
o6 - oxygen
o7 - oxygen
)
(:init
(bond al1 h11)
(bond h11 al1)
(bond al1 h12)
(bond h12 al1)
(bond al1 h13)
(bond h13 al1)
(bond al1 h14)
(bond h14 al1)
(bond b1 h21)
(bond h21 b1)
(bond b1 h22)
(bond h22 b1)
(bond b1 h23)
(bond h23 b1)
(bond b1 h24)
(bond h24 b1)
(bond c1 o1)
(bond o1 c1)
(bond c1 c3)
(bond c3 c1)
(doublebond c1 o2)
(doublebond o2 c1)
(bond c10 c11)
(bond c11 c10)
(bond c11 o5)
(bond o5 c11)
(doublebond c11 o4)
(doublebond o4 c11)
(bond c12 c13)
(bond c13 c12)
(bond c13 o7)
(bond o7 c13)
(doublebond c13 o6)
(doublebond o6 c13)
(bond c14 h29)
(bond h29 c14)
(bond c14 h30)
(bond h30 c14)
(bond c14 h31)
(bond h31 c14)
(bond c14 c8)
(bond c8 c14)
(bond c2 o1)
(bond o1 c2)
(bond c2 c4)
(bond c4 c2)
(doublebond c2 o3)
(doublebond o3 c2)
(bond c3 h1)
(bond h1 c3)
(bond c3 c6)
(bond c6 c3)
(bond c3 c4)
(bond c4 c3)
(bond c4 h2)
(bond h2 c4)
(bond c4 c9)
(bond c9 c4)
(bond c5 h3)
(bond h3 c5)
(bond c5 h4)
(bond h4 c5)
(bond c5 h5)
(bond h5 c5)
(bond c5 c6)
(bond c6 c5)
(bond c6 h6)
(bond h6 c6)
(bond c6 c7)
(bond c7 c6)
(bond c7 h7)
(bond h7 c7)
(doublebond c7 c8)
(doublebond c8 c7)
(bond c8 c9)
(bond c9 c8)
(bond c9 h9)
(bond h9 c9)
(bond c9 h10)
(bond h10 c9)
(bond h50 o50)
(bond o50 h50)
(bond h51 o50)
(bond o50 h51)
(bond h52 o51)
(bond o51 h52)
(bond h53 o51)
(bond o51 h53)
(bond h54 o3)
(bond o3 h54)
(bond hg1 o5)
(bond o5 hg1)
(bond hg1 o7)
(bond o7 hg1)
(procnone)
(= (total-cost) 0)
)
(:goal
(and
(procnone)
(bond o2 h51)
(bond h51 o2)
(bond h10 c9)
(bond c9 h10)
(bond h9 c9)
(bond c9 h9)
(bond c9 c8)
(bond c8 c9)
(bond o3 c8)
(bond c8 o3)
(bond h21 c7)
(bond c7 h21)
(bond h7 c7)
(bond c7 h7)
(bond c8 c7)
(bond c7 c8)
(bond h6 c6)
(bond c6 h6)
(bond c7 c6)
(bond c6 c7)
(bond h5 c5)
(bond c5 h5)
(bond h4 c5)
(bond c5 h4)
(bond h3 c5)
(bond c5 h3)
(bond c6 c5)
(bond c5 c6)
(bond h2 c4)
(bond c4 h2)
(bond c9 c4)
(bond c4 c9)
(bond h1 c3)
(bond c3 h1)
(bond c4 c3)
(bond c3 c4)
(bond c6 c3)
(bond c3 c6)
(bond h12 c2)
(bond c2 h12)
(bond h11 c2)
(bond c2 h11)
(bond c4 c2)
(bond c2 c4)
(bond o3 c2)
(bond c2 o3)
(bond h31 c14)
(bond c14 h31)
(bond h30 c14)
(bond c14 h30)
(bond h29 c14)
(bond c14 h29)
(bond c8 c14)
(bond c14 c8)
(bond h14 c1)
(bond c1 h14)
(bond h13 c1)
(bond c1 h13)
(bond o2 c1)
(bond c1 o2)
(bond c3 c1)
(bond c1 c3)
)
)
(:metric minimize (total-cost))
)