;; 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-09) (:domain Pathways-Propositional) (:objects Wee1 - simple SL1 - simple Raf1 - simple pRbp2 - simple pRbp1-E2F4p1-DP12 - simple pRb - simple Plk1 - simple PCNA - simple p53 - simple p16 - simple p130-E2F5p1-DP12 - simple p130-E2F4p1-DP12 - simple p130 - simple Myt1 - simple m1433 - simple Jun - simple HDAC1 - simple HBP1 - simple gE-c - simple E2F6 - simple E2F5 - simple E2F4 - simple E2F3 - simple E2F2 - simple E2F13p1-DP12p1 - simple E2F13p1-DP12 - simple E2F13-DP12p1 - simple E2F13-DP12 - simple E2F1 - simple DP12 - simple cycH - simple cycB - simple C-TAK1 - simple cks1 - simple CEBP - simple cdk7 - simple cdk46p3-cycDp1 - simple cdk46p3-cycD - simple cdk46p1 - simple cdk2p2-cycB - simple cdk2p1 - simple cdk2-cycB - simple cdk2 - simple cdk1p1p2 - simple cdc25C - simple c-Abl - simple APC - simple AP2 - simple AP2-gE-c - complex c-Abl-pRb - complex c-Abl-pRbp1 - complex c-Abl-pRbp1p2 - complex c-Abl-pRbp2 - complex ;; cdk1-cks1 - complex ;; DUPLICATE ;; cdk1-Gadd45 - complex ;; DUPLICATE ;; cdk1p1-cks1 - complex ;; DUPLICATE cdk1p1-Gadd45 - complex cdk1p1 - complex cdk1p1p2-cks1 - complex cdk1p1p2-Gadd45 - complex cdk1p1p2p3-cks1 - complex ;; cdk1p1p2p3-Gadd45 - complex ;; DUPLICATE cdk1p1p2p3 - complex ;; cdk1p1p3-cks1 - complex ;; DUPLICATE ;; cdk1p1p3-Gadd45 - complex ;; DUPLICATE cdk1p1p3 - complex ;; cdk1 - complex ;; DUPLICATE ;; cdk1p2-cks1 - complex ;; DUPLICATE cdk1p2-Gadd45 - complex cdk1p2 - complex ;; cdk1p2p3-cks1 - complex ;; DUPLICATE cdc25Cp1 - complex ;; cdk1p1p2p3-cycB - complex ;; DUPLICATE ;; cdk1p2p3-Gadd45 - complex ;; DUPLICATE ;; cdk1p2p3 - complex ;; DUPLICATE ;; cdk1p3-cks1 - complex ;; DUPLICATE ;; cdk1p1p3-cycB - complex ;; DUPLICATE ;; cdk1p2p3-cycB - complex ;; DUPLICATE ;; cdk1p3-Gadd45 - complex ;; DUPLICATE ;; cdk1p3 - complex ;; DUPLICATE cdk2-cks1 - complex cdk2p1-cycB - complex cdk2p1-cks1 - complex cdk2p1p2-cks1 - complex cdk2p1p2 - complex ;; cdk2p2-cks1 - complex ;; DUPLICATE cdk2p1p2-cycB - complex cdk2p2 - complex cdk7-cycH - complex cdk7p1-cycH - complex CEBP-pRb - complex ;; CEBP-pRbp1 - complex ;; DUPLICATE CEBP-pRbp1p2 - complex CEBP-pRbp2 - complex APCp1 - complex E2F1-DP12 - complex E2F2-DP12 - complex E2F3-DP12 - complex E2F6-DP12 - complex HBP1-p130 - complex 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 Jun-c-Fos - complex m1433-cdc25Cp1p2 - complex cdc25Cp1p2 - complex m1433-cdc25Cp2 - complex cdc25Cp2 - complex Mdm2-E2F13-DP12 - complex Mdm2-E2F13-DP12p1 - complex Mdm2-E2F13p1-DP12 - complex Mdm2-E2F13p1-DP12p1 - complex Mdm2-pRb - complex Mdm2-pRbp1 - complex Mdm2-pRbp1p2 - complex Mdm2-pRbp2 - complex E2F5-DP12 - complex p16-cdk46p1 - complex p16-cdk46p1p2 - complex cdk46p1p2 - complex p16-cdk7 - complex ;; p16-cdk7p1 - complex ;; DUPLICATE cdk7p1 - complex p21-Gadd45 - complex p53-DP12 - complex Mdm2 - complex PCNA-Gadd45 - complex Gadd45 - complex PCNA-p21 - complex p21 - complex pRb-AP2-gE-c - complex pRb-AP2 - complex pRb-Jun-c-Fos - complex pRb-Jun - complex pRbp1-AP2-gE-c - complex pRbp1-AP2 - complex E2F4-DP12 - complex pRbp1-Jun-c-Fos - complex pRbp1-Jun - complex pRbp1 - complex pRbp1p2-AP2-gE-c - complex pRbp1p2-AP2 - complex ;; pRbp1p2-Jun-c-Fos - complex ;; DUPLICATE pRbp1p2-Jun - complex Ecadherin - complex pRbp2-AP2-gE-c - complex pRbp2-AP2 - complex pRbp1p2 - complex pRbp2-Jun-c-Fos - complex c-Fos - complex pRbp2-Jun - complex Raf1-p130-E2F4-DP12 - complex p130-E2F4-DP12 - complex Raf1-p130-E2F4p1-DP12 - complex ;; Raf1-p130-E2F5-DP12 - complex ;; DUPLICATE 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-pRbp1-E2F13-DP12p1 - complex pRbp1-E2F13-DP12p1 - complex ;; Raf1-pRbp1-E2F13-DP12 - complex ;; DUPLICATE 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 pRbp1-E2F4-DP12 - complex Raf1-pRbp1-E2F4p1-DP12 - complex ;; SL1p1 - complex ;; DUPLICATE ;; cdk1p3-cycB - complex ;; DUPLICATE l0 - level l1 - level l2 - level l3 - level l4 - level l5 - level l6 - level l7 - level l8 - level l9 - level l10 - level l11 - level l12 - level) (:init (not-chosen Wee1) (not-chosen SL1) (not-chosen Raf1) (not-chosen pRbp2) (not-chosen pRbp1-E2F4p1-DP12) (not-chosen pRb) (not-chosen Plk1) (not-chosen PCNA) (not-chosen p53) (not-chosen p16) (not-chosen p130-E2F5p1-DP12) (not-chosen p130-E2F4p1-DP12) (not-chosen p130) (not-chosen Myt1) (not-chosen m1433) (not-chosen Jun) (not-chosen HDAC1) (not-chosen HBP1) (not-chosen gE-c) (not-chosen E2F6) (not-chosen E2F5) (not-chosen E2F4) (not-chosen E2F3) (not-chosen E2F2) (not-chosen E2F13p1-DP12p1) (not-chosen E2F13p1-DP12) (not-chosen E2F13-DP12p1) (not-chosen E2F13-DP12) (not-chosen E2F1) (not-chosen DP12) (not-chosen cycH) (not-chosen cycB) (not-chosen C-TAK1) (not-chosen cks1) (not-chosen CEBP) (not-chosen cdk7) (not-chosen cdk46p3-cycDp1) (not-chosen cdk46p3-cycD) (not-chosen cdk46p1) (not-chosen cdk2p2-cycB) (not-chosen cdk2p1) (not-chosen cdk2-cycB) (not-chosen cdk2) (not-chosen cdk1p1p2) (not-chosen cdc25C) (not-chosen c-Abl) (not-chosen APC) (not-chosen AP2) (possible Wee1) (possible SL1) (possible Raf1) (possible pRbp2) (possible pRbp1-E2F4p1-DP12) (possible pRb) (possible Plk1) (possible PCNA) (possible p53) (possible p16) (possible p130-E2F5p1-DP12) (possible p130-E2F4p1-DP12) (possible p130) (possible Myt1) (possible m1433) (possible Jun) (possible HDAC1) (possible HBP1) (possible gE-c) (possible E2F6) (possible E2F5) (possible E2F4) (possible E2F3) (possible E2F2) (possible E2F13p1-DP12p1) (possible E2F13p1-DP12) (possible E2F13-DP12p1) (possible E2F13-DP12) (possible E2F1) (possible DP12) (possible cycH) (possible cycB) (possible C-TAK1) (possible cks1) (possible CEBP) (possible cdk7) (possible cdk46p3-cycDp1) (possible cdk46p3-cycD) (possible cdk46p1) (possible cdk2p2-cycB) (possible cdk2p1) (possible cdk2-cycB) (possible cdk2) (possible cdk1p1p2) (possible cdc25C) (possible c-Abl) (possible APC) (possible AP2) (association-reaction AP2 gE-c AP2-gE-c) (synthesis-reaction AP2-gE-c Ecadherin) (catalyzed-association-reaction APC Plk1 APCp1) (association-reaction c-Abl pRb c-Abl-pRb) (association-reaction c-Abl pRbp1 c-Abl-pRbp1) (association-reaction c-Abl pRbp1p2 c-Abl-pRbp1p2) (association-reaction c-Abl pRbp2 c-Abl-pRbp2) (catalyzed-association-reaction cdc25C cdk1p3-cycB cdc25Cp1) (catalyzed-association-reaction cdc25C C-TAK1 cdc25Cp2) (catalyzed-association-reaction cdc25Cp1 C-TAK1 cdc25Cp1p2) (catalyzed-association-reaction cdc25Cp2 cdk1p3-cycB cdc25Cp1p2) (catalyzed-association-reaction cdc25Cp2 Plk1 cdc25Cp1p2) (catalyzed-association-reaction cdc25C Plk1 cdc25Cp1) (catalyzed-association-reaction cdk1 cdk7-cycH cdk1p3) (association-reaction cdk1 cks1 cdk1-cks1) (association-reaction cdk1 Gadd45 cdk1-Gadd45) (catalyzed-association-reaction cdk1p1 cdc25Cp1 cdk1) (catalyzed-association-reaction cdk1p1 cdc25Cp1p2 cdk1) (catalyzed-association-reaction cdk1p1 cdk7-cycH cdk1p1p3) (association-reaction cdk1p1 cks1 cdk1p1-cks1) (association-reaction cdk1p1 Gadd45 cdk1p1-Gadd45) (catalyzed-association-reaction cdk1p1p2 cdc25Cp1 cdk1p1) (catalyzed-association-reaction cdk1p1p2 cdc25Cp1 cdk1p2) (catalyzed-association-reaction cdk1p1p2 cdc25Cp1p2 cdk1p1) (catalyzed-association-reaction cdk1p1p2 cdc25Cp1p2 cdk1p2) (catalyzed-association-reaction cdk1p1p2 cdk7-cycH cdk1p1p2p3) (association-reaction cdk1p1p2 cks1 cdk1p1p2-cks1) (association-reaction cdk1p1p2 Gadd45 cdk1p1p2-Gadd45) (catalyzed-association-reaction cdk1p1p2p3 cdc25Cp1 cdk1p1p3) (catalyzed-association-reaction cdk1p1p2p3 cdc25Cp1 cdk1p2p3) (catalyzed-association-reaction cdk1p1p2p3 cdc25Cp1p2 cdk1p1p3) (catalyzed-association-reaction cdk1p1p2p3 cdc25Cp1p2 cdk1p2p3) (association-reaction cdk1p1p2p3 cks1 cdk1p1p2p3-cks1) (catalyzed-association-reaction cdk1p1p2p3-cycB cdc25Cp1 cdk1p1p3-cycB) (catalyzed-association-reaction cdk1p1p2p3-cycB cdc25Cp1 cdk1p2p3-cycB) (catalyzed-association-reaction cdk1p1p2p3-cycB cdc25Cp1p2 cdk1p1p3-cycB) (catalyzed-association-reaction cdk1p1p2p3-cycB cdc25Cp1p2 cdk1p2p3-cycB) (association-reaction cdk1p1p2p3 cycB cdk1p1p2p3-cycB) (association-reaction cdk1p1p2p3 Gadd45 cdk1p1p2p3-Gadd45) (catalyzed-association-reaction cdk1p1p3 cdc25Cp1 cdk1p3) (catalyzed-association-reaction cdk1p1p3 cdc25Cp1p2 cdk1p3) (association-reaction cdk1p1p3 cks1 cdk1p1p3-cks1) (catalyzed-association-reaction cdk1p1p3-cycB cdc25Cp1 cdk1p3-cycB) (catalyzed-association-reaction cdk1p1p3-cycB cdc25Cp1p2 cdk1p3-cycB) (association-reaction cdk1p1p3 cycB cdk1p1p3-cycB) (catalyzed-association-reaction cdk1p1p3-cycB Wee1 cdk1p1p2p3-cycB) (association-reaction cdk1p1p3 Gadd45 cdk1p1p3-Gadd45) (catalyzed-association-reaction cdk1p2 cdc25Cp1 cdk1) (catalyzed-association-reaction cdk1p2 cdc25Cp1p2 cdk1) (catalyzed-association-reaction cdk1p2 cdk7-cycH cdk1p2p3) (association-reaction cdk1p2 cks1 cdk1p2-cks1) (association-reaction cdk1p2 Gadd45 cdk1p2-Gadd45) (catalyzed-association-reaction cdk1p2p3 cdc25Cp1 cdk1p3) (catalyzed-association-reaction cdk1p2p3 cdc25Cp1p2 cdk1p3) (association-reaction cdk1p2p3 cks1 cdk1p2p3-cks1) (catalyzed-association-reaction cdk1p2p3-cycB cdc25Cp1 cdk1p3-cycB) (catalyzed-association-reaction cdk1p2p3-cycB cdc25Cp1p2 cdk1p3-cycB) (association-reaction cdk1p2p3 cycB cdk1p2p3-cycB) (catalyzed-association-reaction cdk1p2p3-cycB Myt1 cdk1p1p2p3-cycB) (association-reaction cdk1p2p3 Gadd45 cdk1p2p3-Gadd45) (association-reaction cdk1p3 cks1 cdk1p3-cks1) (association-reaction cdk1p3 cycB cdk1p3-cycB) (catalyzed-association-reaction cdk1p3-cycB Myt1 cdk1p1p3-cycB) (catalyzed-association-reaction cdk1p3-cycB Wee1 cdk1p2p3-cycB) (association-reaction cdk1p3 Gadd45 cdk1p3-Gadd45) (catalyzed-association-reaction cdk2 cdk7-cycH cdk2p2) (association-reaction cdk2 cks1 cdk2-cks1) (catalyzed-association-reaction cdk2-cycB Wee1 cdk2p1-cycB) (catalyzed-association-reaction cdk2p1 cdk7-cycH cdk2p1p2) (association-reaction cdk2p1 cks1 cdk2p1-cks1) (association-reaction cdk2p1p2 cks1 cdk2p1p2-cks1) (association-reaction cdk2p2 cks1 cdk2p2-cks1) (catalyzed-association-reaction cdk2p2-cycB Wee1 cdk2p1p2-cycB) (catalyzed-association-reaction cdk46p1 cdk7-cycH cdk46p1p2) (catalyzed-association-reaction cdk7 cdk7-cycH cdk7p1) (association-reaction cdk7 cycH cdk7-cycH) (catalyzed-association-reaction cdk7-cycH cdk7-cycH cdk7p1-cycH) (association-reaction cdk7p1 cycH cdk7p1-cycH) (association-reaction CEBP pRb CEBP-pRb) (association-reaction CEBP pRbp1 CEBP-pRbp1) (association-reaction CEBP pRbp1p2 CEBP-pRbp1p2) (association-reaction CEBP pRbp2 CEBP-pRbp2) (catalyzed-association-reaction cycB APCp1 APCp1) (association-reaction E2F1 DP12 E2F1-DP12) (association-reaction E2F2 DP12 E2F2-DP12) (association-reaction E2F3 DP12 E2F3-DP12) (association-reaction E2F4 DP12 E2F4-DP12) (association-reaction E2F5 DP12 E2F5-DP12) (association-reaction E2F6 DP12 E2F6-DP12) (association-reaction HBP1 p130 HBP1-p130) (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 Jun c-Fos Jun-c-Fos) (association-reaction m1433 cdc25Cp1p2 m1433-cdc25Cp1p2) (association-reaction m1433 cdc25Cp2 m1433-cdc25Cp2) (association-reaction Mdm2 E2F13-DP12 Mdm2-E2F13-DP12) (association-reaction Mdm2 E2F13-DP12p1 Mdm2-E2F13-DP12p1) (association-reaction Mdm2 E2F13p1-DP12 Mdm2-E2F13p1-DP12) (association-reaction Mdm2 E2F13p1-DP12p1 Mdm2-E2F13p1-DP12p1) (association-reaction Mdm2 pRb Mdm2-pRb) (association-reaction Mdm2 pRbp1 Mdm2-pRbp1) (association-reaction Mdm2 pRbp1p2 Mdm2-pRbp1p2) (association-reaction Mdm2 pRbp2 Mdm2-pRbp2) (association-reaction p130 E2F4-DP12 p130-E2F4-DP12) (association-reaction p130 E2F5-DP12 p130-E2F5-DP12) (association-reaction p16 cdk46p1 p16-cdk46p1) (association-reaction p16 cdk46p1p2 p16-cdk46p1p2) (association-reaction p16 cdk7 p16-cdk7) (association-reaction p16 cdk7p1 p16-cdk7p1) (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 Gadd45 PCNA-Gadd45) (association-reaction PCNA p21 PCNA-p21) (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 c-Fos pRb-Jun-c-Fos) (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 c-Fos pRbp1-Jun-c-Fos) (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 c-Fos pRbp1p2-Jun-c-Fos) (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 c-Fos pRbp2-Jun-c-Fos) (association-reaction pRbp2 Jun pRbp2-Jun) (association-reaction Raf1 p130-E2F4-DP12 Raf1-p130-E2F4-DP12) (association-reaction Raf1 p130-E2F4p1-DP12 Raf1-p130-E2F4p1-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 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) (catalyzed-association-reaction SL1 cdk1p3-cycB SL1p1) (catalyzed-association-reaction Wee1 cdk1p3-cycB Wee1p1) (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) (next l11 l10) (next l12 l11)) (:goal (and (goal1) (goal2) (goal3) (goal4) (goal5) (goal6) (goal7) (goal8) (goal9) (goal10) (goal11) (goal12) (goal13))) )