Storm.sound

Benchmark
Model:pnueli-zuck v.1 (MDP)
Parameter(s)N = 10
Property:live (prob-reach)
Invocation (sound)
storm/build/bin/storm --prism qcomp/benchmarks/mdp/pnueli-zuck/pnueli-zuck.10.prism --prop qcomp/benchmarks/mdp/pnueli-zuck/pnueli-zuck.props live --sound --timemem
Sparse engine with sound model checking
Execution
Walltime:980.4924533367157s
Return code:-9
Log
Storm 1.4.1 (dev)

Date: Fri Dec  6 09:54:47 2019
Command line arguments: --prism qcomp/benchmarks/mdp/pnueli-zuck/pnueli-zuck.10.prism --prop qcomp/benchmarks/mdp/pnueli-zuck/pnueli-zuck.props live --sound --timemem
Current working directory: 

Time for model input parsing: 0.013s.