(define (problem strips-sat-x-1) (:domain satellite) (:objects satellite0 - satellite instrument0 - instrument instrument1 - instrument instrument2 - instrument satellite1 - satellite instrument3 - instrument instrument4 - instrument instrument5 - instrument satellite2 - satellite instrument6 - instrument instrument7 - instrument satellite3 - satellite instrument8 - instrument instrument9 - instrument thermograph2 - mode image0 - mode thermograph1 - mode spectrograph3 - mode Star2 - direction GroundStation1 - direction Star0 - direction Star3 - direction Star4 - direction Phenomenon5 - direction Star6 - direction Star7 - direction Phenomenon8 - direction Phenomenon9 - direction Star10 - direction Planet11 - direction Phenomenon12 - direction Phenomenon13 - direction Phenomenon14 - direction ) (:init (supports instrument0 thermograph1) (supports instrument0 image0) (calibration_target instrument0 Star3) (supports instrument1 spectrograph3) (supports instrument1 thermograph2) (supports instrument1 thermograph1) (calibration_target instrument1 Star2) (supports instrument2 spectrograph3) (calibration_target instrument2 Star4) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument2 satellite0) (power_avail satellite0) (pointing satellite0 Phenomenon14) (= (data_capacity satellite0) 1000) (= (fuel satellite0) 182) (supports instrument3 thermograph2) (supports instrument3 image0) (calibration_target instrument3 GroundStation1) (supports instrument4 thermograph1) (calibration_target instrument4 Star4) (supports instrument5 thermograph2) (supports instrument5 thermograph1) (supports instrument5 spectrograph3) (calibration_target instrument5 Star0) (on_board instrument3 satellite1) (on_board instrument4 satellite1) (on_board instrument5 satellite1) (power_avail satellite1) (pointing satellite1 Star4) (= (data_capacity satellite1) 1000) (= (fuel satellite1) 138) (supports instrument6 thermograph1) (supports instrument6 thermograph2) (calibration_target instrument6 Star3) (supports instrument7 thermograph2) (supports instrument7 thermograph1) (supports instrument7 image0) (calibration_target instrument7 Star0) (on_board instrument6 satellite2) (on_board instrument7 satellite2) (power_avail satellite2) (pointing satellite2 Star6) (= (data_capacity satellite2) 1000) (= (fuel satellite2) 153) (supports instrument8 image0) (calibration_target instrument8 Star3) (supports instrument9 spectrograph3) (supports instrument9 thermograph1) (supports instrument9 image0) (calibration_target instrument9 Star4) (on_board instrument8 satellite3) (on_board instrument9 satellite3) (power_avail satellite3) (pointing satellite3 Phenomenon5) (= (data_capacity satellite3) 1000) (= (fuel satellite3) 193) (= (data Phenomenon5 thermograph2) 154) (= (data Star6 thermograph2) 17) (= (data Star7 thermograph2) 269) (= (data Phenomenon8 thermograph2) 63) (= (data Phenomenon9 thermograph2) 136) (= (data Star10 thermograph2) 137) (= (data Planet11 thermograph2) 86) (= (data Phenomenon12 thermograph2) 161) (= (data Phenomenon13 thermograph2) 246) (= (data Phenomenon14 thermograph2) 231) (= (data Phenomenon5 image0) 136) (= (data Star6 image0) 274) (= (data Star7 image0) 291) (= (data Phenomenon8 image0) 277) (= (data Phenomenon9 image0) 145) (= (data Star10 image0) 90) (= (data Planet11 image0) 222) (= (data Phenomenon12 image0) 25) (= (data Phenomenon13 image0) 12) (= (data Phenomenon14 image0) 26) (= (data Phenomenon5 thermograph1) 288) (= (data Star6 thermograph1) 72) (= (data Star7 thermograph1) 111) (= (data Phenomenon8 thermograph1) 137) (= (data Phenomenon9 thermograph1) 190) (= (data Star10 thermograph1) 63) (= (data Planet11 thermograph1) 167) (= (data Phenomenon12 thermograph1) 135) (= (data Phenomenon13 thermograph1) 164) (= (data Phenomenon14 thermograph1) 57) (= (data Phenomenon5 spectrograph3) 124) (= (data Star6 spectrograph3) 63) (= (data Star7 spectrograph3) 20) (= (data Phenomenon8 spectrograph3) 58) (= (data Phenomenon9 spectrograph3) 183) (= (data Star10 spectrograph3) 235) (= (data Planet11 spectrograph3) 59) (= (data Phenomenon12 spectrograph3) 127) (= (data Phenomenon13 spectrograph3) 60) (= (data Phenomenon14 spectrograph3) 68) (= (slew_time Star2 Star0) 63.53) (= (slew_time Star0 Star2) 63.53) (= (slew_time Star2 GroundStation1) 9.039) (= (slew_time GroundStation1 Star2) 9.039) (= (slew_time GroundStation1 Star0) 62.34) (= (slew_time Star0 GroundStation1) 62.34) (= (slew_time Star3 Star0) 4.325) (= (slew_time Star0 Star3) 4.325) (= (slew_time Star3 GroundStation1) 52.67) (= (slew_time GroundStation1 Star3) 52.67) (= (slew_time Star3 Star2) 3.529) (= (slew_time Star2 Star3) 3.529) (= (slew_time Star4 Star0) 45.66) (= (slew_time Star0 Star4) 45.66) (= (slew_time Star4 GroundStation1) 34.15) (= (slew_time GroundStation1 Star4) 34.15) (= (slew_time Star4 Star2) 70.99) (= (slew_time Star2 Star4) 70.99) (= (slew_time Star4 Star3) 9.409) (= (slew_time Star3 Star4) 9.409) (= (slew_time Phenomenon5 Star0) 57.6) (= (slew_time Star0 Phenomenon5) 57.6) (= (slew_time Phenomenon5 GroundStation1) 31.6) (= (slew_time GroundStation1 Phenomenon5) 31.6) (= (slew_time Phenomenon5 Star2) 13.92) (= (slew_time Star2 Phenomenon5) 13.92) (= (slew_time Phenomenon5 Star3) 11.75) (= (slew_time Star3 Phenomenon5) 11.75) (= (slew_time Phenomenon5 Star4) 55.9) (= (slew_time Star4 Phenomenon5) 55.9) (= (slew_time Star6 Star0) 23.46) (= (slew_time Star0 Star6) 23.46) (= (slew_time Star6 GroundStation1) 36.8) (= (slew_time GroundStation1 Star6) 36.8) (= (slew_time Star6 Star2) 67.83) (= (slew_time Star2 Star6) 67.83) (= (slew_time Star6 Star3) 53.27) (= (slew_time Star3 Star6) 53.27) (= (slew_time Star6 Star4) 2.914) (= (slew_time Star4 Star6) 2.914) (= (slew_time Star6 Phenomenon5) 40.91) (= (slew_time Phenomenon5 Star6) 40.91) (= (slew_time Star7 Star0) 5.342) (= (slew_time Star0 Star7) 5.342) (= (slew_time Star7 GroundStation1) 62.44) (= (slew_time GroundStation1 Star7) 62.44) (= (slew_time Star7 Star2) 67.54) (= (slew_time Star2 Star7) 67.54) (= (slew_time Star7 Star3) 0.3619) (= (slew_time Star3 Star7) 0.3619) (= (slew_time Star7 Star4) 68.47) (= (slew_time Star4 Star7) 68.47) (= (slew_time Star7 Phenomenon5) 18.87) (= (slew_time Phenomenon5 Star7) 18.87) (= (slew_time Star7 Star6) 23.81) (= (slew_time Star6 Star7) 23.81) (= (slew_time Phenomenon8 Star0) 65.16) (= (slew_time Star0 Phenomenon8) 65.16) (= (slew_time Phenomenon8 GroundStation1) 64.08) (= (slew_time GroundStation1 Phenomenon8) 64.08) (= (slew_time Phenomenon8 Star2) 2.837) (= (slew_time Star2 Phenomenon8) 2.837) (= (slew_time Phenomenon8 Star3) 11.96) (= (slew_time Star3 Phenomenon8) 11.96) (= (slew_time Phenomenon8 Star4) 17.1) (= (slew_time Star4 Phenomenon8) 17.1) (= (slew_time Phenomenon8 Phenomenon5) 16.3) (= (slew_time Phenomenon5 Phenomenon8) 16.3) (= (slew_time Phenomenon8 Star6) 9.918) (= (slew_time Star6 Phenomenon8) 9.918) (= (slew_time Phenomenon8 Star7) 7.165) (= (slew_time Star7 Phenomenon8) 7.165) (= (slew_time Phenomenon9 Star0) 16.22) (= (slew_time Star0 Phenomenon9) 16.22) (= (slew_time Phenomenon9 GroundStation1) 34.8) (= (slew_time GroundStation1 Phenomenon9) 34.8) (= (slew_time Phenomenon9 Star2) 0.9776) (= (slew_time Star2 Phenomenon9) 0.9776) (= (slew_time Phenomenon9 Star3) 4.41) (= (slew_time Star3 Phenomenon9) 4.41) (= (slew_time Phenomenon9 Star4) 26.77) (= (slew_time Star4 Phenomenon9) 26.77) (= (slew_time Phenomenon9 Phenomenon5) 33.82) (= (slew_time Phenomenon5 Phenomenon9) 33.82) (= (slew_time Phenomenon9 Star6) 35.04) (= (slew_time Star6 Phenomenon9) 35.04) (= (slew_time Phenomenon9 Star7) 17.12) (= (slew_time Star7 Phenomenon9) 17.12) (= (slew_time Phenomenon9 Phenomenon8) 4.557) (= (slew_time Phenomenon8 Phenomenon9) 4.557) (= (slew_time Star10 Star0) 37.57) (= (slew_time Star0 Star10) 37.57) (= (slew_time Star10 GroundStation1) 89.58) (= (slew_time GroundStation1 Star10) 89.58) (= (slew_time Star10 Star2) 1.56) (= (slew_time Star2 Star10) 1.56) (= (slew_time Star10 Star3) 8.979) (= (slew_time Star3 Star10) 8.979) (= (slew_time Star10 Star4) 3) (= (slew_time Star4 Star10) 3) (= (slew_time Star10 Phenomenon5) 48.8) (= (slew_time Phenomenon5 Star10) 48.8) (= (slew_time Star10 Star6) 54.23) (= (slew_time Star6 Star10) 54.23) (= (slew_time Star10 Star7) 30.1) (= (slew_time Star7 Star10) 30.1) (= (slew_time Star10 Phenomenon8) 7.569) (= (slew_time Phenomenon8 Star10) 7.569) (= (slew_time Star10 Phenomenon9) 9.911) (= (slew_time Phenomenon9 Star10) 9.911) (= (slew_time Planet11 Star0) 6.627) (= (slew_time Star0 Planet11) 6.627) (= (slew_time Planet11 GroundStation1) 19.96) (= (slew_time GroundStation1 Planet11) 19.96) (= (slew_time Planet11 Star2) 17.65) (= (slew_time Star2 Planet11) 17.65) (= (slew_time Planet11 Star3) 29.83) (= (slew_time Star3 Planet11) 29.83) (= (slew_time Planet11 Star4) 82.89) (= (slew_time Star4 Planet11) 82.89) (= (slew_time Planet11 Phenomenon5) 14.03) (= (slew_time Phenomenon5 Planet11) 14.03) (= (slew_time Planet11 Star6) 51.23) (= (slew_time Star6 Planet11) 51.23) (= (slew_time Planet11 Star7) 18.7) (= (slew_time Star7 Planet11) 18.7) (= (slew_time Planet11 Phenomenon8) 43.2) (= (slew_time Phenomenon8 Planet11) 43.2) (= (slew_time Planet11 Phenomenon9) 6.488) (= (slew_time Phenomenon9 Planet11) 6.488) (= (slew_time Planet11 Star10) 13.94) (= (slew_time Star10 Planet11) 13.94) (= (slew_time Phenomenon12 Star0) 21.19) (= (slew_time Star0 Phenomenon12) 21.19) (= (slew_time Phenomenon12 GroundStation1) 63.1) (= (slew_time GroundStation1 Phenomenon12) 63.1) (= (slew_time Phenomenon12 Star2) 33.28) (= (slew_time Star2 Phenomenon12) 33.28) (= (slew_time Phenomenon12 Star3) 8.303) (= (slew_time Star3 Phenomenon12) 8.303) (= (slew_time Phenomenon12 Star4) 0.0354) (= (slew_time Star4 Phenomenon12) 0.0354) (= (slew_time Phenomenon12 Phenomenon5) 35.36) (= (slew_time Phenomenon5 Phenomenon12) 35.36) (= (slew_time Phenomenon12 Star6) 28.91) (= (slew_time Star6 Phenomenon12) 28.91) (= (slew_time Phenomenon12 Star7) 79.29) (= (slew_time Star7 Phenomenon12) 79.29) (= (slew_time Phenomenon12 Phenomenon8) 21.34) (= (slew_time Phenomenon8 Phenomenon12) 21.34) (= (slew_time Phenomenon12 Phenomenon9) 3.596) (= (slew_time Phenomenon9 Phenomenon12) 3.596) (= (slew_time Phenomenon12 Star10) 26.75) (= (slew_time Star10 Phenomenon12) 26.75) (= (slew_time Phenomenon12 Planet11) 18.27) (= (slew_time Planet11 Phenomenon12) 18.27) (= (slew_time Phenomenon13 Star0) 6.402) (= (slew_time Star0 Phenomenon13) 6.402) (= (slew_time Phenomenon13 GroundStation1) 14.41) (= (slew_time GroundStation1 Phenomenon13) 14.41) (= (slew_time Phenomenon13 Star2) 32.41) (= (slew_time Star2 Phenomenon13) 32.41) (= (slew_time Phenomenon13 Star3) 30.34) (= (slew_time Star3 Phenomenon13) 30.34) (= (slew_time Phenomenon13 Star4) 13.91) (= (slew_time Star4 Phenomenon13) 13.91) (= (slew_time Phenomenon13 Phenomenon5) 18.31) (= (slew_time Phenomenon5 Phenomenon13) 18.31) (= (slew_time Phenomenon13 Star6) 10.86) (= (slew_time Star6 Phenomenon13) 10.86) (= (slew_time Phenomenon13 Star7) 37.39) (= (slew_time Star7 Phenomenon13) 37.39) (= (slew_time Phenomenon13 Phenomenon8) 16.53) (= (slew_time Phenomenon8 Phenomenon13) 16.53) (= (slew_time Phenomenon13 Phenomenon9) 47.05) (= (slew_time Phenomenon9 Phenomenon13) 47.05) (= (slew_time Phenomenon13 Star10) 69.35) (= (slew_time Star10 Phenomenon13) 69.35) (= (slew_time Phenomenon13 Planet11) 5.432) (= (slew_time Planet11 Phenomenon13) 5.432) (= (slew_time Phenomenon13 Phenomenon12) 1.492) (= (slew_time Phenomenon12 Phenomenon13) 1.492) (= (slew_time Phenomenon14 Star0) 0.5408) (= (slew_time Star0 Phenomenon14) 0.5408) (= (slew_time Phenomenon14 GroundStation1) 11.89) (= (slew_time GroundStation1 Phenomenon14) 11.89) (= (slew_time Phenomenon14 Star2) 2.42) (= (slew_time Star2 Phenomenon14) 2.42) (= (slew_time Phenomenon14 Star3) 75.22) (= (slew_time Star3 Phenomenon14) 75.22) (= (slew_time Phenomenon14 Star4) 12.98) (= (slew_time Star4 Phenomenon14) 12.98) (= (slew_time Phenomenon14 Phenomenon5) 40.24) (= (slew_time Phenomenon5 Phenomenon14) 40.24) (= (slew_time Phenomenon14 Star6) 32.17) (= (slew_time Star6 Phenomenon14) 32.17) (= (slew_time Phenomenon14 Star7) 34.6) (= (slew_time Star7 Phenomenon14) 34.6) (= (slew_time Phenomenon14 Phenomenon8) 19.57) (= (slew_time Phenomenon8 Phenomenon14) 19.57) (= (slew_time Phenomenon14 Phenomenon9) 19.79) (= (slew_time Phenomenon9 Phenomenon14) 19.79) (= (slew_time Phenomenon14 Star10) 19.33) (= (slew_time Star10 Phenomenon14) 19.33) (= (slew_time Phenomenon14 Planet11) 73.58) (= (slew_time Planet11 Phenomenon14) 73.58) (= (slew_time Phenomenon14 Phenomenon12) 53.64) (= (slew_time Phenomenon12 Phenomenon14) 53.64) (= (slew_time Phenomenon14 Phenomenon13) 2.715) (= (slew_time Phenomenon13 Phenomenon14) 2.715) (= (data-stored) 0) (= (fuel-used) 0) ) (:goal (and )) (:metric maximize (data-stored)) )