Storm.exact

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

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

Time for model input parsing: 0.035s.