forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p22-13-2.pddl
121 lines (120 loc) · 2.87 KB
/
p22-13-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
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
(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
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
)
(:init
(at-curb car_11)
(at-curb-num car_11 curb_00)
(behind-car car_06 car_11)
(car-clear car_06)
(at-curb car_09)
(at-curb-num car_09 curb_01)
(behind-car car_00 car_09)
(car-clear car_00)
(at-curb car_04)
(at-curb-num car_04 curb_02)
(behind-car car_03 car_04)
(car-clear car_03)
(at-curb car_08)
(at-curb-num car_08 curb_03)
(car-clear car_08)
(at-curb car_05)
(at-curb-num car_05 curb_04)
(car-clear car_05)
(at-curb car_12)
(at-curb-num car_12 curb_05)
(car-clear car_12)
(at-curb car_02)
(at-curb-num car_02 curb_06)
(car-clear car_02)
(at-curb car_10)
(at-curb-num car_10 curb_07)
(car-clear car_10)
(at-curb car_01)
(at-curb-num car_01 curb_08)
(car-clear car_01)
(at-curb car_07)
(at-curb-num car_07 curb_09)
(car-clear car_07)
(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)
(curb-clear curb_18)
(curb-clear curb_19)
(curb-clear curb_20)
(curb-clear curb_21)
)
(: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)
)
)
(:metric minimize (total-time))
)
; =========== INIT ===========
; curb_00: car_11 car_06
; curb_01: car_09 car_00
; curb_02: car_04 car_03
; curb_03: car_08
; curb_04: car_05
; curb_05: car_12
; curb_06: car_02
; curb_07: car_10
; curb_08: car_01
; curb_09: car_07
; curb_10:
; curb_11:
; curb_12:
; curb_13:
; curb_14:
; curb_15:
; curb_16:
; curb_17:
; curb_18:
; curb_19:
; curb_20:
; curb_21:
; ========== /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:
; curb_14:
; curb_15:
; curb_16:
; curb_17:
; curb_18:
; curb_19:
; curb_20:
; curb_21:
; =========== /GOAL ===========