XCSP 2.1 Benchmark Database

Instance: normalized-rand-2-50-23-587-230-26-ext
Number of variables: 50
Number of constraints: 466
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: 466

General features

Coarse blocks: 21,436
Value tables: 50

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

Arity 2 2 2.00 2.00 932 MAX VALUE 323.01 0.00 0.00 0.00

Coarse blocks size 3 23 16.72 17.00 358,314 MAX VALUE 59,998.10 2.87 0.17 2.41

Relational linkage 0.13 0.74 0.46 0.48 525.91 0.00 -929.48 0.10 0.21 2.22

Tightness 0.23 0.65 0.27 0.23 127.33 0.00 -622.80 0.09 0.32 1.22

Tuples 185 408 384.46 408.00 179,157 MAX VALUE 2,769.64 45.70 0.12 1.22

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

Value table constraints 13 25 18.64 19.00 932 MAX VALUE 145.60 3.01 0.16 2.32

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	932	MAX VALUE	323.01	0.00	0.00	0.00
Coarse blocks size	3	23	16.72	17.00	358,314	MAX VALUE	59,998.10	2.87	0.17	2.41
Relational linkage	0.13	0.74	0.46	0.48	525.91	0.00	-929.48	0.10	0.21	2.22
Tightness	0.23	0.65	0.27	0.23	127.33	0.00	-622.80	0.09	0.32	1.22
Tuples	185	408	384.46	408.00	179,157	MAX VALUE	2,769.64	45.70	0.12	1.22
Values	23	23	23.00	23.00	1,150	MAX VALUE	156.78	0.00	0.00	0.00
Value table constraints	13	25	18.64	19.00	932	MAX VALUE	145.60	3.01	0.16	2.32
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: 7
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-26-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-26-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-26-ext/Tree1.json

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

Cluster constraints 38 258 125.40 88.00 1,881 1.67e+30 69.59 76.63 0.61 2.62

Variables per cluster 14 36 23.87 22.00 358 2.06e+20 46.77 7.86 0.33 2.34

Separator constraints 0 242 94.33 66.00 1,415 0 None 73.63 0.78 2.71

Separator variables 0 35 20.53 19.00 308 0 None 9.02 0.44 2.43

Clusters per var 1 13 7.16 8.00 358 5.49e+37 86.90 3.50 0.49 2.23

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	38	258	125.40	88.00	1,881	1.67e+30	69.59	76.63	0.61	2.62
Variables per cluster	14	36	23.87	22.00	358	2.06e+20	46.77	7.86	0.33	2.34
Separator constraints	0	242	94.33	66.00	1,415	0	None	73.63	0.78	2.71
Separator variables	0	35	20.53	19.00	308	0	None	9.02	0.44	2.43
Clusters per var	1	13	7.16	8.00	358	5.49e+37	86.90	3.50	0.49	2.23

Dual tree decomposition

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

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

Cluster constraints 158 2,525 678.92 480.50 32,588 MAX VALUE 301.00 551.74 0.81 3.87

Variables per cluster 25 246 71.54 46.00 3,434 MAX VALUE 194.73 54.75 0.77 3.60

Separator constraints 0 1,398 502.96 408.50 24,142 0 None 321.25 0.64 3.87

Separator variables 0 192 61.83 44.00 2,968 0 None 41.75 0.68 3.56

Clusters per variable 1 11 7.37 8.00 3,434 MAX VALUE 880.82 2.52 0.34 2.05

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	158	2,525	678.92	480.50	32,588	MAX VALUE	301.00	551.74	0.81	3.87
Variables per cluster	25	246	71.54	46.00	3,434	MAX VALUE	194.73	54.75	0.77	3.60
Separator constraints	0	1,398	502.96	408.50	24,142	0	None	321.25	0.64	3.87
Separator variables	0	192	61.83	44.00	2,968	0	None	41.75	0.68	3.56
Clusters per variable	1	11	7.37	8.00	3,434	MAX VALUE	880.82	2.52	0.34	2.05

Primal graph

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

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

Clustering coefficient 0.30 0.46 0.38 0.38 18.79 0.00 -49.12 0.03 0.09 3.77

Degree 13 25 18.64 19.00 932 MAX VALUE 145.60 3.01 0.16 2.32

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.30	0.46	0.38	0.38	18.79	0.00	-49.12	0.03	0.09	3.77
Degree	13	25	18.64	19.00	932	MAX VALUE	145.60	3.01	0.16	2.32
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.57%
MCB compute time (ms): None
MCB cycles: None
Triangles: 10,758

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

Clustering coefficient 0.79 1.00 0.90 0.89 44.88 0.00 -5.50 0.06 0.06 3.48

Degree 13 47 37.52 42.00 1,876 MAX VALUE 178.49 10.18 0.27 2.52

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.88	0.00	-5.50	0.06	0.06	3.48
Degree	13	47	37.52	42.00	1,876	MAX VALUE	178.49	10.18	0.27	2.52
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.80%
MCB compute time (ms): 17,976
MCB cycles: 10,316
Triangles: 50,638
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-26-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-26-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-26-ext/Dual1.json

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

Clustering coefficient 0.49 0.55 0.50 0.50 234.69 0.00 -319.73 0.01 0.02 4.96

Degree 24 47 36.25 36.00 16,892 MAX VALUE 1,670.06 4.10 0.11 2.80

Eccentricity 3 3 3.00 3.00 1,398 MAX VALUE 511.95 0.00 0.00 0.00

MCB cycle size 3 4 3.06 3.00 31,581 MAX VALUE 11,515.40 0.24 0.08 0.23

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.55	0.50	0.50	234.69	0.00	-319.73	0.01	0.02	4.96
Degree	24	47	36.25	36.00	16,892	MAX VALUE	1,670.06	4.10	0.11	2.80
Eccentricity	3	3	3.00	3.00	1,398	MAX VALUE	511.95	0.00	0.00	0.00
MCB cycle size	3	4	3.06	3.00	31,581	MAX VALUE	11,515.40	0.24	0.08	0.23

Minimal dual graph

Density: 0.81%
MCB compute time (ms): 2,693
MCB cycles: 418

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 7 3.79 4.00 1,764 MAX VALUE 608.48 0.87 0.23 1.21

Eccentricity 7 9 8.00 8.00 3,726 MAX VALUE 967.46 0.60 0.07 0.90

MCB cycle size 4 9 6.95 7.00 2,907 MAX VALUE 803.88 1.19 0.17 1.56

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	7	3.79	4.00	1,764	MAX VALUE	608.48	0.87	0.23	1.21
Eccentricity	7	9	8.00	8.00	3,726	MAX VALUE	967.46	0.60	0.07	0.90
MCB cycle size	4	9	6.95	7.00	2,907	MAX VALUE	803.88	1.19	0.17	1.56

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

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

Clustering coefficient 0.50 1.00 0.83 0.80 388.97 0.00 -90.21 0.13 0.16 3.80

Degree 2 153 46.29 9.00 21,570 MAX VALUE 1,268.18 59.44 1.28 3.45

Eccentricity 3 5 3.74 4.00 1,745 MAX VALUE 610.49 0.53 0.14 0.77

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.50	1.00	0.83	0.80	388.97	0.00	-90.21	0.13	0.16	3.80
Degree	2	153	46.29	9.00	21,570	MAX VALUE	1,268.18	59.44	1.28	3.45
Eccentricity	3	5	3.74	4.00	1,745	MAX VALUE	610.49	0.53	0.14	0.77

Incidence graph

Density: 0.70%
MCB compute time (ms): 1,190
MCB cycles: 417
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-26-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-26-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-26-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 25 3.61 2.00 1,864 MAX VALUE 468.60 5.01 1.39 0.54

Eccentricity 5 6 5.90 6.00 3,046 MAX VALUE 915.43 0.30 0.05 0.32

MCB cycle size 6 6 6.00 6.00 2,502 MAX VALUE 747.16 0.00 0.00 0.00

XCSP 2.1 Benchmarks