forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathp05.pddl
373 lines (373 loc) · 14.2 KB
/
p05.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
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
(define (problem p3_hosts_trial_9)
(:domain caldera-split)
(:objects
num__85 - num
num__92 - num
num__98 - num
num__84 - num
num__99 - num
num__91 - num
id_dlhost - observedhost
id_dehost - observedhost
id_dshost - observedhost
str__cz - string
str__thomas - string
str__richard - string
str__n - string
str__z - string
str__david - string
str__john - string
str__r - string
str__patricia - string
str__bc - string
str__cm - string
str__jennifer - string
str__mary - string
str__cu - string
str__dd - string
str__bw - string
str__cv - string
str__dorothy - string
str__cq - string
str__linda - string
str__dy - string
str__dw - string
str__j - string
str__maria - string
str__ci - string
str__bh - string
str__ca - string
str__cb - string
str__y - string
str__bs - string
str__william - string
str__dr - string
str__di - string
str__bg - string
str__dp - string
str__ea - string
str__v - string
str__joseph - string
str__margaret - string
str__bt - string
str__i - string
str__q - string
str__bp - string
str__cf - string
str__cr - string
str__dc - string
str__m - string
str__f - string
str__robert - string
str__dj - string
str__michael - string
str__ce - string
str__cy - string
str__alpha - string
str__barbara - string
str__dk - string
str__bk - string
str__dx - string
str__e - string
str__u - string
str__bo - string
str__charles - string
str__cn - string
str__bx - string
str__susan - string
str__james - string
str__dq - string
str__bd - string
str__b - string
str__elizabeth - string
str__bl - string
str__cj - string
id_eirat - observedrat
id_ehrat - observedrat
id_ejrat - observedrat
id_dzrat - observedrat
id_adomain - observeddomain
id_edfile - observedfile
id_ebfile - observedfile
id_ecfile - observedfile
id_bidomainuser - observeddomainuser
id_budomainuser - observeddomainuser
id_ckdomainuser - observeddomainuser
id_cwdomainuser - observeddomainuser
id_odomainuser - observeddomainuser
id_bqdomainuser - observeddomainuser
id_csdomainuser - observeddomainuser
id_bydomainuser - observeddomainuser
id_wdomainuser - observeddomainuser
id_bmdomainuser - observeddomainuser
id_ccdomainuser - observeddomainuser
id_cgdomainuser - observeddomainuser
id_sdomainuser - observeddomainuser
id_codomainuser - observeddomainuser
id_badomainuser - observeddomainuser
id_gdomainuser - observeddomainuser
id_bedomainuser - observeddomainuser
id_dadomainuser - observeddomainuser
id_cdomainuser - observeddomainuser
id_kdomainuser - observeddomainuser
id_dftimedelta - observedtimedelta
id_dmtimedelta - observedtimedelta
id_dttimedelta - observedtimedelta
id_egshare - observedshare
id_efshare - observedshare
id_eeshare - observedshare
id_cddomaincredential - observeddomaincredential
id_cldomaincredential - observeddomaincredential
id_hdomaincredential - observeddomaincredential
id_tdomaincredential - observeddomaincredential
id_ddomaincredential - observeddomaincredential
id_bzdomaincredential - observeddomaincredential
id_ldomaincredential - observeddomaincredential
id_bbdomaincredential - observeddomaincredential
id_brdomaincredential - observeddomaincredential
id_cxdomaincredential - observeddomaincredential
id_bndomaincredential - observeddomaincredential
id_dbdomaincredential - observeddomaincredential
id_bvdomaincredential - observeddomaincredential
id_chdomaincredential - observeddomaincredential
id_cpdomaincredential - observeddomaincredential
id_xdomaincredential - observeddomaincredential
id_bjdomaincredential - observeddomaincredential
id_bfdomaincredential - observeddomaincredential
id_ctdomaincredential - observeddomaincredential
id_pdomaincredential - observeddomaincredential
id_emschtask - observedschtask
id_elschtask - observedschtask
id_ekschtask - observedschtask
)
(:init
(knows id_dehost)
(knows id_dzrat)
(knows_property id_dehost pfqdn)
(knows_property id_dzrat pexecutable)
(knows_property id_dzrat phost)
(MEM_CACHED_DOMAIN_CREDS id_dehost id_ctdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_dehost id_dbdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_dlhost id_bvdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_dlhost id_cxdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_dshost id_bvdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_dshost id_pdomaincredential)
(MEM_DOMAIN_USER_ADMINS id_dehost id_codomainuser)
(MEM_DOMAIN_USER_ADMINS id_dehost id_csdomainuser)
(MEM_DOMAIN_USER_ADMINS id_dehost id_sdomainuser)
(MEM_DOMAIN_USER_ADMINS id_dehost id_wdomainuser)
(MEM_DOMAIN_USER_ADMINS id_dlhost id_bidomainuser)
(MEM_DOMAIN_USER_ADMINS id_dlhost id_csdomainuser)
(MEM_DOMAIN_USER_ADMINS id_dlhost id_kdomainuser)
(MEM_DOMAIN_USER_ADMINS id_dlhost id_odomainuser)
(MEM_DOMAIN_USER_ADMINS id_dshost id_bidomainuser)
(MEM_DOMAIN_USER_ADMINS id_dshost id_budomainuser)
(MEM_DOMAIN_USER_ADMINS id_dshost id_cgdomainuser)
(MEM_DOMAIN_USER_ADMINS id_dshost id_codomainuser)
(mem_hosts id_adomain id_dehost)
(mem_hosts id_adomain id_dlhost)
(mem_hosts id_adomain id_dshost)
(prop_cred id_badomainuser id_bbdomaincredential)
(prop_cred id_bedomainuser id_bfdomaincredential)
(prop_cred id_bidomainuser id_bjdomaincredential)
(prop_cred id_bmdomainuser id_bndomaincredential)
(prop_cred id_bqdomainuser id_brdomaincredential)
(prop_cred id_budomainuser id_bvdomaincredential)
(prop_cred id_bydomainuser id_bzdomaincredential)
(prop_cred id_cdomainuser id_ddomaincredential)
(prop_cred id_ccdomainuser id_cddomaincredential)
(prop_cred id_cgdomainuser id_chdomaincredential)
(prop_cred id_ckdomainuser id_cldomaincredential)
(prop_cred id_codomainuser id_cpdomaincredential)
(prop_cred id_csdomainuser id_ctdomaincredential)
(prop_cred id_cwdomainuser id_cxdomaincredential)
(prop_cred id_dadomainuser id_dbdomaincredential)
(prop_cred id_gdomainuser id_hdomaincredential)
(prop_cred id_kdomainuser id_ldomaincredential)
(prop_cred id_odomainuser id_pdomaincredential)
(prop_cred id_sdomainuser id_tdomaincredential)
(prop_cred id_wdomainuser id_xdomaincredential)
(PROP_DC id_dehost no)
(PROP_DC id_dlhost no)
(PROP_DC id_dshost no)
(PROP_DNS_DOMAIN id_adomain str__b)
(PROP_DNS_DOMAIN_NAME id_dehost str__dj)
(PROP_DNS_DOMAIN_NAME id_dlhost str__dq)
(PROP_DNS_DOMAIN_NAME id_dshost str__dx)
(PROP_DOMAIN id_badomainuser id_adomain)
(PROP_DOMAIN id_bbdomaincredential id_adomain)
(PROP_DOMAIN id_bedomainuser id_adomain)
(PROP_DOMAIN id_bfdomaincredential id_adomain)
(PROP_DOMAIN id_bidomainuser id_adomain)
(PROP_DOMAIN id_bjdomaincredential id_adomain)
(PROP_DOMAIN id_bmdomainuser id_adomain)
(PROP_DOMAIN id_bndomaincredential id_adomain)
(PROP_DOMAIN id_bqdomainuser id_adomain)
(PROP_DOMAIN id_brdomaincredential id_adomain)
(PROP_DOMAIN id_budomainuser id_adomain)
(PROP_DOMAIN id_bvdomaincredential id_adomain)
(PROP_DOMAIN id_bydomainuser id_adomain)
(PROP_DOMAIN id_bzdomaincredential id_adomain)
(PROP_DOMAIN id_cdomainuser id_adomain)
(PROP_DOMAIN id_ccdomainuser id_adomain)
(PROP_DOMAIN id_cddomaincredential id_adomain)
(PROP_DOMAIN id_cgdomainuser id_adomain)
(PROP_DOMAIN id_chdomaincredential id_adomain)
(PROP_DOMAIN id_ckdomainuser id_adomain)
(PROP_DOMAIN id_cldomaincredential id_adomain)
(PROP_DOMAIN id_codomainuser id_adomain)
(PROP_DOMAIN id_cpdomaincredential id_adomain)
(PROP_DOMAIN id_csdomainuser id_adomain)
(PROP_DOMAIN id_ctdomaincredential id_adomain)
(PROP_DOMAIN id_cwdomainuser id_adomain)
(PROP_DOMAIN id_cxdomaincredential id_adomain)
(PROP_DOMAIN id_ddomaincredential id_adomain)
(PROP_DOMAIN id_dadomainuser id_adomain)
(PROP_DOMAIN id_dbdomaincredential id_adomain)
(PROP_DOMAIN id_dehost id_adomain)
(PROP_DOMAIN id_dlhost id_adomain)
(PROP_DOMAIN id_dshost id_adomain)
(PROP_DOMAIN id_gdomainuser id_adomain)
(PROP_DOMAIN id_hdomaincredential id_adomain)
(PROP_DOMAIN id_kdomainuser id_adomain)
(PROP_DOMAIN id_ldomaincredential id_adomain)
(PROP_DOMAIN id_odomainuser id_adomain)
(PROP_DOMAIN id_pdomaincredential id_adomain)
(PROP_DOMAIN id_sdomainuser id_adomain)
(PROP_DOMAIN id_tdomaincredential id_adomain)
(PROP_DOMAIN id_wdomainuser id_adomain)
(PROP_DOMAIN id_xdomaincredential id_adomain)
(prop_elevated id_dzrat yes)
(prop_executable id_dzrat str__ea)
(PROP_FQDN id_dehost str__dk)
(PROP_FQDN id_dlhost str__dr)
(PROP_FQDN id_dshost str__dy)
(prop_host id_dftimedelta id_dehost)
(prop_host id_dmtimedelta id_dlhost)
(prop_host id_dttimedelta id_dshost)
(prop_host id_dzrat id_dehost)
(PROP_HOSTNAME id_dehost str__di)
(PROP_HOSTNAME id_dlhost str__dp)
(PROP_HOSTNAME id_dshost str__dw)
(PROP_IS_GROUP id_badomainuser no)
(PROP_IS_GROUP id_bedomainuser no)
(PROP_IS_GROUP id_bidomainuser no)
(PROP_IS_GROUP id_bmdomainuser no)
(PROP_IS_GROUP id_bqdomainuser no)
(PROP_IS_GROUP id_budomainuser no)
(PROP_IS_GROUP id_bydomainuser no)
(PROP_IS_GROUP id_cdomainuser no)
(PROP_IS_GROUP id_ccdomainuser no)
(PROP_IS_GROUP id_cgdomainuser no)
(PROP_IS_GROUP id_ckdomainuser no)
(PROP_IS_GROUP id_codomainuser no)
(PROP_IS_GROUP id_csdomainuser no)
(PROP_IS_GROUP id_cwdomainuser no)
(PROP_IS_GROUP id_dadomainuser no)
(PROP_IS_GROUP id_gdomainuser no)
(PROP_IS_GROUP id_kdomainuser no)
(PROP_IS_GROUP id_odomainuser no)
(PROP_IS_GROUP id_sdomainuser no)
(PROP_IS_GROUP id_wdomainuser no)
(PROP_MICROSECONDS id_dftimedelta num__84)
(PROP_MICROSECONDS id_dmtimedelta num__91)
(PROP_MICROSECONDS id_dttimedelta num__98)
(PROP_PASSWORD id_bbdomaincredential str__bc)
(PROP_PASSWORD id_bfdomaincredential str__bg)
(PROP_PASSWORD id_bjdomaincredential str__bk)
(PROP_PASSWORD id_bndomaincredential str__bo)
(PROP_PASSWORD id_brdomaincredential str__bs)
(PROP_PASSWORD id_bvdomaincredential str__bw)
(PROP_PASSWORD id_bzdomaincredential str__ca)
(PROP_PASSWORD id_cddomaincredential str__ce)
(PROP_PASSWORD id_chdomaincredential str__ci)
(PROP_PASSWORD id_cldomaincredential str__cm)
(PROP_PASSWORD id_cpdomaincredential str__cq)
(PROP_PASSWORD id_ctdomaincredential str__cu)
(PROP_PASSWORD id_cxdomaincredential str__cy)
(PROP_PASSWORD id_ddomaincredential str__e)
(PROP_PASSWORD id_dbdomaincredential str__dc)
(PROP_PASSWORD id_hdomaincredential str__i)
(PROP_PASSWORD id_ldomaincredential str__m)
(PROP_PASSWORD id_pdomaincredential str__q)
(PROP_PASSWORD id_tdomaincredential str__u)
(PROP_PASSWORD id_xdomaincredential str__y)
(PROP_SECONDS id_dftimedelta num__85)
(PROP_SECONDS id_dmtimedelta num__92)
(PROP_SECONDS id_dttimedelta num__99)
(PROP_SID id_badomainuser str__bd)
(PROP_SID id_bedomainuser str__bh)
(PROP_SID id_bidomainuser str__bl)
(PROP_SID id_bmdomainuser str__bp)
(PROP_SID id_bqdomainuser str__bt)
(PROP_SID id_budomainuser str__bx)
(PROP_SID id_bydomainuser str__cb)
(PROP_SID id_cdomainuser str__f)
(PROP_SID id_ccdomainuser str__cf)
(PROP_SID id_cgdomainuser str__cj)
(PROP_SID id_ckdomainuser str__cn)
(PROP_SID id_codomainuser str__cr)
(PROP_SID id_csdomainuser str__cv)
(PROP_SID id_cwdomainuser str__cz)
(PROP_SID id_dadomainuser str__dd)
(PROP_SID id_gdomainuser str__j)
(PROP_SID id_kdomainuser str__n)
(PROP_SID id_odomainuser str__r)
(PROP_SID id_sdomainuser str__v)
(PROP_SID id_wdomainuser str__z)
(PROP_TIMEDELTA id_dehost id_dftimedelta)
(PROP_TIMEDELTA id_dlhost id_dmtimedelta)
(PROP_TIMEDELTA id_dshost id_dttimedelta)
(PROP_USER id_bbdomaincredential id_badomainuser)
(PROP_USER id_bfdomaincredential id_bedomainuser)
(PROP_USER id_bjdomaincredential id_bidomainuser)
(PROP_USER id_bndomaincredential id_bmdomainuser)
(PROP_USER id_brdomaincredential id_bqdomainuser)
(PROP_USER id_bvdomaincredential id_budomainuser)
(PROP_USER id_bzdomaincredential id_bydomainuser)
(PROP_USER id_cddomaincredential id_ccdomainuser)
(PROP_USER id_chdomaincredential id_cgdomainuser)
(PROP_USER id_cldomaincredential id_ckdomainuser)
(PROP_USER id_cpdomaincredential id_codomainuser)
(PROP_USER id_ctdomaincredential id_csdomainuser)
(PROP_USER id_cxdomaincredential id_cwdomainuser)
(PROP_USER id_ddomaincredential id_cdomainuser)
(PROP_USER id_dbdomaincredential id_dadomainuser)
(PROP_USER id_hdomaincredential id_gdomainuser)
(PROP_USER id_ldomaincredential id_kdomainuser)
(PROP_USER id_pdomaincredential id_odomainuser)
(PROP_USER id_tdomaincredential id_sdomainuser)
(PROP_USER id_xdomaincredential id_wdomainuser)
(PROP_USERNAME id_badomainuser str__michael)
(PROP_USERNAME id_bedomainuser str__barbara)
(PROP_USERNAME id_bidomainuser str__william)
(PROP_USERNAME id_bmdomainuser str__elizabeth)
(PROP_USERNAME id_bqdomainuser str__david)
(PROP_USERNAME id_budomainuser str__jennifer)
(PROP_USERNAME id_bydomainuser str__richard)
(PROP_USERNAME id_cdomainuser str__james)
(PROP_USERNAME id_ccdomainuser str__maria)
(PROP_USERNAME id_cgdomainuser str__charles)
(PROP_USERNAME id_ckdomainuser str__susan)
(PROP_USERNAME id_codomainuser str__joseph)
(PROP_USERNAME id_csdomainuser str__margaret)
(PROP_USERNAME id_cwdomainuser str__thomas)
(PROP_USERNAME id_dadomainuser str__dorothy)
(PROP_USERNAME id_gdomainuser str__mary)
(PROP_USERNAME id_kdomainuser str__john)
(PROP_USERNAME id_odomainuser str__patricia)
(PROP_USERNAME id_sdomainuser str__robert)
(PROP_USERNAME id_wdomainuser str__linda)
(PROP_WINDOWS_DOMAIN id_adomain str__alpha)
(procnone)
(= (total-cost) 0)
)
(:goal
(and
(procnone)
(prop_host id_eirat id_dlhost)
(prop_host id_ejrat id_dshost)
)
)
(:metric minimize (total-cost))
)