forked from aibasel/downward-benchmarks
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathprob08.pddl
66 lines (66 loc) · 1.88 KB
/
prob08.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
(define (problem strips-gripper-x-8)
(:domain gripper-strips)
(:objects rooma roomb 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 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 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 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))))