dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / depot-placement / ts225_5.dzn
at develop 1.3 kB view raw
1PSize = 5; 2AllDist = [| 3 0, 500, 1000, 1500, 2000, 2500, 3000, 3500, 4000, 4500, 5000, 5500, 6000, 6500 4|500, 0, 500, 1000, 1500, 2000, 2500, 3000, 3500, 4000, 4500, 5000, 5500, 6000 5|1000, 500, 0, 500, 1000, 1500, 2000, 2500, 3000, 3500, 4000, 4500, 5000, 5500 6|1500, 1000, 500, 0, 500, 1000, 1500, 2000, 2500, 3000, 3500, 4000, 4500, 5000 7|2000, 1500, 1000, 500, 0, 500, 1000, 1500, 2000, 2500, 3000, 3500, 4000, 4500 8|2500, 2000, 1500, 1000, 500, 0, 500, 1000, 1500, 2000, 2500, 3000, 3500, 4000 9|3000, 2500, 2000, 1500, 1000, 500, 0, 500, 1000, 1500, 2000, 2500, 3000, 3500 10|3500, 3000, 2500, 2000, 1500, 1000, 500, 0, 500, 1000, 1500, 2000, 2500, 3000 11|4000, 3500, 3000, 2500, 2000, 1500, 1000, 500, 0, 500, 1000, 1500, 2000, 2500 12|4500, 4000, 3500, 3000, 2500, 2000, 1500, 1000, 500, 0, 500, 1000, 1500, 2000 13|5000, 4500, 4000, 3500, 3000, 2500, 2000, 1500, 1000, 500, 0, 500, 1000, 1500 14|5500, 5000, 4500, 4000, 3500, 3000, 2500, 2000, 1500, 1000, 500, 0, 500, 1000 15|6000, 5500, 5000, 4500, 4000, 3500, 3000, 2500, 2000, 1500, 1000, 500, 0, 500 16|6500, 6000, 5500, 5000, 4500, 4000, 3500, 3000, 2500, 2000, 1500, 1000, 500, 0 17|] ;