XCSP 2.1 Benchmark Database

Instance: normalized-ssa-7552-160_ext
Number of variables: 2782
Number of constraints: 4513
Satisfiable: None
Timestamp: 2018-04-21 10:44:24
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 2782
Number of constraints: 4513

General features

Coarse blocks: 21,808
Value tables: 3,076

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

Arity 2 5 2.17 2.00 9,803 MAX VALUE 3,430.79 0.44 0.20 0.49

Coarse blocks size 1 16 2.06 2.00 44,819 MAX VALUE 12,101.00 1.63 0.79 1.26

Relational linkage 0.50 1.00 0.58 0.50 3,858.69 0.00 -3,898.88 0.18 0.30 0.55

Tightness 0.00 0.25 0.22 0.25 1,013.50 0.00 None 0.06 0.26 0.58

Tuples 1 31 3.71 3.00 16,724 MAX VALUE 5,485.39 2.42 0.65 0.61

Values 1 2 1.98 2.00 5,514 MAX VALUE 1,893.68 0.13 0.07 0.09

Value table constraints 2 137 3.38 3.00 10,411 MAX VALUE 3,373.48 4.47 1.32 1.51

Value table partitions 1 8 2.17 2.00 6,686 MAX VALUE 2,296.40 0.64 0.29 0.40

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	5	2.17	2.00	9,803	MAX VALUE	3,430.79	0.44	0.20	0.49
Coarse blocks size	1	16	2.06	2.00	44,819	MAX VALUE	12,101.00	1.63	0.79	1.26
Relational linkage	0.50	1.00	0.58	0.50	3,858.69	0.00	-3,898.88	0.18	0.30	0.55
Tightness	0.00	0.25	0.22	0.25	1,013.50	0.00	None	0.06	0.26	0.58
Tuples	1	31	3.71	3.00	16,724	MAX VALUE	5,485.39	2.42	0.65	0.61
Values	1	2	1.98	2.00	5,514	MAX VALUE	1,893.68	0.13	0.07	0.09
Value table constraints	2	137	3.38	3.00	10,411	MAX VALUE	3,373.48	4.47	1.32	1.51
Value table partitions	1	8	2.17	2.00	6,686	MAX VALUE	2,296.40	0.64	0.29	0.40

Tree decomposition

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

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

Cluster constraints 0 20 2.89 2.00 7,302 0 None 1.56 0.54 1.41

Variables per cluster 3 32 5.36 4.00 13,523 MAX VALUE 3,887.62 3.40 0.63 1.92

Separator constraints 0 19 1.11 1.00 2,789 0 None 1.59 1.44 1.44

Separator variables 0 26 4.26 3.00 10,741 0 None 3.13 0.74 1.89

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	20	2.89	2.00	7,302	0	None	1.56	0.54	1.41
Variables per cluster	3	32	5.36	4.00	13,523	MAX VALUE	3,887.62	3.40	0.63	1.92
Separator constraints	0	19	1.11	1.00	2,789	0	None	1.59	1.44	1.44
Separator variables	0	26	4.26	3.00	10,741	0	None	3.13	0.74	1.89
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

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

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

Cluster constraints 0 12,091 229.11 9.00 621,125 0 None 1,115.81 4.87 3.12

Variables per cluster 3 211 12.97 6.00 35,153 MAX VALUE 5,454.72 24.95 1.92 2.69

Separator constraints 0 9,181 213.46 4.00 578,685 0 None 1,066.54 5.00 2.88

Separator variables 0 148 11.30 5.00 30,640 0 None 24.12 2.13 2.61

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	229.11	9.00	621,125	0	None	1,115.81	4.87	3.12
Variables per cluster	3	211	12.97	6.00	35,153	MAX VALUE	5,454.72	24.95	1.92	2.69
Separator constraints	0	9,181	213.46	4.00	578,685	0	None	1,066.54	5.00	2.88
Separator variables	0	148	11.30	5.00	30,640	0	None	24.12	2.13	2.61
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-160_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_ext/Primal1.json

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

Clustering coefficient 0.00 0.67 0.12 0.00 320.32 0.00 None 0.15 1.30 1.86

Degree 2 137 4.21 4.00 11,716 MAX VALUE 3,594.86 4.82 1.14 1.85

Eccentricity 13 24 19.79 20.00 55,047 MAX VALUE 8,286.10 2.21 0.11 2.12

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	0.12	0.00	320.32	0.00	None	0.15	1.30	1.86
Degree	2	137	4.21	4.00	11,716	MAX VALUE	3,594.86	4.82	1.14	1.85
Eccentricity	13	24	19.79	20.00	55,047	MAX VALUE	8,286.10	2.21	0.11	2.12
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 0.37%
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 0.73 0.67 2,043.82 0.00 -1,023.88 0.23 0.31 3.43

Degree 2 652 10.22 5.00 28,434 MAX VALUE 4,924.08 23.97 2.34 2.80

Eccentricity 7 14 10.03 10.00 27,899 MAX VALUE 6,388.87 1.40 0.14 1.56

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	0.73	0.67	2,043.82	0.00	-1,023.88	0.23	0.31	3.43
Degree	2	652	10.22	5.00	28,434	MAX VALUE	4,924.08	23.97	2.34	2.80
Eccentricity	7	14	10.03	10.00	27,899	MAX VALUE	6,388.87	1.40	0.14	1.56
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 0.42%
MCB compute time (ms): 4,441,160
MCB cycles: 38,791
Triangles: 1,186,770
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_ext/Dual1.json

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

Clustering coefficient 0.00 0.99 0.48 0.47 2,161.21 0.00 None 0.24 0.50 3.31

Degree 2 272 18.81 7.00 84,880 MAX VALUE 9,422.07 36.35 1.93 2.65

Eccentricity 13 24 19.57 20.00 88,303 MAX VALUE 13,391.60 2.18 0.11 2.17

MCB cycle size 3 18 3.13 3.00 121,345 MAX VALUE 43,832.40 0.59 0.19 0.33

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.99	0.48	0.47	2,161.21	0.00	None	0.24	0.50	3.31
Degree	2	272	18.81	7.00	84,880	MAX VALUE	9,422.07	36.35	1.93	2.65
Eccentricity	13	24	19.57	20.00	88,303	MAX VALUE	13,391.60	2.18	0.11	2.17
MCB cycle size	3	18	3.13	3.00	121,345	MAX VALUE	43,832.40	0.59	0.19	0.33

Minimal dual graph

Density: 0.07%
MCB compute time (ms): 330,493
MCB cycles: 2,262

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

Clustering coefficient 0.00 1.00 0.00 0.00 5.13 0.00 None 0.02 21.58 0.03

Degree 2 6 3.00 3.00 13,548 MAX VALUE 4,838.48 0.69 0.23 1.04

Eccentricity 23 40 30.67 31.00 138,412 MAX VALUE 15,427.70 3.00 0.10 2.50

MCB cycle size 3 28 6.93 7.00 15,672 MAX VALUE 4,226.98 3.09 0.45 2.01

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	0.00	0.00	5.13	0.00	None	0.02	21.58	0.03
Degree	2	6	3.00	3.00	13,548	MAX VALUE	4,838.48	0.69	0.23	1.04
Eccentricity	23	40	30.67	31.00	138,412	MAX VALUE	15,427.70	3.00	0.10	2.50
MCB cycle size	3	28	6.93	7.00	15,672	MAX VALUE	4,226.98	3.09	0.45	2.01

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.23 1.00 0.72 0.67 3,226.97 0.00 -1,748.72 0.22 0.31 3.71

Degree 2 258 17.28 5.00 78,004 MAX VALUE 8,395.82 39.87 2.31 3.07

Eccentricity 8 16 11.16 11.00 50,345 MAX VALUE 10,848.90 1.47 0.13 1.64

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.23	1.00	0.72	0.67	3,226.97	0.00	-1,748.72	0.22	0.31	3.71
Degree	2	258	17.28	5.00	78,004	MAX VALUE	8,395.82	39.87	2.31	3.07
Eccentricity	8	16	11.16	11.00	50,345	MAX VALUE	10,848.90	1.47	0.13	1.64

Incidence graph

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

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 137 2.69 2.00 19,606 MAX VALUE 6,592.49 2.98 1.11 1.07

Eccentricity 26 49 39.87 40.00 290,843 MAX VALUE 26,840.50 4.38 0.11 2.83

MCB cycle size 4 36 8.13 8.00 20,386 MAX VALUE 5,113.39 3.05 0.38 1.18

XCSP 2.1 Benchmarks