XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-98_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:56:51
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.38 10.00 83,068 MAX VALUE 18,575.30 1.91 0.18 2.06

Relational linkage 0.19 0.69 0.45 0.44 288.81 0.00 -519.46 0.08 0.17 1.63

Tightness 0.27 0.45 0.35 0.35 87.76 0.00 -262.65 0.03 0.09 3.36

Tuples 140 188 166.14 166.00 41,534 MAX VALUE 1,277.93 7.76 0.05 3.36

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

Constraints per subscope 4 18 12.50 13.00 500 MAX VALUE 99.21 3.33 0.27 2.42

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.38	10.00	83,068	MAX VALUE	18,575.30	1.91	0.18	2.06
Relational linkage	0.19	0.69	0.45	0.44	288.81	0.00	-519.46	0.08	0.17	1.63
Tightness	0.27	0.45	0.35	0.35	87.76	0.00	-262.65	0.03	0.09	3.36
Tuples	140	188	166.14	166.00	41,534	MAX VALUE	1,277.93	7.76	0.05	3.36
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	4	18	12.50	13.00	500	MAX VALUE	99.21	3.33	0.27	2.42
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: 9
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 5 104 46.94 33.00 798 8.35e+25 59.69 34.99 0.75 2.75

Cluster variables 5 24 14.00 13.00 238 4.88e+18 43.03 6.32 0.45 2.43

Separator constraints 0 92 32.24 22.00 548 0 None 31.25 0.97 2.83

Separator variables 0 23 11.65 11.00 198 0 None 6.50 0.56 2.51

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	5	104	46.94	33.00	798	8.35e+25	59.69	34.99	0.75	2.75
Cluster variables	5	24	14.00	13.00	238	4.88e+18	43.03	6.32	0.45	2.43
Separator constraints	0	92	32.24	22.00	548	0	None	31.25	0.97	2.83
Separator variables	0	23	11.65	11.00	198	0	None	6.50	0.56	2.51

Dual tree decomposition

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

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

Cluster constraints 61 869 274.95 217.00 10,448 MAX VALUE 204.19 203.23 0.74 3.60

Cluster variables 14 130 42.82 30.00 1,627 MAX VALUE 135.70 29.08 0.68 3.25

Separator constraints 0 503 193.45 182.50 7,351 0 None 122.57 0.63 3.60

Separator variables 0 97 36.24 28.00 1,377 0 None 22.28 0.61 3.22

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	61	869	274.95	217.00	10,448	MAX VALUE	204.19	203.23	0.74	3.60
Cluster variables	14	130	42.82	30.00	1,627	MAX VALUE	135.70	29.08	0.68	3.25
Separator constraints	0	503	193.45	182.50	7,351	0	None	122.57	0.63	3.60
Separator variables	0	97	36.24	28.00	1,377	0	None	22.28	0.61	3.22

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.17 0.61 0.33 0.34 13.37 0.00 -45.36 0.09 0.28 3.47

Degree 4 18 12.50 13.00 500 MAX VALUE 99.21 3.33 0.27 2.42

Eccentricity 2 3 2.40 2.00 96 7.22e+14 34.21 0.49 0.20 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.17	0.61	0.33	0.34	13.37	0.00	-45.36	0.09	0.28	3.47
Degree	4	18	12.50	13.00	500	MAX VALUE	99.21	3.33	0.27	2.42
Eccentricity	2	3	2.40	2.00	96	7.22e+14	34.21	0.49	0.20	0.67

Triangulated primal graph

Density: 60.77%

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

Clustering coefficient 0.72 1.00 0.87 0.84 34.65 0.00 -5.95 0.09 0.10 3.02

Degree 4 34 23.70 29.00 948 MAX VALUE 121.16 9.66 0.41 2.65

Eccentricity 2 3 2.12 2.00 85 8.35e+12 29.75 0.33 0.16 0.38

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.72	1.00	0.87	0.84	34.65	0.00	-5.95	0.09	0.10	3.02
Degree	4	34	23.70	29.00	948	MAX VALUE	121.16	9.66	0.41	2.65
Eccentricity	2	3	2.12	2.00	85	8.35e+12	29.75	0.33	0.16	0.38

Dual graph

Density: 9.95%
MCB compute time (ms): 2,833
MCB cycles: 3,229
Triangles: 12,801
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.74 0.51 0.50 128.10 0.00 -167.65 0.03 0.07 4.65

Degree 13 34 24.78 25.00 6,194 MAX VALUE 798.95 3.99 0.16 2.75

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

MCB cycle size 3 5 3.07 3.00 9,916 MAX VALUE 3,613.23 0.26 0.08 0.26

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	0.74	0.51	0.50	128.10	0.00	-167.65	0.03	0.07	4.65
Degree	13	34	24.78	25.00	6,194	MAX VALUE	798.95	3.99	0.16	2.75
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	5	3.07	3.00	9,916	MAX VALUE	3,613.23	0.26	0.08	0.26

Minimal dual graph

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

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

Clustering coefficient 0.00 0.33 0.01 0.00 1.50 0.00 None 0.04 6.73 0.13

Degree 2 6 3.68 4.00 920 MAX VALUE 319.05 0.86 0.23 1.22

Eccentricity 6 9 7.26 7.00 1,814 MAX VALUE 494.54 0.62 0.09 0.94

MCB cycle size 3 9 6.69 7.00 1,412 MAX VALUE 397.52 1.14 0.17 1.47

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.01	0.00	1.50	0.00	None	0.04	6.73	0.13
Degree	2	6	3.68	4.00	920	MAX VALUE	319.05	0.86	0.23	1.22
Eccentricity	6	9	7.26	7.00	1,814	MAX VALUE	494.54	0.62	0.09	0.94
MCB cycle size	3	9	6.69	7.00	1,412	MAX VALUE	397.52	1.14	0.17	1.47

Triangulated dual graph

Density: 52.68%
Triangles: 678,094

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

Clustering coefficient 0.72 1.00 0.85 0.84 211.71 0.00 -42.62 0.08 0.09 4.89

Degree 13 200 131.18 159.00 32,794 MAX VALUE 1,177.29 57.53 0.44 4.10

Eccentricity 2 3 2.21 2.00 552 MAX VALUE 194.37 0.41 0.18 0.51

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.72	1.00	0.85	0.84	211.71	0.00	-42.62	0.08	0.09	4.89
Degree	13	200	131.18	159.00	32,794	MAX VALUE	1,177.29	57.53	0.44	4.10
Eccentricity	2	3	2.21	2.00	552	MAX VALUE	194.37	0.41	0.18	0.51

Triangulated minimal dual graph

Density: 10.99%

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

Clustering coefficient 0.47 1.00 0.81 0.76 202.35 0.00 -57.22 0.15 0.19 3.54

Degree 2 92 27.37 7.50 6,842 MAX VALUE 620.03 31.82 1.16 3.27

Eccentricity 3 5 3.78 4.00 946 MAX VALUE 330.01 0.55 0.14 0.81

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	1.00	0.81	0.76	202.35	0.00	-57.22	0.15	0.19	3.54
Degree	2	92	27.37	7.50	6,842	MAX VALUE	620.03	31.82	1.16	3.27
Eccentricity	3	5	3.78	4.00	946	MAX VALUE	330.01	0.55	0.14	0.81

Incidence graph

Density: 1.19%
MCB compute time (ms): 198
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 18 3.45 2.00 1,000 MAX VALUE 272.49 3.83 1.11 0.74

Eccentricity 5 7 5.93 6.00 1,719 MAX VALUE 515.70 0.30 0.05 0.34

MCB cycle size 6 8 6.06 6.00 1,278 MAX VALUE 379.79 0.33 0.05 0.13

XCSP 2.1 Benchmarks