XCSP 2.1 Benchmark Database

Instance: normalized-f2000_ext
Number of variables: 4000
Number of constraints: 10500
Satisfiable: None
Timestamp: 2018-04-21 10:43:27
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 4000
Number of constraints: 10500

General features

Coarse blocks: 59,294
Value tables: 4,033

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

Arity 2 3 2.81 3.00 29,500 MAX VALUE 10,724.50 0.39 0.14 0.49

Coarse blocks size 1 4 3.22 3.00 191,017 MAX VALUE 66,292.30 0.85 0.26 1.10

Relational linkage 0.50 1.00 0.63 0.75 5,126.75 0.00 -3,944.75 0.13 0.21 0.76

Tightness 0.12 0.25 0.15 0.12 1,562.50 0.00 -20,447.80 0.05 0.33 0.49

Tuples 3 7 6.24 7.00 65,500 MAX VALUE 18,737.50 1.57 0.25 0.49

Values 2 2 2.00 2.00 8,000 MAX VALUE 2,772.59 0.00 0.00 0.00

Value table constraints 2 20 7.33 7.00 29,571 MAX VALUE 7,750.96 2.60 0.35 2.35

Value table partitions 2 4 2.02 2.00 8,142 MAX VALUE 2,821.80 0.19 0.10 0.05

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	3	2.81	3.00	29,500	MAX VALUE	10,724.50	0.39	0.14	0.49
Coarse blocks size	1	4	3.22	3.00	191,017	MAX VALUE	66,292.30	0.85	0.26	1.10
Relational linkage	0.50	1.00	0.63	0.75	5,126.75	0.00	-3,944.75	0.13	0.21	0.76
Tightness	0.12	0.25	0.15	0.12	1,562.50	0.00	-20,447.80	0.05	0.33	0.49
Tuples	3	7	6.24	7.00	65,500	MAX VALUE	18,737.50	1.57	0.25	0.49
Values	2	2	2.00	2.00	8,000	MAX VALUE	2,772.59	0.00	0.00	0.00
Value table constraints	2	20	7.33	7.00	29,571	MAX VALUE	7,750.96	2.60	0.35	2.35
Value table partitions	2	4	2.02	2.00	8,142	MAX VALUE	2,821.80	0.19	0.10	0.05

Tree decomposition

Number of clusters: None
Number of leaves: None
Tree depth: None
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f2000_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f2000_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f2000_ext/Tree1.json

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

Cluster constraints None None None None None None None None None None

Variables per cluster None None None None None None None None None None

Separator constraints None None None None None None None None None None

Separator variables None None None None None None None None None None

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	None	None	None	None	None	None	None	None	None	None
Variables per cluster	None	None	None	None	None	None	None	None	None	None
Separator constraints	None	None	None	None	None	None	None	None	None	None
Separator variables	None	None	None	None	None	None	None	None	None	None
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: None
Number of leaves: None
Tree depth: None
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f2000_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f2000_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f2000_ext/DualTree1.json

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

Cluster constraints None None None None None None None None None None

Variables per cluster None None None None None None None None None None

Separator constraints None None None None None None None None None None

Separator variables None None None None None None None None None None

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	None	None	None	None	None	None	None	None	None	None
Variables per cluster	None	None	None	None	None	None	None	None	None	None
Separator constraints	None	None	None	None	None	None	None	None	None	None
Separator variables	None	None	None	None	None	None	None	None	None	None
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/pseudo-primesDimacsExtConvert/normalized-f2000_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f2000_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f2000_ext/Primal1.json

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

Clustering coefficient 0.03 0.33 None 0.08 None None None None None 3.00

Degree 1 39 13.73 13.00 54,924 MAX VALUE 10,160.80 5.12 0.37 2.43

Eccentricity 4 6 5.09 5.00 20,346 MAX VALUE 6,500.63 0.29 0.06 0.31

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.03	0.33	None	0.08	None	None	None	None	None	3.00
Degree	1	39	13.73	13.00	54,924	MAX VALUE	10,160.80	5.12	0.37	2.43
Eccentricity	4	6	5.09	5.00	20,346	MAX VALUE	6,500.63	0.29	0.06	0.31
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 31.30%
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.60 1.00 None 0.97 None None None None None 6.89

Degree 1 2,281 1,251.71 2,216.50 5,006,820 MAX VALUE 22,096.90 1,090.76 0.87 4.63

Eccentricity 3 5 3.44 3.00 13,745 MAX VALUE 4,896.26 0.50 0.14 0.69

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.60	1.00	None	0.97	None	None	None	None	None	6.89
Degree	1	2,281	1,251.71	2,216.50	5,006,820	MAX VALUE	22,096.90	1,090.76	0.87	4.63
Eccentricity	3	5	3.44	3.00	13,745	MAX VALUE	4,896.26	0.50	0.14	0.69
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 0.19%
MCB compute time (ms): None
MCB cycles: None
Triangles: 257,344
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f2000_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f2000_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f2000_ext/Dual1.json

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

Clustering coefficient 0.24 1.00 0.36 0.33 3,810.39 0.00 -10,843.80 0.08 0.22 5.50

Degree 2 41 20.41 21.00 214,306 MAX VALUE 31,187.00 5.66 0.28 3.14

Eccentricity 5 6 5.01 5.00 52,563 MAX VALUE 16,910.60 0.08 0.02 0.04

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.24	1.00	0.36	0.33	3,810.39	0.00	-10,843.80	0.08	0.22	5.50
Degree	2	41	20.41	21.00	214,306	MAX VALUE	31,187.00	5.66	0.28	3.14
Eccentricity	5	6	5.01	5.00	52,563	MAX VALUE	16,910.60	0.08	0.02	0.04
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Minimal dual graph

Density: 0.05%
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.33 0.00 0.00 1.88 0.00 None 0.01 28.77 0.02

Degree 2 8 4.85 5.00 50,924 MAX VALUE 16,368.30 0.97 0.20 1.37

Eccentricity 8 10 8.78 9.00 92,234 MAX VALUE 22,803.70 0.42 0.05 0.54

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.33	0.00	0.00	1.88	0.00	None	0.01	28.77	0.02
Degree	2	8	4.85	5.00	50,924	MAX VALUE	16,368.30	0.97	0.20	1.37
Eccentricity	8	10	8.78	9.00	92,234	MAX VALUE	22,803.70	0.42	0.05	0.54
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: 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

Incidence graph

Density: 0.03%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f2000_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f2000_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f2000_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.95

Degree 1 20 4.07 3.00 59,000 MAX VALUE 18,449.10 2.47 0.61 1.52

Eccentricity 9 13 10.68 11.00 154,930 MAX VALUE 34,330.10 0.53 0.05 0.77

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

XCSP 2.1 Benchmarks