mzn-rewriting/median-string/p2_10_8-0.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-0.dzn

at develop 284 B view raw

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