XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-55_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:58:08
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 34 16.01 16.00 263,782 MAX VALUE 45,260.10 3.60 0.22 2.69

Relational linkage 0.04 0.28 0.15 0.15 481.61 0.00 -6,128.25 0.03 0.20 2.29

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

Tuples 1,196 1,351 1,280.50 1,277.00 131,891 MAX VALUE 736.93 32.84 0.03 4.15

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

Constraints per subscope 2 10 5.15 5.00 206 1.43e+27 62.53 1.99 0.39 1.95

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	34	16.01	16.00	263,782	MAX VALUE	45,260.10	3.60	0.22	2.69
Relational linkage	0.04	0.28	0.15	0.15	481.61	0.00	-6,128.25	0.03	0.20	2.29
Tightness	0.79	0.81	0.80	0.80	82.39	0.00	-23.00	0.01	0.01	4.15
Tuples	1,196	1,351	1,280.50	1,277.00	131,891	MAX VALUE	736.93	32.84	0.03	4.15
Domain size	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00
Constraints per subscope	2	10	5.15	5.00	206	1.43e+27	62.53	1.99	0.39	1.95
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 16 5.85 5.00 158 8.99e+18 43.64 3.41 0.58 2.12

Cluster variables 3 14 6.33 5.00 171 3.42e+20 47.28 2.98 0.47 1.89

Separator constraints 0 11 2.04 1.00 55 0 None 2.69 1.32 1.80

Separator variables 0 13 4.85 4.00 131 0 None 2.74 0.57 1.94

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	16	5.85	5.00	158	8.99e+18	43.64	3.41	0.58	2.12
Cluster variables	3	14	6.33	5.00	171	3.42e+20	47.28	2.98	0.47	1.89
Separator constraints	0	11	2.04	1.00	55	0	None	2.69	1.32	1.80
Separator variables	0	13	4.85	4.00	131	0	None	2.74	0.57	1.94

Dual tree decomposition

Number of clusters: 38
Number of leaves: 14
Tree depth: 6
Dot-file path: None
PDF-file path: None

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

Cluster constraints 9 71 31.00 24.00 1,178 MAX VALUE 123.09 19.24 0.62 3.28

Cluster variables 6 35 14.11 11.00 536 MAX VALUE 95.51 7.79 0.55 2.82

Separator constraints 0 42 17.66 15.50 671 0 None 10.85 0.61 3.07

Separator variables 0 25 11.39 9.50 433 0 None 5.92 0.52 2.81

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	9	71	31.00	24.00	1,178	MAX VALUE	123.09	19.24	0.62	3.28
Cluster variables	6	35	14.11	11.00	536	MAX VALUE	95.51	7.79	0.55	2.82
Separator constraints	0	42	17.66	15.50	671	0	None	10.85	0.61	3.07
Separator variables	0	25	11.39	9.50	433	0	None	5.92	0.52	2.81

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.12 0.10 4.85 0.00 None 0.13 1.08 2.31

Degree 2 10 5.15 5.00 206 1.43e+27 62.53 1.99 0.39 1.95

Eccentricity 3 4 3.67 4.00 147 2.87e+22 51.71 0.47 0.13 0.63

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.67	0.12	0.10	4.85	0.00	None	0.13	1.08	2.31
Degree	2	10	5.15	5.00	206	1.43e+27	62.53	1.99	0.39	1.95
Eccentricity	3	4	3.67	4.00	147	2.87e+22	51.71	0.47	0.13	0.63

Triangulated primal graph

Density: 28.46%

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

Clustering coefficient 0.51 1.00 0.80 0.73 31.92 0.00 -10.08 0.18 0.22 2.55

Degree 2 23 11.10 8.50 444 2.62e+36 83.86 7.78 0.70 2.55

Eccentricity 2 3 2.60 3.00 104 1.85e+16 37.46 0.49 0.19 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.51	1.00	0.80	0.73	31.92	0.00	-10.08	0.18	0.22	2.55
Degree	2	23	11.10	8.50	444	2.62e+36	83.86	7.78	0.70	2.55
Eccentricity	2	3	2.60	3.00	104	1.85e+16	37.46	0.49	0.19	0.67

Dual graph

Density: 9.65%
MCB compute time (ms): 111
MCB cycles: 418
Triangles: 834
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.83 0.00 -69.54 0.06 0.12 3.41

Degree 5 18 9.84 10.00 1,014 MAX VALUE 231.51 2.70 0.27 2.31

Eccentricity 3 4 3.84 4.00 396 MAX VALUE 138.19 0.36 0.09 0.43

MCB cycle size 3 6 3.19 3.00 1,332 MAX VALUE 480.22 0.51 0.16 0.50

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	0.71	0.51	0.49	52.83	0.00	-69.54	0.06	0.12	3.41
Degree	5	18	9.84	10.00	1,014	MAX VALUE	231.51	2.70	0.27	2.31
Eccentricity	3	4	3.84	4.00	396	MAX VALUE	138.19	0.36	0.09	0.43
MCB cycle size	3	6	3.19	3.00	1,332	MAX VALUE	480.22	0.51	0.16	0.50

Minimal dual graph

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

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.22 3.00 332 MAX VALUE 118.53 0.62 0.19 0.94

Eccentricity 6 8 6.84 7.00 705 MAX VALUE 197.84 0.50 0.07 0.73

MCB cycle size 4 10 6.84 7.00 438 MAX VALUE 121.77 1.34 0.20 1.67

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.22	3.00	332	MAX VALUE	118.53	0.62	0.19	0.94
Eccentricity	6	8	6.84	7.00	705	MAX VALUE	197.84	0.50	0.07	0.73
MCB cycle size	4	10	6.84	7.00	438	MAX VALUE	121.77	1.34	0.20	1.67

Triangulated dual graph

Density: 33.26%
Triangles: 17,842

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

Clustering coefficient 0.59 1.00 0.80 0.79 82.10 0.00 -24.59 0.12 0.15 4.13

Degree 5 62 33.92 33.00 3,494 MAX VALUE 338.55 19.34 0.57 3.64

Eccentricity 2 3 2.66 3.00 274 MAX VALUE 98.97 0.47 0.18 0.64

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.59	1.00	0.80	0.79	82.10	0.00	-24.59	0.12	0.15	4.13
Degree	5	62	33.92	33.00	3,494	MAX VALUE	338.55	19.34	0.57	3.64
Eccentricity	2	3	2.66	3.00	274	MAX VALUE	98.97	0.47	0.18	0.64

Triangulated minimal dual graph

Density: 12.53%

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

Clustering coefficient 0.50 1.00 0.77 0.71 79.76 0.00 -29.31 0.18 0.24 2.84

Degree 2 39 12.78 5.00 1,316 MAX VALUE 210.24 12.53 0.98 2.84

Eccentricity 2 4 3.48 3.00 358 MAX VALUE 127.02 0.54 0.15 0.78

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.77	0.71	79.76	0.00	-29.31	0.18	0.24	2.84
Degree	2	39	12.78	5.00	1,316	MAX VALUE	210.24	12.53	0.98	2.84
Eccentricity	2	4	3.48	3.00	358	MAX VALUE	127.02	0.54	0.15	0.78

Incidence graph

Density: 2.03%
MCB compute time (ms): 41
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 10 2.88 2.00 412 MAX VALUE 133.92 1.76 0.61 1.07

Eccentricity 7 9 7.96 8.00 1,138 MAX VALUE 296.20 0.60 0.08 0.91

MCB cycle size 6 10 7.66 8.00 490 MAX VALUE 129.34 1.30 0.17 0.97

XCSP 2.1 Benchmarks