XCSP2 Benchmark Database

Instance: normalized-frb59-26-5-ext
Number of variables: 59
Number of constraints: 539
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: 539

General features

Coarse blocks: 28,028
Value tables: 59

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

Arity 2 2 2.00 2.00 1,078 MAX VALUE 373.61 0.00 0.00 0.00

Coarse blocks size 4 26 18.36 19.00 514,622 MAX VALUE 81,067.30 3.20 0.17 2.52

Relational linkage 0.15 0.69 0.44 0.42 673.23 0.00 -1,298.61 0.09 0.20 2.25

Tightness 0.25 0.67 0.29 0.25 158.36 0.00 -678.88 0.09 0.30 1.17

Tuples 225 507 477.39 507.00 257,311 MAX VALUE 3,319.79 59.03 0.12 1.17

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

Value table constraints 9 24 18.27 19.00 1,078 MAX VALUE 170.28 3.41 0.19 2.49

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,078	MAX VALUE	373.61	0.00	0.00	0.00
Coarse blocks size	4	26	18.36	19.00	514,622	MAX VALUE	81,067.30	3.20	0.17	2.52
Relational linkage	0.15	0.69	0.44	0.42	673.23	0.00	-1,298.61	0.09	0.20	2.25
Tightness	0.25	0.67	0.29	0.25	158.36	0.00	-678.88	0.09	0.30	1.17
Tuples	225	507	477.39	507.00	257,311	MAX VALUE	3,319.79	59.03	0.12	1.17
Values	26	26	26.00	26.00	1,534	MAX VALUE	192.23	0.00	0.00	0.00
Value table constraints	9	24	18.27	19.00	1,078	MAX VALUE	170.28	3.41	0.19	2.49
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: 5
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-5-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-5-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-5-ext/Tree1.json

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

Cluster constraints 19 261 127.40 85.50 2,548 MAX VALUE 90.45 92.46 0.73 2.86

Variables per cluster 10 39 24.85 22.00 497 1.03e+27 62.20 10.87 0.44 2.22

Separator constraints 0 248 100.45 37.00 2,009 0 None 89.25 0.89 2.86

Separator variables 0 38 21.90 15.50 438 0 None 11.46 0.52 2.46

Clusters per var 1 14 8.42 10.00 497 MAX VALUE 108.87 4.43 0.53 2.26

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	19	261	127.40	85.50	2,548	MAX VALUE	90.45	92.46	0.73	2.86
Variables per cluster	10	39	24.85	22.00	497	1.03e+27	62.20	10.87	0.44	2.22
Separator constraints	0	248	100.45	37.00	2,009	0	None	89.25	0.89	2.86
Separator variables	0	38	21.90	15.50	438	0	None	11.46	0.52	2.46
Clusters per var	1	14	8.42	10.00	497	MAX VALUE	108.87	4.43	0.53	2.26

Dual tree decomposition

Number of clusters: 57
Number of leaves: 28
Tree depth: 5
CIR: 0.10
Independent Cluster Pairs: 158
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-5-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-5-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-5-ext/DualTree1.json

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

Cluster constraints 115 2,939 674.40 431.00 38,441 MAX VALUE 355.05 597.71 0.89 3.97

Variables per cluster 21 299 72.67 44.00 4,142 MAX VALUE 230.56 60.65 0.83 3.63

Separator constraints 0 1,635 505.07 385.00 28,789 0 None 358.18 0.71 3.97

Separator variables 0 221 63.21 43.00 3,603 0 None 46.55 0.74 3.61

Clusters per variable 1 11 7.68 9.00 4,142 MAX VALUE 1,037.29 2.68 0.35 1.95

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	115	2,939	674.40	431.00	38,441	MAX VALUE	355.05	597.71	0.89	3.97
Variables per cluster	21	299	72.67	44.00	4,142	MAX VALUE	230.56	60.65	0.83	3.63
Separator constraints	0	1,635	505.07	385.00	28,789	0	None	358.18	0.71	3.97
Separator variables	0	221	63.21	43.00	3,603	0	None	46.55	0.74	3.61
Clusters per variable	1	11	7.68	9.00	4,142	MAX VALUE	1,037.29	2.68	0.35	1.95

Primal graph

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

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

Clustering coefficient 0.20 0.38 0.31 0.32 18.57 0.00 -68.66 0.04 0.12 3.93

Degree 9 24 18.27 19.00 1,078 MAX VALUE 170.28 3.41 0.19 2.49

Eccentricity 2 3 2.05 2.00 121 1.95e+18 42.11 0.22 0.11 0.20

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.20	0.38	0.31	0.32	18.57	0.00	-68.66	0.04	0.12	3.93
Degree	9	24	18.27	19.00	1,078	MAX VALUE	170.28	3.41	0.19	2.49
Eccentricity	2	3	2.05	2.00	121	1.95e+18	42.11	0.22	0.11	0.20
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 71.13%
MCB compute time (ms): None
MCB cycles: None
Triangles: 15,733

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

Clustering coefficient 0.80 1.00 0.89 0.88 52.71 0.00 -6.78 0.06 0.06 3.64

Degree 9 52 41.25 48.00 2,434 MAX VALUE 214.10 13.53 0.33 2.66

Eccentricity 2 2 2.00 2.00 118 5.76e+17 40.90 0.00 0.00 0.00

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.80	1.00	0.89	0.88	52.71	0.00	-6.78	0.06	0.06	3.64
Degree	9	52	41.25	48.00	2,434	MAX VALUE	214.10	13.53	0.33	2.66
Eccentricity	2	2	2.00	2.00	118	5.76e+17	40.90	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 6.66%
MCB compute time (ms): 385,274
MCB cycles: 9,225
Triangles: 57,267
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-5-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-5-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-5-ext/Dual1.json

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

Clustering coefficient 0.48 0.60 0.50 0.50 271.50 0.00 -369.81 0.01 0.03 5.10

Degree 20 45 35.81 36.00 19,304 MAX VALUE 1,924.08 4.56 0.13 2.88

Eccentricity 3 3 3.00 3.00 1,617 MAX VALUE 592.15 0.00 0.00 0.00

MCB cycle size 3 4 3.00 3.00 27,689 MAX VALUE 10,138.70 0.04 0.01 0.01

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	0.60	0.50	0.50	271.50	0.00	-369.81	0.01	0.03	5.10
Degree	20	45	35.81	36.00	19,304	MAX VALUE	1,924.08	4.56	0.13	2.88
Eccentricity	3	3	3.00	3.00	1,617	MAX VALUE	592.15	0.00	0.00	0.00
MCB cycle size	3	4	3.00	3.00	27,689	MAX VALUE	10,138.70	0.04	0.01	0.01

Minimal dual graph

Density: 0.70%
MCB compute time (ms): 4,484
MCB cycles: 481

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

Clustering coefficient 0.00 0.33 0.00 0.00 0.67 0.00 None 0.02 14.18 0.04

Degree 2 6 3.78 4.00 2,038 MAX VALUE 703.74 0.82 0.22 1.21

Eccentricity 7 9 7.76 8.00 4,181 MAX VALUE 1,102.89 0.54 0.07 0.79

MCB cycle size 3 10 7.41 8.00 3,563 MAX VALUE 956.88 1.13 0.15 1.49

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.00	0.00	0.67	0.00	None	0.02	14.18	0.04
Degree	2	6	3.78	4.00	2,038	MAX VALUE	703.74	0.82	0.22	1.21
Eccentricity	7	9	7.76	8.00	4,181	MAX VALUE	1,102.89	0.54	0.07	0.79
MCB cycle size	3	10	7.41	8.00	3,563	MAX VALUE	956.88	1.13	0.15	1.49

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.74%

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

Clustering coefficient 0.54 1.00 0.84 0.82 453.25 0.00 -99.65 0.13 0.15 3.90

Degree 2 176 52.40 7.00 28,244 MAX VALUE 1,476.66 69.15 1.32 3.47

Eccentricity 3 5 3.76 4.00 2,028 MAX VALUE 708.71 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	453.25	0.00	-99.65	0.13	0.15	3.90
Degree	2	176	52.40	7.00	28,244	MAX VALUE	1,476.66	69.15	1.32	3.47
Eccentricity	3	5	3.76	4.00	2,028	MAX VALUE	708.71	0.53	0.14	0.77

Incidence graph

Density: 0.60%
MCB compute time (ms): 1,854
MCB cycles: 481
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-5-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-5-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/frb59-26/normalized-frb59-26-5-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 24 3.61 2.00 2,156 MAX VALUE 543.89 4.97 1.38 0.57

Eccentricity 5 7 5.91 6.00 3,534 MAX VALUE 1,061.57 0.30 0.05 0.33

MCB cycle size 6 8 6.01 6.00 2,890 MAX VALUE 862.41 0.13 0.02 0.03

XCSP2 Benchmarks