A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1X = 21;
2Y = 21;
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, 0, 1
21 |1, -1, -1, -1, -1
22 |1, 1, 1, 0, 1
23 |1, -1, -1, -1, -1
24 |1, -1, -1, -1, -1
25 |];
26cols = [|1, -1, -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, 0, 1, 1, 1
39 |1, -1, -1, -1, -1
40 |1, 0, 1, 1, 1
41 |1, -1, -1, -1, -1
42 |1, 0, 1, 1, 1
43 |1, -1, -1, -1, -1
44 |1, 0, 1, 1, 1
45 |1, -1, -1, -1, -1
46 |1, 1, 1, -1, -1
47 |];