forked from aibasel/pyperplan
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathtask19.pddl
181 lines (134 loc) · 3.58 KB
/
task19.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
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
; woodworking task with 11 parts and 120% wood
; Machines:
; 1 grinder
; 1 glazer
; 1 immersion-varnisher
; 1 planer
; 1 highspeed-saw
; 1 spray-varnisher
; 1 saw
; random seed: 976783
(define (problem wood-prob)
(:domain woodworking)
(:objects
grinder0 - grinder
glazer0 - glazer
immersion-varnisher0 - immersion-varnisher
planer0 - planer
highspeed-saw0 - highspeed-saw
spray-varnisher0 - spray-varnisher
saw0 - saw
white black blue green red mauve - acolour
pine walnut cherry - awood
p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 - part
b0 b1 b2 - board
s0 s1 s2 s3 s4 s5 s6 s7 s8 - aboardsize
)
(:init
(grind-treatment-change varnished colourfragments)
(grind-treatment-change glazed untreated)
(grind-treatment-change untreated untreated)
(grind-treatment-change colourfragments untreated)
(is-smooth smooth)
(is-smooth verysmooth)
(boardsize-successor s0 s1)
(boardsize-successor s1 s2)
(boardsize-successor s2 s3)
(boardsize-successor s3 s4)
(boardsize-successor s4 s5)
(boardsize-successor s5 s6)
(boardsize-successor s6 s7)
(boardsize-successor s7 s8)
(has-colour glazer0 blue)
(has-colour glazer0 mauve)
(has-colour glazer0 black)
(has-colour glazer0 red)
(has-colour immersion-varnisher0 blue)
(has-colour immersion-varnisher0 mauve)
(has-colour immersion-varnisher0 black)
(empty highspeed-saw0)
(has-colour spray-varnisher0 blue)
(has-colour spray-varnisher0 mauve)
(has-colour spray-varnisher0 black)
(available p0)
(colour p0 green)
(wood p0 walnut)
(surface-condition p0 smooth)
(treatment p0 colourfragments)
(goalsize p0 large)
(unused p1)
(goalsize p1 small)
(unused p2)
(goalsize p2 small)
(unused p3)
(goalsize p3 medium)
(unused p4)
(goalsize p4 small)
(unused p5)
(goalsize p5 large)
(available p6)
(colour p6 green)
(wood p6 walnut)
(surface-condition p6 verysmooth)
(treatment p6 glazed)
(goalsize p6 large)
(unused p7)
(goalsize p7 medium)
(unused p8)
(goalsize p8 large)
(unused p9)
(goalsize p9 medium)
(unused p10)
(goalsize p10 medium)
(boardsize b0 s6)
(wood b0 cherry)
(surface-condition b0 rough)
(available b0)
(boardsize b1 s8)
(wood b1 pine)
(surface-condition b1 smooth)
(available b1)
(boardsize b2 s8)
(wood b2 walnut)
(surface-condition b2 rough)
(available b2)
)
(:goal
(and
(available p0)
(surface-condition p0 verysmooth)
(treatment p0 glazed)
(available p1)
(colour p1 black)
(treatment p1 glazed)
(available p2)
(colour p2 mauve)
(wood p2 pine)
(available p3)
(wood p3 cherry)
(treatment p3 varnished)
(available p4)
(wood p4 cherry)
(treatment p4 varnished)
(available p5)
(wood p5 pine)
(surface-condition p5 smooth)
(available p6)
(colour p6 red)
(treatment p6 glazed)
(available p7)
(surface-condition p7 smooth)
(treatment p7 glazed)
(available p8)
(colour p8 blue)
(surface-condition p8 smooth)
(available p9)
(colour p9 black)
(treatment p9 glazed)
(available p10)
(colour p10 black)
(wood p10 pine)
(surface-condition p10 verysmooth)
)
)
)