forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p10.pddl
190 lines (190 loc) · 3.26 KB
/
p10.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
(define (problem initialbonds16)
(:domain organic-synthesis)
(:objects
; water
o50 - oxygen
h50 - hydrogen
h51 - hydrogen
; acetone
c1 - carbon
c2 - carbon
c3 - carbon
o1 - oxygen
h1 - hydrogen
h2 - hydrogen
h3 - hydrogen
h4 - hydrogen
h5 - hydrogen
h6 - hydrogen
; diethyl malonate
c4 - carbon
c5 - carbon
c6 - carbon
c7 - carbon
c8 - carbon
c9 - carbon
c10 - carbon
o2 - oxygen
o3 - oxygen
o4 - oxygen
o5 - oxygen
h7 - hydrogen
h8 - hydrogen
h9 - hydrogen
h10 - hydrogen
h11 - hydrogen
h12 - hydrogen
h13 - hydrogen
h14 - hydrogen
h15 - hydrogen
h16 - hydrogen
h17 - hydrogen
h18 - hydrogen
; second acetone
c11 - carbon
c12 - carbon
c13 - carbon
o6 - oxygen
h19 - hydrogen
h20 - hydrogen
h21 - hydrogen
h22 - hydrogen
h23 - hydrogen
h24 - hydrogen
; NaOCH3
na1 - sodium
h52 - hydrogen
c14 - carbon
o7 - oxygen
h25 - hydrogen
h26 - hydrogen
h27 - hydrogen
)
(:init
; water
(bond o50 h50)
(bond h50 o50)
(bond o50 h51)
(bond h51 o50)
; acetone
(bond c1 c2)
(bond c2 c1)
(bond c3 c2)
(bond c2 c3)
(doublebond c2 o1)
(doublebond o1 c2)
(bond c1 h1)
(bond c1 h2)
(bond c1 h3)
(bond h1 c1)
(bond h2 c1)
(bond h3 c1)
(bond c3 h4)
(bond c3 h5)
(bond c3 h6)
(bond h4 c3)
(bond h5 c3)
(bond h6 c3)
; diethyl malonate
(bond c4 c5)
(bond c5 c4)
(bond c5 o2)
(bond o2 c5)
(bond o2 c6)
(bond c6 o2)
(doublebond c6 o3)
(doublebond o3 c6)
(bond c6 c7)
(bond c7 c6)
(bond c7 c8)
(bond c8 c7)
(doublebond c8 o4)
(doublebond o4 c8)
(bond c8 o5)
(bond o5 c8)
(bond o5 c9)
(bond c9 o5)
(bond c10 c9)
(bond c9 c10)
(bond c4 h7)
(bond c4 h8)
(bond c4 h9)
(bond h7 c4)
(bond h8 c4)
(bond h9 c4)
(bond c5 h10)
(bond c5 h11)
(bond h10 c5)
(bond h11 c5)
(bond c7 h12)
(bond c7 h13)
(bond h12 c7)
(bond h13 c7)
(bond c9 h14)
(bond c9 h15)
(bond h14 c9)
(bond h15 c9)
(bond c10 h16)
(bond c10 h17)
(bond c10 h18)
(bond h16 c10)
(bond h17 c10)
(bond h18 c10)
; second acetone
(bond c11 c12)
(bond c12 c11)
(bond c13 c12)
(bond c12 c13)
(doublebond c12 o6)
(doublebond o6 c12)
(bond c11 h19)
(bond c11 h20)
(bond c11 h21)
(bond h19 c11)
(bond h20 c11)
(bond h21 c11)
(bond c13 h22)
(bond c13 h23)
(bond c13 h24)
(bond h22 c13)
(bond h23 c13)
(bond h24 c13)
; NaOCH3
(bond na1 o7)
(bond o7 na1)
(bond o7 h52)
(bond h52 o7)
(bond c14 h25)
(bond c14 h26)
(bond c14 h27)
(bond h25 c14)
(bond h26 c14)
(bond h27 c14)
)
(:goal
(and
(bond c2 c1)
(bond c2 c3)
(bond c2 c7)
(bond c7 c8)
(doublebond c8 o4)
(bond c8 c13)
(bond c13 c12)
(doublebond c12 o6)
(bond c12 c11)
(bond c2 c11)
(bond c1 h1)
(bond c1 h2)
(bond c1 h3)
(bond c3 h4)
(bond c3 h5)
(bond c3 h6)
(bond c7 h51)
(bond c7 h19)
(bond c13 h23)
(bond c13 h24)
(bond c11 h20)
(bond c11 h21)
)
)
)