Instance: normalized-s3-3-3-4_ext
Number of variables: 228
Number of constraints: 183
Satisfiable: None
Timestamp: 2018-04-21 10:43:59
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 228
Number of constraints: 183
General features
Number of coarse blocks: 1,368
Number of unique subscopes: 228
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 19 3.74 3.00 684 MAX VALUE 197.85 4.09 1.10 1.14
Coarse blocks size 1 988 194.54 2.00 266,132 MAX VALUE 3,195.32 360.25 1.85 1.61
Relational linkage 0.00 0.00 0.00 0.00 1.01 0.00 -2,943.51 0.00 0.70 0.69
Tightness 0.50 1.00 0.55 0.50 101.41 0.00 -111.60 0.13 0.23 0.90
Tuples 2 1,160 79.13 3.00 14,481 MAX VALUE 272.84 286.33 3.62 1.33
Domain size 2 2 2.00 2.00 456 MAX VALUE 158.04 0.00 0.00 0.00
Constraints per subscope 3 3 3.00 3.00 684 MAX VALUE 250.48 0.00 0.00 0.00
Partitions per subscope 2 2 2.00 2.00 456 MAX VALUE 158.04 0.00 0.00 0.00
Tree decomposition
Number of clusters: 101
Number of leaves: 12
Tree depth: 19
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-4_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-4_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 3 1.81 2.00 183 0 None 0.71 0.39 1.02
Cluster variables 22 98 37.54 32.00 3,792 MAX VALUE 358.21 16.75 0.45 2.68
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 78 35.29 31.00 3,564 0 None 15.22 0.43 2.67
Dual tree decomposition
Number of clusters: 152
Number of leaves: 76
Tree depth: 12
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-4_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-4_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,140 MAX VALUE 302.93 1.58 0.21 1.21
Cluster variables 5 14 8.25 7.00 1,254 MAX VALUE 306.10 3.70 0.45 1.04
Separator constraints 0 6 3.00 2.00 456 0 None 1.94 0.65 1.21
Separator variables 0 13 7.05 4.00 1,071 0 None 3.54 0.50 1.24
Primal graph
Density: 9.54%
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-4_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-4_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.62 0.73 0.70 0.73 158.63 0.00 -83.41 0.05 0.08 0.64
Degree 21 23 21.67 21.00 4,940 MAX VALUE 701.07 0.94 0.04 0.64
Eccentricity 3 4 3.67 4.00 836 MAX VALUE 294.21 0.47 0.13 0.64
Triangulated primal graph
Density: 41.17%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.62 1.00 0.83 0.80 188.11 0.00 -45.76 0.11 0.13 4.75
Degree 21 166 93.46 109.00 21,308 MAX VALUE 988.45 49.44 0.53 4.12
Eccentricity 2 3 2.57 3.00 586 MAX VALUE 210.75 0.50 0.19 0.68
Dual graph
Density: 4.11%
MCB compute time (ms): 250
MCB cycles: 578
Triangles: 228
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-4_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-4_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.03 0.33 0.24 0.20 43.57 0.00 -286.12 0.09 0.38 1.14
Degree 4 38 7.48 6.00 1,368 MAX VALUE 324.69 8.19 1.10 1.14
Eccentricity 3 5 4.29 4.00 785 MAX VALUE 264.03 0.68 0.16 0.98
MCB cycle size 3 5 3.61 4.00 2,088 MAX VALUE 736.58 0.50 0.14 0.71
Minimal dual graph
Density: 2.74%
MCB compute time (ms): 112
MCB cycles: 274
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 19 4.98 4.00 912 MAX VALUE 272.39 3.71 0.75 0.24
Eccentricity 4 6 5.36 5.00 980 MAX VALUE 305.60 0.66 0.12 0.95
MCB cycle size 4 6 4.92 4.00 1,348 MAX VALUE 430.93 1.00 0.20 0.69
Triangulated dual graph
Density: 8.38%
Triangles: 5,958
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.16 1.00 0.83 0.87 151.03 0.00 -45.33 0.20 0.25 1.64
Degree 4 106 15.26 10.00 2,792 MAX VALUE 408.63 22.30 1.46 1.64
Eccentricity 2 3 2.62 3.00 480 MAX VALUE 173.07 0.48 0.18 0.66
Triangulated minimal dual graph
Density: 7.47%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.15 1.00 0.81 1.00 148.84 0.00 -48.57 0.22 0.27 1.58
Degree 4 106 13.60 4.00 2,488 MAX VALUE 388.15 19.58 1.44 1.56
Eccentricity 2 4 3.04 3.00 556 MAX VALUE 201.65 0.41 0.13 0.57
Incidence graph
Density: 0.81%
MCB compute time (ms): 433
MCB cycles: 274
Dot-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-4_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-routingExtConvert/normalized-s3-3-3-4_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 19 3.33 3.00 1,368 MAX VALUE 448.33 2.76 0.83 0.78
Eccentricity 6 10 8.44 9.00 3,470 MAX VALUE 872.75 1.15 0.14 1.48
MCB cycle size 8 8 8.00 8.00 2,192 MAX VALUE 569.77 0.00 0.00 0.00