XCSP 2.1 Benchmark Database

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

Relational linkage 0.12 0.62 0.45 0.44 289.94 0.00 -516.79 0.08 0.17 1.60

Tightness 0.27 0.44 0.35 0.35 87.69 0.00 -262.90 0.03 0.09 3.39

Tuples 144 188 166.21 166.50 41,552 MAX VALUE 1,278.03 7.89 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 7 17 12.50 13.00 500 MAX VALUE 100.34 2.25 0.18 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.39	10.00	83,104	MAX VALUE	18,577.60	1.92	0.18	2.07
Relational linkage	0.12	0.62	0.45	0.44	289.94	0.00	-516.79	0.08	0.17	1.60
Tightness	0.27	0.44	0.35	0.35	87.69	0.00	-262.90	0.03	0.09	3.39
Tuples	144	188	166.21	166.50	41,552	MAX VALUE	1,278.03	7.89	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	7	17	12.50	13.00	500	MAX VALUE	100.34	2.25	0.18	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: 10
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 16 99 46.69 31.00 747 2.91e+25 58.63 28.11 0.60 2.69

Cluster variables 8 25 15.31 13.00 245 3.09e+18 42.58 5.71 0.37 2.27

Separator constraints 0 84 31.06 19.00 497 0 None 25.93 0.83 2.51

Separator variables 0 23 12.81 11.50 205 0 None 6.11 0.48 2.27

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	16	99	46.69	31.00	747	2.91e+25	58.63	28.11	0.60	2.69
Cluster variables	8	25	15.31	13.00	245	3.09e+18	42.58	5.71	0.37	2.27
Separator constraints	0	84	31.06	19.00	497	0	None	25.93	0.83	2.51
Separator variables	0	23	12.81	11.50	205	0	None	6.11	0.48	2.27

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 76 804 267.92 199.00 10,181 MAX VALUE 204.96 182.04 0.68 3.56

Cluster variables 17 124 43.26 30.00 1,644 MAX VALUE 136.67 28.42 0.66 3.32

Separator constraints 0 459 189.60 161.50 7,205 0 None 105.83 0.56 3.56

Separator variables 0 97 36.68 28.00 1,394 0 None 21.41 0.58 3.28

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	76	804	267.92	199.00	10,181	MAX VALUE	204.96	182.04	0.68	3.56
Cluster variables	17	124	43.26	30.00	1,644	MAX VALUE	136.67	28.42	0.66	3.32
Separator constraints	0	459	189.60	161.50	7,205	0	None	105.83	0.56	3.56
Separator variables	0	97	36.68	28.00	1,394	0	None	21.41	0.58	3.28

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.47 0.33 0.32 13.24 0.00 -44.64 0.05 0.15 3.21

Degree 7 17 12.50 13.00 500 MAX VALUE 100.34 2.25 0.18 2.05

Eccentricity 2 3 2.35 2.00 94 3.21e+14 33.40 0.48 0.20 0.65

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.22	0.47	0.33	0.32	13.24	0.00	-44.64	0.05	0.15	3.21
Degree	7	17	12.50	13.00	500	MAX VALUE	100.34	2.25	0.18	2.05
Eccentricity	2	3	2.35	2.00	94	3.21e+14	33.40	0.48	0.20	0.65

Triangulated primal graph

Density: 64.74%

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

Clustering coefficient 0.73 1.00 0.87 0.84 34.63 0.00 -5.98 0.09 0.10 2.97

Degree 7 35 25.25 30.50 1,010 MAX VALUE 125.09 9.31 0.37 2.56

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.73	1.00	0.87	0.84	34.63	0.00	-5.98	0.09	0.10	2.97
Degree	7	35	25.25	30.50	1,010	MAX VALUE	125.09	9.31	0.37	2.56
Eccentricity	2	3	2.05	2.00	82	2.47e+12	28.54	0.22	0.11	0.20

Dual graph

Density: 9.56%
MCB compute time (ms): 3,617
MCB cycles: 3,094
Triangles: 11,534
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.54 0.00 -172.32 0.01 0.03 4.23

Degree 16 30 23.81 23.50 5,952 MAX VALUE 790.52 2.97 0.12 2.44

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

MCB cycle size 3 4 3.08 3.00 9,517 MAX VALUE 3,466.71 0.26 0.09 0.27

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	0.60	0.50	0.50	125.54	0.00	-172.32	0.01	0.03	4.23
Degree	16	30	23.81	23.50	5,952	MAX VALUE	790.52	2.97	0.12	2.44
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	4	3.08	3.00	9,517	MAX VALUE	3,466.71	0.26	0.09	0.27

Minimal dual graph

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

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

Clustering coefficient 0.00 0.33 0.01 0.00 1.33 0.00 None 0.03 5.78 0.19

Degree 2 5 3.68 4.00 920 MAX VALUE 320.25 0.78 0.21 1.10

Eccentricity 6 9 7.31 7.00 1,827 MAX VALUE 496.45 0.58 0.08 0.87

MCB cycle size 3 10 6.76 7.00 1,426 MAX VALUE 399.32 1.21 0.18 1.57

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.01	0.00	1.33	0.00	None	0.03	5.78	0.19
Degree	2	5	3.68	4.00	920	MAX VALUE	320.25	0.78	0.21	1.10
Eccentricity	6	9	7.31	7.00	1,827	MAX VALUE	496.45	0.58	0.08	0.87
MCB cycle size	3	10	6.76	7.00	1,426	MAX VALUE	399.32	1.21	0.18	1.57

Triangulated dual graph

Density: 53.02%
Triangles: 678,979

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

Clustering coefficient 0.73 1.00 0.85 0.84 211.33 0.00 -43.15 0.08 0.10 4.81

Degree 16 196 132.02 142.00 33,004 MAX VALUE 1,181.62 56.49 0.43 3.82

Eccentricity 2 3 2.20 2.00 549 MAX VALUE 193.16 0.40 0.18 0.49

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.73	1.00	0.85	0.84	211.33	0.00	-43.15	0.08	0.10	4.81
Degree	16	196	132.02	142.00	33,004	MAX VALUE	1,181.62	56.49	0.43	3.82
Eccentricity	2	3	2.20	2.00	549	MAX VALUE	193.16	0.40	0.18	0.49

Triangulated minimal dual graph

Density: 10.74%

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

Clustering coefficient 0.50 1.00 0.81 0.75 201.87 0.00 -57.72 0.15 0.18 3.53

Degree 2 86 26.74 7.00 6,686 MAX VALUE 620.33 30.96 1.16 3.22

Eccentricity 3 5 3.69 4.00 923 MAX VALUE 324.10 0.50 0.14 0.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.81	0.75	201.87	0.00	-57.72	0.15	0.18	3.53
Degree	2	86	26.74	7.00	6,686	MAX VALUE	620.33	30.96	1.16	3.22
Eccentricity	3	5	3.69	4.00	923	MAX VALUE	324.10	0.50	0.14	0.72

Incidence graph

Density: 1.19%
MCB compute time (ms): 349
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.62 3.72 1.08 0.68

Eccentricity 5 7 5.93 6.00 1,720 MAX VALUE 515.79 0.32 0.05 0.40

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