Instance: fapp02-0250-9_ext
Number of variables: 250
Number of constraints: 1636
Satisfiable: None
Timestamp: 2017-10-27 10:43:58
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 250
Number of constraints: 1636
General features
Number of coarse blocks: 480,673
Number of unique subscopes: 250
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 3,272 MAX VALUE 1,133.99 0.00 0.00 0.00
Coarse blocks size 1 210 106.18 106.00 51,039,300 MAX VALUE 2,065,820.00 62.17 0.59 4.84
Relational linkage 0.00 0.10 0.02 0.02 712.03 0.00 -125,700.00 0.01 0.48 2.07
Tightness 0.00 0.99 0.30 0.22 497.62 0.00 None 0.29 0.94 6.28
Tuples 88 44,100 15,598.80 12,742.00 25,519,700 MAX VALUE 15,001.20 12,247.90 0.79 6.69
Domain size 42 210 146.47 134.00 36,618 MAX VALUE 1,217.42 61.13 0.42 1.86
Constraints per subscope 4 17 13.09 14.00 3,272 MAX VALUE 632.71 3.39 0.26 2.37
Partitions per subscope 42 210 146.47 134.00 36,618 MAX VALUE 1,217.42 61.13 0.42 1.86
Tree decomposition
Number of clusters: 113
Number of leaves: 56
Tree depth: 11
Dot-file path: /mnt/hdd/graphFiles/fapp02ExtConvert/fapp02-0250-9_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/fapp02ExtConvert/fapp02-0250-9_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 5 512 81.26 18.00 9,182 MAX VALUE 375.97 143.45 1.77 3.73
Cluster variables 5 136 33.35 15.00 3,768 MAX VALUE 340.93 37.97 1.14 3.46
Separator constraints 0 496 66.78 7.00 7,546 0 None 136.90 2.05 3.42
Separator variables 0 134 31.13 14.00 3,518 0 None 36.78 1.18 3.49
Dual tree decomposition
Number of clusters: 248
Number of leaves: 112
Tree depth: 9
Dot-file path: /mnt/hdd/graphFiles/fapp02ExtConvert/fapp02-0250-9_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/fapp02ExtConvert/fapp02-0250-9_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 31 5,414 419.97 241.50 104,152 MAX VALUE 1,373.95 641.82 1.53 5.07
Cluster variables 11 786 68.65 33.00 17,025 MAX VALUE 934.04 102.81 1.50 4.18
Separator constraints 0 3,034 334.43 208.00 82,939 0 None 429.58 1.28 4.99
Separator variables 0 611 62.05 32.00 15,389 0 None 83.23 1.34 4.19
Primal graph
Density: 5.26%
Dot-file path: /mnt/hdd/graphFiles/fapp02ExtConvert/fapp02-0250-9_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/fapp02ExtConvert/fapp02-0250-9_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.28 0.07 0.05 16.37 0.00 None 0.05 0.73 4.14
Degree 4 17 13.09 14.00 3,272 MAX VALUE 632.71 3.39 0.26 2.37
Eccentricity 3 4 3.33 3.00 833 MAX VALUE 298.53 0.47 0.14 0.64
Triangulated primal graph
Density: 41.64%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.77 1.00 0.91 0.89 226.64 0.00 -25.05 0.06 0.07 4.59
Degree 4 173 103.68 152.50 25,920 MAX VALUE 1,032.95 68.72 0.66 3.91
Eccentricity 2 3 2.40 2.00 599 MAX VALUE 213.43 0.49 0.20 0.67
Dual graph
Density: 1.59%
MCB compute time (ms): None
MCB cycles: None
Triangles: 90,047
Dot-file path: /mnt/hdd/graphFiles/fapp02ExtConvert/fapp02-0250-9_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/fapp02ExtConvert/fapp02-0250-9_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.45 0.73 0.50 0.49 817.00 0.00 -1,138.27 0.03 0.06 4.59
Degree 10 32 25.93 27.00 42,426 MAX VALUE 5,299.76 4.37 0.17 2.77
Eccentricity 4 4 4.00 4.00 6,544 MAX VALUE 2,267.98 0.00 0.00 0.00
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.23%
MCB compute time (ms): None
MCB cycles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.00 0.00 0.97 0.00 None 0.01 18.53 0.03
Degree 2 6 3.69 4.00 6,044 MAX VALUE 2,099.91 0.79 0.21 1.17
Eccentricity 8 10 9.16 9.00 14,993 MAX VALUE 3,622.28 0.46 0.05 0.65
MCB cycle size None None None None None None None None None None
Triangulated dual graph
Density: None%
Triangles: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None None
Degree None None None None None None None None None None
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 8.02%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.49 1.00 0.86 0.90 1,411.82 0.00 -260.97 0.13 0.15 4.36
Degree 2 477 131.09 8.00 214,466 MAX VALUE 4,915.92 197.42 1.51 3.58
Eccentricity 3 5 3.81 4.00 6,239 MAX VALUE 2,173.01 0.54 0.14 0.80
Incidence graph
Density: 0.18%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/fapp02ExtConvert/fapp02-0250-9_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/fapp02ExtConvert/fapp02-0250-9_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 17 3.47 2.00 6,544 MAX VALUE 1,766.70 3.96 1.14 0.71
Eccentricity 7 9 7.94 8.00 14,970 MAX VALUE 3,905.30 0.33 0.04 0.42
MCB cycle size None None None None None None None None None None