XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-84_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:56:57
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 1 16 10.41 10.00 83,260 MAX VALUE 18,594.30 1.90 0.18 2.06

Relational linkage 0.06 0.62 0.45 0.44 290.12 0.00 -517.30 0.08 0.17 1.58

Tightness 0.27 0.43 0.35 0.35 87.38 0.00 -263.67 0.03 0.08 3.35

Tuples 145 186 166.52 166.00 41,630 MAX VALUE 1,278.52 7.51 0.05 3.35

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

Constraints per subscope 7 18 12.50 12.50 500 MAX VALUE 100.12 2.60 0.21 2.27

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	1	16	10.41	10.00	83,260	MAX VALUE	18,594.30	1.90	0.18	2.06
Relational linkage	0.06	0.62	0.45	0.44	290.12	0.00	-517.30	0.08	0.17	1.58
Tightness	0.27	0.43	0.35	0.35	87.38	0.00	-263.67	0.03	0.08	3.35
Tuples	145	186	166.52	166.00	41,630	MAX VALUE	1,278.52	7.51	0.05	3.35
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	7	18	12.50	12.50	500	MAX VALUE	100.12	2.60	0.21	2.27
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: 16
Number of leaves: 9
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 13 107 54.44 37.50 871 1.23e+26 60.07 35.75 0.66 2.60

Cluster variables 8 25 16.31 14.50 261 6.45e+18 43.31 6.56 0.40 2.17

Separator constraints 0 97 38.81 21.00 621 0 None 34.87 0.90 2.69

Separator variables 0 24 13.81 12.00 221 0 None 7.13 0.52 2.31

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	13	107	54.44	37.50	871	1.23e+26	60.07	35.75	0.66	2.60
Cluster variables	8	25	16.31	14.50	261	6.45e+18	43.31	6.56	0.40	2.17
Separator constraints	0	97	38.81	21.00	621	0	None	34.87	0.90	2.69
Separator variables	0	24	13.81	12.00	221	0	None	7.13	0.52	2.31

Dual tree decomposition

Number of clusters: 38
Number of leaves: 18
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 75 849 269.03 201.50 10,223 MAX VALUE 204.57 189.61 0.70 3.51

Cluster variables 17 127 42.89 31.50 1,630 MAX VALUE 136.32 28.13 0.66 3.21

Separator constraints 0 462 189.82 164.50 7,213 0 None 110.27 0.58 3.53

Separator variables 0 91 36.32 29.50 1,380 0 None 21.11 0.58 3.19

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	75	849	269.03	201.50	10,223	MAX VALUE	204.57	189.61	0.70	3.51
Cluster variables	17	127	42.89	31.50	1,630	MAX VALUE	136.32	28.13	0.66	3.21
Separator constraints	0	462	189.82	164.50	7,213	0	None	110.27	0.58	3.53
Separator variables	0	91	36.32	29.50	1,380	0	None	21.11	0.58	3.19

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.57 0.32 0.32 12.84 0.00 -45.97 0.06 0.17 3.19

Degree 7 18 12.50 12.50 500 MAX VALUE 100.12 2.60 0.21 2.27

Eccentricity 2 3 2.15 2.00 86 1.25e+13 30.16 0.36 0.17 0.42

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.22	0.57	0.32	0.32	12.84	0.00	-45.97	0.06	0.17	3.19
Degree	7	18	12.50	12.50	500	MAX VALUE	100.12	2.60	0.21	2.27
Eccentricity	2	3	2.15	2.00	86	1.25e+13	30.16	0.36	0.17	0.42

Triangulated primal graph

Density: 66.79%

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

Clustering coefficient 0.73 1.00 0.88 0.85 35.05 0.00 -5.45 0.08 0.09 3.13

Degree 7 36 26.05 31.00 1,042 MAX VALUE 126.36 9.33 0.36 2.58

Eccentricity 2 2 2.00 2.00 80 1.10e+12 27.73 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.73	1.00	0.88	0.85	35.05	0.00	-5.45	0.08	0.09	3.13
Degree	7	36	26.05	31.00	1,042	MAX VALUE	126.36	9.33	0.36	2.58
Eccentricity	2	2	2.00	2.00	80	1.10e+12	27.73	0.00	0.00	0.00

Dual graph

Density: 9.67%
MCB compute time (ms): 2,291
MCB cycles: 3,294
Triangles: 11,943
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.47 0.58 0.50 0.50 126.05 0.00 -171.34 0.02 0.03 4.55

Degree 16 34 24.08 24.00 6,020 MAX VALUE 792.51 3.58 0.15 2.66

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

MCB cycle size 3 4 3.09 3.00 10,180 MAX VALUE 3,704.56 0.29 0.09 0.30

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	0.58	0.50	0.50	126.05	0.00	-171.34	0.02	0.03	4.55
Degree	16	34	24.08	24.00	6,020	MAX VALUE	792.51	3.58	0.15	2.66
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	4	3.09	3.00	10,180	MAX VALUE	3,704.56	0.29	0.09	0.30

Minimal dual graph

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

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

Clustering coefficient 0.00 0.17 0.00 0.00 0.33 0.00 None 0.01 9.70 0.08

Degree 2 6 3.68 4.00 920 MAX VALUE 319.76 0.81 0.22 1.16

Eccentricity 6 9 7.17 7.00 1,792 MAX VALUE 491.60 0.58 0.08 0.87

MCB cycle size 3 9 6.85 7.00 1,445 MAX VALUE 402.86 1.13 0.16 1.52

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.17	0.00	0.00	0.33	0.00	None	0.01	9.70	0.08
Degree	2	6	3.68	4.00	920	MAX VALUE	319.76	0.81	0.22	1.16
Eccentricity	6	9	7.17	7.00	1,792	MAX VALUE	491.60	0.58	0.08	0.87
MCB cycle size	3	9	6.85	7.00	1,445	MAX VALUE	402.86	1.13	0.16	1.52

Triangulated dual graph

Density: 52.51%
Triangles: 668,180

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

Clustering coefficient 0.72 1.00 0.84 0.82 210.98 0.00 -43.50 0.08 0.09 4.83

Degree 16 194 130.75 157.00 32,688 MAX VALUE 1,178.37 56.64 0.43 4.01

Eccentricity 2 3 2.26 2.00 565 MAX VALUE 199.64 0.44 0.19 0.57

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.72	1.00	0.84	0.82	210.98	0.00	-43.50	0.08	0.09	4.83
Degree	16	194	130.75	157.00	32,688	MAX VALUE	1,178.37	56.64	0.43	4.01
Eccentricity	2	3	2.26	2.00	565	MAX VALUE	199.64	0.44	0.19	0.57

Triangulated minimal dual graph

Density: 11.25%

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

Clustering coefficient 0.48 1.00 0.82 0.78 204.69 0.00 -53.85 0.14 0.17 3.40

Degree 2 88 28.01 7.00 7,002 MAX VALUE 620.25 32.89 1.17 3.11

Eccentricity 3 5 3.72 4.00 930 MAX VALUE 325.92 0.52 0.14 0.75

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	1.00	0.82	0.78	204.69	0.00	-53.85	0.14	0.17	3.40
Degree	2	88	28.01	7.00	7,002	MAX VALUE	620.25	32.89	1.17	3.11
Eccentricity	3	5	3.72	4.00	930	MAX VALUE	325.92	0.52	0.14	0.75

Incidence graph

Density: 1.19%
MCB compute time (ms): 252
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 18 3.45 2.00 1,000 MAX VALUE 273.41 3.75 1.09 0.71

Eccentricity 5 6 5.88 6.00 1,706 MAX VALUE 513.41 0.32 0.05 0.36

MCB cycle size 6 8 6.02 6.00 1,270 MAX VALUE 378.64 0.19 0.03 0.05

XCSP 2.1 Benchmarks