Is scip wrong or did I incorrectly create the LP file?

[msheby]

I'm using the exact-rational branch. With the attached problem, I believe that scip calculated 18 correct answers and 2 incorrect ones (the variables starting with "v").

v275253208.lp.gz

v275253208.log.gz

Did I incorrectly transform a set of mixed integer equations to the LP file or is the solver doing something wrong?

Specifically, v275253214 was calculated to be 95557941548181994592469076718881884938971413168429851952864776323807316340265909303272192942283340684895668286358533806967189326156601073538105193292038944854387450148578074221882100967861892082545801519514457764212506077703019852883372007415674132605991114539096142957023238099400840589854916574942174487496813125657069817871454360088972502644511710407520678670232462029866247249957794087366600484366550139505601462726954692562927321617265019161312301692504258002984965685491474291618509353197328041070433078057086111578859314662827727270401165652993766345606468068704285595021736723850435102425451491265021/198627731605615919801934100500044217133928886136940830287947826779330855809065704330956347826993468632720740585139361691554758885575624873928708309487861521888863505800598128641032185957045227653165835145206698106307152477674188968635235208803804540636493985798764910602273509408022166420307820455371527468969872841205466328843676455572070817412015924099229200453345897190881902919496912943166512927218847731436392188428086334228700062628483591228872592501230881692117990535188153012269959381387750697513149047583690338064715301601490780749423469780891489896761008000000000000000000000000000000000000000000000 but I believe should instead be 5171516431678088519283703177476371131880322123445270855107999686795383663199142103340287390865930370543931323139910399536507696711981984499384332640102147564190977696296483898938851581483233195454130217422259516758116604967423159856907303163261929928262476915919591877932647914517946455964978202928958120667460035477772472480765034825273250885360370412694612670480501937635266383844929490768739773622742066974587792910205488344263501756002239238289654329007639788012404255762251318119392633556598690684420990328196069897487329422363751080570811508367355392022885510654374652388910755601606855491967321296133734271993617666956267566780584072404716474937344824695487379/10749567865769171640124864117724167094065232936304188032392982338830168072254573534764660001022455751278563725967589273778091864800094282838614403200217299691350131173600629225761063593065779305883761419575373029397374205403735824342391106199208949115375904772773837143968540885193181927738750017853670253316631634858042650546743759104988901412817319770818808341248492694808016689452345877001481315026605876917055096255470294966166354917197723654246525143311556855462392837382881750516932914864072584847069429378848139402798040950639435935739518297103724720468746826795657730847528180753457311253772273888385603750683680400357565220250677384683513082563877105712890625.
Also, v275253215was calculated to be 5245579999765531/9007199254740992 but I believe should instead be 6260294305482474060632388844090816015679396976876162313776589822100332301323774512269469775260744372356374849079001128323778312840588362549830965150513095217720122598434124369376053140103279956368147614256050230580449418507588862134477577860663370983960548955497491828870053085744825753152875728345174384146306643154836151773277060958803796930593951879468276280541198214804374172630810546529245122861472435590585948857452216817442260894838838795212675584028084454068790887942738041165335046855902011461561105587001435959655146827429139778226955365040262917900426772058071340925048930177242688621581124034778478015067353143720671737436785250181689626393039032454565344/10749567865769171640124864117724167094065232936304188032392982338830168072254573534764660001022455751278563725967589273778091864800094282838614403200217299691350131173600629225761063593065779305883761419575373029397374205403735824342391106199208949115375904772773837143968540885193181927738750017853670253316631634858042650546743759104988901412817319770818808341248492694808016689452345877001481315026605876917055096255470294966166354917197723654246525143311556855462392837382881750516932914864072584847069429378848139402798040950639435935739518297103724720468746826795657730847528180753457311253772273888385603750683680400357565220250677384683513082563877105712890625.

[ambros-gleixner]

Thanks, can you check

• whether the objective function that SCIP reports is too good (so the solution should be infeasible) or too bad (so your solution must have been cut off somewhere)? I assume the former.
• whether disabling presolving (presolving/milp/maxrounds = 0) makes a difference?

[msheby]

scip segfaults when I add in the presolving/milp/maxrounds = 0 option.

v275253208-nopresolve.log.gz

[ambros-gleixner]

Two updates necessary:

• As a first step, can you use the most recent version of https://github.com/scipopt/papilo ?
• Second, I have updated the exact-rational branch to a more recent development version.
  Does this fix your issues?

[ambros-gleixner]

Also I would be very interested to know what you use exact SCIP for. Feel free to drop me an e-mail.