Storm.exact

Benchmark
Model:philosophers v.1 (CTMC)
Parameter(s)N = 20, TIME_BOUND = 1
Property:MinExpTimeDeadlock (exp-time)
Invocation (exact)
storm/build/bin/storm --jani qcomp/benchmarks/ctmc/philosophers/philosophers.20.jani --janiproperty MinExpTimeDeadlock --constants TIME_BOUND=1 --exact --timemem
Sparse engine with exact model checking
Execution
Walltime:448.75767707824707s
Return code:-9
Log
Storm 1.4.1 (dev)

Date: Fri Dec  6 10:18:06 2019
Command line arguments: --jani qcomp/benchmarks/ctmc/philosophers/philosophers.20.jani --janiproperty MinExpTimeDeadlock --constants TIME_BOUND=1 --exact --timemem
Current working directory: 

Time for model input parsing: 0.012s.