XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 38
Number of constraints: 102

General features

Number of coarse blocks: 16,320
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 204 5.07e+30 70.70 0.00 0.00 0.00

Coarse blocks size 3 31 15.98 16.00 260,774 MAX VALUE 44,795.00 3.57 0.22 2.69

Relational linkage 0.04 0.29 0.15 0.15 456.05 0.00 -5,834.75 0.03 0.21 2.32

Tightness 0.78 0.81 0.80 0.80 81.63 0.00 -22.73 0.01 0.01 4.11

Tuples 1,190 1,377 1,278.30 1,280.00 130,387 MAX VALUE 729.60 33.85 0.03 4.11

Domain size 80 80 80.00 80.00 3,040 MAX VALUE 166.52 0.00 0.00 0.00

Constraints per subscope 2 11 5.37 5.00 204 2.05e+26 60.59 2.13 0.40 1.97

Partitions per subscope 80 80 80.00 80.00 3,040 MAX VALUE 166.52 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	204	5.07e+30	70.70	0.00	0.00	0.00
Coarse blocks size	3	31	15.98	16.00	260,774	MAX VALUE	44,795.00	3.57	0.22	2.69
Relational linkage	0.04	0.29	0.15	0.15	456.05	0.00	-5,834.75	0.03	0.21	2.32
Tightness	0.78	0.81	0.80	0.80	81.63	0.00	-22.73	0.01	0.01	4.11
Tuples	1,190	1,377	1,278.30	1,280.00	130,387	MAX VALUE	729.60	33.85	0.03	4.11
Domain size	80	80	80.00	80.00	3,040	MAX VALUE	166.52	0.00	0.00	0.00
Constraints per subscope	2	11	5.37	5.00	204	2.05e+26	60.59	2.13	0.40	1.97
Partitions per subscope	80	80	80.00	80.00	3,040	MAX VALUE	166.52	0.00	0.00	0.00

Tree decomposition

Number of clusters: 26
Number of leaves: 13
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 1 15 6.46 5.50 168 1.14e+19 43.88 3.54 0.55 2.36

Cluster variables 3 13 6.50 6.00 169 1.12e+20 46.16 2.90 0.45 2.13

Separator constraints 0 11 2.54 1.50 66 0 None 2.90 1.14 1.76

Separator variables 0 11 5.04 5.00 131 0 None 2.78 0.55 2.13

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	15	6.46	5.50	168	1.14e+19	43.88	3.54	0.55	2.36
Cluster variables	3	13	6.50	6.00	169	1.12e+20	46.16	2.90	0.45	2.13
Separator constraints	0	11	2.54	1.50	66	0	None	2.90	1.14	1.76
Separator variables	0	11	5.04	5.00	131	0	None	2.78	0.55	2.13

Dual tree decomposition

Number of clusters: 36
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 2 97 34.94 26.50 1,258 MAX VALUE 118.10 24.18 0.69 3.34

Cluster variables 3 39 14.42 11.50 519 MAX VALUE 90.12 8.68 0.60 2.83

Separator constraints 0 58 20.17 17.00 726 0 None 14.81 0.73 3.02

Separator variables 0 28 11.58 9.00 417 0 None 6.77 0.58 2.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	2	97	34.94	26.50	1,258	MAX VALUE	118.10	24.18	0.69	3.34
Cluster variables	3	39	14.42	11.50	519	MAX VALUE	90.12	8.68	0.60	2.83
Separator constraints	0	58	20.17	17.00	726	0	None	14.81	0.73	3.02
Separator variables	0	28	11.58	9.00	417	0	None	6.77	0.58	2.72

Primal graph

Density: 14.51%
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.15 0.14 5.70 0.00 None 0.15 1.00 2.36

Degree 2 11 5.37 5.00 204 2.05e+26 60.59 2.13 0.40 1.97

Eccentricity 3 4 3.63 4.00 138 1.35e+21 48.65 0.48 0.13 0.66

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.67	0.15	0.14	5.70	0.00	None	0.15	1.00	2.36
Degree	2	11	5.37	5.00	204	2.05e+26	60.59	2.13	0.40	1.97
Eccentricity	3	4	3.63	4.00	138	1.35e+21	48.65	0.48	0.13	0.66

Triangulated primal graph

Density: 29.73%

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

Clustering coefficient 0.45 1.00 0.79 0.76 29.85 0.00 -10.29 0.18 0.23 2.69

Degree 2 26 11.00 9.00 418 7.72e+34 80.33 7.43 0.68 2.63

Eccentricity 2 4 3.18 3.00 121 9.00e+18 43.64 0.45 0.14 0.63

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.45	1.00	0.79	0.76	29.85	0.00	-10.29	0.18	0.23	2.69
Degree	2	26	11.00	9.00	418	7.72e+34	80.33	7.43	0.68	2.63
Eccentricity	2	4	3.18	3.00	121	9.00e+18	43.64	0.45	0.14	0.63

Dual graph

Density: 10.33%
MCB compute time (ms): 82
MCB cycles: 476
Triangles: 935
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.71 0.51 0.50 51.62 0.00 None 0.08 0.15 3.38

Degree 2 18 10.43 10.00 1,064 MAX VALUE 234.08 3.00 0.29 2.43

Eccentricity 3 5 3.74 4.00 381 MAX VALUE 133.51 0.48 0.13 0.69

MCB cycle size 3 6 3.20 3.00 1,522 MAX VALUE 549.42 0.44 0.14 0.53

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.71	0.51	0.50	51.62	0.00	None	0.08	0.15	3.38
Degree	2	18	10.43	10.00	1,064	MAX VALUE	234.08	3.00	0.29	2.43
Eccentricity	3	5	3.74	4.00	381	MAX VALUE	133.51	0.48	0.13	0.69
MCB cycle size	3	6	3.20	3.00	1,522	MAX VALUE	549.42	0.44	0.14	0.53

Minimal dual graph

Density: 3.22%
MCB compute time (ms): 25
MCB cycles: 65

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

Eccentricity 6 8 6.54 7.00 667 MAX VALUE 191.20 0.54 0.08 0.78

MCB cycle size 4 9 6.88 7.00 447 MAX VALUE 124.28 1.20 0.17 1.57

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.25	3.00	332	MAX VALUE	118.41	0.62	0.19	0.94
Eccentricity	6	8	6.54	7.00	667	MAX VALUE	191.20	0.54	0.08	0.78
MCB cycle size	4	9	6.88	7.00	447	MAX VALUE	124.28	1.20	0.17	1.57

Triangulated dual graph

Density: 35.04%
Triangles: 20,206

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

Clustering coefficient 0.64 1.00 0.80 0.77 81.94 0.00 -23.26 0.11 0.14 4.09

Degree 2 64 35.39 36.00 3,610 MAX VALUE 337.08 20.62 0.58 3.56

Eccentricity 2 4 3.12 3.00 318 MAX VALUE 114.80 0.47 0.15 0.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.64	1.00	0.80	0.77	81.94	0.00	-23.26	0.11	0.14	4.09
Degree	2	64	35.39	36.00	3,610	MAX VALUE	337.08	20.62	0.58	3.56
Eccentricity	2	4	3.12	3.00	318	MAX VALUE	114.80	0.47	0.15	0.68

Triangulated minimal dual graph

Density: 12.93%

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

Clustering coefficient 0.48 1.00 0.76 0.69 77.90 0.00 -30.07 0.17 0.23 2.91

Degree 2 40 13.06 6.00 1,332 MAX VALUE 210.87 12.71 0.97 2.85

Eccentricity 3 5 3.70 4.00 377 MAX VALUE 132.23 0.54 0.15 0.79

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	1.00	0.76	0.69	77.90	0.00	-30.07	0.17	0.23	2.91
Degree	2	40	13.06	6.00	1,332	MAX VALUE	210.87	12.71	0.97	2.85
Eccentricity	3	5	3.70	4.00	377	MAX VALUE	132.23	0.54	0.15	0.79

Incidence graph

Density: 2.10%
MCB compute time (ms): 33
MCB cycles: 65
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.91 2.00 408 MAX VALUE 131.29 1.87 0.64 1.00

Eccentricity 6 10 7.88 8.00 1,103 MAX VALUE 288.31 0.77 0.10 1.16

MCB cycle size 6 12 7.38 8.00 480 MAX VALUE 129.11 1.21 0.16 0.85

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.91	2.00	408	MAX VALUE	131.29	1.87	0.64	1.00
Eccentricity	6	10	7.88	8.00	1,103	MAX VALUE	288.31	0.77	0.10	1.16
MCB cycle size	6	12	7.38	8.00	480	MAX VALUE	129.11	1.21	0.16	0.85

Component #2

Number of variables: 2
Number of constraints: 1

General features

Number of coarse blocks: 0
Number of unique subscopes: 0

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

Arity 2 2 2.00 2.00 2 2 0.69 0.00 0.00 0.00

Coarse blocks size None None None None 0 1 0.00 None None 0.00

Relational linkage None None None None 0.00 1.00 0.00 None None 0.00

Tightness 0.80 0.80 0.80 0.80 0.80 0.80 -0.22 0.00 0.00 0.00

Tuples 1,285 1,285 1,285.00 1,285.00 1,285 1,285 7.16 0.00 0.00 0.00

Domain size 80 80 80.00 80.00 160 6,400 8.76 0.00 0.00 0.00

Constraints per subscope None None None None 0 1 0.00 None None 0.00

Partitions per subscope None None None None 0 1 0.00 None None 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV
Arity	2	2	2.00	2.00	2	2	0.69	0.00	0.00
Coarse blocks size	None	None	None	None	0	1	0.00	None	None
Relational linkage	None	None	None	None	0.00	1.00	0.00	None	None
Tightness	0.80	0.80	0.80	0.80	0.80	0.80	-0.22	0.00	0.00
Tuples	1,285	1,285	1,285.00	1,285.00	1,285	1,285	7.16	0.00	0.00
Domain size	80	80	80.00	80.00	160	6,400	8.76	0.00	0.00
Constraints per subscope	None	None	None	None	0	1	0.00	None	None
Partitions per subscope	None	None	None	None	0	1	0.00	None	None

Tree decomposition

Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None

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

Cluster constraints 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00

Cluster variables 2 2 2.00 2.00 2 2 0.69 0.00 0.00 0.00

Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	COV
Cluster constraints	1	1	1.00	1.00	1	1	0.00	0.00
Cluster variables	2	2	2.00	2.00	2	2	0.69	0.00
Separator constraints	0	0	0.00	0.00	0	0	None	None
Separator variables	0	0	0.00	0.00	0	0	None	None

Dual tree decomposition

Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None

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

Cluster constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Cluster variables 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00

Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	COV
Cluster constraints	0	0	0.00	0.00	0	0	None	None
Cluster variables	1	1	1.00	1.00	1	1	0.00	0.00
Separator constraints	0	0	0.00	0.00	0	0	None	None
Separator variables	0	0	0.00	0.00	0	0	None	None

Primal graph

Density: 100.00%
Dot-file path: None
PDF-file path: None

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

Clustering coefficient None None None None None None None None None 0.69

Degree 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	None	None	None	None	None	None	None	None	None	0.69
Degree	1	1	1.00	1.00	2	1	0.00	0.00	0.00	0.00
Eccentricity	1	1	1.00	1.00	2	1	0.00	0.00	0.00	0.00

Triangulated primal graph

Density: 100.00%

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

Clustering coefficient None None None None None None None None None 0.69

Degree 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	None	None	None	None	None	None	None	None	None	0.69
Degree	1	1	1.00	1.00	2	1	0.00	0.00	0.00	0.00
Eccentricity	1	1	1.00	1.00	2	1	0.00	0.00	0.00	0.00

Dual graph

Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Triangles: 0
Dot-file path: None
PDF-file path: None

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

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

Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00

MCB cycle size None None None None 0 1 0.00 None None 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV
Clustering coefficient	None	None	None	None	None	None	None	None	None
Degree	0	0	0.00	0.00	0	0	None	0.00	None
Eccentricity	0	0	0.00	0.00	0	0	None	0.00	None
MCB cycle size	None	None	None	None	0	1	0.00	None	None

Minimal dual graph

Density: None%
MCB compute time (ms): 0
MCB cycles: 0

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

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

Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00

MCB cycle size None None None None 0 1 0.00 None None 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV
Clustering coefficient	None	None	None	None	None	None	None	None	None
Degree	0	0	0.00	0.00	0	0	None	0.00	None
Eccentricity	0	0	0.00	0.00	0	0	None	0.00	None
MCB cycle size	None	None	None	None	0	1	0.00	None	None

Triangulated dual graph

Density: None%
Triangles: 0

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

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

Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV
Clustering coefficient	None	None	None	None	None	None	None	None	None
Degree	0	0	0.00	0.00	0	0	None	0.00	None
Eccentricity	0	0	0.00	0.00	0	0	None	0.00	None

Triangulated minimal dual graph

Density: None%

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

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

Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV
Clustering coefficient	None	None	None	None	None	None	None	None	None
Degree	0	0	0.00	0.00	0	0	None	0.00	None
Eccentricity	0	0	0.00	0.00	0	0	None	0.00	None

Incidence graph

Density: 66.67%
MCB compute time (ms): 0
MCB cycles: 0
Dot-file path: None
PDF-file path: None

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

Clustering coefficient None None None None None None None None None 1.10

Degree 1 2 1.33 1.00 4 2 0.69 0.47 0.35 0.64

Eccentricity 1 2 1.67 2.00 5 4 1.39 0.47 0.28 0.64

MCB cycle size None None None None 0 1 0.00 None None 0.00

XCSP 2.1 Benchmarks