forked from potassco/pddl-instances
-
Notifications
You must be signed in to change notification settings - Fork 1
/
p19.pddl
632 lines (632 loc) · 12.3 KB
/
p19.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
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
(define (problem p18v2)
(:domain organic-synthesis)
(:objects
; setup for problem 18
h100 - hydrogen
h101 - hydrogen
h102 - hydrogen
h103 - hydrogen
h104 - hydrogen
h105 - hydrogen
c100 - carbon
c101 - carbon
h50 - hydrogen
h51 - hydrogen
s1 - sulfur
o100 - oxygen
o101 - oxygen
h106 - hydrogen
h107 - hydrogen
h108 - hydrogen
h109 - hydrogen
; maleic anhydride
c1 - carbon
c2 - carbon
c3 - carbon
c4 - carbon
o1 - oxygen
o2 - oxygen
o3 - oxygen
h1 - hydrogen
h2 - hydrogen
; second starting material
c5 - carbon
c6 - carbon
c7 - carbon
c8 - carbon
c9 - carbon
c10 - carbon
c11 - carbon
c12 - carbon
c13 - carbon
c14 - carbon
c15 - carbon
c16 - carbon
c17 - carbon
h3 - hydrogen
h4 - hydrogen
h5 - hydrogen
h6 - hydrogen
h7 - hydrogen
h8 - hydrogen
h9 - hydrogen
h10 - hydrogen
h11 - hydrogen
h12 - hydrogen
h13 - hydrogen
h14 - hydrogen
h15 - hydrogen
h16 - hydrogen
o4 - oxygen
; ozone
o5 - oxygen
o6 - oxygen
o7 - oxygen
; LiAlH4
li1 - lithium
al1 - aluminium
h37 - hydrogen
h38 - hydrogen
h39 - hydrogen
h40 - hydrogen
; second LiAlH4
li2 - lithium
al2 - aluminium
h41 - hydrogen
h42 - hydrogen
h43 - hydrogen
h44 - hydrogen
; third LiAlH4
li3 - lithium
al3 - aluminium
h45 - hydrogen
h46 - hydrogen
h47 - hydrogen
h48 - hydrogen
; fourth LiAl
; first BnBr
br1 - bromine
c18 - carbon
c19 - carbon
c20 - carbon
c21 - carbon
c22 - carbon
c23 - carbon
c24 - carbon
h17 - hydrogen
h18 - hydrogen
h19 - hydrogen
h20 - hydrogen
h21 - hydrogen
h22 - hydrogen
h23 - hydrogen
; second BnBr
br2 - bromine
c25 - carbon
c26 - carbon
c27 - carbon
c28 - carbon
c29 - carbon
c30 - carbon
c31 - carbon
h24 - hydrogen
h25 - hydrogen
h26 - hydrogen
h27 - hydrogen
h28 - hydrogen
h29 - hydrogen
h30 - hydrogen
; third BnBr
br3 - bromine
c32 - carbon
c33 - carbon
c34 - carbon
c35 - carbon
c36 - carbon
c37 - carbon
c38 - carbon
h53 - hydrogen
h54 - hydrogen
h55 - hydrogen
h56 - hydrogen
h57 - hydrogen
h58 - hydrogen
h59 - hydrogen
; fourth BnBr
br4 - bromine
c39 - carbon
c40 - carbon
c41 - carbon
c42 - carbon
c43 - carbon
c44 - carbon
c45 - carbon
h60 - hydrogen
h61 - hydrogen
h62 - hydrogen
h63 - hydrogen
h64 - hydrogen
h65 - hydrogen
h66 - hydrogen
)
(:init
; setup for problem 18
(bond c100 h100)
(bond c100 h101)
(bond c100 h102)
(bond h100 c100)
(bond h101 c100)
(bond h102 c100)
(bond c101 h103)
(bond c101 h104)
(bond c101 h105)
(bond h103 c101)
(bond h104 c101)
(bond h105 c101)
(bond s1 c101)
(bond c101 s1)
(bond s1 c100)
(bond c100 s1)
(bond o100 h106)
(bond o100 h107)
(bond h106 o100)
(bond h107 o100)
(bond o101 h108)
(bond o101 h109)
(bond h108 o101)
(bond h109 o101)
; maleic anhydride
(doublebond c1 c2)
(doublebond c2 c1)
(bond c3 c1)
(bond c1 c3)
(bond c2 c4)
(bond c4 c2)
(doublebond c3 o1)
(doublebond o1 c3)
(bond c3 o2)
(bond o2 c3)
(bond o2 c4)
(bond c4 o2)
(doublebond c4 o3)
(doublebond o3 c4)
(bond c1 h1)
(bond c2 h2)
(bond h1 c1)
(bond h2 c2)
; second starting material
(AROMATICBOND c5 c6)
(AROMATICBOND c6 c7)
(AROMATICBOND c7 c8)
(AROMATICBOND c8 c9)
(AROMATICBOND c9 c10)
(AROMATICBOND c10 c5)
(AROMATICBOND c6 c5)
(AROMATICBOND c7 c6)
(AROMATICBOND c8 c7)
(AROMATICBOND c9 c8)
(AROMATICBOND c10 c9)
(AROMATICBOND c5 c10)
(bond c5 c11)
(bond c11 c5)
(bond c11 o4)
(bond o4 c11)
(bond o4 c12)
(bond c12 o4)
(bond c12 c13)
(bond c13 c12)
(bond c13 c14)
(doublebond c14 c15)
(bond c15 c16)
(doublebond c16 c17)
(bond c17 c13)
(bond c14 c13)
(doublebond c15 c14)
(bond c16 c15)
(doublebond c17 c16)
(bond c13 c17)
(bond c6 h3)
(bond c7 h4)
(bond c8 h5)
(bond c9 h6)
(bond c10 h7)
(bond h3 c6)
(bond h4 c7)
(bond h5 c8)
(bond h6 c9)
(bond h7 c10)
(bond h8 c11)
(bond h9 c11)
(bond c11 h8)
(bond c11 h9)
(bond h10 c12)
(bond h11 c12)
(bond c12 h10)
(bond c12 h11)
(bond c13 h12)
(bond c14 h13)
(bond c15 h14)
(bond c16 h15)
(bond c17 h16)
(bond h12 c13)
(bond h13 c14)
(bond h14 c15)
(bond h15 c16)
(bond h16 c17)
; ozone
(bond o5 o6)
(doublebond o5 o7)
(bond o6 o5)
(doublebond o7 o5)
; LiAlH4
(bond al1 li1)
(bond al1 h37)
(bond al1 h38)
(bond al1 h39)
(bond al1 h40)
(bond li1 al1)
(bond h37 al1)
(bond h38 al1)
(bond h39 al1)
(bond h40 al1)
; second LiAlH4
(bond al2 li2)
(bond al2 h41)
(bond al2 h42)
(bond al2 h43)
(bond al2 h44)
(bond li2 al2)
(bond h41 al2)
(bond h42 al2)
(bond h43 al2)
(bond h44 al2)
; third LiAlH4
(bond al3 h45)
(bond al3 h46)
(bond al3 h47)
(bond al3 h48)
(bond h45 al3)
(bond h46 al3)
(bond h47 al3)
(bond h48 al3)
; fourth LiAl
; first BnBr
(bond br1 c18)
(bond c18 br1)
(bond c18 c19)
(bond c19 c18)
(AROMATICBOND c19 c20)
(AROMATICBOND c20 c19)
(AROMATICBOND c20 c21)
(AROMATICBOND c21 c20)
(AROMATICBOND c21 c22)
(AROMATICBOND c22 c21)
(AROMATICBOND c22 c23)
(AROMATICBOND c23 c22)
(AROMATICBOND c23 c24)
(AROMATICBOND c24 c23)
(AROMATICBOND c19 c24)
(AROMATICBOND c24 c19)
(bond c18 h17)
(bond h17 c18)
(bond c18 h18)
(bond h18 c18)
(bond c20 h19)
(bond h19 c20)
(bond c21 h20)
(bond h20 c21)
(bond c22 h21)
(bond h21 c22)
(bond c23 h22)
(bond h22 c23)
(bond c24 h23)
(bond h23 c24)
; second BnBr
(bond br2 c25)
(bond c25 br2)
(bond c25 c26)
(bond c26 c25)
(AROMATICBOND c26 c27)
(AROMATICBOND c27 c26)
(AROMATICBOND c27 c28)
(AROMATICBOND c28 c27)
(AROMATICBOND c28 c29)
(AROMATICBOND c29 c28)
(AROMATICBOND c29 c30)
(AROMATICBOND c30 c29)
(AROMATICBOND c30 c31)
(AROMATICBOND c31 c30)
(AROMATICBOND c26 c31)
(AROMATICBOND c31 c26)
(bond c25 h24)
(bond h24 c25)
(bond c25 h25)
(bond h25 c25)
(bond c27 h26)
(bond h26 c27)
(bond c28 h27)
(bond h27 c28)
(bond c29 h28)
(bond h28 c29)
(bond c30 h29)
(bond h29 c30)
(bond c31 h30)
(bond h30 c31)
; third BnBr
(bond br3 c32)
(bond c32 br3)
(bond c32 c33)
(bond c33 c32)
(AROMATICBOND c33 c34)
(AROMATICBOND c34 c33)
(AROMATICBOND c34 c35)
(AROMATICBOND c35 c34)
(AROMATICBOND c35 c36)
(AROMATICBOND c36 c35)
(AROMATICBOND c36 c37)
(AROMATICBOND c37 c36)
(AROMATICBOND c37 c38)
(AROMATICBOND c38 c37)
(AROMATICBOND c33 c38)
(AROMATICBOND c38 c33)
(bond c32 h53)
(bond h53 c32)
(bond c32 h54)
(bond h54 c32)
(bond c34 h55)
(bond h55 c34)
(bond c35 h56)
(bond h56 c35)
(bond c36 h57)
(bond h57 c36)
(bond c37 h58)
(bond h58 c37)
(bond c38 h59)
(bond h59 c38)
; fourth BnBr
(bond br4 c39)
(bond c39 br4)
(bond c39 c40)
(bond c40 c39)
(AROMATICBOND c40 c41)
(AROMATICBOND c41 c40)
(AROMATICBOND c41 c42)
(AROMATICBOND c42 c41)
(AROMATICBOND c42 c43)
(AROMATICBOND c43 c42)
(AROMATICBOND c43 c44)
(AROMATICBOND c44 c43)
(AROMATICBOND c44 c45)
(AROMATICBOND c45 c44)
(AROMATICBOND c40 c45)
(AROMATICBOND c45 c40)
(bond c39 h60)
(bond h60 c39)
(bond c39 h61)
(bond h61 c39)
(bond c41 h62)
(bond h62 c41)
(bond c42 h63)
(bond h63 c42)
(bond c43 h64)
(bond h64 c43)
(bond c44 h65)
(bond h65 c44)
(bond c45 h66)
(bond h66 c45)
)
(:goal
(and
(bond c2 c1)
(bond c1 c2)
(bond c2 c17)
(bond c17 c2)
(bond c2 c4)
(bond c4 c2)
(bond c2 h2)
(bond h2 c2)
(bond c1 c14)
(bond c14 c1)
(bond c1 c3)
(bond c3 c1)
(bond c1 h1)
(bond h1 c1)
(bond c14 c13)
(bond c13 c14)
(bond c14 c15)
(bond c15 c14)
(bond c14 h13)
(bond h13 c14)
(bond c13 c12)
(bond c12 c13)
(bond c13 c17)
(bond c17 c13)
(bond c13 h12)
(bond h12 c13)
(bond c12 h10)
(bond h10 c12)
(bond c12 h11)
(bond h11 c12)
(bond c12 o4)
(bond o4 c12)
(bond o4 c11)
(bond c11 o4)
(bond c11 c5)
(bond c5 c11)
(bond c11 h8)
(bond h8 c11)
(bond c11 h9)
(bond h9 c11)
(aromaticbond c5 c10)
(aromaticbond c10 c5)
(aromaticbond c5 c6)
(aromaticbond c6 c5)
(bond c10 h7)
(bond h7 c10)
(aromaticbond c10 c9)
(aromaticbond c9 c10)
(bond c9 h6)
(bond h6 c9)
(aromaticbond c9 c8)
(aromaticbond c8 c9)
(bond c8 h5)
(bond h5 c8)
(aromaticbond c8 c7)
(aromaticbond c7 c8)
(bond c7 h4)
(bond h4 c7)
(aromaticbond c7 c6)
(aromaticbond c6 c7)
(bond c6 h3)
(bond h3 c6)
(bond c17 c16)
(bond c16 c17)
(bond c17 h16)
(bond h16 c17)
(bond c16 h15)
(bond h15 c16)
(bond c16 h41)
(bond h41 c16)
(bond c16 o7)
(bond o7 c16)
(bond o7 c39)
(bond c39 o7)
(bond c39 c40)
(bond c40 c39)
(bond c39 h60)
(bond h60 c39)
(bond c39 h61)
(bond h61 c39)
(aromaticbond c40 c41)
(aromaticbond c41 c40)
(aromaticbond c40 c45)
(aromaticbond c45 c40)
(bond c41 h62)
(bond h62 c41)
(aromaticbond c41 c42)
(aromaticbond c42 c41)
(bond c42 h63)
(bond h63 c42)
(aromaticbond c42 c43)
(aromaticbond c43 c42)
(bond c43 h64)
(bond h64 c43)
(aromaticbond c43 c44)
(aromaticbond c44 c43)
(bond c44 h65)
(bond h65 c44)
(aromaticbond c44 c45)
(aromaticbond c45 c44)
(bond c45 h66)
(bond h66 c45)
(bond c15 h14)
(bond h14 c15)
(bond c15 h37)
(bond h37 c15)
(bond c15 o5)
(bond o5 c15)
(bond o5 c32)
(bond c32 o5)
(bond c32 c33)
(bond c33 c32)
(bond c32 h53)
(bond h53 c32)
(bond c32 h54)
(bond h54 c32)
(aromaticbond c33 c34)
(aromaticbond c34 c33)
(aromaticbond c33 c38)
(aromaticbond c38 c33)
(bond c34 h55)
(bond h55 c34)
(aromaticbond c34 c35)
(aromaticbond c35 c34)
(bond c35 h56)
(bond h56 c35)
(aromaticbond c35 c36)
(aromaticbond c36 c35)
(bond c36 h57)
(bond h57 c36)
(aromaticbond c36 c37)
(aromaticbond c37 c36)
(bond c37 h58)
(bond h58 c37)
(aromaticbond c37 c38)
(aromaticbond c38 c37)
(bond c38 h59)
(bond h59 c38)
(bond c3 h46)
(bond h46 c3)
(bond c3 h45)
(bond h45 c3)
(bond c3 o1)
(bond o1 c3)
(bond o1 c18)
(bond c18 o1)
(bond c18 c19)
(bond c19 c18)
(bond c18 h17)
(bond h17 c18)
(bond c18 h18)
(bond h18 c18)
(aromaticbond c19 c20)
(aromaticbond c20 c19)
(aromaticbond c19 c24)
(aromaticbond c24 c19)
(bond c20 h19)
(bond h19 c20)
(aromaticbond c20 c21)
(aromaticbond c21 c20)
(bond c21 h20)
(bond h20 c21)
(aromaticbond c21 c22)
(aromaticbond c22 c21)
(bond c22 h21)
(bond h21 c22)
(aromaticbond c22 c23)
(aromaticbond c23 c22)
(bond c23 h22)
(bond h22 c23)
(aromaticbond c23 c24)
(aromaticbond c24 c23)
(bond c24 h23)
(bond h23 c24)
(bond c4 h48)
(bond h48 c4)
(bond c4 h47)
(bond h47 c4)
(bond c4 o3)
(bond o3 c4)
(bond o3 c25)
(bond c25 o3)
(bond c25 c26)
(bond c26 c25)
(bond c25 h24)
(bond h24 c25)
(bond c25 h25)
(bond h25 c25)
(aromaticbond c26 c27)
(aromaticbond c27 c26)
(aromaticbond c26 c31)
(aromaticbond c31 c26)
(bond c27 h26)
(bond h26 c27)
(aromaticbond c27 c28)
(aromaticbond c28 c27)
(bond c28 h27)
(bond h27 c28)
(aromaticbond c28 c29)
(aromaticbond c29 c28)
(bond c29 h28)
(bond h28 c29)
(aromaticbond c29 c30)
(aromaticbond c30 c29)
(bond c30 h29)
(bond h29 c30)
(aromaticbond c30 c31)
(aromaticbond c31 c30)
(bond c31 h30)
(bond h30 c31)
)
)
)