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 = 14566;
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, 1, 2, 2, 1, 1, 2, 2, 4, 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 = 13126;
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, 2, 2, 2, 2, 2, 2, 1, 1, 2, 2, 4, 2];
28% time elapsed: 0.04 s
29----------
30objective = 12693;
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, 2, 2, 2, 3, 2, 1, 1, 2, 2, 4, 2];
32% time elapsed: 0.04 s
33----------
34objective = 12550;
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, 2, 2, 3, 3, 2, 1, 1, 2, 2, 4, 2];
36% time elapsed: 0.04 s
37----------
38objective = 12262;
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, 2, 2, 3, 5, 2, 1, 1, 2, 2, 4, 2];
40% time elapsed: 0.04 s
41----------
42objective = 12261;
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, 2, 2, 4, 3, 2, 1, 1, 2, 2, 5, 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 = 10893;
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, 2, 2, 3, 2, 4, 3, 2, 1, 1, 2, 2, 5, 2];
56% time elapsed: 0.04 s
57----------
58objective = 10678;
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, 3, 2, 4, 3, 2, 1, 1, 2, 2, 5, 2];
60% time elapsed: 0.04 s
61----------
62objective = 10390;
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, 2, 2, 4, 3, 2, 1, 1, 2, 2, 5, 2];
64% time elapsed: 0.04 s
65----------
66objective = 10105;
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, 4, 2, 1, 1, 2, 2, 5, 2];
68% time elapsed: 0.04 s
69----------
70objective = 9746;
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, 3, 4, 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 = 8450;
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, 2, 3, 4, 3, 3, 4, 2, 1, 1, 2, 3, 5, 2];
84% time elapsed: 0.04 s
85----------
86objective = 8234;
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, 3, 3, 4, 3, 3, 4, 2, 1, 1, 2, 3, 5, 2];
88% time elapsed: 0.04 s
89----------
90objective = 8088;
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, 3, 3, 4, 4, 3, 4, 2, 1, 1, 2, 2, 5, 2];
92% time elapsed: 0.04 s
93----------
94objective = 7944;
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, 3, 5, 4, 4, 3, 4, 2, 1, 1, 2, 2, 5, 2];
96% time elapsed: 0.04 s
97----------
98objective = 7585;
99period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 2, 1, 1, 3, 5, 4, 4, 3, 4, 2, 1, 1, 2, 3, 5, 2];
100% time elapsed: 0.05 s
101----------
102objective = 7441;
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, 3, 5, 4, 4, 3, 4, 2, 1, 1, 2, 3, 5, 2];
104% time elapsed: 0.05 s
105----------
106objective = 7370;
107period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 2, 2, 2, 1, 3, 5, 4, 4, 3, 4, 2, 1, 1, 2, 3, 5, 2];
108% time elapsed: 0.05 s
109----------
110objective = 7298;
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, 3, 5, 4, 4, 3, 4, 2, 1, 1, 2, 3, 5, 2];
112% time elapsed: 0.05 s
113----------
114objective = 7154;
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, 5, 4, 4, 3, 4, 2, 1, 1, 2, 3, 5, 2];
116% time elapsed: 0.06 s
117----------
118objective = 6939;
119period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 2, 2, 3, 1, 6, 5, 4, 4, 3, 4, 2, 1, 1, 2, 3, 5, 2];
120% time elapsed: 0.06 s
121----------
122objective = 6938;
123period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 2, 2, 3, 1, 6, 5, 3, 4, 3, 4, 2, 1, 1, 2, 3, 5, 2];
124% time elapsed: 0.06 s
125----------
126objective = 6361;
127period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 3, 2, 3, 1, 6, 5, 3, 4, 3, 4, 2, 1, 1, 2, 3, 5, 2];
128% time elapsed: 0.06 s
129----------
130objective = 6145;
131period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 1, 3, 2, 3, 1, 6, 5, 3, 4, 3, 4, 2, 1, 1, 5, 3, 5, 2];
132% time elapsed: 0.06 s
133----------
134objective = 5856;
135period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 2, 3, 2, 3, 1, 6, 5, 3, 4, 3, 4, 2, 1, 1, 5, 3, 5, 2];
136% time elapsed: 0.06 s
137----------
138objective = 5569;
139period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 4, 3, 2, 3, 1, 6, 5, 3, 4, 3, 4, 2, 1, 1, 5, 3, 5, 2];
140% time elapsed: 0.07 s
141----------
142objective = 5424;
143period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 2, 4, 3, 2, 3, 1, 6, 5, 3, 4, 3, 4, 6, 1, 1, 5, 3, 5, 2];
144% time elapsed: 0.07 s
145----------
146objective = 5209;
147period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 3, 4, 3, 2, 3, 1, 6, 5, 3, 4, 3, 4, 6, 1, 1, 5, 3, 5, 2];
148% time elapsed: 0.07 s
149----------
150objective = 5065;
151period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 4, 3, 4, 3, 2, 3, 1, 6, 5, 3, 4, 3, 4, 6, 1, 1, 5, 3, 5, 2];
152% time elapsed: 0.07 s
153----------
154objective = 5063;
155period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 4, 3, 4, 3, 2, 1, 1, 6, 5, 3, 4, 3, 4, 6, 1, 1, 5, 2, 5, 2];
156% time elapsed: 0.07 s
157----------
158objective = 5062;
159period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 4, 5, 4, 3, 2, 1, 1, 6, 5, 3, 4, 3, 4, 6, 1, 1, 5, 2, 5, 2];
160% time elapsed: 0.07 s
161----------
162objective = 4919;
163period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 4, 5, 4, 3, 2, 1, 1, 6, 5, 3, 4, 3, 4, 6, 1, 1, 5, 3, 5, 2];
164% time elapsed: 0.07 s
165----------
166objective = 4918;
167period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 1, 4, 5, 6, 3, 2, 1, 1, 6, 5, 3, 4, 3, 4, 6, 1, 1, 5, 3, 5, 2];
168% time elapsed: 0.08 s
169----------
170objective = 4558;
171period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 2, 4, 5, 6, 3, 2, 1, 1, 6, 5, 3, 4, 3, 4, 6, 1, 1, 5, 3, 5, 2];
172% time elapsed: 0.10 s
173----------
174objective = 4557;
175period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 2, 2, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 3, 5, 2];
176% time elapsed: 0.11 s
177----------
178objective = 3982;
179period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 2, 2, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 3, 5, 2];
180% time elapsed: 0.12 s
181----------
182objective = 3839;
183period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 2, 3, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 3, 5, 2];
184% time elapsed: 0.12 s
185----------
186objective = 3696;
187period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 2, 6, 3, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 3, 5, 2];
188% time elapsed: 0.13 s
189----------
190objective = 2976;
191period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 2, 2, 6, 3, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 3, 5, 2];
192% time elapsed: 0.18 s
193----------
194objective = 2256;
195period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 2, 2, 2, 6, 3, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 3, 5, 2];
196% time elapsed: 0.19 s
197----------
198objective = 2041;
199period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 2, 2, 6, 3, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 3, 5, 2];
200% time elapsed: 0.21 s
201----------
202objective = 2039;
203period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 2, 2, 6, 1, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
204% time elapsed: 0.23 s
205----------
206objective = 1894;
207period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 1, 3, 6, 1, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
208% time elapsed: 0.23 s
209----------
210objective = 1822;
211period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 1, 3, 6, 4, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
212% time elapsed: 0.28 s
213----------
214objective = 1750;
215period_of = [1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 2, 2, 3, 6, 4, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
216% time elapsed: 0.30 s
217----------
218objective = 1390;
219period_of = [1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 3, 2, 2, 3, 6, 4, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
220% time elapsed: 0.30 s
221----------
222objective = 1319;
223period_of = [1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 3, 2, 3, 3, 6, 4, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
224% time elapsed: 0.35 s
225----------
226objective = 1248;
227period_of = [1, 1, 1, 1, 2, 1, 2, 2, 1, 1, 3, 2, 3, 5, 6, 4, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
228% time elapsed: 0.35 s
229----------
230objective = 1177;
231period_of = [1, 1, 1, 1, 2, 2, 2, 2, 1, 1, 3, 2, 3, 5, 6, 4, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
232% time elapsed: 0.36 s
233----------
234objective = 1176;
235period_of = [1, 1, 1, 2, 2, 2, 2, 2, 1, 1, 3, 2, 3, 5, 6, 4, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
236% time elapsed: 0.36 s
237----------
238objective = 1103;
239period_of = [1, 1, 1, 2, 2, 1, 2, 2, 1, 1, 3, 2, 3, 5, 6, 4, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
240% time elapsed: 0.38 s
241----------
242objective = 1031;
243period_of = [1, 1, 1, 5, 2, 1, 2, 2, 1, 1, 3, 2, 3, 5, 6, 4, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
244% time elapsed: 0.38 s
245----------
246objective = 959;
247period_of = [1, 1, 2, 5, 2, 1, 2, 2, 1, 1, 3, 2, 3, 5, 6, 4, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
248% time elapsed: 0.38 s
249----------
250objective = 958;
251period_of = [1, 1, 2, 5, 2, 1, 2, 2, 1, 1, 3, 2, 3, 6, 6, 4, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
252% time elapsed: 0.38 s
253----------
254objective = 957;
255period_of = [1, 1, 2, 5, 2, 1, 2, 2, 1, 1, 3, 2, 5, 6, 6, 4, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
256% time elapsed: 0.38 s
257----------
258objective = 956;
259period_of = [1, 1, 2, 5, 4, 1, 2, 2, 1, 1, 3, 2, 5, 6, 6, 4, 4, 5, 6, 3, 2, 1, 1, 6, 4, 3, 4, 3, 4, 6, 1, 1, 5, 4, 5, 2];
260% time elapsed: 0.39 s
261----------
262%%%mzn-stat: initTime=0.006114
263%%%mzn-stat: solveTime=240
264%%%mzn-stat: solutions=65
265%%%mzn-stat: variables=799
266%%%mzn-stat: propagators=737
267%%%mzn-stat: propagations=1491212211
268%%%mzn-stat: nodes=11182148
269%%%mzn-stat: failures=5510404
270%%%mzn-stat: restarts=85379
271%%%mzn-stat: peakDepth=34
272%%%mzn-stat-end
273%% copies: 5757191