Instance: normalized-C17_ext
Number of variables: 15
Number of constraints: 20
Satisfiable: None
Timestamp: 2018-04-21 10:27:38
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 11
Number of constraints: 17
General features
Number of coarse blocks: 192
Number of unique subscopes: 18
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 5 2.88 2.00 49 22,118,400 16.91 1.08 0.37 1.20
Coarse blocks size 1 16 4.87 4.00 935 MAX VALUE 244.99 4.08 0.84 1.91
Relational linkage 0.50 1.00 0.85 1.00 52.62 0.00 -12.41 0.21 0.24 1.05
Tightness 0.03 0.25 0.17 0.25 2.88 0.00 -33.96 0.09 0.53 1.20
Tuples 3 31 9.12 3.00 155 2.19e+13 30.72 9.11 1.00 1.20
Domain size 2 2 2.00 2.00 22 2,048 7.62 0.00 0.00 0.00
Constraints per subscope 2 6 3.61 3.00 65 2.69e+09 21.71 1.42 0.39 1.55
Partitions per subscope 2 8 3.44 2.00 62 268,435,000 19.41 2.19 0.64 0.93
Tree decomposition
Number of clusters: 5
Number of leaves: 2
Tree depth: 2
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-C17_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-C17_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 3 6 4.20 4.00 21 1,152 7.05 0.98 0.23 0.95
Cluster variables 6 7 6.20 6.00 31 9,072 9.11 0.40 0.06 0.50
Separator constraints 0 1 0.80 1.00 4 0 None 0.40 0.50 0.50
Separator variables 0 5 4.00 5.00 20 0 None 2.00 0.50 0.50
Dual tree decomposition
Number of clusters: 7
Number of leaves: 2
Tree depth: 3
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-C17_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-C17_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 17 34 26.43 27.00 185 7.14e+09 22.69 6.59 0.25 1.75
Cluster variables 7 10 8.86 9.00 62 4,032,000 15.21 1.12 0.13 1.28
Separator constraints 0 25 15.43 15.00 108 0 None 7.84 0.51 1.95
Separator variables 0 9 6.43 7.00 45 0 None 2.77 0.43 1.55
Primal graph
Density: 74.55%
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-C17_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-C17_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.69 1.00 0.85 0.82 9.35 0.15 -1.90 0.12 0.15 1.09
Degree 5 10 7.45 8.00 82 2.56e+09 21.66 2.02 0.27 1.09
Eccentricity 1 2 1.73 2.00 19 256 5.55 0.45 0.26 0.59
Triangulated primal graph
Density: 74.55%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.69 1.00 0.85 0.82 9.35 0.15 -1.90 0.12 0.15 1.09
Degree 5 10 7.45 8.00 82 2.56e+09 21.66 2.02 0.27 1.09
Eccentricity 1 2 1.73 2.00 19 256 5.55 0.45 0.26 0.59
Dual graph
Density: 56.62%
MCB compute time (ms): 0
MCB cycles: 61
Triangles: 143
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-C17_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-C17_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.55 0.75 0.67 0.67 11.40 0.00 -6.86 0.06 0.08 2.31
Degree 6 14 9.06 9.00 154 1.07e+16 36.90 2.39 0.26 1.68
Eccentricity 2 2 2.00 2.00 34 131,072 11.78 0.00 0.00 0.00
MCB cycle size 3 3 3.00 3.00 183 1.27e+29 67.02 0.00 0.00 0.00
Minimal dual graph
Density: 19.85%
MCB compute time (ms): 0
MCB cycles: 11
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.05 0.00 0.83 0.00 None 0.11 2.26 0.58
Degree 2 4 3.18 3.00 54 272,098,000 19.42 0.51 0.16 0.75
Eccentricity 3 5 3.94 4.00 67 1.13e+10 23.15 0.54 0.14 0.80
MCB cycle size 3 6 4.55 4.00 50 13,824,000 16.44 0.89 0.20 1.24
Triangulated dual graph
Density: 72.79%
Triangles: 305
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.69 1.00 0.86 0.86 14.56 0.07 -2.73 0.09 0.10 2.31
Degree 6 16 11.65 12.00 198 7.63e+17 41.18 2.79 0.24 2.09
Eccentricity 1 2 1.94 2.00 33 65,536 11.09 0.24 0.12 0.22
Triangulated minimal dual graph
Density: 36.76%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.72 0.67 12.32 0.00 -6.01 0.18 0.25 2.03
Degree 2 10 5.88 6.00 100 2.16e+12 28.40 2.49 0.42 2.04
Eccentricity 2 4 3.18 3.00 54 241,865,000 19.30 0.62 0.19 0.92
Incidence graph
Density: 12.96%
MCB compute time (ms): 1
MCB cycles: 22
Dot-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-C17_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-circuitsExtConvert/normalized-C17_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 6 3.50 3.00 98 1.72e+14 32.78 1.40 0.40 1.53
Eccentricity 3 5 4.18 4.00 117 1.81e+17 39.74 0.60 0.14 0.90
MCB cycle size 4 6 5.00 5.00 110 1.52e+15 34.96 1.00 0.20 0.69
Component #2 Number of variables: 4
Number of constraints: 3
General features
Number of coarse blocks: 4
Number of unique subscopes: 2
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 6 8 2.08 0.00 0.00 0.00
Coarse blocks size 1 1 1.00 1.00 4 1 0.00 0.00 0.00 0.00
Relational linkage 1.00 1.00 1.00 1.00 2.00 1.00 0.00 0.00 0.00 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 3 1 0.00 0.00 0.00 0.00
Domain size 1 1 1.00 1.00 4 1 0.00 0.00 0.00 0.00
Constraints per subscope 2 2 2.00 2.00 4 4 1.39 0.00 0.00 0.00
Partitions per subscope 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Tree decomposition
Number of clusters: 3
Number of leaves: 2
Tree depth: 1
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 3 1 0.00 0.00 0.00 0.00
Cluster variables 2 2 2.00 2.00 6 8 2.08 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 1 0.67 1.00 2 0 None 0.47 0.71 0.64
Dual tree decomposition
Number of clusters: 2
Number of leaves: 1
Tree depth: 1
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 2 1 0.00 0.00 0.00 0.00
Cluster variables 2 2 2.00 2.00 4 4 1.39 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 1 0.50 0.50 1 0 None 0.50 1.00 0.69
Primal graph
Density: 50.00%
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 None None None None None None None 1.39
Degree 1 2 1.50 1.50 6 4 1.39 0.50 0.33 0.69
Eccentricity 2 3 2.50 2.50 10 36 3.58 0.50 0.20 0.69
Triangulated primal graph
Density: 50.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 None None None None None None None 1.39
Degree 1 2 1.50 1.50 6 4 1.39 0.50 0.33 0.69
Eccentricity 2 3 2.50 2.50 10 36 3.58 0.50 0.20 0.69
Dual graph
Density: 66.67%
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 0.00 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
Minimal dual graph
Density: 66.67%
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 0.00 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
Triangulated dual graph
Density: 66.67%
Triangles: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 0.00 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
Triangulated minimal dual graph
Density: 66.67%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None 0.00 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
Incidence graph
Density: 28.57%
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 0.00 0.00 None None None None None None None 1.48
Degree 1 2 1.71 2.00 12 32 3.47 0.45 0.26 0.60
Eccentricity 3 6 4.71 5.00 33 43,200 10.67 1.03 0.22 1.35
MCB cycle size None None None None 0 1 0.00 None None 0.00