A set of benchmarks to compare a new prototype MiniZinc implementation
1eq20 1 4 6 6 6 3 2----------