forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p04.pddl
162 lines (162 loc) · 7.6 KB
/
p04.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
;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 4 hosts, 8 user, 3 admin per host, 2 active account per host
(define (problem p4_hosts_trial_12)
(:domain caldera)
(:objects
id_wdomainuser id_kdomainuser id_sdomainuser id_badomainuser id_odomainuser id_cdomainuser id_bedomainuser id_gdomainuser - observeddomainuser
id_xdomaincredential id_tdomaincredential id_pdomaincredential id_ddomaincredential id_bbdomaincredential id_ldomaincredential id_bfdomaincredential id_hdomaincredential - observeddomaincredential
id_adomain - observeddomain
num__36 num__58 num__57 num__37 num__50 num__44 num__43 num__51 - num
id_bihost id_bwhost id_cdhost id_bphost - observedhost
id_cufile id_cwfile id_cvfile id_cxfile - observedfile
id_csrat id_ctrat id_cqrat id_crrat id_ckrat - observedrat
str__james str__u str__mary str__b str__bc str__bo str__cb str__ca str__barbara str__robert str__r str__cl str__e str__q str__cc str__cj str__linda str__patricia str__n str__bd str__m str__bg str__alpha str__ci str__bt str__ch str__bv str__v str__i str__bh str__z str__y str__john str__michael str__bm str__j str__bn str__f str__bu - string
id_cmshare id_coshare id_cnshare id_cpshare - observedshare
id_daschtask id_dbschtask id_czschtask id_cyschtask - observedschtask
id_cetimedelta id_bjtimedelta id_bqtimedelta id_bxtimedelta - observedtimedelta
)
(:init
(knows id_cdhost)
(knows id_ckrat)
(knows_property id_cdhost pfqdn)
(knows_property id_ckrat pexecutable)
(knows_property id_ckrat phost)
(MEM_CACHED_DOMAIN_CREDS id_bihost id_ddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bihost id_ldomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bphost id_bbdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bphost id_tdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bwhost id_bfdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bwhost id_pdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_cdhost id_pdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_cdhost id_xdomaincredential)
(MEM_DOMAIN_USER_ADMINS id_bihost id_badomainuser)
(MEM_DOMAIN_USER_ADMINS id_bihost id_bedomainuser)
(MEM_DOMAIN_USER_ADMINS id_bihost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bphost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bphost id_gdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bphost id_wdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bwhost id_bedomainuser)
(MEM_DOMAIN_USER_ADMINS id_bwhost id_sdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bwhost id_wdomainuser)
(MEM_DOMAIN_USER_ADMINS id_cdhost id_gdomainuser)
(MEM_DOMAIN_USER_ADMINS id_cdhost id_kdomainuser)
(MEM_DOMAIN_USER_ADMINS id_cdhost id_sdomainuser)
(mem_hosts id_adomain id_bihost)
(mem_hosts id_adomain id_bphost)
(mem_hosts id_adomain id_bwhost)
(mem_hosts id_adomain id_cdhost)
(prop_cred id_badomainuser id_bbdomaincredential)
(prop_cred id_bedomainuser id_bfdomaincredential)
(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_bihost no)
(PROP_DC id_bphost no)
(PROP_DC id_bwhost no)
(PROP_DC id_cdhost no)
(PROP_DNS_DOMAIN id_adomain str__b)
(PROP_DNS_DOMAIN_NAME id_bihost str__bn)
(PROP_DNS_DOMAIN_NAME id_bphost str__bu)
(PROP_DNS_DOMAIN_NAME id_bwhost str__cb)
(PROP_DNS_DOMAIN_NAME id_cdhost str__ci)
(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_bihost id_adomain)
(PROP_DOMAIN id_bphost id_adomain)
(PROP_DOMAIN id_bwhost id_adomain)
(PROP_DOMAIN id_cdomainuser id_adomain)
(PROP_DOMAIN id_cdhost id_adomain)
(PROP_DOMAIN id_ddomaincredential 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_ckrat yes)
(prop_executable id_ckrat str__cl)
(PROP_FQDN id_bihost str__bm)
(PROP_FQDN id_bphost str__bt)
(PROP_FQDN id_bwhost str__ca)
(PROP_FQDN id_cdhost str__ch)
(prop_host id_bjtimedelta id_bihost)
(prop_host id_bqtimedelta id_bphost)
(prop_host id_bxtimedelta id_bwhost)
(prop_host id_cetimedelta id_cdhost)
(prop_host id_ckrat id_cdhost)
(PROP_HOSTNAME id_bihost str__bo)
(PROP_HOSTNAME id_bphost str__bv)
(PROP_HOSTNAME id_bwhost str__cc)
(PROP_HOSTNAME id_cdhost str__cj)
(PROP_IS_GROUP id_badomainuser no)
(PROP_IS_GROUP id_bedomainuser 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_bjtimedelta num__36)
(PROP_MICROSECONDS id_bqtimedelta num__43)
(PROP_MICROSECONDS id_bxtimedelta num__50)
(PROP_MICROSECONDS id_cetimedelta num__57)
(PROP_PASSWORD id_bbdomaincredential str__bc)
(PROP_PASSWORD id_bfdomaincredential str__bg)
(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_bjtimedelta num__37)
(PROP_SECONDS id_bqtimedelta num__44)
(PROP_SECONDS id_bxtimedelta num__51)
(PROP_SECONDS id_cetimedelta num__58)
(PROP_SID id_badomainuser str__bd)
(PROP_SID id_bedomainuser str__bh)
(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_bihost id_bjtimedelta)
(PROP_TIMEDELTA id_bphost id_bqtimedelta)
(PROP_TIMEDELTA id_bwhost id_bxtimedelta)
(PROP_TIMEDELTA id_cdhost id_cetimedelta)
(PROP_USER id_bbdomaincredential id_badomainuser)
(PROP_USER id_bfdomaincredential id_bedomainuser)
(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_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)
)
(:goal
(and
(prop_host id_crrat id_bphost)
(prop_host id_csrat id_bihost)
(prop_host id_ctrat id_bwhost)
)
)
)