A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1X = 29;
2Y = 29;
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, 0, 1
25 |1, -1, -1, -1, -1
26 |1, 1, 1, 0, 1
27 |1, -1, -1, -1, -1
28 |1, 1, 1, 0, 1
29 |1, -1, -1, -1, -1
30 |1, 1, 1, 0, 1
31 |1, -1, -1, -1, -1
32 |1, -1, -1, -1, -1
33 |];
34cols = [|1, -1, -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, 0, 1, 1, 1
47 |1, -1, -1, -1, -1
48 |1, 0, 1, 1, 1
49 |1, -1, -1, -1, -1
50 |1, 0, 1, 1, 1
51 |1, -1, -1, -1, -1
52 |1, 0, 1, 1, 1
53 |1, -1, -1, -1, -1
54 |1, 0, 1, 1, 1
55 |1, -1, -1, -1, -1
56 |1, 0, 1, 1, 1
57 |1, -1, -1, -1, -1
58 |1, 0, 1, 1, 1
59 |1, -1, -1, -1, -1
60 |1, 0, 1, 1, 1
61 |1, -1, -1, -1, -1
62 |1, 1, 1, -1, -1
63 |];