XCSP 2.1 Benchmark Database

Instance: rand-2-40-180-84-900-73_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:24
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 40
Number of constraints: 84

General features

Number of coarse blocks: 29,880
Number of unique subscopes: 38

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

Arity 2 2 2.00 2.00 168 1.93e+25 58.22 0.00 0.00 0.00

Coarse blocks size 4 36 17.93 18.00 535,690 MAX VALUE 85,464.80 4.00 0.22 2.80

Relational linkage 0.02 0.16 0.08 0.08 532.04 0.00 -17,615.20 0.02 0.20 2.46

Tightness 0.90 0.90 0.90 0.90 75.63 0.00 -8.81 0.00 0.00 4.11

Tuples 3,112 3,348 3,227.25 3,224.50 271,089 MAX VALUE 678.66 53.28 0.02 4.11

Domain size 180 180 180.00 180.00 7,200 MAX VALUE 207.72 0.00 0.00 0.00

Constraints per subscope 2 9 4.37 4.00 166 7.84e+22 52.72 1.84 0.42 1.83

Partitions per subscope 180 180 180.00 180.00 6,840 MAX VALUE 197.33 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	168	1.93e+25	58.22	0.00	0.00	0.00
Coarse blocks size	4	36	17.93	18.00	535,690	MAX VALUE	85,464.80	4.00	0.22	2.80
Relational linkage	0.02	0.16	0.08	0.08	532.04	0.00	-17,615.20	0.02	0.20	2.46
Tightness	0.90	0.90	0.90	0.90	75.63	0.00	-8.81	0.00	0.00	4.11
Tuples	3,112	3,348	3,227.25	3,224.50	271,089	MAX VALUE	678.66	53.28	0.02	4.11
Domain size	180	180	180.00	180.00	7,200	MAX VALUE	207.72	0.00	0.00	0.00
Constraints per subscope	2	9	4.37	4.00	166	7.84e+22	52.72	1.84	0.42	1.83
Partitions per subscope	180	180	180.00	180.00	6,840	MAX VALUE	197.33	0.00	0.00	0.00

Tree decomposition

Number of clusters: 30
Number of leaves: 16
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 1 11 3.87 3.00 116 1.26e+15 34.77 2.39 0.62 1.94

Cluster variables 2 11 5.20 4.50 156 1.61e+20 46.53 2.39 0.46 1.97

Separator constraints 0 7 1.07 0.00 32 0 None 1.65 1.55 1.30

Separator variables 0 10 3.87 3.00 116 0 None 2.25 0.58 2.02

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	11	3.87	3.00	116	1.26e+15	34.77	2.39	0.62	1.94
Cluster variables	2	11	5.20	4.50	156	1.61e+20	46.53	2.39	0.46	1.97
Separator constraints	0	7	1.07	0.00	32	0	None	1.65	1.55	1.30
Separator variables	0	10	3.87	3.00	116	0	None	2.25	0.58	2.02

Dual tree decomposition

Number of clusters: 38
Number of leaves: 13
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 4 49 19.29 16.00 733 MAX VALUE 103.60 12.64 0.66 2.99

Cluster variables 4 28 10.71 8.50 407 4.89e+36 84.48 6.28 0.59 2.66

Separator constraints 0 26 10.24 9.50 389 0 None 7.23 0.71 2.97

Separator variables 0 20 8.50 7.00 323 0 None 4.90 0.58 2.58

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	4	49	19.29	16.00	733	MAX VALUE	103.60	12.64	0.66	2.99
Cluster variables	4	28	10.71	8.50	407	4.89e+36	84.48	6.28	0.59	2.66
Separator constraints	0	26	10.24	9.50	389	0	None	7.23	0.71	2.97
Separator variables	0	20	8.50	7.00	323	0	None	4.90	0.58	2.58

Primal graph

Density: 10.77%
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 None 0.00 None None None None None 1.60

Degree 1 9 4.20 4.00 168 7.84e+22 52.72 1.94 0.46 1.94

Eccentricity 3 5 4.00 4.00 160 8.76e+23 55.13 0.50 0.12 0.74

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.67	None	0.00	None	None	None	None	None	1.60
Degree	1	9	4.20	4.00	168	7.84e+22	52.72	1.94	0.46	1.94
Eccentricity	3	5	4.00	4.00	160	8.76e+23	55.13	0.50	0.12	0.74

Triangulated primal graph

Density: 21.92%

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

Clustering coefficient 0.40 1.00 None 0.76 None None None None None 2.81

Degree 1 23 8.55 5.50 342 1.02e+31 71.40 6.74 0.79 2.69

Eccentricity 2 4 2.98 3.00 119 4.00e+18 42.83 0.57 0.19 0.85

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	1.00	None	0.76	None	None	None	None	None	2.81
Degree	1	23	8.55	5.50	342	1.02e+31	71.40	6.74	0.79	2.69
Eccentricity	2	4	2.98	3.00	119	4.00e+18	42.83	0.57	0.19	0.85

Dual graph

Density: 9.87%
MCB compute time (ms): 44
MCB cycles: 304
Triangles: 476
Dot-file path: None
PDF-file path: None

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

Clustering coefficient 0.33 1.00 0.51 0.47 43.00 0.00 -58.27 0.12 0.24 3.13

Degree 3 14 8.19 8.00 688 MAX VALUE 171.75 2.65 0.32 2.34

Eccentricity 3 4 3.93 4.00 330 MAX VALUE 114.72 0.26 0.07 0.26

MCB cycle size 3 6 3.45 3.00 1,048 MAX VALUE 369.04 0.83 0.24 0.84

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	0.51	0.47	43.00	0.00	-58.27	0.12	0.24	3.13
Degree	3	14	8.19	8.00	688	MAX VALUE	171.75	2.65	0.32	2.34
Eccentricity	3	4	3.93	4.00	330	MAX VALUE	114.72	0.26	0.07	0.26
MCB cycle size	3	6	3.45	3.00	1,048	MAX VALUE	369.04	0.83	0.24	0.84

Minimal dual graph

Density: 3.67%
MCB compute time (ms): 12
MCB cycles: 45

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

Clustering coefficient 0.00 0.00 None 0.00 None None None None None 0.72

Degree 1 4 3.05 3.00 256 MAX VALUE 91.38 0.65 0.21 0.98

Eccentricity 6 8 6.61 7.00 555 MAX VALUE 158.33 0.53 0.08 0.78

MCB cycle size 5 9 7.31 8.00 329 MAX VALUE 88.88 1.19 0.16 1.51

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.00	None	0.00	None	None	None	None	None	0.72
Degree	1	4	3.05	3.00	256	MAX VALUE	91.38	0.65	0.21	0.98
Eccentricity	6	8	6.61	7.00	555	MAX VALUE	158.33	0.53	0.08	0.78
MCB cycle size	5	9	7.31	8.00	329	MAX VALUE	88.88	1.19	0.16	1.51

Triangulated dual graph

Density: 30.35%
Triangles: 8,317

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

Clustering coefficient 0.60 1.00 0.79 0.77 66.47 0.00 -20.64 0.12 0.15 3.82

Degree 3 50 25.19 27.00 2,116 MAX VALUE 246.62 15.81 0.63 3.47

Eccentricity 2 3 2.67 3.00 224 1.40e+35 80.93 0.47 0.18 0.64

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.60	1.00	0.79	0.77	66.47	0.00	-20.64	0.12	0.15	3.82
Degree	3	50	25.19	27.00	2,116	MAX VALUE	246.62	15.81	0.63	3.47
Eccentricity	2	3	2.67	3.00	224	1.40e+35	80.93	0.47	0.18	0.64

Triangulated minimal dual graph

Density: 12.11%

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

Clustering coefficient 0.43 1.00 None 0.67 None None None None None 2.99

Degree 1 30 10.05 5.00 844 MAX VALUE 155.91 9.55 0.95 2.69

Eccentricity 3 5 3.75 4.00 315 MAX VALUE 110.08 0.55 0.15 0.82

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.43	1.00	None	0.67	None	None	None	None	None	2.99
Degree	1	30	10.05	5.00	844	MAX VALUE	155.91	9.55	0.95	2.69
Eccentricity	3	5	3.75	4.00	315	MAX VALUE	110.08	0.55	0.15	0.82

Incidence graph

Density: 2.20%
MCB compute time (ms): 18
MCB cycles: 45
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 None 0.00 None None None None None 0.66

Degree 1 9 2.71 2.00 336 MAX VALUE 110.94 1.51 0.56 1.10

Eccentricity 7 10 8.35 8.00 1,035 MAX VALUE 262.68 0.70 0.08 1.05

MCB cycle size 6 12 8.44 8.00 380 MAX VALUE 95.21 1.57 0.19 1.16

XCSP 2.1 Benchmarks