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-h2105.xml

Jump to solvers results

General information on the benchmark

NameCrossword/Crossword-m1c-ogd-herald/
Crossword-m1c-ogd-h2105.xml
MD5SUM35703c5da18cfa31646d51f4d8651558
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.518539
Satisfiable
(Un)Satisfiability was proved
Number of variables441
Number of constraints144
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 arity7
Distribution of constraint arities[{"arity":3,"count":28},{"arity":4,"count":20},{"arity":5,"count":28},{"arity":6,"count":44},{"arity":7,"count":24}]
Number of extensional constraints144
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":144}]
Optimization problemNO
Type of objective

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
BTD 19.07.01 (complete)4386923SAT 0.518539 0.519381
cosoco 2.0 (complete)4396777SAT 0.709082 0.709352
cosoco 2.0 (complete)4408037SAT 0.733555 0.739016
cosoco 2 (complete)4389497SAT 0.739115 0.739542
choco-solver 2019-09-24 (complete)4405857SAT 3.29699 1.32544
cosoco 2.O parallel (complete)4398057SAT 3.57796 0.957719
cosoco 2.0 parallel (complete)4409317SAT 3.59474 0.958671
AbsCon 2019-07-23 (complete)4390597SAT 5.18244 2.76875
choco-solver 2019-06-14 (complete)4392997SAT 6.80391 2.88054
choco-solver 2019-09-16 (complete)4398957SAT 6.9518 3.12118
choco-solver 2019-09-20 (complete)4403457SAT 7.14945 3.06591
Concrete 3.12.3 (complete)4402557SAT 11.9097 5.18681
Concrete 3.12.2 (complete)4400757SAT 12.0357 5.97908
Concrete 3.10 (complete)4387489SAT 12.408 5.3238
choco-solver 2019-09-24 parallel (complete)4406757SAT 15.2146 4.83063
choco-solver 2019-09-16 parallel (complete)4399557SAT 15.3738 5.18973
choco-solver 2019-09-20 parallel (complete)4404357SAT 15.8919 4.74696
choco-solver 2019-06-14 parallel (complete)4393597SAT 16.3936 5.12727
Concrete 3.12.2 (complete)4395877SAT 17.9664 9.73537
PicatSAT 2019-09-12 (complete)4394977SAT 82.2581 82.2683
Fun-sCOP order+GlueMiniSat (2019-06-15) (complete)4388346SAT 917.053 717.611
Fun-sCOP hybrid+ManyGlucose (2019-09-22) (complete)4405557SAT 1021.15 522.732
Fun-sCOP hybrid+ManyGlucose (2019-06-15) (complete)4392697SAT 1038.88 533.521
Fun-sCOP order+ManyGlucose (2019-09-22) (complete)4405257SAT 1040.99 539.251
Fun-sCOP order+ManyGlucose (2019-06-15) (complete)4392397SAT 1055.09 537.317
Fun-sCOP hybrid+CryptoMiniSat (2019-06-15) (complete)4388347? (TO) 2520.19 2312.88

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