-
Notifications
You must be signed in to change notification settings - Fork 10
/
opt-p08-015.pddl
205 lines (205 loc) · 5.43 KB
/
opt-p08-015.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
(define (problem prob015)
(:domain floor-tile)
(:objects tile_0-1 tile_0-2 tile_0-3 tile_0-4 tile_0-5
tile_1-1 tile_1-2 tile_1-3 tile_1-4 tile_1-5
tile_2-1 tile_2-2 tile_2-3 tile_2-4 tile_2-5
tile_3-1 tile_3-2 tile_3-3 tile_3-4 tile_3-5
tile_4-1 tile_4-2 tile_4-3 tile_4-4 tile_4-5
tile_5-1 tile_5-2 tile_5-3 tile_5-4 tile_5-5
tile_6-1 tile_6-2 tile_6-3 tile_6-4 tile_6-5 - tile
robot1 robot2 robot3 - robot
white black - color
)
(:init
(= (total-cost) 0)
(robot-at robot1 tile_6-3)
(robot-has robot1 white)
(robot-at robot2 tile_3-1)
(robot-has robot2 black)
(robot-at robot3 tile_6-2)
(robot-has robot3 white)
(available-color white)
(available-color black)
(clear tile_0-1)
(clear tile_0-2)
(clear tile_0-3)
(clear tile_0-4)
(clear tile_0-5)
(clear tile_1-1)
(clear tile_1-2)
(clear tile_1-3)
(clear tile_1-4)
(clear tile_1-5)
(clear tile_2-1)
(clear tile_2-2)
(clear tile_2-3)
(clear tile_2-4)
(clear tile_2-5)
(clear tile_3-2)
(clear tile_3-3)
(clear tile_3-4)
(clear tile_3-5)
(clear tile_4-1)
(clear tile_4-2)
(clear tile_4-3)
(clear tile_4-4)
(clear tile_4-5)
(clear tile_5-1)
(clear tile_5-2)
(clear tile_5-3)
(clear tile_5-4)
(clear tile_5-5)
(clear tile_6-1)
(clear tile_6-4)
(clear tile_6-5)
(up tile_1-1 tile_0-1)
(up tile_1-2 tile_0-2)
(up tile_1-3 tile_0-3)
(up tile_1-4 tile_0-4)
(up tile_1-5 tile_0-5)
(up tile_2-1 tile_1-1)
(up tile_2-2 tile_1-2)
(up tile_2-3 tile_1-3)
(up tile_2-4 tile_1-4)
(up tile_2-5 tile_1-5)
(up tile_3-1 tile_2-1)
(up tile_3-2 tile_2-2)
(up tile_3-3 tile_2-3)
(up tile_3-4 tile_2-4)
(up tile_3-5 tile_2-5)
(up tile_4-1 tile_3-1)
(up tile_4-2 tile_3-2)
(up tile_4-3 tile_3-3)
(up tile_4-4 tile_3-4)
(up tile_4-5 tile_3-5)
(up tile_5-1 tile_4-1)
(up tile_5-2 tile_4-2)
(up tile_5-3 tile_4-3)
(up tile_5-4 tile_4-4)
(up tile_5-5 tile_4-5)
(up tile_6-1 tile_5-1)
(up tile_6-2 tile_5-2)
(up tile_6-3 tile_5-3)
(up tile_6-4 tile_5-4)
(up tile_6-5 tile_5-5)
(down tile_0-1 tile_1-1)
(down tile_0-2 tile_1-2)
(down tile_0-3 tile_1-3)
(down tile_0-4 tile_1-4)
(down tile_0-5 tile_1-5)
(down tile_1-1 tile_2-1)
(down tile_1-2 tile_2-2)
(down tile_1-3 tile_2-3)
(down tile_1-4 tile_2-4)
(down tile_1-5 tile_2-5)
(down tile_2-1 tile_3-1)
(down tile_2-2 tile_3-2)
(down tile_2-3 tile_3-3)
(down tile_2-4 tile_3-4)
(down tile_2-5 tile_3-5)
(down tile_3-1 tile_4-1)
(down tile_3-2 tile_4-2)
(down tile_3-3 tile_4-3)
(down tile_3-4 tile_4-4)
(down tile_3-5 tile_4-5)
(down tile_4-1 tile_5-1)
(down tile_4-2 tile_5-2)
(down tile_4-3 tile_5-3)
(down tile_4-4 tile_5-4)
(down tile_4-5 tile_5-5)
(down tile_5-1 tile_6-1)
(down tile_5-2 tile_6-2)
(down tile_5-3 tile_6-3)
(down tile_5-4 tile_6-4)
(down tile_5-5 tile_6-5)
(right tile_0-2 tile_0-1)
(right tile_0-3 tile_0-2)
(right tile_0-4 tile_0-3)
(right tile_0-5 tile_0-4)
(right tile_1-2 tile_1-1)
(right tile_1-3 tile_1-2)
(right tile_1-4 tile_1-3)
(right tile_1-5 tile_1-4)
(right tile_2-2 tile_2-1)
(right tile_2-3 tile_2-2)
(right tile_2-4 tile_2-3)
(right tile_2-5 tile_2-4)
(right tile_3-2 tile_3-1)
(right tile_3-3 tile_3-2)
(right tile_3-4 tile_3-3)
(right tile_3-5 tile_3-4)
(right tile_4-2 tile_4-1)
(right tile_4-3 tile_4-2)
(right tile_4-4 tile_4-3)
(right tile_4-5 tile_4-4)
(right tile_5-2 tile_5-1)
(right tile_5-3 tile_5-2)
(right tile_5-4 tile_5-3)
(right tile_5-5 tile_5-4)
(right tile_6-2 tile_6-1)
(right tile_6-3 tile_6-2)
(right tile_6-4 tile_6-3)
(right tile_6-5 tile_6-4)
(left tile_0-1 tile_0-2)
(left tile_0-2 tile_0-3)
(left tile_0-3 tile_0-4)
(left tile_0-4 tile_0-5)
(left tile_1-1 tile_1-2)
(left tile_1-2 tile_1-3)
(left tile_1-3 tile_1-4)
(left tile_1-4 tile_1-5)
(left tile_2-1 tile_2-2)
(left tile_2-2 tile_2-3)
(left tile_2-3 tile_2-4)
(left tile_2-4 tile_2-5)
(left tile_3-1 tile_3-2)
(left tile_3-2 tile_3-3)
(left tile_3-3 tile_3-4)
(left tile_3-4 tile_3-5)
(left tile_4-1 tile_4-2)
(left tile_4-2 tile_4-3)
(left tile_4-3 tile_4-4)
(left tile_4-4 tile_4-5)
(left tile_5-1 tile_5-2)
(left tile_5-2 tile_5-3)
(left tile_5-3 tile_5-4)
(left tile_5-4 tile_5-5)
(left tile_6-1 tile_6-2)
(left tile_6-2 tile_6-3)
(left tile_6-3 tile_6-4)
(left tile_6-4 tile_6-5)
)
(:goal (and
(painted tile_1-1 white)
(painted tile_1-2 black)
(painted tile_1-3 white)
(painted tile_1-4 black)
(painted tile_1-5 white)
(painted tile_2-1 black)
(painted tile_2-2 white)
(painted tile_2-3 black)
(painted tile_2-4 white)
(painted tile_2-5 black)
(painted tile_3-1 white)
(painted tile_3-2 black)
(painted tile_3-3 white)
(painted tile_3-4 black)
(painted tile_3-5 white)
(painted tile_4-1 black)
(painted tile_4-2 white)
(painted tile_4-3 black)
(painted tile_4-4 white)
(painted tile_4-5 black)
(painted tile_5-1 white)
(painted tile_5-2 black)
(painted tile_5-3 white)
(painted tile_5-4 black)
(painted tile_5-5 white)
(painted tile_6-1 black)
(painted tile_6-2 white)
(painted tile_6-3 black)
(painted tile_6-4 white)
(painted tile_6-5 black)
))
(:metric minimize (total-cost))
)