A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1X = 17;
2Y = 17;
3maxlen = 5;
4rows = [|1, 1, 1, -1, -1
5 |1, -1, -1, -1, -1
6 |1, 1, 1, 0, 1
7 |1, -1, -1, -1, -1
8 |1, 1, 1, 0, 1
9 |1, -1, -1, -1, -1
10 |1, 1, 1, 0, 1
11 |1, -1, -1, -1, -1
12 |1, 1, 1, 0, 1
13 |1, -1, -1, -1, -1
14 |1, 1, 1, 0, 1
15 |1, -1, -1, -1, -1
16 |1, 1, 1, 0, 1
17 |1, -1, -1, -1, -1
18 |1, 1, 1, 0, 1
19 |1, -1, -1, -1, -1
20 |1, -1, -1, -1, -1
21 |];
22cols = [|1, -1, -1, -1, -1
23 |1, -1, -1, -1, -1
24 |1, 0, 1, 1, 1
25 |1, -1, -1, -1, -1
26 |1, 0, 1, 1, 1
27 |1, -1, -1, -1, -1
28 |1, 0, 1, 1, 1
29 |1, -1, -1, -1, -1
30 |1, 0, 1, 1, 1
31 |1, -1, -1, -1, -1
32 |1, 0, 1, 1, 1
33 |1, -1, -1, -1, -1
34 |1, 0, 1, 1, 1
35 |1, -1, -1, -1, -1
36 |1, 0, 1, 1, 1
37 |1, -1, -1, -1, -1
38 |1, 1, 1, -1, -1
39 |];