forked from planimation/backend
-
Notifications
You must be signed in to change notification settings - Fork 0
/
problem12.pddl
131 lines (126 loc) · 2.98 KB
/
problem12.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
(define (problem grid-12)
(:domain grid-visit-all)
(:objects
loc1_1 loc1_2 loc1_3 loc1_4 loc2_1 loc2_2 loc2_3 loc2_4 loc3_1 loc3_2 loc3_3 loc3_4 loc4_1 loc4_2 loc4_3 loc4_4 - place
)
(:init
(at-robot loc2_2)
(visited loc2_2)
(connected loc1_1 loc2_1)
(connected loc2_1 loc1_1)
(connected loc1_1 loc1_2)
(connected loc1_2 loc1_1)
(connected loc1_2 loc2_2)
(connected loc2_2 loc1_2)
(connected loc1_2 loc1_3)
(connected loc1_3 loc1_2)
(connected loc1_2 loc1_1)
(connected loc1_1 loc1_2)
(connected loc1_3 loc2_3)
(connected loc2_3 loc1_3)
(connected loc1_3 loc1_4)
(connected loc1_4 loc1_3)
(connected loc1_3 loc1_2)
(connected loc1_2 loc1_3)
(connected loc1_4 loc2_4)
(connected loc2_4 loc1_4)
(connected loc1_4 loc1_3)
(connected loc1_3 loc1_4)
(connected loc2_1 loc1_1)
(connected loc1_1 loc2_1)
(connected loc2_1 loc3_1)
(connected loc3_1 loc2_1)
(connected loc2_1 loc2_2)
(connected loc2_2 loc2_1)
(connected loc2_2 loc1_2)
(connected loc1_2 loc2_2)
(connected loc2_2 loc3_2)
(connected loc3_2 loc2_2)
(connected loc2_2 loc2_3)
(connected loc2_3 loc2_2)
(connected loc2_2 loc2_1)
(connected loc2_1 loc2_2)
(connected loc2_3 loc1_3)
(connected loc1_3 loc2_3)
(connected loc2_3 loc3_3)
(connected loc3_3 loc2_3)
(connected loc2_3 loc2_4)
(connected loc2_4 loc2_3)
(connected loc2_3 loc2_2)
(connected loc2_2 loc2_3)
(connected loc2_4 loc1_4)
(connected loc1_4 loc2_4)
(connected loc2_4 loc3_4)
(connected loc3_4 loc2_4)
(connected loc2_4 loc2_3)
(connected loc2_3 loc2_4)
(connected loc3_1 loc2_1)
(connected loc2_1 loc3_1)
(connected loc3_1 loc4_1)
(connected loc4_1 loc3_1)
(connected loc3_1 loc3_2)
(connected loc3_2 loc3_1)
(connected loc3_2 loc2_2)
(connected loc2_2 loc3_2)
(connected loc3_2 loc4_2)
(connected loc4_2 loc3_2)
(connected loc3_2 loc3_3)
(connected loc3_3 loc3_2)
(connected loc3_2 loc3_1)
(connected loc3_1 loc3_2)
(connected loc3_3 loc2_3)
(connected loc2_3 loc3_3)
(connected loc3_3 loc4_3)
(connected loc4_3 loc3_3)
(connected loc3_3 loc3_4)
(connected loc3_4 loc3_3)
(connected loc3_3 loc3_2)
(connected loc3_2 loc3_3)
(connected loc3_4 loc2_4)
(connected loc2_4 loc3_4)
(connected loc3_4 loc4_4)
(connected loc4_4 loc3_4)
(connected loc3_4 loc3_3)
(connected loc3_3 loc3_4)
(connected loc4_1 loc3_1)
(connected loc3_1 loc4_1)
(connected loc4_1 loc4_2)
(connected loc4_2 loc4_1)
(connected loc4_2 loc3_2)
(connected loc3_2 loc4_2)
(connected loc4_2 loc4_3)
(connected loc4_3 loc4_2)
(connected loc4_2 loc4_1)
(connected loc4_1 loc4_2)
(connected loc4_3 loc3_3)
(connected loc3_3 loc4_3)
(connected loc4_3 loc4_4)
(connected loc4_4 loc4_3)
(connected loc4_3 loc4_2)
(connected loc4_2 loc4_3)
(connected loc4_4 loc3_4)
(connected loc3_4 loc4_4)
(connected loc4_4 loc4_3)
(connected loc4_3 loc4_4)
)
(:goal
(and
(visited loc1_1)
(visited loc1_2)
(visited loc1_3)
(visited loc1_4)
(visited loc2_1)
(visited loc2_2)
(visited loc2_3)
(visited loc2_4)
(visited loc3_1)
(visited loc3_2)
(visited loc3_3)
(visited loc3_4)
(visited loc4_1)
(visited loc4_2)
(visited loc4_3)
(visited loc4_4)
)
)
)