forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p01.pddl
101 lines (101 loc) · 2.34 KB
/
p01.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
(define (problem termes-00038-0036-4x3x3-random_towers_4x3_3_1_3)
(:domain termes)
; termes-00038-0036-4x3x3-random_towers_4x3_3_1_3
; Initial state:
; 0 0 R0D 0
; 0 0 0 0
; 0 0 0 0
; Goal state:
; 0 0 0 0
; 0 0 0 0
; 0 3 0 0
; Maximal height: 3
(:objects
n0 - numb
n1 - numb
n2 - numb
n3 - numb
pos-0-0 - position
pos-0-1 - position
pos-0-2 - position
pos-1-0 - position
pos-1-1 - position
pos-1-2 - position
pos-2-0 - position
pos-2-1 - position
pos-2-2 - position
pos-3-0 - position
pos-3-1 - position
pos-3-2 - position
)
(:init
(height pos-0-0 n0)
(height pos-0-1 n0)
(height pos-0-2 n0)
(height pos-1-0 n0)
(height pos-1-1 n0)
(height pos-1-2 n0)
(height pos-2-0 n0)
(height pos-2-1 n0)
(height pos-2-2 n0)
(height pos-3-0 n0)
(height pos-3-1 n0)
(height pos-3-2 n0)
(at pos-2-0)
(SUCC n1 n0)
(SUCC n2 n1)
(SUCC n3 n2)
(NEIGHBOR pos-0-0 pos-1-0)
(NEIGHBOR pos-0-0 pos-0-1)
(NEIGHBOR pos-0-1 pos-1-1)
(NEIGHBOR pos-0-1 pos-0-0)
(NEIGHBOR pos-0-1 pos-0-2)
(NEIGHBOR pos-0-2 pos-1-2)
(NEIGHBOR pos-0-2 pos-0-1)
(NEIGHBOR pos-1-0 pos-0-0)
(NEIGHBOR pos-1-0 pos-2-0)
(NEIGHBOR pos-1-0 pos-1-1)
(NEIGHBOR pos-1-1 pos-0-1)
(NEIGHBOR pos-1-1 pos-2-1)
(NEIGHBOR pos-1-1 pos-1-0)
(NEIGHBOR pos-1-1 pos-1-2)
(NEIGHBOR pos-1-2 pos-0-2)
(NEIGHBOR pos-1-2 pos-2-2)
(NEIGHBOR pos-1-2 pos-1-1)
(NEIGHBOR pos-2-0 pos-1-0)
(NEIGHBOR pos-2-0 pos-3-0)
(NEIGHBOR pos-2-0 pos-2-1)
(NEIGHBOR pos-2-1 pos-1-1)
(NEIGHBOR pos-2-1 pos-3-1)
(NEIGHBOR pos-2-1 pos-2-0)
(NEIGHBOR pos-2-1 pos-2-2)
(NEIGHBOR pos-2-2 pos-1-2)
(NEIGHBOR pos-2-2 pos-3-2)
(NEIGHBOR pos-2-2 pos-2-1)
(NEIGHBOR pos-3-0 pos-2-0)
(NEIGHBOR pos-3-0 pos-3-1)
(NEIGHBOR pos-3-1 pos-2-1)
(NEIGHBOR pos-3-1 pos-3-0)
(NEIGHBOR pos-3-1 pos-3-2)
(NEIGHBOR pos-3-2 pos-2-2)
(NEIGHBOR pos-3-2 pos-3-1)
(IS-DEPOT pos-2-0)
)
(:goal
(and
(height pos-0-0 n0)
(height pos-0-1 n0)
(height pos-0-2 n0)
(height pos-1-0 n0)
(height pos-1-1 n0)
(height pos-1-2 n3)
(height pos-2-0 n0)
(height pos-2-1 n0)
(height pos-2-2 n0)
(height pos-3-0 n0)
(height pos-3-1 n0)
(height pos-3-2 n0)
(not (has-block))
)
)
)