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