mzn-rewriting/median-string/p2_10_8-3.meta 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.meta

at develop 105 B view raw

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