forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p14.pddl
379 lines (379 loc) · 19.3 KB
/
p14.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
374
375
376
377
378
379
;Copyright 2018 The MITRE Corporation. All rights reserved. Approved for public release. Distribution unlimited 17-2122.
; For more information on CALDERA, the automated adversary emulation system, visit https://github.com/mitre/caldera or email [email protected]
; This has 9 hosts, 24 user, 2 admin per host, 4 active account per host
(define (problem p9_hosts_trial_9)
(:domain caldera)
(:objects
id_hnrat id_horat id_hqrat id_hprat id_hmrat id_gfrat id_hlrat id_hjrat id_hkrat id_hirat - observedrat
id_gifile id_gofile id_gpfile id_glfile id_gnfile id_gkfile id_gmfile id_ghfile id_gjfile - observedfile
id_adomain - observeddomain
id_fztimedelta id_eqtimedelta id_ectimedelta id_fstimedelta id_ejtimedelta id_fetimedelta id_dvtimedelta id_extimedelta id_fltimedelta - observedtimedelta
str__thomas str__patricia str__et str__cv str__christopher str__dl str__r str__william str__bp str__richard str__dp str__ea str__f str__bc str__bw str__bk str__james str__cu str__fp str__bo str__n str__v str__cy str__barbara str__margaret str__fx str__cj str__daniel str__ev str__dorothy str__u str__fw str__dc str__j str__ef str__dg str__gd str__fa str__cm str__eu str__bx str__fv str__nancy str__linda str__michael str__gc str__bd str__joseph str__dt str__q str__em str__eg str__bs str__alpha str__bh str__fj str__cn str__en str__cr str__bt str__cq str__dk str__bl str__m str__cb str__dz str__z str__fq str__david str__robert str__fc str__fo str__charles str__mary str__y str__lisa str__cz str__fb str__gg str__do str__e str__b str__john str__eh str__cf str__jennifer str__ce str__dh str__i str__dy str__fh str__dd str__ds str__fi str__eo str__ci str__susan str__ge str__bg str__maria str__elizabeth str__ca - string
id_gsshare id_gqshare id_gvshare id_grshare id_gushare id_gxshare id_gwshare id_gtshare id_gyshare - observedshare
id_ldomaincredential id_chdomaincredential id_dbdomaincredential id_bvdomaincredential id_cpdomaincredential id_cxdomaincredential id_dndomaincredential id_xdomaincredential id_cddomaincredential id_bndomaincredential id_brdomaincredential id_ddomaincredential id_bfdomaincredential id_ctdomaincredential id_bbdomaincredential id_bjdomaincredential id_pdomaincredential id_hdomaincredential id_dfdomaincredential id_bzdomaincredential id_cldomaincredential id_tdomaincredential id_djdomaincredential id_drdomaincredential - observeddomaincredential
id_fkhost id_duhost id_eihost id_frhost id_fdhost id_fyhost id_ebhost id_ewhost id_ephost - observedhost
num__149 num__157 num__100 num__156 num__114 num__143 num__101 num__121 num__135 num__115 num__107 num__128 num__108 num__136 num__142 num__122 num__150 num__129 - num
id_badomainuser id_bidomainuser id_didomainuser id_gdomainuser id_bedomainuser id_dqdomainuser id_cwdomainuser id_budomainuser id_dmdomainuser id_csdomainuser id_cdomainuser id_wdomainuser id_codomainuser id_bmdomainuser id_ccdomainuser id_cgdomainuser id_dadomainuser id_ckdomainuser id_kdomainuser id_dedomainuser id_sdomainuser id_odomainuser id_bqdomainuser id_bydomainuser - observeddomainuser
id_hhschtask id_hdschtask id_gzschtask id_hcschtask id_haschtask id_heschtask id_hgschtask id_hfschtask id_hbschtask - observedschtask
)
(:init
(knows id_ephost)
(knows id_gfrat)
(knows_property id_ephost pfqdn)
(knows_property id_gfrat pexecutable)
(knows_property id_gfrat phost)
(MEM_CACHED_DOMAIN_CREDS id_duhost id_bbdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_duhost id_cddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_duhost id_ctdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_duhost id_ldomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_ebhost id_bzdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_ebhost id_dfdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_ebhost id_hdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_ebhost id_ldomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_eihost id_cxdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_eihost id_ddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_eihost id_dbdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_eihost id_xdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_ephost id_cxdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_ephost id_dfdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_ephost id_dndomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_ephost id_drdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_ewhost id_bzdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_ewhost id_cddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_ewhost id_ctdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_ewhost id_dfdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_fdhost id_bndomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_fdhost id_dbdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_fdhost id_dndomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_fdhost id_hdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_fkhost id_bjdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_fkhost id_chdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_fkhost id_dfdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_fkhost id_xdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_frhost id_bjdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_frhost id_cpdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_frhost id_hdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_frhost id_xdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_fyhost id_cddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_fyhost id_cldomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_fyhost id_dbdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_fyhost id_xdomaincredential)
(MEM_DOMAIN_USER_ADMINS id_duhost id_ccdomainuser)
(MEM_DOMAIN_USER_ADMINS id_duhost id_csdomainuser)
(MEM_DOMAIN_USER_ADMINS id_ebhost id_badomainuser)
(MEM_DOMAIN_USER_ADMINS id_ebhost id_dedomainuser)
(MEM_DOMAIN_USER_ADMINS id_eihost id_ckdomainuser)
(MEM_DOMAIN_USER_ADMINS id_eihost id_dedomainuser)
(MEM_DOMAIN_USER_ADMINS id_ephost id_codomainuser)
(MEM_DOMAIN_USER_ADMINS id_ephost id_wdomainuser)
(MEM_DOMAIN_USER_ADMINS id_ewhost id_cgdomainuser)
(MEM_DOMAIN_USER_ADMINS id_ewhost id_codomainuser)
(MEM_DOMAIN_USER_ADMINS id_fdhost id_budomainuser)
(MEM_DOMAIN_USER_ADMINS id_fdhost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_fkhost id_bidomainuser)
(MEM_DOMAIN_USER_ADMINS id_fkhost id_dedomainuser)
(MEM_DOMAIN_USER_ADMINS id_frhost id_badomainuser)
(MEM_DOMAIN_USER_ADMINS id_frhost id_dmdomainuser)
(MEM_DOMAIN_USER_ADMINS id_fyhost id_csdomainuser)
(MEM_DOMAIN_USER_ADMINS id_fyhost id_sdomainuser)
(mem_hosts id_adomain id_duhost)
(mem_hosts id_adomain id_ebhost)
(mem_hosts id_adomain id_eihost)
(mem_hosts id_adomain id_ephost)
(mem_hosts id_adomain id_ewhost)
(mem_hosts id_adomain id_fdhost)
(mem_hosts id_adomain id_fkhost)
(mem_hosts id_adomain id_frhost)
(mem_hosts id_adomain id_fyhost)
(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_dedomainuser id_dfdomaincredential)
(prop_cred id_didomainuser id_djdomaincredential)
(prop_cred id_dmdomainuser id_dndomaincredential)
(prop_cred id_dqdomainuser id_drdomaincredential)
(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_duhost no)
(PROP_DC id_ebhost no)
(PROP_DC id_eihost yes)
(PROP_DC id_ephost no)
(PROP_DC id_ewhost no)
(PROP_DC id_fdhost no)
(PROP_DC id_fkhost no)
(PROP_DC id_frhost no)
(PROP_DC id_fyhost no)
(PROP_DNS_DOMAIN id_adomain str__b)
(PROP_DNS_DOMAIN_NAME id_duhost str__dy)
(PROP_DNS_DOMAIN_NAME id_ebhost str__ef)
(PROP_DNS_DOMAIN_NAME id_eihost str__em)
(PROP_DNS_DOMAIN_NAME id_ephost str__et)
(PROP_DNS_DOMAIN_NAME id_ewhost str__fa)
(PROP_DNS_DOMAIN_NAME id_fdhost str__fh)
(PROP_DNS_DOMAIN_NAME id_fkhost str__fo)
(PROP_DNS_DOMAIN_NAME id_frhost str__fv)
(PROP_DNS_DOMAIN_NAME id_fyhost str__gc)
(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_dedomainuser id_adomain)
(PROP_DOMAIN id_dfdomaincredential id_adomain)
(PROP_DOMAIN id_didomainuser id_adomain)
(PROP_DOMAIN id_djdomaincredential id_adomain)
(PROP_DOMAIN id_dmdomainuser id_adomain)
(PROP_DOMAIN id_dndomaincredential id_adomain)
(PROP_DOMAIN id_dqdomainuser id_adomain)
(PROP_DOMAIN id_drdomaincredential id_adomain)
(PROP_DOMAIN id_duhost id_adomain)
(PROP_DOMAIN id_ebhost id_adomain)
(PROP_DOMAIN id_eihost id_adomain)
(PROP_DOMAIN id_ephost id_adomain)
(PROP_DOMAIN id_ewhost id_adomain)
(PROP_DOMAIN id_fdhost id_adomain)
(PROP_DOMAIN id_fkhost id_adomain)
(PROP_DOMAIN id_frhost id_adomain)
(PROP_DOMAIN id_fyhost 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_gfrat yes)
(prop_executable id_gfrat str__gg)
(PROP_FQDN id_duhost str__ea)
(PROP_FQDN id_ebhost str__eh)
(PROP_FQDN id_eihost str__eo)
(PROP_FQDN id_ephost str__ev)
(PROP_FQDN id_ewhost str__fc)
(PROP_FQDN id_fdhost str__fj)
(PROP_FQDN id_fkhost str__fq)
(PROP_FQDN id_frhost str__fx)
(PROP_FQDN id_fyhost str__ge)
(prop_host id_dvtimedelta id_duhost)
(prop_host id_ectimedelta id_ebhost)
(prop_host id_ejtimedelta id_eihost)
(prop_host id_eqtimedelta id_ephost)
(prop_host id_extimedelta id_ewhost)
(prop_host id_fetimedelta id_fdhost)
(prop_host id_fltimedelta id_fkhost)
(prop_host id_fstimedelta id_frhost)
(prop_host id_fztimedelta id_fyhost)
(prop_host id_gfrat id_ephost)
(PROP_HOSTNAME id_duhost str__dz)
(PROP_HOSTNAME id_ebhost str__eg)
(PROP_HOSTNAME id_eihost str__en)
(PROP_HOSTNAME id_ephost str__eu)
(PROP_HOSTNAME id_ewhost str__fb)
(PROP_HOSTNAME id_fdhost str__fi)
(PROP_HOSTNAME id_fkhost str__fp)
(PROP_HOSTNAME id_frhost str__fw)
(PROP_HOSTNAME id_fyhost str__gd)
(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_dedomainuser no)
(PROP_IS_GROUP id_didomainuser no)
(PROP_IS_GROUP id_dmdomainuser no)
(PROP_IS_GROUP id_dqdomainuser 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_dvtimedelta num__100)
(PROP_MICROSECONDS id_ectimedelta num__107)
(PROP_MICROSECONDS id_ejtimedelta num__114)
(PROP_MICROSECONDS id_eqtimedelta num__121)
(PROP_MICROSECONDS id_extimedelta num__128)
(PROP_MICROSECONDS id_fetimedelta num__135)
(PROP_MICROSECONDS id_fltimedelta num__142)
(PROP_MICROSECONDS id_fstimedelta num__149)
(PROP_MICROSECONDS id_fztimedelta num__156)
(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_dfdomaincredential str__dg)
(PROP_PASSWORD id_djdomaincredential str__dk)
(PROP_PASSWORD id_dndomaincredential str__do)
(PROP_PASSWORD id_drdomaincredential str__ds)
(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_dvtimedelta num__101)
(PROP_SECONDS id_ectimedelta num__108)
(PROP_SECONDS id_ejtimedelta num__115)
(PROP_SECONDS id_eqtimedelta num__122)
(PROP_SECONDS id_extimedelta num__129)
(PROP_SECONDS id_fetimedelta num__136)
(PROP_SECONDS id_fltimedelta num__143)
(PROP_SECONDS id_fstimedelta num__150)
(PROP_SECONDS id_fztimedelta num__157)
(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_dedomainuser str__dh)
(PROP_SID id_didomainuser str__dl)
(PROP_SID id_dmdomainuser str__dp)
(PROP_SID id_dqdomainuser str__dt)
(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_duhost id_dvtimedelta)
(PROP_TIMEDELTA id_ebhost id_ectimedelta)
(PROP_TIMEDELTA id_eihost id_ejtimedelta)
(PROP_TIMEDELTA id_ephost id_eqtimedelta)
(PROP_TIMEDELTA id_ewhost id_extimedelta)
(PROP_TIMEDELTA id_fdhost id_fetimedelta)
(PROP_TIMEDELTA id_fkhost id_fltimedelta)
(PROP_TIMEDELTA id_frhost id_fstimedelta)
(PROP_TIMEDELTA id_fyhost id_fztimedelta)
(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_dfdomaincredential id_dedomainuser)
(PROP_USER id_djdomaincredential id_didomainuser)
(PROP_USER id_dndomaincredential id_dmdomainuser)
(PROP_USER id_drdomaincredential id_dqdomainuser)
(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_dedomainuser str__christopher)
(PROP_USERNAME id_didomainuser str__lisa)
(PROP_USERNAME id_dmdomainuser str__daniel)
(PROP_USERNAME id_dqdomainuser str__nancy)
(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)
)
(:goal
(and
(prop_host id_hirat id_ewhost)
(prop_host id_hnrat id_fkhost)
(prop_host id_horat id_duhost)
(prop_host id_hqrat id_eihost)
(prop_host id_hprat id_frhost)
(prop_host id_hmrat id_fdhost)
(prop_host id_hlrat id_fyhost)
(prop_host id_hjrat id_ebhost)
)
)
)