XCSP 2.1 Benchmark Database

Instance: rand-2-40-40-135-650-32_ext
Number of variables: 40
Number of constraints: 135
Satisfiable: None
Timestamp: 2017-10-27 10:57:42
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 135

General features

Number of coarse blocks: 10,800
Number of unique subscopes: 40

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

Arity 2 2 2.00 2.00 270 MAX VALUE 93.57 0.00 0.00 0.00

Coarse blocks size 3 27 14.08 14.00 152,102 MAX VALUE 28,297.40 3.05 0.22 2.53

Relational linkage 0.07 0.40 0.26 0.25 409.15 0.00 -2,212.43 0.05 0.19 2.06

Tightness 0.61 0.67 0.65 0.65 87.47 0.00 -58.62 0.01 0.02 4.01

Tuples 521 623 563.34 563.00 76,051 MAX VALUE 854.99 20.40 0.04 4.01

Domain size 40 40 40.00 40.00 1,600 MAX VALUE 147.56 0.00 0.00 0.00

Constraints per subscope 3 13 6.75 6.50 270 1.52e+32 74.10 2.23 0.33 2.06

Partitions per subscope 40 40 40.00 40.00 1,600 MAX VALUE 147.56 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	270	MAX VALUE	93.57	0.00	0.00	0.00
Coarse blocks size	3	27	14.08	14.00	152,102	MAX VALUE	28,297.40	3.05	0.22	2.53
Relational linkage	0.07	0.40	0.26	0.25	409.15	0.00	-2,212.43	0.05	0.19	2.06
Tightness	0.61	0.67	0.65	0.65	87.47	0.00	-58.62	0.01	0.02	4.01
Tuples	521	623	563.34	563.00	76,051	MAX VALUE	854.99	20.40	0.04	4.01
Domain size	40	40	40.00	40.00	1,600	MAX VALUE	147.56	0.00	0.00	0.00
Constraints per subscope	3	13	6.75	6.50	270	1.52e+32	74.10	2.23	0.33	2.06
Partitions per subscope	40	40	40.00	40.00	1,600	MAX VALUE	147.56	0.00	0.00	0.00

Tree decomposition

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

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

Cluster constraints 3 34 12.58 9.00 302 5.40e+23 54.65 9.22 0.73 2.58

Cluster variables 4 17 8.92 8.00 214 6.02e+21 50.15 4.03 0.45 2.34

Separator constraints 0 29 6.96 4.00 167 0 None 7.96 1.14 2.38

Separator variables 0 16 7.25 6.50 174 0 None 3.96 0.55 2.39

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	34	12.58	9.00	302	5.40e+23	54.65	9.22	0.73	2.58
Cluster variables	4	17	8.92	8.00	214	6.02e+21	50.15	4.03	0.45	2.34
Separator constraints	0	29	6.96	4.00	167	0	None	7.96	1.14	2.38
Separator variables	0	16	7.25	6.50	174	0	None	3.96	0.55	2.39

Dual tree decomposition

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

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

Cluster constraints 9 166 60.92 54.50 2,315 MAX VALUE 147.72 39.56 0.65 3.40

Cluster variables 6 57 20.05 16.50 762 MAX VALUE 107.67 12.58 0.63 3.04

Separator constraints 0 98 37.87 37.00 1,439 0 None 24.31 0.64 3.40

Separator variables 0 45 16.50 14.50 627 0 None 9.72 0.59 3.05

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	9	166	60.92	54.50	2,315	MAX VALUE	147.72	39.56	0.65	3.40
Cluster variables	6	57	20.05	16.50	762	MAX VALUE	107.67	12.58	0.63	3.04
Separator constraints	0	98	37.87	37.00	1,439	0	None	24.31	0.64	3.40
Separator variables	0	45	16.50	14.50	627	0	None	9.72	0.59	3.05

Primal graph

Density: 17.31%
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.40 0.17 0.16 7.00 0.00 None 0.11 0.63 2.96

Degree 3 13 6.75 6.50 270 1.52e+32 74.10 2.23 0.33 2.06

Eccentricity 3 4 3.12 3.00 125 5.12e+19 45.38 0.33 0.11 0.38

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.40	0.17	0.16	7.00	0.00	None	0.11	0.63	2.96
Degree	3	13	6.75	6.50	270	1.52e+32	74.10	2.23	0.33	2.06
Eccentricity	3	4	3.12	3.00	125	5.12e+19	45.38	0.33	0.11	0.38

Triangulated primal graph

Density: 39.74%

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

Clustering coefficient 0.52 1.00 0.81 0.81 32.46 0.00 -8.97 0.14 0.17 2.93

Degree 3 30 15.50 16.00 620 MAX VALUE 100.48 8.92 0.58 2.90

Eccentricity 2 3 2.42 2.00 97 1.08e+15 34.62 0.49 0.20 0.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.52	1.00	0.81	0.81	32.46	0.00	-8.97	0.14	0.17	2.93
Degree	3	30	15.50	16.00	620	MAX VALUE	100.48	8.92	0.58	2.90
Eccentricity	2	3	2.42	2.00	97	1.08e+15	34.62	0.49	0.20	0.68

Dual graph

Density: 9.68%
MCB compute time (ms): 435
MCB cycles: 757
Triangles: 1,885
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.40 0.67 0.51 0.50 68.61 0.00 -91.96 0.05 0.10 3.86

Degree 5 20 12.98 13.00 1,752 MAX VALUE 342.21 2.97 0.23 2.44

Eccentricity 3 4 3.36 3.00 454 MAX VALUE 162.41 0.48 0.14 0.66

MCB cycle size 3 5 3.08 3.00 2,335 MAX VALUE 849.87 0.29 0.09 0.30

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	0.67	0.51	0.50	68.61	0.00	-91.96	0.05	0.10	3.86
Degree	5	20	12.98	13.00	1,752	MAX VALUE	342.21	2.97	0.23	2.44
Eccentricity	3	4	3.36	3.00	454	MAX VALUE	162.41	0.48	0.14	0.66
MCB cycle size	3	5	3.08	3.00	2,335	MAX VALUE	849.87	0.29	0.09	0.30

Minimal dual graph

Density: 2.54%
MCB compute time (ms): 60
MCB cycles: 96

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 5 3.41 3.00 460 MAX VALUE 162.51 0.70 0.21 1.06

Eccentricity 6 8 6.67 7.00 900 MAX VALUE 255.72 0.50 0.08 0.72

MCB cycle size 5 9 6.83 7.00 656 MAX VALUE 183.31 1.07 0.16 1.46

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	5	3.41	3.00	460	MAX VALUE	162.51	0.70	0.21	1.06
Eccentricity	6	8	6.67	7.00	900	MAX VALUE	255.72	0.50	0.08	0.72
MCB cycle size	5	9	6.83	7.00	656	MAX VALUE	183.31	1.07	0.16	1.46

Triangulated dual graph

Density: 39.94%
Triangles: 61,610

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

Clustering coefficient 0.66 1.00 0.82 0.79 110.66 0.00 -27.79 0.10 0.12 4.45

Degree 5 92 53.53 61.00 7,226 MAX VALUE 505.54 29.23 0.55 3.87

Eccentricity 2 3 2.42 2.00 327 MAX VALUE 116.69 0.49 0.20 0.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.66	1.00	0.82	0.79	110.66	0.00	-27.79	0.10	0.12	4.45
Degree	5	92	53.53	61.00	7,226	MAX VALUE	505.54	29.23	0.55	3.87
Eccentricity	2	3	2.42	2.00	327	MAX VALUE	116.69	0.49	0.20	0.68

Triangulated minimal dual graph

Density: 12.26%

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

Clustering coefficient 0.47 1.00 0.79 0.73 106.96 0.00 -34.40 0.17 0.21 2.94

Degree 2 50 16.43 6.00 2,218 MAX VALUE 293.82 17.37 1.06 2.94

Eccentricity 3 5 3.70 4.00 499 MAX VALUE 175.10 0.52 0.14 0.76

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	1.00	0.79	0.73	106.96	0.00	-34.40	0.17	0.21	2.94
Degree	2	50	16.43	6.00	2,218	MAX VALUE	293.82	17.37	1.06	2.94
Eccentricity	3	5	3.70	4.00	499	MAX VALUE	175.10	0.52	0.14	0.76

Incidence graph

Density: 1.77%
MCB compute time (ms): 71
MCB cycles: 96
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 13 3.09 2.00 540 MAX VALUE 167.68 2.26 0.73 1.01

Eccentricity 6 9 7.23 7.00 1,265 MAX VALUE 345.51 0.62 0.09 0.94

MCB cycle size 6 8 7.00 7.00 672 MAX VALUE 185.82 1.00 0.14 0.69

XCSP 2.1 Benchmarks