dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

bytecode-benchmarks / mzn-rewriting / median-string / p2_4_20-0.dzn
at develop 6 lines 273 B view raw
dekker.one Add benchmarks + execution scripts for prototype benchmarks
a9256a7c
1num_strings=4; 2max_length_strings=20; 3max_length_median=20; 4max_char=4; 5strings=[|4,4,3,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0|2,3,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0|4,4,4,4,4,3,4,4,2,0,0,0,0,0,0,0,0,0,0,0|2,3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0|]; 6str_length=[5,3,9,3];