adapted restarts formula, changed the number of clauses to test