Infeasible problem with status "Optimal"
- Dominant language
- C++
- Stars
- 1k
- Forks
- 144
- PR merge metrics
- No merged PRs in 30d
Description
This is an issue from or.stackexchange here : https://or.stackexchange.com/questions/7810/problem-is-infeasible-with-gurobi-feasible-with-cbc-but-cant-access-objective/7827#7827
The problem attached (lp and mps ) is definitely infeasible, but CBC returns:
```
- Status: ok
Message: CBC 2.10.5
Termination condition: optimal
Id: 0
Error rc: 0
Time: 0.011972904205322266
Problem is feasible and solution is optimal
```
However when using version 2.10.3, CBC does return infeasible :
[prob.zip](https://github.com/coin-or/Cbc/files/8050413/prob.zip)
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reproducing the attached prob.zip inputs in CBC 2.10.5 and comparing the result with CBC 2.10.3, using the referenced LP and MPS files. Done means the infeasible problem is reported as infeasible rather than optimal.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100