forked from aibasel/downward-benchmarks
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathp01-s17-n2-l2-f30.pddl
101 lines (101 loc) · 2.38 KB
/
p01-s17-n2-l2-f30.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 psr-s17-n2-l2-f30)
(:domain psr)
(:objects cb1 cb2
sd1 sd2 sd3 sd4 sd5 sd6 sd7 sd8 sd9 sd10 sd11 - DEVICE
l1 l2 l3 l4 l5 l6 l7 l8 l9 l10 l11 - LINE
)
(:init
(breaker cb1)
(breaker cb2)
(closed cb1)
(closed cb2)
(closed sd1)
(closed sd2)
(closed sd4)
(closed sd5)
(closed sd7)
(closed sd8)
(closed sd9)
(closed sd10)
(closed sd11)
(faulty l3)
(faulty l4)
(faulty l9)
(ext l1 sd2 side1)
(ext l1 cb1 side2)
(con sd2 side1 cb1 side2)
(con cb1 side2 sd2 side1)
(ext l1 sd1 side1)
(con sd1 side1 cb1 side2)
(con cb1 side2 sd1 side1)
(con sd1 side1 sd2 side1)
(con sd2 side1 sd1 side1)
(ext l2 sd3 side2)
(ext l2 sd2 side2)
(con sd3 side2 sd2 side2)
(con sd2 side2 sd3 side2)
(ext l3 sd4 side1)
(ext l3 cb2 side2)
(con sd4 side1 cb2 side2)
(con cb2 side2 sd4 side1)
(ext l4 sd7 side1)
(ext l4 sd4 side2)
(con sd7 side1 sd4 side2)
(con sd4 side2 sd7 side1)
(ext l4 sd5 side1)
(con sd5 side1 sd4 side2)
(con sd4 side2 sd5 side1)
(con sd5 side1 sd7 side1)
(con sd7 side1 sd5 side1)
(ext l5 sd6 side2)
(ext l5 sd5 side2)
(con sd6 side2 sd5 side2)
(con sd5 side2 sd6 side2)
(ext l6 sd9 side2)
(ext l6 sd7 side2)
(con sd9 side2 sd7 side2)
(con sd7 side2 sd9 side2)
(ext l6 sd8 side2)
(con sd8 side2 sd7 side2)
(con sd7 side2 sd8 side2)
(con sd8 side2 sd9 side2)
(con sd9 side2 sd8 side2)
(ext l7 sd3 side1)
(ext l7 sd8 side1)
(con sd3 side1 sd8 side1)
(con sd8 side1 sd3 side1)
(ext l8 sd11 side2)
(ext l8 sd9 side1)
(con sd11 side2 sd9 side1)
(con sd9 side1 sd11 side2)
(ext l8 sd10 side2)
(con sd10 side2 sd9 side1)
(con sd9 side1 sd10 side2)
(con sd10 side2 sd11 side2)
(con sd11 side2 sd10 side2)
(ext l9 sd6 side1)
(ext l9 sd11 side1)
(con sd6 side1 sd11 side1)
(con sd11 side1 sd6 side1)
(ext l10 earth side2)
(ext l10 sd10 side1)
(con earth side2 sd10 side1)
(con sd10 side1 earth side2)
(ext l11 earth side2)
(ext l11 sd1 side2)
(con earth side2 sd1 side2)
(con sd1 side2 earth side2)
)
(:goal
(and
(forall (?b - DEVICE) (not (affected ?b)))
(fed l1)
(fed l2)
(fed l6)
(fed l7)
(fed l8)
(fed l10)
(fed l11)
)
)
)