Instance: normalized-ortholatin-20
Number of variables: 1200
Number of constraints: 481
Satisfiable: None
Timestamp: 2018-04-21 10:20:47
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 1200
Number of constraints: 481
General features
Number of coarse blocks: None
Number of unique subscopes: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 3 400 6.65 3.00 3,200 MAX VALUE 685.10 19.04 2.86 0.46
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 1.00 1.00 1.00 1.00 480.00 0.37 -1.00 0.00 0.00 0.45
Tuples 20 400 336.80 400.00 162,000 MAX VALUE 2,642.24 141.50 0.42 0.45
Domain size 20 400 146.67 20.00 176,000 MAX VALUE 4,793.17 179.13 1.22 0.64
Constraints per subscope None None None None None None None None None None
Partitions per subscope None None None None None None None None None None
Tree decomposition
Number of clusters: 422
Number of leaves: 41
Tree depth: 176
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 3 1.14 1.00 481 0 None 0.64 0.56 0.53
Cluster variables 41 708 467.51 530.50 197,289 MAX VALUE 2,502.01 194.78 0.42 5.42
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 701 464.67 528.50 196,089 0 None 195.74 0.42 5.41
Dual tree decomposition
Number of clusters: 420
Number of leaves: 400
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 7 40 8.57 7.00 3,600 MAX VALUE 852.14 7.03 0.82 0.19
Cluster variables 6 43 7.76 6.00 3,260 MAX VALUE 791.93 7.88 1.02 0.19
Separator constraints 0 2 1.90 2.00 800 0 None 0.43 0.22 0.19
Separator variables 0 41 6.62 5.00 2,779 0 None 7.49 1.13 0.20
Primal graph
Density: 13.37%
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 0.99 0.62 0.44 747.82 0.00 -661.25 0.26 0.42 0.64
Degree 40 401 160.33 40.00 192,400 MAX VALUE 5,348.69 170.18 1.06 0.64
Eccentricity 2 3 2.67 3.00 3,200 MAX VALUE 1,156.15 0.47 0.18 0.64
Triangulated primal graph
Density: 66.65%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.75 1.00 0.89 0.90 1,064.28 0.00 -148.21 0.07 0.08 6.87
Degree 40 1,122 799.11 845.00 958,928 MAX VALUE 7,864.13 260.93 0.33 6.10
Eccentricity 2 3 2.05 2.00 2,459 MAX VALUE 855.70 0.22 0.11 0.20
Dual graph
Density: 2.43%
MCB compute time (ms): 9,809
MCB cycles: 2,717
Triangles: 800
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.20 0.17 0.20 82.05 0.00 None 0.07 0.38 0.46
Degree 5 400 11.64 5.00 5,600 MAX VALUE 944.88 22.00 1.89 0.46
Eccentricity 2 3 2.17 2.00 1,042 MAX VALUE 365.84 0.37 0.17 0.45
MCB cycle size 3 4 3.71 4.00 10,068 MAX VALUE 3,536.42 0.46 0.12 0.61
Minimal dual graph
Density: 1.73%
MCB compute time (ms): 1,243
MCB cycles: 1,520
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 4 400 8.32 5.00 4,000 MAX VALUE 885.76 18.77 2.26 0.73
Eccentricity 3 4 3.16 3.00 1,520 MAX VALUE 550.58 0.37 0.12 0.44
MCB cycle size 4 5 4.01 4.00 6,100 MAX VALUE 2,111.63 0.11 0.03 0.07
Triangulated dual graph
Density: 3.88%
Triangles: 48,280
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.03 1.00 0.91 1.00 439.98 0.00 -58.92 0.19 0.21 0.58
Degree 5 480 18.63 5.00 8,960 MAX VALUE 999.24 36.11 1.94 0.58
Eccentricity 1 2 2.00 2.00 961 MAX VALUE 332.71 0.05 0.02 0.01
Triangulated minimal dual graph
Density: 3.84%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.03 1.00 0.92 1.00 440.40 0.00 -58.40 0.19 0.21 0.68
Degree 4 479 18.44 5.00 8,872 MAX VALUE 993.17 35.94 1.95 0.84
Eccentricity 2 3 2.00 2.00 964 MAX VALUE 334.21 0.06 0.03 0.03
Incidence graph
Density: 0.23%
MCB compute time (ms): 21,702
MCB cycles: 1,520
Dot-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/ortholatin/normalized-ortholatin-20/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 400 3.81 3.00 6,400 MAX VALUE 1,841.24 10.35 2.72 0.73
Eccentricity 4 6 5.52 6.00 9,284 MAX VALUE 2,865.68 0.50 0.09 0.70
MCB cycle size 8 8 8.00 8.00 12,160 MAX VALUE 3,160.75 0.00 0.00 0.00