Considers watched literals in resolution based solvers for Both-like solvers

6 jobs for cdcl-strategies in 105 minutes and 21 seconds (queued for 32 seconds)