XCSP 2.1 Benchmark Database

Instance: normalized-bf-1355-075_ext
Number of variables: 4360
Number of constraints: 8951
Satisfiable: None
Timestamp: 2018-04-21 10:43:27
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 4360
Number of constraints: 8951

General features

Coarse blocks: 54,377
Value tables: 6,302

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

Arity 2 6 2.40 2.00 21,461 MAX VALUE 7,580.46 0.61 0.26 0.81

Coarse blocks size 1 32 2.41 2.00 131,041 MAX VALUE 36,676.00 2.24 0.93 1.45

Relational linkage 0.50 1.00 0.72 0.50 10,737.80 0.00 -5,663.82 0.24 0.34 0.85

Tightness 0.00 0.25 0.16 0.25 1,461.09 0.00 None 0.10 0.63 1.11

Tuples 1 63 3.99 3.00 35,727 MAX VALUE 10,354.30 3.68 0.92 1.32

Values 1 2 1.84 2.00 8,002 MAX VALUE 2,524.44 0.37 0.20 0.45

Value table constraints 2 33 4.12 4.00 25,963 MAX VALUE 8,085.45 2.28 0.55 1.91

Value table partitions 1 8 2.36 2.00 14,880 MAX VALUE 4,718.25 1.25 0.53 0.99

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	6	2.40	2.00	21,461	MAX VALUE	7,580.46	0.61	0.26	0.81
Coarse blocks size	1	32	2.41	2.00	131,041	MAX VALUE	36,676.00	2.24	0.93	1.45
Relational linkage	0.50	1.00	0.72	0.50	10,737.80	0.00	-5,663.82	0.24	0.34	0.85
Tightness	0.00	0.25	0.16	0.25	1,461.09	0.00	None	0.10	0.63	1.11
Tuples	1	63	3.99	3.00	35,727	MAX VALUE	10,354.30	3.68	0.92	1.32
Values	1	2	1.84	2.00	8,002	MAX VALUE	2,524.44	0.37	0.20	0.45
Value table constraints	2	33	4.12	4.00	25,963	MAX VALUE	8,085.45	2.28	0.55	1.91
Value table partitions	1	8	2.36	2.00	14,880	MAX VALUE	4,718.25	1.25	0.53	0.99

Tree decomposition

Number of clusters: 3,296
Number of leaves: 1,163
Tree depth: 26
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Tree1.json

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

Cluster constraints 0 53 4.94 4.00 16,290 0 None 3.87 0.78 2.31

Variables per cluster 2 127 9.76 8.00 32,156 MAX VALUE 6,884.46 8.07 0.83 2.85

Separator constraints 0 44 2.23 1.00 7,339 0 None 3.65 1.64 1.85

Separator variables 0 99 8.43 6.00 27,796 0 None 7.35 0.87 2.81

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	53	4.94	4.00	16,290	0	None	3.87	0.78	2.31
Variables per cluster	2	127	9.76	8.00	32,156	MAX VALUE	6,884.46	8.07	0.83	2.85
Separator constraints	0	44	2.23	1.00	7,339	0	None	3.65	1.64	1.85
Separator variables	0	99	8.43	6.00	27,796	0	None	7.35	0.87	2.81
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: 4,282
Number of leaves: 1,874
Tree depth: 25
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/DualTree1.json

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

Cluster constraints 1 529 37.78 21.00 161,769 MAX VALUE 13,359.70 47.33 1.25 4.00

Variables per cluster 3 278 15.18 11.00 65,014 MAX VALUE 10,634.80 14.76 0.97 3.30

Separator constraints 0 496 26.04 13.00 111,503 0 None 37.06 1.42 3.83

Separator variables 0 209 13.09 9.00 56,063 0 None 12.35 0.94 3.18

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	1	529	37.78	21.00	161,769	MAX VALUE	13,359.70	47.33	1.25	4.00
Variables per cluster	3	278	15.18	11.00	65,014	MAX VALUE	10,634.80	14.76	0.97	3.30
Separator constraints	0	496	26.04	13.00	111,503	0	None	37.06	1.42	3.83
Separator variables	0	209	13.09	9.00	56,063	0	None	12.35	0.94	3.18
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-primesDimacsExtConvert/normalized-bf-1355-075_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Primal1.json

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

Clustering coefficient 0.00 0.67 None 0.20 None None None None None 3.43

Degree 1 33 6.46 6.00 28,144 MAX VALUE 7,677.01 2.88 0.45 2.32

Eccentricity 13 20 15.97 16.00 69,650 MAX VALUE 12,065.60 1.38 0.09 1.71

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.20	None	None	None	None	None	3.43
Degree	1	33	6.46	6.00	28,144	MAX VALUE	7,677.01	2.88	0.45	2.32
Eccentricity	13	20	15.97	16.00	69,650	MAX VALUE	12,065.60	1.38	0.09	1.71
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 0.59%
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.07 1.00 None 0.78 None None None None None 5.80

Degree 1 864 25.55 12.00 111,392 MAX VALUE 11,082.80 45.83 1.79 3.83

Eccentricity 4 8 6.05 6.00 26,359 MAX VALUE 7,819.93 0.65 0.11 0.98

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.07	1.00	None	0.78	None	None	None	None	None	5.80
Degree	1	864	25.55	12.00	111,392	MAX VALUE	11,082.80	45.83	1.79	3.83
Eccentricity	4	8	6.05	6.00	26,359	MAX VALUE	7,819.93	0.65	0.11	0.98
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 0.13%
MCB compute time (ms): None
MCB cycles: None
Triangles: 102,574
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Dual1.json

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

Clustering coefficient 0.00 1.00 0.46 0.46 4,115.17 0.00 None 0.11 0.25 4.23

Degree 2 35 11.23 10.00 100,532 MAX VALUE 20,566.70 5.68 0.51 2.92

Eccentricity 13 20 16.22 16.00 145,155 MAX VALUE 24,907.70 1.34 0.08 1.68

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	0.46	0.46	4,115.17	0.00	None	0.11	0.25	4.23
Degree	2	35	11.23	10.00	100,532	MAX VALUE	20,566.70	5.68	0.51	2.92
Eccentricity	13	20	16.22	16.00	145,155	MAX VALUE	24,907.70	1.34	0.08	1.68
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Minimal dual graph

Density: 0.04%
MCB compute time (ms): None
MCB cycles: None

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

Clustering coefficient 0.00 0.17 None 0.00 None None None None None 0.57

Degree 1 7 3.39 3.00 30,384 MAX VALUE 10,737.80 0.68 0.20 1.01

Eccentricity 22 34 27.43 27.00 245,547 MAX VALUE 29,614.00 2.23 0.08 2.19

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.17	None	0.00	None	None	None	None	None	0.57
Degree	1	7	3.39	3.00	30,384	MAX VALUE	10,737.80	0.68	0.20	1.01
Eccentricity	22	34	27.43	27.00	245,547	MAX VALUE	29,614.00	2.23	0.08	2.19
MCB cycle size	None	None	None	None	None	None	None	None	None	None

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.33%

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

Clustering coefficient 0.17 1.00 None 0.70 None None None None None 5.45

Degree 1 552 29.24 6.00 261,702 MAX VALUE 19,879.10 69.38 2.37 3.56

Eccentricity 6 10 7.41 7.00 66,318 MAX VALUE 17,888.30 0.68 0.09 1.03

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.17	1.00	None	0.70	None	None	None	None	None	5.45
Degree	1	552	29.24	6.00	261,702	MAX VALUE	19,879.10	69.38	2.37	3.56
Eccentricity	6	10	7.41	7.00	66,318	MAX VALUE	17,888.30	0.68	0.09	1.03

Incidence graph

Density: 0.02%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-1355-075_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 1.73

Degree 1 33 3.22 3.00 42,922 MAX VALUE 14,074.10 1.84 0.57 1.53

Eccentricity 26 40 32.67 32.00 434,856 MAX VALUE 46,363.90 2.67 0.08 2.34

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

XCSP 2.1 Benchmarks