Instance: normalized-crossword-m1-lex-puzzle01
Number of variables: 3
Number of constraints: 3
Satisfiable: None
Timestamp: 2018-04-21 10:19:38
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: 147
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 13 5.43 5.00 798 MAX VALUE 217.82 3.22 0.59 2.29
Relational linkage 0.04 0.50 0.19 0.19 14.04 0.00 -133.48 0.12 0.61 2.25
Tightness 0.80 0.80 0.80 0.80 2.41 0.52 -0.66 0.00 0.00 0.00
Tuples 133 133 133.00 133.00 399 2,352,640 14.67 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 24 26 25.00 25.00 75 15,600 9.66 0.82 0.03 1.10
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: /mnt/hdd/graphFiles/lexPuzzle/normalized-crossword-m1-lex-puzzle01/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/lexPuzzle/normalized-crossword-m1-lex-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/lexPuzzle/normalized-crossword-m1-lex-puzzle01/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/lexPuzzle/normalized-crossword-m1-lex-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/lexPuzzle/normalized-crossword-m1-lex-puzzle01/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/lexPuzzle/normalized-crossword-m1-lex-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/lexPuzzle/normalized-crossword-m1-lex-puzzle01/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/lexPuzzle/normalized-crossword-m1-lex-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/lexPuzzle/normalized-crossword-m1-lex-puzzle01/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/lexPuzzle/normalized-crossword-m1-lex-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