Storm.sound

Benchmark
Model:beb v.1 (MDP)
Parameter(s)H = 5, K = 16, N = 15
Property:LineSeized (prob-reach)
Invocation (sound)
storm/build/bin/storm --jani qcomp/benchmarks/mdp/beb/beb.5-16.jani --janiproperty LineSeized --constants N=15 --sound --timemem
Sparse engine with sound model checking
Execution
Walltime:419.83351588249207s
Return code:-9
Log
Storm 1.4.1 (dev)

Date: Fri Dec  6 09:47:21 2019
Command line arguments: --jani qcomp/benchmarks/mdp/beb/beb.5-16.jani --janiproperty LineSeized --constants N=15 --sound --timemem
Current working directory: 

Time for model input parsing: 0.031s.