Added reachability benchmarks.