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_instance6.dzn

9 lines
923 B
MiniZinc

% Instance 6 %
opDur=[6,6,2,2,2,6,6,2,2,4,6,4,6,6,4,5,4,5,2,6,2,6,6,3,2,4,5,4,4,2,2,4,3,6,6,5,3,3,3,2,4,4,3,3,5,4,6,2,3,2,6,5,3,6,6,4,2,4,5,6,3,5,4,3,5,4,5,6,6,2,6,5,2,4,2,2,4,2,3,3,6,4,4,6,2];
cNum=[5,1,1,5,5,3,2,1,3,3,2,2,1,1,4,5,4,5,4,5,1,5,4,1,2,4,1,4,2,5,3,1,5,5,2,2,2,1,1,4,5,2,1,4,4,1,1,2,1,4,3,5,1,2,5,4,5,4,4,2,4,3,3,3,3,1,1,2,2,2,1,5,5,1,5,1,2,3,5,4,5,3,5,4,1];
xCoor=[59,4,1,26,20,15,39,20,45,69,52,60,84,45,3,19,16,1,3,67,72,25,12,67,42,25,32,79,12,11,15,82,68,36,36,87,29,13,2,62,82,49,49,7,90,54,45,9,46,43,53,14,23,40,14,37,56,36,50,28,84,36,8,69,53,71,75,23,65,61,56,59,17,15,12,11,32,43,67,73,59,27,46,19,94];
FA=[{1,8,28,33,34,37,54,68,71,76,79},{2,9,12,15,16,18,32,40,55,57,62,67,74,81},{27,38,39,44,48,51,56,58,60,61,66,72,82},{5,7,11,14,21,23,25,29,35,36,43,46,47,49,50,52,59,64,69,70,73,75,77,78,80,84},{3,4,6,10,13,17,19,20,22,24,26,30,31,41,42,45,53,63,65,83,85}];
airlines=5;
flights=85;
times=96;