XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-59_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:03
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 4 33 16.01 16.00 262,561 MAX VALUE 45,053.90 3.56 0.22 2.69

Relational linkage 0.05 0.28 0.15 0.15 469.46 0.00 -5,971.68 0.03 0.19 2.27

Tightness 0.79 0.81 0.80 0.80 82.39 0.00 -23.00 0.00 0.01 4.24

Tuples 1,190 1,369 1,280.69 1,279.00 131,911 MAX VALUE 736.95 31.09 0.02 4.24

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 7.99e+26 61.95 1.85 0.35 1.96

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	4	33	16.01	16.00	262,561	MAX VALUE	45,053.90	3.56	0.22	2.69
Relational linkage	0.05	0.28	0.15	0.15	469.46	0.00	-5,971.68	0.03	0.19	2.27
Tightness	0.79	0.81	0.80	0.80	82.39	0.00	-23.00	0.00	0.01	4.24
Tuples	1,190	1,369	1,280.69	1,279.00	131,911	MAX VALUE	736.95	31.09	0.02	4.24
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	7.99e+26	61.95	1.85	0.35	1.96
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: 11
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 1 17 6.78 5.00 183 3.74e+19 45.07 4.52 0.67 2.39

Cluster variables 2 14 7.00 6.00 189 1.98e+21 49.04 3.49 0.50 2.30

Separator constraints 0 14 2.96 2.00 80 0 None 3.48 1.17 1.95

Separator variables 0 13 5.52 5.00 149 0 None 3.38 0.61 2.35

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	17	6.78	5.00	183	3.74e+19	45.07	4.52	0.67	2.39
Cluster variables	2	14	7.00	6.00	189	1.98e+21	49.04	3.49	0.50	2.30
Separator constraints	0	14	2.96	2.00	80	0	None	3.48	1.17	1.95
Separator variables	0	13	5.52	5.00	149	0	None	3.38	0.61	2.35

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 76 31.50 27.00 1,197 MAX VALUE 122.57 19.54 0.62 3.42

Cluster variables 4 38 14.03 10.50 533 MAX VALUE 94.42 8.41 0.60 2.56

Separator constraints 0 40 18.26 17.00 694 0 None 11.73 0.64 3.21

Separator variables 0 29 11.32 9.00 430 0 None 6.53 0.58 2.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	4	76	31.50	27.00	1,197	MAX VALUE	122.57	19.54	0.62	3.42
Cluster variables	4	38	14.03	10.50	533	MAX VALUE	94.42	8.41	0.60	2.56
Separator constraints	0	40	18.26	17.00	694	0	None	11.73	0.64	3.21
Separator variables	0	29	11.32	9.00	430	0	None	6.53	0.58	2.68

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.10 None None None None None 2.43

Degree 1 9 5.15 5.00 206 7.99e+26 61.95 1.94 0.38 2.03

Eccentricity 3 4 3.77 4.00 151 9.08e+22 52.86 0.42 0.11 0.53

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.67	None	0.10	None	None	None	None	None	2.43
Degree	1	9	5.15	5.00	206	7.99e+26	61.95	1.94	0.38	2.03
Eccentricity	3	4	3.77	4.00	151	9.08e+22	52.86	0.42	0.11	0.53

Triangulated primal graph

Density: 30.77%

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

Clustering coefficient 0.53 1.00 None 0.74 None None None None None 3.13

Degree 1 25 12.00 11.50 480 6.60e+37 87.08 7.77 0.65 2.74

Eccentricity 2 4 2.98 3.00 119 4.50e+18 42.95 0.52 0.18 0.78

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.53	1.00	None	0.74	None	None	None	None	None	3.13
Degree	1	25	12.00	11.50	480	6.60e+37	87.08	7.77	0.65	2.74
Eccentricity	2	4	2.98	3.00	119	4.50e+18	42.95	0.52	0.18	0.78

Dual graph

Density: 9.58%
MCB compute time (ms): 113
MCB cycles: 408
Triangles: 784
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.50 0.49 51.50 0.00 -72.42 0.08 0.16 3.41

Degree 3 15 9.77 10.00 1,006 MAX VALUE 230.57 2.58 0.26 2.31

Eccentricity 3 4 3.91 4.00 403 MAX VALUE 140.20 0.28 0.07 0.30

MCB cycle size 3 5 3.16 3.00 1,289 MAX VALUE 465.84 0.47 0.15 0.44

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	0.50	0.49	51.50	0.00	-72.42	0.08	0.16	3.41
Degree	3	15	9.77	10.00	1,006	MAX VALUE	230.57	2.58	0.26	2.31
Eccentricity	3	4	3.91	4.00	403	MAX VALUE	140.20	0.28	0.07	0.30
MCB cycle size	3	5	3.16	3.00	1,289	MAX VALUE	465.84	0.47	0.15	0.44

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 None 0.00 None None None None None 0.72

Degree 1 5 3.22 3.00 332 MAX VALUE 118.00 0.68 0.21 1.02

Eccentricity 6 8 6.71 7.00 691 MAX VALUE 195.58 0.65 0.10 0.95

MCB cycle size 4 9 6.84 7.00 438 MAX VALUE 121.78 1.33 0.19 1.64

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.72
Degree	1	5	3.22	3.00	332	MAX VALUE	118.00	0.68	0.21	1.02
Eccentricity	6	8	6.71	7.00	691	MAX VALUE	195.58	0.65	0.10	0.95
MCB cycle size	4	9	6.84	7.00	438	MAX VALUE	121.78	1.33	0.19	1.64

Triangulated dual graph

Density: 34.00%
Triangles: 19,567

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

Clustering coefficient 0.59 1.00 0.80 0.77 82.51 0.00 -23.81 0.11 0.14 4.11

Degree 3 66 34.68 36.00 3,572 MAX VALUE 337.85 20.60 0.59 3.40

Eccentricity 2 4 2.91 3.00 300 MAX VALUE 108.92 0.42 0.14 0.58

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.59	1.00	0.80	0.77	82.51	0.00	-23.81	0.11	0.14	4.11
Degree	3	66	34.68	36.00	3,572	MAX VALUE	337.85	20.60	0.59	3.40
Eccentricity	2	4	2.91	3.00	300	MAX VALUE	108.92	0.42	0.14	0.58

Triangulated minimal dual graph

Density: 11.50%

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

Clustering coefficient 0.44 1.00 None 0.69 None None None None None 3.20

Degree 1 37 11.73 5.00 1,208 MAX VALUE 204.16 11.36 0.97 2.85

Eccentricity 3 5 3.83 4.00 394 MAX VALUE 137.16 0.53 0.14 0.78

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.44	1.00	None	0.69	None	None	None	None	None	3.20
Degree	1	37	11.73	5.00	1,208	MAX VALUE	204.16	11.36	0.97	2.85
Eccentricity	3	5	3.83	4.00	394	MAX VALUE	137.16	0.53	0.14	0.78

Incidence graph

Density: 2.03%
MCB compute time (ms): 36
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.51

Degree 1 9 2.88 2.00 412 MAX VALUE 133.34 1.75 0.61 1.06

Eccentricity 7 9 8.16 8.00 1,167 MAX VALUE 299.79 0.62 0.08 0.93

MCB cycle size 6 10 7.62 8.00 488 MAX VALUE 128.92 1.41 0.18 1.03

XCSP 2.1 Benchmarks