August 2007 - PPL-devel - BUGSENG Mailman

Bug in glpk 4.21?
by Roberto Bagnara 31 Aug '07

31 Aug '07

For the attached testcase, we obtain that $ glpsol p0033.mps --max -o output.gomory --gomory gives an optimum of 5201, while $ glpsol p0033.mps --max -o output.intopt --intopt gives an optimum of 5131. The optimum 5201 is confirmed by a completely different MIP solver. Does this behavior indicate there is a bug somewhere? All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it *NAME: p0033 *ROWS: 16 *COLUMNS: 33 *INTEGER: 33 *NONZERO: 98 *BEST SOLN: 3089 (opt) *LP SOLN: 2520.57 *SOURCE: Crowder-Johnson-Padberg test set * * E. Andrew Boyd (Rice University) *APPLICATION: unknown *COMMENTS: pure 0/1 IP * 5 SOS constraints * NAME P0033 ROWS N R100 L R114 L R115 L R116 L R117 L R118 L R119 L R120 L R121 L R122 L R123 L R124 L R125 L R126 L R127 L R128 L ZBESTROW COLUMNS MARK0000 'MARKER' 'INTORG' C157 R100 171 R114 1 C157 R122 -300 R123 -300 C158 R100 171 R114 1 C158 R126 -300 R127 -300 C159 R100 171 R114 1 C159 R119 300 R120 -300 C159 R123 -300 C160 R100 171 R114 1 C160 R119 300 R120 -300 C160 R121 -300 C161 R100 163 R115 1 C161 R119 285 R120 -285 C161 R124 -285 R125 -285 C162 R100 162 R115 1 C162 R119 285 R120 -285 C162 R122 -285 R123 -285 C163 R100 163 R115 1 C163 R128 -285 C164 R100 69 R116 1 C164 R119 265 R120 -265 C164 R124 -265 R125 -265 C165 R100 69 R116 1 C165 R119 265 R120 -265 C165 R122 -265 R123 -265 C166 R100 183 R117 1 C166 R118 -230 C167 R100 183 R117 1 C167 R124 -230 R125 -230 C168 R100 183 R117 1 C168 R119 230 R120 -230 C168 R125 -230 C169 R100 183 R117 1 C169 R119 230 R120 -230 C169 R123 -230 C170 R100 49 R119 190 C170 R120 -190 R122 -190 C170 R123 -190 C171 R100 183 R117 1 C172 R100 258 R118 -200 C173 R100 517 R118 -400 C174 R100 250 R126 -200 C174 R127 -200 C175 R100 500 R126 -400 C175 R127 -400 C176 R100 250 R127 -200 C177 R100 500 R127 -400 C178 R100 159 R119 200 C178 R120 -200 R124 -200 C178 R125 -200 C179 R100 318 R119 400 C179 R120 -400 R124 -400 C179 R125 -400 C180 R100 159 R119 200 C180 R120 -200 R125 -200 C181 R100 318 R119 400 C181 R120 -400 R125 -400 C182 R100 159 R119 200 C182 R120 -200 R122 -200 C182 R123 -200 C183 R100 318 R119 400 C183 R120 -400 R122 -400 C183 R123 -400 C184 R100 159 R119 200 C184 R120 -200 R123 -200 C185 R100 318 R119 400 C185 R120 -400 R123 -400 C186 R100 114 R119 200 C186 R120 -200 R121 -200 C187 R100 228 R119 400 C187 R120 -400 R121 -400 C188 R100 159 R128 -200 C189 R100 318 R128 -400 MARK0001 'MARKER' 'INTEND' RHS RHS R114 1 R115 1 RHS R116 1 R117 1 RHS R118 -5 R119 2700 RHS R120 -2600 R121 -100 RHS R122 -900 R123 -1656 RHS R124 -335 R125 -1026 RHS R126 -5 R127 -500 RHS R128 -270 BOUNDS UP ONE C157 1 UP ONE C158 1 UP ONE C159 1 UP ONE C160 1 UP ONE C161 1 UP ONE C162 1 UP ONE C163 1 UP ONE C164 1 UP ONE C165 1 UP ONE C166 1 UP ONE C167 1 UP ONE C168 1 UP ONE C169 1 UP ONE C170 1 UP ONE C171 1 UP ONE C172 1 UP ONE C173 1 UP ONE C174 1 UP ONE C175 1 UP ONE C176 1 UP ONE C177 1 UP ONE C178 1 UP ONE C179 1 UP ONE C180 1 UP ONE C181 1 UP ONE C182 1 UP ONE C183 1 UP ONE C184 1 UP ONE C185 1 UP ONE C186 1 UP ONE C187 1 UP ONE C188 1 UP ONE C189 1 ENDATA

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Enea Zaffanella 31 Aug '07

31 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-31 16:29:47 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Using new doxygen alias \extref for references to the main manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/doc user-prolog-interface.doxyconf-html.in ...
by Enea Zaffanella 31 Aug '07

31 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-31 16:28:57 Modified files: doc : user-prolog-interface.doxyconf-html.in user-prolog-interface.doxyconf-latex.in devref-prolog-interface.doxyconf-html.in devref-prolog-interface.doxyconf-latex.in Log message: Added command alias \extref. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.dox… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.dox… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.d…

1 0

ppl TODO
by Roberto Bagnara 31 Aug '07

31 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-08-31 15:44:38 Modified files: . : TODO Log message: Spurious characters removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.22…

1 0

ppl/fedora ppl.spec
by Roberto Bagnara 31 Aug '07

31 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-08-31 15:44:05 Modified files: fedora : ppl.spec Log message: New packages `ppl-ocaml' and `ppl-ocaml-devel' contain the OCaml interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/fedora/ppl.spec.diff?cvsroot=…

1 0

ppl ./configure.ac demos/ppl_lpsol/ppl_lpsol.c
by Roberto Bagnara 31 Aug '07

31 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-08-31 14:12:26 Modified files: . : configure.ac demos/ppl_lpsol: ppl_lpsol.c Log message: Should support all versions of GLPK now. Diagnostics of ppl_lpsol improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 31 Aug '07

31 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-08-31 12:12:34 Modified files: doc : Makefile.am Log message: Remove spurious line continuation character that was preventing distribution of the core PS manuals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl ./TODO interfaces/OCaml/README.ocaml
by Roberto Bagnara 31 Aug '07

31 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-08-31 11:02:37 Modified files: . : TODO Added files: interfaces/OCaml: README.ocaml Log message: New file README.ocaml, still to be written properly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.22… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/README.ocaml…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 31 Aug '07

31 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-08-31 10:52:05 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Dependencies fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl ./configure.ac demos/ppl_lpsol/ppl_lpsol.c
by Roberto Bagnara 31 Aug '07

31 Aug '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-08-31 10:46:47 Modified files: . : configure.ac demos/ppl_lpsol: ppl_lpsol.c Log message: Support GLPK versions up to 4.15, both installed from a source package or from Fedora RPM packages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0