forked from aibasel/downward-benchmarks
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathp19-s66-n5-l2-f50.pddl
187 lines (187 loc) · 4.69 KB
/
p19-s66-n5-l2-f50.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
(define (problem psr-s66-n5-l2-f50)
(:domain psr)
(:objects cb1 cb2 cb3 cb4 cb5
sd1 sd2 sd3 sd4 sd5 sd6 sd7 sd8 sd9 sd10 sd11 sd12 sd13 sd14 sd15 sd16 sd17 sd18 sd19 sd20 sd21 sd22 sd23 - DEVICE
l1 l2 l3 l4 l5 l6 l7 l8 l9 l10 l11 l12 l13 l14 l15 l16 l17 l18 l19 l20 l21 l22 l23 - LINE
)
(:init
(breaker cb1)
(breaker cb2)
(breaker cb3)
(breaker cb4)
(breaker cb5)
(closed cb1)
(closed cb2)
(closed cb3)
(closed cb4)
(closed cb5)
(closed sd1)
(closed sd2)
(closed sd4)
(closed sd5)
(closed sd6)
(closed sd7)
(closed sd8)
(closed sd11)
(closed sd12)
(closed sd13)
(closed sd14)
(closed sd17)
(closed sd18)
(closed sd19)
(closed sd20)
(closed sd21)
(closed sd22)
(closed sd23)
(faulty l1)
(faulty l2)
(faulty l5)
(faulty l6)
(faulty l10)
(faulty l11)
(faulty l13)
(faulty l14)
(faulty l17)
(faulty l20)
(faulty l21)
(faulty l23)
(ext l1 sd1 side1)
(ext l1 cb1 side2)
(con sd1 side1 cb1 side2)
(con cb1 side2 sd1 side1)
(ext l2 sd2 side1)
(ext l2 sd1 side2)
(con sd2 side1 sd1 side2)
(con sd1 side2 sd2 side1)
(ext l3 sd3 side1)
(ext l3 sd2 side2)
(con sd3 side1 sd2 side2)
(con sd2 side2 sd3 side1)
(ext l4 sd10 side1)
(ext l4 cb2 side2)
(con sd10 side1 cb2 side2)
(con cb2 side2 sd10 side1)
(ext l4 sd8 side1)
(con sd8 side1 cb2 side2)
(con cb2 side2 sd8 side1)
(con sd8 side1 sd10 side1)
(con sd10 side1 sd8 side1)
(ext l4 sd4 side1)
(con sd4 side1 cb2 side2)
(con cb2 side2 sd4 side1)
(con sd4 side1 sd10 side1)
(con sd10 side1 sd4 side1)
(con sd4 side1 sd8 side1)
(con sd8 side1 sd4 side1)
(ext l5 sd6 side2)
(ext l5 sd4 side2)
(con sd6 side2 sd4 side2)
(con sd4 side2 sd6 side2)
(ext l5 sd5 side2)
(con sd5 side2 sd4 side2)
(con sd4 side2 sd5 side2)
(con sd5 side2 sd6 side2)
(con sd6 side2 sd5 side2)
(ext l6 sd3 side2)
(ext l6 sd6 side1)
(con sd3 side2 sd6 side1)
(con sd6 side1 sd3 side2)
(ext l6 sd7 side2)
(con sd7 side2 sd6 side1)
(con sd6 side1 sd7 side2)
(con sd7 side2 sd3 side2)
(con sd3 side2 sd7 side2)
(ext l7 sd9 side2)
(ext l7 sd8 side2)
(con sd9 side2 sd8 side2)
(con sd8 side2 sd9 side2)
(ext l8 sd11 side2)
(ext l8 cb3 side2)
(con sd11 side2 cb3 side2)
(con cb3 side2 sd11 side2)
(ext l9 sd13 side1)
(ext l9 sd11 side1)
(con sd13 side1 sd11 side1)
(con sd11 side1 sd13 side1)
(ext l9 sd12 side1)
(con sd12 side1 sd11 side1)
(con sd11 side1 sd12 side1)
(con sd12 side1 sd13 side1)
(con sd13 side1 sd12 side1)
(ext l10 sd10 side2)
(ext l10 sd12 side2)
(con sd10 side2 sd12 side2)
(con sd12 side2 sd10 side2)
(ext l11 sd16 side2)
(ext l11 sd13 side2)
(con sd16 side2 sd13 side2)
(con sd13 side2 sd16 side2)
(ext l11 sd14 side2)
(con sd14 side2 sd13 side2)
(con sd13 side2 sd14 side2)
(con sd14 side2 sd16 side2)
(con sd16 side2 sd14 side2)
(ext l12 sd15 side1)
(ext l12 sd14 side1)
(con sd15 side1 sd14 side1)
(con sd14 side1 sd15 side1)
(ext l13 sd17 side2)
(ext l13 cb4 side2)
(con sd17 side2 cb4 side2)
(con cb4 side2 sd17 side2)
(ext l14 sd18 side2)
(ext l14 sd17 side1)
(con sd18 side2 sd17 side1)
(con sd17 side1 sd18 side2)
(ext l14 sd9 side1)
(con sd9 side1 sd17 side1)
(con sd17 side1 sd9 side1)
(con sd9 side1 sd18 side2)
(con sd18 side2 sd9 side1)
(ext l15 sd19 side2)
(ext l15 sd18 side1)
(con sd19 side2 sd18 side1)
(con sd18 side1 sd19 side2)
(ext l16 sd16 side1)
(ext l16 sd19 side1)
(con sd16 side1 sd19 side1)
(con sd19 side1 sd16 side1)
(ext l17 sd20 side1)
(ext l17 cb5 side2)
(con sd20 side1 cb5 side2)
(con cb5 side2 sd20 side1)
(ext l18 sd21 side2)
(ext l18 sd20 side2)
(con sd21 side2 sd20 side2)
(con sd20 side2 sd21 side2)
(ext l19 sd22 side1)
(ext l19 sd21 side1)
(con sd22 side1 sd21 side1)
(con sd21 side1 sd22 side1)
(ext l20 sd23 side1)
(ext l20 sd22 side2)
(con sd23 side1 sd22 side2)
(con sd22 side2 sd23 side1)
(ext l21 sd15 side2)
(ext l21 sd23 side2)
(con sd15 side2 sd23 side2)
(con sd23 side2 sd15 side2)
(ext l22 earth side2)
(ext l22 sd5 side1)
(con earth side2 sd5 side1)
(con sd5 side1 earth side2)
(ext l23 earth side2)
(ext l23 sd7 side1)
(con earth side2 sd7 side1)
(con sd7 side1 earth side2)
)
(:goal
(and
(forall (?b - DEVICE) (not (affected ?b)))
(fed l4)
(fed l7)
(fed l8)
(fed l9)
)
)
)