Instance: normalized-s3-3-3-2_ext
Number of variables: 264
Number of constraints: 210
Satisfiable: None
Timestamp: 2018-04-21 10:44:01
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 264
Number of constraints: 210
General features
Number of coarse blocks: 1,584
Number of unique subscopes: 264
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 22 3.77 3.00 792 MAX VALUE 225.27 4.53 1.20 1.13
Coarse blocks size 1 1,562 300.21 2.00 475,538 MAX VALUE 3,904.36 570.51 1.90 1.61
Relational linkage 0.00 0.00 0.00 0.00 0.23 0.00 -4,306.29 0.00 0.74 0.69
Tightness 0.50 1.00 0.55 0.50 115.37 0.00 -129.49 0.12 0.22 0.87
Tuples 2 1,794 105.62 3.00 22,180 MAX VALUE 308.29 415.65 3.94 1.32
Domain size 2 2 2.00 2.00 528 MAX VALUE 182.99 0.00 0.00 0.00
Constraints per subscope 3 3 3.00 3.00 792 MAX VALUE 290.03 0.00 0.00 0.00
Partitions per subscope 2 2 2.00 2.00 528 MAX VALUE 182.99 0.00 0.00 0.00
Tree decomposition
Number of clusters: 116
Number of leaves: 12
Tree depth: 20
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-2_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-2_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 3 1.81 2.00 210 0 None 0.68 0.38 0.98
Cluster variables 25 121 43.47 35.00 5,043 MAX VALUE 427.60 20.46 0.47 2.79
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 103 41.20 34.00 4,779 0 None 18.90 0.46 2.79
Dual tree decomposition
Number of clusters: 176
Number of leaves: 88
Tree depth: 14
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-2_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-2_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 6 10 7.50 7.00 1,320 MAX VALUE 350.76 1.58 0.21 1.21
Cluster variables 5 14 8.25 7.00 1,452 MAX VALUE 354.43 3.70 0.45 1.04
Separator constraints 0 6 3.00 2.00 528 0 None 1.94 0.65 1.21
Separator variables 0 13 7.06 4.00 1,242 0 None 3.54 0.50 1.24
Primal graph
Density: 9.38%
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-2_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-2_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.66 0.76 0.73 0.76 192.50 0.00 -84.03 0.05 0.07 0.64
Degree 24 26 24.67 24.00 6,512 MAX VALUE 846.05 0.94 0.04 0.64
Eccentricity 3 4 3.67 4.00 968 MAX VALUE 340.67 0.47 0.13 0.64
Triangulated primal graph
Density: 42.08%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.65 1.00 0.83 0.81 219.48 0.00 -50.68 0.10 0.12 4.87
Degree 24 191 110.67 128.00 29,216 MAX VALUE 1,187.52 58.89 0.53 4.17
Eccentricity 2 3 2.53 3.00 667 MAX VALUE 239.35 0.50 0.20 0.69
Dual graph
Density: 3.61%
MCB compute time (ms): 299
MCB cycles: 671
Triangles: 264
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-2_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-2_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.02 0.33 0.24 0.20 50.36 0.00 -326.25 0.09 0.37 1.13
Degree 4 44 7.54 6.00 1,584 MAX VALUE 370.83 9.07 1.20 1.13
Eccentricity 3 5 4.30 4.00 902 MAX VALUE 303.28 0.68 0.16 0.98
MCB cycle size 3 5 3.61 4.00 2,424 MAX VALUE 855.15 0.50 0.14 0.70
Minimal dual graph
Density: 2.41%
MCB compute time (ms): 123
MCB cycles: 319
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 4 22 5.03 4.00 1,056 MAX VALUE 311.58 4.18 0.83 0.22
Eccentricity 4 6 5.35 5.00 1,124 MAX VALUE 350.58 0.66 0.12 0.96
MCB cycle size 4 6 4.92 4.00 1,570 MAX VALUE 501.83 1.00 0.20 0.69
Triangulated dual graph
Density: 7.32%
Triangles: 6,864
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.14 1.00 0.83 0.87 174.20 0.00 -50.90 0.20 0.24 1.62
Degree 4 121 15.30 10.00 3,212 MAX VALUE 466.13 24.05 1.57 1.62
Eccentricity 2 3 2.63 3.00 552 MAX VALUE 199.08 0.48 0.18 0.66
Triangulated minimal dual graph
Density: 6.52%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.13 1.00 0.82 1.00 171.57 0.00 -54.80 0.22 0.27 1.55
Degree 4 121 13.62 4.00 2,860 MAX VALUE 442.73 21.06 1.55 1.53
Eccentricity 2 4 3.05 3.00 640 MAX VALUE 232.17 0.40 0.13 0.55
Incidence graph
Density: 0.71%
MCB compute time (ms): 509
MCB cycles: 319
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-2_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-2_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 2 22 3.34 3.00 1,584 MAX VALUE 515.30 3.04 0.91 0.77
Eccentricity 6 10 8.45 9.00 4,004 MAX VALUE 1,006.79 1.15 0.14 1.48
MCB cycle size 8 8 8.00 8.00 2,552 MAX VALUE 663.34 0.00 0.00 0.00