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

Result page for benchmark
ChessboardColoration/ChessboardColoration-int-s1/
ChessboardColoration-int-25-25.xml

Jump to solvers results

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s1/
ChessboardColoration-int-25-25.xml
MD5SUM34b1e445d9836684eb66aaeb2aca3537
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark240.202
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints90001
Number of domains1
Minimum domain size625
Maximum domain size625
Distribution of domain sizes[{"size":625,"count":625}]
Minimum variable degree578
Maximum variable degree578
Distribution of variable degrees[{"degree":578,"count":625}]
Minimum constraint arity4
Maximum constraint arity625
Distribution of constraint arities[{"arity":4,"count":90000},{"arity":625,"count":1}]
Number of extensional constraints0
Number of intensional constraints90000
Distribution of constraint types[{"type":"intension","count":90000},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
cosoco 1.12 (complete)4268941SAT (TO)8 240.202 240.35001
cosoco 1.1 (complete)4258438SAT (TO)8 240.269 240.34801
cosoco-sat 1.12 (complete)4267010SAT (TO)9 240.554 240.567
choco-solver 4.0.5 par (2017-07-26) (complete)4254462SAT (TO)22 390.668 252.06
choco-solver 4.0.5 par (2017-08-18) (complete)4281691SAT (TO)22 396.258 252.05901
choco-solver 4.0.5 par (2017-08-09) (complete)4271881SAT (TO)23 420.603 252.07001
OscaR - Conflict Ordering 2017-07-26 (complete)4255953SAT (TO)614 253.07001 179.821
OscaR - ALNS 2017-07-26 (complete)4255456SAT (TO)624 252.79601 177.017
OscaR - Hybrid 2017-07-26 (complete)4256450SAT (TO)624 252.97099 175.071
OscaR - Parallel with EPS 2017-07-26 (complete)4256947SAT (TO)624 1701.47 252.522
OscaR - Parallel with EPS 2017-08-22 (complete)4286101SAT (TO)624 1745.26 253.995
Mistral-2.0 2017-07-28 (complete)4258935? (TO) 251.881 252.03101
choco-solver 4.0.5 seq (2017-07-26) (complete)4253965? (TO) 252.75999 240.00999
choco-solver 4.0.5 seq (2017-08-18) (complete)4283161? (TO) 253.32401 240.024
choco-solver 4.0.5 seq (2017-08-09) (complete)4270411? (TO) 253.778 240.034
Concrete 3.4 (complete)4259432? (TO) 255.573 185.836
choco-solver 5a (2017-08-18) (complete)4284631? (TO) 256.08899 240.035
choco-solver 5a (2017-07-26) (complete)4254959? (TO) 256.10001 240.00999
sat4j-CSP 2017-07-05 (complete)4257941? (TO) 259.957 93.079498
AbsCon-basic 2017-06-11 (complete)4257444? (TO) 260.37799 76.5625

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