Dekker1/MiniZinc-Auto-Tabling-Models
Archived
1
0
Fork 0
Code
This repository has been archived on 2025-03-03. You can view files and clone it, but cannot push or open issues or pull requests.
MiniZinc-Auto-Tabling-Models/jp-encoding/instances/data1700.dzn
Jip J. Dekker 1271ba14d0 Add the models used in the CPAIOR 2017 paper
2016-11-21 17:54:04 +01:00

1774 lines
12 KiB
MiniZinc
Raw Permalink Blame History

len = 1770;
stream = [
164,
202,
164,
188,
164,
189,
164,
243,
164,
202,
204,
181,
176,
199,
164,
242,
164,
183,
164,
191,
164,
200,
202,
185,
164,
175,
191,
205,
164,
172,
164,
162,
164,
235,
164,
171,
164,
226,
195,
206,
164,
236,
164,
204,
161,
163,
10,
84,
104,
101,
32,
113,
117,
105,
99,
107,
32,
98,
114,
111,
119,
110,
32,
102,
111,
120,
32,
106,
117,
109,
112,
115,
32,
111,
118,
101,
114,
32,
116,
104,
101,
32,
108,
97,
122,
121,
32,
100,
111,
103,
10,
232,
166,
170,
232,
173,
178,
227,
130,
138,
227,
129,
174,
231,
132,
161,
233,
137,
132,
231,
160,
178,
227,
129,
167,
229,
176,
143,
228,
190,
155,
227,
129,
174,
230,
153,
130,
227,
129,
139,
227,
130,
137,
230,
144,
141,
227,
129,
176,
227,
129,
139,
227,
130,
138,
227,
129,
151,
227,
129,
166,
227,
129,
132,
227,
130,
139,
227,
128,
130,
10,
191,
183,
195,
219,
164,
206,
198,
243,
179,
172,
164,
171,
164,
233,
188,
243,
164,
242,
189,
208,
164,
183,
164,
198,
164,
164,
164,
191,
164,
233,
161,
162,
198,
177,
181,
233,
192,
184,
164,
206,
176,
236,
191,
205,
164,
172,
190,
233,
195,
204,
164,
203,
161,
162,
164,
164,
164,
175,
164,
233,
176,
210,
196,
165,
164,
195,
164,
198,
164,
226,
161,
162,
164,
189,
164,
179,
164,
171,
164,
233,
200,
244,
164,
211,
185,
223,
164,
234,
164,
235,
187,
246,
164,
207,
189,
208,
205,
232,
164,
222,
164,
164,
161,
163,
10,
137,
189,
140,
204,
130,
169,
130,
198,
137,
93,
130,
164,
130,
198,
129,
65,
130,
177,
130,
204,
147,
241,
142,
79,
148,
78,
129,
65,
139,
158,
147,
115,
130,
201,
130,
205,
129,
65,
146,
110,
144,
107,
130,
198,
130,
169,
146,
210,
149,
151,
130,
198,
130,
169,
137,
206,
142,
150,
130,
198,
130,
169,
233,
95,
233,
91,
130,
198,
130,
169,
137,
93,
130,
164,
141,
208,
130,
170,
130,
194,
130,
195,
130,
162,
130,
196,
139,
78,
130,
193,
130,
189,
129,
66,
10,
67,
111,
110,
115,
116,
97,
105,
110,
116,
32,
80,
114,
111,
103,
114,
97,
109,
109,
105,
110,
103,
10,
141,
76,
130,
162,
150,
229,
130,
204,
137,
186,
130,
201,
130,
205,
129,
65,
130,
177,
130,
204,
146,
106,
130,
204,
130,
217,
130,
169,
130,
201,
146,
78,
130,
224,
130,
162,
130,
200,
130,
162,
129,
66,
130,
189,
130,
190,
129,
65,
143,
138,
129,
88,
146,
79,
147,
104,
130,
204,
148,
141,
130,
176,
130,
189,
129,
65,
145,
229,
130,
171,
130,
200,
137,
126,
146,
140,
130,
201,
129,
65,
229,
167,
229,
169,
130,
170,
136,
234,
149,
67,
130,
198,
130,
220,
130,
193,
130,
196,
130,
162,
130,
233,
129,
66,
10,
229,
188,
177,
232,
153,
171,
227,
130,
132,
227,
131,
188,
227,
129,
132,
227,
128,
130,
227,
129,
168,
229,
155,
131,
227,
129,
151,
227,
129,
159,
227,
129,
139,
227,
130,
137,
227,
129,
167,
227,
129,
130,
227,
130,
139,
227,
128,
130,
229,
176,
143,
228,
189,
191,
227,
129,
171,
232,
178,
160,
227,
129,
182,
227,
129,
149,
227,
129,
163,
227,
129,
166,
229,
184,
176,
227,
129,
163,
227,
129,
166,
230,
157,
165,
227,
129,
159,
230,
153,
130,
227,
128,
129,
227,
129,
138,
227,
130,
132,
227,
129,
152,
227,
129,
140,
229,
164,
167,
227,
129,
141,
227,
129,
170,
231,
156,
188,
227,
130,
146,
227,
129,
151,
227,
129,
166,
228,
186,
140,
233,
154,
142,
227,
129,
144,
227,
130,
137,
227,
129,
132,
227,
129,
139,
227,
130,
137,
233,
163,
155,
227,
129,
179,
233,
153,
141,
227,
130,
138,
227,
129,
166,
232,
133,
176,
227,
130,
146,
230,
138,
156,
227,
129,
139,
227,
129,
153,
229,
165,
180,
227,
129,
140,
227,
129,
130,
227,
130,
139,
227,
129,
139,
227,
129,
168,
228,
186,
145,
227,
129,
163,
227,
129,
159,
227,
129,
139,
227,
130,
137,
227,
128,
129,
227,
129,
147,
227,
129,
174,
230,
172,
161,
227,
129,
175,
230,
138,
156,
227,
129,
139,
227,
129,
149,
227,
129,
154,
227,
129,
171,
233,
163,
155,
227,
130,
147,
227,
129,
167,
232,
166,
139,
227,
129,
155,
227,
129,
190,
227,
129,
153,
227,
129,
168,
231,
173,
148,
227,
129,
136,
227,
129,
159,
227,
128,
130,
10,
164,
189,
164,
179,
164,
199,
161,
162,
198,
252,
164,
206,
204,
220,
164,
172,
184,
171,
164,
168,
164,
202,
164,
175,
164,
202,
164,
235,
164,
200,
161,
162,
195,
175,
164,
199,
164,
226,
181,
164,
204,
163,
164,
242,
176,
173,
164,
235,
164,
172,
164,
195,
164,
198,
161,
162,
164,
179,
164,
206,
204,
231,
164,
206,
182,
225,
189,
234,
164,
216,
164,
207,
194,
173,
164,
214,
164,
223,
164,
242,
164,
183,
164,
202,
164,
164,
187,
246,
164,
203,
164,
202,
164,
195,
164,
198,
164,
183,
164,
222,
164,
195,
164,
191,
164,
206,
164,
199,
164,
162,
164,
235,
161,
163,
10,
192,
169,
204,
243,
165,
215,
165,
237,
165,
176,
165,
233,
165,
223,
165,
243,
165,
176,
164,
206,
165,
198,
165,
185,
165,
200,
10,
227,
129,
157,
227,
130,
140,
227,
129,
140,
227,
128,
129,
227,
129,
147,
227,
129,
174,
231,
148,
183,
227,
129,
174,
227,
129,
187,
227,
129,
139,
227,
129,
171,
227,
129,
175,
232,
170,
176,
227,
130,
130,
227,
129,
132,
227,
129,
170,
227,
129,
132,
227,
128,
130,
10,
200,
190,
179,
209,
142,
182,
142,
197,
164,
207,
195,
177,
194,
206,
164,
199,
164,
207,
182,
232,
202,
204,
164,
172,
164,
196,
164,
171,
164,
202,
164,
164,
10,
137,
189,
140,
204,
130,
169,
130,
198,
137,
93,
130,
164,
130,
198,
129,
65,
130,
177,
130,
204,
147,
241,
142,
79,
148,
78,
129,
65,
139,
158,
147,
115,
130,
201,
130,
205,
129,
65,
146,
110,
144,
107,
130,
198,
130,
169,
146,
210,
149,
151,
130,
198,
130,
169,
137,
206,
142,
150,
130,
198,
130,
169,
233,
95,
233,
91,
130,
198,
130,
169,
137,
93,
130,
164,
141,
208,
130,
170,
130,
194,
130,
195,
130,
162,
130,
196,
139,
78,
130,
193,
130,
189,
129,
66,
10,
141,
76,
130,
162,
150,
229,
130,
204,
137,
186,
130,
201,
130,
205,
129,
65,
130,
177,
130,
204,
146,
106,
130,
204,
130,
217,
130,
169,
130,
201,
146,
78,
130,
224,
130,
162,
130,
200,
130,
162,
129,
66,
130,
189,
130,
190,
129,
65,
143,
138,
129,
88,
146,
79,
147,
104,
130,
204,
148,
141,
130,
176,
130,
189,
129,
65,
145,
229,
130,
171,
130,
200,
137,
126,
146,
140,
130,
201,
129,
65,
229,
167,
229,
169,
130,
170,
136,
234,
149,
67,
130,
198,
130,
220,
130,
193,
130,
196,
130,
162,
130,
233,
129,
66,
10,
164,
189,
164,
179,
164,
199,
161,
162,
198,
252,
164,
206,
204,
220,
164,
172,
184,
171,
164,
168,
164,
202,
164,
175,
164,
202,
164,
235,
164,
200,
161,
162,
195,
175,
164,
199,
164,
226,
181,
164,
204,
163,
164,
242,
176,
173,
164,
235,
164,
172,
164,
195,
164,
198,
161,
162,
164,
179,
164,
206,
204,
231,
164,
206,
182,
225,
189,
234,
164,
216,
164,
207,
194,
173,
164,
214,
164,
223,
164,
242,
164,
183,
164,
202,
164,
164,
187,
246,
164,
203,
164,
202,
164,
195,
164,
198,
164,
183,
164,
222,
164,
195,
164,
191,
164,
206,
164,
199,
164,
162,
164,
235,
161,
163,
10,
205,
236,
195,
230,
164,
172,
164,
189,
164,
206,
187,
207,
203,
246,
164,
199,
164,
162,
164,
235,
164,
171,
164,
233,
161,
162,
205,
229,
192,
184,
204,
231,
164,
206,
189,
164,
205,
253,
164,
202,
164,
201,
164,
207,
161,
162,
184,
181,
164,
232,
164,
234,
195,
175,
164,
226,
188,
206,
164,
198,
164,
198,
184,
220,
164,
235,
188,
212,
164,
172,
164,
202,
164,
171,
164,
195,
164,
191,
161,
163,
10,
205,
236,
195,
230,
164,
172,
164,
189,
164,
206,
187,
207,
203,
246,
164,
199,
164,
162,
164,
235,
164,
171,
164,
233,
161,
162,
205,
229,
192,
184,
204,
231,
164,
206,
189,
164,
205,
253,
164,
202,
164,
201,
164,
207,
161,
162,
184,
181,
164,
232,
164,
234,
195,
175,
164,
226,
188,
206,
164,
198,
164,
198,
184,
220,
164,
235,
188,
212,
164,
172,
164,
202,
164,
171,
164,
195,
164,
191,
161,
163,
10,
144,
86,
146,
122,
130,
204,
147,
241,
138,
75,
130,
169,
130,
231,
142,
241,
130,
240,
143,
111,
130,
181,
130,
196,
130,
162,
130,
189,
130,
231,
129,
65,
147,
175,
139,
137,
144,
182,
130,
204,
136,
234,
144,
108,
130,
170,
143,
231,
146,
107,
130,
201,
129,
65,
130,
162,
130,
173,
130,
231,
136,
208,
146,
163,
130,
193,
130,
196,
130,
224,
129,
65,
130,
187,
130,
177,
130,
169,
130,
231,
148,
242,
130,
209,
141,
126,
130,
232,
130,
233,
142,
150,
130,
205,
143,
111,
151,
136,
130,
220,
130,
162,
129,
66,
10,
164,
189,
164,
236,
164,
172,
161,
162,
164,
179,
164,
206,
195,
203,
164,
206,
164,
219,
164,
171,
164,
203,
164,
207,
195,
175,
164,
226,
164,
164,
164,
202,
164,
164,
161,
163,
10,
191,
198,
190,
249,
164,
234,
164,
206,
204,
181,
197,
180,
203,
164,
164,
199,
190,
174,
182,
161,
164,
206,
187,
254,
164,
171,
164,
233,
194,
187,
164,
208,
164,
171,
164,
234,
164,
183,
164,
198,
164,
164,
164,
235,
161,
163,
10,
229,
176,
143,
229,
173,
166,
230,
160,
161,
227,
129,
171,
229,
177,
133,
227,
130,
139,
230,
153,
130,
229,
136,
134,
229,
173,
166,
230,
160,
161,
227,
129,
174,
228,
186,
140,
233,
154,
142,
227,
129,
139,
227,
130,
137,
233,
163,
155,
227,
129,
179,
233,
153,
141,
227,
130,
138,
227,
129,
166,
228,
184,
128,
233,
128,
177,
233,
150,
147,
227,
129,
187,
227,
129,
169,
232,
133,
176,
227,
130,
146,
230,
138,
156,
227,
129,
139,
227,
129,
151,
227,
129,
159,
228,
186,
139,
227,
129,
140,
227,
129,
130,
227,
130,
139,
227,
128,
130,
10
];
View Git Blame Copy Permalink