;; 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-06) (:domain Pathways-Propositional) (:objects Wee1 - simple SP1 - simple Skp2 - simple RPA - simple Raf1 - simple pRbp2 - simple pRbp1-E2F4p1-DP12 - simple pRb-E2F4p1-DP12 - simple pRb - simple pCAF - simple p57p1 - simple p57 - simple p300 - simple p16 - simple p130-E2F5p1-DP12 - simple p130 - simple Jun - simple HDAC1 - simple gP - simple gE-c - simple E2F6 - simple E2F5 - simple E2F4 - simple E2F13p1-DP12p1 - simple E2F13p1-DP12 - simple E2F13-DP12p1 - simple E2F13-DP12 - simple DP12 - simple cks1 - simple cdk46p3-cycDp1 - simple cdk46p3-cycD - simple cdk46p1 - simple cdk2p2-cycB - simple cdk2p1 - simple AP2 - simple AP2-gE-c - complex cdk2p1-cks1 - complex cdk2p1p2-cycB - complex c-Myc-AP2 - complex E2F6-DP12 - complex ;; HDAC1-p107-E2F4-DP12 - complex ;; DUPLICATE HDAC1-p130-E2F4-DP12 - complex HDAC1-p130-E2F5-DP12 - complex HDAC1-pRb-E2F13-DP12 - complex HDAC1-pRb-E2F13-DP12p1 - complex HDAC1-pRb-E2F13p1-DP12 - complex HDAC1-pRb-E2F13p1-DP12p1 - complex HDAC1-pRb-E2F4-DP12 - complex HDAC1-pRb-E2F4p1-DP12 - complex p107-E2F4-DP12 - complex E2F5-DP12 - complex p16-cdk46p1 - complex ;; p57-cdk2p1-cycA - complex ;; DUPLICATE ;; p57-cdk2p1-cycEp1 - complex ;; DUPLICATE ;; p57-cdk2p1-cycE - complex ;; DUPLICATE ;; p57-cdk46p1-cycDp1 - complex ;; DUPLICATE ;; p57-cdk46p1-cycD - complex ;; DUPLICATE ;; p57p1-cdk46p1-cycDp1 - complex ;; DUPLICATE ;; p57p1-cdk46p1-cycD - complex ;; DUPLICATE pCAF-p300 - complex cdk2p1-cycEp1 - complex ;; cdk2p1-cycE - complex ;; DUPLICATE cdk46p1-cycDp1 - complex cdk46p1-cycD - complex pRb-AP2-gE-c - complex pRb-AP2 - complex pRb-Jun - complex pRbp1-AP2-gE-c - complex pRbp1-AP2 - complex E2F4-DP12 - complex pRbp1-Jun - complex pRbp1 - complex pRbp1p2-AP2-gE-c - complex pRbp1p2-AP2 - complex pRbp1p2-Jun - complex Ecadherin - complex pRbp2-AP2-gE-c - complex pRbp2-AP2 - complex pRbp1p2 - complex pRbp2-Jun - complex Raf1-p130-E2F4-DP12 - complex p130-E2F4-DP12 - complex Raf1-p130-E2F5-DP12 - complex p130-E2F5-DP12 - complex Raf1-p130-E2F5p1-DP12 - complex Raf1-pRb-E2F13-DP12p1 - complex pRb-E2F13-DP12p1 - complex Raf1-pRb-E2F13-DP12 - complex pRb-E2F13-DP12 - complex Raf1-pRb-E2F13p1-DP12p1 - complex pRb-E2F13p1-DP12p1 - complex Raf1-pRb-E2F13p1-DP12 - complex pRb-E2F13p1-DP12 - complex Raf1-pRb-E2F4-DP12 - complex pRb-E2F4-DP12 - complex Raf1-pRb-E2F4p1-DP12 - complex ;; Raf1-pRbp1-E2F13-DP12p1 - complex ;; DUPLICATE pRbp1-E2F13-DP12p1 - complex Raf1-pRbp1-E2F13-DP12 - complex pRbp1-E2F13-DP12 - complex Raf1-pRbp1-E2F13p1-DP12p1 - complex pRbp1-E2F13p1-DP12p1 - complex Raf1-pRbp1-E2F13p1-DP12 - complex pRbp1-E2F13p1-DP12 - complex ;; Raf1-pRbp1-E2F4-DP12 - complex ;; DUPLICATE pRbp1-E2F4-DP12 - complex Raf1-pRbp1-E2F4p1-DP12 - complex ;; RPA-cycA - complex ;; DUPLICATE ;; Skp2-cdk2p1-cycA - complex ;; DUPLICATE ;; cdk2p1-cycA - complex ;; DUPLICATE c-Myc - complex cycA - complex cycD - complex cycDp1 - complex cycE - complex cycEp1 - complex p19ARF - complex pol - complex SP1-gP - complex ;; SP1-p107-gP - complex ;; DUPLICATE SP1-p107p1 - complex p107p1 - complex SP1-p107 - complex p107 - complex l0 - level l1 - level l2 - level l3 - level l4 - level l5 - level l6 - level l7 - level l8 - level l9 - level l10 - level) (:init (possible Wee1) (possible SP1) (possible Skp2) (possible RPA) (possible Raf1) (possible pRbp2) (possible pRbp1-E2F4p1-DP12) (possible pRb-E2F4p1-DP12) (possible pRb) (possible pCAF) (possible p57p1) (possible p57) (possible p300) (possible p16) (possible p130-E2F5p1-DP12) (possible p130) (possible Jun) (possible HDAC1) (possible gP) (possible gE-c) (possible E2F6) (possible E2F5) (possible E2F4) (possible E2F13p1-DP12p1) (possible E2F13p1-DP12) (possible E2F13-DP12p1) (possible E2F13-DP12) (possible DP12) (possible cks1) (possible cdk46p3-cycDp1) (possible cdk46p3-cycD) (possible cdk46p1) (possible cdk2p2-cycB) (possible cdk2p1) (possible AP2) (association-reaction AP2 gE-c AP2-gE-c) (synthesis-reaction AP2-gE-c Ecadherin) (association-reaction cdk2p1 cks1 cdk2p1-cks1) (association-reaction cdk2p1 cycA cdk2p1-cycA) (association-reaction cdk2p1 cycE cdk2p1-cycE) (association-reaction cdk2p1 cycEp1 cdk2p1-cycEp1) (catalyzed-association-reaction cdk2p2-cycB Wee1 cdk2p1p2-cycB) (association-reaction cdk46p1 cycD cdk46p1-cycD) (association-reaction cdk46p1 cycDp1 cdk46p1-cycDp1) (association-reaction c-Myc AP2 c-Myc-AP2) (association-reaction E2F4 DP12 E2F4-DP12) (association-reaction E2F5 DP12 E2F5-DP12) (association-reaction E2F6 DP12 E2F6-DP12) (association-reaction HDAC1 p107-E2F4-DP12 HDAC1-p107-E2F4-DP12) (association-reaction HDAC1 p130-E2F4-DP12 HDAC1-p130-E2F4-DP12) (association-reaction HDAC1 p130-E2F5-DP12 HDAC1-p130-E2F5-DP12) (association-reaction HDAC1 pRb-E2F13-DP12 HDAC1-pRb-E2F13-DP12) (association-reaction HDAC1 pRb-E2F13-DP12p1 HDAC1-pRb-E2F13-DP12p1) (association-reaction HDAC1 pRb-E2F13p1-DP12 HDAC1-pRb-E2F13p1-DP12) (association-reaction HDAC1 pRb-E2F13p1-DP12p1 HDAC1-pRb-E2F13p1-DP12p1) (association-reaction HDAC1 pRb-E2F4-DP12 HDAC1-pRb-E2F4-DP12) (association-reaction HDAC1 pRb-E2F4p1-DP12 HDAC1-pRb-E2F4p1-DP12) (association-reaction p107 E2F4-DP12 p107-E2F4-DP12) (association-reaction p130 E2F4-DP12 p130-E2F4-DP12) (association-reaction p130 E2F5-DP12 p130-E2F5-DP12) (association-reaction p16 cdk46p1 p16-cdk46p1) (association-reaction p57 cdk2p1-cycA p57-cdk2p1-cycA) (association-reaction p57 cdk2p1-cycEp1 p57-cdk2p1-cycEp1) (association-reaction p57 cdk2p1-cycE p57-cdk2p1-cycE) (association-reaction p57 cdk46p1-cycDp1 p57-cdk46p1-cycDp1) (association-reaction p57 cdk46p1-cycD p57-cdk46p1-cycD) (association-reaction p57p1 cdk46p1-cycDp1 p57p1-cdk46p1-cycDp1) (association-reaction p57p1 cdk46p1-cycD p57p1-cdk46p1-cycD) (association-reaction pCAF p300 pCAF-p300) (synthesis-reaction pRb-AP2-gE-c Ecadherin) (association-reaction pRb-AP2 gE-c pRb-AP2-gE-c) (association-reaction pRb AP2 pRb-AP2) (catalyzed-association-reaction pRb cdk46p3-cycDp1 pRbp1) (catalyzed-association-reaction pRb cdk46p3-cycD pRbp1) (association-reaction pRb E2F13-DP12p1 pRb-E2F13-DP12p1) (association-reaction pRb E2F13-DP12 pRb-E2F13-DP12) (association-reaction pRb E2F13p1-DP12p1 pRb-E2F13p1-DP12p1) (association-reaction pRb E2F13p1-DP12 pRb-E2F13p1-DP12) (association-reaction pRb E2F4-DP12 pRb-E2F4-DP12) (association-reaction pRb Jun pRb-Jun) (synthesis-reaction pRbp1-AP2-gE-c Ecadherin) (association-reaction pRbp1-AP2 gE-c pRbp1-AP2-gE-c) (association-reaction pRbp1 AP2 pRbp1-AP2) (association-reaction pRbp1 E2F13-DP12p1 pRbp1-E2F13-DP12p1) (association-reaction pRbp1 E2F13-DP12 pRbp1-E2F13-DP12) (association-reaction pRbp1 E2F13p1-DP12p1 pRbp1-E2F13p1-DP12p1) (association-reaction pRbp1 E2F13p1-DP12 pRbp1-E2F13p1-DP12) (association-reaction pRbp1 E2F4-DP12 pRbp1-E2F4-DP12) (association-reaction pRbp1 Jun pRbp1-Jun) (synthesis-reaction pRbp1p2-AP2-gE-c Ecadherin) (association-reaction pRbp1p2-AP2 gE-c pRbp1p2-AP2-gE-c) (association-reaction pRbp1p2 AP2 pRbp1p2-AP2) (association-reaction pRbp1p2 Jun pRbp1p2-Jun) (synthesis-reaction pRbp2-AP2-gE-c Ecadherin) (association-reaction pRbp2-AP2 gE-c pRbp2-AP2-gE-c) (association-reaction pRbp2 AP2 pRbp2-AP2) (catalyzed-association-reaction pRbp2 cdk46p3-cycDp1 pRbp1p2) (catalyzed-association-reaction pRbp2 cdk46p3-cycD pRbp1p2) (association-reaction pRbp2 Jun pRbp2-Jun) (association-reaction Raf1 p130-E2F4-DP12 Raf1-p130-E2F4-DP12) (association-reaction Raf1 p130-E2F5-DP12 Raf1-p130-E2F5-DP12) (association-reaction Raf1 p130-E2F5p1-DP12 Raf1-p130-E2F5p1-DP12) (association-reaction Raf1 pRb-E2F13-DP12p1 Raf1-pRb-E2F13-DP12p1) (association-reaction Raf1 pRb-E2F13-DP12 Raf1-pRb-E2F13-DP12) (association-reaction Raf1 pRb-E2F13p1-DP12p1 Raf1-pRb-E2F13p1-DP12p1) (association-reaction Raf1 pRb-E2F13p1-DP12 Raf1-pRb-E2F13p1-DP12) (association-reaction Raf1 pRb-E2F4-DP12 Raf1-pRb-E2F4-DP12) (association-reaction Raf1 pRb-E2F4p1-DP12 Raf1-pRb-E2F4p1-DP12) (association-reaction Raf1 pRbp1-E2F13-DP12p1 Raf1-pRbp1-E2F13-DP12p1) (association-reaction Raf1 pRbp1-E2F13-DP12 Raf1-pRbp1-E2F13-DP12) (association-reaction Raf1 pRbp1-E2F13p1-DP12p1 Raf1-pRbp1-E2F13p1-DP12p1) (association-reaction Raf1 pRbp1-E2F13p1-DP12 Raf1-pRbp1-E2F13p1-DP12) (association-reaction Raf1 pRbp1-E2F4-DP12 Raf1-pRbp1-E2F4-DP12) (association-reaction Raf1 pRbp1-E2F4p1-DP12 Raf1-pRbp1-E2F4p1-DP12) (association-reaction RPA cycA RPA-cycA) (association-reaction Skp2 cdk2p1-cycA Skp2-cdk2p1-cycA) (synthesis-reaction SP1-gP c-Myc) (synthesis-reaction SP1-gP cycA) (synthesis-reaction SP1-gP cycD) (synthesis-reaction SP1-gP cycDp1) (synthesis-reaction SP1-gP cycE) (synthesis-reaction SP1-gP cycEp1) (synthesis-reaction SP1-gP p107) (synthesis-reaction SP1-gP p107p1) (synthesis-reaction SP1-gP p19ARF) (synthesis-reaction SP1-gP pol) (association-reaction SP1 gP SP1-gP) (association-reaction SP1-p107 gP SP1-p107-gP) (association-reaction SP1-p107p1 gP SP1-p107p1-gP) (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) (next l8 l7) (next l9 l8) (next l10 l9)) (:goal (and (goal1) (goal2) (goal3) (goal4) (goal5) (goal6) (goal7) (goal8))) )