Instance: normalized-fpga-15-14_ext
Number of variables: 315
Number of constraints: 253
Satisfiable: None
Timestamp: 2018-04-21 10:28:23
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 315
Number of constraints: 253
General features
Number of coarse blocks: 31,290
Number of unique subscopes: 330
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 7 15 8.72 8.00 2,205 MAX VALUE 542.36 2.09 0.24 0.56
Coarse blocks size 1 16,384 235.44 2.00 7,367,070 MAX VALUE 39,617.60 1,883.95 8.00 0.64
Relational linkage 0.00 1.00 0.75 1.00 1,922.95 0.00 -3,979.98 0.42 0.56 0.98
Tightness 0.00 1.00 0.12 0.00 29.12 0.00 -1,310.76 0.31 2.69 0.68
Tuples 8 32,767 2,026.21 255.00 512,632 MAX VALUE 1,379.78 7,440.52 3.67 0.68
Domain size 2 2 2.00 2.00 630 MAX VALUE 218.34 0.00 0.00 0.00
Constraints per subscope 3 15 7.32 3.00 2,415 MAX VALUE 554.64 5.72 0.78 0.79
Partitions per subscope 2 128 7.73 2.00 2,550 MAX VALUE 291.12 26.25 3.40 0.18
Tree decomposition
Number of clusters: 41
Number of leaves: 15
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 16 6.83 2.00 280 0 None 7.28 1.07 1.18
Cluster variables 27 161 54.61 40.00 2,239 MAX VALUE 157.20 35.97 0.66 2.29
Separator constraints 0 13 0.66 0.00 27 0 None 2.01 3.05 0.75
Separator variables 0 112 46.93 39.00 1,924 0 None 26.76 0.57 2.26
Dual tree decomposition
Number of clusters: 210
Number of leaves: 15
Tree depth: 20
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 23 205 101.00 93.00 21,210 MAX VALUE 928.56 56.89 0.56 2.64
Cluster variables 23 23 23.00 23.00 4,830 MAX VALUE 658.45 0.00 0.00 0.00
Separator constraints 0 183 84.50 77.50 17,745 0 None 54.35 0.64 2.64
Separator variables 0 22 21.80 22.00 4,577 0 None 1.62 0.07 0.29
Primal graph
Density: 10.04%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.50 0.63 0.54 0.50 169.76 0.00 -196.27 0.05 0.10 0.87
Degree 26 34 31.51 34.00 9,926 MAX VALUE 1,084.75 3.53 0.11 0.87
Eccentricity 2 3 2.33 2.00 735 MAX VALUE 260.92 0.47 0.20 0.64
Triangulated primal graph
Density: 55.97%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.74 1.00 0.85 0.85 267.57 0.00 -52.86 0.08 0.10 3.67
Degree 26 251 175.74 196.00 55,358 MAX VALUE 1,587.28 68.57 0.39 3.38
Eccentricity 2 3 2.04 2.00 644 MAX VALUE 224.02 0.21 0.10 0.18
Dual graph
Density: 10.87%
MCB compute time (ms): 4,503
MCB cycles: 3,213
Triangles: 16,590
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.03 0.79 0.68 0.79 172.77 0.00 -144.35 0.25 0.36 0.68
Degree 22 112 27.39 22.00 6,930 MAX VALUE 811.84 18.99 0.69 0.68
Eccentricity 2 4 3.00 3.00 759 MAX VALUE 276.30 0.33 0.11 0.42
MCB cycle size 3 4 3.08 3.00 9,912 MAX VALUE 3,608.38 0.28 0.09 0.29
Minimal dual graph
Density: 2.26%
MCB compute time (ms): 233
MCB cycles: 468
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.23 0.20 58.86 0.00 None 0.11 0.48 1.36
Degree 4 15 5.69 4.00 1,440 MAX VALUE 411.22 3.45 0.61 1.10
Eccentricity 3 6 4.94 5.00 1,249 MAX VALUE 402.98 0.42 0.09 0.58
MCB cycle size 3 6 4.42 4.00 2,067 MAX VALUE 671.75 1.38 0.31 1.03
Triangulated dual graph
Density: 16.51%
Triangles: 53,956
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.16 1.00 0.86 0.92 216.74 0.00 -53.08 0.21 0.24 2.94
Degree 22 245 41.61 30.00 10,528 MAX VALUE 892.42 38.96 0.94 2.94
Eccentricity 2 3 2.18 2.00 552 MAX VALUE 194.02 0.39 0.18 0.47
Triangulated minimal dual graph
Density: 6.90%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.24 1.00 0.81 0.87 205.38 0.00 -63.10 0.20 0.25 2.59
Degree 4 94 17.40 8.00 4,402 MAX VALUE 581.29 21.04 1.21 2.53
Eccentricity 2 4 3.42 3.00 866 MAX VALUE 308.02 0.54 0.16 0.79
Incidence graph
Density: 1.37%
MCB compute time (ms): 1,570
MCB cycles: 1,638
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-15-14_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 15 7.76 8.00 4,410 MAX VALUE 1,057.41 4.52 0.58 1.21
Eccentricity 4 8 5.82 6.00 3,303 MAX VALUE 993.97 0.85 0.15 1.23
MCB cycle size 4 8 4.90 4.00 8,034 MAX VALUE 2,539.05 1.52 0.31 0.79