XCSP 2.1 Benchmark Database

Instance: normalized-lei450-15b-13_ext
Number of variables: 450
Number of constraints: 8169
Satisfiable: None
Timestamp: 2018-04-21 10:07:43
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 450
Number of constraints: 8169

General features

Coarse blocks: 212,368
Value tables: 448

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

Arity 2 2 2.00 2.00 16,338 MAX VALUE 5,662.32 0.00 0.00 0.00

Coarse blocks size 12 12 12.00 12.00 2,548,420 MAX VALUE 527,715.00 0.00 0.00 0.00

Relational linkage 0.92 0.92 0.92 0.92 5,376.00 0.00 -466.17 0.00 0.00 0.00

Tightness 0.08 0.08 0.08 0.08 628.38 0.00 -20,953.10 0.00 0.00 0.00

Tuples 156 156 156.00 156.00 1,274,360 MAX VALUE 41,252.30 0.00 0.00 0.00

Values 13 13 13.00 13.00 5,850 MAX VALUE 1,154.23 0.00 0.00 0.00

Value table constraints 3 94 36.46 36.00 16,336 MAX VALUE 1,554.65 16.22 0.44 4.09

Value table partitions 13 13 13.00 13.00 5,824 MAX VALUE 1,149.10 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	16,338	MAX VALUE	5,662.32	0.00	0.00	0.00
Coarse blocks size	12	12	12.00	12.00	2,548,420	MAX VALUE	527,715.00	0.00	0.00	0.00
Relational linkage	0.92	0.92	0.92	0.92	5,376.00	0.00	-466.17	0.00	0.00	0.00
Tightness	0.08	0.08	0.08	0.08	628.38	0.00	-20,953.10	0.00	0.00	0.00
Tuples	156	156	156.00	156.00	1,274,360	MAX VALUE	41,252.30	0.00	0.00	0.00
Values	13	13	13.00	13.00	5,850	MAX VALUE	1,154.23	0.00	0.00	0.00
Value table constraints	3	94	36.46	36.00	16,336	MAX VALUE	1,554.65	16.22	0.44	4.09
Value table partitions	13	13	13.00	13.00	5,824	MAX VALUE	1,149.10	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-15ExtConvert/normalized-lei450-15b-13_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-15ExtConvert/normalized-lei450-15b-13_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-15ExtConvert/normalized-lei450-15b-13_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-15ExtConvert/normalized-lei450-15b-13_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-15ExtConvert/normalized-lei450-15b-13_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-15ExtConvert/normalized-lei450-15b-13_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: 8.09%
MCB compute time (ms): None
MCB cycles: None
Triangles: 33,022
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-15ExtConvert/normalized-lei450-15b-13_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-15ExtConvert/normalized-lei450-15b-13_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-15ExtConvert/normalized-lei450-15b-13_ext/Primal1.json

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

Clustering coefficient 0.00 0.80 None 0.30 None None None None None 5.94

Degree 1 94 36.31 35.50 16,338 MAX VALUE 1,554.65 16.35 0.45 4.10

Eccentricity 3 4 3.20 3.00 1,439 MAX VALUE 519.98 0.40 0.12 0.50

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.80	None	0.30	None	None	None	None	None	5.94
Degree	1	94	36.31	35.50	16,338	MAX VALUE	1,554.65	16.35	0.45	4.10
Eccentricity	3	4	3.20	3.00	1,439	MAX VALUE	519.98	0.40	0.12	0.50
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-15ExtConvert/normalized-lei450-15b-13_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-15ExtConvert/normalized-lei450-15b-13_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-15ExtConvert/normalized-lei450-15b-13_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.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.39 0.00 None 0.01 34.80 0.01

Degree 2 7 3.89 4.00 31,776 MAX VALUE 10,866.00 0.95 0.24 1.26

Eccentricity 9 14 11.43 11.00 93,375 MAX VALUE 19,886.60 0.70 0.06 1.06

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.39	0.00	None	0.01	34.80	0.01
Degree	2	7	3.89	4.00	31,776	MAX VALUE	10,866.00	0.95	0.24	1.26
Eccentricity	9	14	11.43	11.00	93,375	MAX VALUE	19,886.60	0.70	0.06	1.06
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.13%

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

Clustering coefficient 0.48 1.00 0.89 0.93 7,237.48 0.00 -1,085.13 0.13 0.14 5.02

Degree 2 2,418 664.46 9.00 5,427,940 MAX VALUE 29,492.60 1,022.26 1.54 4.17

Eccentricity 3 6 4.04 4.00 33,031 MAX VALUE 11,325.40 0.58 0.14 0.88

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	1.00	0.89	0.93	7,237.48	0.00	-1,085.13	0.13	0.14	5.02
Degree	2	2,418	664.46	9.00	5,427,940	MAX VALUE	29,492.60	1,022.26	1.54	4.17
Eccentricity	3	6	4.04	4.00	33,031	MAX VALUE	11,325.40	0.58	0.14	0.88

Incidence graph

Density: 0.04%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-15ExtConvert/normalized-lei450-15b-13_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-15ExtConvert/normalized-lei450-15b-13_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-leighton-leighton-15ExtConvert/normalized-lei450-15b-13_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.22

Degree 1 94 3.79 2.00 32,676 MAX VALUE 7,216.97 8.50 2.24 0.42

Eccentricity 6 9 7.83 8.00 67,473 MAX VALUE 17,723.00 0.42 0.05 0.56

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

XCSP 2.1 Benchmarks