+ Benchmarking space counting