XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-69_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:59
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 33 15.99 16.00 262,184 MAX VALUE 45,033.20 3.55 0.22 2.68

Relational linkage 0.06 0.26 0.15 0.15 469.69 0.00 -5,968.66 0.03 0.19 2.26

Tightness 0.79 0.81 0.80 0.80 82.42 0.00 -22.96 0.01 0.01 4.13

Tuples 1,221 1,359 1,278.92 1,277.00 131,729 MAX VALUE 736.81 32.27 0.03 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 12 5.26 5.00 205 9.08e+26 62.07 1.89 0.36 1.79

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	33	15.99	16.00	262,184	MAX VALUE	45,033.20	3.55	0.22	2.68
Relational linkage	0.06	0.26	0.15	0.15	469.69	0.00	-5,968.66	0.03	0.19	2.26
Tightness	0.79	0.81	0.80	0.80	82.42	0.00	-22.96	0.01	0.01	4.13
Tuples	1,221	1,359	1,278.92	1,277.00	131,729	MAX VALUE	736.81	32.27	0.03	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	12	5.26	5.00	205	9.08e+26	62.07	1.89	0.36	1.79
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: 16
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 12 6.04 6.00 163 1.23e+19 43.95 3.21 0.53 2.32

Cluster variables 2 14 7.00 6.00 189 1.92e+21 49.01 3.55 0.51 2.16

Separator constraints 0 9 2.22 1.00 60 0 None 2.86 1.29 1.77

Separator variables 0 13 5.52 5.00 149 0 None 3.45 0.62 2.21

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	12	6.04	6.00	163	1.23e+19	43.95	3.21	0.53	2.32
Cluster variables	2	14	7.00	6.00	189	1.92e+21	49.01	3.55	0.51	2.16
Separator constraints	0	9	2.22	1.00	60	0	None	2.86	1.29	1.77
Separator variables	0	13	5.52	5.00	149	0	None	3.45	0.62	2.21

Dual tree decomposition

Number of clusters: 38
Number of leaves: 16
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 11 84 33.29 27.50 1,265 MAX VALUE 126.70 20.12 0.60 3.16

Cluster variables 6 38 14.58 12.00 554 MAX VALUE 96.83 8.29 0.57 2.68

Separator constraints 0 55 19.97 17.00 759 0 None 13.56 0.68 3.12

Separator variables 0 30 11.87 11.00 451 0 None 6.40 0.54 2.71

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	11	84	33.29	27.50	1,265	MAX VALUE	126.70	20.12	0.60	3.16
Cluster variables	6	38	14.58	12.00	554	MAX VALUE	96.83	8.29	0.57	2.68
Separator constraints	0	55	19.97	17.00	759	0	None	13.56	0.68	3.12
Separator variables	0	30	11.87	11.00	451	0	None	6.40	0.54	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 0.00 0.33 None 0.07 None None None None None 2.07

Degree 1 12 5.15 5.00 206 9.08e+26 62.07 1.98 0.38 1.86

Eccentricity 3 4 3.50 3.50 140 3.83e+21 49.70 0.50 0.14 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	None	0.07	None	None	None	None	None	2.07
Degree	1	12	5.15	5.00	206	9.08e+26	62.07	1.98	0.38	1.86
Eccentricity	3	4	3.50	3.50	140	3.83e+21	49.70	0.50	0.14	0.69

Triangulated primal graph

Density: 30.77%

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

Clustering coefficient 0.42 1.00 None 0.76 None None None None None 2.84

Degree 1 30 12.00 10.00 480 1.98e+37 85.88 8.37 0.70 2.77

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.42	1.00	None	0.76	None	None	None	None	None	2.84
Degree	1	30	12.00	10.00	480	1.98e+37	85.88	8.37	0.70	2.77
Eccentricity	2	3	2.60	3.00	104	1.85e+16	37.46	0.49	0.19	0.67

Dual graph

Density: 9.63%
MCB compute time (ms): 96
MCB cycles: 417
Triangles: 822
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.40 1.00 0.51 0.47 52.10 0.00 -71.31 0.08 0.16 3.04

Degree 5 17 9.83 10.00 1,012 MAX VALUE 231.97 2.56 0.26 2.22

Eccentricity 3 4 3.77 4.00 388 MAX VALUE 135.88 0.42 0.11 0.54

MCB cycle size 3 5 3.18 3.00 1,325 MAX VALUE 478.44 0.47 0.15 0.49

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	1.00	0.51	0.47	52.10	0.00	-71.31	0.08	0.16	3.04
Degree	5	17	9.83	10.00	1,012	MAX VALUE	231.97	2.56	0.26	2.22
Eccentricity	3	4	3.77	4.00	388	MAX VALUE	135.88	0.42	0.11	0.54
MCB cycle size	3	5	3.18	3.00	1,325	MAX VALUE	478.44	0.47	0.15	0.49

Minimal dual graph

Density: 3.16%
MCB compute time (ms): 25
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.77 0.59 0.18 0.89

Eccentricity 6 8 6.59 7.00 679 MAX VALUE 193.83 0.60 0.09 0.87

MCB cycle size 4 9 7.12 7.50 456 MAX VALUE 124.57 1.21 0.17 1.39

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.77	0.59	0.18	0.89
Eccentricity	6	8	6.59	7.00	679	MAX VALUE	193.83	0.60	0.09	0.87
MCB cycle size	4	9	7.12	7.50	456	MAX VALUE	124.57	1.21	0.17	1.39

Triangulated dual graph

Density: 34.99%
Triangles: 20,481

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

Clustering coefficient 0.63 1.00 0.80 0.77 82.87 0.00 -23.44 0.12 0.14 4.06

Degree 5 66 35.69 36.00 3,676 MAX VALUE 342.64 20.70 0.58 3.56

Eccentricity 2 4 2.83 3.00 292 MAX VALUE 105.91 0.44 0.16 0.62

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.63	1.00	0.80	0.77	82.87	0.00	-23.44	0.12	0.14	4.06
Degree	5	66	35.69	36.00	3,676	MAX VALUE	342.64	20.70	0.58	3.56
Eccentricity	2	4	2.83	3.00	292	MAX VALUE	105.91	0.44	0.16	0.62

Triangulated minimal dual graph

Density: 12.55%

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

Clustering coefficient 0.48 1.00 0.77 0.69 79.50 0.00 -29.77 0.19 0.24 2.85

Degree 2 38 12.80 6.00 1,318 MAX VALUE 210.78 12.47 0.97 2.76

Eccentricity 3 5 3.72 4.00 383 MAX VALUE 134.25 0.51 0.14 0.74

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	1.00	0.77	0.69	79.50	0.00	-29.77	0.19	0.24	2.85
Degree	2	38	12.80	6.00	1,318	MAX VALUE	210.78	12.47	0.97	2.76
Eccentricity	3	5	3.72	4.00	383	MAX VALUE	134.25	0.51	0.14	0.74

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.26

Degree 1 12 2.88 2.00 412 MAX VALUE 133.47 1.76 0.61 1.04

Eccentricity 6 9 7.77 8.00 1,111 MAX VALUE 292.74 0.60 0.08 0.91

MCB cycle size 6 10 7.72 8.00 494 MAX VALUE 130.04 1.17 0.15 0.87

XCSP 2.1 Benchmarks