forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p13.pddl
190 lines (190 loc) · 3.28 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
(define (problem mit_p13)
(:domain organic-synthesis)
(:objects
br1 - bromine
br2 - bromine
c1 - carbon
c10 - carbon
c100 - carbon
c101 - carbon
c102 - carbon
c103 - carbon
c104 - carbon
c105 - carbon
c11 - carbon
c12 - carbon
c13 - carbon
c2 - carbon
c3 - carbon
c4 - carbon
c7 - carbon
c8 - carbon
c9 - carbon
h1 - hydrogen
h14 - hydrogen
h15 - hydrogen
h16 - hydrogen
h17 - hydrogen
h18 - hydrogen
h19 - hydrogen
h2 - hydrogen
h20 - hydrogen
h21 - hydrogen
h22 - hydrogen
h23 - hydrogen
h24 - hydrogen
h25 - hydrogen
h26 - hydrogen
h27 - hydrogen
h3 - hydrogen
h4 - hydrogen
h5 - hydrogen
h6 - hydrogen
h7 - hydrogen
h8 - hydrogen
li - lithium
n - nitrogen
o1 - oxygen
o2 - oxygen
o4 - oxygen
o5 - oxygen
)
(:init
(bond br1 c9)
(bond c9 br1)
(bond br2 c13)
(bond c13 br2)
(bond c1 h1)
(bond h1 c1)
(bond c1 h2)
(bond h2 c1)
(bond c1 h3)
(bond h3 c1)
(bond c1 c2)
(bond c2 c1)
(bond c10 h19)
(bond h19 c10)
(bond c10 h20)
(bond h20 c10)
(bond c10 c9)
(bond c9 c10)
(bond c10 c11)
(bond c11 c10)
(bond c100 c104)
(bond c104 c100)
(bond c101 c104)
(bond c104 c101)
(bond c102 c105)
(bond c105 c102)
(bond c103 c105)
(bond c105 c103)
(bond c104 n)
(bond n c104)
(bond c105 n)
(bond n c105)
(bond c11 h21)
(bond h21 c11)
(bond c11 h22)
(bond h22 c11)
(bond c11 c12)
(bond c12 c11)
(bond c12 h23)
(bond h23 c12)
(bond c12 h24)
(bond h24 c12)
(bond c12 c13)
(bond c13 c12)
(bond c13 h25)
(bond h25 c13)
(bond c13 h26)
(bond h26 c13)
(bond c2 h4)
(bond h4 c2)
(bond c2 h5)
(bond h5 c2)
(bond c2 o1)
(bond o1 c2)
(bond c3 o1)
(bond o1 c3)
(bond c3 c4)
(bond c4 c3)
(doublebond c3 o2)
(doublebond o2 c3)
(bond c4 h7)
(bond h7 c4)
(bond c4 h8)
(bond h8 c4)
(bond c4 c7)
(bond c7 c4)
(bond c7 c8)
(bond c8 c7)
(doublebond c7 o4)
(doublebond o4 c7)
(bond c8 h14)
(bond h14 c8)
(bond c8 h15)
(bond h15 c8)
(bond c8 h16)
(bond h16 c8)
(bond c9 h17)
(bond h17 c9)
(bond c9 h18)
(bond h18 c9)
(bond h27 o5)
(bond o5 h27)
(bond h6 o5)
(bond o5 h6)
(bond li n)
(bond n li)
)
(:goal
(and
(bond c10 c9)
(bond c9 c10)
(bond c10 c11)
(bond c11 c10)
(bond c10 h19)
(bond h19 c10)
(bond c10 h20)
(bond h20 c10)
(bond c11 c12)
(bond c12 c11)
(bond c11 h21)
(bond h21 c11)
(bond c11 h22)
(bond h22 c11)
(bond c12 c13)
(bond c13 c12)
(bond c12 h23)
(bond h23 c12)
(bond c12 h24)
(bond h24 c12)
(bond c13 c4)
(bond c4 c13)
(bond c13 h25)
(bond h25 c13)
(bond c13 h26)
(bond h26 c13)
(bond c4 c9)
(bond c9 c4)
(bond c4 c7)
(bond c7 c4)
(bond c4 h6)
(bond h6 c4)
(bond c7 c8)
(bond c8 c7)
(doublebond c7 o4)
(doublebond o4 c7)
(bond c8 h14)
(bond h14 c8)
(bond c8 h15)
(bond h15 c8)
(bond c8 h16)
(bond h16 c8)
(bond c9 h17)
(bond h17 c9)
(bond c9 h18)
(bond h18 c9)
)
)
)