A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1n_tasks = 62;
2n_res = 4;
3d = [0, 5, 3, 6, 3, 7, 7, 3, 8, 2, 3, 2, 1, 5, 10, 9, 8, 6, 8, 10, 10, 1, 10, 1, 9, 9, 4, 8, 10, 10, 4, 2, 7, 6, 1, 9, 10, 6, 3, 5, 10, 2, 4, 7, 5, 1, 5, 7, 5, 10, 3, 3, 3, 3, 1, 10, 1, 7, 5, 7, 5, 0];
4rr = array2d(
5 1..4,
6 1..62,
7 [
8 0, 0, 0, 0, 1, 4, 0, 0, 1, 0, 0, 0, 0, 0, 3, 0, 4, 8, 5, 0, 1, 0, 0, 10, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 10, 0, 0, 3, 0, 6, 0, 9, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 6, 7, 0, 0, 0, 0, 0, 0, 0,
9 0, 0, 9, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 6, 0, 0, 7, 0, 0, 0, 5, 0, 0, 0, 3, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 8, 3, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 2, 0,
10 0, 1, 0, 0, 0, 0, 7, 3, 0, 0, 5, 9, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 10, 6, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 1, 0, 0, 0, 0, 0, 6, 0, 0, 0, 7, 10, 6, 3, 0, 0, 0, 10, 3, 5, 0, 0, 0,
11 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 10, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 3, 0, 0, 0, 4, 0, 0, 0, 9, 4, 0, 0, 3, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0
12 ]
13);
14rc = [33, 16, 30, 22];
15suc = [
16 {2, 3, 4},
17 {6, 16, 38},
18 {5, 20, 37},
19 {7, 8, 14},
20 {7, 10, 22},
21 {15, 18, 21},
22 {19, 34, 53},
23 {9, 11, 36},
24 {12, 13, 41},
25 {24, 33, 57},
26 {23, 38, 40},
27 {17, 27, 30},
28 {25, 27, 29},
29 {16, 28, 31},
30 {40, 44, 56},
31 {23, 24, 30},
32 {20, 26, 49},
33 {20, 36, 50},
34 {30, 44, 48},
35 {39, 40},
36 {22, 25, 54},
37 {27, 41},
38 {43},
39 {35},
40 {35, 43},
41 {32, 39, 52},
42 {55},
43 {36, 45, 58},
44 {31, 32, 57},
45 {39, 42, 45},
46 {35, 46, 50},
47 {37},
48 {38, 43, 47},
49 {41, 42, 55},
50 {44, 47, 58},
51 {37, 42, 51},
52 {46},
53 {50, 54, 61},
54 {46, 61},
55 {47, 53},
56 {52},
57 {57},
58 {45, 48, 49},
59 {49},
60 {60},
61 {54},
62 {48, 61},
63 {51},
64 {51},
65 {53, 56},
66 {52, 55},
67 {59},
68 {58},
69 {56},
70 {59},
71 {60},
72 {60},
73 {59},
74 {62},
75 {62},
76 {62},
77 {}
78];
79t_max = 83;
80deadline = array2d(
81 1..62,
82 1..3,
83 [
84 2, 5, 4,
85 3, 2, 2,
86 9, 4, 0,
87 0, 5, 2,
88 14, 0, 2,
89 15, 1, 5,
90 19, 0, 0,
91 14, 5, 2,
92 12, 2, 0,
93 9, 2, 2,
94 12, 1, 1,
95 23, 1, 0,
96 29, 3, 3,
97 8, 5, 5,
98 13, 1, 4,
99 21, 5, 2,
100 31, 4, 1,
101 20, 5, 5,
102 20, 3, 0,
103 30, 4, 2,
104 14, 3, 4,
105 32, 2, 2,
106 27, 4, 3,
107 25, 2, 0,
108 22, 4, 5,
109 35, 2, 1,
110 30, 5, 4,
111 19, 5, 1,
112 25, 5, 3,
113 27, 1, 3,
114 42, 0, 4,
115 48, 5, 4,
116 20, 3, 3,
117 19, 0, 5,
118 40, 1, 3,
119 26, 2, 2,
120 46, 3, 3,
121 21, 0, 1,
122 39, 3, 5,
123 48, 4, 4,
124 26, 5, 4,
125 32, 0, 0,
126 42, 1, 0,
127 42, 2, 0,
128 37, 3, 1,
129 52, 4, 2,
130 46, 2, 0,
131 52, 2, 1,
132 41, 5, 3,
133 35, 3, 4,
134 54, 0, 0,
135 67, 0, 4,
136 52, 3, 1,
137 63, 4, 3,
138 60, 3, 2,
139 60, 1, 3,
140 33, 1, 5,
141 58, 1, 5,
142 64, 5, 4,
143 68, 1, 0,
144 60, 0, 4,
145 83, 3, 1
146 ]
147);
148%s = [0, 0, 0, 0, 3, 5, 6, 6, 9, 6, 9, 17, 17, 6, 12, 11, 19, 12, 13, 27, 12, 22, 20, 20, 22, 27, 23, 11, 18, 21, 28, 36, 8, 13, 32, 19, 38, 15, 37, 37, 23, 31, 31, 33, 35, 48, 42, 47, 40, 32, 54, 57, 42, 49, 57, 52, 33, 45, 60, 62, 47, 69];