XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-11_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:56:59
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 250

General features

Number of coarse blocks: 8,000
Number of unique subscopes: 40

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

Arity 2 2 2.00 2.00 500 MAX VALUE 173.29 0.00 0.00 0.00

Coarse blocks size 3 16 10.36 10.00 82,876 MAX VALUE 18,554.60 1.92 0.19 2.07

Relational linkage 0.19 0.62 0.45 0.44 287.56 0.00 -521.92 0.07 0.17 1.57

Tightness 0.28 0.44 0.35 0.36 88.13 0.00 -261.57 0.03 0.09 3.38

Tuples 143 185 165.75 165.00 41,438 MAX VALUE 1,277.35 7.70 0.05 3.38

Domain size 16 16 16.00 16.00 640 MAX VALUE 110.90 0.00 0.00 0.00

Constraints per subscope 7 17 12.50 13.00 500 MAX VALUE 100.21 2.46 0.20 2.18

Partitions per subscope 16 16 16.00 16.00 640 MAX VALUE 110.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	500	MAX VALUE	173.29	0.00	0.00	0.00
Coarse blocks size	3	16	10.36	10.00	82,876	MAX VALUE	18,554.60	1.92	0.19	2.07
Relational linkage	0.19	0.62	0.45	0.44	287.56	0.00	-521.92	0.07	0.17	1.57
Tightness	0.28	0.44	0.35	0.36	88.13	0.00	-261.57	0.03	0.09	3.38
Tuples	143	185	165.75	165.00	41,438	MAX VALUE	1,277.35	7.70	0.05	3.38
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	7	17	12.50	13.00	500	MAX VALUE	100.21	2.46	0.20	2.18
Partitions per subscope	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00

Tree decomposition

Number of clusters: 17
Number of leaves: 8
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 15 93 46.18 37.00 785 1.19e+27 62.34 25.70 0.56 2.83

Cluster variables 8 24 15.59 15.00 265 6.31e+19 45.59 5.48 0.35 2.43

Separator constraints 0 74 31.47 23.00 535 0 None 23.94 0.76 2.59

Separator variables 0 22 13.24 12.00 225 0 None 6.04 0.46 2.43

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	15	93	46.18	37.00	785	1.19e+27	62.34	25.70	0.56	2.83
Cluster variables	8	24	15.59	15.00	265	6.31e+19	45.59	5.48	0.35	2.43
Separator constraints	0	74	31.47	23.00	535	0	None	23.94	0.76	2.59
Separator variables	0	22	13.24	12.00	225	0	None	6.04	0.46	2.43

Dual tree decomposition

Number of clusters: 38
Number of leaves: 17
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 68 872 267.03 199.50 10,147 MAX VALUE 204.32 189.52 0.71 3.56

Cluster variables 16 131 43.24 32.00 1,643 MAX VALUE 136.46 28.99 0.67 3.31

Separator constraints 0 481 188.18 162.00 7,151 0 None 112.31 0.60 3.60

Separator variables 0 102 36.66 28.50 1,393 0 None 22.06 0.60 3.30

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	68	872	267.03	199.50	10,147	MAX VALUE	204.32	189.52	0.71	3.56
Cluster variables	16	131	43.24	32.00	1,643	MAX VALUE	136.46	28.99	0.67	3.31
Separator constraints	0	481	188.18	162.00	7,151	0	None	112.31	0.60	3.60
Separator variables	0	102	36.66	28.50	1,393	0	None	22.06	0.60	3.30

Primal graph

Density: 32.05%
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.22 0.40 0.31 0.31 12.49 0.00 -47.04 0.05 0.15 3.48

Degree 7 17 12.50 13.00 500 MAX VALUE 100.21 2.46 0.20 2.18

Eccentricity 2 3 2.12 2.00 85 8.35e+12 29.75 0.33 0.16 0.38

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.22	0.40	0.31	0.31	12.49	0.00	-47.04	0.05	0.15	3.48
Degree	7	17	12.50	13.00	500	MAX VALUE	100.21	2.46	0.20	2.18
Eccentricity	2	3	2.12	2.00	85	8.35e+12	29.75	0.33	0.16	0.38

Triangulated primal graph

Density: 64.23%

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

Clustering coefficient 0.67 1.00 0.86 0.84 34.39 0.00 -6.26 0.09 0.10 3.24

Degree 7 37 25.05 29.00 1,002 MAX VALUE 124.92 9.07 0.36 2.77

Eccentricity 2 3 2.05 2.00 82 2.47e+12 28.54 0.22 0.11 0.20

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.67	1.00	0.86	0.84	34.39	0.00	-6.26	0.09	0.10	3.24
Degree	7	37	25.05	29.00	1,002	MAX VALUE	124.92	9.07	0.36	2.77
Eccentricity	2	3	2.05	2.00	82	2.47e+12	28.54	0.22	0.11	0.20

Dual graph

Density: 9.63%
MCB compute time (ms): 2,374
MCB cycles: 3,128
Triangles: 11,758
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.48 0.60 0.50 0.50 125.75 0.00 -171.94 0.02 0.03 4.36

Degree 15 32 23.97 24.00 5,992 MAX VALUE 791.74 3.30 0.14 2.58

Eccentricity 3 3 3.00 3.00 750 MAX VALUE 274.65 0.00 0.00 0.00

MCB cycle size 3 4 3.10 3.00 9,712 MAX VALUE 3,530.82 0.31 0.10 0.34

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	0.60	0.50	0.50	125.75	0.00	-171.94	0.02	0.03	4.36
Degree	15	32	23.97	24.00	5,992	MAX VALUE	791.74	3.30	0.14	2.58
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	4	3.10	3.00	9,712	MAX VALUE	3,530.82	0.31	0.10	0.34

Minimal dual graph

Density: 1.48%
MCB compute time (ms): 325
MCB cycles: 211

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

Clustering coefficient 0.00 0.33 0.00 0.00 0.60 0.00 None 0.02 10.12 0.08

Degree 2 6 3.68 4.00 920 MAX VALUE 319.60 0.81 0.22 1.19

Eccentricity 6 9 7.30 7.00 1,826 MAX VALUE 496.15 0.64 0.09 0.96

MCB cycle size 3 9 6.62 7.00 1,397 MAX VALUE 395.12 1.18 0.18 1.52

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.00	0.00	0.60	0.00	None	0.02	10.12	0.08
Degree	2	6	3.68	4.00	920	MAX VALUE	319.60	0.81	0.22	1.19
Eccentricity	6	9	7.30	7.00	1,826	MAX VALUE	496.15	0.64	0.09	0.96
MCB cycle size	3	9	6.62	7.00	1,397	MAX VALUE	395.12	1.18	0.18	1.52

Triangulated dual graph

Density: 53.29%
Triangles: 696,930

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

Clustering coefficient 0.73 1.00 0.85 0.83 212.38 0.00 -41.77 0.08 0.09 4.87

Degree 15 196 132.68 156.00 33,170 MAX VALUE 1,180.50 58.09 0.44 3.94

Eccentricity 2 3 2.21 2.00 553 MAX VALUE 194.78 0.41 0.18 0.52

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.73	1.00	0.85	0.83	212.38	0.00	-41.77	0.08	0.09	4.87
Degree	15	196	132.68	156.00	33,170	MAX VALUE	1,180.50	58.09	0.44	3.94
Eccentricity	2	3	2.21	2.00	553	MAX VALUE	194.78	0.41	0.18	0.52

Triangulated minimal dual graph

Density: 11.01%

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

Clustering coefficient 0.50 1.00 0.81 0.75 201.75 0.00 -57.59 0.14 0.18 3.54

Degree 2 88 27.42 7.00 6,856 MAX VALUE 622.13 31.76 1.16 3.24

Eccentricity 3 5 3.80 4.00 950 MAX VALUE 330.96 0.56 0.15 0.83

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.81	0.75	201.75	0.00	-57.59	0.14	0.18	3.54
Degree	2	88	27.42	7.00	6,856	MAX VALUE	622.13	31.76	1.16	3.24
Eccentricity	3	5	3.80	4.00	950	MAX VALUE	330.96	0.56	0.15	0.83

Incidence graph

Density: 1.19%
MCB compute time (ms): 213
MCB cycles: 211
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 0.00 0.00 0.00 0.00 None 0.00 None 0.00

Degree 2 17 3.45 2.00 1,000 MAX VALUE 273.49 3.73 1.08 0.70

Eccentricity 5 6 5.88 6.00 1,705 MAX VALUE 513.23 0.33 0.06 0.37

MCB cycle size 6 8 6.04 6.00 1,274 MAX VALUE 379.21 0.27 0.05 0.09

XCSP 2.1 Benchmarks