forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p02.pddl
136 lines (136 loc) · 2.3 KB
/
p02.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
135
136
(define (problem mit_p15)
(:domain organic-synthesis-split)
(:objects
li2 - lithium
al2 - aluminium
c1 - carbon
c2 - carbon
c22 - carbon
c23 - carbon
c3 - carbon
c4 - carbon
h1 - hydrogen
h2 - hydrogen
h26 - hydrogen
h27 - hydrogen
h28 - hydrogen
h3 - hydrogen
h30 - hydrogen
h31 - hydrogen
h35 - hydrogen
h36 - hydrogen
h37 - hydrogen
h38 - hydrogen
h4 - hydrogen
h5 - hydrogen
h50 - hydrogen
h52 - hydrogen
h6 - hydrogen
h7 - hydrogen
h8 - hydrogen
n6 - nitrogen
o3 - oxygen
)
(:init
(bond al2 h35)
(bond h35 al2)
(bond al2 h36)
(bond h36 al2)
(bond al2 h37)
(bond h37 al2)
(bond al2 h38)
(bond h38 al2)
(bond c1 h1)
(bond h1 c1)
(bond c1 h2)
(bond h2 c1)
(bond c1 h3)
(bond h3 c1)
(bond c1 c4)
(bond c4 c1)
(bond c2 h4)
(bond h4 c2)
(bond c2 h5)
(bond h5 c2)
(bond c2 h6)
(bond h6 c2)
(bond c2 c3)
(bond c3 c2)
(bond c22 h26)
(bond h26 c22)
(bond c22 h27)
(bond h27 c22)
(bond c22 h28)
(bond h28 c22)
(bond c22 c23)
(bond c23 c22)
(bond c23 h30)
(bond h30 c23)
(bond c23 h31)
(bond h31 c23)
(bond c23 n6)
(bond n6 c23)
(bond c3 h7)
(bond h7 c3)
(bond c3 h8)
(bond h8 c3)
(bond c3 c4)
(bond c4 c3)
(doublebond c4 o3)
(doublebond o3 c4)
(bond h50 n6)
(bond n6 h50)
(bond h52 n6)
(bond n6 h52)
(procnone)
(= (total-cost) 0)
)
(:goal
(and
(procnone)
(bond n6 h50)
(bond h50 n6)
(bond h35 c4)
(bond c4 h35)
(bond n6 c4)
(bond c4 n6)
(bond h8 c3)
(bond c3 h8)
(bond h7 c3)
(bond c3 h7)
(bond c4 c3)
(bond c3 c4)
(bond h31 c23)
(bond c23 h31)
(bond h30 c23)
(bond c23 h30)
(bond n6 c23)
(bond c23 n6)
(bond h28 c22)
(bond c22 h28)
(bond h27 c22)
(bond c22 h27)
(bond h26 c22)
(bond c22 h26)
(bond c23 c22)
(bond c22 c23)
(bond h6 c2)
(bond c2 h6)
(bond h5 c2)
(bond c2 h5)
(bond h4 c2)
(bond c2 h4)
(bond c3 c2)
(bond c2 c3)
(bond h3 c1)
(bond c1 h3)
(bond h2 c1)
(bond c1 h2)
(bond h1 c1)
(bond c1 h1)
(bond c4 c1)
(bond c1 c4)
)
)
(:metric minimize (total-cost))
)