Translate from rddl to spudd

[Zhennan-Wu]

Hi,

When I try to generate SPUDD file from RDDL. It happens to me that the process stalled at some point after print out, for example,

Exported: 'domains/spudd2011/game_of_life_inst_mdp__4.spudd'

I am not sure what happened. Is it because the instance file is too large to enumerate all different combinations that SPUDD file is hard to generate or some other reasons?

Thanks!