XCSP 2.1 Benchmark Database

Instance: rand-2-40-180-84-900-47_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:27
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 84

General features

Number of coarse blocks: 30,060
Number of unique subscopes: 39

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

Arity 2 2 2.00 2.00 168 1.93e+25 58.22 0.00 0.00 0.00

Coarse blocks size 4 38 18.00 18.00 540,980 MAX VALUE 86,075.00 4.05 0.22 2.81

Relational linkage 0.02 0.15 0.08 0.08 543.12 0.00 -18,117.00 0.02 0.20 2.45

Tightness 0.89 0.90 0.90 0.90 75.60 0.00 -8.85 0.00 0.00 4.11

Tuples 3,120 3,455 3,239.33 3,231.50 272,104 MAX VALUE 678.97 59.03 0.02 4.11

Domain size 180 180 180.00 180.00 7,200 MAX VALUE 207.72 0.00 0.00 0.00

Constraints per subscope 2 8 4.28 4.00 167 4.51e+23 54.47 1.41 0.33 1.59

Partitions per subscope 180 180 180.00 180.00 7,020 MAX VALUE 202.53 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	168	1.93e+25	58.22	0.00	0.00	0.00
Coarse blocks size	4	38	18.00	18.00	540,980	MAX VALUE	86,075.00	4.05	0.22	2.81
Relational linkage	0.02	0.15	0.08	0.08	543.12	0.00	-18,117.00	0.02	0.20	2.45
Tightness	0.89	0.90	0.90	0.90	75.60	0.00	-8.85	0.00	0.00	4.11
Tuples	3,120	3,455	3,239.33	3,231.50	272,104	MAX VALUE	678.97	59.03	0.02	4.11
Domain size	180	180	180.00	180.00	7,200	MAX VALUE	207.72	0.00	0.00	0.00
Constraints per subscope	2	8	4.28	4.00	167	4.51e+23	54.47	1.41	0.33	1.59
Partitions per subscope	180	180	180.00	180.00	7,020	MAX VALUE	202.53	0.00	0.00	0.00

Tree decomposition

Number of clusters: 30
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 1 8 4.03 4.00 121 1.07e+17 39.21 1.56 0.39 1.79

Cluster variables 2 11 5.57 5.00 167 2.13e+21 49.11 2.20 0.40 2.05

Separator constraints 0 5 1.23 1.00 37 0 None 1.43 1.16 1.42

Separator variables 0 9 4.23 4.00 127 0 None 2.11 0.50 2.05

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	8	4.03	4.00	121	1.07e+17	39.21	1.56	0.39	1.79
Cluster variables	2	11	5.57	5.00	167	2.13e+21	49.11	2.20	0.40	2.05
Separator constraints	0	5	1.23	1.00	37	0	None	1.43	1.16	1.42
Separator variables	0	9	4.23	4.00	127	0	None	2.11	0.50	2.05

Dual tree decomposition

Number of clusters: 38
Number of leaves: 14
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 4 44 16.63 14.50 632 MAX VALUE 101.78 9.00 0.54 2.92

Cluster variables 4 24 10.26 9.50 390 5.63e+36 84.62 4.91 0.48 2.55

Separator constraints 0 32 8.39 7.00 319 0 None 5.58 0.66 2.40

Separator variables 0 17 8.05 7.50 306 0 None 3.76 0.47 2.52

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	4	44	16.63	14.50	632	MAX VALUE	101.78	9.00	0.54	2.92
Cluster variables	4	24	10.26	9.50	390	5.63e+36	84.62	4.91	0.48	2.55
Separator constraints	0	32	8.39	7.00	319	0	None	5.58	0.66	2.40
Separator variables	0	17	8.05	7.50	306	0	None	3.76	0.47	2.52

Primal graph

Density: 10.77%
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.33 None 0.00 None None None None None 1.42

Degree 1 8 4.20 4.00 168 4.51e+23 54.47 1.49 0.35 1.67

Eccentricity 3 5 4.28 4.00 171 1.32e+25 57.84 0.50 0.12 0.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	None	0.00	None	None	None	None	None	1.42
Degree	1	8	4.20	4.00	168	4.51e+23	54.47	1.49	0.35	1.67
Eccentricity	3	5	4.28	4.00	171	1.32e+25	57.84	0.50	0.12	0.72

Triangulated primal graph

Density: 23.33%

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

Clustering coefficient 0.45 1.00 None 0.71 None None None None None 2.84

Degree 1 22 9.10 7.50 364 1.33e+33 76.27 6.43 0.71 2.67

Eccentricity 3 5 3.50 3.00 140 3.37e+21 49.57 0.59 0.17 0.85

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.45	1.00	None	0.71	None	None	None	None	None	2.84
Degree	1	22	9.10	7.50	364	1.33e+33	76.27	6.43	0.71	2.67
Eccentricity	3	5	3.50	3.00	140	3.37e+21	49.57	0.59	0.17	0.85

Dual graph

Density: 8.98%
MCB compute time (ms): 44
MCB cycles: 241
Triangles: 353
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.33 1.00 0.48 0.46 40.30 0.00 -62.87 0.09 0.19 2.53

Degree 3 12 7.45 7.00 626 MAX VALUE 165.51 1.99 0.27 2.08

Eccentricity 4 5 4.26 4.00 358 MAX VALUE 121.36 0.44 0.10 0.58

MCB cycle size 3 6 3.36 3.00 810 MAX VALUE 287.01 0.78 0.23 0.71

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	0.48	0.46	40.30	0.00	-62.87	0.09	0.19	2.53
Degree	3	12	7.45	7.00	626	MAX VALUE	165.51	1.99	0.27	2.08
Eccentricity	4	5	4.26	4.00	358	MAX VALUE	121.36	0.44	0.10	0.58
MCB cycle size	3	6	3.36	3.00	810	MAX VALUE	287.01	0.78	0.23	0.71

Minimal dual graph

Density: 3.67%
MCB compute time (ms): 15
MCB cycles: 45

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

Degree 1 4 3.05 3.00 256 MAX VALUE 91.38 0.65 0.21 0.98

Eccentricity 5 8 6.92 7.00 581 MAX VALUE 162.08 0.64 0.09 0.97

MCB cycle size 4 9 7.07 7.00 318 7.58e+37 87.22 1.22 0.17 1.51

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.18
Degree	1	4	3.05	3.00	256	MAX VALUE	91.38	0.65	0.21	0.98
Eccentricity	5	8	6.92	7.00	581	MAX VALUE	162.08	0.64	0.09	0.97
MCB cycle size	4	9	7.07	7.00	318	7.58e+37	87.22	1.22	0.17	1.51

Triangulated dual graph

Density: 26.28%
Triangles: 5,817

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

Clustering coefficient 0.53 1.00 0.77 0.78 65.04 0.00 -22.88 0.14 0.18 3.75

Degree 3 45 21.81 18.00 1,832 MAX VALUE 238.18 13.59 0.62 3.44

Eccentricity 2 4 3.08 3.00 259 MAX VALUE 93.71 0.44 0.14 0.63

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.53	1.00	0.77	0.78	65.04	0.00	-22.88	0.14	0.18	3.75
Degree	3	45	21.81	18.00	1,832	MAX VALUE	238.18	13.59	0.62	3.44
Eccentricity	2	4	3.08	3.00	259	MAX VALUE	93.71	0.44	0.14	0.63

Triangulated minimal dual graph

Density: 11.68%

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

Clustering coefficient 0.44 1.00 None 0.67 None None None None None 2.87

Degree 1 30 9.69 5.00 814 MAX VALUE 154.86 8.90 0.92 2.72

Eccentricity 3 5 3.94 4.00 331 MAX VALUE 114.17 0.60 0.15 0.91

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.44	1.00	None	0.67	None	None	None	None	None	2.87
Degree	1	30	9.69	5.00	814	MAX VALUE	154.86	8.90	0.92	2.72
Eccentricity	3	5	3.94	4.00	331	MAX VALUE	114.17	0.60	0.15	0.91

Incidence graph

Density: 2.20%
MCB compute time (ms): 26
MCB cycles: 45
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.57

Degree 1 8 2.71 2.00 336 MAX VALUE 112.69 1.33 0.49 1.01

Eccentricity 7 11 9.07 9.00 1,125 MAX VALUE 272.94 0.82 0.09 1.21

MCB cycle size 6 12 8.67 8.00 390 MAX VALUE 96.35 1.63 0.19 1.20

XCSP 2.1 Benchmarks