XCSP 2.1 Benchmark Database

Instance: rand-2-40-80-103-800-77_ext
Number of variables: 40
Number of constraints: 103
Satisfiable: None
Timestamp: 2017-10-27 10:57:56
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,240
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 206 1.01e+31 71.39 0.00 0.00 0.00

Coarse blocks size 3 33 15.95 16.00 259,092 MAX VALUE 44,549.70 3.58 0.22 2.69

Relational linkage 0.04 0.28 0.15 0.15 440.81 0.00 -5,698.75 0.03 0.20 2.28

Tightness 0.79 0.82 0.80 0.80 82.45 0.00 -22.92 0.01 0.01 4.02

Tuples 1,166 1,355 1,276.67 1,280.00 131,497 MAX VALUE 736.62 33.00 0.03 4.02

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

Constraints per subscope 2 11 5.49 5.00 203 1.48e+26 60.26 2.04 0.37 1.99

Partitions per subscope 80 80 80.00 80.00 2,960 MAX VALUE 162.13 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	33	15.95	16.00	259,092	MAX VALUE	44,549.70	3.58	0.22	2.69
Relational linkage	0.04	0.28	0.15	0.15	440.81	0.00	-5,698.75	0.03	0.20	2.28
Tightness	0.79	0.82	0.80	0.80	82.45	0.00	-22.92	0.01	0.01	4.02
Tuples	1,166	1,355	1,276.67	1,280.00	131,497	MAX VALUE	736.62	33.00	0.03	4.02
Domain size	80	80	80.00	80.00	3,200	MAX VALUE	175.28	0.00	0.00	0.00
Constraints per subscope	2	11	5.49	5.00	203	1.48e+26	60.26	2.04	0.37	1.99
Partitions per subscope	80	80	80.00	80.00	2,960	MAX VALUE	162.13	0.00	0.00	0.00

Tree decomposition

Number of clusters: 28
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 19 7.71 5.00 216 8.94e+20 48.24 5.62 0.73 2.53

Cluster variables 2 12 6.75 5.50 189 2.86e+21 49.40 3.41 0.50 2.16

Separator constraints 0 16 4.04 1.00 113 0 None 4.84 1.20 1.98

Separator variables 0 11 5.32 4.00 149 0 None 3.36 0.63 2.26

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	19	7.71	5.00	216	8.94e+20	48.24	5.62	0.73	2.53
Cluster variables	2	12	6.75	5.50	189	2.86e+21	49.40	3.41	0.50	2.16
Separator constraints	0	16	4.04	1.00	113	0	None	4.84	1.20	1.98
Separator variables	0	11	5.32	4.00	149	0	None	3.36	0.63	2.26

Dual tree decomposition

Number of clusters: 38
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 6 85 31.32 26.00 1,190 MAX VALUE 122.97 19.52 0.62 3.27

Cluster variables 5 35 13.42 11.00 510 MAX VALUE 93.15 7.72 0.58 2.85

Separator constraints 0 47 17.32 17.00 658 0 None 11.14 0.64 3.14

Separator variables 0 26 10.71 9.50 407 0 None 5.97 0.56 2.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	6	85	31.32	26.00	1,190	MAX VALUE	122.97	19.52	0.62	3.27
Cluster variables	5	35	13.42	11.00	510	MAX VALUE	93.15	7.72	0.58	2.85
Separator constraints	0	47	17.32	17.00	658	0	None	11.14	0.64	3.14
Separator variables	0	26	10.71	9.50	407	0	None	5.97	0.56	2.69

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.33 None 0.17 None None None None None 2.60

Degree 1 11 5.15 5.00 206 1.48e+26 60.26 2.29 0.44 2.11

Eccentricity 3 5 4.08 4.00 163 1.82e+24 55.86 0.52 0.13 0.77

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	None	0.17	None	None	None	None	None	2.60
Degree	1	11	5.15	5.00	206	1.48e+26	60.26	2.29	0.44	2.11
Eccentricity	3	5	4.08	4.00	163	1.82e+24	55.86	0.52	0.13	0.77

Triangulated primal graph

Density: 28.97%

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

Clustering coefficient 0.50 1.00 None 0.80 None None None None None 3.39

Degree 1 25 11.30 11.00 452 1.40e+36 83.23 7.58 0.67 2.86

Eccentricity 2 4 3.27 3.00 131 2.56e+20 46.99 0.50 0.15 0.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	None	0.80	None	None	None	None	None	3.39
Degree	1	25	11.30	11.00	452	1.40e+36	83.23	7.58	0.67	2.86
Eccentricity	2	4	3.27	3.00	131	2.56e+20	46.99	0.50	0.15	0.72

Dual graph

Density: 10.13%
MCB compute time (ms): 99
MCB cycles: 447
Triangles: 927
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.52 0.49 53.10 0.00 -69.87 0.11 0.20 3.51

Degree 4 18 10.33 11.00 1,064 MAX VALUE 235.10 3.12 0.30 2.49

Eccentricity 3 5 3.94 4.00 406 MAX VALUE 140.93 0.31 0.08 0.37

MCB cycle size 3 6 3.13 3.00 1,400 MAX VALUE 507.56 0.39 0.12 0.41

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	0.52	0.49	53.10	0.00	-69.87	0.11	0.20	3.51
Degree	4	18	10.33	11.00	1,064	MAX VALUE	235.10	3.12	0.30	2.49
Eccentricity	3	5	3.94	4.00	406	MAX VALUE	140.93	0.31	0.08	0.37
MCB cycle size	3	6	3.13	3.00	1,400	MAX VALUE	507.56	0.39	0.12	0.41

Minimal dual graph

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

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.65

Degree 1 5 3.22 3.00 332 MAX VALUE 117.41 0.75 0.23 1.13

Eccentricity 5 9 7.00 7.00 721 MAX VALUE 199.87 0.72 0.10 1.09

MCB cycle size 4 10 6.41 6.00 410 MAX VALUE 117.37 1.38 0.22 1.70

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.65
Degree	1	5	3.22	3.00	332	MAX VALUE	117.41	0.75	0.23	1.13
Eccentricity	5	9	7.00	7.00	721	MAX VALUE	199.87	0.72	0.10	1.09
MCB cycle size	4	10	6.41	6.00	410	MAX VALUE	117.37	1.38	0.22	1.70

Triangulated dual graph

Density: 31.32%
Triangles: 16,305

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

Clustering coefficient 0.59 1.00 0.79 0.79 81.75 0.00 -24.96 0.12 0.15 4.19

Degree 4 61 31.94 28.00 3,290 MAX VALUE 329.77 19.40 0.61 3.66

Eccentricity 2 3 2.62 3.00 270 MAX VALUE 97.34 0.49 0.19 0.66

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.59	1.00	0.79	0.79	81.75	0.00	-24.96	0.12	0.15	4.19
Degree	4	61	31.94	28.00	3,290	MAX VALUE	329.77	19.40	0.61	3.66
Eccentricity	2	3	2.62	3.00	270	MAX VALUE	97.34	0.49	0.19	0.66

Triangulated minimal dual graph

Density: 11.06%

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

Clustering coefficient 0.42 1.00 None 0.67 None None None None None 3.20

Degree 1 38 11.28 5.00 1,162 MAX VALUE 200.61 11.01 0.98 2.86

Eccentricity 3 5 3.88 4.00 400 MAX VALUE 138.69 0.55 0.14 0.81

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.42	1.00	None	0.67	None	None	None	None	None	3.20
Degree	1	38	11.28	5.00	1,162	MAX VALUE	200.61	11.01	0.98	2.86
Eccentricity	3	5	3.88	4.00	400	MAX VALUE	138.69	0.55	0.14	0.81

Incidence graph

Density: 2.03%
MCB compute time (ms): 32
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 None 0.00 None None None None None 0.60

Degree 1 11 2.88 2.00 412 MAX VALUE 131.65 1.86 0.65 1.11

Eccentricity 7 10 8.50 9.00 1,216 MAX VALUE 305.54 0.74 0.09 1.11

MCB cycle size 6 10 7.19 8.00 460 MAX VALUE 125.41 1.16 0.16 0.85

XCSP 2.1 Benchmarks