Benchmarks: David and Jeroboam