strengthen sep_and

3 jobs for gen_proofmode in 20 minutes and 57 seconds (queued for 3 seconds)