XCSP 2.1 Benchmark Database

Instance: normalized-ssa-0432-003-ext
Number of variables: 435
Number of constraints: 501
Satisfiable: True
Timestamp: 2025-07-20 22:09:13
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0

Component #1

Number of variables: 435
Number of constraints: 501

General features

Coarse blocks: 3,907
Value tables: 548

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

Arity 2 5 2.57 2.00 1,289 MAX VALUE 455.59 0.73 0.28 0.98

Coarse blocks size 1 15 2.25 2.00 8,798 MAX VALUE 2,424.39 1.59 0.71 1.49

Relational linkage 0.06 1.00 0.59 0.50 821.25 0.00 -859.03 0.23 0.39 0.96

Tightness 0.06 0.50 0.42 0.50 212.00 0.00 -476.06 0.14 0.32 1.04

Tuples 1 16 4.07 2.00 2,039 MAX VALUE 598.67 2.97 0.73 1.65

Values 1 2 1.99 2.00 866 MAX VALUE 298.75 0.10 0.05 0.05

Value table constraints 2 22 2.92 2.00 1,598 MAX VALUE 536.45 1.76 0.60 1.27

Value table partitions 1 8 2.57 2.00 1,410 MAX VALUE 481.39 1.09 0.42 0.85

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	5	2.57	2.00	1,289	MAX VALUE	455.59	0.73	0.28	0.98
Coarse blocks size	1	15	2.25	2.00	8,798	MAX VALUE	2,424.39	1.59	0.71	1.49
Relational linkage	0.06	1.00	0.59	0.50	821.25	0.00	-859.03	0.23	0.39	0.96
Tightness	0.06	0.50	0.42	0.50	212.00	0.00	-476.06	0.14	0.32	1.04
Tuples	1	16	4.07	2.00	2,039	MAX VALUE	598.67	2.97	0.73	1.65
Values	1	2	1.99	2.00	866	MAX VALUE	298.75	0.10	0.05	0.05
Value table constraints	2	22	2.92	2.00	1,598	MAX VALUE	536.45	1.76	0.60	1.27
Value table partitions	1	8	2.57	2.00	1,410	MAX VALUE	481.39	1.09	0.42	0.85

Tree decomposition

Number of clusters: 372
Number of leaves: 120
Tree depth: 14
CIR: 0.86
Independent Cluster Pairs: 58,968
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/Tree1.json

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

Cluster constraints 0 9 1.53 1.00 570 0 None 1.45 0.95 1.53

Variables per cluster 2 19 5.42 5.00 2,016 MAX VALUE 589.53 2.75 0.51 2.16

Separator constraints 0 4 0.19 0.00 69 0 None 0.62 3.33 0.46

Separator variables 0 15 4.25 4.00 1,581 0 None 2.45 0.58 2.13

Clusters per var 1 90 4.63 2.00 2,016 MAX VALUE 436.89 7.42 1.60 2.21

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	9	1.53	1.00	570	0	None	1.45	0.95	1.53
Variables per cluster	2	19	5.42	5.00	2,016	MAX VALUE	589.53	2.75	0.51	2.16
Separator constraints	0	4	0.19	0.00	69	0	None	0.62	3.33	0.46
Separator variables	0	15	4.25	4.00	1,581	0	None	2.45	0.58	2.13
Clusters per var	1	90	4.63	2.00	2,016	MAX VALUE	436.89	7.42	1.60	2.21

Dual tree decomposition

Number of clusters: 353
Number of leaves: 108
Tree depth: 15
CIR: 0.91
Independent Cluster Pairs: 56,234
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/DualTree1.json

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

Cluster constraints 0 251 12.91 4.00 4,558 0 None 29.95 2.32 2.91

Variables per cluster 2 42 7.36 5.00 2,599 MAX VALUE 637.87 5.89 0.80 2.41

Separator constraints 0 210 7.60 1.00 2,683 0 None 21.48 2.83 2.33

Separator variables 0 32 5.94 4.00 2,098 0 None 5.11 0.86 2.38

Clusters per variable 1 32 5.19 3.00 2,599 MAX VALUE 600.88 5.22 1.01 2.48

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	251	12.91	4.00	4,558	0	None	29.95	2.32	2.91
Variables per cluster	2	42	7.36	5.00	2,599	MAX VALUE	637.87	5.89	0.80	2.41
Separator constraints	0	210	7.60	1.00	2,683	0	None	21.48	2.83	2.33
Separator variables	0	32	5.94	4.00	2,098	0	None	5.11	0.86	2.38
Clusters per variable	1	32	5.19	3.00	2,599	MAX VALUE	600.88	5.22	1.01	2.48

Primal graph

Density: 0.99%
MCB compute time (ms): 379
MCB cycles: 504
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/Primal1.json

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

Clustering coefficient 0.00 1.00 None 0.50 None None None None None 2.86

Degree 1 25 4.30 4.00 1,870 MAX VALUE 582.49 2.27 0.53 1.93

Eccentricity None None None None None None None None None None

MCB cycle size 3 9 4.12 3.00 2,076 MAX VALUE 669.79 1.94 0.47 0.96

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.50	None	None	None	None	None	2.86
Degree	1	25	4.30	4.00	1,870	MAX VALUE	582.49	2.27	0.53	1.93
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	9	4.12	3.00	2,076	MAX VALUE	669.79	1.94	0.47	0.96

Triangulated primal graph

Density: 2.30%
MCB compute time (ms): 214
MCB cycles: 1,805
Triangles: None

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

Clustering coefficient 0.10 1.00 None 0.79 None None None None None 4.24

Degree 1 140 10.00 5.00 4,350 MAX VALUE 791.15 13.56 1.36 2.95

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 5,415 MAX VALUE 1,983.00 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.10	1.00	None	0.79	None	None	None	None	None	4.24
Degree	1	140	10.00	5.00	4,350	MAX VALUE	791.15	13.56	1.36	2.95
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	5,415	MAX VALUE	1,983.00	0.00	0.00	0.00

Dual graph

Density: 1.50%
MCB compute time (ms): 874
MCB cycles: 1,388
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/Dual1.json

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

Clustering coefficient 0.00 1.00 None 0.50 None None None None None 3.26

Degree 1 29 7.49 5.00 3,750 MAX VALUE 880.66 6.08 0.81 2.54

Eccentricity None None None None None None None None None None

MCB cycle size 3 9 3.41 3.00 4,734 MAX VALUE 1,642.63 1.29 0.38 0.48

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	1.00	None	0.50	None	None	None	None	None	3.26
Degree	1	29	7.49	5.00	3,750	MAX VALUE	880.66	6.08	0.81	2.54
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	9	3.41	3.00	4,734	MAX VALUE	1,642.63	1.29	0.38	0.48

Minimal dual graph

Density: 0.58%
MCB compute time (ms): 598
MCB cycles: 222

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

Clustering coefficient 0.00 0.33 None 0.00 None None None None None 1.91

Degree 1 5 2.88 3.00 1,444 MAX VALUE 511.53 0.77 0.27 1.14

Eccentricity None None None None None None None None None None

MCB cycle size 3 16 8.03 8.00 1,783 MAX VALUE 430.91 3.94 0.49 2.48

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.00	0.33	None	0.00	None	None	None	None	None	1.91
Degree	1	5	2.88	3.00	1,444	MAX VALUE	511.53	0.77	0.27	1.14
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	16	8.03	8.00	1,783	MAX VALUE	430.91	3.94	0.49	2.48

Triangulated dual graph

Density: 3.67%
Triangles: 38,723

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

Clustering coefficient 0.31 1.00 None 0.76 None None None None None 4.16

Degree 1 100 18.33 8.00 9,184 MAX VALUE 1,155.53 21.88 1.19 3.49

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	0.31	1.00	None	0.76	None	None	None	None	None	4.16
Degree	1	100	18.33	8.00	9,184	MAX VALUE	1,155.53	21.88	1.19	3.49
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 2.06%

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

Clustering coefficient 0.00 1.00 None 0.67 None None None None None 3.75

Degree 1 66 10.32 4.00 5,172 MAX VALUE 854.62 14.69 1.42 2.79

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	0.00	1.00	None	0.67	None	None	None	None	None	3.75
Degree	1	66	10.32	4.00	5,172	MAX VALUE	854.62	14.69	1.42	2.79
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 0.29%
MCB compute time (ms): 1,033
MCB cycles: 354
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/ssa/normalized-ssa-0432-003-ext/Incidence1.json

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

Clustering coefficient 0.00 0.00 None 0.00 None None None None None 1.88

Degree 1 22 2.75 2.00 2,578 MAX VALUE 871.85 1.47 0.53 1.31

Eccentricity None None None None None None None None None None

MCB cycle size 4 18 8.14 4.00 2,880 MAX VALUE 675.08 5.11 0.63 1.45

XCSP 2.1 Benchmarks