forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathp01.pddl
131 lines (131 loc) · 4.35 KB
/
p01.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
(define (problem p2_hosts_trial_15)
(:domain caldera-split)
(:objects
num__21 - num
num__20 - num
num__28 - num
num__27 - num
id_ttimedelta - observedtimedelta
id_batimedelta - observedtimedelta
id_zhost - observedhost
id_shost - observedhost
id_ddomaincredential - observeddomaincredential
id_hdomaincredential - observeddomaincredential
id_pdomaincredential - observeddomaincredential
id_ldomaincredential - observeddomaincredential
str__bf - string
str__alpha - string
str__bd - string
str__j - string
str__r - string
str__w - string
str__f - string
str__y - string
str__patricia - string
str__mary - string
str__e - string
str__i - string
str__b - string
str__bh - string
str__q - string
str__m - string
str__n - string
str__be - string
str__james - string
str__john - string
str__x - string
id_bkshare - observedshare
id_blshare - observedshare
id_adomain - observeddomain
id_bgrat - observedrat
id_bjrat - observedrat
id_birat - observedrat
id_bmfile - observedfile
id_bnfile - observedfile
id_gdomainuser - observeddomainuser
id_cdomainuser - observeddomainuser
id_kdomainuser - observeddomainuser
id_odomainuser - observeddomainuser
id_boschtask - observedschtask
id_bpschtask - observedschtask
)
(:init
(knows id_bgrat)
(knows id_shost)
(knows_property id_bgrat pexecutable)
(knows_property id_bgrat phost)
(knows_property id_shost pfqdn)
(MEM_CACHED_DOMAIN_CREDS id_shost id_ddomaincredential)
(MEM_CACHED_DOMAIN_CREDS id_zhost id_pdomaincredential)
(MEM_DOMAIN_USER_ADMINS id_shost id_gdomainuser)
(MEM_DOMAIN_USER_ADMINS id_shost id_kdomainuser)
(MEM_DOMAIN_USER_ADMINS id_zhost id_cdomainuser)
(MEM_DOMAIN_USER_ADMINS id_zhost id_odomainuser)
(mem_hosts id_adomain id_shost)
(mem_hosts id_adomain id_zhost)
(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_DC id_shost no)
(PROP_DC id_zhost no)
(PROP_DNS_DOMAIN id_adomain str__b)
(PROP_DNS_DOMAIN_NAME id_shost str__y)
(PROP_DNS_DOMAIN_NAME id_zhost str__bf)
(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_shost id_adomain)
(PROP_DOMAIN id_zhost id_adomain)
(prop_elevated id_bgrat yes)
(prop_executable id_bgrat str__bh)
(PROP_FQDN id_shost str__w)
(PROP_FQDN id_zhost str__bd)
(prop_host id_batimedelta id_zhost)
(prop_host id_bgrat id_shost)
(prop_host id_ttimedelta id_shost)
(PROP_HOSTNAME id_shost str__x)
(PROP_HOSTNAME id_zhost str__be)
(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_MICROSECONDS id_batimedelta num__28)
(PROP_MICROSECONDS id_ttimedelta num__21)
(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_SECONDS id_batimedelta num__27)
(PROP_SECONDS id_ttimedelta num__20)
(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_TIMEDELTA id_shost id_ttimedelta)
(PROP_TIMEDELTA id_zhost id_batimedelta)
(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_USERNAME id_cdomainuser str__james)
(PROP_USERNAME id_gdomainuser str__mary)
(PROP_USERNAME id_kdomainuser str__john)
(PROP_USERNAME id_odomainuser str__patricia)
(PROP_WINDOWS_DOMAIN id_adomain str__alpha)
(procnone)
(= (total-cost) 0)
)
(:goal
(and
(procnone)
(prop_host id_birat id_zhost)
)
)
(:metric minimize (total-cost))
)