XCSP 2.1 Benchmark Database

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

Component #1

Number of variables: 2726
Number of constraints: 4391

General features

Coarse blocks: 20,348
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,544 MAX VALUE 3,341.81 0.43 0.20 0.49

Coarse blocks size 1 16 1.91 2.00 38,960 MAX VALUE 10,442.70 1.27 0.66 1.20

Relational linkage 0.50 1.00 0.59 0.50 3,734.38 0.00 -3,531.46 0.19 0.32 0.61

Tightness 0.00 0.25 0.21 0.25 902.12 0.00 None 0.09 0.41 0.74

Tuples 1 31 3.38 3.00 14,831 MAX VALUE 4,854.98 1.97 0.58 0.82

Values 1 2 1.90 2.00 5,188 MAX VALUE 1,706.53 0.30 0.16 0.32

Value table constraints 2 137 3.37 3.00 10,172 MAX VALUE 3,292.44 4.50 1.34 1.50

Value table partitions 1 4 2.08 2.00 6,297 MAX VALUE 2,085.68 0.66 0.32 0.60

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	5	2.17	2.00	9,544	MAX VALUE	3,341.81	0.43	0.20	0.49
Coarse blocks size	1	16	1.91	2.00	38,960	MAX VALUE	10,442.70	1.27	0.66	1.20
Relational linkage	0.50	1.00	0.59	0.50	3,734.38	0.00	-3,531.46	0.19	0.32	0.61
Tightness	0.00	0.25	0.21	0.25	902.12	0.00	None	0.09	0.41	0.74
Tuples	1	31	3.38	3.00	14,831	MAX VALUE	4,854.98	1.97	0.58	0.82
Values	1	2	1.90	2.00	5,188	MAX VALUE	1,706.53	0.30	0.16	0.32
Value table constraints	2	137	3.37	3.00	10,172	MAX VALUE	3,292.44	4.50	1.34	1.50
Value table partitions	1	4	2.08	2.00	6,297	MAX VALUE	2,085.68	0.66	0.32	0.60

Tree decomposition

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

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

Cluster constraints 0 18 2.82 2.00 7,018 0 None 1.36 0.48 1.38

Variables per cluster 2 23 5.21 4.00 12,991 MAX VALUE 3,791.43 3.12 0.60 1.89

Separator constraints 0 16 1.05 1.00 2,627 0 None 1.43 1.36 1.41

Separator variables 0 20 4.12 3.00 10,265 0 None 2.88 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.82	2.00	7,018	0	None	1.36	0.48	1.38
Variables per cluster	2	23	5.21	4.00	12,991	MAX VALUE	3,791.43	3.12	0.60	1.89
Separator constraints	0	16	1.05	1.00	2,627	0	None	1.43	1.36	1.41
Separator variables	0	20	4.12	3.00	10,265	0	None	2.88	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,031
Tree depth: 56
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/DualTree1.json

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

Cluster constraints 0 12,091 233.95 9.00 619,731 0 None 1,128.24 4.82 3.09

Variables per cluster 2 211 12.83 6.00 33,994 MAX VALUE 5,287.70 24.96 1.95 2.66

Separator constraints 0 9,181 218.11 4.00 577,765 0 None 1,078.45 4.94 2.84

Separator variables 0 148 11.18 5.00 29,603 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.95	9.00	619,731	0	None	1,128.24	4.82	3.09
Variables per cluster	2	211	12.83	6.00	33,994	MAX VALUE	5,287.70	24.96	1.95	2.66
Separator constraints	0	9,181	218.11	4.00	577,765	0	None	1,078.45	4.94	2.84
Separator variables	0	148	11.18	5.00	29,603	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-159_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_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.90

Degree 1 137 4.17 4.00 11,358 MAX VALUE 3,481.80 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.90
Degree	1	137	4.17	4.00	11,358	MAX VALUE	3,481.80	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 645 9.64 5.00 26,280 MAX VALUE 4,728.04 23.24 2.41 2.76

Eccentricity 7 14 10.09 10.00 27,499 MAX VALUE 6,276.21 1.41 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	645	9.64	5.00	26,280	MAX VALUE	4,728.04	23.24	2.41	2.76
Eccentricity	7	14	10.09	10.00	27,499	MAX VALUE	6,276.21	1.41	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): 7,707,900
MCB cycles: 38,240
Triangles: 1,186,290
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_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.33

Degree 1 272 19.11 6.00 83,932 MAX VALUE 9,167.90 36.81 1.93 2.66

Eccentricity 12 24 18.98 19.00 83,355 MAX VALUE 12,895.00 2.18 0.11 2.16

MCB cycle size 3 18 3.12 3.00 119,380 MAX VALUE 43,149.00 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.33
Degree	1	272	19.11	6.00	83,932	MAX VALUE	9,167.90	36.81	1.93	2.66
Eccentricity	12	24	18.98	19.00	83,355	MAX VALUE	12,895.00	2.18	0.11	2.16
MCB cycle size	3	18	3.12	3.00	119,380	MAX VALUE	43,149.00	0.57	0.18	0.32

Minimal dual graph

Density: 0.07%
MCB compute time (ms): 260,756
MCB cycles: 2,166

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 0.04

Degree 1 6 2.99 3.00 13,110 MAX VALUE 4,682.24 0.69 0.23 1.04

Eccentricity 24 42 32.30 32.00 141,815 MAX VALUE 15,231.30 3.58 0.11 2.67

MCB cycle size 3 31 6.94 7.00 15,025 MAX VALUE 4,048.54 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	0.04
Degree	1	6	2.99	3.00	13,110	MAX VALUE	4,682.24	0.69	0.23	1.04
Eccentricity	24	42	32.30	32.00	141,815	MAX VALUE	15,231.30	3.58	0.11	2.67
MCB cycle size	3	31	6.94	7.00	15,025	MAX VALUE	4,048.54	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.01

Degree 1 246 16.48 5.00 72,378 MAX VALUE 8,070.03 38.35 2.33 3.04

Eccentricity 9 17 11.62 11.00 51,026 MAX VALUE 10,732.30 1.58 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.01
Degree	1	246	16.48	5.00	72,378	MAX VALUE	8,070.03	38.35	2.33	3.04
Eccentricity	9	17	11.62	11.00	51,026	MAX VALUE	10,732.30	1.58	0.14	1.73

Incidence graph

Density: 0.04%
MCB compute time (ms): 387,726
MCB cycles: 2,428
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_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,088 MAX VALUE 6,411.31 3.01 1.12 1.08

Eccentricity 25 49 38.96 39.00 277,307 MAX VALUE 26,019.80 4.40 0.11 2.83

MCB cycle size 4 36 8.06 8.00 19,558 MAX VALUE 4,925.73 3.01 0.37 1.18

XCSP 2.1 Benchmarks