forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p16.pddl
224 lines (224 loc) · 7.79 KB
/
p16.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
(define (problem p5_hosts_trial_4)
(:domain caldera-split)
(:objects
id_bstimedelta - observedtimedelta
id_betimedelta - observedtimedelta
id_bltimedelta - observedtimedelta
id_bztimedelta - observedtimedelta
id_xtimedelta - observedtimedelta
id_sdomainuser - observeddomainuser
id_kdomainuser - observeddomainuser
id_odomainuser - observeddomainuser
id_cdomainuser - observeddomainuser
id_gdomainuser - observeddomainuser
id_cwschtask - observedschtask
id_czschtask - observedschtask
id_daschtask - observedschtask
id_cxschtask - observedschtask
id_cyschtask - observedschtask
id_cpshare - observedshare
id_cnshare - observedshare
id_cqshare - observedshare
id_coshare - observedshare
id_cmshare - observedshare
id_csrat - observedrat
id_curat - observedrat
id_ctrat - observedrat
id_cvrat - observedrat
id_crrat - observedrat
id_cfrat - observedrat
id_tdomaincredential - observeddomaincredential
id_ddomaincredential - observeddomaincredential
id_hdomaincredential - observeddomaincredential
id_ldomaincredential - observeddomaincredential
id_pdomaincredential - observeddomaincredential
str__james - string
str__bh - string
str__john - string
str__mary - string
str__bx - string
str__r - string
str__ba - string
str__bp - string
str__bw - string
str__cd - string
str__i - string
str__u - string
str__bi - string
str__e - string
str__b - string
str__q - string
str__robert - string
str__m - string
str__v - string
str__bj - string
str__cc - string
str__ce - string
str__f - string
str__bc - string
str__alpha - string
str__bb - string
str__n - string
str__j - string
str__cg - string
str__bo - string
str__bq - string
str__patricia - string
str__bv - string
id_cjfile - observedfile
id_clfile - observedfile
id_chfile - observedfile
id_ckfile - observedfile
id_cifile - observedfile
id_brhost - observedhost
id_byhost - observedhost
id_whost - observedhost
id_bdhost - observedhost
id_bkhost - observedhost
id_adomain - observeddomain
num__53 - num
num__46 - num
num__39 - num
num__24 - num
num__38 - num
num__52 - num
num__32 - num
num__45 - num
num__25 - num
num__31 - num
)
(:init
(knows id_byhost)
(knows id_cfrat)
(knows_property id_byhost pfqdn)
(knows_property id_cfrat pexecutable)
(knows_property id_cfrat phost)
(MEM_CACHED_DOMAIN_CREDS id_bdhost id_hdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bdhost id_tdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bkhost id_pdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bkhost id_tdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_brhost id_hdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_brhost id_pdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_byhost id_ldomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_byhost id_tdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_whost id_hdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_whost id_ldomaincredential)
(MEM_DOMAIN_USER_ADMINS id_bdhost id_kdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bdhost id_sdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bkhost id_odomainuser)
(MEM_DOMAIN_USER_ADMINS id_bkhost id_sdomainuser)
(MEM_DOMAIN_USER_ADMINS id_brhost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_brhost id_sdomainuser)
(MEM_DOMAIN_USER_ADMINS id_byhost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_byhost id_gdomainuser)
(MEM_DOMAIN_USER_ADMINS id_whost id_odomainuser)
(MEM_DOMAIN_USER_ADMINS id_whost id_sdomainuser)
(mem_hosts id_adomain id_bdhost)
(mem_hosts id_adomain id_bkhost)
(mem_hosts id_adomain id_brhost)
(mem_hosts id_adomain id_byhost)
(mem_hosts id_adomain id_whost)
(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_DC id_bdhost yes)
(PROP_DC id_bkhost no)
(PROP_DC id_brhost no)
(PROP_DC id_byhost no)
(PROP_DC id_whost no)
(PROP_DNS_DOMAIN id_adomain str__b)
(PROP_DNS_DOMAIN_NAME id_bdhost str__bh)
(PROP_DNS_DOMAIN_NAME id_bkhost str__bo)
(PROP_DNS_DOMAIN_NAME id_brhost str__bv)
(PROP_DNS_DOMAIN_NAME id_byhost str__cc)
(PROP_DNS_DOMAIN_NAME id_whost str__ba)
(PROP_DOMAIN id_bdhost id_adomain)
(PROP_DOMAIN id_bkhost id_adomain)
(PROP_DOMAIN id_brhost id_adomain)
(PROP_DOMAIN id_byhost id_adomain)
(PROP_DOMAIN id_cdomainuser 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_whost id_adomain)
(prop_elevated id_cfrat yes)
(prop_executable id_cfrat str__cg)
(PROP_FQDN id_bdhost str__bi)
(PROP_FQDN id_bkhost str__bp)
(PROP_FQDN id_brhost str__bw)
(PROP_FQDN id_byhost str__cd)
(PROP_FQDN id_whost str__bb)
(prop_host id_betimedelta id_bdhost)
(prop_host id_bltimedelta id_bkhost)
(prop_host id_bstimedelta id_brhost)
(prop_host id_bztimedelta id_byhost)
(prop_host id_cfrat id_byhost)
(prop_host id_xtimedelta id_whost)
(PROP_HOSTNAME id_bdhost str__bj)
(PROP_HOSTNAME id_bkhost str__bq)
(PROP_HOSTNAME id_brhost str__bx)
(PROP_HOSTNAME id_byhost str__ce)
(PROP_HOSTNAME id_whost str__bc)
(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_MICROSECONDS id_betimedelta num__32)
(PROP_MICROSECONDS id_bltimedelta num__39)
(PROP_MICROSECONDS id_bstimedelta num__46)
(PROP_MICROSECONDS id_bztimedelta num__53)
(PROP_MICROSECONDS id_xtimedelta num__25)
(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_SECONDS id_betimedelta num__31)
(PROP_SECONDS id_bltimedelta num__38)
(PROP_SECONDS id_bstimedelta num__45)
(PROP_SECONDS id_bztimedelta num__52)
(PROP_SECONDS id_xtimedelta num__24)
(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_TIMEDELTA id_bdhost id_betimedelta)
(PROP_TIMEDELTA id_bkhost id_bltimedelta)
(PROP_TIMEDELTA id_brhost id_bstimedelta)
(PROP_TIMEDELTA id_byhost id_bztimedelta)
(PROP_TIMEDELTA id_whost id_xtimedelta)
(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_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_WINDOWS_DOMAIN id_adomain str__alpha)
(procnone)
(= (total-cost) 0)
)
(:goal
(and
(procnone)
(prop_host id_curat id_bdhost)
(prop_host id_ctrat id_whost)
(prop_host id_csrat id_brhost)
(prop_host id_cvrat id_bkhost)
)
)
(:metric minimize (total-cost))
)