PlanningBench: Generating Scalable and Verifiable Planning Data for Evaluating and Training Large Language Models | HACKOBAR_