2017 XCSP3 competition: mini-solver track (sequential and parallel solvers): solvers results per benchmarks

Result page for benchmark
QuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-bur26g.xml

Jump to solvers results

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-bur26g.xml
MD5SUMe15ea9448d462545754e2532d86d3e94
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4370447
Best CPU time to get the best result obtained on this benchmark2400.0901
Satisfiable
(Un)Satisfiability was proved
Number of variables702
Number of constraints326
Number of domains2
Minimum domain size26
Maximum domain size280
Distribution of domain sizes[{"size":26,"count":26},{"size":280,"count":325}]
Minimum variable degree0
Maximum variable degree26
Distribution of variable degrees[{"degree":0,"count":351},{"degree":2,"count":325},{"degree":26,"count":26}]
Minimum constraint arity3
Maximum constraint arity26
Distribution of constraint arities[{"arity":3,"count":325},{"arity":26,"count":1}]
Number of extensional constraints325
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":325},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
cosoco-mini 1.12 (complete)4267162SAT (TO)4370447 2400.0901 2400.1101
cosoco-mini 1.1 (2017-07-29) (complete)4259981SAT (TO)4370447 2400.1001 2400.1001
Naxos 1.1.0 (complete)4251933SAT (TO)5091203 2400.05 2399.8
cosoco-mini 1.1 (2017-06-27) (complete)4251932No Cert. 2400.11 2400

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

objective function: 4370447
Solution found:
<instantiation type='solution' cost='-4370447'> <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17]
d[0][18] d[0][19] d[0][1] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8]
d[0][9] d[10][0] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][1] d[10][20]
d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] d[11][10]
d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][1] d[11][20] d[11][21] d[11][22] d[11][23]
d[11][24] d[11][25] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] d[12][10] d[12][11] d[12][12] d[12][13]
d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][1] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][2]
d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15]
d[13][16] d[13][17] d[13][18] d[13][19] d[13][1] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][2] d[13][3] d[13][4]
d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17]
d[14][18] d[14][19] d[14][1] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6]
d[14][7] d[14][8] d[14][9] d[15][0] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19]
d[15][1] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9]
d[16][0] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][1] d[16][20] d[16][21]
d[16][22] d[16][23] d[16][24] d[16][25] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] d[17][10] d[17][11]
d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][1] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24]
d[17][25] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14]
d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][1] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][2] d[18][3]
d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16]
d[19][17] d[19][18] d[19][19] d[19][1] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][2] d[19][3] d[19][4] d[19][5]
d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19]
d[1][1] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[20][0]
d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][1] d[20][20] d[20][21] d[20][22]
d[20][23] d[20][24] d[20][25] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[21][0] d[21][10] d[21][11] d[21][12]
d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][1] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25]
d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[22][0] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15]
d[22][16] d[22][17] d[22][18] d[22][19] d[22][1] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][2] d[22][3] d[22][4]
d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[23][0] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17]
d[23][18] d[23][19] d[23][1] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6]
d[23][7] d[23][8] d[23][9] d[24][0] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19]
d[24][1] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9]
d[25][0] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][1] d[25][20] d[25][21]
d[25][22] d[25][23] d[25][24] d[25][25] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[2][0] d[2][10] d[2][11]
d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][1] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25]
d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16]
d[3][17] d[3][18] d[3][19] d[3][1] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7]
d[3][8] d[3][9] d[4][0] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][1] d[4][20] d[4][21]
d[4][22] d[4][23] d[4][24] d[4][25] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][10] d[5][11] d[5][12]
d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][1] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][2] d[5][3]
d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18]
d[6][19] d[6][1] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9]
d[7][0] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][1] d[7][20] d[7][21] d[7][22]
d[7][23] d[7][24] d[7][25] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][10] d[8][11] d[8][12] d[8][13]
d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][1] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][2] d[8][3] d[8][4]
d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19]
d[9][1] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10]
x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9]
</list> <values>* 770 52 0 12 34 60 160 88 46 22 1256 0 595 48 139 6 12 811 5 622 3844 197 280 30 24 * * 6 0 247 576 516 15 120 1531 507 * 3
500 57 610 294 495 * * * * * * * * * * * 0 1 1 1 0 0 0 0 * 0 0 0 1 0 7 * * * * * * * * * * * * 0 0 0 0 0 0 0 * 0 0 0 0 0 0 * * * * * * * * *
* * * * 13 11 33 30 200 3 * 0 56 13 55 0 4 * * * * * * * * * * * * * * 109 6 16 23 3 * 0 140 55 17 11 1 * * * * * * * * * * * * * * * 54 24
8 15 * 0 405 28 19 9 1 * * * * * * * * * * * * * * * * 3 15 0 * 0 1 3 0 4 0 * * * * * * * * * * * * * * * * * 96 0 * 0 15 1 1 0 1 * * * * *
* * * * * * * * * * * * * 169 * 0 352 23 177 106 5 * * * * * * * * * * * * * * * * * * * * 0 132 35 5 7 0 * * * * * * * * * 188 0 10 75 118
735 1 88 375 355 * 2 1522 21 896 46 462 142 3732 99 2755 0 18 33 0 * * * * * * * * * * * * * 0 0 0 0 7 * * * * * * * * * * * * * * * * * * *
* * * 70 26 20 1005 * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * 0 5 * * * * * * * *
* * * * * * * * * * * * * * * * * 12 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 63 5 0 955 856 239 8 454 566 270
* 4 237 62 528 291 242 * 1867 2113 1301 74 651 35 5 * 768 14 8 20 64 2401 107 131 187 318 * 2 1009 116 1949 47 146 * * 31 1012 75 154 140 9
* 1140 9 1 86 234 1434 165 187 427 476 * 5 869 190 301 13 39 * * * 2129 175 340 167 23 * 115 9 11 284 688 1114 222 660 2717 777 * 56 1264
331 926 515 415 * * * * 266 407 518 21 * 973 40 0 8 0 30 5 8 3 3 * 0 16 8 1 4 3 * * * * * 11 0 2 * 29 1 0 14 80 224 8 11 228 136 * 11 388 83
69 12 64 * * * * * * 25 10 * 390 0 0 0 0 0 0 1 13 5 * 0 0 0 7 0 0 * * * * * * * 0 * 6 1 0 39 21 0 0 0 7 1 * 0 34 2 1 0 9 * * * * * * * * 19
0 9 16 15 12 3 7 21 11 10 8 23 18 1 6 5 2 14 13 17 4 22 20 25 24 </values> </instantiation>