XCSP 2.1 Benchmark Database

Instance: normalized-crossword-m1-uk-puzzle01
Number of variables: 3
Number of constraints: 3
Satisfiable: None
Timestamp: 2018-04-21 10:53:57
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0

Component #1

Number of variables: 3
Number of constraints: 3

General features

Coarse blocks: 141
Value tables: 3

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

Arity 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00

Coarse blocks size 1 19 5.28 4.00 744 MAX VALUE 188.99 4.50 0.85 2.35

Relational linkage 0.04 0.73 0.20 0.15 13.46 0.00 -136.10 0.17 0.88 2.31

Tightness 0.82 0.82 0.82 0.82 2.45 0.54 -0.61 0.00 0.00 0.00

Tuples 124 124 124.00 124.00 372 1,906,620 14.46 0.00 0.00 0.00

Values 26 26 26.00 26.00 78 17,576 9.77 0.00 0.00 0.00

Value table constraints 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00

Value table partitions 22 25 24.00 25.00 72 13,750 9.53 1.41 0.06 0.64

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	2	2.00	2.00	6	8	2.08	0.00	0.00	0.00
Coarse blocks size	1	19	5.28	4.00	744	MAX VALUE	188.99	4.50	0.85	2.35
Relational linkage	0.04	0.73	0.20	0.15	13.46	0.00	-136.10	0.17	0.88	2.31
Tightness	0.82	0.82	0.82	0.82	2.45	0.54	-0.61	0.00	0.00	0.00
Tuples	124	124	124.00	124.00	372	1,906,620	14.46	0.00	0.00	0.00
Values	26	26	26.00	26.00	78	17,576	9.77	0.00	0.00	0.00
Value table constraints	2	2	2.00	2.00	6	8	2.08	0.00	0.00	0.00
Value table partitions	22	25	24.00	25.00	72	13,750	9.53	1.41	0.06	0.64

Tree decomposition

Number of clusters: 1
Number of leaves: 1
Tree depth: 0
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Tree1.json

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

Cluster constraints 3 3 3.00 3.00 3 3 1.10 0.00 0.00 0.00

Variables per cluster 3 3 3.00 3.00 3 3 1.10 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

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	3	3	3.00	3.00	3	3	1.10	0.00	0.00	0.00
Variables per cluster	3	3	3.00	3.00	3	3	1.10	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
Clusters per var	None	None	None	None	None	None	None	None	None	None

Dual tree decomposition

Number of clusters: 1
Number of leaves: 1
Tree depth: 0
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/DualTree1.json

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

Cluster constraints 3 3 3.00 3.00 3 3 1.10 0.00 0.00 0.00

Variables per cluster 3 3 3.00 3.00 3 3 1.10 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

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	3	3	3.00	3.00	3	3	1.10	0.00	0.00	0.00
Variables per cluster	3	3	3.00	3.00	3	3	1.10	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
Clusters per variable	None	None	None	None	None	None	None	None	None	None

Primal graph

Density: 100.00%
MCB compute time (ms): None
MCB cycles: None
Triangles: 1
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Primal1.json

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

Clustering coefficient 1.00 1.00 1.00 1.00 3.00 1.00 0.00 0.00 0.00 0.00

Degree 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 3 1 0.00 0.00 0.00 0.00

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	1.00	1.00	1.00	1.00	3.00	1.00	0.00	0.00	0.00	0.00
Degree	2	2	2.00	2.00	6	8	2.08	0.00	0.00	0.00
Eccentricity	1	1	1.00	1.00	3	1	0.00	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

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

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

Clustering coefficient 1.00 1.00 1.00 1.00 3.00 1.00 0.00 0.00 0.00 0.00

Degree 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 3 1 0.00 0.00 0.00 0.00

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	1.00	1.00	1.00	1.00	3.00	1.00	0.00	0.00	0.00	0.00
Degree	2	2	2.00	2.00	6	8	2.08	0.00	0.00	0.00
Eccentricity	1	1	1.00	1.00	3	1	0.00	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 100.00%
MCB compute time (ms): 0
MCB cycles: 1
Triangles: 1
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Dual1.json

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

Clustering coefficient 1.00 1.00 1.00 1.00 3.00 1.00 0.00 0.00 0.00 0.00

Degree 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 3 1 0.00 0.00 0.00 0.00

MCB cycle size 3 3 3.00 3.00 3 3 1.10 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	3.00	1.00	0.00
Degree	2	2	2.00	2.00	6	8	2.08
Eccentricity	1	1	1.00	1.00	3	1	0.00
MCB cycle size	3	3	3.00	3.00	3	3	1.10

Minimal dual graph

Density: 100.00%
MCB compute time (ms): 0
MCB cycles: 1

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

Clustering coefficient 1.00 1.00 1.00 1.00 3.00 1.00 0.00 0.00 0.00 0.00

Degree 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 3 1 0.00 0.00 0.00 0.00

MCB cycle size 3 3 3.00 3.00 3 3 1.10 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	3.00	1.00	0.00
Degree	2	2	2.00	2.00	6	8	2.08
Eccentricity	1	1	1.00	1.00	3	1	0.00
MCB cycle size	3	3	3.00	3.00	3	3	1.10

Triangulated dual graph

Density: 100.00%
Triangles: 1

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

Clustering coefficient 1.00 1.00 1.00 1.00 3.00 1.00 0.00 0.00 0.00 0.00

Degree 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 3 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	3.00	1.00	0.00
Degree	2	2	2.00	2.00	6	8	2.08
Eccentricity	1	1	1.00	1.00	3	1	0.00

Triangulated minimal dual 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 3.00 1.00 0.00 0.00 0.00 0.00

Degree 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00

Eccentricity 1 1 1.00 1.00 3 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	3.00	1.00	0.00
Degree	2	2	2.00	2.00	6	8	2.08
Eccentricity	1	1	1.00	1.00	3	1	0.00

Incidence graph

Density: 40.00%
MCB compute time (ms): 0
MCB cycles: 1
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/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 2 2.00 2.00 12 64 4.16 0.00 0.00 0.00

Eccentricity 3 3 3.00 3.00 18 729 6.59 0.00 0.00 0.00

MCB cycle size 6 6 6.00 6.00 6 6 1.79 0.00 0.00 0.00

XCSP 2.1 Benchmarks