Instance: normalized-ssa-7552-038_ext
Number of variables: 3002
Number of constraints: 5072
Satisfiable: None
Timestamp: 2018-04-21 10:44:12
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 3002
Number of constraints: 5072
General features
Number of coarse blocks: 26,521
Number of unique subscopes: 3,494
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 6 2.22 2.00 11,246 MAX VALUE 3,942.30 0.49 0.22 0.57
Coarse blocks size 1 32 2.17 2.00 57,546 MAX VALUE 15,742.20 1.85 0.85 1.32
Relational linkage 0.50 1.00 0.62 0.50 4,874.16 0.00 -4,212.45 0.20 0.33 0.68
Tightness 0.00 0.25 0.22 0.25 1,099.14 0.00 None 0.07 0.32 0.69
Tuples 1 63 3.83 3.00 19,419 MAX VALUE 6,234.46 2.80 0.73 0.75
Domain size 1 2 1.97 2.00 5,924 MAX VALUE 2,025.38 0.16 0.08 0.12
Constraints per subscope 2 137 3.54 3.00 12,372 MAX VALUE 3,934.85 4.35 1.23 1.63
Partitions per subscope 1 8 2.27 2.00 7,939 MAX VALUE 2,700.50 0.88 0.39 0.52
Tree decomposition
Number of clusters: 2,677
Number of leaves: 924
Tree depth: 64
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 36 3.22 2.00 8,624 None None 2.59 0.80 1.62
Cluster variables 2 49 5.81 4.00 15,554 MAX VALUE 4,239.72 4.43 0.76 2.11
Separator constraints 0 27 1.33 1.00 3,552 0 None 2.32 1.75 1.55
Separator variables 0 35 4.69 3.00 12,552 0 None 4.05 0.86 2.08
Dual tree decomposition
Number of clusters: 2,912
Number of leaves: 1,133
Tree depth: 56
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 12,091 219.44 9.00 638,997 None None 1,077.29 4.91 3.43
Cluster variables 2 211 13.79 7.00 40,151 MAX VALUE 6,058.76 24.79 1.80 2.88
Separator constraints 0 9,181 203.22 4.00 591,781 0 None 1,029.78 5.07 3.18
Separator variables 0 148 12.05 6.00 35,079 0 None 23.77 1.97 2.81
Primal graph
Density: 0.15%
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.67 None 0.10 None None None None None 2.29
Degree 1 137 4.53 4.00 13,606 MAX VALUE 4,036.19 4.85 1.07 2.04
Eccentricity 12 24 18.86 19.00 56,617 MAX VALUE 8,791.95 2.39 0.13 2.23
Triangulated primal graph
Density: 0.41%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.02 1.00 None 0.69 None None None None None 4.19
Degree 1 653 12.34 5.00 37,056 MAX VALUE 5,564.88 26.63 2.16 3.02
Eccentricity 7 13 9.07 9.00 27,233 MAX VALUE 6,591.29 1.31 0.14 1.46
Dual graph
Density: 0.37%
MCB compute time (ms): 13,803,100
MCB cycles: 42,932
Triangles: 1,201,270
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_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.78
Degree 1 272 18.62 7.00 94,432 MAX VALUE 10,971.50 34.37 1.85 2.92
Eccentricity 12 24 18.48 19.00 93,724 MAX VALUE 14,747.00 2.45 0.13 2.26
MCB cycle size 3 17 3.12 3.00 133,995 MAX VALUE 48,441.90 0.56 0.18 0.32
Minimal dual graph
Density: 0.06%
MCB compute time (ms): 529,670
MCB cycles: 2,700
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.07
Degree 1 7 3.06 3.00 15,540 MAX VALUE 5,531.65 0.72 0.23 1.08
Eccentricity 23 41 30.60 30.00 155,200 MAX VALUE 17,323.40 3.22 0.11 2.56
MCB cycle size 3 28 6.91 7.00 18,663 MAX VALUE 5,054.32 2.91 0.42 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.39%
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.37
Degree 1 355 19.68 5.00 99,814 MAX VALUE 9,776.34 44.44 2.26 3.22
Eccentricity 9 17 11.14 11.00 56,520 MAX VALUE 12,191.40 1.39 0.13 1.58
Incidence graph
Density: 0.03%
MCB compute time (ms): 773,550
MCB cycles: 3,178
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-7552-038_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 1.05
Degree 1 137 2.79 2.00 22,492 MAX VALUE 7,476.42 2.96 1.06 1.18
Eccentricity 25 48 37.74 38.00 304,694 MAX VALUE 29,246.50 4.79 0.13 2.91
MCB cycle size 4 34 7.66 8.00 24,332 MAX VALUE 6,262.66 3.00 0.39 1.33