A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1n = 5;
2m = 5;
3maxTime = 1140;
4delayTime = 5;
5delayTrain = 2;
6delayDuration = 20;
7distance = [5,5,5,5];
8passengerStart = [0,0,6,14,0];
9passengerFlow = [0,10,10,10,0];
10scheduledArrival = [|0,5,13,21,29, |0,15,23,31,39, |0,25,33,41,49, |0,35,43,51,59, |0,45,53,61,69|];
11scheduledDeparture = [|0,8,16,24,32, |10,18,26,34,42, |20,28,36,44,52, |30,38,46,54,62, |40,48,56,64,72|];
12capacity = 500;