XCSP 2.1 Benchmark Database

Instance: rand-2-40-180-84-900-92_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:30
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: 29,520
Number of unique subscopes: 36

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 3 37 18.02 18.00 531,999 MAX VALUE 84,584.60 4.02 0.22 2.81

Relational linkage 0.02 0.14 0.08 0.08 496.70 0.00 -16,774.90 0.01 0.19 2.40

Tightness 0.90 0.90 0.90 0.90 75.59 0.00 -8.86 0.00 0.00 4.24

Tuples 3,135 3,382 3,243.10 3,235.00 272,420 MAX VALUE 679.07 51.51 0.02 4.24

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.56 4.00 164 7.93e+22 52.73 1.44 0.32 1.71

Partitions per subscope 180 180 180.00 180.00 6,480 MAX VALUE 186.95 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	3	37	18.02	18.00	531,999	MAX VALUE	84,584.60	4.02	0.22	2.81
Relational linkage	0.02	0.14	0.08	0.08	496.70	0.00	-16,774.90	0.01	0.19	2.40
Tightness	0.90	0.90	0.90	0.90	75.59	0.00	-8.86	0.00	0.00	4.24
Tuples	3,135	3,382	3,243.10	3,235.00	272,420	MAX VALUE	679.07	51.51	0.02	4.24
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.56	4.00	164	7.93e+22	52.73	1.44	0.32	1.71
Partitions per subscope	180	180	180.00	180.00	6,480	MAX VALUE	186.95	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 3.80 4.00 114 2.20e+15 35.33 1.97 0.52 1.88

Cluster variables 2 11 4.97 5.00 149 4.06e+19 45.15 2.21 0.45 1.98

Separator constraints 0 6 1.00 1.00 30 0 None 1.41 1.41 1.25

Separator variables 0 9 3.63 3.50 109 0 None 2.02 0.56 1.98

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	8	3.80	4.00	114	2.20e+15	35.33	1.97	0.52	1.88
Cluster variables	2	11	4.97	5.00	149	4.06e+19	45.15	2.21	0.45	1.98
Separator constraints	0	6	1.00	1.00	30	0	None	1.41	1.41	1.25
Separator variables	0	9	3.63	3.50	109	0	None	2.02	0.56	1.98

Dual tree decomposition

Number of clusters: 38
Number of leaves: 15
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 3 44 18.11 16.50 688 MAX VALUE 104.43 9.68 0.53 3.03

Cluster variables 3 24 10.24 8.50 389 2.83e+36 83.93 5.19 0.51 2.66

Separator constraints 0 32 9.45 8.00 359 0 None 6.17 0.65 2.76

Separator variables 0 17 8.03 7.00 305 0 None 4.02 0.50 2.52

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	44	18.11	16.50	688	MAX VALUE	104.43	9.68	0.53	3.03
Cluster variables	3	24	10.24	8.50	389	2.83e+36	83.93	5.19	0.51	2.66
Separator constraints	0	32	9.45	8.00	359	0	None	6.17	0.65	2.76
Separator variables	0	17	8.03	7.00	305	0	None	4.02	0.50	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 1.00 None 0.10 None None None None None 2.47

Degree 1 8 4.20 4.00 168 7.93e+22 52.73 1.73 0.41 1.86

Eccentricity 3 6 4.67 5.00 187 3.98e+26 61.25 0.69 0.15 1.04

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.10	None	None	None	None	None	2.47
Degree	1	8	4.20	4.00	168	7.93e+22	52.73	1.73	0.41	1.86
Eccentricity	3	6	4.67	5.00	187	3.98e+26	61.25	0.69	0.15	1.04

Triangulated primal graph

Density: 21.03%

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

Clustering coefficient 0.33 1.00 None 0.69 None None None None None 3.34

Degree 1 20 8.20 5.50 328 2.23e+30 69.88 6.27 0.76 2.54

Eccentricity 3 5 3.80 4.00 152 8.76e+22 52.83 0.64 0.17 0.95

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	None	0.69	None	None	None	None	None	3.34
Degree	1	20	8.20	5.50	328	2.23e+30	69.88	6.27	0.76	2.54
Eccentricity	3	5	3.80	4.00	152	8.76e+22	52.83	0.64	0.17	0.95

Dual graph

Density: 9.44%
MCB compute time (ms): 50
MCB cycles: 247
Triangles: 403
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 1.00 0.52 0.49 43.31 0.00 -57.34 0.12 0.24 2.80

Degree 2 13 7.83 8.00 658 MAX VALUE 169.36 2.08 0.27 2.07

Eccentricity 3 5 4.30 4.00 361 MAX VALUE 121.96 0.48 0.11 0.68

MCB cycle size 3 6 3.18 3.00 785 MAX VALUE 283.26 0.49 0.16 0.49

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	1.00	0.52	0.49	43.31	0.00	-57.34	0.12	0.24	2.80
Degree	2	13	7.83	8.00	658	MAX VALUE	169.36	2.08	0.27	2.07
Eccentricity	3	5	4.30	4.00	361	MAX VALUE	121.96	0.48	0.11	0.68
MCB cycle size	3	6	3.18	3.00	785	MAX VALUE	283.26	0.49	0.16	0.49

Minimal dual graph

Density: 3.67%
MCB compute time (ms): 12
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.75

Degree 1 4 3.05 3.00 256 MAX VALUE 91.26 0.67 0.22 1.01

Eccentricity 6 9 7.13 7.00 599 MAX VALUE 164.63 0.69 0.10 1.03

MCB cycle size 4 10 6.60 6.00 297 2.66e+36 83.87 1.42 0.22 1.71

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.75
Degree	1	4	3.05	3.00	256	MAX VALUE	91.26	0.67	0.22	1.01
Eccentricity	6	9	7.13	7.00	599	MAX VALUE	164.63	0.69	0.10	1.03
MCB cycle size	4	10	6.60	6.00	297	2.66e+36	83.87	1.42	0.22	1.71

Triangulated dual graph

Density: 26.65%
Triangles: 6,106

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

Clustering coefficient 0.55 1.00 0.78 0.76 65.12 0.00 -22.70 0.14 0.18 3.74

Degree 2 46 22.12 19.50 1,858 MAX VALUE 237.82 13.94 0.63 3.27

Eccentricity 2 4 3.00 3.00 252 MAX VALUE 91.22 0.46 0.15 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.55	1.00	0.78	0.76	65.12	0.00	-22.70	0.14	0.18	3.74
Degree	2	46	22.12	19.50	1,858	MAX VALUE	237.82	13.94	0.63	3.27
Eccentricity	2	4	3.00	3.00	252	MAX VALUE	91.22	0.46	0.15	0.67

Triangulated minimal dual graph

Density: 11.16%

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

Clustering coefficient 0.33 1.00 None 0.67 None None None None None 3.05

Degree 1 29 9.26 5.50 778 MAX VALUE 153.08 8.29 0.89 2.71

Eccentricity 3 5 4.08 4.00 343 MAX VALUE 117.17 0.62 0.15 0.93

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	None	0.67	None	None	None	None	None	3.05
Degree	1	29	9.26	5.50	778	MAX VALUE	153.08	8.29	0.89	2.71
Eccentricity	3	5	4.08	4.00	343	MAX VALUE	117.17	0.62	0.15	0.93

Incidence graph

Density: 2.20%
MCB compute time (ms): 21
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 1.06

Degree 1 8 2.71 2.00 336 MAX VALUE 110.95 1.42 0.53 1.15

Eccentricity 7 12 9.42 9.00 1,168 MAX VALUE 277.24 1.12 0.12 1.48

MCB cycle size 6 12 7.87 8.00 354 MAX VALUE 92.03 1.48 0.19 1.09

XCSP 2.1 Benchmarks