this repo has no description
dekker.one
1% init_area = 5256656;
2objective = 15791;
3period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 2, 1, 1, 2, 2, 2, 2];
4% time elapsed: 0.04 s
5----------
6objective = 15286;
7period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 2, 2];
8% time elapsed: 0.04 s
9----------
10objective = 14567;
11period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 3, 2];
12% time elapsed: 0.04 s
13----------
14objective = 14351;
15period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 2, 2, 2, 1, 1, 2, 2, 3, 2];
16% time elapsed: 0.04 s
17----------
18objective = 14350;
19period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 2, 2, 2, 1, 1, 2, 2, 4, 2];
20% time elapsed: 0.04 s
21----------
22objective = 13413;
23period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 2, 2, 2, 2, 2, 1, 1, 2, 2, 4, 2];
24% time elapsed: 0.04 s
25----------
26objective = 13199;
27period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 3, 5, 2, 1, 1, 2, 2, 4, 2];
28% time elapsed: 0.04 s
29----------
30objective = 12840;
31period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 3, 5, 2, 1, 1, 2, 3, 4, 2];
32% time elapsed: 0.04 s
33----------
34objective = 12120;
35period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 3, 5, 2, 1, 1, 3, 3, 4, 2];
36% time elapsed: 0.04 s
37----------
38objective = 11975;
39period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 2, 3, 5, 6, 1, 1, 3, 3, 4, 2];
40% time elapsed: 0.04 s
41----------
42objective = 11615;
43period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 1, 4, 3, 5, 6, 1, 1, 3, 3, 4, 2];
44% time elapsed: 0.04 s
45----------
46objective = 10678;
47period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 2, 4, 3, 5, 6, 1, 1, 3, 3, 4, 2];
48% time elapsed: 0.04 s
49----------
50objective = 10677;
51period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 1, 2, 4, 3, 5, 6, 1, 1, 3, 4, 4, 2];
52% time elapsed: 0.04 s
53----------
54objective = 10392;
55period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 3, 2, 2, 3, 4, 2, 1, 1, 2, 2, 5, 2];
56% time elapsed: 0.04 s
57----------
58objective = 10391;
59period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 4, 2, 2, 3, 4, 2, 1, 1, 2, 2, 5, 2];
60% time elapsed: 0.04 s
61----------
62objective = 10103;
63period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 4, 3, 2, 3, 4, 2, 1, 1, 2, 2, 5, 2];
64% time elapsed: 0.04 s
65----------
66objective = 10102;
67period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 3, 5, 2, 4, 3, 2, 1, 1, 2, 2, 5, 2];
68% time elapsed: 0.04 s
69----------
70objective = 9743;
71period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 3, 5, 2, 4, 3, 2, 1, 1, 2, 3, 5, 2];
72% time elapsed: 0.04 s
73----------
74objective = 9530;
75period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 3, 4, 3, 3, 4, 2, 1, 1, 2, 2, 5, 2];
76% time elapsed: 0.04 s
77----------
78objective = 9171;
79period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 3, 4, 3, 3, 4, 2, 1, 1, 2, 3, 5, 2];
80% time elapsed: 0.04 s
81----------
82objective = 8812;
83period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 1, 3, 4, 3, 3, 4, 2, 1, 1, 4, 3, 5, 2];
84% time elapsed: 0.04 s
85----------
86objective = 7731;
87period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 2, 3, 4, 3, 3, 4, 2, 1, 1, 4, 3, 5, 2];
88% time elapsed: 0.04 s
89----------
90objective = 7371;
91period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 5, 3, 4, 3, 3, 4, 2, 1, 1, 4, 3, 5, 2];
92% time elapsed: 0.04 s
93----------
94objective = 7083;
95period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 5, 3, 4, 3, 3, 4, 2, 1, 1, 4, 3, 5, 2];
96% time elapsed: 0.04 s
97----------
98objective = 6652;
99period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 2, 2, 2, 1, 5, 3, 4, 3, 3, 4, 2, 1, 1, 4, 3, 5, 2];
100% time elapsed: 0.04 s
101----------
102objective = 6509;
103period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 2, 2, 3, 1, 5, 3, 4, 3, 3, 4, 2, 1, 1, 4, 3, 5, 2];
104% time elapsed: 0.04 s
105----------
106objective = 6508;
107period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 2, 2, 3, 1, 5, 3, 4, 3, 3, 6, 2, 1, 1, 4, 3, 5, 2];
108% time elapsed: 0.04 s
109----------
110objective = 6507;
111period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 5, 3, 4, 6, 3, 6, 2, 1, 1, 4, 3, 5, 2];
112% time elapsed: 0.05 s
113----------
114objective = 6506;
115period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 5, 3, 4, 6, 4, 6, 2, 1, 1, 4, 3, 5, 2];
116% time elapsed: 0.05 s
117----------
118objective = 6289;
119period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 3, 2, 1, 1, 5, 3, 4, 6, 4, 6, 2, 1, 1, 4, 3, 5, 2];
120% time elapsed: 0.06 s
121----------
122objective = 6145;
123period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 3, 2, 2, 1, 5, 3, 4, 6, 4, 6, 2, 1, 1, 4, 3, 5, 2];
124% time elapsed: 0.06 s
125----------
126objective = 6000;
127period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 2, 3, 2, 2, 1, 5, 3, 4, 6, 4, 6, 2, 1, 1, 4, 3, 5, 2];
128% time elapsed: 0.06 s
129----------
130objective = 5999;
131period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 2, 3, 2, 2, 1, 5, 3, 4, 6, 4, 6, 2, 1, 1, 4, 4, 5, 2];
132% time elapsed: 0.06 s
133----------
134objective = 5783;
135period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 3, 2, 2, 1, 5, 3, 4, 6, 4, 6, 2, 1, 1, 4, 4, 5, 2];
136% time elapsed: 0.06 s
137----------
138objective = 5567;
139period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 5, 3, 2, 1, 1, 5, 3, 4, 6, 4, 6, 2, 1, 1, 4, 4, 5, 2];
140% time elapsed: 0.07 s
141----------
142objective = 5422;
143period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 5, 3, 2, 1, 1, 5, 3, 4, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
144% time elapsed: 0.08 s
145----------
146objective = 5206;
147period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 5, 3, 2, 1, 1, 5, 3, 4, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
148% time elapsed: 0.11 s
149----------
150objective = 4847;
151period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 5, 3, 2, 1, 1, 5, 3, 4, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
152% time elapsed: 0.12 s
153----------
154objective = 4775;
155period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 3, 2, 2, 2, 5, 3, 2, 1, 1, 5, 3, 4, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
156% time elapsed: 0.13 s
157----------
158objective = 4774;
159period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 3, 2, 2, 2, 5, 3, 2, 1, 1, 5, 3, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
160% time elapsed: 0.14 s
161----------
162objective = 4703;
163period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 3, 3, 2, 2, 5, 3, 2, 1, 1, 5, 3, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
164% time elapsed: 0.16 s
165----------
166objective = 4559;
167period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 3, 3, 2, 5, 5, 3, 2, 1, 1, 5, 3, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
168% time elapsed: 0.16 s
169----------
170objective = 3840;
171period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 3, 3, 2, 5, 5, 3, 2, 1, 1, 5, 3, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
172% time elapsed: 0.16 s
173----------
174objective = 3192;
175period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 2, 2, 3, 3, 2, 5, 5, 3, 2, 1, 1, 5, 3, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
176% time elapsed: 0.16 s
177----------
178objective = 2760;
179period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 2, 3, 3, 2, 5, 5, 3, 2, 1, 1, 5, 3, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
180% time elapsed: 0.16 s
181----------
182objective = 2759;
183period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 2, 3, 3, 2, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
184% time elapsed: 0.17 s
185----------
186objective = 2616;
187period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 2, 2, 3, 3, 2, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
188% time elapsed: 0.17 s
189----------
190objective = 2543;
191period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 1, 2, 4, 3, 3, 2, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
192% time elapsed: 0.17 s
193----------
194objective = 2399;
195period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 1, 2, 4, 6, 2, 2, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 2, 1, 1, 4, 4, 5, 2];
196% time elapsed: 0.17 s
197----------
198objective = 2255;
199period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 2, 4, 6, 2, 2, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 2, 1, 1, 4, 4, 5, 2];
200% time elapsed: 0.18 s
201----------
202objective = 2183;
203period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 1, 4, 6, 1, 2, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 2, 1, 1, 4, 4, 5, 2];
204% time elapsed: 0.18 s
205----------
206objective = 2112;
207period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 1, 4, 6, 3, 2, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 2, 1, 1, 4, 4, 5, 2];
208% time elapsed: 0.19 s
209----------
210objective = 1897;
211period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 3, 4, 6, 3, 2, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 2, 1, 1, 4, 4, 5, 2];
212% time elapsed: 0.19 s
213----------
214objective = 1896;
215period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 3, 4, 6, 4, 2, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 2, 1, 1, 4, 4, 5, 2];
216% time elapsed: 0.20 s
217----------
218objective = 1751;
219period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 3, 4, 6, 4, 2, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
220% time elapsed: 0.22 s
221----------
222objective = 1680;
223period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 3, 4, 6, 4, 3, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
224% time elapsed: 0.26 s
225----------
226objective = 1679;
227period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 4, 4, 6, 4, 3, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
228% time elapsed: 0.28 s
229----------
230objective = 1678;
231period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
232% time elapsed: 0.28 s
233----------
234objective = 1318;
235period_of = [1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
236% time elapsed: 0.30 s
237----------
238objective = 1247;
239period_of = [1, 1, 1, 1, 2, 2, 2, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
240% time elapsed: 0.31 s
241----------
242objective = 1246;
243period_of = [1, 1, 1, 1, 2, 3, 2, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
244% time elapsed: 0.32 s
245----------
246objective = 1173;
247period_of = [1, 1, 1, 2, 2, 3, 2, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
248% time elapsed: 0.34 s
249----------
250objective = 1102;
251period_of = [1, 1, 3, 2, 2, 3, 2, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 2];
252% time elapsed: 0.36 s
253----------
254objective = 1030;
255period_of = [1, 1, 3, 2, 2, 3, 2, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 3];
256% time elapsed: 0.39 s
257----------
258objective = 1029;
259period_of = [1, 1, 3, 2, 2, 3, 4, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 3];
260% time elapsed: 0.40 s
261----------
262objective = 1028;
263period_of = [1, 1, 4, 2, 2, 1, 4, 2, 1, 1, 3, 2, 4, 4, 6, 4, 5, 5, 5, 3, 2, 1, 1, 5, 4, 6, 6, 4, 6, 3, 1, 1, 4, 4, 5, 3];
264% time elapsed: 0.42 s
265----------
266%%%mzn-stat: initTime=0.006206
267%%%mzn-stat: solveTime=240
268%%%mzn-stat: solutions=66
269%%%mzn-stat: variables=799
270%%%mzn-stat: propagators=737
271%%%mzn-stat: propagations=1399326043
272%%%mzn-stat: nodes=11560071
273%%%mzn-stat: failures=5700142
274%%%mzn-stat: restarts=78193
275%%%mzn-stat: peakDepth=34
276%%%mzn-stat-end
277%% copies: 5938191