XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-86_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:57:03
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.42 10.00 83,398 MAX VALUE 18,613.30 1.88 0.18 2.05

Relational linkage 0.19 0.69 0.46 0.44 292.44 0.00 -510.63 0.07 0.16 1.59

Tightness 0.27 0.44 0.35 0.35 87.11 0.00 -264.51 0.03 0.09 3.39

Tuples 144 188 166.80 167.00 41,699 MAX VALUE 1,278.92 7.72 0.05 3.39

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

Constraints per subscope 8 19 12.50 12.00 500 MAX VALUE 100.00 2.85 0.23 2.34

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.42	10.00	83,398	MAX VALUE	18,613.30	1.88	0.18	2.05
Relational linkage	0.19	0.69	0.46	0.44	292.44	0.00	-510.63	0.07	0.16	1.59
Tightness	0.27	0.44	0.35	0.35	87.11	0.00	-264.51	0.03	0.09	3.39
Tuples	144	188	166.80	167.00	41,699	MAX VALUE	1,278.92	7.72	0.05	3.39
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	8	19	12.50	12.00	500	MAX VALUE	100.00	2.85	0.23	2.34
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: 18
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 17 89 46.28 38.50 833 4.20e+28 65.91 26.37 0.57 2.63

Cluster variables 9 23 15.17 14.50 273 6.34e+20 47.90 5.13 0.34 2.17

Separator constraints 0 80 32.39 25.50 583 0 None 25.61 0.79 2.66

Separator variables 0 22 12.94 12.50 233 0 None 5.71 0.44 2.27

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	17	89	46.28	38.50	833	4.20e+28	65.91	26.37	0.57	2.63
Cluster variables	9	23	15.17	14.50	273	6.34e+20	47.90	5.13	0.34	2.17
Separator constraints	0	80	32.39	25.50	583	0	None	25.61	0.79	2.66
Separator variables	0	22	12.94	12.50	233	0	None	5.71	0.44	2.27

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 74 820 265.24 208.50 10,079 MAX VALUE 203.87 187.44 0.71 3.53

Cluster variables 17 128 42.84 31.50 1,628 MAX VALUE 136.03 28.81 0.67 3.35

Separator constraints 0 479 185.29 166.50 7,041 0 None 109.31 0.59 3.53

Separator variables 0 100 36.26 28.50 1,378 0 None 21.97 0.61 3.32

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	74	820	265.24	208.50	10,079	MAX VALUE	203.87	187.44	0.71	3.53
Cluster variables	17	128	42.84	31.50	1,628	MAX VALUE	136.03	28.81	0.67	3.35
Separator constraints	0	479	185.29	166.50	7,041	0	None	109.31	0.59	3.53
Separator variables	0	100	36.26	28.50	1,378	0	None	21.97	0.61	3.32

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.16 0.47 0.31 0.32 12.48 0.00 -47.48 0.06 0.20 3.30

Degree 8 19 12.50 12.00 500 MAX VALUE 100.00 2.85 0.23 2.34

Eccentricity 2 3 2.10 2.00 84 5.57e+12 29.35 0.30 0.14 0.33

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.16	0.47	0.31	0.32	12.48	0.00	-47.48	0.06	0.20	3.30
Degree	8	19	12.50	12.00	500	MAX VALUE	100.00	2.85	0.23	2.34
Eccentricity	2	3	2.10	2.00	84	5.57e+12	29.35	0.30	0.14	0.33

Triangulated primal graph

Density: 62.31%

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

Clustering coefficient 0.68 1.00 0.85 0.83 34.16 0.00 -6.59 0.10 0.12 3.01

Degree 8 35 24.30 28.00 972 MAX VALUE 123.49 9.26 0.38 2.73

Eccentricity 2 3 2.10 2.00 84 5.57e+12 29.35 0.30 0.14 0.33

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.68	1.00	0.85	0.83	34.16	0.00	-6.59	0.10	0.12	3.01
Degree	8	35	24.30	28.00	972	MAX VALUE	123.49	9.26	0.38	2.73
Eccentricity	2	3	2.10	2.00	84	5.57e+12	29.35	0.30	0.14	0.33

Dual graph

Density: 9.76%
MCB compute time (ms): 3,468
MCB cycles: 3,119
Triangles: 12,319
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.59 0.51 0.50 126.88 0.00 -169.75 0.02 0.04 4.76

Degree 16 35 24.30 24.00 6,076 MAX VALUE 794.41 3.90 0.16 2.74

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

MCB cycle size 3 4 3.07 3.00 9,576 MAX VALUE 3,489.57 0.26 0.08 0.25

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	0.59	0.51	0.50	126.88	0.00	-169.75	0.02	0.04	4.76
Degree	16	35	24.30	24.00	6,076	MAX VALUE	794.41	3.90	0.16	2.74
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	4	3.07	3.00	9,576	MAX VALUE	3,489.57	0.26	0.08	0.25

Minimal dual graph

Density: 1.48%
MCB compute time (ms): 327
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.37 0.00 None 0.01 9.37 0.07

Degree 2 6 3.68 4.00 920 MAX VALUE 320.36 0.77 0.21 1.11

Eccentricity 6 9 7.26 7.00 1,816 MAX VALUE 494.86 0.61 0.08 0.92

MCB cycle size 3 10 6.68 7.00 1,410 MAX VALUE 397.62 1.12 0.17 1.49

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.17	0.00	0.00	0.37	0.00	None	0.01	9.37	0.07
Degree	2	6	3.68	4.00	920	MAX VALUE	320.36	0.77	0.21	1.11
Eccentricity	6	9	7.26	7.00	1,816	MAX VALUE	494.86	0.61	0.08	0.92
MCB cycle size	3	10	6.68	7.00	1,410	MAX VALUE	397.62	1.12	0.17	1.49

Triangulated dual graph

Density: 52.57%
Triangles: 678,316

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

Clustering coefficient 0.73 1.00 0.85 0.83 211.94 0.00 -42.31 0.08 0.09 4.87

Degree 16 195 130.89 154.00 32,722 MAX VALUE 1,176.47 57.96 0.44 4.06

Eccentricity 2 3 2.18 2.00 546 MAX VALUE 191.94 0.39 0.18 0.48

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.73	1.00	0.85	0.83	211.94	0.00	-42.31	0.08	0.09	4.87
Degree	16	195	130.89	154.00	32,722	MAX VALUE	1,176.47	57.96	0.44	4.06
Eccentricity	2	3	2.18	2.00	546	MAX VALUE	191.94	0.39	0.18	0.48

Triangulated minimal dual graph

Density: 11.00%

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

Clustering coefficient 0.50 1.00 0.81 0.77 202.44 0.00 -56.95 0.15 0.18 3.53

Degree 2 90 27.38 7.00 6,846 MAX VALUE 624.70 31.49 1.15 3.32

Eccentricity 3 5 3.65 4.00 913 MAX VALUE 321.35 0.50 0.14 0.71

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.81	0.77	202.44	0.00	-56.95	0.15	0.18	3.53
Degree	2	90	27.38	7.00	6,846	MAX VALUE	624.70	31.49	1.15	3.32
Eccentricity	3	5	3.65	4.00	913	MAX VALUE	321.35	0.50	0.14	0.71

Incidence graph

Density: 1.19%
MCB compute time (ms): 189
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 19 3.45 2.00 1,000 MAX VALUE 273.28 3.77 1.09 0.72

Eccentricity 5 6 5.88 6.00 1,704 MAX VALUE 513.05 0.33 0.06 0.38

MCB cycle size 6 8 6.08 6.00 1,282 MAX VALUE 380.36 0.38 0.06 0.16

XCSP 2.1 Benchmarks