(define (problem strips-sat-x-1) (:domain satellite) (:objects satellite0 instrument0 instrument1 instrument2 satellite1 instrument3 satellite2 instrument4 instrument5 instrument6 satellite3 instrument7 instrument8 satellite4 instrument9 instrument10 satellite5 instrument11 thermograph4 image1 thermograph3 image2 thermograph0 GroundStation3 GroundStation4 GroundStation2 GroundStation0 GroundStation1 Phenomenon5 Phenomenon6 Phenomenon7 Planet8 Star9 Star10 Phenomenon11 Phenomenon12 Phenomenon13 Star14 Planet15 Planet16 Planet17 Phenomenon18 Star19 Star20 Planet21 Star22 Planet23 Star24 ) (:init (satellite satellite0) (instrument instrument0) (supports instrument0 thermograph0) (supports instrument0 image1) (calibration_target instrument0 GroundStation2) (instrument instrument1) (supports instrument1 image2) (supports instrument1 thermograph3) (calibration_target instrument1 GroundStation0) (instrument instrument2) (supports instrument2 image1) (supports instrument2 thermograph3) (supports instrument2 thermograph4) (calibration_target instrument2 GroundStation2) (on_board instrument0 satellite0) (on_board instrument1 satellite0) (on_board instrument2 satellite0) (power_avail satellite0) (pointing satellite0 Phenomenon12) (satellite satellite1) (instrument instrument3) (supports instrument3 thermograph0) (supports instrument3 thermograph4) (supports instrument3 image2) (calibration_target instrument3 GroundStation2) (on_board instrument3 satellite1) (power_avail satellite1) (pointing satellite1 GroundStation1) (satellite satellite2) (instrument instrument4) (supports instrument4 thermograph4) (supports instrument4 image1) (supports instrument4 thermograph0) (calibration_target instrument4 GroundStation1) (instrument instrument5) (supports instrument5 thermograph4) (calibration_target instrument5 GroundStation4) (instrument instrument6) (supports instrument6 thermograph3) (supports instrument6 image1) (calibration_target instrument6 GroundStation0) (on_board instrument4 satellite2) (on_board instrument5 satellite2) (on_board instrument6 satellite2) (power_avail satellite2) (pointing satellite2 GroundStation2) (satellite satellite3) (instrument instrument7) (supports instrument7 image2) (supports instrument7 thermograph3) (calibration_target instrument7 GroundStation4) (instrument instrument8) (supports instrument8 thermograph4) (supports instrument8 thermograph0) (calibration_target instrument8 GroundStation2) (on_board instrument7 satellite3) (on_board instrument8 satellite3) (power_avail satellite3) (pointing satellite3 GroundStation4) (satellite satellite4) (instrument instrument9) (supports instrument9 thermograph0) (supports instrument9 image2) (supports instrument9 image1) (calibration_target instrument9 GroundStation2) (instrument instrument10) (supports instrument10 thermograph3) (supports instrument10 image1) (calibration_target instrument10 GroundStation0) (on_board instrument9 satellite4) (on_board instrument10 satellite4) (power_avail satellite4) (pointing satellite4 Planet15) (satellite satellite5) (instrument instrument11) (supports instrument11 thermograph0) (supports instrument11 image2) (calibration_target instrument11 GroundStation1) (on_board instrument11 satellite5) (power_avail satellite5) (pointing satellite5 Phenomenon11) (mode thermograph4) (mode image1) (mode thermograph3) (mode image2) (mode thermograph0) (direction GroundStation3) (direction GroundStation4) (direction GroundStation2) (direction GroundStation0) (direction GroundStation1) (direction Phenomenon5) (direction Phenomenon6) (direction Phenomenon7) (direction Planet8) (direction Star9) (direction Star10) (direction Phenomenon11) (direction Phenomenon12) (direction Phenomenon13) (direction Star14) (direction Planet15) (direction Planet16) (direction Planet17) (direction Phenomenon18) (direction Star19) (direction Star20) (direction Planet21) (direction Star22) (direction Planet23) (direction Star24) ) (:goal (and (pointing satellite0 Planet21) (pointing satellite2 Star14) (pointing satellite5 Planet17) (have_image Phenomenon5 image1) (have_image Phenomenon7 thermograph0) (have_image Planet8 image2) (have_image Star9 thermograph0) (have_image Star10 thermograph3) (have_image Phenomenon12 thermograph0) (have_image Phenomenon13 image1) (have_image Star14 thermograph4) (have_image Planet15 image2) (have_image Planet17 image2) (have_image Phenomenon18 image1) (have_image Star19 thermograph4) (have_image Star20 thermograph4) (have_image Planet21 thermograph0) (have_image Star22 thermograph3) (have_image Planet23 image1) )) )