forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p19.pddl
211 lines (211 loc) · 7.13 KB
/
p19.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
(define (problem p6_hosts_trial_2)
(:domain caldera-split)
(:objects
id_hdomaincredential - observeddomaincredential
id_ddomaincredential - observeddomaincredential
id_carat - observedrat
id_cerat - observedrat
id_chrat - observedrat
id_cdrat - observedrat
id_cgrat - observedrat
id_cfrat - observedrat
id_ccrat - observedrat
id_bntimedelta - observedtimedelta
id_ztimedelta - observedtimedelta
id_stimedelta - observedtimedelta
id_butimedelta - observedtimedelta
id_bgtimedelta - observedtimedelta
id_ltimedelta - observedtimedelta
str__f - string
str__b - string
str__mary - string
str__j - string
str__bj - string
str__bz - string
str__bs - string
str__q - string
str__br - string
str__x - string
str__cb - string
str__w - string
str__bd - string
str__p - string
str__o - string
str__e - string
str__bc - string
str__by - string
str__bk - string
str__alpha - string
str__james - string
str__bq - string
str__be - string
str__i - string
str__bx - string
str__v - string
str__bl - string
id_rhost - observedhost
id_bthost - observedhost
id_khost - observedhost
id_yhost - observedhost
id_bmhost - observedhost
id_bfhost - observedhost
id_cdomainuser - observeddomainuser
id_gdomainuser - observeddomainuser
num__19 - num
num__34 - num
num__47 - num
num__20 - num
num__27 - num
num__12 - num
num__48 - num
num__13 - num
num__41 - num
num__33 - num
num__26 - num
num__40 - num
id_cjschtask - observedschtask
id_cmschtask - observedschtask
id_cnschtask - observedschtask
id_ckschtask - observedschtask
id_clschtask - observedschtask
id_cischtask - observedschtask
id_crfile - observedfile
id_ctfile - observedfile
id_cpfile - observedfile
id_csfile - observedfile
id_cqfile - observedfile
id_cofile - observedfile
id_adomain - observeddomain
id_czshare - observedshare
id_cxshare - observedshare
id_cvshare - observedshare
id_cyshare - observedshare
id_cwshare - observedshare
id_cushare - observedshare
)
(:init
(knows id_bfhost)
(knows id_carat)
(knows_property id_bfhost pfqdn)
(knows_property id_carat pexecutable)
(knows_property id_carat phost)
(MEM_CACHED_DOMAIN_CREDS id_bfhost id_ddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bfhost id_hdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bmhost id_ddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bmhost id_hdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bthost id_ddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bthost id_hdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_khost id_ddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_khost id_hdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_rhost id_ddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_rhost id_hdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_yhost id_ddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_yhost id_hdomaincredential)
(MEM_DOMAIN_USER_ADMINS id_bfhost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bfhost id_gdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bmhost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bmhost id_gdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bthost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bthost id_gdomainuser)
(MEM_DOMAIN_USER_ADMINS id_khost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_khost id_gdomainuser)
(MEM_DOMAIN_USER_ADMINS id_rhost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_rhost id_gdomainuser)
(MEM_DOMAIN_USER_ADMINS id_yhost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_yhost id_gdomainuser)
(mem_hosts id_adomain id_bfhost)
(mem_hosts id_adomain id_bmhost)
(mem_hosts id_adomain id_bthost)
(mem_hosts id_adomain id_khost)
(mem_hosts id_adomain id_rhost)
(mem_hosts id_adomain id_yhost)
(prop_cred id_cdomainuser id_ddomaincredential)
(prop_cred id_gdomainuser id_hdomaincredential)
(PROP_DC id_bfhost yes)
(PROP_DC id_bmhost no)
(PROP_DC id_bthost no)
(PROP_DC id_khost no)
(PROP_DC id_rhost no)
(PROP_DC id_yhost no)
(PROP_DNS_DOMAIN id_adomain str__b)
(PROP_DNS_DOMAIN_NAME id_bfhost str__bl)
(PROP_DNS_DOMAIN_NAME id_bmhost str__bs)
(PROP_DNS_DOMAIN_NAME id_bthost str__bz)
(PROP_DNS_DOMAIN_NAME id_khost str__q)
(PROP_DNS_DOMAIN_NAME id_rhost str__x)
(PROP_DNS_DOMAIN_NAME id_yhost str__be)
(PROP_DOMAIN id_bfhost id_adomain)
(PROP_DOMAIN id_bmhost id_adomain)
(PROP_DOMAIN id_bthost 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_khost id_adomain)
(PROP_DOMAIN id_rhost id_adomain)
(PROP_DOMAIN id_yhost id_adomain)
(prop_elevated id_carat yes)
(prop_executable id_carat str__cb)
(PROP_FQDN id_bfhost str__bk)
(PROP_FQDN id_bmhost str__br)
(PROP_FQDN id_bthost str__by)
(PROP_FQDN id_khost str__p)
(PROP_FQDN id_rhost str__w)
(PROP_FQDN id_yhost str__bd)
(prop_host id_bgtimedelta id_bfhost)
(prop_host id_bntimedelta id_bmhost)
(prop_host id_butimedelta id_bthost)
(prop_host id_carat id_bfhost)
(prop_host id_ltimedelta id_khost)
(prop_host id_stimedelta id_rhost)
(prop_host id_ztimedelta id_yhost)
(PROP_HOSTNAME id_bfhost str__bj)
(PROP_HOSTNAME id_bmhost str__bq)
(PROP_HOSTNAME id_bthost str__bx)
(PROP_HOSTNAME id_khost str__o)
(PROP_HOSTNAME id_rhost str__v)
(PROP_HOSTNAME id_yhost str__bc)
(PROP_IS_GROUP id_cdomainuser no)
(PROP_IS_GROUP id_gdomainuser no)
(PROP_MICROSECONDS id_bgtimedelta num__34)
(PROP_MICROSECONDS id_bntimedelta num__41)
(PROP_MICROSECONDS id_butimedelta num__48)
(PROP_MICROSECONDS id_ltimedelta num__13)
(PROP_MICROSECONDS id_stimedelta num__20)
(PROP_MICROSECONDS id_ztimedelta num__27)
(PROP_PASSWORD id_ddomaincredential str__e)
(PROP_PASSWORD id_hdomaincredential str__i)
(PROP_SECONDS id_bgtimedelta num__33)
(PROP_SECONDS id_bntimedelta num__40)
(PROP_SECONDS id_butimedelta num__47)
(PROP_SECONDS id_ltimedelta num__12)
(PROP_SECONDS id_stimedelta num__19)
(PROP_SECONDS id_ztimedelta num__26)
(PROP_SID id_cdomainuser str__f)
(PROP_SID id_gdomainuser str__j)
(PROP_TIMEDELTA id_bfhost id_bgtimedelta)
(PROP_TIMEDELTA id_bmhost id_bntimedelta)
(PROP_TIMEDELTA id_bthost id_butimedelta)
(PROP_TIMEDELTA id_khost id_ltimedelta)
(PROP_TIMEDELTA id_rhost id_stimedelta)
(PROP_TIMEDELTA id_yhost id_ztimedelta)
(PROP_USER id_ddomaincredential id_cdomainuser)
(PROP_USER id_hdomaincredential id_gdomainuser)
(PROP_USERNAME id_cdomainuser str__james)
(PROP_USERNAME id_gdomainuser str__mary)
(PROP_WINDOWS_DOMAIN id_adomain str__alpha)
(procnone)
(= (total-cost) 0)
)
(:goal
(and
(procnone)
(prop_host id_cgrat id_bmhost)
(prop_host id_cdrat id_bthost)
(prop_host id_cerat id_khost)
(prop_host id_ccrat id_rhost)
(prop_host id_chrat id_yhost)
)
)
(:metric minimize (total-cost))
)