Allocatively Efficient Formula Boats