forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathp09.pddl
168 lines (168 loc) · 3.31 KB
/
p09.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
(define (problem alkene_p02)
(:domain organic-synthesis-split)
(:objects
c017 - carbon
c018 - carbon
c019 - carbon
c020 - carbon
c021 - carbon
c022 - carbon
c023 - carbon
c024 - carbon
c051 - carbon
c052 - carbon
c053 - carbon
c054 - carbon
c055 - carbon
cl073 - chlorine
h059 - hydrogen
h060 - hydrogen
h062 - hydrogen
h109 - hydrogen
h110 - hydrogen
h111 - hydrogen
h112 - hydrogen
h113 - hydrogen
h166 - hydrogen
h167 - hydrogen
h168 - hydrogen
h169 - hydrogen
h170 - hydrogen
h171 - hydrogen
h172 - hydrogen
h173 - hydrogen
h174 - hydrogen
h175 - hydrogen
o065 - oxygen
o067 - oxygen
o068 - oxygen
o069 - oxygen
s072 - sulfur
)
(:init
(bond c017 h111)
(bond h111 c017)
(bond c017 h110)
(bond h110 c017)
(bond c017 h109)
(bond h109 c017)
(bond c017 c018)
(bond c018 c017)
(bond c018 h113)
(bond h113 c018)
(bond c018 o067)
(bond o067 c018)
(bond c018 h112)
(bond h112 c018)
(doublebond c019 c024)
(doublebond c024 c019)
(bond c019 c020)
(bond c020 c019)
(doublebond c020 c021)
(doublebond c021 c020)
(bond c021 s072)
(bond s072 c021)
(bond c021 c022)
(bond c022 c021)
(doublebond c022 c023)
(doublebond c023 c022)
(bond c023 c024)
(bond c024 c023)
(bond c051 o065)
(bond o065 c051)
(bond c051 h166)
(bond h166 c051)
(bond c051 h167)
(bond h167 c051)
(bond c051 c052)
(bond c052 c051)
(bond c052 c053)
(bond c053 c052)
(bond c052 h060)
(bond h060 c052)
(bond c052 h168)
(bond h168 c052)
(bond c053 h170)
(bond h170 c053)
(bond c053 h169)
(bond h169 c053)
(bond c053 c054)
(bond c054 c053)
(bond c054 c055)
(bond c055 c054)
(bond c054 h172)
(bond h172 c054)
(bond c054 h171)
(bond h171 c054)
(bond c055 h175)
(bond h175 c055)
(bond c055 h174)
(bond h174 c055)
(bond c055 h173)
(bond h173 c055)
(bond cl073 s072)
(bond s072 cl073)
(bond h059 o065)
(bond o065 h059)
(bond h062 o067)
(bond o067 h062)
(doublebond o068 s072)
(doublebond s072 o068)
(doublebond o069 s072)
(doublebond s072 o069)
(procnone)
(= (total-cost) 0)
)
(:goal
(and
(procnone)
(bond h173 c055)
(bond c055 h173)
(bond h174 c055)
(bond c055 h174)
(bond h175 c055)
(bond c055 h175)
(bond h171 c054)
(bond c054 h171)
(bond h172 c054)
(bond c054 h172)
(bond c055 c054)
(bond c054 c055)
(bond h169 c053)
(bond c053 h169)
(bond h170 c053)
(bond c053 h170)
(bond c054 c053)
(bond c053 c054)
(bond h168 c052)
(bond c052 h168)
(bond h060 c052)
(bond c052 h060)
(bond c053 c052)
(bond c052 c053)
(bond h166 c051)
(bond c051 h166)
(bond h167 c051)
(bond c051 h167)
(bond o067 c051)
(bond c051 o067)
(bond c052 c051)
(bond c051 c052)
(bond h112 c018)
(bond c018 h112)
(bond h113 c018)
(bond c018 h113)
(bond o067 c018)
(bond c018 o067)
(bond h110 c017)
(bond c017 h110)
(bond h111 c017)
(bond c017 h111)
(bond h109 c017)
(bond c017 h109)
(bond c018 c017)
(bond c017 c018)
)
)
(:metric minimize (total-cost))
)