Comparison of solvers MDG-noprobe 2008-06-27 and Concrete + CPS4J 2008-05-30

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 Concrete + CPS4J 2008-05-30 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