XCSP 2.1 Benchmark Database

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

General features

Coarse blocks: 21,252
Value tables: 50

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

Arity 2 2 2.00 2.00 924 MAX VALUE 320.23 0.00 0.00 0.00

Coarse blocks size 2 23 16.68 17.00 354,550 MAX VALUE 59,433.80 2.89 0.17 2.42

Relational linkage 0.09 0.74 0.46 0.48 523.78 0.00 -936.54 0.10 0.22 2.24

Tightness 0.23 0.71 0.27 0.23 126.89 0.00 -615.73 0.09 0.32 1.26

Tuples 154 408 383.71 408.00 177,275 MAX VALUE 2,744.69 46.89 0.12 1.26

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

Value table constraints 11 25 18.48 18.50 924 MAX VALUE 145.10 3.05 0.16 2.38

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	924	MAX VALUE	320.23	0.00	0.00	0.00
Coarse blocks size	2	23	16.68	17.00	354,550	MAX VALUE	59,433.80	2.89	0.17	2.42
Relational linkage	0.09	0.74	0.46	0.48	523.78	0.00	-936.54	0.10	0.22	2.24
Tightness	0.23	0.71	0.27	0.23	126.89	0.00	-615.73	0.09	0.32	1.26
Tuples	154	408	383.71	408.00	177,275	MAX VALUE	2,744.69	46.89	0.12	1.26
Values	23	23	23.00	23.00	1,150	MAX VALUE	156.78	0.00	0.00	0.00
Value table constraints	11	25	18.48	18.50	924	MAX VALUE	145.10	3.05	0.16	2.38
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: 9
Tree depth: 3
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-23-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-23-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-23-ext/Tree1.json

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

Cluster constraints 23 253 113.33 59.00 1,700 7.97e+28 66.55 83.44 0.74 2.52

Variables per cluster 12 36 22.00 16.00 330 4.07e+19 45.15 8.97 0.41 2.30

Separator constraints 0 233 82.53 43.00 1,238 0 None 76.71 0.93 2.62

Separator variables 0 35 18.67 15.00 280 0 None 9.56 0.51 2.40

Clusters per var 1 11 6.60 8.00 330 3.82e+35 81.93 3.30 0.50 2.06

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	23	253	113.33	59.00	1,700	7.97e+28	66.55	83.44	0.74	2.52
Variables per cluster	12	36	22.00	16.00	330	4.07e+19	45.15	8.97	0.41	2.30
Separator constraints	0	233	82.53	43.00	1,238	0	None	76.71	0.93	2.62
Separator variables	0	35	18.67	15.00	280	0	None	9.56	0.51	2.40
Clusters per var	1	11	6.60	8.00	330	3.82e+35	81.93	3.30	0.50	2.06

Dual tree decomposition

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

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

Cluster constraints 161 2,518 673.40 441.00 32,323 MAX VALUE 300.47 553.83 0.82 3.84

Variables per cluster 25 251 71.17 46.00 3,416 MAX VALUE 194.38 54.86 0.77 3.52

Separator constraints 0 1,482 500.31 388.50 24,015 0 None 323.67 0.65 3.81

Separator variables 0 197 61.54 43.00 2,954 0 None 41.79 0.68 3.52

Clusters per variable 1 10 7.39 8.00 3,416 MAX VALUE 875.64 2.48 0.34 1.94

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	161	2,518	673.40	441.00	32,323	MAX VALUE	300.47	553.83	0.82	3.84
Variables per cluster	25	251	71.17	46.00	3,416	MAX VALUE	194.38	54.86	0.77	3.52
Separator constraints	0	1,482	500.31	388.50	24,015	0	None	323.67	0.65	3.81
Separator variables	0	197	61.54	43.00	2,954	0	None	41.79	0.68	3.52
Clusters per variable	1	10	7.39	8.00	3,416	MAX VALUE	875.64	2.48	0.34	1.94

Primal graph

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

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

Clustering coefficient 0.22 0.44 0.37 0.37 18.32 0.00 -50.58 0.04 0.12 3.58

Degree 11 25 18.48 18.50 924 MAX VALUE 145.10 3.05 0.16 2.38

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.22	0.44	0.37	0.37	18.32	0.00	-50.58	0.04	0.12	3.58
Degree	11	25	18.48	18.50	924	MAX VALUE	145.10	3.05	0.16	2.38
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: 74.29%
MCB compute time (ms): None
MCB cycles: None
Triangles: 10,299

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

Clustering coefficient 0.81 1.00 0.90 0.89 45.00 0.00 -5.36 0.06 0.06 3.40

Degree 11 45 36.40 42.00 1,820 MAX VALUE 176.05 11.05 0.30 2.45

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.81	1.00	0.90	0.89	45.00	0.00	-5.36	0.06	0.06	3.40
Degree	11	45	36.40	42.00	1,820	MAX VALUE	176.05	11.05	0.30	2.45
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): 14,548
MCB cycles: 10,192
Triangles: 49,381
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-23-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-23-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/rand-2-50-23/normalized-rand-2-50-23-587-230-23-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.52 0.00 -317.31 0.01 0.02 4.92

Degree 24 47 35.97 36.00 16,616 MAX VALUE 1,651.92 4.19 0.12 2.82

Eccentricity 3 3 3.00 3.00 1,386 MAX VALUE 507.56 0.00 0.00 0.00

MCB cycle size 3 4 3.11 3.00 31,698 MAX VALUE 11,519.80 0.31 0.10 0.35

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.49	0.57	0.50	0.50	232.52	0.00	-317.31	0.01	0.02	4.92
Degree	24	47	35.97	36.00	16,616	MAX VALUE	1,651.92	4.19	0.12	2.82
Eccentricity	3	3	3.00	3.00	1,386	MAX VALUE	507.56	0.00	0.00	0.00
MCB cycle size	3	4	3.11	3.00	31,698	MAX VALUE	11,519.80	0.31	0.10	0.35

Minimal dual graph

Density: 0.82%
MCB compute time (ms): 2,511
MCB cycles: 413

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

Clustering coefficient 0.00 0.10 0.00 0.00 0.23 0.00 None 0.01 12.62 0.04

Degree 2 6 3.78 4.00 1,748 MAX VALUE 603.34 0.86 0.23 1.18

Eccentricity 7 10 8.45 8.00 3,904 MAX VALUE 984.27 0.73 0.09 1.10

MCB cycle size 3 9 6.83 7.00 2,820 MAX VALUE 786.92 1.15 0.17 1.53

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.10	0.00	0.00	0.23	0.00	None	0.01	12.62	0.04
Degree	2	6	3.78	4.00	1,748	MAX VALUE	603.34	0.86	0.23	1.18
Eccentricity	7	10	8.45	8.00	3,904	MAX VALUE	984.27	0.73	0.09	1.10
MCB cycle size	3	9	6.83	7.00	2,820	MAX VALUE	786.92	1.15	0.17	1.53

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

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

Clustering coefficient 0.55 1.00 0.84 0.80 385.80 0.00 -89.34 0.13 0.16 3.81

Degree 2 152 45.52 8.50 21,032 MAX VALUE 1,253.35 58.36 1.28 3.41

Eccentricity 3 5 3.70 4.00 1,709 MAX VALUE 599.84 0.50 0.14 0.72

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.55	1.00	0.84	0.80	385.80	0.00	-89.34	0.13	0.16	3.81
Degree	2	152	45.52	8.50	21,032	MAX VALUE	1,253.35	58.36	1.28	3.41
Eccentricity	3	5	3.70	4.00	1,709	MAX VALUE	599.84	0.50	0.14	0.72

Incidence graph

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

Eccentricity 5 6 5.90 6.00 3,022 MAX VALUE 908.26 0.30 0.05 0.32

MCB cycle size 6 6 6.00 6.00 2,478 MAX VALUE 740.00 0.00 0.00 0.00

XCSP 2.1 Benchmarks