A set of benchmarks to compare a new prototype MiniZinc implementation
1golomb [0, 1, 4, 6] 2---------- 3==========