forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p17.pddl
335 lines (335 loc) · 12.1 KB
/
p17.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
(define (problem p6_hosts_trial_15)
(:domain caldera-split)
(:objects
id_adomain - observeddomain
id_bbdomaincredential - observeddomaincredential
id_tdomaincredential - observeddomaincredential
id_bndomaincredential - observeddomaincredential
id_xdomaincredential - observeddomaincredential
id_bfdomaincredential - observeddomaincredential
id_bjdomaincredential - observeddomaincredential
id_ddomaincredential - observeddomaincredential
id_ldomaincredential - observeddomaincredential
id_bvdomaincredential - observeddomaincredential
id_brdomaincredential - observeddomaincredential
id_pdomaincredential - observeddomaincredential
id_hdomaincredential - observeddomaincredential
str__bs - string
str__cc - string
str__cd - string
str__cz - string
str__u - string
str__dn - string
str__v - string
str__michael - string
str__bh - string
str__dp - string
str__ce - string
str__jennifer - string
str__m - string
str__robert - string
str__mary - string
str__david - string
str__bw - string
str__e - string
str__cl - string
str__dm - string
str__dl - string
str__ck - string
str__j - string
str__alpha - string
str__cx - string
str__bo - string
str__bc - string
str__linda - string
str__dg - string
str__df - string
str__cq - string
str__bg - string
str__b - string
str__i - string
str__james - string
str__f - string
str__r - string
str__cj - string
str__john - string
str__z - string
str__bl - string
str__elizabeth - string
str__bt - string
str__bx - string
str__cs - string
str__patricia - string
str__barbara - string
str__bk - string
str__cy - string
str__bd - string
str__de - string
str__n - string
str__q - string
str__y - string
str__cr - string
str__bp - string
str__william - string
id_dsschtask - observedschtask
id_dtschtask - observedschtask
id_dqschtask - observedschtask
id_duschtask - observedschtask
id_dvschtask - observedschtask
id_drschtask - observedschtask
id_dhhost - observedhost
id_dahost - observedhost
id_cmhost - observedhost
id_cfhost - observedhost
id_cthost - observedhost
id_byhost - observedhost
id_ekshare - observedshare
id_enshare - observedshare
id_elshare - observedshare
id_ejshare - observedshare
id_emshare - observedshare
id_eishare - observedshare
num__73 - num
num__87 - num
num__88 - num
num__67 - num
num__53 - num
num__81 - num
num__80 - num
num__60 - num
num__52 - num
num__66 - num
num__74 - num
num__59 - num
id_wdomainuser - observeddomainuser
id_kdomainuser - observeddomainuser
id_bqdomainuser - observeddomainuser
id_budomainuser - observeddomainuser
id_bidomainuser - observeddomainuser
id_odomainuser - observeddomainuser
id_cdomainuser - observeddomainuser
id_badomainuser - observeddomainuser
id_bmdomainuser - observeddomainuser
id_gdomainuser - observeddomainuser
id_bedomainuser - observeddomainuser
id_sdomainuser - observeddomainuser
id_dyrat - observedrat
id_ebrat - observedrat
id_dxrat - observedrat
id_dzrat - observedrat
id_dwrat - observedrat
id_earat - observedrat
id_dorat - observedrat
id_eefile - observedfile
id_ecfile - observedfile
id_egfile - observedfile
id_effile - observedfile
id_ehfile - observedfile
id_edfile - observedfile
id_bztimedelta - observedtimedelta
id_cgtimedelta - observedtimedelta
id_cutimedelta - observedtimedelta
id_dbtimedelta - observedtimedelta
id_ditimedelta - observedtimedelta
id_cntimedelta - observedtimedelta
)
(:init
(knows id_byhost)
(knows id_dorat)
(knows_property id_byhost pfqdn)
(knows_property id_dorat pexecutable)
(knows_property id_dorat phost)
(MEM_CACHED_DOMAIN_CREDS id_byhost id_bfdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_byhost id_bvdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_cfhost id_ddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_cfhost id_ldomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_cmhost id_bbdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_cmhost id_tdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_cthost id_tdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_cthost id_xdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_dahost id_hdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_dahost id_ldomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_dhhost id_pdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_dhhost id_tdomaincredential)
(MEM_DOMAIN_USER_ADMINS id_byhost id_bidomainuser)
(MEM_DOMAIN_USER_ADMINS id_cfhost id_bedomainuser)
(MEM_DOMAIN_USER_ADMINS id_cmhost id_kdomainuser)
(MEM_DOMAIN_USER_ADMINS id_cthost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_dahost id_badomainuser)
(MEM_DOMAIN_USER_ADMINS id_dhhost id_badomainuser)
(mem_hosts id_adomain id_byhost)
(mem_hosts id_adomain id_cfhost)
(mem_hosts id_adomain id_cmhost)
(mem_hosts id_adomain id_cthost)
(mem_hosts id_adomain id_dahost)
(mem_hosts id_adomain id_dhhost)
(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_cdomainuser id_ddomaincredential)
(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_byhost no)
(PROP_DC id_cfhost no)
(PROP_DC id_cmhost yes)
(PROP_DC id_cthost yes)
(PROP_DC id_dahost no)
(PROP_DC id_dhhost no)
(PROP_DNS_DOMAIN id_adomain str__b)
(PROP_DNS_DOMAIN_NAME id_byhost str__ce)
(PROP_DNS_DOMAIN_NAME id_cfhost str__cl)
(PROP_DNS_DOMAIN_NAME id_cmhost str__cs)
(PROP_DNS_DOMAIN_NAME id_cthost str__cz)
(PROP_DNS_DOMAIN_NAME id_dahost str__dg)
(PROP_DNS_DOMAIN_NAME id_dhhost str__dn)
(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_byhost id_adomain)
(PROP_DOMAIN id_cdomainuser id_adomain)
(PROP_DOMAIN id_cfhost id_adomain)
(PROP_DOMAIN id_cmhost id_adomain)
(PROP_DOMAIN id_cthost id_adomain)
(PROP_DOMAIN id_ddomaincredential id_adomain)
(PROP_DOMAIN id_dahost id_adomain)
(PROP_DOMAIN id_dhhost 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_dorat yes)
(prop_executable id_dorat str__dp)
(PROP_FQDN id_byhost str__cc)
(PROP_FQDN id_cfhost str__cj)
(PROP_FQDN id_cmhost str__cq)
(PROP_FQDN id_cthost str__cx)
(PROP_FQDN id_dahost str__de)
(PROP_FQDN id_dhhost str__dl)
(prop_host id_bztimedelta id_byhost)
(prop_host id_cgtimedelta id_cfhost)
(prop_host id_cntimedelta id_cmhost)
(prop_host id_cutimedelta id_cthost)
(prop_host id_dbtimedelta id_dahost)
(prop_host id_ditimedelta id_dhhost)
(prop_host id_dorat id_byhost)
(PROP_HOSTNAME id_byhost str__cd)
(PROP_HOSTNAME id_cfhost str__ck)
(PROP_HOSTNAME id_cmhost str__cr)
(PROP_HOSTNAME id_cthost str__cy)
(PROP_HOSTNAME id_dahost str__df)
(PROP_HOSTNAME id_dhhost str__dm)
(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_cdomainuser 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_bztimedelta num__52)
(PROP_MICROSECONDS id_cgtimedelta num__59)
(PROP_MICROSECONDS id_cntimedelta num__66)
(PROP_MICROSECONDS id_cutimedelta num__73)
(PROP_MICROSECONDS id_dbtimedelta num__80)
(PROP_MICROSECONDS id_ditimedelta num__87)
(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_ddomaincredential str__e)
(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_bztimedelta num__53)
(PROP_SECONDS id_cgtimedelta num__60)
(PROP_SECONDS id_cntimedelta num__67)
(PROP_SECONDS id_cutimedelta num__74)
(PROP_SECONDS id_dbtimedelta num__81)
(PROP_SECONDS id_ditimedelta num__88)
(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_cdomainuser str__f)
(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_byhost id_bztimedelta)
(PROP_TIMEDELTA id_cfhost id_cgtimedelta)
(PROP_TIMEDELTA id_cmhost id_cntimedelta)
(PROP_TIMEDELTA id_cthost id_cutimedelta)
(PROP_TIMEDELTA id_dahost id_dbtimedelta)
(PROP_TIMEDELTA id_dhhost id_ditimedelta)
(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_ddomaincredential id_cdomainuser)
(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_cdomainuser str__james)
(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_dzrat id_dahost)
(prop_host id_dxrat id_dhhost)
(prop_host id_ebrat id_cfhost)
(prop_host id_dyrat id_cthost)
(prop_host id_earat id_cmhost)
)
)
(:metric minimize (total-cost))
)