XCSP 2.1 Benchmark Database

Instance: normalized-par-8-3_ext
Number of variables: 700
Number of constraints: 1478
Satisfiable: None
Timestamp: 2018-04-21 10:40:44
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 700
Number of constraints: 1478

General features

Coarse blocks: 6,031
Value tables: 940

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

Arity 2 3 2.55 3.00 3,772 MAX VALUE 1,355.33 0.50 0.19 0.69

Coarse blocks size 1 4 1.87 1.00 11,268 MAX VALUE 2,799.45 1.11 0.60 1.18

Relational linkage 0.50 1.00 0.77 0.75 1,016.75 0.00 -424.62 0.24 0.31 0.90

Tightness 0.00 0.25 0.08 0.00 119.75 0.00 None 0.10 1.29 0.96

Tuples 1 7 2.65 1.00 3,911 MAX VALUE 970.53 2.23 0.84 1.15

Values 1 2 1.44 1.00 1,010 MAX VALUE 214.88 0.50 0.34 0.69

Value table constraints 2 23 4.52 4.00 4,252 MAX VALUE 1,295.85 2.57 0.57 1.83

Value table partitions 1 4 1.44 1.00 1,357 MAX VALUE 268.25 0.66 0.46 0.77

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	3	2.55	3.00	3,772	MAX VALUE	1,355.33	0.50	0.19	0.69
Coarse blocks size	1	4	1.87	1.00	11,268	MAX VALUE	2,799.45	1.11	0.60	1.18
Relational linkage	0.50	1.00	0.77	0.75	1,016.75	0.00	-424.62	0.24	0.31	0.90
Tightness	0.00	0.25	0.08	0.00	119.75	0.00	None	0.10	1.29	0.96
Tuples	1	7	2.65	1.00	3,911	MAX VALUE	970.53	2.23	0.84	1.15
Values	1	2	1.44	1.00	1,010	MAX VALUE	214.88	0.50	0.34	0.69
Value table constraints	2	23	4.52	4.00	4,252	MAX VALUE	1,295.85	2.57	0.57	1.83
Value table partitions	1	4	1.44	1.00	1,357	MAX VALUE	268.25	0.66	0.46	0.77

Tree decomposition

Number of clusters: 422
Number of leaves: 119
Tree depth: 24
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Tree1.json

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

Cluster constraints 1 21 7.79 8.00 3,288 MAX VALUE 799.89 3.98 0.51 2.53

Variables per cluster 3 51 10.46 8.00 4,416 MAX VALUE 911.11 7.62 0.73 2.87

Separator constraints 0 16 4.29 4.00 1,810 0 None 3.22 0.75 2.34

Separator variables 0 43 8.81 7.00 3,716 0 None 6.54 0.74 2.76

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	21	7.79	8.00	3,288	MAX VALUE	799.89	3.98	0.51	2.53
Variables per cluster	3	51	10.46	8.00	4,416	MAX VALUE	911.11	7.62	0.73	2.87
Separator constraints	0	16	4.29	4.00	1,810	0	None	3.22	0.75	2.34
Separator variables	0	43	8.81	7.00	3,716	0	None	6.54	0.74	2.76
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: 654
Number of leaves: 307
Tree depth: 22
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/DualTree1.json

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

Cluster constraints 2 501 60.33 35.00 39,458 MAX VALUE 2,329.30 74.27 1.23 3.72

Variables per cluster 3 93 17.31 11.50 11,318 MAX VALUE 1,683.79 15.50 0.90 3.23

Separator constraints 0 408 44.85 25.00 29,333 0 None 58.71 1.31 3.45

Separator variables 0 65 15.05 10.00 9,840 0 None 13.05 0.87 2.98

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	2	501	60.33	35.00	39,458	MAX VALUE	2,329.30	74.27	1.23	3.72
Variables per cluster	3	93	17.31	11.50	11,318	MAX VALUE	1,683.79	15.50	0.90	3.23
Separator constraints	0	408	44.85	25.00	29,333	0	None	58.71	1.31	3.45
Separator variables	0	65	15.05	10.00	9,840	0	None	13.05	0.87	2.98
Clusters per variable	None	None	None	None	None	None	None	None	None	None

Primal graph

Density: 1.17%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Primal1.json

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

Clustering coefficient 0.00 1.00 0.47 0.49 331.04 0.00 None 0.22 0.47 2.34

Degree 2 45 8.20 8.00 5,740 MAX VALUE 1,393.24 4.88 0.59 2.12

Eccentricity 10 17 13.96 14.00 9,773 MAX VALUE 1,839.84 1.73 0.12 1.91

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.00	1.00	0.47	0.49	331.04	0.00	None	0.22	0.47	2.34
Degree	2	45	8.20	8.00	5,740	MAX VALUE	1,393.24	4.88	0.59	2.12
Eccentricity	10	17	13.96	14.00	9,773	MAX VALUE	1,839.84	1.73	0.12	1.91
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 3.93%
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.19 1.00 0.77 0.76 538.02 0.00 -205.95 0.17 0.23 4.54

Degree 2 214 27.49 12.00 19,244 MAX VALUE 1,919.30 34.83 1.27 3.82

Eccentricity 4 8 5.91 6.00 4,138 MAX VALUE 1,238.99 0.70 0.12 1.04

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.19	1.00	0.77	0.76	538.02	0.00	-205.95	0.17	0.23	4.54
Degree	2	214	27.49	12.00	19,244	MAX VALUE	1,919.30	34.83	1.27	3.82
Eccentricity	4	8	5.91	6.00	4,138	MAX VALUE	1,238.99	0.70	0.12	1.04
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 0.93%
MCB compute time (ms): 15,807
MCB cycles: 14,558
Triangles: 28,111
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Dual1.json

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

Clustering coefficient 0.00 1.00 0.50 0.47 731.92 0.00 None 0.12 0.23 3.61

Degree 2 44 13.70 13.00 20,250 MAX VALUE 3,669.00 6.82 0.50 2.99

Eccentricity 11 18 14.51 15.00 21,452 MAX VALUE 3,943.01 1.72 0.12 1.91

MCB cycle size 3 17 3.45 3.00 50,266 MAX VALUE 17,727.80 0.79 0.23 0.83

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	0.50	0.47	731.92	0.00	None	0.12	0.23	3.61
Degree	2	44	13.70	13.00	20,250	MAX VALUE	3,669.00	6.82	0.50	2.99
Eccentricity	11	18	14.51	15.00	21,452	MAX VALUE	3,943.01	1.72	0.12	1.91
MCB cycle size	3	17	3.45	3.00	50,266	MAX VALUE	17,727.80	0.79	0.23	0.83

Minimal dual graph

Density: 0.26%
MCB compute time (ms): 29,448
MCB cycles: 1,355

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

Clustering coefficient 0.00 0.33 0.02 0.00 22.70 0.00 None 0.05 3.03 0.43

Degree 2 6 3.83 4.00 5,664 MAX VALUE 1,960.53 0.68 0.18 1.02

Eccentricity 17 27 22.01 22.00 32,533 MAX VALUE 4,561.85 2.20 0.10 2.17

MCB cycle size 3 22 5.65 5.00 7,662 MAX VALUE 2,298.88 1.62 0.29 1.70

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.02	0.00	22.70	0.00	None	0.05	3.03	0.43
Degree	2	6	3.83	4.00	5,664	MAX VALUE	1,960.53	0.68	0.18	1.02
Eccentricity	17	27	22.01	22.00	32,533	MAX VALUE	4,561.85	2.20	0.10	2.17
MCB cycle size	3	22	5.65	5.00	7,662	MAX VALUE	2,298.88	1.62	0.29	1.70

Triangulated dual graph

Density: 4.22%
Triangles: 1,118,170

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

Clustering coefficient 0.38 1.00 0.77 0.76 1,136.03 0.00 -425.92 0.17 0.22 4.77

Degree 2 292 62.32 35.00 92,106 MAX VALUE 5,180.15 65.59 1.05 4.53

Eccentricity 5 10 7.00 7.00 10,339 MAX VALUE 2,864.10 0.86 0.12 1.25

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.38	1.00	0.77	0.76	1,136.03	0.00	-425.92	0.17	0.22	4.77
Degree	2	292	62.32	35.00	92,106	MAX VALUE	5,180.15	65.59	1.05	4.53
Eccentricity	5	10	7.00	7.00	10,339	MAX VALUE	2,864.10	0.86	0.12	1.25

Triangulated minimal dual graph

Density: 2.36%

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

Clustering coefficient 0.34 1.00 0.77 0.72 1,134.07 0.00 -432.80 0.18 0.23 4.44

Degree 2 221 34.90 8.00 51,586 MAX VALUE 3,792.20 51.69 1.48 3.83

Eccentricity 6 12 8.31 8.00 12,276 MAX VALUE 3,120.54 0.89 0.11 1.27

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.34	1.00	0.77	0.72	1,134.07	0.00	-432.80	0.18	0.23	4.44
Degree	2	221	34.90	8.00	51,586	MAX VALUE	3,792.20	51.69	1.48	3.83
Eccentricity	6	12	8.31	8.00	12,276	MAX VALUE	3,120.54	0.89	0.11	1.27

Incidence graph

Density: 0.16%
MCB compute time (ms): 24,399
MCB cycles: 1,595
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-parExtConvert/normalized-par-8-3_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 23 3.46 3.00 7,544 MAX VALUE 2,484.83 1.96 0.57 1.49

Eccentricity 21 36 28.99 29.00 63,150 MAX VALUE 7,317.54 3.45 0.12 2.54

MCB cycle size 4 34 6.23 6.00 9,942 MAX VALUE 2,866.24 1.96 0.31 0.96

XCSP 2.1 Benchmarks