[Cbc] 2 buggy examples

[John Forrest]

Looks like a bug in Knapsack cuts.

Will investigate.
On 22/02/16 03:22, Gleb Belov wrote:
> Hi,
>
> attaching 2 examples where cbc reports wrong answers in default 
> setting. The 1st one says "infeasible" in 4 seconds, the 2nd delivers 
> a wrong optimum 26 in 72 seconds (KUbuntu 15.04, 64-bit, i7-4k).
>
> These models are derived from the original CP models using 
> simple&dense unary encodings (i.e., a binary variable for each value 
> in the domain). With "-preprocess off" or when the encodings are 
> sparse, the wrong answers are not produced.
>
> Gleb
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/cbc

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20160222/181ec482/attachment.html>