-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathres_optim.json
575 lines (575 loc) · 30.3 KB
/
res_optim.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
{
"asp": [
{
"filename": "data_asp_n6_m8_b4_bxl1_maxL2_t15_1.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 9,
"solution": "boardX(6) boardY(8) move(1,d,0) move(3,d,1) move(4,d,2) move(4,r,3) move(4,r,4) move(4,d,5) move(2,d,6) move(3,d,7) move(4,d,8) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,5,1) finalPos(4,1,4,1)",
"time": 2.359706163406372
},
{
"filename": "data_asp_n6_m8_b6_bxl1_maxL2_t15_0.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 11,
"solution": "boardX(6) boardY(8) move(6,r,0) move(1,d,1) move(3,r,2) move(5,d,3) move(3,d,4) move(4,d,5) move(1,l,6) move(1,d,7) move(1,d,8) move(1,d,9) move(6,d,10) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,4,1) finalPos(4,1,5,1) finalPos(5,1,6,1) finalPos(6,1,3,2)",
"time": 20.905441522598267
},
{
"filename": "data_asp_n8_m10_b6_bxl1_maxL2_t45_1.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 23,
"solution": "boardX(8) boardY(10) move(5,d,0) move(5,l,1) move(5,l,2) move(3,d,3) move(4,l,4) move(6,d,5) move(5,d,6) move(3,l,7) move(4,d,8) move(2,d,9) move(5,d,10) move(2,d,11) move(2,d,12) move(5,l,13) move(1,d,14) move(1,l,15) move(1,d,16) move(1,d,17) move(5,d,18) move(2,l,19) move(2,d,20) move(2,d,21) move(6,d,22) finalPos(1,2,1,1) finalPos(2,1,4,1) finalPos(3,1,5,1) finalPos(4,1,6,1) finalPos(5,1,3,1) finalPos(6,1,7,1)",
"time": 600.0046494007111
},
{
"filename": "data_asp_n8_m10_b4_bxl1_maxL2_t15_0.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 9,
"solution": "boardX(8) boardY(10) move(3,d,0) move(3,l,1) move(3,l,2) move(1,l,3) move(1,d,4) move(4,d,5) move(4,d,6) move(2,l,7) move(2,d,8) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,4,1) finalPos(4,1,5,1)",
"time": 3.606135845184326
},
{
"filename": "data_asp_n8_m10_b4_bxl1_maxL2_t45_1.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 17,
"solution": "boardX(8) boardY(10) move(1,d,0) move(3,l,1) move(4,d,2) move(4,d,3) move(3,l,4) move(1,d,5) move(2,l,6) move(1,d,7) move(1,l,8) move(2,d,9) move(3,d,10) move(2,l,11) move(3,l,12) move(4,l,13) move(1,d,14) move(2,d,15) move(4,l,16) finalPos(1,2,1,1) finalPos(2,1,4,1) finalPos(3,1,3,1) finalPos(4,1,5,1)",
"time": 600.0046761035919
},
{
"filename": "data_asp_n6_m8_b4_bxl1_maxL2_t45_0.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 14,
"solution": "boardX(6) boardY(8) move(2,l,0) move(1,d,1) move(3,d,2) move(3,d,3) move(4,l,4) move(1,d,5) move(4,d,6) move(2,d,7) move(4,d,8) move(1,d,9) move(2,d,10) move(3,d,11) move(3,d,12) move(3,d,13) finalPos(1,2,2,1) finalPos(2,1,1,1) finalPos(3,1,5,1) finalPos(4,1,4,1)",
"time": 212.08625030517578
},
{
"filename": "data_asp_n8_m10_b6_bxl1_maxL2_t15_1.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 9,
"solution": "boardX(8) boardY(10) move(5,l,0) move(6,d,1) move(1,l,2) move(2,d,3) move(1,d,4) move(3,d,5) move(3,d,6) move(4,d,7) move(1,d,8) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,4,1) finalPos(4,1,5,1) finalPos(5,1,6,1) finalPos(6,1,7,1)",
"time": 10.474561929702759
},
{
"filename": "data_asp_n6_m8_b8_bxl1_maxL2_t30_0.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 18,
"solution": "boardX(6) boardY(8) move(6,d,0) move(1,d,1) move(2,d,2) move(1,d,3) move(5,r,4) move(5,r,5) move(7,d,6) move(8,l,7) move(7,d,8) move(8,d,9) move(4,d,10) move(4,d,11) move(1,d,12) move(5,d,13) move(6,d,14) move(6,d,15) move(1,d,16) move(5,d,17) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,5,1) finalPos(4,1,4,2) finalPos(5,1,6,1) finalPos(6,1,3,2) finalPos(7,1,5,2) finalPos(8,1,4,1)",
"time": 600.0046896934509
},
{
"filename": "data_asp_n8_m10_b6_bxl1_maxL2_t45_0.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 14,
"solution": "boardX(8) boardY(10) move(2,l,0) move(3,l,1) move(6,l,2) move(5,d,3) move(4,d,4) move(4,d,5) move(4,d,6) move(3,d,7) move(1,d,8) move(1,d,9) move(5,d,10) move(4,d,11) move(3,d,12) move(2,d,13) finalPos(1,2,2,1) finalPos(2,1,1,1) finalPos(3,1,4,1) finalPos(4,1,5,1) finalPos(5,1,7,1) finalPos(6,1,6,1)",
"time": 600.0047442913055
},
{
"filename": "data_asp_n6_m8_b6_bxl1_maxL2_t45_1.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 21,
"solution": "boardX(6) boardY(8) move(1,l,0) move(2,d,1) move(4,d,2) move(1,l,3) move(6,r,4) move(4,d,5) move(4,r,6) move(5,d,7) move(5,d,8) move(1,d,9) move(6,d,10) move(1,d,11) move(1,d,12) move(3,d,13) move(5,d,14) move(3,d,15) move(3,d,16) move(3,d,17) move(3,d,18) move(5,d,19) move(3,d,20) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,4,1) finalPos(4,1,6,1) finalPos(5,1,5,1) finalPos(6,1,3,2)",
"time": 600.0054109096527
},
{
"filename": "data_asp_n8_m10_b6_bxl1_maxL2_t30_0.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 20,
"solution": "boardX(8) boardY(10) move(4,r,0) move(4,r,1) move(6,d,2) move(1,l,3) move(5,d,4) move(3,l,5) move(5,d,6) move(1,d,7) move(6,d,8) move(1,l,9) move(6,d,10) move(1,l,11) move(5,d,12) move(1,d,13) move(4,d,14) move(1,d,15) move(1,d,16) move(4,d,17) move(2,d,18) move(1,d,19) finalPos(1,2,1,1) finalPos(2,1,4,1) finalPos(3,1,3,1) finalPos(4,1,7,1) finalPos(5,1,5,1) finalPos(6,1,6,1)",
"time": 600.0045485496521
},
{
"filename": "data_asp_n6_m8_b8_bxl1_maxL2_t15_1.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 12,
"solution": "boardX(6) boardY(8) move(2,l,0) move(1,d,1) move(7,d,2) move(7,d,3) move(5,r,4) move(5,d,5) move(7,d,6) move(7,d,7) move(8,d,8) move(6,d,9) move(7,l,10) move(7,d,11) finalPos(1,2,2,1) finalPos(2,1,1,1) finalPos(3,1,4,1) finalPos(4,1,5,1) finalPos(5,1,6,1) finalPos(6,1,4,2) finalPos(7,1,1,2) finalPos(8,1,5,2)",
"time": 25.004099369049072
},
{
"filename": "data_asp_n6_m8_b8_bxl1_maxL2_t45_1.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 17,
"solution": "boardX(6) boardY(8) move(4,l,0) move(3,d,1) move(1,l,2) move(1,l,3) move(8,d,4) move(1,d,5) move(7,d,6) move(6,d,7) move(5,d,8) move(8,d,9) move(5,d,10) move(8,d,11) move(8,d,12) move(6,d,13) move(8,d,14) move(7,d,15) move(6,d,16) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,5,1) finalPos(4,1,4,1) finalPos(5,1,6,1) finalPos(6,1,3,2) finalPos(7,1,4,2) finalPos(8,1,5,2)",
"time": 600.0047707557678
},
{
"filename": "data_asp_n6_m8_b6_bxl1_maxL2_t45_0.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 15,
"solution": "boardX(6) boardY(8) move(2,d,0) move(6,d,1) move(2,d,2) move(6,d,3) move(6,d,4) move(6,d,5) move(2,d,6) move(1,l,7) move(6,d,8) move(3,r,9) move(2,d,10) move(6,d,11) move(2,d,12) move(1,d,13) move(5,d,14) finalPos(1,2,1,1) finalPos(2,1,3,2) finalPos(3,1,3,1) finalPos(4,1,4,1) finalPos(5,1,6,1) finalPos(6,1,5,1)",
"time": 275.13505125045776
},
{
"filename": "data_asp_n6_m8_b8_bxl1_maxL2_t30_1.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 16,
"solution": "boardX(6) boardY(8) move(7,d,0) move(7,r,1) move(4,d,2) move(7,d,3) move(4,d,4) move(8,r,5) move(7,d,6) move(2,r,7) move(7,d,8) move(1,d,9) move(3,d,10) move(8,d,11) move(6,d,12) move(1,d,13) move(5,d,14) move(6,d,15) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,4,1) finalPos(4,1,5,1) finalPos(5,1,6,1) finalPos(6,1,4,2) finalPos(7,1,3,2) finalPos(8,1,5,2)",
"time": 600.0046172142029
},
{
"filename": "data_asp_n8_m10_b8_bxl1_maxL2_t15_1.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 9,
"solution": "boardX(8) boardY(10) move(5,l,0) move(5,d,1) move(3,d,2) move(2,d,3) move(8,d,4) move(5,d,5) move(3,l,6) move(3,l,7) move(1,d,8) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,3,2) finalPos(4,1,5,1) finalPos(5,1,6,1) finalPos(6,1,7,1) finalPos(7,1,8,1) finalPos(8,1,4,1)",
"time": 8.053581714630127
},
{
"filename": "data_asp_n8_m10_b8_bxl1_maxL2_t45_1.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 39,
"solution": "boardX(8) boardY(10) move(5,l,0) move(8,l,1) move(3,l,2) move(7,u,3) move(2,l,4) move(4,d,5) move(4,l,6) move(4,l,7) move(6,r,8) move(4,d,9) move(4,d,10) move(1,r,11) move(4,d,12) move(4,d,13) move(5,r,14) move(4,r,15) move(5,r,16) move(4,d,17) move(5,d,18) move(8,r,19) move(5,d,20) move(1,l,21) move(8,d,22) move(1,l,23) move(8,d,24) move(1,l,25) move(1,d,26) move(1,d,27) move(7,d,28) move(6,d,29) move(1,d,30) move(4,d,31) move(8,d,32) move(7,d,33) move(3,l,34) move(7,d,35) move(7,d,36) move(8,d,37) move(8,d,38) finalPos(1,2,1,1) finalPos(2,1,4,1) finalPos(3,1,3,2) finalPos(4,1,3,1) finalPos(5,1,6,1) finalPos(6,1,8,1) finalPos(7,1,7,1) finalPos(8,1,5,1)",
"time": 600.0054452419281
},
{
"filename": "data_asp_n8_m10_b8_bxl1_maxL2_t30_1.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 21,
"solution": "boardX(8) boardY(10) move(7,l,0) move(4,d,1) move(6,d,2) move(2,l,3) move(5,r,4) move(5,d,5) move(5,d,6) move(8,d,7) move(6,d,8) move(7,d,9) move(7,l,10) move(6,d,11) move(8,d,12) move(1,d,13) move(5,d,14) move(6,d,15) move(6,d,16) move(1,d,17) move(3,l,18) move(1,l,19) move(1,d,20) finalPos(1,2,2,1) finalPos(2,1,1,2) finalPos(3,1,1,1) finalPos(4,1,4,1) finalPos(5,1,8,1) finalPos(6,1,6,1) finalPos(7,1,5,1) finalPos(8,1,7,1)",
"time": 600.0045733451843
},
{
"filename": "data_asp_n6_m8_b8_bxl1_maxL2_t45_0.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 18,
"solution": "boardX(6) boardY(8) move(3,d,0) move(8,d,1) move(6,l,2) move(2,l,3) move(2,d,4) move(7,r,5) move(6,d,6) move(2,d,7) move(8,r,8) move(7,d,9) move(8,d,10) move(2,d,11) move(5,d,12) move(8,d,13) move(6,d,14) move(8,d,15) move(6,d,16) move(6,d,17) finalPos(1,2,2,1) finalPos(2,1,1,1) finalPos(3,1,4,1) finalPos(4,1,5,1) finalPos(5,1,5,2) finalPos(6,1,1,2) finalPos(7,1,4,2) finalPos(8,1,6,1)",
"time": 600.0048048496246
},
{
"filename": "data_asp_n8_m10_b8_bxl1_maxL2_t15_0.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 12,
"solution": "boardX(8) boardY(10) move(5,d,0) move(7,r,1) move(8,l,2) move(6,d,3) move(7,d,4) move(1,d,5) move(6,d,6) move(1,d,7) move(1,d,8) move(2,l,9) move(1,d,10) move(3,d,11) finalPos(1,2,2,1) finalPos(2,1,1,1) finalPos(3,1,4,1) finalPos(4,1,5,1) finalPos(5,1,6,1) finalPos(6,1,7,1) finalPos(7,1,8,1) finalPos(8,1,1,2)",
"time": 600.0046350955963
},
{
"filename": "data_asp_n6_m8_b4_bxl1_maxL2_t30_1.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 14,
"solution": "boardX(6) boardY(8) move(2,d,0) move(1,d,1) move(1,l,2) move(3,d,3) move(2,d,4) move(4,d,5) move(1,d,6) move(3,d,7) move(1,d,8) move(3,d,9) move(3,r,10) move(3,d,11) move(3,d,12) move(1,d,13) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,5,1) finalPos(4,1,4,1)",
"time": 159.65907549858093
},
{
"filename": "data_asp_n6_m8_b4_bxl1_maxL2_t45_1.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 15,
"solution": "boardX(6) boardY(8) move(1,d,0) move(2,d,1) move(1,d,2) move(4,d,3) move(2,d,4) move(3,d,5) move(2,d,6) move(2,d,7) move(1,d,8) move(3,l,9) move(1,d,10) move(3,l,11) move(1,d,12) move(4,d,13) move(4,d,14) finalPos(1,2,3,1) finalPos(2,1,5,1) finalPos(3,1,1,1) finalPos(4,1,2,1)",
"time": 600.0046281814575
},
{
"filename": "data_asp_n8_m10_b6_bxl1_maxL2_t30_1.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 14,
"solution": "boardX(8) boardY(10) move(1,l,0) move(6,d,1) move(6,d,2) move(4,l,3) move(5,r,4) move(4,d,5) move(4,d,6) move(1,l,7) move(5,r,8) move(6,d,9) move(6,d,10) move(2,d,11) move(4,d,12) move(1,d,13) finalPos(1,2,1,1) finalPos(2,1,5,1) finalPos(3,1,3,1) finalPos(4,1,4,1) finalPos(5,1,7,1) finalPos(6,1,6,1)",
"time": 600.004501581192
},
{
"filename": "data_asp_n8_m10_b8_bxl1_maxL2_t30_0.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 20,
"solution": "boardX(8) boardY(10) move(8,d,0) move(7,d,1) move(6,r,2) move(7,d,3) move(6,d,4) move(6,d,5) move(8,r,6) move(3,d,7) move(7,d,8) move(3,d,9) move(8,d,10) move(5,d,11) move(4,l,12) move(8,d,13) move(5,d,14) move(4,d,15) move(7,d,16) move(5,d,17) move(7,d,18) move(5,d,19) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,4,1) finalPos(4,1,6,1) finalPos(5,1,5,1) finalPos(6,1,8,1) finalPos(7,1,7,1) finalPos(8,1,3,2)",
"time": 600.0046412944794
},
{
"filename": "data_asp_n8_m10_b6_bxl1_maxL2_t15_0.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 13,
"solution": "boardX(8) boardY(10) move(2,d,0) move(6,d,1) move(2,d,2) move(5,d,3) move(5,d,4) move(3,d,5) move(4,d,6) move(5,d,7) move(6,d,8) move(4,r,9) move(3,d,10) move(6,d,11) move(6,d,12) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,4,1) finalPos(4,1,6,1) finalPos(5,1,7,1) finalPos(6,1,5,1)",
"time": 163.4804241657257
},
{
"filename": "data_asp_n8_m10_b4_bxl1_maxL2_t15_1.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 10,
"solution": "boardX(8) boardY(10) move(1,d,0) move(3,d,1) move(4,l,2) move(2,d,3) move(3,d,4) move(2,d,5) move(1,l,6) move(3,l,7) move(2,l,8) move(1,d,9) finalPos(1,2,2,1) finalPos(2,1,1,1) finalPos(3,1,5,1) finalPos(4,1,4,1)",
"time": 6.188151121139526
},
{
"filename": "data_asp_n6_m8_b8_bxl1_maxL2_t15_0.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 9,
"solution": "boardX(6) boardY(8) move(1,l,0) move(2,d,1) move(6,r,2) move(8,d,3) move(7,d,4) move(7,d,5) move(5,d,6) move(1,d,7) move(1,d,8) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,4,1) finalPos(4,1,5,1) finalPos(5,1,6,1) finalPos(6,1,3,2) finalPos(7,1,4,2) finalPos(8,1,5,2)",
"time": 4.271092653274536
},
{
"filename": "data_asp_n6_m8_b4_bxl1_maxL2_t30_0.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 10,
"solution": "boardX(6) boardY(8) move(3,d,0) move(1,d,1) move(4,d,2) move(3,d,3) move(4,l,4) move(3,d,5) move(2,r,6) move(3,d,7) move(3,d,8) move(1,d,9) finalPos(1,2,3,1) finalPos(2,1,5,1) finalPos(3,1,2,1) finalPos(4,1,1,1)",
"time": 6.495318174362183
},
{
"filename": "data_asp_n8_m10_b4_bxl1_maxL2_t30_0.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 13,
"solution": "boardX(8) boardY(10) move(4,l,0) move(2,d,1) move(2,d,2) move(2,d,3) move(4,d,4) move(2,l,5) move(4,d,6) move(4,d,7) move(3,l,8) move(1,l,9) move(3,l,10) move(1,d,11) move(3,d,12) finalPos(1,2,2,1) finalPos(2,1,1,1) finalPos(3,1,4,1) finalPos(4,1,5,1)",
"time": 232.61744475364685
},
{
"filename": "data_asp_n8_m10_b4_bxl1_maxL2_t45_0.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 15,
"solution": "boardX(8) boardY(10) move(4,d,0) move(3,d,1) move(3,d,2) move(3,d,3) move(4,l,4) move(4,l,5) move(3,d,6) move(4,d,7) move(1,d,8) move(2,d,9) move(4,l,10) move(1,d,11) move(3,d,12) move(3,l,13) move(1,d,14) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,5,1) finalPos(4,1,4,1)",
"time": 584.4368693828583
},
{
"filename": "data_asp_n8_m10_b4_bxl1_maxL2_t30_1.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 16,
"solution": "boardX(8) boardY(10) move(1,l,0) move(2,l,1) move(3,d,2) move(1,d,3) move(3,d,4) move(1,d,5) move(2,d,6) move(2,l,7) move(3,d,8) move(1,d,9) move(1,l,10) move(4,l,11) move(4,l,12) move(3,l,13) move(4,d,14) move(1,d,15) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,4,1) finalPos(4,1,5,1)",
"time": 600.004848241806
},
{
"filename": "data_asp_n6_m8_b4_bxl1_maxL2_t15_0.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 9,
"solution": "boardX(6) boardY(8) move(1,l,0) move(1,d,1) move(1,d,2) move(4,d,3) move(2,d,4) move(2,r,5) move(1,d,6) move(1,d,7) move(2,d,8) finalPos(1,2,1,1) finalPos(2,1,4,1) finalPos(3,1,3,1) finalPos(4,1,5,1)",
"time": 1.2939414978027344
},
{
"filename": "data_asp_n6_m8_b6_bxl1_maxL2_t15_1.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 11,
"solution": "boardX(6) boardY(8) move(3,d,0) move(5,r,1) move(2,d,2) move(5,d,3) move(6,d,4) move(2,d,5) move(3,r,6) move(5,d,7) move(3,d,8) move(6,r,9) move(6,d,10) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,5,1) finalPos(4,1,4,1) finalPos(5,1,6,1) finalPos(6,1,3,2)",
"time": 17.884226083755493
},
{
"filename": "data_asp_n6_m8_b6_bxl1_maxL2_t30_1.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 16,
"solution": "boardX(6) boardY(8) move(2,r,0) move(3,d,1) move(5,d,2) move(6,r,3) move(5,d,4) move(6,d,5) move(6,d,6) move(3,l,7) move(6,d,8) move(1,l,9) move(6,d,10) move(1,d,11) move(4,d,12) move(5,d,13) move(5,d,14) move(6,d,15) finalPos(1,2,1,1) finalPos(2,1,6,1) finalPos(3,1,3,1) finalPos(4,1,5,1) finalPos(5,1,4,1) finalPos(6,1,3,2)",
"time": 600.0047385692596
},
{
"filename": "data_asp_n8_m10_b8_bxl1_maxL2_t45_0.lp",
"foundSol": true,
"isOptimum": false,
"optimum": 19,
"solution": "boardX(8) boardY(10) move(5,r,0) move(6,r,1) move(7,d,2) move(6,d,3) move(1,d,4) move(3,r,5) move(4,d,6) move(4,d,7) move(8,d,8) move(8,d,9) move(4,l,10) move(3,d,11) move(4,d,12) move(3,d,13) move(4,d,14) move(6,d,15) move(2,d,16) move(4,d,17) move(3,d,18) finalPos(1,2,1,1) finalPos(2,1,5,1) finalPos(3,1,4,1) finalPos(4,1,3,2) finalPos(5,1,6,1) finalPos(6,1,8,1) finalPos(7,1,7,1) finalPos(8,1,3,1)",
"time": 600.0046932697296
},
{
"filename": "data_asp_n6_m8_b6_bxl1_maxL2_t30_0.lp",
"foundSol": true,
"isOptimum": true,
"optimum": 12,
"solution": "boardX(6) boardY(8) move(3,d,0) move(4,r,1) move(5,d,2) move(5,d,3) move(4,d,4) move(1,d,5) move(1,l,6) move(1,d,7) move(1,d,8) move(5,r,9) move(5,d,10) move(5,d,11) finalPos(1,2,1,1) finalPos(2,1,3,1) finalPos(3,1,4,1) finalPos(4,1,6,1) finalPos(5,1,5,1) finalPos(6,1,3,2)",
"time": 87.49471759796143
}
],
"minizinc": [
{
"filename": "data_mzn_n8_m10_b8_bxl1_maxL2_t15_1.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 9,
"solution": "2 D, 1 D, 8 D, 5 L, 5 D, 3 L, 3 L, 5 D, 3 D, ",
"time": 10.256642818450928
},
{
"filename": "data_mzn_n8_m10_b8_bxl1_maxL2_t45_0.dzn",
"foundSol": true,
"isOptimum": false,
"optimum": 23,
"solution": "7 R, 2 R, 2 R, 1 D, 8 R, 8 R, 6 L, 2 D, 5 L, 5 L, 8 D, 8 D, 7 D, 6 D, 6 D, 4 D, 4 D, 4 D, 4 D, 3 D, 4 D, 4 D, 3 D, ",
"time": 600.4081766605377
},
{
"filename": "data_mzn_n8_m10_b6_bxl1_maxL2_t15_1.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 9,
"solution": "1 L, 1 D, 1 D, 2 D, 3 D, 3 D, 4 D, 5 L, 6 D, ",
"time": 2.203756093978882
},
{
"filename": "data_mzn_n6_m8_b6_bxl1_maxL2_t15_0.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 11,
"solution": "6 R, 4 D, 1 D, 6 R, 1 D, 1 L, 1 D, 5 D, 1 D, 6 D, 6 D, ",
"time": 18.947852849960327
},
{
"filename": "data_mzn_n8_m10_b8_bxl1_maxL2_t45_1.dzn",
"foundSol": false
},
{
"filename": "data_mzn_n6_m8_b6_bxl1_maxL2_t15_1.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 11,
"solution": "2 D, 4 R, 4 R, 6 R, 2 D, 3 D, 5 D, 3 D, 6 D, 5 D, 6 D, ",
"time": 19.158037662506104
},
{
"filename": "data_mzn_n8_m10_b8_bxl1_maxL2_t30_0.dzn",
"foundSol": true,
"isOptimum": false,
"optimum": 20,
"solution": "7 D, 7 D, 7 L, 7 D, 7 D, 7 D, 8 D, 4 R, 4 D, 6 D, 5 D, 8 R, 5 D, 6 D, 3 D, 5 D, 5 D, 3 D, 8 D, 8 D, ",
"time": 600.3417286872864
},
{
"filename": "data_mzn_n6_m8_b4_bxl1_maxL2_t45_0.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 14,
"solution": "3 L, 2 L, 3 D, 1 D, 3 D, 4 D, 1 D, 3 D, 3 D, 3 D, 2 D, 2 D, 4 D, 1 D, ",
"time": 7.839818716049194
},
{
"filename": "data_mzn_n8_m10_b8_bxl1_maxL2_t30_1.dzn",
"foundSol": false
},
{
"filename": "data_mzn_n6_m8_b8_bxl1_maxL2_t45_0.dzn",
"foundSol": true,
"isOptimum": false,
"optimum": 41,
"solution": "1 L, 7 U, 6 R, 7 U, 7 R, 7 U, 7 U, 6 R, 5 D, 2 R, 6 R, 6 R, 7 L, 2 R, 2 U, 2 U, 6 D, 6 D, 6 D, 6 D, 6 D, 3 D, 7 D, 8 U, 8 D, 7 D, 7 D, 7 D, 7 D, 7 D, 8 U, 8 D, 8 D, 8 L, 8 L, 2 D, 2 D, 2 D, 8 D, 2 D, 8 D, ",
"time": 600.3968601226807
},
{
"filename": "data_mzn_n6_m8_b4_bxl1_maxL2_t15_0.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 9,
"solution": "1 L, 1 D, 1 D, 1 D, 1 D, 2 R, 2 D, 2 D, 4 D, ",
"time": 0.9031026363372803
},
{
"filename": "data_mzn_n8_m10_b6_bxl1_maxL2_t45_1.dzn",
"foundSol": true,
"isOptimum": false,
"optimum": 27,
"solution": "2 R, 1 L, 3 D, 3 L, 6 L, 5 L, 3 L, 5 L, 2 D, 5 L, 2 D, 6 R, 6 L, 1 D, 1 D, 2 L, 4 D, 1 D, 2 D, 2 D, 2 D, 5 D, 5 D, 5 D, 5 D, 6 D, 6 D, ",
"time": 600.2795262336731
},
{
"filename": "data_mzn_n6_m8_b8_bxl1_maxL2_t30_1.dzn",
"foundSol": true,
"isOptimum": false,
"optimum": 16,
"solution": "4 D, 2 R, 4 D, 8 R, 7 R, 5 D, 3 D, 7 D, 7 D, 7 D, 7 D, 1 D, 6 D, 6 D, 1 D, 8 D, ",
"time": 600.3515303134918
},
{
"filename": "data_mzn_n6_m8_b4_bxl1_maxL2_t15_1.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 9,
"solution": "1 D, 2 D, 3 D, 3 D, 4 R, 4 R, 4 D, 4 D, 4 D, ",
"time": 1.112764596939087
},
{
"filename": "data_mzn_n6_m8_b6_bxl1_maxL2_t30_1.dzn",
"foundSol": true,
"isOptimum": false,
"optimum": 16,
"solution": "3 D, 4 R, 6 R, 5 D, 1 L, 1 D, 6 D, 5 L, 5 D, 5 D, 4 D, 6 D, 6 D, 5 D, 6 D, 6 D, ",
"time": 600.3006746768951
},
{
"filename": "data_mzn_n8_m10_b8_bxl1_maxL2_t15_0.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 12,
"solution": "5 D, 7 R, 2 L, 6 D, 3 D, 1 D, 6 D, 8 L, 1 D, 1 D, 7 D, 1 D, ",
"time": 142.50230264663696
},
{
"filename": "data_mzn_n6_m8_b6_bxl1_maxL2_t45_0.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 15,
"solution": "1 L, 3 R, 6 D, 6 D, 6 D, 6 D, 2 D, 6 D, 2 D, 5 D, 6 D, 2 D, 1 D, 2 D, 2 D, ",
"time": 38.19955825805664
},
{
"filename": "data_mzn_n8_m10_b4_bxl1_maxL2_t15_1.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 10,
"solution": "2 D, 2 L, 1 D, 3 L, 1 L, 3 D, 3 L, 3 D, 2 D, 1 D, ",
"time": 4.816600322723389
},
{
"filename": "data_mzn_n6_m8_b4_bxl1_maxL2_t30_1.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 14,
"solution": "1 L, 3 R, 3 D, 2 D, 2 D, 3 D, 3 D, 1 D, 1 D, 1 D, 3 D, 1 D, 3 D, 4 D, ",
"time": 17.026151657104492
},
{
"filename": "data_mzn_n6_m8_b4_bxl1_maxL2_t30_0.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 10,
"solution": "4 L, 4 D, 1 D, 2 R, 1 D, 3 D, 3 D, 3 D, 3 D, 3 D, ",
"time": 1.6541402339935303
},
{
"filename": "data_mzn_n8_m10_b6_bxl1_maxL2_t30_0.dzn",
"foundSol": true,
"isOptimum": false,
"optimum": 20,
"solution": "6 D, 6 D, 5 R, 2 L, 6 D, 2 D, 4 D, 5 D, 5 D, 4 D, 1 D, 1 D, 1 L, 1 D, 5 R, 1 L, 1 L, 1 D, 1 D, 5 D, ",
"time": 600.2518358230591
},
{
"filename": "data_mzn_n8_m10_b4_bxl1_maxL2_t15_0.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 9,
"solution": "2 D, 1 L, 1 D, 3 D, 2 L, 4 D, 4 L, 4 D, 3 L, ",
"time": 2.948296070098877
},
{
"filename": "data_mzn_n6_m8_b8_bxl1_maxL2_t45_1.dzn",
"foundSol": true,
"isOptimum": false,
"optimum": 17,
"solution": "4 L, 5 D, 3 D, 1 L, 1 L, 6 D, 1 D, 7 D, 7 D, 6 D, 8 D, 8 D, 8 D, 8 D, 5 D, 6 D, 8 D, ",
"time": 600.4360458850861
},
{
"filename": "data_mzn_n8_m10_b6_bxl1_maxL2_t15_0.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 13,
"solution": "3 D, 3 D, 4 D, 5 D, 5 D, 5 D, 6 D, 2 D, 2 D, 6 R, 6 D, 6 D, 6 D, ",
"time": 28.193439245224
},
{
"filename": "data_mzn_n6_m8_b8_bxl1_maxL2_t15_1.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 12,
"solution": "5 R, 6 D, 7 L, 5 D, 2 L, 7 D, 1 D, 8 D, 7 D, 7 D, 7 D, 7 D, ",
"time": 13.95868444442749
},
{
"filename": "data_mzn_n6_m8_b4_bxl1_maxL2_t45_1.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 15,
"solution": "3 L, 3 D, 4 L, 4 D, 2 D, 1 D, 4 D, 2 D, 2 D, 1 D, 1 D, 1 D, 1 D, 4 D, 2 D, ",
"time": 36.52250123023987
},
{
"filename": "data_mzn_n8_m10_b4_bxl1_maxL2_t30_0.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 13,
"solution": "3 D, 3 L, 4 D, 2 L, 1 D, 1 L, 2 D, 4 D, 3 L, 2 D, 4 D, 4 L, 2 D, ",
"time": 53.85153794288635
},
{
"filename": "data_mzn_n8_m10_b6_bxl1_maxL2_t30_1.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 14,
"solution": "1 L, 2 R, 6 R, 5 L, 1 L, 6 D, 4 D, 6 D, 2 D, 4 D, 1 D, 6 D, 6 D, 4 D, ",
"time": 280.18998551368713
},
{
"filename": "data_mzn_n8_m10_b6_bxl1_maxL2_t45_0.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 14,
"solution": "3 D, 4 L, 6 L, 4 D, 2 L, 5 D, 4 D, 4 D, 5 D, 3 D, 4 D, 2 D, 1 D, 1 D, ",
"time": 102.53655457496643
},
{
"filename": "data_mzn_n6_m8_b8_bxl1_maxL2_t30_0.dzn",
"foundSol": true,
"isOptimum": false,
"optimum": 24,
"solution": "1 U, 3 R, 2 D, 8 L, 5 L, 8 D, 1 D, 1 U, 1 D, 1 D, 1 D, 5 D, 5 R, 6 D, 6 D, 4 D, 6 D, 1 D, 1 D, 7 D, 7 D, 7 D, 4 R, 4 D, ",
"time": 600.2593655586243
},
{
"filename": "data_mzn_n6_m8_b6_bxl1_maxL2_t30_0.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 12,
"solution": "1 L, 5 R, 5 R, 4 D, 5 D, 5 D, 3 D, 5 D, 5 D, 1 D, 1 D, 1 D, ",
"time": 100.94290542602539
},
{
"filename": "data_mzn_n8_m10_b4_bxl1_maxL2_t45_0.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 15,
"solution": "3 D, 1 D, 3 L, 3 D, 3 L, 3 D, 2 D, 3 D, 3 D, 1 D, 1 D, 4 L, 4 D, 4 D, 4 L, ",
"time": 15.380704641342163
},
{
"filename": "data_mzn_n6_m8_b8_bxl1_maxL2_t15_0.dzn",
"foundSol": true,
"isOptimum": true,
"optimum": 9,
"solution": "1 L, 2 D, 6 R, 7 D, 5 D, 7 D, 1 D, 1 D, 8 D, ",
"time": 3.5518734455108643
},
{
"filename": "data_mzn_n8_m10_b4_bxl1_maxL2_t45_1.dzn",
"foundSol": true,
"isOptimum": false,
"optimum": 17,
"solution": "1 L, 3 L, 3 L, 3 L, 4 D, 4 L, 4 L, 1 D, 2 D, 2 D, 2 L, 2 L, 1 D, 3 D, 1 D, 1 D, 4 D, ",
"time": 600.2919762134552
},
{
"filename": "data_mzn_n8_m10_b4_bxl1_maxL2_t30_1.dzn",
"foundSol": true,
"isOptimum": false,
"optimum": 16,
"solution": "3 L, 2 L, 2 D, 1 L, 3 L, 1 L, 1 D, 3 D, 4 L, 4 L, 4 D, 3 D, 1 D, 1 D, 3 D, 1 D, ",
"time": 600.2035675048828
},
{
"filename": "data_mzn_n6_m8_b6_bxl1_maxL2_t45_1.dzn",
"foundSol": true,
"isOptimum": false,
"optimum": 21,
"solution": "2 D, 6 R, 4 R, 1 L, 4 D, 1 L, 1 D, 6 D, 5 D, 5 D, 4 D, 3 D, 3 D, 3 D, 3 D, 3 D, 3 D, 1 D, 1 D, 5 D, 5 D, ",
"time": 600.2892210483551
}
],
"timelimit": 600
}