forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathp01.pddl
134 lines (134 loc) · 2.58 KB
/
p01.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
132
133
134
(define (problem alkene_p07)
(:domain organic-synthesis)
(:objects
c016 - carbon
c032 - carbon
c033 - carbon
c034 - carbon
c035 - carbon
c036 - carbon
c037 - carbon
c038 - carbon
h061 - hydrogen
h106 - hydrogen
h107 - hydrogen
h108 - hydrogen
h133 - hydrogen
h134 - hydrogen
h135 - hydrogen
h136 - hydrogen
h137 - hydrogen
h138 - hydrogen
h139 - hydrogen
h140 - hydrogen
h141 - hydrogen
h142 - hydrogen
h143 - hydrogen
h144 - hydrogen
o066 - oxygen
)
(:init
(bond c016 o066)
(bond o066 c016)
(bond c016 h108)
(bond h108 c016)
(bond c016 h106)
(bond h106 c016)
(bond c016 h107)
(bond h107 c016)
(doublebond c032 c033)
(doublebond c033 c032)
(bond c032 h133)
(bond h133 c032)
(bond c032 h134)
(bond h134 c032)
(bond c033 c038)
(bond c038 c033)
(bond c033 c034)
(bond c034 c033)
(bond c034 h135)
(bond h135 c034)
(bond c034 h136)
(bond h136 c034)
(bond c034 c035)
(bond c035 c034)
(bond c035 h138)
(bond h138 c035)
(bond c035 h137)
(bond h137 c035)
(bond c035 c036)
(bond c036 c035)
(bond c036 h140)
(bond h140 c036)
(bond c036 h139)
(bond h139 c036)
(bond c036 c037)
(bond c037 c036)
(bond c037 h142)
(bond h142 c037)
(bond c037 h141)
(bond h141 c037)
(bond c037 c038)
(bond c038 c037)
(bond c038 h144)
(bond h144 c038)
(bond c038 h143)
(bond h143 c038)
(bond h061 o066)
(bond o066 h061)
)
(:goal
(and
(bond c016 o066)
(bond o066 c016)
(bond c016 h108)
(bond h108 c016)
(bond c016 h106)
(bond h106 c016)
(bond c016 h107)
(bond h107 c016)
(bond c032 c033)
(bond c033 c032)
(bond c032 h061)
(bond h061 c032)
(bond c032 h134)
(bond h134 c032)
(bond c032 h133)
(bond h133 c032)
(bond c033 c034)
(bond c034 c033)
(bond c033 c038)
(bond c038 c033)
(bond c033 o066)
(bond o066 c033)
(bond c034 c035)
(bond c035 c034)
(bond c034 h136)
(bond h136 c034)
(bond c034 h135)
(bond h135 c034)
(bond c035 c036)
(bond c036 c035)
(bond c035 h138)
(bond h138 c035)
(bond c035 h137)
(bond h137 c035)
(bond c036 c037)
(bond c037 c036)
(bond c036 h140)
(bond h140 c036)
(bond c036 h139)
(bond h139 c036)
(bond c037 c038)
(bond c038 c037)
(bond c037 h141)
(bond h141 c037)
(bond c037 h142)
(bond h142 c037)
(bond c038 h143)
(bond h143 c038)
(bond c038 h144)
(bond h144 c038)
)
)
)