Various benchmarks to test Factor's optimizer
