parents: data/examples/parents.csv reagents: data/examples/reagents.csv reactions: data/examples/reactions.json property_models: results/validation/property_models budgets: [0, 1] max_nodes: 100000 steps: 400 samples: 100 seeds: [0] methods: [dooable, exact] output: results/budget_integration