Comparison of solvers AbsconMax 112 pc-d and Sugar++ v1.13+minisat-inc

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 AbsconMax 112 pc-d performs better. Points below the diagonal line represent instances where Sugar++ v1.13+minisat-inc 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