XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-42_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:04
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 4 32 16.05 16.00 264,524 MAX VALUE 45,318.30 3.56 0.22 2.69

Relational linkage 0.05 0.25 0.15 0.15 484.39 0.00 -6,103.44 0.03 0.19 2.26

Tightness 0.79 0.81 0.80 0.80 82.33 0.00 -23.07 0.00 0.01 4.26

Tuples 1,215 1,361 1,284.10 1,284.00 132,262 MAX VALUE 737.22 31.17 0.02 4.26

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 2.35e+27 63.02 1.86 0.36 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	4	32	16.05	16.00	264,524	MAX VALUE	45,318.30	3.56	0.22	2.69
Relational linkage	0.05	0.25	0.15	0.15	484.39	0.00	-6,103.44	0.03	0.19	2.26
Tightness	0.79	0.81	0.80	0.80	82.33	0.00	-23.07	0.00	0.01	4.26
Tuples	1,215	1,361	1,284.10	1,284.00	132,262	MAX VALUE	737.22	31.17	0.02	4.26
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	2.35e+27	63.02	1.86	0.36	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: 12
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 2 17 6.78 5.00 183 2.32e+20 46.89 4.01 0.59 2.32

Cluster variables 3 14 6.96 6.00 188 5.12e+21 49.99 3.05 0.44 2.09

Separator constraints 0 12 2.96 1.00 80 0 None 3.49 1.18 1.85

Separator variables 0 12 5.48 4.00 148 0 None 2.92 0.53 2.09

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	17	6.78	5.00	183	2.32e+20	46.89	4.01	0.59	2.32
Cluster variables	3	14	6.96	6.00	188	5.12e+21	49.99	3.05	0.44	2.09
Separator constraints	0	12	2.96	1.00	80	0	None	3.49	1.18	1.85
Separator variables	0	12	5.48	4.00	148	0	None	2.92	0.53	2.09

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 4 78 29.58 25.50 1,124 MAX VALUE 118.98 19.67 0.66 3.10

Cluster variables 4 33 13.79 11.50 524 MAX VALUE 94.15 7.75 0.56 2.96

Separator constraints 0 51 16.50 15.00 627 0 None 12.03 0.73 3.10

Separator variables 0 24 11.08 10.00 421 0 None 5.92 0.53 2.83

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	4	78	29.58	25.50	1,124	MAX VALUE	118.98	19.67	0.66	3.10
Cluster variables	4	33	13.79	11.50	524	MAX VALUE	94.15	7.75	0.56	2.96
Separator constraints	0	51	16.50	15.00	627	0	None	12.03	0.73	3.10
Separator variables	0	24	11.08	10.00	421	0	None	5.92	0.53	2.83

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.33 0.10 0.10 3.83 0.00 None 0.09 0.96 2.23

Degree 2 10 5.15 5.00 206 2.35e+27 63.02 1.86 0.36 1.88

Eccentricity 3 4 3.67 4.00 147 2.87e+22 51.71 0.47 0.13 0.63

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.10	0.10	3.83	0.00	None	0.09	0.96	2.23
Degree	2	10	5.15	5.00	206	2.35e+27	63.02	1.86	0.36	1.88
Eccentricity	3	4	3.67	4.00	147	2.87e+22	51.71	0.47	0.13	0.63

Triangulated primal graph

Density: 30.64%

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

Clustering coefficient 0.53 1.00 0.78 0.74 31.12 0.00 -10.95 0.17 0.21 2.87

Degree 2 24 11.95 10.50 478 3.30e+38 88.69 7.68 0.64 2.69

Eccentricity 2 4 3.12 3.00 125 3.60e+19 45.03 0.51 0.16 0.75

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.53	1.00	0.78	0.74	31.12	0.00	-10.95	0.17	0.21	2.87
Degree	2	24	11.95	10.50	478	3.30e+38	88.69	7.68	0.64	2.69
Eccentricity	2	4	3.12	3.00	125	3.60e+19	45.03	0.51	0.16	0.75

Dual graph

Density: 9.46%
MCB compute time (ms): 162
MCB cycles: 405
Triangles: 791
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 0.67 0.49 0.48 50.23 0.00 -74.81 0.06 0.13 3.34

Degree 3 16 9.65 10.00 994 MAX VALUE 228.49 2.84 0.29 2.40

Eccentricity 3 5 3.96 4.00 408 MAX VALUE 141.25 0.39 0.10 0.53

MCB cycle size 3 5 3.16 3.00 1,281 MAX VALUE 463.21 0.44 0.14 0.47

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	0.67	0.49	0.48	50.23	0.00	-74.81	0.06	0.13	3.34
Degree	3	16	9.65	10.00	994	MAX VALUE	228.49	2.84	0.29	2.40
Eccentricity	3	5	3.96	4.00	408	MAX VALUE	141.25	0.39	0.10	0.53
MCB cycle size	3	5	3.16	3.00	1,281	MAX VALUE	463.21	0.44	0.14	0.47

Minimal dual graph

Density: 3.16%
MCB compute time (ms): 26
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.06 0.68 0.21 1.02

Eccentricity 6 7 6.67 7.00 687 MAX VALUE 195.19 0.47 0.07 0.63

MCB cycle size 4 9 6.77 7.00 433 MAX VALUE 121.49 1.09 0.16 1.49

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.06	0.68	0.21	1.02
Eccentricity	6	7	6.67	7.00	687	MAX VALUE	195.19	0.47	0.07	0.63
MCB cycle size	4	9	6.77	7.00	433	MAX VALUE	121.49	1.09	0.16	1.49

Triangulated dual graph

Density: 32.44%
Triangles: 16,979

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

Clustering coefficient 0.59 1.00 0.79 0.78 81.63 0.00 -25.16 0.12 0.15 4.12

Degree 3 64 33.09 36.00 3,408 MAX VALUE 335.40 18.91 0.57 3.63

Eccentricity 2 4 3.17 3.00 327 MAX VALUE 117.75 0.49 0.15 0.71

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.59	1.00	0.79	0.78	81.63	0.00	-25.16	0.12	0.15	4.12
Degree	3	64	33.09	36.00	3,408	MAX VALUE	335.40	18.91	0.57	3.63
Eccentricity	2	4	3.17	3.00	327	MAX VALUE	117.75	0.49	0.15	0.71

Triangulated minimal dual graph

Density: 11.75%

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

Clustering coefficient 0.47 1.00 0.76 0.67 78.20 0.00 -31.48 0.19 0.25 2.76

Degree 2 38 11.98 5.00 1,234 MAX VALUE 203.07 11.97 1.00 2.84

Eccentricity 3 5 3.85 4.00 397 MAX VALUE 137.83 0.56 0.15 0.84

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	1.00	0.76	0.67	78.20	0.00	-31.48	0.19	0.25	2.76
Degree	2	38	11.98	5.00	1,234	MAX VALUE	203.07	11.97	1.00	2.84
Eccentricity	3	5	3.85	4.00	397	MAX VALUE	137.83	0.56	0.15	0.84

Incidence graph

Density: 2.03%
MCB compute time (ms): 38
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 134.42 1.72 0.60 1.08

Eccentricity 7 10 8.16 8.00 1,167 MAX VALUE 299.63 0.74 0.09 1.09

MCB cycle size 6 10 7.66 8.00 490 MAX VALUE 129.47 1.20 0.16 0.90

XCSP 2.1 Benchmarks