forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathp14.pddl
289 lines (289 loc) · 10.4 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
(define (problem p5_hosts_trial_15)
(:domain caldera-split)
(:objects
id_deschtask - observedschtask
id_dbschtask - observedschtask
id_dcschtask - observedschtask
id_dfschtask - observedschtask
id_ddschtask - observedschtask
num__52 - num
num__44 - num
num__59 - num
num__45 - num
num__66 - num
num__58 - num
num__73 - num
num__65 - num
num__51 - num
num__72 - num
id_pdomaincredential - observeddomaincredential
id_ddomaincredential - observeddomaincredential
id_bjdomaincredential - observeddomaincredential
id_bndomaincredential - observeddomaincredential
id_ldomaincredential - observeddomaincredential
id_hdomaincredential - observeddomaincredential
id_xdomaincredential - observeddomaincredential
id_bbdomaincredential - observeddomaincredential
id_tdomaincredential - observeddomaincredential
id_bfdomaincredential - observeddomaincredential
id_dhfile - observedfile
id_dgfile - observedfile
id_difile - observedfile
id_dkfile - observedfile
id_djfile - observedfile
id_bytimedelta - observedtimedelta
id_cmtimedelta - observedtimedelta
id_cftimedelta - observedtimedelta
id_brtimedelta - observedtimedelta
id_cttimedelta - observedtimedelta
id_adomain - observeddomain
str__e - string
str__y - string
str__robert - string
str__cw - string
str__j - string
str__john - string
str__n - string
str__q - string
str__u - string
str__v - string
str__bh - string
str__william - string
str__cx - string
str__cc - string
str__bu - string
str__ci - string
str__michael - string
str__r - string
str__da - string
str__cj - string
str__bo - string
str__m - string
str__bc - string
str__bl - string
str__patricia - string
str__james - string
str__ck - string
str__linda - string
str__mary - string
str__elizabeth - string
str__cd - string
str__f - string
str__bp - string
str__bd - string
str__cr - string
str__bg - string
str__cp - string
str__cy - string
str__z - string
str__i - string
str__bv - string
str__bw - string
str__cq - string
str__b - string
str__cb - string
str__barbara - string
str__alpha - string
str__bk - string
id_dnshare - observedshare
id_dpshare - observedshare
id_dmshare - observedshare
id_doshare - observedshare
id_dlshare - observedshare
id_cehost - observedhost
id_clhost - observedhost
id_bxhost - observedhost
id_bqhost - observedhost
id_cshost - observedhost
id_sdomainuser - observeddomainuser
id_bmdomainuser - observeddomainuser
id_wdomainuser - observeddomainuser
id_badomainuser - observeddomainuser
id_kdomainuser - observeddomainuser
id_cdomainuser - observeddomainuser
id_gdomainuser - observeddomainuser
id_odomainuser - observeddomainuser
id_bedomainuser - observeddomainuser
id_bidomainuser - observeddomainuser
id_dsrat - observedrat
id_durat - observedrat
id_drrat - observedrat
id_dtrat - observedrat
id_dqrat - observedrat
id_czrat - observedrat
)
(:init
(knows id_bqhost)
(knows id_czrat)
(knows_property id_bqhost pfqdn)
(knows_property id_czrat pexecutable)
(knows_property id_czrat phost)
(MEM_CACHED_DOMAIN_CREDS id_bqhost id_ddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bqhost id_tdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bxhost id_bbdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bxhost id_ldomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_cehost id_ddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_cehost id_xdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_clhost id_ldomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_clhost id_pdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_cshost id_ldomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_cshost id_pdomaincredential)
(MEM_DOMAIN_USER_ADMINS id_bqhost id_bidomainuser)
(MEM_DOMAIN_USER_ADMINS id_bqhost id_bmdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bxhost id_bidomainuser)
(MEM_DOMAIN_USER_ADMINS id_bxhost id_wdomainuser)
(MEM_DOMAIN_USER_ADMINS id_cehost id_bedomainuser)
(MEM_DOMAIN_USER_ADMINS id_cehost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_clhost id_odomainuser)
(MEM_DOMAIN_USER_ADMINS id_clhost id_sdomainuser)
(MEM_DOMAIN_USER_ADMINS id_cshost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_cshost id_sdomainuser)
(mem_hosts id_adomain id_bqhost)
(mem_hosts id_adomain id_bxhost)
(mem_hosts id_adomain id_cehost)
(mem_hosts id_adomain id_clhost)
(mem_hosts id_adomain id_cshost)
(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_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_bqhost no)
(PROP_DC id_bxhost yes)
(PROP_DC id_cehost no)
(PROP_DC id_clhost no)
(PROP_DC id_cshost no)
(PROP_DNS_DOMAIN id_adomain str__b)
(PROP_DNS_DOMAIN_NAME id_bqhost str__bw)
(PROP_DNS_DOMAIN_NAME id_bxhost str__cd)
(PROP_DNS_DOMAIN_NAME id_cehost str__ck)
(PROP_DNS_DOMAIN_NAME id_clhost str__cr)
(PROP_DNS_DOMAIN_NAME id_cshost str__cy)
(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_bqhost id_adomain)
(PROP_DOMAIN id_bxhost id_adomain)
(PROP_DOMAIN id_cdomainuser id_adomain)
(PROP_DOMAIN id_cehost id_adomain)
(PROP_DOMAIN id_clhost id_adomain)
(PROP_DOMAIN id_cshost 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_czrat yes)
(prop_executable id_czrat str__da)
(PROP_FQDN id_bqhost str__bu)
(PROP_FQDN id_bxhost str__cb)
(PROP_FQDN id_cehost str__ci)
(PROP_FQDN id_clhost str__cp)
(PROP_FQDN id_cshost str__cw)
(prop_host id_brtimedelta id_bqhost)
(prop_host id_bytimedelta id_bxhost)
(prop_host id_cftimedelta id_cehost)
(prop_host id_cmtimedelta id_clhost)
(prop_host id_cttimedelta id_cshost)
(prop_host id_czrat id_bqhost)
(PROP_HOSTNAME id_bqhost str__bv)
(PROP_HOSTNAME id_bxhost str__cc)
(PROP_HOSTNAME id_cehost str__cj)
(PROP_HOSTNAME id_clhost str__cq)
(PROP_HOSTNAME id_cshost str__cx)
(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_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_brtimedelta num__44)
(PROP_MICROSECONDS id_bytimedelta num__51)
(PROP_MICROSECONDS id_cftimedelta num__58)
(PROP_MICROSECONDS id_cmtimedelta num__65)
(PROP_MICROSECONDS id_cttimedelta num__72)
(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_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_brtimedelta num__45)
(PROP_SECONDS id_bytimedelta num__52)
(PROP_SECONDS id_cftimedelta num__59)
(PROP_SECONDS id_cmtimedelta num__66)
(PROP_SECONDS id_cttimedelta num__73)
(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_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_bqhost id_brtimedelta)
(PROP_TIMEDELTA id_bxhost id_bytimedelta)
(PROP_TIMEDELTA id_cehost id_cftimedelta)
(PROP_TIMEDELTA id_clhost id_cmtimedelta)
(PROP_TIMEDELTA id_cshost id_cttimedelta)
(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_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_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_durat id_bxhost)
(prop_host id_dqrat id_clhost)
(prop_host id_dsrat id_cehost)
(prop_host id_dtrat id_cshost)
)
)
(:metric minimize (total-cost))
)