XCSP 2.1 Benchmark Database

Instance: ssa-2670-130_ext
Number of variables: 1359
Number of constraints: 1660
Satisfiable: None
Timestamp: 2017-10-27 10:55:09
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 1359
Number of constraints: 1660

General features

Coarse blocks: 12,829
Value tables: 1,552

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

Arity 2 5 2.60 2.00 4,321 MAX VALUE 1,528.82 0.73 0.28 1.00

Coarse blocks size 1 15 2.44 2.00 31,354 MAX VALUE 8,801.52 1.75 0.72 1.52

Relational linkage 0.06 1.00 0.59 0.50 2,312.38 0.00 -2,384.04 0.23 0.38 1.00

Tightness 0.06 0.50 0.39 0.50 654.88 0.00 -1,809.37 0.17 0.42 0.93

Tuples 1 16 4.50 2.00 7,472 MAX VALUE 2,103.36 3.42 0.76 1.51

Values 1 2 2.00 2.00 2,714 MAX VALUE 939.21 0.05 0.03 0.02

Value table constraints 2 30 3.35 3.00 5,195 MAX VALUE 1,662.25 2.47 0.74 1.47

Value table partitions 1 8 2.53 2.00 3,923 MAX VALUE 1,349.13 1.00 0.40 0.70

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	5	2.60	2.00	4,321	MAX VALUE	1,528.82	0.73	0.28	1.00
Coarse blocks size	1	15	2.44	2.00	31,354	MAX VALUE	8,801.52	1.75	0.72	1.52
Relational linkage	0.06	1.00	0.59	0.50	2,312.38	0.00	-2,384.04	0.23	0.38	1.00
Tightness	0.06	0.50	0.39	0.50	654.88	0.00	-1,809.37	0.17	0.42	0.93
Tuples	1	16	4.50	2.00	7,472	MAX VALUE	2,103.36	3.42	0.76	1.51
Values	1	2	2.00	2.00	2,714	MAX VALUE	939.21	0.05	0.03	0.02
Value table constraints	2	30	3.35	3.00	5,195	MAX VALUE	1,662.25	2.47	0.74	1.47
Value table partitions	1	8	2.53	2.00	3,923	MAX VALUE	1,349.13	1.00	0.40	0.70

Tree decomposition

Number of clusters: 1,156
Number of leaves: 334
Tree depth: 22
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_ext/Tree1.json

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

Cluster constraints 0 18 1.66 1.00 1,921 0 None 2.10 1.27 1.49

Variables per cluster 2 27 5.22 5.00 6,036 MAX VALUE 1,781.39 2.87 0.55 2.09

Separator constraints 0 7 0.23 0.00 261 0 None 0.84 3.72 0.47

Separator variables 0 22 4.05 4.00 4,677 0 None 2.64 0.65 2.04

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	1.66	1.00	1,921	0	None	2.10	1.27	1.49
Variables per cluster	2	27	5.22	5.00	6,036	MAX VALUE	1,781.39	2.87	0.55	2.09
Separator constraints	0	7	0.23	0.00	261	0	None	0.84	3.72	0.47
Separator variables	0	22	4.05	4.00	4,677	0	None	2.64	0.65	2.04
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: 1,054
Number of leaves: 297
Tree depth: 26
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_ext/DualTree1.json

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

Cluster constraints 0 436 29.85 6.00 31,457 0 None 59.18 1.98 3.55

Variables per cluster 2 62 9.67 6.00 10,187 MAX VALUE 2,104.47 8.40 0.87 2.85

Separator constraints 0 406 21.97 1.00 23,157 0 None 52.30 2.38 2.82

Separator variables 0 50 8.09 5.00 8,527 0 None 7.79 0.96 2.77

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	436	29.85	6.00	31,457	0	None	59.18	1.98	3.55
Variables per cluster	2	62	9.67	6.00	10,187	MAX VALUE	2,104.47	8.40	0.87	2.85
Separator constraints	0	406	21.97	1.00	23,157	0	None	52.30	2.38	2.82
Separator variables	0	50	8.09	5.00	8,527	0	None	7.79	0.96	2.77
Clusters per variable	None	None	None	None	None	None	None	None	None	None

Primal graph

Density: 0.34%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_ext/Primal1.json

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

Clustering coefficient 0.00 1.00 None 0.50 None None None None None 3.10

Degree 1 31 4.57 4.00 6,212 MAX VALUE 1,873.02 2.57 0.56 2.06

Eccentricity 14 24 19.82 20.00 26,935 MAX VALUE 4,050.31 2.17 0.11 2.13

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	1.00	None	0.50	None	None	None	None	None	3.10
Degree	1	31	4.57	4.00	6,212	MAX VALUE	1,873.02	2.57	0.56	2.06
Eccentricity	14	24	19.82	20.00	26,935	MAX VALUE	4,050.31	2.17	0.11	2.13
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 0.69%
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.00 1.00 None 0.80 None None None None None 4.61

Degree 1 164 9.37 5.00 12,736 MAX VALUE 2,375.92 13.47 1.44 2.96

Eccentricity 8 16 12.52 13.00 17,021 MAX VALUE 3,431.43 0.92 0.07 1.28

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	1.00	None	0.80	None	None	None	None	None	4.61
Degree	1	164	9.37	5.00	12,736	MAX VALUE	2,375.92	13.47	1.44	2.96
Eccentricity	8	16	12.52	13.00	17,021	MAX VALUE	3,431.43	0.92	0.07	1.28
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 0.60%
MCB compute time (ms): 58,018
MCB cycles: 6,749
Triangles: 31,296
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_ext/Dual1.json

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

Clustering coefficient 0.00 1.00 None 0.60 None None None None None 3.68

Degree 1 34 10.00 7.00 16,600 MAX VALUE 3,348.24 7.67 0.77 2.89

Eccentricity 14 23 19.21 20.00 31,895 MAX VALUE 4,895.18 2.18 0.11 2.11

MCB cycle size 3 21 3.27 3.00 22,095 MAX VALUE 7,784.38 1.22 0.37 0.42

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.60	None	None	None	None	None	3.68
Degree	1	34	10.00	7.00	16,600	MAX VALUE	3,348.24	7.67	0.77	2.89
Eccentricity	14	23	19.21	20.00	31,895	MAX VALUE	4,895.18	2.18	0.11	2.11
MCB cycle size	3	21	3.27	3.00	22,095	MAX VALUE	7,784.38	1.22	0.37	0.42

Minimal dual graph

Density: 0.18%
MCB compute time (ms): 18,022
MCB cycles: 850

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

Degree 1 7 3.02 3.00 5,012 MAX VALUE 1,766.10 0.81 0.27 1.20

Eccentricity 20 35 28.30 28.00 46,986 MAX VALUE 5,539.30 3.08 0.11 2.52

MCB cycle size 3 28 7.34 7.00 6,237 MAX VALUE 1,567.25 4.22 0.57 2.52

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.95
Degree	1	7	3.02	3.00	5,012	MAX VALUE	1,766.10	0.81	0.27	1.20
Eccentricity	20	35	28.30	28.00	46,986	MAX VALUE	5,539.30	3.08	0.11	2.52
MCB cycle size	3	28	7.34	7.00	6,237	MAX VALUE	1,567.25	4.22	0.57	2.52

Triangulated dual graph

Density: 1.39%
Triangles: 208,152

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

Clustering coefficient 0.00 1.00 None 0.83 None None None None None 4.98

Degree 1 180 23.02 13.00 38,206 MAX VALUE 4,206.63 28.39 1.23 3.88

Eccentricity 8 15 12.03 12.00 19,969 MAX VALUE 4,125.02 0.82 0.07 1.13

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.83	None	None	None	None	None	4.98
Degree	1	180	23.02	13.00	38,206	MAX VALUE	4,206.63	28.39	1.23	3.88
Eccentricity	8	15	12.03	12.00	19,969	MAX VALUE	4,125.02	0.82	0.07	1.13

Triangulated minimal dual graph

Density: 0.69%

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

Clustering coefficient 0.00 1.00 None 0.67 None None None None None 4.65

Degree 1 114 11.37 4.00 18,876 MAX VALUE 2,931.26 17.71 1.56 3.05

Eccentricity 9 17 13.20 13.00 21,920 MAX VALUE 4,278.51 1.04 0.08 1.43

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.67	None	None	None	None	None	4.65
Degree	1	114	11.37	4.00	18,876	MAX VALUE	2,931.26	17.71	1.56	3.05
Eccentricity	9	17	13.20	13.00	21,920	MAX VALUE	4,278.51	1.04	0.08	1.43

Incidence graph

Density: 0.09%
MCB compute time (ms): 35,455
MCB cycles: 1,308
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/ssa-2670-130_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 2.23

Degree 1 30 2.86 2.00 8,642 MAX VALUE 2,832.23 1.91 0.67 1.41

Eccentricity 29 48 39.51 40.00 119,292 MAX VALUE 11,080.60 4.35 0.11 2.81

MCB cycle size 4 42 7.57 4.00 9,908 MAX VALUE 2,387.93 5.65 0.75 1.58

XCSP 2.1 Benchmarks