Ben Saunders

Hi there, have you tried setting an explicit RandomSeed for the solver? Often you'll get different results since there's some randomization involved in splitting between ties which impacts the cutting...

@Franken151 interesting results! I'm not quite sure I know myself what's happening, but based on Total time vs Wall time it seems like most (or all) of the solution is...