XCSP 2.1 Benchmark Database

Instance: normalized-rand-26-26-325-155-59021-ext
Number of variables: 26
Number of constraints: 325
Satisfiable: None
Timestamp: 2017-10-27 10:50:13
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 26
Number of constraints: 325

General features

Coarse blocks: 16,900
Value tables: 26

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

Arity 2 2 2.00 2.00 650 MAX VALUE 225.27 0.00 0.00 0.00

Coarse blocks size 11 26 20.04 20.00 338,650 MAX VALUE 50,564.80 2.09 0.10 2.15

Relational linkage 0.42 0.73 0.60 0.62 407.96 0.00 -343.70 0.05 0.08 1.64

Tightness 0.23 0.23 0.23 0.23 74.52 0.00 -478.65 0.00 0.00 0.00

Tuples 521 521 521.00 521.00 169,325 MAX VALUE 2,033.12 0.00 0.00 0.00

Values 26 26 26.00 26.00 676 6.16e+36 84.71 0.00 0.00 0.00

Value table constraints 25 25 25.00 25.00 650 2.22e+36 83.69 0.00 0.00 0.00

Value table partitions 26 26 26.00 26.00 676 6.16e+36 84.71 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	650	MAX VALUE	225.27	0.00	0.00	0.00
Coarse blocks size	11	26	20.04	20.00	338,650	MAX VALUE	50,564.80	2.09	0.10	2.15
Relational linkage	0.42	0.73	0.60	0.62	407.96	0.00	-343.70	0.05	0.08	1.64
Tightness	0.23	0.23	0.23	0.23	74.52	0.00	-478.65	0.00	0.00	0.00
Tuples	521	521	521.00	521.00	169,325	MAX VALUE	2,033.12	0.00	0.00	0.00
Values	26	26	26.00	26.00	676	6.16e+36	84.71	0.00	0.00	0.00
Value table constraints	25	25	25.00	25.00	650	2.22e+36	83.69	0.00	0.00	0.00
Value table partitions	26	26	26.00	26.00	676	6.16e+36	84.71	0.00	0.00	0.00

Tree decomposition

Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: /mnt/hdd/graphFiles/rand-2-26/rand-26-26-325-155-59021_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-2-26/rand-26-26-325-155-59021_ext/Tree1.pdf
JSON-file path: None

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

Cluster constraints 325 325 325.00 325.00 325 325 5.78 0.00 0.00 0.00

Cluster variables 26 26 26.00 26.00 26 26 3.26 0.00 0.00 0.00

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

Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	COV
Cluster constraints	325	325	325.00	325.00	325	325	5.78	0.00
Cluster variables	26	26	26.00	26.00	26	26	3.26	0.00
Separator constraints	0	0	0.00	0.00	0	0	None	None
Separator variables	0	0	0.00	0.00	0	0	None	None

Dual tree decomposition

Number of clusters: 24
Number of leaves: 13
Tree depth: 4
Dot-file path: /mnt/hdd/graphFiles/rand-2-26/rand-26-26-325-155-59021_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-2-26/rand-26-26-325-155-59021_ext/DualTree1.pdf
JSON-file path: None

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

Cluster constraints 624 3,456 1,189.00 624.00 28,536 MAX VALUE 165.57 813.89 0.68 1.28

Cluster variables 49 216 85.54 49.00 2,053 MAX VALUE 103.40 50.26 0.59 1.28

Separator constraints 0 2,016 864.00 576.00 20,736 0 None 465.38 0.54 1.28

Separator variables 0 168 72.00 48.00 1,728 0 None 38.78 0.54 1.28

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	624	3,456	1,189.00	624.00	28,536	MAX VALUE	165.57	813.89	0.68	1.28
Cluster variables	49	216	85.54	49.00	2,053	MAX VALUE	103.40	50.26	0.59	1.28
Separator constraints	0	2,016	864.00	576.00	20,736	0	None	465.38	0.54	1.28
Separator variables	0	168	72.00	48.00	1,728	0	None	38.78	0.54	1.28

Primal graph

Density: 100.00%
Dot-file path: /mnt/hdd/graphFiles/rand-2-26/rand-26-26-325-155-59021_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-2-26/rand-26-26-325-155-59021_ext/Primal1.pdf
JSON-file path: None

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

Clustering coefficient 1.00 1.00 1.00 1.00 26.00 1.00 0.00 0.00 0.00 0.00

Degree 25 25 25.00 25.00 650 2.22e+36 83.69 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 26 1 0.00 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)
Clustering coefficient	1.00	1.00	1.00	1.00	26.00	1.00	0.00
Degree	25	25	25.00	25.00	650	2.22e+36	83.69
Eccentricity	1	1	1.00	1.00	26	1	0.00

Triangulated primal graph

Density: 100.00%

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

Clustering coefficient 1.00 1.00 1.00 1.00 26.00 1.00 0.00 0.00 0.00 0.00

Degree 25 25 25.00 25.00 650 2.22e+36 83.69 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 26 1 0.00 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)
Clustering coefficient	1.00	1.00	1.00	1.00	26.00	1.00	0.00
Degree	25	25	25.00	25.00	650	2.22e+36	83.69
Eccentricity	1	1	1.00	1.00	26	1	0.00

Dual graph

Density: 14.81%
MCB compute time (ms): 44,721
MCB cycles: 8,512
Triangles: 62,400
Dot-file path: /mnt/hdd/graphFiles/rand-2-26/rand-26-26-325-155-59021_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-2-26/rand-26-26-325-155-59021_ext/Dual1.pdf

JSON-file path: None

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

Clustering coefficient 0.51 0.51 0.51 0.51 165.96 0.00 -218.43 0.00 0.00 0.00

Degree 48 48 48.00 48.00 15,600 MAX VALUE 1,258.14 0.00 0.00 0.00

Eccentricity 2 2 2.00 2.00 650 MAX VALUE 225.27 0.00 0.00 0.00

MCB cycle size 3 4 3.01 3.00 25,585 MAX VALUE 9,365.48 0.08 0.03 0.04

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.51	0.51	0.51	0.51	165.96	0.00	-218.43	0.00	0.00	0.00
Degree	48	48	48.00	48.00	15,600	MAX VALUE	1,258.14	0.00	0.00	0.00
Eccentricity	2	2	2.00	2.00	650	MAX VALUE	225.27	0.00	0.00	0.00
MCB cycle size	3	4	3.01	3.00	25,585	MAX VALUE	9,365.48	0.08	0.03	0.04

Minimal dual graph

Density: 1.19%
MCB compute time (ms): 821
MCB cycles: 303

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

Clustering coefficient 0.00 0.33 0.00 0.00 1.10 0.00 None 0.03 7.83 0.11

Degree 2 6 3.84 4.00 1,248 MAX VALUE 429.50 0.85 0.22 1.21

Eccentricity 6 8 7.22 7.00 2,346 MAX VALUE 641.53 0.53 0.07 0.78

MCB cycle size 3 9 6.77 7.00 2,051 MAX VALUE 575.27 1.05 0.16 1.42

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.00	0.00	1.10	0.00	None	0.03	7.83	0.11
Degree	2	6	3.84	4.00	1,248	MAX VALUE	429.50	0.85	0.22	1.21
Eccentricity	6	8	7.22	7.00	2,346	MAX VALUE	641.53	0.53	0.07	0.78
MCB cycle size	3	9	6.77	7.00	2,051	MAX VALUE	575.27	1.05	0.16	1.42

Triangulated dual graph

Density: 71.60%
Triangles: 2,728,960

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

Clustering coefficient 0.83 1.00 0.89 0.88 288.29 0.00 -39.48 0.05 0.06 2.41

Degree 48 289 232.00 261.00 75,400 MAX VALUE 1,746.64 68.34 0.29 2.41

Eccentricity 2 2 2.00 2.00 650 MAX VALUE 225.27 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.83	1.00	0.89	0.88	288.29	0.00	-39.48	0.05	0.06	2.41
Degree	48	289	232.00	261.00	75,400	MAX VALUE	1,746.64	68.34	0.29	2.41
Eccentricity	2	2	2.00	2.00	650	MAX VALUE	225.27	0.00	0.00	0.00

Triangulated minimal dual graph

Density: 10.84%

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

Clustering coefficient 0.51 1.00 0.82 0.79 267.40 0.00 -67.76 0.13 0.16 3.75

Degree 2 116 35.13 8.00 11,418 MAX VALUE 854.13 42.22 1.20 3.34

Eccentricity 3 5 3.77 4.00 1,224 MAX VALUE 427.71 0.52 0.14 0.76

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.51	1.00	0.82	0.79	267.40	0.00	-67.76	0.13	0.16	3.75
Degree	2	116	35.13	8.00	11,418	MAX VALUE	854.13	42.22	1.20	3.34
Eccentricity	3	5	3.77	4.00	1,224	MAX VALUE	427.71	0.52	0.14	0.76

Incidence graph

Density: 1.06%
MCB compute time (ms): 159
MCB cycles: 303
Dot-file path: /mnt/hdd/graphFiles/rand-2-26/rand-26-26-325-155-59021_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/rand-2-26/rand-26-26-325-155-59021_ext/Incidence1.pdf
JSON-file path: 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 2 25 3.70 2.00 1,300 MAX VALUE 308.96 6.02 1.63 0.26

Eccentricity 3 4 3.93 4.00 1,378 MAX VALUE 479.11 0.26 0.07 0.26

MCB cycle size 6 6 6.00 6.00 1,818 MAX VALUE 542.90 0.00 0.00 0.00

XCSP 2.1 Benchmarks