-
Notifications
You must be signed in to change notification settings - Fork 0
/
problem6-fail-robot.pddl
116 lines (99 loc) · 2.93 KB
/
problem6-fail-robot.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
(define (problem soko-dai)
(:domain sokorobotto)
(:objects
shipment1 shipment2 shipment3 shipment4
order1 order2 order3 order4
store1 store2 store3 store4 store5 store6 path1 path2 path3 path4 pack1 pack2
robot1 robot2
pallette1 pallette2 pallette3 pallette4 pallette5
socks1 socks2 socks3 book1 book2 ball1 pillow1 tv1 computer1
)
(:init
(ships shipment1 order1)
(orders order1 socks1)
(orders order1 book1)
(unstarted shipment1)
(ships shipment2 order2)
(orders order2 socks2)
(orders order2 pillow1)
(unstarted shipment2)
(ships shipment3 order3)
(orders order3 tv1)
(unstarted shipment3)
(ships shipment4 order4)
(orders order4 socks3)
(orders order4 book2)
(orders order4 ball1)
(orders order4 computer1)
(unstarted shipment4)
(packing-location pack1)
(available pack1)
(packing-location pack2)
(available pack2)
(contains pallette1 socks1)
(contains pallette1 socks2)
(contains pallette1 socks3)
(contains pallette1 pillow1)
(contains pallette2 book1)
(contains pallette2 book2)
(contains pallette3 ball1)
(contains pallette4 tv1)
(contains pallette5 computer1)
(free robot1)
(free robot2)
(connected store1 path1)
(connected path1 store1)
(connected store2 path1)
(connected path1 store2)
(connected path2 path1)
(connected path1 path2)
(connected store3 path2)
(connected path2 store3)
(connected store4 path2)
(connected path2 store4)
(connected path2 path3)
(connected path3 path2)
(connected store5 path3)
(connected path3 store5)
(connected store6 path3)
(connected path3 store6)
(connected path4 path3)
(connected path3 path4)
(connected pack1 path4)
(connected path4 pack1)
(connected pack2 path4)
(connected path4 pack2)
(at pallette1 store1)
(at pallette2 store2)
(at pallette3 store3)
(at pallette4 store4)
(at pallette5 store5)
(at robot1 pack1)
(at robot2 pack2)
(no-robot store1)
(no-robot store2)
(no-robot store3)
(no-robot store4)
(no-robot store5)
(no-robot store6)
(no-robot path1)
(no-robot path2)
(no-robot path3)
(no-robot path4)
(no-pallette store6)
(no-pallette pack1)
(no-pallette pack2)
(no-pallette path1)
(no-pallette path2)
(no-pallette path3)
)
(:goal (and (includes shipment1 socks1)
(includes shipment1 book1)
(includes shipment2 socks2)
(includes shipment2 pillow1)
(includes shipment3 tv1)
(includes shipment4 socks3)
(includes shipment4 book2)
(includes shipment4 ball1)
(includes shipment4 computer1)))
)