XCSP 2.1 Benchmark Database

Instance: crossword-m1c-words-vg5-8_ext
Number of variables: 40
Number of constraints: 13
Satisfiable: None
Timestamp: 2017-10-27 10:59:01
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 13

General features

Coarse blocks: 2,034
Value tables: 40

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Arity 5 8 6.15 5.00 80 1.28e+10 23.27 1.46 0.24 0.67

Coarse blocks size 1 1,851 221.20 137.50 449,920 MAX VALUE 9,368.75 260.11 1.18 5.28

Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -17,937.80 0.00 1.10 5.02

Tightness 1.00 1.00 1.00 1.00 13.00 1.00 -0.00 0.00 0.00 0.67

Tuples 4,174 7,074 5,289.38 4,174.00 68,762 MAX VALUE 111.01 1,410.86 0.27 0.67

Values 26 26 26.00 26.00 1,040 MAX VALUE 130.32 0.00 0.00 0.00

Value table constraints 2 2 2.00 2.00 80 1.10e+12 27.73 0.00 0.00 0.00

Value table partitions 24 26 25.85 26.00 1,034 MAX VALUE 130.09 0.48 0.02 0.39

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	5	8	6.15	5.00	80	1.28e+10	23.27	1.46	0.24	0.67
Coarse blocks size	1	1,851	221.20	137.50	449,920	MAX VALUE	9,368.75	260.11	1.18	5.28
Relational linkage	0.00	0.00	0.00	0.00	0.00	0.00	-17,937.80	0.00	1.10	5.02
Tightness	1.00	1.00	1.00	1.00	13.00	1.00	-0.00	0.00	0.00	0.67
Tuples	4,174	7,074	5,289.38	4,174.00	68,762	MAX VALUE	111.01	1,410.86	0.27	0.67
Values	26	26	26.00	26.00	1,040	MAX VALUE	130.32	0.00	0.00	0.00
Value table constraints	2	2	2.00	2.00	80	1.10e+12	27.73	0.00	0.00	0.00
Value table partitions	24	26	25.85	26.00	1,034	MAX VALUE	130.09	0.48	0.02	0.39

Tree decomposition

Number of clusters: 11
Number of leaves: 5
Tree depth: 3
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Cluster constraints 0 2 1.18 1.00 13 0 None 0.83 0.71 1.07

Cluster variables 12 26 15.91 15.00 175 1.05e+13 29.98 4.89 0.31 1.37

Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Separator variables 0 20 12.27 11.00 135 0 None 4.86 0.40 1.37

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	2	1.18	1.00	13	0	None	0.83	0.71	1.07
Cluster variables	12	26	15.91	15.00	175	1.05e+13	29.98	4.89	0.31	1.37
Separator constraints	0	0	0.00	0.00	0	0	None	0.00	None	0.00
Separator variables	0	20	12.27	11.00	135	0	None	4.86	0.40	1.37

Dual tree decomposition

Number of clusters: 8
Number of leaves: 2
Tree depth: 4
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Cluster constraints 5 5 5.00 5.00 40 390,625 12.88 0.00 0.00 0.00

Cluster variables 6 6 6.00 6.00 48 1,679,620 14.33 0.00 0.00 0.00

Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Separator variables 0 5 4.38 5.00 35 0 None 1.65 0.38 0.38

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	5	5	5.00	5.00	40	390,625	12.88	0.00	0.00	0.00
Cluster variables	6	6	6.00	6.00	48	1,679,620	14.33	0.00	0.00	0.00
Separator constraints	0	0	0.00	0.00	0	0	None	0.00	None	0.00
Separator variables	0	5	4.38	5.00	35	0	None	1.65	0.38	0.38

Primal graph

Density: 28.21%
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.49 0.49 0.49 0.49 19.64 0.00 -28.46 0.00 0.00 0.00

Degree 11 11 11.00 11.00 440 MAX VALUE 95.92 0.00 0.00 0.00

Eccentricity 2 2 2.00 2.00 80 1.10e+12 27.73 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)
Clustering coefficient	0.49	0.49	0.49	0.49	19.64	0.00	-28.46
Degree	11	11	11.00	11.00	440	MAX VALUE	95.92
Eccentricity	2	2	2.00	2.00	80	1.10e+12	27.73

Triangulated primal graph

Density: 69.87%

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.80 1.00 0.87 0.84 34.70 0.00 -5.80 0.07 0.08 2.30

Degree 11 34 27.25 31.00 1,090 MAX VALUE 129.70 8.07 0.30 2.16

Eccentricity 2 2 2.00 2.00 80 1.10e+12 27.73 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.80	1.00	0.87	0.84	34.70	0.00	-5.80	0.07	0.08	2.30
Degree	11	34	27.25	31.00	1,090	MAX VALUE	129.70	8.07	0.30	2.16
Eccentricity	2	2	2.00	2.00	80	1.10e+12	27.73	0.00	0.00	0.00

Dual graph

Density: 51.28%
MCB compute time (ms): 0
MCB cycles: 28
Triangles: 0
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.00 0.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00

Degree 5 8 6.15 5.00 80 1.28e+10 23.27 1.46 0.24 0.67

Eccentricity 2 2 2.00 2.00 26 8,192 9.01 0.00 0.00 0.00

MCB cycle size 4 4 4.00 4.00 112 7.21e+16 38.82 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.00	0.00	0.00	0.00	0.00	None	0.00	None	0.00
Degree	5	8	6.15	5.00	80	1.28e+10	23.27	1.46	0.24	0.67
Eccentricity	2	2	2.00	2.00	26	8,192	9.01	0.00	0.00	0.00
MCB cycle size	4	4	4.00	4.00	112	7.21e+16	38.82	0.00	0.00	0.00

Minimal dual graph

Density: 51.28%
MCB compute time (ms): 0
MCB cycles: 28

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.00 0.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00

Degree 5 8 6.15 5.00 80 1.28e+10 23.27 1.46 0.24 0.67

Eccentricity 2 2 2.00 2.00 26 8,192 9.01 0.00 0.00 0.00

MCB cycle size 4 4 4.00 4.00 112 7.21e+16 38.82 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.00	0.00	0.00	0.00	0.00	None	0.00	None	0.00
Degree	5	8	6.15	5.00	80	1.28e+10	23.27	1.46	0.24	0.67
Eccentricity	2	2	2.00	2.00	26	8,192	9.01	0.00	0.00	0.00
MCB cycle size	4	4	4.00	4.00	112	7.21e+16	38.82	0.00	0.00	0.00

Triangulated dual graph

Density: 64.10%
Triangles: 90

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.58 1.00 0.84 1.00 10.88 0.06 -2.76 0.21 0.25 0.67

Degree 5 12 7.69 5.00 100 9.72e+10 25.30 3.41 0.44 0.67

Eccentricity 1 2 1.62 2.00 21 256 5.55 0.49 0.30 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.58	1.00	0.84	1.00	10.88	0.06	-2.76	0.21	0.25	0.67
Degree	5	12	7.69	5.00	100	9.72e+10	25.30	3.41	0.44	0.67
Eccentricity	1	2	1.62	2.00	21	256	5.55	0.49	0.30	0.67

Triangulated minimal dual graph

Density: 64.10%

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.58 1.00 0.84 1.00 10.88 0.06 -2.76 0.21 0.25 0.67

Degree 5 12 7.69 5.00 100 9.72e+10 25.30 3.41 0.44 0.67

Eccentricity 1 2 1.62 2.00 21 256 5.55 0.49 0.30 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.58	1.00	0.84	1.00	10.88	0.06	-2.76	0.21	0.25	0.67
Degree	5	12	7.69	5.00	100	9.72e+10	25.30	3.41	0.44	0.67
Eccentricity	1	2	1.62	2.00	21	256	5.55	0.49	0.30	0.67

Incidence graph

Density: 5.81%
MCB compute time (ms): 4
MCB cycles: 28
Dot-file path: None
PDF-file path: None

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.00 0.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00

Degree 2 8 3.02 2.00 160 1.41e+22 51.00 1.93 0.64 0.72

Eccentricity 4 4 4.00 4.00 212 8.11e+31 73.47 0.00 0.00 0.00

MCB cycle size 8 8 8.00 8.00 224 1.93e+25 58.22 0.00 0.00 0.00

XCSP 2.1 Benchmarks