/* reward structures */

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

rewards "throughput_m2"
	[tP2]  true : 1;	
endrewards

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

rewards "throughput_m12"
	[tP12]  true : 1;	
endrewards

/*
rewards "productivity"
	[t1]  true : 400;
	[t2]  true : 600;
	[t3]  true : 100;
	[t12] true : 1100;
endrewards
*/