Comparison of solvers Abscon 112v4 ESAC and choco2_impwdeg 2008-06-26
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 Abscon 112v4 ESAC performs better. Points below the diagonal line represent instances where choco2_impwdeg 2008-06-26 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