XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-46_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:56:50
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 2 16 10.38 10.00 83,026 MAX VALUE 18,568.00 1.93 0.19 2.07

Relational linkage 0.12 0.62 0.45 0.44 285.75 0.00 -525.30 0.07 0.16 1.56

Tightness 0.27 0.44 0.35 0.35 87.84 0.00 -262.50 0.03 0.09 3.43

Tuples 144 187 166.05 167.00 41,513 MAX VALUE 1,277.78 8.05 0.05 3.43

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

Constraints per subscope 9 19 12.50 12.50 500 MAX VALUE 100.25 2.48 0.20 2.05

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	2	16	10.38	10.00	83,026	MAX VALUE	18,568.00	1.93	0.19	2.07
Relational linkage	0.12	0.62	0.45	0.44	285.75	0.00	-525.30	0.07	0.16	1.56
Tightness	0.27	0.44	0.35	0.35	87.84	0.00	-262.50	0.03	0.09	3.43
Tuples	144	187	166.05	167.00	41,513	MAX VALUE	1,277.78	8.05	0.05	3.43
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	9	19	12.50	12.50	500	MAX VALUE	100.25	2.48	0.20	2.05
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: 8
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 20 100 46.38 31.00 742 2.23e+25 58.37 29.05 0.63 2.39

Cluster variables 10 24 15.25 12.50 244 3.41e+18 42.67 5.29 0.35 1.89

Separator constraints 0 88 30.75 15.50 492 0 None 26.20 0.85 2.60

Separator variables 0 23 12.75 10.00 204 0 None 5.72 0.45 1.98

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	20	100	46.38	31.00	742	2.23e+25	58.37	29.05	0.63	2.39
Cluster variables	10	24	15.25	12.50	244	3.41e+18	42.67	5.29	0.35	1.89
Separator constraints	0	88	30.75	15.50	492	0	None	26.20	0.85	2.60
Separator variables	0	23	12.75	10.00	204	0	None	5.72	0.45	1.98

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 73 787 262.03 194.50 9,957 MAX VALUE 204.10 177.60 0.68 3.60

Cluster variables 17 126 42.71 31.00 1,623 MAX VALUE 136.27 27.80 0.65 3.27

Separator constraints 0 409 183.13 154.00 6,959 0 None 100.98 0.55 3.44

Separator variables 0 93 36.13 28.50 1,373 0 None 20.91 0.58 3.22

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	73	787	262.03	194.50	9,957	MAX VALUE	204.10	177.60	0.68	3.60
Cluster variables	17	126	42.71	31.00	1,623	MAX VALUE	136.27	27.80	0.65	3.27
Separator constraints	0	409	183.13	154.00	6,959	0	None	100.98	0.55	3.44
Separator variables	0	93	36.13	28.50	1,373	0	None	20.91	0.58	3.22

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.19 0.46 0.31 0.31 12.50 0.00 -47.19 0.06 0.18 3.52

Degree 9 19 12.50 12.50 500 MAX VALUE 100.25 2.48 0.20 2.05

Eccentricity 2 3 2.30 2.00 92 1.43e+14 32.59 0.46 0.20 0.61

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.19	0.46	0.31	0.31	12.50	0.00	-47.19	0.06	0.18	3.52
Degree	9	19	12.50	12.50	500	MAX VALUE	100.25	2.48	0.20	2.05
Eccentricity	2	3	2.30	2.00	92	1.43e+14	32.59	0.46	0.20	0.61

Triangulated primal graph

Density: 64.36%

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

Clustering coefficient 0.73 1.00 0.86 0.84 34.38 0.00 -6.26 0.09 0.10 3.20

Degree 9 34 25.10 29.00 1,004 MAX VALUE 125.16 9.01 0.36 2.44

Eccentricity 2 3 2.17 2.00 87 1.88e+13 30.56 0.38 0.17 0.46

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.73	1.00	0.86	0.84	34.38	0.00	-6.26	0.09	0.10	3.20
Degree	9	34	25.10	29.00	1,004	MAX VALUE	125.16	9.01	0.36	2.44
Eccentricity	2	3	2.17	2.00	87	1.88e+13	30.56	0.38	0.17	0.46

Dual graph

Density: 9.63%
MCB compute time (ms): 2,333
MCB cycles: 3,125
Triangles: 11,836
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.57 0.50 0.50 125.61 0.00 -172.16 0.01 0.03 4.40

Degree 16 33 23.98 24.00 5,996 MAX VALUE 791.49 3.62 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.07 3.00 9,587 MAX VALUE 3,494.15 0.25 0.08 0.25

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	0.57	0.50	0.50	125.61	0.00	-172.16	0.01	0.03	4.40
Degree	16	33	23.98	24.00	5,996	MAX VALUE	791.49	3.62	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.07	3.00	9,587	MAX VALUE	3,494.15	0.25	0.08	0.25

Minimal dual graph

Density: 1.48%
MCB compute time (ms): 373
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.83 0.00 None 0.03 9.43 0.07

Degree 2 6 3.68 4.00 920 MAX VALUE 320.12 0.78 0.21 1.14

Eccentricity 6 8 7.17 7.00 1,792 MAX VALUE 491.59 0.58 0.08 0.86

MCB cycle size 3 9 6.74 7.00 1,422 MAX VALUE 398.97 1.17 0.17 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.83	0.00	None	0.03	9.43	0.07
Degree	2	6	3.68	4.00	920	MAX VALUE	320.12	0.78	0.21	1.14
Eccentricity	6	8	7.17	7.00	1,792	MAX VALUE	491.59	0.58	0.08	0.86
MCB cycle size	3	9	6.74	7.00	1,422	MAX VALUE	398.97	1.17	0.17	1.52

Triangulated dual graph

Density: 51.75%
Triangles: 648,828

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

Clustering coefficient 0.72 1.00 0.84 0.83 210.64 0.00 -44.00 0.08 0.10 4.80

Degree 16 195 128.86 162.00 32,216 MAX VALUE 1,174.24 56.70 0.44 3.99

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.83	210.64	0.00	-44.00	0.08	0.10	4.80
Degree	16	195	128.86	162.00	32,216	MAX VALUE	1,174.24	56.70	0.44	3.99
Eccentricity	2	3	2.26	2.00	565	MAX VALUE	199.64	0.44	0.19	0.57

Triangulated minimal dual graph

Density: 11.67%

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

Clustering coefficient 0.54 1.00 0.82 0.78 205.28 0.00 -52.92 0.14 0.17 3.50

Degree 2 88 29.06 8.00 7,264 MAX VALUE 629.52 33.70 1.16 3.21

Eccentricity 3 5 3.70 4.00 924 MAX VALUE 324.32 0.51 0.14 0.74

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.54	1.00	0.82	0.78	205.28	0.00	-52.92	0.14	0.17	3.50
Degree	2	88	29.06	8.00	7,264	MAX VALUE	629.52	33.70	1.16	3.21
Eccentricity	3	5	3.70	4.00	924	MAX VALUE	324.32	0.51	0.14	0.74

Incidence graph

Density: 1.19%
MCB compute time (ms): 311
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.54 3.74 1.08 0.68

Eccentricity 5 7 5.91 6.00 1,714 MAX VALUE 514.81 0.31 0.05 0.36

MCB cycle size 6 8 6.06 6.00 1,278 MAX VALUE 379.79 0.33 0.05 0.13

XCSP 2.1 Benchmarks