Cumulating search in a distributed computing environment: a case study in parallel satisfiability