mzn-rewriting/median-string/p2_10_8-3.dzn at develop · dekker.one/bytecode-benchmarks

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / mzn-rewriting / median-string / p2_10_8-3.dzn

at develop 284 B view raw

1num_strings=10;
2max_length_strings=8;
3max_length_median=8;
4max_char=4;
5strings=[|3,1,2,3,4,1,1,0|1,4,1,4,1,2,0,0|1,3,1,0,0,0,0,0|3,0,0,0,0,0,0,0|4,3,0,0,0,0,0,0|1,4,4,2,3,0,0,0|4,3,2,2,1,3,1,1|2,0,0,0,0,0,0,0|3,3,2,3,4,3,0,0|2,3,4,1,1,2,2,0|];
6str_length=[7,6,3,1,2,5,8,1,6,7];