add bigger tests to benchmark
remove outdated counterexamples