Instance: normalized-fpga-11-11_ext
Number of variables: 182
Number of constraints: 154
Satisfiable: None
Timestamp: 2018-04-21 10:28:18
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 182
Number of constraints: 154
General features
Number of coarse blocks: 8,174
Number of unique subscopes: 193
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 5 11 7.11 7.00 1,095 MAX VALUE 298.53 1.67 0.24 1.12
Coarse blocks size 1 1,024 41.70 2.00 340,852 MAX VALUE 12,248.50 172.67 4.14 1.17
Relational linkage 0.00 1.00 0.61 1.00 557.17 0.00 -1,678.32 0.47 0.76 1.36
Tightness 0.00 0.99 0.14 0.01 21.72 0.00 -634.64 0.32 2.28 1.35
Tuples 6 2,047 224.47 95.00 34,568 MAX VALUE 679.42 507.21 2.26 1.35
Domain size 2 2 2.00 2.00 364 MAX VALUE 126.15 0.00 0.00 0.00
Constraints per subscope 3 12 6.30 3.00 1,216 MAX VALUE 310.89 4.28 0.68 0.82
Partitions per subscope 2 64 4.70 2.00 908 MAX VALUE 168.44 11.64 2.47 0.26
Tree decomposition
Number of clusters: 31
Number of leaves: 11
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 13 5.32 2.00 165 0 None 5.75 1.08 1.09
Cluster variables 20 92 37.65 29.00 1,167 MAX VALUE 108.59 20.98 0.56 2.07
Separator constraints 0 1 0.35 0.00 11 0 None 0.48 1.35 0.65
Separator variables 0 72 31.77 28.00 985 0 None 15.63 0.49 2.03
Dual tree decomposition
Number of clusters: 121
Number of leaves: 11
Tree depth: 15
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 18 134 66.27 64.00 8,019 MAX VALUE 487.27 35.37 0.53 3.09
Cluster variables 18 19 18.55 19.00 2,244 MAX VALUE 353.30 0.50 0.03 0.69
Separator constraints 0 116 52.73 51.00 6,380 0 None 33.66 0.64 3.02
Separator variables 0 18 17.27 17.00 2,090 0 None 1.77 0.10 0.90
Primal graph
Density: 13.12%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.65 0.55 0.51 99.52 0.00 -110.93 0.06 0.11 1.32
Degree 19 26 23.75 25.00 4,322 MAX VALUE 575.29 2.63 0.11 1.32
Eccentricity 2 3 2.34 2.00 425 MAX VALUE 150.89 0.47 0.20 0.64
Triangulated primal graph
Density: 56.23%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.72 1.00 0.85 0.85 154.18 0.00 -31.07 0.08 0.10 3.24
Degree 19 150 101.77 118.00 18,522 MAX VALUE 819.44 39.25 0.39 2.97
Eccentricity 2 3 2.06 2.00 375 MAX VALUE 130.61 0.24 0.12 0.23
Dual graph
Density: 13.91%
MCB compute time (ms): 716
MCB cycles: 1,486
Triangles: 5,896
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.05 0.78 0.64 0.76 98.42 0.00 -98.91 0.25 0.39 1.35
Degree 17 66 21.29 18.00 3,278 MAX VALUE 459.77 11.23 0.53 1.25
Eccentricity 2 4 3.00 3.00 462 MAX VALUE 167.89 0.38 0.13 0.51
MCB cycle size 3 4 3.10 3.00 4,608 MAX VALUE 1,675.69 0.30 0.10 0.33
Minimal dual graph
Density: 3.51%
MCB compute time (ms): 66
MCB cycles: 260
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.22 0.20 34.17 0.00 None 0.12 0.53 1.44
Degree 4 12 5.36 4.00 826 MAX VALUE 246.36 2.58 0.48 1.13
Eccentricity 3 6 4.88 5.00 751 MAX VALUE 243.14 0.50 0.10 0.73
MCB cycle size 3 6 4.39 4.00 1,142 MAX VALUE 372.27 1.35 0.31 1.19
Triangulated dual graph
Density: 21.27%
Triangles: 20,069
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.24 1.00 0.84 0.91 129.68 0.00 -34.46 0.21 0.25 3.30
Degree 17 126 32.55 24.00 5,012 MAX VALUE 510.96 24.27 0.75 2.82
Eccentricity 2 3 2.43 2.00 374 MAX VALUE 133.50 0.49 0.20 0.68
Triangulated minimal dual graph
Density: 10.20%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.25 1.00 0.79 0.79 122.18 0.00 -41.95 0.20 0.25 2.89
Degree 4 70 15.61 8.00 2,404 MAX VALUE 354.85 16.00 1.03 2.76
Eccentricity 2 4 3.19 3.00 491 MAX VALUE 176.94 0.47 0.15 0.66
Incidence graph
Density: 1.95%
MCB compute time (ms): 413
MCB cycles: 760
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-11-11_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 3 12 6.52 6.00 2,190 MAX VALUE 583.04 3.37 0.52 1.55
Eccentricity 4 8 5.82 6.00 1,956 MAX VALUE 588.08 0.88 0.15 1.27
MCB cycle size 4 8 5.08 4.00 3,860 MAX VALUE 1,202.16 1.60 0.32 0.88