XCSP 2.1 Benchmark Database

Instance: normalized-f1000_ext
Number of variables: 2000
Number of constraints: 5250
Satisfiable: None
Timestamp: 2018-04-21 10:43:26
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 2000
Number of constraints: 5250

General features

Coarse blocks: 29,778
Value tables: 2,034

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

Arity 2 3 2.81 3.00 14,750 MAX VALUE 5,362.25 0.39 0.14 0.49

Coarse blocks size 1 4 3.22 3.00 95,737 MAX VALUE 33,213.70 0.86 0.27 1.10

Relational linkage 0.50 1.00 0.63 0.75 2,621.25 0.00 -1,984.94 0.14 0.22 0.79

Tightness 0.12 0.25 0.15 0.12 781.25 0.00 -10,223.90 0.05 0.33 0.49

Tuples 3 7 6.24 7.00 32,750 MAX VALUE 9,368.73 1.57 0.25 0.49

Values 2 2 2.00 2.00 4,000 MAX VALUE 1,386.29 0.00 0.00 0.00

Value table constraints 2 16 7.29 7.00 14,819 MAX VALUE 3,896.79 2.57 0.35 2.34

Value table partitions 2 4 2.03 2.00 4,138 MAX VALUE 1,434.12 0.26 0.13 0.09

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	3	2.81	3.00	14,750	MAX VALUE	5,362.25	0.39	0.14	0.49
Coarse blocks size	1	4	3.22	3.00	95,737	MAX VALUE	33,213.70	0.86	0.27	1.10
Relational linkage	0.50	1.00	0.63	0.75	2,621.25	0.00	-1,984.94	0.14	0.22	0.79
Tightness	0.12	0.25	0.15	0.12	781.25	0.00	-10,223.90	0.05	0.33	0.49
Tuples	3	7	6.24	7.00	32,750	MAX VALUE	9,368.73	1.57	0.25	0.49
Values	2	2	2.00	2.00	4,000	MAX VALUE	1,386.29	0.00	0.00	0.00
Value table constraints	2	16	7.29	7.00	14,819	MAX VALUE	3,896.79	2.57	0.35	2.34
Value table partitions	2	4	2.03	2.00	4,138	MAX VALUE	1,434.12	0.26	0.13	0.09

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-f1000_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f1000_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f1000_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-f1000_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f1000_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f1000_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.69%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f1000_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f1000_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-f1000_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.28

Degree 1 31 13.71 13.00 27,430 MAX VALUE 5,091.33 4.99 0.36 2.45

Eccentricity 4 6 4.69 5.00 9,383 MAX VALUE 3,080.91 0.47 0.10 0.64

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.28
Degree	1	31	13.71	13.00	27,430	MAX VALUE	5,091.33	4.99	0.36	2.45
Eccentricity	4	6	4.69	5.00	9,383	MAX VALUE	3,080.91	0.47	0.10	0.64
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 32.18%
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.78 1.00 None 0.96 None None None None None 6.23

Degree 1 1,167 643.37 1,119.00 1,286,740 MAX VALUE 10,339.90 545.31 0.85 4.46

Eccentricity 2 4 3.39 3.00 6,777 MAX VALUE 2,419.93 0.49 0.15 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.78	1.00	None	0.96	None	None	None	None	None	6.23
Degree	1	1,167	643.37	1,119.00	1,286,740	MAX VALUE	10,339.90	545.31	0.85	4.46
Eccentricity	2	4	3.39	3.00	6,777	MAX VALUE	2,419.93	0.49	0.15	0.69
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

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

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

Clustering coefficient 0.27 1.00 0.36 0.33 1,904.57 0.00 -5,419.45 0.08 0.21 5.51

Degree 3 38 20.28 21.00 106,482 MAX VALUE 15,569.00 5.54 0.27 3.11

Eccentricity 4 5 4.90 5.00 25,750 MAX VALUE 8,337.98 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.27	1.00	0.36	0.33	1,904.57	0.00	-5,419.45	0.08	0.21	5.51
Degree	3	38	20.28	21.00	106,482	MAX VALUE	15,569.00	5.54	0.27	3.11
Eccentricity	4	5	4.90	5.00	25,750	MAX VALUE	8,337.98	0.29	0.06	0.31
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Minimal dual graph

Density: 0.09%
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.10 0.00 0.00 0.43 0.00 None 0.00 30.89 0.01

Degree 3 8 4.84 5.00 25,430 MAX VALUE 8,177.60 0.97 0.20 1.37

Eccentricity 7 9 8.06 8.00 42,340 MAX VALUE 10,956.90 0.26 0.03 0.27

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.10	0.00	0.00	0.43	0.00	None	0.00	30.89	0.01
Degree	3	8	4.84	5.00	25,430	MAX VALUE	8,177.60	0.97	0.20	1.37
Eccentricity	7	9	8.06	8.00	42,340	MAX VALUE	10,956.90	0.26	0.03	0.27
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: 13.53%

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

Clustering coefficient 0.62 1.00 0.92 0.96 4,852.17 0.00 -440.57 0.09 0.10 5.40

Degree 3 1,965 710.32 15.00 3,729,150 MAX VALUE 21,588.80 913.44 1.29 4.16

Eccentricity 3 5 3.63 4.00 19,074 MAX VALUE 6,722.29 0.49 0.14 0.69

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.62	1.00	0.92	0.96	4,852.17	0.00	-440.57	0.09	0.10	5.40
Degree	3	1,965	710.32	15.00	3,729,150	MAX VALUE	21,588.80	913.44	1.29	4.16
Eccentricity	3	5	3.63	4.00	19,074	MAX VALUE	6,722.29	0.49	0.14	0.69

Incidence graph

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

Degree 1 16 4.07 3.00 29,500 MAX VALUE 9,234.78 2.45 0.60 1.52

Eccentricity 9 12 9.95 10.00 72,155 MAX VALUE 16,649.50 0.51 0.05 0.76

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

XCSP 2.1 Benchmarks