Cooperative Parallel Automated Theorem Proving