/* reward structures */

/* throughput of machine1 */
rewards "throughput_m1"
	[tP1_1]  true : 1;
	[tP1_2]  true : 1;	
endrewards


rewards "throughput_m2"
	[tP2_1]  true : 1;	
	[tP2_2]  true : 1;
endrewards

rewards "throughput_m3"
	[tP3]  true : 1;
endrewards

rewards "throughput_m12"
	[tP12_1]  true : 1;
	[tP12_2]  true : 1;	
endrewards


rewards "productivity"
	[tP1_1]  true : 400;
	[tP1_2]  true : 400;	
	[tP2_1]  true : 600;	
	[tP2_2]  true : 600;
	[tP3]  true : 100;
	[tP12_1]  true : 1100;
	[tP12_2]  true : 1100;	
endrewards