Instance: normalized-queensKnights-10-5-add-ext
Number of variables: 15
Number of constraints: 55
Satisfiable: True
Timestamp: 2025-06-17 13:07:17
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0
Benchmark comments

Instance comments



Component #1 Number of variables: 10
Number of constraints: 45
General features
Coarse blocks: 900
Value tables: 10
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 90 3.52e+13 31.19 0.00 0.00 0.00
Coarse blocks size 7 9 7.73 8.00 6,960 MAX VALUE 1,838.19 0.61 0.08 0.91
Relational linkage 0.70 0.80 0.72 0.70 72.00 0.00 -33.00 0.04 0.06 0.50
Tightness 0.12 0.28 0.23 0.24 10.20 0.00 -67.76 0.04 0.20 2.05
Tuples 72 88 77.33 76.00 3,480 MAX VALUE 195.59 4.42 0.06 2.05
Values 10 10 10.00 10.00 100 1.00e+10 23.03 0.00 0.00 0.00
Value table constraints 9 9 9.00 9.00 90 3.49e+09 21.97 0.00 0.00 0.00
Value table partitions 10 10 10.00 10.00 100 1.00e+10 23.03 0.00 0.00 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 45 45 45.00 45.00 45 45 3.81 0.00 0.00 0.00
Cluster variables 10 10 10.00 10.00 10 10 2.30 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: 8
Number of leaves: 5
Tree depth: 2
Dot-file path: None
PDF-file path: None
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 80 176 109.00 80.00 872 1.26e+16 37.08 38.30 0.35 0.90
Cluster variables 17 32 21.62 17.00 173 3.56e+10 24.30 6.08 0.28 0.90
Separator constraints 0 96 64.00 64.00 512 0 None 27.71 0.43 0.90
Separator variables 0 24 16.00 16.00 128 0 None 6.93 0.43 0.90
Primal graph
Density: 100.00%
Dot-file path: None
PDF-file path: None
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 10.00 1.00 0.00 0.00 0.00 0.00
Degree 9 9 9.00 9.00 90 3.49e+09 21.97 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
Triangulated primal graph
Density: 100.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 10.00 1.00 0.00 0.00 0.00 0.00
Degree 9 9 9.00 9.00 90 3.49e+09 21.97 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
Dual graph
Density: 36.36%
MCB compute time (ms): 6
MCB cycles: 316
Triangles: None
Dot-file path: None
PDF-file path: None

JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.53 0.53 0.53 0.53 24.00 0.00 -28.29 0.00 0.00 0.00
Degree 16 16 16.00 16.00 720 MAX VALUE 124.77 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 948 MAX VALUE 347.16 0.00 0.00 0.00
Minimal dual graph
Density: 8.08%
MCB compute time (ms): 1
MCB cycles: 36
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.02 0.00 0.83 0.00 None 0.07 3.90 0.29
Degree 2 5 3.56 3.00 160 2.11e+24 56.01 0.78 0.22 1.12
Eccentricity None None None None None None None None None None
MCB cycle size 3 7 5.17 5.00 186 2.20e+25 58.35 1.07 0.21 1.38
Triangulated dual graph
Density: 78.79%
Triangles: 8,064
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.84 1.00 0.89 0.89 40.24 0.01 -5.10 0.05 0.06 1.29
Degree 16 41 34.67 37.00 1,560 MAX VALUE 157.99 7.79 0.22 1.29
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 22.42%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.47 1.00 0.75 0.68 33.63 0.00 -14.46 0.18 0.25 2.80
Degree 2 22 9.87 8.00 444 MAX VALUE 90.75 6.68 0.68 2.69
Eccentricity None None None None None None None None None None
Incidence graph
Density: 6.06%
MCB compute time (ms): 1
MCB cycles: 36
Dot-file path: None
PDF-file path: None
JSON-file path: None
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 9 3.27 2.00 180 1.23e+23 53.16 2.70 0.82 0.47
Eccentricity None None None None None None None None None None
MCB cycle size 6 6 6.00 6.00 216 1.03e+28 64.50 0.00 0.00 0.00
Component #2 Number of variables: 5
Number of constraints: 10
General features
Coarse blocks: 2,000
Value tables: 5
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Arity 2 2 2.00 2.00 20 1,024 6.93 0.00 0.00 0.00
Coarse blocks size 2 99 52.38 53.50 104,760 MAX VALUE 6,277.52 46.64 0.89 1.39
Relational linkage 0.02 0.08 0.06 0.06 28.80 0.00 -1,461.39 0.02 0.34 1.40
Tightness 0.01 0.94 0.48 0.48 4.76 0.00 -23.32 0.47 0.98 0.69
Tuples 576 9,900 5,238.00 5,238.00 52,380 6.03e+33 77.78 4,662.00 0.89 0.69
Values 100 100 100.00 100.00 500 1.00e+10 23.03 0.00 0.00 0.00
Value table constraints 4 4 4.00 4.00 20 1,024 6.93 0.00 0.00 0.00
Value table partitions 100 100 100.00 100.00 500 1.00e+10 23.03 0.00 0.00 0.00
Tree decomposition
Number of clusters: 1
Number of leaves: 1
Tree depth: 0
Dot-file path: None
PDF-file path: None
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 10 10 10.00 10.00 10 10 2.30 0.00 0.00 0.00
Cluster variables 5 5 5.00 5.00 5 5 1.61 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: 3
Number of leaves: 2
Tree depth: 1
Dot-file path: None
PDF-file path: None
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Cluster constraints 15 18 16.00 15.00 48 4,050 8.31 1.41 0.09 0.64
Cluster variables 7 8 7.33 7.00 22 392 5.97 0.47 0.06 0.64
Separator constraints 0 9 6.00 9.00 18 0 None 4.24 0.71 0.64
Separator variables 0 6 4.00 6.00 12 0 None 2.83 0.71 0.64
Primal graph
Density: 100.00%
Dot-file path: None
PDF-file path: None
JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 5.00 1.00 0.00 0.00 0.00 0.00
Degree 4 4 4.00 4.00 20 1,024 6.93 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
Triangulated primal graph
Density: 100.00%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 1.00 1.00 1.00 1.00 5.00 1.00 0.00 0.00 0.00 0.00
Degree 4 4 4.00 4.00 20 1,024 6.93 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
Dual graph
Density: 66.67%
MCB compute time (ms): 0
MCB cycles: 21
Triangles: None
Dot-file path: None
PDF-file path: None

JSON-file path: None
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.60 0.60 0.60 0.60 6.00 0.01 -5.11 0.00 0.00 0.00
Degree 6 6 6.00 6.00 60 60,466,200 17.92 0.00 0.00 0.00
Eccentricity None None None None None None None None None None
MCB cycle size 3 3 3.00 3.00 63 1.05e+10 23.07 0.00 0.00 0.00
Minimal dual graph
Density: 33.33%
MCB compute time (ms): 0
MCB cycles: 6
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.00 0.33 0.08 0.00 0.83 0.00 None 0.13 1.61 0.80
Degree 2 4 3.00 3.00 30 46,656 10.75 0.63 0.21 0.95
Eccentricity None None None None None None None None None None
MCB cycle size 3 5 4.17 4.00 25 4,800 8.48 0.69 0.16 1.01
Triangulated dual graph
Density: 88.89%
Triangles: 86
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.86 1.00 0.92 0.93 9.16 0.41 -0.89 0.05 0.06 1.05
Degree 6 9 8.00 8.00 80 967,459,000 20.69 1.10 0.14 1.05
Eccentricity None None None None None None None None None None
Triangulated minimal dual graph
Density: 48.89%
Feature min max mean median sum prod ln(prod) std_dev COV ENT
Clustering coefficient 0.52 1.00 0.74 0.63 7.36 0.03 -3.40 0.19 0.26 1.64
Degree 2 7 4.40 4.50 44 1,209,600 14.01 1.62 0.37 1.75
Eccentricity None None None None None None None None None None
Incidence graph
Density: 19.05%
MCB compute time (ms): 0
MCB cycles: 6
Dot-file path: None
PDF-file path: None
JSON-file path: None
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 4 2.67 2.00 40 1,048,580 13.86 0.94 0.35 0.64
Eccentricity None None None None None None None None None None
MCB cycle size 6 6 6.00 6.00 36 46,656 10.75 0.00 0.00 0.00