Home Benchmark
Benchmark_cart
Your selection Format : wcsp
#Instances : 0
Format filter applied : wcsp
#Instance :
Benchmark



login



online
We have 12 guests online

/crafted/coloring/DSJC125.1.4.wcsp

Available operations on this instance
Message The action you requested is not correct !

Options
Parameter name Value Description
Graph options
Generation method
Overlap Available options : scale, true, false
Fontsize Font size for ext level
Nodes options
Shape Shape style of nodes. Available options : ellipse, box, circle, doublecircle, diamond, plaintext, record, polygon
Style Intern/Extern shapes style. Available options : bold, dotted, filled
Height Nodes height size. Example : 0.5
Width Nodes width size. Example : 0.5
Fontsize Nodes fontsize. Example : 10
Edges options
Weight Edges weight. Example : 0.5
Lenght Edges length. Example : 0.5

Structure
Filename #var Max dom #const ub Arity max Connectivity Max Degree Min Degree Closed
DSJC125.1.4.wcsp 125 4 736 737 2 0.72 23 5
Instance representation
ZGRViewer
Degrees distribution
Click to the image for enlarge

Click on the histogram to enlarge

Tree Decomposition
Method : Min-Fill
Treewidth Treeheight nb_cluster maxclustsize minclustsize maxsep minsep min_sep_space_size max_sep_space_size total_separator_space
65 73 60 66 6 65 0 1 1.36112946768375e39 4.08388686357204e39
ZGRViewer
Method : mcs
Treewidth Treeheight nb_cluster maxclustsize minclustsize maxsep minsep min_sep_space_size max_sep_space_size total_separator_space
79 98 40 80 6 78 0 1 9.13438523331814e46 1.91357207922108e47
ZGRViewer
English (United Kingdom)