XCSP 2.1 Benchmark Database

Instance: normalized-f2000_ext
Number of variables: 4000
Number of constraints: 10500
Satisfiable: None
Timestamp: 2018-04-21 10:43:27
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 4000
Number of constraints: 10500

General features

Number of coarse blocks: 59,294
Number of unique subscopes: 4,033

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

Arity 2 3 2.81 3.00 29,500 MAX VALUE 10,724.50 0.39 0.14 0.49

Coarse blocks size 1 4 3.22 3.00 191,017 MAX VALUE 66,292.30 0.85 0.26 1.10

Relational linkage 0.50 1.00 0.63 0.75 5,126.75 0.00 -3,944.75 0.13 0.21 0.76

Tightness 0.12 0.25 0.15 0.12 1,562.50 0.00 -20,447.80 0.05 0.33 0.49

Tuples 3 7 6.24 7.00 65,500 MAX VALUE 18,737.50 1.57 0.25 0.49

Domain size 2 2 2.00 2.00 8,000 MAX VALUE 2,772.59 0.00 0.00 0.00

Constraints per subscope 2 20 7.33 7.00 29,571 MAX VALUE 7,750.96 2.60 0.35 2.35

Partitions per subscope 2 4 2.02 2.00 8,142 MAX VALUE 2,821.80 0.19 0.10 0.05

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	3	2.81	3.00	29,500	MAX VALUE	10,724.50	0.39	0.14	0.49
Coarse blocks size	1	4	3.22	3.00	191,017	MAX VALUE	66,292.30	0.85	0.26	1.10
Relational linkage	0.50	1.00	0.63	0.75	5,126.75	0.00	-3,944.75	0.13	0.21	0.76
Tightness	0.12	0.25	0.15	0.12	1,562.50	0.00	-20,447.80	0.05	0.33	0.49
Tuples	3	7	6.24	7.00	65,500	MAX VALUE	18,737.50	1.57	0.25	0.49
Domain size	2	2	2.00	2.00	8,000	MAX VALUE	2,772.59	0.00	0.00	0.00
Constraints per subscope	2	20	7.33	7.00	29,571	MAX VALUE	7,750.96	2.60	0.35	2.35
Partitions per subscope	2	4	2.02	2.00	8,142	MAX VALUE	2,821.80	0.19	0.10	0.05

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.34%
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.03 0.33 None 0.08 None None None None None 3.00

Degree 1 39 13.73 13.00 54,924 MAX VALUE 10,160.80 5.12 0.37 2.43

Eccentricity 4 6 5.09 5.00 20,346 MAX VALUE 6,500.63 0.29 0.06 0.31

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.03	0.33	None	0.08	None	None	None	None	None	3.00
Degree	1	39	13.73	13.00	54,924	MAX VALUE	10,160.80	5.12	0.37	2.43
Eccentricity	4	6	5.09	5.00	20,346	MAX VALUE	6,500.63	0.29	0.06	0.31

Triangulated primal graph

Density: 31.30%

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

Clustering coefficient 0.60 1.00 None 0.97 None None None None None 6.89

Degree 1 2,281 1,251.71 2,216.50 5,006,820 MAX VALUE 22,096.90 1,090.76 0.87 4.63

Eccentricity 3 5 3.44 3.00 13,745 MAX VALUE 4,896.26 0.50 0.14 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.60	1.00	None	0.97	None	None	None	None	None	6.89
Degree	1	2,281	1,251.71	2,216.50	5,006,820	MAX VALUE	22,096.90	1,090.76	0.87	4.63
Eccentricity	3	5	3.44	3.00	13,745	MAX VALUE	4,896.26	0.50	0.14	0.69

Dual graph

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

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

Clustering coefficient 0.24 1.00 0.36 0.33 3,810.39 0.00 -10,843.80 0.08 0.22 5.50

Degree 2 41 20.41 21.00 214,306 MAX VALUE 31,187.00 5.66 0.28 3.14

Eccentricity 5 6 5.01 5.00 52,563 MAX VALUE 16,910.60 0.08 0.02 0.04

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.24	1.00	0.36	0.33	3,810.39	0.00	-10,843.80	0.08	0.22	5.50
Degree	2	41	20.41	21.00	214,306	MAX VALUE	31,187.00	5.66	0.28	3.14
Eccentricity	5	6	5.01	5.00	52,563	MAX VALUE	16,910.60	0.08	0.02	0.04
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Minimal dual graph

Density: 0.05%
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.33 0.00 0.00 1.88 0.00 None 0.01 28.77 0.02

Degree 2 8 4.85 5.00 50,924 MAX VALUE 16,368.30 0.97 0.20 1.37

Eccentricity 8 10 8.78 9.00 92,234 MAX VALUE 22,803.70 0.42 0.05 0.54

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.33	0.00	0.00	1.88	0.00	None	0.01	28.77	0.02
Degree	2	8	4.85	5.00	50,924	MAX VALUE	16,368.30	0.97	0.20	1.37
Eccentricity	8	10	8.78	9.00	92,234	MAX VALUE	22,803.70	0.42	0.05	0.54
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: 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

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.95

Degree 1 20 4.07 3.00 59,000 MAX VALUE 18,449.10 2.47 0.61 1.52

Eccentricity 9 13 10.68 11.00 154,930 MAX VALUE 34,330.10 0.53 0.05 0.77

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

XCSP 2.1 Benchmarks