A set of benchmarks to compare a new prototype MiniZinc implementation
1Cost = 224 2X = 3 0 0 0 1 0 0 4 0 1 1 0 1 1 5 1 0 0 0 1 0 6 1 0 0 0 0 1 7 8---------- 9==========