mzn-rewriting/train/instance.1.dzn at develop · dekker.one/bytecode-benchmarks

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / mzn-rewriting / train / instance.1.dzn

at develop 272 B view raw

 1n = 3;
 2m = 3;
 3maxTime = 1140;
 4delayTime = 5;
 5delayTrain = 2;
 6delayDuration = 5;
 7distance = [5,5];
 8passengerStart = [0,0,0];
 9passengerFlow = [0,10,0];
10scheduledArrival = [|0,5,13, |0,15,23, |0,25,33|];
11scheduledDeparture = [|0,8,16, |10,18,26, |20,28,36|];
12capacity = 500;