Main Search Tied Machine Bound