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
Coarse blocks: 35,764
Value tables: 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
Values 1 2 1.88 2.00 3,906 MAX VALUE 1,267.07 0.33 0.17 0.37
Value table constraints 2 27 4.33 3.00 15,136 MAX VALUE 4,480.82 2.98 0.69 1.97
Value table partitions 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
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Tree1.json
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
Variables per cluster 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
Clusters per var None None None None None None None None None None
Dual tree decomposition
Number of clusters: 1,992
Number of leaves: 779
Tree depth: 19
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/DualTree1.json
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
Variables per cluster 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
Clusters per variable None None None None None None None None None None
Primal graph
Density: 0.35%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Primal1.json
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
MCB cycle size None None None None None None None None None None
Triangulated primal graph
Density: 2.19%
MCB compute time (ms): None
MCB cycles: None
Triangles: None
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
MCB cycle size None None None None None None None None None None
Dual graph
Density: 0.31%
MCB compute time (ms): None
MCB cycles: None
Triangles: 105,644
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Dual1.json
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: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Incidence1.json
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
Coarse blocks: 0
Value tables: 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
Values 1 1 1.00 1.00 2 1 0.00 0.00 0.00 0.00
Value table constraints None None None None 0 1 0.00 None None 0.00
Value table partitions 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
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Tree2.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Tree2.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Tree2.json
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
Variables per cluster 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
Clusters per var None None None None None None None None None None
Dual tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
CIR: None
Independent Cluster Pairs: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/DualTree2.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/DualTree2.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/DualTree2.json
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
Variables per cluster 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
Clusters per variable None None None None None None None None None None
Primal graph
Density: 100.00%
MCB compute time (ms): None
MCB cycles: None
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Primal2.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Primal2.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Primal2.json
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
MCB cycle size None None None None None None None None None None
Triangulated primal graph
Density: 100.00%
MCB compute time (ms): None
MCB cycles: None
Triangles: 0
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
MCB cycle size None None None None None None None None None None
Dual graph
Density: None%
MCB compute time (ms): None
MCB cycles: None
Triangles: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Dual2.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Dual2.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Dual2.json
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: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Incidence2.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Incidence2.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/pseudo-primesDimacsExtConvert/normalized-bf-0432-007_ext/Incidence2.json
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