Instance: normalized-fpga-10-8_ext
Number of variables: 120
Number of constraints: 106
Satisfiable: None
Timestamp: 2018-04-21 10:28:13
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 120
Number of constraints: 106
General features
Number of coarse blocks: 2,480
Number of unique subscopes: 130
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 5 10 5.66 5.00 600 MAX VALUE 180.85 1.52 0.27 0.57
Coarse blocks size 1 512 39.39 2.00 97,680 MAX VALUE 4,252.74 124.14 3.15 1.54
Relational linkage 0.01 1.00 0.44 0.19 175.62 0.00 -774.33 0.45 1.02 1.37
Tightness 0.00 0.96 0.18 0.03 18.66 0.00 -334.73 0.33 1.86 0.83
Tuples 6 1,023 101.91 31.00 10,802 MAX VALUE 366.47 263.31 2.58 0.83
Domain size 2 2 2.00 2.00 240 1.33e+36 83.18 0.00 0.00 0.00
Constraints per subscope 3 9 5.23 3.00 680 MAX VALUE 196.57 2.83 0.54 0.86
Partitions per subscope 2 16 3.08 2.00 400 MAX VALUE 110.90 3.73 1.21 0.27
Tree decomposition
Number of clusters: 24
Number of leaves: 10
Tree depth: 4
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 14 6.17 7.00 148 0 None 4.47 0.72 1.34
Cluster variables 16 60 28.21 24.00 677 5.26e+33 77.65 13.84 0.49 1.86
Separator constraints 0 12 1.75 1.00 42 0 None 2.89 1.65 1.41
Separator variables 0 44 23.21 23.00 557 0 None 10.43 0.45 1.92
Dual tree decomposition
Number of clusters: 80
Number of leaves: 10
Tree depth: 12
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 14 70 38.50 36.00 3,080 MAX VALUE 281.75 18.47 0.48 2.08
Cluster variables 14 14 14.00 14.00 1,120 MAX VALUE 211.12 0.00 0.00 0.00
Separator constraints 0 57 28.00 26.50 2,240 0 None 17.65 0.63 2.08
Separator variables 0 13 12.68 13.00 1,014 0 None 1.56 0.12 0.46
Primal graph
Density: 15.41%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.48 0.58 0.51 0.48 61.55 0.00 -80.62 0.05 0.09 0.64
Degree 15 20 18.33 20.00 2,200 MAX VALUE 347.98 2.36 0.13 0.64
Eccentricity 2 3 2.33 2.00 280 MAX VALUE 99.40 0.47 0.20 0.64
Triangulated primal graph
Density: 56.25%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.71 1.00 0.84 0.84 101.07 0.00 -21.20 0.08 0.10 3.00
Degree 15 99 66.93 72.00 8,032 MAX VALUE 490.99 25.42 0.38 3.02
Eccentricity 2 3 2.08 2.00 250 7.66e+37 87.23 0.28 0.13 0.29
Dual graph
Density: 15.09%
MCB compute time (ms): 129
MCB cycles: 735
Triangles: 2,040
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.05 0.73 0.60 0.73 63.32 0.00 -74.43 0.24 0.40 0.83
Degree 13 40 15.85 13.00 1,680 MAX VALUE 286.40 7.17 0.45 0.83
Eccentricity 2 4 3.00 3.00 318 MAX VALUE 115.51 0.39 0.13 0.53
MCB cycle size 3 4 3.13 3.00 2,300 MAX VALUE 834.81 0.34 0.11 0.38
Minimal dual graph
Density: 4.85%
MCB compute time (ms): 27
MCB cycles: 165
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.23 0.20 23.94 0.00 None 0.12 0.52 1.40
Degree 4 10 5.09 4.00 540 MAX VALUE 166.40 2.01 0.39 0.99
Eccentricity 3 6 4.90 5.00 519 MAX VALUE 167.75 0.51 0.10 0.74
MCB cycle size 3 6 4.44 4.00 732 MAX VALUE 237.39 1.40 0.32 1.01
Triangulated dual graph
Density: 22.71%
Triangles: 7,284
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.22 1.00 0.84 0.90 88.87 0.00 -24.14 0.21 0.25 2.42
Degree 13 103 23.85 18.00 2,528 MAX VALUE 319.33 17.64 0.74 2.42
Eccentricity 2 3 2.24 2.00 237 2.05e+36 83.61 0.42 0.19 0.55
Triangulated minimal dual graph
Density: 12.36%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.22 1.00 0.79 0.87 83.22 0.00 -30.30 0.20 0.26 2.31
Degree 4 61 12.98 6.00 1,376 MAX VALUE 233.55 12.75 0.98 2.32
Eccentricity 2 4 2.97 3.00 315 MAX VALUE 114.77 0.32 0.11 0.40
Incidence graph
Density: 2.36%
MCB compute time (ms): 112
MCB cycles: 375
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-10-8_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 10 5.31 5.00 1,200 MAX VALUE 356.62 2.33 0.44 1.30
Eccentricity 4 8 5.82 6.00 1,316 MAX VALUE 395.58 0.88 0.15 1.28
MCB cycle size 4 8 5.39 4.00 2,020 MAX VALUE 614.09 1.70 0.31 0.99