Various benchmarks to test Factor's optimizer