Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (6.75 KB)

1
begin_version
2
3
3
end_version
4
begin_metric
5
0
6
end_metric
7
6
8
begin_variable
9
var5
10
-1
11
2
12
Atom at(pgh-truck, pgh-airport)
13
Atom at(pgh-truck, pgh-po)
14
end_variable
15
begin_variable
16
var2
17
-1
18
2
19
Atom at(ny-truck, ny-airport)
20
Atom at(ny-truck, ny-po)
21
end_variable
22
begin_variable
23
var1
24
-1
25
2
26
Atom at(airplane2, ny-airport)
27
Atom at(airplane2, pgh-airport)
28
end_variable
29
begin_variable
30
var0
31
-1
32
2
33
Atom at(airplane1, ny-airport)
34
Atom at(airplane1, pgh-airport)
35
end_variable
36
begin_variable
37
var4
38
-1
39
8
40
Atom at(package2, ny-airport)
41
Atom at(package2, ny-po)
42
Atom at(package2, pgh-airport)
43
Atom at(package2, pgh-po)
44
Atom in(package2, airplane1)
45
Atom in(package2, airplane2)
46
Atom in(package2, ny-truck)
47
Atom in(package2, pgh-truck)
48
end_variable
49
begin_variable
50
var3
51
-1
52
8
53
Atom at(package1, ny-airport)
54
Atom at(package1, ny-po)
55
Atom at(package1, pgh-airport)
56
Atom at(package1, pgh-po)
57
Atom in(package1, airplane1)
58
Atom in(package1, airplane2)
59
Atom in(package1, ny-truck)
60
Atom in(package1, pgh-truck)
61
end_variable
62
0
63
begin_state
64
1
65
1
66
0
67
1
68
0
69
2
70
end_state
71
begin_goal
72
2
73
4 3
74
5 1
75
end_goal
76
40
77
begin_operator
78
drive-truck ny-truck ny-airport ny-po ny
79
0
80
1
81
0 1 0 1
82
0
83
end_operator
84
begin_operator
85
drive-truck ny-truck ny-po ny-airport ny
86
0
87
1
88
0 1 1 0
89
0
90
end_operator
91
begin_operator
92
drive-truck pgh-truck pgh-airport pgh-po pgh
93
0
94
1
95
0 0 0 1
96
0
97
end_operator
98
begin_operator
99
drive-truck pgh-truck pgh-po pgh-airport pgh
100
0
101
1
102
0 0 1 0
103
0
104
end_operator
105
begin_operator
106
fly-airplane airplane1 ny-airport pgh-airport
107
0
108
1
109
0 3 0 1
110
0
111
end_operator
112
begin_operator
113
fly-airplane airplane1 pgh-airport ny-airport
114
0
115
1
116
0 3 1 0
117
0
118
end_operator
119
begin_operator
120
fly-airplane airplane2 ny-airport pgh-airport
121
0
122
1
123
0 2 0 1
124
0
125
end_operator
126
begin_operator
127
fly-airplane airplane2 pgh-airport ny-airport
128
0
129
1
130
0 2 1 0
131
0
132
end_operator
133
begin_operator
134
load-airplane package1 airplane1 ny-airport
135
1
136
3 0
137
1
138
0 5 0 4
139
0
140
end_operator
141
begin_operator
142
load-airplane package1 airplane1 pgh-airport
143
1
144
3 1
145
1
146
0 5 2 4
147
0
148
end_operator
149
begin_operator
150
load-airplane package1 airplane2 ny-airport
151
1
152
2 0
153
1
154
0 5 0 5
155
0
156
end_operator
157
begin_operator
158
load-airplane package1 airplane2 pgh-airport
159
1
160
2 1
161
1
162
0 5 2 5
163
0
164
end_operator
165
begin_operator
166
load-airplane package2 airplane1 ny-airport
167
1
168
3 0
169
1
170
0 4 0 4
171
0
172
end_operator
173
begin_operator
174
load-airplane package2 airplane1 pgh-airport
175
1
176
3 1
177
1
178
0 4 2 4
179
0
180
end_operator
181
begin_operator
182
load-airplane package2 airplane2 ny-airport
183
1
184
2 0
185
1
186
0 4 0 5
187
0
188
end_operator
189
begin_operator
190
load-airplane package2 airplane2 pgh-airport
191
1
192
2 1
193
1
194
0 4 2 5
195
0
196
end_operator
197
begin_operator
198
load-truck package1 ny-truck ny-airport
199
1
200
1 0
201
1
202
0 5 0 6
203
0
204
end_operator
205
begin_operator
206
load-truck package1 ny-truck ny-po
207
1
208
1 1
209
1
210
0 5 1 6
211
0
212
end_operator
213
begin_operator
214
load-truck package1 pgh-truck pgh-airport
215
1
216
0 0
217
1
218
0 5 2 7
219
0
220
end_operator
221
begin_operator
222
load-truck package1 pgh-truck pgh-po
223
1
224
0 1
225
1
226
0 5 3 7
227
0
228
end_operator
229
begin_operator
230
load-truck package2 ny-truck ny-airport
231
1
232
1 0
233
1
234
0 4 0 6
235
0
236
end_operator
237
begin_operator
238
load-truck package2 ny-truck ny-po
239
1
240
1 1
241
1
242
0 4 1 6
243
0
244
end_operator
245
begin_operator
246
load-truck package2 pgh-truck pgh-airport
247
1
248
0 0
249
1
250
0 4 2 7
251
0
252
end_operator
253
begin_operator
254
load-truck package2 pgh-truck pgh-po
255
1
256
0 1
257
1
258
0 4 3 7
259
0
260
end_operator
261
begin_operator
262
unload-airplane package1 airplane1 ny-airport
263
1
264
3 0
265
1
266
0 5 4 0
267
0
268
end_operator
269
begin_operator
270
unload-airplane package1 airplane1 pgh-airport
271
1
272
3 1
273
1
274
0 5 4 2
275
0
276
end_operator
277
begin_operator
278
unload-airplane package1 airplane2 ny-airport
279
1
280
2 0
281
1
282
0 5 5 0
283
0
284
end_operator
285
begin_operator
286
unload-airplane package1 airplane2 pgh-airport
287
1
288
2 1
289
1
290
0 5 5 2
291
0
292
end_operator
293
begin_operator
294
unload-airplane package2 airplane1 ny-airport
295
1
296
3 0
297
1
298
0 4 4 0
299
0
300
end_operator
301
begin_operator
302
unload-airplane package2 airplane1 pgh-airport
303
1
304
3 1
305
1
306
0 4 4 2
307
0
308
end_operator
309
begin_operator
310
unload-airplane package2 airplane2 ny-airport
311
1
312
2 0
313
1
314
0 4 5 0
315
0
316
end_operator
317
begin_operator
318
unload-airplane package2 airplane2 pgh-airport
319
1
320
2 1
321
1
322
0 4 5 2
323
0
324
end_operator
325
begin_operator
326
unload-truck package1 ny-truck ny-airport
327
1
328
1 0
329
1
330
0 5 6 0
331
0
332
end_operator
333
begin_operator
334
unload-truck package1 ny-truck ny-po
335
1
336
1 1
337
1
338
0 5 6 1
339
0
340
end_operator
341
begin_operator
342
unload-truck package1 pgh-truck pgh-airport
343
1
344
0 0
345
1
346
0 5 7 2
347
0
348
end_operator
349
begin_operator
350
unload-truck package1 pgh-truck pgh-po
351
1
352
0 1
353
1
354
0 5 7 3
355
0
356
end_operator
357
begin_operator
358
unload-truck package2 ny-truck ny-airport
359
1
360
1 0
361
1
362
0 4 6 0
363
0
364
end_operator
365
begin_operator
366
unload-truck package2 ny-truck ny-po
367
1
368
1 1
369
1
370
0 4 6 1
371
0
372
end_operator
373
begin_operator
374
unload-truck package2 pgh-truck pgh-airport
375
1
376
0 0
377
1
378
0 4 7 2
379
0
380
end_operator
381
begin_operator
382
unload-truck package2 pgh-truck pgh-po
383
1
384
0 1
385
1
386
0 4 7 3
387
0
388
end_operator
389
0
390
begin_SG
391
switch 3
392
check 0
393
switch 2
394
check 1
395
4
396
check 0
397
check 0
398
switch 5
399
check 0
400
check 1
401
8
402
check 0
403
check 0
404
check 0
405
check 1
406
24
407
check 0
408
check 0
409
check 0
410
switch 4
411
check 0
412
check 1
413
12
414
check 0
415
check 0
416
check 0
417
check 1
418
28
419
check 0
420
check 0
421
check 0
422
check 0
423
switch 2
424
check 1
425
5
426
check 0
427
check 0
428
switch 5
429
check 0
430
check 0
431
check 0
432
check 1
433
9
434
check 0
435
check 1
436
25
437
check 0
438
check 0
439
check 0
440
switch 4
441
check 0
442
check 0
443
check 0
444
check 1
445
13
446
check 0
447
check 1
448
29
449
check 0
450
check 0
451
check 0
452
check 0
453
switch 2
454
check 0
455
switch 1
456
check 1
457
6
458
check 0
459
check 0
460
switch 5
461
check 0
462
check 1
463
10
464
check 0
465
check 0
466
check 0
467
check 0
468
check 1
469
26
470
check 0
471
check 0
472
switch 4
473
check 0
474
check 1
475
14
476
check 0
477
check 0
478
check 0
479
check 0
480
check 1
481
30
482
check 0
483
check 0
484
check 0
485
switch 1
486
check 1
487
7
488
check 0
489
check 0
490
switch 5
491
check 0
492
check 0
493
check 0
494
check 1
495
11
496
check 0
497
check 0
498
check 1
499
27
500
check 0
501
check 0
502
switch 4
503
check 0
504
check 0
505
check 0
506
check 1
507
15
508
check 0
509
check 0
510
check 1
511
31
512
check 0
513
check 0
514
check 0
515
switch 1
516
check 0
517
switch 5
518
check 1
519
0
520
check 1
521
16
522
check 0
523
check 0
524
check 0
525
check 0
526
check 0
527
check 1
528
32
529
check 0
530
switch 4
531
check 0
532
check 1
533
20
534
check 0
535
check 0
536
check 0
537
check 0
538
check 0
539
check 1
540
36
541
check 0
542
check 0
543
switch 5
544
check 1
545
1
546
check 0
547
check 1
548
17
549
check 0
550
check 0
551
check 0
552
check 0
553
check 1
554
33
555
check 0
556
switch 4
557
check 0
558
check 0
559
check 1
560
21
561
check 0
562
check 0
563
check 0
564
check 0
565
check 1
566
37
567
check 0
568
check 0
569
switch 5
570
check 0
571
check 0
572
check 0
573
switch 0
574
check 0
575
check 1
576
18
577
check 0
578
check 0
579
switch 0
580
check 0
581
check 0
582
check 1
583
19
584
check 0
585
check 0
586
check 0
587
check 0
588
switch 0
589
check 0
590
check 1
591
34
592
check 1
593
35
594
check 0
595
switch 4
596
check 0
597
check 0
598
check 0
599
switch 0
600
check 0
601
check 1
602
22
603
check 0
604
check 0
605
switch 0
606
check 0
607
check 0
608
check 1
609
23
610
check 0
611
check 0
612
check 0
613
check 0
614
switch 0
615
check 0
616
check 1
617
38
618
check 1
619
39
620
check 0
621
switch 0
622
check 0
623
check 1
624
2
625
check 1
626
3
627
check 0
628
end_SG
629
begin_DTG
630
1
631
1
632
2
633
0
634
1
635
0
636
3
637
0
638
end_DTG
639
begin_DTG
640
1
641
1
642
0
643
0
644
1
645
0
646
1
647
0
648
end_DTG
649
begin_DTG
650
1
651
1
652
6
653
0
654
1
655
0
656
7
657
0
658
end_DTG
659
begin_DTG
660
1
661
1
662
4
663
0
664
1
665
0
666
5
667
0
668
end_DTG
669
begin_DTG
670
3
671
4
672
12
673
1
674
3 0
675
5
676
14
677
1
678
2 0
679
6
680
20
681
1
682
1 0
683
1
684
6
685
21
686
1
687
1 1
688
3
689
4
690
13
691
1
692
3 1
693
5
694
15
695
1
696
2 1
697
7
698
22
699
1
700
0 0
701
1
702
7
703
23
704
1
705
0 1
706
2
707
0
708
28
709
1
710
3 0
711
2
712
29
713
1
714
3 1
715
2
716
0
717
30
718
1
719
2 0
720
2
721
31
722
1
723
2 1
724
2
725
0
726
36
727
1
728
1 0
729
1
730
37
731
1
732
1 1
733
2
734
2
735
38
736
1
737
0 0
738
3
739
39
740
1
741
0 1
742
end_DTG
743
begin_DTG
744
3
745
4
746
8
747
1
748
3 0
749
5
750
10
751
1
752
2 0
753
6
754
16
755
1
756
1 0
757
1
758
6
759
17
760
1
761
1 1
762
3
763
4
764
9
765
1
766
3 1
767
5
768
11
769
1
770
2 1
771
7
772
18
773
1
774
0 0
775
1
776
7
777
19
778
1
779
0 1
780
2
781
0
782
24
783
1
784
3 0
785
2
786
25
787
1
788
3 1
789
2
790
0
791
26
792
1
793
2 0
794
2
795
27
796
1
797
2 1
798
2
799
0
800
32
801
1
802
1 0
803
1
804
33
805
1
806
1 1
807
2
808
2
809
34
810
1
811
0 0
812
3
813
35
814
1
815
0 1
816
end_DTG
817
begin_CG
818
2
819
5 4
820
4 4
821
2
822
5 4
823
4 4
824
2
825
5 4
826
4 4
827
2
828
5 4
829
4 4
830
0
831
0
832
end_CG