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

Instance comments



Component #1 Number of variables: 600
Number of constraints: 460
General features
Number of coarse blocks: None
Number of unique subscopes: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 10 20 11.74 11.00 5,400 MAX VALUE 1,125.04 2.56 0.22 0.47
Coarse blocks size None None None None None None None None None None
Relational linkage 0.00 1.00 0.94 1.00 20,474.30 0.00 -11,386.20 0.23 0.24 0.29
Tightness 0.00 1.00 0.09 0.00 39.98 0.00 -3,327.32 0.28 3.22 0.53
Tuples 11 1,048,580 47,371.60 2,047.00 21,790,900 MAX VALUE 3,435.76 213,458.00 4.51 0.53
Domain size 2 2 2.00 2.00 1,200 MAX VALUE 415.89 0.00 0.00 0.00
Constraints per subscope None None None None None None None None None None
Partitions per subscope None None None None None None None None None None
Tree decomposition
Number of clusters: 58
Number of leaves: 20
Tree depth: 6
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 22 8.28 2.00 480 0 None 9.99 1.21 1.10
Cluster variables 39 296 83.72 57.00 4,856 MAX VALUE 244.39 65.81 0.79 1.45
Separator constraints 0 1 0.34 0.00 20 0 None 0.48 1.38 0.64
Separator variables 0 216 73.38 56.00 4,256 0 None 49.94 0.68 1.48
Dual tree decomposition
Number of clusters: 400
Number of leaves: 20
Tree depth: 29
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 32 412 193.50 177.00 77,400 MAX VALUE 2,013.08 116.27 0.60 3.00
Cluster variables 32 32 32.00 32.00 12,800 MAX VALUE 1,386.29 0.00 0.00 0.00
Separator constraints 0 381 171.00 155.50 68,400 0 None 112.01 0.66 3.00
Separator variables 0 31 30.85 31.00 12,340 0 None 1.65 0.05 0.22
Primal graph
Density: 7.46%
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20_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 330.36 0.00 -360.95 0.06 0.10 0.64
Degree 38 48 44.67 48.00 26,800 MAX VALUE 2,276.00 4.71 0.11 0.64
Eccentricity 2 3 2.33 2.00 1,400 MAX VALUE 496.98 0.47 0.20 0.64
Triangulated primal graph
Density: 55.69%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.72 1.00 0.85 0.84 511.02 0.00 -99.18 0.08 0.10 2.79
Degree 38 498 333.60 370.00 200,160 MAX VALUE 3,402.53 131.54 0.39 2.75
Eccentricity 2 3 2.03 2.00 1,220 MAX VALUE 424.00 0.18 0.09 0.15
Dual graph
Density: 8.53%
MCB compute time (ms): 285,422
MCB cycles: 8,541
Triangles: 65,000
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.03 0.82 0.73 0.82 335.55 0.00 -226.19 0.24 0.32 0.53
Degree 31 200 39.13 31.00 18,000 MAX VALUE 1,627.12 34.39 0.88 0.47
Eccentricity 2 4 3.00 3.00 1,380 MAX VALUE 503.01 0.29 0.10 0.36
MCB cycle size 3 4 3.06 3.00 26,164 MAX VALUE 9,538.88 0.24 0.08 0.24
Minimal dual graph
Density: 1.31%
MCB compute time (ms): 3,968
MCB cycles: 921
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.24 0.20 109.47 0.00 None 0.11 0.45 1.30
Degree 4 21 6.00 4.00 2,760 MAX VALUE 752.44 4.65 0.78 1.09
Eccentricity 3 6 4.93 5.00 2,268 MAX VALUE 732.36 0.39 0.08 0.52
MCB cycle size 3 6 4.35 4.00 4,002 MAX VALUE 1,310.77 1.31 0.30 1.24
Triangulated dual graph
Density: 12.96%
Triangles: 201,680
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.13 1.00 0.87 0.92 399.74 0.00 -90.32 0.20 0.23 3.20
Degree 31 459 59.48 42.00 27,360 MAX VALUE 1,773.85 64.96 1.09 3.20
Eccentricity 1 2 2.00 2.00 919 MAX VALUE 318.15 0.05 0.02 0.02
Triangulated minimal dual graph
Density: 4.44%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.18 1.00 0.82 0.80 376.59 0.00 -108.79 0.19 0.23 2.78
Degree 4 172 20.36 8.00 9,366 MAX VALUE 1,077.69 29.23 1.44 2.78
Eccentricity 2 4 3.43 3.00 1,578 MAX VALUE 561.26 0.53 0.16 0.77
Incidence graph
Density: 0.96%
MCB compute time (ms): 13,375
MCB cycles: 4,341
Dot-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-fpgaExtConvert/normalized-fpga-20-20_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 21 10.19 11.00 10,800 MAX VALUE 2,173.39 6.74 0.66 1.25
Eccentricity 4 8 5.81 6.00 6,160 MAX VALUE 1,854.81 0.83 0.14 1.20
MCB cycle size 4 8 4.67 4.00 20,288 MAX VALUE 6,546.97 1.37 0.29 0.66