forked from aibasel/downward-benchmarks
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathprob17.pddl
122 lines (122 loc) · 3.52 KB
/
prob17.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
(define (problem strips-gripper-x-17)
(:domain gripper-strips)
(:objects rooma roomb ball36 ball35 ball34 ball33 ball32 ball31
ball30 ball29 ball28 ball27 ball26 ball25 ball24 ball23 ball22
ball21 ball20 ball19 ball18 ball17 ball16 ball15 ball14 ball13
ball12 ball11 ball10 ball9 ball8 ball7 ball6 ball5 ball4 ball3
ball2 ball1 left right)
(:init (room rooma)
(room roomb)
(ball ball36)
(ball ball35)
(ball ball34)
(ball ball33)
(ball ball32)
(ball ball31)
(ball ball30)
(ball ball29)
(ball ball28)
(ball ball27)
(ball ball26)
(ball ball25)
(ball ball24)
(ball ball23)
(ball ball22)
(ball ball21)
(ball ball20)
(ball ball19)
(ball ball18)
(ball ball17)
(ball ball16)
(ball ball15)
(ball ball14)
(ball ball13)
(ball ball12)
(ball ball11)
(ball ball10)
(ball ball9)
(ball ball8)
(ball ball7)
(ball ball6)
(ball ball5)
(ball ball4)
(ball ball3)
(ball ball2)
(ball ball1)
(at-robby rooma)
(free left)
(free right)
(at ball36 rooma)
(at ball35 rooma)
(at ball34 rooma)
(at ball33 rooma)
(at ball32 rooma)
(at ball31 rooma)
(at ball30 rooma)
(at ball29 rooma)
(at ball28 rooma)
(at ball27 rooma)
(at ball26 rooma)
(at ball25 rooma)
(at ball24 rooma)
(at ball23 rooma)
(at ball22 rooma)
(at ball21 rooma)
(at ball20 rooma)
(at ball19 rooma)
(at ball18 rooma)
(at ball17 rooma)
(at ball16 rooma)
(at ball15 rooma)
(at ball14 rooma)
(at ball13 rooma)
(at ball12 rooma)
(at ball11 rooma)
(at ball10 rooma)
(at ball9 rooma)
(at ball8 rooma)
(at ball7 rooma)
(at ball6 rooma)
(at ball5 rooma)
(at ball4 rooma)
(at ball3 rooma)
(at ball2 rooma)
(at ball1 rooma)
(gripper left)
(gripper right))
(:goal (and (at ball36 roomb)
(at ball35 roomb)
(at ball34 roomb)
(at ball33 roomb)
(at ball32 roomb)
(at ball31 roomb)
(at ball30 roomb)
(at ball29 roomb)
(at ball28 roomb)
(at ball27 roomb)
(at ball26 roomb)
(at ball25 roomb)
(at ball24 roomb)
(at ball23 roomb)
(at ball22 roomb)
(at ball21 roomb)
(at ball20 roomb)
(at ball19 roomb)
(at ball18 roomb)
(at ball17 roomb)
(at ball16 roomb)
(at ball15 roomb)
(at ball14 roomb)
(at ball13 roomb)
(at ball12 roomb)
(at ball11 roomb)
(at ball10 roomb)
(at ball9 roomb)
(at ball8 roomb)
(at ball7 roomb)
(at ball6 roomb)
(at ball5 roomb)
(at ball4 roomb)
(at ball3 roomb)
(at ball2 roomb)
(at ball1 roomb))))