exhaustive arity improves for benchmarks with ad=1