Instance: normalized-fpga-12-12_ext
Number of variables: 216
Number of constraints: 180
Satisfiable: None
Timestamp: 2018-04-21 10:28:33
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 216
Number of constraints: 180
General features
Number of coarse blocks: 11,952
Number of unique subscopes: 228
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 6 12 7.60 7.00 1,368 MAX VALUE 361.35 1.74 0.23 0.63
Coarse blocks size 1 2,048 61.78 2.00 738,360 MAX VALUE 17,339.30 312.87 5.06 0.92
Relational linkage 0.00 1.00 0.65 1.00 778.66 0.00 -2,216.44 0.46 0.71 1.18
Tightness 0.00 1.00 0.13 0.01 23.78 0.00 -799.93 0.32 2.41 0.72
Tuples 7 4,095 375.93 127.00 67,668 MAX VALUE 851.50 994.75 2.65 0.72
Domain size 2 2 2.00 2.00 432 MAX VALUE 149.72 0.00 0.00 0.00
Constraints per subscope 3 13 6.63 3.00 1,512 MAX VALUE 372.69 4.76 0.72 0.81
Partitions per subscope 2 64 5.26 2.00 1,200 MAX VALUE 199.63 13.84 2.63 0.21
Tree decomposition
Number of clusters: 34
Number of leaves: 12
Tree depth: 5
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 14 5.65 2.00 192 0 None 6.22 1.10 1.10
Cluster variables 23 104 42.12 33.00 1,432 MAX VALUE 122.57 24.71 0.59 1.37
Separator constraints 0 1 0.35 0.00 12 0 None 0.48 1.35 0.65
Separator variables 0 80 35.76 32.00 1,216 0 None 18.32 0.51 1.42
Dual tree decomposition
Number of clusters: 144
Number of leaves: 12
Tree depth: 17
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 20 152 76.83 71.00 11,064 MAX VALUE 599.89 41.76 0.54 2.48
Cluster variables 20 20 20.00 20.00 2,880 MAX VALUE 431.38 0.00 0.00 0.00
Separator constraints 0 133 62.33 57.50 8,976 0 None 39.79 0.64 2.48
Separator variables 0 19 18.75 19.00 2,700 0 None 1.69 0.09 0.33
Primal graph
Density: 12.09%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.51 0.63 0.55 0.51 118.27 0.00 -131.33 0.06 0.11 0.64
Degree 22 28 26.00 28.00 5,616 MAX VALUE 702.39 2.83 0.11 0.64
Eccentricity 2 3 2.33 2.00 504 MAX VALUE 178.91 0.47 0.20 0.64
Triangulated primal graph
Density: 55.92%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.72 1.00 0.85 0.86 183.09 0.00 -36.78 0.08 0.10 2.28
Degree 22 178 120.22 130.00 25,968 MAX VALUE 1,007.93 46.54 0.39 2.28
Eccentricity 2 3 2.06 2.00 444 MAX VALUE 154.59 0.23 0.11 0.21
Dual graph
Density: 12.96%
MCB compute time (ms): 1,920
MCB cycles: 1,909
Triangles: 8,328
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.04 0.78 0.65 0.78 117.77 0.00 -111.36 0.25 0.38 0.72
Degree 19 72 23.20 19.00 4,176 MAX VALUE 551.59 13.15 0.57 0.63
Eccentricity 2 4 3.00 3.00 540 MAX VALUE 196.34 0.37 0.12 0.49
MCB cycle size 3 4 3.09 3.00 5,908 MAX VALUE 2,149.32 0.29 0.09 0.31
Minimal dual graph
Density: 3.05%
MCB compute time (ms): 114
MCB cycles: 313
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.23 0.20 40.53 0.00 None 0.12 0.52 1.44
Degree 4 13 5.47 4.00 984 MAX VALUE 289.62 2.84 0.52 1.16
Eccentricity 3 6 4.89 5.00 880 MAX VALUE 284.72 0.48 0.10 0.69
MCB cycle size 3 6 4.38 4.00 1,370 MAX VALUE 447.28 1.33 0.30 1.21
Triangulated dual graph
Density: 19.81%
Triangles: 27,872
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.19 1.00 0.85 0.91 152.49 0.00 -39.32 0.21 0.25 2.78
Degree 19 175 35.47 26.00 6,384 MAX VALUE 610.54 29.13 0.82 2.78
Eccentricity 2 3 2.06 2.00 370 MAX VALUE 128.82 0.23 0.11 0.21
Triangulated minimal dual graph
Density: 9.11%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.25 1.00 0.80 0.79 143.76 0.00 -47.75 0.20 0.25 2.75
Degree 4 76 16.31 8.00 2,936 MAX VALUE 415.42 17.49 1.07 2.68
Eccentricity 2 4 3.41 3.00 614 MAX VALUE 218.45 0.55 0.16 0.80
Incidence graph
Density: 1.75%
MCB compute time (ms): 618
MCB cycles: 973
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-12-12_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 13 6.91 7.00 2,736 MAX VALUE 704.23 3.73 0.54 1.32
Eccentricity 4 8 5.82 6.00 2,304 MAX VALUE 692.97 0.87 0.15 1.26
MCB cycle size 4 8 5.02 4.00 4,880 MAX VALUE 1,527.85 1.58 0.31 0.85