Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Assertion in Reduce-and-split #58

Closed
christoph-cullmann opened this issue Jan 28, 2021 · 4 comments
Closed

Assertion in Reduce-and-split #58

christoph-cullmann opened this issue Jan 28, 2021 · 4 comments

Comments

@christoph-cullmann
Copy link

christoph-cullmann commented Jan 28, 2021

The attached ILP leads to an assertion:

cbc value_45523.lp -cuts=off -gomory=forceLongOn -reduce=on -solve

### ERROR: CglRedSlpit::generateCuts(): rstat[41]: 0

For that one, you need to specify the gomory cut option to trigger it, I have larger ones that get this even without other cuts.

value_45523.lp.gz

Beside this assertions I get on some ILPs, the reduce yields very nice results reagarding problem solving runtime.

@christoph-cullmann
Copy link
Author

Larger ilp:

cbc value_375399.lp -reduce=on -solve

### ERROR: CglRedSlpit::generateCuts(): rstat[890]: 0

Same issue with reduce2.

value_375399.lp.gz

@jjhforrest
Copy link
Contributor

jjhforrest commented Jan 28, 2021 via email

@christoph-cullmann
Copy link
Author

Thanks a lot for the quick fix.

At least with my two small tests (as attached above) this works now nicely.

But I have ~200k more ILPs to try ;=)

Will follow up after they did run once.

@christoph-cullmann
Copy link
Author

All Unix tests did pass here now, very nice, no new issues with this cut generator activated did show up and it really helps "a lot" for many problems.

The Windows stuff still differs because of issues like #57 but that is unrelated.

Thanks again for the quick fix!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants