Search: Maximum compilation