XCSP 2.1 Benchmark Database

Instance: crossword-m1c-words-vg6-9_ext
Number of variables: 54
Number of constraints: 15
Satisfiable: None
Timestamp: 2017-10-27 10:59:06
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 54
Number of constraints: 15

General features

Coarse blocks: 2,739
Value tables: 54

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

Arity 6 9 7.20 6.00 108 5.36e+12 29.31 1.47 0.20 0.67

Coarse blocks size 1 2,107 241.49 150.00 661,446 MAX VALUE 12,911.40 274.98 1.14 5.45

Relational linkage 0.00 0.00 0.00 0.00 0.00 0.00 -28,633.70 0.00 1.10 5.12

Tightness 1.00 1.00 1.00 1.00 15.00 1.00 -0.00 0.00 0.00 0.67

Tuples 6,079 6,170 6,133.60 6,170.00 92,004 MAX VALUE 130.82 44.58 0.01 0.67

Values 26 26 26.00 26.00 1,404 MAX VALUE 175.94 0.00 0.00 0.00

Value table constraints 2 2 2.00 2.00 108 1.80e+16 37.43 0.00 0.00 0.00

Value table partitions 24 26 25.87 26.00 1,397 MAX VALUE 175.66 0.43 0.02 0.37

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	6	9	7.20	6.00	108	5.36e+12	29.31	1.47	0.20	0.67
Coarse blocks size	1	2,107	241.49	150.00	661,446	MAX VALUE	12,911.40	274.98	1.14	5.45
Relational linkage	0.00	0.00	0.00	0.00	0.00	0.00	-28,633.70	0.00	1.10	5.12
Tightness	1.00	1.00	1.00	1.00	15.00	1.00	-0.00	0.00	0.00	0.67
Tuples	6,079	6,170	6,133.60	6,170.00	92,004	MAX VALUE	130.82	44.58	0.01	0.67
Values	26	26	26.00	26.00	1,404	MAX VALUE	175.94	0.00	0.00	0.00
Value table constraints	2	2	2.00	2.00	108	1.80e+16	37.43	0.00	0.00	0.00
Value table partitions	24	26	25.87	26.00	1,397	MAX VALUE	175.66	0.43	0.02	0.37

Tree decomposition

Number of clusters: 13
Number of leaves: 6
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.15 1.00 15 0 None 0.86 0.75 1.06

Cluster variables 14 34 19.69 18.00 256 3.19e+16 38.00 7.11 0.36 1.48

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

Separator variables 0 27 15.54 13.00 202 0 None 6.39 0.41 1.48

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	2	1.15	1.00	15	0	None	0.86	0.75	1.06
Cluster variables	14	34	19.69	18.00	256	3.19e+16	38.00	7.11	0.36	1.48
Separator constraints	0	0	0.00	0.00	0	0	None	0.00	None	0.00
Separator variables	0	27	15.54	13.00	202	0	None	6.39	0.41	1.48

Dual tree decomposition

Number of clusters: 9
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 6 6 6.00 6.00 54 10,077,700 16.13 0.00 0.00 0.00

Cluster variables 7 7 7.00 7.00 63 40,353,600 17.51 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 6 5.33 6.00 48 0 None 1.89 0.35 0.35

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	6	6	6.00	6.00	54	10,077,700	16.13	0.00	0.00	0.00
Cluster variables	7	7	7.00	7.00	63	40,353,600	17.51	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	6	5.33	6.00	48	0	None	1.89	0.35	0.35

Primal graph

Density: 24.53%
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 26.31 0.00 -38.83 0.00 0.00 0.00

Degree 13 13 13.00 13.00 702 MAX VALUE 138.51 0.00 0.00 0.00

Eccentricity 2 2 2.00 2.00 108 1.80e+16 37.43 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	26.31	0.00	-38.83
Degree	13	13	13.00	13.00	702	MAX VALUE	138.51
Eccentricity	2	2	2.00	2.00	108	1.80e+16	37.43

Triangulated primal graph

Density: 68.97%

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

Clustering coefficient 0.79 1.00 0.87 0.86 46.96 0.00 -7.68 0.06 0.07 2.98

Degree 13 47 36.56 41.00 1,974 MAX VALUE 190.54 11.23 0.31 2.63

Eccentricity 2 2 2.00 2.00 108 1.80e+16 37.43 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.79	1.00	0.87	0.86	46.96	0.00	-7.68	0.06	0.07	2.98
Degree	13	47	36.56	41.00	1,974	MAX VALUE	190.54	11.23	0.31	2.63
Eccentricity	2	2	2.00	2.00	108	1.80e+16	37.43	0.00	0.00	0.00

Dual graph

Density: 51.43%
MCB compute time (ms): 1
MCB cycles: 40
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 6 9 7.20 6.00 108 5.36e+12 29.31 1.47 0.20 0.67

Eccentricity 2 2 2.00 2.00 30 32,768 10.40 0.00 0.00 0.00

MCB cycle size 4 4 4.00 4.00 160 1.21e+24 55.45 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	6	9	7.20	6.00	108	5.36e+12	29.31	1.47	0.20	0.67
Eccentricity	2	2	2.00	2.00	30	32,768	10.40	0.00	0.00	0.00
MCB cycle size	4	4	4.00	4.00	160	1.21e+24	55.45	0.00	0.00	0.00

Minimal dual graph

Density: 51.43%
MCB compute time (ms): 1
MCB cycles: 40

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 6 9 7.20 6.00 108 5.36e+12 29.31 1.47 0.20 0.67

Eccentricity 2 2 2.00 2.00 30 32,768 10.40 0.00 0.00 0.00

MCB cycle size 4 4 4.00 4.00 160 1.21e+24 55.45 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	6	9	7.20	6.00	108	5.36e+12	29.31	1.47	0.20	0.67
Eccentricity	2	2	2.00	2.00	30	32,768	10.40	0.00	0.00	0.00
MCB cycle size	4	4	4.00	4.00	160	1.21e+24	55.45	0.00	0.00	0.00

Triangulated dual graph

Density: 65.71%
Triangles: 155

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

Clustering coefficient 0.60 1.00 0.84 1.00 12.63 0.05 -3.02 0.19 0.23 0.67

Degree 6 14 9.20 6.00 138 7.59e+13 31.96 3.92 0.43 0.67

Eccentricity 1 2 1.60 2.00 24 512 6.24 0.49 0.31 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.60	1.00	0.84	1.00	12.63	0.05	-3.02	0.19	0.23	0.67
Degree	6	14	9.20	6.00	138	7.59e+13	31.96	3.92	0.43	0.67
Eccentricity	1	2	1.60	2.00	24	512	6.24	0.49	0.31	0.67

Triangulated minimal dual graph

Density: 65.71%

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

Clustering coefficient 0.60 1.00 0.84 1.00 12.63 0.05 -3.02 0.19 0.23 0.67

Degree 6 14 9.20 6.00 138 7.59e+13 31.96 3.92 0.43 0.67

Eccentricity 1 2 1.60 2.00 24 512 6.24 0.49 0.31 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.60	1.00	0.84	1.00	12.63	0.05	-3.02	0.19	0.23	0.67
Degree	6	14	9.20	6.00	138	7.59e+13	31.96	3.92	0.43	0.67
Eccentricity	1	2	1.60	2.00	24	512	6.24	0.49	0.31	0.67

Incidence graph

Density: 4.60%
MCB compute time (ms): 8
MCB cycles: 40
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 9 3.13 2.00 216 9.65e+28 66.74 2.25 0.72 0.67

Eccentricity 4 4 4.00 4.00 276 MAX VALUE 95.65 0.00 0.00 0.00

MCB cycle size 8 8 8.00 8.00 320 1.33e+36 83.18 0.00 0.00 0.00

XCSP 2.1 Benchmarks