A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1n= 24;
2k= 8;
3maxsize= 24;
4nML= 1;
5nCL= 1;
6deg= [ 1, 4, 3, 2, 3, 5, 3, 3, 7, 4, 3, 3, 6, 2, 2, 3, 4, 3, 4, 2, 2, 3, 2, 2] ;
7ML= [| 1, 7,
8|] ;
9CL= [| 12, 14,
10|] ;
11A= [| 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
12| 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
13| 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
14| 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
15| 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
16| 0, 1, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
17| 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0,
18| 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
19| 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
20| 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0,
21| 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0,
22| 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0,
23| 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0,
24| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0,
25| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0,
26| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0,
27| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0,
28| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0,
29| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1,
30| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1,
31| 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
32| 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
33| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
34| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0|] ;
35W= [| -132, 9474, -395, -263, -395, -658, -395, -395, -921, -526, -395, -395, -789, -263, -263, -395, -526, -395, -526, -263, -263, -395, -263, -263,
36| 9474, -2105, 8421, -1053, 8421, 7368, -1579, -1579, -3684, -2105, -1579, -1579, -3158, -1053, -1053, -1579, -2105, -1579, -2105, -1053, -1053, -1579, -1053, -1053,
37| -395, 8421, -1184, 9211, -1184, -1974, -1184, -1184, 7237, -1579, -1184, -1184, -2368, -789, -789, -1184, -1579, -1184, -1579, -789, -789, -1184, -789, -789,
38| -263, -1053, 9211, -526, -789, -1316, -789, -789, 8158, -1053, -789, -789, -1579, -526, -526, -789, -1053, -789, -1053, -526, -526, -789, -526, -526,
39| -395, 8421, -1184, -789, -1184, 8026, -1184, -1184, 7237, -1579, -1184, -1184, -2368, -789, -789, -1184, -1579, -1184, -1579, -789, -789, -1184, -789, -789,
40| -658, 7368, -1974, -1316, 8026, -3289, 8026, 8026, 5395, -2632, -1974, -1974, -3947, -1316, -1316, -1974, -2632, -1974, -2632, -1316, -1316, -1974, -1316, -1316,
41| -395, -1579, -1184, -789, -1184, 8026, -1184, 8816, -2763, -1579, -1184, -1184, -2368, -789, -789, -1184, -1579, -1184, -1579, -789, 9211, -1184, -789, -789,
42| -395, -1579, -1184, -789, -1184, 8026, 8816, -1184, 7237, -1579, -1184, -1184, -2368, -789, -789, -1184, -1579, -1184, -1579, -789, -789, -1184, -789, -789,
43| -921, -3684, 7237, 8158, 7237, 5395, -2763, 7237, -6447, 6316, -2763, -2763, 4474, -1842, -1842, -2763, -3684, -2763, -3684, -1842, -1842, -2763, -1842, -1842,
44| -526, -2105, -1579, -1053, -1579, -2632, -1579, -1579, 6316, -2105, 8421, 8421, -3158, -1053, -1053, -1579, -2105, -1579, -2105, -1053, -1053, 8421, -1053, -1053,
45| -395, -1579, -1184, -789, -1184, -1974, -1184, -1184, -2763, 8421, -1184, 8816, -2368, -789, -789, -1184, -1579, -1184, -1579, -789, -789, 8816, -789, -789,
46| -395, -1579, -1184, -789, -1184, -1974, -1184, -1184, -2763, 8421, 8816, -1184, -2368, -789, -789, -1184, -1579, -1184, -1579, -789, -789, 8816, -789, -789,
47| -789, -3158, -2368, -1579, -2368, -3947, -2368, -2368, 4474, -3158, -2368, -2368, -4737, 8421, 8421, -2368, 6842, -2368, 6842, -1579, 8421, -2368, -1579, -1579,
48| -263, -1053, -789, -526, -789, -1316, -789, -789, -1842, -1053, -789, -789, 8421, -526, -526, -789, -1053, -789, -1053, -526, -526, -789, 9474, -526,
49| -263, -1053, -789, -526, -789, -1316, -789, -789, -1842, -1053, -789, -789, 8421, -526, -526, 9211, -1053, -789, -1053, -526, -526, -789, -526, -526,
50| -395, -1579, -1184, -789, -1184, -1974, -1184, -1184, -2763, -1579, -1184, -1184, -2368, -789, 9211, -1184, 8421, 8816, -1579, -789, -789, -1184, -789, -789,
51| -526, -2105, -1579, -1053, -1579, -2632, -1579, -1579, -3684, -2105, -1579, -1579, 6842, -1053, -1053, 8421, -2105, 8421, 7895, -1053, -1053, -1579, -1053, -1053,
52| -395, -1579, -1184, -789, -1184, -1974, -1184, -1184, -2763, -1579, -1184, -1184, -2368, -789, -789, 8816, 8421, -1184, -1579, -789, -789, -1184, 9211, -789,
53| -526, -2105, -1579, -1053, -1579, -2632, -1579, -1579, -3684, -2105, -1579, -1579, 6842, -1053, -1053, -1579, 7895, -1579, -2105, 8947, -1053, -1579, -1053, 8947,
54| -263, -1053, -789, -526, -789, -1316, -789, -789, -1842, -1053, -789, -789, -1579, -526, -526, -789, -1053, -789, 8947, -526, -526, -789, -526, 9474,
55| -263, -1053, -789, -526, -789, -1316, 9211, -789, -1842, -1053, -789, -789, 8421, -526, -526, -789, -1053, -789, -1053, -526, -526, -789, -526, -526,
56| -395, -1579, -1184, -789, -1184, -1974, -1184, -1184, -2763, 8421, 8816, 8816, -2368, -789, -789, -1184, -1579, -1184, -1579, -789, -789, -1184, -789, -789,
57| -263, -1053, -789, -526, -789, -1316, -789, -789, -1842, -1053, -789, -789, -1579, 9474, -526, -789, -1053, 9211, -1053, -526, -526, -789, -526, -526,
58| -263, -1053, -789, -526, -789, -1316, -789, -789, -1842, -1053, -789, -789, -1579, -526, -526, -789, -1053, -789, 8947, 9474, -526, -789, -526, -526|] ;