CP solver provides incorrect results when performing Lexico-optimization
Once issue #124 (closed) has been fixed, the parallel solver res+cp solver still provides a wrong solution (ignore unit clauses in 3 cases) or wrong optimum (in 10 cases) out of the 2688 benchmarks.
It is likely that such issue is related to former #113 (closed) issue, i.e. incorrect handling of unit clause removal in case of unsatisfiability.