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

Result page for benchmark
Crossword/Crossword-m1c-ogd-herald/
Crossword-m1c-ogd-h2107.xml

Jump to solvers results

General information on the benchmark

NameCrossword/Crossword-m1c-ogd-herald/
Crossword-m1c-ogd-h2107.xml
MD5SUM495794a1d12b922029631b8ffbf13f9b
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 benchmark0.643414
Satisfiable
(Un)Satisfiability was proved
Number of variables441
Number of constraints152
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":368}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":73},{"degree":2,"count":368}]
Minimum constraint arity3
Maximum constraint arity10
Distribution of constraint arities[{"arity":3,"count":36},{"arity":4,"count":36},{"arity":5,"count":44},{"arity":6,"count":12},{"arity":7,"count":16},{"arity":10,"count":8}]
Number of extensional constraints152
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":152}]
Optimization problemNO
Type of objective

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
BTD 19.07.01 (complete)4386924SAT 0.643414 0.643909
cosoco 2 (complete)4389528SAT 1.3869 1.38781
cosoco 2.0 (complete)4396808SAT 1.38932 1.3895
cosoco 2.0 (complete)4408068SAT 1.39252 1.39307
choco-solver 2019-09-24 (complete)4405888SAT 2.92644 1.32007
cosoco 2.O parallel (complete)4398088SAT 4.67841 1.75771
cosoco 2.0 parallel (complete)4409348SAT 4.69133 1.7955
AbsCon 2019-07-23 (complete)4390628SAT 5.39783 2.91872
choco-solver 2019-09-16 (complete)4398988SAT 8.01852 3.79176
choco-solver 2019-06-14 (complete)4393028SAT 8.21778 3.91657
choco-solver 2019-09-20 (complete)4403488SAT 8.54585 3.8828
Concrete 3.12.3 (complete)4402588SAT 13.0156 5.69832
Concrete 3.10 (complete)4387490SAT 13.0435 5.71045
Concrete 3.12.2 (complete)4400788SAT 13.5091 5.95759
Concrete 3.12.2 (complete)4395908SAT 17.8294 9.53161
choco-solver 2019-09-16 parallel (complete)4399588SAT 21.7557 7.37994
choco-solver 2019-06-14 parallel (complete)4393628SAT 22.006 7.4443
choco-solver 2019-09-24 parallel (complete)4406788SAT 22.7063 7.05029
choco-solver 2019-09-20 parallel (complete)4404388SAT 24.8477 7.28071
PicatSAT 2019-09-12 (complete)4395008SAT 323.651 323.677
Fun-sCOP order+ManyGlucose (2019-09-22) (complete)4405288SAT 929.945 578.14
Fun-sCOP hybrid+ManyGlucose (2019-06-15) (complete)4392728SAT 950.754 590.944
Fun-sCOP hybrid+ManyGlucose (2019-09-22) (complete)4405588SAT 956.709 590.659
Fun-sCOP order+GlueMiniSat (2019-06-15) (complete)4388349SAT 998.986 805.188
Fun-sCOP order+ManyGlucose (2019-06-15) (complete)4392428SAT 1023.7 653.896
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15) (complete)4388350SAT 1509.6 1317.11

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> 2 8 17 4 0 0 2 19 0 18 0 0 1 1 4 18 0 0 15 8 2 4 19 0
11 0 1 17 20 11 0 0 1 0 8 18 0 0 4 18 19 4 17 14 19 8 18 18 4 17 8 4 0 14 4 18 19 17 0 3 8 14 11 5 20 18 0 13 0 0 1 18 0 0 11 24 19 4 0 21 4
19 20 4 0 0 3 8 14 17 0 4 12 0 2 8 4 17 0 19 4 18 19 0 0 4 19 4 0 1 4 19 7 4 13 24 0 17 4 1 4 2 0 0 1 2 17 0 2 0 0 2 0 18 0 0 11 3 0 17 4 25
0 0 2 17 0 3 17 0 6 4 14 13 0 2 11 4 17 2 0 15 8 2 1 14 8 18 17 4 21 0 11 20 0 0 8 4 0 0 3 0 0 6 14 20 18 18 4 4 17 4 0 1 17 0 21 0 18 0 0 8
3 0 0 20 18 4 4 18 0 0 0 6 0 20 11 0 0 0 0 0 0 0 13 0 11 4 0 0 0 0 11 15 4 18 0 3 17 0 0 0 11 0 21 0 1 14 0 4 0 14 2 0 17 13 0 2 0 4 3 4 0 4
12 18 0 0 12 0 13 19 18 4 15 4 17 13 0 24 0 0 3 0 6 4 0 2 8 1 8 18 19 4 17 0 2 4 0 1 0 2 0 4 2 20 0 0 0 18 0 11 14 8 17 0 19 7 0 1 4 10 0 0
0 8 12 15 20 11 18 0 0 20 18 0 0 0 0 1 0 19 0 22 4 7 13 4 11 19 0 0 1 0 19 0 0 2 17 20 4 18 0 0 2 19 0 8 0 0 8 4 0 0 1 0 2 0 17 0 5 17 0 8 2
7 8 17 0 4 13 18 14 20 19 0 13 0 8 8 13 5 14 0 5 17 4 19 0 0 15 4 19 20 13 0 2 0 1 18 13 8 0 19 0 18 4 17 4 18 0 14 17 4 4 18 0 0 8 18 4
</values> </instantiation>