forked from aibasel/downward-benchmarks
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathd-3-2.pddl
22 lines (21 loc) · 2.23 KB
/
d-3-2.pddl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
;; original sequence 1: (1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 -76 -75 -74 -73 -72 -71 -70 -69 -68 -67 -66 -65 -64 -63 -62 -61 -60 -59 -58 -57 -56 -53 -52 -51 -50 -49 -39 -38 -37 28 29 30 31 32 33 34 35 40 26 27 -44 -43 -42 -41 45 46 47 48 -36 -25 -24 -23 -22 -21 -20 -19 -18 -17 -16 -90 -89 -88 -87 -86 -85 -84 77 78 79 80 81 82 83 91 92 93 94 95 96 -55 -54 -105 -104 -103 -102 -101 -100 -99 -98 -97)
;; original sequence 2: (1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 -76 -75 -74 -73 -72 -71 -70 -69 -68 -67 -66 -65 -64 -63 -62 -61 -60 -59 -58 -57 -56 -53 -52 -51 -50 -49 -39 -38 -37 40 -35 -34 -33 -32 -31 -30 -29 -28 -27 -26 -44 -43 -42 -41 45 46 47 48 -36 -25 -24 -23 -22 -21 -20 -19 -18 -17 -16 -90 -89 -88 -87 -86 -85 -84 77 78 79 80 81 82 83 91 92 93 94 95 96 -55 -54 -105 -104 -103 -102 -101 -100 -99 -98 -97)
;; simplified sequence 1: (107 108 40 109 106)
;; simplified sequence 2: (107 40 -108 -109 106)
;; common subsequences: (((-44 -43 -42 -41 45 46 47 48 -36 -25 -24 -23 -22 -21 -20 -19 -18 -17 -16 -90 -89 -88 -87 -86 -85 -84 77 78 79 80 81 82 83 91 92 93 94 95 96 -55 -54 -105 -104 -103 -102 -101 -100 -99 -98 -97) . 106) ((1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 -76 -75 -74 -73 -72 -71 -70 -69 -68 -67 -66 -65 -64 -63 -62 -61 -60 -59 -58 -57 -56 -53 -52 -51 -50 -49 -39 -38 -37) . 107) ((28 29 30 31 32 33 34 35) . 108) ((26 27) . 109))
;; #safe insertions/deletions: 0
;; sequence 1 (names): ((NORMAL SUB2) (NORMAL SUB3) (NORMAL G40) (NORMAL SUB4) (NORMAL SUB1))
;; sequence 2 (names): ((NORMAL SUB2) (NORMAL G40) (INVERTED SUB3) (INVERTED SUB4) (NORMAL SUB1))
(DEFINE (PROBLEM ADENOPHORA-TO-CAMPANULA)
(:DOMAIN GENOME-EDIT-DISTANCE)
(:OBJECTS SUB4 SUB3 SUB2 SUB1 G40)
(:INIT (NORMAL SUB2) (NORMAL SUB3) (NORMAL G40) (NORMAL SUB4)
(NORMAL SUB1) (PRESENT SUB2) (PRESENT SUB3)
(PRESENT G40) (PRESENT SUB4) (PRESENT SUB1)
(CW SUB1 SUB2) (CW SUB4 SUB1) (CW G40 SUB4)
(CW SUB3 G40) (CW SUB2 SUB3) (IDLE) (= (TOTAL-COST) 0))
(:GOAL (AND (NORMAL SUB2) (NORMAL G40) (INVERTED SUB3)
(INVERTED SUB4) (NORMAL SUB1) (CW SUB1 SUB2)
(CW SUB4 SUB1) (CW SUB3 SUB4) (CW G40 SUB3)
(CW SUB2 G40)))
(:METRIC MINIMIZE (TOTAL-COST)))