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

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

Jump to solvers results

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-nug21.xml
MD5SUMe5033dc7ed55784590c83dd9aaaff95e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1233
Best CPU time to get the best result obtained on this benchmark251.93401
Satisfiable
(Un)Satisfiability was proved
Number of variables462
Number of constraints211
Number of domains2
Minimum domain size8
Maximum domain size21
Distribution of domain sizes[{"size":8,"count":210},{"size":21,"count":21}]
Minimum variable degree0
Maximum variable degree21
Distribution of variable degrees[{"degree":0,"count":231},{"degree":2,"count":210},{"degree":21,"count":21}]
Minimum constraint arity3
Maximum constraint arity21
Distribution of constraint arities[{"arity":3,"count":210},{"arity":21,"count":1}]
Number of extensional constraints210
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":210},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
Mistral-2.0 2017-07-28 (complete)4259158SAT (TO)1233 251.93401 252.00999
OscaR - Hybrid 2017-07-26 (complete)4256673SAT (TO)1240 249.084 240.01401
OscaR - ALNS 2017-07-26 (complete)4255679SAT (TO)1249 248.576 240.017
Concrete 3.4 (complete)4259655SAT (TO)1291 258.271 240.03799
choco-solver 4.0.5 seq (2017-07-26) (complete)4254188SAT (TO)1359 244.11 240.00999
choco-solver 4.0.5 seq (2017-08-09) (complete)4270187SAT (TO)1359 244.394 240.022
choco-solver 4.0.5 seq (2017-08-18) (complete)4282937SAT (TO)1359 244.5 240.021
choco-solver 4.0.5 par (2017-08-09) (complete)4271657SAT (TO)1359 1994.59 252.10201
choco-solver 4.0.5 par (2017-08-18) (complete)4281467SAT (TO)1366 1996.48 252.11501
choco-solver 4.0.5 par (2017-07-26) (complete)4254685SAT (TO)1390 1920.23 242.033
OscaR - Parallel with EPS 2017-07-26 (complete)4257170SAT (TO)1391 1921.11 243.903
OscaR - Parallel with EPS 2017-08-22 (complete)4285877SAT (TO)1391 1990.86 252.133
choco-solver 5a (2017-07-26) (complete)4255182SAT (TO)1405 255.63 240.00999
choco-solver 5a (2017-08-18) (complete)4284407SAT (TO)1405 256.047 240.026
OscaR - Conflict Ordering 2017-07-26 (complete)4256176SAT (TO)1407 243.93401 240.024
AbsCon-basic 2017-06-11 (complete)4257667SAT (TO)1433 243.11099 240.011
cosoco-sat 1.12 (complete)4266786SAT (TO)1485 251.96001 252.00999
cosoco 1.12 (complete)4268717SAT (TO)1496 251.95 252.00999
cosoco 1.1 (complete)4258661SAT (TO)1496 252.04201 252.00999
sat4j-CSP 2017-07-05 (complete)4258164? (TO) 249.47 240.23199

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