forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p11.pddl
282 lines (282 loc) · 6.46 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
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
(define (problem align)
(:domain petri-net-alignment)
(:init
(tracepointer ev1)
(allowed)
(token t1741)
(= (total-cost) 0)
)
(:goal
(and
(not (token t2119))
(not (token t2010))
(not (token t2064))
(not (token t2189))
(not (token t2207))
(not (token t2022))
(not (token t2143))
(not (token t2165))
(not (token t2199))
(not (token t2151))
(not (token t2257))
(not (token t2004))
(not (token t2007))
(not (token t2248))
(not (token t2118))
(not (token t1961))
(not (token t2168))
(not (token t2058))
(not (token t2241))
(not (token t2098))
(not (token t2101))
(not (token t2140))
(not (token t2103))
(not (token t1967))
(not (token t2158))
(not (token t2162))
(not (token t2229))
(not (token t2131))
(not (token t2230))
(not (token t2177))
(not (token t1974))
(not (token t2244))
(not (token t2096))
(not (token t2120))
(not (token t2071))
(not (token t2099))
(not (token t2086))
(not (token t2069))
(not (token t2263))
(not (token t2132))
(not (token t2067))
(not (token t2237))
(not (token t2044))
(not (token t2092))
(not (token t2160))
(not (token t2009))
(not (token t2238))
(not (token t2033))
(not (token t2126))
(not (token t1964))
(not (token t1990))
(not (token t2026))
(not (token t2159))
(not (token t2174))
(not (token t2060))
(not (token t2208))
(not (token t2228))
(not (token t2164))
(not (token t2194))
(not (token t2213))
(not (token t2234))
(not (token t1985))
(not (token t2073))
(not (token t2079))
(not (token t2183))
(not (token t2081))
(token t1742)
(not (token t1977))
(not (token t2025))
(not (token t2193))
(not (token t2232))
(not (token t2233))
(not (token t1972))
(not (token t2188))
(not (token t2104))
(not (token t2223))
(not (token t2243))
(not (token t2065))
(not (token t2202))
(not (token t2266))
(not (token t2129))
(not (token t1988))
(not (token t1995))
(not (token t2075))
(not (token t2094))
(not (token t2179))
(not (token t2253))
(not (token t2084))
(not (token t2043))
(not (token t2192))
(not (token t2176))
(not (token t2260))
(not (token t2141))
(not (token t1997))
(not (token t2197))
(not (token t2256))
(not (token t1975))
(not (token t2184))
(not (token t2137))
(not (token t2239))
(not (token t2023))
(not (token t2240))
(not (token t2156))
(not (token t2080))
(not (token t2211))
(not (token t2249))
(not (token t2146))
(not (token t2203))
(not (token t2097))
(not (token t2110))
(not (token t2053))
(not (token t2153))
(not (token t2246))
(not (token t2102))
(not (token t2198))
(not (token t2166))
(not (token t2252))
(not (token t2030))
(not (token t2148))
(not (token t2076))
(not (token t2171))
(not (token t2185))
(not (token t2018))
(not (token t2190))
(not (token t2149))
(not (token t2074))
(not (token t2157))
(not (token t2262))
(not (token t2061))
(not (token t2205))
(not (token t2172))
(not (token t2181))
(not (token t2041))
(not (token t2113))
(not (token t1996))
(not (token t2220))
(not (token t2224))
(not (token t2111))
(not (token t1969))
(not (token t2068))
(not (token t1965))
(not (token t2212))
(not (token t2144))
(not (token t2216))
(not (token t1984))
(not (token t2227))
(not (token t2063))
(not (token t2147))
(not (token t2254))
(not (token t2019))
(not (token t2226))
(not (token t2186))
(not (token t2251))
(not (token t1963))
(not (token t2138))
(not (token t2006))
(not (token t2201))
(not (token t2040))
(not (token t1994))
(not (token t2117))
(not (token t2134))
(not (token t2106))
(not (token t2209))
(not (token t1968))
(not (token t2116))
(not (token t2210))
(not (token t2109))
(not (token t2231))
(not (token t2130))
(not (token t2020))
(not (token t2180))
(not (token t2200))
(not (token t2222))
(not (token t2002))
(not (token t2235))
(not (token t2219))
(not (token t2107))
(not (token t2082))
(not (token t2154))
(not (token t2135))
(not (token t2027))
(not (token t2214))
(not (token t2085))
(not (token t2136))
(not (token t2204))
(not (token t2125))
(not (token t2150))
(not (token t1987))
(not (token t2191))
(not (token t2070))
(not (token t2121))
(not (token t1978))
(not (token t2155))
(not (token t2225))
(not (token t2133))
(not (token t2261))
(not (token t2123))
(not (token t2128))
(not (token t2161))
(not (token t2242))
(not (token t2112))
(not (token t2250))
(not (token t2032))
(not (token t2255))
(not (token t2127))
(not (token t2072))
(not (token t2057))
(not (token t2145))
(not (token t2152))
(not (token t2142))
(not (token t2163))
(not (token t1976))
(not (token t1980))
(not (token t2045))
(not (token t2056))
(not (token t2170))
(not (token t2124))
(not (token t2169))
(not (token t2100))
(not (token t1741))
(not (token t2221))
(not (token t2078))
(not (token t2245))
(not (token t2175))
(not (token t1966))
(not (token t2115))
(not (token t1973))
(not (token t2247))
(not (token t2042))
(not (token t2031))
(not (token t2089))
(not (token t2090))
(not (token t2167))
(not (token t2011))
(not (token t2059))
(not (token t2108))
(not (token t2087))
(not (token t2217))
(not (token t2264))
(not (token t2259))
(not (token t2114))
(not (token t2178))
(not (token t2218))
(not (token t2095))
(not (token t2258))
(not (token t2077))
(not (token t2083))
(not (token t2206))
(not (token t2173))
(not (token t2091))
(not (token t2052))
(not (token t2215))
(not (token t2008))
(not (token t2066))
(not (token t2093))
(not (token t2088))
(not (token t2182))
(not (token t2196))
(not (token t1986))
(not (token t2139))
(not (token t2195))
(not (token t2236))
(not (token t2122))
(not (token t2265))
(not (token t2105))
(not (token t2187))
(not (token t2062))
(tracepointer evend)
)
)
(:metric minimize (total-cost))
)