ijcai-09-benchmarks