(define (problem strips-sat-x-1) (:domain satellite) (:objects satellite0 - satellite instrument0 - instrument satellite1 - satellite instrument1 - instrument instrument2 - instrument infrared0 - mode infrared1 - mode thermograph2 - mode GroundStation1 - direction Star0 - direction Star2 - direction Planet3 - direction Star4 - direction Planet5 - direction Star6 - direction Star7 - direction Phenomenon8 - direction Phenomenon9 - direction ) (:init (supports instrument0 thermograph2) (supports instrument0 infrared0) (calibration_target instrument0 Star0) (on_board instrument0 satellite0) (power_avail satellite0) (pointing satellite0 Star6) (= (data_capacity satellite0) 1000) (= (fuel satellite0) 150) (supports instrument1 infrared0) (supports instrument1 thermograph2) (supports instrument1 infrared1) (calibration_target instrument1 Star2) (supports instrument2 thermograph2) (supports instrument2 infrared1) (calibration_target instrument2 Star2) (on_board instrument1 satellite1) (on_board instrument2 satellite1) (power_avail satellite1) (pointing satellite1 Star0) (= (data_capacity satellite1) 1000) (= (fuel satellite1) 139) (= (data Planet3 infrared0) 140) (= (data Star4 infrared0) 18) (= (data Planet5 infrared0) 79) (= (data Star6 infrared0) 176) (= (data Star7 infrared0) 240) (= (data Phenomenon8 infrared0) 62) (= (data Phenomenon9 infrared0) 245) (= (data Planet3 infrared1) 8) (= (data Star4 infrared1) 236) (= (data Planet5 infrared1) 57) (= (data Star6 infrared1) 179) (= (data Star7 infrared1) 54) (= (data Phenomenon8 infrared1) 100) (= (data Phenomenon9 infrared1) 212) (= (data Planet3 thermograph2) 64) (= (data Star4 thermograph2) 184) (= (data Planet5 thermograph2) 246) (= (data Star6 thermograph2) 99) (= (data Star7 thermograph2) 68) (= (data Phenomenon8 thermograph2) 79) (= (data Phenomenon9 thermograph2) 292) (= (slew_time GroundStation1 Star0) 6.492) (= (slew_time Star0 GroundStation1) 6.492) (= (slew_time Star2 Star0) 5.395) (= (slew_time Star0 Star2) 5.395) (= (slew_time Star2 GroundStation1) 19.93) (= (slew_time GroundStation1 Star2) 19.93) (= (slew_time Planet3 Star0) 18.76) (= (slew_time Star0 Planet3) 18.76) (= (slew_time Planet3 GroundStation1) 50.04) (= (slew_time GroundStation1 Planet3) 50.04) (= (slew_time Planet3 Star2) 20.45) (= (slew_time Star2 Planet3) 20.45) (= (slew_time Star4 Star0) 44.64) (= (slew_time Star0 Star4) 44.64) (= (slew_time Star4 GroundStation1) 48.47) (= (slew_time GroundStation1 Star4) 48.47) (= (slew_time Star4 Star2) 28.13) (= (slew_time Star2 Star4) 28.13) (= (slew_time Star4 Planet3) 49.6) (= (slew_time Planet3 Star4) 49.6) (= (slew_time Planet5 Star0) 46.82) (= (slew_time Star0 Planet5) 46.82) (= (slew_time Planet5 GroundStation1) 36.81) (= (slew_time GroundStation1 Planet5) 36.81) (= (slew_time Planet5 Star2) 0.1683) (= (slew_time Star2 Planet5) 0.1683) (= (slew_time Planet5 Planet3) 40.46) (= (slew_time Planet3 Planet5) 40.46) (= (slew_time Planet5 Star4) 65.74) (= (slew_time Star4 Planet5) 65.74) (= (slew_time Star6 Star0) 44.79) (= (slew_time Star0 Star6) 44.79) (= (slew_time Star6 GroundStation1) 9.513) (= (slew_time GroundStation1 Star6) 9.513) (= (slew_time Star6 Star2) 9.543) (= (slew_time Star2 Star6) 9.543) (= (slew_time Star6 Planet3) 12.7) (= (slew_time Planet3 Star6) 12.7) (= (slew_time Star6 Star4) 12.41) (= (slew_time Star4 Star6) 12.41) (= (slew_time Star6 Planet5) 71.12) (= (slew_time Planet5 Star6) 71.12) (= (slew_time Star7 Star0) 12.11) (= (slew_time Star0 Star7) 12.11) (= (slew_time Star7 GroundStation1) 21.45) (= (slew_time GroundStation1 Star7) 21.45) (= (slew_time Star7 Star2) 13.72) (= (slew_time Star2 Star7) 13.72) (= (slew_time Star7 Planet3) 3.892) (= (slew_time Planet3 Star7) 3.892) (= (slew_time Star7 Star4) 7.686) (= (slew_time Star4 Star7) 7.686) (= (slew_time Star7 Planet5) 14.44) (= (slew_time Planet5 Star7) 14.44) (= (slew_time Star7 Star6) 66.31) (= (slew_time Star6 Star7) 66.31) (= (slew_time Phenomenon8 Star0) 2.077) (= (slew_time Star0 Phenomenon8) 2.077) (= (slew_time Phenomenon8 GroundStation1) 25.92) (= (slew_time GroundStation1 Phenomenon8) 25.92) (= (slew_time Phenomenon8 Star2) 1.913) (= (slew_time Star2 Phenomenon8) 1.913) (= (slew_time Phenomenon8 Planet3) 52.31) (= (slew_time Planet3 Phenomenon8) 52.31) (= (slew_time Phenomenon8 Star4) 14.09) (= (slew_time Star4 Phenomenon8) 14.09) (= (slew_time Phenomenon8 Planet5) 12.9) (= (slew_time Planet5 Phenomenon8) 12.9) (= (slew_time Phenomenon8 Star6) 25.07) (= (slew_time Star6 Phenomenon8) 25.07) (= (slew_time Phenomenon8 Star7) 4.865) (= (slew_time Star7 Phenomenon8) 4.865) (= (slew_time Phenomenon9 Star0) 10.01) (= (slew_time Star0 Phenomenon9) 10.01) (= (slew_time Phenomenon9 GroundStation1) 21.7) (= (slew_time GroundStation1 Phenomenon9) 21.7) (= (slew_time Phenomenon9 Star2) 4.182) (= (slew_time Star2 Phenomenon9) 4.182) (= (slew_time Phenomenon9 Planet3) 2.509) (= (slew_time Planet3 Phenomenon9) 2.509) (= (slew_time Phenomenon9 Star4) 81.97) (= (slew_time Star4 Phenomenon9) 81.97) (= (slew_time Phenomenon9 Planet5) 33.18) (= (slew_time Planet5 Phenomenon9) 33.18) (= (slew_time Phenomenon9 Star6) 65.63) (= (slew_time Star6 Phenomenon9) 65.63) (= (slew_time Phenomenon9 Star7) 85.25) (= (slew_time Star7 Phenomenon9) 85.25) (= (slew_time Phenomenon9 Phenomenon8) 65.52) (= (slew_time Phenomenon8 Phenomenon9) 65.52) (= (data-stored) 0) (= (fuel-used) 0) ) (:goal (and (pointing satellite1 Planet5) )) (:metric maximize (data-stored)) )