XCSP 2.1 Benchmark Database

Instance: normalized-ortholatin-8
Number of variables: 192
Number of constraints: 97
Satisfiable: None
Timestamp: 2018-04-21 10:20:47
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 192
Number of constraints: 97

General features

Number of coarse blocks: None
Number of unique subscopes: None

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

Arity 3 64 5.28 3.00 512 MAX VALUE 141.01 6.44 1.22 0.69

Coarse blocks size None None None None None None None None None None

Relational linkage None None None None None None None None None None

Tightness 0.98 1.00 0.99 0.98 96.00 0.36 -1.01 0.01 0.01 0.69

Tuples 8 64 45.53 64.00 4,416 MAX VALUE 336.87 26.33 0.58 0.63

Domain size 8 64 26.67 8.00 5,120 MAX VALUE 532.34 26.40 0.99 0.64

Constraints per subscope None None None None None None None None None None

Partitions per subscope None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	3	64	5.28	3.00	512	MAX VALUE	141.01	6.44	1.22	0.69
Coarse blocks size	None	None	None	None	None	None	None	None	None	None
Relational linkage	None	None	None	None	None	None	None	None	None	None
Tightness	0.98	1.00	0.99	0.98	96.00	0.36	-1.01	0.01	0.01	0.69
Tuples	8	64	45.53	64.00	4,416	MAX VALUE	336.87	26.33	0.58	0.63
Domain size	8	64	26.67	8.00	5,120	MAX VALUE	532.34	26.40	0.99	0.64
Constraints per subscope	None	None	None	None	None	None	None	None	None	None
Partitions per subscope	None	None	None	None	None	None	None	None	None	None

Tree decomposition

Number of clusters: 73
Number of leaves: 17
Tree depth: 25
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-8/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-8/Tree1.pdf

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

Cluster constraints 0 3 1.33 1.00 97 0 None 0.95 0.72 0.93

Cluster variables 17 107 64.23 75.00 4,689 MAX VALUE 290.64 30.69 0.48 3.37

Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Separator variables 0 100 61.60 73.00 4,497 0 None 30.98 0.50 3.35

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	3	1.33	1.00	97	0	None	0.95	0.72	0.93
Cluster variables	17	107	64.23	75.00	4,689	MAX VALUE	290.64	30.69	0.48	3.37
Separator constraints	0	0	0.00	0.00	0	0	None	0.00	None	0.00
Separator variables	0	100	61.60	73.00	4,497	0	None	30.98	0.50	3.35

Dual tree decomposition

Number of clusters: 72
Number of leaves: 64
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-8/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-8/DualTree1.pdf

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

Cluster constraints 7 16 8.00 7.00 576 MAX VALUE 146.72 2.83 0.35 0.35

Cluster variables 6 19 7.44 6.00 536 MAX VALUE 138.23 4.09 0.55 0.35

Separator constraints 0 2 1.78 2.00 128 0 None 0.63 0.35 0.35

Separator variables 0 17 6.10 5.00 439 0 None 3.63 0.59 0.39

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	7	16	8.00	7.00	576	MAX VALUE	146.72	2.83	0.35	0.35
Cluster variables	6	19	7.44	6.00	536	MAX VALUE	138.23	4.09	0.55	0.35
Separator constraints	0	2	1.78	2.00	128	0	None	0.63	0.35	0.35
Separator variables	0	17	6.10	5.00	439	0	None	3.63	0.59	0.39

Primal graph

Density: 16.93%
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-8/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-8/Primal1.pdf

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

Clustering coefficient 0.36 0.94 0.55 0.36 105.99 0.00 -135.37 0.27 0.50 0.64

Degree 16 65 32.33 16.00 6,208 MAX VALUE 622.05 23.10 0.71 0.64

Eccentricity 2 3 2.67 3.00 512 MAX VALUE 184.98 0.47 0.18 0.64

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.36	0.94	0.55	0.36	105.99	0.00	-135.37	0.27	0.50	0.64
Degree	16	65	32.33	16.00	6,208	MAX VALUE	622.05	23.10	0.71	0.64
Eccentricity	2	3	2.67	3.00	512	MAX VALUE	184.98	0.47	0.18	0.64

Triangulated primal graph

Density: 61.81%

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

Clustering coefficient 0.73 1.00 0.87 0.87 167.53 0.00 -26.86 0.07 0.08 4.85

Degree 16 172 118.05 126.50 22,666 MAX VALUE 888.68 44.38 0.38 4.16

Eccentricity 2 3 2.11 2.00 406 MAX VALUE 142.00 0.32 0.15 0.36

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.73	1.00	0.87	0.87	167.53	0.00	-26.86	0.07	0.08	4.85
Degree	16	172	118.05	126.50	22,666	MAX VALUE	888.68	44.38	0.38	4.16
Eccentricity	2	3	2.11	2.00	406	MAX VALUE	142.00	0.32	0.15	0.36

Dual graph

Density: 9.62%
MCB compute time (ms): 85
MCB cycles: 413
Triangles: 128
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-8/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-8/Dual1.pdf

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

Clustering coefficient 0.00 0.20 0.15 0.20 14.93 0.00 None 0.06 0.42 0.69

Degree 5 64 9.24 5.00 896 MAX VALUE 195.89 7.61 0.82 0.69

Eccentricity 2 3 2.33 2.00 226 6.84e+34 80.21 0.47 0.20 0.63

MCB cycle size 3 4 3.69 4.00 1,524 MAX VALUE 535.72 0.46 0.13 0.62

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.20	0.15	0.20	14.93	0.00	None	0.06	0.42	0.69
Degree	5	64	9.24	5.00	896	MAX VALUE	195.89	7.61	0.82	0.69
Eccentricity	2	3	2.33	2.00	226	6.84e+34	80.21	0.47	0.20	0.63
MCB cycle size	3	4	3.69	4.00	1,524	MAX VALUE	535.72	0.46	0.13	0.62

Minimal dual graph

Density: 6.87%
MCB compute time (ms): 21
MCB cycles: 224

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 4 64 6.60 5.00 640 MAX VALUE 172.76 6.09 0.92 1.15

Eccentricity 3 4 3.30 3.00 320 MAX VALUE 114.91 0.46 0.14 0.61

MCB cycle size 4 5 4.04 4.00 904 MAX VALUE 312.31 0.19 0.05 0.15

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	4	64	6.60	5.00	640	MAX VALUE	172.76	6.09	0.92	1.15
Eccentricity	3	4	3.30	3.00	320	MAX VALUE	114.91	0.46	0.14	0.61
MCB cycle size	4	5	4.04	4.00	904	MAX VALUE	312.31	0.19	0.05	0.15

Triangulated dual graph

Density: 15.81%
Triangles: 3,632

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

Clustering coefficient 0.14 1.00 0.84 1.00 81.78 0.00 -21.04 0.22 0.26 0.92

Degree 5 96 15.18 5.00 1,472 MAX VALUE 218.72 16.02 1.06 0.92

Eccentricity 1 2 1.99 2.00 193 7.92e+28 66.54 0.10 0.05 0.06

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.14	1.00	0.84	1.00	81.78	0.00	-21.04	0.22	0.26	0.92
Degree	5	96	15.18	5.00	1,472	MAX VALUE	218.72	16.02	1.06	0.92
Eccentricity	1	2	1.99	2.00	193	7.92e+28	66.54	0.10	0.05	0.06

Triangulated minimal dual graph

Density: 15.38%

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

Clustering coefficient 0.14 1.00 0.85 1.00 82.08 0.00 -20.74 0.22 0.26 1.19

Degree 4 95 14.76 5.00 1,432 MAX VALUE 215.19 15.83 1.07 1.43

Eccentricity 2 3 2.02 2.00 196 3.57e+29 68.05 0.14 0.07 0.10

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.14	1.00	0.85	1.00	82.08	0.00	-20.74	0.22	0.26	1.19
Degree	4	95	14.76	5.00	1,432	MAX VALUE	215.19	15.83	1.07	1.43
Eccentricity	2	3	2.02	2.00	196	3.57e+29	68.05	0.14	0.07	0.10

Incidence graph

Density: 1.23%
MCB compute time (ms): 176
MCB cycles: 224
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-8/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-8/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 64 3.54 3.00 1,024 MAX VALUE 326.00 3.95 1.11 0.87

Eccentricity 4 6 5.55 6.00 1,604 MAX VALUE 494.08 0.50 0.09 0.71

MCB cycle size 8 8 8.00 8.00 1,792 MAX VALUE 465.80 0.00 0.00 0.00

XCSP 2.1 Benchmarks