XCSP 2.1 Benchmark Database

Instance: rand-2-40-180-84-900-36_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:28
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 84

General features

Number of coarse blocks: 29,700
Number of unique subscopes: 37

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

Arity 2 2 2.00 2.00 168 1.93e+25 58.22 0.00 0.00 0.00

Coarse blocks size 3 36 18.03 18.00 535,433 MAX VALUE 85,112.80 4.03 0.22 2.81

Relational linkage 0.02 0.14 0.08 0.08 516.84 0.00 -17,164.10 0.02 0.20 2.44

Tightness 0.90 0.90 0.90 0.90 75.59 0.00 -8.86 0.00 0.00 4.15

Tuples 3,105 3,388 3,244.69 3,248.50 272,554 MAX VALUE 679.11 56.61 0.02 4.15

Domain size 180 180 180.00 180.00 7,200 MAX VALUE 207.72 0.00 0.00 0.00

Constraints per subscope 2 9 4.46 4.00 165 6.54e+22 52.54 1.72 0.39 1.73

Partitions per subscope 180 180 180.00 180.00 6,660 MAX VALUE 192.14 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	168	1.93e+25	58.22	0.00	0.00	0.00
Coarse blocks size	3	36	18.03	18.00	535,433	MAX VALUE	85,112.80	4.03	0.22	2.81
Relational linkage	0.02	0.14	0.08	0.08	516.84	0.00	-17,164.10	0.02	0.20	2.44
Tightness	0.90	0.90	0.90	0.90	75.59	0.00	-8.86	0.00	0.00	4.15
Tuples	3,105	3,388	3,244.69	3,248.50	272,554	MAX VALUE	679.11	56.61	0.02	4.15
Domain size	180	180	180.00	180.00	7,200	MAX VALUE	207.72	0.00	0.00	0.00
Constraints per subscope	2	9	4.46	4.00	165	6.54e+22	52.54	1.72	0.39	1.73
Partitions per subscope	180	180	180.00	180.00	6,660	MAX VALUE	192.14	0.00	0.00	0.00

Tree decomposition

Number of clusters: 30
Number of leaves: 14
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 1 9 3.77 4.00 113 1.95e+15 35.21 1.91 0.51 1.92

Cluster variables 2 11 5.03 4.50 151 5.44e+19 45.44 2.33 0.46 1.96

Separator constraints 0 5 0.97 0.00 29 0 None 1.30 1.35 1.30

Separator variables 0 10 3.70 3.00 111 0 None 2.16 0.58 2.01

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	9	3.77	4.00	113	1.95e+15	35.21	1.91	0.51	1.92
Cluster variables	2	11	5.03	4.50	151	5.44e+19	45.44	2.33	0.46	1.96
Separator constraints	0	5	0.97	0.00	29	0	None	1.30	1.35	1.30
Separator variables	0	10	3.70	3.00	111	0	None	2.16	0.58	2.01

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 43 18.68 16.00 710 MAX VALUE 104.77 10.59 0.57 3.00

Cluster variables 4 24 10.32 8.50 392 2.95e+36 83.98 5.43 0.53 2.54

Separator constraints 0 23 9.74 8.50 370 0 None 6.17 0.63 2.87

Separator variables 0 18 8.11 7.00 308 0 None 4.24 0.52 2.47

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	6	43	18.68	16.00	710	MAX VALUE	104.77	10.59	0.57	3.00
Cluster variables	4	24	10.32	8.50	392	2.95e+36	83.98	5.43	0.53	2.54
Separator constraints	0	23	9.74	8.50	370	0	None	6.17	0.63	2.87
Separator variables	0	18	8.11	7.00	308	0	None	4.24	0.52	2.47

Primal graph

Density: 10.77%
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 1.00 None 0.10 None None None None None 2.22

Degree 1 9 4.20 4.00 168 6.54e+22 52.54 1.89 0.45 1.87

Eccentricity 3 5 4.30 4.00 172 1.65e+25 58.06 0.51 0.12 0.74

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.10	None	None	None	None	None	2.22
Degree	1	9	4.20	4.00	168	6.54e+22	52.54	1.89	0.45	1.87
Eccentricity	3	5	4.30	4.00	172	1.65e+25	58.06	0.51	0.12	0.74

Triangulated primal graph

Density: 21.28%

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

Clustering coefficient 0.43 1.00 None 0.73 None None None None None 3.01

Degree 1 22 8.30 5.50 332 2.90e+30 70.14 6.46 0.78 2.68

Eccentricity 3 5 3.73 4.00 149 4.21e+22 52.09 0.59 0.16 0.88

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.43	1.00	None	0.73	None	None	None	None	None	3.01
Degree	1	22	8.30	5.50	332	2.90e+30	70.14	6.46	0.78	2.68
Eccentricity	3	5	3.73	4.00	149	4.21e+22	52.09	0.59	0.16	0.88

Dual graph

Density: 9.75%
MCB compute time (ms): 46
MCB cycles: 264
Triangles: 458
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.53 0.49 44.25 0.00 -55.74 0.12 0.24 3.01

Degree 3 15 8.10 8.00 680 MAX VALUE 171.46 2.42 0.30 2.19

Eccentricity 3 5 4.11 4.00 345 MAX VALUE 118.33 0.38 0.09 0.50

MCB cycle size 3 6 3.22 3.00 850 MAX VALUE 305.41 0.57 0.18 0.54

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	1.00	0.53	0.49	44.25	0.00	-55.74	0.12	0.24	3.01
Degree	3	15	8.10	8.00	680	MAX VALUE	171.46	2.42	0.30	2.19
Eccentricity	3	5	4.11	4.00	345	MAX VALUE	118.33	0.38	0.09	0.50
MCB cycle size	3	6	3.22	3.00	850	MAX VALUE	305.41	0.57	0.18	0.54

Minimal dual graph

Density: 3.67%
MCB compute time (ms): 12
MCB cycles: 45

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

Clustering coefficient 0.00 0.33 None 0.00 None None None None None 0.30

Degree 1 4 3.05 3.00 256 MAX VALUE 90.97 0.69 0.23 1.02

Eccentricity 6 8 7.08 7.00 595 MAX VALUE 164.21 0.54 0.08 0.80

MCB cycle size 3 10 6.84 7.00 308 1.21e+37 85.38 1.43 0.21 1.54

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	None	0.00	None	None	None	None	None	0.30
Degree	1	4	3.05	3.00	256	MAX VALUE	90.97	0.69	0.23	1.02
Eccentricity	6	8	7.08	7.00	595	MAX VALUE	164.21	0.54	0.08	0.80
MCB cycle size	3	10	6.84	7.00	308	1.21e+37	85.38	1.43	0.21	1.54

Triangulated dual graph

Density: 27.31%
Triangles: 6,458

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

Clustering coefficient 0.53 1.00 0.78 0.77 65.36 0.00 -22.32 0.13 0.17 3.95

Degree 3 49 22.67 20.50 1,904 MAX VALUE 239.84 14.24 0.63 3.47

Eccentricity 2 4 3.18 3.00 267 MAX VALUE 96.25 0.47 0.15 0.66

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.53	1.00	0.78	0.77	65.36	0.00	-22.32	0.13	0.17	3.95
Degree	3	49	22.67	20.50	1,904	MAX VALUE	239.84	14.24	0.63	3.47
Eccentricity	2	4	3.18	3.00	267	MAX VALUE	96.25	0.47	0.15	0.66

Triangulated minimal dual graph

Density: 11.65%

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

Clustering coefficient 0.33 1.00 None 0.67 None None None None None 2.89

Degree 1 31 9.67 5.00 812 MAX VALUE 152.87 9.22 0.95 2.76

Eccentricity 3 6 4.35 4.00 365 MAX VALUE 122.47 0.65 0.15 0.97

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	None	0.67	None	None	None	None	None	2.89
Degree	1	31	9.67	5.00	812	MAX VALUE	152.87	9.22	0.95	2.76
Eccentricity	3	6	4.35	4.00	365	MAX VALUE	122.47	0.65	0.15	0.97

Incidence graph

Density: 2.20%
MCB compute time (ms): 21
MCB cycles: 45
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.94

Degree 1 9 2.71 2.00 336 MAX VALUE 110.76 1.49 0.55 1.08

Eccentricity 7 11 8.92 9.00 1,106 MAX VALUE 270.80 0.84 0.09 1.22

MCB cycle size 6 12 8.00 8.00 360 MAX VALUE 92.69 1.58 0.20 1.15

XCSP 2.1 Benchmarks