Question: set up time limit for solvers

AI-Planning / planutils

General library for setting up linux-based environments for developing, running, and evaluating planners.

MIT License

103 stars 30 forks source link

Question: set up time limit for solvers #128

Closed Rogerpi closed 1 year ago

Rogerpi commented 1 year ago

Hello,

Is it possible to set a maximum execution time for solvers? I have generated a set of domains and problems and made a script to run them all through server requests, but I would need to set a maximum time so it does not block the benchmarks. I have not been able to find any information about it.

Thanks!