A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1n = 4;
2m = 4;
3maxTime = 1140;
4delayTime = 15;
5delayTrain = 2;
6delayDuration = 5;
7distance = [5,5,5];
8passengerStart = [0,0,6,0];
9passengerFlow = [0,10,10,0];
10scheduledArrival = [|0,5,13,21, |0,15,23,31, |0,25,33,41, |0,35,43,51|];
11scheduledDeparture = [|0,8,16,24, |10,18,26,34, |20,28,36,44, |30,38,46,54|];
12capacity = 500;