forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p11.pddl
247 lines (247 loc) · 9.31 KB
/
p11.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
(define (problem p7-3-15-small-network-10)
(:domain data-network)
(:objects
data-0-3 data-0-5 data-0-6 data-1-1 data-1-2 data-1-4 data-2-7 - data
script1 script2 script3 script4 script5 script6 script7 script8 script9 script10 script11 script12 script13 script14 script15 - script
server1 server2 server3 server4 - 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-6 data-0-3 data-1-4)
(SCRIPT-IO script2 data-0-5 data-0-6 data-1-1)
(SCRIPT-IO script3 data-0-5 data-0-3 data-1-2)
(SCRIPT-IO script4 data-1-4 data-0-5 data-2-7)
(SCRIPT-IO script5 data-1-4 data-0-3 data-2-7)
(SCRIPT-IO script6 data-0-3 data-0-6 data-1-2)
(SCRIPT-IO script7 data-0-3 data-0-6 data-1-4)
(SCRIPT-IO script8 data-1-2 data-1-1 data-2-7)
(SCRIPT-IO script9 data-1-1 data-0-6 data-2-7)
(SCRIPT-IO script10 data-0-3 data-0-6 data-1-2)
(SCRIPT-IO script11 data-0-6 data-0-5 data-1-1)
(SCRIPT-IO script12 data-1-2 data-1-1 data-2-7)
(SCRIPT-IO script13 data-0-5 data-0-3 data-1-2)
(SCRIPT-IO script14 data-0-3 data-0-5 data-1-1)
(SCRIPT-IO script15 data-0-6 data-0-3 data-1-4)
(CONNECTED server1 server2)
(CONNECTED server2 server1)
(CONNECTED server1 server3)
(CONNECTED server3 server1)
(CONNECTED server1 server4)
(CONNECTED server4 server1)
(CONNECTED server2 server3)
(CONNECTED server3 server2)
(DATA-SIZE data-0-3 number5)
(DATA-SIZE data-0-5 number2)
(DATA-SIZE data-0-6 number2)
(DATA-SIZE data-1-1 number4)
(DATA-SIZE data-1-2 number2)
(DATA-SIZE data-1-4 number5)
(DATA-SIZE data-2-7 number1)
(CAPACITY server1 number16)
(CAPACITY server2 number8)
(CAPACITY server3 number8)
(CAPACITY server4 number8)
(SUM number0 number1 number1)
(SUM number0 number2 number2)
(SUM number0 number4 number4)
(SUM number0 number5 number5)
(SUM number1 number1 number2)
(SUM number1 number2 number3)
(SUM number1 number4 number5)
(SUM number1 number5 number6)
(SUM number2 number1 number3)
(SUM number2 number2 number4)
(SUM number2 number4 number6)
(SUM number2 number5 number7)
(SUM number3 number1 number4)
(SUM number3 number2 number5)
(SUM number3 number4 number7)
(SUM number3 number5 number8)
(SUM number4 number1 number5)
(SUM number4 number2 number6)
(SUM number4 number4 number8)
(SUM number4 number5 number9)
(SUM number5 number1 number6)
(SUM number5 number2 number7)
(SUM number5 number4 number9)
(SUM number5 number5 number10)
(SUM number6 number1 number7)
(SUM number6 number2 number8)
(SUM number6 number4 number10)
(SUM number6 number5 number11)
(SUM number7 number1 number8)
(SUM number7 number2 number9)
(SUM number7 number4 number11)
(SUM number7 number5 number12)
(SUM number8 number1 number9)
(SUM number8 number2 number10)
(SUM number8 number4 number12)
(SUM number8 number5 number13)
(SUM number9 number1 number10)
(SUM number9 number2 number11)
(SUM number9 number4 number13)
(SUM number9 number5 number14)
(SUM number10 number1 number11)
(SUM number10 number2 number12)
(SUM number10 number4 number14)
(SUM number10 number5 number15)
(SUM number11 number1 number12)
(SUM number11 number2 number13)
(SUM number11 number4 number15)
(SUM number11 number5 number16)
(SUM number12 number1 number13)
(SUM number12 number2 number14)
(SUM number12 number4 number16)
(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) 19)
(= (process-cost script1 server2) 6)
(= (process-cost script1 server3) 12)
(= (process-cost script1 server4) 8)
(= (process-cost script2 server1) 15)
(= (process-cost script2 server2) 11)
(= (process-cost script2 server3) 12)
(= (process-cost script2 server4) 9)
(= (process-cost script3 server1) 22)
(= (process-cost script3 server2) 8)
(= (process-cost script3 server3) 6)
(= (process-cost script3 server4) 10)
(= (process-cost script4 server1) 15)
(= (process-cost script4 server2) 12)
(= (process-cost script4 server3) 11)
(= (process-cost script4 server4) 11)
(= (process-cost script5 server1) 15)
(= (process-cost script5 server2) 8)
(= (process-cost script5 server3) 9)
(= (process-cost script5 server4) 6)
(= (process-cost script6 server1) 20)
(= (process-cost script6 server2) 9)
(= (process-cost script6 server3) 8)
(= (process-cost script6 server4) 12)
(= (process-cost script7 server1) 19)
(= (process-cost script7 server2) 10)
(= (process-cost script7 server3) 9)
(= (process-cost script7 server4) 9)
(= (process-cost script8 server1) 18)
(= (process-cost script8 server2) 10)
(= (process-cost script8 server3) 10)
(= (process-cost script8 server4) 11)
(= (process-cost script9 server1) 15)
(= (process-cost script9 server2) 7)
(= (process-cost script9 server3) 8)
(= (process-cost script9 server4) 7)
(= (process-cost script10 server1) 18)
(= (process-cost script10 server2) 12)
(= (process-cost script10 server3) 9)
(= (process-cost script10 server4) 11)
(= (process-cost script11 server1) 26)
(= (process-cost script11 server2) 15)
(= (process-cost script11 server3) 9)
(= (process-cost script11 server4) 11)
(= (process-cost script12 server1) 12)
(= (process-cost script12 server2) 7)
(= (process-cost script12 server3) 10)
(= (process-cost script12 server4) 8)
(= (process-cost script13 server1) 18)
(= (process-cost script13 server2) 10)
(= (process-cost script13 server3) 11)
(= (process-cost script13 server4) 10)
(= (process-cost script14 server1) 28)
(= (process-cost script14 server2) 9)
(= (process-cost script14 server3) 13)
(= (process-cost script14 server4) 7)
(= (process-cost script15 server1) 24)
(= (process-cost script15 server2) 9)
(= (process-cost script15 server3) 8)
(= (process-cost script15 server4) 9)
(= (send-cost server1 server2 number1) 4)
(= (send-cost server2 server1 number1) 4)
(= (send-cost server1 server2 number2) 8)
(= (send-cost server2 server1 number2) 8)
(= (send-cost server1 server2 number4) 16)
(= (send-cost server2 server1 number4) 16)
(= (send-cost server1 server2 number5) 20)
(= (send-cost server2 server1 number5) 20)
(= (send-cost server1 server3 number1) 6)
(= (send-cost server3 server1 number1) 6)
(= (send-cost server1 server3 number2) 12)
(= (send-cost server3 server1 number2) 12)
(= (send-cost server1 server3 number4) 24)
(= (send-cost server3 server1 number4) 24)
(= (send-cost server1 server3 number5) 30)
(= (send-cost server3 server1 number5) 30)
(= (send-cost server1 server4 number1) 6)
(= (send-cost server4 server1 number1) 6)
(= (send-cost server1 server4 number2) 12)
(= (send-cost server4 server1 number2) 12)
(= (send-cost server1 server4 number4) 24)
(= (send-cost server4 server1 number4) 24)
(= (send-cost server1 server4 number5) 30)
(= (send-cost server4 server1 number5) 30)
(= (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 number4) 8)
(= (send-cost server3 server2 number4) 8)
(= (send-cost server2 server3 number5) 10)
(= (send-cost server3 server2 number5) 10)
(= (io-cost server1 number1) 5)
(= (io-cost server1 number2) 10)
(= (io-cost server1 number4) 20)
(= (io-cost server1 number5) 25)
(= (io-cost server2 number1) 1)
(= (io-cost server2 number2) 2)
(= (io-cost server2 number4) 4)
(= (io-cost server2 number5) 5)
(= (io-cost server3 number1) 1)
(= (io-cost server3 number2) 2)
(= (io-cost server3 number4) 4)
(= (io-cost server3 number5) 5)
(= (io-cost server4 number1) 1)
(= (io-cost server4 number2) 2)
(= (io-cost server4 number4) 4)
(= (io-cost server4 number5) 5)
(saved data-0-3 server1)
(saved data-0-5 server4)
(saved data-0-6 server3)
(usage server1 number0)
(usage server2 number0)
(usage server3 number0)
(usage server4 number0)
)
(:goal
(and
(saved data-2-7 server2)
)
)
(:metric minimize (total-cost))
)