Instance: normalized-my-adder_ext
Number of variables: 577
Number of constraints: 1307
Satisfiable: None
Timestamp: 2018-04-21 10:39:43
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 577
Number of constraints: 1307
General features
Number of coarse blocks: 34,502
Number of unique subscopes: 1,200
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 17 3.79 3.00 4,947 MAX VALUE 1,595.32 2.02 0.53 1.58
Coarse blocks size 1 65,536 225.92 8.00 7,794,670 MAX VALUE 79,585.40 2,362.89 10.46 2.53
Relational linkage 0.38 1.00 0.93 1.00 8,468.57 0.00 -778.97 0.15 0.16 0.87
Tightness 0.00 0.28 0.13 0.12 164.16 0.00 -3,396.04 0.09 0.72 1.62
Tuples 3 131,071 224.92 7.00 293,965 MAX VALUE 3,246.50 3,696.20 16.43 1.62
Domain size 2 2 2.00 2.00 1,154 MAX VALUE 399.95 0.00 0.00 0.00
Constraints per subscope 2 20 6.15 5.00 7,379 MAX VALUE 1,932.52 3.98 0.65 2.46
Partitions per subscope 2 256 7.55 4.00 9,062 MAX VALUE 1,709.30 14.73 1.95 1.40
Tree decomposition
Number of clusters: 257
Number of leaves: 52
Tree depth: 64
Dot-file path: /mnt/hdd/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 22 10.19 11.00 2,619 MAX VALUE 567.63 4.48 0.44 2.27
Cluster variables 5 24 14.21 16.00 3,652 MAX VALUE 671.00 3.94 0.28 2.32
Separator constraints 0 11 5.11 5.00 1,312 0 None 3.31 0.65 2.23
Separator variables 0 22 11.96 11.00 3,075 0 None 3.61 0.30 2.52
Dual tree decomposition
Number of clusters: 478
Number of leaves: 127
Tree depth: 41
Dot-file path: /mnt/hdd/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 11 423 166.43 156.00 79,553 MAX VALUE 2,358.68 90.61 0.54 3.92
Cluster variables 6 47 26.08 26.00 12,466 MAX VALUE 1,519.53 10.04 0.39 3.17
Separator constraints 0 316 132.87 119.00 63,512 0 None 73.10 0.55 3.92
Separator variables 0 39 23.35 25.00 11,159 0 None 8.29 0.35 3.07
Primal graph
Density: 3.53%
Dot-file path: /mnt/hdd/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.42 1.00 0.66 0.64 382.19 0.00 -252.19 0.15 0.23 4.01
Degree 4 41 20.33 19.00 11,732 MAX VALUE 1,682.98 8.17 0.40 3.15
Eccentricity 12 23 17.28 17.00 9,971 MAX VALUE 1,634.55 3.11 0.18 2.43
Triangulated primal graph
Density: 4.57%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.44 1.00 0.76 0.72 438.49 0.00 -171.55 0.16 0.21 3.65
Degree 4 53 26.30 28.00 15,178 MAX VALUE 1,818.87 11.20 0.43 3.17
Eccentricity 9 18 13.76 14.00 7,941 MAX VALUE 1,504.19 2.35 0.17 2.17
Dual graph
Density: 1.88%
MCB compute time (ms): 33,333
MCB cycles: 14,774
Triangles: 74,052
Dot-file path: /mnt/hdd/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.23 0.82 0.57 0.57 742.88 0.00 -766.98 0.11 0.20 4.77
Degree 5 93 24.55 23.00 32,082 MAX VALUE 4,077.74 10.95 0.45 3.25
Eccentricity 12 23 17.48 17.00 22,852 MAX VALUE 3,719.03 3.06 0.18 2.41
MCB cycle size 3 5 3.00 3.00 44,338 MAX VALUE 16,235.30 0.04 0.01 0.01
Minimal dual graph
Density: 0.29%
MCB compute time (ms): 27,165
MCB cycles: 1,130
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.01 0.00 7.58 0.00 None 0.03 5.35 0.22
Degree 2 10 3.73 4.00 4,872 MAX VALUE 1,694.96 0.74 0.20 1.07
Eccentricity 20 37 29.08 29.00 38,014 MAX VALUE 4,387.93 4.62 0.16 2.82
MCB cycle size 3 10 6.02 6.00 6,803 MAX VALUE 1,999.97 1.31 0.22 1.64
Triangulated dual graph
Density: 4.61%
Triangles: 627,120
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.38 1.00 0.76 0.77 996.73 0.00 -382.58 0.16 0.20 4.86
Degree 5 150 60.20 63.00 78,686 MAX VALUE 5,122.16 30.93 0.51 4.13
Eccentricity 9 18 13.49 13.00 17,632 MAX VALUE 3,380.58 2.34 0.17 2.17
Triangulated minimal dual graph
Density: 1.55%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.36 1.00 0.77 0.70 1,004.91 0.00 -389.27 0.20 0.26 3.73
Degree 2 90 20.24 7.00 26,448 MAX VALUE 3,069.21 22.30 1.10 3.34
Eccentricity 7 13 9.62 10.00 12,574 MAX VALUE 2,944.57 1.42 0.15 1.73
Incidence graph
Density: 0.28%
MCB compute time (ms): 18,083
MCB cycles: 3,095
Dot-file path: /mnt/hdd/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-niklasExtConvert/normalized-my-adder_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 2 20 5.25 5.00 9,894 MAX VALUE 2,780.26 3.46 0.66 2.17
Eccentricity 24 46 35.29 35.00 66,485 MAX VALUE 6,684.40 6.14 0.17 3.09
MCB cycle size 4 8 4.71 4.00 14,574 MAX VALUE 4,735.26 0.96 0.20 0.65