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

Instance comments



Component #1 Number of variables: 2726
Number of constraints: 4391
General features
Number of coarse blocks: 20,348
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,544 MAX VALUE 3,341.81 0.43 0.20 0.49
Coarse blocks size 1 16 1.91 2.00 38,960 MAX VALUE 10,442.70 1.27 0.66 1.20
Relational linkage 0.50 1.00 0.59 0.50 3,734.38 0.00 -3,531.46 0.19 0.32 0.61
Tightness 0.00 0.25 0.21 0.25 902.12 0.00 None 0.09 0.41 0.74
Tuples 1 31 3.38 3.00 14,831 MAX VALUE 4,854.98 1.97 0.58 0.82
Domain size 1 2 1.90 2.00 5,188 MAX VALUE 1,706.53 0.30 0.16 0.32
Constraints per subscope 2 137 3.37 3.00 10,172 MAX VALUE 3,292.44 4.50 1.34 1.50
Partitions per subscope 1 4 2.08 2.00 6,297 MAX VALUE 2,085.68 0.66 0.32 0.60
Tree decomposition
Number of clusters: 2,492
Number of leaves: 854
Tree depth: 64
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 18 2.82 2.00 7,018 0 None 1.36 0.48 1.38
Cluster variables 2 23 5.21 4.00 12,991 MAX VALUE 3,791.43 3.12 0.60 1.89
Separator constraints 0 16 1.05 1.00 2,627 0 None 1.43 1.36 1.41
Separator variables 0 20 4.12 3.00 10,265 0 None 2.88 0.70 1.86
Dual tree decomposition
Number of clusters: 2,649
Number of leaves: 1,031
Tree depth: 56
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 12,091 233.95 9.00 619,731 0 None 1,128.24 4.82 3.09
Cluster variables 2 211 12.83 6.00 33,994 MAX VALUE 5,287.70 24.96 1.95 2.66
Separator constraints 0 9,181 218.11 4.00 577,765 0 None 1,078.45 4.94 2.84
Separator variables 0 148 11.18 5.00 29,603 0 None 24.22 2.17 2.58
Primal graph
Density: 0.15%
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_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.90
Degree 1 137 4.17 4.00 11,358 MAX VALUE 3,481.80 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 645 9.64 5.00 26,280 MAX VALUE 4,728.04 23.24 2.41 2.76
Eccentricity 7 14 10.09 10.00 27,499 MAX VALUE 6,276.21 1.41 0.14 1.55
Dual graph
Density: 0.44%
MCB compute time (ms): 7,707,900
MCB cycles: 38,240
Triangles: 1,186,290
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_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.33
Degree 1 272 19.11 6.00 83,932 MAX VALUE 9,167.90 36.81 1.93 2.66
Eccentricity 12 24 18.98 19.00 83,355 MAX VALUE 12,895.00 2.18 0.11 2.16
MCB cycle size 3 18 3.12 3.00 119,380 MAX VALUE 43,149.00 0.57 0.18 0.32
Minimal dual graph
Density: 0.07%
MCB compute time (ms): 260,756
MCB cycles: 2,166
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.04
Degree 1 6 2.99 3.00 13,110 MAX VALUE 4,682.24 0.69 0.23 1.04
Eccentricity 24 42 32.30 32.00 141,815 MAX VALUE 15,231.30 3.58 0.11 2.67
MCB cycle size 3 31 6.94 7.00 15,025 MAX VALUE 4,048.54 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.01
Degree 1 246 16.48 5.00 72,378 MAX VALUE 8,070.03 38.35 2.33 3.04
Eccentricity 9 17 11.62 11.00 51,026 MAX VALUE 10,732.30 1.58 0.14 1.73
Incidence graph
Density: 0.04%
MCB compute time (ms): 387,726
MCB cycles: 2,428
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-159_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,088 MAX VALUE 6,411.31 3.01 1.12 1.08
Eccentricity 25 49 38.96 39.00 277,307 MAX VALUE 26,019.80 4.40 0.11 2.83
MCB cycle size 4 36 8.06 8.00 19,558 MAX VALUE 4,925.73 3.01 0.37 1.18