Comparison of solvers MDG-noprobe 2008-06-27 and Abscon 112v4 AC

Comparison of CPU time

Each point in the figure below represents the CPU time needed by the two solvers to solve a same instance. Points above the diagonal line represent instances where MDG-noprobe 2008-06-27 performs better. Points below the diagonal line represent instances where Abscon 112v4 AC performs better.

'UNKNOWN' answers are considered as using the maximum allowed CPU time.


Download the above graph as a PDF file / as an EPS file