mzn-rewriting/accap/accap_instance3.dzn at develop · dekker.one/bytecode-benchmarks

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / mzn-rewriting / accap / accap_instance3.dzn

at develop 258 B view raw

1% Instance 3 %
2opDur=[4,2,2,2,5,6,3,2,2,5,4,2,5,6,4,2,4,2,6,5];
3cNum=[2,5,1,2,2,1,4,5,4,5,1,5,2,3,3,5,3,3,5,4];
4xCoor=[4,7,8,8,3,1,4,6,4,2,3,7,4,2,3,6,1,3,3,2];
5FA=[{3,4,6,9,12,14},{2,5,7,8,10,11,13,15,17,20},{1,16,18,19}];
6airlines=3;
7flights=20;
8times=10;