XCSP 2.1 Benchmark Database

Instance: normalized-ssa-7552-158_ext
Number of variables: 2726
Number of constraints: 4393
Satisfiable: None
Timestamp: 2018-04-21 10:44:14
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 2726
Number of constraints: 4393

General features

Coarse blocks: 19,964
Value tables: 3,022

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

Arity 2 5 2.17 2.00 9,549 MAX VALUE 3,343.42 0.44 0.20 0.49

Coarse blocks size 1 16 1.86 2.00 37,125 MAX VALUE 9,897.49 1.11 0.60 1.17

Relational linkage 0.50 1.00 0.60 0.50 3,726.88 0.00 -3,388.97 0.20 0.33 0.64

Tightness 0.00 0.25 0.20 0.25 860.91 0.00 None 0.09 0.48 0.79

Tuples 1 31 3.24 3.00 14,216 MAX VALUE 4,635.22 1.78 0.55 0.89

Values 1 2 1.86 2.00 5,080 MAX VALUE 1,631.67 0.34 0.18 0.40

Value table constraints 2 137 3.37 3.00 10,177 MAX VALUE 3,293.64 4.50 1.34 1.50

Value table partitions 1 4 2.05 2.00 6,187 MAX VALUE 2,010.13 0.69 0.34 0.67

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	5	2.17	2.00	9,549	MAX VALUE	3,343.42	0.44	0.20	0.49
Coarse blocks size	1	16	1.86	2.00	37,125	MAX VALUE	9,897.49	1.11	0.60	1.17
Relational linkage	0.50	1.00	0.60	0.50	3,726.88	0.00	-3,388.97	0.20	0.33	0.64
Tightness	0.00	0.25	0.20	0.25	860.91	0.00	None	0.09	0.48	0.79
Tuples	1	31	3.24	3.00	14,216	MAX VALUE	4,635.22	1.78	0.55	0.89
Values	1	2	1.86	2.00	5,080	MAX VALUE	1,631.67	0.34	0.18	0.40
Value table constraints	2	137	3.37	3.00	10,177	MAX VALUE	3,293.64	4.50	1.34	1.50
Value table partitions	1	4	2.05	2.00	6,187	MAX VALUE	2,010.13	0.69	0.34	0.67

Tree decomposition

Number of clusters: 2,491
Number of leaves: 856
Tree depth: 64
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Tree1.json

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

Cluster constraints 0 18 2.81 2.00 7,010 None None 1.36 0.48 1.38

Variables per cluster 2 23 5.21 4.00 12,980 MAX VALUE 3,789.81 3.11 0.60 1.89

Separator constraints 0 16 1.05 1.00 2,617 0 None 1.42 1.35 1.41

Separator variables 0 20 4.12 3.00 10,254 0 None 2.87 0.70 1.86

Clusters per var None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	18	2.81	2.00	7,010	None	None	1.36	0.48	1.38
Variables per cluster	2	23	5.21	4.00	12,980	MAX VALUE	3,789.81	3.11	0.60	1.89
Separator constraints	0	16	1.05	1.00	2,617	0	None	1.42	1.35	1.41
Separator variables	0	20	4.12	3.00	10,254	0	None	2.87	0.70	1.86
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: 2,649
Number of leaves: 1,034
Tree depth: 56
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/DualTree1.json

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

Cluster constraints 0 12,091 233.97 9.00 619,775 0 None 1,128.23 4.82 3.09

Variables per cluster 2 211 12.84 6.00 34,011 MAX VALUE 5,290.00 24.96 1.94 2.66

Separator constraints 0 9,181 218.12 4.00 577,791 0 None 1,078.45 4.94 2.84

Separator variables 0 148 11.18 5.00 29,618 0 None 24.22 2.17 2.58

Clusters per variable None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	12,091	233.97	9.00	619,775	0	None	1,128.23	4.82	3.09
Variables per cluster	2	211	12.84	6.00	34,011	MAX VALUE	5,290.00	24.96	1.94	2.66
Separator constraints	0	9,181	218.12	4.00	577,791	0	None	1,078.45	4.94	2.84
Separator variables	0	148	11.18	5.00	29,618	0	None	24.22	2.17	2.58
Clusters per variable	None	None	None	None	None	None	None	None	None	None

Primal graph

Density: 0.15%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Primal1.json

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

Degree 1 137 4.17 4.00 11,366 MAX VALUE 3,483.17 4.86 1.17 1.86

Eccentricity 13 24 19.50 20.00 53,157 MAX VALUE 8,078.78 2.23 0.11 2.14

MCB cycle size None None None None None None None None None 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.91
Degree	1	137	4.17	4.00	11,366	MAX VALUE	3,483.17	4.86	1.17	1.86
Eccentricity	13	24	19.50	20.00	53,157	MAX VALUE	8,078.78	2.23	0.11	2.14
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 0.35%
MCB compute time (ms): None
MCB cycles: None
Triangles: None

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

Clustering coefficient 0.02 1.00 None 0.67 None None None None None 3.82

Degree 1 646 9.65 5.00 26,300 MAX VALUE 4,729.64 23.26 2.41 2.76

Eccentricity 7 14 10.09 10.00 27,507 MAX VALUE 6,277.15 1.40 0.14 1.55

MCB cycle size None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.02	1.00	None	0.67	None	None	None	None	None	3.82
Degree	1	646	9.65	5.00	26,300	MAX VALUE	4,729.64	23.26	2.41	2.76
Eccentricity	7	14	10.09	10.00	27,507	MAX VALUE	6,277.15	1.40	0.14	1.55
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 0.44%
MCB compute time (ms): 9,447,060
MCB cycles: 38,254
Triangles: 1,186,320
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Dual1.json

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

Clustering coefficient 0.00 1.00 None 0.47 None None None None None 3.34

Degree 1 272 19.11 6.00 83,968 MAX VALUE 9,174.64 36.80 1.93 2.66

Eccentricity 12 24 18.98 19.00 83,386 MAX VALUE 12,900.50 2.18 0.11 2.16

MCB cycle size 3 18 3.12 3.00 119,421 MAX VALUE 43,164.10 0.57 0.18 0.32

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.47	None	None	None	None	None	3.34
Degree	1	272	19.11	6.00	83,968	MAX VALUE	9,174.64	36.80	1.93	2.66
Eccentricity	12	24	18.98	19.00	83,386	MAX VALUE	12,900.50	2.18	0.11	2.16
MCB cycle size	3	18	3.12	3.00	119,421	MAX VALUE	43,164.10	0.57	0.18	0.32

Minimal dual graph

Density: 0.07%
MCB compute time (ms): 272,163
MCB cycles: 2,168

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

Clustering coefficient 0.00 1.00 None 0.00 None None None None None 1.34

Degree 1 6 2.99 3.00 13,118 MAX VALUE 4,684.37 0.69 0.23 1.04

Eccentricity 24 42 32.18 32.00 141,353 MAX VALUE 15,222.20 3.55 0.11 2.66

MCB cycle size 3 30 6.93 7.00 15,020 MAX VALUE 4,049.65 3.12 0.45 2.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.00	None	None	None	None	None	1.34
Degree	1	6	2.99	3.00	13,118	MAX VALUE	4,684.37	0.69	0.23	1.04
Eccentricity	24	42	32.18	32.00	141,353	MAX VALUE	15,222.20	3.55	0.11	2.66
MCB cycle size	3	30	6.93	7.00	15,020	MAX VALUE	4,049.65	3.12	0.45	2.00

Triangulated dual graph

Density: None%
Triangles: 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 None

Degree None None None None None None None None None None

Eccentricity None None None None None None None None None 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	None
Degree	None	None	None	None	None	None	None	None	None	None
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 0.38%

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

Clustering coefficient 0.17 1.00 None 0.67 None None None None None 4.12

Degree 1 242 16.78 5.00 73,696 MAX VALUE 8,078.27 39.44 2.35 3.05

Eccentricity 9 17 11.73 11.00 51,547 MAX VALUE 10,780.30 1.59 0.14 1.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.17	1.00	None	0.67	None	None	None	None	None	4.12
Degree	1	242	16.78	5.00	73,696	MAX VALUE	8,078.27	39.44	2.35	3.05
Eccentricity	9	17	11.73	11.00	51,547	MAX VALUE	10,780.30	1.59	0.14	1.73

Incidence graph

Density: 0.04%
MCB compute time (ms): 379,191
MCB cycles: 2,431
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Incidence1.json

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

Degree 1 137 2.68 2.00 19,098 MAX VALUE 6,414.12 3.01 1.12 1.08

Eccentricity 25 49 38.96 39.00 277,372 MAX VALUE 26,026.70 4.40 0.11 2.83

MCB cycle size 4 36 8.05 8.00 19,576 MAX VALUE 4,930.99 3.01 0.37 1.18

XCSP 2.1 Benchmarks