XCSP 2.1 Benchmark Database

Instance: rand-2-40-16-250-350-57_ext
Number of variables: 40
Number of constraints: 250
Satisfiable: None
Timestamp: 2017-10-27 10:56:56
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.41 10.00 83,276 MAX VALUE 18,598.40 1.90 0.18 2.06

Relational linkage 0.12 0.62 0.45 0.44 290.50 0.00 -514.61 0.07 0.16 1.54

Tightness 0.27 0.44 0.35 0.35 87.35 0.00 -263.73 0.03 0.08 3.35

Tuples 144 188 166.55 167.00 41,638 MAX VALUE 1,278.58 7.34 0.04 3.35

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

Constraints per subscope 7 19 12.50 12.00 500 MAX VALUE 99.87 2.97 0.24 2.41

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.41	10.00	83,276	MAX VALUE	18,598.40	1.90	0.18	2.06
Relational linkage	0.12	0.62	0.45	0.44	290.50	0.00	-514.61	0.07	0.16	1.54
Tightness	0.27	0.44	0.35	0.35	87.35	0.00	-263.73	0.03	0.08	3.35
Tuples	144	188	166.55	167.00	41,638	MAX VALUE	1,278.58	7.34	0.04	3.35
Domain size	16	16	16.00	16.00	640	MAX VALUE	110.90	0.00	0.00	0.00
Constraints per subscope	7	19	12.50	12.00	500	MAX VALUE	99.87	2.97	0.24	2.41
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: 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 14 101 47.25 45.00 756 2.67e+25 58.55 28.07 0.59 2.69

Cluster variables 8 25 15.44 14.00 247 3.60e+18 42.73 5.56 0.36 2.39

Separator constraints 0 84 31.62 23.00 506 0 None 25.39 0.80 2.60

Separator variables 0 23 12.94 11.50 207 0 None 5.99 0.46 2.39

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	14	101	47.25	45.00	756	2.67e+25	58.55	28.07	0.59	2.69
Cluster variables	8	25	15.44	14.00	247	3.60e+18	42.73	5.56	0.36	2.39
Separator constraints	0	84	31.62	23.00	506	0	None	25.39	0.80	2.60
Separator variables	0	23	12.94	11.50	207	0	None	5.99	0.46	2.39

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 50 819 272.26 231.50 10,346 MAX VALUE 203.93 201.47 0.74 3.64

Cluster variables 14 127 43.32 31.00 1,646 MAX VALUE 136.15 29.60 0.68 3.28

Separator constraints 0 460 191.95 173.00 7,294 0 None 117.75 0.61 3.53

Separator variables 0 98 36.74 29.00 1,396 0 None 22.58 0.61 3.37

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	50	819	272.26	231.50	10,346	MAX VALUE	203.93	201.47	0.74	3.64
Cluster variables	14	127	43.32	31.00	1,646	MAX VALUE	136.15	29.60	0.68	3.28
Separator constraints	0	460	191.95	173.00	7,294	0	None	117.75	0.61	3.53
Separator variables	0	98	36.74	29.00	1,396	0	None	22.58	0.61	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.19 0.42 0.31 0.32 12.52 0.00 -47.07 0.05 0.17 3.21

Degree 7 19 12.50 12.00 500 MAX VALUE 99.87 2.97 0.24 2.41

Eccentricity 2 3 2.27 2.00 91 9.51e+13 32.19 0.45 0.20 0.59

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.19	0.42	0.31	0.32	12.52	0.00	-47.07	0.05	0.17	3.21
Degree	7	19	12.50	12.00	500	MAX VALUE	99.87	2.97	0.24	2.41
Eccentricity	2	3	2.27	2.00	91	9.51e+13	32.19	0.45	0.20	0.59

Triangulated primal graph

Density: 65.00%

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

Clustering coefficient 0.68 1.00 0.87 0.85 34.64 0.00 -5.99 0.09 0.11 3.13

Degree 7 37 25.35 29.50 1,014 MAX VALUE 125.33 9.28 0.37 2.86

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.68	1.00	0.87	0.85	34.64	0.00	-5.99	0.09	0.11	3.13
Degree	7	37	25.35	29.50	1,014	MAX VALUE	125.33	9.28	0.37	2.86
Eccentricity	2	2	2.00	2.00	80	1.10e+12	27.73	0.00	0.00	0.00

Dual graph

Density: 9.81%
MCB compute time (ms): 3,127
MCB cycles: 3,261
Triangles: 12,467
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.62 0.51 0.50 126.82 0.00 -169.88 0.02 0.04 4.71

Degree 13 35 24.42 24.00 6,104 MAX VALUE 795.02 4.17 0.17 2.81

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

MCB cycle size 3 4 3.12 3.00 10,163 MAX VALUE 3,691.89 0.32 0.10 0.36

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	0.62	0.51	0.50	126.82	0.00	-169.88	0.02	0.04	4.71
Degree	13	35	24.42	24.00	6,104	MAX VALUE	795.02	4.17	0.17	2.81
Eccentricity	3	3	3.00	3.00	750	MAX VALUE	274.65	0.00	0.00	0.00
MCB cycle size	3	4	3.12	3.00	10,163	MAX VALUE	3,691.89	0.32	0.10	0.36

Minimal dual graph

Density: 1.48%
MCB compute time (ms): 342
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.04 0.80 0.22 1.13

Eccentricity 6 10 7.59 8.00 1,898 MAX VALUE 505.53 0.77 0.10 1.13

MCB cycle size 3 9 6.64 7.00 1,401 MAX VALUE 396.08 1.13 0.17 1.52

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.04	0.80	0.22	1.13
Eccentricity	6	10	7.59	8.00	1,898	MAX VALUE	505.53	0.77	0.10	1.13
MCB cycle size	3	9	6.64	7.00	1,401	MAX VALUE	396.08	1.13	0.17	1.52

Triangulated dual graph

Density: 54.09%
Triangles: 713,671

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

Clustering coefficient 0.72 1.00 0.85 0.84 212.56 0.00 -41.59 0.08 0.09 4.88

Degree 13 204 134.68 154.00 33,670 MAX VALUE 1,185.37 57.62 0.43 4.22

Eccentricity 2 3 2.20 2.00 550 MAX VALUE 193.56 0.40 0.18 0.50

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.72	1.00	0.85	0.84	212.56	0.00	-41.59	0.08	0.09	4.88
Degree	13	204	134.68	154.00	33,670	MAX VALUE	1,185.37	57.62	0.43	4.22
Eccentricity	2	3	2.20	2.00	550	MAX VALUE	193.56	0.40	0.18	0.50

Triangulated minimal dual graph

Density: 10.83%

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

Clustering coefficient 0.52 1.00 0.81 0.76 203.52 0.00 -55.73 0.15 0.19 3.43

Degree 2 90 26.96 7.00 6,740 MAX VALUE 617.77 31.35 1.16 3.21

Eccentricity 3 5 3.81 4.00 952 MAX VALUE 331.67 0.54 0.14 0.80

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.52	1.00	0.81	0.76	203.52	0.00	-55.73	0.15	0.19	3.43
Degree	2	90	26.96	7.00	6,740	MAX VALUE	617.77	31.35	1.16	3.21
Eccentricity	3	5	3.81	4.00	952	MAX VALUE	331.67	0.54	0.14	0.80

Incidence graph

Density: 1.19%
MCB compute time (ms): 256
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.15 3.79 1.10 0.73

Eccentricity 5 7 5.92 6.00 1,718 MAX VALUE 515.40 0.34 0.06 0.44

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