Instance: normalized-ssa-2670-130_ext
Number of variables: 2718
Number of constraints: 4676
Satisfiable: None
Timestamp: 2018-04-21 10:44:18
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 2718
Number of constraints: 4676
General features
Number of coarse blocks: 22,999
Number of unique subscopes: 3,006
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 5 2.23 2.00 10,439 MAX VALUE 3,654.22 0.53 0.24 0.59
Coarse blocks size 1 16 2.28 2.00 52,429 MAX VALUE 13,999.20 1.98 0.87 1.37
Relational linkage 0.50 1.00 0.59 0.50 3,730.00 0.00 -3,611.61 0.18 0.31 0.65
Tightness 0.00 0.25 0.21 0.25 998.12 0.00 None 0.07 0.35 0.75
Tuples 1 31 3.93 3.00 18,365 MAX VALUE 5,683.97 3.08 0.78 0.78
Domain size 1 2 1.96 2.00 5,322 MAX VALUE 1,804.96 0.20 0.10 0.17
Constraints per subscope 2 32 3.73 3.00 11,198 MAX VALUE 3,679.85 2.25 0.61 1.55
Partitions per subscope 1 8 2.11 2.00 6,347 MAX VALUE 2,130.73 0.70 0.33 0.50
Tree decomposition
Number of clusters: 2,328
Number of leaves: 805
Tree depth: 29
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-130_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-130_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 25 3.68 3.00 8,566 0 None 2.26 0.61 1.79
Cluster variables 2 49 6.97 6.00 16,219 MAX VALUE 4,188.68 4.68 0.67 2.42
Separator constraints 0 20 1.67 1.00 3,890 0 None 2.32 1.39 1.72
Separator variables 0 39 5.80 5.00 13,501 0 None 4.21 0.73 2.37
Dual tree decomposition
Number of clusters: 2,657
Number of leaves: 1,114
Tree depth: 26
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-130_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-130_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 942 20.82 9.00 55,318 0 None 58.37 2.80 3.25
Cluster variables 3 174 10.51 7.00 27,915 MAX VALUE 5,577.72 12.70 1.21 2.81
Separator constraints 0 813 12.70 4.00 33,751 0 None 40.80 3.21 2.95
Separator variables 0 125 8.75 6.00 23,239 0 None 10.44 1.19 2.67
Primal graph
Density: 0.18%
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-130_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-130_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.17 None None None None None 2.30
Degree 1 32 4.86 5.00 13,210 MAX VALUE 4,035.36 2.51 0.52 1.98
Eccentricity 15 25 20.83 21.00 56,609 MAX VALUE 8,235.66 2.26 0.11 2.15
Triangulated primal graph
Density: 0.56%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.11 1.00 None 0.75 None None None None None 4.35
Degree 1 282 15.33 7.00 41,674 MAX VALUE 5,743.61 24.98 1.63 3.31
Eccentricity 7 14 11.87 12.00 32,273 MAX VALUE 6,719.46 0.76 0.06 1.10
Dual graph
Density: 0.20%
MCB compute time (ms): 7,487,360
MCB cycles: 17,197
Triangles: 63,547
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-130_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-130_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.47 0.47 2,219.97 0.00 None 0.19 0.39 3.52
Degree 2 60 9.22 7.00 43,134 MAX VALUE 9,474.90 6.73 0.73 2.68
Eccentricity 15 25 20.54 21.00 96,068 MAX VALUE 14,106.90 2.15 0.10 2.12
MCB cycle size 3 21 3.25 3.00 55,902 MAX VALUE 19,932.70 0.89 0.27 0.57
Minimal dual graph
Density: 0.07%
MCB compute time (ms): 759,989
MCB cycles: 2,710
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.00 None None None None None 0.05
Degree 1 6 3.16 3.00 14,768 MAX VALUE 5,262.36 0.69 0.22 1.04
Eccentricity 23 41 32.64 33.00 152,619 MAX VALUE 16,269.40 3.56 0.11 2.65
MCB cycle size 3 34 6.97 6.00 18,897 MAX VALUE 5,086.12 2.99 0.43 2.14
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 0.47%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.12 1.00 None 0.67 None None None None None 4.24
Degree 1 316 21.81 5.00 101,968 MAX VALUE 9,550.38 45.33 2.08 3.34
Eccentricity 8 16 11.78 12.00 55,086 MAX VALUE 11,517.80 0.96 0.08 1.34
Incidence graph
Density: 0.04%
MCB compute time (ms): 761,959
MCB cycles: 3,048
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-130_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-130_ext/Incidence1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 None 0.00 None None None None None 0.59
Degree 1 32 2.82 2.00 20,878 MAX VALUE 7,060.37 1.67 0.59 1.22
Eccentricity 30 51 41.89 43.00 309,707 MAX VALUE 27,573.30 4.40 0.11 2.80
MCB cycle size 4 42 8.15 8.00 24,836 MAX VALUE 6,170.70 3.66 0.45 1.38