Solvers with Memoize.
Clean.
Modify benchmarking scripts.
The talk!