Instance: normalized-ssa-7552-160_ext
Number of variables: 2782
Number of constraints: 4513
Satisfiable: None
Timestamp: 2018-04-21 10:44:24
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 2782
Number of constraints: 4513
General features
Number of coarse blocks: 21,808
Number of unique subscopes: 3,076
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 5 2.17 2.00 9,803 MAX VALUE 3,430.79 0.44 0.20 0.49
Coarse blocks size 1 16 2.06 2.00 44,819 MAX VALUE 12,101.00 1.63 0.79 1.26
Relational linkage 0.50 1.00 0.58 0.50 3,858.69 0.00 -3,898.88 0.18 0.30 0.55
Tightness 0.00 0.25 0.22 0.25 1,013.50 0.00 None 0.06 0.26 0.58
Tuples 1 31 3.71 3.00 16,724 MAX VALUE 5,485.39 2.42 0.65 0.61
Domain size 1 2 1.98 2.00 5,514 MAX VALUE 1,893.68 0.13 0.07 0.09
Constraints per subscope 2 137 3.38 3.00 10,411 MAX VALUE 3,373.48 4.47 1.32 1.51
Partitions per subscope 1 8 2.17 2.00 6,686 MAX VALUE 2,296.40 0.64 0.29 0.40
Tree decomposition
Number of clusters: 2,523
Number of leaves: 878
Tree depth: 65
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 20 2.89 2.00 7,302 0 None 1.56 0.54 1.41
Cluster variables 3 32 5.36 4.00 13,523 MAX VALUE 3,887.62 3.40 0.63 1.92
Separator constraints 0 19 1.11 1.00 2,789 0 None 1.59 1.44 1.44
Separator variables 0 26 4.26 3.00 10,741 0 None 3.13 0.74 1.89
Dual tree decomposition
Number of clusters: 2,711
Number of leaves: 1,066
Tree depth: 56
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 12,091 229.11 9.00 621,125 0 None 1,115.81 4.87 3.12
Cluster variables 3 211 12.97 6.00 35,153 MAX VALUE 5,454.72 24.95 1.92 2.69
Separator constraints 0 9,181 213.46 4.00 578,685 0 None 1,066.54 5.00 2.88
Separator variables 0 148 11.30 5.00 30,640 0 None 24.12 2.13 2.61
Primal graph
Density: 0.15%
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.67 0.12 0.00 320.32 0.00 None 0.15 1.30 1.86
Degree 2 137 4.21 4.00 11,716 MAX VALUE 3,594.86 4.82 1.14 1.85
Eccentricity 13 24 19.79 20.00 55,047 MAX VALUE 8,286.10 2.21 0.11 2.12
Triangulated primal graph
Density: 0.37%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.02 1.00 0.73 0.67 2,043.82 0.00 -1,023.88 0.23 0.31 3.43
Degree 2 652 10.22 5.00 28,434 MAX VALUE 4,924.08 23.97 2.34 2.80
Eccentricity 7 14 10.03 10.00 27,899 MAX VALUE 6,388.87 1.40 0.14 1.56
Dual graph
Density: 0.42%
MCB compute time (ms): 4,441,160
MCB cycles: 38,791
Triangles: 1,186,770
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.99 0.48 0.47 2,161.21 0.00 None 0.24 0.50 3.31
Degree 2 272 18.81 7.00 84,880 MAX VALUE 9,422.07 36.35 1.93 2.65
Eccentricity 13 24 19.57 20.00 88,303 MAX VALUE 13,391.60 2.18 0.11 2.17
MCB cycle size 3 18 3.13 3.00 121,345 MAX VALUE 43,832.40 0.59 0.19 0.33
Minimal dual graph
Density: 0.07%
MCB compute time (ms): 330,493
MCB cycles: 2,262
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.00 0.00 5.13 0.00 None 0.02 21.58 0.03
Degree 2 6 3.00 3.00 13,548 MAX VALUE 4,838.48 0.69 0.23 1.04
Eccentricity 23 40 30.67 31.00 138,412 MAX VALUE 15,427.70 3.00 0.10 2.50
MCB cycle size 3 28 6.93 7.00 15,672 MAX VALUE 4,226.98 3.09 0.45 2.01
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.23 1.00 0.72 0.67 3,226.97 0.00 -1,748.72 0.22 0.31 3.71
Degree 2 258 17.28 5.00 78,004 MAX VALUE 8,395.82 39.87 2.31 3.07
Eccentricity 8 16 11.16 11.00 50,345 MAX VALUE 10,848.90 1.47 0.13 1.64
Incidence graph
Density: 0.04%
MCB compute time (ms): 436,429
MCB cycles: 2,509
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-160_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 137 2.69 2.00 19,606 MAX VALUE 6,592.49 2.98 1.11 1.07
Eccentricity 26 49 39.87 40.00 290,843 MAX VALUE 26,840.50 4.38 0.11 2.83
MCB cycle size 4 36 8.13 8.00 20,386 MAX VALUE 5,113.39 3.05 0.38 1.18