XCSP 2.1 Benchmark Database

Instance: normalized-lei450-05b-04_ext
Number of variables: 450
Number of constraints: 5734
Satisfiable: None
Timestamp: 2018-04-21 10:08:21
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 450
Number of constraints: 5734

General features

Coarse blocks: 45,872
Value tables: 450

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

Arity 2 2 2.00 2.00 11,468 MAX VALUE 3,974.51 0.00 0.00 0.00

Coarse blocks size 3 3 3.00 3.00 137,616 MAX VALUE 50,395.50 0.00 0.00 0.00

Relational linkage 0.75 0.75 0.75 0.75 1,350.00 0.00 -517.83 0.00 0.00 0.00

Tightness 0.25 0.25 0.25 0.25 1,433.50 0.00 -7,949.01 0.00 0.00 0.00

Tuples 12 12 12.00 12.00 68,808 MAX VALUE 14,248.50 0.00 0.00 0.00

Values 4 4 4.00 4.00 1,800 MAX VALUE 623.83 0.00 0.00 0.00

Value table constraints 12 42 25.48 25.00 11,468 MAX VALUE 1,447.83 5.10 0.20 3.01

Value table partitions 4 4 4.00 4.00 1,800 MAX VALUE 623.83 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	2	2.00	2.00	11,468	MAX VALUE	3,974.51	0.00	0.00	0.00
Coarse blocks size	3	3	3.00	3.00	137,616	MAX VALUE	50,395.50	0.00	0.00	0.00
Relational linkage	0.75	0.75	0.75	0.75	1,350.00	0.00	-517.83	0.00	0.00	0.00
Tightness	0.25	0.25	0.25	0.25	1,433.50	0.00	-7,949.01	0.00	0.00	0.00
Tuples	12	12	12.00	12.00	68,808	MAX VALUE	14,248.50	0.00	0.00	0.00
Values	4	4	4.00	4.00	1,800	MAX VALUE	623.83	0.00	0.00	0.00
Value table constraints	12	42	25.48	25.00	11,468	MAX VALUE	1,447.83	5.10	0.20	3.01
Value table partitions	4	4	4.00	4.00	1,800	MAX VALUE	623.83	0.00	0.00	0.00

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/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_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/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_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: 5.68%
MCB compute time (ms): None
MCB cycles: None
Triangles: 6,278
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_ext/Primal1.json

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

Clustering coefficient 0.08 0.23 0.13 0.13 59.92 0.00 -912.94 0.02 0.16 5.29

Degree 12 42 25.48 25.00 11,468 MAX VALUE 1,447.83 5.10 0.20 3.01

Eccentricity 3 3 3.00 3.00 1,350 MAX VALUE 494.38 0.00 0.00 0.00

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.08	0.23	0.13	0.13	59.92	0.00	-912.94	0.02	0.16	5.29
Degree	12	42	25.48	25.00	11,468	MAX VALUE	1,447.83	5.10	0.20	3.01
Eccentricity	3	3	3.00	3.00	1,350	MAX VALUE	494.38	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: None%
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 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

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	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
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_ext/Dual1.json

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

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	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
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Minimal dual graph

Density: 0.07%
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.07 0.00 0.00 0.18 0.00 None 0.00 44.19 0.00

Degree 2 7 3.84 4.00 22,036 MAX VALUE 7,566.09 0.91 0.24 1.22

Eccentricity 9 12 10.67 11.00 61,208 MAX VALUE 13,568.30 0.60 0.06 0.90

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.07	0.00	0.00	0.18	0.00	None	0.00	44.19	0.00
Degree	2	7	3.84	4.00	22,036	MAX VALUE	7,566.09	0.91	0.24	1.22
Eccentricity	9	12	10.67	11.00	61,208	MAX VALUE	13,568.30	0.60	0.06	0.90
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: 8.35%

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

Clustering coefficient 0.50 1.00 0.89 0.94 5,083.77 0.00 -760.67 0.13 0.15 4.86

Degree 2 1,693 478.72 9.00 2,744,970 MAX VALUE 20,023.40 731.53 1.53 3.89

Eccentricity 3 5 3.77 4.00 21,630 MAX VALUE 7,554.84 0.53 0.14 0.77

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.89	0.94	5,083.77	0.00	-760.67	0.13	0.15	4.86
Degree	2	1,693	478.72	9.00	2,744,970	MAX VALUE	20,023.40	731.53	1.53	3.89
Eccentricity	3	5	3.77	4.00	21,630	MAX VALUE	7,554.84	0.53	0.14	0.77

Incidence graph

Density: 0.06%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-5ExtConvert/normalized-lei450-05b-04_ext/Incidence1.json

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

Clustering coefficient 0.00 0.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00

Degree 2 42 3.71 2.00 22,936 MAX VALUE 5,422.34 6.25 1.69 0.48

Eccentricity 7 8 7.93 8.00 49,022 MAX VALUE 12,799.20 0.26 0.03 0.26

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

XCSP 2.1 Benchmarks