We'd like to add the following parameters to the planner script:
--{translate,preprocess,search,overall}-timeout TIME
--{translate,preprocess,search,overall}-memory MEMORY
TIME can be given in seconds or with the suffixes s, m, h.
MEMORY can be given in MB or with the suffixes K, M, G.
|