;; NOTE [Malte]: I modified this file from the original IPC file ;; because it contained duplicate object definitions. Please check the ;; repository log for the revision where this comment was added for ;; details. (define (problem Pathways-05) (:domain Pathways-Propositional) (:objects SP1 - simple PCNA - simple p53 - simple p16 - simple p130 - simple Jun - simple HDAC1-pRbp1-E2F4-DP12 - simple gERCC1 - simple gE2 - simple E2F6 - simple E2F5-DP12p1 - simple E2F5 - simple E2F2 - simple E2F13p1-DP12p1 - simple E2F13-DP12 - simple E2F1 - simple DP12 - simple cks1 - simple cdk46p1 - simple cdk2p1 - simple cdk2 - simple cdk1p1p2 - simple cdk1p1p2-cks1 - complex ;; cdk1p1p2-Gadd45 - complex ;; DUPLICATE cdk2-cks1 - complex cdk2p1-cks1 - complex E2F13-DP12-gE2 - complex E2F1-DP12 - complex E2F2-DP12 - complex ;; E2F5-DP12-gE2 - complex ;; DUPLICATE E2F6-DP12-gE2 - complex E2F6-DP12 - complex HDAC1-pRbp1-E2F4-DP12-gE2 - complex Jun-c-Fos-gERCC1 - complex Jun-c-Fos - complex Mdm2-E2F13-DP12 - complex Mdm2-E2F13p1-DP12p1 - complex p130-E2F5-DP12-gE2 - complex E2F5-DP12 - complex ;; p130-E2F5-DP12p1-gE2 - complex ;; DUPLICATE p130-E2F5-DP12p1 - complex p16-cdk46p1 - complex p21-cdk2-cycA - complex p21-cdk2-cycEp1 - complex p21-cdk2-cycE - complex p21-cdk2p1-cycA - complex ;; p21-cdk2p1-cycEp1 - complex ;; DUPLICATE p21-cdk2p1-cycE - complex p21-cdk46p1-cycDp1 - complex p21-cdk46p1-cycD - complex p21-Gadd45 - complex p53-DP12 - complex Mdm2 - complex PCNA-cycDp1 - complex PCNA-cycD - complex PCNA-Gadd45 - complex Gadd45 - complex PCNA-p21-cdk2-cycA - complex PCNA-p21-cdk2-cycEp1 - complex cdk2-cycEp1 - complex ;; PCNA-p21-cdk2-cycE - complex ;; DUPLICATE cdk2-cycE - complex PCNA-p21-cdk2p1-cycA - complex ;; PCNA-p21-cdk2p1-cycEp1 - complex ;; DUPLICATE cdk2p1-cycEp1 - complex ;; PCNA-p21-cdk2p1-cycE - complex ;; DUPLICATE cdk2p1-cycE - complex PCNA-p21-cdk46p1-cycDp1 - complex cdk46p1-cycDp1 - complex PCNA-p21-cdk46p1-cycD - complex cdk46p1-cycD - complex ;; PCNA-p21 - complex ;; DUPLICATE p21 - complex ERCC1 - complex c-Fos - complex p130-E2F5-DP12 - complex cdk2-cycA - complex cdk2p1-cycA - complex ;; c-Myc - complex ;; DUPLICATE cycA - complex cycD - complex cycDp1 - complex ;; cycE - complex ;; DUPLICATE cycEp1 - complex p19ARF - complex pol - complex p107p1 - complex ;; SP1-p107 - complex ;; DUPLICATE p107 - complex l0 - level l1 - level l2 - level l3 - level l4 - level l5 - level l6 - level l7 - level) (:init (not-chosen SP1) (not-chosen PCNA) (not-chosen p53) (not-chosen p16) (not-chosen p130) (not-chosen Jun) (not-chosen HDAC1-pRbp1-E2F4-DP12) (not-chosen gERCC1) (not-chosen gE2) (not-chosen E2F6) (not-chosen E2F5-DP12p1) (not-chosen E2F5) (not-chosen E2F2) (not-chosen E2F13p1-DP12p1) (not-chosen E2F13-DP12) (not-chosen E2F1) (not-chosen DP12) (not-chosen cks1) (not-chosen cdk46p1) (not-chosen cdk2p1) (not-chosen cdk2) (not-chosen cdk1p1p2) (possible SP1) (possible PCNA) (possible p53) (possible p16) (possible p130) (possible Jun) (possible HDAC1-pRbp1-E2F4-DP12) (possible gERCC1) (possible gE2) (possible E2F6) (possible E2F5-DP12p1) (possible E2F5) (possible E2F2) (possible E2F13p1-DP12p1) (possible E2F13-DP12) (possible E2F1) (possible DP12) (possible cks1) (possible cdk46p1) (possible cdk2p1) (possible cdk2) (possible cdk1p1p2) (association-reaction cdk1p1p2 cks1 cdk1p1p2-cks1) (association-reaction cdk1p1p2 Gadd45 cdk1p1p2-Gadd45) (association-reaction cdk2 cks1 cdk2-cks1) (association-reaction cdk2 cycA cdk2-cycA) (association-reaction cdk2 cycE cdk2-cycE) (association-reaction cdk2 cycEp1 cdk2-cycEp1) (association-reaction cdk2p1 cks1 cdk2p1-cks1) (association-reaction cdk2p1 cycA cdk2p1-cycA) (association-reaction cdk2p1 cycE cdk2p1-cycE) (association-reaction cdk2p1 cycEp1 cdk2p1-cycEp1) (association-reaction cdk46p1 cycD cdk46p1-cycD) (association-reaction cdk46p1 cycDp1 cdk46p1-cycDp1) (synthesis-reaction E2F13-DP12-gE2 c-Myc) (synthesis-reaction E2F13-DP12-gE2 cycA) (synthesis-reaction E2F13-DP12-gE2 cycD) (synthesis-reaction E2F13-DP12-gE2 cycDp1) (synthesis-reaction E2F13-DP12-gE2 cycE) (synthesis-reaction E2F13-DP12-gE2 cycEp1) (association-reaction E2F13-DP12 gE2 E2F13-DP12-gE2) (synthesis-reaction E2F13-DP12-gE2 p107) (synthesis-reaction E2F13-DP12-gE2 p107p1) (synthesis-reaction E2F13-DP12-gE2 p19ARF) (synthesis-reaction E2F13-DP12-gE2 pol) (association-reaction E2F1 DP12 E2F1-DP12) (association-reaction E2F2 DP12 E2F2-DP12) (association-reaction E2F5 DP12 E2F5-DP12) (synthesis-reaction E2F5-DP12-gE2 c-Myc) (synthesis-reaction E2F5-DP12-gE2 cycA) (synthesis-reaction E2F5-DP12-gE2 cycD) (synthesis-reaction E2F5-DP12-gE2 cycDp1) (synthesis-reaction E2F5-DP12-gE2 cycE) (synthesis-reaction E2F5-DP12-gE2 cycEp1) (association-reaction E2F5-DP12 gE2 E2F5-DP12-gE2) (synthesis-reaction E2F5-DP12-gE2 p107) (synthesis-reaction E2F5-DP12-gE2 p107p1) (synthesis-reaction E2F5-DP12-gE2 p19ARF) (synthesis-reaction E2F5-DP12-gE2 pol) (association-reaction E2F6 DP12 E2F6-DP12) (association-reaction E2F6-DP12 gE2 E2F6-DP12-gE2) (association-reaction HDAC1-pRbp1-E2F4-DP12 gE2 HDAC1-pRbp1-E2F4-DP12-gE2) (synthesis-reaction Jun-c-Fos-gERCC1 ERCC1) (association-reaction Jun-c-Fos gERCC1 Jun-c-Fos-gERCC1) (association-reaction Jun c-Fos Jun-c-Fos) (association-reaction Mdm2 E2F13-DP12 Mdm2-E2F13-DP12) (association-reaction Mdm2 E2F13p1-DP12p1 Mdm2-E2F13p1-DP12p1) (association-reaction p130-E2F5-DP12 gE2 p130-E2F5-DP12-gE2) (association-reaction p130 E2F5-DP12 p130-E2F5-DP12) (association-reaction p130-E2F5-DP12p1 gE2 p130-E2F5-DP12p1-gE2) (association-reaction p130 E2F5-DP12p1 p130-E2F5-DP12p1) (association-reaction p16 cdk46p1 p16-cdk46p1) (association-reaction p21 cdk2-cycA p21-cdk2-cycA) (association-reaction p21 cdk2-cycEp1 p21-cdk2-cycEp1) (association-reaction p21 cdk2-cycE p21-cdk2-cycE) (association-reaction p21 cdk2p1-cycA p21-cdk2p1-cycA) (association-reaction p21 cdk2p1-cycEp1 p21-cdk2p1-cycEp1) (association-reaction p21 cdk2p1-cycE p21-cdk2p1-cycE) (association-reaction p21 cdk46p1-cycDp1 p21-cdk46p1-cycDp1) (association-reaction p21 cdk46p1-cycD p21-cdk46p1-cycD) (association-reaction p21 Gadd45 p21-Gadd45) (synthesis-reaction p53 c-Fos) (association-reaction p53 DP12 p53-DP12) (synthesis-reaction p53 Gadd45) (synthesis-reaction p53 Mdm2) (synthesis-reaction p53 p21) (association-reaction PCNA cycDp1 PCNA-cycDp1) (association-reaction PCNA cycD PCNA-cycD) (association-reaction PCNA Gadd45 PCNA-Gadd45) (association-reaction PCNA-p21 cdk2-cycA PCNA-p21-cdk2-cycA) (association-reaction PCNA-p21 cdk2-cycEp1 PCNA-p21-cdk2-cycEp1) (association-reaction PCNA-p21 cdk2-cycE PCNA-p21-cdk2-cycE) (association-reaction PCNA-p21 cdk2p1-cycA PCNA-p21-cdk2p1-cycA) (association-reaction PCNA-p21 cdk2p1-cycEp1 PCNA-p21-cdk2p1-cycEp1) (association-reaction PCNA-p21 cdk2p1-cycE PCNA-p21-cdk2p1-cycE) (association-reaction PCNA-p21 cdk46p1-cycDp1 PCNA-p21-cdk46p1-cycDp1) (association-reaction PCNA-p21 cdk46p1-cycD PCNA-p21-cdk46p1-cycD) (association-reaction PCNA p21 PCNA-p21) (association-reaction SP1 p107p1 SP1-p107p1) (association-reaction SP1 p107 SP1-p107) (num-subs l0) (next l1 l0) (next l2 l1) (next l3 l2) (next l4 l3) (next l5 l4) (next l6 l5) (next l7 l6)) (:goal (and (goal1) (goal2) (goal3) (goal4) (goal5) (goal6))) )