XCSP2 Benchmark Database

Instance: normalized-frb59-26-1-mgd-ext
Number of variables: 59
Number of constraints: 556
Satisfiable: True
Timestamp: 2025-07-27 21:34:34
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 59
Number of constraints: 556

General features

Coarse blocks: 28,912
Value tables: 59

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Arity 2 2 2.00 2.00 1,112 MAX VALUE 385.39 0.00 0.00 0.00

Coarse blocks size 2 26 18.56 19.00 536,514 MAX VALUE 83,957.90 3.11 0.17 2.48

Relational linkage 0.08 0.69 0.44 0.46 674.92 0.00 -1,306.72 0.10 0.23 2.36

Tightness 0.25 0.75 0.29 0.25 159.17 0.00 -712.92 0.08 0.29 1.01

Tuples 169 507 482.48 507.00 268,257 MAX VALUE 3,430.68 56.38 0.12 1.01

Values 26 26 26.00 26.00 1,534 MAX VALUE 192.23 0.00 0.00 0.00

Value table constraints 10 29 18.85 19.00 1,112 MAX VALUE 172.08 3.67 0.19 2.59

Value table partitions 26 26 26.00 26.00 1,534 MAX VALUE 192.23 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	2	2.00	2.00	1,112	MAX VALUE	385.39	0.00	0.00	0.00
Coarse blocks size	2	26	18.56	19.00	536,514	MAX VALUE	83,957.90	3.11	0.17	2.48
Relational linkage	0.08	0.69	0.44	0.46	674.92	0.00	-1,306.72	0.10	0.23	2.36
Tightness	0.25	0.75	0.29	0.25	159.17	0.00	-712.92	0.08	0.29	1.01
Tuples	169	507	482.48	507.00	268,257	MAX VALUE	3,430.68	56.38	0.12	1.01
Values	26	26	26.00	26.00	1,534	MAX VALUE	192.23	0.00	0.00	0.00
Value table constraints	10	29	18.85	19.00	1,112	MAX VALUE	172.08	3.67	0.19	2.59
Value table partitions	26	26	26.00	26.00	1,534	MAX VALUE	192.23	0.00	0.00	0.00

Tree decomposition

Number of clusters: 20
Number of leaves: 10
Tree depth: 4
CIR: 0.01
Independent Cluster Pairs: 1
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/Tree1.json

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Cluster constraints 22 281 123.10 90.50 2,462 MAX VALUE 90.42 88.56 0.72 2.93

Variables per cluster 11 40 24.25 21.50 485 8.22e+26 61.97 10.05 0.41 2.55

Separator constraints 0 266 95.30 50.50 1,906 0 None 83.42 0.88 2.93

Separator variables 0 39 21.30 17.00 426 0 None 10.57 0.50 2.65

Clusters per var 1 16 8.22 9.00 485 MAX VALUE 106.13 4.68 0.57 2.55

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	22	281	123.10	90.50	2,462	MAX VALUE	90.42	88.56	0.72	2.93
Variables per cluster	11	40	24.25	21.50	485	8.22e+26	61.97	10.05	0.41	2.55
Separator constraints	0	266	95.30	50.50	1,906	0	None	83.42	0.88	2.93
Separator variables	0	39	21.30	17.00	426	0	None	10.57	0.50	2.65
Clusters per var	1	16	8.22	9.00	485	MAX VALUE	106.13	4.68	0.57	2.55

Dual tree decomposition

Number of clusters: 57
Number of leaves: 27
Tree depth: 6
CIR: 0.09
Independent Cluster Pairs: 144
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/DualTree1.json

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Cluster constraints 138 3,441 739.54 472.00 42,154 MAX VALUE 359.41 691.89 0.94 3.95

Variables per cluster 23 308 75.75 49.00 4,318 MAX VALUE 232.62 64.20 0.85 3.67

Separator constraints 0 2,016 558.49 406.00 31,834 0 None 421.56 0.75 3.99

Separator variables 0 241 66.00 45.00 3,762 0 None 49.42 0.75 3.73

Clusters per variable 1 11 7.77 9.00 4,318 MAX VALUE 1,079.96 2.60 0.33 1.95

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	138	3,441	739.54	472.00	42,154	MAX VALUE	359.41	691.89	0.94	3.95
Variables per cluster	23	308	75.75	49.00	4,318	MAX VALUE	232.62	64.20	0.85	3.67
Separator constraints	0	2,016	558.49	406.00	31,834	0	None	421.56	0.75	3.99
Separator variables	0	241	66.00	45.00	3,762	0	None	49.42	0.75	3.73
Clusters per variable	1	11	7.77	9.00	4,318	MAX VALUE	1,079.96	2.60	0.33	1.95

Primal graph

Density: 32.50%
MCB compute time (ms): None
MCB cycles: None
Triangles: 1,110
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/Primal1.json

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.24 0.44 0.33 0.33 19.28 0.00 -66.33 0.04 0.11 3.82

Degree 10 29 18.85 19.00 1,112 MAX VALUE 172.08 3.67 0.19 2.59

Eccentricity 2 3 2.08 2.00 123 4.38e+18 42.92 0.28 0.13 0.29

MCB cycle size None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.24	0.44	0.33	0.33	19.28	0.00	-66.33	0.04	0.11	3.82
Degree	10	29	18.85	19.00	1,112	MAX VALUE	172.08	3.67	0.19	2.59
Eccentricity	2	3	2.08	2.00	123	4.38e+18	42.92	0.28	0.13	0.29
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 70.49%
MCB compute time (ms): None
MCB cycles: None
Triangles: 15,322

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.77 1.00 0.89 0.89 52.45 0.00 -7.11 0.07 0.08 3.63

Degree 10 54 40.88 47.00 2,412 MAX VALUE 213.65 13.59 0.33 2.88

Eccentricity 2 3 2.03 2.00 120 1.30e+18 41.71 0.18 0.09 0.15

MCB cycle size None None None None None None None None None None

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.77	1.00	0.89	0.89	52.45	0.00	-7.11	0.07	0.08	3.63
Degree	10	54	40.88	47.00	2,412	MAX VALUE	213.65	13.59	0.33	2.88
Eccentricity	2	3	2.03	2.00	120	1.30e+18	41.71	0.18	0.09	0.15
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 6.69%
MCB compute time (ms): 437,909
MCB cycles: 10,018
Triangles: 63,996
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/Dual1.json

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.49 0.62 0.51 0.50 281.15 0.00 -379.36 0.02 0.03 5.24

Degree 22 53 37.12 37.00 20,640 MAX VALUE 2,004.42 4.97 0.13 2.99

Eccentricity 3 3 3.00 3.00 1,668 MAX VALUE 610.83 0.00 0.00 0.00

MCB cycle size 3 4 3.00 3.00 30,076 MAX VALUE 11,012.20 0.05 0.02 0.02

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.62	0.51	0.50	281.15	0.00	-379.36	0.02	0.03	5.24
Degree	22	53	37.12	37.00	20,640	MAX VALUE	2,004.42	4.97	0.13	2.99
Eccentricity	3	3	3.00	3.00	1,668	MAX VALUE	610.83	0.00	0.00	0.00
MCB cycle size	3	4	3.00	3.00	30,076	MAX VALUE	11,012.20	0.05	0.02	0.02

Minimal dual graph

Density: 0.68%
MCB compute time (ms): 4,827
MCB cycles: 498

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.00 0.33 0.00 0.00 1.20 0.00 None 0.02 10.68 0.07

Degree 2 6 3.79 4.00 2,106 MAX VALUE 726.41 0.84 0.22 1.22

Eccentricity 7 9 7.85 8.00 4,362 MAX VALUE 1,144.23 0.48 0.06 0.70

MCB cycle size 3 10 7.42 8.00 3,697 MAX VALUE 991.75 1.12 0.15 1.47

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.00	0.00	1.20	0.00	None	0.02	10.68	0.07
Degree	2	6	3.79	4.00	2,106	MAX VALUE	726.41	0.84	0.22	1.22
Eccentricity	7	9	7.85	8.00	4,362	MAX VALUE	1,144.23	0.48	0.06	0.70
MCB cycle size	3	10	7.42	8.00	3,697	MAX VALUE	991.75	1.12	0.15	1.47

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

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: 9.78%

Feature min max mean median sum prod ln(prod) std_dev COV ENT

Clustering coefficient 0.54 1.00 0.84 0.82 468.53 0.00 -101.77 0.13 0.15 3.94

Degree 2 181 54.26 7.00 30,168 MAX VALUE 1,528.84 71.83 1.32 3.44

Eccentricity 3 5 3.77 4.00 2,097 MAX VALUE 732.44 0.53 0.14 0.77

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.54	1.00	0.84	0.82	468.53	0.00	-101.77	0.13	0.15	3.94
Degree	2	181	54.26	7.00	30,168	MAX VALUE	1,528.84	71.83	1.32	3.44
Eccentricity	3	5	3.77	4.00	2,097	MAX VALUE	732.44	0.53	0.14	0.77

Incidence graph

Density: 0.59%
MCB compute time (ms): 2,047
MCB cycles: 503
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-1-mgd-ext/Incidence1.json

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 29 3.62 2.00 2,224 MAX VALUE 557.47 5.09 1.41 0.56

Eccentricity 5 6 5.91 6.00 3,636 MAX VALUE 1,092.09 0.28 0.05 0.30

MCB cycle size 6 8 6.01 6.00 3,022 MAX VALUE 901.83 0.13 0.02 0.03

XCSP2 Benchmarks