XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-84_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:57
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,400
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 206 1.01e+31 71.39 0.00 0.00 0.00

Coarse blocks size 5 31 15.96 16.00 261,691 MAX VALUE 44,988.50 3.58 0.22 2.69

Relational linkage 0.06 0.26 0.15 0.15 468.29 0.00 -5,985.10 0.03 0.20 2.31

Tightness 0.79 0.81 0.80 0.80 82.45 0.00 -22.92 0.00 0.01 4.13

Tuples 1,214 1,363 1,276.58 1,282.00 131,488 MAX VALUE 736.62 31.40 0.02 4.13

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

Constraints per subscope 2 9 5.26 5.00 205 6.88e+26 61.80 1.92 0.36 1.97

Partitions per subscope 80 80 80.00 80.00 3,120 MAX VALUE 170.90 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	5	31	15.96	16.00	261,691	MAX VALUE	44,988.50	3.58	0.22	2.69
Relational linkage	0.06	0.26	0.15	0.15	468.29	0.00	-5,985.10	0.03	0.20	2.31
Tightness	0.79	0.81	0.80	0.80	82.45	0.00	-22.92	0.00	0.01	4.13
Tuples	1,214	1,363	1,276.58	1,282.00	131,488	MAX VALUE	736.62	31.40	0.02	4.13
Domain size	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00
Constraints per subscope	2	9	5.26	5.00	205	6.88e+26	61.80	1.92	0.36	1.97
Partitions per subscope	80	80	80.00	80.00	3,120	MAX VALUE	170.90	0.00	0.00	0.00

Tree decomposition

Number of clusters: 28
Number of leaves: 14
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 1 14 5.43 4.00 152 2.89e+18 42.51 3.17 0.58 2.12

Cluster variables 2 13 6.11 5.00 171 5.39e+20 47.74 2.88 0.47 2.12

Separator constraints 0 11 1.75 1.00 49 0 None 2.46 1.40 1.49

Separator variables 0 11 4.68 4.00 131 0 None 2.71 0.58 2.12

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	14	5.43	4.00	152	2.89e+18	42.51	3.17	0.58	2.12
Cluster variables	2	13	6.11	5.00	171	5.39e+20	47.74	2.88	0.47	2.12
Separator constraints	0	11	1.75	1.00	49	0	None	2.46	1.40	1.49
Separator variables	0	11	4.68	4.00	131	0	None	2.71	0.58	2.12

Dual tree decomposition

Number of clusters: 38
Number of leaves: 12
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 75 31.55 27.00 1,199 MAX VALUE 122.83 19.16 0.61 3.19

Cluster variables 4 37 13.84 11.50 526 MAX VALUE 93.90 8.17 0.59 2.67

Separator constraints 0 47 18.18 15.50 691 0 None 11.89 0.65 3.25

Separator variables 0 29 11.13 10.00 423 0 None 6.41 0.58 2.71

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	4	75	31.55	27.00	1,199	MAX VALUE	122.83	19.16	0.61	3.19
Cluster variables	4	37	13.84	11.50	526	MAX VALUE	93.90	8.17	0.59	2.67
Separator constraints	0	47	18.18	15.50	691	0	None	11.89	0.65	3.25
Separator variables	0	29	11.13	10.00	423	0	None	6.41	0.58	2.71

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 None None None 0.10 None None None None None 2.22

Degree 1 9 5.15 5.00 206 6.88e+26 61.80 2.01 0.39 2.03

Eccentricity 3 5 3.95 4.00 158 4.62e+23 54.49 0.59 0.15 0.89

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	None	None	None	0.10	None	None	None	None	None	2.22
Degree	1	9	5.15	5.00	206	6.88e+26	61.80	2.01	0.39	2.03
Eccentricity	3	5	3.95	4.00	158	4.62e+23	54.49	0.59	0.15	0.89

Triangulated primal graph

Density: 26.79%

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

Clustering coefficient None None None 0.75 None None None None None 2.77

Degree 1 24 10.45 8.00 418 1.30e+35 80.86 7.57 0.72 2.68

Eccentricity 2 4 3.27 3.00 131 2.02e+20 46.76 0.59 0.18 0.88

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	None	None	None	0.75	None	None	None	None	None	2.77
Degree	1	24	10.45	8.00	418	1.30e+35	80.86	7.57	0.72	2.68
Eccentricity	2	4	3.27	3.00	131	2.02e+20	46.76	0.59	0.18	0.88

Dual graph

Density: 9.67%
MCB compute time (ms): 83
MCB cycles: 491
Triangles: 801
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.51 0.49 52.58 0.00 -70.30 0.08 0.16 3.18

Degree 3 15 9.86 10.00 1,016 MAX VALUE 231.98 2.41 0.24 2.24

Eccentricity 3 5 3.94 4.00 406 MAX VALUE 140.93 0.31 0.08 0.37

MCB cycle size 3 6 3.43 3.00 1,686 MAX VALUE 595.45 0.76 0.22 0.79

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	0.51	0.49	52.58	0.00	-70.30	0.08	0.16	3.18
Degree	3	15	9.86	10.00	1,016	MAX VALUE	231.98	2.41	0.24	2.24
Eccentricity	3	5	3.94	4.00	406	MAX VALUE	140.93	0.31	0.08	0.37
MCB cycle size	3	6	3.43	3.00	1,686	MAX VALUE	595.45	0.76	0.22	0.79

Minimal dual graph

Density: 3.16%
MCB compute time (ms): 24
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 4 3.22 3.00 332 MAX VALUE 118.48 0.62 0.19 0.93

Eccentricity 6 8 6.68 7.00 688 MAX VALUE 195.26 0.54 0.08 0.80

MCB cycle size 4 9 6.89 7.00 441 MAX VALUE 122.15 1.32 0.19 1.54

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	4	3.22	3.00	332	MAX VALUE	118.48	0.62	0.19	0.93
Eccentricity	6	8	6.68	7.00	688	MAX VALUE	195.26	0.54	0.08	0.80
MCB cycle size	4	9	6.89	7.00	441	MAX VALUE	122.15	1.32	0.19	1.54

Triangulated dual graph

Density: 32.80%
Triangles: 18,155

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

Clustering coefficient 0.60 1.00 0.80 0.76 82.28 0.00 -24.20 0.12 0.14 4.10

Degree 3 64 33.46 30.00 3,446 MAX VALUE 334.11 20.11 0.60 3.63

Eccentricity 2 4 2.88 3.00 297 MAX VALUE 107.70 0.45 0.16 0.63

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.60	1.00	0.80	0.76	82.28	0.00	-24.20	0.12	0.14	4.10
Degree	3	64	33.46	30.00	3,446	MAX VALUE	334.11	20.11	0.60	3.63
Eccentricity	2	4	2.88	3.00	297	MAX VALUE	107.70	0.45	0.16	0.63

Triangulated minimal dual graph

Density: 12.09%

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

Clustering coefficient 0.42 1.00 0.76 0.67 78.60 0.00 -31.04 0.19 0.25 2.93

Degree 2 37 12.33 5.00 1,270 MAX VALUE 207.26 12.06 0.98 2.82

Eccentricity 3 5 3.83 4.00 394 MAX VALUE 137.03 0.56 0.15 0.84

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.42	1.00	0.76	0.67	78.60	0.00	-31.04	0.19	0.25	2.93
Degree	2	37	12.33	5.00	1,270	MAX VALUE	207.26	12.06	0.98	2.82
Eccentricity	3	5	3.83	4.00	394	MAX VALUE	137.03	0.56	0.15	0.84

Incidence graph

Density: 2.03%
MCB compute time (ms): 34
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 None None None 0.00 None None None None None 0.04

Degree 1 9 2.88 2.00 412 MAX VALUE 133.19 1.77 0.61 1.09

Eccentricity 7 11 8.42 8.00 1,204 MAX VALUE 304.03 0.80 0.09 1.17

MCB cycle size 6 10 7.62 8.00 488 MAX VALUE 129.37 1.05 0.14 0.78

XCSP 2.1 Benchmarks