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

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

Jump to solvers results

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-nug20.xml
MD5SUM1ce5b24a466c3cb241db2c2b366e9012
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1438
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables420
Number of constraints191
Number of domains2
Minimum domain size8
Maximum domain size20
Distribution of domain sizes[{"size":8,"count":190},{"size":20,"count":20}]
Minimum variable degree0
Maximum variable degree20
Distribution of variable degrees[{"degree":0,"count":210},{"degree":2,"count":190},{"degree":20,"count":20}]
Minimum constraint arity3
Maximum constraint arity20
Distribution of constraint arities[{"arity":3,"count":190},{"arity":20,"count":1}]
Number of extensional constraints190
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":190},{"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)4267169SAT (TO)1438 2400.04 2400.1101
cosoco-mini 1.1 (2017-07-29) (complete)4259988SAT (TO)1438 2400.1001 2400.3999
Naxos 1.1.0 (complete)4251945? (TO) 2400.1 2400.1
cosoco-mini 1.1 (2017-06-27) (complete)4251944No Cert. 2400.03 2400.1

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: 1438
Solution found:
<instantiation type='solution' cost='-1438'> <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][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][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][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][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][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][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][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][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][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][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][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][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][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][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][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][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][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][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][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][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][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[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list> <values>* 5 2 0 0 0 5 0 2 0 0 10 2 2 1 0 5 2 2 2 * * 6 5 5 2 2 5 1 5
0 * * * * * * * * * * * * 2 5 1 0 0 5 0 2 * * * * * * * * * * * * * 0 5 0 0 5 2 0 * * * * * * * * * * * * * * 5 2 4 10 10 3 * * * * * * * *
* * * * * * * 0 5 2 1 5 * * * * * * * * * * * * * * * * 2 1 0 4 * * * * * * * * * * * * * * * * * 0 5 5 * * * * * * * * * * * * * * * * * *
5 2 * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 1 1 0 1 6 0 1 5 * 0 0 0 2 5 2 2
0 * 0 10 1 5 1 3 5 2 2 0 * * 5 0 5 5 10 5 10 * 2 5 0 2 2 0 5 10 2 0 * * * 10 5 5 10 1 5 * 1 1 0 3 0 5 0 1 2 0 * * * * 4 0 2 3 5 * 5 10 4 0 0
1 5 0 0 5 * * * * * 1 3 5 0 * 1 10 0 5 1 2 2 5 6 0 * * * * * * 10 10 0 * 5 0 5 1 2 1 1 2 2 4 * * * * * * * 10 0 * 1 5 0 10 5 0 1 2 10 1 * *
* * * * * * 5 * 1 2 1 10 5 5 5 0 5 5 * * * * * * * * * 12 4 6 16 1 17 8 9 3 18 2 5 11 10 15 0 19 7 14 13 </values> </instantiation>