forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p02.pddl
170 lines (170 loc) · 3.31 KB
/
p02.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
(define (problem alkene_p17)
(:domain organic-synthesis)
(:objects
c007 - carbon
c008 - carbon
c009 - carbon
c010 - carbon
c011 - carbon
c012 - carbon
c013 - carbon
c014 - carbon
c015 - carbon
c016 - carbon
h061 - hydrogen
h088 - hydrogen
h089 - hydrogen
h090 - hydrogen
h091 - hydrogen
h092 - hydrogen
h093 - hydrogen
h094 - hydrogen
h095 - hydrogen
h096 - hydrogen
h097 - hydrogen
h098 - hydrogen
h099 - hydrogen
h100 - hydrogen
h101 - hydrogen
h102 - hydrogen
h103 - hydrogen
h104 - hydrogen
h105 - hydrogen
h106 - hydrogen
h107 - hydrogen
h108 - hydrogen
o066 - oxygen
)
(:init
(bond c007 h088)
(bond h088 c007)
(bond c007 h089)
(bond h089 c007)
(bond c007 h090)
(bond h090 c007)
(bond c007 c008)
(bond c008 c007)
(bond c008 h091)
(bond h091 c008)
(bond c008 h092)
(bond h092 c008)
(bond c008 c009)
(bond c009 c008)
(bond c009 h094)
(bond h094 c009)
(bond c009 h093)
(bond h093 c009)
(bond c009 c010)
(bond c010 c009)
(bond c010 h096)
(bond h096 c010)
(bond c010 h095)
(bond h095 c010)
(bond c010 c011)
(bond c011 c010)
(doublebond c011 c013)
(doublebond c013 c011)
(bond c011 c012)
(bond c012 c011)
(bond c012 h098)
(bond h098 c012)
(bond c012 h099)
(bond h099 c012)
(bond c012 h097)
(bond h097 c012)
(bond c013 c015)
(bond c015 c013)
(bond c013 c014)
(bond c014 c013)
(bond c014 h102)
(bond h102 c014)
(bond c014 h100)
(bond h100 c014)
(bond c014 h101)
(bond h101 c014)
(bond c015 h104)
(bond h104 c015)
(bond c015 h105)
(bond h105 c015)
(bond c015 h103)
(bond h103 c015)
(bond c016 o066)
(bond o066 c016)
(bond c016 h108)
(bond h108 c016)
(bond c016 h106)
(bond h106 c016)
(bond c016 h107)
(bond h107 c016)
(bond h061 o066)
(bond o066 h061)
)
(:goal
(and
(bond c007 c008)
(bond c008 c007)
(bond c007 h089)
(bond h089 c007)
(bond c007 h088)
(bond h088 c007)
(bond c007 h090)
(bond h090 c007)
(bond c008 c009)
(bond c009 c008)
(bond c008 h092)
(bond h092 c008)
(bond c008 h091)
(bond h091 c008)
(bond c009 c010)
(bond c010 c009)
(bond c009 h094)
(bond h094 c009)
(bond c009 h093)
(bond h093 c009)
(bond c010 c011)
(bond c011 c010)
(bond c010 h095)
(bond h095 c010)
(bond c010 h096)
(bond h096 c010)
(bond c011 c013)
(bond c013 c011)
(bond c011 c012)
(bond c012 c011)
(bond c011 h061)
(bond h061 c011)
(bond c012 h097)
(bond h097 c012)
(bond c012 h099)
(bond h099 c012)
(bond c012 h098)
(bond h098 c012)
(bond c013 c015)
(bond c015 c013)
(bond c013 c014)
(bond c014 c013)
(bond c013 o066)
(bond o066 c013)
(bond c014 h100)
(bond h100 c014)
(bond c014 h102)
(bond h102 c014)
(bond c014 h101)
(bond h101 c014)
(bond c015 h104)
(bond h104 c015)
(bond c015 h103)
(bond h103 c015)
(bond c015 h105)
(bond h105 c015)
(bond c016 o066)
(bond o066 c016)
(bond c016 h106)
(bond h106 c016)
(bond c016 h108)
(bond h108 c016)
(bond c016 h107)
(bond h107 c016)
)
)
)