ECDF

Runtime

Share of all tasks of a method that are proved optimal within the given solver time. Every curve runs to the time limit; its height there is the method's proof rate. Click a legend entry to highlight a method, shift-click to add further methods, double-click to reset.

IOM iterations

Share of all tasks of an IOM method that are proved within the given number of iterations: refine-all and TOP-1 per master.