XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-5_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:01
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 33 16.07 16.00 263,591 MAX VALUE 45,123.80 3.54 0.22 2.68

Relational linkage 0.04 0.28 0.15 0.15 472.20 0.00 -5,957.31 0.03 0.20 2.29

Tightness 0.79 0.81 0.80 0.80 82.31 0.00 -23.10 0.00 0.01 4.16

Tuples 1,210 1,352 1,285.81 1,284.00 132,438 MAX VALUE 737.36 30.90 0.02 4.16

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.26 5.00 205 1.19e+27 62.34 1.82 0.35 1.85

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	33	16.07	16.00	263,591	MAX VALUE	45,123.80	3.54	0.22	2.68
Relational linkage	0.04	0.28	0.15	0.15	472.20	0.00	-5,957.31	0.03	0.20	2.29
Tightness	0.79	0.81	0.80	0.80	82.31	0.00	-23.10	0.00	0.01	4.16
Tuples	1,210	1,352	1,285.81	1,284.00	132,438	MAX VALUE	737.36	30.90	0.02	4.16
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.26	5.00	205	1.19e+27	62.34	1.82	0.35	1.85
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 15 6.11 5.00 165 1.19e+19 43.92 3.72 0.61 2.16

Cluster variables 2 14 6.67 6.00 180 8.67e+20 48.21 3.24 0.49 2.17

Separator constraints 0 12 2.30 1.00 62 0 None 3.36 1.47 1.66

Separator variables 0 12 5.19 4.00 140 0 None 3.08 0.59 2.17

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	15	6.11	5.00	165	1.19e+19	43.92	3.72	0.61	2.16
Cluster variables	2	14	6.67	6.00	180	8.67e+20	48.21	3.24	0.49	2.17
Separator constraints	0	12	2.30	1.00	62	0	None	3.36	1.47	1.66
Separator variables	0	12	5.19	4.00	140	0	None	3.08	0.59	2.17

Dual tree decomposition

Number of clusters: 38
Number of leaves: 16
Tree depth: 5
Dot-file path: None
PDF-file path: None

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

Cluster constraints 9 78 31.66 27.00 1,203 MAX VALUE 124.30 19.69 0.62 3.21

Cluster variables 5 39 14.50 11.50 551 MAX VALUE 96.10 8.42 0.58 2.86

Separator constraints 0 42 18.47 16.50 702 0 None 11.51 0.62 2.99

Separator variables 0 27 11.79 10.00 448 0 None 6.45 0.55 2.89

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	9	78	31.66	27.00	1,203	MAX VALUE	124.30	19.69	0.62	3.21
Cluster variables	5	39	14.50	11.50	551	MAX VALUE	96.10	8.42	0.58	2.86
Separator constraints	0	42	18.47	16.50	702	0	None	11.51	0.62	2.99
Separator variables	0	27	11.79	10.00	448	0	None	6.45	0.55	2.89

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

Degree 1 11 5.15 5.00 206 1.19e+27 62.34 1.92 0.37 1.93

Eccentricity 3 4 3.65 4.00 146 2.15e+22 51.42 0.48 0.13 0.65

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	None	0.10	None	None	None	None	None	2.36
Degree	1	11	5.15	5.00	206	1.19e+27	62.34	1.92	0.37	1.93
Eccentricity	3	4	3.65	4.00	146	2.15e+22	51.42	0.48	0.13	0.65

Triangulated primal graph

Density: 29.62%

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

Clustering coefficient 0.48 1.00 None 0.80 None None None None None 2.89

Degree 1 26 11.55 8.00 462 8.13e+36 84.99 8.03 0.70 2.74

Eccentricity 2 4 3.15 3.00 126 5.40e+19 45.44 0.48 0.15 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	1.00	None	0.80	None	None	None	None	None	2.89
Degree	1	26	11.55	8.00	462	8.13e+36	84.99	8.03	0.70	2.74
Eccentricity	2	4	3.15	3.00	126	5.40e+19	45.44	0.48	0.15	0.69

Dual graph

Density: 9.54%
MCB compute time (ms): 174
MCB cycles: 417
Triangles: 798
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.50 0.47 51.84 0.00 -71.86 0.08 0.17 3.16

Degree 4 16 9.73 10.00 1,002 MAX VALUE 230.65 2.56 0.26 2.28

Eccentricity 3 4 3.79 4.00 390 MAX VALUE 136.46 0.41 0.11 0.52

MCB cycle size 3 5 3.20 3.00 1,336 MAX VALUE 481.28 0.51 0.16 0.53

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	1.00	0.50	0.47	51.84	0.00	-71.86	0.08	0.17	3.16
Degree	4	16	9.73	10.00	1,002	MAX VALUE	230.65	2.56	0.26	2.28
Eccentricity	3	4	3.79	4.00	390	MAX VALUE	136.46	0.41	0.11	0.52
MCB cycle size	3	5	3.20	3.00	1,336	MAX VALUE	481.28	0.51	0.16	0.53

Minimal dual graph

Density: 3.16%
MCB compute time (ms): 38
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 5 8 6.62 7.00 682 MAX VALUE 194.35 0.54 0.08 0.80

MCB cycle size 4 9 7.03 7.00 450 MAX VALUE 123.93 1.10 0.16 1.44

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	5	8	6.62	7.00	682	MAX VALUE	194.35	0.54	0.08	0.80
MCB cycle size	4	9	7.03	7.00	450	MAX VALUE	123.93	1.10	0.16	1.44

Triangulated dual graph

Density: 35.39%
Triangles: 20,748

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

Clustering coefficient 0.60 1.00 0.80 0.80 82.79 0.00 -23.53 0.11 0.14 4.10

Degree 4 67 36.10 39.00 3,718 MAX VALUE 343.79 20.60 0.57 3.62

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.60	1.00	0.80	0.80	82.79	0.00	-23.53	0.11	0.14	4.10
Degree	4	67	36.10	39.00	3,718	MAX VALUE	343.79	20.60	0.57	3.62
Eccentricity	2	3	2.68	3.00	276	MAX VALUE	99.78	0.47	0.17	0.63

Triangulated minimal dual graph

Density: 12.34%

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

Clustering coefficient 0.50 1.00 0.76 0.69 78.23 0.00 -31.33 0.18 0.24 2.97

Degree 2 39 12.58 6.00 1,296 MAX VALUE 210.49 12.14 0.96 2.93

Eccentricity 3 5 3.98 4.00 410 MAX VALUE 140.99 0.62 0.16 0.94

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.76	0.69	78.23	0.00	-31.33	0.18	0.24	2.97
Degree	2	39	12.58	6.00	1,296	MAX VALUE	210.49	12.14	0.96	2.93
Eccentricity	3	5	3.98	4.00	410	MAX VALUE	140.99	0.62	0.16	0.94

Incidence graph

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

Degree 1 11 2.88 2.00 412 MAX VALUE 133.74 1.74 0.60 1.06

Eccentricity 6 9 7.96 8.00 1,138 MAX VALUE 296.05 0.70 0.09 1.05

MCB cycle size 6 10 7.81 8.00 500 MAX VALUE 130.65 1.31 0.17 0.98

XCSP 2.1 Benchmarks