mzn-rewriting/median-string/p1_15_20-1.meta at develop · dekker.one/bytecode-benchmarks

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / mzn-rewriting / median-string / p1_15_20-1.meta

at develop 106 B view raw

1MODEL=median_string_dp.mzn
2DATA=p1_15_20-1.dzn
3METHOD=min
4TAGS=challenge2019,median-string
5TIMELIMIT=1200