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 Concrete + CPS4J
'UNKNOWN' answers are considered as using the maximum allowed CPU time.