XCSP 2.1 Benchmark Database

Instance: normalized-myciel3-3_ext
Number of variables: 11
Number of constraints: 20
Satisfiable: None
Timestamp: 2018-04-21 10:08:46
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 11
Number of constraints: 20

General features

Number of coarse blocks: 120
Number of unique subscopes: 11

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

Arity 2 2 2.00 2.00 40 1,048,580 13.86 0.00 0.00 0.00

Coarse blocks size 2 2 2.00 2.00 240 1.33e+36 83.18 0.00 0.00 0.00

Relational linkage 0.67 0.67 0.67 0.67 22.00 0.00 -13.38 0.00 0.00 0.00

Tightness 0.33 0.33 0.33 0.33 6.67 0.00 -21.97 0.00 0.00 0.00

Tuples 6 6 6.00 6.00 120 3.66e+15 35.84 0.00 0.00 0.00

Domain size 3 3 3.00 3.00 33 177,147 12.08 0.00 0.00 0.00

Constraints per subscope 3 5 3.64 4.00 40 1,244,160 14.03 0.64 0.18 0.93

Partitions per subscope 3 3 3.00 3.00 33 177,147 12.08 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	40	1,048,580	13.86	0.00	0.00	0.00
Coarse blocks size	2	2	2.00	2.00	240	1.33e+36	83.18	0.00	0.00	0.00
Relational linkage	0.67	0.67	0.67	0.67	22.00	0.00	-13.38	0.00	0.00	0.00
Tightness	0.33	0.33	0.33	0.33	6.67	0.00	-21.97	0.00	0.00	0.00
Tuples	6	6	6.00	6.00	120	3.66e+15	35.84	0.00	0.00	0.00
Domain size	3	3	3.00	3.00	33	177,147	12.08	0.00	0.00	0.00
Constraints per subscope	3	5	3.64	4.00	40	1,244,160	14.03	0.64	0.18	0.93
Partitions per subscope	3	3	3.00	3.00	33	177,147	12.08	0.00	0.00	0.00

Tree decomposition

Number of clusters: 6
Number of leaves: 5
Tree depth: 1
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel3-3_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel3-3_ext/Tree1.pdf

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

Cluster constraints 3 5 3.33 3.00 20 1,215 7.10 0.75 0.22 0.45

Cluster variables 4 6 4.33 4.00 26 6,144 8.72 0.75 0.17 0.45

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

Separator variables 0 3 2.50 3.00 15 0 None 1.12 0.45 0.45

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	5	3.33	3.00	20	1,215	7.10	0.75	0.22	0.45
Cluster variables	4	6	4.33	4.00	26	6,144	8.72	0.75	0.17	0.45
Separator constraints	0	0	0.00	0.00	0	0	None	0.00	None	0.00
Separator variables	0	3	2.50	3.00	15	0	None	1.12	0.45	0.45

Dual tree decomposition

Number of clusters: 9
Number of leaves: 5
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel3-3_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel3-3_ext/DualTree1.pdf

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

Cluster constraints 9 13 10.22 10.00 92 1.14e+09 20.85 1.31 0.13 1.21

Cluster variables 6 10 7.56 7.00 68 65,318,400 17.99 1.64 0.22 1.43

Separator constraints 0 7 4.11 4.00 37 0 None 1.73 0.42 1.15

Separator variables 0 8 5.33 5.00 48 0 None 2.16 0.41 1.43

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	9	13	10.22	10.00	92	1.14e+09	20.85	1.31	0.13	1.21
Cluster variables	6	10	7.56	7.00	68	65,318,400	17.99	1.64	0.22	1.43
Separator constraints	0	7	4.11	4.00	37	0	None	1.73	0.42	1.15
Separator variables	0	8	5.33	5.00	48	0	None	2.16	0.41	1.43

Primal graph

Density: 36.36%
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel3-3_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel3-3_ext/Primal1.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 3 5 3.64 4.00 40 1,244,160 14.03 0.64 0.18 0.93

Eccentricity 2 2 2.00 2.00 22 2,048 7.62 0.00 0.00 0.00

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	3	5	3.64	4.00	40	1,244,160	14.03	0.64	0.18	0.93
Eccentricity	2	2	2.00	2.00	22	2,048	7.62	0.00	0.00	0.00

Triangulated primal graph

Density: 54.55%

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

Clustering coefficient 0.44 1.00 0.80 0.67 8.78 0.06 -2.84 0.19 0.24 0.93

Degree 3 10 5.45 7.00 60 40,841,000 17.53 2.39 0.44 0.93

Eccentricity 1 2 1.91 2.00 21 1,024 6.93 0.29 0.15 0.30

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.44	1.00	0.80	0.67	8.78	0.06	-2.84	0.19	0.24	0.93
Degree	3	10	5.45	7.00	60	40,841,000	17.53	2.39	0.44	0.93
Eccentricity	1	2	1.91	2.00	21	1,024	6.93	0.29	0.15	0.30

Dual graph

Density: 28.95%
MCB compute time (ms): 1
MCB cycles: 43
Triangles: 35
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel3-3_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel3-3_ext/Dual1.pdf

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

Clustering coefficient 0.40 0.47 0.42 0.40 8.33 0.00 -17.56 0.03 0.07 0.56

Degree 5 6 5.50 5.50 110 5.90e+14 34.01 0.50 0.09 0.69

Eccentricity 3 3 3.00 3.00 60 3.49e+09 21.97 0.00 0.00 0.00

MCB cycle size 3 5 3.56 3.00 153 2.08e+23 53.69 0.76 0.21 0.94

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.40	0.47	0.42	0.40	8.33	0.00	-17.56	0.03	0.07	0.56
Degree	5	6	5.50	5.50	110	5.90e+14	34.01	0.50	0.09	0.69
Eccentricity	3	3	3.00	3.00	60	3.49e+09	21.97	0.00	0.00	0.00
MCB cycle size	3	5	3.56	3.00	153	2.08e+23	53.69	0.76	0.21	0.94

Minimal dual graph

Density: 15.26%
MCB compute time (ms): 0
MCB cycles: 10

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 4 2.90 3.00 58 1.22e+09 20.93 0.54 0.19 0.80

Eccentricity 4 5 4.40 4.00 88 6.55e+12 29.51 0.49 0.11 0.67

MCB cycle size 4 6 5.50 6.00 55 23,328,000 16.97 0.67 0.12 0.90

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	4	2.90	3.00	58	1.22e+09	20.93	0.54	0.19	0.80
Eccentricity	4	5	4.40	4.00	88	6.55e+12	29.51	0.49	0.11	0.67
MCB cycle size	4	6	5.50	6.00	55	23,328,000	16.97	0.67	0.12	0.90

Triangulated dual graph

Density: 57.89%
Triangles: 309

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

Clustering coefficient 0.65 1.00 0.81 0.77 16.26 0.01 -4.36 0.12 0.15 2.45

Degree 5 16 11.00 12.50 220 1.37e+20 46.37 3.90 0.35 2.14

Eccentricity 2 3 2.10 2.00 42 2,359,300 14.67 0.30 0.14 0.33

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.65	1.00	0.81	0.77	16.26	0.01	-4.36	0.12	0.15	2.45
Degree	5	16	11.00	12.50	220	1.37e+20	46.37	3.90	0.35	2.14
Eccentricity	2	3	2.10	2.00	42	2,359,300	14.67	0.30	0.14	0.33

Triangulated minimal dual graph

Density: 32.11%

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

Clustering coefficient 0.45 1.00 0.74 0.69 14.84 0.00 -6.76 0.21 0.28 2.25

Degree 2 12 6.10 5.50 122 1.17e+14 32.39 3.48 0.57 2.25

Eccentricity 2 3 2.70 3.00 54 306,110,000 19.54 0.46 0.17 0.61

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.45	1.00	0.74	0.69	14.84	0.00	-6.76	0.21	0.28	2.25
Degree	2	12	6.10	5.50	122	1.17e+14	32.39	3.48	0.57	2.25
Eccentricity	2	3	2.70	3.00	54	306,110,000	19.54	0.46	0.17	0.61

Incidence graph

Density: 8.60%
MCB compute time (ms): 0
MCB cycles: 10
Dot-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel3-3_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/graphColoring-mycielExtConvert/normalized-myciel3-3_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 5 2.58 2.00 80 1.30e+12 27.90 0.87 0.34 0.98

Eccentricity 5 6 5.65 6.00 175 1.79e+23 53.54 0.48 0.08 0.65

MCB cycle size 8 10 8.20 8.00 82 1.34e+09 21.02 0.60 0.07 0.33

XCSP 2.1 Benchmarks