-
Notifications
You must be signed in to change notification settings - Fork 10
/
pfile04-013.pddl
80 lines (79 loc) · 2.08 KB
/
pfile04-013.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
(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_0 curb_1 curb_2 curb_3 curb_4 curb_5 curb_6 curb_7 - curb
)
(:init
(= (total-cost) 0)
(at-curb car_10)
(at-curb-num car_10 curb_0)
(behind-car car_02 car_10)
(car-clear car_02)
(at-curb car_05)
(at-curb-num car_05 curb_1)
(behind-car car_12 car_05)
(car-clear car_12)
(at-curb car_13)
(at-curb-num car_13 curb_2)
(behind-car car_07 car_13)
(car-clear car_07)
(at-curb car_06)
(at-curb-num car_06 curb_3)
(behind-car car_03 car_06)
(car-clear car_03)
(at-curb car_01)
(at-curb-num car_01 curb_4)
(behind-car car_04 car_01)
(car-clear car_04)
(at-curb car_08)
(at-curb-num car_08 curb_5)
(behind-car car_00 car_08)
(car-clear car_00)
(at-curb car_11)
(at-curb-num car_11 curb_6)
(car-clear car_11)
(at-curb car_09)
(at-curb-num car_09 curb_7)
(car-clear car_09)
)
(:goal
(and
(at-curb-num car_00 curb_0)
(behind-car car_08 car_00)
(at-curb-num car_01 curb_1)
(behind-car car_09 car_01)
(at-curb-num car_02 curb_2)
(behind-car car_10 car_02)
(at-curb-num car_03 curb_3)
(behind-car car_11 car_03)
(at-curb-num car_04 curb_4)
(behind-car car_12 car_04)
(at-curb-num car_05 curb_5)
(behind-car car_13 car_05)
(at-curb-num car_06 curb_6)
(at-curb-num car_07 curb_7)
)
)
(:metric minimize (total-cost))
)
; =========== INIT ===========
; curb_0: car_10 car_02
; curb_1: car_05 car_12
; curb_2: car_13 car_07
; curb_3: car_06 car_03
; curb_4: car_01 car_04
; curb_5: car_08 car_00
; curb_6: car_11
; curb_7: car_09
; ========== /INIT ===========
; =========== GOAL ===========
; curb_0: car_00 car_08
; curb_1: car_01 car_09
; curb_2: car_02 car_10
; curb_3: car_03 car_11
; curb_4: car_04 car_12
; curb_5: car_05 car_13
; curb_6: car_06
; curb_7: car_07
; =========== /GOAL ===========