forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p20.pddl
186 lines (186 loc) · 3.32 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
(define (problem initialbonds19)
(:domain organic-synthesis)
(:objects
; ethanol
c1 - carbon
c2 - carbon
h1 - hydrogen
h2 - hydrogen
h3 - hydrogen
h4 - hydrogen
h5 - hydrogen
h6 - hydrogen
o1 - oxygen
; aux
h54 - hydrogen
; water_1
o50 - oxygen
h50 - hydrogen
h51 - hydrogen
; water_2
o51 - oxygen
h52 - hydrogen
h53 - hydrogen
; benzene
c5 - carbon
c6 - carbon
c7 - carbon
c8 - carbon
c9 - carbon
c10 - carbon
h7 - hydrogen
h8 - hydrogen
h9 - hydrogen
h10 - hydrogen
h11 - hydrogen
h12 - hydrogen
; potassium Permanganate
k1 - potassium
mn1 - manganese
o2 - oxygen
o3 - oxygen
o4 - oxygen
o5 - oxygen
; HCN
c3 - carbon
n1 - nitrogen
; Thionyl chloride
su1 - sulfur
o6 - oxygen
cl1 - chlorine
cl3 - chlorine
; alminiumChloride
al1 - aluminium
cl4 - chlorine
cl5 - chlorine
cl6 - chlorine
; LiAlH4
li1 - lithium
al2 - aluminium
h22 - hydrogen
h23 - hydrogen
h24 - hydrogen
h25 - hydrogen
)
(:init
; water_1
(bond o50 h50)
(bond h50 o50)
(bond o50 h51)
(bond h51 o50)
; water_2
(bond o51 h52)
(bond h52 o51)
(bond o51 h53)
(bond h53 o51)
; ethanol
(bond c1 c2)
(bond c2 c1)
(bond c2 o1)
(bond o1 c2)
(bond h1 c1)
(bond h2 c1)
(bond h3 c1)
(bond c1 h1)
(bond c1 h2)
(bond c1 h3)
(bond h4 c2)
(bond h5 c2)
(bond c2 h4)
(bond c2 h5)
(bond o1 h6)
(bond h6 o1)
; benzene
(AROMATICBOND c5 c6)
(AROMATICBOND c6 c7)
(AROMATICBOND c7 c8)
(AROMATICBOND c8 c9)
(AROMATICBOND c9 c10)
(AROMATICBOND c10 c5)
(AROMATICBOND c6 c5)
(AROMATICBOND c7 c6)
(AROMATICBOND c8 c7)
(AROMATICBOND c9 c8)
(AROMATICBOND c10 c9)
(AROMATICBOND c5 c10)
(bond c5 h7)
(bond c6 h8)
(bond c7 h9)
(bond c8 h10)
(bond c9 h11)
(bond c10 h12)
(bond h7 c5)
(bond h8 c6)
(bond h9 c7)
(bond h10 c8)
(bond h11 c9)
(bond h12 c10)
; potassium Permanganate
(doublebond mn1 o2)
(doublebond mn1 o3)
(doublebond mn1 o4)
(bond mn1 o5)
(doublebond o2 mn1)
(doublebond o3 mn1)
(doublebond o4 mn1)
(bond o5 mn1)
(bond k1 mn1)
(bond mn1 k1)
; HCN
(bond c3 h54)
(bond h54 c3)
(triplebond n1 c3)
(triplebond c3 n1)
; Thionyl chloride
(doublebond su1 o6)
(doublebond o6 su1)
(bond cl1 su1)
(bond cl3 su1)
(bond su1 cl1)
(bond su1 cl3)
; alminiumChloride
(bond al1 cl4)
(bond al1 cl5)
(bond al1 cl6)
(bond cl4 al1)
(bond cl5 al1)
(bond cl6 al1)
; LiAlH4
(bond al2 h22)
(bond al2 h23)
(bond al2 h24)
(bond al2 h25)
(bond h22 al2)
(bond h23 al2)
(bond h24 al2)
(bond h25 al2)
)
(:goal
(and
(aromaticbond c5 c6)
(aromaticbond c6 c7)
(aromaticbond c7 c8)
(aromaticbond c8 c9)
(aromaticbond c9 c10)
(aromaticbond c10 c5)
(bond c5 c2)
(bond c2 c1)
(bond c2 c3)
(bond c2 o1)
(bond c3 n1)
(bond h8 c6)
(bond h9 c7)
(bond c8 h10)
(bond c9 h11)
(bond c10 h12)
(bond o1 h54)
(bond c1 h1)
(bond c1 h2)
(bond c1 h3)
(bond c3 h22)
(bond c3 h23)
(bond n1 h50)
(bond n1 h52)
)
)
)