XCSP 2.1 Benchmark Database

Instance: rand-2-40-180-84-900-14_ext
Number of variables: 40
Number of constraints: 84
Satisfiable: None
Timestamp: 2017-10-27 10:58:21
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,700
Number of unique subscopes: 37

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 3 37 18.06 18.00 536,300 MAX VALUE 85,151.90 4.06 0.22 2.82

Relational linkage 0.02 0.14 0.08 0.08 517.28 0.00 -17,160.10 0.02 0.20 2.45

Tightness 0.90 0.90 0.90 0.90 75.57 0.00 -8.88 0.00 0.00 4.19

Tuples 3,149 3,367 3,250.10 3,247.50 273,008 MAX VALUE 679.25 49.21 0.02 4.19

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

Constraints per subscope 2 8 4.46 4.00 165 5.95e+22 52.44 1.72 0.39 1.83

Partitions per subscope 180 180 180.00 180.00 6,660 MAX VALUE 192.14 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	3	37	18.06	18.00	536,300	MAX VALUE	85,151.90	4.06	0.22	2.82
Relational linkage	0.02	0.14	0.08	0.08	517.28	0.00	-17,160.10	0.02	0.20	2.45
Tightness	0.90	0.90	0.90	0.90	75.57	0.00	-8.88	0.00	0.00	4.19
Tuples	3,149	3,367	3,250.10	3,247.50	273,008	MAX VALUE	679.25	49.21	0.02	4.19
Domain size	180	180	180.00	180.00	7,200	MAX VALUE	207.72	0.00	0.00	0.00
Constraints per subscope	2	8	4.46	4.00	165	5.95e+22	52.44	1.72	0.39	1.83
Partitions per subscope	180	180	180.00	180.00	6,660	MAX VALUE	192.14	0.00	0.00	0.00

Tree decomposition

Number of clusters: 31
Number of leaves: 11
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 1 12 4.03 3.00 125 1.25e+16 37.07 2.67 0.66 2.05

Cluster variables 2 10 5.42 5.00 168 2.17e+21 49.13 2.45 0.45 2.05

Separator constraints 0 8 1.32 0.00 41 0 None 2.09 1.58 1.47

Separator variables 0 9 4.13 4.00 128 0 None 2.42 0.59 2.13

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	12	4.03	3.00	125	1.25e+16	37.07	2.67	0.66	2.05
Cluster variables	2	10	5.42	5.00	168	2.17e+21	49.13	2.45	0.45	2.05
Separator constraints	0	8	1.32	0.00	41	0	None	2.09	1.58	1.47
Separator variables	0	9	4.13	4.00	128	0	None	2.42	0.59	2.13

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 3 48 19.55 19.00 743 MAX VALUE 102.11 13.16 0.67 2.82

Cluster variables 4 28 10.61 9.00 403 3.02e+36 84.00 6.15 0.58 2.65

Separator constraints 0 26 10.61 10.50 403 0 None 8.03 0.76 2.81

Separator variables 0 21 8.39 8.00 319 0 None 4.84 0.58 2.60

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	48	19.55	19.00	743	MAX VALUE	102.11	13.16	0.67	2.82
Cluster variables	4	28	10.61	9.00	403	3.02e+36	84.00	6.15	0.58	2.65
Separator constraints	0	26	10.61	10.50	403	0	None	8.03	0.76	2.81
Separator variables	0	21	8.39	8.00	319	0	None	4.84	0.58	2.60

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.17 None 0.02 None None None None None 1.82

Degree 1 8 4.20 4.00 168 5.95e+22 52.44 1.89 0.45 1.96

Eccentricity 3 6 4.35 4.00 174 2.09e+25 58.30 0.69 0.16 1.04

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.17	None	0.02	None	None	None	None	None	1.82
Degree	1	8	4.20	4.00	168	5.95e+22	52.44	1.89	0.45	1.96
Eccentricity	3	6	4.35	4.00	174	2.09e+25	58.30	0.69	0.16	1.04

Triangulated primal graph

Density: 22.18%

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

Clustering coefficient 0.40 1.00 None 0.75 None None None None None 3.19

Degree 1 21 8.65 6.00 346 3.95e+31 72.75 6.35 0.73 2.76

Eccentricity 3 5 3.60 4.00 144 1.06e+22 50.72 0.58 0.16 0.86

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	1.00	None	0.75	None	None	None	None	None	3.19
Degree	1	21	8.65	6.00	346	3.95e+31	72.75	6.35	0.73	2.76
Eccentricity	3	5	3.60	4.00	144	1.06e+22	50.72	0.58	0.16	0.86

Dual graph

Density: 9.75%
MCB compute time (ms): 49
MCB cycles: 271
Triangles: 442
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.49 0.47 41.50 0.00 -61.09 0.12 0.24 2.90

Degree 3 14 8.10 8.00 680 MAX VALUE 170.47 2.60 0.32 2.30

Eccentricity 3 5 4.13 4.00 347 MAX VALUE 118.77 0.40 0.10 0.54

MCB cycle size 3 6 3.28 3.00 889 MAX VALUE 317.89 0.63 0.19 0.64

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	0.49	0.47	41.50	0.00	-61.09	0.12	0.24	2.90
Degree	3	14	8.10	8.00	680	MAX VALUE	170.47	2.60	0.32	2.30
Eccentricity	3	5	4.13	4.00	347	MAX VALUE	118.77	0.40	0.10	0.54
MCB cycle size	3	6	3.28	3.00	889	MAX VALUE	317.89	0.63	0.19	0.64

Minimal dual graph

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

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.05 3.00 256 MAX VALUE 91.72 0.63 0.21 0.96

Eccentricity 6 8 7.02 7.00 590 MAX VALUE 163.41 0.62 0.09 0.93

MCB cycle size 4 10 7.00 7.00 315 4.16e+37 86.62 1.38 0.20 1.71

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.05	3.00	256	MAX VALUE	91.72	0.63	0.21	0.96
Eccentricity	6	8	7.02	7.00	590	MAX VALUE	163.41	0.62	0.09	0.93
MCB cycle size	4	10	7.00	7.00	315	4.16e+37	86.62	1.38	0.20	1.71

Triangulated dual graph

Density: 29.55%
Triangles: 7,896

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

Clustering coefficient 0.59 1.00 0.78 0.75 65.92 0.00 -21.40 0.13 0.16 3.84

Degree 3 48 24.52 23.00 2,060 MAX VALUE 244.87 15.38 0.63 3.39

Eccentricity 2 4 3.02 3.00 254 MAX VALUE 91.80 0.49 0.16 0.71

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.59	1.00	0.78	0.75	65.92	0.00	-21.40	0.13	0.16	3.84
Degree	3	48	24.52	23.00	2,060	MAX VALUE	244.87	15.38	0.63	3.39
Eccentricity	2	4	3.02	3.00	254	MAX VALUE	91.80	0.49	0.16	0.71

Triangulated minimal dual graph

Density: 11.79%

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

Clustering coefficient 0.42 1.00 0.74 0.67 61.98 0.00 -28.77 0.20 0.27 2.70

Degree 2 30 9.79 5.00 822 MAX VALUE 157.68 8.88 0.91 2.67

Eccentricity 3 5 3.82 4.00 321 MAX VALUE 111.68 0.56 0.15 0.84

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.42	1.00	0.74	0.67	61.98	0.00	-28.77	0.20	0.27	2.70
Degree	2	30	9.79	5.00	822	MAX VALUE	157.68	8.88	0.91	2.67
Eccentricity	3	5	3.82	4.00	321	MAX VALUE	111.68	0.56	0.15	0.84

Incidence graph

Density: 2.20%
MCB compute time (ms): 23
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 1.03

Degree 1 8 2.71 2.00 336 MAX VALUE 110.66 1.49 0.55 1.13

Eccentricity 7 12 8.94 9.00 1,109 MAX VALUE 270.96 0.97 0.11 1.35

MCB cycle size 6 10 8.27 8.00 372 MAX VALUE 94.46 1.31 0.16 0.97

XCSP 2.1 Benchmarks