XCSP2 Benchmark Database

Instance: normalized-ssa-0432-003_ext
Number of variables: 870
Number of constraints: 1458
Satisfiable: None
Timestamp: 2018-04-21 10:44:18
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 870
Number of constraints: 1458

General features

Coarse blocks: 6,111
Value tables: 948

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

Arity 2 5 2.22 2.00 3,230 MAX VALUE 1,129.41 0.52 0.24 0.56

Coarse blocks size 1 16 1.91 2.00 11,673 MAX VALUE 2,915.45 1.50 0.79 1.19

Relational linkage 0.50 1.00 0.62 0.50 1,085.25 0.00 -931.47 0.21 0.33 0.70

Tightness 0.00 0.25 0.17 0.25 244.69 0.00 None 0.11 0.67 0.89

Tuples 1 31 3.03 3.00 4,412 MAX VALUE 1,361.65 2.25 0.74 1.10

Values 1 2 1.76 2.00 1,532 MAX VALUE 458.86 0.43 0.24 0.55

Value table constraints 2 26 3.60 3.00 3,416 MAX VALUE 1,149.68 1.80 0.50 1.48

Value table partitions 1 8 1.86 2.00 1,761 MAX VALUE 530.95 0.68 0.36 0.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	5	2.22	2.00	3,230	MAX VALUE	1,129.41	0.52	0.24	0.56
Coarse blocks size	1	16	1.91	2.00	11,673	MAX VALUE	2,915.45	1.50	0.79	1.19
Relational linkage	0.50	1.00	0.62	0.50	1,085.25	0.00	-931.47	0.21	0.33	0.70
Tightness	0.00	0.25	0.17	0.25	244.69	0.00	None	0.11	0.67	0.89
Tuples	1	31	3.03	3.00	4,412	MAX VALUE	1,361.65	2.25	0.74	1.10
Values	1	2	1.76	2.00	1,532	MAX VALUE	458.86	0.43	0.24	0.55
Value table constraints	2	26	3.60	3.00	3,416	MAX VALUE	1,149.68	1.80	0.50	1.48
Value table partitions	1	8	1.86	2.00	1,761	MAX VALUE	530.95	0.68	0.36	0.72

Tree decomposition

Number of clusters: 740
Number of leaves: 276
Tree depth: 18
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-0432-003_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-0432-003_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-0432-003_ext/Tree1.json

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

Cluster constraints 0 14 3.34 3.00 2,472 0 None 1.82 0.55 1.74

Variables per cluster 2 35 7.26 6.00 5,369 MAX VALUE 1,357.43 4.55 0.63 2.52

Separator constraints 0 11 1.37 1.00 1,014 0 None 1.91 1.40 1.58

Separator variables 0 28 6.08 5.00 4,499 0 None 4.09 0.67 2.48

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	14	3.34	3.00	2,472	0	None	1.82	0.55	1.74
Variables per cluster	2	35	7.26	6.00	5,369	MAX VALUE	1,357.43	4.55	0.63	2.52
Separator constraints	0	11	1.37	1.00	1,014	0	None	1.91	1.40	1.58
Separator variables	0	28	6.08	5.00	4,499	0	None	4.09	0.67	2.48
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: 851
Number of leaves: 370
Tree depth: 17
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-0432-003_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-0432-003_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-0432-003_ext/DualTree1.json

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

Cluster constraints 0 546 15.18 9.00 12,919 0 None 37.34 2.46 2.96

Variables per cluster 2 90 9.53 7.00 8,114 MAX VALUE 1,763.87 8.34 0.87 2.64

Separator constraints 0 363 8.47 4.00 7,212 0 None 25.16 2.97 2.73

Separator variables 0 68 7.82 6.00 6,656 0 None 6.78 0.87 2.52

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	546	15.18	9.00	12,919	0	None	37.34	2.46	2.96
Variables per cluster	2	90	9.53	7.00	8,114	MAX VALUE	1,763.87	8.34	0.87	2.64
Separator constraints	0	363	8.47	4.00	7,212	0	None	25.16	2.97	2.73
Separator variables	0	68	7.82	6.00	6,656	0	None	6.78	0.87	2.52
Clusters per variable	None	None	None	None	None	None	None	None	None	None

Primal graph

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

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

Clustering coefficient 0.00 0.67 None 0.17 None None None None None 2.28

Degree 1 26 4.65 4.00 4,044 MAX VALUE 1,259.16 2.25 0.49 1.93

Eccentricity 7 12 9.70 10.00 8,435 MAX VALUE 1,971.92 0.97 0.10 1.39

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.17	None	None	None	None	None	2.28
Degree	1	26	4.65	4.00	4,044	MAX VALUE	1,259.16	2.25	0.49	1.93
Eccentricity	7	12	9.70	10.00	8,435	MAX VALUE	1,971.92	0.97	0.10	1.39
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 1.81%
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.10 1.00 None 0.73 None None None None None 4.41

Degree 1 260 15.69 7.00 13,648 MAX VALUE 1,882.36 23.96 1.53 3.37

Eccentricity 5 9 6.27 6.00 5,455 MAX VALUE 1,592.22 0.67 0.11 1.01

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.10	1.00	None	0.73	None	None	None	None	None	4.41
Degree	1	260	15.69	7.00	13,648	MAX VALUE	1,882.36	23.96	1.53	3.37
Eccentricity	5	9	6.27	6.00	5,455	MAX VALUE	1,592.22	0.67	0.11	1.01
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 0.54%
MCB compute time (ms): 83,639
MCB cycles: 4,384
Triangles: 12,321
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-0432-003_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-0432-003_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-0432-003_ext/Dual1.json

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

Clustering coefficient 0.00 1.00 None 0.40 None None None None None 3.06

Degree 1 47 7.83 6.00 11,414 MAX VALUE 2,767.93 5.52 0.70 2.43

Eccentricity 7 13 10.01 10.00 14,600 MAX VALUE 3,350.42 1.09 0.11 1.50

MCB cycle size 3 10 3.32 3.00 14,563 MAX VALUE 5,163.60 0.88 0.27 0.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.40	None	None	None	None	None	3.06
Degree	1	47	7.83	6.00	11,414	MAX VALUE	2,767.93	5.52	0.70	2.43
Eccentricity	7	13	10.01	10.00	14,600	MAX VALUE	3,350.42	1.09	0.11	1.50
MCB cycle size	3	10	3.32	3.00	14,563	MAX VALUE	5,163.60	0.88	0.27	0.68

Minimal dual graph

Density: 0.21%
MCB compute time (ms): 21,571
MCB cycles: 805

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

Degree 1 6 3.10 3.00 4,522 MAX VALUE 1,615.96 0.65 0.21 0.98

Eccentricity 14 22 17.50 17.00 25,515 MAX VALUE 4,168.77 1.35 0.08 1.71

MCB cycle size 3 17 7.01 6.00 5,647 MAX VALUE 1,513.78 2.81 0.40 2.17

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.14
Degree	1	6	3.10	3.00	4,522	MAX VALUE	1,615.96	0.65	0.21	0.98
Eccentricity	14	22	17.50	17.00	25,515	MAX VALUE	4,168.77	1.35	0.08	1.71
MCB cycle size	3	17	7.01	6.00	5,647	MAX VALUE	1,513.78	2.81	0.40	2.17

Triangulated dual graph

Density: 2.07%
Triangles: 370,447

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

Clustering coefficient 0.33 1.00 None 0.76 None None None None None 5.10

Degree 1 238 30.13 12.00 43,924 MAX VALUE 3,950.36 42.19 1.40 3.93

Eccentricity 5 9 6.81 7.00 9,935 MAX VALUE 2,788.20 0.78 0.11 1.17

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	None	0.76	None	None	None	None	None	5.10
Degree	1	238	30.13	12.00	43,924	MAX VALUE	3,950.36	42.19	1.40	3.93
Eccentricity	5	9	6.81	7.00	9,935	MAX VALUE	2,788.20	0.78	0.11	1.17

Triangulated minimal dual graph

Density: 1.22%

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

Clustering coefficient 0.31 1.00 None 0.67 None None None None None 4.09

Degree 1 160 17.77 5.00 25,904 MAX VALUE 2,904.21 31.65 1.78 3.22

Eccentricity 5 10 7.26 7.00 10,588 MAX VALUE 2,882.24 0.79 0.11 1.16

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.31	1.00	None	0.67	None	None	None	None	None	4.09
Degree	1	160	17.77	5.00	25,904	MAX VALUE	2,904.21	31.65	1.78	3.22
Eccentricity	5	10	7.26	7.00	10,588	MAX VALUE	2,882.24	0.79	0.11	1.16

Incidence graph

Density: 0.12%
MCB compute time (ms): 35,648
MCB cycles: 904
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-0432-003_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-0432-003_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-ssaExtConvert/normalized-ssa-0432-003_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.88

Degree 1 26 2.77 2.00 6,460 MAX VALUE 2,210.89 1.40 0.50 1.22

Eccentricity 15 26 20.23 20.00 47,084 MAX VALUE 6,988.05 2.05 0.10 2.12

MCB cycle size 4 20 8.35 8.00 7,544 MAX VALUE 1,860.97 3.15 0.38 1.27

XCSP2 Benchmarks