[Coin-discuss] Cbc, Symphony, and GLPK

John J Forrest jjforre at us.ibm.com
Wed Jun 3 03:19:22 EDT 2009


For Cbc I am unable to reproduce problem on Linux.  driver4 and stand-alone
cbc with various option permutations all gave the answer of -

BINV0001, 04, 10 and 14 at 1 and rest at 0.

which when the problem with all binary variables fixed is solved does not
seem to violate the constraints.  Which constraints do you think  that
solution violates?

John Forrest


                                                                                                                
  From:       "Cheng,Jen-Min" <jcheng at mwdh2o.com>                                                               
                                                                                                                
  To:         <coin-discuss at list.coin-or.org>                                                                   
                                                                                                                
  Cc:         "Louie,Peter W" <plouie at mwdh2o.com>                                                               
                                                                                                                
  Date:       06/02/2009 01:32 PM                                                                               
                                                                                                                
  Subject:    [Coin-discuss] Cbc, Symphony, and GLPK                                                            
                                                                                                                






Microsoft Visual Studio 2008 has been used to generate executables for Cbc
driver4 2.3, Symphony 5.2, and GLPK 4.38.  These executables can solve many
MIPLIB 2003 problems.  Cbc driver4 2.3 did outperform other two solvers in
solving these MIPLIB 2003 problemsr as Cbc developers had claimed.

An artificial example of water supply and allocation had been created and
tested with Cbc driver4, Symphony, and GLPK.  GLPK produced a feasible
solution.  Symphony 5.2 produced a feasible solution, which violated
several constraints.  Cbc driver4 2.3 generated a feasible solution, which
violated more constraints than Symphony 5.2.

The mps file is attached.  Will any please find out why Cbc and Symphony
cannot produce a feasible solution.

Thanks for your time and help.

 [attachment "test100.mps" deleted by John J Forrest/Watson/IBM]
_______________________________________________
Coin-discuss mailing list
Coin-discuss at list.coin-or.org
http://list.coin-or.org/mailman/listinfo/coin-discuss

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/coin-discuss/attachments/20090603/02c51d82/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: graycol.gif
Type: image/gif
Size: 105 bytes
Desc: not available
URL: <http://list.coin-or.org/pipermail/coin-discuss/attachments/20090603/02c51d82/attachment.gif>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ecblank.gif
Type: image/gif
Size: 45 bytes
Desc: not available
URL: <http://list.coin-or.org/pipermail/coin-discuss/attachments/20090603/02c51d82/attachment-0001.gif>


More information about the Coin-discuss mailing list