(define (problem CrewPlanning_1crew_2day) (:domain CrewPlanning) (:objects d1 d2 d3 - Day c1 - CrewMember mcs1 - MedicalState spaceshipFilter - FilterState rpcm1 - RPCM pa1 pa2 pa3 pa4 pa5 - PayloadAct ) (:init (= (total-cost) 0) (currentday d1) (next d1 d2) (next d2 d3) (active c1 d1) (= (available_time c1 d1) 1440) (active c1 d2) (= (available_time c1 d2) 1440) (= (crew_efficiency c1 d1) 7) (= (crew_efficiency c1 d2) 9) (= (achieve_time_discount d1) 0) (= (achieve_time_discount d2) 10) (= (payloadact_length pa1) 130) (= (payloadact_length pa2) 120) (= (payloadact_length pa3) 160) (= (payloadact_length pa4) 160) (= (payloadact_length pa5) 160) ) (:goal (and (preference dr (currentday d3)) (preference mcs1_1 (mcs_finished mcs1 d1)) (preference filter1 (changed spaceshipFilter d1)) (preference rpcm_pref (done_rpcm rpcm1)) (preference pref_pa1 (payload_act_completed pa1)) (preference pref_pa2 (payload_act_completed pa2)) (preference pref_pa3 (payload_act_completed pa3)) (preference pref_pa4 (payload_act_completed pa4)) (preference pref_pa5 (payload_act_completed pa5)) ) ) (:metric maximize ( - 8130 (+ (total-cost) (* (is-violated dr) 5490) (* (is-violated mcs1_1) 180) (* (is-violated filter1) 180) (* (is-violated rpcm_pref) 820) (* (is-violated pref_pa1) 260) (* (is-violated pref_pa2) 240) (* (is-violated pref_pa3) 320) (* (is-violated pref_pa4) 320) (* (is-violated pref_pa5) 320) ))) )