2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers): solvers results per benchmarks

Result page for benchmark
Crossword/Crossword-m1c-lex-herald/
Crossword-m1c-lex-h2101.xml

Jump to solvers results

General information on the benchmark

NameCrossword/Crossword-m1c-lex-herald/
Crossword-m1c-lex-h2101.xml
MD5SUM1a4f6c91eaadca249c448c828860eb66
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark193.944
Satisfiable
(Un)Satisfiability was proved
Number of variables441
Number of constraints138
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":373}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":68},{"degree":2,"count":373}]
Minimum constraint arity3
Maximum constraint arity12
Distribution of constraint arities[{"arity":3,"count":10},{"arity":4,"count":40},{"arity":5,"count":50},{"arity":6,"count":10},{"arity":7,"count":8},{"arity":8,"count":8},{"arity":9,"count":2},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":2}]
Number of extensional constraints138
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":138}]
Optimization problemNO
Type of objective

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
BTD 19.07.01 (complete)4386920SAT 193.944 193.988
cosoco 2 (complete)4389648SAT 1935.96 1935.72
cosoco 2.0 (complete)4408188SAT 1944.55 1944.51
cosoco 2.0 (complete)4396928SAT 1944.71 1944.47
choco-solver 2019-09-24 parallel (complete)4406908SAT 4104.95 515.7
cosoco 2.O parallel (complete)4398208SAT 5528.81 693.084
choco-solver 2019-09-16 parallel (complete)4399708SAT 13166.1 1652.68
choco-solver 2019-09-20 parallel (complete)4404508SAT 14035.9 1761.94
choco-solver 2019-06-14 parallel (complete)4393748SAT 15043.6 1889.22
Concrete 3.12.2 (complete)4396028? (TO) 2520.07 2506.83
choco-solver 2019-09-24 (complete)4406008? (TO) 2520.1 2509.52
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15) (complete)4388338? (TO) 2520.1 2473.07
Concrete 3.12.3 (complete)4402708? (TO) 2520.12 2504.23
Concrete 3.12.2 (complete)4400908? (TO) 2520.12 2502.52
PicatSAT 2019-09-12 (complete)4395128? (TO) 2520.12 2520.02
Fun-sCOP order+GlueMiniSat (2019-06-15) (complete)4388337? (TO) 2520.14 2471.43
Concrete 3.10 (complete)4387486? (TO) 2520.14 2499.83
AbsCon 2019-07-23 (complete)4390748? (TO) 2520.15 2515.73
choco-solver 2019-06-14 (complete)4393148? (TO) 2520.3 633.587
choco-solver 2019-09-16 (complete)4399108? (TO) 2520.39 634.102
choco-solver 2019-09-20 (complete)4403608? (TO) 2520.54 633.595
Fun-sCOP order+ManyGlucose (2019-06-15) (complete)4392548? (TO) 16980 2520.26
Fun-sCOP hybrid+ManyGlucose (2019-09-22) (complete)4405708? (TO) 16987.4 2520.22
Fun-sCOP order+ManyGlucose (2019-09-22) (complete)4405408? (TO) 16991.5 2520.21
Fun-sCOP hybrid+ManyGlucose (2019-06-15) (complete)4392848? (TO) 17018 2520.23
cosoco 2.0 parallel (complete)4409468? (TO) 20107.1 2520.03

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