XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-55_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:57:04
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 250

General features

Number of coarse blocks: 8,000
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 500 MAX VALUE 173.29 0.00 0.00 0.00

Coarse blocks size 3 16 10.37 10.00 82,946 MAX VALUE 18,563.40 1.91 0.18 2.06

Relational linkage 0.19 0.69 0.45 0.44 287.81 0.00 -521.14 0.07 0.17 1.58

Tightness 0.27 0.42 0.35 0.36 88.00 0.00 -261.91 0.03 0.08 3.34

Tuples 149 186 165.89 165.00 41,473 MAX VALUE 1,277.58 7.46 0.04 3.34

Domain size 16 16 16.00 16.00 640 MAX VALUE 110.90 0.00 0.00 0.00

Constraints per subscope 7 19 12.50 12.00 500 MAX VALUE 99.99 2.81 0.22 2.20

Partitions per subscope 16 16 16.00 16.00 640 MAX VALUE 110.90 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	500	MAX VALUE	173.29	0.00	0.00	0.00
Coarse blocks size	3	16	10.37	10.00	82,946	MAX VALUE	18,563.40	1.91	0.18	2.06
Relational linkage	0.19	0.69	0.45	0.44	287.81	0.00	-521.14	0.07	0.17	1.58
Tightness	0.27	0.42	0.35	0.36	88.00	0.00	-261.91	0.03	0.08	3.34
Tuples	149	186	165.89	165.00	41,473	MAX VALUE	1,277.58	7.46	0.04	3.34
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	7	19	12.50	12.00	500	MAX VALUE	99.99	2.81	0.22	2.20
Partitions per subscope	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00

Tree decomposition

Number of clusters: 17
Number of leaves: 8
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 16 98 46.76 35.00 795 1.39e+27 62.50 27.35 0.58 2.67

Cluster variables 8 24 14.88 14.00 253 2.80e+19 44.78 5.38 0.36 2.15

Separator constraints 0 89 32.06 23.00 545 0 None 25.18 0.79 2.75

Separator variables 0 23 12.53 11.00 213 0 None 5.79 0.46 2.23

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	16	98	46.76	35.00	795	1.39e+27	62.50	27.35	0.58	2.67
Cluster variables	8	24	14.88	14.00	253	2.80e+19	44.78	5.38	0.36	2.15
Separator constraints	0	89	32.06	23.00	545	0	None	25.18	0.79	2.75
Separator variables	0	23	12.53	11.00	213	0	None	5.79	0.46	2.23

Dual tree decomposition

Number of clusters: 38
Number of leaves: 17
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 68 802 266.47 199.50 10,126 MAX VALUE 204.29 184.11 0.69 3.49

Cluster variables 16 122 42.82 31.00 1,627 MAX VALUE 136.23 27.93 0.65 3.35

Separator constraints 0 434 186.66 163.00 7,093 0 None 105.64 0.57 3.56

Separator variables 0 94 36.24 28.50 1,377 0 None 21.03 0.58 3.38

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	68	802	266.47	199.50	10,126	MAX VALUE	204.29	184.11	0.69	3.49
Cluster variables	16	122	42.82	31.00	1,627	MAX VALUE	136.23	27.93	0.65	3.35
Separator constraints	0	434	186.66	163.00	7,093	0	None	105.64	0.57	3.56
Separator variables	0	94	36.24	28.50	1,377	0	None	21.03	0.58	3.38

Primal graph

Density: 32.05%
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.21 0.52 0.33 0.33 13.31 0.00 -44.71 0.06 0.19 3.47

Degree 7 19 12.50 12.00 500 MAX VALUE 99.99 2.81 0.22 2.20

Eccentricity 2 3 2.30 2.00 92 1.43e+14 32.59 0.46 0.20 0.61

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.21	0.52	0.33	0.33	13.31	0.00	-44.71	0.06	0.19	3.47
Degree	7	19	12.50	12.00	500	MAX VALUE	99.99	2.81	0.22	2.20
Eccentricity	2	3	2.30	2.00	92	1.43e+14	32.59	0.46	0.20	0.61

Triangulated primal graph

Density: 62.69%

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

Clustering coefficient 0.67 1.00 0.86 0.84 34.31 0.00 -6.38 0.09 0.11 3.12

Degree 7 36 24.45 29.00 978 MAX VALUE 123.66 9.24 0.38 2.67

Eccentricity 2 3 2.05 2.00 82 2.47e+12 28.54 0.22 0.11 0.20

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.67	1.00	0.86	0.84	34.31	0.00	-6.38	0.09	0.11	3.12
Degree	7	36	24.45	29.00	978	MAX VALUE	123.66	9.24	0.38	2.67
Eccentricity	2	3	2.05	2.00	82	2.47e+12	28.54	0.22	0.11	0.20

Dual graph

Density: 9.74%
MCB compute time (ms): 3,783
MCB cycles: 3,151
Triangles: 12,253
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.48 0.63 0.51 0.50 126.81 0.00 -169.94 0.02 0.05 4.54

Degree 15 35 24.26 24.00 6,066 MAX VALUE 794.06 3.85 0.16 2.72

Eccentricity 3 3 3.00 3.00 750 MAX VALUE 274.65 0.00 0.00 0.00

MCB cycle size 3 4 3.07 3.00 9,688 MAX VALUE 3,529.33 0.26 0.09 0.27

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	0.63	0.51	0.50	126.81	0.00	-169.94	0.02	0.05	4.54
Degree	15	35	24.26	24.00	6,066	MAX VALUE	794.06	3.85	0.16	2.72
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	4	3.07	3.00	9,688	MAX VALUE	3,529.33	0.26	0.09	0.27

Minimal dual graph

Density: 1.48%
MCB compute time (ms): 302
MCB cycles: 211

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

Clustering coefficient 0.00 0.10 0.00 0.00 0.23 0.00 None 0.01 9.26 0.07

Degree 2 6 3.68 4.00 920 MAX VALUE 319.92 0.80 0.22 1.14

Eccentricity 6 8 7.15 7.00 1,787 MAX VALUE 491.07 0.51 0.07 0.75

MCB cycle size 3 10 6.68 7.00 1,410 MAX VALUE 396.99 1.21 0.18 1.59

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.10	0.00	0.00	0.23	0.00	None	0.01	9.26	0.07
Degree	2	6	3.68	4.00	920	MAX VALUE	319.92	0.80	0.22	1.14
Eccentricity	6	8	7.15	7.00	1,787	MAX VALUE	491.07	0.51	0.07	0.75
MCB cycle size	3	10	6.68	7.00	1,410	MAX VALUE	396.99	1.21	0.18	1.59

Triangulated dual graph

Density: 51.96%
Triangles: 649,174

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

Clustering coefficient 0.71 1.00 0.84 0.82 210.39 0.00 -44.34 0.08 0.10 4.88

Degree 15 197 129.38 150.00 32,344 MAX VALUE 1,176.20 56.09 0.43 4.20

Eccentricity 2 3 2.19 2.00 547 MAX VALUE 192.34 0.39 0.18 0.48

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.71	1.00	0.84	0.82	210.39	0.00	-44.34	0.08	0.10	4.88
Degree	15	197	129.38	150.00	32,344	MAX VALUE	1,176.20	56.09	0.43	4.20
Eccentricity	2	3	2.19	2.00	547	MAX VALUE	192.34	0.39	0.18	0.48

Triangulated minimal dual graph

Density: 11.31%

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

Clustering coefficient 0.50 1.00 0.82 0.78 204.10 0.00 -54.62 0.14 0.18 3.51

Degree 2 87 28.16 7.50 7,040 MAX VALUE 624.94 32.78 1.16 3.14

Eccentricity 3 5 3.67 4.00 918 MAX VALUE 322.73 0.50 0.14 0.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.82	0.78	204.10	0.00	-54.62	0.14	0.18	3.51
Degree	2	87	28.16	7.50	7,040	MAX VALUE	624.94	32.78	1.16	3.14
Eccentricity	3	5	3.67	4.00	918	MAX VALUE	322.73	0.50	0.14	0.72

Incidence graph

Density: 1.19%
MCB compute time (ms): 232
MCB cycles: 211
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 19 3.45 2.00 1,000 MAX VALUE 273.27 3.77 1.09 0.70

Eccentricity 5 7 5.94 6.00 1,722 MAX VALUE 516.05 0.36 0.06 0.46

MCB cycle size 6 8 6.02 6.00 1,270 MAX VALUE 378.64 0.19 0.03 0.05

XCSP 2.1 Benchmarks