(define (problem CrewPlanning_1crew_2day)
(:domain CrewPlanning)
(:objects
	d1 d2 d3 - Day

	c1 - CrewMember
	mcs1 - MedicalState

	spaceshipFilter - FilterState

	pa1 pa2 pa3 pa4 pa5 pa6 pa7 pa8 - 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) 9)
	(= (crew_efficiency c1 d2) 7)

	(= (achieve_time_discount d1) 0)
	(= (achieve_time_discount d2) 10)

	(= (payloadact_length pa1) 110)
	(= (payloadact_length pa2) 90)
	(= (payloadact_length pa3) 80)
	(= (payloadact_length pa4) 150)
	(= (payloadact_length pa5) 110)
	(= (payloadact_length pa6) 140)
	(= (payloadact_length pa7) 90)
	(= (payloadact_length pa8) 130)

)

(:goal
(and
	(preference dr (currentday d3))
	(preference mcs1_2 (mcs_finished mcs1 d2))

	(preference filter2 (changed spaceshipFilter d2))


	(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))
	(preference pref_pa6 (payload_act_completed pa6))
	(preference pref_pa7 (payload_act_completed pa7))
	(preference pref_pa8 (payload_act_completed pa8))
)
)
(:metric maximize
	( - 7230
	(+ (total-cost)
	(* (is-violated dr) 5490)
	    (* (is-violated mcs1_2) 180)
	    (* (is-violated filter2) 180)
	    (* (is-violated pref_pa1) 110)
	    (* (is-violated pref_pa2) 180)
	    (* (is-violated pref_pa3) 80)
	    (* (is-violated pref_pa4) 300)
	    (* (is-violated pref_pa5) 220)
	    (* (is-violated pref_pa6) 140)
	    (* (is-violated pref_pa7) 90)
	    (* (is-violated pref_pa8) 260)
)))
)