XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-52_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:07
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 3 31 16.04 16.00 263,082 MAX VALUE 45,073.50 3.61 0.23 2.70

Relational linkage 0.04 0.29 0.15 0.15 469.85 0.00 -5,975.98 0.03 0.20 2.32

Tightness 0.79 0.81 0.80 0.80 82.35 0.00 -23.05 0.01 0.01 4.29

Tuples 1,211 1,366 1,283.25 1,279.00 132,175 MAX VALUE 737.15 36.22 0.03 4.29

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 9.91e+26 62.16 1.79 0.34 1.92

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	3	31	16.04	16.00	263,082	MAX VALUE	45,073.50	3.61	0.23	2.70
Relational linkage	0.04	0.29	0.15	0.15	469.85	0.00	-5,975.98	0.03	0.20	2.32
Tightness	0.79	0.81	0.80	0.80	82.35	0.00	-23.05	0.01	0.01	4.29
Tuples	1,211	1,366	1,283.25	1,279.00	132,175	MAX VALUE	737.15	36.22	0.03	4.29
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	9.91e+26	62.16	1.79	0.34	1.92
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: 27
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 16 6.37 6.00 172 3.91e+19 45.11 3.73 0.59 2.27

Cluster variables 2 14 6.63 5.00 179 6.18e+20 47.87 3.35 0.50 2.20

Separator constraints 0 12 2.56 2.00 69 0 None 3.18 1.24 1.91

Separator variables 0 13 5.15 4.00 139 0 None 3.18 0.62 2.27

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	16	6.37	6.00	172	3.91e+19	45.11	3.73	0.59	2.27
Cluster variables	2	14	6.63	5.00	179	6.18e+20	47.87	3.35	0.50	2.20
Separator constraints	0	12	2.56	2.00	69	0	None	3.18	1.24	1.91
Separator variables	0	13	5.15	4.00	139	0	None	3.18	0.62	2.27

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 6 64 29.16 25.50 1,108 MAX VALUE 122.24 15.40 0.53 3.38

Cluster variables 5 33 13.58 11.50 516 MAX VALUE 94.47 7.15 0.53 2.64

Separator constraints 0 38 16.03 14.00 609 0 None 9.44 0.59 3.10

Separator variables 0 24 10.87 10.00 413 0 None 5.44 0.50 2.64

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	6	64	29.16	25.50	1,108	MAX VALUE	122.24	15.40	0.53	3.38
Cluster variables	5	33	13.58	11.50	516	MAX VALUE	94.47	7.15	0.53	2.64
Separator constraints	0	38	16.03	14.00	609	0	None	9.44	0.59	3.10
Separator variables	0	24	10.87	10.00	413	0	None	5.44	0.50	2.64

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.67 None 0.11 None None None None None 2.62

Degree 1 9 5.15 5.00 206 9.91e+26 62.16 1.89 0.37 1.99

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.67	None	0.11	None	None	None	None	None	2.62
Degree	1	9	5.15	5.00	206	9.91e+26	62.16	1.89	0.37	1.99
Eccentricity	3	4	3.67	4.00	147	2.87e+22	51.71	0.47	0.13	0.63

Triangulated primal graph

Density: 29.49%

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

Clustering coefficient 0.52 1.00 None 0.75 None None None None None 2.79

Degree 1 24 11.50 10.00 460 6.87e+36 84.82 7.88 0.69 2.59

Eccentricity 2 4 3.23 3.00 129 1.14e+20 46.18 0.57 0.18 0.85

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.52	1.00	None	0.75	None	None	None	None	None	2.79
Degree	1	24	11.50	10.00	460	6.87e+36	84.82	7.88	0.69	2.59
Eccentricity	2	4	3.23	3.00	129	1.14e+20	46.18	0.57	0.18	0.85

Dual graph

Density: 9.50%
MCB compute time (ms): 116
MCB cycles: 414
Triangles: 766
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.48 52.43 0.00 -70.68 0.08 0.16 3.34

Degree 4 15 9.69 10.00 998 MAX VALUE 230.93 2.23 0.23 2.16

Eccentricity 3 4 3.88 4.00 400 MAX VALUE 139.34 0.32 0.08 0.36

MCB cycle size 3 6 3.18 3.00 1,317 MAX VALUE 475.31 0.49 0.15 0.50

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	0.51	0.48	52.43	0.00	-70.68	0.08	0.16	3.34
Degree	4	15	9.69	10.00	998	MAX VALUE	230.93	2.23	0.23	2.16
Eccentricity	3	4	3.88	4.00	400	MAX VALUE	139.34	0.32	0.08	0.36
MCB cycle size	3	6	3.18	3.00	1,317	MAX VALUE	475.31	0.49	0.15	0.50

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.83 0.57 0.18 0.86

Eccentricity 6 8 6.70 7.00 690 MAX VALUE 195.49 0.60 0.09 0.90

MCB cycle size 4 9 6.89 7.00 441 MAX VALUE 122.16 1.35 0.20 1.63

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.83	0.57	0.18	0.86
Eccentricity	6	8	6.70	7.00	690	MAX VALUE	195.49	0.60	0.09	0.90
MCB cycle size	4	9	6.89	7.00	441	MAX VALUE	122.16	1.35	0.20	1.63

Triangulated dual graph

Density: 30.74%
Triangles: 15,238

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

Clustering coefficient 0.57 1.00 0.79 0.78 81.41 0.00 -25.52 0.13 0.16 4.14

Degree 4 63 31.36 29.00 3,230 MAX VALUE 330.48 18.41 0.59 3.73

Eccentricity 2 3 2.68 3.00 276 MAX VALUE 99.78 0.47 0.17 0.63

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.57	1.00	0.79	0.78	81.41	0.00	-25.52	0.13	0.16	4.14
Degree	4	63	31.36	29.00	3,230	MAX VALUE	330.48	18.41	0.59	3.73
Eccentricity	2	3	2.68	3.00	276	MAX VALUE	99.78	0.47	0.17	0.63

Triangulated minimal dual graph

Density: 11.92%

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

Clustering coefficient 0.45 1.00 0.75 0.67 77.63 0.00 -32.29 0.19 0.25 2.95

Degree 2 38 12.16 6.00 1,252 MAX VALUE 209.55 11.54 0.95 2.84

Eccentricity 3 4 3.62 4.00 373 MAX VALUE 131.57 0.49 0.13 0.66

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.45	1.00	0.75	0.67	77.63	0.00	-32.29	0.19	0.25	2.95
Degree	2	38	12.16	6.00	1,252	MAX VALUE	209.55	11.54	0.95	2.84
Eccentricity	3	4	3.62	4.00	373	MAX VALUE	131.57	0.49	0.13	0.66

Incidence graph

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

Degree 1 9 2.88 2.00 412 MAX VALUE 133.56 1.73 0.60 1.08

Eccentricity 7 9 8.09 8.00 1,157 MAX VALUE 298.50 0.66 0.08 0.98

MCB cycle size 6 10 7.50 8.00 480 MAX VALUE 128.16 1.17 0.16 0.87

XCSP 2.1 Benchmarks