forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p18-11-2.pddl
104 lines (103 loc) · 2.45 KB
/
p18-11-2.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
(define (problem parking)
(:domain parking)
(:objects
car_00 car_01 car_02 car_03 car_04 car_05 car_06 car_07 car_08 car_09 car_10 - car
curb_00 curb_01 curb_02 curb_03 curb_04 curb_05 curb_06 curb_07 curb_08 curb_09 curb_10 curb_11 curb_12 curb_13 curb_14 curb_15 curb_16 curb_17 - curb
)
(:init
(at-curb car_09)
(at-curb-num car_09 curb_00)
(behind-car car_10 car_09)
(car-clear car_10)
(at-curb car_08)
(at-curb-num car_08 curb_01)
(behind-car car_07 car_08)
(car-clear car_07)
(at-curb car_00)
(at-curb-num car_00 curb_02)
(car-clear car_00)
(at-curb car_02)
(at-curb-num car_02 curb_03)
(car-clear car_02)
(at-curb car_06)
(at-curb-num car_06 curb_04)
(car-clear car_06)
(at-curb car_01)
(at-curb-num car_01 curb_05)
(car-clear car_01)
(at-curb car_04)
(at-curb-num car_04 curb_06)
(car-clear car_04)
(at-curb car_03)
(at-curb-num car_03 curb_07)
(car-clear car_03)
(at-curb car_05)
(at-curb-num car_05 curb_08)
(car-clear car_05)
(curb-clear curb_09)
(curb-clear curb_10)
(curb-clear curb_11)
(curb-clear curb_12)
(curb-clear curb_13)
(curb-clear curb_14)
(curb-clear curb_15)
(curb-clear curb_16)
(curb-clear curb_17)
)
(:goal
(and
(at-curb-num car_00 curb_00)
(at-curb-num car_01 curb_01)
(at-curb-num car_02 curb_02)
(at-curb-num car_03 curb_03)
(at-curb-num car_04 curb_04)
(at-curb-num car_05 curb_05)
(at-curb-num car_06 curb_06)
(at-curb-num car_07 curb_07)
(at-curb-num car_08 curb_08)
(at-curb-num car_09 curb_09)
(at-curb-num car_10 curb_10)
)
)
(:metric minimize (total-time))
)
; =========== INIT ===========
; curb_00: car_09 car_10
; curb_01: car_08 car_07
; curb_02: car_00
; curb_03: car_02
; curb_04: car_06
; curb_05: car_01
; curb_06: car_04
; curb_07: car_03
; curb_08: car_05
; curb_09:
; curb_10:
; curb_11:
; curb_12:
; curb_13:
; curb_14:
; curb_15:
; curb_16:
; curb_17:
; ========== /INIT ===========
; =========== GOAL ===========
; curb_00: car_00
; curb_01: car_01
; curb_02: car_02
; curb_03: car_03
; curb_04: car_04
; curb_05: car_05
; curb_06: car_06
; curb_07: car_07
; curb_08: car_08
; curb_09: car_09
; curb_10: car_10
; curb_11:
; curb_12:
; curb_13:
; curb_14:
; curb_15:
; curb_16:
; curb_17:
; =========== /GOAL ===========