XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-47_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:56
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 103

General features

Number of coarse blocks: 16,480
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 206 1.01e+31 71.39 0.00 0.00 0.00

Coarse blocks size 3 31 15.98 16.00 263,396 MAX VALUE 45,241.20 3.56 0.22 2.69

Relational linkage 0.04 0.29 0.15 0.15 482.62 0.00 -6,122.68 0.03 0.20 2.31

Tightness 0.79 0.81 0.80 0.80 82.42 0.00 -22.96 0.00 0.01 4.08

Tuples 1,198 1,374 1,278.62 1,280.00 131,698 MAX VALUE 736.78 30.28 0.02 4.08

Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00

Constraints per subscope 2 10 5.15 5.00 206 1.33e+27 62.45 1.89 0.37 1.88

Partitions per subscope 80 80 80.00 80.00 3,200 MAX VALUE 175.28 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	206	1.01e+31	71.39	0.00	0.00	0.00
Coarse blocks size	3	31	15.98	16.00	263,396	MAX VALUE	45,241.20	3.56	0.22	2.69
Relational linkage	0.04	0.29	0.15	0.15	482.62	0.00	-6,122.68	0.03	0.20	2.31
Tightness	0.79	0.81	0.80	0.80	82.42	0.00	-22.96	0.00	0.01	4.08
Tuples	1,198	1,374	1,278.62	1,280.00	131,698	MAX VALUE	736.78	30.28	0.02	4.08
Domain size	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00
Constraints per subscope	2	10	5.15	5.00	206	1.33e+27	62.45	1.89	0.37	1.88
Partitions per subscope	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00

Tree decomposition

Number of clusters: 27
Number of leaves: 15
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 2 15 6.59 6.00 178 8.02e+19 45.83 3.85 0.58 2.26

Cluster variables 3 14 6.89 6.00 186 1.97e+21 49.03 3.31 0.48 2.07

Separator constraints 0 13 2.78 1.00 75 0 None 3.50 1.26 1.83

Separator variables 0 13 5.41 5.00 146 0 None 3.19 0.59 2.13

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	15	6.59	6.00	178	8.02e+19	45.83	3.85	0.58	2.26
Cluster variables	3	14	6.89	6.00	186	1.97e+21	49.03	3.31	0.48	2.07
Separator constraints	0	13	2.78	1.00	75	0	None	3.50	1.26	1.83
Separator variables	0	13	5.41	5.00	146	0	None	3.19	0.59	2.13

Dual tree decomposition

Number of clusters: 38
Number of leaves: 13
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 6 62 28.95 28.00 1,100 MAX VALUE 120.50 16.55 0.57 3.24

Cluster variables 5 36 13.71 12.00 521 MAX VALUE 94.26 7.58 0.55 2.71

Separator constraints 0 33 15.82 16.00 601 0 None 9.49 0.60 3.15

Separator variables 0 26 11.00 10.50 418 0 None 5.85 0.53 2.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	6	62	28.95	28.00	1,100	MAX VALUE	120.50	16.55	0.57	3.24
Cluster variables	5	36	13.71	12.00	521	MAX VALUE	94.26	7.58	0.55	2.71
Separator constraints	0	33	15.82	16.00	601	0	None	9.49	0.60	3.15
Separator variables	0	26	11.00	10.50	418	0	None	5.85	0.53	2.69

Primal graph

Density: 13.21%
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.09 0.07 3.51 0.00 None 0.10 1.11 2.04

Degree 2 10 5.15 5.00 206 1.33e+27 62.45 1.89 0.37 1.88

Eccentricity 3 5 3.77 4.00 151 7.48e+22 52.67 0.57 0.15 0.85

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.40	0.09	0.07	3.51	0.00	None	0.10	1.11	2.04
Degree	2	10	5.15	5.00	206	1.33e+27	62.45	1.89	0.37	1.88
Eccentricity	3	5	3.77	4.00	151	7.48e+22	52.67	0.57	0.15	0.85

Triangulated primal graph

Density: 30.38%

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

Clustering coefficient 0.52 1.00 0.80 0.74 31.89 0.00 -10.08 0.18 0.22 2.60

Degree 2 25 11.85 9.00 474 3.71e+37 86.51 8.04 0.68 2.84

Eccentricity 2 3 2.60 3.00 104 1.85e+16 37.46 0.49 0.19 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.52	1.00	0.80	0.74	31.89	0.00	-10.08	0.18	0.22	2.60
Degree	2	25	11.85	9.00	474	3.71e+37	86.51	8.04	0.68	2.84
Eccentricity	2	3	2.60	3.00	104	1.85e+16	37.46	0.49	0.19	0.67

Dual graph

Density: 9.50%
MCB compute time (ms): 161
MCB cycles: 406
Triangles: 778
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.80 0.50 0.47 51.28 0.00 -72.76 0.07 0.14 3.10

Degree 4 16 9.69 10.00 998 MAX VALUE 230.03 2.55 0.26 2.25

Eccentricity 3 5 3.83 4.00 395 MAX VALUE 137.77 0.42 0.11 0.57

MCB cycle size 3 6 3.18 3.00 1,291 MAX VALUE 465.83 0.49 0.15 0.49

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	0.80	0.50	0.47	51.28	0.00	-72.76	0.07	0.14	3.10
Degree	4	16	9.69	10.00	998	MAX VALUE	230.03	2.55	0.26	2.25
Eccentricity	3	5	3.83	4.00	395	MAX VALUE	137.77	0.42	0.11	0.57
MCB cycle size	3	6	3.18	3.00	1,291	MAX VALUE	465.83	0.49	0.15	0.49

Minimal dual graph

Density: 3.16%
MCB compute time (ms): 34
MCB cycles: 64

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.22 3.00 332 MAX VALUE 118.41 0.64 0.20 0.97

Eccentricity 6 8 6.85 7.00 706 MAX VALUE 197.93 0.55 0.08 0.81

MCB cycle size 4 9 6.80 7.00 435 MAX VALUE 120.99 1.48 0.22 1.72

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.22	3.00	332	MAX VALUE	118.41	0.64	0.20	0.97
Eccentricity	6	8	6.85	7.00	706	MAX VALUE	197.93	0.55	0.08	0.81
MCB cycle size	4	9	6.80	7.00	435	MAX VALUE	120.99	1.48	0.22	1.72

Triangulated dual graph

Density: 31.64%
Triangles: 16,347

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

Clustering coefficient 0.59 1.00 0.79 0.77 81.58 0.00 -25.26 0.12 0.16 4.09

Degree 4 62 32.27 30.00 3,324 MAX VALUE 332.34 19.16 0.59 3.57

Eccentricity 2 4 2.85 3.00 294 MAX VALUE 106.37 0.49 0.17 0.71

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.59	1.00	0.79	0.77	81.58	0.00	-25.26	0.12	0.16	4.09
Degree	4	62	32.27	30.00	3,324	MAX VALUE	332.34	19.16	0.59	3.57
Eccentricity	2	4	2.85	3.00	294	MAX VALUE	106.37	0.49	0.17	0.71

Triangulated minimal dual graph

Density: 12.13%

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

Clustering coefficient 0.46 1.00 0.76 0.67 78.54 0.00 -31.01 0.19 0.24 2.92

Degree 2 36 12.37 6.00 1,274 MAX VALUE 207.95 12.06 0.97 2.78

Eccentricity 3 5 3.68 4.00 379 MAX VALUE 133.17 0.51 0.14 0.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.46	1.00	0.76	0.67	78.54	0.00	-31.01	0.19	0.24	2.92
Degree	2	36	12.37	6.00	1,274	MAX VALUE	207.95	12.06	0.97	2.78
Eccentricity	3	5	3.68	4.00	379	MAX VALUE	133.17	0.51	0.14	0.73

Incidence graph

Density: 2.03%
MCB compute time (ms): 40
MCB cycles: 64
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 10 2.88 2.00 412 MAX VALUE 133.85 1.73 0.60 0.98

Eccentricity 7 10 8.07 8.00 1,154 MAX VALUE 297.99 0.75 0.09 1.12

MCB cycle size 6 10 7.78 8.00 498 MAX VALUE 130.36 1.33 0.17 0.99

XCSP 2.1 Benchmarks