[Scip] SCIP-2.1.1 and SCIP-3.0.1 give different optimal values

[Masahiro Sakai]

Hi,

I solved a minimization MILP problem attached as rand717_l2.wcnf.lp.gz
using SCIP-2.1.1 and SCIP-3.0.1, but they delivered differenct results:

* SCIP-2.1.1 returned 2205487 as the optimal value, while
* SCIP-3.0.1 returned 2223207 as the optimal value.

I'm wondering whether it is a bug of SCIP-3.0.1 or just a numerical
problem.

The problem rand717_l2.wcnf.lp is converted from a weighted partial
Max-SAT problem rand717_l2.wcnf.gz. And I used SCIP binaries
downloaded from the SCIP website: scip-2.1.1.linux.x86_64.gnu.opt.spx.zip
and scip-3.0.1.linux.x86_64.gnu.opt.spx.zip.

Thanks in advance,

Masahiro
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rand717_l2.wcnf.gz
Type: application/x-gzip
Size: 374753 bytes
Desc: not available
Url : http://listserv.zib.de/mailman/private/scip/attachments/20130531/a6228ad1/rand717_l2.wcnf.bin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rand717_l2.wcnf.lp.gz
Type: application/x-gzip
Size: 465103 bytes
Desc: not available
Url : http://listserv.zib.de/mailman/private/scip/attachments/20130531/a6228ad1/rand717_l2.wcnf.lp.bin