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

Result page for benchmark
LowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-040.xml

Jump to solvers results

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-040.xml
MD5SUM4e9e0842de773da2d9de44121d9bf85e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark168
Best CPU time to get the best result obtained on this benchmark1987.84
Satisfiable
(Un)Satisfiability was proved
Number of variables1639
Number of constraints858
Number of domains79
Minimum domain size2
Maximum domain size79
Distribution of domain sizes[{"size":2,"count":821},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}]
Minimum variable degree0
Maximum variable degree39
Distribution of variable degrees[{"degree":0,"count":741},{"degree":2,"count":858},{"degree":39,"count":40}]
Minimum constraint arity2
Maximum constraint arity40
Distribution of constraint arities[{"arity":2,"count":40},{"arity":3,"count":781},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1}]
Number of extensional constraints0
Number of intensional constraints819
Distribution of constraint types[{"type":"intension","count":819},{"type":"sum","count":39}]
Optimization problemYES
Type of objectivemin SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2017-08-22 (complete)4285825SAT (TO)168 1987.84 252.123
OscaR - Parallel with EPS 2017-07-26 (complete)4257068SAT (TO)172 1920.74 243.89999
OscaR - ALNS 2017-07-26 (complete)4255577SAT (TO)184 251.246 240.033
Mistral-2.0 2017-07-28 (complete)4259056SAT (TO)188 251.84599 252.00999
choco-solver 4.0.5 par (2017-08-09) (complete)4271605SAT (TO)188 2003.01 252.117
OscaR - Hybrid 2017-07-26 (complete)4256571SAT (TO)196 251.342 240.036
choco-solver 4.0.5 par (2017-08-18) (complete)4281415SAT (TO)200 2003.99 252.119
sat4j-CSP 2017-07-05 (complete)4258062SAT (TO)204 244.269 240.228
choco-solver 4.0.5 par (2017-07-26) (complete)4254583SAT (TO)208 1920.62 241.836
Concrete 3.4 (complete)4259553SAT (TO)220 252.09399 226.33501
choco-solver 4.0.5 seq (2017-08-18) (complete)4282885SAT (TO)236 245.14301 240.022
choco-solver 4.0.5 seq (2017-07-26) (complete)4254086SAT (TO)236 245.48 240.00999
choco-solver 4.0.5 seq (2017-08-09) (complete)4270135SAT (TO)236 245.765 240.02299
choco-solver 5a (2017-08-18) (complete)4284355SAT (TO)236 253.235 240.02499
choco-solver 5a (2017-07-26) (complete)4255080SAT (TO)236 253.45599 240.017
AbsCon-basic 2017-06-11 (complete)4257565SAT (TO)280 243.368 240.013
OscaR - Conflict Ordering 2017-07-26 (complete)4256074SAT (TO)324 244.34 240.033
cosoco-sat 1.12 (complete)4266734SAT (TO)356 240.032 240.011
cosoco 1.12 (complete)4268665SAT (TO)500 251.90199 252.00999
cosoco 1.1 (complete)4258559SAT (TO)500 251.95799 252.00999

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: 168
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] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] y[0][0] y[0][1] y[0][2]
y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18]
y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33]
y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10]
y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25]
y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[2][0] y[2][1] y[2][2] y[2][3]
y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19]
y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34]
y[2][35] y[2][36] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13]
y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28]
y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8]
y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23]
y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4]
y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20]
y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[6][0] y[6][1] y[6][2]
y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18]
y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[7][0]
y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16]
y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31]
y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15]
y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30]
y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15]
y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[10][0]
y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15]
y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[11][0]
y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15]
y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[12][0] y[12][1]
y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15]
y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[13][0] y[13][1] y[13][2]
y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16]
y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4]
y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18]
y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8]
y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22]
y[15][23] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13]
y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4]
y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18]
y[17][19] y[17][20] y[17][21] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11]
y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4]
y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18]
y[19][19] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13]
y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9]
y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5]
y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[23][0] y[23][1] y[23][2]
y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[24][0] y[24][1]
y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[25][0] y[25][1]
y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[26][0] y[26][1] y[26][2]
y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4]
y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7]
y[28][8] y[28][9] y[28][10] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[30][0] y[30][1]
y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7]
y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[34][0] y[34][1]
y[34][2] y[34][3] y[34][4] y[35][0] y[35][1] y[35][2] y[35][3] y[36][0] y[36][1] y[36][2] y[37][0] y[37][1] y[38][0] c[0] c[1] c[2] c[3]
c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27]
c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13]
s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36]
s[37] s[38] </list> <values> 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 1 -1
1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1
1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1
1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1
-1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 1
-1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1
-1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1
1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1
1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1
-1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1
-1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1
1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1
1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1
-1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1
1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 3 2 3 2 1 0 1 2 -1 -2 -1 4 -1 0 1 4 1 0 3 -2 1 0
-1 0 -1 -4 -3 0 1 -2 1 2 3 4 3 2 1 2 1 9 4 9 4 1 0 1 4 1 4 1 16 1 0 1 16 1 0 9 4 1 0 1 0 1 16 9 0 1 4 1 4 9 16 9 4 1 4 1 </values>
</instantiation>