XCSP 2.1 Benchmark Database

Instance: normalized-my-adder_ext
Number of variables: 577
Number of constraints: 1307
Satisfiable: None
Timestamp: 2018-04-21 10:39:43
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 577
Number of constraints: 1307

General features

Coarse blocks: 34,502
Value tables: 1,200

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

Arity 2 17 3.79 3.00 4,947 MAX VALUE 1,595.32 2.02 0.53 1.58

Coarse blocks size 1 65,536 225.92 8.00 7,794,670 MAX VALUE 79,585.40 2,362.89 10.46 2.53

Relational linkage 0.38 1.00 0.93 1.00 8,468.57 0.00 -778.97 0.15 0.16 0.87

Tightness 0.00 0.28 0.13 0.12 164.16 0.00 -3,396.04 0.09 0.72 1.62

Tuples 3 131,071 224.92 7.00 293,965 MAX VALUE 3,246.50 3,696.20 16.43 1.62

Values 2 2 2.00 2.00 1,154 MAX VALUE 399.95 0.00 0.00 0.00

Value table constraints 2 20 6.15 5.00 7,379 MAX VALUE 1,932.52 3.98 0.65 2.46

Value table partitions 2 256 7.55 4.00 9,062 MAX VALUE 1,709.30 14.73 1.95 1.40

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	17	3.79	3.00	4,947	MAX VALUE	1,595.32	2.02	0.53	1.58
Coarse blocks size	1	65,536	225.92	8.00	7,794,670	MAX VALUE	79,585.40	2,362.89	10.46	2.53
Relational linkage	0.38	1.00	0.93	1.00	8,468.57	0.00	-778.97	0.15	0.16	0.87
Tightness	0.00	0.28	0.13	0.12	164.16	0.00	-3,396.04	0.09	0.72	1.62
Tuples	3	131,071	224.92	7.00	293,965	MAX VALUE	3,246.50	3,696.20	16.43	1.62
Values	2	2	2.00	2.00	1,154	MAX VALUE	399.95	0.00	0.00	0.00
Value table constraints	2	20	6.15	5.00	7,379	MAX VALUE	1,932.52	3.98	0.65	2.46
Value table partitions	2	256	7.55	4.00	9,062	MAX VALUE	1,709.30	14.73	1.95	1.40

Tree decomposition

Number of clusters: 257
Number of leaves: 52
Tree depth: 64
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Tree1.json

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

Cluster constraints 1 22 10.19 11.00 2,619 MAX VALUE 567.63 4.48 0.44 2.27

Variables per cluster 5 24 14.21 16.00 3,652 MAX VALUE 671.00 3.94 0.28 2.32

Separator constraints 0 11 5.11 5.00 1,312 0 None 3.31 0.65 2.23

Separator variables 0 22 11.96 11.00 3,075 0 None 3.61 0.30 2.52

Clusters per var None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	1	22	10.19	11.00	2,619	MAX VALUE	567.63	4.48	0.44	2.27
Variables per cluster	5	24	14.21	16.00	3,652	MAX VALUE	671.00	3.94	0.28	2.32
Separator constraints	0	11	5.11	5.00	1,312	0	None	3.31	0.65	2.23
Separator variables	0	22	11.96	11.00	3,075	0	None	3.61	0.30	2.52
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: 478
Number of leaves: 127
Tree depth: 41
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/DualTree1.json

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

Cluster constraints 11 423 166.43 156.00 79,553 MAX VALUE 2,358.68 90.61 0.54 3.92

Variables per cluster 6 47 26.08 26.00 12,466 MAX VALUE 1,519.53 10.04 0.39 3.17

Separator constraints 0 316 132.87 119.00 63,512 0 None 73.10 0.55 3.92

Separator variables 0 39 23.35 25.00 11,159 0 None 8.29 0.35 3.07

Clusters per variable None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	11	423	166.43	156.00	79,553	MAX VALUE	2,358.68	90.61	0.54	3.92
Variables per cluster	6	47	26.08	26.00	12,466	MAX VALUE	1,519.53	10.04	0.39	3.17
Separator constraints	0	316	132.87	119.00	63,512	0	None	73.10	0.55	3.92
Separator variables	0	39	23.35	25.00	11,159	0	None	8.29	0.35	3.07
Clusters per variable	None	None	None	None	None	None	None	None	None	None

Primal graph

Density: 3.53%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Primal1.json

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

Clustering coefficient 0.42 1.00 0.66 0.64 382.19 0.00 -252.19 0.15 0.23 4.01

Degree 4 41 20.33 19.00 11,732 MAX VALUE 1,682.98 8.17 0.40 3.15

Eccentricity 12 23 17.28 17.00 9,971 MAX VALUE 1,634.55 3.11 0.18 2.43

MCB cycle size 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	0.42	1.00	0.66	0.64	382.19	0.00	-252.19	0.15	0.23	4.01
Degree	4	41	20.33	19.00	11,732	MAX VALUE	1,682.98	8.17	0.40	3.15
Eccentricity	12	23	17.28	17.00	9,971	MAX VALUE	1,634.55	3.11	0.18	2.43
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 4.57%
MCB compute time (ms): None
MCB cycles: None
Triangles: None

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

Clustering coefficient 0.44 1.00 0.76 0.72 438.49 0.00 -171.55 0.16 0.21 3.65

Degree 4 53 26.30 28.00 15,178 MAX VALUE 1,818.87 11.20 0.43 3.17

Eccentricity 9 18 13.76 14.00 7,941 MAX VALUE 1,504.19 2.35 0.17 2.17

MCB cycle size 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	0.44	1.00	0.76	0.72	438.49	0.00	-171.55	0.16	0.21	3.65
Degree	4	53	26.30	28.00	15,178	MAX VALUE	1,818.87	11.20	0.43	3.17
Eccentricity	9	18	13.76	14.00	7,941	MAX VALUE	1,504.19	2.35	0.17	2.17
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 1.88%
MCB compute time (ms): 33,333
MCB cycles: 14,774
Triangles: 74,052
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Dual1.json

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

Clustering coefficient 0.23 0.82 0.57 0.57 742.88 0.00 -766.98 0.11 0.20 4.77

Degree 5 93 24.55 23.00 32,082 MAX VALUE 4,077.74 10.95 0.45 3.25

Eccentricity 12 23 17.48 17.00 22,852 MAX VALUE 3,719.03 3.06 0.18 2.41

MCB cycle size 3 5 3.00 3.00 44,338 MAX VALUE 16,235.30 0.04 0.01 0.01

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.23	0.82	0.57	0.57	742.88	0.00	-766.98	0.11	0.20	4.77
Degree	5	93	24.55	23.00	32,082	MAX VALUE	4,077.74	10.95	0.45	3.25
Eccentricity	12	23	17.48	17.00	22,852	MAX VALUE	3,719.03	3.06	0.18	2.41
MCB cycle size	3	5	3.00	3.00	44,338	MAX VALUE	16,235.30	0.04	0.01	0.01

Minimal dual graph

Density: 0.29%
MCB compute time (ms): 27,165
MCB cycles: 1,130

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

Clustering coefficient 0.00 0.33 0.01 0.00 7.58 0.00 None 0.03 5.35 0.22

Degree 2 10 3.73 4.00 4,872 MAX VALUE 1,694.96 0.74 0.20 1.07

Eccentricity 20 37 29.08 29.00 38,014 MAX VALUE 4,387.93 4.62 0.16 2.82

MCB cycle size 3 10 6.02 6.00 6,803 MAX VALUE 1,999.97 1.31 0.22 1.64

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.01	0.00	7.58	0.00	None	0.03	5.35	0.22
Degree	2	10	3.73	4.00	4,872	MAX VALUE	1,694.96	0.74	0.20	1.07
Eccentricity	20	37	29.08	29.00	38,014	MAX VALUE	4,387.93	4.62	0.16	2.82
MCB cycle size	3	10	6.02	6.00	6,803	MAX VALUE	1,999.97	1.31	0.22	1.64

Triangulated dual graph

Density: 4.61%
Triangles: 627,120

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

Clustering coefficient 0.38 1.00 0.76 0.77 996.73 0.00 -382.58 0.16 0.20 4.86

Degree 5 150 60.20 63.00 78,686 MAX VALUE 5,122.16 30.93 0.51 4.13

Eccentricity 9 18 13.49 13.00 17,632 MAX VALUE 3,380.58 2.34 0.17 2.17

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.38	1.00	0.76	0.77	996.73	0.00	-382.58	0.16	0.20	4.86
Degree	5	150	60.20	63.00	78,686	MAX VALUE	5,122.16	30.93	0.51	4.13
Eccentricity	9	18	13.49	13.00	17,632	MAX VALUE	3,380.58	2.34	0.17	2.17

Triangulated minimal dual graph

Density: 1.55%

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

Clustering coefficient 0.36 1.00 0.77 0.70 1,004.91 0.00 -389.27 0.20 0.26 3.73

Degree 2 90 20.24 7.00 26,448 MAX VALUE 3,069.21 22.30 1.10 3.34

Eccentricity 7 13 9.62 10.00 12,574 MAX VALUE 2,944.57 1.42 0.15 1.73

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.36	1.00	0.77	0.70	1,004.91	0.00	-389.27	0.20	0.26	3.73
Degree	2	90	20.24	7.00	26,448	MAX VALUE	3,069.21	22.30	1.10	3.34
Eccentricity	7	13	9.62	10.00	12,574	MAX VALUE	2,944.57	1.42	0.15	1.73

Incidence graph

Density: 0.28%
MCB compute time (ms): 18,083
MCB cycles: 3,095
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Incidence1.json

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 20 5.25 5.00 9,894 MAX VALUE 2,780.26 3.46 0.66 2.17

Eccentricity 24 46 35.29 35.00 66,485 MAX VALUE 6,684.40 6.14 0.17 3.09

MCB cycle size 4 8 4.71 4.00 14,574 MAX VALUE 4,735.26 0.96 0.20 0.65

XCSP 2.1 Benchmarks