Instance: normalized-ssa-2670-141_ext
Number of variables: 1972
Number of constraints: 3297
Satisfiable: None
Timestamp: 2018-04-21 10:44:26
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 1970
Number of constraints: 3296
General features
Number of coarse blocks: 15,788
Number of unique subscopes: 2,111
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 5 2.19 2.00 7,204 MAX VALUE 2,514.95 0.50 0.23 0.51
Coarse blocks size 1 16 2.25 2.00 35,529 MAX VALUE 9,353.31 2.03 0.90 1.33
Relational linkage 0.50 1.00 0.57 0.50 2,537.44 0.00 -2,690.14 0.16 0.29 0.54
Tightness 0.00 0.25 0.23 0.25 747.16 0.00 None 0.06 0.25 0.57
Tuples 1 31 3.91 3.00 12,896 MAX VALUE 4,070.02 3.05 0.78 0.57
Domain size 1 2 1.99 2.00 3,912 MAX VALUE 1,346.09 0.12 0.06 0.07
Constraints per subscope 2 32 3.59 3.00 7,569 MAX VALUE 2,477.23 2.48 0.69 1.49
Partitions per subscope 1 8 2.12 2.00 4,485 MAX VALUE 1,540.87 0.58 0.27 0.32
Tree decomposition
Number of clusters: 1,746
Number of leaves: 643
Tree depth: 24
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-141_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-141_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 19 3.44 3.00 5,999 0 None 1.97 0.57 1.68
Cluster variables 3 40 6.39 5.00 11,163 MAX VALUE 2,987.69 4.30 0.67 2.27
Separator constraints 0 14 1.55 1.00 2,703 0 None 2.11 1.36 1.67
Separator variables 0 33 5.27 4.00 9,193 0 None 3.90 0.74 2.23
Dual tree decomposition
Number of clusters: 1,940
Number of leaves: 825
Tree depth: 25
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-141_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-141_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 1,224 23.44 9.00 45,466 0 None 69.45 2.96 3.16
Cluster variables 3 165 10.19 7.00 19,768 MAX VALUE 3,983.22 12.30 1.21 2.74
Separator constraints 0 870 15.36 4.00 29,803 0 None 51.61 3.36 2.85
Separator variables 0 117 8.49 6.00 16,472 0 None 10.14 1.19 2.60
Primal graph
Density: 0.23%
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-141_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-141_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.67 0.13 0.07 258.82 0.00 None 0.16 1.19 1.92
Degree 2 32 4.52 4.00 8,896 MAX VALUE 2,744.07 2.71 0.60 1.92
Eccentricity 12 22 16.77 17.00 33,037 MAX VALUE 5,536.63 2.25 0.13 2.16
Triangulated primal graph
Density: 0.69%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.11 1.00 0.76 0.75 1,493.67 0.00 -641.02 0.21 0.28 3.75
Degree 2 266 13.55 7.00 26,688 MAX VALUE 3,895.79 22.41 1.65 3.10
Eccentricity 6 12 8.45 8.00 16,650 MAX VALUE 4,194.18 0.90 0.11 1.22
Dual graph
Density: 0.29%
MCB compute time (ms): 3,390,090
MCB cycles: 12,458
Triangles: 55,052
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-141_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-141_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.92 0.48 0.47 1,597.00 0.00 None 0.22 0.45 3.37
Degree 2 60 9.50 7.00 31,326 MAX VALUE 6,634.40 7.54 0.79 2.70
Eccentricity 12 22 17.27 17.00 56,928 MAX VALUE 9,363.21 2.21 0.13 2.16
MCB cycle size 3 15 3.23 3.00 40,212 MAX VALUE 14,378.50 0.80 0.25 0.53
Minimal dual graph
Density: 0.09%
MCB compute time (ms): 280,087
MCB cycles: 1,777
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 0.00 0.00 4.30 0.00 None 0.03 24.47 0.02
Degree 2 6 3.08 3.00 10,144 MAX VALUE 3,628.74 0.66 0.21 0.98
Eccentricity 20 36 27.02 27.00 89,047 MAX VALUE 10,842.70 3.16 0.12 2.50
MCB cycle size 3 24 7.18 7.00 12,752 MAX VALUE 3,396.47 2.79 0.39 2.16
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.64%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.25 1.00 0.74 0.67 2,435.22 0.00 -1,136.30 0.21 0.28 3.85
Degree 2 250 21.04 5.00 69,340 MAX VALUE 6,647.31 42.08 2.00 3.30
Eccentricity 9 18 12.95 13.00 42,676 MAX VALUE 8,430.57 1.04 0.08 1.37
Incidence graph
Density: 0.05%
MCB compute time (ms): 317,180
MCB cycles: 1,939
Dot-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-141_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-ssaExtConvert/normalized-ssa-2670-141_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 32 2.74 2.00 14,408 MAX VALUE 4,860.91 1.76 0.64 1.13
Eccentricity 24 45 34.55 34.00 181,945 MAX VALUE 18,610.50 4.44 0.13 2.82
MCB cycle size 4 30 8.48 8.00 16,450 MAX VALUE 4,025.30 3.32 0.39 1.24
Component #2 Number of variables: 2
Number of constraints: 1
General features
Number of coarse blocks: 0
Number of unique subscopes: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 2 2 0.69 0.00 0.00 0.00
Coarse blocks size None None None None 0 1 0.00 None None 0.00
Relational linkage None None None None 0.00 1.00 0.00 None None 0.00
Tightness 0.00 0.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Tuples 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Domain size 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Constraints per subscope None None None None 0 1 0.00 None None 0.00
Partitions per subscope None None None None 0 1 0.00 None None 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Cluster variables 2 2 2.00 2.00 2 2 0.69 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Dual tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Cluster variables 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Primal graph
Density: 100.00%
Dot-file path: None
PDF-file path: 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 0.69
Degree 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Triangulated primal graph
Density: 100.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.69
Degree 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Triangles: 0
Dot-file path: None
PDF-file path: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.00
Minimal dual graph
Density: None%
MCB compute time (ms): 0
MCB cycles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
MCB cycle size None None None None 0 1 0.00 None None 0.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: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Incidence graph
Density: 66.67%
MCB compute time (ms): 0
MCB cycles: 0
Dot-file path: None
PDF-file path: 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 1.10
Degree 1 2 1.33 1.00 4 2 0.69 0.47 0.35 0.64
Eccentricity 1 2 1.67 2.00 5 4 1.39 0.47 0.28 0.64
MCB cycle size None None None None 0 1 0.00 None None 0.00