Instance: normalized-bf-0432-007_ext
Number of variables: 2080
Number of constraints: 4701
Satisfiable: None
Timestamp: 2018-04-21 10:43:29
Stampede: v1.0.0-1618-gfb467d2
Boost: 1.64.0
Benchmark comments

Instance comments



Component #1 Number of variables: 2078
Number of constraints: 4700
General features
Number of coarse blocks: 35,764
Number of unique subscopes: 3,498
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 6 2.48 2.00 11,644 MAX VALUE 4,119.56 0.66 0.27 0.89
Coarse blocks size 1 32 2.55 2.00 91,037 MAX VALUE 26,428.00 2.27 0.89 1.48
Relational linkage 0.50 1.00 0.76 0.97 7,371.59 0.00 -3,158.13 0.24 0.32 0.89
Tightness 0.00 0.25 0.17 0.25 801.64 0.00 None 0.09 0.54 1.13
Tuples 1 63 4.66 3.00 21,884 MAX VALUE 6,214.89 4.08 0.88 1.28
Domain size 1 2 1.88 2.00 3,906 MAX VALUE 1,267.07 0.33 0.17 0.37
Constraints per subscope 2 27 4.33 3.00 15,136 MAX VALUE 4,480.82 2.98 0.69 1.97
Partitions per subscope 1 8 2.78 2.00 9,735 MAX VALUE 3,203.59 1.37 0.49 1.01
Tree decomposition
Number of clusters: 1,582
Number of leaves: 503
Tree depth: 24
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Tree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Tree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 65 6.75 5.00 10,677 0 None 6.71 0.99 2.78
Cluster variables 2 141 11.95 8.00 18,902 MAX VALUE 3,448.68 12.18 1.02 3.19
Separator constraints 0 47 3.78 1.00 5,977 0 None 5.95 1.58 2.23
Separator variables 0 110 10.63 7.00 16,824 0 None 10.81 1.02 3.17
Dual tree decomposition
Number of clusters: 1,992
Number of leaves: 779
Tree depth: 19
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/DualTree1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/DualTree1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 1,288 63.94 29.00 127,373 MAX VALUE 6,923.18 98.54 1.54 4.67
Cluster variables 2 315 19.62 13.00 39,091 MAX VALUE 5,239.72 24.14 1.23 3.67
Separator constraints 0 770 46.52 20.00 92,660 0 None 73.51 1.58 4.45
Separator variables 0 243 17.26 11.00 34,391 0 None 20.04 1.16 3.61
Primal graph
Density: 0.35%
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Primal1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Primal1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.67 None 0.24 None None None None None 3.94
Degree 1 28 7.19 7.00 14,944 MAX VALUE 3,813.46 3.44 0.48 2.53
Eccentricity 8 12 9.94 10.00 20,661 MAX VALUE 4,764.35 0.89 0.09 1.30
Triangulated primal graph
Density: 2.19%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.18 1.00 None 0.77 None None None None None 5.87
Degree 1 591 45.55 13.00 94,660 MAX VALUE 5,814.01 76.12 1.67 4.32
Eccentricity 4 7 5.40 5.00 11,211 MAX VALUE 3,487.79 0.64 0.12 0.97
Dual graph
Density: 0.31%
MCB compute time (ms): None
MCB cycles: None
Triangles: 105,644
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Dual1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Dual1.pdf

Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 1.00 None 0.47 None None None None None 5.17
Degree 1 55 14.77 13.00 69,426 MAX VALUE 11,911.40 8.09 0.55 3.35
Eccentricity 8 12 9.92 10.00 46,607 MAX VALUE 10,761.90 0.93 0.09 1.32
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: 0.07%
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 None 0.00 None None None None None 0.19
Degree 1 7 3.45 4.00 16,236 MAX VALUE 5,691.60 0.76 0.22 1.10
Eccentricity 15 22 18.35 18.00 86,225 MAX VALUE 13,665.30 1.12 0.06 1.53
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: 1.11%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.17 1.00 None 0.72 None None None None None 5.16
Degree 1 558 52.07 6.00 244,750 MAX VALUE 11,263.00 113.77 2.18 3.83
Eccentricity 5 9 6.22 6.00 29,211 MAX VALUE 8,560.50 0.66 0.11 0.99
Incidence graph
Density: 0.05%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Incidence1.dot
PDF-file path: /mnt/hdd/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Incidence1.pdf
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.00 None 0.00 None None None None None 1.35
Degree 1 27 3.44 3.00 23,288 MAX VALUE 7,365.18 2.36 0.69 1.66
Eccentricity 16 25 20.35 20.00 137,903 MAX VALUE 20,395.50 1.76 0.09 1.96
MCB cycle size None None None None None None None None None None
Component #2 Number of variables: 2
Number of constraints: 1
General features
Number of coarse blocks: 0
Number of unique subscopes: 0
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 2 2 0.69 0.00 0.00 0.00
Coarse blocks size None None None None 0 1 0.00 None None 0.00
Relational linkage None None None None 0.00 1.00 0.00 None None 0.00
Tightness 0.00 0.00 0.00 0.00 0.00 0.00 None 0.00 None 0.00
Tuples 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Domain size 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Constraints per subscope None None None None 0 1 0.00 None None 0.00
Partitions per subscope None None None None 0 1 0.00 None None 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Cluster variables 2 2 2.00 2.00 2 2 0.69 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Dual tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Cluster variables 1 1 1.00 1.00 1 1 0.00 0.00 0.00 0.00
Separator constraints 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Separator variables 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Primal graph
Density: 100.00%
Dot-file path: None
PDF-file path: 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 0.69
Degree 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Triangulated primal graph
Density: 100.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient None None None None None None None None None 0.69
Degree 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Eccentricity 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: 0
Dot-file path: None
PDF-file path: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
MCB cycle size None None None None None None None None None None
Minimal dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
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: 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 0.00
Degree 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Eccentricity 0 0 0.00 0.00 0 0 None 0.00 None 0.00
Incidence graph
Density: 66.67%
MCB compute time (ms): None
MCB cycles: None
Dot-file path: None
PDF-file path: 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 1.10
Degree 1 2 1.33 1.00 4 2 0.69 0.47 0.35 0.64
Eccentricity 1 2 1.67 2.00 5 4 1.39 0.47 0.28 0.64
MCB cycle size None None None None None None None None None None