A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1n_tasks = 92;
2n_res = 4;
3d = [0, 8, 10, 1, 9, 8, 1, 1, 1, 10, 8, 8, 7, 4, 7, 1, 4, 7, 4, 9, 3, 3, 3, 8, 6, 9, 2, 10, 7, 8, 8, 2, 3, 9, 3, 4, 1, 2, 4, 3, 5, 8, 8, 2, 5, 4, 4, 10, 5, 2, 8, 2, 5, 6, 1, 3, 1, 2, 8, 1, 8, 8, 8, 6, 10, 3, 7, 6, 6, 9, 5, 1, 1, 4, 1, 9, 8, 6, 10, 8, 3, 3, 3, 3, 2, 5, 10, 1, 1, 10, 5, 0];
4rr = array2d(
5 1..4,
6 1..92,
7 [
8 0, 5, 0, 0, 5, 1, 8, 7, 8, 5, 5, 0, 2, 4, 0, 6, 0, 7, 2, 5, 8, 6, 0, 0, 9, 6, 7, 5, 0, 0, 4, 3, 0, 2, 2, 5, 9, 9, 8, 3, 0, 7, 6, 5, 10, 2, 0, 9, 7, 0, 7, 8, 7, 0, 1, 5, 0, 8, 5, 0, 9, 2, 9, 6, 0, 4, 1, 4, 0, 1, 6, 10, 7, 6, 4, 8, 8, 10, 5, 3, 0, 6, 0, 7, 0, 0, 1, 1, 1, 0, 2, 0,
9 0, 10, 0, 0, 0, 6, 0, 1, 3, 0, 7, 3, 1, 0, 5, 7, 1, 1, 1, 4, 0, 8, 8, 10, 0, 0, 7, 2, 2, 0, 0, 0, 0, 2, 0, 10, 0, 3, 2, 0, 4, 4, 0, 2, 0, 8, 4, 0, 2, 2, 4, 0, 0, 10, 6, 2, 8, 0, 0, 0, 9, 10, 2, 2, 0, 3, 8, 2, 6, 1, 0, 8, 1, 9, 3, 8, 9, 0, 6, 6, 4, 3, 5, 0, 0, 4, 4, 6, 1, 4, 10, 0,
10 0, 4, 2, 7, 2, 3, 0, 3, 0, 9, 0, 0, 3, 10, 0, 7, 9, 7, 6, 4, 0, 0, 0, 2, 2, 4, 7, 0, 6, 9, 3, 1, 0, 7, 0, 4, 2, 1, 0, 7, 9, 0, 5, 6, 4, 2, 10, 4, 2, 8, 3, 3, 0, 2, 0, 6, 5, 0, 10, 10, 8, 5, 10, 2, 7, 2, 2, 8, 0, 4, 0, 2, 3, 2, 0, 4, 2, 4, 8, 0, 4, 9, 3, 0, 1, 9, 0, 6, 4, 4, 5, 0,
11 0, 4, 8, 0, 0, 0, 4, 10, 1, 2, 6, 4, 9, 5, 7, 9, 9, 0, 9, 3, 6, 5, 4, 6, 3, 0, 2, 7, 0, 7, 0, 5, 4, 3, 0, 8, 0, 4, 9, 1, 4, 1, 0, 1, 2, 4, 0, 0, 1, 1, 0, 8, 5, 6, 8, 4, 9, 1, 4, 1, 6, 0, 6, 7, 8, 1, 2, 6, 6, 10, 6, 1, 4, 9, 0, 1, 7, 9, 4, 4, 5, 9, 6, 8, 10, 9, 1, 7, 5, 6, 10, 0
12 ]
13);
14rc = [45, 28, 36, 40];
15suc = [
16 {2, 3, 4},
17 {6, 12, 14},
18 {5, 7, 19},
19 {8, 22, 47},
20 {29},
21 {9, 13, 63},
22 {10, 25, 38},
23 {18, 40},
24 {11, 20, 23},
25 {24},
26 {16, 26},
27 {35, 51},
28 {19, 21},
29 {15, 67},
30 {33, 48, 52},
31 {17},
32 {57},
33 {27, 44, 75},
34 {36},
35 {45, 61},
36 {28},
37 {64},
38 {39},
39 {55},
40 {31, 53, 58},
41 {32, 34},
42 {30, 42},
43 {41, 54, 88},
44 {37, 71},
45 {49, 77},
46 {54, 60},
47 {36},
48 {43},
49 {56},
50 {50},
51 {56},
52 {46},
53 {68},
54 {85, 86},
55 {68},
56 {84},
57 {65, 66},
58 {82},
59 {56},
60 {72},
61 {48},
62 {55},
63 {57},
64 {59, 70, 80},
65 {70, 83},
66 {73, 82},
67 {69, 82},
68 {60},
69 {74},
70 {64, 88},
71 {59},
72 {60},
73 {62},
74 {81},
75 {68, 78},
76 {62},
77 {79},
78 {87},
79 {91},
80 {69},
81 {74, 89},
82 {85},
83 {73, 76},
84 {80, 86},
85 {90},
86 {79},
87 {74},
88 {79},
89 {83},
90 {85},
91 {87},
92 {83, 90},
93 {81},
94 {86},
95 {81},
96 {84},
97 {90},
98 {84},
99 {87},
100 {89},
101 {88, 91},
102 {91},
103 {89},
104 {92},
105 {92},
106 {92},
107 {}
108];
109t_max = 90;
110deadline = array2d(
111 1..92,
112 1..3,
113 [
114 2, 5, 4,
115 4, 2, 2,
116 10, 4, 0,
117 0, 5, 2,
118 22, 0, 2,
119 19, 1, 5,
120 24, 0, 0,
121 9, 5, 2,
122 19, 2, 0,
123 14, 2, 2,
124 20, 1, 1,
125 15, 1, 0,
126 29, 3, 3,
127 10, 5, 5,
128 13, 1, 4,
129 46, 5, 2,
130 50, 4, 1,
131 11, 5, 5,
132 41, 3, 0,
133 20, 4, 2,
134 26, 3, 4,
135 11, 2, 2,
136 66, 4, 3,
137 32, 2, 0,
138 11, 4, 5,
139 34, 2, 1,
140 17, 5, 4,
141 35, 5, 1,
142 27, 5, 3,
143 18, 1, 3,
144 32, 0, 4,
145 50, 5, 4,
146 31, 3, 3,
147 40, 0, 5,
148 25, 1, 3,
149 46, 2, 2,
150 34, 3, 3,
151 21, 0, 1,
152 63, 3, 5,
153 14, 4, 4,
154 45, 5, 4,
155 12, 0, 0,
156 35, 1, 0,
157 18, 2, 0,
158 29, 3, 1,
159 31, 4, 2,
160 6, 2, 0,
161 38, 2, 1,
162 20, 5, 3,
163 24, 3, 4,
164 23, 0, 0,
165 30, 0, 4,
166 47, 3, 1,
167 59, 4, 3,
168 46, 3, 2,
169 52, 1, 3,
170 42, 1, 5,
171 35, 1, 5,
172 50, 5, 4,
173 50, 1, 0,
174 45, 0, 4,
175 58, 3, 1,
176 65, 5, 4,
177 67, 2, 2,
178 24, 4, 2,
179 30, 0, 3,
180 68, 2, 1,
181 58, 5, 0,
182 39, 1, 5,
183 36, 2, 1,
184 53, 5, 5,
185 39, 5, 4,
186 61, 5, 1,
187 61, 0, 1,
188 23, 1, 4,
189 60, 5, 2,
190 24, 1, 5,
191 57, 5, 5,
192 57, 3, 0,
193 46, 0, 5,
194 66, 4, 2,
195 40, 4, 2,
196 63, 1, 0,
197 61, 5, 3,
198 85, 2, 1,
199 77, 4, 0,
200 70, 0, 0,
201 86, 0, 1,
202 88, 2, 0,
203 36, 1, 4,
204 71, 5, 2,
205 90, 5, 1
206 ]
207);
208%s = [0, 0, 0, 0, 10, 8, 10, 1, 16, 11, 17, 8, 16, 8, 12, 35, 37, 2, 33, 17, 24, 1, 58, 26, 11, 25, 9, 27, 19, 11, 17, 37, 19, 34, 16, 39, 26, 14, 61, 2, 41, 11, 23, 9, 27, 27, 1, 32, 19, 21, 23, 19, 37, 44, 43, 43, 42, 21, 46, 44, 31, 43, 52, 59, 21, 27, 64, 45, 36, 24, 43, 34, 54, 50, 9, 51, 19, 48, 55, 46, 54, 31, 54, 57, 71, 65, 60, 72, 73, 34, 70, 75];