forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p01.pddl
92 lines (92 loc) · 1.53 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
(define (problem mit_p08)
(:domain organic-synthesis-split)
(:objects
c1 - carbon
c2 - carbon
c3 - carbon
c4 - carbon
cl1 - chlorine
cl3 - chlorine
cl4 - chlorine
cl5 - chlorine
h1 - hydrogen
h17 - hydrogen
h18 - hydrogen
h19 - hydrogen
h2 - hydrogen
h3 - hydrogen
h4 - hydrogen
h5 - hydrogen
h56 - hydrogen
h6 - hydrogen
h7 - hydrogen
n1 - nitrogen
o1 - oxygen
o5 - oxygen
p1 - phosphorus
)
(:init
(bond c1 h1)
(bond h1 c1)
(bond c1 h2)
(bond h2 c1)
(bond c1 h3)
(bond h3 c1)
(bond c1 c3)
(bond c3 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 c3 h7)
(bond h7 c3)
(bond c3 c4)
(bond c4 c3)
(bond c4 h56)
(bond h56 c4)
(bond c4 cl1)
(bond cl1 c4)
(doublebond c4 o1)
(doublebond o1 c4)
(bond cl3 p1)
(bond p1 cl3)
(bond cl4 p1)
(bond p1 cl4)
(bond cl5 p1)
(bond p1 cl5)
(bond h17 n1)
(bond n1 h17)
(bond h18 n1)
(bond n1 h18)
(bond h19 n1)
(bond n1 h19)
(doublebond o5 p1)
(doublebond p1 o5)
(procnone)
(= (total-cost) 0)
)
(:goal
(and
(procnone)
(triplebond n1 c4)
(triplebond c4 n1)
(bond h7 c3)
(bond c3 h7)
(bond c4 c3)
(bond c3 c4)
(bond h6 c2)
(bond c2 h6)
(bond h5 c2)
(bond c2 h5)
(bond h4 c2)
(bond c2 h4)
(bond c3 c2)
(bond c2 c3)
)
)
(:metric minimize (total-cost))
)