Storm.sparse

Benchmark
Model:beb v.1 (MDP)
Parameter(s)H = 5, K = 16, N = 15
Property:LineSeized (prob-reach)
Invocation (sparse)
storm/build/bin/storm --jani qcomp/benchmarks/mdp/beb/beb.5-16.jani --janiproperty LineSeized --constants N=15  --timemem
Sparse engine (default)
Execution
Walltime:407.7375838756561s
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 --timemem
Current working directory: 

Time for model input parsing: 0.036s.