forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p18.pddl
341 lines (341 loc) · 13.2 KB
/
p18.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
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
(define (problem p8-3-14-ring-network-17)
(:domain data-network)
(:objects
data-0-1 data-0-7 data-0-8 data-1-5 data-1-6 data-2-2 data-2-3 data-2-4 - data
script1 script2 script3 script4 script5 script6 script7 script8 script9 script10 script11 script12 script13 script14 - script
server1 server2 server3 server4 server5 server6 server7 - server
number0 number1 number2 number3 number4 number5 number6 number7 number8 number9 number10 number11 number12 number13 number14 number15 number16 - numbers
)
(:init
(SCRIPT-IO script1 data-0-1 data-0-7 data-1-5)
(SCRIPT-IO script2 data-0-7 data-0-1 data-1-6)
(SCRIPT-IO script3 data-1-6 data-0-7 data-2-4)
(SCRIPT-IO script4 data-1-6 data-1-5 data-2-3)
(SCRIPT-IO script5 data-1-6 data-1-5 data-2-2)
(SCRIPT-IO script6 data-0-8 data-0-1 data-1-5)
(SCRIPT-IO script7 data-1-5 data-1-6 data-2-3)
(SCRIPT-IO script8 data-0-1 data-0-8 data-1-6)
(SCRIPT-IO script9 data-1-5 data-0-7 data-2-2)
(SCRIPT-IO script10 data-0-8 data-0-7 data-1-6)
(SCRIPT-IO script11 data-1-5 data-0-7 data-2-2)
(SCRIPT-IO script12 data-1-6 data-0-7 data-2-3)
(SCRIPT-IO script13 data-0-7 data-0-8 data-1-6)
(SCRIPT-IO script14 data-1-6 data-1-5 data-2-2)
(CONNECTED server1 server2)
(CONNECTED server2 server1)
(CONNECTED server1 server3)
(CONNECTED server3 server1)
(CONNECTED server1 server4)
(CONNECTED server4 server1)
(CONNECTED server1 server5)
(CONNECTED server5 server1)
(CONNECTED server1 server6)
(CONNECTED server6 server1)
(CONNECTED server1 server7)
(CONNECTED server7 server1)
(CONNECTED server2 server3)
(CONNECTED server3 server2)
(CONNECTED server3 server4)
(CONNECTED server4 server3)
(CONNECTED server4 server5)
(CONNECTED server5 server4)
(CONNECTED server5 server6)
(CONNECTED server6 server5)
(CONNECTED server6 server7)
(CONNECTED server7 server6)
(CONNECTED server7 server2)
(CONNECTED server2 server7)
(DATA-SIZE data-0-1 number5)
(DATA-SIZE data-0-7 number5)
(DATA-SIZE data-0-8 number2)
(DATA-SIZE data-1-5 number2)
(DATA-SIZE data-1-6 number5)
(DATA-SIZE data-2-2 number2)
(DATA-SIZE data-2-3 number2)
(DATA-SIZE data-2-4 number1)
(CAPACITY server1 number16)
(CAPACITY server2 number8)
(CAPACITY server3 number8)
(CAPACITY server4 number8)
(CAPACITY server5 number8)
(CAPACITY server6 number8)
(CAPACITY server7 number8)
(SUM number0 number1 number1)
(SUM number0 number2 number2)
(SUM number0 number5 number5)
(SUM number1 number1 number2)
(SUM number1 number2 number3)
(SUM number1 number5 number6)
(SUM number2 number1 number3)
(SUM number2 number2 number4)
(SUM number2 number5 number7)
(SUM number3 number1 number4)
(SUM number3 number2 number5)
(SUM number3 number5 number8)
(SUM number4 number1 number5)
(SUM number4 number2 number6)
(SUM number4 number5 number9)
(SUM number5 number1 number6)
(SUM number5 number2 number7)
(SUM number5 number5 number10)
(SUM number6 number1 number7)
(SUM number6 number2 number8)
(SUM number6 number5 number11)
(SUM number7 number1 number8)
(SUM number7 number2 number9)
(SUM number7 number5 number12)
(SUM number8 number1 number9)
(SUM number8 number2 number10)
(SUM number8 number5 number13)
(SUM number9 number1 number10)
(SUM number9 number2 number11)
(SUM number9 number5 number14)
(SUM number10 number1 number11)
(SUM number10 number2 number12)
(SUM number10 number5 number15)
(SUM number11 number1 number12)
(SUM number11 number2 number13)
(SUM number11 number5 number16)
(SUM number12 number1 number13)
(SUM number12 number2 number14)
(SUM number13 number1 number14)
(SUM number13 number2 number15)
(SUM number14 number1 number15)
(SUM number14 number2 number16)
(SUM number15 number1 number16)
(LESS-EQUAL number1 number8)
(LESS-EQUAL number1 number16)
(LESS-EQUAL number2 number8)
(LESS-EQUAL number2 number16)
(LESS-EQUAL number3 number8)
(LESS-EQUAL number3 number16)
(LESS-EQUAL number4 number8)
(LESS-EQUAL number4 number16)
(LESS-EQUAL number5 number8)
(LESS-EQUAL number5 number16)
(LESS-EQUAL number6 number8)
(LESS-EQUAL number6 number16)
(LESS-EQUAL number7 number8)
(LESS-EQUAL number7 number16)
(LESS-EQUAL number8 number8)
(LESS-EQUAL number8 number16)
(LESS-EQUAL number9 number16)
(LESS-EQUAL number10 number16)
(LESS-EQUAL number11 number16)
(LESS-EQUAL number12 number16)
(LESS-EQUAL number13 number16)
(LESS-EQUAL number14 number16)
(LESS-EQUAL number15 number16)
(LESS-EQUAL number16 number16)
(= (total-cost) 0)
(= (process-cost script1 server1) 11)
(= (process-cost script1 server2) 20)
(= (process-cost script1 server3) 20)
(= (process-cost script1 server4) 17)
(= (process-cost script1 server5) 15)
(= (process-cost script1 server6) 7)
(= (process-cost script1 server7) 21)
(= (process-cost script2 server1) 6)
(= (process-cost script2 server2) 25)
(= (process-cost script2 server3) 14)
(= (process-cost script2 server4) 26)
(= (process-cost script2 server5) 21)
(= (process-cost script2 server6) 24)
(= (process-cost script2 server7) 22)
(= (process-cost script3 server1) 13)
(= (process-cost script3 server2) 18)
(= (process-cost script3 server3) 17)
(= (process-cost script3 server4) 15)
(= (process-cost script3 server5) 15)
(= (process-cost script3 server6) 28)
(= (process-cost script3 server7) 19)
(= (process-cost script4 server1) 8)
(= (process-cost script4 server2) 19)
(= (process-cost script4 server3) 15)
(= (process-cost script4 server4) 26)
(= (process-cost script4 server5) 21)
(= (process-cost script4 server6) 21)
(= (process-cost script4 server7) 19)
(= (process-cost script5 server1) 11)
(= (process-cost script5 server2) 13)
(= (process-cost script5 server3) 18)
(= (process-cost script5 server4) 20)
(= (process-cost script5 server5) 17)
(= (process-cost script5 server6) 15)
(= (process-cost script5 server7) 18)
(= (process-cost script6 server1) 13)
(= (process-cost script6 server2) 12)
(= (process-cost script6 server3) 17)
(= (process-cost script6 server4) 19)
(= (process-cost script6 server5) 21)
(= (process-cost script6 server6) 18)
(= (process-cost script6 server7) 16)
(= (process-cost script7 server1) 9)
(= (process-cost script7 server2) 15)
(= (process-cost script7 server3) 24)
(= (process-cost script7 server4) 27)
(= (process-cost script7 server5) 20)
(= (process-cost script7 server6) 20)
(= (process-cost script7 server7) 9)
(= (process-cost script8 server1) 8)
(= (process-cost script8 server2) 26)
(= (process-cost script8 server3) 16)
(= (process-cost script8 server4) 21)
(= (process-cost script8 server5) 24)
(= (process-cost script8 server6) 25)
(= (process-cost script8 server7) 20)
(= (process-cost script9 server1) 11)
(= (process-cost script9 server2) 25)
(= (process-cost script9 server3) 22)
(= (process-cost script9 server4) 20)
(= (process-cost script9 server5) 20)
(= (process-cost script9 server6) 11)
(= (process-cost script9 server7) 18)
(= (process-cost script10 server1) 11)
(= (process-cost script10 server2) 22)
(= (process-cost script10 server3) 24)
(= (process-cost script10 server4) 20)
(= (process-cost script10 server5) 28)
(= (process-cost script10 server6) 9)
(= (process-cost script10 server7) 20)
(= (process-cost script11 server1) 13)
(= (process-cost script11 server2) 20)
(= (process-cost script11 server3) 20)
(= (process-cost script11 server4) 20)
(= (process-cost script11 server5) 11)
(= (process-cost script11 server6) 16)
(= (process-cost script11 server7) 17)
(= (process-cost script12 server1) 9)
(= (process-cost script12 server2) 24)
(= (process-cost script12 server3) 25)
(= (process-cost script12 server4) 21)
(= (process-cost script12 server5) 14)
(= (process-cost script12 server6) 22)
(= (process-cost script12 server7) 14)
(= (process-cost script13 server1) 9)
(= (process-cost script13 server2) 25)
(= (process-cost script13 server3) 13)
(= (process-cost script13 server4) 23)
(= (process-cost script13 server5) 19)
(= (process-cost script13 server6) 27)
(= (process-cost script13 server7) 22)
(= (process-cost script14 server1) 10)
(= (process-cost script14 server2) 15)
(= (process-cost script14 server3) 27)
(= (process-cost script14 server4) 19)
(= (process-cost script14 server5) 17)
(= (process-cost script14 server6) 14)
(= (process-cost script14 server7) 23)
(= (send-cost server1 server2 number1) 20)
(= (send-cost server2 server1 number1) 20)
(= (send-cost server1 server2 number2) 40)
(= (send-cost server2 server1 number2) 40)
(= (send-cost server1 server2 number5) 100)
(= (send-cost server2 server1 number5) 100)
(= (send-cost server1 server3 number1) 20)
(= (send-cost server3 server1 number1) 20)
(= (send-cost server1 server3 number2) 40)
(= (send-cost server3 server1 number2) 40)
(= (send-cost server1 server3 number5) 100)
(= (send-cost server3 server1 number5) 100)
(= (send-cost server1 server4 number1) 20)
(= (send-cost server4 server1 number1) 20)
(= (send-cost server1 server4 number2) 40)
(= (send-cost server4 server1 number2) 40)
(= (send-cost server1 server4 number5) 100)
(= (send-cost server4 server1 number5) 100)
(= (send-cost server1 server5 number1) 20)
(= (send-cost server5 server1 number1) 20)
(= (send-cost server1 server5 number2) 40)
(= (send-cost server5 server1 number2) 40)
(= (send-cost server1 server5 number5) 100)
(= (send-cost server5 server1 number5) 100)
(= (send-cost server1 server6 number1) 20)
(= (send-cost server6 server1 number1) 20)
(= (send-cost server1 server6 number2) 40)
(= (send-cost server6 server1 number2) 40)
(= (send-cost server1 server6 number5) 100)
(= (send-cost server6 server1 number5) 100)
(= (send-cost server1 server7 number1) 20)
(= (send-cost server7 server1 number1) 20)
(= (send-cost server1 server7 number2) 40)
(= (send-cost server7 server1 number2) 40)
(= (send-cost server1 server7 number5) 100)
(= (send-cost server7 server1 number5) 100)
(= (send-cost server2 server3 number1) 2)
(= (send-cost server3 server2 number1) 2)
(= (send-cost server2 server3 number2) 4)
(= (send-cost server3 server2 number2) 4)
(= (send-cost server2 server3 number5) 10)
(= (send-cost server3 server2 number5) 10)
(= (send-cost server3 server4 number1) 2)
(= (send-cost server4 server3 number1) 2)
(= (send-cost server3 server4 number2) 4)
(= (send-cost server4 server3 number2) 4)
(= (send-cost server3 server4 number5) 10)
(= (send-cost server4 server3 number5) 10)
(= (send-cost server4 server5 number1) 2)
(= (send-cost server5 server4 number1) 2)
(= (send-cost server4 server5 number2) 4)
(= (send-cost server5 server4 number2) 4)
(= (send-cost server4 server5 number5) 10)
(= (send-cost server5 server4 number5) 10)
(= (send-cost server5 server6 number1) 2)
(= (send-cost server6 server5 number1) 2)
(= (send-cost server5 server6 number2) 4)
(= (send-cost server6 server5 number2) 4)
(= (send-cost server5 server6 number5) 10)
(= (send-cost server6 server5 number5) 10)
(= (send-cost server6 server7 number1) 2)
(= (send-cost server7 server6 number1) 2)
(= (send-cost server6 server7 number2) 4)
(= (send-cost server7 server6 number2) 4)
(= (send-cost server6 server7 number5) 10)
(= (send-cost server7 server6 number5) 10)
(= (send-cost server7 server2 number1) 2)
(= (send-cost server2 server7 number1) 2)
(= (send-cost server7 server2 number2) 4)
(= (send-cost server2 server7 number2) 4)
(= (send-cost server7 server2 number5) 10)
(= (send-cost server2 server7 number5) 10)
(= (io-cost server1 number1) 1)
(= (io-cost server1 number2) 2)
(= (io-cost server1 number5) 5)
(= (io-cost server2 number1) 2)
(= (io-cost server2 number2) 4)
(= (io-cost server2 number5) 10)
(= (io-cost server3 number1) 2)
(= (io-cost server3 number2) 4)
(= (io-cost server3 number5) 10)
(= (io-cost server4 number1) 2)
(= (io-cost server4 number2) 4)
(= (io-cost server4 number5) 10)
(= (io-cost server5 number1) 2)
(= (io-cost server5 number2) 4)
(= (io-cost server5 number5) 10)
(= (io-cost server6 number1) 2)
(= (io-cost server6 number2) 4)
(= (io-cost server6 number5) 10)
(= (io-cost server7 number1) 2)
(= (io-cost server7 number2) 4)
(= (io-cost server7 number5) 10)
(saved data-0-1 server4)
(saved data-0-7 server5)
(saved data-0-8 server2)
(usage server1 number0)
(usage server2 number0)
(usage server3 number0)
(usage server4 number0)
(usage server5 number0)
(usage server6 number0)
(usage server7 number0)
)
(:goal
(and
(saved data-2-2 server5)
(saved data-2-3 server3)
(saved data-2-4 server1)
)
)
(:metric minimize (total-cost))
)