forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p24-14-1.pddl
130 lines (129 loc) · 3.1 KB
/
p24-14-1.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
(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_11 car_12 car_13 - 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_18 curb_19 curb_20 curb_21 curb_22 curb_23 - curb
)
(:init
(at-curb car_09)
(at-curb-num car_09 curb_00)
(behind-car car_02 car_09)
(car-clear car_02)
(at-curb car_10)
(at-curb-num car_10 curb_01)
(behind-car car_04 car_10)
(car-clear car_04)
(at-curb car_06)
(at-curb-num car_06 curb_02)
(behind-car car_08 car_06)
(car-clear car_08)
(at-curb car_05)
(at-curb-num car_05 curb_03)
(car-clear car_05)
(at-curb car_12)
(at-curb-num car_12 curb_04)
(car-clear car_12)
(at-curb car_11)
(at-curb-num car_11 curb_05)
(car-clear car_11)
(at-curb car_00)
(at-curb-num car_00 curb_06)
(car-clear car_00)
(at-curb car_01)
(at-curb-num car_01 curb_07)
(car-clear car_01)
(at-curb car_03)
(at-curb-num car_03 curb_08)
(car-clear car_03)
(at-curb car_13)
(at-curb-num car_13 curb_09)
(car-clear car_13)
(at-curb car_07)
(at-curb-num car_07 curb_10)
(car-clear car_07)
(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)
(curb-clear curb_18)
(curb-clear curb_19)
(curb-clear curb_20)
(curb-clear curb_21)
(curb-clear curb_22)
(curb-clear curb_23)
)
(: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)
(at-curb-num car_11 curb_11)
(at-curb-num car_12 curb_12)
(at-curb-num car_13 curb_13)
)
)
(:metric minimize (total-time))
)
; =========== INIT ===========
; curb_00: car_09 car_02
; curb_01: car_10 car_04
; curb_02: car_06 car_08
; curb_03: car_05
; curb_04: car_12
; curb_05: car_11
; curb_06: car_00
; curb_07: car_01
; curb_08: car_03
; curb_09: car_13
; curb_10: car_07
; curb_11:
; curb_12:
; curb_13:
; curb_14:
; curb_15:
; curb_16:
; curb_17:
; curb_18:
; curb_19:
; curb_20:
; curb_21:
; curb_22:
; curb_23:
; ========== /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: car_11
; curb_12: car_12
; curb_13: car_13
; curb_14:
; curb_15:
; curb_16:
; curb_17:
; curb_18:
; curb_19:
; curb_20:
; curb_21:
; curb_22:
; curb_23:
; =========== /GOAL ===========