XCSP 2.1 Benchmark Database

Instance: normalized-rand-2-50-23-587-230-17-ext
Number of variables: 50
Number of constraints: 461
Satisfiable: True
Timestamp: 2025-07-27 21:34:16
Stampede: v1.0.0-797-g05e223c
Boost: 1.64.0

Component #1

Number of variables: 50
Number of constraints: 461

General features

Coarse blocks: 21,206
Value tables: 50

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

Arity 2 2 2.00 2.00 922 MAX VALUE 319.54 0.00 0.00 0.00

Coarse blocks size 3 23 16.66 17.00 353,336 MAX VALUE 59,285.40 2.88 0.17 2.42

Relational linkage 0.13 0.70 0.46 0.48 527.35 0.00 -923.38 0.09 0.20 2.16

Tightness 0.23 0.65 0.28 0.23 127.03 0.00 -612.60 0.09 0.32 1.28

Tuples 183 408 383.23 408.00 176,668 MAX VALUE 2,738.38 46.17 0.12 1.28

Values 23 23 23.00 23.00 1,150 MAX VALUE 156.78 0.00 0.00 0.00

Value table constraints 13 28 18.44 18.50 922 MAX VALUE 145.02 3.13 0.17 2.34

Value table partitions 23 23 23.00 23.00 1,150 MAX VALUE 156.78 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	922	MAX VALUE	319.54	0.00	0.00	0.00
Coarse blocks size	3	23	16.66	17.00	353,336	MAX VALUE	59,285.40	2.88	0.17	2.42
Relational linkage	0.13	0.70	0.46	0.48	527.35	0.00	-923.38	0.09	0.20	2.16
Tightness	0.23	0.65	0.28	0.23	127.03	0.00	-612.60	0.09	0.32	1.28
Tuples	183	408	383.23	408.00	176,668	MAX VALUE	2,738.38	46.17	0.12	1.28
Values	23	23	23.00	23.00	1,150	MAX VALUE	156.78	0.00	0.00	0.00
Value table constraints	13	28	18.44	18.50	922	MAX VALUE	145.02	3.13	0.17	2.34
Value table partitions	23	23	23.00	23.00	1,150	MAX VALUE	156.78	0.00	0.00	0.00

Tree decomposition

Number of clusters: 15
Number of leaves: 6
Tree depth: 4
CIR: 0.00
Independent Cluster Pairs: 0
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-ext/Tree1.json

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

Cluster constraints 41 248 122.80 107.00 1,842 1.44e+30 69.44 70.50 0.57 2.62

Variables per cluster 14 36 23.47 23.00 352 1.54e+20 46.49 7.75 0.33 2.21

Separator constraints 0 219 92.07 85.00 1,381 0 None 65.32 0.71 2.71

Separator variables 0 34 20.13 21.00 302 0 None 8.82 0.44 2.21

Clusters per var 1 13 7.04 8.00 352 2.45e+37 86.09 3.59 0.51 2.36

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	41	248	122.80	107.00	1,842	1.44e+30	69.44	70.50	0.57	2.62
Variables per cluster	14	36	23.47	23.00	352	1.54e+20	46.49	7.75	0.33	2.21
Separator constraints	0	219	92.07	85.00	1,381	0	None	65.32	0.71	2.71
Separator variables	0	34	20.13	21.00	302	0	None	8.82	0.44	2.21
Clusters per var	1	13	7.04	8.00	352	2.45e+37	86.09	3.59	0.51	2.36

Dual tree decomposition

Number of clusters: 48
Number of leaves: 24
Tree depth: 5
CIR: 0.08
Independent Cluster Pairs: 91
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-ext/DualTree1.json

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

Cluster constraints 187 2,432 672.40 460.00 32,275 MAX VALUE 300.21 559.05 0.83 3.76

Variables per cluster 27 245 71.17 47.00 3,416 MAX VALUE 194.23 55.40 0.78 3.49

Separator constraints 0 1,413 499.81 394.00 23,991 0 None 332.29 0.66 3.78

Separator variables 0 191 61.56 43.00 2,955 0 None 42.54 0.69 3.55

Clusters per variable 1 11 7.41 8.00 3,416 MAX VALUE 873.18 2.53 0.34 2.01

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	187	2,432	672.40	460.00	32,275	MAX VALUE	300.21	559.05	0.83	3.76
Variables per cluster	27	245	71.17	47.00	3,416	MAX VALUE	194.23	55.40	0.78	3.49
Separator constraints	0	1,413	499.81	394.00	23,991	0	None	332.29	0.66	3.78
Separator variables	0	191	61.56	43.00	2,955	0	None	42.54	0.69	3.55
Clusters per variable	1	11	7.41	8.00	3,416	MAX VALUE	873.18	2.53	0.34	2.01

Primal graph

Density: 37.63%
MCB compute time (ms): None
MCB cycles: None
Triangles: 1,046
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-ext/Primal1.json

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

Clustering coefficient 0.33 0.48 0.38 0.38 19.21 0.00 -48.00 0.03 0.08 3.60

Degree 13 28 18.44 18.50 922 MAX VALUE 145.02 3.13 0.17 2.34

Eccentricity 2 2 2.00 2.00 100 1.13e+15 34.66 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.33	0.48	0.38	0.38	19.21	0.00	-48.00	0.03	0.08	3.60
Degree	13	28	18.44	18.50	922	MAX VALUE	145.02	3.13	0.17	2.34
Eccentricity	2	2	2.00	2.00	100	1.13e+15	34.66	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Triangulated primal graph

Density: 76.08%
MCB compute time (ms): None
MCB cycles: None
Triangles: 10,613

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

Clustering coefficient 0.79 1.00 0.90 0.89 44.82 0.00 -5.58 0.06 0.07 3.49

Degree 13 47 37.28 42.00 1,864 MAX VALUE 178.05 10.28 0.28 2.63

Eccentricity 2 2 2.00 2.00 100 1.13e+15 34.66 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.79	1.00	0.90	0.89	44.82	0.00	-5.58	0.06	0.07	3.49
Degree	13	47	37.28	42.00	1,864	MAX VALUE	178.05	10.28	0.28	2.63
Eccentricity	2	2	2.00	2.00	100	1.13e+15	34.66	0.00	0.00	0.00
MCB cycle size	None	None	None	None	None	None	None	None	None	None

Dual graph

Density: 7.81%
MCB compute time (ms): 16,485
MCB cycles: 10,300
Triangles: 49,483
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-ext/Dual1.json

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

Clustering coefficient 0.49 0.57 0.50 0.50 232.73 0.00 -315.21 0.01 0.02 4.98

Degree 26 51 35.94 36.00 16,568 MAX VALUE 1,647.89 4.32 0.12 2.85

Eccentricity 3 3 3.00 3.00 1,383 MAX VALUE 506.46 0.00 0.00 0.00

MCB cycle size 3 4 3.09 3.00 31,811 MAX VALUE 11,577.80 0.28 0.09 0.30

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.57	0.50	0.50	232.73	0.00	-315.21	0.01	0.02	4.98
Degree	26	51	35.94	36.00	16,568	MAX VALUE	1,647.89	4.32	0.12	2.85
Eccentricity	3	3	3.00	3.00	1,383	MAX VALUE	506.46	0.00	0.00	0.00
MCB cycle size	3	4	3.09	3.00	31,811	MAX VALUE	11,577.80	0.28	0.09	0.30

Minimal dual graph

Density: 0.82%
MCB compute time (ms): 3,004
MCB cycles: 412

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

Clustering coefficient 0.00 0.33 0.00 0.00 1.13 0.00 None 0.02 10.09 0.08

Degree 2 6 3.78 4.00 1,744 MAX VALUE 602.03 0.86 0.23 1.18

Eccentricity 6 9 7.93 8.00 3,657 MAX VALUE 953.36 0.61 0.08 0.92

MCB cycle size 3 10 6.90 7.00 2,843 MAX VALUE 790.14 1.10 0.16 1.50

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	0.00	0.00	1.13	0.00	None	0.02	10.09	0.08
Degree	2	6	3.78	4.00	1,744	MAX VALUE	602.03	0.86	0.23	1.18
Eccentricity	6	9	7.93	8.00	3,657	MAX VALUE	953.36	0.61	0.08	0.92
MCB cycle size	3	10	6.90	7.00	2,843	MAX VALUE	790.14	1.10	0.16	1.50

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

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

Clustering coefficient 0.48 1.00 0.83 0.80 383.90 0.00 -90.44 0.13 0.16 3.77

Degree 2 152 44.92 8.00 20,706 MAX VALUE 1,247.11 57.43 1.28 3.43

Eccentricity 3 5 3.75 4.00 1,730 MAX VALUE 605.06 0.52 0.14 0.76

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.48	1.00	0.83	0.80	383.90	0.00	-90.44	0.13	0.16	3.77
Degree	2	152	44.92	8.00	20,706	MAX VALUE	1,247.11	57.43	1.28	3.43
Eccentricity	3	5	3.75	4.00	1,730	MAX VALUE	605.06	0.52	0.14	0.76

Incidence graph

Density: 0.71%
MCB compute time (ms): 1,113
MCB cycles: 412
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-17-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 28 3.61 2.00 1,844 MAX VALUE 464.56 4.98 1.38 0.55

Eccentricity 5 6 5.90 6.00 3,016 MAX VALUE 906.47 0.30 0.05 0.32

MCB cycle size 6 6 6.00 6.00 2,472 MAX VALUE 738.21 0.00 0.00 0.00

XCSP 2.1 Benchmarks