XCSP 2.1 Benchmark Database

Instance: rand-3-24-24-76-632-fcd-30_ext
Number of variables: 24
Number of constraints: 72
Satisfiable: None
Timestamp: 2017-10-27 10:51:43
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 24
Number of constraints: 72

General features

Coarse blocks: 69,612
Value tables: 72

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

Arity 3 3 3.00 3.00 216 2.25e+34 79.10 0.00 0.00 0.00

Coarse blocks size 1 254 23.20 9.00 1,614,660 MAX VALUE 162,345.00 52.28 2.25 2.75

Relational linkage 0.04 0.62 0.29 0.29 8,083.75 0.00 -37,061.50 0.09 0.32 2.33

Tightness 0.63 0.86 0.64 0.63 46.42 0.00 -31.80 0.05 0.08 0.29

Tuples 1,868 5,088 4,910.83 5,088.00 353,580 MAX VALUE 610.55 730.50 0.15 0.29

Values 24 24 24.00 24.00 576 1.33e+33 76.27 0.00 0.00 0.00

Value table constraints 2 15 4.56 3.00 328 MAX VALUE 91.27 3.46 0.76 1.77

Value table partitions 24 576 392.00 576.00 28,224 MAX VALUE 381.37 260.21 0.66 0.64

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	3	3	3.00	3.00	216	2.25e+34	79.10	0.00	0.00	0.00
Coarse blocks size	1	254	23.20	9.00	1,614,660	MAX VALUE	162,345.00	52.28	2.25	2.75
Relational linkage	0.04	0.62	0.29	0.29	8,083.75	0.00	-37,061.50	0.09	0.32	2.33
Tightness	0.63	0.86	0.64	0.63	46.42	0.00	-31.80	0.05	0.08	0.29
Tuples	1,868	5,088	4,910.83	5,088.00	353,580	MAX VALUE	610.55	730.50	0.15	0.29
Values	24	24	24.00	24.00	576	1.33e+33	76.27	0.00	0.00	0.00
Value table constraints	2	15	4.56	3.00	328	MAX VALUE	91.27	3.46	0.76	1.77
Value table partitions	24	576	392.00	576.00	28,224	MAX VALUE	381.37	260.21	0.66	0.64

Tree decomposition

Number of clusters: 9
Number of leaves: 4
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-30_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-30_ext/Tree1.pdf

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

Cluster constraints 8 25 17.33 18.00 156 6.67e+10 24.92 6.57 0.38 1.74

Cluster variables 9 16 13.11 14.00 118 9.08e+09 22.93 2.88 0.22 1.43

Separator constraints 0 19 9.33 6.00 84 0 None 7.09 0.76 2.04

Separator variables 0 15 10.44 10.00 94 0 None 4.57 0.44 1.68

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	8	25	17.33	18.00	156	6.67e+10	24.92	6.57	0.38	1.74
Cluster variables	9	16	13.11	14.00	118	9.08e+09	22.93	2.88	0.22	1.43
Separator constraints	0	19	9.33	6.00	84	0	None	7.09	0.76	2.04
Separator variables	0	15	10.44	10.00	94	0	None	4.57	0.44	1.68

Dual tree decomposition

Number of clusters: 17
Number of leaves: 5
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-30_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-30_ext/DualTree1.pdf

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

Cluster constraints 94 383 185.35 176.00 3,151 9.55e+37 87.45 78.38 0.42 2.83

Cluster variables 18 46 28.47 29.00 484 2.78e+24 56.28 8.10 0.28 2.48

Separator constraints 0 238 135.47 128.00 2,303 0 None 55.81 0.41 2.75

Separator variables 0 38 24.24 25.00 412 0 None 8.34 0.34 2.59

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	94	383	185.35	176.00	3,151	9.55e+37	87.45	78.38	0.42	2.83
Cluster variables	18	46	28.47	29.00	484	2.78e+24	56.28	8.10	0.28	2.48
Separator constraints	0	238	135.47	128.00	2,303	0	None	55.81	0.41	2.75
Separator variables	0	38	24.24	25.00	412	0	None	8.34	0.34	2.59

Primal graph

Density: 55.07%
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-30_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-30_ext/Primal1.pdf

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

Clustering coefficient 0.46 0.79 0.60 0.59 14.28 0.00 -12.62 0.07 0.12 3.06

Degree 8 19 12.67 12.50 304 1.76e+26 60.43 2.59 0.20 2.27

Eccentricity 2 2 2.00 2.00 48 16,777,200 16.64 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.46	0.79	0.60	0.59	14.28	0.00	-12.62	0.07	0.12	3.06
Degree	8	19	12.67	12.50	304	1.76e+26	60.43	2.59	0.20	2.27
Eccentricity	2	2	2.00	2.00	48	16,777,200	16.64	0.00	0.00	0.00

Triangulated primal graph

Density: 77.54%

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

Clustering coefficient 0.75 1.00 0.89 0.87 21.27 0.05 -2.98 0.07 0.08 2.77

Degree 8 23 17.83 20.00 428 4.05e+29 68.17 4.37 0.25 2.27

Eccentricity 1 2 1.96 2.00 47 8,388,610 15.94 0.20 0.10 0.17

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.75	1.00	0.89	0.87	21.27	0.05	-2.98	0.07	0.08	2.77
Degree	8	23	17.83	20.00	428	4.05e+29	68.17	4.37	0.25	2.27
Eccentricity	1	2	1.96	2.00	47	8,388,610	15.94	0.20	0.10	0.17

Dual graph

Density: 33.18%
MCB compute time (ms): 44
MCB cycles: 871
Triangles: 3,235
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-30_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-30_ext/Dual1.pdf

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

Clustering coefficient 0.42 0.60 0.50 0.49 36.06 0.00 -50.04 0.04 0.08 4.18

Degree 17 32 23.56 23.50 1,696 MAX VALUE 226.82 3.17 0.13 2.47

Eccentricity 2 3 2.12 2.00 153 1.82e+23 53.56 0.33 0.16 0.38

MCB cycle size 3 4 3.01 3.00 2,625 MAX VALUE 960.34 0.12 0.04 0.07

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.42	0.60	0.50	0.49	36.06	0.00	-50.04	0.04	0.08	4.18
Degree	17	32	23.56	23.50	1,696	MAX VALUE	226.82	3.17	0.13	2.47
Eccentricity	2	3	2.12	2.00	153	1.82e+23	53.56	0.33	0.16	0.38
MCB cycle size	3	4	3.01	3.00	2,625	MAX VALUE	960.34	0.12	0.04	0.07

Minimal dual graph

Density: 5.20%
MCB compute time (ms): 10
MCB cycles: 62

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

Clustering coefficient 0.00 0.33 0.01 0.00 0.83 0.00 None 0.06 4.99 0.20

Degree 2 5 3.69 4.00 266 MAX VALUE 92.98 0.64 0.17 0.97

Eccentricity 5 6 5.33 5.00 384 MAX VALUE 120.25 0.47 0.09 0.64

MCB cycle size 3 7 5.65 6.00 350 MAX VALUE 106.20 1.02 0.18 1.38

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.01	0.00	0.83	0.00	None	0.06	4.99	0.20
Degree	2	5	3.69	4.00	266	MAX VALUE	92.98	0.64	0.17	0.97
Eccentricity	5	6	5.33	5.00	384	MAX VALUE	120.25	0.47	0.09	0.64
MCB cycle size	3	7	5.65	6.00	350	MAX VALUE	106.20	1.02	0.18	1.38

Triangulated dual graph

Density: 71.48%
Triangles: 27,795

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

Clustering coefficient 0.75 1.00 0.88 0.86 63.04 0.00 -9.76 0.06 0.07 3.70

Degree 17 67 50.75 57.50 3,654 MAX VALUE 278.64 14.42 0.28 3.12

Eccentricity 2 2 2.00 2.00 144 4.72e+21 49.91 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.75	1.00	0.88	0.86	63.04	0.00	-9.76	0.06	0.07	3.70
Degree	17	67	50.75	57.50	3,654	MAX VALUE	278.64	14.42	0.28	3.12
Eccentricity	2	2	2.00	2.00	144	4.72e+21	49.91	0.00	0.00	0.00

Triangulated minimal dual graph

Density: 19.44%

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

Clustering coefficient 0.46 1.00 0.79 0.72 56.87 0.00 -18.82 0.18 0.22 2.90

Degree 2 38 13.81 7.50 994 MAX VALUE 158.57 11.55 0.84 2.67

Eccentricity 2 4 3.11 3.00 224 9.87e+34 80.58 0.54 0.17 0.81

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.46	1.00	0.79	0.72	56.87	0.00	-18.82	0.18	0.22	2.90
Degree	2	38	13.81	7.50	994	MAX VALUE	158.57	11.55	0.84	2.67
Eccentricity	2	4	3.11	3.00	224	9.87e+34	80.58	0.54	0.17	0.81

Incidence graph

Density: 4.74%
MCB compute time (ms): 22
MCB cycles: 122
Dot-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-30_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-30_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 3 15 4.50 3.00 432 MAX VALUE 130.91 2.85 0.63 1.09

Eccentricity 4 6 4.98 5.00 478 MAX VALUE 153.69 0.46 0.09 0.66

MCB cycle size 4 6 4.95 4.00 604 MAX VALUE 192.65 1.00 0.20 0.69

XCSP 2.1 Benchmarks