XCSP 2.1 Benchmark Database

Instance: normalized-ii-8b4_ext
Number of variables: 2136
Number of constraints: 9222
Satisfiable: None
Timestamp: 2018-04-21 10:34:22
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 2136
Number of constraints: 9222

General features

Number of coarse blocks: 229,248
Number of unique subscopes: 3,720

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

Arity 2 8 2.18 2.00 20,100 MAX VALUE 6,803.08 0.95 0.44 0.18

Coarse blocks size 1 128 7.04 4.00 1,613,950 MAX VALUE 316,443.00 14.53 2.06 1.69

Relational linkage 0.50 1.00 0.98 1.00 83,065.50 0.00 -2,626.58 0.10 0.10 0.34

Tightness 0.00 0.25 0.24 0.25 2,226.19 0.00 -13,932.30 0.04 0.18 0.18

Tuples 3 255 8.64 3.00 79,722 MAX VALUE 11,371.00 34.47 3.99 0.18

Domain size 2 2 2.00 2.00 4,272 MAX VALUE 1,480.56 0.00 0.00 0.00

Constraints per subscope 2 114 6.62 2.00 24,624 MAX VALUE 4,969.13 13.20 1.99 1.31

Partitions per subscope 2 128 22.85 2.00 85,008 MAX VALUE 7,303.00 34.15 1.49 1.32

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	8	2.18	2.00	20,100	MAX VALUE	6,803.08	0.95	0.44	0.18
Coarse blocks size	1	128	7.04	4.00	1,613,950	MAX VALUE	316,443.00	14.53	2.06	1.69
Relational linkage	0.50	1.00	0.98	1.00	83,065.50	0.00	-2,626.58	0.10	0.10	0.34
Tightness	0.00	0.25	0.24	0.25	2,226.19	0.00	-13,932.30	0.04	0.18	0.18
Tuples	3	255	8.64	3.00	79,722	MAX VALUE	11,371.00	34.47	3.99	0.18
Domain size	2	2	2.00	2.00	4,272	MAX VALUE	1,480.56	0.00	0.00	0.00
Constraints per subscope	2	114	6.62	2.00	24,624	MAX VALUE	4,969.13	13.20	1.99	1.31
Partitions per subscope	2	128	22.85	2.00	85,008	MAX VALUE	7,303.00	34.15	1.49	1.32

Tree decomposition

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

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

Cluster constraints None None None None None None None None None None

Cluster variables None None None None None None None None None None

Separator constraints None None None None None None None None None None

Separator variables None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	None	None	None	None	None	None	None	None	None	None
Cluster variables	None	None	None	None	None	None	None	None	None	None
Separator constraints	None	None	None	None	None	None	None	None	None	None
Separator variables	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

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

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

Cluster constraints None None None None None None None None None None

Cluster variables None None None None None None None None None None

Separator constraints None None None None None None None None None None

Separator variables None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	None	None	None	None	None	None	None	None	None	None
Cluster variables	None	None	None	None	None	None	None	None	None	None
Separator constraints	None	None	None	None	None	None	None	None	None	None
Separator variables	None	None	None	None	None	None	None	None	None	None

Primal graph

Density: 0.52%
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.79 None 0.33 None None None None None 0.91

Degree 1 114 11.08 9.00 23,664 MAX VALUE 4,516.05 16.06 1.45 1.14

Eccentricity 5 8 5.86 6.00 12,522 MAX VALUE 3,763.50 0.69 0.12 0.92

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.79	None	0.33	None	None	None	None	None	0.91
Degree	1	114	11.08	9.00	23,664	MAX VALUE	4,516.05	16.06	1.45	1.14
Eccentricity	5	8	5.86	6.00	12,522	MAX VALUE	3,763.50	0.69	0.12	0.92

Triangulated primal graph

Density: 1.81%

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

Clustering coefficient 0.08 1.00 None 0.81 None None None None None 3.13

Degree 1 768 38.58 19.00 82,398 MAX VALUE 6,310.88 82.81 2.15 3.05

Eccentricity 3 5 4.02 4.00 8,587 MAX VALUE 2,938.26 0.70 0.17 1.03

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.08	1.00	None	0.81	None	None	None	None	None	3.13
Degree	1	768	38.58	19.00	82,398	MAX VALUE	6,310.88	82.81	2.15	3.05
Eccentricity	3	5	4.02	4.00	8,587	MAX VALUE	2,938.26	0.70	0.17	1.03

Dual graph

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

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

Clustering coefficient None None None None None None None None None None

Degree None None None None None None None None None None

Eccentricity None None None None None None None None None None

MCB cycle size None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	None	None	None	None	None	None	None	None	None	None
Degree	None	None	None	None	None	None	None	None	None	None
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Minimal dual graph

Density: 0.04%
MCB compute time (ms): None
MCB cycles: None

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

Clustering coefficient 0.00 0.10 0.00 0.00 1.80 0.00 None 0.00 22.61 0.01

Degree 2 6 3.70 4.00 34,140 MAX VALUE 11,952.10 0.60 0.16 0.82

Eccentricity 21 37 29.61 29.00 273,064 MAX VALUE 31,156.00 4.08 0.14 2.73

MCB cycle size None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.10	0.00	0.00	1.80	0.00	None	0.00	22.61	0.01
Degree	2	6	3.70	4.00	34,140	MAX VALUE	11,952.10	0.60	0.16	0.82
Eccentricity	21	37	29.61	29.00	273,064	MAX VALUE	31,156.00	4.08	0.14	2.73
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated dual graph

Density: None%
Triangles: None

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

Clustering coefficient None None None None None None None None None None

Degree None None None None None None None None None None

Eccentricity None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	None	None	None	None	None	None	None	None	None	None
Degree	None	None	None	None	None	None	None	None	None	None
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 0.87%

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

Clustering coefficient 0.24 1.00 0.80 0.75 7,393.90 0.00 -2,262.39 0.17 0.21 4.64

Degree 2 1,176 80.18 8.00 739,416 MAX VALUE 25,699.70 168.51 2.10 4.08

Eccentricity 4 8 5.86 6.00 54,077 MAX VALUE 16,243.70 0.70 0.12 1.06

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.24	1.00	0.80	0.75	7,393.90	0.00	-2,262.39	0.17	0.21	4.64
Degree	2	1,176	80.18	8.00	739,416	MAX VALUE	25,699.70	168.51	2.10	4.08
Eccentricity	4	8	5.86	6.00	54,077	MAX VALUE	16,243.70	0.70	0.12	1.06

Incidence graph

Density: 0.03%
MCB compute time (ms): None
MCB cycles: None
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 None 0.00 None None None None None 0.13

Degree 1 114 3.54 2.00 40,200 MAX VALUE 10,270.20 7.87 2.22 0.57

Eccentricity 10 16 12.79 13.00 145,216 MAX VALUE 28,904.00 1.05 0.08 1.26

MCB cycle size None None None None None None None None None None

XCSP 2.1 Benchmarks