Comparison of solvers SAT4J CSP 2008-06-13 and galac E
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 SAT4J CSP 2008-06-13 performs better. Points below the diagonal line represent instances where galac E performs better.
'UNKNOWN' answers are considered as using the maximum allowed CPU time.