XCSP 2.1 Benchmark Database

Instance: composed-75-1-40-5-ext
Number of variables: 83
Number of constraints: 662
Satisfiable: None
Timestamp: 2017-10-27 10:42:56
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 83
Number of constraints: 662

General features

Coarse blocks: 13,236
Value tables: 83

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

Arity 2 2 2.00 2.00 1,324 MAX VALUE 458.86 0.00 0.00 0.00

Coarse blocks size 1 10 8.40 9.00 111,140 MAX VALUE 27,886.40 1.42 0.17 1.58

Relational linkage 0.10 0.80 0.60 0.60 499.20 0.00 -463.72 0.15 0.25 1.46

Tightness 0.05 0.65 0.16 0.15 106.30 0.00 -1,267.58 0.09 0.58 0.37

Tuples 35 95 83.94 85.00 55,570 MAX VALUE 2,925.96 9.38 0.11 0.37

Values 10 10 10.00 10.00 830 MAX VALUE 191.12 0.00 0.00 0.00

Value table constraints 8 26 15.95 16.00 1,324 MAX VALUE 226.63 4.32 0.27 2.77

Value table partitions 10 10 10.00 10.00 830 MAX VALUE 191.12 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	1,324	MAX VALUE	458.86	0.00	0.00	0.00
Coarse blocks size	1	10	8.40	9.00	111,140	MAX VALUE	27,886.40	1.42	0.17	1.58
Relational linkage	0.10	0.80	0.60	0.60	499.20	0.00	-463.72	0.15	0.25	1.46
Tightness	0.05	0.65	0.16	0.15	106.30	0.00	-1,267.58	0.09	0.58	0.37
Tuples	35	95	83.94	85.00	55,570	MAX VALUE	2,925.96	9.38	0.11	0.37
Values	10	10	10.00	10.00	830	MAX VALUE	191.12	0.00	0.00	0.00
Value table constraints	8	26	15.95	16.00	1,324	MAX VALUE	226.63	4.32	0.27	2.77
Value table partitions	10	10	10.00	10.00	830	MAX VALUE	191.12	0.00	0.00	0.00

Tree decomposition

Number of clusters: 33
Number of leaves: 17
Tree depth: 7
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/composed-75-1-40/composed-75-1-40-5_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/composed-75-1-40/composed-75-1-40-5_ext/Tree1.pdf

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

Cluster constraints 13 302 89.73 44.00 2,961 MAX VALUE 133.70 87.83 0.98 3.41

Cluster variables 9 51 23.91 17.00 789 MAX VALUE 99.42 13.69 0.57 3.02

Separator constraints 0 286 69.67 29.00 2,299 0 None 80.57 1.16 3.40

Separator variables 0 50 21.39 16.00 706 0 None 13.37 0.62 3.06

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	13	302	89.73	44.00	2,961	MAX VALUE	133.70	87.83	0.98	3.41
Cluster variables	9	51	23.91	17.00	789	MAX VALUE	99.42	13.69	0.57	3.02
Separator constraints	0	286	69.67	29.00	2,299	0	None	80.57	1.16	3.40
Separator variables	0	50	21.39	16.00	706	0	None	13.37	0.62	3.06

Dual tree decomposition

Number of clusters: 81
Number of leaves: 37
Tree depth: 7
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/composed-75-1-40/composed-75-1-40-5_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/composed-75-1-40/composed-75-1-40-5_ext/DualTree1.pdf

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

Cluster constraints 66 3,292 548.61 362.00 44,437 MAX VALUE 479.60 588.41 1.07 4.34

Cluster variables 16 356 67.22 42.00 5,445 MAX VALUE 316.35 65.83 0.98 3.93

Separator constraints 0 1,684 416.83 312.00 33,763 0 None 370.59 0.89 4.34

Separator variables 0 255 59.05 39.00 4,783 0 None 51.43 0.87 3.94

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	66	3,292	548.61	362.00	44,437	MAX VALUE	479.60	588.41	1.07	4.34
Cluster variables	16	356	67.22	42.00	5,445	MAX VALUE	316.35	65.83	0.98	3.93
Separator constraints	0	1,684	416.83	312.00	33,763	0	None	370.59	0.89	4.34
Separator variables	0	255	59.05	39.00	4,783	0	None	51.43	0.87	3.94

Primal graph

Density: 19.45%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/composed-75-1-40/composed-75-1-40-5_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/composed-75-1-40/composed-75-1-40-5_ext/Primal1.pdf

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

Clustering coefficient 0.12 0.38 0.22 0.21 18.32 0.00 -127.11 0.05 0.21 4.06

Degree 8 26 15.95 16.00 1,324 MAX VALUE 226.63 4.32 0.27 2.77

Eccentricity 2 3 2.88 3.00 239 6.92e+37 87.13 0.33 0.11 0.37

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.12	0.38	0.22	0.21	18.32	0.00	-127.11	0.05	0.21	4.06
Degree	8	26	15.95	16.00	1,324	MAX VALUE	226.63	4.32	0.27	2.77
Eccentricity	2	3	2.88	3.00	239	6.92e+37	87.13	0.33	0.11	0.37

Triangulated primal graph

Density: 58.21%

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

Clustering coefficient 0.74 1.00 0.88 0.87 72.80 0.00 -11.20 0.08 0.09 3.81

Degree 8 69 47.73 60.00 3,962 MAX VALUE 306.14 21.24 0.45 3.29

Eccentricity 2 3 2.24 2.00 186 3.22e+28 65.64 0.43 0.19 0.55

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.74	1.00	0.88	0.87	72.80	0.00	-11.20	0.08	0.09	3.81
Degree	8	69	47.73	60.00	3,962	MAX VALUE	306.14	21.24	0.45	3.29
Eccentricity	2	3	2.24	2.00	186	3.22e+28	65.64	0.43	0.19	0.55

Dual graph

Density: 4.88%
MCB compute time (ms): 264,277
MCB cycles: 10,907
Triangles: 58,593
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/composed-75-1-40/composed-75-1-40-5_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/composed-75-1-40/composed-75-1-40-5_ext/Dual1.pdf

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

Clustering coefficient 0.48 0.64 0.51 0.50 336.62 0.00 -448.42 0.02 0.05 5.57

Degree 15 49 32.25 32.00 21,348 MAX VALUE 2,286.38 6.14 0.19 3.20

Eccentricity 3 4 3.09 3.00 2,043 MAX VALUE 743.68 0.28 0.09 0.29

MCB cycle size 3 5 3.06 3.00 33,334 MAX VALUE 12,158.80 0.23 0.08 0.22

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	0.64	0.51	0.50	336.62	0.00	-448.42	0.02	0.05	5.57
Degree	15	49	32.25	32.00	21,348	MAX VALUE	2,286.38	6.14	0.19	3.20
Eccentricity	3	4	3.09	3.00	2,043	MAX VALUE	743.68	0.28	0.09	0.29
MCB cycle size	3	5	3.06	3.00	33,334	MAX VALUE	12,158.80	0.23	0.08	0.22

Minimal dual graph

Density: 0.57%
MCB compute time (ms): 9,022
MCB cycles: 580

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

Clustering coefficient 0.00 0.17 0.00 0.00 0.57 0.00 None 0.01 11.18 0.06

Degree 2 6 3.75 4.00 2,482 MAX VALUE 857.05 0.90 0.24 1.21

Eccentricity 7 10 8.17 8.00 5,406 MAX VALUE 1,388.58 0.57 0.07 0.86

MCB cycle size 3 10 7.38 8.00 4,282 MAX VALUE 1,149.96 1.25 0.17 1.59

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.17	0.00	0.00	0.57	0.00	None	0.01	11.18	0.06
Degree	2	6	3.75	4.00	2,482	MAX VALUE	857.05	0.90	0.24	1.21
Eccentricity	7	10	8.17	8.00	5,406	MAX VALUE	1,388.58	0.57	0.07	0.86
MCB cycle size	3	10	7.38	8.00	4,282	MAX VALUE	1,149.96	1.25	0.17	1.59

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.97%

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

Clustering coefficient 0.51 1.00 0.84 0.82 557.27 0.00 -122.54 0.13 0.16 3.97

Degree 2 207 59.31 7.00 39,264 MAX VALUE 1,837.80 81.19 1.37 3.45

Eccentricity 3 5 3.82 4.00 2,526 MAX VALUE 879.66 0.54 0.14 0.80

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.51	1.00	0.84	0.82	557.27	0.00	-122.54	0.13	0.16	3.97
Degree	2	207	59.31	7.00	39,264	MAX VALUE	1,837.80	81.19	1.37	3.45
Eccentricity	3	5	3.82	4.00	2,526	MAX VALUE	879.66	0.54	0.14	0.80

Incidence graph

Density: 0.48%
MCB compute time (ms): 4,952
MCB cycles: 580
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/composed-75-1-40/composed-75-1-40-5_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/composed-75-1-40/composed-75-1-40-5_ext/Incidence1.pdf

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 26 3.55 2.00 2,648 MAX VALUE 685.49 4.62 1.30 0.66

Eccentricity 5 8 6.44 6.00 4,798 MAX VALUE 1,383.97 0.65 0.10 0.92

MCB cycle size 6 8 6.12 6.00 3,548 MAX VALUE 1,049.00 0.47 0.08 0.22

XCSP 2.1 Benchmarks