A set of benchmarks to compare a new prototype MiniZinc implementation
1perfsq 210^2 = 7^2 + 5^2 + 4^2 + 3^2 + 1^2 + 0^2 + 0^2 + 0^2 + 0^2 + 0^2 + 0^2 3---------- 4==========