forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p15.pddl
119 lines (119 loc) · 2 KB
/
p15.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
(define (problem initialbonds6)
(:domain organic-synthesis)
(:objects
; setup for problem 6
h1 - hydrogen
h2 - hydrogen
h3 - hydrogen
h4 - hydrogen
h5 - hydrogen
h6 - hydrogen
c1 - carbon
c2 - carbon
o1 - oxygen
; PBr3
p1 - phosphorus
br1 - bromine
br2 - bromine
br3 - bromine
; Mg
mg1 - magnesium
; The carbonyl
c3 - carbon
o2 - oxygen
h7 - hydrogen
h8 - hydrogen
; Second PBr3
p2 - phosphorus
br4 - bromine
br5 - bromine
br6 - bromine
; Second Mg
mg2 - magnesium
; Thionyl chloride
su1 - sulfur
o3 - oxygen
cl1 - chlorine
cl2 - chlorine
; free hydrogen
h9 - hydrogen
; second free hydrogen
h10 - hydrogen
; CO2
c4 - carbon
o4 - oxygen
o5 - oxygen
)
(:init
; setup for problem 6
(bond c1 c2)
(bond c2 c1)
(bond c2 o1)
(bond o1 c2)
(bond h1 c1)
(bond h2 c1)
(bond h3 c1)
(bond c1 h1)
(bond c1 h2)
(bond c1 h3)
(bond c2 h4)
(bond c2 h5)
(bond h4 c2)
(bond h5 c2)
(bond o1 h6)
(bond h6 o1)
; PBr3
(bond p1 br1)
(bond p1 br2)
(bond p1 br3)
(bond br1 p1)
(bond br2 p1)
(bond br3 p1)
; Mg
; The carbonyl
(doublebond c3 o2)
(doublebond o2 c3)
(bond c3 h7)
(bond c3 h8)
(bond h7 c3)
(bond h8 c3)
; Second PBr3
(bond p2 br4)
(bond p2 br5)
(bond p2 br6)
(bond br4 p2)
(bond br5 p2)
(bond br6 p2)
; Second Mg
; Thionyl chloride
(doublebond su1 o3)
(doublebond o3 su1)
(bond cl1 su1)
(bond cl2 su1)
(bond su1 cl1)
(bond su1 cl2)
; free hydrogen
; second free hydrogen
; CO2
(doublebond c4 o4)
(doublebond c4 o5)
(doublebond o4 c4)
(doublebond o5 c4)
)
(:goal
(and
(bond c1 c2)
(bond c2 c3)
(bond c3 c4)
(bond h1 c1)
(bond h2 c1)
(bond c1 h3)
(bond h4 c2)
(bond h5 c2)
(bond h8 c3)
(bond c3 h7)
(doublebond c4 o5)
(bond c4 cl1)
)
)
)