XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-88_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 3 33 16.06 16.00 264,720 MAX VALUE 45,326.10 3.58 0.22 2.69

Relational linkage 0.04 0.26 0.15 0.15 485.35 0.00 -6,101.04 0.03 0.20 2.28

Tightness 0.79 0.81 0.80 0.80 82.32 0.00 -23.09 0.00 0.01 4.21

Tuples 1,218 1,346 1,285.05 1,285.00 132,360 MAX VALUE 737.31 27.62 0.02 4.21

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

Constraints per subscope 2 11 5.15 5.00 206 7.92e+26 61.94 2.22 0.43 1.95

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	33	16.06	16.00	264,720	MAX VALUE	45,326.10	3.58	0.22	2.69
Relational linkage	0.04	0.26	0.15	0.15	485.35	0.00	-6,101.04	0.03	0.20	2.28
Tightness	0.79	0.81	0.80	0.80	82.32	0.00	-23.09	0.00	0.01	4.21
Tuples	1,218	1,346	1,285.05	1,285.00	132,360	MAX VALUE	737.31	27.62	0.02	4.21
Domain size	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00
Constraints per subscope	2	11	5.15	5.00	206	7.92e+26	61.94	2.22	0.43	1.95
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: 28
Number of leaves: 12
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 17 5.96 4.50 167 4.42e+19 45.24 3.75 0.63 2.16

Cluster variables 3 13 6.39 5.00 179 1.94e+21 49.02 3.06 0.48 2.04

Separator constraints 0 13 2.29 1.00 64 0 None 2.99 1.31 1.86

Separator variables 0 12 4.96 4.00 139 0 None 2.95 0.59 2.11

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	17	5.96	4.50	167	4.42e+19	45.24	3.75	0.63	2.16
Cluster variables	3	13	6.39	5.00	179	1.94e+21	49.02	3.06	0.48	2.04
Separator constraints	0	13	2.29	1.00	64	0	None	2.99	1.31	1.86
Separator variables	0	12	4.96	4.00	139	0	None	2.95	0.59	2.11

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 89 32.05 21.50 1,218 MAX VALUE 122.00 23.14 0.72 3.22

Cluster variables 4 39 13.89 11.00 528 MAX VALUE 93.90 8.46 0.61 2.82

Separator constraints 0 51 18.21 14.00 692 0 None 13.95 0.77 3.14

Separator variables 0 28 11.18 10.00 425 0 None 6.56 0.59 2.78

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	4	89	32.05	21.50	1,218	MAX VALUE	122.00	23.14	0.72	3.22
Cluster variables	4	39	13.89	11.00	528	MAX VALUE	93.90	8.46	0.61	2.82
Separator constraints	0	51	18.21	14.00	692	0	None	13.95	0.77	3.14
Separator variables	0	28	11.18	10.00	425	0	None	6.56	0.59	2.78

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 1.00 0.15 0.11 6.03 0.00 None 0.17 1.15 2.37

Degree 2 11 5.15 5.00 206 7.92e+26 61.94 2.22 0.43 1.95

Eccentricity 3 4 3.55 4.00 142 6.82e+21 50.27 0.50 0.14 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	0.15	0.11	6.03	0.00	None	0.17	1.15	2.37
Degree	2	11	5.15	5.00	206	7.92e+26	61.94	2.22	0.43	1.95
Eccentricity	3	4	3.55	4.00	142	6.82e+21	50.27	0.50	0.14	0.69

Triangulated primal graph

Density: 27.82%

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

Clustering coefficient 0.41 1.00 0.79 0.78 31.44 0.00 -10.66 0.17 0.22 2.63

Degree 2 27 10.85 8.50 434 1.23e+36 83.10 7.67 0.71 2.71

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.41	1.00	0.79	0.78	31.44	0.00	-10.66	0.17	0.22	2.63
Degree	2	27	10.85	8.50	434	1.23e+36	83.10	7.67	0.71	2.71
Eccentricity	2	3	2.60	3.00	104	1.85e+16	37.46	0.49	0.19	0.67

Dual graph

Density: 10.01%
MCB compute time (ms): 165
MCB cycles: 431
Triangles: 944
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.82 0.52 0.50 53.47 0.00 -68.68 0.08 0.15 3.39

Degree 3 19 10.21 10.00 1,052 MAX VALUE 233.73 3.27 0.32 2.52

Eccentricity 3 4 3.73 4.00 384 MAX VALUE 134.73 0.44 0.12 0.59

MCB cycle size 3 5 3.13 3.00 1,349 MAX VALUE 489.10 0.39 0.12 0.40

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	0.82	0.52	0.50	53.47	0.00	-68.68	0.08	0.15	3.39
Degree	3	19	10.21	10.00	1,052	MAX VALUE	233.73	3.27	0.32	2.52
Eccentricity	3	4	3.73	4.00	384	MAX VALUE	134.73	0.44	0.12	0.59
MCB cycle size	3	5	3.13	3.00	1,349	MAX VALUE	489.10	0.39	0.12	0.40

Minimal dual graph

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

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

Clustering coefficient 0.00 1.00 0.03 0.00 2.83 0.00 None 0.14 5.21 0.28

Degree 2 5 3.22 3.00 332 MAX VALUE 118.06 0.68 0.21 1.02

Eccentricity 6 8 6.73 7.00 693 MAX VALUE 195.99 0.56 0.08 0.83

MCB cycle size 3 9 6.84 7.00 438 MAX VALUE 121.73 1.29 0.19 1.59

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	0.03	0.00	2.83	0.00	None	0.14	5.21	0.28
Degree	2	5	3.22	3.00	332	MAX VALUE	118.06	0.68	0.21	1.02
Eccentricity	6	8	6.73	7.00	693	MAX VALUE	195.99	0.56	0.08	0.83
MCB cycle size	3	9	6.84	7.00	438	MAX VALUE	121.73	1.29	0.19	1.59

Triangulated dual graph

Density: 33.90%
Triangles: 19,476

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

Clustering coefficient 0.62 1.00 0.80 0.79 82.74 0.00 -23.53 0.11 0.14 4.16

Degree 3 65 34.58 36.00 3,562 MAX VALUE 337.25 20.53 0.59 3.72

Eccentricity 2 3 2.62 3.00 270 MAX VALUE 97.34 0.49 0.19 0.66

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.62	1.00	0.80	0.79	82.74	0.00	-23.53	0.11	0.14	4.16
Degree	3	65	34.58	36.00	3,562	MAX VALUE	337.25	20.53	0.59	3.72
Eccentricity	2	3	2.62	3.00	270	MAX VALUE	97.34	0.49	0.19	0.66

Triangulated minimal dual graph

Density: 11.65%

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

Clustering coefficient 0.44 1.00 0.76 0.67 77.80 0.00 -32.05 0.19 0.25 2.96

Degree 2 38 11.88 5.00 1,224 MAX VALUE 203.58 11.76 0.99 2.86

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.44	1.00	0.76	0.67	77.80	0.00	-32.05	0.19	0.25	2.96
Degree	2	38	11.88	5.00	1,224	MAX VALUE	203.58	11.76	0.99	2.86
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): 46
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 11 2.88 2.00 412 MAX VALUE 133.33 1.84 0.64 1.04

Eccentricity 6 9 7.76 8.00 1,109 MAX VALUE 292.48 0.61 0.08 0.92

MCB cycle size 6 10 7.53 8.00 482 MAX VALUE 128.25 1.31 0.17 0.97

XCSP 2.1 Benchmarks