Heat maps¶
Each instance has q follower variables with a piecewise-linear objective term, each with p pieces; one circle per (q, p) combination, one panel per method.
Tick the methods to show, singly or by row (method kind), column (master formulation), or all IOM methods. The selection applies to every chart of the study pages and is remembered in this browser.
Proof rate¶
Share of instances proved optimal within the time limit, for each number of PWL followers q and pieces p. Each tile shows proved / all instances of the cell. Hover a tile for the median proved solver time.
Median IOM iterations¶
Median number of IOM iterations over the proved tasks of a cell; the hover also shows the median over all tasks with a recorded count. Cells without a proved task are left empty.