#days of weeks in the planning horizon (0=no working day); each week starting with Monday 0;0;1;2;3;4;5; 6;7;8;9;10;11;12; 13;14;15;16;17;18;19; 20;21;22;23;24;25;26; 27;28;29;30;31;0;0; #number of drivers 30; #permanent drivers 1;2;3;4;5;6;7;8;9;10;11;12;13;14;15;16;17;18;19;20;21;22;23;24;25; #temporary drivers 26;27;28;29;30; #dummy driver 31; #number of trucks 17; #trucks operated in a single shift per day 4;6;7;8;9;10;11;12;14;15;16;19;23;30; #trucks operated in two shifts (early/late) per day 3;5;13; #trucks which are driven on Saturday in a single shift 3;4;5;13; #lists of feasible drivers for the tank trucks in normal shifts <3> {8;9;26;27;28;29}; <4> {23;8;9;26;3;27;28;15;29}; <5> {9;8;26;27;28;29}; <6> {20;5;15;26;3;27;6}; <7> {4;7;22;10}; <8> {15;9;20}; <9> {11;5;15;26}; <10> {3;15;5;26}; <11> {17;15;27;1}; <12> {2;7;10;26}; <13> {8;9;27;28;29}; <14> {25;15;17;20;1;27;9}; <15> {10;7;26;2}; <16> {6;15;5;26;27}; <19> {22;7;4;10}; <23> {1;15;25;20}; <30> {18;24;26;30}; #lists of feasible drivers for early shifts <3> {13;8;9;26;27;28;29;19}; <5> {19;9;8;26;27;28;13;29;21}; <13> {21;12;8;9;27;28;29}; #lists of feasible drivers for late shifts <3> {8;9;26;16;27;28;29}; <5> {9;8;26;14;27;28;16;29;21}; <13> {21;12;8;9;27;28;29}; #set N^w 12;21; #vacation days for drivers <1>{}; <2>{}; <3>{}; <4>{}; <5>{}; <6>{}; <7>{}; <8>{}; <9>{}; <10>{}; <11>{}; <12>{}; <13>{}; <14>{}; <15>{}; <16>{}; <17>{}; <18>{}; <19>{}; <20>{}; <21>{}; <22>{}; <23>{}; <24>{}; <25>{}; <26>{}; <27>{}; <28>{1;2;3;6;7;8;9;10;13;14;15;16;17;20;21;22;23;24;27;28;29;30;31}; <29>{1;2;3;6;7;8;9;10;13;14;15;16;17;20;21;22;23;24;27;28;29;30;31}; <30>{}; #minimal total working times for drivers <1> 122; <2> 122; <3> 122; <4> 122; <5> 122; <6> 122; <7> 122; <8> 122; <9> 122; <10> 122; <11> 122; <12> 122; <13> 122; <14> 122; <15> 122; <16> 122; <17> 122; <18> 122; <19> 122; <20> 122; <21> 122; <22> 122; <23> 122; <24> 0; <25> 122; <26> 0; <27> 0; <28> 0; <29> 0; <30> 0; <31> 0; #maximal total working times for drivers <1> 180; <2> 180; <3> 180; <4> 180; <5> 180; <6> 180; <7> 180; <8> 180; <9> 180; <10> 180; <11> 180; <12> 180; <13> 180; <14> 180; <15> 180; <16> 180; <17> 180; <18> 180; <19> 180; <20> 180; <21> 180; <22> 180; <23> 180; <24> 50; <25> 180; <26> 50; <27> 50; <28> 20; <29> 20; <30> 50; <31> 0; #shift lengths for trucks operated in a single shift <4> 10; <6> 10; <7> 10; <8> 10; <9> 10; <10> 10; <11> 10; <12> 10; <14> 10; <15> 10; <16> 10; <19> 10; <23> 10; <30> 10; #shift lengths for trucks on Saturdays <3> 5; <4> 5; <5> 5; <13> 5; #shift lengths for trucks in early shifts <3> 10; <5> 10; <13> 10; #shift lengths for trucks in late shifts <3> 10; <5> 10; <13> 10; #priorities alpha for trucks and drivers (row=truck, column=driver) alpha[F*N] :=|1;2;3;4;5;6;7;8;9;10;11;12;13;14;15;16;17;18;19;20;21;22;23;24;25;26;27;28;29;30| |3| 1;1;1;1;1;1;1;0.1;0.2;1;1;1;0.0;1;1;0.0;1;1;0.5;1;1;1;1;1;1;0.3;0.5;0.5;0.5;1| |4| 1;1;0.5;1;1;1;1;0.1;0.2;1;1;1;1;1;0.5;1;1;1;1;1;1;1;0.0;1;1;0.3;0.5;0.5;0.5;1| |5| 1;1;1;1;1;1;1;0.2;0.1;1;1;1;0.5;0.0;1;0.5;1;1;0.0;1;0.5;1;1;1;1;0.3;0.5;0.5;0.5;1| |6| 1;1;0.5;1;0.1;0.5;1;1;1;1;1;1;1;1;0.2;1;1;1;1;0.0;1;1;1;1;1;0.3;0.5;1;1;1| |7| 1;1;1;0.0;1;1;0.1;1;1;0.3;1;1;1;1;1;1;1;1;1;1;1;0.2;1;1;1;1;1;1;1;1| |8| 1;1;1;1;1;1;1;1;0.2;1;1;1;1;1;0.1;1;1;1;1;0.3;1;1;1;1;1;1;1;1;1;1| |9| 1;1;1;1;0.1;1;1;1;1;1;0.0;1;1;1;0.2;1;1;1;1;1;1;1;1;1;1;0.3;1;1;1;1| |10| 1;1;0.0;1;0.2;1;1;1;1;1;1;1;1;1;0.1;1;1;1;1;1;1;1;1;1;1;0.3;1;1;1;1| |11| 0.3;1;1;1;1;1;1;1;1;1;1;1;1;1;0.1;1;0.0;1;1;1;1;1;1;1;1;1;0.2;1;1;1| |12| 1;0.0;1;1;1;1;0.1;1;1;0.2;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;0.3;1;1;1;1| |13| 1;1;1;1;1;1;1;0.2;0.3;1;1;0.0;1;1;1;1;1;1;1;1;0.0;1;1;1;1;1;0.5;0.5;0.5;1| |14| 0.5;1;1;1;1;1;1;1;0.5;1;1;1;1;1;0.1;1;0.2;1;1;0.3;1;1;1;1;0.0;1;0.5;1;1;1| |15| 1;0.3;1;1;1;1;0.1;1;1;0.0;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;0.2;1;1;1;1| |16| 1;1;1;1;0.2;0.0;1;1;1;1;1;1;1;1;0.1;1;1;1;1;1;1;1;1;1;1;0.3;0.5;1;1;1| |19| 1;1;1;0.2;1;1;0.1;1;1;0.3;1;1;1;1;1;1;1;1;1;1;1;0.0;1;1;1;1;1;1;1;1| |23| 0.0;1;1;1;1;1;1;1;1;1;1;1;1;1;0.1;1;1;1;1;0.3;1;1;1;1;0.2;1;1;1;1;1| |30| 1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;0.0;1;1;1;1;1;0.1;1;0.2;1;1;1;0.3|;