Comparison of solvers Abscon 112v4 ESAC and casper zito
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 casper zito performs better.
'UNKNOWN' answers are considered as using the maximum allowed CPU time.