XCSP 2.1 Benchmark Database

Instance: bdd-21-133-18-78-1-ext
Number of variables: 21
Number of constraints: 133
Satisfiable: None
Timestamp: 2017-10-27 10:41:00
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 21
Number of constraints: 133

General features

Coarse blocks: None
Value tables: None

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

Arity 18 18 18.00 18.00 2,394 MAX VALUE 384.42 0.00 0.00 0.00

Coarse blocks size None None None None None None None None None None

Relational linkage None None None None None None None None None None

Tightness 0.78 0.78 0.78 0.78 103.67 0.00 -33.14 0.00 0.00 0.00

Tuples 57,813 57,813 57,813.00 57,813.00 7,689,130 MAX VALUE 1,458.34 0.00 0.00 0.00

Values 2 2 2.00 2.00 42 2,097,150 14.56 0.00 0.00 0.00

Value table constraints None None None None None None None None None None

Value table partitions None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	18	18	18.00	18.00	2,394	MAX VALUE	384.42	0.00	0.00	0.00
Coarse blocks size	None	None	None	None	None	None	None	None	None	None
Relational linkage	None	None	None	None	None	None	None	None	None	None
Tightness	0.78	0.78	0.78	0.78	103.67	0.00	-33.14	0.00	0.00	0.00
Tuples	57,813	57,813	57,813.00	57,813.00	7,689,130	MAX VALUE	1,458.34	0.00	0.00	0.00
Values	2	2	2.00	2.00	42	2,097,150	14.56	0.00	0.00	0.00
Value table constraints	None	None	None	None	None	None	None	None	None	None
Value table partitions	None	None	None	None	None	None	None	None	None	None

Tree decomposition

Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/bdd-21-133-18-78-1_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/bdd-21-133-18-78-1_ext/Tree1.pdf

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

Cluster constraints 133 133 133.00 133.00 133 133 4.89 0.00 0.00 0.00

Cluster variables 21 21 21.00 21.00 21 21 3.04 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	133	133	133.00	133.00	133	133	4.89	0.00
Cluster variables	21	21	21.00	21.00	21	21	3.04	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: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/bdd-21-133-18-78-1_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/bdd-21-133-18-78-1_ext/DualTree1.pdf

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

Cluster constraints 8,778 8,778 8,778.00 8,778.00 8,778 8,778 9.08 0.00 0.00 0.00

Cluster variables 133 133 133.00 133.00 133 133 4.89 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	8,778	8,778	8,778.00	8,778.00	8,778	8,778	9.08	0.00
Cluster variables	133	133	133.00	133.00	133	133	4.89	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

Primal graph

Density: 100.00%
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/bdd-21-133-18-78-1_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/bdd-21-133-18-78-1_ext/Primal1.pdf

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

Clustering coefficient 1.00 1.00 1.00 1.00 21.00 1.00 0.00 0.00 0.00 0.00

Degree 20 20 20.00 20.00 420 2.10e+27 62.91 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 21 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	21.00	1.00	0.00
Degree	20	20	20.00	20.00	420	2.10e+27	62.91
Eccentricity	1	1	1.00	1.00	21	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 21.00 1.00 0.00 0.00 0.00 0.00

Degree 20 20 20.00 20.00 420 2.10e+27 62.91 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 21 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	21.00	1.00	0.00
Degree	20	20	20.00	20.00	420	2.10e+27	62.91
Eccentricity	1	1	1.00	1.00	21	1	0.00

Dual graph

Density: 100.00%
MCB compute time (ms): 4,485
MCB cycles: 8,646
Triangles: 383,306
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/bdd-21-133-18-78-1_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/bdd-21-133-18-78-1_ext/Dual1.pdf

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

Clustering coefficient 1.00 1.00 1.00 1.00 133.00 1.00 0.00 0.00 0.00 0.00

Degree 132 132 132.00 132.00 17,556 MAX VALUE 649.41 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 133 1 0.00 0.00 0.00 0.00

MCB cycle size 3 3 3.00 3.00 25,938 MAX VALUE 9,498.60 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	133.00	1.00	0.00
Degree	132	132	132.00	132.00	17,556	MAX VALUE	649.41
Eccentricity	1	1	1.00	1.00	133	1	0.00
MCB cycle size	3	3	3.00	3.00	25,938	MAX VALUE	9,498.60

Minimal dual graph

Density: 34.79%
MCB compute time (ms): 2,347
MCB cycles: 3,254

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

Clustering coefficient 0.37 0.53 0.45 0.45 59.48 0.00 -107.38 0.03 0.07 4.86

Degree 28 71 45.92 46.00 6,108 MAX VALUE 506.20 9.34 0.20 3.46

Eccentricity 2 3 2.03 2.00 270 MAX VALUE 93.81 0.17 0.08 0.14

MCB cycle size 3 4 3.01 3.00 9,779 MAX VALUE 3,579.77 0.07 0.02 0.03

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.37	0.53	0.45	0.45	59.48	0.00	-107.38	0.03	0.07	4.86
Degree	28	71	45.92	46.00	6,108	MAX VALUE	506.20	9.34	0.20	3.46
Eccentricity	2	3	2.03	2.00	270	MAX VALUE	93.81	0.17	0.08	0.14
MCB cycle size	3	4	3.01	3.00	9,779	MAX VALUE	3,579.77	0.07	0.02	0.03

Triangulated dual graph

Density: 100.00%
Triangles: 383,306

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

Clustering coefficient 1.00 1.00 1.00 1.00 133.00 1.00 0.00 0.00 0.00 0.00

Degree 132 132 132.00 132.00 17,556 MAX VALUE 649.41 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 133 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	133.00	1.00	0.00
Degree	132	132	132.00	132.00	17,556	MAX VALUE	649.41
Eccentricity	1	1	1.00	1.00	133	1	0.00

Triangulated minimal dual graph

Density: 83.30%

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

Clustering coefficient 0.86 1.00 0.93 0.93 123.65 0.00 -9.79 0.03 0.04 4.68

Degree 28 129 109.95 119.00 14,624 MAX VALUE 619.26 25.04 0.23 3.22

Eccentricity 2 2 2.00 2.00 266 MAX VALUE 92.19 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.86	1.00	0.93	0.93	123.65	0.00	-9.79	0.03	0.04	4.68
Degree	28	129	109.95	119.00	14,624	MAX VALUE	619.26	25.04	0.23	3.22
Eccentricity	2	2	2.00	2.00	266	MAX VALUE	92.19	0.00	0.00	0.00

Incidence graph

Density: 20.32%
MCB compute time (ms): 872
MCB cycles: 2,241
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/bdd-21-133-18-78-1_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/bddSmall/bdd-21-133-18-78-1_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 18 121 31.09 18.00 4,788 MAX VALUE 483.87 32.96 1.06 0.65

Eccentricity 3 3 3.00 3.00 462 MAX VALUE 169.19 0.00 0.00 0.00

MCB cycle size 4 4 4.00 4.00 8,964 MAX VALUE 3,106.69 0.00 0.00 0.00

XCSP 2.1 Benchmarks