2019 XCSP3 competition: fast COP track (sequential and parallel solvers): solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-kra30b.xml
MD5SUM96027ecb9680ebc7e976d400499bbdbc
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark47490
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables930
Number of constraints436
Number of domains2
Minimum domain size5
Maximum domain size30
Distribution of domain sizes[{"size":5,"count":435},{"size":30,"count":30}]
Minimum variable degree0
Maximum variable degree30
Distribution of variable degrees[{"degree":0,"count":465},{"degree":2,"count":435},{"degree":30,"count":30}]
Minimum constraint arity3
Maximum constraint arity30
Distribution of constraint arities[{"arity":3,"count":435},{"arity":30,"count":1}]
Number of extensional constraints435
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":435},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-20 (complete)4404202SAT (TO)46630 2400.64 603.776
choco-solver 2019-09-20 parallel (complete)4405102SAT (TO)47255 1998.47 252.102
choco-solver 2019-09-24 (complete)4406602SAT (TO)47490 2400.03 2392.61
choco-solver 2019-09-24 parallel (complete)4407502SAT (TO)47945 1998.74 252.12
choco-solver 2019-09-16 (complete)4400602SAT (TO)47955 2400.73 603.594
choco-solver 2019-09-16 parallel (complete)4400302SAT (TO)49035 2001.14 252.114
Concrete 3.10 (complete)4392242SAT (TO)54045 2400.1 2349.23
choco-solver 2019-06-14 parallel (complete)4394642SAT (TO)54750 18811.7 2520.16
Concrete 3.12.2 (complete)4401502SAT (TO)55660 2400.04 2351.53
choco-solver 2019-06-14 (complete)4394342SAT (TO)55695 2400.55 707.218
Concrete 3.12.2 (complete)4396622SAT (TO)56285 2400.06 2351.04
AbsCon 2019-07-23 (complete)4391342SAT (TO)56570 2400.03 2391.81
Concrete 3.12.3 (complete)4403302SAT (TO)56990 2400.1 2360.73
cosoco 2.0 (complete)4397902SAT (TO)59555 2400.02 2399.7
cosoco 2.0 (complete)4409162SAT (TO)59555 2400.05 2400.2
cosoco 2 (complete)4390442SAT (TO)59555 2400.08 2400.3
cosoco 2.O parallel (complete)4398802SAT (TO)60000 2011.69 252.024
cosoco 2.0 parallel (complete)4410062SAT (TO)60015 2011.86 252.024
PicatSAT 2019-09-12 (complete)4395722? (TO) 2400.01 2400.11

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: 46630
Solution found:
<instantiation> <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20]
x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] 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[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][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25]
d[0][26] d[0][27] d[0][28] d[0][29] 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[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][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28]
d[1][29] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] 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][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[3][4] d[3][5] d[3][6] d[3][7]
d[3][8] d[3][9] 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][20] d[3][21] d[3][22]
d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] 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][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28]
d[4][29] d[5][6] d[5][7] d[5][8] d[5][9] 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][20]
d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[6][7] d[6][8] d[6][9] 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][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28]
d[6][29] d[7][8] d[7][9] 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][20] d[7][21]
d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[8][9] 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][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] 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][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25]
d[9][26] d[9][27] d[9][28] d[9][29] 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][20]
d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] 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][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[12][13]
d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27]
d[12][28] d[12][29] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25]
d[13][26] d[13][27] d[13][28] d[13][29] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24]
d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24]
d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25]
d[16][26] d[16][27] d[16][28] d[16][29] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27]
d[17][28] d[17][29] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[19][20]
d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25]
d[20][26] d[20][27] d[20][28] d[20][29] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[22][23] d[22][24]
d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[24][25] d[24][26] d[24][27]
d[24][28] d[24][29] d[25][26] d[25][27] d[25][28] d[25][29] d[26][27] d[26][28] d[26][29] d[27][28] d[27][29] d[28][29] </list> <values>14
25 29 16 3 21 15 0 10 4 1 11 5 2 22 26 24 27 17 13 9 8 6 12 7 19 20 18 23 28 3 0 1 4 2 1 0 0 2 2 0 2 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 4 2 3
0 2 3 2 3 3 0 3 3 0 0 4 0 4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 4 3 3 3 3 1 3 3 0 0 0 0 2 0 0 2
2 3 3 0 0 0 0 0 2 3 2 2 2 2 1 2 2 1 0 0 0 0 0 0 0 3 0 1 2 1 0 1 0 1 2 2 2 2 2 2 2 1 0 0 0 1 1 1 1 1 1 1 0 1 0 0 0 3 3 3 3 1 3 3 0 0 0 0 2 0
0 2 2 3 3 0 0 0 0 0 3 2 2 2 2 2 1 0 0 0 0 0 0 3 2 0 2 2 1 0 1 0 2 2 3 2 2 0 0 0 0 0 0 0 0 3 4 0 0 1 0 0 0 3 1 2 2 1 0 0 0 0 0 0 0 3 0 2 2 1
0 1 0 1 2 2 1 0 0 0 0 0 0 0 3 0 2 2 1 0 1 0 2 2 2 0 0 0 0 0 0 1 0 3 2 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 0 0 2 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 2 1
0 1 0 0 0 0 0 0 1 0 0 1 0 0 2 0 0 4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 4 0 0 4 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0
0 4 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 4 4 0 2 0 0 0 0 4 4 3 4 0 0 0 0 2 1 0 0 0 3 1 0 0 0 1 0 0 3 0 0 4 0 2 4 </values> </instantiation>