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
Benchmark comments

Instance comments



Component #1 Number of variables: 3
Number of constraints: 3
General features
Number of coarse blocks: 141
Number of unique subscopes: 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
Domain size 26 26 26.00 26.00 78 17,576 9.77 0.00 0.00 0.00
Constraints per subscope 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00
Partitions per subscope 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
Dot-file path: /mnt/hdd/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Tree1.pdf
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
Cluster variables 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
Dual tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: /mnt/hdd/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/DualTree1.pdf
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
Cluster variables 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
Primal graph
Density: 100.00%
Dot-file path: /mnt/hdd/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/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 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
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 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
Dual graph
Density: 100.00%
MCB compute time (ms): 0
MCB cycles: 1
Triangles: 1
Dot-file path: /mnt/hdd/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/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 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
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
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
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
Incidence graph
Density: 40.00%
MCB compute time (ms): 0
MCB cycles: 1
Dot-file path: /mnt/hdd/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/ukPuzzle/normalized-crossword-m1-uk-puzzle01/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 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