2019 XCSP3 competition: main track (CSP and COP, 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 benchmark2520.04
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 parallel (complete)4404802SAT (TO)45770 20079.3 2520.11
choco-solver 2019-09-20 (complete)4403902SAT (TO)46630 2520.43 633.576
choco-solver 2019-09-24 (complete)4406302SAT (TO)47490 2520.04 2512.71
choco-solver 2019-09-16 parallel (complete)4400002SAT (TO)48095 20068.3 2520.11
choco-solver 2019-09-24 parallel (complete)4407202SAT (TO)48410 20080.4 2520.12
choco-solver 2019-09-16 (complete)4399402SAT (TO)48440 2520.57 633.784
choco-solver 2019-06-14 (complete)4393442SAT (TO)53475 2520.77 634.001
Concrete 3.10 (complete)4387074SAT (TO)55315 2520.13 2468.73
Concrete 3.12.3 (complete)4403002SAT (TO)55995 2520.08 2476.83
AbsCon 2019-07-23 (complete)4391042SAT (TO)56570 2520.1 2511.71
Concrete 3.12.2 (complete)4396322SAT (TO)56935 2520.11 2472.04
Concrete 3.12.2 (complete)4401202SAT (TO)57920 2520.04 2467.23
cosoco 2.0 parallel (complete)4409762SAT (TO)59460 20119.8 2520.02
cosoco 2.0 (complete)4408482SAT (TO)59555 2519.82 2520.01
cosoco 2 (complete)4389942SAT (TO)59555 2519.88 2520.01
cosoco 2.0 (complete)4397222SAT (TO)59555 2520.08 2520.01
cosoco 2.O parallel (complete)4398502SAT (TO)59810 20120.1 2520.03
PicatSAT 2019-09-12 (complete)4395422? (TO) 2520.01 2520.01
choco-solver 2019-06-14 parallel (complete)4394042Wrong Opt.58660 11555.3 1648.66

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