<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Looks like a bug in Knapsack cuts.<br>
<br>
Will investigate.<br>
On 22/02/16 03:22, Gleb Belov wrote:<br>
</div>
<blockquote cite="mid:56CA7EE2.2030907@monash.edu" type="cite">Hi,
<br>
<br>
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).
<br>
<br>
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.
<br>
<br>
Gleb
<br>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Cbc mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Cbc@list.coin-or.org">Cbc@list.coin-or.org</a>
<a class="moz-txt-link-freetext" href="http://list.coin-or.org/mailman/listinfo/cbc">http://list.coin-or.org/mailman/listinfo/cbc</a>
</pre>
</blockquote>
<br>
</body>
</html>