Strategy output and Ptrie conflict

[Smoothini]

branch: https://github.com/TAPAAL/verifydtapn/tree/strategy_output

If I run the verifier engine on a file with both ptrie flag (-p) and strategy output flag (-z), while it gives me the correct execution time, I also get a memory allocation error

terminate called after throwing an instance of 'std::bad_alloc' what(): std::bad_alloc
./run_tests.sh: line 2: 2456 Aborted (core dumped)

Line 2 in that .sh file contained the netsynth command, but inside a for loop, something like
./verifydtapn-linux64 -k 20000 -o 1 -m 0 -p 1 -z file$i.txt file$i.xml file$i.q

Using both -p and -z is the only occurence of this error happening from what I have seen so far.