Started work on timings for the different algorithms. Quantifier pulling
is currently quite slow.