make STORM working - Githubissues

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

make STORM working #15

Closed xhajnal closed 5 years ago

xhajnal commented 5 years ago

If not

[x] consider intervals in python -- see email from @tatjanapetrov -- intervals and lifting
[x] heuristical sampling as Storm does -- see #21 #22 and fae9a6afc52d98a8695d5140c05b8b093a284837 and following commits

tatjanapetrov commented 5 years ago

Does the server with larger memory help?

xhajnal commented 5 years ago

Does the server with larger memory help?

I was unlucky running it, since the first time an ssh error closed connection and the second time it was windows update. But now I am running it again.

xhajnal commented 5 years ago

It resulted in an error: ERROR (storm-pars.cpp:645): An unexpected exception occurred and caused Storm-pars to terminate. The message of this exception is: std::bad_alloc

trying with verbose "Killed" now with 25% remaining

at 70% it took 721GB of RAM, problem found