XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-36_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:57:01
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,380 MAX VALUE 18,605.50 1.92 0.18 2.07

Relational linkage 0.19 0.62 0.45 0.44 289.69 0.00 -516.01 0.07 0.16 1.55

Tightness 0.29 0.42 0.35 0.35 87.15 0.00 -264.33 0.03 0.08 3.36

Tuples 149 183 166.76 167.00 41,690 MAX VALUE 1,278.89 7.43 0.04 3.36

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 13.00 500 MAX VALUE 99.82 2.96 0.24 2.31

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,380	MAX VALUE	18,605.50	1.92	0.18	2.07
Relational linkage	0.19	0.62	0.45	0.44	289.69	0.00	-516.01	0.07	0.16	1.55
Tightness	0.29	0.42	0.35	0.35	87.15	0.00	-264.33	0.03	0.08	3.36
Tuples	149	183	166.76	167.00	41,690	MAX VALUE	1,278.89	7.43	0.04	3.36
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	13.00	500	MAX VALUE	99.82	2.96	0.24	2.31
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: 17
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 14 94 40.94 33.00 696 9.95e+25 59.86 25.31 0.62 2.75

Cluster variables 8 23 13.94 12.00 237 1.04e+19 43.79 4.89 0.35 2.26

Separator constraints 0 71 26.24 19.00 446 0 None 21.08 0.80 2.75

Separator variables 0 21 11.59 11.00 197 0 None 5.11 0.44 2.34

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	14	94	40.94	33.00	696	9.95e+25	59.86	25.31	0.62	2.75
Cluster variables	8	23	13.94	12.00	237	1.04e+19	43.79	4.89	0.35	2.26
Separator constraints	0	71	26.24	19.00	446	0	None	21.08	0.80	2.75
Separator variables	0	21	11.59	11.00	197	0	None	5.11	0.44	2.34

Dual tree decomposition

Number of clusters: 38
Number of leaves: 15
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 59 747 262.11 204.00 9,960 MAX VALUE 203.72 177.80 0.68 3.60

Cluster variables 15 120 42.58 31.50 1,618 MAX VALUE 135.92 28.11 0.66 3.35

Separator constraints 0 417 181.84 162.00 6,910 0 None 101.62 0.56 3.49

Separator variables 0 95 36.00 28.50 1,368 0 None 21.42 0.59 3.37

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	59	747	262.11	204.00	9,960	MAX VALUE	203.72	177.80	0.68	3.60
Cluster variables	15	120	42.58	31.50	1,618	MAX VALUE	135.92	28.11	0.66	3.35
Separator constraints	0	417	181.84	162.00	6,910	0	None	101.62	0.56	3.49
Separator variables	0	95	36.00	28.50	1,368	0	None	21.42	0.59	3.37

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.17 0.50 0.32 0.32 12.76 0.00 -46.49 0.06 0.20 3.32

Degree 7 18 12.50 13.00 500 MAX VALUE 99.82 2.96 0.24 2.31

Eccentricity 2 3 2.23 2.00 89 4.23e+13 31.38 0.42 0.19 0.53

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.17	0.50	0.32	0.32	12.76	0.00	-46.49	0.06	0.20	3.32
Degree	7	18	12.50	13.00	500	MAX VALUE	99.82	2.96	0.24	2.31
Eccentricity	2	3	2.23	2.00	89	4.23e+13	31.38	0.42	0.19	0.53

Triangulated primal graph

Density: 60.51%

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

Clustering coefficient 0.63 1.00 0.85 0.84 34.09 0.00 -6.71 0.11 0.12 3.08

Degree 7 37 23.60 28.00 944 MAX VALUE 121.93 9.42 0.40 2.82

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.63	1.00	0.85	0.84	34.09	0.00	-6.71	0.11	0.12	3.08
Degree	7	37	23.60	28.00	944	MAX VALUE	121.93	9.42	0.40	2.82
Eccentricity	2	2	2.00	2.00	80	1.10e+12	27.73	0.00	0.00	0.00

Dual graph

Density: 9.80%
MCB compute time (ms): 4,054
MCB cycles: 2,939
Triangles: 12,374
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.60 0.51 0.50 127.50 0.00 -168.56 0.02 0.04 4.58

Degree 14 33 24.40 24.00 6,100 MAX VALUE 795.72 3.63 0.15 2.68

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

MCB cycle size 3 4 3.02 3.00 8,868 MAX VALUE 3,243.49 0.13 0.04 0.09

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	0.60	0.51	0.50	127.50	0.00	-168.56	0.02	0.04	4.58
Degree	14	33	24.40	24.00	6,100	MAX VALUE	795.72	3.63	0.15	2.68
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	4	3.02	3.00	8,868	MAX VALUE	3,243.49	0.13	0.04	0.09

Minimal dual graph

Density: 1.48%
MCB compute time (ms): 354
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 5 3.68 4.00 920 MAX VALUE 320.58 0.74 0.20 1.09

Eccentricity 6 9 7.24 7.00 1,810 MAX VALUE 494.12 0.58 0.08 0.86

MCB cycle size 4 9 6.74 7.00 1,423 MAX VALUE 399.07 1.19 0.18 1.55

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	5	3.68	4.00	920	MAX VALUE	320.58	0.74	0.20	1.09
Eccentricity	6	9	7.24	7.00	1,810	MAX VALUE	494.12	0.58	0.08	0.86
MCB cycle size	4	9	6.74	7.00	1,423	MAX VALUE	399.07	1.19	0.18	1.55

Triangulated dual graph

Density: 51.37%
Triangles: 641,433

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

Clustering coefficient 0.71 1.00 0.84 0.83 210.76 0.00 -43.86 0.08 0.10 4.98

Degree 14 196 127.91 144.00 31,978 MAX VALUE 1,170.90 56.98 0.45 4.22

Eccentricity 2 3 2.23 2.00 558 MAX VALUE 196.80 0.42 0.19 0.54

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.71	1.00	0.84	0.83	210.76	0.00	-43.86	0.08	0.10	4.98
Degree	14	196	127.91	144.00	31,978	MAX VALUE	1,170.90	56.98	0.45	4.22
Eccentricity	2	3	2.23	2.00	558	MAX VALUE	196.80	0.42	0.19	0.54

Triangulated minimal dual graph

Density: 11.42%

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

Clustering coefficient 0.55 1.00 0.82 0.77 204.65 0.00 -53.81 0.14 0.17 3.49

Degree 2 88 28.43 8.00 7,108 MAX VALUE 627.99 32.85 1.16 3.23

Eccentricity 3 4 3.62 4.00 904 MAX VALUE 318.96 0.49 0.13 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.55	1.00	0.82	0.77	204.65	0.00	-53.81	0.14	0.17	3.49
Degree	2	88	28.43	8.00	7,108	MAX VALUE	627.99	32.85	1.16	3.23
Eccentricity	3	4	3.62	4.00	904	MAX VALUE	318.96	0.49	0.13	0.67

Incidence graph

Density: 1.19%
MCB compute time (ms): 248
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.11 3.78 1.10 0.72

Eccentricity 5 6 5.89 6.00 1,709 MAX VALUE 513.96 0.31 0.05 0.34

MCB cycle size 6 8 6.07 6.00 1,280 MAX VALUE 380.07 0.36 0.06 0.15

XCSP 2.1 Benchmarks