XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-67_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:57:09
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.40 10.00 83,208 MAX VALUE 18,588.50 1.92 0.18 2.07

Relational linkage 0.12 0.69 0.45 0.44 287.75 0.00 -521.10 0.07 0.16 1.58

Tightness 0.25 0.45 0.35 0.35 87.48 0.00 -263.43 0.03 0.09 3.37

Tuples 141 193 166.42 166.00 41,604 MAX VALUE 1,278.36 7.65 0.05 3.37

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

Constraints per subscope 6 19 12.50 12.00 500 MAX VALUE 99.95 2.93 0.23 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	2	16	10.40	10.00	83,208	MAX VALUE	18,588.50	1.92	0.18	2.07
Relational linkage	0.12	0.69	0.45	0.44	287.75	0.00	-521.10	0.07	0.16	1.58
Tightness	0.25	0.45	0.35	0.35	87.48	0.00	-263.43	0.03	0.09	3.37
Tuples	141	193	166.42	166.00	41,604	MAX VALUE	1,278.36	7.65	0.05	3.37
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	6	19	12.50	12.00	500	MAX VALUE	99.95	2.93	0.23	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: 15
Number of leaves: 9
Tree depth: 3
Dot-file path: None
PDF-file path: None

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

Cluster constraints 9 110 48.60 35.00 729 7.74e+23 55.01 30.73 0.63 2.62

Cluster variables 7 26 15.53 13.00 233 2.62e+17 40.11 5.80 0.37 2.08

Separator constraints 0 83 31.93 21.00 479 0 None 27.57 0.86 2.52

Separator variables 0 23 12.87 12.00 193 0 None 6.13 0.48 2.08

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	9	110	48.60	35.00	729	7.74e+23	55.01	30.73	0.63	2.62
Cluster variables	7	26	15.53	13.00	233	2.62e+17	40.11	5.80	0.37	2.08
Separator constraints	0	83	31.93	21.00	479	0	None	27.57	0.86	2.52
Separator variables	0	23	12.87	12.00	193	0	None	6.13	0.48	2.08

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 71 786 266.53 207.00 10,128 MAX VALUE 203.95 187.15 0.70 3.51

Cluster variables 16 123 42.95 33.00 1,632 MAX VALUE 136.18 28.44 0.66 3.35

Separator constraints 0 441 186.34 177.50 7,081 0 None 107.15 0.58 3.60

Separator variables 0 95 36.37 29.50 1,382 0 None 21.56 0.59 3.38

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	71	786	266.53	207.00	10,128	MAX VALUE	203.95	187.15	0.70	3.51
Cluster variables	16	123	42.95	33.00	1,632	MAX VALUE	136.18	28.44	0.66	3.35
Separator constraints	0	441	186.34	177.50	7,081	0	None	107.15	0.58	3.60
Separator variables	0	95	36.37	29.50	1,382	0	None	21.56	0.59	3.38

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.49 0.32 0.33 12.86 0.00 -46.35 0.07 0.21 3.48

Degree 6 19 12.50 12.00 500 MAX VALUE 99.95 2.93 0.23 2.18

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.19	0.49	0.32	0.33	12.86	0.00	-46.35	0.07	0.21	3.48
Degree	6	19	12.50	12.00	500	MAX VALUE	99.95	2.93	0.23	2.18
Eccentricity	2	3	2.17	2.00	87	1.88e+13	30.56	0.38	0.17	0.46

Triangulated primal graph

Density: 66.41%

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

Clustering coefficient 0.74 1.00 0.87 0.86 34.85 0.00 -5.70 0.09 0.10 3.13

Degree 6 35 25.90 30.00 1,036 MAX VALUE 126.29 9.26 0.36 2.56

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.74	1.00	0.87	0.86	34.85	0.00	-5.70	0.09	0.10	3.13
Degree	6	35	25.90	30.00	1,036	MAX VALUE	126.29	9.26	0.36	2.56
Eccentricity	2	2	2.00	2.00	80	1.10e+12	27.73	0.00	0.00	0.00

Dual graph

Density: 9.79%
MCB compute time (ms): 2,724
MCB cycles: 3,058
Triangles: 12,484
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.65 0.51 0.50 126.74 0.00 -170.07 0.02 0.04 4.59

Degree 15 35 24.38 24.00 6,094 MAX VALUE 794.47 4.33 0.18 2.78

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

MCB cycle size 3 5 3.08 3.00 9,409 MAX VALUE 3,426.97 0.27 0.09 0.27

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	0.65	0.51	0.50	126.74	0.00	-170.07	0.02	0.04	4.59
Degree	15	35	24.38	24.00	6,094	MAX VALUE	794.47	4.33	0.18	2.78
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	5	3.08	3.00	9,409	MAX VALUE	3,426.97	0.27	0.09	0.27

Minimal dual graph

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

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 6 3.68 4.00 920 MAX VALUE 319.44 0.84 0.23 1.18

Eccentricity 6 9 7.24 7.00 1,809 MAX VALUE 493.78 0.65 0.09 0.97

MCB cycle size 4 9 6.75 7.00 1,425 MAX VALUE 399.80 1.12 0.17 1.47

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	6	3.68	4.00	920	MAX VALUE	319.44	0.84	0.23	1.18
Eccentricity	6	9	7.24	7.00	1,809	MAX VALUE	493.78	0.65	0.09	0.97
MCB cycle size	4	9	6.75	7.00	1,425	MAX VALUE	399.80	1.12	0.17	1.47

Triangulated dual graph

Density: 52.43%
Triangles: 662,735

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

Clustering coefficient 0.71 1.00 0.84 0.83 210.99 0.00 -43.63 0.08 0.10 4.85

Degree 15 199 130.56 153.00 32,640 MAX VALUE 1,178.11 56.42 0.43 4.18

Eccentricity 2 3 2.15 2.00 537 MAX VALUE 188.29 0.36 0.17 0.42

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.71	1.00	0.84	0.83	210.99	0.00	-43.63	0.08	0.10	4.85
Degree	15	199	130.56	153.00	32,640	MAX VALUE	1,178.11	56.42	0.43	4.18
Eccentricity	2	3	2.15	2.00	537	MAX VALUE	188.29	0.36	0.17	0.42

Triangulated minimal dual graph

Density: 11.08%

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

Clustering coefficient 0.47 1.00 0.81 0.78 203.44 0.00 -55.61 0.15 0.18 3.51

Degree 2 91 27.60 7.00 6,900 MAX VALUE 621.04 32.17 1.17 3.17

Eccentricity 3 5 3.72 4.00 931 MAX VALUE 326.01 0.54 0.14 0.79

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	1.00	0.81	0.78	203.44	0.00	-55.61	0.15	0.18	3.51
Degree	2	91	27.60	7.00	6,900	MAX VALUE	621.04	32.17	1.17	3.17
Eccentricity	3	5	3.72	4.00	931	MAX VALUE	326.01	0.54	0.14	0.79

Incidence graph

Density: 1.19%
MCB compute time (ms): 224
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.24 3.78 1.10 0.70

Eccentricity 5 6 5.89 6.00 1,707 MAX VALUE 513.59 0.32 0.05 0.35

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