XCSP 2.1 Benchmark Database

Instance: normalized-renault-mod-37-ext
Number of variables: 111
Number of constraints: 133
Satisfiable: True
Timestamp: 2025-07-20 22:08:37
Stampede: v1.1.0-239-ge51ee236
Boost: 1.75.0

Component #1

Number of variables: 111
Number of constraints: 133

General features

Coarse blocks: 348,378
Value tables: 117

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

Arity 2 10 4.68 5.00 623 MAX VALUE 193.07 1.89 0.40 1.86

Coarse blocks size 1 48,720 10.04 1.00 3,496,270 MAX VALUE 269,825.00 151.16 15.06 1.90

Relational linkage 0.00 1.00 0.14 0.17 11,231.00 0.00 -199,604.00 0.13 0.92 2.69

Tightness 0.00 1.00 0.74 0.92 98.82 0.00 -71.91 0.30 0.41 4.28

Tuples 3 48,721 1,502.23 81.00 199,797 MAX VALUE 644.14 5,927.51 3.95 4.10

Values 2 42 5.06 2.00 562 MAX VALUE 137.78 6.35 1.26 1.68

Value table constraints 2 81 7.56 3.00 884 MAX VALUE 163.17 13.72 1.82 2.11

Value table partitions 2 48,720 1,211.22 28.00 141,713 MAX VALUE 413.53 5,592.19 4.62 3.54

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Arity	2	10	4.68	5.00	623	MAX VALUE	193.07	1.89	0.40	1.86
Coarse blocks size	1	48,720	10.04	1.00	3,496,270	MAX VALUE	269,825.00	151.16	15.06	1.90
Relational linkage	0.00	1.00	0.14	0.17	11,231.00	0.00	-199,604.00	0.13	0.92	2.69
Tightness	0.00	1.00	0.74	0.92	98.82	0.00	-71.91	0.30	0.41	4.28
Tuples	3	48,721	1,502.23	81.00	199,797	MAX VALUE	644.14	5,927.51	3.95	4.10
Values	2	42	5.06	2.00	562	MAX VALUE	137.78	6.35	1.26	1.68
Value table constraints	2	81	7.56	3.00	884	MAX VALUE	163.17	13.72	1.82	2.11
Value table partitions	2	48,720	1,211.22	28.00	141,713	MAX VALUE	413.53	5,592.19	4.62	3.54

Tree decomposition

Number of clusters: 90
Number of leaves: 20
Tree depth: 19
CIR: 0.28
Independent Cluster Pairs: 1,101
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-ext/Tree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-ext/Tree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-ext/Tree1.json

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

Cluster constraints 0 7 1.99 1.00 179 0 None 1.52 0.76 1.44

Variables per cluster 2 13 6.66 6.00 599 MAX VALUE 163.31 2.57 0.39 2.24

Separator constraints 0 6 0.51 0.00 46 0 None 1.05 2.05 0.90

Separator variables 0 12 5.42 5.00 488 0 None 2.54 0.47 2.24

Clusters per var 1 69 5.40 1.00 599 1.83e+32 74.29 12.84 2.38 1.54

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	0	7	1.99	1.00	179	0	None	1.52	0.76	1.44
Variables per cluster	2	13	6.66	6.00	599	MAX VALUE	163.31	2.57	0.39	2.24
Separator constraints	0	6	0.51	0.00	46	0	None	1.05	2.05	0.90
Separator variables	0	12	5.42	5.00	488	0	None	2.54	0.47	2.24
Clusters per var	1	69	5.40	1.00	599	1.83e+32	74.29	12.84	2.38	1.54

Dual tree decomposition

Number of clusters: 40
Number of leaves: 14
Tree depth: 9
CIR: 0.43
Independent Cluster Pairs: 321
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-ext/DualTree1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-ext/DualTree1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-ext/DualTree1.json

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

Cluster constraints 3 3,378 412.23 27.00 16,489 MAX VALUE 170.61 772.03 1.87 3.34

Variables per cluster 3 83 21.50 9.00 860 MAX VALUE 104.89 20.88 0.97 2.77

Separator constraints 0 3,081 308.07 18.50 12,323 0 None 588.94 1.91 3.40

Separator variables 0 79 18.18 7.50 727 0 None 18.50 1.02 2.82

Clusters per variable 1 20 6.47 4.00 860 MAX VALUE 197.40 5.12 0.79 2.58

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Cluster constraints	3	3,378	412.23	27.00	16,489	MAX VALUE	170.61	772.03	1.87	3.34
Variables per cluster	3	83	21.50	9.00	860	MAX VALUE	104.89	20.88	0.97	2.77
Separator constraints	0	3,081	308.07	18.50	12,323	0	None	588.94	1.91	3.40
Separator variables	0	79	18.18	7.50	727	0	None	18.50	1.02	2.82
Clusters per variable	1	20	6.47	4.00	860	MAX VALUE	197.40	5.12	0.79	2.58

Primal graph

Density: 9.16%
MCB compute time (ms): 21
MCB cycles: 487
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-ext/Primal1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-ext/Primal1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-ext/Primal1.json

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

Clustering coefficient 0.11 1.00 None 1.00 None None None None None 2.98

Degree 1 86 10.07 6.00 1,118 MAX VALUE 208.57 14.60 1.45 2.63

Eccentricity None None None None None None None None None None

MCB cycle size 3 6 3.02 3.00 1,472 MAX VALUE 537.95 0.20 0.06 0.10

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.11	1.00	None	1.00	None	None	None	None	None	2.98
Degree	1	86	10.07	6.00	1,118	MAX VALUE	208.57	14.60	1.45	2.63
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	6	3.02	3.00	1,472	MAX VALUE	537.95	0.20	0.06	0.10

Triangulated primal graph

Density: 10.17%
MCB compute time (ms): 30
MCB cycles: 516
Triangles: None

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

Clustering coefficient 0.13 1.00 None 1.00 None None None None None 2.66

Degree 1 86 11.19 6.00 1,242 MAX VALUE 216.49 15.53 1.39 2.77

Eccentricity None None None None None None None None None None

MCB cycle size 3 3 3.00 3.00 1,548 MAX VALUE 566.88 0.00 0.00 0.00

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.13	1.00	None	1.00	None	None	None	None	None	2.66
Degree	1	86	11.19	6.00	1,242	MAX VALUE	216.49	15.53	1.39	2.77
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	3	3.00	3.00	1,548	MAX VALUE	566.88	0.00	0.00	0.00

Dual graph

Density: 47.46%
MCB compute time (ms): 351
MCB cycles: 4,051
Triangles: None
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-ext/Dual1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-ext/Dual1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-ext/Dual1.json

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

Clustering coefficient 0.33 1.00 0.86 0.92 114.70 0.00 -22.13 0.15 0.17 3.69

Degree 2 105 62.65 84.00 8,332 MAX VALUE 499.57 35.74 0.57 3.22

Eccentricity None None None None None None None None None None

MCB cycle size 3 7 3.01 3.00 12,188 MAX VALUE 4,459.00 0.15 0.05 0.03

Feature	min	max	mean	median	sum	prod	ln(prod)	std_dev	COV	ENT
Clustering coefficient	0.33	1.00	0.86	0.92	114.70	0.00	-22.13	0.15	0.17	3.69
Degree	2	105	62.65	84.00	8,332	MAX VALUE	499.57	35.74	0.57	3.22
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	7	3.01	3.00	12,188	MAX VALUE	4,459.00	0.15	0.05	0.03

Minimal dual graph

Density: 2.16%
MCB compute time (ms): 13
MCB cycles: 58

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 0.62

Degree 1 6 2.86 3.00 380 MAX VALUE 133.90 0.81 0.29 1.19

Eccentricity None None None None None None None None None None

MCB cycle size 3 13 6.59 6.00 382 MAX VALUE 105.73 2.27 0.34 2.08

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	0.62
Degree	1	6	2.86	3.00	380	MAX VALUE	133.90	0.81	0.29	1.19
Eccentricity	None	None	None	None	None	None	None	None	None	None
MCB cycle size	3	13	6.59	6.00	382	MAX VALUE	105.73	2.27	0.34	2.08

Triangulated dual graph

Density: 50.66%
Triangles: 111,818

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

Clustering coefficient 0.49 1.00 0.90 0.92 119.81 0.00 -14.79 0.10 0.11 3.51

Degree 2 109 66.87 84.00 8,894 MAX VALUE 513.27 35.77 0.53 3.39

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.49	1.00	0.90	0.92	119.81	0.00	-14.79	0.10	0.11	3.51
Degree	2	109	66.87	84.00	8,894	MAX VALUE	513.27	35.77	0.53	3.39
Eccentricity	None	None	None	None	None	None	None	None	None	None

Triangulated minimal dual graph

Density: 5.19%

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.28

Degree 1 27 6.86 4.00 912 MAX VALUE 209.47 6.30 0.92 2.59

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.28
Degree	1	27	6.86	4.00	912	MAX VALUE	209.47	6.30	0.92	2.59
Eccentricity	None	None	None	None	None	None	None	None	None	None

Incidence graph

Density: 2.10%
MCB compute time (ms): 38
MCB cycles: 380
Dot-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-ext/Incidence1.dot
PDF-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-ext/Incidence1.pdf
JSON-file path: https://consystlab.unl.edu/Visualization/graphFiles/modifiedRenault/normalized-renault-mod-37-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 2.60

Degree 1 81 5.11 3.00 1,246 MAX VALUE 281.67 9.32 1.83 2.10

Eccentricity None None None None None None None None None None

MCB cycle size 4 10 4.22 4.00 1,604 MAX VALUE 543.29 0.71 0.17 0.36

XCSP 2.1 Benchmarks