XCSP 2.1 Benchmark Database

Instance: normalized-myciel5-4_ext
Number of variables: 47
Number of constraints: 236
Satisfiable: None
Timestamp: 2018-04-21 10:08:44
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 47
Number of constraints: 236

General features

Coarse blocks: 1,888
Value tables: 47

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

Arity 2 2 2.00 2.00 472 MAX VALUE 163.58 0.00 0.00 0.00

Coarse blocks size 3 3 3.00 3.00 5,664 MAX VALUE 2,074.18 0.00 0.00 0.00

Relational linkage 0.75 0.75 0.75 0.75 141.00 0.00 -54.08 0.00 0.00 0.00

Tightness 0.25 0.25 0.25 0.25 59.00 0.00 -327.17 0.00 0.00 0.00

Tuples 12 12 12.00 12.00 2,832 MAX VALUE 586.44 0.00 0.00 0.00

Values 4 4 4.00 4.00 188 1.98e+28 65.16 0.00 0.00 0.00

Value table constraints 5 23 10.04 9.00 472 MAX VALUE 104.45 4.39 0.44 2.30

Value table partitions 4 4 4.00 4.00 188 1.98e+28 65.16 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	472	MAX VALUE	163.58	0.00	0.00	0.00
Coarse blocks size	3	3	3.00	3.00	5,664	MAX VALUE	2,074.18	0.00	0.00	0.00
Relational linkage	0.75	0.75	0.75	0.75	141.00	0.00	-54.08	0.00	0.00	0.00
Tightness	0.25	0.25	0.25	0.25	59.00	0.00	-327.17	0.00	0.00	0.00
Tuples	12	12	12.00	12.00	2,832	MAX VALUE	586.44	0.00	0.00	0.00
Values	4	4	4.00	4.00	188	1.98e+28	65.16	0.00	0.00	0.00
Value table constraints	5	23	10.04	9.00	472	MAX VALUE	104.45	4.39	0.44	2.30
Value table partitions	4	4	4.00	4.00	188	1.98e+28	65.16	0.00	0.00	0.00

Tree decomposition

Number of clusters: 26
Number of leaves: 22
Tree depth: 3
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_ext/Tree1.json

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

Cluster constraints 5 66 15.62 7.00 406 2.96e+25 58.65 20.41 1.31 1.92

Variables per cluster 6 22 10.04 8.00 261 8.76e+24 57.43 5.13 0.51 1.79

Separator constraints 0 60 6.54 0.00 170 0 None 18.16 2.78 0.48

Separator variables 0 21 8.23 7.00 214 0 None 4.83 0.59 1.86

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	5	66	15.62	7.00	406	2.96e+25	58.65	20.41	1.31	1.92
Variables per cluster	6	22	10.04	8.00	261	8.76e+24	57.43	5.13	0.51	1.79
Separator constraints	0	60	6.54	0.00	170	0	None	18.16	2.78	0.48
Separator variables	0	21	8.23	7.00	214	0	None	4.83	0.59	1.86
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: 45
Number of leaves: 20
Tree depth: 5
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_ext/DualTree1.json

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

Cluster constraints 64 851 199.36 124.00 8,971 MAX VALUE 224.71 181.78 0.91 3.16

Variables per cluster 16 131 36.13 23.00 1,626 MAX VALUE 152.07 27.41 0.76 2.95

Separator constraints 0 483 141.87 99.00 6,384 0 None 110.71 0.78 3.25

Separator variables 0 97 30.89 22.00 1,390 0 None 21.02 0.68 2.93

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	64	851	199.36	124.00	8,971	MAX VALUE	224.71	181.78	0.91	3.16
Variables per cluster	16	131	36.13	23.00	1,626	MAX VALUE	152.07	27.41	0.76	2.95
Separator constraints	0	483	141.87	99.00	6,384	0	None	110.71	0.78	3.25
Separator variables	0	97	30.89	22.00	1,390	0	None	21.02	0.68	2.93
Clusters per variable	None	None	None	None	None	None	None	None	None	None

Primal graph

Density: 21.83%
MCB compute time (ms): None
MCB cycles: None
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_ext/Primal1.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 5 23 10.04 9.00 472 MAX VALUE 104.45 4.39 0.44 2.30

Eccentricity 2 2 2.00 2.00 94 1.41e+14 32.58 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.00	0.00	0.00	0.00	0.00	0.00	None	0.00	None	0.00
Degree	5	23	10.04	9.00	472	MAX VALUE	104.45	4.39	0.44	2.30
Eccentricity	2	2	2.00	2.00	94	1.41e+14	32.58	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 41.17%
MCB compute time (ms): None
MCB cycles: None
Triangles: 2,617

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

Clustering coefficient 0.39 1.00 0.85 0.86 40.10 0.00 -8.49 0.16 0.19 1.92

Degree 5 46 18.94 24.00 890 MAX VALUE 126.39 11.78 0.62 2.51

Eccentricity 1 2 1.98 2.00 93 7.04e+13 31.88 0.14 0.07 0.10

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.39	1.00	0.85	0.86	40.10	0.00	-8.49	0.16	0.19	1.92
Degree	5	46	18.94	24.00	890	MAX VALUE	126.39	11.78	0.62	2.51
Eccentricity	1	2	1.98	2.00	93	7.04e+13	31.88	0.14	0.07	0.10
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 9.33%
MCB compute time (ms): 3,438
MCB cycles: 2,735
Triangles: 10,616
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_ext/Dual1.json

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

Clustering coefficient 0.47 0.73 0.55 0.53 129.65 0.00 -143.46 0.08 0.14 3.37

Degree 15 33 21.92 21.00 5,174 MAX VALUE 723.41 4.62 0.21 2.66

Eccentricity 3 3 3.00 3.00 708 MAX VALUE 259.27 0.00 0.00 0.00

MCB cycle size 3 5 3.27 3.00 8,955 MAX VALUE 3,209.04 0.57 0.18 0.64

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.47	0.73	0.55	0.53	129.65	0.00	-143.46	0.08	0.14	3.37
Degree	15	33	21.92	21.00	5,174	MAX VALUE	723.41	4.62	0.21	2.66
Eccentricity	3	3	3.00	3.00	708	MAX VALUE	259.27	0.00	0.00	0.00
MCB cycle size	3	5	3.27	3.00	8,955	MAX VALUE	3,209.04	0.57	0.18	0.64

Minimal dual graph

Density: 1.53%
MCB compute time (ms): 268
MCB cycles: 191

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 6 3.60 3.00 850 MAX VALUE 296.76 0.82 0.23 1.10

Eccentricity 6 9 7.63 8.00 1,801 MAX VALUE 478.56 0.72 0.09 1.08

MCB cycle size 4 9 6.25 6.00 1,193 MAX VALUE 345.55 1.30 0.21 1.63

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	6	3.60	3.00	850	MAX VALUE	296.76	0.82	0.23	1.10
Eccentricity	6	9	7.63	8.00	1,801	MAX VALUE	478.56	0.72	0.09	1.08
MCB cycle size	4	9	6.25	6.00	1,193	MAX VALUE	345.55	1.30	0.21	1.63

Triangulated dual graph

Density: 53.18%
Triangles: 604,690

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

Clustering coefficient 0.77 1.00 0.86 0.84 202.65 0.00 -36.66 0.07 0.08 4.87

Degree 15 180 124.98 157.50 29,496 MAX VALUE 1,091.94 57.47 0.46 3.85

Eccentricity 2 3 2.18 2.00 514 MAX VALUE 180.61 0.38 0.18 0.47

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.77	1.00	0.86	0.84	202.65	0.00	-36.66	0.07	0.08	4.87
Degree	15	180	124.98	157.50	29,496	MAX VALUE	1,091.94	57.47	0.46	3.85
Eccentricity	2	3	2.18	2.00	514	MAX VALUE	180.61	0.38	0.18	0.47

Triangulated minimal dual graph

Density: 10.06%

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

Clustering coefficient 0.48 1.00 0.80 0.75 188.65 0.00 -57.51 0.16 0.20 3.33

Degree 2 78 23.64 7.00 5,578 MAX VALUE 565.47 27.55 1.17 3.13

Eccentricity 3 5 3.81 4.00 898 MAX VALUE 312.77 0.56 0.15 0.83

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	1.00	0.80	0.75	188.65	0.00	-57.51	0.16	0.20	3.33
Degree	2	78	23.64	7.00	5,578	MAX VALUE	565.47	27.55	1.17	3.13
Eccentricity	3	5	3.81	4.00	898	MAX VALUE	312.77	0.56	0.15	0.83

Incidence graph

Density: 1.18%
MCB compute time (ms): 255
MCB cycles: 190
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/graphColoring-mycielExtConvert/normalized-myciel5-4_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 23 3.34 2.00 944 MAX VALUE 268.04 3.49 1.05 0.83

Eccentricity 5 6 5.83 6.00 1,651 MAX VALUE 498.50 0.37 0.06 0.45

MCB cycle size 8 10 8.01 8.00 1,522 MAX VALUE 395.32 0.14 0.02 0.03

XCSP 2.1 Benchmarks