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 = 14134;
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, 1, 3, 2, 1, 1, 2, 2, 4, 2];
20% time elapsed: 0.04 s
21----------
22objective = 13630;
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, 1, 2, 2, 3, 2, 1, 1, 2, 2, 4, 2];
24% time elapsed: 0.04 s
25----------
26objective = 12693;
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, 2, 2, 2, 3, 2, 1, 1, 2, 2, 4, 2];
28% time elapsed: 0.04 s
29----------
30objective = 12406;
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, 2, 2, 2, 2, 3, 2, 1, 1, 2, 2, 4, 2];
32% time elapsed: 0.04 s
33----------
34objective = 12189;
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, 2, 2, 2, 2, 2, 3, 2, 1, 1, 2, 2, 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, 3, 2, 3, 4, 2, 1, 1, 2, 2, 5, 2];
40% time elapsed: 0.04 s
41----------
42objective = 11974;
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, 3, 2, 3, 5, 2, 1, 1, 2, 2, 4, 2];
44% time elapsed: 0.04 s
45----------
46objective = 11973;
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, 3, 2, 4, 3, 2, 1, 1, 2, 2, 5, 2];
48% time elapsed: 0.04 s
49----------
50objective = 11110;
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, 2, 3, 2, 4, 3, 2, 1, 1, 2, 2, 5, 2];
52% time elapsed: 0.04 s
53----------
54objective = 10678;
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, 3, 2, 4, 3, 2, 1, 1, 2, 2, 5, 2];
56% time elapsed: 0.04 s
57----------
58objective = 10390;
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, 3, 2, 2, 4, 3, 2, 1, 1, 2, 2, 5, 2];
60% time elapsed: 0.04 s
61----------
62objective = 10105;
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, 3, 4, 2, 3, 4, 2, 1, 1, 2, 2, 5, 2];
64% time elapsed: 0.04 s
65----------
66objective = 10104;
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, 4, 2, 3, 6, 2, 1, 1, 2, 2, 5, 2];
68% time elapsed: 0.04 s
69----------
70objective = 10103;
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, 4, 2, 4, 3, 2, 1, 1, 2, 2, 5, 2];
72% time elapsed: 0.04 s
73----------
74objective = 9744;
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, 2, 4, 3, 2, 1, 1, 2, 3, 5, 2];
76% time elapsed: 0.04 s
77----------
78objective = 9743;
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, 5, 2, 4, 3, 2, 1, 1, 2, 3, 5, 2];
80% time elapsed: 0.04 s
81----------
82objective = 9167;
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, 5, 2, 4, 3, 2, 1, 1, 3, 3, 5, 2];
84% time elapsed: 0.04 s
85----------
86objective = 8446;
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, 5, 2, 4, 3, 2, 1, 1, 3, 3, 5, 2];
88% time elapsed: 0.04 s
89----------
90objective = 8231;
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, 2, 3, 5, 3, 4, 3, 2, 1, 1, 3, 3, 5, 2];
92% time elapsed: 0.05 s
93----------
94objective = 7872;
95period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 4, 3, 5, 3, 4, 3, 2, 1, 1, 3, 3, 5, 2];
96% time elapsed: 0.06 s
97----------
98objective = 7584;
99period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 4, 3, 5, 3, 4, 3, 2, 1, 1, 3, 3, 5, 2];
100% time elapsed: 0.06 s
101----------
102objective = 7439;
103period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 4, 3, 5, 5, 4, 3, 2, 1, 1, 2, 3, 5, 2];
104% time elapsed: 0.07 s
105----------
106objective = 7438;
107period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 4, 3, 5, 5, 4, 3, 2, 1, 1, 2, 4, 5, 2];
108% time elapsed: 0.07 s
109----------
110objective = 7151;
111period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 3, 1, 4, 3, 5, 5, 4, 3, 2, 1, 1, 2, 4, 5, 2];
112% time elapsed: 0.07 s
113----------
114objective = 7150;
115period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 3, 1, 6, 3, 5, 5, 4, 3, 2, 1, 1, 2, 4, 5, 2];
116% time elapsed: 0.07 s
117----------
118objective = 7078;
119period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 3, 1, 6, 3, 5, 5, 4, 3, 2, 1, 1, 3, 4, 5, 2];
120% time elapsed: 0.07 s
121----------
122objective = 7077;
123period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 2, 1, 6, 3, 5, 5, 4, 3, 2, 1, 1, 3, 4, 5, 2];
124% time elapsed: 0.07 s
125----------
126objective = 6646;
127period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 2, 2, 2, 1, 6, 3, 5, 5, 4, 3, 2, 1, 1, 3, 4, 5, 2];
128% time elapsed: 0.08 s
129----------
130objective = 5710;
131period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 4, 2, 2, 2, 1, 6, 3, 5, 5, 4, 3, 2, 1, 1, 3, 4, 5, 2];
132% time elapsed: 0.09 s
133----------
134objective = 5494;
135period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 4, 2, 2, 2, 1, 6, 3, 5, 5, 4, 3, 2, 1, 1, 3, 4, 5, 2];
136% time elapsed: 0.09 s
137----------
138objective = 5135;
139period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 4, 2, 2, 2, 1, 6, 3, 5, 5, 4, 3, 2, 1, 1, 3, 4, 5, 2];
140% time elapsed: 0.09 s
141----------
142objective = 5134;
143period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 3, 2, 2, 4, 4, 2, 1, 1, 6, 3, 5, 5, 4, 3, 2, 1, 1, 3, 4, 5, 2];
144% time elapsed: 0.09 s
145----------
146objective = 5133;
147period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 3, 2, 2, 6, 4, 2, 1, 1, 6, 3, 5, 5, 4, 3, 2, 1, 1, 3, 4, 5, 2];
148% time elapsed: 0.09 s
149----------
150objective = 4988;
151period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 3, 2, 2, 6, 4, 2, 1, 1, 6, 3, 5, 5, 4, 3, 6, 1, 1, 3, 4, 5, 2];
152% time elapsed: 0.09 s
153----------
154objective = 4557;
155period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 2, 3, 2, 2, 6, 4, 2, 1, 1, 6, 3, 5, 5, 4, 3, 6, 1, 1, 3, 4, 5, 2];
156% time elapsed: 0.12 s
157----------
158objective = 4556;
159period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 2, 3, 2, 2, 6, 4, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 3, 4, 5, 2];
160% time elapsed: 0.12 s
161----------
162objective = 4196;
163period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 2, 2, 2, 3, 2, 2, 6, 4, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 3, 4, 5, 2];
164% time elapsed: 0.12 s
165----------
166objective = 4125;
167period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 3, 3, 2, 2, 6, 4, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 3, 4, 5, 2];
168% time elapsed: 0.12 s
169----------
170objective = 3621;
171period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 2, 2, 3, 3, 2, 2, 6, 4, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 3, 4, 5, 2];
172% time elapsed: 0.14 s
173----------
174objective = 2902;
175period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 3, 2, 2, 3, 3, 2, 2, 6, 4, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 3, 4, 5, 2];
176% time elapsed: 0.14 s
177----------
178objective = 2900;
179period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 3, 2, 2, 4, 4, 2, 2, 6, 4, 2, 1, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 2, 4, 5, 2];
180% time elapsed: 0.16 s
181----------
182objective = 2757;
183period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 3, 2, 2, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 2, 4, 5, 2];
184% time elapsed: 0.16 s
185----------
186objective = 2326;
187period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 5, 3, 2, 2, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 2, 4, 5, 2];
188% time elapsed: 0.16 s
189----------
190objective = 2254;
191period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 5, 3, 1, 5, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 2, 4, 5, 2];
192% time elapsed: 0.20 s
193----------
194objective = 2182;
195period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 5, 3, 2, 5, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 2, 4, 5, 2];
196% time elapsed: 0.20 s
197----------
198objective = 2111;
199period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 5, 3, 3, 5, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 5, 5, 4, 3, 6, 1, 1, 2, 4, 5, 2];
200% time elapsed: 0.20 s
201----------
202objective = 2110;
203period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 5, 3, 3, 6, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 3, 5, 4, 3, 6, 1, 1, 2, 4, 2, 2];
204% time elapsed: 0.20 s
205----------
206objective = 1966;
207period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 5, 3, 3, 6, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 3, 5, 4, 3, 6, 1, 1, 2, 4, 5, 2];
208% time elapsed: 0.20 s
209----------
210objective = 1893;
211period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 5, 3, 5, 6, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 3, 5, 4, 3, 6, 1, 1, 2, 4, 5, 2];
212% time elapsed: 0.22 s
213----------
214objective = 1533;
215period_of = [1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 5, 3, 5, 6, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 3, 5, 4, 3, 6, 1, 1, 2, 4, 5, 2];
216% time elapsed: 0.24 s
217----------
218objective = 1462;
219period_of = [1, 1, 1, 1, 2, 2, 2, 2, 1, 1, 5, 3, 5, 6, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 3, 5, 4, 3, 6, 1, 1, 2, 4, 5, 2];
220% time elapsed: 0.28 s
221----------
222objective = 1461;
223period_of = [1, 1, 1, 1, 2, 3, 2, 2, 1, 1, 5, 3, 5, 6, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 3, 5, 4, 3, 6, 1, 1, 2, 4, 5, 2];
224% time elapsed: 0.28 s
225----------
226objective = 1245;
227period_of = [1, 1, 1, 1, 2, 3, 2, 2, 1, 1, 5, 3, 5, 6, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 3, 5, 4, 3, 6, 1, 1, 3, 4, 5, 2];
228% time elapsed: 0.30 s
229----------
230objective = 1174;
231period_of = [1, 1, 1, 1, 2, 3, 2, 2, 1, 1, 5, 3, 5, 6, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 3, 5, 4, 3, 6, 1, 1, 3, 6, 5, 2];
232% time elapsed: 0.30 s
233----------
234objective = 1101;
235period_of = [1, 1, 1, 2, 2, 3, 2, 2, 1, 1, 5, 3, 5, 6, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 3, 5, 4, 3, 6, 1, 1, 3, 6, 5, 2];
236% time elapsed: 0.30 s
237----------
238objective = 1030;
239period_of = [1, 1, 3, 2, 2, 3, 2, 2, 1, 1, 5, 3, 5, 6, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 3, 5, 4, 3, 6, 1, 1, 3, 6, 5, 2];
240% time elapsed: 0.30 s
241----------
242objective = 958;
243period_of = [1, 1, 3, 5, 2, 3, 2, 2, 1, 1, 5, 3, 5, 6, 4, 4, 2, 2, 6, 4, 2, 3, 1, 6, 4, 3, 5, 4, 3, 6, 1, 1, 3, 6, 5, 2];
244% time elapsed: 0.38 s
245----------
246objective = 956;
247period_of = [1, 1, 2, 5, 2, 1, 2, 2, 1, 1, 5, 3, 5, 6, 4, 4, 2, 2, 6, 4, 2, 1, 1, 6, 4, 3, 5, 4, 3, 6, 1, 1, 3, 6, 5, 2];
248% time elapsed: 0.39 s
249----------
250objective = 955;
251period_of = [1, 1, 2, 5, 4, 1, 2, 2, 1, 1, 5, 3, 5, 6, 4, 4, 2, 2, 6, 4, 2, 1, 1, 6, 4, 3, 5, 4, 3, 6, 1, 1, 3, 6, 5, 2];
252% time elapsed: 0.39 s
253----------
254%%%mzn-stat: initTime=0.006355
255%%%mzn-stat: solveTime=120
256%%%mzn-stat: solutions=63
257%%%mzn-stat: variables=799
258%%%mzn-stat: propagators=737
259%%%mzn-stat: propagations=765010120
260%%%mzn-stat: nodes=5360156
261%%%mzn-stat: failures=2639313
262%%%mzn-stat: restarts=40272
263%%%mzn-stat: peakDepth=34
264%%%mzn-stat-end
265%% copies: 2761181