Main Search Bounded Machine