XCSP 2.1 Benchmark Database

Instance: miles1500-72_ext
Number of variables: None
Number of constraints: None
Satisfiable: None
Timestamp: 2017-10-27 10:54:43
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 128
Number of constraints: 5198

General features

Number of coarse blocks: 748,512
Number of unique subscopes: 128

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

Arity 2 2 2.00 2.00 10,396 MAX VALUE 3,602.98 0.00 0.00 0.00

Coarse blocks size 71 71 71.00 71.00 53,144,400 MAX VALUE 3,190,670.00 0.00 0.00 0.00

Relational linkage 0.99 0.99 0.99 0.99 9,088.00 0.00 -128.90 0.00 0.00 0.00

Tightness 0.01 0.01 0.01 0.01 72.19 0.00 -22,230.10 0.00 0.00 0.00

Tuples 5,112 5,112 5,112.00 5,112.00 26,572,200 MAX VALUE 44,387.50 0.00 0.00 0.00

Domain size 72 72 72.00 72.00 9,216 MAX VALUE 547.41 0.00 0.00 0.00

Constraints per subscope 28 106 81.22 88.50 10,396 MAX VALUE 555.23 23.34 0.29 3.67

Partitions per subscope 72 72 72.00 72.00 9,216 MAX VALUE 547.41 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	2	2.00	2.00	10,396	MAX VALUE	3,602.98	0.00	0.00	0.00
Coarse blocks size	71	71	71.00	71.00	53,144,400	MAX VALUE	3,190,670.00	0.00	0.00	0.00
Relational linkage	0.99	0.99	0.99	0.99	9,088.00	0.00	-128.90	0.00	0.00	0.00
Tightness	0.01	0.01	0.01	0.01	72.19	0.00	-22,230.10	0.00	0.00	0.00
Tuples	5,112	5,112	5,112.00	5,112.00	26,572,200	MAX VALUE	44,387.50	0.00	0.00	0.00
Domain size	72	72	72.00	72.00	9,216	MAX VALUE	547.41	0.00	0.00	0.00
Constraints per subscope	28	106	81.22	88.50	10,396	MAX VALUE	555.23	23.34	0.29	3.67
Partitions per subscope	72	72	72.00	72.00	9,216	MAX VALUE	547.41	0.00	0.00	0.00

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

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

Clustering coefficient 0.65 0.99 0.87 0.87 111.08 0.00 -18.83 0.09 0.10 4.50

Degree 28 106 81.22 88.50 10,396 MAX VALUE 555.23 23.34 0.29 3.67

Eccentricity 2 3 2.44 2.00 312 MAX VALUE 111.43 0.50 0.20 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.65	0.99	0.87	0.87	111.08	0.00	-18.83	0.09	0.10	4.50
Degree	28	106	81.22	88.50	10,396	MAX VALUE	555.23	23.34	0.29	3.67
Eccentricity	2	3	2.44	2.00	312	MAX VALUE	111.43	0.50	0.20	0.69

Triangulated primal graph

Density: 66.89%

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

Clustering coefficient 0.69 1.00 0.89 0.89 113.46 0.00 -16.10 0.09 0.10 4.05

Degree 32 114 84.95 92.00 10,874 MAX VALUE 561.74 23.08 0.27 3.75

Eccentricity 2 3 2.38 2.00 304 MAX VALUE 108.19 0.48 0.20 0.66

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.69	1.00	0.89	0.89	113.46	0.00	-16.10	0.09	0.10	4.05
Degree	32	114	84.95	92.00	10,874	MAX VALUE	561.74	23.08	0.27	3.75
Eccentricity	2	3	2.38	2.00	304	MAX VALUE	108.19	0.48	0.20	0.66

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.08%
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 0.43 0.00 None 0.00 57.20 0.01

Degree 2 7 3.95 4.00 20,536 MAX VALUE 7,039.84 0.80 0.20 1.14

Eccentricity 13 21 16.53 16.00 85,933 MAX VALUE 14,568.10 1.21 0.07 1.60

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	0.43	0.00	None	0.00	57.20	0.01
Degree	2	7	3.95	4.00	20,536	MAX VALUE	7,039.84	0.80	0.20	1.14
Eccentricity	13	21	16.53	16.00	85,933	MAX VALUE	14,568.10	1.21	0.07	1.60
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: 5.43%

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

Clustering coefficient 0.49 1.00 0.86 0.86 4,448.05 0.00 -876.50 0.13 0.16 4.86

Degree 2 1,387 282.15 10.00 1,466,600 MAX VALUE 17,315.40 466.54 1.65 4.40

Eccentricity 3 6 4.73 5.00 24,605 MAX VALUE 8,046.32 0.54 0.11 0.80

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	1.00	0.86	0.86	4,448.05	0.00	-876.50	0.13	0.16	4.86
Degree	2	1,387	282.15	10.00	1,466,600	MAX VALUE	17,315.40	466.54	1.65	4.40
Eccentricity	3	6	4.73	5.00	24,605	MAX VALUE	8,046.32	0.54	0.11	0.80

Incidence graph

Density: 0.07%
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 0.00 0.00 0.00 0.00 None 0.00 None 0.00

Degree 2 106 3.90 2.00 20,792 MAX VALUE 4,158.21 12.66 3.24 0.20

Eccentricity 4 8 6.24 6.00 33,219 MAX VALUE 9,711.48 0.77 0.12 0.71

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

XCSP 2.1 Benchmarks