aaai-10-benchmarks