1
0
This repository has been archived on 2025-03-06. You can view files and clone it, but cannot push or open issues or pull requests.
mzn-byte-benchmarks/flatten/accap/accap_instance5.dzn

8 lines
569 B
MiniZinc

% Instance 5 %
opDur=[3,4,2,5,5,5,3,3,2,6,5,6,6,3,3,4,5,5,5,4,6,3,3,4,5,5,3,5,2,2,5,6,3,6,6,3,3,6,2,3,6,2,5,4,2,6,5,5,5,2];
cNum=[1,5,2,5,3,5,1,3,1,4,2,5,4,1,1,5,5,5,3,2,3,5,2,4,5,1,5,5,5,1,2,1,5,5,5,2,3,3,4,2,1,3,4,1,3,1,3,5,1,4];
xCoor=[26,5,7,2,6,23,21,11,23,17,18,19,10,2,21,26,12,11,2,10,15,15,19,10,25,15,21,8,21,3,16,19,7,15,17,10,19,5,4,24,9,1,18,25,5,22,23,25,24,15];
FA=[{3,4,7,13,19,24,25,33,34,38,49},{5,9,11,15,21,27,40,41,50},{1,8,10,16,18,28,30,32,37,48},{12,17,29,35,36,39,43},{6,14,22,31,46},{2,20,23,26,42,44,45,47}];
airlines=6;
flights=50;
times=30;