Instance: normalized-ssa-7552-158_ext
Number of variables: 2726
Number of constraints: 4393
Satisfiable: None
Timestamp: 2018-04-21 10:44:14
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 2726
Number of constraints: 4393
General features
Number of coarse blocks: 19,964
Number of unique subscopes: 3,022
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 5 2.17 2.00 9,549 MAX VALUE 3,343.42 0.44 0.20 0.49
Coarse blocks size 1 16 1.86 2.00 37,125 MAX VALUE 9,897.49 1.11 0.60 1.17
Relational linkage 0.50 1.00 0.60 0.50 3,726.88 0.00 -3,388.97 0.20 0.33 0.64
Tightness 0.00 0.25 0.20 0.25 860.91 0.00 None 0.09 0.48 0.79
Tuples 1 31 3.24 3.00 14,216 MAX VALUE 4,635.22 1.78 0.55 0.89
Domain size 1 2 1.86 2.00 5,080 MAX VALUE 1,631.67 0.34 0.18 0.40
Constraints per subscope 2 137 3.37 3.00 10,177 MAX VALUE 3,293.64 4.50 1.34 1.50
Partitions per subscope 1 4 2.05 2.00 6,187 MAX VALUE 2,010.13 0.69 0.34 0.67
Tree decomposition
Number of clusters: 2,491
Number of leaves: 856
Tree depth: 64
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 18 2.81 2.00 7,010 None None 1.36 0.48 1.38
Cluster variables 2 23 5.21 4.00 12,980 MAX VALUE 3,789.81 3.11 0.60 1.89
Separator constraints 0 16 1.05 1.00 2,617 0 None 1.42 1.35 1.41
Separator variables 0 20 4.12 3.00 10,254 0 None 2.87 0.70 1.86
Dual tree decomposition
Number of clusters: 2,649
Number of leaves: 1,034
Tree depth: 56
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 12,091 233.97 9.00 619,775 0 None 1,128.23 4.82 3.09
Cluster variables 2 211 12.84 6.00 34,011 MAX VALUE 5,290.00 24.96 1.94 2.66
Separator constraints 0 9,181 218.12 4.00 577,791 0 None 1,078.45 4.94 2.84
Separator variables 0 148 11.18 5.00 29,618 0 None 24.22 2.17 2.58
Primal graph
Density: 0.15%
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.67 None 0.00 None None None None None 1.91
Degree 1 137 4.17 4.00 11,366 MAX VALUE 3,483.17 4.86 1.17 1.86
Eccentricity 13 24 19.50 20.00 53,157 MAX VALUE 8,078.78 2.23 0.11 2.14
Triangulated primal graph
Density: 0.35%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.02 1.00 None 0.67 None None None None None 3.82
Degree 1 646 9.65 5.00 26,300 MAX VALUE 4,729.64 23.26 2.41 2.76
Eccentricity 7 14 10.09 10.00 27,507 MAX VALUE 6,277.15 1.40 0.14 1.55
Dual graph
Density: 0.44%
MCB compute time (ms): 9,447,060
MCB cycles: 38,254
Triangles: 1,186,320
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.47 None None None None None 3.34
Degree 1 272 19.11 6.00 83,968 MAX VALUE 9,174.64 36.80 1.93 2.66
Eccentricity 12 24 18.98 19.00 83,386 MAX VALUE 12,900.50 2.18 0.11 2.16
MCB cycle size 3 18 3.12 3.00 119,421 MAX VALUE 43,164.10 0.57 0.18 0.32
Minimal dual graph
Density: 0.07%
MCB compute time (ms): 272,163
MCB cycles: 2,168
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 1.34
Degree 1 6 2.99 3.00 13,118 MAX VALUE 4,684.37 0.69 0.23 1.04
Eccentricity 24 42 32.18 32.00 141,353 MAX VALUE 15,222.20 3.55 0.11 2.66
MCB cycle size 3 30 6.93 7.00 15,020 MAX VALUE 4,049.65 3.12 0.45 2.00
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.38%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.17 1.00 None 0.67 None None None None None 4.12
Degree 1 242 16.78 5.00 73,696 MAX VALUE 8,078.27 39.44 2.35 3.05
Eccentricity 9 17 11.73 11.00 51,547 MAX VALUE 10,780.30 1.59 0.14 1.73
Incidence graph
Density: 0.04%
MCB compute time (ms): 379,191
MCB cycles: 2,431
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-158_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.82
Degree 1 137 2.68 2.00 19,098 MAX VALUE 6,414.12 3.01 1.12 1.08
Eccentricity 25 49 38.96 39.00 277,372 MAX VALUE 26,026.70 4.40 0.11 2.83
MCB cycle size 4 36 8.05 8.00 19,576 MAX VALUE 4,930.99 3.01 0.37 1.18