forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathp08.pddl
179 lines (179 loc) · 6.13 KB
/
p08.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
(define (problem p3_hosts_trial_16)
(:domain caldera-split)
(:objects
id_bitimedelta - observedtimedelta
id_bbtimedelta - observedtimedelta
id_bptimedelta - observedtimedelta
id_cdfile - observedfile
id_cefile - observedfile
id_cffile - observedfile
id_cashare - observedshare
id_cbshare - observedshare
id_ccshare - observedshare
id_kdomainuser - observeddomainuser
id_gdomainuser - observeddomainuser
id_wdomainuser - observeddomainuser
id_odomainuser - observeddomainuser
id_cdomainuser - observeddomainuser
id_sdomainuser - observeddomainuser
str__q - string
str__bs - string
str__bf - string
str__bw - string
str__bt - string
str__r - string
str__bu - string
str__i - string
str__v - string
str__u - string
str__f - string
str__bm - string
str__linda - string
str__bl - string
str__b - string
str__john - string
str__e - string
str__be - string
str__bn - string
str__mary - string
str__robert - string
str__j - string
str__bg - string
str__alpha - string
str__patricia - string
str__m - string
str__y - string
str__james - string
str__n - string
str__z - string
id_cgschtask - observedschtask
id_chschtask - observedschtask
id_cischtask - observedschtask
id_byrat - observedrat
id_bzrat - observedrat
id_bxrat - observedrat
id_bvrat - observedrat
id_bhhost - observedhost
id_bohost - observedhost
id_bahost - observedhost
num__42 - num
num__43 - num
num__36 - num
num__29 - num
num__28 - num
num__35 - num
id_adomain - observeddomain
id_tdomaincredential - observeddomaincredential
id_hdomaincredential - observeddomaincredential
id_ddomaincredential - observeddomaincredential
id_xdomaincredential - observeddomaincredential
id_ldomaincredential - observeddomaincredential
id_pdomaincredential - observeddomaincredential
)
(:init
(knows id_bhhost)
(knows id_bvrat)
(knows_property id_bhhost pfqdn)
(knows_property id_bvrat pexecutable)
(knows_property id_bvrat phost)
(MEM_CACHED_DOMAIN_CREDS id_bahost id_tdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bhhost id_xdomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_bohost id_ddomaincredential)
(MEM_DOMAIN_USER_ADMINS id_bahost id_wdomainuser)
(MEM_DOMAIN_USER_ADMINS id_bhhost id_odomainuser)
(MEM_DOMAIN_USER_ADMINS id_bohost id_sdomainuser)
(mem_hosts id_adomain id_bahost)
(mem_hosts id_adomain id_bhhost)
(mem_hosts id_adomain id_bohost)
(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_bahost no)
(PROP_DC id_bhhost yes)
(PROP_DC id_bohost no)
(PROP_DNS_DOMAIN id_adomain str__b)
(PROP_DNS_DOMAIN_NAME id_bahost str__be)
(PROP_DNS_DOMAIN_NAME id_bhhost str__bl)
(PROP_DNS_DOMAIN_NAME id_bohost str__bs)
(PROP_DOMAIN id_bahost id_adomain)
(PROP_DOMAIN id_bhhost id_adomain)
(PROP_DOMAIN id_bohost 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_wdomainuser id_adomain)
(PROP_DOMAIN id_xdomaincredential id_adomain)
(prop_elevated id_bvrat yes)
(prop_executable id_bvrat str__bw)
(PROP_FQDN id_bahost str__bg)
(PROP_FQDN id_bhhost str__bn)
(PROP_FQDN id_bohost str__bu)
(prop_host id_bbtimedelta id_bahost)
(prop_host id_bitimedelta id_bhhost)
(prop_host id_bptimedelta id_bohost)
(prop_host id_bvrat id_bhhost)
(PROP_HOSTNAME id_bahost str__bf)
(PROP_HOSTNAME id_bhhost str__bm)
(PROP_HOSTNAME id_bohost str__bt)
(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_bbtimedelta num__28)
(PROP_MICROSECONDS id_bitimedelta num__35)
(PROP_MICROSECONDS id_bptimedelta num__42)
(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_bbtimedelta num__29)
(PROP_SECONDS id_bitimedelta num__36)
(PROP_SECONDS id_bptimedelta num__43)
(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_bahost id_bbtimedelta)
(PROP_TIMEDELTA id_bhhost id_bitimedelta)
(PROP_TIMEDELTA id_bohost id_bptimedelta)
(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_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_byrat id_bohost)
(prop_host id_bxrat id_bahost)
)
)
(:metric minimize (total-cost))
)