Experiments with subdivision of search in distributed theorem proving