XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-51_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:53
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 103

General features

Number of coarse blocks: 16,480
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 206 1.01e+31 71.39 0.00 0.00 0.00

Coarse blocks size 3 32 16.01 16.00 263,802 MAX VALUE 45,268.90 3.57 0.22 2.69

Relational linkage 0.04 0.29 0.15 0.15 482.93 0.00 -6,115.99 0.03 0.20 2.27

Tightness 0.79 0.81 0.80 0.80 82.39 0.00 -23.00 0.01 0.01 4.14

Tuples 1,195 1,359 1,280.59 1,281.00 131,901 MAX VALUE 736.93 35.84 0.03 4.14

Domain size 80 80 80.00 80.00 3,200 MAX VALUE 175.28 0.00 0.00 0.00

Constraints per subscope 3 11 5.15 5.00 206 2.57e+27 63.11 1.85 0.36 1.77

Partitions per subscope 80 80 80.00 80.00 3,200 MAX VALUE 175.28 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	206	1.01e+31	71.39	0.00	0.00	0.00
Coarse blocks size	3	32	16.01	16.00	263,802	MAX VALUE	45,268.90	3.57	0.22	2.69
Relational linkage	0.04	0.29	0.15	0.15	482.93	0.00	-6,115.99	0.03	0.20	2.27
Tightness	0.79	0.81	0.80	0.80	82.39	0.00	-23.00	0.01	0.01	4.14
Tuples	1,195	1,359	1,280.59	1,281.00	131,901	MAX VALUE	736.93	35.84	0.03	4.14
Domain size	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00
Constraints per subscope	3	11	5.15	5.00	206	2.57e+27	63.11	1.85	0.36	1.77
Partitions per subscope	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00

Tree decomposition

Number of clusters: 27
Number of leaves: 15
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 2 15 6.11 6.00 165 6.88e+19 45.68 3.11 0.51 2.16

Cluster variables 4 14 6.56 6.00 177 1.11e+21 48.46 2.88 0.44 1.94

Separator constraints 0 12 2.30 2.00 62 0 None 2.62 1.14 1.85

Separator variables 0 12 5.07 4.00 137 0 None 2.68 0.53 1.94

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	15	6.11	6.00	165	6.88e+19	45.68	3.11	0.51	2.16
Cluster variables	4	14	6.56	6.00	177	1.11e+21	48.46	2.88	0.44	1.94
Separator constraints	0	12	2.30	2.00	62	0	None	2.62	1.14	1.85
Separator variables	0	12	5.07	4.00	137	0	None	2.68	0.53	1.94

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 7 86 29.89 28.00 1,136 MAX VALUE 122.78 17.66 0.59 3.19

Cluster variables 5 36 13.92 11.00 529 MAX VALUE 95.31 7.61 0.55 2.69

Separator constraints 0 59 16.84 14.50 640 0 None 11.12 0.66 3.05

Separator variables 0 27 11.21 9.50 426 0 None 5.85 0.52 2.78

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	7	86	29.89	28.00	1,136	MAX VALUE	122.78	17.66	0.59	3.19
Cluster variables	5	36	13.92	11.00	529	MAX VALUE	95.31	7.61	0.55	2.69
Separator constraints	0	59	16.84	14.50	640	0	None	11.12	0.66	3.05
Separator variables	0	27	11.21	9.50	426	0	None	5.85	0.52	2.78

Primal graph

Density: 13.21%
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.67 0.16 0.11 6.31 0.00 None 0.14 0.89 2.36

Degree 3 11 5.15 5.00 206 2.57e+27 63.11 1.85 0.36 1.77

Eccentricity 3 4 3.55 4.00 142 6.82e+21 50.27 0.50 0.14 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.67	0.16	0.11	6.31	0.00	None	0.14	0.89	2.36
Degree	3	11	5.15	5.00	206	2.57e+27	63.11	1.85	0.36	1.77
Eccentricity	3	4	3.55	4.00	142	6.82e+21	50.27	0.50	0.14	0.69

Triangulated primal graph

Density: 29.23%

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

Clustering coefficient 0.48 1.00 0.79 0.77 31.62 0.00 -10.45 0.18 0.23 2.64

Degree 3 25 11.40 10.00 456 2.13e+37 85.95 7.69 0.67 2.51

Eccentricity 2 4 2.75 3.00 110 1.67e+17 39.65 0.54 0.19 0.79

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	1.00	0.79	0.77	31.62	0.00	-10.45	0.18	0.23	2.64
Degree	3	25	11.40	10.00	456	2.13e+37	85.95	7.69	0.67	2.51
Eccentricity	2	4	2.75	3.00	110	1.67e+17	39.65	0.54	0.19	0.79

Dual graph

Density: 9.44%
MCB compute time (ms): 144
MCB cycles: 427
Triangles: 795
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.40 0.71 0.51 0.49 52.22 0.00 -70.71 0.06 0.13 3.28

Degree 4 17 9.63 9.00 992 MAX VALUE 229.50 2.60 0.27 2.28

Eccentricity 3 4 3.85 4.00 397 MAX VALUE 138.47 0.35 0.09 0.42

MCB cycle size 3 6 3.26 3.00 1,391 MAX VALUE 498.37 0.61 0.19 0.61

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	0.71	0.51	0.49	52.22	0.00	-70.71	0.06	0.13	3.28
Degree	4	17	9.63	9.00	992	MAX VALUE	229.50	2.60	0.27	2.28
Eccentricity	3	4	3.85	4.00	397	MAX VALUE	138.47	0.35	0.09	0.42
MCB cycle size	3	6	3.26	3.00	1,391	MAX VALUE	498.37	0.61	0.19	0.61

Minimal dual graph

Density: 3.16%
MCB compute time (ms): 41
MCB cycles: 64

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

Clustering coefficient 0.00 0.33 0.01 0.00 1.50 0.00 None 0.06 4.25 0.26

Degree 2 5 3.22 3.00 332 MAX VALUE 118.65 0.61 0.19 0.92

Eccentricity 6 8 6.79 7.00 699 MAX VALUE 196.96 0.50 0.07 0.72

MCB cycle size 3 9 6.88 7.00 440 MAX VALUE 121.48 1.51 0.22 1.62

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.01	0.00	1.50	0.00	None	0.06	4.25	0.26
Degree	2	5	3.22	3.00	332	MAX VALUE	118.65	0.61	0.19	0.92
Eccentricity	6	8	6.79	7.00	699	MAX VALUE	196.96	0.50	0.07	0.72
MCB cycle size	3	9	6.88	7.00	440	MAX VALUE	121.48	1.51	0.22	1.62

Triangulated dual graph

Density: 32.19%
Triangles: 17,196

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

Clustering coefficient 0.60 1.00 0.80 0.79 82.26 0.00 -24.36 0.12 0.15 4.04

Degree 4 64 32.84 34.00 3,382 MAX VALUE 334.03 19.59 0.60 3.60

Eccentricity 2 4 2.76 3.00 284 MAX VALUE 102.78 0.47 0.17 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.60	1.00	0.80	0.79	82.26	0.00	-24.36	0.12	0.15	4.04
Degree	4	64	32.84	34.00	3,382	MAX VALUE	334.03	19.59	0.60	3.60
Eccentricity	2	4	2.76	3.00	284	MAX VALUE	102.78	0.47	0.17	0.67

Triangulated minimal dual graph

Density: 11.90%

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

Clustering coefficient 0.47 1.00 0.77 0.71 78.99 0.00 -30.60 0.19 0.25 2.93

Degree 2 36 12.14 5.00 1,250 MAX VALUE 206.21 12.03 0.99 2.74

Eccentricity 3 5 3.76 4.00 387 MAX VALUE 135.27 0.53 0.14 0.78

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	1.00	0.77	0.71	78.99	0.00	-30.60	0.19	0.25	2.93
Degree	2	36	12.14	5.00	1,250	MAX VALUE	206.21	12.03	0.99	2.74
Eccentricity	3	5	3.76	4.00	387	MAX VALUE	135.27	0.53	0.14	0.78

Incidence graph

Density: 2.03%
MCB compute time (ms): 57
MCB cycles: 64
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 11 2.88 2.00 412 MAX VALUE 134.51 1.72 0.60 1.09

Eccentricity 6 9 7.85 8.00 1,123 MAX VALUE 294.33 0.57 0.07 0.85

MCB cycle size 6 12 7.66 8.00 490 MAX VALUE 129.17 1.44 0.19 1.05

XCSP 2.1 Benchmarks