Statistics
| Branch: | Revision:

dimaptools / src / test / resources / logistics-a2.pre @ 126:242390b3f4be

History | View | Annotate | Download (2.11 KB)

1 17:eae7b882173c Michal
begin_version
2
3
3
end_version
4
begin_metric
5
0
6
end_metric
7
3
8
begin_variable
9
var1
10
-1
11
2
12
Atom at(ny-truck, ny-airport)
13
Atom at(ny-truck, ny-po)
14
end_variable
15
begin_variable
16
var0
17
-1
18
2
19
Atom at(airplane1, ny-airport)
20
Atom at(airplane1, pgh-airport)
21
end_variable
22
begin_variable
23
var2
24
-1
25
5
26
Atom at(package1, ny-airport)
27
Atom at(package1, ny-po)
28
Atom at(package1, pgh-airport)
29
Atom in(package1, airplane1)
30
Atom in(package1, ny-truck)
31
end_variable
32
0
33
begin_state
34
1
35
1
36
2
37
end_state
38
begin_goal
39
1
40
2 1
41
end_goal
42
12
43
begin_operator
44
drive-truck ny-truck ny-airport ny-po ny
45
0
46
1
47
0 0 0 1
48
0
49
end_operator
50
begin_operator
51
drive-truck ny-truck ny-po ny-airport ny
52
0
53
1
54
0 0 1 0
55
0
56
end_operator
57
begin_operator
58
fly-airplane airplane1 ny-airport pgh-airport
59
0
60
1
61
0 1 0 1
62
0
63
end_operator
64
begin_operator
65
fly-airplane airplane1 pgh-airport ny-airport
66
0
67
1
68
0 1 1 0
69
0
70
end_operator
71
begin_operator
72
load-airplane package1 airplane1 ny-airport
73
1
74
1 0
75
1
76
0 2 0 3
77
0
78
end_operator
79
begin_operator
80
load-airplane package1 airplane1 pgh-airport
81
1
82
1 1
83
1
84
0 2 2 3
85
0
86
end_operator
87
begin_operator
88
load-truck package1 ny-truck ny-airport
89
1
90
0 0
91
1
92
0 2 0 4
93
0
94
end_operator
95
begin_operator
96
load-truck package1 ny-truck ny-po
97
1
98
0 1
99
1
100
0 2 1 4
101
0
102
end_operator
103
begin_operator
104
unload-airplane package1 airplane1 ny-airport
105
1
106
1 0
107
1
108
0 2 3 0
109
0
110
end_operator
111
begin_operator
112
unload-airplane package1 airplane1 pgh-airport
113
1
114
1 1
115
1
116
0 2 3 2
117
0
118
end_operator
119
begin_operator
120
unload-truck package1 ny-truck ny-airport
121
1
122
0 0
123
1
124
0 2 4 0
125
0
126
end_operator
127
begin_operator
128
unload-truck package1 ny-truck ny-po
129
1
130
0 1
131
1
132
0 2 4 1
133
0
134
end_operator
135
0
136
begin_SG
137
switch 1
138
check 0
139
switch 0
140
check 1
141
2
142
check 0
143
check 0
144
switch 2
145
check 0
146
check 1
147
4
148
check 0
149
check 0
150
check 1
151
8
152
check 0
153
check 0
154
switch 0
155
check 1
156
3
157
check 0
158
check 0
159
switch 2
160
check 0
161
check 0
162
check 0
163
check 1
164
5
165
check 1
166
9
167
check 0
168
check 0
169
switch 0
170
check 0
171
switch 2
172
check 1
173
0
174
check 1
175
6
176
check 0
177
check 0
178
check 0
179
check 1
180
10
181
check 0
182
switch 2
183
check 1
184
1
185
check 0
186
check 1
187
7
188
check 0
189
check 0
190
check 1
191
11
192
check 0
193
check 0
194
end_SG
195
begin_DTG
196
1
197
1
198
0
199
0
200
1
201
0
202
1
203
0
204
end_DTG
205
begin_DTG
206
1
207
1
208
2
209
0
210
1
211
0
212
3
213
0
214
end_DTG
215
begin_DTG
216
2
217
3
218
4
219
1
220
1 0
221
4
222
6
223
1
224
0 0
225
1
226
4
227
7
228
1
229
0 1
230
1
231
3
232
5
233
1
234
1 1
235
2
236
0
237
8
238
1
239
1 0
240
2
241
9
242
1
243
1 1
244
2
245
0
246
10
247
1
248
0 0
249
1
250
11
251
1
252
0 1
253
end_DTG
254
begin_CG
255
1
256
2 4
257
1
258
2 4
259
0
260
end_CG