Commit 5d138df3 authored by danfis's avatar danfis

Fixed test for compiling away cond eff from strips.

parent 27ed07e5
---- Domain: pddl-data/various/molgen/domain.pddl | pddl-data/various/molgen/p01.pddl ----
Vars (29):
Vars (19):
Var 0:
0: NOT-cleaved e-coli-exosome (0)
1: none-of-those (1)
......@@ -19,155 +19,101 @@ Vars (29):
3: contains e-coli-exosome insulin-gene (11)
4: contains e-coli-exosome junk-exosome (12)
Var 5:
0: NOT-cleaved antibiotic-1 (13)
0: molecule e-coli-exosome (13)
1: none-of-those (14)
Var 6:
0: NOT-cleaved junk (15)
0: molecule junk-exosome (15)
1: none-of-those (16)
Var 7:
0: NOT-double-strand antibiotic-1 (17)
1: none-of-those (18)
0: cleavable junk-exosome (17)
1: cleaved junk-exosome (18)
2: contains junk-exosome e-coli-exosome (19)
3: contains junk-exosome insulin-gene (20)
4: contains junk-exosome junk (21)
Var 8:
0: NOT-double-strand e-coli-exosome (19)
1: none-of-those (20)
0: molecule insulin-gene (22)
1: none-of-those (23)
Var 9:
0: NOT-double-strand junk-exosome (21)
1: none-of-those (22)
0: molecule linker (24)
1: none-of-those (25)
Var 10:
0: molecule e-coli-exosome (23)
1: none-of-those (24)
0: cleavable insulin-gene (26)
1: none-of-those (27)
Var 11:
0: molecule junk-exosome (25)
1: none-of-those (26)
0: cleaved insulin-gene (28)
1: none-of-those (29)
Var 12:
0: cleavable junk-exosome (27)
1: cleaved junk-exosome (28)
2: contains junk-exosome e-coli-exosome (29)
3: contains junk-exosome insulin-gene (30)
4: contains junk-exosome junk (31)
0: connected-cdna-mrna insulin-gene (30)
1: none-of-those (31)
Var 13:
0: NOT-cleaved e-coli (32)
0: contains insulin-gene e-coli-exosome (32)
1: none-of-those (33)
Var 14:
0: NOT-cleaved linker (34)
0: contains insulin-gene junk-exosome (34)
1: none-of-those (35)
Var 15:
0: NOT-double-strand e-coli (36)
0: double-strand insulin-gene (36)
1: none-of-those (37)
Var 16:
0: NOT-double-strand junk (38)
0: hair-pin insulin-gene (38)
1: none-of-those (39)
Var 17:
0: NOT-double-strand linker (40)
0: pure e-coli (40)
1: none-of-those (41)
Var 18:
0: molecule insulin-gene (42)
0: single-strand insulin-gene (42)
1: none-of-those (43)
Var 19:
0: molecule linker (44)
1: none-of-those (45)
Var 20:
0: cleavable insulin-gene (46)
1: none-of-those (47)
Var 21:
0: cleaved insulin-gene (48)
1: none-of-those (49)
Var 22:
0: connected-cdna-mrna insulin-gene (50)
1: none-of-those (51)
Var 23:
0: contains insulin-gene e-coli-exosome (52)
1: none-of-those (53)
Var 24:
0: contains insulin-gene junk-exosome (54)
1: none-of-those (55)
Var 25:
0: double-strand insulin-gene (56)
1: none-of-those (57)
Var 26:
0: hair-pin insulin-gene (58)
1: none-of-those (59)
Var 27:
0: pure e-coli (60)
1: none-of-those (61)
Var 28:
0: single-strand insulin-gene (62)
1: none-of-those (63)
0: cleave e-coli-exosome, cost: 1
pre: 4:0
eff: 0:1 4:1
1: cleave insulin-gene, cost: 1
pre: 20:0
eff: 1:1 20:1 21:0
pre: 10:0
eff: 1:1 10:1 11:0
2: cleave junk-exosome, cost: 1
pre: 12:0
eff: 2:1 12:1
pre: 7:0
eff: 2:1 7:1
3: digest insulin-gene, cost: 1
pre: 26:0
eff: 3:1 25:0 26:1
pre: 16:0
eff: 3:1 15:0 16:1
4: ligate e-coli-exosome insulin-gene, cost: 1
pre: 3:0 4:1 21:0
eff: 0:0 1:0 4:3 20:0 21:1
5: ligate e-coli-exosome insulin-gene, cost: 1
pre: 4:1 21:0
eff: 0:0 1:0 4:3 20:0 21:1
6: ligate e-coli-exosome junk-exosome, cost: 1
pre: 4:1 9:0 12:1
eff: 0:0 2:0 4:4 12:0
7: ligate e-coli-exosome junk-exosome, cost: 1
pre: 4:1 12:1
eff: 0:0 2:0 4:4 12:0
8: ligate insulin-gene e-coli-exosome, cost: 1
pre: 4:1 8:0 21:0
eff: 0:0 1:0 4:0 21:1 23:0
9: ligate insulin-gene e-coli-exosome, cost: 1
pre: 4:1 21:0
eff: 0:0 1:0 4:0 21:1 23:0
10: ligate insulin-gene junk-exosome, cost: 1
pre: 9:0 12:1 21:0
eff: 1:0 2:0 12:0 21:1 24:0
11: ligate insulin-gene junk-exosome, cost: 1
pre: 12:1 21:0
eff: 1:0 2:0 12:0 21:1 24:0
12: ligate junk-exosome e-coli-exosome, cost: 1
pre: 4:1 8:0 12:1
eff: 0:0 2:0 4:0 12:2
13: ligate junk-exosome e-coli-exosome, cost: 1
pre: 4:1 12:1
eff: 0:0 2:0 4:0 12:2
14: ligate junk-exosome insulin-gene, cost: 1
pre: 3:0 12:1 21:0
eff: 1:0 2:0 12:3 20:0 21:1
15: ligate junk-exosome insulin-gene, cost: 1
pre: 12:1 21:0
eff: 1:0 2:0 12:3 20:0 21:1
16: ligate linker insulin-gene, cost: 1
pre: 1:0 25:0
eff: 20:0
17: ligate linker insulin-gene, cost: 1
pre: 14:0 25:0
eff: 20:0
18: ligate linker insulin-gene, cost: 1
pre: 25:0
eff: 20:0
19: polymerize insulin-gene, cost: 1
pre: 28:0
eff: 26:0 28:1
20: reverse-transcribe insulin-gene, cost: 1
pre: 4:1 11:0
eff: 0:0 1:0 4:3 10:0 11:1
5: ligate e-coli-exosome junk-exosome, cost: 1
pre: 4:1 7:1
eff: 0:0 2:0 4:4 7:0
6: ligate insulin-gene e-coli-exosome, cost: 1
pre: 4:1 11:0
eff: 0:0 1:0 4:0 11:1 13:0
7: ligate insulin-gene junk-exosome, cost: 1
pre: 7:1 11:0
eff: 1:0 2:0 7:0 11:1 14:0
8: ligate junk-exosome e-coli-exosome, cost: 1
pre: 4:1 7:1
eff: 0:0 2:0 4:0 7:2
9: ligate junk-exosome insulin-gene, cost: 1
pre: 7:1 11:0
eff: 1:0 2:0 7:3 10:0 11:1
10: ligate linker insulin-gene, cost: 1
pre: 15:0
eff: 10:0
11: polymerize insulin-gene, cost: 1
pre: 18:0
eff: 16:0 18:1
12: reverse-transcribe insulin-gene, cost: 1
pre:
eff: 22:0
21: screen e-coli e-coli-exosome antibiotic-1, cost: 1
eff: 12:0
13: screen e-coli e-coli-exosome antibiotic-1, cost: 1
pre: 4:2
eff: 27:0
22: separate insulin-gene, cost: 1
pre: 22:0
eff: 22:1 28:0
23: transform e-coli-exosome e-coli, cost: 1
eff: 17:0
14: separate insulin-gene, cost: 1
pre: 12:0
eff: 12:1 18:0
15: transform e-coli-exosome e-coli, cost: 1
pre: 4:0
eff: 4:2
24: transform junk-exosome junk, cost: 1
pre: 12:0
eff: 12:4
Init: 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1
Goal: 4:2 23:0 27:0
16: transform junk-exosome junk, cost: 1
pre: 7:0
eff: 7:4
Init: 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1
Goal: 4:2 13:0 17:0
---- Domain: pddl-data/various/molgen/domain.pddl | pddl-data/various/molgen/p01.pddl END ----
---- Domain: pddl-data/various/molgen/domain.pddl | pddl-data/various/molgen/p01.pddl ----
init: 1, goal: 1, fa: 1, exactly_1: 1 :: (cleavable e-coli-exosome) (cleaved e-coli-exosome) (contains e-coli-exosome e-coli) (contains e-coli-exosome insulin-gene) (contains e-coli-exosome junk-exosome)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (cleavable junk-exosome) (cleaved junk-exosome) (contains junk-exosome e-coli-exosome) (contains junk-exosome insulin-gene) (contains junk-exosome junk)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-cleaved antibiotic-1)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-cleaved e-coli)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-cleaved junk)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-cleaved linker)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-double-strand antibiotic-1)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-double-strand e-coli)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-double-strand e-coli-exosome)
init: 1, goal: 0, fa: 1, exactly_1: 0 :: (NOT-double-strand insulin-gene)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-double-strand junk)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-double-strand junk-exosome)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-double-strand linker)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (molecule e-coli-exosome)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (molecule insulin-gene)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (molecule junk-exosome)
......@@ -35,17 +25,7 @@ init: 1, goal: 0, fa: 1, exactly_1: 0 :: (cleavable junk-exosome) (cleaved junk-
init: 1, goal: 0, fa: 1, exactly_1: 0 :: (cleavable junk-exosome) (cleaved junk-exosome) (contains junk-exosome junk)
init: 1, goal: 0, fa: 1, exactly_1: 0 :: (cleavable e-coli-exosome) (cleaved e-coli-exosome)
init: 1, goal: 0, fa: 1, exactly_1: 0 :: (cleavable junk-exosome) (cleaved junk-exosome)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-cleaved antibiotic-1)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-cleaved e-coli)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-cleaved junk)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-cleaved linker)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-double-strand antibiotic-1)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-double-strand e-coli)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-double-strand e-coli-exosome)
init: 1, goal: 0, fa: 1, exactly_1: 0 :: (NOT-double-strand insulin-gene)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-double-strand junk)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-double-strand junk-exosome)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (NOT-double-strand linker)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (molecule e-coli-exosome)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (molecule insulin-gene)
init: 1, goal: 0, fa: 1, exactly_1: 1 :: (molecule junk-exosome)
......@@ -55,9 +35,7 @@ Dead-end-op:
init: 1, goal: 1, fa: 1, exactly_1: 0 :: (cleavable e-coli-exosome) (cleaved e-coli-exosome) (contains e-coli-exosome e-coli) (contains e-coli-exosome insulin-gene)
init: 1, goal: 1, fa: 1, exactly_1: 0 :: (cleavable e-coli-exosome) (cleaved e-coli-exosome) (contains e-coli-exosome e-coli) (contains e-coli-exosome junk-exosome)
init: 1, goal: 1, fa: 1, exactly_1: 0 :: (cleavable e-coli-exosome) (cleaved e-coli-exosome) (contains e-coli-exosome e-coli)
Additional dead end operators (4):
Additional dead end operators (2):
ligate e-coli-exosome insulin-gene
ligate e-coli-exosome insulin-gene
ligate e-coli-exosome junk-exosome
ligate e-coli-exosome junk-exosome
---- Domain: pddl-data/various/molgen/domain.pddl | pddl-data/various/molgen/p01.pddl END ----
---- Domain: pddl-data/various/wumpus/domain.pddl | pddl-data/various/wumpus/p01.pddl ----
(NOT-alive agent-1)+(alive agent-1)
(NOT-alive agent-1)+(at agent-1 s-1-1)
(NOT-alive agent-1)+(at agent-1 s-1-3)
(NOT-alive agent-1)+(at agent-1 s-2-1)
(NOT-alive agent-1)+(at agent-1 s-2-2)
(NOT-alive agent-1)+(have agent-1 agent-1)
(NOT-alive wumpus-1)+(alive wumpus-1)
(NOT-alive wumpus-1)+(at wumpus-1 s-2-3)
(NOT-alive wumpus-1)+(have agent-1 arrow-1)
(NOT-alive wumpus-1)+(have agent-1 wumpus-1)
(NOT-at agent-1 s-1-1)+(at agent-1 s-1-1)
(NOT-at agent-1 s-1-2)+(at agent-1 s-1-2)
(NOT-at agent-1 s-1-3)+(at agent-1 s-1-3)
(NOT-at agent-1 s-2-1)+(at agent-1 s-2-1)
(NOT-at agent-1 s-2-2)+(at agent-1 s-2-2)
(NOT-at agent-1 s-2-3)+(at agent-1 s-2-3)
(NOT-at gold-1 s-1-3)+(at gold-1 s-1-3)
(NOT-at wumpus-1 s-2-3)+(at wumpus-1 s-2-3)
(alive agent-1)+(at agent-1 s-1-2)
(at agent-1 s-1-1)+(at agent-1 s-1-2)
......
---- Domain: pddl-data/various/wumpus/domain.pddl | pddl-data/various/wumpus/p01.pddl ----
(NOT-alive agent-1)+(alive agent-1)
(NOT-alive agent-1)+(at agent-1 s-1-1)
(NOT-alive agent-1)+(at agent-1 s-1-3)
(NOT-alive agent-1)+(at agent-1 s-2-1)
(NOT-alive agent-1)+(at agent-1 s-2-2)
(NOT-alive agent-1)+(have agent-1 agent-1)
(NOT-alive agent-1)+(have agent-1 wumpus-1)
(NOT-alive arrow-1)+(have agent-1 wumpus-1)
(NOT-alive gold-1)+(have agent-1 wumpus-1)
(NOT-alive s-1-1)+(have agent-1 wumpus-1)
(NOT-alive s-1-2)+(have agent-1 wumpus-1)
(NOT-alive s-1-3)+(have agent-1 wumpus-1)
(NOT-alive s-2-1)+(have agent-1 wumpus-1)
(NOT-alive s-2-2)+(have agent-1 wumpus-1)
(NOT-alive s-2-3)+(have agent-1 wumpus-1)
(NOT-alive wumpus-1)+(alive wumpus-1)
(NOT-alive wumpus-1)+(at wumpus-1 s-2-3)
(NOT-alive wumpus-1)+(have agent-1 arrow-1)
(NOT-alive wumpus-1)+(have agent-1 wumpus-1)
(NOT-at agent-1 agent-1)+(have agent-1 wumpus-1)
(NOT-at agent-1 arrow-1)+(have agent-1 wumpus-1)
(NOT-at agent-1 gold-1)+(have agent-1 wumpus-1)
(NOT-at agent-1 s-1-1)+(at agent-1 s-1-1)
(NOT-at agent-1 s-1-1)+(have agent-1 wumpus-1)
(NOT-at agent-1 s-1-2)+(at agent-1 s-1-2)
(NOT-at agent-1 s-1-2)+(have agent-1 wumpus-1)
(NOT-at agent-1 s-1-3)+(at agent-1 s-1-3)
(NOT-at agent-1 s-1-3)+(have agent-1 wumpus-1)
(NOT-at agent-1 s-2-1)+(at agent-1 s-2-1)
(NOT-at agent-1 s-2-1)+(have agent-1 wumpus-1)
(NOT-at agent-1 s-2-2)+(at agent-1 s-2-2)
(NOT-at agent-1 s-2-2)+(have agent-1 wumpus-1)
(NOT-at agent-1 s-2-3)+(at agent-1 s-2-3)
(NOT-at agent-1 s-2-3)+(have agent-1 wumpus-1)
(NOT-at agent-1 wumpus-1)+(have agent-1 wumpus-1)
(NOT-at arrow-1 agent-1)+(have agent-1 wumpus-1)
(NOT-at arrow-1 arrow-1)+(have agent-1 wumpus-1)
(NOT-at arrow-1 gold-1)+(have agent-1 wumpus-1)
(NOT-at arrow-1 s-1-1)+(have agent-1 wumpus-1)
(NOT-at arrow-1 s-1-2)+(have agent-1 wumpus-1)
(NOT-at arrow-1 s-1-3)+(have agent-1 wumpus-1)
(NOT-at arrow-1 s-2-1)+(have agent-1 wumpus-1)
(NOT-at arrow-1 s-2-2)+(have agent-1 wumpus-1)
(NOT-at arrow-1 s-2-3)+(have agent-1 wumpus-1)
(NOT-at arrow-1 wumpus-1)+(have agent-1 wumpus-1)
(NOT-at gold-1 agent-1)+(have agent-1 wumpus-1)
(NOT-at gold-1 arrow-1)+(have agent-1 wumpus-1)
(NOT-at gold-1 gold-1)+(have agent-1 wumpus-1)
(NOT-at gold-1 s-1-1)+(have agent-1 wumpus-1)
(NOT-at gold-1 s-1-2)+(have agent-1 wumpus-1)
(NOT-at gold-1 s-1-3)+(alive wumpus-1)
(NOT-at gold-1 s-1-3)+(at gold-1 s-1-3)
(NOT-at gold-1 s-1-3)+(at wumpus-1 s-2-3)
(NOT-at gold-1 s-1-3)+(have agent-1 arrow-1)
(NOT-at gold-1 s-1-3)+(have agent-1 wumpus-1)
(NOT-at gold-1 s-2-1)+(have agent-1 wumpus-1)
(NOT-at gold-1 s-2-2)+(have agent-1 wumpus-1)
(NOT-at gold-1 s-2-3)+(have agent-1 wumpus-1)
(NOT-at gold-1 wumpus-1)+(have agent-1 wumpus-1)
(NOT-at s-1-1 agent-1)+(have agent-1 wumpus-1)
(NOT-at s-1-1 arrow-1)+(have agent-1 wumpus-1)
(NOT-at s-1-1 gold-1)+(have agent-1 wumpus-1)
(NOT-at s-1-1 s-1-1)+(have agent-1 wumpus-1)
(NOT-at s-1-1 s-1-2)+(have agent-1 wumpus-1)
(NOT-at s-1-1 s-1-3)+(have agent-1 wumpus-1)
(NOT-at s-1-1 s-2-1)+(have agent-1 wumpus-1)
(NOT-at s-1-1 s-2-2)+(have agent-1 wumpus-1)
(NOT-at s-1-1 s-2-3)+(have agent-1 wumpus-1)
(NOT-at s-1-1 wumpus-1)+(have agent-1 wumpus-1)
(NOT-at s-1-2 agent-1)+(have agent-1 wumpus-1)
(NOT-at s-1-2 arrow-1)+(have agent-1 wumpus-1)
(NOT-at s-1-2 gold-1)+(have agent-1 wumpus-1)
(NOT-at s-1-2 s-1-1)+(have agent-1 wumpus-1)
(NOT-at s-1-2 s-1-2)+(have agent-1 wumpus-1)
(NOT-at s-1-2 s-1-3)+(have agent-1 wumpus-1)
(NOT-at s-1-2 s-2-1)+(have agent-1 wumpus-1)
(NOT-at s-1-2 s-2-2)+(have agent-1 wumpus-1)
(NOT-at s-1-2 s-2-3)+(have agent-1 wumpus-1)
(NOT-at s-1-2 wumpus-1)+(have agent-1 wumpus-1)
(NOT-at s-1-3 agent-1)+(have agent-1 wumpus-1)
(NOT-at s-1-3 arrow-1)+(have agent-1 wumpus-1)
(NOT-at s-1-3 gold-1)+(have agent-1 wumpus-1)
(NOT-at s-1-3 s-1-1)+(have agent-1 wumpus-1)
(NOT-at s-1-3 s-1-2)+(have agent-1 wumpus-1)
(NOT-at s-1-3 s-1-3)+(have agent-1 wumpus-1)
(NOT-at s-1-3 s-2-1)+(have agent-1 wumpus-1)
(NOT-at s-1-3 s-2-2)+(have agent-1 wumpus-1)
(NOT-at s-1-3 s-2-3)+(have agent-1 wumpus-1)
(NOT-at s-1-3 wumpus-1)+(have agent-1 wumpus-1)
(NOT-at s-2-1 agent-1)+(have agent-1 wumpus-1)
(NOT-at s-2-1 arrow-1)+(have agent-1 wumpus-1)
(NOT-at s-2-1 gold-1)+(have agent-1 wumpus-1)
(NOT-at s-2-1 s-1-1)+(have agent-1 wumpus-1)
(NOT-at s-2-1 s-1-2)+(have agent-1 wumpus-1)
(NOT-at s-2-1 s-1-3)+(have agent-1 wumpus-1)
(NOT-at s-2-1 s-2-1)+(have agent-1 wumpus-1)
(NOT-at s-2-1 s-2-2)+(have agent-1 wumpus-1)
(NOT-at s-2-1 s-2-3)+(have agent-1 wumpus-1)
(NOT-at s-2-1 wumpus-1)+(have agent-1 wumpus-1)
(NOT-at s-2-2 agent-1)+(have agent-1 wumpus-1)
(NOT-at s-2-2 arrow-1)+(have agent-1 wumpus-1)
(NOT-at s-2-2 gold-1)+(have agent-1 wumpus-1)
(NOT-at s-2-2 s-1-1)+(have agent-1 wumpus-1)
(NOT-at s-2-2 s-1-2)+(have agent-1 wumpus-1)
(NOT-at s-2-2 s-1-3)+(have agent-1 wumpus-1)
(NOT-at s-2-2 s-2-1)+(have agent-1 wumpus-1)
(NOT-at s-2-2 s-2-2)+(have agent-1 wumpus-1)
(NOT-at s-2-2 s-2-3)+(have agent-1 wumpus-1)
(NOT-at s-2-2 wumpus-1)+(have agent-1 wumpus-1)
(NOT-at s-2-3 agent-1)+(have agent-1 wumpus-1)
(NOT-at s-2-3 arrow-1)+(have agent-1 wumpus-1)
(NOT-at s-2-3 gold-1)+(have agent-1 wumpus-1)
(NOT-at s-2-3 s-1-1)+(have agent-1 wumpus-1)
(NOT-at s-2-3 s-1-2)+(have agent-1 wumpus-1)
(NOT-at s-2-3 s-1-3)+(have agent-1 wumpus-1)
(NOT-at s-2-3 s-2-1)+(have agent-1 wumpus-1)
(NOT-at s-2-3 s-2-2)+(have agent-1 wumpus-1)
(NOT-at s-2-3 s-2-3)+(have agent-1 wumpus-1)
(NOT-at s-2-3 wumpus-1)+(have agent-1 wumpus-1)
(NOT-at wumpus-1 agent-1)+(have agent-1 wumpus-1)
(NOT-at wumpus-1 arrow-1)+(have agent-1 wumpus-1)
(NOT-at wumpus-1 gold-1)+(have agent-1 wumpus-1)
(NOT-at wumpus-1 s-1-1)+(have agent-1 wumpus-1)
(NOT-at wumpus-1 s-1-2)+(have agent-1 wumpus-1)
(NOT-at wumpus-1 s-1-3)+(have agent-1 wumpus-1)
(NOT-at wumpus-1 s-2-1)+(have agent-1 wumpus-1)
(NOT-at wumpus-1 s-2-2)+(have agent-1 wumpus-1)
(NOT-at wumpus-1 s-2-3)+(alive wumpus-1)
(NOT-at wumpus-1 s-2-3)+(at wumpus-1 s-2-3)
(NOT-at wumpus-1 s-2-3)+(have agent-1 arrow-1)
(NOT-at wumpus-1 s-2-3)+(have agent-1 wumpus-1)
(NOT-at wumpus-1 wumpus-1)+(have agent-1 wumpus-1)
(alive agent-1)+(at agent-1 s-1-2)
(alive agent-1)+(have agent-1 wumpus-1)
(alive wumpus-1)+(at agent-1 s-1-3)
......
Size: 24
5 6 :: (ligate e-coli-exosome insulin-gene) (ligate e-coli-exosome junk-exosome)
5 7 :: (ligate e-coli-exosome insulin-gene) (ligate e-coli-exosome junk-exosome)
5 21 :: (ligate e-coli-exosome insulin-gene) (screen e-coli e-coli-exosome antibiotic-1)
5 23 :: (ligate e-coli-exosome insulin-gene) (transform e-coli-exosome e-coli)
6 7 :: (ligate e-coli-exosome junk-exosome) (ligate e-coli-exosome junk-exosome)
6 21 :: (ligate e-coli-exosome junk-exosome) (screen e-coli e-coli-exosome antibiotic-1)
6 23 :: (ligate e-coli-exosome junk-exosome) (transform e-coli-exosome e-coli)
7 21 :: (ligate e-coli-exosome junk-exosome) (screen e-coli e-coli-exosome antibiotic-1)
7 23 :: (ligate e-coli-exosome junk-exosome) (transform e-coli-exosome e-coli)
12 13 :: (ligate junk-exosome e-coli-exosome) (ligate junk-exosome e-coli-exosome)
12 14 :: (ligate junk-exosome e-coli-exosome) (ligate junk-exosome insulin-gene)
12 15 :: (ligate junk-exosome e-coli-exosome) (ligate junk-exosome insulin-gene)
12 24 :: (ligate junk-exosome e-coli-exosome) (transform junk-exosome junk)
13 14 :: (ligate junk-exosome e-coli-exosome) (ligate junk-exosome insulin-gene)
13 15 :: (ligate junk-exosome e-coli-exosome) (ligate junk-exosome insulin-gene)
13 24 :: (ligate junk-exosome e-coli-exosome) (transform junk-exosome junk)
14 15 :: (ligate junk-exosome insulin-gene) (ligate junk-exosome insulin-gene)
14 24 :: (ligate junk-exosome insulin-gene) (transform junk-exosome junk)
15 24 :: (ligate junk-exosome insulin-gene) (transform junk-exosome junk)
Size: 8
5 13 :: (ligate e-coli-exosome junk-exosome) (screen e-coli e-coli-exosome antibiotic-1)
5 15 :: (ligate e-coli-exosome junk-exosome) (transform e-coli-exosome e-coli)
8 9 :: (ligate junk-exosome e-coli-exosome) (ligate junk-exosome insulin-gene)
8 16 :: (ligate junk-exosome e-coli-exosome) (transform junk-exosome junk)
9 16 :: (ligate junk-exosome insulin-gene) (transform junk-exosome junk)
---- Domain: pddl-data/various/molgen/domain.pddl | pddl-data/various/molgen/p01.pddl ----
Fact[37]:
(NOT-cleaved antibiotic-1)
(NOT-cleaved e-coli)
Fact[27]:
(NOT-cleaved e-coli-exosome)
(NOT-cleaved insulin-gene)
(NOT-cleaved junk)
(NOT-cleaved junk-exosome)
(NOT-cleaved linker)
(NOT-double-strand antibiotic-1)
(NOT-double-strand e-coli)
(NOT-double-strand e-coli-exosome)
(NOT-double-strand insulin-gene)
(NOT-double-strand junk)
(NOT-double-strand junk-exosome)
(NOT-double-strand linker)
(cleavable e-coli-exosome)
(cleavable insulin-gene)
(cleavable junk-exosome)
......@@ -37,7 +27,7 @@ Fact[37]:
(molecule linker)
(pure e-coli)
(single-strand insulin-gene)
Op[25]:
Op[17]:
(cleave e-coli-exosome), cost: 1
pre: (cleavable e-coli-exosome)
add: (cleaved e-coli-exosome)
......@@ -54,62 +44,30 @@ Op[25]:
pre: (hair-pin insulin-gene)
add: (double-strand insulin-gene)
del: (NOT-double-strand insulin-gene) (hair-pin insulin-gene)
(ligate e-coli-exosome insulin-gene), cost: 1
pre: (NOT-double-strand insulin-gene) (cleaved e-coli-exosome) (cleaved insulin-gene)
add: (NOT-cleaved e-coli-exosome) (NOT-cleaved insulin-gene) (cleavable insulin-gene) (contains e-coli-exosome insulin-gene)
del: (cleaved e-coli-exosome) (cleaved insulin-gene)
(ligate e-coli-exosome insulin-gene), cost: 1
pre: (cleaved e-coli-exosome) (cleaved insulin-gene)
add: (NOT-cleaved e-coli-exosome) (NOT-cleaved insulin-gene) (cleavable insulin-gene) (contains e-coli-exosome insulin-gene)
del: (cleaved e-coli-exosome) (cleaved insulin-gene)
(ligate e-coli-exosome junk-exosome), cost: 1
pre: (NOT-double-strand junk-exosome) (cleaved e-coli-exosome) (cleaved junk-exosome)
add: (NOT-cleaved e-coli-exosome) (NOT-cleaved junk-exosome) (cleavable junk-exosome) (contains e-coli-exosome junk-exosome)
del: (cleaved e-coli-exosome) (cleaved junk-exosome)
(ligate e-coli-exosome junk-exosome), cost: 1
pre: (cleaved e-coli-exosome) (cleaved junk-exosome)
add: (NOT-cleaved e-coli-exosome) (NOT-cleaved junk-exosome) (cleavable junk-exosome) (contains e-coli-exosome junk-exosome)
del: (cleaved e-coli-exosome) (cleaved junk-exosome)
(ligate insulin-gene e-coli-exosome), cost: 1
pre: (NOT-double-strand e-coli-exosome) (cleaved e-coli-exosome) (cleaved insulin-gene)
add: (NOT-cleaved e-coli-exosome) (NOT-cleaved insulin-gene) (cleavable e-coli-exosome) (contains insulin-gene e-coli-exosome)
del: (cleaved e-coli-exosome) (cleaved insulin-gene)
(ligate insulin-gene e-coli-exosome), cost: 1
pre: (cleaved e-coli-exosome) (cleaved insulin-gene)
add: (NOT-cleaved e-coli-exosome) (NOT-cleaved insulin-gene) (cleavable e-coli-exosome) (contains insulin-gene e-coli-exosome)
del: (cleaved e-coli-exosome) (cleaved insulin-gene)
(ligate insulin-gene junk-exosome), cost: 1
pre: (NOT-double-strand junk-exosome) (cleaved insulin-gene) (cleaved junk-exosome)
add: (NOT-cleaved insulin-gene) (NOT-cleaved junk-exosome) (cleavable junk-exosome) (contains insulin-gene junk-exosome)
del: (cleaved insulin-gene) (cleaved junk-exosome)
(ligate insulin-gene junk-exosome), cost: 1
pre: (cleaved insulin-gene) (cleaved junk-exosome)
add: (NOT-cleaved insulin-gene) (NOT-cleaved junk-exosome) (cleavable junk-exosome) (contains insulin-gene junk-exosome)
del: (cleaved insulin-gene) (cleaved junk-exosome)
(ligate junk-exosome e-coli-exosome), cost: 1
pre: (NOT-double-strand e-coli-exosome) (cleaved e-coli-exosome) (cleaved junk-exosome)
add: (NOT-cleaved e-coli-exosome) (NOT-cleaved junk-exosome) (cleavable e-coli-exosome) (contains junk-exosome e-coli-exosome)
del: (cleaved e-coli-exosome) (cleaved junk-exosome)
(ligate junk-exosome e-coli-exosome), cost: 1
pre: (cleaved e-coli-exosome) (cleaved junk-exosome)
add: (NOT-cleaved e-coli-exosome) (NOT-cleaved junk-exosome) (cleavable e-coli-exosome) (contains junk-exosome e-coli-exosome)
del: (cleaved e-coli-exosome) (cleaved junk-exosome)
(ligate junk-exosome insulin-gene), cost: 1
pre: (NOT-double-strand insulin-gene) (cleaved insulin-gene) (cleaved junk-exosome)
add: (NOT-cleaved insulin-gene) (NOT-cleaved junk-exosome) (cleavable insulin-gene) (contains junk-exosome insulin-gene)
del: (cleaved insulin-gene) (cleaved junk-exosome)
(ligate junk-exosome insulin-gene), cost: 1
pre: (cleaved insulin-gene) (cleaved junk-exosome)
add: (NOT-cleaved insulin-gene) (NOT-cleaved junk-exosome) (cleavable insulin-gene) (contains junk-exosome insulin-gene)
del: (cleaved insulin-gene) (cleaved junk-exosome)
(ligate linker insulin-gene), cost: 1
pre: (NOT-cleaved insulin-gene) (double-strand insulin-gene)
add: (cleavable insulin-gene)
del:
(ligate linker insulin-gene), cost: 1
pre: (NOT-cleaved linker) (double-strand insulin-gene)
add: (cleavable insulin-gene)
del:
(ligate linker insulin-gene), cost: 1
pre: (double-strand insulin-gene)
add: (cleavable insulin-gene)
......@@ -138,6 +96,6 @@ Op[25]:
pre: (cleavable junk-exosome)
add: (contains junk-exosome junk)
del: (cleavable junk-exosome)
Init State: (NOT-cleaved antibiotic-1) (NOT-cleaved e-coli) (NOT-cleaved e-coli-exosome) (NOT-cleaved insulin-gene) (NOT-cleaved junk) (NOT-cleaved junk-exosome) (NOT-cleaved linker) (NOT-double-strand antibiotic-1) (NOT-double-strand e-coli) (NOT-double-strand e-coli-exosome) (NOT-double-strand insulin-gene) (NOT-double-strand junk) (NOT-double-strand junk-exosome) (NOT-double-strand linker) (cleavable e-coli-exosome) (cleavable junk-exosome) (molecule e-coli-exosome) (molecule insulin-gene) (molecule junk-exosome) (molecule linker)
Init State: (NOT-cleaved e-coli-exosome) (NOT-cleaved insulin-gene) (NOT-cleaved junk-exosome) (NOT-double-strand insulin-gene) (cleavable e-coli-exosome) (cleavable junk-exosome) (molecule e-coli-exosome) (molecule insulin-gene) (molecule junk-exosome) (molecule linker)
Goal: (contains e-coli-exosome e-coli) (contains insulin-gene e-coli-exosome) (pure e-coli)
---- Domain: pddl-data/various/molgen/domain.pddl | pddl-data/various/molgen/p01.pddl END ----
famgroup 0: 14(cleavable e-coli-exosome) 17(cleaved e-coli-exosome) 21(contains e-coli-exosome e-coli) 22(contains e-coli-exosome insulin-gene) 23(contains e-coli-exosome junk-exosome)
famgroup 0: 4(cleavable e-coli-exosome) 7(cleaved e-coli-exosome) 11(contains e-coli-exosome e-coli) 12(contains e-coli-exosome insulin-gene) 13(contains e-coli-exosome junk-exosome)
TS:
Init: 0
0 -> 1: 0
0 -> 2: 23
1 -> 0: 8 9 12 13
1 -> 3: 4 5
1 -> 4: 6 7
2 -> 2: 21
0 -> 2: 15
1 -> 0: 6 8
1 -> 3: 4
1 -> 4: 5
2 -> 2: 13
Condensation:
Init: 3
2 -> 2: 21
3 -> 0: 4 5
3 -> 1: 6 7
3 -> 2: 23
3 -> 3: 0 8 9 12 13
famgroup 1: 16(cleavable junk-exosome) 19(cleaved junk-exosome) 26(contains junk-exosome e-coli-exosome) 27(contains junk-exosome insulin-gene) 28(contains junk-exosome junk)
2 -> 2: 13
3 -> 0: 4
3 -> 1: 5
3 -> 2: 15
3 -> 3: 0 6 8
famgroup 1: 6(cleavable junk-exosome) 9(cleaved junk-exosome) 16(contains junk-exosome e-coli-exosome) 17(contains junk-exosome insulin-gene) 18(contains junk-exosome junk)
TS:
Init: 0
0 -> 1: 2
0 -> 4: 24
1 -> 0: 6 7 10 11
1 -> 2: 12 13
1 -> 3: 14 15
0 -> 4: 16
1 -> 0: 5 7
1 -> 2: 8
1 -> 3: 9
Condensation:
Init: 3
3 -> 0: 12 13
3 -> 1: 14 15
3 -> 2: 24
3 -> 3: 2 6 7 10 11
famgroup 2: 14(cleavable e-coli-exosome) 17(cleaved e-coli-exosome) 21(contains e-coli-exosome e-coli) 22(contains e-coli-exosome insulin-gene)
3 -> 0: 8
3 -> 1: 9
3 -> 2: 16
3 -> 3: 2 5 7
famgroup 2: 4(cleavable e-coli-exosome) 7(cleaved e-coli-exosome) 11(contains e-coli-exosome e-coli) 12(contains e-coli-exosome insulin-gene)
TS:
Init: 0
0 -> 1: 0
0 -> 2: 23
1 -> 0: 8 9 12 13
1 -> 3: 4 5
1 -> 4: 6 7
2 -> 2: 21