Added mutual exclusion to ILP calculation