singleHoist4.dat#
param numTanks := 4;
param numJobs := 4;
param empty: 0 1 2 3 4 :=
0 0 2 3 3 3
1 2 0 2 3 2
2 3 2 0 2 2
3 3 3 2 0 0
4 2 3 1 4 2 ;
param full := 0 4 1 4 2 4 3 5 4 2 ;
param minTime := 1 10 2 25 3 10 4 40 ;
param maxTime := 1 10 2 25 3 10 4 40 ;