XCSP 2.1 Benchmark Database

Instance: rand-2-40-180-84-900-84_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:16
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,520
Number of unique subscopes: 36

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 4 38 17.98 18.00 530,873 MAX VALUE 84,509.90 4.05 0.23 2.81

Relational linkage 0.02 0.14 0.08 0.08 496.79 0.00 -16,777.90 0.02 0.20 2.43

Tightness 0.89 0.90 0.90 0.90 75.61 0.00 -8.84 0.00 0.00 4.04

Tuples 3,138 3,411 3,236.39 3,235.00 271,857 MAX VALUE 678.90 51.03 0.02 4.04

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.56 4.00 164 4.64e+22 52.19 1.67 0.37 1.83

Partitions per subscope 180 180 180.00 180.00 6,480 MAX VALUE 186.95 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	4	38	17.98	18.00	530,873	MAX VALUE	84,509.90	4.05	0.23	2.81
Relational linkage	0.02	0.14	0.08	0.08	496.79	0.00	-16,777.90	0.02	0.20	2.43
Tightness	0.89	0.90	0.90	0.90	75.61	0.00	-8.84	0.00	0.00	4.04
Tuples	3,138	3,411	3,236.39	3,235.00	271,857	MAX VALUE	678.90	51.03	0.02	4.04
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.56	4.00	164	4.64e+22	52.19	1.67	0.37	1.83
Partitions per subscope	180	180	180.00	180.00	6,480	MAX VALUE	186.95	0.00	0.00	0.00

Tree decomposition

Number of clusters: 31
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 8 3.55 4.00 110 1.97e+15 35.22 1.66 0.47 1.72

Cluster variables 2 10 5.19 5.00 161 5.39e+20 47.74 2.37 0.46 2.05

Separator constraints 0 3 0.84 1.00 26 0 None 0.95 1.14 1.20

Separator variables 0 9 3.90 3.00 121 0 None 2.32 0.59 2.11

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	8	3.55	4.00	110	1.97e+15	35.22	1.66	0.47	1.72
Cluster variables	2	10	5.19	5.00	161	5.39e+20	47.74	2.37	0.46	2.05
Separator constraints	0	3	0.84	1.00	26	0	None	0.95	1.14	1.20
Separator variables	0	9	3.90	3.00	121	0	None	2.32	0.59	2.11

Dual tree decomposition

Number of clusters: 38
Number of leaves: 13
Tree depth: 7
Dot-file path: None
PDF-file path: None

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

Cluster constraints 3 51 19.50 16.00 741 MAX VALUE 104.91 11.96 0.61 3.12

Cluster variables 3 26 10.55 9.00 401 4.64e+36 84.43 5.66 0.54 2.72

Separator constraints 0 34 10.50 10.00 399 0 None 7.18 0.68 2.81

Separator variables 0 18 8.34 7.50 317 0 None 4.37 0.52 2.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	51	19.50	16.00	741	MAX VALUE	104.91	11.96	0.61	3.12
Cluster variables	3	26	10.55	9.00	401	4.64e+36	84.43	5.66	0.54	2.72
Separator constraints	0	34	10.50	10.00	399	0	None	7.18	0.68	2.81
Separator variables	0	18	8.34	7.50	317	0	None	4.37	0.52	2.69

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 None None None 0.07 None None None None None 2.18

Degree 1 9 4.20 4.00 168 4.64e+22 52.19 1.91 0.46 1.97

Eccentricity 3 5 4.33 4.00 173 1.93e+25 58.22 0.57 0.13 0.84

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	None	None	None	0.07	None	None	None	None	None	2.18
Degree	1	9	4.20	4.00	168	4.64e+22	52.19	1.91	0.46	1.97
Eccentricity	3	5	4.33	4.00	173	1.93e+25	58.22	0.57	0.13	0.84

Triangulated primal graph

Density: 21.28%

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

Clustering coefficient None None None 0.76 None None None None None 3.20

Degree 1 21 8.30 5.00 332 2.12e+30 69.83 6.49 0.78 2.56

Eccentricity 3 5 3.65 4.00 146 1.77e+22 51.23 0.61 0.17 0.90

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	None	None	None	0.76	None	None	None	None	None	3.20
Degree	1	21	8.30	5.00	332	2.12e+30	69.83	6.49	0.78	2.56
Eccentricity	3	5	3.65	4.00	146	1.77e+22	51.23	0.61	0.17	0.90

Dual graph

Density: 9.81%
MCB compute time (ms): 56
MCB cycles: 270
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.33 1.00 0.52 0.50 43.83 0.00 -56.74 0.13 0.25 2.99

Degree 2 13 8.14 8.00 684 MAX VALUE 171.82 2.38 0.29 2.21

Eccentricity 3 5 4.19 4.00 352 MAX VALUE 119.95 0.42 0.10 0.57

MCB cycle size 3 6 3.26 3.00 879 MAX VALUE 314.80 0.62 0.19 0.60

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	0.52	0.50	43.83	0.00	-56.74	0.13	0.25	2.99
Degree	2	13	8.14	8.00	684	MAX VALUE	171.82	2.38	0.29	2.21
Eccentricity	3	5	4.19	4.00	352	MAX VALUE	119.95	0.42	0.10	0.57
MCB cycle size	3	6	3.26	3.00	879	MAX VALUE	314.80	0.62	0.19	0.60

Minimal dual graph

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

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

Degree 1 4 3.05 3.00 256 MAX VALUE 91.85 0.58 0.19 0.85

Eccentricity 6 9 7.01 7.00 589 MAX VALUE 163.27 0.63 0.09 0.92

MCB cycle size 4 10 7.04 7.00 317 5.43e+37 86.89 1.40 0.20 1.70

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.40
Degree	1	4	3.05	3.00	256	MAX VALUE	91.85	0.58	0.19	0.85
Eccentricity	6	9	7.01	7.00	589	MAX VALUE	163.27	0.63	0.09	0.92
MCB cycle size	4	10	7.04	7.00	317	5.43e+37	86.89	1.40	0.20	1.70

Triangulated dual graph

Density: 28.63%
Triangles: 7,086

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

Clustering coefficient 0.54 1.00 0.78 0.76 65.56 0.00 -22.00 0.13 0.17 3.84

Degree 2 50 23.76 21.00 1,996 MAX VALUE 243.69 14.60 0.61 3.54

Eccentricity 2 4 3.13 3.00 263 MAX VALUE 94.98 0.46 0.15 0.65

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.54	1.00	0.78	0.76	65.56	0.00	-22.00	0.13	0.17	3.84
Degree	2	50	23.76	21.00	1,996	MAX VALUE	243.69	14.60	0.61	3.54
Eccentricity	2	4	3.13	3.00	263	MAX VALUE	94.98	0.46	0.15	0.65

Triangulated minimal dual graph

Density: 12.16%

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

Degree 1 32 10.10 5.00 848 MAX VALUE 158.25 9.23 0.91 2.74

Eccentricity 3 5 4.10 4.00 344 MAX VALUE 117.39 0.63 0.15 0.94

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.87
Degree	1	32	10.10	5.00	848	MAX VALUE	158.25	9.23	0.91	2.74
Eccentricity	3	5	4.10	4.00	344	MAX VALUE	117.39	0.63	0.15	0.94

Incidence graph

Density: 2.20%
MCB compute time (ms): 24
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 None None None 0.00 None None None None None 1.02

Degree 1 9 2.71 2.00 336 MAX VALUE 110.42 1.50 0.55 1.19

Eccentricity 7 11 9.04 9.00 1,121 MAX VALUE 272.46 0.85 0.09 1.24

MCB cycle size 6 12 8.09 8.00 364 MAX VALUE 93.27 1.52 0.19 1.12

XCSP 2.1 Benchmarks