forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathp11.pddl
168 lines (168 loc) · 3.25 KB
/
p11.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_p09)
(:domain organic-synthesis-split)
(:objects
b071 - boron
c001 - carbon
c002 - carbon
c003 - carbon
c004 - carbon
c005 - carbon
c006 - carbon
c039 - carbon
c040 - carbon
c041 - carbon
c042 - carbon
c043 - carbon
c044 - carbon
c045 - carbon
h058 - hydrogen
h059 - hydrogen
h060 - hydrogen
h145 - hydrogen
h146 - hydrogen
h147 - hydrogen
h148 - hydrogen
h149 - hydrogen
h150 - hydrogen
h151 - hydrogen
h152 - hydrogen
h153 - hydrogen
h154 - hydrogen
h155 - hydrogen
h156 - hydrogen
h179 - hydrogen
h180 - hydrogen
h183 - hydrogen
h184 - hydrogen
o064 - oxygen
o065 - oxygen
o177 - oxygen
o178 - oxygen
o181 - oxygen
o182 - oxygen
)
(:init
(bond b071 c002)
(bond c002 b071)
(bond b071 c005)
(bond c005 b071)
(bond b071 h060)
(bond h060 b071)
(bond c001 c002)
(bond c002 c001)
(bond c002 c003)
(bond c003 c002)
(bond c004 c005)
(bond c005 c004)
(bond c005 c006)
(bond c006 c005)
(bond c039 c040)
(bond c040 c039)
(bond c039 h147)
(bond h147 c039)
(bond c039 h146)
(bond h146 c039)
(bond c039 h145)
(bond h145 c039)
(doublebond c040 c041)
(doublebond c041 c040)
(bond c040 c045)
(bond c045 c040)
(bond c041 c042)
(bond c042 c041)
(bond c041 h148)
(bond h148 c041)
(bond c042 h150)
(bond h150 c042)
(bond c042 h149)
(bond h149 c042)
(bond c042 c043)
(bond c043 c042)
(bond c043 c044)
(bond c044 c043)
(bond c043 h152)
(bond h152 c043)
(bond c043 h151)
(bond h151 c043)
(bond c044 h154)
(bond h154 c044)
(bond c044 h153)
(bond h153 c044)
(bond c044 c045)
(bond c045 c044)
(bond c045 h156)
(bond h156 c045)
(bond c045 h155)
(bond h155 c045)
(bond h058 o064)
(bond o064 h058)
(bond h059 o065)
(bond o065 h059)
(bond h179 o177)
(bond o177 h179)
(bond h180 o178)
(bond o178 h180)
(bond h183 o181)
(bond o181 h183)
(bond h184 o182)
(bond o182 h184)
(bond o064 o065)
(bond o065 o064)
(bond o177 o178)
(bond o178 o177)
(bond o181 o182)
(bond o182 o181)
(procnone)
(= (total-cost) 0)
)
(:goal
(and
(procnone)
(bond o065 h059)
(bond h059 o065)
(bond h155 c045)
(bond c045 h155)
(bond h156 c045)
(bond c045 h156)
(bond h153 c044)
(bond c044 h153)
(bond h154 c044)
(bond c044 h154)
(bond c045 c044)
(bond c044 c045)
(bond h151 c043)
(bond c043 h151)
(bond h152 c043)
(bond c043 h152)
(bond c044 c043)
(bond c043 c044)
(bond h149 c042)
(bond c042 h149)
(bond h150 c042)
(bond c042 h150)
(bond c043 c042)
(bond c042 c043)
(bond h148 c041)
(bond c041 h148)
(bond o065 c041)
(bond c041 o065)
(bond c042 c041)
(bond c041 c042)
(bond h060 c040)
(bond c040 h060)
(bond c041 c040)
(bond c040 c041)
(bond c045 c040)
(bond c040 c045)
(bond h147 c039)
(bond c039 h147)
(bond h145 c039)
(bond c039 h145)
(bond h146 c039)
(bond c039 h146)
(bond c040 c039)
(bond c039 c040)
)
)
(:metric minimize (total-cost))
)